TraceOriginal is an option for Trace and related functions which specifies whether to test the form of each expression before its head and arguments are evaluated.
With the default TraceOriginal -> False, the forms of expressions generated during an evaluation are tested only after their head and arguments have been evaluated. In addition, evaluation chains for expressions which do not change under evaluation are not included.
With TraceOriginal -> True, the forms before evaluation of the head and arguments are also tested, and evaluation chains for expressions which do not change under evaluation are included.
See Section 2.6.11.
New in Version 2.