TraceForward

TraceForward is an option for Trace and related functions which specifies whether to include later expressions on the evaluation chain that contains the pattern form sought.

TraceForward -> True includes the final expression on the evaluation chain that contains form.

TraceForward -> All includes all expressions after form on the evaluation chain that contains form.

TraceForward allows you to see the transformations performed on an expression generated during an evaluation.

See The Mathematica Book: Section 2.5.10.

Further Examples