空の評価チェーンをトレースする：

ローカルな定義の結果の評価をトレースする：

Mapの演算をトレースする：

評価に使われたすべての式をトレースする：

_Plusにマッチする式だけを含める：

シンボルPlusに関連付けられた変換規則を使うすべての評価を含める：

パターンにマッチするトレース内の評価を入手する：

頭部fibを削除するために，マッチするそれぞれに変換規則を適用する：

Ifのような条件の評価をトレースする．Falseブランチの2+2は決して評価されない：

Andのような論理演算子の評価をトレースする．OddQ[5]が評価されない点に注意のこと：

Doのような反復関数の評価をトレースする：

属性HoldAllを持つCompoundExpression (;)の各ステップをトレースする．本体内で各引数が順に評価される：

CompoundExpressionのように最終引数を返す属性がない関数を定義する：

f[…]は本体に入る前に全引数を評価し，最終引数を返す：

ホールド特性がある頭部がホールド特性がない頭部で置換される評価ステップをトレースする：

結果は同じであるが，ホールド属性がないと評価順は極めて異なる：

関数FoldListにはホールド属性はない：

この関数は，内部的には非常順的評価を使って f[x₀,x₁], f[f[x₀,x₁],x₂], …という評価過程の列を計算する：

デフォルトで，x のようなシンボルは，x$nnn という形式局所名を持つシンボルと一致する：

MatchLocalNamesFalseとすると，x の明示的な一致のみが表示される：

フィボナッチ数を求めるための再帰的定義：

出現したfibの総和のみを表示する：

fibの各和に至る評価鎖の始まりと終りを表示する：

fibの各和へと至る全評価鎖を示す：

総和に至るまでの評価鎖を示し，その後の処理は表示しない：

フィボナッチ数を求めるための再帰的定義：

必要とされる正の整数の加算のみを表示する：

各加算に至る評価鎖の開始部分を表示する：

各加算に至った途中の評価をすべて表示する：

フィボナッチ数を求めるための再帰的定義：

レベル3までの評価のみをトレースする：

fib[6]およびfib[7]，すなわち最も深い鎖の始点は，結果のレベル3に位置する：

フィボナッチ数を求めるための再帰的な定義：

遭遇したfibの評価のみを表示する：

fibの評価とその結果のみを表示する：

fibの呼出しと結果の間に生じるすべての中間評価を表示する：

関数gを評価する式の評価をトレースする：

gの値の取得に必要な評価を省略する：

関数gを評価する式の評価をトレースする：

gの内側の評価だけをトレースする：

式の評価をトレースし，変更された式に対する評価鎖を表示する：

変更されない式に対しても評価鎖を表示する：

各評価鎖の開始点を表示するが，変化しない連鎖は除外する：