Arithmetic expression simplification