ACL2-PC::X-DUMB

(atomic macro) expand function call at the current subterm, without simplifying
Major Section:  PROOF-CHECKER-COMMANDS

Example:
x-dumb:  expand without simplification.

General Form: (x-dumb &optional new-goals-flg keep-all-guards-flg)

Same as (expand t new-goals-flg keep-all-guards-flg). See documentation for expand.

See also x, which allows simplification.