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