x(0)=-1,x'(t)=1+x(t)^2-t^3