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