t0 = Z2^2 t1 = Y2^2 t2 = r*t0 t3 = t2-t1 t4 = t3^2 V2 = s*t4 t5 = Z2^2 t6 = Y2^2 t7 = r*t5 t8 = t7+t6 W2 = t8^2 Y4 = W2-V2 Z4 = W2+V2 t9 = Z2^2 t10 = Y2^2 t11 = Z3^2 t12 = Y3^2 t13 = r*t11 t14 = r*t9 t15 = t14-t10 t16 = t13-t12 t17 = t15*t16 V = s*t17 t18 = Z2^2 t19 = Y2^2 t20 = Z3^2 t21 = Y3^2 t22 = r*t20 t23 = r*t18 t24 = t23+t19 t25 = t22+t21 W = t24*t25 t26 = W-V t27 = Z1*t26 Y5 = r*t27 t28 = W+V Z5 = Y1*t28