t0 = Y1^2 t1 = Y2^2 t2 = Z1*X1 t3 = t1*t2 t4 = Z2*X2 t5 = t0*t4 X3 = t5-t3 t6 = X1^2 t7 = X2^2 t8 = Y1*Z1 t9 = t7*t8 t10 = Y2*Z2 t11 = t6*t10 Y3 = t11-t9 t12 = Z1^2 t13 = Z2^2 t14 = X1*Y1 t15 = t13*t14 t16 = X2*Y2 t17 = t12*t16 Z3 = t17-t15