[next] [prev] [prev-tail] [tail] [up]
Trace[Integrate[x, {x, 1, 2}], TraceInternal -> True]
[next] [prev] [prev-tail] [front] [up]