integral (sin(2*pi*94e9*x)*sin(2*pi*94e9*(x-pi/3))) dx: x=0..100e-3