What is the integral of cos^(2)2xdx?