Double Angle Formulas/Hyperbolic Cosine

Theorem

 * $\cosh \left({2 x}\right) = \cosh^2 x + \sinh^2 x$

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