delta = Z1^2 gamma = Y1^2 beta = X1*gamma t0 = X1-delta t1 = X1+delta t2 = t0*t1 alpha = 3*t2 t3 = alpha^2 t4 = 8*beta X3 = t3-t4 t5 = Y1+Z1 t6 = t5^2 t7 = t6-gamma Z3 = t7-delta t8 = 4*beta t9 = t8-X3 t10 = gamma^2 t11 = 8*t10 t12 = alpha*t9 Y3 = t12-t11