sin^2x integral