Y12 = 2*Y1 T1 = R1^2 T12 = 2*T1 T2 = Y12^2 t0 = R1+Y12 t1 = t0^2 t2 = t1-T1 X3 = t2-T2 XX3 = X3^2 t3 = c*T12 t4 = T2+t3 t5 = t4^2 t6 = c*XX3 Y3 = t5-t6 t7 = XX1^2 t8 = 8*t7 t9 = a*T12 t10 = T2-t9 Z3 = t10-t8 ZZ3 = Z3^2 T3 = XX3+ZZ3 t11 = X3+Z3 t12 = t11^2 R3 = t12-T3