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