int(cos(x)^2, x)