Change cannonicalization rules: add X,X is represented as multiplies, multiplies