Trace

Trace[expr] generates a list of all expressions used in the evaluation of expr. 

Trace[expr,form] includes only those expressions that match form. 

Trace[expr,s] includes all evaluations that use transformation rules associated with the symbol s. 

Please visit the official Wolfram Language Reference for more details and examples on core symbols.