cos(x)^2 from 0 to pi