(1/(2*pi))*integral(cos^2 x, x=0, 2*pi)