TraceScan[f, expr] applies f to all expressions used in the evaluation of expr. TraceScan[f, expr, form] includes only those expressions which match form. TraceScan[f, expr, ...
TraceOff is an option for Trace and related functions which specifies forms inside which tracing should be switched off.
TraceDepth is an option for Trace and related functions which specifies the maximum nesting of evaluation chains that are to be included.
TraceOn
(Built-in Mathematica Symbol) TraceOn is an option for Trace and related functions which specifies when tracing should be switched on.
$IterationLimit gives the maximum length of evaluation chain used in trying to evaluate any expression.
SequenceHold is an attribute that specifies that Sequence objects appearing in the arguments of a function should not automatically be flattened out.
lhs :> rhs or lhs :> rhs represents a rule that transforms lhs to rhs, evaluating rhs only after the rule is used.
OwnValues[x] gives the rule corresponding to any ownvalue defined for the symbol x.
Parallelize[expr] evaluates expr using automatic parallelization.
UpValues[f] gives a list of transformation rules corresponding to all upvalues defined for the symbol f.