[fhl_wh]

这可能与evalf对未知数代入的处理原则有关。直接计算代入后的式子是可以的。