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.