integrate sin^2(x) dx