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

Theorem

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