Expression simplification or Properties of Addition