Primitive of Square of Hyperbolic Sine of a x over Hyperbolic Cosine of a x

Theorem

 * $\ds \int \frac {\sinh^2 a x \rd x} {\cosh a x} = \frac {\sinh a x} a - \frac 1 a \map \arctan {\sinh a x} + C$