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