switch trace

trace [whole] switch

During evaluation, it is sometimes desirable to see the rewrite sequences, not just the results. Setting the switch trace whole will result in the resultant term of each rewrite step being printed. Setting the switch trace will result in the display of which rule, substitution, and replacement are used.