7.3.2 使用公式求值分步检查