TracePrint
TracePrint[expr] prints all expressions used in the evaluation of expr.
TracePrint[expr,form] includes only those expressions which match form.
TracePrint[expr,s] includes all evaluations which use transformation rules associated with the symbol s.
Please visit the official Wolfram Language Reference for more details and examples on core symbols.