先化简 再求值