y'(x)=cos(y)