4.4.4.5 Profile Commands

REPL Command: time exp

Time execution.

REPL Command: profile exp

Profile execution.

REPL Command: trace exp [#:width w] [#:max-indent i]

Trace execution.

By default, the trace will limit its width to the width of your terminal, or width if specified. Nested procedure invocations will be printed farther to the right, though if the width of the indentation passes the max-indent, the indentation is abbreviated.