Primitive of Reciprocal of 1 plus Sine of a x/Corollary

Theorem

 * $\ds \int \frac {\d x} {1 + \sin x} = \map \tan {\frac x 2 - \frac \pi 4} + C$