Hyperbolic Tangent Half-Angle Substitution

Theorem

 * $\displaystyle \int \map F {\sinh x, \cosh x} \rd x = 2 \int \map F {\frac {2 u} {1 - u^2}, \frac {1 + u^2} {1 - u^2} } \frac {\d u} {1 - u^2}$

where $u = \tanh \dfrac x 2$.

Proof
The result follows from Integration by Substitution.

Also see

 * Weierstrass Substitution