x, y, z, t, u, v, 
2*t^2+2*u^2+v^2+2*x^2+2*y^2+2*z^2-v
2*t*u+2*t*z+2*u*v+2*x*y+2*y*z-u
2*t*v+2*t*y+u^2+2*u*z+2*x*z-t
2*t*u+2*t*x+2*u*y+2*v*z-z
t^2+2*u*x+2*u*z+2*v*y-y
2*x+2*y+2*z+2*t+2*u+v-1
