integral cos^2xdx