t0 = Z2-Y2 t1 = Z3-Y3 t2 = t0*t1 V = s*t2 t3 = Z2+Y2 t4 = Z3+Y3 W = t3*t4 t5 = W-V t6 = t5^2 Y5 = Z1*t6 t7 = W+V t8 = t7^2 Z5 = Y1*t8