Primitive of Hyperbolic Secant Function/Arctangent of Half Hyperbolic Tangent Form

Theorem

 * $\ds \int \sech x \rd x = 2 \map \arctan {\tanh \dfrac x 2} + C$

Proof
Let $u = \tanh \dfrac x 2$.

Then: