# Doubling identity for cosh (1)

The following formula holds: $$\cosh(2z)=2\cosh^2(z)-1,$$ where $\cosh$ denotes hyperbolic cosine.