
(/VERSIONCHECK 2) 

(DEFUN |EFSTRUC;realElem| (|f| |l| $)
  (SPADCALL (|EFSTRUC;smpElem| (SPADCALL |f| (QREFELT $ 18)) |l| $)
            (|EFSTRUC;smpElem| (SPADCALL |f| (QREFELT $ 19)) |l| $)
            (QREFELT $ 15))) 

(DEFUN |EFSTRUC;realElementary;FSF;2| (|f| |x| $)
  (|EFSTRUC;realElem| |f| (LIST |x|) $)) 

(DEFUN |EFSTRUC;realElementary;2F;3| (|f| $)
  (|EFSTRUC;realElem| |f| (SPADCALL |f| (QREFELT $ 23)) $)) 

(DEFUN |EFSTRUC;toY| (|ker| $)
  (PROG (|func| #1=#:G771 |k| #2=#:G770)
    (RETURN
     (SEQ
      (PROGN
       (LETT #2# NIL . #3=(|EFSTRUC;toY|))
       (SEQ (LETT |k| NIL . #3#) (LETT #1# |ker| . #3#) G190
            (COND
             ((OR (ATOM #1#) (PROGN (LETT |k| (CAR #1#) . #3#) NIL))
              (GO G191)))
            (SEQ
             (EXIT
              (COND
               ((SEQ (LETT |func| (|EFSTRUC;ktoY| |k| $) . #3#)
                     (EXIT
                      (COND
                       ((SPADCALL |func| (|spadConstant| $ 26) (QREFELT $ 28))
                        'NIL)
                       ('T 'T))))
                (LETT #2# (CONS |func| #2#) . #3#)))))
            (LETT #1# (CDR #1#) . #3#) (GO G190) G191
            (EXIT (NREVERSE0 #2#)))))))) 

(DEFUN |EFSTRUC;toZ| (|ker| $)
  (PROG (|func| #1=#:G776 |k| #2=#:G775)
    (RETURN
     (SEQ
      (PROGN
       (LETT #2# NIL . #3=(|EFSTRUC;toZ|))
       (SEQ (LETT |k| NIL . #3#) (LETT #1# |ker| . #3#) G190
            (COND
             ((OR (ATOM #1#) (PROGN (LETT |k| (CAR #1#) . #3#) NIL))
              (GO G191)))
            (SEQ
             (EXIT
              (COND
               ((SEQ (LETT |func| (|EFSTRUC;ktoZ| |k| $) . #3#)
                     (EXIT
                      (COND
                       ((SPADCALL |func| (|spadConstant| $ 26) (QREFELT $ 28))
                        'NIL)
                       ('T 'T))))
                (LETT #2# (CONS |func| #2#) . #3#)))))
            (LETT #1# (CDR #1#) . #3#) (GO G190) G191
            (EXIT (NREVERSE0 #2#)))))))) 

(DEFUN |EFSTRUC;toU| (|ker| $)
  (PROG (|func| #1=#:G781 |k| #2=#:G780)
    (RETURN
     (SEQ
      (PROGN
       (LETT #2# NIL . #3=(|EFSTRUC;toU|))
       (SEQ (LETT |k| NIL . #3#) (LETT #1# |ker| . #3#) G190
            (COND
             ((OR (ATOM #1#) (PROGN (LETT |k| (CAR #1#) . #3#) NIL))
              (GO G191)))
            (SEQ
             (EXIT
              (COND
               ((SEQ (LETT |func| (|EFSTRUC;ktoU| |k| $) . #3#)
                     (EXIT
                      (COND
                       ((SPADCALL |func| (|spadConstant| $ 26) (QREFELT $ 28))
                        'NIL)
                       ('T 'T))))
                (LETT #2# (CONS |func| #2#) . #3#)))))
            (LETT #1# (CDR #1#) . #3#) (GO G190) G191
            (EXIT (NREVERSE0 #2#)))))))) 

(DEFUN |EFSTRUC;toV| (|ker| $)
  (PROG (|func| #1=#:G786 |k| #2=#:G785)
    (RETURN
     (SEQ
      (PROGN
       (LETT #2# NIL . #3=(|EFSTRUC;toV|))
       (SEQ (LETT |k| NIL . #3#) (LETT #1# |ker| . #3#) G190
            (COND
             ((OR (ATOM #1#) (PROGN (LETT |k| (CAR #1#) . #3#) NIL))
              (GO G191)))
            (SEQ
             (EXIT
              (COND
               ((SEQ (LETT |func| (|EFSTRUC;ktoV| |k| $) . #3#)
                     (EXIT
                      (COND
                       ((SPADCALL |func| (|spadConstant| $ 26) (QREFELT $ 28))
                        'NIL)
                       ('T 'T))))
                (LETT #2# (CONS |func| #2#) . #3#)))))
            (LETT #1# (CDR #1#) . #3#) (GO G190) G191
            (EXIT (NREVERSE0 #2#)))))))) 

(DEFUN |EFSTRUC;rtNormalize| (|f| $) (QVELT (|EFSTRUC;rootNormalize0| |f| $) 0)) 

(DEFUN |EFSTRUC;toR| (|ker| |x| $)
  (PROG ()
    (RETURN
     (SPADCALL (CONS #'|EFSTRUC;toR!0| (VECTOR |x| $)) |ker| (QREFELT $ 37))))) 

(DEFUN |EFSTRUC;toR!0| (|s| $$)
  (PROG ($ |x|)
    (LETT $ (QREFELT $$ 1) . #1=(|EFSTRUC;toR|))
    (LETT |x| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (COND
       ((SPADCALL |s| '|nthRoot| (QREFELT $ 30))
        (SPADCALL (SPADCALL (SPADCALL |s| (QREFELT $ 32)) (QREFELT $ 33)) |x|
                  (QREFELT $ 28)))
       ('T (|spadConstant| $ 34))))))) 

(DEFUN |EFSTRUC;tanQ;F2F;10| (|c| |x| $)
  (PROG (#1=#:G793)
    (RETURN
     (SPADCALL
      (SPADCALL
       (SPADCALL
        (SPADCALL |x|
                  (PROG1
                      (LETT #1# (SPADCALL |c| (QREFELT $ 39))
                            |EFSTRUC;tanQ;F2F;10|)
                    (|check-subtype| (> #1# 0) '(|PositiveInteger|) #1#))
                  (QREFELT $ 43))
        (QREFELT $ 45))
       (QREFELT $ 47))
      (SPADCALL |c| (QREFELT $ 48)) (QREFELT $ 49))))) 

(DEFUN |EFSTRUC;tanQ;F2F;11| (|c| |x| $)
  (PROG (#1=#:G796)
    (RETURN
     (SPADCALL
      (SPADCALL
       (SPADCALL |x|
                 (PROG1
                     (LETT #1# (SPADCALL |c| (QREFELT $ 39))
                           |EFSTRUC;tanQ;F2F;11|)
                   (|check-subtype| (> #1# 0) '(|PositiveInteger|) #1#))
                 (QREFELT $ 43))
       (QREFELT $ 45))
      (SPADCALL |c| (QREFELT $ 48)) (QREFELT $ 49))))) 

(DEFUN |EFSTRUC;tanSum| (|c| |l| $)
  (PROG (#1=#:G806 |r| |k|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |k| (SPADCALL |c| (QREFELT $ 16) (QREFELT $ 15))
              . #2=(|EFSTRUC;tanSum|))
        (SEQ (LETT |r| (SPADCALL |k| (QREFELT $ 52)) . #2#)
             (EXIT
              (COND
               ((QEQCAR |r| 0)
                (COND
                 ((ODDP (QCDR |r|))
                  (PROGN
                   (LETT #1#
                         (SPADCALL
                          (SPADCALL (SPADCALL |l| (QREFELT $ 53))
                                    (QREFELT $ 54))
                          (QREFELT $ 14))
                         . #2#)
                   (GO #1#))))))))
        (EXIT
         (SPADCALL (CONS (SPADCALL |c| (QREFELT $ 55)) |l|) (QREFELT $ 53)))))
      #1# (EXIT #1#))))) 

(DEFUN |EFSTRUC;rootNormalize0| (|f| $)
  (PROG (#1=#:G815 #2=#:G819 |rn| |rec| |u| |i| #3=#:G820 |kk| |n| |ker|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |ker|
              (SPADCALL (CONS #'|EFSTRUC;rootNormalize0!0| $)
                        (SPADCALL |f| (QREFELT $ 58)) (QREFELT $ 59))
              . #4=(|EFSTRUC;rootNormalize0|))
        (EXIT
         (COND ((NULL |ker|) (VECTOR |f| NIL NIL))
               (#5='T
                (SEQ (LETT |n| (- (LENGTH |ker|) 1) . #4#)
                     (EXIT
                      (COND ((< |n| 1) (VECTOR |f| NIL NIL))
                            (#5#
                             (SEQ
                              (SEQ
                               (EXIT
                                (SEQ (LETT |kk| NIL . #4#)
                                     (LETT #3# (CDR |ker|) . #4#)
                                     (LETT |i| 1 . #4#) G190
                                     (COND
                                      ((OR (QSGREATERP |i| |n|) (ATOM #3#)
                                           (PROGN
                                            (LETT |kk| (CAR #3#) . #4#)
                                            NIL))
                                       (GO G191)))
                                     (SEQ
                                      (LETT |u|
                                            (|EFSTRUC;rootKernelNormalize| |f|
                                             (SPADCALL |ker| |i|
                                                       (QREFELT $ 63))
                                             |kk| $)
                                            . #4#)
                                      (EXIT
                                       (COND
                                        ((QEQCAR |u| 0)
                                         (PROGN
                                          (LETT #1#
                                                (SEQ
                                                 (LETT |rec| (QCDR |u|) . #4#)
                                                 (LETT |rn|
                                                       (|EFSTRUC;rootNormalize0|
                                                        (QVELT |rec| 0) $)
                                                       . #4#)
                                                 (EXIT
                                                  (PROGN
                                                   (LETT #2#
                                                         (VECTOR (QVELT |rn| 0)
                                                                 (SPADCALL
                                                                  (QVELT |rec|
                                                                         1)
                                                                  (QVELT |rn|
                                                                         1)
                                                                  (QREFELT $
                                                                           64))
                                                                 (SPADCALL
                                                                  (QVELT |rec|
                                                                         2)
                                                                  (QVELT |rn|
                                                                         2)
                                                                  (QREFELT $
                                                                           65)))
                                                         . #4#)
                                                   (GO #2#))))
                                                . #4#)
                                          (GO #1#))))))
                                     (LETT |i|
                                           (PROG1 (QSADD1 |i|)
                                             (LETT #3# (CDR #3#) . #4#))
                                           . #4#)
                                     (GO G190) G191 (EXIT NIL)))
                               #1# (EXIT #1#))
                              (EXIT (VECTOR |f| NIL NIL))))))))))))
      #2# (EXIT #2#))))) 

(DEFUN |EFSTRUC;rootNormalize0!0| (|x| $)
  (COND
   ((SPADCALL |x| '|nthRoot| (QREFELT $ 30))
    (SPADCALL
     (SPADCALL (SPADCALL (SPADCALL |x| (QREFELT $ 32)) (QREFELT $ 33))
               (QREFELT $ 23))
     (QREFELT $ 56)))
   ('T (|spadConstant| $ 34)))) 

(DEFUN |EFSTRUC;findQRelation| (|lv| |lpar| |lk| |ker| $)
  (PROG (#1=#:G835 |u| |j| #2=#:G843 |k| |i| #3=#:G842 |var| |mat| |isconstant|
         #4=#:G841 |v| |lvv| |m| #5=#:G840 |n|)
    (RETURN
     (SEQ
      (COND ((NULL |lk|) (CONS 2 'T))
            (#6='T
             (SEQ (LETT |isconstant| 'T . #7=(|EFSTRUC;findQRelation|))
                  (LETT |m| (LENGTH |lv|) . #7#) (LETT |lvv| |lv| . #7#)
                  (LETT |n| (LENGTH |lk|) . #7#)
                  (LETT |v| (SPADCALL |m| (|spadConstant| $ 26) (QREFELT $ 67))
                        . #7#)
                  (SEQ (LETT |var| NIL . #7#) (LETT #5# |lv| . #7#)
                       (LETT |i| 1 . #7#) G190
                       (COND
                        ((OR (QSGREATERP |i| |m|) (ATOM #5#)
                             (PROGN (LETT |var| (CAR #5#) . #7#) NIL))
                         #8=(GO G191)))
                       (SEQ
                        (SPADCALL |v| |i| (SPADCALL |ker| |var| (QREFELT $ 68))
                                  (QREFELT $ 69))
                        (EXIT
                         (COND
                          (|isconstant|
                           (LETT |isconstant|
                                 (SPADCALL (SPADCALL |v| |i| (QREFELT $ 70))
                                           (|spadConstant| $ 26)
                                           (QREFELT $ 28))
                                 . #7#)))))
                       (LETT |i|
                             (PROG1 (QSADD1 |i|) (LETT #5# (CDR #5#) . #7#))
                             . #7#)
                       #9=(GO G190) G191 (EXIT NIL))
                  (COND
                   (|isconstant|
                    (SEQ (LETT |m| (LENGTH |lpar|) . #7#)
                         (LETT |lvv| |lpar| . #7#)
                         (LETT |v|
                               (SPADCALL |m| (|spadConstant| $ 26)
                                         (QREFELT $ 67))
                               . #7#)
                         (EXIT
                          (SEQ (LETT |var| NIL . #7#) (LETT #4# |lpar| . #7#)
                               (LETT |i| 1 . #7#) G190
                               (COND
                                ((OR (QSGREATERP |i| |m|) (ATOM #4#)
                                     (PROGN (LETT |var| (CAR #4#) . #7#) NIL))
                                 #8#))
                               (SEQ
                                (SPADCALL |v| |i|
                                          (SPADCALL |ker| |var| (QREFELT $ 68))
                                          (QREFELT $ 69))
                                (EXIT
                                 (COND
                                  (|isconstant|
                                   (LETT |isconstant|
                                         (SPADCALL
                                          (SPADCALL |v| |i| (QREFELT $ 70))
                                          (|spadConstant| $ 26) (QREFELT $ 28))
                                         . #7#)))))
                               (LETT |i|
                                     (PROG1 (QSADD1 |i|)
                                       (LETT #4# (CDR #4#) . #7#))
                                     . #7#)
                               #9# G191 (EXIT NIL))))))
                  (EXIT
                   (COND (|isconstant| (|error| "Hidden constant detected"))
                         (#6#
                          (SEQ
                           (LETT |mat|
                                 (SPADCALL |m| |n| (|spadConstant| $ 26)
                                           (QREFELT $ 72))
                                 . #7#)
                           (SEQ (LETT |var| NIL . #7#) (LETT #3# |lvv| . #7#)
                                (LETT |i| 1 . #7#) G190
                                (COND
                                 ((OR (QSGREATERP |i| |m|) (ATOM #3#)
                                      (PROGN (LETT |var| (CAR #3#) . #7#) NIL))
                                  #8#))
                                (SEQ
                                 (EXIT
                                  (SEQ (LETT |k| NIL . #7#)
                                       (LETT #2# |lk| . #7#) (LETT |j| 1 . #7#)
                                       G190
                                       (COND
                                        ((OR (QSGREATERP |j| |n|) (ATOM #2#)
                                             (PROGN
                                              (LETT |k| (CAR #2#) . #7#)
                                              NIL))
                                         #8#))
                                       (SEQ
                                        (EXIT
                                         (SPADCALL |mat| |i| |j|
                                                   (SPADCALL |k| |var|
                                                             (QREFELT $ 68))
                                                   (QREFELT $ 73))))
                                       (LETT |j|
                                             (PROG1 (QSADD1 |j|)
                                               (LETT #2# (CDR #2#) . #7#))
                                             . #7#)
                                       #9# G191 (EXIT NIL))))
                                (LETT |i|
                                      (PROG1 (QSADD1 |i|)
                                        (LETT #3# (CDR #3#) . #7#))
                                      . #7#)
                                #9# G191 (EXIT NIL))
                           (EXIT
                            (COND
                             ((QEQCAR
                               (LETT |u| (SPADCALL |mat| |v| (QREFELT $ 76))
                                     . #7#)
                               0)
                              (CONS 0
                                    (PROG2
                                        (LETT #1# |u| . #7#)
                                        (QCDR #1#)
                                      (|check-union| (QEQCAR #1# 0)
                                                     (|Vector|
                                                      (|Fraction| (|Integer|)))
                                                     #1#))))
                             (#6# (CONS 2 'T))))))))))))))) 

(DEFUN |EFSTRUC;findLinearRelation1| (|lk| |ker| $)
  (PROG (#1=#:G847 |u| |j| #2=#:G851 |k| |v| |mat| |n|)
    (RETURN
     (SEQ
      (COND ((NULL |lk|) (CONS 2 'T))
            (#3='T
             (SEQ (LETT |n| (LENGTH |lk|) . #4=(|EFSTRUC;findLinearRelation1|))
                  (LETT |mat|
                        (SPADCALL 1 |n| (|spadConstant| $ 26) (QREFELT $ 72))
                        . #4#)
                  (LETT |v| (SPADCALL 1 |ker| (QREFELT $ 67)) . #4#)
                  (SEQ (LETT |k| NIL . #4#) (LETT #2# |lk| . #4#)
                       (LETT |j| 1 . #4#) G190
                       (COND
                        ((OR (QSGREATERP |j| |n|) (ATOM #2#)
                             (PROGN (LETT |k| (CAR #2#) . #4#) NIL))
                         (GO G191)))
                       (SEQ
                        (EXIT
                         (COND
                          ((NULL (SPADCALL |k| (QREFELT $ 23)))
                           (SPADCALL |mat| 1 |j| |k| (QREFELT $ 73)))
                          ('T
                           (SPADCALL |mat| 1 |j| (|spadConstant| $ 26)
                                     (QREFELT $ 73))))))
                       (LETT |j|
                             (PROG1 (QSADD1 |j|) (LETT #2# (CDR #2#) . #4#))
                             . #4#)
                       (GO G190) G191 (EXIT NIL))
                  (EXIT
                   (COND
                    ((QEQCAR
                      (LETT |u| (SPADCALL |mat| |v| (QREFELT $ 76)) . #4#) 0)
                     (CONS 0
                           (PROG2
                               (LETT #1# |u| . #4#)
                               (QCDR #1#)
                             (|check-union| (QEQCAR #1# 0)
                                            (|Vector| (|Fraction| (|Integer|)))
                                            #1#))))
                    (#3# (CONS 2 'T))))))))))) 

(DEFUN |EFSTRUC;transkers| (|x| $)
  (PROG (#1=#:G856 |k| #2=#:G855)
    (RETURN
     (SEQ
      (PROGN
       (LETT #2# NIL . #3=(|EFSTRUC;transkers|))
       (SEQ (LETT |k| NIL . #3#) (LETT #1# |x| . #3#) G190
            (COND
             ((OR (ATOM #1#) (PROGN (LETT |k| (CAR #1#) . #3#) NIL))
              (GO G191)))
            (SEQ
             (EXIT
              (COND
               ((COND
                 ((SPADCALL (SPADCALL |k| (QREFELT $ 79)) (QREFELT $ 77)
                            (QREFELT $ 80))
                  'NIL)
                 ('T 'T))
                (LETT #2# (CONS |k| #2#) . #3#)))))
            (LETT #1# (CDR #1#) . #3#) (GO G190) G191
            (EXIT (NREVERSE0 #2#)))))))) 

(DEFUN |EFSTRUC;ktoQ| (|ker| $)
  (PROG (|qu| |z|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL |ker| '|log| (QREFELT $ 30))
        (COND
         ((|HasCategory| (QREFELT $ 7)
                         (LIST '|RetractableTo|
                               (LIST '|Fraction| '(|Integer|))))
          (EXIT
           (SEQ
            (LETT |z|
                  (SPADCALL (SPADCALL |ker| (QREFELT $ 32)) 1 (QREFELT $ 81))
                  . #1=(|EFSTRUC;ktoQ|))
            (LETT |qu| (SPADCALL |z| (QREFELT $ 83)) . #1#)
            (EXIT
             (COND ((QEQCAR |qu| 0) (QCDR |qu|))
                   ('T (|spadConstant| $ 84))))))))))
      (EXIT (|spadConstant| $ 84)))))) 

(DEFUN |EFSTRUC;toQ| (|lk| $)
  (PROG (#1=#:G871 |k| #2=#:G870)
    (RETURN
     (SEQ
      (PROGN
       (LETT #2# NIL . #3=(|EFSTRUC;toQ|))
       (SEQ (LETT |k| NIL . #3#) (LETT #1# |lk| . #3#) G190
            (COND
             ((OR (ATOM #1#) (PROGN (LETT |k| (CAR #1#) . #3#) NIL))
              (GO G191)))
            (SEQ
             (EXIT
              (COND
               ((COND ((SPADCALL |k| '|log| (QREFELT $ 30)) 'T)
                      ('T (SPADCALL |k| '|exp| (QREFELT $ 30))))
                (LETT #2# (CONS (|EFSTRUC;ktoQ| |k| $) #2#) . #3#)))))
            (LETT #1# (CDR #1#) . #3#) (GO G190) G191
            (EXIT (NREVERSE0 #2#)))))))) 

(DEFUN |EFSTRUC;findLinearRelation2| (|lk| |lz| |ker| $)
  (PROG (|nz| |ly| #1=#:G896 |x| #2=#:G895 #3=#:G894 #4=#:G893 |lpars1f|
         #5=#:G892 |s| #6=#:G891 |lpars1| #7=#:G890 |k| #8=#:G889 |lpars0|
         #9=#:G873 |u| |q| |zkers| |z|)
    (RETURN
     (SEQ
      (LETT |z| (SPADCALL (SPADCALL |ker| (QREFELT $ 32)) 1 (QREFELT $ 81))
            . #10=(|EFSTRUC;findLinearRelation2|))
      (LETT |zkers| (|EFSTRUC;transkers| (SPADCALL |z| (QREFELT $ 85)) $)
            . #10#)
      (EXIT
       (COND
        ((NULL |zkers|)
         (SEQ (LETT |q| (|EFSTRUC;ktoQ| |ker| $) . #10#)
              (COND
               ((NULL (SPADCALL |q| (|spadConstant| $ 84) (QREFELT $ 86)))
                (COND
                 ((NULL
                   (SPADCALL |q|
                             (SPADCALL (|spadConstant| $ 84) (QREFELT $ 87))
                             (QREFELT $ 86)))
                  (EXIT
                   (COND
                    ((QEQCAR
                      (LETT |u|
                            (SPADCALL (|EFSTRUC;toQ| |lk| $) |q|
                                      (QREFELT $ 90))
                            . #10#)
                      0)
                     (CONS 0
                           (PROG2
                               (LETT #9# |u| . #10#)
                               (QCDR #9#)
                             (|check-union| (QEQCAR #9# 0)
                                            (|Vector| (|Fraction| (|Integer|)))
                                            #9#))))
                    (#11='T (CONS 2 'T))))))))
              (EXIT (CONS 2 'T))))
        (#11#
         (SEQ (LETT |lpars0| (|EFSTRUC;transkers| |lk| $) . #10#)
              (LETT |lpars1|
                    (PROGN
                     (LETT #8# NIL . #10#)
                     (SEQ (LETT |k| NIL . #10#) (LETT #7# |lpars0| . #10#) G190
                          (COND
                           ((OR (ATOM #7#)
                                (PROGN (LETT |k| (CAR #7#) . #10#) NIL))
                            #12=(GO G191)))
                          (SEQ
                           (EXIT
                            (LETT #8# (CONS (SPADCALL (QREFELT $ 91)) #8#)
                                  . #10#)))
                          (LETT #7# (CDR #7#) . #10#) #13=(GO G190) G191
                          (EXIT (NREVERSE0 #8#))))
                    . #10#)
              (LETT |lpars1f|
                    (PROGN
                     (LETT #6# NIL . #10#)
                     (SEQ (LETT |s| NIL . #10#) (LETT #5# |lpars1| . #10#) G190
                          (COND
                           ((OR (ATOM #5#)
                                (PROGN (LETT |s| (CAR #5#) . #10#) NIL))
                            #12#))
                          (SEQ
                           (EXIT
                            (LETT #6#
                                  (CONS
                                   (SPADCALL (SPADCALL |s| (QREFELT $ 92))
                                             (QREFELT $ 94))
                                   #6#)
                                  . #10#)))
                          (LETT #5# (CDR #5#) . #10#) #13# G191
                          (EXIT (NREVERSE0 #6#))))
                    . #10#)
              (COND
               ((SPADCALL |ker| '|log| (QREFELT $ 30))
                (SEQ
                 (LETT |ly|
                       (PROGN
                        (LETT #4# NIL . #10#)
                        (SEQ (LETT |x| NIL . #10#) (LETT #3# |lz| . #10#) G190
                             (COND
                              ((OR (ATOM #3#)
                                   (PROGN (LETT |x| (CAR #3#) . #10#) NIL))
                               #12#))
                             (SEQ
                              (EXIT
                               (LETT #4#
                                     (CONS
                                      (SPADCALL
                                       (SPADCALL |x| |lpars0| |lpars1f|
                                                 (QREFELT $ 96))
                                       (QREFELT $ 97))
                                      #4#)
                                     . #10#)))
                             (LETT #3# (CDR #3#) . #10#) #13# G191
                             (EXIT (NREVERSE0 #4#))))
                       . #10#)
                 (EXIT
                  (LETT |nz|
                        (SPADCALL
                         (SPADCALL |z| |lpars0| |lpars1f| (QREFELT $ 96))
                         (QREFELT $ 97))
                        . #10#))))
               ((NULL (SPADCALL |ker| '|atan| (QREFELT $ 30)))
                (|error| "findLinearRelation2: kernel should be log or atan"))
               ('T
                (SEQ
                 (LETT |ly|
                       (PROGN
                        (LETT #2# NIL . #10#)
                        (SEQ (LETT |x| NIL . #10#) (LETT #1# |lz| . #10#) G190
                             (COND
                              ((OR (ATOM #1#)
                                   (PROGN (LETT |x| (CAR #1#) . #10#) NIL))
                               #12#))
                             (SEQ
                              (EXIT
                               (LETT #2#
                                     (CONS
                                      (SPADCALL
                                       (SPADCALL |x| |lpars0| |lpars1f|
                                                 (QREFELT $ 96))
                                       (QREFELT $ 98))
                                      #2#)
                                     . #10#)))
                             (LETT #1# (CDR #1#) . #10#) #13# G191
                             (EXIT (NREVERSE0 #2#))))
                       . #10#)
                 (EXIT
                  (LETT |nz|
                        (SPADCALL
                         (SPADCALL |z| |lpars0| |lpars1f| (QREFELT $ 96))
                         (QREFELT $ 98))
                        . #10#)))))
              (EXIT (|EFSTRUC;findQRelation| NIL |lpars1| |ly| |nz| $)))))))))) 

(DEFUN |EFSTRUC;findRelation| (|lv| |lpar| |lk| |ker| $)
  (PROG (#1=#:G916 |x| #2=#:G915)
    (RETURN
     (SEQ
      (COND
       ((OR (SPADCALL |ker| '|log| (QREFELT $ 30))
            (SPADCALL |ker| '|exp| (QREFELT $ 30)))
        (COND
         ((NULL (SPADCALL (SPADCALL |ker| (QREFELT $ 94)) (QREFELT $ 23)))
          (COND
           ((SPADCALL |ker| '|exp| (QREFELT $ 30))
            (|EFSTRUC;findLinearRelation1| (|EFSTRUC;toY| |lk| $)
             (|EFSTRUC;ktoY| |ker| $) $))
           (#3='T
            (|EFSTRUC;findLinearRelation2| |lk| (|EFSTRUC;toZ| |lk| $) |ker|
             $))))
         (#3#
          (|EFSTRUC;findQRelation| |lv| |lpar| (|EFSTRUC;toY| |lk| $)
           (|EFSTRUC;ktoY| |ker| $) $))))
       ((OR (SPADCALL |ker| '|atan| (QREFELT $ 30))
            (SPADCALL |ker| '|tan| (QREFELT $ 30)))
        (COND
         ((NULL (SPADCALL (SPADCALL |ker| (QREFELT $ 94)) (QREFELT $ 23)))
          (COND
           ((SPADCALL |ker| '|tan| (QREFELT $ 30))
            (|EFSTRUC;findLinearRelation1| (|EFSTRUC;toU| |lk| $)
             (|EFSTRUC;ktoU| |ker| $) $))
           (#3#
            (|EFSTRUC;findLinearRelation2| |lk| (|EFSTRUC;toV| |lk| $) |ker|
             $))))
         (#3#
          (|EFSTRUC;findQRelation| |lv| |lpar| (|EFSTRUC;toU| |lk| $)
           (|EFSTRUC;ktoU| |ker| $) $))))
       ('T
        (COND
         ((SPADCALL |ker| '|nthRoot| (QREFELT $ 30))
          (|EFSTRUC;rootDep| |lk| |ker| $))
         (#3#
          (SEQ
           (COND
            ((QREFELT $ 10)
             (COND
              ((SPADCALL |ker| '|factorial| (QREFELT $ 30))
               (EXIT
                (|EFSTRUC;factdeprel|
                 (PROGN
                  (LETT #2# NIL . #4=(|EFSTRUC;findRelation|))
                  (SEQ (LETT |x| NIL . #4#) (LETT #1# |lk| . #4#) G190
                       (COND
                        ((OR (ATOM #1#) (PROGN (LETT |x| (CAR #1#) . #4#) NIL))
                         (GO G191)))
                       (SEQ
                        (EXIT
                         (COND
                          ((COND
                            ((SPADCALL |x| '|factorial| (QREFELT $ 30))
                             (COND ((SPADCALL |x| |ker| (QREFELT $ 99)) 'NIL)
                                   (#3# 'T)))
                            (#3# 'NIL))
                           (LETT #2# (CONS |x| #2#) . #4#)))))
                       (LETT #1# (CDR #1#) . #4#) (GO G190) G191
                       (EXIT (NREVERSE0 #2#))))
                 |ker| $))))))
           (EXIT (CONS 2 'T))))))))))) 

(DEFUN |EFSTRUC;ktoY| (|k| $)
  (COND ((SPADCALL |k| '|log| (QREFELT $ 30)) (SPADCALL |k| (QREFELT $ 94)))
        ((SPADCALL |k| '|exp| (QREFELT $ 30))
         (|SPADfirst| (SPADCALL |k| (QREFELT $ 32))))
        ('T (|spadConstant| $ 26)))) 

(DEFUN |EFSTRUC;ktoZ| (|k| $)
  (COND
   ((SPADCALL |k| '|log| (QREFELT $ 30))
    (|SPADfirst| (SPADCALL |k| (QREFELT $ 32))))
   ((SPADCALL |k| '|exp| (QREFELT $ 30)) (SPADCALL |k| (QREFELT $ 94)))
   ('T (|spadConstant| $ 26)))) 

(DEFUN |EFSTRUC;ktoU| (|k| $)
  (COND ((SPADCALL |k| '|atan| (QREFELT $ 30)) (SPADCALL |k| (QREFELT $ 94)))
        ((SPADCALL |k| '|tan| (QREFELT $ 30))
         (|SPADfirst| (SPADCALL |k| (QREFELT $ 32))))
        ('T (|spadConstant| $ 26)))) 

(DEFUN |EFSTRUC;ktoV| (|k| $)
  (COND ((SPADCALL |k| '|tan| (QREFELT $ 30)) (SPADCALL |k| (QREFELT $ 94)))
        ((SPADCALL |k| '|atan| (QREFELT $ 30))
         (|SPADfirst| (SPADCALL |k| (QREFELT $ 32))))
        ('T (|spadConstant| $ 26)))) 

(DEFUN |EFSTRUC;smpElem| (|p| |l| $)
  (PROG ()
    (RETURN
     (SPADCALL (CONS #'|EFSTRUC;smpElem!0| (VECTOR $ |l|)) (ELT $ 100) |p|
               (QREFELT $ 105))))) 

(DEFUN |EFSTRUC;smpElem!0| (|x| $$)
  (PROG (|l| $)
    (LETT |l| (QREFELT $$ 1) . #1=(|EFSTRUC;smpElem|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (|EFSTRUC;k2Elem| |x| |l| $))))) 

(DEFUN |EFSTRUC;k2Elem| (|k| |l| $)
  (PROG (|tz2| |iez| |ez| |op| |z| |args| #1=#:G983 |a| #2=#:G982 #3=#:G981 |v|
         #4=#:G980 |kf|)
    (RETURN
     (SEQ (LETT |kf| (SPADCALL |k| (QREFELT $ 94)) . #5=(|EFSTRUC;k2Elem|))
          (COND
           ((NULL (NULL |l|))
            (COND
             ((NULL
               (PROGN
                (LETT #4# NIL . #5#)
                (SEQ (LETT |v| NIL . #5#)
                     (LETT #3# (SPADCALL |kf| (QREFELT $ 23)) . #5#) G190
                     (COND
                      ((OR (ATOM #3#) (PROGN (LETT |v| (CAR #3#) . #5#) NIL))
                       #6=(GO G191)))
                     (SEQ
                      (EXIT
                       (COND
                        ((SPADCALL |v| |l| (QREFELT $ 106))
                         (LETT #4# (CONS |v| #4#) . #5#)))))
                     (LETT #3# (CDR #3#) . #5#) #7=(GO G190) G191
                     (EXIT (NREVERSE0 #4#)))))
              (EXIT |kf|)))))
          (EXIT
           (COND
            ((NULL
              (LETT |args|
                    (PROGN
                     (LETT #2# NIL . #5#)
                     (SEQ (LETT |a| NIL . #5#)
                          (LETT #1# (SPADCALL |k| (QREFELT $ 32)) . #5#) G190
                          (COND
                           ((OR (ATOM #1#)
                                (PROGN (LETT |a| (CAR #1#) . #5#) NIL))
                            #6#))
                          (SEQ
                           (EXIT
                            (LETT #2# (CONS (|EFSTRUC;realElem| |a| |l| $) #2#)
                                  . #5#)))
                          (LETT #1# (CDR #1#) . #5#) #7# G191
                          (EXIT (NREVERSE0 #2#))))
                    . #5#))
             |kf|)
            (#8='T
             (SEQ (LETT |z| (|SPADfirst| |args|) . #5#)
                  (EXIT
                   (COND
                    ((SPADCALL |k| '|%power| (QREFELT $ 30))
                     (COND
                      ((SPADCALL |z| (QREFELT $ 107)) (|spadConstant| $ 26))
                      (#8#
                       (SPADCALL
                        (SPADCALL (SPADCALL |args| (QREFELT $ 108))
                                  (SPADCALL |z| (QREFELT $ 97))
                                  (QREFELT $ 109))
                        (QREFELT $ 110)))))
                    ((SPADCALL |k| '|cot| (QREFELT $ 30))
                     (SPADCALL (SPADCALL |z| (QREFELT $ 55)) (QREFELT $ 54)))
                    ((SPADCALL |k| '|acot| (QREFELT $ 30))
                     (SPADCALL (SPADCALL |z| (QREFELT $ 54)) (QREFELT $ 98)))
                    ((SPADCALL |k| '|asin| (QREFELT $ 30))
                     (SPADCALL
                      (SPADCALL |z|
                                (SPADCALL
                                 (SPADCALL (|spadConstant| $ 61)
                                           (SPADCALL |z| 2 (QREFELT $ 111))
                                           (QREFELT $ 112))
                                 (QREFELT $ 113))
                                (QREFELT $ 15))
                      (QREFELT $ 98)))
                    ((SPADCALL |k| '|acos| (QREFELT $ 30))
                     (SPADCALL
                      (SPADCALL
                       (SPADCALL
                        (SPADCALL (|spadConstant| $ 61)
                                  (SPADCALL |z| 2 (QREFELT $ 111))
                                  (QREFELT $ 112))
                        (QREFELT $ 113))
                       |z| (QREFELT $ 15))
                      (QREFELT $ 98)))
                    ((SPADCALL |k| '|asec| (QREFELT $ 30))
                     (SPADCALL
                      (SPADCALL
                       (SPADCALL (|spadConstant| $ 61)
                                 (SPADCALL |z| 2 (QREFELT $ 111))
                                 (QREFELT $ 112))
                       (QREFELT $ 113))
                      (QREFELT $ 98)))
                    ((SPADCALL |k| '|acsc| (QREFELT $ 30))
                     (SPADCALL
                      (SPADCALL
                       (SPADCALL
                        (SPADCALL (|spadConstant| $ 61)
                                  (SPADCALL |z| 2 (QREFELT $ 111))
                                  (QREFELT $ 112))
                        (QREFELT $ 113))
                       (QREFELT $ 54))
                      (QREFELT $ 98)))
                    ((SPADCALL |k| '|asinh| (QREFELT $ 30))
                     (SPADCALL
                      (SPADCALL
                       (SPADCALL
                        (SPADCALL (|spadConstant| $ 61)
                                  (SPADCALL |z| 2 (QREFELT $ 111))
                                  (QREFELT $ 114))
                        (QREFELT $ 113))
                       |z| (QREFELT $ 114))
                      (QREFELT $ 97)))
                    ((SPADCALL |k| '|acosh| (QREFELT $ 30))
                     (SPADCALL
                      (SPADCALL
                       (SPADCALL
                        (SPADCALL (SPADCALL |z| 2 (QREFELT $ 111))
                                  (|spadConstant| $ 61) (QREFELT $ 112))
                        (QREFELT $ 113))
                       |z| (QREFELT $ 114))
                      (QREFELT $ 97)))
                    ((SPADCALL |k| '|atanh| (QREFELT $ 30))
                     (SPADCALL
                      (SPADCALL
                       (SPADCALL
                        (SPADCALL |z| (|spadConstant| $ 61) (QREFELT $ 114))
                        (SPADCALL (|spadConstant| $ 61) |z| (QREFELT $ 112))
                        (QREFELT $ 15))
                       (QREFELT $ 97))
                      (SPADCALL 2 (QREFELT $ 13)) (QREFELT $ 15)))
                    ((SPADCALL |k| '|acoth| (QREFELT $ 30))
                     (SPADCALL
                      (SPADCALL
                       (SPADCALL
                        (SPADCALL |z| (|spadConstant| $ 61) (QREFELT $ 114))
                        (SPADCALL |z| (|spadConstant| $ 61) (QREFELT $ 112))
                        (QREFELT $ 15))
                       (QREFELT $ 97))
                      (SPADCALL 2 (QREFELT $ 13)) (QREFELT $ 15)))
                    ((SPADCALL |k| '|asech| (QREFELT $ 30))
                     (SPADCALL
                      (SPADCALL (SPADCALL |z| (QREFELT $ 54))
                                (SPADCALL
                                 (SPADCALL
                                  (SPADCALL (SPADCALL |z| 2 (QREFELT $ 111))
                                            (QREFELT $ 54))
                                  (|spadConstant| $ 61) (QREFELT $ 112))
                                 (QREFELT $ 113))
                                (QREFELT $ 114))
                      (QREFELT $ 97)))
                    ((SPADCALL |k| '|acsch| (QREFELT $ 30))
                     (SPADCALL
                      (SPADCALL (SPADCALL |z| (QREFELT $ 54))
                                (SPADCALL
                                 (SPADCALL (|spadConstant| $ 61)
                                           (SPADCALL
                                            (SPADCALL |z| 2 (QREFELT $ 111))
                                            (QREFELT $ 54))
                                           (QREFELT $ 114))
                                 (QREFELT $ 113))
                                (QREFELT $ 114))
                      (QREFELT $ 97)))
                    ((OR (SPADCALL |k| '|%paren| (QREFELT $ 30))
                         (SPADCALL |k| '|%box| (QREFELT $ 30)))
                     (COND ((NULL (CDR |args|)) |z|) (#8# |kf|)))
                    ('T
                     (SEQ
                      (COND
                       ((SPADCALL
                         (LETT |op| (SPADCALL |k| (QREFELT $ 79)) . #5#)
                         (QREFELT $ 8) (QREFELT $ 80))
                        (LETT |iez|
                              (SPADCALL
                               (LETT |ez| (SPADCALL |z| (QREFELT $ 110)) . #5#)
                               (QREFELT $ 54))
                              . #5#)))
                      (EXIT
                       (COND
                        ((SPADCALL |k| '|sinh| (QREFELT $ 30))
                         (SPADCALL (SPADCALL |ez| |iez| (QREFELT $ 112))
                                   (SPADCALL 2 (QREFELT $ 13)) (QREFELT $ 15)))
                        ((SPADCALL |k| '|cosh| (QREFELT $ 30))
                         (SPADCALL (SPADCALL |ez| |iez| (QREFELT $ 114))
                                   (SPADCALL 2 (QREFELT $ 13)) (QREFELT $ 15)))
                        ((SPADCALL |k| '|tanh| (QREFELT $ 30))
                         (SPADCALL (SPADCALL |ez| |iez| (QREFELT $ 112))
                                   (SPADCALL |ez| |iez| (QREFELT $ 114))
                                   (QREFELT $ 15)))
                        ((SPADCALL |k| '|coth| (QREFELT $ 30))
                         (SPADCALL (SPADCALL |ez| |iez| (QREFELT $ 114))
                                   (SPADCALL |ez| |iez| (QREFELT $ 112))
                                   (QREFELT $ 15)))
                        ((SPADCALL |k| '|sech| (QREFELT $ 30))
                         (SPADCALL 2
                                   (SPADCALL
                                    (SPADCALL |ez| |iez| (QREFELT $ 114))
                                    (QREFELT $ 54))
                                   (QREFELT $ 115)))
                        ((SPADCALL |k| '|csch| (QREFELT $ 30))
                         (SPADCALL 2
                                   (SPADCALL
                                    (SPADCALL |ez| |iez| (QREFELT $ 112))
                                    (QREFELT $ 54))
                                   (QREFELT $ 115)))
                        (#8#
                         (SEQ
                          (COND
                           ((SPADCALL |op| (QREFELT $ 9) (QREFELT $ 80))
                            (LETT |tz2|
                                  (SPADCALL
                                   (SPADCALL |z| (SPADCALL 2 (QREFELT $ 13))
                                             (QREFELT $ 15))
                                   (QREFELT $ 55))
                                  . #5#)))
                          (EXIT
                           (COND
                            ((SPADCALL |k| '|sin| (QREFELT $ 30))
                             (SPADCALL (SPADCALL 2 |tz2| (QREFELT $ 115))
                                       (SPADCALL (|spadConstant| $ 61)
                                                 (SPADCALL |tz2| 2
                                                           (QREFELT $ 111))
                                                 (QREFELT $ 114))
                                       (QREFELT $ 15)))
                            ((SPADCALL |k| '|cos| (QREFELT $ 30))
                             (SPADCALL
                              (SPADCALL (|spadConstant| $ 61)
                                        (SPADCALL |tz2| 2 (QREFELT $ 111))
                                        (QREFELT $ 112))
                              (SPADCALL (|spadConstant| $ 61)
                                        (SPADCALL |tz2| 2 (QREFELT $ 111))
                                        (QREFELT $ 114))
                              (QREFELT $ 15)))
                            ((SPADCALL |k| '|sec| (QREFELT $ 30))
                             (SPADCALL
                              (SPADCALL (|spadConstant| $ 61)
                                        (SPADCALL |tz2| 2 (QREFELT $ 111))
                                        (QREFELT $ 114))
                              (SPADCALL (|spadConstant| $ 61)
                                        (SPADCALL |tz2| 2 (QREFELT $ 111))
                                        (QREFELT $ 112))
                              (QREFELT $ 15)))
                            ((SPADCALL |k| '|csc| (QREFELT $ 30))
                             (SPADCALL
                              (SPADCALL (|spadConstant| $ 61)
                                        (SPADCALL |tz2| 2 (QREFELT $ 111))
                                        (QREFELT $ 114))
                              (SPADCALL 2 |tz2| (QREFELT $ 115))
                              (QREFELT $ 15)))
                            (#8#
                             (SPADCALL |op| |args|
                                       (QREFELT $ 117))))))))))))))))))))) 

(DEFUN |EFSTRUC;depeval| (|f| |lk| |k| |v| $)
  (COND
   ((SPADCALL |k| '|log| (QREFELT $ 30))
    (|EFSTRUC;logeval| |f| |lk| |k| |v| $))
   ((SPADCALL |k| '|exp| (QREFELT $ 30))
    (|EFSTRUC;expeval| |f| |lk| |k| |v| $))
   ((SPADCALL |k| '|tan| (QREFELT $ 30))
    (|EFSTRUC;taneval| |f| |lk| |k| |v| $))
   ((SPADCALL |k| '|atan| (QREFELT $ 30))
    (|EFSTRUC;ataneval| |f| |lk| |k| |v| $))
   ((SPADCALL |k| '|nthRoot| (QREFELT $ 30))
    (|EFSTRUC;rooteval| |f| |lk| |k|
     (SPADCALL |v| (SPADCALL |v| (QREFELT $ 119)) (QREFELT $ 120)) $))
   ('T (VECTOR |f| NIL NIL)))) 

(DEFUN |EFSTRUC;rooteval| (|f| |lk| |k| |n| $)
  (PROG (|lv| #1=#:G1000 |r| #2=#:G999 |l| #3=#:G998 #4=#:G997 |nv| |m| |x|)
    (RETURN
     (SEQ
      (LETT |nv|
            (SPADCALL
             (LETT |x| (|SPADfirst| (SPADCALL |k| (QREFELT $ 32)))
                   . #5=(|EFSTRUC;rooteval|))
             (LETT |m| (SPADCALL |n| (QREFELT $ 121)) . #5#) (QREFELT $ 122))
            . #5#)
      (LETT |l|
            (PROGN
             (LETT #4# NIL . #5#)
             (SEQ (LETT |r| NIL . #5#)
                  (LETT #3# (CONS |k| (|EFSTRUC;toR| |lk| |x| $)) . #5#) G190
                  (COND
                   ((OR (ATOM #3#) (PROGN (LETT |r| (CAR #3#) . #5#) NIL))
                    #6=(GO G191)))
                  (SEQ
                   (EXIT
                    (COND
                     ((COND
                       ((EQL
                         (SPADCALL
                          (SPADCALL (SPADCALL |r| (QREFELT $ 32))
                                    (QREFELT $ 123))
                          (QREFELT $ 124))
                         |m|)
                        'NIL)
                       ('T 'T))
                      (LETT #4# (CONS |r| #4#) . #5#)))))
                  (LETT #3# (CDR #3#) . #5#) #7=(GO G190) G191
                  (EXIT (NREVERSE0 #4#))))
            . #5#)
      (LETT |lv|
            (PROGN
             (LETT #2# NIL . #5#)
             (SEQ (LETT |r| NIL . #5#) (LETT #1# |l| . #5#) G190
                  (COND
                   ((OR (ATOM #1#) (PROGN (LETT |r| (CAR #1#) . #5#) NIL))
                    #6#))
                  (SEQ
                   (EXIT
                    (LETT #2#
                          (CONS
                           (SPADCALL |nv|
                                     (SPADCALL |n|
                                               (SPADCALL
                                                (SPADCALL
                                                 (SPADCALL
                                                  (SPADCALL |r| (QREFELT $ 32))
                                                  (QREFELT $ 123))
                                                 (QREFELT $ 124))
                                                (QREFELT $ 125))
                                               (QREFELT $ 126))
                                     (QREFELT $ 127))
                           #2#)
                          . #5#)))
                  (LETT #1# (CDR #1#) . #5#) #7# G191 (EXIT (NREVERSE0 #2#))))
            . #5#)
      (EXIT (VECTOR (SPADCALL |f| |l| |lv| (QREFELT $ 96)) |l| |lv|)))))) 

(DEFUN |EFSTRUC;ataneval| (|f| |lk| |k| |v| $)
  (PROG (|g| |h| |d| #1=#:G1004 #2=#:G1003 #3=#:G1005 #4=#:G1012 |i| #5=#:G1013
         |x| |s| #6=#:G1010 #7=#:G1011 #8=#:G1009 |w|)
    (RETURN
     (SEQ
      (LETT |w| (|SPADfirst| (SPADCALL |k| (QREFELT $ 32)))
            . #9=(|EFSTRUC;ataneval|))
      (LETT |s|
            (SPADCALL
             (PROGN
              (LETT #8# NIL . #9#)
              (SEQ (LETT |x| NIL . #9#) (LETT #7# (|EFSTRUC;toV| |lk| $) . #9#)
                   (LETT |i| (SPADCALL |v| (QREFELT $ 119)) . #9#)
                   (LETT #6# (QVSIZE |v|) . #9#) G190
                   (COND
                    ((OR (> |i| #6#) (ATOM #7#)
                         (PROGN (LETT |x| (CAR #7#) . #9#) NIL))
                     #10=(GO G191)))
                   (SEQ
                    (EXIT
                     (LETT #8#
                           (CONS
                            (SPADCALL (SPADCALL |v| |i| (QREFELT $ 128)) |x|
                                      (QREFELT $ 50))
                            #8#)
                           . #9#)))
                   (LETT |i| (PROG1 (+ |i| 1) (LETT #7# (CDR #7#) . #9#))
                         . #9#)
                   #11=(GO G190) G191 (EXIT (NREVERSE0 #8#))))
             (QREFELT $ 53))
            . #9#)
      (LETT |g|
            (PROGN
             (LETT #1# NIL . #9#)
             (SEQ (LETT |x| NIL . #9#) (LETT #5# (|EFSTRUC;toU| |lk| $) . #9#)
                  (LETT |i| (SPADCALL |v| (QREFELT $ 119)) . #9#)
                  (LETT #4# (QVSIZE |v|) . #9#) G190
                  (COND
                   ((OR (> |i| #4#) (ATOM #5#)
                        (PROGN (LETT |x| (CAR #5#) . #9#) NIL))
                    #10#))
                  (SEQ
                   (EXIT
                    (PROGN
                     (LETT #3#
                           (SPADCALL (SPADCALL |v| |i| (QREFELT $ 128)) |x|
                                     (QREFELT $ 129))
                           . #9#)
                     (COND
                      (#1# (LETT #2# (SPADCALL #2# #3# (QREFELT $ 114)) . #9#))
                      ('T (PROGN (LETT #2# #3# . #9#) (LETT #1# 'T . #9#)))))))
                  (LETT |i| (PROG1 (+ |i| 1) (LETT #5# (CDR #5#) . #9#)) . #9#)
                  #11# G191 (EXIT NIL))
             (COND (#1# #2#) (#12='T (|spadConstant| $ 26))))
            . #9#)
      (LETT |h|
            (COND
             ((SPADCALL
               (LETT |d|
                     (SPADCALL (|spadConstant| $ 61)
                               (SPADCALL |s| |w| (QREFELT $ 109))
                               (QREFELT $ 114))
                     . #9#)
               (QREFELT $ 107))
              (QREFELT $ 16))
             (#12#
              (SPADCALL
               (SPADCALL (SPADCALL |w| |s| (QREFELT $ 112)) |d| (QREFELT $ 15))
               (QREFELT $ 98))))
            . #9#)
      (LETT |g| (SPADCALL |g| |h| (QREFELT $ 114)) . #9#)
      (EXIT
       (VECTOR (SPADCALL |f| (LIST |k|) (LIST |g|) (QREFELT $ 96)) (LIST |k|)
               (LIST |g|))))))) 

(DEFUN |EFSTRUC;gdCoef?| (|c| |v| $)
  (PROG (#1=#:G1018 #2=#:G1020 #3=#:G1021 |i|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (SEQ
         (EXIT
          (SEQ
           (LETT |i| (SPADCALL |v| (QREFELT $ 119)) . #4=(|EFSTRUC;gdCoef?|))
           (LETT #3# (QVSIZE |v|) . #4#) G190 (COND ((> |i| #3#) (GO G191)))
           (SEQ
            (EXIT
             (COND
              ((QEQCAR
                (SPADCALL
                 (SPADCALL (SPADCALL |v| |i| (QREFELT $ 128)) |c|
                           (QREFELT $ 126))
                 (QREFELT $ 130))
                1)
               (PROGN
                (LETT #1# (PROGN (LETT #2# 'NIL . #4#) (GO #2#)) . #4#)
                (GO #1#))))))
           (LETT |i| (+ |i| 1) . #4#) (GO G190) G191 (EXIT NIL)))
         #1# (EXIT #1#))
        (EXIT 'T)))
      #2# (EXIT #2#))))) 

(DEFUN |EFSTRUC;goodCoef| (|v| |l| |s| $)
  (PROG (#1=#:G1052 #2=#:G1054 |r| #3=#:G1058 |i| #4=#:G1059 |k| |h| |j| |h1|
         #5=#:G1056 #6=#:G1057 |ll| #7=#:G1055)
    (RETURN
     (SEQ
      (EXIT
       (SEQ (LETT |h| 0 . #8=(|EFSTRUC;goodCoef|)) (LETT |j| 0 . #8#)
            (LETT |ll| NIL . #8#)
            (SEQ (LETT |k| NIL . #8#) (LETT #7# |l| . #8#) G190
                 (COND
                  ((OR (ATOM #7#) (PROGN (LETT |k| (CAR #7#) . #8#) NIL))
                   #9=(GO G191)))
                 (SEQ
                  (EXIT
                   (COND
                    ((OR (SPADCALL |k| '|log| (QREFELT $ 30))
                         (OR (SPADCALL |k| '|exp| (QREFELT $ 30))
                             (OR (SPADCALL |k| '|tan| (QREFELT $ 30))
                                 (SPADCALL |k| '|atan| (QREFELT $ 30)))))
                     (SEQ (LETT |ll| (CONS |k| |ll|) . #8#)
                          (EXIT (LETT |h| (+ |h| 1) . #8#)))))))
                 (LETT #7# (CDR #7#) . #8#) #10=(GO G190) G191 (EXIT NIL))
            (COND
             ((NULL
               (EQL |h| (+ (- (QVSIZE |v|) (SPADCALL |v| (QREFELT $ 119))) 1)))
              (EXIT (CONS 1 "failed"))))
            (LETT |h| 0 . #8#) (LETT |ll| (REVERSE |ll|) . #8#)
            (SEQ (LETT |k| NIL . #8#) (LETT #6# |ll| . #8#)
                 (LETT |i| (SPADCALL |v| (QREFELT $ 119)) . #8#)
                 (LETT #5# (QVSIZE |v|) . #8#) G190
                 (COND
                  ((OR (> |i| #5#) (ATOM #6#)
                       (PROGN (LETT |k| (CAR #6#) . #8#) NIL))
                   #9#))
                 (SEQ (LETT |h1| (SPADCALL |k| (QREFELT $ 131)) . #8#)
                      (EXIT
                       (COND
                        ((< |h| |h1|)
                         (SEQ (LETT |j| |i| . #8#)
                              (EXIT (LETT |h| |h1| . #8#)))))))
                 (LETT |i| (PROG1 (+ |i| 1) (LETT #6# (CDR #6#) . #8#)) . #8#)
                 #10# G191 (EXIT NIL))
            (SEQ
             (EXIT
              (SEQ (LETT |k| NIL . #8#) (LETT #4# |ll| . #8#)
                   (LETT |i| (SPADCALL |v| (QREFELT $ 119)) . #8#)
                   (LETT #3# (QVSIZE |v|) . #8#) G190
                   (COND
                    ((OR (> |i| #3#) (ATOM #4#)
                         (PROGN (LETT |k| (CAR #4#) . #8#) NIL))
                     #9#))
                   (SEQ
                    (EXIT
                     (COND
                      ((SPADCALL |k| |s| (QREFELT $ 30))
                       (COND
                        ((NULL (< |i| |j|))
                         (SEQ
                          (LETT |r|
                                (SPADCALL (SPADCALL |v| |i| (QREFELT $ 128))
                                          (QREFELT $ 133))
                                . #8#)
                          (EXIT
                           (COND
                            ((QEQCAR |r| 0)
                             (COND
                              ((QEQCAR (SPADCALL (QCDR |r|) (QREFELT $ 130)) 0)
                               (COND
                                ((|EFSTRUC;gdCoef?|
                                  (SPADCALL |v| |i| (QREFELT $ 128)) |v| $)
                                 (PROGN
                                  (LETT #1#
                                        (PROGN
                                         (LETT #2# (CONS 0 (CONS |i| |k|))
                                               . #8#)
                                         (GO #2#))
                                        . #8#)
                                  (GO #1#))))))))))))))))
                   (LETT |i| (PROG1 (+ |i| 1) (LETT #4# (CDR #4#) . #8#))
                         . #8#)
                   #10# G191 (EXIT NIL)))
             #1# (EXIT #1#))
            (EXIT (CONS 1 "failed"))))
      #2# (EXIT #2#))))) 

(DEFUN |EFSTRUC;taneval| (|f| |lk| |k| |v| $)
  (PROG (|g| #1=#:G1083 |a| #2=#:G1084 |x| #3=#:G1082 |l| #4=#:G1081 |kk|
         #5=#:G1080 |lv| #6=#:G1079 |i| #7=#:G1078 |v0| |rec| |c| #8=#:G1062
         #9=#:G1061 #10=#:G1063 #11=#:G1076 #12=#:G1077 |fns| |u|)
    (RETURN
     (SEQ
      (LETT |u| (|SPADfirst| (SPADCALL |k| (QREFELT $ 32)))
            . #13=(|EFSTRUC;taneval|))
      (LETT |fns| (|EFSTRUC;toU| |lk| $) . #13#)
      (LETT |c|
            (SPADCALL |u|
                      (PROGN
                       (LETT #8# NIL . #13#)
                       (SEQ (LETT |x| NIL . #13#) (LETT #12# |fns| . #13#)
                            (LETT |i| (SPADCALL |v| (QREFELT $ 119)) . #13#)
                            (LETT #11# (QVSIZE |v|) . #13#) G190
                            (COND
                             ((OR (> |i| #11#) (ATOM #12#)
                                  (PROGN (LETT |x| (CAR #12#) . #13#) NIL))
                              #14=(GO G191)))
                            (SEQ
                             (EXIT
                              (PROGN
                               (LETT #10#
                                     (SPADCALL
                                      (SPADCALL |v| |i| (QREFELT $ 128)) |x|
                                      (QREFELT $ 129))
                                     . #13#)
                               (COND
                                (#8#
                                 (LETT #9# (SPADCALL #9# #10# (QREFELT $ 114))
                                       . #13#))
                                ('T
                                 (PROGN
                                  (LETT #9# #10# . #13#)
                                  (LETT #8# 'T . #13#)))))))
                            (LETT |i|
                                  (PROG1 (+ |i| 1)
                                    (LETT #12# (CDR #12#) . #13#))
                                  . #13#)
                            #15=(GO G190) G191 (EXIT NIL))
                       (COND (#8# #9#) (#16='T (|spadConstant| $ 26))))
                      (QREFELT $ 112))
            . #13#)
      (LETT |rec| (|EFSTRUC;goodCoef| |v| |lk| '|tan| $) . #13#)
      (EXIT
       (COND
        ((QEQCAR |rec| 1) (|EFSTRUC;tannosimp| |f| |lk| |k| |v| |fns| |c| $))
        (#16#
         (SEQ
          (LETT |v0|
                (SPADCALL
                 (SPADCALL (SPADCALL |v| (QCAR (QCDR |rec|)) (QREFELT $ 128))
                           (QREFELT $ 134))
                 (QREFELT $ 121))
                . #13#)
          (LETT |lv|
                (PROGN
                 (LETT #7# NIL . #13#)
                 (SEQ (LETT |i| (SPADCALL |v| (QREFELT $ 119)) . #13#)
                      (LETT #6# (QVSIZE |v|) . #13#) G190
                      (COND ((> |i| #6#) #14#))
                      (SEQ
                       (EXIT
                        (COND
                         ((COND ((EQL |i| (QCAR (QCDR |rec|))) 'NIL) (#16# 'T))
                          (LETT #7#
                                (CONS (SPADCALL |v| |i| (QREFELT $ 128)) #7#)
                                . #13#)))))
                      (LETT |i| (+ |i| 1) . #13#) #15# G191
                      (EXIT (NREVERSE0 #7#))))
                . #13#)
          (LETT |l|
                (PROGN
                 (LETT #5# NIL . #13#)
                 (SEQ (LETT |kk| NIL . #13#) (LETT #4# |lk| . #13#) G190
                      (COND
                       ((OR (ATOM #4#)
                            (PROGN (LETT |kk| (CAR #4#) . #13#) NIL))
                        #14#))
                      (SEQ
                       (EXIT
                        (COND
                         ((COND
                           ((SPADCALL |kk| (QCDR (QCDR |rec|)) (QREFELT $ 99))
                            'NIL)
                           (#16# 'T))
                          (LETT #5# (CONS |kk| #5#) . #13#)))))
                      (LETT #4# (CDR #4#) . #13#) #15# G191
                      (EXIT (NREVERSE0 #5#))))
                . #13#)
          (LETT |g|
                (|EFSTRUC;tanSum|
                 (SPADCALL (SPADCALL |v0| |c| (QREFELT $ 135)) (QREFELT $ 14))
                 (CONS
                  (SPADCALL (SPADCALL |k| (QREFELT $ 94)) |v0| (QREFELT $ 49))
                  (PROGN
                   (LETT #3# NIL . #13#)
                   (SEQ (LETT |x| NIL . #13#)
                        (LETT #2# (|EFSTRUC;toV| |l| $) . #13#)
                        (LETT |a| NIL . #13#) (LETT #1# |lv| . #13#) G190
                        (COND
                         ((OR (ATOM #1#)
                              (PROGN (LETT |a| (CAR #1#) . #13#) NIL)
                              (ATOM #2#)
                              (PROGN (LETT |x| (CAR #2#) . #13#) NIL))
                          #14#))
                        (SEQ
                         (EXIT
                          (LETT #3#
                                (CONS
                                 (SPADCALL |x|
                                           (-
                                            (SPADCALL
                                             (SPADCALL |a| |v0|
                                                       (QREFELT $ 136))
                                             (QREFELT $ 121)))
                                           (QREFELT $ 49))
                                 #3#)
                                . #13#)))
                        (LETT #1# (PROG1 (CDR #1#) (LETT #2# (CDR #2#) . #13#))
                              . #13#)
                        #15# G191 (EXIT (NREVERSE0 #3#)))))
                 $)
                . #13#)
          (EXIT
           (VECTOR
            (SPADCALL |f| (LIST (QCDR (QCDR |rec|))) (LIST |g|) (QREFELT $ 96))
            (LIST (QCDR (QCDR |rec|))) (LIST |g|))))))))))) 

(DEFUN |EFSTRUC;tannosimp| (|f| |lk| |k| |v| |fns| |c| $)
  (PROG (|h| |i| #1=#:G1116 |x| #2=#:G1115 |lk1| |newtan| #3=#:G1113 #4=#:G1114
         |t| #5=#:G1112 |li| #6=#:G1111 #7=#:G1110 #8=#:G1109 |newt| #9=#:G1108
         |u| #10=#:G1107 |dd| |d| |cd| #11=#:G1106 #12=#:G1105 #13=#:G1104
         #14=#:G1103 |n|)
    (RETURN
     (SEQ (LETT |n| (QVSIZE |v|) . #15=(|EFSTRUC;tannosimp|))
          (LETT |lk|
                (PROGN
                 (LETT #14# NIL . #15#)
                 (SEQ (LETT |x| NIL . #15#) (LETT #13# |lk| . #15#) G190
                      (COND
                       ((OR (ATOM #13#)
                            (PROGN (LETT |x| (CAR #13#) . #15#) NIL))
                        #16=(GO G191)))
                      (SEQ
                       (EXIT
                        (COND
                         ((COND ((SPADCALL |x| '|tan| (QREFELT $ 30)) 'T)
                                (#17='T (SPADCALL |x| '|atan| (QREFELT $ 30))))
                          (LETT #14# (CONS |x| #14#) . #15#)))))
                      (LETT #13# (CDR #13#) . #15#) #18=(GO G190) G191
                      (EXIT (NREVERSE0 #14#))))
                . #15#)
          (LETT |lk1|
                (PROGN
                 (LETT #12# NIL . #15#)
                 (SEQ (LETT |i| 1 . #15#) (LETT |x| NIL . #15#)
                      (LETT #11# |lk| . #15#) G190
                      (COND
                       ((OR (ATOM #11#)
                            (PROGN (LETT |x| (CAR #11#) . #15#) NIL)
                            (QSGREATERP |i| |n|))
                        #16#))
                      (SEQ
                       (EXIT
                        (COND
                         ((COND
                           ((SPADCALL (SPADCALL |v| |i| (QREFELT $ 128))
                                      (|spadConstant| $ 137) (QREFELT $ 86))
                            'NIL)
                           (#17# 'T))
                          (LETT #12# (CONS |x| #12#) . #15#)))))
                      (LETT #11#
                            (PROG1 (CDR #11#) (LETT |i| (QSADD1 |i|) . #15#))
                            . #15#)
                      #18# G191 (EXIT (NREVERSE0 #12#))))
                . #15#)
          (EXIT
           (COND
            ((SPADCALL (CONS #'|EFSTRUC;tannosimp!0| $) |lk1| (QREFELT $ 138))
             (SEQ
              (LETT |dd|
                    (SPADCALL
                     (LETT |d|
                           (QCDR
                            (LETT |cd| (SPADCALL |v| (QREFELT $ 141)) . #15#))
                           . #15#)
                     (QREFELT $ 13))
                    . #15#)
              (LETT |newt|
                    (PROGN
                     (LETT #10# NIL . #15#)
                     (SEQ (LETT |i| 1 . #15#) (LETT |u| NIL . #15#)
                          (LETT #9# |fns| . #15#) G190
                          (COND
                           ((OR (ATOM #9#)
                                (PROGN (LETT |u| (CAR #9#) . #15#) NIL)
                                (QSGREATERP |i| |n|))
                            #16#))
                          (SEQ
                           (EXIT
                            (COND
                             ((COND
                               ((SPADCALL (SPADCALL |v| |i| (QREFELT $ 128))
                                          (|spadConstant| $ 137)
                                          (QREFELT $ 86))
                                'NIL)
                               (#17# 'T))
                              (LETT #10#
                                    (CONS
                                     (SPADCALL
                                      (SPADCALL |u| |dd| (QREFELT $ 15))
                                      (QREFELT $ 55))
                                     #10#)
                                    . #15#)))))
                          (LETT #9#
                                (PROG1 (CDR #9#)
                                  (LETT |i| (QSADD1 |i|) . #15#))
                                . #15#)
                          #18# G191 (EXIT (NREVERSE0 #10#))))
                    . #15#)
              (LETT |newtan|
                    (PROGN
                     (LETT #8# NIL . #15#)
                     (SEQ (LETT |t| NIL . #15#) (LETT #7# |newt| . #15#) G190
                          (COND
                           ((OR (ATOM #7#)
                                (PROGN (LETT |t| (CAR #7#) . #15#) NIL))
                            #16#))
                          (SEQ
                           (EXIT
                            (LETT #8#
                                  (CONS (SPADCALL |t| |d| (QREFELT $ 49)) #8#)
                                  . #15#)))
                          (LETT #7# (CDR #7#) . #15#) #18# G191
                          (EXIT (NREVERSE0 #8#))))
                    . #15#)
              (LETT |li|
                    (PROGN
                     (LETT #6# NIL . #15#)
                     (SEQ (LETT |i| 1 . #15#) G190
                          (COND ((QSGREATERP |i| |n|) #16#))
                          (SEQ
                           (EXIT
                            (COND
                             ((COND
                               ((SPADCALL (SPADCALL |v| |i| (QREFELT $ 128))
                                          (|spadConstant| $ 137)
                                          (QREFELT $ 86))
                                'NIL)
                               (#17# 'T))
                              (LETT #6# (CONS |i| #6#) . #15#)))))
                          (LETT |i| (QSADD1 |i|) . #15#) #18# G191
                          (EXIT (NREVERSE0 #6#))))
                    . #15#)
              (LETT |h|
                    (|EFSTRUC;tanSum| |c|
                     (PROGN
                      (LETT #5# NIL . #15#)
                      (SEQ (LETT |t| NIL . #15#) (LETT #4# |newt| . #15#)
                           (LETT |i| NIL . #15#) (LETT #3# |li| . #15#) G190
                           (COND
                            ((OR (ATOM #3#)
                                 (PROGN (LETT |i| (CAR #3#) . #15#) NIL)
                                 (ATOM #4#)
                                 (PROGN (LETT |t| (CAR #4#) . #15#) NIL))
                             #16#))
                           (SEQ
                            (EXIT
                             (LETT #5#
                                   (CONS
                                    (SPADCALL |t|
                                              (SPADCALL (QCAR |cd|) |i|
                                                        (QREFELT $ 143))
                                              (QREFELT $ 49))
                                    #5#)
                                   . #15#)))
                           (LETT #3#
                                 (PROG1 (CDR #3#) (LETT #4# (CDR #4#) . #15#))
                                 . #15#)
                           #18# G191 (EXIT (NREVERSE0 #5#))))
                     $)
                    . #15#)
              (LETT |newtan| (CONS |h| |newtan|) . #15#)
              (LETT |lk1| (CONS |k| |lk1|) . #15#)
              (EXIT
               (VECTOR (SPADCALL |f| |lk1| |newtan| (QREFELT $ 96)) |lk1|
                       |newtan|))))
            (#17#
             (SEQ
              (LETT |h|
                    (|EFSTRUC;tanSum| |c|
                     (PROGN
                      (LETT #2# NIL . #15#)
                      (SEQ (LETT |x| NIL . #15#)
                           (LETT #1# (|EFSTRUC;toV| |lk| $) . #15#)
                           (LETT |i| 1 . #15#) G190
                           (COND
                            ((OR (QSGREATERP |i| |n|) (ATOM #1#)
                                 (PROGN (LETT |x| (CAR #1#) . #15#) NIL))
                             #16#))
                           (SEQ
                            (EXIT
                             (LETT #2#
                                   (CONS
                                    (SPADCALL
                                     (SPADCALL |v| |i| (QREFELT $ 128)) |x|
                                     (QREFELT $ 50))
                                    #2#)
                                   . #15#)))
                           (LETT |i|
                                 (PROG1 (QSADD1 |i|)
                                   (LETT #1# (CDR #1#) . #15#))
                                 . #15#)
                           #18# G191 (EXIT (NREVERSE0 #2#))))
                     $)
                    . #15#)
              (EXIT
               (VECTOR (SPADCALL |f| (LIST |k|) (LIST |h|) (QREFELT $ 96))
                       (LIST |k|) (LIST |h|))))))))))) 

(DEFUN |EFSTRUC;tannosimp!0| (|x| $) (SPADCALL |x| '|tan| (QREFELT $ 30))) 

(DEFUN |EFSTRUC;expnosimp| (|f| |lk| |k| |v| |fns| |g| $)
  (PROG (|h| #1=#:G1211 #2=#:G1210 #3=#:G1212 #4=#:G1227 |i| #5=#:G1228 |y|
         |newexp| |lk1| #6=#:G1168 #7=#:G1167 #8=#:G1169 #9=#:G1225 #10=#:G1226
         |e| |li| #11=#:G1224 #12=#:G1223 #13=#:G1222 |newe| #14=#:G1221
         #15=#:G1220 |dd| |d| |cd| #16=#:G1219 |x| #17=#:G1218 #18=#:G1217
         #19=#:G1216 |n|)
    (RETURN
     (SEQ (LETT |n| (QVSIZE |v|) . #20=(|EFSTRUC;expnosimp|))
          (LETT |lk|
                (PROGN
                 (LETT #19# NIL . #20#)
                 (SEQ (LETT |x| NIL . #20#) (LETT #18# |lk| . #20#) G190
                      (COND
                       ((OR (ATOM #18#)
                            (PROGN (LETT |x| (CAR #18#) . #20#) NIL))
                        #21=(GO G191)))
                      (SEQ
                       (EXIT
                        (COND
                         ((COND ((SPADCALL |x| '|exp| (QREFELT $ 30)) 'T)
                                (#22='T (SPADCALL |x| '|log| (QREFELT $ 30))))
                          (LETT #19# (CONS |x| #19#) . #20#)))))
                      (LETT #18# (CDR #18#) . #20#) #23=(GO G190) G191
                      (EXIT (NREVERSE0 #19#))))
                . #20#)
          (LETT |lk1|
                (PROGN
                 (LETT #17# NIL . #20#)
                 (SEQ (LETT |i| 1 . #20#) (LETT |x| NIL . #20#)
                      (LETT #16# |lk| . #20#) G190
                      (COND
                       ((OR (ATOM #16#)
                            (PROGN (LETT |x| (CAR #16#) . #20#) NIL)
                            (QSGREATERP |i| |n|))
                        #21#))
                      (SEQ
                       (EXIT
                        (COND
                         ((COND
                           ((SPADCALL (SPADCALL |v| |i| (QREFELT $ 128))
                                      (|spadConstant| $ 137) (QREFELT $ 86))
                            'NIL)
                           (#22# 'T))
                          (LETT #17# (CONS |x| #17#) . #20#)))))
                      (LETT #16#
                            (PROG1 (CDR #16#) (LETT |i| (QSADD1 |i|) . #20#))
                            . #20#)
                      #23# G191 (EXIT (NREVERSE0 #17#))))
                . #20#)
          (EXIT
           (COND
            ((SPADCALL (CONS #'|EFSTRUC;expnosimp!0| $) |lk1| (QREFELT $ 138))
             (SEQ
              (LETT |dd|
                    (SPADCALL
                     (LETT |d|
                           (QCDR
                            (LETT |cd| (SPADCALL |v| (QREFELT $ 141)) . #20#))
                           . #20#)
                     (QREFELT $ 13))
                    . #20#)
              (LETT |newe|
                    (PROGN
                     (LETT #15# NIL . #20#)
                     (SEQ (LETT |i| 1 . #20#) (LETT |y| NIL . #20#)
                          (LETT #14# |fns| . #20#) G190
                          (COND
                           ((OR (ATOM #14#)
                                (PROGN (LETT |y| (CAR #14#) . #20#) NIL)
                                (QSGREATERP |i| |n|))
                            #21#))
                          (SEQ
                           (EXIT
                            (COND
                             ((COND
                               ((SPADCALL (SPADCALL |v| |i| (QREFELT $ 128))
                                          (|spadConstant| $ 137)
                                          (QREFELT $ 86))
                                'NIL)
                               (#22# 'T))
                              (LETT #15#
                                    (CONS
                                     (SPADCALL
                                      (SPADCALL |y| |dd| (QREFELT $ 15))
                                      (QREFELT $ 110))
                                     #15#)
                                    . #20#)))))
                          (LETT #14#
                                (PROG1 (CDR #14#)
                                  (LETT |i| (QSADD1 |i|) . #20#))
                                . #20#)
                          #23# G191 (EXIT (NREVERSE0 #15#))))
                    . #20#)
              (LETT |newexp|
                    (PROGN
                     (LETT #13# NIL . #20#)
                     (SEQ (LETT |e| NIL . #20#) (LETT #12# |newe| . #20#) G190
                          (COND
                           ((OR (ATOM #12#)
                                (PROGN (LETT |e| (CAR #12#) . #20#) NIL))
                            #21#))
                          (SEQ
                           (EXIT
                            (LETT #13#
                                  (CONS (SPADCALL |e| |d| (QREFELT $ 144))
                                        #13#)
                                  . #20#)))
                          (LETT #12# (CDR #12#) . #20#) #23# G191
                          (EXIT (NREVERSE0 #13#))))
                    . #20#)
              (LETT |li|
                    (PROGN
                     (LETT #11# NIL . #20#)
                     (SEQ (LETT |i| 1 . #20#) G190
                          (COND ((QSGREATERP |i| |n|) #21#))
                          (SEQ
                           (EXIT
                            (COND
                             ((COND
                               ((SPADCALL (SPADCALL |v| |i| (QREFELT $ 128))
                                          (|spadConstant| $ 137)
                                          (QREFELT $ 86))
                                'NIL)
                               (#22# 'T))
                              (LETT #11# (CONS |i| #11#) . #20#)))))
                          (LETT |i| (QSADD1 |i|) . #20#) #23# G191
                          (EXIT (NREVERSE0 #11#))))
                    . #20#)
              (LETT |h|
                    (SPADCALL
                     (PROGN
                      (LETT #6# NIL . #20#)
                      (SEQ (LETT |e| NIL . #20#) (LETT #10# |newe| . #20#)
                           (LETT |i| NIL . #20#) (LETT #9# |li| . #20#) G190
                           (COND
                            ((OR (ATOM #9#)
                                 (PROGN (LETT |i| (CAR #9#) . #20#) NIL)
                                 (ATOM #10#)
                                 (PROGN (LETT |e| (CAR #10#) . #20#) NIL))
                             #21#))
                           (SEQ
                            (EXIT
                             (PROGN
                              (LETT #8#
                                    (SPADCALL |e|
                                              (SPADCALL (QCAR |cd|) |i|
                                                        (QREFELT $ 143))
                                              (QREFELT $ 144))
                                    . #20#)
                              (COND
                               (#6#
                                (LETT #7# (SPADCALL #7# #8# (QREFELT $ 109))
                                      . #20#))
                               ('T
                                (PROGN
                                 (LETT #7# #8# . #20#)
                                 (LETT #6# 'T . #20#)))))))
                           (LETT #9#
                                 (PROG1 (CDR #9#)
                                   (LETT #10# (CDR #10#) . #20#))
                                 . #20#)
                           #23# G191 (EXIT NIL))
                      (COND (#6# #7#) (#22# (|spadConstant| $ 61))))
                     |g| (QREFELT $ 109))
                    . #20#)
              (LETT |lk1| (CONS |k| |lk1|) . #20#)
              (LETT |newexp| (CONS |h| |newexp|) . #20#)
              (EXIT
               (VECTOR (SPADCALL |f| |lk1| |newexp| (QREFELT $ 96)) |lk1|
                       |newexp|))))
            (#22#
             (SEQ
              (LETT |h|
                    (SPADCALL
                     (PROGN
                      (LETT #1# NIL . #20#)
                      (SEQ (LETT |y| NIL . #20#) (LETT #5# |fns| . #20#)
                           (LETT |i| (SPADCALL |v| (QREFELT $ 119)) . #20#)
                           (LETT #4# (QVSIZE |v|) . #20#) G190
                           (COND
                            ((OR (> |i| #4#) (ATOM #5#)
                                 (PROGN (LETT |y| (CAR #5#) . #20#) NIL))
                             #21#))
                           (SEQ
                            (EXIT
                             (PROGN
                              (LETT #3#
                                    (SPADCALL (SPADCALL |y| (QREFELT $ 110))
                                              (SPADCALL |v| |i|
                                                        (QREFELT $ 128))
                                              (QREFELT $ 127))
                                    . #20#)
                              (COND
                               (#1#
                                (LETT #2# (SPADCALL #2# #3# (QREFELT $ 109))
                                      . #20#))
                               ('T
                                (PROGN
                                 (LETT #2# #3# . #20#)
                                 (LETT #1# 'T . #20#)))))))
                           (LETT |i|
                                 (PROG1 (+ |i| 1) (LETT #5# (CDR #5#) . #20#))
                                 . #20#)
                           #23# G191 (EXIT NIL))
                      (COND (#1# #2#) (#22# (|spadConstant| $ 61))))
                     |g| (QREFELT $ 109))
                    . #20#)
              (EXIT
               (VECTOR (SPADCALL |f| (LIST |k|) (LIST |h|) (QREFELT $ 96))
                       (LIST |k|) (LIST |h|))))))))))) 

(DEFUN |EFSTRUC;expnosimp!0| (|x| $) (SPADCALL |x| '|exp| (QREFELT $ 30))) 

(DEFUN |EFSTRUC;logeval| (|f| |lk| |k| |v| $)
  (PROG (|g| #1=#:G1240 #2=#:G1239 #3=#:G1241 #4=#:G1246 |i| #5=#:G1247 |x| |c|
         #6=#:G1231 #7=#:G1230 #8=#:G1232 #9=#:G1244 #10=#:G1245 |z|)
    (RETURN
     (SEQ
      (LETT |z| (|SPADfirst| (SPADCALL |k| (QREFELT $ 32)))
            . #11=(|EFSTRUC;logeval|))
      (LETT |c|
            (SPADCALL |z|
                      (PROGN
                       (LETT #6# NIL . #11#)
                       (SEQ (LETT |i| (SPADCALL |v| (QREFELT $ 119)) . #11#)
                            (LETT #10# (QVSIZE |v|) . #11#)
                            (LETT |x| NIL . #11#)
                            (LETT #9# (|EFSTRUC;toZ| |lk| $) . #11#) G190
                            (COND
                             ((OR (ATOM #9#)
                                  (PROGN (LETT |x| (CAR #9#) . #11#) NIL)
                                  (> |i| #10#))
                              #12=(GO G191)))
                            (SEQ
                             (EXIT
                              (PROGN
                               (LETT #8#
                                     (SPADCALL |x|
                                               (SPADCALL |v| |i|
                                                         (QREFELT $ 128))
                                               (QREFELT $ 127))
                                     . #11#)
                               (COND
                                (#6#
                                 (LETT #7# (SPADCALL #7# #8# (QREFELT $ 109))
                                       . #11#))
                                ('T
                                 (PROGN
                                  (LETT #7# #8# . #11#)
                                  (LETT #6# 'T . #11#)))))))
                            (LETT #9#
                                  (PROG1 (CDR #9#) (LETT |i| (+ |i| 1) . #11#))
                                  . #11#)
                            #13=(GO G190) G191 (EXIT NIL))
                       (COND (#6# #7#) (#14='T (|spadConstant| $ 61))))
                      (QREFELT $ 15))
            . #11#)
      (LETT |g|
            (SPADCALL
             (PROGN
              (LETT #1# NIL . #11#)
              (SEQ (LETT |x| NIL . #11#)
                   (LETT #5# (|EFSTRUC;toY| |lk| $) . #11#)
                   (LETT |i| (SPADCALL |v| (QREFELT $ 119)) . #11#)
                   (LETT #4# (QVSIZE |v|) . #11#) G190
                   (COND
                    ((OR (> |i| #4#) (ATOM #5#)
                         (PROGN (LETT |x| (CAR #5#) . #11#) NIL))
                     #12#))
                   (SEQ
                    (EXIT
                     (PROGN
                      (LETT #3#
                            (SPADCALL (SPADCALL |v| |i| (QREFELT $ 128)) |x|
                                      (QREFELT $ 129))
                            . #11#)
                      (COND
                       (#1#
                        (LETT #2# (SPADCALL #2# #3# (QREFELT $ 114)) . #11#))
                       ('T
                        (PROGN (LETT #2# #3# . #11#) (LETT #1# 'T . #11#)))))))
                   (LETT |i| (PROG1 (+ |i| 1) (LETT #5# (CDR #5#) . #11#))
                         . #11#)
                   #13# G191 (EXIT NIL))
              (COND (#1# #2#) (#14# (|spadConstant| $ 26))))
             (SPADCALL |c| (QREFELT $ 97)) (QREFELT $ 114))
            . #11#)
      (EXIT
       (VECTOR (SPADCALL |f| (LIST |k|) (LIST |g|) (QREFELT $ 96)) (LIST |k|)
               (LIST |g|))))))) 

(DEFUN |EFSTRUC;rischNormalize0| (|f| |vars| $)
  (PROG (#1=#:G1257 |rn| #2=#:G1253 |rec| |c| |klist| |i| #3=#:G1258 |kk| |n|
         |pars| |funs| |lk|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |lk| (SPADCALL |f| (QREFELT $ 58))
              . #4=(|EFSTRUC;rischNormalize0|))
        (LETT |funs| |lk| . #4#)
        (LETT |pars| (SPADCALL |f| (QREFELT $ 23)) . #4#)
        (LETT |pars| (SPADCALL |pars| |vars| (QREFELT $ 145)) . #4#)
        (EXIT
         (COND ((NULL |funs|) (VECTOR |f| NIL NIL))
               ('T
                (SEQ (LETT |n| (LENGTH |funs|) . #4#)
                     (SEQ (LETT |kk| NIL . #4#) (LETT #3# (CDR |funs|) . #4#)
                          (LETT |i| 1 . #4#) G190
                          (COND
                           ((OR (QSGREATERP |i| |n|) (ATOM #3#)
                                (PROGN (LETT |kk| (CAR #3#) . #4#) NIL))
                            (GO G191)))
                          (SEQ
                           (EXIT
                            (SEQ
                             (LETT |klist| (SPADCALL |funs| |i| (QREFELT $ 63))
                                   . #4#)
                             (SEQ
                              (LETT |c|
                                    (|EFSTRUC;findRelation| |vars| |pars|
                                     |klist| |kk| $)
                                    . #4#)
                              (EXIT
                               (COND
                                ((QEQCAR |c| 0)
                                 (COND
                                  ((NULL (SPADCALL (CDR |c|) (QREFELT $ 146)))
                                   (PROGN
                                    (LETT #2#
                                          (SEQ
                                           (LETT |rec|
                                                 (|EFSTRUC;depeval| |f| |klist|
                                                  |kk| (CDR |c|) $)
                                                 . #4#)
                                           (LETT |rn|
                                                 (|EFSTRUC;rischNormalize0|
                                                  (QVELT |rec| 0) |vars| $)
                                                 . #4#)
                                           (EXIT
                                            (PROGN
                                             (LETT #1#
                                                   (VECTOR (QVELT |rn| 0)
                                                           (SPADCALL
                                                            (QVELT |rec| 1)
                                                            (QVELT |rn| 1)
                                                            (QREFELT $ 64))
                                                           (SPADCALL
                                                            (QVELT |rec| 2)
                                                            (QVELT |rn| 2)
                                                            (QREFELT $ 65)))
                                                   . #4#)
                                             (GO #1#))))
                                          . #4#)
                                    (GO #2#))))))))
                             (EXIT
                              (COND
                               ((QEQCAR |c| 1)
                                (SEQ
                                 (LETT |rn|
                                       (|EFSTRUC;rischNormalize0|
                                        (SPADCALL |f| (LIST |kk|)
                                                  (LIST (CDR |c|))
                                                  (QREFELT $ 96))
                                        |vars| $)
                                       . #4#)
                                 (EXIT
                                  (PROGN
                                   (LETT #1#
                                         (VECTOR (QVELT |rn| 0)
                                                 (CONS |kk| (QVELT |rn| 1))
                                                 (CONS (CDR |c|)
                                                       (QVELT |rn| 2)))
                                         . #4#)
                                   (GO #1#)))))))))
                           #2# (EXIT #2#))
                          (LETT |i|
                                (PROG1 (QSADD1 |i|) (LETT #3# (CDR #3#) . #4#))
                                . #4#)
                          (GO G190) G191 (EXIT NIL))
                     (EXIT (VECTOR |f| NIL NIL))))))))
      #1# (EXIT #1#))))) 

(DEFUN |EFSTRUC;rischNormalize;FSR;37| (|f| |v| $)
  (|EFSTRUC;rischNormalize0| |f| (LIST |v|) $)) 

(DEFUN |EFSTRUC;rootNormalize;FKF;38| (|f| |k| $)
  (PROG (|u|)
    (RETURN
     (SEQ
      (LETT |u|
            (|EFSTRUC;rootKernelNormalize| |f|
             (|EFSTRUC;toR| (SPADCALL |f| (QREFELT $ 58))
              (|SPADfirst| (SPADCALL |k| (QREFELT $ 32))) $)
             |k| $)
            |EFSTRUC;rootNormalize;FKF;38|)
      (EXIT (COND ((QEQCAR |u| 1) |f|) ('T (QVELT (QCDR |u|) 0)))))))) 

(DEFUN |EFSTRUC;rootKernelNormalize| (|f| |l| |k| $)
  (PROG (|c|)
    (RETURN
     (SEQ
      (LETT |c| (|EFSTRUC;rootDep| |l| |k| $) |EFSTRUC;rootKernelNormalize|)
      (EXIT
       (COND
        ((QEQCAR |c| 0)
         (CONS 0
               (|EFSTRUC;rooteval| |f| |l| |k|
                (SPADCALL (CDR |c|) (SPADCALL (CDR |c|) (QREFELT $ 119))
                          (QREFELT $ 120))
                $)))
        ('T (CONS 1 "failed")))))))) 

(DEFUN |EFSTRUC;localnorm| (|f| $)
  (QVELT (|EFSTRUC;rischNormalize0| |f| NIL $) 0)) 

(DEFUN |EFSTRUC;validExponential;LFSU;41| (|twr| |eta| |x| $)
  (PROG (#1=#:G1312 #2=#:G1311 #3=#:G1313 #4=#:G1324 |i| #5=#:G1325 |yy| |g|
         #6=#:G1285 #7=#:G1284 #8=#:G1286 #9=#:G1322 #10=#:G1323 |v| |c|
         #11=#:G1321 |fns| #12=#:G1320)
    (RETURN
     (SEQ
      (LETT |c|
            (SPADCALL
             (SPADCALL
              (PROGN
               (LETT #12# NIL . #13=(|EFSTRUC;validExponential;LFSU;41|))
               (SEQ (LETT |g| NIL . #13#)
                    (LETT #11# (LETT |fns| (|EFSTRUC;toY| |twr| $) . #13#)
                          . #13#)
                    G190
                    (COND
                     ((OR (ATOM #11#) (PROGN (LETT |g| (CAR #11#) . #13#) NIL))
                      #14=(GO G191)))
                    (SEQ
                     (EXIT
                      (LETT #12# (CONS (SPADCALL |g| |x| (QREFELT $ 68)) #12#)
                            . #13#)))
                    (LETT #11# (CDR #11#) . #13#) #15=(GO G190) G191
                    (EXIT (NREVERSE0 #12#))))
              (QREFELT $ 150))
             (SPADCALL |eta| |x| (QREFELT $ 68)) (QREFELT $ 151))
            . #13#)
      (EXIT
       (COND ((QEQCAR |c| 1) (CONS 1 "failed"))
             (#16='T
              (SEQ (LETT |v| (QCDR |c|) . #13#)
                   (LETT |g|
                         (SPADCALL |eta|
                                   (PROGN
                                    (LETT #6# NIL . #13#)
                                    (SEQ (LETT |yy| NIL . #13#)
                                         (LETT #10# |fns| . #13#)
                                         (LETT |i|
                                               (SPADCALL |v| (QREFELT $ 119))
                                               . #13#)
                                         (LETT #9# (QVSIZE |v|) . #13#) G190
                                         (COND
                                          ((OR (> |i| #9#) (ATOM #10#)
                                               (PROGN
                                                (LETT |yy| (CAR #10#) . #13#)
                                                NIL))
                                           #14#))
                                         (SEQ
                                          (EXIT
                                           (PROGN
                                            (LETT #8#
                                                  (SPADCALL
                                                   (SPADCALL |v| |i|
                                                             (QREFELT $ 128))
                                                   |yy| (QREFELT $ 129))
                                                  . #13#)
                                            (COND
                                             (#6#
                                              (LETT #7#
                                                    (SPADCALL #7# #8#
                                                              (QREFELT $ 114))
                                                    . #13#))
                                             ('T
                                              (PROGN
                                               (LETT #7# #8# . #13#)
                                               (LETT #6# 'T . #13#)))))))
                                         (LETT |i|
                                               (PROG1 (+ |i| 1)
                                                 (LETT #10# (CDR #10#) . #13#))
                                               . #13#)
                                         #15# G191 (EXIT NIL))
                                    (COND (#6# #7#)
                                          (#16# (|spadConstant| $ 26))))
                                   (QREFELT $ 112))
                         . #13#)
                   (EXIT
                    (CONS 0
                          (SPADCALL
                           (PROGN
                            (LETT #1# NIL . #13#)
                            (SEQ (LETT |yy| NIL . #13#) (LETT #5# |fns| . #13#)
                                 (LETT |i| (SPADCALL |v| (QREFELT $ 119))
                                       . #13#)
                                 (LETT #4# (QVSIZE |v|) . #13#) G190
                                 (COND
                                  ((OR (> |i| #4#) (ATOM #5#)
                                       (PROGN
                                        (LETT |yy| (CAR #5#) . #13#)
                                        NIL))
                                   #14#))
                                 (SEQ
                                  (EXIT
                                   (PROGN
                                    (LETT #3#
                                          (SPADCALL
                                           (SPADCALL |yy| (QREFELT $ 110))
                                           (SPADCALL |v| |i| (QREFELT $ 128))
                                           (QREFELT $ 127))
                                          . #13#)
                                    (COND
                                     (#1#
                                      (LETT #2#
                                            (SPADCALL #2# #3# (QREFELT $ 109))
                                            . #13#))
                                     ('T
                                      (PROGN
                                       (LETT #2# #3# . #13#)
                                       (LETT #1# 'T . #13#)))))))
                                 (LETT |i|
                                       (PROG1 (+ |i| 1)
                                         (LETT #5# (CDR #5#) . #13#))
                                       . #13#)
                                 #15# G191 (EXIT NIL))
                            (COND (#1# #2#) (#16# (|spadConstant| $ 61))))
                           (SPADCALL |g| (QREFELT $ 110))
                           (QREFELT $ 109)))))))))))) 

(DEFUN |EFSTRUC;irootDep;KU;42| (|k| $)
  (PROG (|nv| |nk| |nr| |nf| |pr| |n| #1=#:G1326)
    (RETURN
     (SEQ
      (LETT |n|
            (PROG1
                (LETT #1#
                      (SPADCALL
                       (SPADCALL (SPADCALL |k| (QREFELT $ 32)) (QREFELT $ 123))
                       (QREFELT $ 124))
                      . #2=(|EFSTRUC;irootDep;KU;42|))
              (|check-subtype| (>= #1# 0) '(|NonNegativeInteger|) #1#))
            . #2#)
      (LETT |pr|
            (SPADCALL (|SPADfirst| (SPADCALL |k| (QREFELT $ 32))) |n|
                      (QREFELT $ 156))
            . #2#)
      (COND
       ((SPADCALL (QVELT |pr| 1) (|spadConstant| $ 61) (QREFELT $ 28))
        (COND
         ((NULL (EQL (QVELT |pr| 0) |n|))
          (EXIT
           (COND
            ((EQL (QVELT |pr| 0) 1)
             (CONS 1 (SPADCALL (QVELT |pr| 1) (QVELT |pr| 2) (QREFELT $ 109))))
            (#3='T
             (SEQ (LETT |nf| (SPADCALL (QVELT |pr| 0) (QREFELT $ 13)) . #2#)
                  (LETT |nr| (QVELT |pr| 2) . #2#)
                  (LETT |nk|
                        (SPADCALL (SPADCALL |k| (QREFELT $ 79))
                                  (LIST |nr| |nf|) (QREFELT $ 157))
                        . #2#)
                  (LETT |nv| (SPADCALL (QVELT |pr| 1) |nk| (QREFELT $ 109))
                        . #2#)
                  (EXIT (CONS 1 |nv|)))))))))
       (#3#
        (EXIT
         (COND
          ((EQL (QVELT |pr| 0) 1)
           (CONS 1 (SPADCALL (QVELT |pr| 1) (QVELT |pr| 2) (QREFELT $ 109))))
          (#3#
           (SEQ (LETT |nf| (SPADCALL (QVELT |pr| 0) (QREFELT $ 13)) . #2#)
                (LETT |nr| (QVELT |pr| 2) . #2#)
                (LETT |nk|
                      (SPADCALL (SPADCALL |k| (QREFELT $ 79)) (LIST |nr| |nf|)
                                (QREFELT $ 157))
                      . #2#)
                (LETT |nv| (SPADCALL (QVELT |pr| 1) |nk| (QREFELT $ 109))
                      . #2#)
                (EXIT (CONS 1 |nv|))))))))
      (EXIT (CONS 2 'T)))))) 

(DEFUN |EFSTRUC;irootDep;KU;43| (|k| $) (CONS 2 'T)) 

(DEFUN |EFSTRUC;rootDep| (|ker| |k| $)
  (PROG (#1=#:G1363 #2=#:G1362 #3=#:G1364 #4=#:G1367 |r|)
    (RETURN
     (SEQ
      (COND
       ((NULL
         (LETT |ker|
               (|EFSTRUC;toR| |ker| (|SPADfirst| (SPADCALL |k| (QREFELT $ 32)))
                $)
               . #5=(|EFSTRUC;rootDep|)))
        (SPADCALL |k| (QREFELT $ 159)))
       (#6='T
        (CONS 0
              (SPADCALL 1
                        (SPADCALL
                         (SPADCALL
                          (SPADCALL
                           (SPADCALL (SPADCALL |k| (QREFELT $ 32))
                                     (QREFELT $ 123))
                           (QREFELT $ 124))
                          (PROGN
                           (LETT #1# NIL . #5#)
                           (SEQ (LETT |r| NIL . #5#) (LETT #4# |ker| . #5#)
                                G190
                                (COND
                                 ((OR (ATOM #4#)
                                      (PROGN (LETT |r| (CAR #4#) . #5#) NIL))
                                  (GO G191)))
                                (SEQ
                                 (EXIT
                                  (PROGN
                                   (LETT #3#
                                         (SPADCALL
                                          (SPADCALL
                                           (SPADCALL |r| (QREFELT $ 32))
                                           (QREFELT $ 123))
                                          (QREFELT $ 124))
                                         . #5#)
                                   (COND
                                    (#1#
                                     (LETT #2#
                                           (SPADCALL #2# #3# (QREFELT $ 160))
                                           . #5#))
                                    ('T
                                     (PROGN
                                      (LETT #2# #3# . #5#)
                                      (LETT #1# 'T . #5#)))))))
                                (LETT #4# (CDR #4#) . #5#) (GO G190) G191
                                (EXIT NIL))
                           (COND (#1# #2#) (#6# 1)))
                          (QREFELT $ 160))
                         (QREFELT $ 125))
                        (QREFELT $ 161))))))))) 

(DEFUN |EFSTRUC;expeval| (|f| |lk| |k| |v| $)
  (PROG (|h| #1=#:G1381 #2=#:G1380 #3=#:G1382 #4=#:G1392 |a| #5=#:G1393 |z| |l|
         #6=#:G1391 |kk| #7=#:G1390 |lv| #8=#:G1389 |i| #9=#:G1388 |v0| |rec|
         |g| #10=#:G1370 #11=#:G1369 #12=#:G1371 #13=#:G1386 #14=#:G1387 |fns|
         |y|)
    (RETURN
     (SEQ
      (LETT |y| (|SPADfirst| (SPADCALL |k| (QREFELT $ 32)))
            . #15=(|EFSTRUC;expeval|))
      (LETT |fns| (|EFSTRUC;toY| |lk| $) . #15#)
      (LETT |g|
            (SPADCALL |y|
                      (PROGN
                       (LETT #10# NIL . #15#)
                       (SEQ (LETT |z| NIL . #15#) (LETT #14# |fns| . #15#)
                            (LETT |i| (SPADCALL |v| (QREFELT $ 119)) . #15#)
                            (LETT #13# (QVSIZE |v|) . #15#) G190
                            (COND
                             ((OR (> |i| #13#) (ATOM #14#)
                                  (PROGN (LETT |z| (CAR #14#) . #15#) NIL))
                              #16=(GO G191)))
                            (SEQ
                             (EXIT
                              (PROGN
                               (LETT #12#
                                     (SPADCALL
                                      (SPADCALL |v| |i| (QREFELT $ 128)) |z|
                                      (QREFELT $ 129))
                                     . #15#)
                               (COND
                                (#10#
                                 (LETT #11#
                                       (SPADCALL #11# #12# (QREFELT $ 114))
                                       . #15#))
                                ('T
                                 (PROGN
                                  (LETT #11# #12# . #15#)
                                  (LETT #10# 'T . #15#)))))))
                            (LETT |i|
                                  (PROG1 (+ |i| 1)
                                    (LETT #14# (CDR #14#) . #15#))
                                  . #15#)
                            #17=(GO G190) G191 (EXIT NIL))
                       (COND (#10# #11#) (#18='T (|spadConstant| $ 26))))
                      (QREFELT $ 112))
            . #15#)
      (LETT |rec| (|EFSTRUC;goodCoef| |v| |lk| '|exp| $) . #15#)
      (EXIT
       (COND
        ((QEQCAR |rec| 1)
         (|EFSTRUC;expnosimp| |f| |lk| |k| |v| |fns|
          (SPADCALL |g| (QREFELT $ 110)) $))
        (#18#
         (SEQ
          (LETT |v0|
                (SPADCALL
                 (SPADCALL (SPADCALL |v| (QCAR (QCDR |rec|)) (QREFELT $ 128))
                           (QREFELT $ 134))
                 (QREFELT $ 121))
                . #15#)
          (LETT |lv|
                (PROGN
                 (LETT #9# NIL . #15#)
                 (SEQ (LETT |i| (SPADCALL |v| (QREFELT $ 119)) . #15#)
                      (LETT #8# (QVSIZE |v|) . #15#) G190
                      (COND ((> |i| #8#) #16#))
                      (SEQ
                       (EXIT
                        (COND
                         ((COND ((EQL |i| (QCAR (QCDR |rec|))) 'NIL) (#18# 'T))
                          (LETT #9#
                                (CONS (SPADCALL |v| |i| (QREFELT $ 128)) #9#)
                                . #15#)))))
                      (LETT |i| (+ |i| 1) . #15#) #17# G191
                      (EXIT (NREVERSE0 #9#))))
                . #15#)
          (LETT |l|
                (PROGN
                 (LETT #7# NIL . #15#)
                 (SEQ (LETT |kk| NIL . #15#) (LETT #6# |lk| . #15#) G190
                      (COND
                       ((OR (ATOM #6#)
                            (PROGN (LETT |kk| (CAR #6#) . #15#) NIL))
                        #16#))
                      (SEQ
                       (EXIT
                        (COND
                         ((COND
                           ((SPADCALL |kk| (QCDR (QCDR |rec|)) (QREFELT $ 99))
                            'NIL)
                           (#18# 'T))
                          (LETT #7# (CONS |kk| #7#) . #15#)))))
                      (LETT #6# (CDR #6#) . #15#) #17# G191
                      (EXIT (NREVERSE0 #7#))))
                . #15#)
          (LETT |h|
                (PROGN
                 (LETT #1# NIL . #15#)
                 (SEQ (LETT |z| NIL . #15#)
                      (LETT #5# (|EFSTRUC;toY| |l| $) . #15#)
                      (LETT |a| NIL . #15#) (LETT #4# |lv| . #15#) G190
                      (COND
                       ((OR (ATOM #4#) (PROGN (LETT |a| (CAR #4#) . #15#) NIL)
                            (ATOM #5#) (PROGN (LETT |z| (CAR #5#) . #15#) NIL))
                        #16#))
                      (SEQ
                       (EXIT
                        (PROGN
                         (LETT #3#
                               (SPADCALL (SPADCALL |z| (QREFELT $ 110))
                                         (-
                                          (SPADCALL
                                           (SPADCALL |a| |v0| (QREFELT $ 136))
                                           (QREFELT $ 121)))
                                         (QREFELT $ 144))
                               . #15#)
                         (COND
                          (#1#
                           (LETT #2# (SPADCALL #2# #3# (QREFELT $ 109))
                                 . #15#))
                          ('T
                           (PROGN
                            (LETT #2# #3# . #15#)
                            (LETT #1# 'T . #15#)))))))
                      (LETT #4# (PROG1 (CDR #4#) (LETT #5# (CDR #5#) . #15#))
                            . #15#)
                      #17# G191 (EXIT NIL))
                 (COND (#1# #2#) (#18# (|spadConstant| $ 61))))
                . #15#)
          (LETT |h|
                (SPADCALL
                 (SPADCALL |h|
                           (SPADCALL
                            (SPADCALL (SPADCALL |v0| |g| (QREFELT $ 135))
                                      (QREFELT $ 14))
                            (QREFELT $ 110))
                           (QREFELT $ 109))
                 (SPADCALL (SPADCALL |k| (QREFELT $ 94)) |v0| (QREFELT $ 144))
                 (QREFELT $ 109))
                . #15#)
          (EXIT
           (VECTOR
            (SPADCALL |f| (LIST (QCDR (QCDR |rec|))) (LIST |h|) (QREFELT $ 96))
            (LIST (QCDR (QCDR |rec|))) (LIST |h|))))))))))) 

(DEFUN |EFSTRUC;normalize;2F;46| (|f| $)
  (|EFSTRUC;rtNormalize|
   (|EFSTRUC;localnorm|
    (SPADCALL (SPADCALL |f| (QREFELT $ 24)) (QREFELT $ 162)) $)
   $)) 

(DEFUN |EFSTRUC;normalize;FSF;47| (|f| |x| $)
  (|EFSTRUC;rtNormalize|
   (QVELT
    (SPADCALL (SPADCALL (SPADCALL |f| |x| (QREFELT $ 21)) |x| (QREFELT $ 164))
              |x| (QREFELT $ 148))
    0)
   $)) 

(DEFUN |EFSTRUC;factdeprel| (|l| |k| $)
  (PROG (#1=#:G1431 #2=#:G1434 #3=#:G1429 #4=#:G1428 #5=#:G1430 #6=#:G1436 |i|
         |r| |m| #7=#:G1435 |x| #8=#:G1433 |n|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (EXIT
         (SEQ
          (SEQ
           (LETT |r|
                 (SPADCALL
                  (LETT |n| (|SPADfirst| (SPADCALL |k| (QREFELT $ 32)))
                        . #9=(|EFSTRUC;factdeprel|))
                  (QREFELT $ 52))
                 . #9#)
           (EXIT
            (COND
             ((QEQCAR |r| 0)
              (COND
               ((< 0 (QCDR |r|))
                (PROGN
                 (LETT #8#
                       (CONS 1
                             (SPADCALL (SPADCALL (QCDR |r|) (QREFELT $ 166))
                                       (QREFELT $ 13)))
                       . #9#)
                 (GO #8#))))))))
          (SEQ (LETT |x| NIL . #9#) (LETT #7# |l| . #9#) G190
               (COND
                ((OR (ATOM #7#) (PROGN (LETT |x| (CAR #7#) . #9#) NIL))
                 #10=(GO G191)))
               (SEQ
                (EXIT
                 (SEQ
                  (LETT |m| (|SPADfirst| (SPADCALL |x| (QREFELT $ 32))) . #9#)
                  (LETT |r|
                        (SPADCALL (SPADCALL |n| |m| (QREFELT $ 112))
                                  (QREFELT $ 52))
                        . #9#)
                  (EXIT
                   (COND
                    ((QEQCAR |r| 0)
                     (COND
                      ((< 0 (QCDR |r|))
                       (PROGN
                        (LETT #1#
                              (PROGN
                               (LETT #2#
                                     (CONS 1
                                           (SPADCALL
                                            (PROGN
                                             (LETT #3# NIL . #9#)
                                             (SEQ (LETT |i| 1 . #9#)
                                                  (LETT #6# (QCDR |r|) . #9#)
                                                  G190
                                                  (COND
                                                   ((QSGREATERP |i| #6#) #10#))
                                                  (SEQ
                                                   (EXIT
                                                    (PROGN
                                                     (LETT #5#
                                                           (SPADCALL |m|
                                                                     (SPADCALL
                                                                      |i|
                                                                      (QREFELT
                                                                       $ 13))
                                                                     (QREFELT $
                                                                              114))
                                                           . #9#)
                                                     (COND
                                                      (#3#
                                                       (LETT #4#
                                                             (SPADCALL #4# #5#
                                                                       (QREFELT
                                                                        $ 109))
                                                             . #9#))
                                                      ('T
                                                       (PROGN
                                                        (LETT #4# #5# . #9#)
                                                        (LETT #3# 'T
                                                              . #9#)))))))
                                                  (LETT |i| (QSADD1 |i|) . #9#)
                                                  #11=(GO G190) G191
                                                  (EXIT NIL))
                                             (COND (#3# #4#)
                                                   ('T (|spadConstant| $ 61))))
                                            (SPADCALL |x| (QREFELT $ 94))
                                            (QREFELT $ 109)))
                                     . #9#)
                               (GO #2#))
                              . #9#)
                        (GO #1#)))))))))
                #1# (EXIT #1#))
               (LETT #7# (CDR #7#) . #9#) #11# G191 (EXIT NIL))
          (EXIT (CONS 2 'T))))
        #8# (EXIT #8#)))
      #2# (EXIT #2#))))) 

(DEFUN |EFSTRUC;normalize;2F;49| (|f| $)
  (|EFSTRUC;rtNormalize| (|EFSTRUC;localnorm| (SPADCALL |f| (QREFELT $ 24)) $)
   $)) 

(DEFUN |EFSTRUC;normalize;FSF;50| (|f| |x| $)
  (|EFSTRUC;rtNormalize|
   (QVELT (SPADCALL (SPADCALL |f| |x| (QREFELT $ 21)) |x| (QREFELT $ 148)) 0)
   $)) 

(DEFUN |ElementaryFunctionStructurePackage| (&REST #1=#:G1440)
  (PROG ()
    (RETURN
     (PROG (#2=#:G1441)
       (RETURN
        (COND
         ((LETT #2#
                (|lassocShiftWithFunction| (|devaluateList| #1#)
                                           (HGET |$ConstructorCache|
                                                 '|ElementaryFunctionStructurePackage|)
                                           '|domainEqualList|)
                . #3=(|ElementaryFunctionStructurePackage|))
          (|CDRwithIncrement| #2#))
         ('T
          (UNWIND-PROTECT
              (PROG1
                  (APPLY (|function| |ElementaryFunctionStructurePackage;|)
                         #1#)
                (LETT #2# T . #3#))
            (COND
             ((NOT #2#)
              (HREM |$ConstructorCache|
                    '|ElementaryFunctionStructurePackage|))))))))))) 

(DEFUN |ElementaryFunctionStructurePackage;| (|#1| |#2|)
  (PROG (|pv$| $ |dv$| DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|)
            . #1=(|ElementaryFunctionStructurePackage|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT |dv$| (LIST '|ElementaryFunctionStructurePackage| DV$1 DV$2) . #1#)
      (LETT $ (GETREFV 167) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|ElementaryFunctionStructurePackage|
                  (LIST DV$1 DV$2) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 8 '|htrig|)
      (QSETREFV $ 9 '|trig|)
      (QSETREFV $ 10 (|HasCategory| |#2| '(|CombinatorialOpsCategory|)))
      (QSETREFV $ 16
                (SPADCALL (SPADCALL (QREFELT $ 11))
                          (SPADCALL (SPADCALL 2 (QREFELT $ 13)) (QREFELT $ 14))
                          (QREFELT $ 15)))
      (COND
       ((|HasCategory| |#1| '(|GcdDomain|))
        (QSETREFV $ 50 (CONS (|dispatchFunction| |EFSTRUC;tanQ;F2F;10|) $)))
       ('T
        (QSETREFV $ 50 (CONS (|dispatchFunction| |EFSTRUC;tanQ;F2F;11|) $))))
      (QSETREFV $ 77 '|%alg|)
      (COND
       ((|HasCategory| |#1| '(|GcdDomain|))
        (PROGN
         (QSETREFV $ 159
                   (CONS (|dispatchFunction| |EFSTRUC;irootDep;KU;42|) $))))
       ('T
        (QSETREFV $ 159
                  (CONS (|dispatchFunction| |EFSTRUC;irootDep;KU;43|) $))))
      (COND
       ((|HasCategory| |#2| '(|CombinatorialOpsCategory|))
        (PROGN
         (QSETREFV $ 163
                   (CONS (|dispatchFunction| |EFSTRUC;normalize;2F;46|) $))
         (QSETREFV $ 165
                   (CONS (|dispatchFunction| |EFSTRUC;normalize;FSF;47|) $))))
       ('T
        (PROGN
         (QSETREFV $ 163
                   (CONS (|dispatchFunction| |EFSTRUC;normalize;2F;49|) $))
         (QSETREFV $ 165
                   (CONS (|dispatchFunction| |EFSTRUC;normalize;FSF;50|) $)))))
      $)))) 

(MAKEPROP '|ElementaryFunctionStructurePackage| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|) 'HTRIG
              'TRIG '|comb?| (0 . |pi|) (|Integer|) (4 . |coerce|) (9 . -)
              (14 . /) '|mpiover2| (|SparseMultivariatePolynomial| 6 93)
              (20 . |numer|) (25 . |denom|) (|Symbol|)
              |EFSTRUC;realElementary;FSF;2| (|List| 20) (30 . |variables|)
              |EFSTRUC;realElementary;2F;3| (35 . |Zero|) (39 . |Zero|)
              (|Boolean|) (43 . =) (|Kernel| 7) (49 . |is?|) (|List| 7)
              (55 . |argument|) (60 . |first|) (65 . |false|) (|Mapping| 27 29)
              (|List| 29) (69 . |select|) (|Fraction| 12) (75 . |denom|)
              (|SparseUnivariatePolynomial| 7) (|PositiveInteger|)
              (|TangentExpansions| 7) (80 . |tanAn|)
              (|SparseUnivariatePolynomial| $) (86 . |zeroOf|)
              (|AlgebraicManipulations| 6 7) (91 . |rootSimp|) (96 . |numer|)
              (101 . |tanNa|) (107 . |tanQ|) (|Union| 12 '#1="failed")
              (113 . |retractIfCan|) (118 . |tanSum|) (123 . |inv|)
              (128 . |tan|) (133 . |empty?|) (|List| 93) (138 . |tower|)
              (143 . |select!|) (149 . |One|) (153 . |One|)
              (|NonNegativeInteger|) (157 . |first|) (163 . |concat|)
              (169 . |concat|) (|Vector| 7) (175 . |new|)
              (181 . |differentiate|) (187 . |setelt|) (194 . |elt|)
              (|Matrix| 7) (200 . |new|) (207 . |setelt|)
              (|Union| 118 '"failed") (|IntegerLinearDependence| 7)
              (215 . |solveLinearlyOverQ|) 'ALGOP (|BasicOperator|)
              (221 . |operator|) (226 . |has?|) (232 . |elt|) (|Union| 38 '#1#)
              (238 . |retractIfCan|) (243 . |One|) (247 . |kernels|) (252 . =)
              (258 . -) (|List| 38) (|MultiplicativeDependence|)
              (263 . |logDependenceQ|) (269 . |new|) (273 . |kernel|)
              (|Kernel| $) (278 . |coerce|) (|List| $) (283 . |eval|)
              (290 . |log|) (295 . |atan|) (300 . =) (306 . |coerce|)
              (|Mapping| 7 29) (|Mapping| 7 6)
              (|SparseMultivariatePolynomial| 6 29)
              (|PolynomialCategoryLifting| (|IndexedExponents| 29) 29 6 103 7)
              (311 . |map|) (318 . |member?|) (324 . |zero?|) (329 . |last|)
              (334 . *) (340 . |exp|) (345 . ^) (351 . -) (357 . |sqrt|)
              (362 . +) (368 . *) (374 . |One|) (378 . |elt|) (|Vector| 38)
              (384 . |minIndex|) (389 . |elt|) (395 . |retract|)
              (400 . |nthRoot|) (406 . |second|) (411 . |retract|)
              (416 . |coerce|) (421 . /) (427 . ^) (433 . |qelt|) (439 . *)
              (445 . |retractIfCan|) (450 . |height|) (|Union| $ '"failed")
              (455 . |recip|) (460 . |inv|) (465 . *) (471 . *) (477 . |Zero|)
              (481 . |every?|) (|Record| (|:| |num| 142) (|:| |den| 12))
              (|InnerCommonDenominator| 12 38 142 118)
              (487 . |splitDenominator|) (|Vector| 12) (492 . |qelt|) (498 . ^)
              (504 . |setDifference|) (510 . |empty?|)
              (|Record| (|:| |func| 7) (|:| |kers| 36) (|:| |vals| 31))
              |EFSTRUC;rischNormalize;FSR;37| |EFSTRUC;rootNormalize;FKF;38|
              (515 . |construct|) (520 . |solveLinearlyOverQ|)
              (|Union| 7 '"failed") |EFSTRUC;validExponential;LFSU;41|
              (|Record| (|:| |exponent| 62) (|:| |coef| 7) (|:| |radicand| 7))
              (|PolynomialRoots| (|IndexedExponents| 29) 29 6 103 7)
              (526 . |froot|) (532 . |kernel|)
              (|Union| (|:| |vec| 118) (|:| |func| 7) (|:| |fail| 27))
              (538 . |irootDep|) (543 . |lcm|) (549 . |new|)
              (555 . |factorials|) (560 . |normalize|) (565 . |factorials|)
              (571 . |normalize|) (577 . |factorial|))
           '#(|validExponential| 582 |tanQ| 589 |rootNormalize| 595
              |rischNormalize| 601 |realElementary| 607 |normalize| 618
              |irootDep| 629)
           'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 166
                                                 '(0 7 0 11 1 7 0 12 13 1 7 0 0
                                                   14 2 7 0 0 0 15 1 7 17 0 18
                                                   1 7 17 0 19 1 7 22 0 23 0 6
                                                   0 25 0 7 0 26 2 7 27 0 0 28
                                                   2 29 27 0 20 30 1 29 31 0 32
                                                   1 31 7 0 33 0 27 0 34 2 36 0
                                                   35 0 37 1 38 12 0 39 2 42 40
                                                   7 41 43 1 7 0 44 45 1 46 7 7
                                                   47 1 38 12 0 48 2 42 7 7 12
                                                   49 2 0 7 38 7 50 1 7 51 0 52
                                                   1 42 7 31 53 1 7 0 0 54 1 7
                                                   0 0 55 1 22 27 0 56 1 7 57 0
                                                   58 2 36 0 35 0 59 0 6 0 60 0
                                                   7 0 61 2 36 0 0 62 63 2 36 0
                                                   0 0 64 2 31 0 0 0 65 2 66 0
                                                   62 7 67 2 7 0 0 20 68 3 66 7
                                                   0 12 7 69 2 66 7 0 12 70 3
                                                   71 0 62 62 7 72 4 71 7 0 12
                                                   12 7 73 2 75 74 71 66 76 1
                                                   29 78 0 79 2 78 27 0 20 80 2
                                                   31 7 0 12 81 1 7 82 0 83 0
                                                   38 0 84 1 7 57 0 85 2 38 27
                                                   0 0 86 1 38 0 0 87 2 89 74
                                                   88 38 90 0 20 0 91 1 29 0 20
                                                   92 1 7 0 93 94 3 7 0 0 57 95
                                                   96 1 7 0 0 97 1 7 0 0 98 2
                                                   29 27 0 0 99 1 7 0 6 100 3
                                                   104 7 101 102 103 105 2 22
                                                   27 20 0 106 1 7 27 0 107 1
                                                   31 7 0 108 2 7 0 0 0 109 1 7
                                                   0 0 110 2 7 0 0 41 111 2 7 0
                                                   0 0 112 1 7 0 0 113 2 7 0 0
                                                   0 114 2 7 0 41 0 115 0 103 0
                                                   116 2 7 0 78 95 117 1 118 12
                                                   0 119 2 118 38 0 12 120 1 38
                                                   12 0 121 2 7 0 0 12 122 1 31
                                                   7 0 123 1 7 12 0 124 1 38 0
                                                   12 125 2 38 0 0 0 126 2 7 0
                                                   0 38 127 2 118 38 0 12 128 2
                                                   7 0 38 0 129 1 38 51 0 130 1
                                                   29 62 0 131 1 38 132 0 133 1
                                                   38 0 0 134 2 7 0 12 0 135 2
                                                   38 0 0 12 136 0 38 0 137 2
                                                   36 27 35 0 138 1 140 139 118
                                                   141 2 142 12 0 12 143 2 7 0
                                                   0 12 144 2 22 0 0 0 145 1
                                                   118 27 0 146 1 66 0 31 150 2
                                                   75 74 66 7 151 2 155 154 7
                                                   62 156 2 7 0 78 95 157 1 0
                                                   158 29 159 2 12 0 0 0 160 2
                                                   118 0 62 38 161 1 7 0 0 162
                                                   1 0 7 7 163 2 7 0 0 20 164 2
                                                   0 7 7 20 165 1 12 0 0 166 3
                                                   0 152 36 7 20 153 2 0 7 38 7
                                                   50 2 0 7 7 29 149 2 0 147 7
                                                   20 148 1 0 7 7 24 2 0 7 7 20
                                                   21 2 0 7 7 20 165 1 0 7 7
                                                   163 1 0 158 29 159)))))
           '|lookupComplete|)) 
