Mathematica：简化和评估如何相关？

Question

正在写书。使用Mathematica进行一些自动校对。如果定义自己的斐波那契数函数，则证明不起作用。如果您使用内置的斐波那契，它们将起作用。斐波那契的文档说，简化功能具有处理斐波那契的特殊规则。大概是从Evaluate中调用了Simplify，并在那里调用了斐波那契的特殊规则。对Mathematica中的简化和评估之间的关系感到好奇。找不到说明这一点的文档。