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