integrate sin(cos x