WIP: Issue 3821

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