What is the integral of cos2(2x)dx?