x, y, z, t, 
t^2-3*t*x+2*t*y+x^2+x*y-2*x*z+y^2-4*y*z+3*z^2-2*t-3*x-2*y+3*z-2
-3*t^2-t*x+t*y-5*t*z+2*x^2-x*y-x*z+y^2-y*z-6*z^2+2*t-5*x+y+5*z+5
2*t^3+t^2*x+t*x*y-5*t*z^2+x^3-x^2*z+x*y*z-5*x*z^2+y^3-5*y^2*z+7*y*z^2-3*z^3-3*t^2-3*t*x-2*t*z+x^2-3*x*y+2*x*z-y^2+2*z^2-2*t-x+y+11*z-3
4*t^3+11*t^2*x+6*t*x*y-t*x*z-7*t*y^2-x^3+6*x^2*y-x^2*z-12*x*y^2-4*x*y*z+5*x*z^2+6*y^3+6*y^2*z+4*y*z^2+15*z^3+5*t^2+2*t*y-t*z+3*x^2+2*x*y+2*y^2-z^2-10*t-35*x-14*y+4*z-15
