XX1 = X1^2
YY1 = Y1^2
ZZ1 = Z1^2
t0 = X1+Y1
t1 = t0^2
t2 = t1-XX1
XY1 = t2-YY1
t3 = X1+Z1
t4 = t3^2
t5 = t4-XX1
XZ1 = t5-ZZ1
t6 = Y1+Z1
t7 = t6^2
t8 = t7-YY1
YZ1 = t8-ZZ1
XX2 = X2^2
YY2 = Y2^2
ZZ2 = Z2^2
t9 = X2+Y2
t10 = t9^2
t11 = t10-XX2
XY2 = t11-YY2
t12 = X2+Z2
t13 = t12^2
t14 = t13-XX2
XZ2 = t14-ZZ2
t15 = Y2+Z2
t16 = t15^2
t17 = t16-YY2
YZ2 = t17-ZZ2
t18 = XZ1*YY2
t19 = YY1*XZ2
X3 = t19-t18
t20 = YZ1*XX2
t21 = XX1*YZ2
Y3 = t21-t20
t22 = XY1*ZZ2
t23 = ZZ1*XY2
Z3 = t23-t22