integrate sin^2 x