fix bug in mul_1x1
don't assume that error bound computations are commutative