t0 = X1-Z1
t1 = X1+Z1
t2 = t0*t1
w = 3*t2
t3 = Y1*Z1
s = 2*t3
ss = s^2
sss = s*ss
R = Y1*s
RR = R^2
t4 = X1*R
B = 2*t4
t5 = w^2
t6 = 2*B
h = t5-t6
X3 = h*s
t7 = B-h
t8 = 2*RR
t9 = w*t7
Y3 = t9-t8
Z3 = sss