Hyperbolic-function identity (source code)

= Hyperbolic-function identity

The exponential definitions of the hyperbolic functions imply identities such as
$$
\frac{\sinh x}{1+\cosh x}=\tanh\!\left(\frac x2\right).
$$