Primitive of Square of Hyperbolic Cosine Function

Theorem

 * $\ds \int \cosh^2 x \rd x = \frac {\sinh 2 x} 4 + \frac x 2 + C$

where $C$ is an arbitrary constant.