integral of cos(x)^2