((/nonstd/arithmetic/equalities.lisp::pow (nil nil nil nil (if) nil nil) (nil (1) (zp) (*) nil nil nil) ((n) (2) (recursive-call) nil nil nil nil) (nil nil nil (-) nil nil nil) ((n) (1) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/arithmetic/equalities.lisp::e (nil nil nil nil (if) nil nil) (nil (1) (zp) (*) nil nil nil) ((x) nil (recursive-call) (-) nil nil nil) (nil (1) (pow) (-) nil nil nil) ((x x) (1) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))