integrate sin(x) sin(x/2) dx 0 < x < pi