Revision history [back]
 | 1 | initial version |
Wouldn't be the worst thing in the world if someone had a look at our simplification heuristics. In the meantime:
sage: y = sinh(log(1+sqrt(2)))
sage: y.simplify_full()
sinh(log(sqrt(2) + 1))
sage: y.maxima_methods().exponentialize()
-1/2/(sqrt(2) + 1) + 1/2*sqrt(2) + 1/2
sage: y.maxima_methods().exponentialize().simplify_full()
1
