1/(2*pi)*integral(sin(x)*sin(x-pi/2), x, 0, 2*pi)