Using Commutativity to Simplify a Multiplication