integrate sin sin x dx from x=0 to pi