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

Theorem

 * $\ds \int \frac {\d x} {1 + \cos x} = \tan \frac x 2 + C$