x^8*y^4 + 4*x^7*y^4 + 2*x^7*y^3 - 4*x^7*y^2 + x^7*y + x^6*y^5 + 10*x^6*y^4 - 
    2*x^6*y^3 - 12*x^6*y^2 + 7*x^6*y - x^6 + 5*x^5*y^5 + 14*x^5*y^4 - 26*x^5*y^3
    + 3*x^5*y^2 + 7*x^5*y - 2*x^5 + 13*x^4*y^5 - 6*x^4*y^4 - 26*x^4*y^3 + 
    23*x^4*y^2 - 3*x^4*y - x^4 + 2*x^3*y^6 + 12*x^3*y^5 - 31*x^3*y^4 + 
    15*x^3*y^3 + 6*x^3*y^2 - 4*x^3*y + 5*x^2*y^6 - 6*x^2*y^5 - 9*x^2*y^4 + 
    16*x^2*y^3 - 6*x^2*y^2 + 4*x*y^6 - 12*x*y^5 + 12*x*y^4 - 4*x*y^3 + y^7 - 
    3*y^6 + 3*y^5 - y^4