macroexpand

(macroexpand form)

Expands to the fixpoint -- while the head names a macro -- and answers the result as data, the mangled data itself like macroexpand-1. Also names a function value.