Solve y'(x) %3D x