integrate sin^2x