Primitive of Hyperbolic Secant of a x/Arctangent of Hyperbolic Sine Form

Theorem

 * $\ds \int \sech a x \rd x = \frac {\map \arctan {\sinh a x} } a + C$