Derivative of Hyperbolic Cosine Function

Theorem

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

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