y, z, x, t, 
t^2*x^2-t*x
(t*x-1)*y
t*x*z-y
