To pretty print an sexp in GNU #emacs use M-x pp-macroexpand-last-sexp