t0 = XZ1*YY2 t1 = YY1*XZ2 X3 = t1-t0 t2 = YZ1*XX2 t3 = XX1*YZ2 Y3 = t3-t2 t4 = ZZ1*XY2 Z3 = t4-XY1 XX3 = X3^2 YY3 = Y3^2 ZZ3 = Z3^2 t5 = X3+Y3 t6 = t5^2 t7 = t6-XX3 XY3 = t7-YY3 t8 = X3+Z3 t9 = t8^2 t10 = t9-XX3 XZ3 = t10-ZZ3 t11 = Y3+Z3 t12 = t11^2 t13 = t12-YY3 YZ3 = t13-ZZ3