Reciprocal of Hyperbolic Cosine Plus One

Theorem

 * $\dfrac 1 {1 + \cosh x} = \dfrac 1 2 \operatorname{sech}^2 \dfrac x 2$