# Halving identity for sinh

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