x^7*y^4 - 3*x^7*y^3 + 3*x^7*y^2 - x^7*y + 2*x^6*y^4 - 4*x^6*y^3 + 7*x^6*y^2 - 
    5*x^6*y + x^6 + 2*x^5*y^5 - 2*x^5*y^4 + 10*x^5*y^3 - 9*x^5*y^2 + x^5 + 
    3*x^4*y^5 + 6*x^4*y^4 - 4*x^4*y^3 - 9*x^4*y^2 + 5*x^4*y + x^3*y^6 + 
    5*x^3*y^5 + 4*x^3*y^4 - 20*x^3*y^3 + 10*x^3*y^2 + 2*x^2*y^6 + 8*x^2*y^5 - 
    20*x^2*y^4 + 10*x^2*y^3 + 5*x*y^6 - 10*x*y^5 + 5*x*y^4 + y^7 - 2*y^6 + y^5