integrate sin(cos x) from x%3D0 to 1