Canonicalize multiplies by looking at whether the operands have any constants themselves. Patch by Tim Murray!