Double Angle Formulas/Hyperbolic Sine

Theorem

 * $\sinh 2 x = 2 \sinh x \cosh x$

where $\sinh$ and $\cosh$ denote hyperbolic sine and hyperbolic cosine respectively.