(nil (/rtl/rel5/user/ereps.lisp::sgn (nil nil nil nil (if) nil nil) (nil (0) nil (or) (if) nil nil) (nil (-1 1) (not) (equal <) nil nil nil) ((x x) (0 0) (rationalp) nil nil nil nil) ((x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel5/user/ereps.lisp::formal-+ (nil nil nil nil (if) nil nil) (nil nil nil (and +) (list) nil nil) ((x y x y) nil (acl2-numberp acl2-numberp quote) nil nil nil nil) ((x y +) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel5/user/ereps.lisp::cat-size (nil nil nil nil (if) nil nil) (nil nil (endp cadr) (formal-+) nil nil nil) ((x) nil (cddr cadr recursive-call) nil nil nil nil) ((x x) nil (cddr) nil nil nil nil) ((x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel5/user/ereps.lisp::erepp (nil nil nil nil nil (and) nil) (nil nil (rationalp not) (bvecp exactp) nil nil nil) ((x q x p) nil nil (= +) nil nil nil) ((x) (0) (expo bias) nil nil nil nil) ((x q) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel5/user/ereps.lisp::eencodingp (nil nil nil (and) nil nil nil) (nil nil nil (bvecp =) nil nil nil) ((x) (1) nil (bitn) (+) nil nil) ((p q x) (1) nil (-) nil nil nil) ((p) (1) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel5/user/ereps.lisp::eencode (nil nil nil nil nil (cat) nil) ((p) nil (1+) (*) nil (cat) nil) ((q q) (1) (sig) (+ expt) (if) nil nil) ((x) (0 1 2) (expo bias) (= -) nil nil nil) ((x q p) (1 1) (sgn) nil nil nil nil) ((x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel5/user/ereps.lisp::edecode (nil nil nil nil (*) nil nil) (nil nil nil (esigf expt) (if) nil nil) ((x p) (1 -1 2) nil (=) nil (+) nil) (nil (0 1) (- -) nil (esgnf eexpof) nil nil) ((x p q p x p q) nil (bias) nil nil nil nil) ((q) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel5/user/ereps.lisp::rebias-expo (nil nil nil (+) nil nil nil) ((expo) nil nil (-) nil nil nil) (nil nil (bias bias) nil nil nil nil) ((new old) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))