*trace-verbose*
controls the way arguments and values are printed in trace output.
If the value is not
nil
then trace attempts to decode the arguments and values, and prints them.
When the value is
:only
, trace does not print the lists of arguments and values after the function name.
LispWorks User Guide and Reference Manual - 21 Dec 2011