what is the integral of sin squared x