t0 = Z2-Y2 t1 = t0^2 V2 = s*t1 t2 = Z2+Y2 W2 = t2^2 t3 = W2-V2 Y4 = t3^2 t4 = W2+V2 t5 = t4^2 Z4 = r*t5 t6 = Z2-Y2 t7 = Z3-Y3 t8 = t6*t7 V = s*t8 t9 = Z2+Y2 t10 = Z3+Y3 W = t9*t10 t11 = W-V t12 = t11^2 Y5 = Z1*t12 t13 = W+V t14 = t13^2 Z5 = Y1*t14