Primitive of Hyperbolic Secant Function/Arctangent of Exponential Form

Theorem

 * $\displaystyle \int \sech x \rd x = 2 \, \map \arctan {e^x} + C$

Proof
Let:

Let:

Then:

Also see

 * Primitive of Hyperbolic Secant Function/Arcsine Form


 * Primitive of Hyperbolic Cosecant Function