InstCombine: Implement X - A*-B -> X + A*B.