5.3.2 表达式化简