Primitive of Square of Sine Function

Theorem

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

where $C$ is an arbitrary constant.