integrate (sin(2*pi*2*x) * cos(2*pi*1000*x))^2 from 0 to 1