Primitive of Square of Cosine Function/Corollary

Corollary to Primitive of Square of Cosine Function

 * $\displaystyle \int \cos^2 x \ \mathrm d x = \frac {x + \sin x \cos x} 2 + C$

where $C$ is an arbitrary constant.