integral cos(x)^2