What is the integral of #int sin^2(2x) dx#?