what is the integral of cos^2 2x dx