$$
\int \!\sqrt {1-\cos(2\,x)}{dx}=-\sqrt {2}\cos
(x)
$$
