sympy/sympy — pull request #2102 by sn6uv (2013-05-13 04:36:53+00:00)
Title: WIP: Issue 3821

extend `trigsimp` to handle `cosh(z) - sinh(z)` and related forms.