x^7*y^4 - x^7*y^3 + 1/2*x^7*y^2 + 4*x^6*y^4 - 5*x^6*y^3 + 7/2*x^6*y^2 - x^6*y + 
    x^5*y^5 + 9/2*x^5*y^4 - 7*x^5*y^3 + 11/2*x^5*y^2 - 3*x^5*y + 1/2*x^5 + 
    4*x^4*y^5 - 3/2*x^4*y^4 - 2*x^4*y^3 + 1/2*x^4*y^2 - x^4*y + 1/2*x^4 + 
    1/2*x^3*y^6 + 5*x^3*y^5 - 13/2*x^3*y^4 + x^3*y^3 - x^3*y^2 + x^3*y + 
    3/2*x^2*y^6 + 3/2*x^2*y^5 - 6*x^2*y^4 + 5/2*x^2*y^3 + 1/2*x^2*y^2 + 
    5/2*x*y^6 - 5*x*y^5 + 5/2*x*y^4 + 1/2*y^7 - y^6 + 1/2*y^5