W1 = X1+Y1 t0 = W1+Z1 t1 = W1*t0 E = t1^2 t2 = sqrtd1*W1 t3 = t2+X1 t4 = X1^2 t5 = t3*Z1 t6 = t5+t4 X3 = t6^2 Y3 = X3+E t7 = Z1^2 t8 = t7^2 t9 = d1*t8 Z3 = E+t9