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