
(DECLAIM (NOTINLINE |ElementaryFunctionCategory;|)) 

(DEFPARAMETER |ElementaryFunctionCategory;AL| 'NIL) 

(DEFUN |ElementaryFunctionCategory| ()
  (LET (#:G692)
    (COND (|ElementaryFunctionCategory;AL|)
          (T
           (SETQ |ElementaryFunctionCategory;AL|
                   (|ElementaryFunctionCategory;|)))))) 

(DEFUN |ElementaryFunctionCategory;| ()
  (SPROG ((#1=#:G690 NIL))
         (PROG1
             (LETT #1#
                   (|Join|
                    (|mkCategory|
                     '(((|log| ($ $)) T) ((|exp| ($ $)) T) ((^ ($ $ $)) T)) NIL
                     'NIL NIL))
                   |ElementaryFunctionCategory|)
           (SETELT #1# 0 '(|ElementaryFunctionCategory|))))) 

(MAKEPROP '|ElementaryFunctionCategory| 'NILADIC T) 
