t0 = Y1^2 t1 = X1*t0 S = 4*t1 t2 = Z1^2 t3 = Z1^2 t4 = X1-t2 t5 = X1+t3 t6 = t4*t5 M = 3*t6 t7 = M^2 t8 = 2*S T = t7-t8 X3 = T t9 = S-T t10 = Y1^4 t11 = 8*t10 t12 = M*t9 Y3 = t12-t11 t13 = Y1*Z1 Z3 = 2*t13