*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 - 13 Feb 2015