For the following limit:

fricas

limit(exp(exp(2*log(x^5+x)*log(log(x))))/exp(exp(10*log(x)*log(log(x)))), x = %plusInfinity)

**Type: **Union(OrderedCompletion

?(Expression(Integer)),

...)
the correct answer is +infinity.
Simpler version is:

fricas

limit(exp(2*log(x^5+x)*log(log(x)))-exp(10*log(x)*log(log(x))), x = %plusInfinity)

**Type: **Union(OrderedCompletion

?(Expression(Integer)),

...)
(again the correct answer is +infinity).

Another problematic limit is:

fricas

limit(max(x, exp(x))/log(min(exp(-x), exp(-exp(x)))), x = %plusInfinity)

There are 1 exposed and 2 unexposed library operations named max
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op max
to learn more about the available operations. Perhaps
package-calling the operation or using coercions on the arguments
will allow you to apply the operation.

Cannot find a definition or applicable library operation named max
with argument type(s)
Variable(x)
Expression(Integer)

Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.

where the correct answer is -1.

BTW both examples are taken from Dominik Gruntz thesis form 1996

Waldek Hebisch

Gruntz algorithm is now implemented and the first two examples work. The
third example requires symbolic `max`

and `min`

.