integrate sin 2x dx from x=0 to pi