integrate sin(cos(t))dt