For the following limit:

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

(1)

the correct answer is +infinity. Simpler version is:

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

(2)

(again the correct answer is +infinity).

Another problematic limit is:

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

   There are 2 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.