Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

answered 2013-01-20 06:45:43 -0600

DSM gravatar image

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