Feedback and Potential Improvements

edit

It would be good if

limit(1/x, x = 0)

and

limit(tan(x), x = pi/2)

showed undefined as the answer, rather than infinity.

Sage simplifies

sinh(arcsinh(x))

to x and cannot do so for

arcsinh(sinh(x))

Sage can't simplify cosh(x) - (e^x + e^(-x))/2 to 0.

It is counterintuitive for mathematician users to understand log(x) as ln(x), rather than the common log of x.