resultant(x^6+(2 a+1)x^4+2b x^3+(a^2+a+1)x^2+(2a+1)b x+a+b^2+1,z-x^3-a x-b-x) - (z^3+(a+2)z-b)^2