Transform a+a into 2*a, this can be used in reassociation