simplify sinh expression
I guess I just ran up against one of those maxima things again, but I thought I would signal the problem anyway.
I would have expected Sage to simplify
(it is 1), but Sage doesn't. It doesn't return True to the following either
or am I missing something?