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