t0 = Z1^3
t1 = X1^3
t2 = t0-t1
X3 = Y1*t2
t3 = Y1^3
t4 = Z1^3
t5 = t3-t4
Y3 = X1*t5
t6 = X1^3
t7 = Y1^3
t8 = t6-t7
Z3 = Z1*t8