Reciprocal of Hyperbolic Cosine Minus One

Theorem

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