X1Y2 = X1*Y2 X1Z2 = X1*Z2 Y1Z2 = Y1*Z2 Y1X2 = Y1*X2 Z1X2 = Z1*X2 Z1Y2 = Z1*Y2 t0 = Z1Y2*X1Y2 t1 = Y1X2*Y1Z2 X3 = t1-t0 t2 = Y1X2*Z1X2 t3 = X1Z2*X1Y2 Y3 = t3-t2 t4 = X1Z2*Y1Z2 t5 = Z1Y2*Z1X2 Z3 = t5-t4