# Halving identity for cosh

The following formula holds: $$\cosh \left( \dfrac{z}{2} \right) = \sqrt{ \dfrac{\cosh(z)+1}{2} },$$ where $\cosh$ denotes hyperbolic cosine.