z8
z7
z1
z0
8*z3*z6^2 - 4*z4*z5*z6 + z5^3
16*z2*z6^2 + 2*z3*z5*z6 - 4*z4^2*z6 + z4*z5^2
8*z2*z5*z6 - 4*z3*z4*z6 + z3*z5^2
z2*z5^2 - z3^2*z6
8*z2*z3*z6 - 4*z2*z4*z5 + z3^2*z5
16*z2^2*z6 + 2*z2*z3*z5 - 4*z2*z4^2 + z3^2*z4
8*z2^2*z5 - 4*z2*z3*z4 + z3^3