Derivative of Hyperbolic Sine Function

Theorem

 * $D_x \left({\sinh x}\right) = \cosh x$

where $\sinh$ is the hyperbolic sine and $\cosh$ is the hyperbolic cosine.