Y1X2 = Y1*X2 Y1Y2 = Y1*Y2 Z1Y2 = Z1*Y2 Z1Z2 = Z1*Z2 X1Z2 = X1*Z2 X1X2 = X1*X2 t0 = X1X2*Y1X2 t1 = Z1Z2*Z1Y2 X3 = t1-t0 t2 = Z1Z2*X1Z2 t3 = Y1Y2*Y1X2 Y3 = t3-t2 t4 = Y1Y2*Z1Y2 t5 = X1X2*X1Z2 Z3 = t5-t4