That formula just simplifies to trade_deficit/2*total_imports per country. It doesn't disprove anything it just looks fancier but the two extra terms are constants that simplify to 2. If you do the math it lines up for every country that didn't get the default 10% rate.