What is the integral of int (cos2x)^2 dx?