What is the integral of #int [sin(2*pi*x)]^2#?