integrate sin(cos x) from x=0 to 1