How do you find the integral from zero to pi/2 for cos^4(2x)dx?