integral of cos^2(x)dx