How do you find the antiderivative of (cos(2x))^2?