Reciprocal of Hyperbolic Cosine Minus One

Theorem

 * $\dfrac 1 {\cosh x - 1} = \dfrac 1 2 \csch^2 \dfrac x 2$