teach reassociate to factor x+x+x -> x*3. While I'm at it,