
(/VERSIONCHECK 2) 

(DEFUN |INTEF;prim?| (|k| |x| $)
  (COND ((SPADCALL |k| '|log| (QREFELT $ 13)) 'T)
        ('T
         (SPADCALL (SPADCALL |k| (QREFELT $ 15)) (QREFELT $ 8)
                   (QREFELT $ 16))))) 

(DEFUN |INTEF;tanint| (|f| |x| |k| $)
  (PROG (|r1| |eta'| |eta|)
    (RETURN
     (SEQ
      (LETT |eta'|
            (SPADCALL
             (LETT |eta| (|SPADfirst| (SPADCALL |k| (QREFELT $ 18)))
                   . #1=(|INTEF;tanint|))
             |x| (QREFELT $ 19))
            . #1#)
      (LETT |r1|
            (SPADCALL (SPADCALL |f| |k| (QREFELT $ 22))
                      (CONS #'|INTEF;tanint!1| (VECTOR |eta'| |x| $))
                      (CONS #'|INTEF;tanint!4| (VECTOR |x| $ |eta|))
                      (QREFELT $ 50))
            . #1#)
      (EXIT
       (SPADCALL
        (SPADCALL (CONS #'|INTEF;tanint!5| (VECTOR $ |k|)) (QCAR |r1|)
                  (QREFELT $ 57))
        (SPADCALL (QCDR |r1|) |x| (QREFELT $ 58)) (QREFELT $ 59))))))) 

(DEFUN |INTEF;tanint!5| (|x1| $$)
  (PROG (|k| $)
    (LETT |k| (QREFELT $$ 1) . #1=(|INTEF;tanint|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |x1| |k| (QREFELT $ 52)))))) 

(DEFUN |INTEF;tanint!4| (|x6| |x2| |x3| $$)
  (PROG (|eta| $ |x|)
    (LETT |eta| (QREFELT $$ 2) . #1=(|INTEF;tanint|))
    (LETT $ (QREFELT $$ 1) . #1#)
    (LETT |x| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG ()
        (RETURN
         (SPADCALL |x6| (SPADCALL 2 |eta| (QREFELT $ 31)) |x2| |x3| |x|
                   (CONS #'|INTEF;tanint!2| (VECTOR $ |x|))
                   (CONS #'|INTEF;tanint!3| (VECTOR $ |x|))
                   (QREFELT $ 44)))))))) 

(DEFUN |INTEF;tanint!3| (|x4| |x5| $$)
  (PROG (|x| $)
    (LETT |x| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN (PROGN (SPADCALL |x4| |x| |x5| (QREFELT $ 38)))))) 

(DEFUN |INTEF;tanint!2| (|x4| |x5| $$)
  (PROG (|x| $)
    (LETT |x| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN (PROGN (SPADCALL |x4| |x| |x5| (QREFELT $ 35)))))) 

(DEFUN |INTEF;tanint!1| (|x1| $$)
  (PROG ($ |x| |eta'|)
    (LETT $ (QREFELT $$ 2) . #1=(|INTEF;tanint|))
    (LETT |x| (QREFELT $$ 1) . #1#)
    (LETT |eta'| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG ()
        (RETURN
         (SPADCALL |x1| (CONS #'|INTEF;tanint!0| (VECTOR $ |x|))
                   (SPADCALL (SPADCALL |eta'| 2 (QREFELT $ 25))
                             (SPADCALL |eta'| (QREFELT $ 26)) (QREFELT $ 27))
                   (QREFELT $ 29)))))))) 

(DEFUN |INTEF;tanint!0| (|x2| $$)
  (PROG (|x| $)
    (LETT |x| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN (PROGN (SPADCALL |x2| |x| (QREFELT $ 19)))))) 

(DEFUN |INTEF;unknownint| (|f| |x| $)
  (PROG (#1=#:G1943 |c| |da| |a| |u| |z| |zz| |ka| |l| |k| |r|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (SEQ (LETT |r| (SPADCALL |f| (QREFELT $ 61)) . #2=(|INTEF;unknownint|))
             (EXIT
              (COND
               ((QEQCAR |r| 0)
                (COND
                 ((SPADCALL (LETT |k| (QCDR |r|) . #2#) '|%diff|
                            (QREFELT $ 13))
                  (SEQ
                   (LETT |ka|
                         (SPADCALL
                          (LETT |a|
                                (SPADCALL
                                 (LETT |l| (SPADCALL |k| (QREFELT $ 18)) . #2#)
                                 (QREFELT $ 62))
                                . #2#)
                          (QREFELT $ 61))
                         . #2#)
                   (EXIT
                    (COND
                     ((QEQCAR |ka| 0)
                      (SEQ
                       (LETT |z|
                             (SPADCALL
                              (LETT |zz| (SPADCALL |l| (QREFELT $ 63)) . #2#)
                              (QREFELT $ 65))
                             . #2#)
                       (EXIT
                        (COND
                         ((QEQCAR |z| 0)
                          (COND
                           ((EQUAL (QCDR |z|) |x|)
                            (SEQ
                             (LETT |u|
                                   (|INTEF;droponex| (|SPADfirst| |l|) |a|
                                    (QCDR |ka|) |zz| $)
                                   . #2#)
                             (EXIT
                              (COND
                               ((QEQCAR |u| 0)
                                (PROGN
                                 (LETT #1# (SPADCALL (QCDR |u|) (QREFELT $ 66))
                                       . #2#)
                                 (GO #1#))))))))))))))))))))))
        (SEQ
         (LETT |da|
               (SPADCALL
                (LETT |a|
                      (SPADCALL (SPADCALL |f| (QREFELT $ 68)) (QREFELT $ 69))
                      . #2#)
                |x| (QREFELT $ 19))
               . #2#)
         (EXIT
          (COND
           ((NULL (SPADCALL |da| (|spadConstant| $ 71) (QREFELT $ 72)))
            (COND
             ((SPADCALL
               (SPADCALL
                (LETT |c|
                      (SPADCALL
                       (SPADCALL (SPADCALL |f| (QREFELT $ 73)) (QREFELT $ 69))
                       |da| (QREFELT $ 74))
                      . #2#)
                |x| (QREFELT $ 19))
               (QREFELT $ 75))
              (PROGN
               (LETT #1#
                     (SPADCALL
                      (SPADCALL |c| (SPADCALL |a| (QREFELT $ 76))
                                (QREFELT $ 77))
                      (QREFELT $ 66))
                     . #2#)
               (GO #1#))))))))
        (EXIT
         (SPADCALL (|spadConstant| $ 71) NIL
                   (LIST (CONS |f| (SPADCALL |x| (QREFELT $ 78))))
                   (QREFELT $ 83)))))
      #1# (EXIT #1#))))) 

(DEFUN |INTEF;droponex| (|f| |a| |ka| |x| $)
  (PROG (|u| |z| |arg| |op| |k| |r|)
    (RETURN
     (SEQ (LETT |r| (SPADCALL |f| (QREFELT $ 61)) . #1=(|INTEF;droponex|))
          (EXIT
           (COND ((QEQCAR |r| 1) (CONS 1 "failed"))
                 ((SPADCALL
                   (LETT |op|
                         (SPADCALL (LETT |k| (QCDR |r|) . #1#) (QREFELT $ 15))
                         . #1#)
                   '|%diff| (QREFELT $ 84))
                  (SEQ
                   (LETT |z|
                         (SPADCALL
                          (LETT |arg| (SPADCALL |k| (QREFELT $ 18)) . #1#)
                          (QREFELT $ 63))
                         . #1#)
                   (EXIT
                    (COND
                     ((SPADCALL |z| |a| (QREFELT $ 72))
                      (CONS 0
                            (SPADCALL |op|
                                      (LIST (|SPADfirst| |arg|)
                                            (SPADCALL |arg| (QREFELT $ 62))
                                            |x|)
                                      (QREFELT $ 86))))
                     (#2='T
                      (SEQ
                       (LETT |u|
                             (|INTEF;droponex| (|SPADfirst| |arg|) |a| |ka| |x|
                              $)
                             . #1#)
                       (EXIT
                        (COND ((QEQCAR |u| 1) (CONS 1 "failed"))
                              (#2#
                               (CONS 0
                                     (SPADCALL |op|
                                               (LIST (QCDR |u|)
                                                     (SPADCALL |arg|
                                                               (QREFELT $ 62))
                                                     |z|)
                                               (QREFELT $ 86))))))))))))
                 (#2#
                  (CONS 0
                        (SPADCALL |f| (LIST |ka|) (LIST |x|)
                                  (QREFELT $ 88)))))))))) 

(DEFUN |INTEF;unklimint| (|f| |x| |lu| $)
  (PROG (#1=#:G1962 #2=#:G1964 |c| #3=#:G1965 |u|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (SEQ
         (EXIT
          (SEQ (LETT |u| NIL . #4=(|INTEF;unklimint|)) (LETT #3# |lu| . #4#)
               G190
               (COND
                ((OR (ATOM #3#) (PROGN (LETT |u| (CAR #3#) . #4#) NIL))
                 (GO G191)))
               (SEQ
                (EXIT
                 (COND
                  ((COND
                    ((SPADCALL |u| (|spadConstant| $ 71) (QREFELT $ 72)) 'NIL)
                    ('T 'T))
                   (COND
                    ((SPADCALL
                      (SPADCALL
                       (LETT |c|
                             (SPADCALL (SPADCALL |f| |u| (QREFELT $ 77))
                                       (SPADCALL |u| |x| (QREFELT $ 19))
                                       (QREFELT $ 74))
                             . #4#)
                       |x| (QREFELT $ 19))
                      (QREFELT $ 75))
                     (PROGN
                      (LETT #1#
                            (PROGN
                             (LETT #2#
                                   (CONS 0
                                         (CONS (|spadConstant| $ 71)
                                               (LIST (CONS |c| |u|))))
                                   . #4#)
                             (GO #2#))
                            . #4#)
                      (GO #1#))))))))
               (LETT #3# (CDR #3#) . #4#) (GO G190) G191 (EXIT NIL)))
         #1# (EXIT #1#))
        (EXIT (CONS 1 "failed"))))
      #2# (EXIT #2#))))) 

(DEFUN |INTEF;unkextint| (|f| |x| |g| $)
  (PROG (|c| |g'|)
    (RETURN
     (COND
      ((OR
        (SPADCALL
         (LETT |g'| (SPADCALL |g| |x| (QREFELT $ 19)) . #1=(|INTEF;unkextint|))
         (QREFELT $ 75))
        (NULL
         (SPADCALL
          (SPADCALL (LETT |c| (SPADCALL |f| |g'| (QREFELT $ 74)) . #1#) |x|
                    (QREFELT $ 19))
          (QREFELT $ 75))))
       (CONS 1 "failed"))
      ('T (CONS 0 (CONS (|spadConstant| $ 71) |c|))))))) 

(DEFUN |INTEF;isx?| (|f| |x| $)
  (PROG (|r| |k|)
    (RETURN
     (SEQ (LETT |k| (SPADCALL |f| (QREFELT $ 61)) . #1=(|INTEF;isx?|))
          (EXIT
           (COND ((QEQCAR |k| 1) 'NIL)
                 (#2='T
                  (SEQ (LETT |r| (SPADCALL (QCDR |k|) (QREFELT $ 89)) . #1#)
                       (EXIT
                        (COND ((QEQCAR |r| 1) 'NIL)
                              (#2# (EQUAL (QCDR |r|) |x|)))))))))))) 

(DEFUN |INTEF;alglfint| (|f| |k| |l| |x| $)
  (PROG (|y| |rec| |kx| |xf|)
    (RETURN
     (SEQ (LETT |xf| (SPADCALL |x| (QREFELT $ 78)) . #1=(|INTEF;alglfint|))
          (EXIT
           (COND
            ((QEQCAR
              (SPADCALL (LETT |kx| (SPADCALL |k| |l| |x| (QREFELT $ 92)) . #1#)
                        (QREFELT $ 89))
              0)
             (|INTEF;addx| (SPADCALL |f| |kx| |k| (QREFELT $ 94)) |xf| $))
            ((SPADCALL |kx| '|exp| (QREFELT $ 13))
             (|INTEF;addx| (|INTEF;algexpint| |f| |kx| |k| |x| $) |xf| $))
            ((|INTEF;prim?| |kx| |x| $)
             (|INTEF;addx| (|INTEF;algprimint| |f| |kx| |k| |x| $) |xf| $))
            ((SPADCALL (SPADCALL |kx| (QREFELT $ 15)) (QREFELT $ 9)
                       (QREFELT $ 16))
             (SEQ
              (LETT |rec|
                    (SPADCALL (SPADCALL |kx| (QREFELT $ 95))
                              (SPADCALL |k| (QREFELT $ 95)) (QREFELT $ 98))
                    . #1#)
              (LETT |y| (SPADCALL (QVELT |rec| 3) (QREFELT $ 100)) . #1#)
              (EXIT
               (SPADCALL (CONS #'|INTEF;alglfint!0| (VECTOR |rec| $ |y|))
                         (SPADCALL
                          (SPADCALL |f| (LIST |kx| |k|)
                                    (LIST
                                     (SPADCALL (QVELT |rec| 1) |y|
                                               (QREFELT $ 103))
                                     (SPADCALL (QVELT |rec| 2) |y|
                                               (QREFELT $ 103)))
                                    (QREFELT $ 88))
                          |x| (QREFELT $ 58))
                         (QREFELT $ 105)))))
            ('T (|INTEF;unknownint| |f| |x| $)))))))) 

(DEFUN |INTEF;alglfint!0| (|x1| $$)
  (PROG (|y| $ |rec|)
    (LETT |y| (QREFELT $$ 2) . #1=(|INTEF;alglfint|))
    (LETT $ (QREFELT $$ 1) . #1#)
    (LETT |rec| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (SPADCALL |x1| (SPADCALL |y| (QREFELT $ 101)) (QVELT |rec| 0)
                (QREFELT $ 102)))))) 

(DEFUN |INTEF;alglfextint| (|f| |k| |l| |x| |g| $)
  (PROG (|r| |ky| |u| |lrhs| |y| |rec| |kx|)
    (RETURN
     (SEQ
      (COND
       ((QEQCAR
         (SPADCALL
          (LETT |kx| (SPADCALL |k| |l| |x| (QREFELT $ 92))
                . #1=(|INTEF;alglfextint|))
          (QREFELT $ 89))
         0)
        (SPADCALL |f| |kx| |k| |g| (QREFELT $ 106)))
       ((SPADCALL (SPADCALL |kx| (QREFELT $ 15)) (QREFELT $ 9) (QREFELT $ 16))
        (SEQ
         (LETT |rec|
               (SPADCALL (SPADCALL |kx| (QREFELT $ 95))
                         (SPADCALL |k| (QREFELT $ 95)) (QREFELT $ 98))
               . #1#)
         (LETT |y| (SPADCALL (QVELT |rec| 3) (QREFELT $ 100)) . #1#)
         (LETT |lrhs|
               (LIST (SPADCALL (QVELT |rec| 1) |y| (QREFELT $ 103))
                     (SPADCALL (QVELT |rec| 2) |y| (QREFELT $ 103)))
               . #1#)
         (LETT |u|
               (SPADCALL (SPADCALL |f| (LIST |kx| |k|) |lrhs| (QREFELT $ 88))
                         |x|
                         (SPADCALL |g| (LIST |kx| |k|) |lrhs| (QREFELT $ 88))
                         (QREFELT $ 38))
               . #1#)
         (EXIT
          (COND ((QEQCAR |u| 1) (CONS 1 "failed"))
                ('T
                 (SEQ (LETT |ky| (SPADCALL |y| (QREFELT $ 101)) . #1#)
                      (LETT |r| (QCDR |u|) . #1#)
                      (EXIT
                       (CONS 0
                             (CONS
                              (SPADCALL (QCAR |r|) |ky| (QVELT |rec| 0)
                                        (QREFELT $ 102))
                              (SPADCALL (QCDR |r|) |ky| (QVELT |rec| 0)
                                        (QREFELT $ 102)))))))))))
       ((OR (SPADCALL |kx| '|exp| (QREFELT $ 13))
            (SPADCALL |kx| '|log| (QREFELT $ 13)))
        (|error| "failed - cannot handle that integrand"))
       ('T (|INTEF;unkextint| |f| |x| |g| $))))))) 

(DEFUN |INTEF;alglflimint| (|f| |k| |l| |x| |lu| $)
  (PROG (#1=#:G2033 |rc| #2=#:G2032 |r| |ky| |u| |lrhs| |y| |rec| |kx|)
    (RETURN
     (SEQ
      (COND
       ((QEQCAR
         (SPADCALL
          (LETT |kx| (SPADCALL |k| |l| |x| (QREFELT $ 92))
                . #3=(|INTEF;alglflimint|))
          (QREFELT $ 89))
         0)
        (SPADCALL |f| |kx| |k| |lu| (QREFELT $ 107)))
       ((SPADCALL (SPADCALL |kx| (QREFELT $ 15)) (QREFELT $ 9) (QREFELT $ 16))
        (SEQ
         (LETT |rec|
               (SPADCALL (SPADCALL |kx| (QREFELT $ 95))
                         (SPADCALL |k| (QREFELT $ 95)) (QREFELT $ 98))
               . #3#)
         (LETT |y| (SPADCALL (QVELT |rec| 3) (QREFELT $ 100)) . #3#)
         (LETT |lrhs|
               (LIST (SPADCALL (QVELT |rec| 1) |y| (QREFELT $ 103))
                     (SPADCALL (QVELT |rec| 2) |y| (QREFELT $ 103)))
               . #3#)
         (LETT |u|
               (SPADCALL (SPADCALL |f| (LIST |kx| |k|) |lrhs| (QREFELT $ 88))
                         |x|
                         (SPADCALL
                          (CONS #'|INTEF;alglflimint!0|
                                (VECTOR $ |lrhs| |k| |kx|))
                          |lu| (QREFELT $ 108))
                         (QREFELT $ 35))
               . #3#)
         (EXIT
          (COND ((QEQCAR |u| 1) (CONS 1 "failed"))
                ('T
                 (SEQ (LETT |ky| (SPADCALL |y| (QREFELT $ 101)) . #3#)
                      (LETT |r| (QCDR |u|) . #3#)
                      (EXIT
                       (CONS 0
                             (CONS
                              (SPADCALL (QCAR |r|) |ky| (QVELT |rec| 0)
                                        (QREFELT $ 102))
                              (PROGN
                               (LETT #2# NIL . #3#)
                               (SEQ (LETT |rc| NIL . #3#)
                                    (LETT #1# (QCDR |r|) . #3#) G190
                                    (COND
                                     ((OR (ATOM #1#)
                                          (PROGN
                                           (LETT |rc| (CAR #1#) . #3#)
                                           NIL))
                                      (GO G191)))
                                    (SEQ
                                     (EXIT
                                      (LETT #2#
                                            (CONS
                                             (CONS
                                              (SPADCALL (QCAR |rc|) |ky|
                                                        (QVELT |rec| 0)
                                                        (QREFELT $ 102))
                                              (SPADCALL (QCDR |rc|) |ky|
                                                        (QVELT |rec| 0)
                                                        (QREFELT $ 102)))
                                             #2#)
                                            . #3#)))
                                    (LETT #1# (CDR #1#) . #3#) (GO G190) G191
                                    (EXIT (NREVERSE0 #2#)))))))))))))
       ((OR (SPADCALL |kx| '|exp| (QREFELT $ 13))
            (SPADCALL |kx| '|log| (QREFELT $ 13)))
        (|error| "failed - cannot handle that integrand"))
       ('T (|INTEF;unklimint| |f| |x| |lu| $))))))) 

(DEFUN |INTEF;alglflimint!0| (|x1| $$)
  (PROG (|kx| |k| |lrhs| $)
    (LETT |kx| (QREFELT $$ 3) . #1=(|INTEF;alglflimint|))
    (LETT |k| (QREFELT $$ 2) . #1#)
    (LETT |lrhs| (QREFELT $$ 1) . #1#)
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |x1| (LIST |kx| |k|) |lrhs| (QREFELT $ 88)))))) 

(DEFUN |INTEF;lfintegrate;FSIr;11| (|f| |x| $)
  (SPADCALL |f| |x| (CONS (|function| |INTEF;lfintegrate0|) $) (ELT $ 113)
            (QREFELT $ 116))) 

(DEFUN |INTEF;lfintegrate;FSIr;12| (|f| |x| $) (|INTEF;lfintegrate0| |f| |x| $)) 

(DEFUN |INTEF;lfintegrate;FSIr;13| (|f| |x| $) (|INTEF;lfintegrate0| |f| |x| $)) 

(DEFUN |INTEF;lfintegrate;FSIr;14| (|f| |x| $) (|INTEF;lfintegrate0| |f| |x| $)) 

(DEFUN |INTEF;lfintegrate0| (|f| |x| $)
  (PROG (|k| |l| |xf|)
    (RETURN
     (SEQ
      (COND ((SPADCALL |f| (QREFELT $ 75)) (|spadConstant| $ 117))
            (#1='T
             (SEQ
              (LETT |xf| (SPADCALL |x| (QREFELT $ 78))
                    . #2=(|INTEF;lfintegrate0|))
              (EXIT
               (COND
                ((NULL
                  (LETT |l|
                        (SPADCALL (SPADCALL |f| (QREFELT $ 118)) |x|
                                  (QREFELT $ 119))
                        . #2#))
                 (SPADCALL (SPADCALL |xf| |f| (QREFELT $ 77)) (QREFELT $ 66)))
                ((QEQCAR
                  (SPADCALL (LETT |k| (SPADCALL |l| (QREFELT $ 120)) . #2#)
                            (QREFELT $ 89))
                  0)
                 (SPADCALL (CONS #'|INTEF;lfintegrate0!0| (VECTOR $ |k|))
                           (SPADCALL (SPADCALL |f| |k| (QREFELT $ 22))
                                     (QREFELT $ 122))
                           (QREFELT $ 57)))
                ((SPADCALL |k| '|tan| (QREFELT $ 13))
                 (|INTEF;addx| (|INTEF;tanint| |f| |x| |k| $) |xf| $))
                ((SPADCALL |k| '|exp| (QREFELT $ 13))
                 (|INTEF;addx| (|INTEF;expint| |f| |x| |k| $) |xf| $))
                ((|INTEF;prim?| |k| |x| $)
                 (|INTEF;addx| (|INTEF;primint| |f| |x| |k| $) |xf| $))
                ((SPADCALL (SPADCALL |k| (QREFELT $ 15)) (QREFELT $ 9)
                           (QREFELT $ 16))
                 (|INTEF;alglfint| |f| |k| |l| |x| $))
                (#1# (|INTEF;unknownint| |f| |x| $))))))))))) 

(DEFUN |INTEF;lfintegrate0!0| (|x1| $$)
  (PROG (|k| $)
    (LETT |k| (QREFELT $$ 1) . #1=(|INTEF;lfintegrate0|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |x1| |k| (QREFELT $ 52)))))) 

(DEFUN |INTEF;addx| (|i| |x| $)
  (PROG (#1=#:G2073 |ne| #2=#:G2072)
    (RETURN
     (SEQ
      (COND ((SPADCALL |i| (QREFELT $ 123)) |i|)
            ('T
             (SPADCALL (SPADCALL |i| (QREFELT $ 124))
                       (SPADCALL |i| (QREFELT $ 125))
                       (PROGN
                        (LETT #2# NIL . #3=(|INTEF;addx|))
                        (SEQ (LETT |ne| NIL . #3#)
                             (LETT #1# (SPADCALL |i| (QREFELT $ 126)) . #3#)
                             G190
                             (COND
                              ((OR (ATOM #1#)
                                   (PROGN (LETT |ne| (CAR #1#) . #3#) NIL))
                               (GO G191)))
                             (SEQ
                              (EXIT
                               (LETT #2# (CONS (CONS (QCAR |ne|) |x|) #2#)
                                     . #3#)))
                             (LETT #1# (CDR #1#) . #3#) (GO G190) G191
                             (EXIT (NREVERSE0 #2#))))
                       (QREFELT $ 83)))))))) 

(DEFUN |INTEF;tryChangeVar| (|f| |t| |x| $)
  (PROG (|g| |z|)
    (RETURN
     (SEQ (LETT |z| (SPADCALL (QREFELT $ 127)) . #1=(|INTEF;tryChangeVar|))
          (LETT |g|
                (SPADCALL
                 (SPADCALL |f|
                           (SPADCALL (SPADCALL |t| (QREFELT $ 95)) |x|
                                     (QREFELT $ 19))
                           (QREFELT $ 74))
                 (LIST |t|) (LIST (SPADCALL |z| (QREFELT $ 78)))
                 (QREFELT $ 128))
                . #1#)
          (EXIT
           (COND
            ((SPADCALL |g| |x| (QREFELT $ 129))
             (CONS 0
                   (SPADCALL (CONS #'|INTEF;tryChangeVar!0| (VECTOR |t| $ |z|))
                             (SPADCALL |g| |z| (QREFELT $ 58))
                             (QREFELT $ 105))))
            ('T (CONS 1 "failed")))))))) 

(DEFUN |INTEF;tryChangeVar!0| (|x1| $$)
  (PROG (|z| $ |t|)
    (LETT |z| (QREFELT $$ 2) . #1=(|INTEF;tryChangeVar|))
    (LETT $ (QREFELT $$ 1) . #1#)
    (LETT |t| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (SPADCALL |x1| (SPADCALL |z| (QREFELT $ 130))
                (SPADCALL |t| (QREFELT $ 95)) (QREFELT $ 102)))))) 

(DEFUN |INTEF;algexpint| (|f| |t| |y| |x| $)
  (PROG (|u|)
    (RETURN
     (SEQ (LETT |u| (|INTEF;tryChangeVar| |f| |t| |x| $) |INTEF;algexpint|)
          (EXIT
           (COND ((QEQCAR |u| 0) (QCDR |u|))
                 ('T
                  (SPADCALL |f| |t| |y|
                            (CONS #'|INTEF;algexpint!1| (VECTOR |t| |x| $))
                            (QREFELT $ 134))))))))) 

(DEFUN |INTEF;algexpint!1| (|x1| $$)
  (PROG ($ |x| |t|)
    (LETT $ (QREFELT $$ 2) . #1=(|INTEF;algexpint|))
    (LETT |x| (QREFELT $$ 1) . #1#)
    (LETT |t| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG ()
        (RETURN
         (SPADCALL |x1| (CONS #'|INTEF;algexpint!0| (VECTOR $ |x|))
                   (SPADCALL
                    (SPADCALL
                     (SPADCALL (SPADCALL |t| (QREFELT $ 18)) (QREFELT $ 131))
                     |x| (QREFELT $ 19))
                    (|spadConstant| $ 132) (QREFELT $ 25))
                   (QREFELT $ 29)))))))) 

(DEFUN |INTEF;algexpint!0| (|x2| $$)
  (PROG (|x| $)
    (LETT |x| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN (PROGN (SPADCALL |x2| |x| (QREFELT $ 19)))))) 

(DEFUN |INTEF;algprimint| (|f| |t| |y| |x| $)
  (PROG (|u|)
    (RETURN
     (SEQ (LETT |u| (|INTEF;tryChangeVar| |f| |t| |x| $) |INTEF;algprimint|)
          (EXIT
           (COND ((QEQCAR |u| 0) (QCDR |u|))
                 ('T
                  (SPADCALL |f| |t| |y|
                            (CONS #'|INTEF;algprimint!1| (VECTOR |t| |x| $))
                            (QREFELT $ 134))))))))) 

(DEFUN |INTEF;algprimint!1| (|x1| $$)
  (PROG ($ |x| |t|)
    (LETT $ (QREFELT $$ 2) . #1=(|INTEF;algprimint|))
    (LETT |x| (QREFELT $$ 1) . #1#)
    (LETT |t| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG ()
        (RETURN
         (SPADCALL |x1| (CONS #'|INTEF;algprimint!0| (VECTOR $ |x|))
                   (SPADCALL
                    (SPADCALL (SPADCALL |t| (QREFELT $ 95)) |x| (QREFELT $ 19))
                    (QREFELT $ 26))
                   (QREFELT $ 29)))))))) 

(DEFUN |INTEF;algprimint!0| (|x2| $$)
  (PROG (|x| $)
    (LETT |x| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN (PROGN (SPADCALL |x2| |x| (QREFELT $ 19)))))) 

(DEFUN |INTEF;lfextendedint;FSFU;20| (|f| |x| |g| $)
  (PROG (|g1| |l1| |k| |l|)
    (RETURN
     (SEQ
      (COND
       ((NULL
         (LETT |l|
               (SPADCALL (SPADCALL |f| (QREFELT $ 118)) |x| (QREFELT $ 119))
               . #1=(|INTEF;lfextendedint;FSFU;20|)))
        (CONS 0
              (CONS (SPADCALL (SPADCALL |x| (QREFELT $ 78)) |f| (QREFELT $ 77))
                    (|spadConstant| $ 71))))
       ((QEQCAR
         (SPADCALL (LETT |k| (SPADCALL |l| (QREFELT $ 120)) . #1#)
                   (QREFELT $ 89))
         0)
        (SEQ
         (LETT |g1|
               (COND
                ((OR
                  (NULL
                   (LETT |l1|
                         (SPADCALL (SPADCALL |g| (QREFELT $ 118)) |x|
                                   (QREFELT $ 119))
                         . #1#))
                  (NULL
                   (SPADCALL (SPADCALL |l1| (QREFELT $ 120)) |k|
                             (QREFELT $ 135))))
                 (|spadConstant| $ 71))
                ('T |g|))
               . #1#)
         (EXIT
          (SPADCALL (CONS #'|INTEF;lfextendedint;FSFU;20!0| (VECTOR $ |k|))
                    (SPADCALL (SPADCALL |f| |k| (QREFELT $ 22))
                              (SPADCALL |g1| |k| (QREFELT $ 22))
                              (QREFELT $ 138))
                    (QREFELT $ 139)))))
       ((SPADCALL |k| '|exp| (QREFELT $ 13))
        (|INTEF;expextint| |f| |x| |k| |g| $))
       ((|INTEF;prim?| |k| |x| $) (|INTEF;primextint| |f| |x| |k| |g| $))
       ((SPADCALL (SPADCALL |k| (QREFELT $ 15)) (QREFELT $ 9) (QREFELT $ 16))
        (|INTEF;alglfextint| |f| |k| |l| |x| |g| $))
       ('T (|INTEF;unkextint| |f| |x| |g| $))))))) 

(DEFUN |INTEF;lfextendedint;FSFU;20!0| (|x1| $$)
  (PROG (|k| $)
    (LETT |k| (QREFELT $$ 1) . #1=(|INTEF;lfextendedint;FSFU;20|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |x1| |k| (QREFELT $ 52)))))) 

(DEFUN |INTEF;lflimitedint;FSLU;21| (|f| |x| |lu| $)
  (PROG (#1=#:G2151 |u| #2=#:G2150 |k| |l|)
    (RETURN
     (SEQ
      (COND
       ((NULL
         (LETT |l|
               (SPADCALL (SPADCALL |f| (QREFELT $ 118)) |x| (QREFELT $ 119))
               . #3=(|INTEF;lflimitedint;FSLU;21|)))
        (CONS 0
              (CONS (SPADCALL (SPADCALL |x| (QREFELT $ 78)) |f| (QREFELT $ 77))
                    NIL)))
       ((QEQCAR
         (SPADCALL (LETT |k| (SPADCALL |l| (QREFELT $ 120)) . #3#)
                   (QREFELT $ 89))
         0)
        (SPADCALL (CONS #'|INTEF;lflimitedint;FSLU;21!0| (VECTOR $ |k|))
                  (SPADCALL (SPADCALL |f| |k| (QREFELT $ 22))
                            (PROGN
                             (LETT #2# NIL . #3#)
                             (SEQ (LETT |u| NIL . #3#) (LETT #1# |lu| . #3#)
                                  G190
                                  (COND
                                   ((OR (ATOM #1#)
                                        (PROGN (LETT |u| (CAR #1#) . #3#) NIL))
                                    (GO G191)))
                                  (SEQ
                                   (EXIT
                                    (LETT #2#
                                          (CONS
                                           (SPADCALL |u| |k| (QREFELT $ 22))
                                           #2#)
                                          . #3#)))
                                  (LETT #1# (CDR #1#) . #3#) (GO G190) G191
                                  (EXIT (NREVERSE0 #2#))))
                            (QREFELT $ 144))
                  (QREFELT $ 145)))
       ((SPADCALL |k| '|exp| (QREFELT $ 13))
        (|INTEF;explimint| |f| |x| |k| |lu| $))
       ((|INTEF;prim?| |k| |x| $) (|INTEF;primlimint| |f| |x| |k| |lu| $))
       ((SPADCALL (SPADCALL |k| (QREFELT $ 15)) (QREFELT $ 9) (QREFELT $ 16))
        (|INTEF;alglflimint| |f| |k| |l| |x| |lu| $))
       ('T (|INTEF;unklimint| |f| |x| |lu| $))))))) 

(DEFUN |INTEF;lflimitedint;FSLU;21!0| (|x1| $$)
  (PROG (|k| $)
    (LETT |k| (QREFELT $$ 1) . #1=(|INTEF;lflimitedint;FSLU;21|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |x1| |k| (QREFELT $ 52)))))) 

(DEFUN |INTEF;lfinfieldint;FSU;22| (|f| |x| $)
  (PROG (|u|)
    (RETURN
     (SEQ
      (LETT |u| (SPADCALL |f| |x| (|spadConstant| $ 71) (QREFELT $ 38))
            |INTEF;lfinfieldint;FSU;22|)
      (EXIT
       (COND ((QEQCAR |u| 1) (CONS 1 "failed"))
             ('T (CONS 0 (QCAR (QCDR |u|)))))))))) 

(DEFUN |INTEF;primextint| (|f| |x| |k| |g| $)
  (PROG (|u2| |u1| |lk| #1=#:G2188 |a| #2=#:G2187)
    (RETURN
     (SEQ
      (LETT |lk|
            (SPADCALL
             (PROGN
              (LETT #2# NIL . #3=(|INTEF;primextint|))
              (SEQ (LETT |a| NIL . #3#)
                   (LETT #1# (SPADCALL |f| (QREFELT $ 148)) . #3#) G190
                   (COND
                    ((OR (ATOM #1#) (PROGN (LETT |a| (CAR #1#) . #3#) NIL))
                     (GO G191)))
                   (SEQ
                    (EXIT
                     (COND
                      ((COND ((SPADCALL |k| |a| (QREFELT $ 135)) 'NIL)
                             (#4='T (SPADCALL |a| '|log| (QREFELT $ 13))))
                       (LETT #2# (CONS |a| #2#) . #3#)))))
                   (LETT #1# (CDR #1#) . #3#) (GO G190) G191
                   (EXIT (NREVERSE0 #2#))))
             |x| (QREFELT $ 119))
            . #3#)
      (LETT |u1|
            (SPADCALL (SPADCALL |f| |k| (QREFELT $ 22))
                      (CONS #'|INTEF;primextint!1| (VECTOR |k| |x| $))
                      (CONS #'|INTEF;primextint!2| (VECTOR $ |lk| |k| |x|))
                      (SPADCALL |g| |k| (QREFELT $ 22)) (QREFELT $ 153))
            . #3#)
      (EXIT
       (COND ((QEQCAR |u1| 2) (CONS 1 "failed"))
             ((QEQCAR |u1| 1)
              (CONS 0
                    (CONS (SPADCALL (QCAR (QCDR |u1|)) |k| (QREFELT $ 52))
                          (SPADCALL (QCDR (QCDR |u1|)) |k| (QREFELT $ 52)))))
             (#4#
              (SEQ
               (LETT |u2| (SPADCALL (QCDR (QCDR |u1|)) |x| |g| (QREFELT $ 38))
                     . #3#)
               (EXIT
                (COND ((QEQCAR |u2| 1) (CONS 1 "failed"))
                      (#4#
                       (CONS 0
                             (CONS
                              (SPADCALL
                               (SPADCALL (QCAR (QCDR |u1|)) |k| (QREFELT $ 52))
                               (QCAR (QCDR |u2|)) (QREFELT $ 154))
                              (QCDR (QCDR |u2|))))))))))))))) 

(DEFUN |INTEF;primextint!2| (|x3| $$)
  (PROG (|x| |k| |lk| $)
    (LETT |x| (QREFELT $$ 3) . #1=(|INTEF;primextint|))
    (LETT |k| (QREFELT $$ 2) . #1#)
    (LETT |lk| (QREFELT $$ 1) . #1#)
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |x3| |x| |k| |lk| (QREFELT $ 149)))))) 

(DEFUN |INTEF;primextint!1| (|x1| $$)
  (PROG ($ |x| |k|)
    (LETT $ (QREFELT $$ 2) . #1=(|INTEF;primextint|))
    (LETT |x| (QREFELT $$ 1) . #1#)
    (LETT |k| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG ()
        (RETURN
         (SPADCALL |x1| (CONS #'|INTEF;primextint!0| (VECTOR $ |x|))
                   (SPADCALL
                    (SPADCALL (SPADCALL |k| (QREFELT $ 95)) |x| (QREFELT $ 19))
                    (QREFELT $ 26))
                   (QREFELT $ 29)))))))) 

(DEFUN |INTEF;primextint!0| (|x2| $$)
  (PROG (|x| $)
    (LETT |x| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN (PROGN (SPADCALL |x2| |x| (QREFELT $ 19)))))) 

(DEFUN |INTEF;expextint| (|f| |x| |k| |g| $)
  (PROG (|u2| |u1|)
    (RETURN
     (SEQ
      (LETT |u1|
            (SPADCALL (SPADCALL |f| |k| (QREFELT $ 22))
                      (CONS #'|INTEF;expextint!1| (VECTOR |k| |x| $))
                      (CONS #'|INTEF;expextint!4| (VECTOR |x| $ |k|))
                      (SPADCALL |g| |k| (QREFELT $ 22)) (QREFELT $ 159))
            . #1=(|INTEF;expextint|))
      (EXIT
       (COND ((QEQCAR |u1| 2) (CONS 1 "failed"))
             ((QEQCAR |u1| 1)
              (CONS 0
                    (CONS (SPADCALL (QCAR (QCDR |u1|)) |k| (QREFELT $ 52))
                          (SPADCALL (QCDR (QCDR |u1|)) |k| (QREFELT $ 52)))))
             (#2='T
              (SEQ
               (LETT |u2| (SPADCALL (QCDR (QCDR |u1|)) |x| |g| (QREFELT $ 38))
                     . #1#)
               (EXIT
                (COND ((QEQCAR |u2| 1) (CONS 1 "failed"))
                      (#2#
                       (CONS 0
                             (CONS
                              (SPADCALL
                               (SPADCALL (QCAR (QCDR |u1|)) |k| (QREFELT $ 52))
                               (QCAR (QCDR |u2|)) (QREFELT $ 154))
                              (QCDR (QCDR |u2|))))))))))))))) 

(DEFUN |INTEF;expextint!4| (|x3| |x4| $$)
  (PROG (|k| $ |x|)
    (LETT |k| (QREFELT $$ 2) . #1=(|INTEF;expextint|))
    (LETT $ (QREFELT $$ 1) . #1#)
    (LETT |x| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG ()
        (RETURN
         (SPADCALL |x3|
                   (SPADCALL (SPADCALL |k| (QREFELT $ 18)) (QREFELT $ 131))
                   |x4| |x| (CONS #'|INTEF;expextint!2| (VECTOR $ |x|))
                   (CONS #'|INTEF;expextint!3| (VECTOR $ |x|))
                   (QREFELT $ 157)))))))) 

(DEFUN |INTEF;expextint!3| (|x7| |x8| $$)
  (PROG (|x| $)
    (LETT |x| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN (PROGN (SPADCALL |x7| |x| |x8| (QREFELT $ 38)))))) 

(DEFUN |INTEF;expextint!2| (|x5| |x6| $$)
  (PROG (|x| $)
    (LETT |x| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN (PROGN (SPADCALL |x5| |x| |x6| (QREFELT $ 35)))))) 

(DEFUN |INTEF;expextint!1| (|x1| $$)
  (PROG ($ |x| |k|)
    (LETT $ (QREFELT $$ 2) . #1=(|INTEF;expextint|))
    (LETT |x| (QREFELT $$ 1) . #1#)
    (LETT |k| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG ()
        (RETURN
         (SPADCALL |x1| (CONS #'|INTEF;expextint!0| (VECTOR $ |x|))
                   (SPADCALL
                    (SPADCALL
                     (SPADCALL (SPADCALL |k| (QREFELT $ 18)) (QREFELT $ 131))
                     |x| (QREFELT $ 19))
                    (|spadConstant| $ 132) (QREFELT $ 25))
                   (QREFELT $ 29)))))))) 

(DEFUN |INTEF;expextint!0| (|x2| $$)
  (PROG (|x| $)
    (LETT |x| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN (PROGN (SPADCALL |x2| |x| (QREFELT $ 19)))))) 

(DEFUN |INTEF;primint| (|f| |x| |k| $)
  (PROG (|r1| |lk| #1=#:G2230 |a| #2=#:G2229)
    (RETURN
     (SEQ
      (LETT |lk|
            (SPADCALL
             (PROGN
              (LETT #2# NIL . #3=(|INTEF;primint|))
              (SEQ (LETT |a| NIL . #3#)
                   (LETT #1# (SPADCALL |f| (QREFELT $ 148)) . #3#) G190
                   (COND
                    ((OR (ATOM #1#) (PROGN (LETT |a| (CAR #1#) . #3#) NIL))
                     (GO G191)))
                   (SEQ
                    (EXIT
                     (COND
                      ((COND ((SPADCALL |k| |a| (QREFELT $ 135)) 'NIL)
                             ('T (SPADCALL |a| '|log| (QREFELT $ 13))))
                       (LETT #2# (CONS |a| #2#) . #3#)))))
                   (LETT #1# (CDR #1#) . #3#) (GO G190) G191
                   (EXIT (NREVERSE0 #2#))))
             |x| (QREFELT $ 119))
            . #3#)
      (LETT |r1|
            (SPADCALL (SPADCALL |f| |k| (QREFELT $ 22))
                      (CONS #'|INTEF;primint!1| (VECTOR |k| |x| $))
                      (CONS #'|INTEF;primint!2| (VECTOR $ |lk| |k| |x|))
                      (QREFELT $ 160))
            . #3#)
      (EXIT
       (SPADCALL
        (SPADCALL (CONS #'|INTEF;primint!3| (VECTOR $ |k|)) (QCAR |r1|)
                  (QREFELT $ 57))
        (SPADCALL (QCDR |r1|) |x| (QREFELT $ 58)) (QREFELT $ 59))))))) 

(DEFUN |INTEF;primint!3| (|x1| $$)
  (PROG (|k| $)
    (LETT |k| (QREFELT $$ 1) . #1=(|INTEF;primint|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |x1| |k| (QREFELT $ 52)))))) 

(DEFUN |INTEF;primint!2| (|x3| $$)
  (PROG (|x| |k| |lk| $)
    (LETT |x| (QREFELT $$ 3) . #1=(|INTEF;primint|))
    (LETT |k| (QREFELT $$ 2) . #1#)
    (LETT |lk| (QREFELT $$ 1) . #1#)
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |x3| |x| |k| |lk| (QREFELT $ 149)))))) 

(DEFUN |INTEF;primint!1| (|x1| $$)
  (PROG ($ |x| |k|)
    (LETT $ (QREFELT $$ 2) . #1=(|INTEF;primint|))
    (LETT |x| (QREFELT $$ 1) . #1#)
    (LETT |k| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG ()
        (RETURN
         (SPADCALL |x1| (CONS #'|INTEF;primint!0| (VECTOR $ |x|))
                   (SPADCALL
                    (SPADCALL (SPADCALL |k| (QREFELT $ 95)) |x| (QREFELT $ 19))
                    (QREFELT $ 26))
                   (QREFELT $ 29)))))))) 

(DEFUN |INTEF;primint!0| (|x2| $$)
  (PROG (|x| $)
    (LETT |x| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN (PROGN (SPADCALL |x2| |x| (QREFELT $ 19)))))) 

(DEFUN |INTEF;lfextlimint;FSKLU;26| (|f| |x| |k| |lk| $)
  (PROG (#1=#:G2245 #2=#:G2244 #3=#:G2246 #4=#:G2256 |c| |cf| |u2| #5=#:G2255
         |u| #6=#:G2254 |lg| #7=#:G2253 |kk| #8=#:G2252 |twr| #9=#:G2250 |u1|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (SEQ
         (LETT |u1|
               (SPADCALL |f| |x|
                         (SPADCALL (SPADCALL |k| (QREFELT $ 95)) |x|
                                   (QREFELT $ 19))
                         (QREFELT $ 38))
               . #10=(|INTEF;lfextlimint;FSKLU;26|))
         (EXIT
          (COND
           ((NULL (QEQCAR |u1| 1)) (PROGN (LETT #9# |u1| . #10#) (GO #9#))))))
        (LETT |twr| (SPADCALL |f| (QREFELT $ 148)) . #10#)
        (EXIT
         (COND
          ((OR
            (NULL
             (LETT |lg|
                   (PROGN
                    (LETT #8# NIL . #10#)
                    (SEQ (LETT |kk| NIL . #10#) (LETT #7# |lk| . #10#) G190
                         (COND
                          ((OR (ATOM #7#)
                               (PROGN (LETT |kk| (CAR #7#) . #10#) NIL))
                           #11=(GO G191)))
                         (SEQ
                          (EXIT
                           (COND
                            ((COND ((SPADCALL |kk| |twr| (QREFELT $ 161)) 'NIL)
                                   (#12='T 'T))
                             (LETT #8# (CONS |kk| #8#) . #10#)))))
                         (LETT #7# (CDR #7#) . #10#) #13=(GO G190) G191
                         (EXIT (NREVERSE0 #8#))))
                   . #10#))
            (NULL (SPADCALL |k| '|log| (QREFELT $ 13))))
           (CONS 1 "failed"))
          ('T
           (SEQ
            (LETT |u2|
                  (SPADCALL |f| |x|
                            (PROGN
                             (LETT #6# NIL . #10#)
                             (SEQ (LETT |u| NIL . #10#)
                                  (LETT #5#
                                        (SPADCALL |lg| (LIST |k|)
                                                  (QREFELT $ 162))
                                        . #10#)
                                  G190
                                  (COND
                                   ((OR (ATOM #5#)
                                        (PROGN
                                         (LETT |u| (CAR #5#) . #10#)
                                         NIL))
                                    #11#))
                                  (SEQ
                                   (EXIT
                                    (LETT #6#
                                          (CONS
                                           (|SPADfirst|
                                            (SPADCALL |u| (QREFELT $ 18)))
                                           #6#)
                                          . #10#)))
                                  (LETT #5# (CDR #5#) . #10#) #13# G191
                                  (EXIT (NREVERSE0 #6#))))
                            (QREFELT $ 35))
                  . #10#)
            (EXIT
             (COND ((QEQCAR |u2| 1) (CONS 1 "failed"))
                   (#12#
                    (SEQ
                     (LETT |cf|
                           (|INTEF;cfind|
                            (|SPADfirst| (SPADCALL |k| (QREFELT $ 18)))
                            (QCDR (QCDR |u2|)) $)
                           . #10#)
                     (EXIT
                      (CONS 0
                            (CONS
                             (SPADCALL
                              (SPADCALL (QCAR (QCDR |u2|))
                                        (SPADCALL |cf|
                                                  (SPADCALL |k| (QREFELT $ 95))
                                                  (QREFELT $ 77))
                                        (QREFELT $ 163))
                              (PROGN
                               (LETT #1# NIL . #10#)
                               (SEQ (LETT |c| NIL . #10#)
                                    (LETT #4# (QCDR (QCDR |u2|)) . #10#) G190
                                    (COND
                                     ((OR (ATOM #4#)
                                          (PROGN
                                           (LETT |c| (CAR #4#) . #10#)
                                           NIL))
                                      #11#))
                                    (SEQ
                                     (EXIT
                                      (PROGN
                                       (LETT #3#
                                             (SPADCALL (QCAR |c|)
                                                       (SPADCALL (QCDR |c|)
                                                                 (QREFELT $
                                                                          76))
                                                       (QREFELT $ 77))
                                             . #10#)
                                       (COND
                                        (#1#
                                         (LETT #2#
                                               (SPADCALL #2# #3#
                                                         (QREFELT $ 154))
                                               . #10#))
                                        ('T
                                         (PROGN
                                          (LETT #2# #3# . #10#)
                                          (LETT #1# 'T . #10#)))))))
                                    (LETT #4# (CDR #4#) . #10#) #13# G191
                                    (EXIT NIL))
                               (COND (#1# #2#) (#12# (|spadConstant| $ 71))))
                              (QREFELT $ 154))
                             |cf|)))))))))))))
      #9# (EXIT #9#))))) 

(DEFUN |INTEF;cfind| (|f| |l| $)
  (PROG (#1=#:G2259 #2=#:G2261 #3=#:G2262 |u|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (SEQ
         (EXIT
          (SEQ (LETT |u| NIL . #4=(|INTEF;cfind|)) (LETT #3# |l| . #4#) G190
               (COND
                ((OR (ATOM #3#) (PROGN (LETT |u| (CAR #3#) . #4#) NIL))
                 (GO G191)))
               (SEQ
                (EXIT
                 (COND
                  ((SPADCALL |f| (QCDR |u|) (QREFELT $ 72))
                   (PROGN
                    (LETT #1# (PROGN (LETT #2# (QCAR |u|) . #4#) (GO #2#))
                          . #4#)
                    (GO #1#))))))
               (LETT #3# (CDR #3#) . #4#) (GO G190) G191 (EXIT NIL)))
         #1# (EXIT #1#))
        (EXIT (|spadConstant| $ 71))))
      #2# (EXIT #2#))))) 

(DEFUN |INTEF;expint| (|f| |x| |k| $)
  (PROG (|r1| |eta|)
    (RETURN
     (SEQ
      (LETT |eta| (|SPADfirst| (SPADCALL |k| (QREFELT $ 18)))
            . #1=(|INTEF;expint|))
      (LETT |r1|
            (SPADCALL (SPADCALL |f| |k| (QREFELT $ 22))
                      (CONS #'|INTEF;expint!1| (VECTOR |eta| |x| $))
                      (CONS #'|INTEF;expint!4| (VECTOR $ |x| |eta|))
                      (QREFELT $ 164))
            . #1#)
      (EXIT
       (SPADCALL
        (SPADCALL (CONS #'|INTEF;expint!5| (VECTOR $ |k|)) (QCAR |r1|)
                  (QREFELT $ 57))
        (SPADCALL (QCDR |r1|) |x| (QREFELT $ 58)) (QREFELT $ 59))))))) 

(DEFUN |INTEF;expint!5| (|x1| $$)
  (PROG (|k| $)
    (LETT |k| (QREFELT $$ 1) . #1=(|INTEF;expint|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |x1| |k| (QREFELT $ 52)))))) 

(DEFUN |INTEF;expint!4| (|x3| |x4| $$)
  (PROG (|eta| |x| $)
    (LETT |eta| (QREFELT $$ 2) . #1=(|INTEF;expint|))
    (LETT |x| (QREFELT $$ 1) . #1#)
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG ()
        (RETURN
         (SPADCALL |x3| |eta| |x4| |x| (CONS #'|INTEF;expint!2| (VECTOR $ |x|))
                   (CONS #'|INTEF;expint!3| (VECTOR $ |x|))
                   (QREFELT $ 157)))))))) 

(DEFUN |INTEF;expint!3| (|x7| |x8| $$)
  (PROG (|x| $)
    (LETT |x| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN (PROGN (SPADCALL |x7| |x| |x8| (QREFELT $ 38)))))) 

(DEFUN |INTEF;expint!2| (|x5| |x6| $$)
  (PROG (|x| $)
    (LETT |x| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN (PROGN (SPADCALL |x5| |x| |x6| (QREFELT $ 35)))))) 

(DEFUN |INTEF;expint!1| (|x1| $$)
  (PROG ($ |x| |eta|)
    (LETT $ (QREFELT $$ 2) . #1=(|INTEF;expint|))
    (LETT |x| (QREFELT $$ 1) . #1#)
    (LETT |eta| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG ()
        (RETURN
         (SPADCALL |x1| (CONS #'|INTEF;expint!0| (VECTOR $ |x|))
                   (SPADCALL (SPADCALL |eta| |x| (QREFELT $ 19))
                             (|spadConstant| $ 132) (QREFELT $ 25))
                   (QREFELT $ 29)))))))) 

(DEFUN |INTEF;expint!0| (|x2| $$)
  (PROG (|x| $)
    (LETT |x| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN (PROGN (SPADCALL |x2| |x| (QREFELT $ 19)))))) 

(DEFUN |INTEF;primlimint| (|f| |x| |k| |lu| $)
  (PROG (|u2| |l| #1=#:G2326 |lg| #2=#:G2325 |u1| #3=#:G2324 |u| #4=#:G2323
         |lk| #5=#:G2322 |a| #6=#:G2321)
    (RETURN
     (SEQ
      (LETT |lk|
            (SPADCALL
             (PROGN
              (LETT #6# NIL . #7=(|INTEF;primlimint|))
              (SEQ (LETT |a| NIL . #7#)
                   (LETT #5# (SPADCALL |f| (QREFELT $ 148)) . #7#) G190
                   (COND
                    ((OR (ATOM #5#) (PROGN (LETT |a| (CAR #5#) . #7#) NIL))
                     #8=(GO G191)))
                   (SEQ
                    (EXIT
                     (COND
                      ((COND ((SPADCALL |k| |a| (QREFELT $ 135)) 'NIL)
                             (#9='T (SPADCALL |a| '|log| (QREFELT $ 13))))
                       (LETT #6# (CONS |a| #6#) . #7#)))))
                   (LETT #5# (CDR #5#) . #7#) #10=(GO G190) G191
                   (EXIT (NREVERSE0 #6#))))
             |x| (QREFELT $ 119))
            . #7#)
      (LETT |u1|
            (SPADCALL (SPADCALL |f| |k| (QREFELT $ 22))
                      (CONS #'|INTEF;primlimint!1| (VECTOR |k| |x| $))
                      (CONS #'|INTEF;primlimint!2| (VECTOR $ |lk| |k| |x|))
                      (PROGN
                       (LETT #4# NIL . #7#)
                       (SEQ (LETT |u| NIL . #7#) (LETT #3# |lu| . #7#) G190
                            (COND
                             ((OR (ATOM #3#)
                                  (PROGN (LETT |u| (CAR #3#) . #7#) NIL))
                              #8#))
                            (SEQ
                             (EXIT
                              (LETT #4#
                                    (CONS (SPADCALL |u| |k| (QREFELT $ 22))
                                          #4#)
                                    . #7#)))
                            (LETT #3# (CDR #3#) . #7#) #10# G191
                            (EXIT (NREVERSE0 #4#))))
                      (QREFELT $ 167))
            . #7#)
      (EXIT
       (COND ((QEQCAR |u1| 1) (CONS 1 "failed"))
             (#9#
              (SEQ
               (LETT |l|
                     (PROGN
                      (LETT #2# NIL . #7#)
                      (SEQ (LETT |lg| NIL . #7#)
                           (LETT #1# (QCDR (QCAR (QCDR |u1|))) . #7#) G190
                           (COND
                            ((OR (ATOM #1#)
                                 (PROGN (LETT |lg| (CAR #1#) . #7#) NIL))
                             #8#))
                           (SEQ
                            (EXIT
                             (LETT #2#
                                   (CONS
                                    (CONS
                                     (SPADCALL (QCAR |lg|) |k| (QREFELT $ 52))
                                     (SPADCALL (QCDR |lg|) |k| (QREFELT $ 52)))
                                    #2#)
                                   . #7#)))
                           (LETT #1# (CDR #1#) . #7#) #10# G191
                           (EXIT (NREVERSE0 #2#))))
                     . #7#)
               (LETT |u2| (SPADCALL (QCDR (QCDR |u1|)) |x| |lu| (QREFELT $ 35))
                     . #7#)
               (EXIT
                (COND ((QEQCAR |u2| 1) (CONS 1 "failed"))
                      (#9#
                       (CONS 0
                             (CONS
                              (SPADCALL
                               (SPADCALL (QCAR (QCAR (QCDR |u1|))) |k|
                                         (QREFELT $ 52))
                               (QCAR (QCDR |u2|)) (QREFELT $ 154))
                              (SPADCALL (QCDR (QCDR |u2|)) |l|
                                        (QREFELT $ 169))))))))))))))) 

(DEFUN |INTEF;primlimint!2| (|x3| $$)
  (PROG (|x| |k| |lk| $)
    (LETT |x| (QREFELT $$ 3) . #1=(|INTEF;primlimint|))
    (LETT |k| (QREFELT $$ 2) . #1#)
    (LETT |lk| (QREFELT $$ 1) . #1#)
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |x3| |x| |k| |lk| (QREFELT $ 149)))))) 

(DEFUN |INTEF;primlimint!1| (|x1| $$)
  (PROG ($ |x| |k|)
    (LETT $ (QREFELT $$ 2) . #1=(|INTEF;primlimint|))
    (LETT |x| (QREFELT $$ 1) . #1#)
    (LETT |k| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG ()
        (RETURN
         (SPADCALL |x1| (CONS #'|INTEF;primlimint!0| (VECTOR $ |x|))
                   (SPADCALL
                    (SPADCALL (SPADCALL |k| (QREFELT $ 95)) |x| (QREFELT $ 19))
                    (QREFELT $ 26))
                   (QREFELT $ 29)))))))) 

(DEFUN |INTEF;primlimint!0| (|x2| $$)
  (PROG (|x| $)
    (LETT |x| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN (PROGN (SPADCALL |x2| |x| (QREFELT $ 19)))))) 

(DEFUN |INTEF;explimint| (|f| |x| |k| |lu| $)
  (PROG (|u2| |l| #1=#:G2356 |lg| #2=#:G2355 |u1| #3=#:G2354 |u| #4=#:G2353
         |eta|)
    (RETURN
     (SEQ
      (LETT |eta| (|SPADfirst| (SPADCALL |k| (QREFELT $ 18)))
            . #5=(|INTEF;explimint|))
      (LETT |u1|
            (SPADCALL (SPADCALL |f| |k| (QREFELT $ 22))
                      (CONS #'|INTEF;explimint!1| (VECTOR |eta| |x| $))
                      (CONS #'|INTEF;explimint!4| (VECTOR $ |x| |eta|))
                      (PROGN
                       (LETT #4# NIL . #5#)
                       (SEQ (LETT |u| NIL . #5#) (LETT #3# |lu| . #5#) G190
                            (COND
                             ((OR (ATOM #3#)
                                  (PROGN (LETT |u| (CAR #3#) . #5#) NIL))
                              #6=(GO G191)))
                            (SEQ
                             (EXIT
                              (LETT #4#
                                    (CONS (SPADCALL |u| |k| (QREFELT $ 22))
                                          #4#)
                                    . #5#)))
                            (LETT #3# (CDR #3#) . #5#) #7=(GO G190) G191
                            (EXIT (NREVERSE0 #4#))))
                      (QREFELT $ 170))
            . #5#)
      (EXIT
       (COND ((QEQCAR |u1| 1) (CONS 1 "failed"))
             (#8='T
              (SEQ
               (LETT |l|
                     (PROGN
                      (LETT #2# NIL . #5#)
                      (SEQ (LETT |lg| NIL . #5#)
                           (LETT #1# (QCDR (QCAR (QCDR |u1|))) . #5#) G190
                           (COND
                            ((OR (ATOM #1#)
                                 (PROGN (LETT |lg| (CAR #1#) . #5#) NIL))
                             #6#))
                           (SEQ
                            (EXIT
                             (LETT #2#
                                   (CONS
                                    (CONS
                                     (SPADCALL (QCAR |lg|) |k| (QREFELT $ 52))
                                     (SPADCALL (QCDR |lg|) |k| (QREFELT $ 52)))
                                    #2#)
                                   . #5#)))
                           (LETT #1# (CDR #1#) . #5#) #7# G191
                           (EXIT (NREVERSE0 #2#))))
                     . #5#)
               (LETT |u2| (SPADCALL (QCDR (QCDR |u1|)) |x| |lu| (QREFELT $ 35))
                     . #5#)
               (EXIT
                (COND ((QEQCAR |u2| 1) (CONS 1 "failed"))
                      (#8#
                       (CONS 0
                             (CONS
                              (SPADCALL
                               (SPADCALL (QCAR (QCAR (QCDR |u1|))) |k|
                                         (QREFELT $ 52))
                               (QCAR (QCDR |u2|)) (QREFELT $ 154))
                              (SPADCALL (QCDR (QCDR |u2|)) |l|
                                        (QREFELT $ 169))))))))))))))) 

(DEFUN |INTEF;explimint!4| (|x1| |x2| $$)
  (PROG (|eta| |x| $)
    (LETT |eta| (QREFELT $$ 2) . #1=(|INTEF;explimint|))
    (LETT |x| (QREFELT $$ 1) . #1#)
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG ()
        (RETURN
         (SPADCALL |x1| |eta| |x2| |x|
                   (CONS #'|INTEF;explimint!2| (VECTOR $ |x|))
                   (CONS #'|INTEF;explimint!3| (VECTOR $ |x|))
                   (QREFELT $ 157)))))))) 

(DEFUN |INTEF;explimint!3| (|x5| |x6| $$)
  (PROG (|x| $)
    (LETT |x| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN (PROGN (SPADCALL |x5| |x| |x6| (QREFELT $ 38)))))) 

(DEFUN |INTEF;explimint!2| (|x3| |x4| $$)
  (PROG (|x| $)
    (LETT |x| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN (PROGN (SPADCALL |x3| |x| |x4| (QREFELT $ 35)))))) 

(DEFUN |INTEF;explimint!1| (|x1| $$)
  (PROG ($ |x| |eta|)
    (LETT $ (QREFELT $$ 2) . #1=(|INTEF;explimint|))
    (LETT |x| (QREFELT $$ 1) . #1#)
    (LETT |eta| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG ()
        (RETURN
         (SPADCALL |x1| (CONS #'|INTEF;explimint!0| (VECTOR $ |x|))
                   (SPADCALL (SPADCALL |eta| |x| (QREFELT $ 19))
                             (|spadConstant| $ 132) (QREFELT $ 25))
                   (QREFELT $ 29)))))))) 

(DEFUN |INTEF;explimint!0| (|x2| $$)
  (PROG (|x| $)
    (LETT |x| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN (PROGN (SPADCALL |x2| |x| (QREFELT $ 19)))))) 

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

(DEFUN |ElementaryIntegration;| (|#1| |#2|)
  (PROG (|pv$| $ |dv$| DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|ElementaryIntegration|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT |dv$| (LIST '|ElementaryIntegration| DV$1 DV$2) . #1#)
      (LETT $ (GETREFV 171) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|ElementaryIntegration| (LIST DV$1 DV$2)
                  (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 8 '|prim|)
      (QSETREFV $ 9 '|%alg|)
      (COND
       ((|HasCategory| |#1| '(|ConvertibleTo| (|Pattern| (|Integer|))))
        (COND
         ((|HasCategory| |#1| '(|PatternMatchable| (|Integer|)))
          (PROGN
           (QSETREFV $ 109
                     (COND
                      ((|HasCategory| |#2| '(|LiouvillianFunctionCategory|))
                       (|HasCategory| |#2| '(|RetractableTo| (|Symbol|))))
                      ('T 'NIL)))
           (COND
            ((QREFELT $ 109)
             (PROGN
              (QSETREFV $ 58
                        (CONS (|dispatchFunction| |INTEF;lfintegrate;FSIr;11|)
                              $))))
            ('T
             (QSETREFV $ 58
                       (CONS (|dispatchFunction| |INTEF;lfintegrate;FSIr;12|)
                             $))))))
         ('T
          (QSETREFV $ 58
                    (CONS (|dispatchFunction| |INTEF;lfintegrate;FSIr;13|)
                          $)))))
       ('T
        (QSETREFV $ 58
                  (CONS (|dispatchFunction| |INTEF;lfintegrate;FSIr;14|) $))))
      $)))) 

(MAKEPROP '|ElementaryIntegration| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|) 'PRIM
              'ALGOP (|Boolean|) (|Symbol|) (|Kernel| 7) (0 . |is?|)
              (|BasicOperator|) (6 . |operator|) (11 . |has?|) (|List| 7)
              (17 . |argument|) (22 . |differentiate|) (|Fraction| 99)
              (|Kernel| $) (28 . |univariate|) (|NonNegativeInteger|)
              (|SparseUnivariatePolynomial| 7) (34 . |monomial|)
              (40 . |coerce|) (45 . +) (|Mapping| 7 7) (51 . |differentiate|)
              (|PositiveInteger|) (58 . *)
              (|Record| (|:| |coeff| 7) (|:| |logand| 7))
              (|Record| (|:| |mainpart| 7) (|:| |limitedlogs| 168))
              (|Union| 33 '"failed") |INTEF;lflimitedint;FSLU;21|
              (|Record| (|:| |ratpart| 7) (|:| |coeff| 7))
              (|Union| 36 '"failed") |INTEF;lfextendedint;FSFU;20|
              (|Union| 17 '"failed") (|Integer|) (|Mapping| 34 7 17)
              (|Mapping| 37 7 7) (|ElementaryRischDESystem| 6 7)
              (64 . |rischDEsys|) (|Record| (|:| |answer| 55) (|:| |a0| 7))
              (|Fraction| 24) (|Mapping| 24 24) (|Mapping| 39 40 7 7)
              (|TranscendentalIntegration| 7 24) (75 . |tanintegrate|)
              (|PolynomialCategoryQuotientFunctions| (|IndexedExponents| 12) 12
                                                     6
                                                     (|SparseMultivariatePolynomial|
                                                      6 12)
                                                     7)
              (82 . |multivariate|) (|IntegrationResult| 7) (|Mapping| 7 46)
              (|IntegrationResult| 46) (|IntegrationResultFunctions2| 46 7)
              (88 . |map|) (94 . |lfintegrate|) (100 . +)
              (|Union| 21 '#1="failed") (106 . |retractIfCan|) (111 . |second|)
              (116 . |third|) (|Union| 11 '#1#) (121 . |retractIfCan|)
              (126 . |coerce|) (|SparseMultivariatePolynomial| 6 21)
              (131 . |denom|) (136 . |coerce|) (141 . |Zero|) (145 . |Zero|)
              (149 . =) (155 . |numer|) (160 . /) (166 . |zero?|) (171 . |log|)
              (176 . *) (182 . |coerce|)
              (|Record| (|:| |scalar| (|Fraction| 40)) (|:| |coeff| 24)
                        (|:| |logand| 24))
              (|List| 79) (|Record| (|:| |integrand| 7) (|:| |intvar| 7))
              (|List| 81) (187 . |mkAnswer|) (194 . |is?|) (|List| $)
              (200 . |elt|) (|List| 21) (206 . |eval|) (213 . |symbolIfCan|)
              (|List| 12) (|IntegrationTools| 6 7) (218 . |ksec|)
              (|PureAlgebraicIntegration| 6 7 7) (225 . |palgint|)
              (232 . |coerce|)
              (|Record| (|:| |primelt| 7) (|:| |pol1| 24) (|:| |pol2| 24)
                        (|:| |prim| 24))
              (|FunctionSpacePrimitiveElement| 6 7) (237 . |primitiveElement|)
              (|SparseUnivariatePolynomial| $) (243 . |rootOf|)
              (248 . |retract|) (253 . |eval|) (260 . |elt|)
              (|IntegrationResultFunctions2| 7 7) (266 . |map|)
              (272 . |palgextint|) (280 . |palglimint|) (288 . |map|) '#:G1811
              (|Record| (|:| |special| 7) (|:| |integrand| 7))
              (|Union| 110 '"failed") (|PatternMatchIntegration| 6 7)
              (294 . |pmintegrate|) (|Mapping| 53 7 11) (|Mapping| 111 7 11)
              (300 . |intPatternMatch|) (308 . |Zero|) (312 . |kernels|)
              (317 . |varselect|) (323 . |kmax|) (|RationalIntegration| 7 24)
              (328 . |integrate|) (333 . |elem?|) (338 . |ratpart|)
              (343 . |logpart|) (348 . |notelem|) (353 . |new|) (357 . |subst|)
              (364 . |freeOf?|) (370 . |kernel|) (375 . |first|) (380 . |One|)
              (|AlgebraicIntegration| 6 7) (384 . |algint|) (392 . =)
              (|Record| (|:| |ratpart| 46) (|:| |coeff| 46))
              (|Union| 136 '"failed") (398 . |extendedint|) (404 . |map|)
              (|Record| (|:| |coeff| 46) (|:| |logand| 46))
              (|Record| (|:| |mainpart| 46) (|:| |limitedlogs| (|List| 140)))
              (|Union| 141 '"failed") (|List| 46) (410 . |limitedint|)
              (416 . |map|) (|Union| 7 '"failed") |INTEF;lfinfieldint;FSU;22|
              (422 . |tower|) |INTEF;lfextlimint;FSKLU;26|
              (|Record| (|:| |answer| 46) (|:| |a0| 7))
              (|Union| 150 136 '"failed") (|Mapping| 37 7)
              (427 . |primextendedint|) (435 . +)
              (|Record| (|:| |ans| 7) (|:| |right| 7) (|:| |sol?| 10))
              (|ElementaryRischDE| 6 7) (441 . |rischDE|) (|Mapping| 155 40 7)
              (451 . |expextendedint|) (459 . |primintegrate|)
              (466 . |member?|) (472 . |union|) (478 . -)
              (484 . |expintegrate|) (|Record| (|:| |answer| 141) (|:| |a0| 7))
              (|Union| 165 '"failed") (491 . |primlimitedint|) (|List| 32)
              (499 . |concat|) (505 . |explimitedint|))
           '#(|lflimitedint| 513 |lfintegrate| 520 |lfinfieldint| 526
              |lfextlimint| 532 |lfextendedint| 540)
           'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 170
                                                 '(2 12 10 0 11 13 1 12 14 0 15
                                                   2 14 10 0 11 16 1 12 17 0 18
                                                   2 7 0 0 11 19 2 7 20 0 21 22
                                                   2 24 0 7 23 25 1 24 0 7 26 2
                                                   24 0 0 0 27 3 24 0 0 28 0 29
                                                   2 7 0 30 0 31 7 43 39 40 7 7
                                                   7 11 41 42 44 3 49 45 46 47
                                                   48 50 2 51 7 46 12 52 2 56
                                                   53 54 55 57 2 0 53 7 11 58 2
                                                   53 0 0 0 59 1 7 60 0 61 1 17
                                                   7 0 62 1 17 7 0 63 1 7 64 0
                                                   65 1 53 0 7 66 1 7 67 0 68 1
                                                   7 0 67 69 0 6 0 70 0 7 0 71
                                                   2 7 10 0 0 72 1 7 67 0 73 2
                                                   7 0 0 0 74 1 7 10 0 75 1 7 0
                                                   0 76 2 7 0 0 0 77 1 7 0 11
                                                   78 3 53 0 7 80 82 83 2 14 10
                                                   0 11 84 2 7 0 14 85 86 3 7 0
                                                   0 87 85 88 1 12 64 0 89 3 91
                                                   12 12 90 11 92 3 93 53 7 12
                                                   12 94 1 7 0 21 95 2 97 96 7
                                                   7 98 1 7 0 99 100 1 7 21 0
                                                   101 3 7 0 0 21 0 102 2 24 7
                                                   0 7 103 2 104 53 28 53 105 4
                                                   93 37 7 12 12 7 106 4 93 34
                                                   7 12 12 17 107 2 17 0 28 0
                                                   108 2 112 111 7 11 113 4 91
                                                   53 7 11 114 115 116 0 53 0
                                                   117 1 7 87 0 118 2 91 90 90
                                                   11 119 1 91 12 90 120 1 121
                                                   55 46 122 1 53 10 0 123 1 53
                                                   7 0 124 1 53 80 0 125 1 53
                                                   82 0 126 0 11 0 127 3 7 0 0
                                                   87 85 128 2 7 10 0 11 129 1
                                                   12 0 11 130 1 17 7 0 131 0
                                                   23 0 132 4 133 53 7 12 12 47
                                                   134 2 12 10 0 0 135 2 121
                                                   137 46 46 138 2 56 37 54 137
                                                   139 2 121 142 46 143 144 2
                                                   56 34 54 142 145 1 7 87 0
                                                   148 4 49 151 46 47 152 46
                                                   153 2 7 0 0 0 154 6 156 155
                                                   40 7 7 11 41 42 157 4 49 151
                                                   46 47 158 46 159 3 49 45 46
                                                   47 152 160 2 90 10 12 0 161
                                                   2 91 90 90 90 162 2 7 0 0 0
                                                   163 3 49 45 46 47 158 164 4
                                                   49 166 46 47 152 143 167 2
                                                   168 0 0 0 169 4 49 166 46 47
                                                   158 143 170 3 0 34 7 11 17
                                                   35 2 0 53 7 11 58 2 0 146 7
                                                   11 147 4 0 37 7 11 12 90 149
                                                   3 0 37 7 11 7 38)))))
           '|lookupComplete|)) 
