求解 先化解 再求值