t0 = Z2^2 t1 = Y2^2 t2 = Z3^2 t3 = Y3^2 t4 = r*t2 t5 = r*t0 t6 = t5-t1 t7 = t4-t3 t8 = t6*t7 V = s*t8 t9 = Z2^2 t10 = Y2^2 t11 = Z3^2 t12 = Y3^2 t13 = r*t11 t14 = r*t9 t15 = t14+t10 t16 = t13+t12 W = t15*t16 t17 = W-V t18 = Z1*t17 Y5 = r*t18 t19 = W+V Z5 = Y1*t19