x + x + x + x = 4x in Algebraic Simplification