Primitive of Hyperbolic Secant of a x/Arcsine Form

Theorem

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