integral(cos(t^9)dt)