Primitive of Hyperbolic Secant Function/Arctangent of Hyperbolic Sine Form

Theorem

 * $\displaystyle \int \operatorname{sech} x \ \mathrm d x = \arctan \left({\sinh x}\right) + C$

Proof
Let:

Let:

Then: