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.
