t0 = D1*S1 t1 = Z1*t0 t2 = C1*t1 S3 = 2*t2 t3 = C1*D1 t4 = D1*Z1 t5 = C1*Z1 t6 = t5^2 t7 = t4^2 t8 = t3^2 t9 = t6-t7 C3 = t9+t8 t10 = C1*D1 t11 = C1*Z1 t12 = D1*Z1 t13 = t12^2 t14 = t11^2 t15 = t10^2 t16 = t13-t14 D3 = t16+t15 t17 = C1*D1 t18 = C1*Z1 t19 = D1*Z1 t20 = t19^2 t21 = t18^2 t22 = t17^2 t23 = t20+t21 Z3 = t23-t22