x^7*y^3 - x^7*y^2 + x^6*y^3 - 5*x^6*y^2 + 2*x^6*y - 7*x^5*y^3 - x^5*y^2 + 
    5*x^5*y - x^5 - 3*x^4*y^4 - 11*x^4*y^3 + 14*x^4*y^2 - x^4*y - x^4 - 
    12*x^3*y^4 + 11*x^3*y^3 + 5*x^3*y^2 - 4*x^3*y - 4*x^2*y^5 - x^2*y^4 + 
    11*x^2*y^3 - 6*x^2*y^2 - 4*x*y^5 + 8*x*y^4 - 4*x*y^3 - y^6 + 2*y^5 - y^4