Fix `mul` simplification

Fix for issue #212.
Does this line raise a csympy assert error in the current master? If not, we also need to update the is_canonical in Mul or Add, whatever place should raise the exception.