"So now we see mathematically where the total differential's overestimation comes from: all those``cross terms""in the expanded square contribute."
All of these terms are small enough to ignore when calculating the uncertainty in y.