x-y-x^2y^3