Arithmetic simplification