Primitive of Hyperbolic Secant Function/Arctangent of Hyperbolic Sine Form

Theorem

 * $\displaystyle \int \sech x \rd x = \map \arctan {\sinh x} + C$

Proof
We have that:

Let:

Then: