Double Angle Formulas/Hyperbolic Cosine

Theorem

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

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