Relative Error Propagation Through a Product

Relative errors of a product don't simply add: $\delta(ab)=\delta(a)+\delta(b)+\delta(a)\delta(b)$. The cross term is the catch, and it vanishes exactly when one factor is exact.