TraceEvaluation[expr, options]Options adjust output and filtering behavior
ShowTimeByStepsFalse.ShowEvaluationTrue.ShowRewriteTrue.Note: It does not make sense to set both ShowRewrite and ShowEvaluation to False.
TraceEvaluation[(x + x)^2]
TraceEvaluation[(x + x)^2, ShowTimeBySteps->True]
Now consider this function which consists of a function call that involves a rewrite rule:
TraceEvaluation[BesselK[0, 0]]
Sometimes, TraceEvaluation traces can get quite large. To reduce the size, it may be helpful to filter on either the evaluations or the replacement rules.
To see just the evaluations and return values, but not rewrite that occurs:
TraceEvaluation[BesselK[0, 0], ShowRewrite-> False]
To see just the rewrite that occurs, which tends to summarizes even more:
TraceEvaluation[BesselK[0, 0], ShowEvaluation-> False]