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