Double Angle Formula for Hyperbolic Cosine/Corollary 2

Corollary to Double Angle Formula for Hyperbolic Cosine

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

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