对公式的一部分求值