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