integrate(cos(sin(t)),t)