
(/VERSIONCHECK 2) 

(DEFUN |INTPAF;UPUP2F1| (|p| |t| |cf| |kx| |k| $)
  (|INTPAF;UPUP2F0| (SPADCALL |p| |t| |cf| (QREFELT $ 18)) |kx| |k| $)) 

(DEFUN |INTPAF;UPUP2F0| (|p| |kx| |k| $)
  (SPADCALL |p| |kx| (SPADCALL |k| (QREFELT $ 20)) (QREFELT $ 22))) 

(DEFUN |INTPAF;chv| (|f| |n| |a| |b| $)
  (SPADCALL (|INTPAF;chv0| |f| |n| |a| |b| $) (QREFELT $ 14)
      (QREFELT $ 24))) 

(DEFUN |INTPAF;RF2UPUP| (|f| |modulus| $)
  (PROG (#0=#:G1845 |bc|)
    (RETURN
      (SEQ (LETT |bc|
                 (PROG2 (LETT #0#
                              (SPADCALL (SPADCALL
                                         (CONS #'|INTPAF;RF2UPUP!0| $)
                                         (SPADCALL |f| (QREFELT $ 28))
                                         (QREFELT $ 31))
                                        |modulus| (|spadConstant| $ 33)
                                        (QREFELT $ 36))
                              . #1=(|INTPAF;RF2UPUP|))
                        (QCDR #0#)
                   (|check-union| (QEQCAR #0# 0)
                       (|Record|
                           (|:| |coef1|
                                (|SparseUnivariatePolynomial|
                                    (|Fraction|
                                     (|SparseUnivariatePolynomial|
                                      (QREFELT $ 7)))))
                           (|:| |coef2|
                                (|SparseUnivariatePolynomial|
                                    (|Fraction|
                                     (|SparseUnivariatePolynomial|
                                      (QREFELT $ 7))))))
                       #0#)) . #1#)
           (EXIT (SPADCALL
                     (SPADCALL
                         (SPADCALL (CONS #'|INTPAF;RF2UPUP!1| $)
                             (SPADCALL |f| (QREFELT $ 37))
                             (QREFELT $ 31))
                         (QCAR |bc|) (QREFELT $ 40))
                     |modulus| (QREFELT $ 41))))))) 

(DEFUN |INTPAF;RF2UPUP!1| (|#1| $)
  (SPADCALL (SPADCALL |#1| (QREFELT $ 26)) (QREFELT $ 27))) 

(DEFUN |INTPAF;RF2UPUP!0| (|#1| $)
  (SPADCALL (SPADCALL |#1| (QREFELT $ 26)) (QREFELT $ 27))) 

(DEFUN |INTPAF;linearInXIfCan| (|x| |y| $)
  (PROG (|q| #0=#:G1858 |d| |a| |b| |p| |xx|)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |a|
                            (LETT |b| (|spadConstant| $ 42)
                                  . #1=(|INTPAF;linearInXIfCan|)) . #1#)
                      (LETT |p|
                            (SPADCALL
                                (SPADCALL (SPADCALL |y| (QREFELT $ 44))
                                    |x| (QREFELT $ 45))
                                (QREFELT $ 47)) . #1#)
                      (SEQ G190
                           (COND
                             ((NULL (COND
                                      ((SPADCALL |p|
                                        (|spadConstant| $ 50)
                                        (QREFELT $ 52))
                                       'NIL)
                                      ('T 'T)))
                              (GO G191)))
                           (SEQ (EXIT (COND
                                        ((< 1
                                          (SPADCALL
                                           (LETT |q|
                                            (SPADCALL
                                             (SPADCALL |p|
                                              (QREFELT $ 54))
                                             (QREFELT $ 37)) . #1#)
                                           (QREFELT $ 58)))
                                         (PROGN
                                           (LETT #0#
                                            (CONS 1 "failed") . #1#)
                                           (GO #0#)))
                                        ('T
                                         (SEQ
                                          (LETT |a|
                                           (SPADCALL |a|
                                            (SPADCALL
                                             (SPADCALL |q| 1
                                              (QREFELT $ 59))
                                             (LETT |d|
                                              (SPADCALL |p|
                                               (QREFELT $ 60)) . #1#)
                                             (QREFELT $ 61))
                                            (QREFELT $ 62)) . #1#)
                                          (LETT |b|
                                           (SPADCALL |b|
                                            (SPADCALL
                                             (SPADCALL |q| 0
                                              (QREFELT $ 59))
                                             |d| (QREFELT $ 61))
                                            (QREFELT $ 63)) . #1#)
                                          (EXIT
                                           (LETT |p|
                                            (SPADCALL |p|
                                             (QREFELT $ 64)) . #1#)))))))
                           NIL (GO G190) G191 (EXIT NIL))
                      (LETT |xx|
                            (SPADCALL |b| |a| (QREFELT $ 65)) . #1#)
                      (EXIT (CONS 0
                                  (CONS (SPADCALL |xx|
                                         (SPADCALL (QREFELT $ 14)
                                          (QREFELT $ 20))
                                         (QREFELT $ 67))
                                        (SPADCALL |xx| (ELT $ 68)
                                         (QREFELT $ 70)))))))
           #0# (EXIT #0#))))) 

(DEFUN |INTPAF;prootintegrate| (|f| |x| |y| $)
  (PROG (|p| |modulus| |ff| |rf| |r| #0=#:G1867)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |modulus|
                            (SPADCALL
                                (LETT |p| (SPADCALL |y| (QREFELT $ 44))
                                      . #1=(|INTPAF;prootintegrate|))
                                |x| (QREFELT $ 45)) . #1#)
                      (LETT |rf|
                            (SPADCALL
                                (LETT |ff|
                                      (SPADCALL |f| |x| |y| |p|
                                       (QREFELT $ 71)) . #1#)
                                (QREFELT $ 64)) . #1#)
                      (SEQ (LETT |r|
                                 (SPADCALL |rf| (QREFELT $ 73)) . #1#)
                           (EXIT (COND
                                   ((QEQCAR |r| 0)
                                    (COND
                                      ((NULL
                                        (SPADCALL |rf|
                                         (|spadConstant| $ 50)
                                         (QREFELT $ 52)))
                                       (PROGN
                                         (LETT #0#
                                          (SPADCALL
                                           (SPADCALL
                                            (CONS
                                             #'|INTPAF;prootintegrate!0|
                                             (VECTOR $ |x|))
                                            (SPADCALL (QCDR |r|)
                                             (QREFELT $ 76))
                                            (QREFELT $ 80))
                                           (|INTPAF;prootintegrate1|
                                            (SPADCALL |ff|
                                             (QREFELT $ 81))
                                            |x| |y| |modulus| $)
                                           (QREFELT $ 82)) . #1#)
                                         (GO #0#))))))))
                      (EXIT (|INTPAF;prootintegrate1| |ff| |x| |y|
                                |modulus| $))))
           #0# (EXIT #0#))))) 

(DEFUN |INTPAF;prootintegrate!0| (|#1| $$)
  (PROG ($)
    (LETT $ (QREFELT $$ 0) |INTPAF;prootintegrate|)
    (RETURN
      (PROGN
        (SPADCALL |#1| (SPADCALL (QREFELT $$ 1) (QREFELT $ 20))
            (QREFELT $ 67)))))) 

(DEFUN |INTPAF;prootintegrate1| (|ff| |x| |y| |modulus| $)
  (PROG (|uu| |chv| |newalg| |kz| |ku| |newf| |vu| |vz| |cv| #0=#:G1876
              |r| |q| |qprime| |u| |m| #1=#:G1891 |curve|)
    (RETURN
      (SEQ (LETT |r|
                 (PROG2 (LETT #0# (SPADCALL |modulus| (QREFELT $ 85))
                              . #2=(|INTPAF;prootintegrate1|))
                        (QCDR #0#)
                   (|check-union| (QEQCAR #0# 0)
                       (|Record|
                           (|:| |radicand|
                                (|Fraction|
                                    (|SparseUnivariatePolynomial|
                                     (QREFELT $ 7))))
                           (|:| |deg| (|NonNegativeInteger|)))
                       #0#)) . #2#)
           (LETT |uu|
                 (|INTPAF;changeVarIfCan| |ff| (QCAR |r|) (QCDR |r|) $) . #2#)
           (EXIT (COND
                   ((QEQCAR |uu| 0)
                    (SEQ (LETT |chv| (QCDR |uu|) . #2#)
                         (LETT |newalg|
                               (SPADCALL
                                   (SPADCALL (QVELT |chv| 1)
                                    (SPADCALL (QREFELT $ 14)
                                     (QREFELT $ 20))
                                    (QREFELT $ 86))
                                   (QVELT |chv| 4) (QREFELT $ 87)) . #2#)
                         (LETT |kz|
                               (SPADCALL
                                   (SPADCALL |newalg| (QREFELT $ 89))
                                   (QREFELT $ 91)) . #2#)
                         (LETT |newf|
                               (SPADCALL (QVELT |chv| 0)
                                   (LETT |ku| (QREFELT $ 14) . #2#)
                                   |newalg| (QREFELT $ 22)) . #2#)
                         (LETT |vu|
                               (SPADCALL (QVELT |chv| 2)
                                   (SPADCALL |x| (QREFELT $ 20))
                                   (QREFELT $ 86)) . #2#)
                         (LETT |vz|
                               (SPADCALL
                                   (SPADCALL
                                    (SPADCALL (QVELT |chv| 3)
                                     (SPADCALL |x| (QREFELT $ 20))
                                     (QREFELT $ 67))
                                    (SPADCALL |y| (QREFELT $ 20))
                                    (QREFELT $ 92))
                                   (SPADCALL
                                    (SPADCALL |newalg| (QREFELT $ 93))
                                    (QREFELT $ 94))
                                   (QREFELT $ 92)) . #2#)
                         (EXIT (SPADCALL
                                   (CONS #'|INTPAF;prootintegrate1!0|
                                    (VECTOR $ |vz| |vu| |kz| |ku|))
                                   (SPADCALL |newf| |ku| |kz|
                                    (QREFELT $ 98))
                                   (QREFELT $ 101)))))
                   ('T
                    (SEQ (EXIT (SEQ (LETT |cv|
                                     (SPADCALL |ff| |modulus|
                                      (QREFELT $ 103)) . #2#)
                                    (LETT |r|
                                     (PROG2
                                      (LETT #0#
                                       (SPADCALL (QVELT |cv| 1)
                                        (QREFELT $ 85)) . #2#)
                                      (QCDR #0#)
                                       (|check-union| (QEQCAR #0# 0)
                                        (|Record|
                                         (|:| |radicand|
                                          (|Fraction|
                                           (|SparseUnivariatePolynomial|
                                            (QREFELT $ 7))))
                                         (|:| |deg|
                                          (|NonNegativeInteger|)))
                                        #0#)) . #2#)
                                    (LETT |qprime|
                                     (SPADCALL
                                      (SPADCALL
                                       (LETT |q|
                                        (SPADCALL (QCAR |r|)
                                         (QREFELT $ 104)) . #2#)
                                       (QREFELT $ 68))
                                      (QREFELT $ 27)) . #2#)
                                    (COND
                                      ((NULL
                                        (SPADCALL |qprime|
                                         (QREFELT $ 105)))
                                       (SEQ
                                        (LETT |u|
                                         (|INTPAF;chvarIfCan|
                                          (QVELT |cv| 0)
                                          (|spadConstant| $ 56) |q|
                                          (SPADCALL |qprime|
                                           (QREFELT $ 106))
                                          $) . #2#)
                                        (EXIT
                                         (COND
                                           ((QEQCAR |u| 0)
                                            (PROGN
                                              (LETT #1#
                                               (SEQ
                                                (LETT |m|
                                                 (SPADCALL
                                                  (SPADCALL
                                                   (|spadConstant| $
                                                    56)
                                                   (QCDR |r|)
                                                   (QREFELT $ 107))
                                                  (SPADCALL
                                                   (SPADCALL |q|
                                                    (QREFELT $ 27))
                                                   (QREFELT $ 108))
                                                  (QREFELT $ 109)) . #2#)
                                                (EXIT
                                                 (SPADCALL
                                                  (CONS
                                                   #'|INTPAF;prootintegrate1!1|
                                                   (VECTOR |y| |x| |cv|
                                                    $ |m|))
                                                  (|INTPAF;rationalInt|
                                                   (QCDR |u|)
                                                   (QCDR |r|)
                                                   (SPADCALL
                                                    (|spadConstant| $
                                                     53)
                                                    1 (QREFELT $ 61))
                                                   $)
                                                  (QREFELT $ 80)))) . #2#)
                                              (GO #1#))))))))
                                    (LETT |curve|
                                     (|RadicalFunctionField|
                                      (QREFELT $ 7)
                                      (|SparseUnivariatePolynomial|
                                       (QREFELT $ 7))
                                      (|SparseUnivariatePolynomial|
                                       (|Fraction|
                                        (|SparseUnivariatePolynomial|
                                         (QREFELT $ 7))))
                                      (SPADCALL |q| (QREFELT $ 27))
                                      (QCDR |r|)) . #2#)
                                    (EXIT
                                     (|INTPAF;algaddx|
                                      (SPADCALL
                                       (CONS
                                        #'|INTPAF;prootintegrate1!2|
                                        (VECTOR |y| |x| |cv| |curve| $))
                                       (SPADCALL
                                        (SPADCALL (QVELT |cv| 0)
                                         (|compiledLookupCheck|
                                          '|reduce|
                                          (LIST '$
                                           (LIST
                                            '|SparseUnivariatePolynomial|
                                            (LIST '|Fraction|
                                             (LIST
                                              '|SparseUnivariatePolynomial|
                                              (|devaluate| (ELT $ 7))))))
                                          |curve|))
                                        (ELT $ 68)
                                        (|compiledLookupCheck|
                                         '|palgintegrate|
                                         (LIST
                                          (LIST '|IntegrationResult|
                                           (|devaluate| |curve|))
                                          (|devaluate| |curve|)
                                          (LIST '|Mapping|
                                           (LIST
                                            '|SparseUnivariatePolynomial|
                                            (|devaluate| (ELT $ 7)))
                                           (LIST
                                            '|SparseUnivariatePolynomial|
                                            (|devaluate| (ELT $ 7)))))
                                         (|AlgebraicIntegrate|
                                          (ELT $ 6) (ELT $ 7)
                                          (|SparseUnivariatePolynomial|
                                           (ELT $ 7))
                                          (|SparseUnivariatePolynomial|
                                           (|Fraction|
                                            (|SparseUnivariatePolynomial|
                                             (ELT $ 7))))
                                          |curve|)))
                                       (|compiledLookupCheck| '|map|
                                        (LIST
                                         (LIST '|IntegrationResult|
                                          (|devaluate| (ELT $ 7)))
                                         (LIST '|Mapping|
                                          (|devaluate| (ELT $ 7))
                                          (|devaluate| |curve|))
                                         (LIST '|IntegrationResult|
                                          (|devaluate| |curve|)))
                                        (|IntegrationResultFunctions2|
                                         |curve| (ELT $ 7))))
                                      (SPADCALL |x| (QREFELT $ 20)) $))))
                         #1# (EXIT #1#))))))))) 

(DEFUN |INTPAF;prootintegrate1!2| (|#1| $$)
  (PROG ($ |cv|)
    (LETT $ (QREFELT $$ 4) . #0=(|INTPAF;prootintegrate1|))
    (LETT |cv| (QREFELT $$ 2) . #0#)
    (RETURN
      (PROGN
        (|INTPAF;UPUP2F1|
            (SPADCALL |#1|
                (|compiledLookupCheck| '|lift|
                    (LIST (LIST '|SparseUnivariatePolynomial|
                                (LIST '|Fraction|
                                      (LIST
                                       '|SparseUnivariatePolynomial|
                                       (|devaluate| (ELT $ 7)))))
                          '$)
                    (QREFELT $$ 3)))
            (QVELT |cv| 2) (QVELT |cv| 3) (QREFELT $$ 1) (QREFELT $$ 0)
            $))))) 

(DEFUN |INTPAF;prootintegrate1!1| (|#1| $$)
  (PROG ($ |cv|)
    (LETT $ (QREFELT $$ 3) . #0=(|INTPAF;prootintegrate1|))
    (LETT |cv| (QREFELT $$ 2) . #0#)
    (RETURN
      (PROGN
        (|INTPAF;UPUP2F1| (|INTPAF;RF2UPUP| |#1| (QREFELT $$ 4) $)
            (QVELT |cv| 2) (QVELT |cv| 3) (QREFELT $$ 1) (QREFELT $$ 0)
            $))))) 

(DEFUN |INTPAF;prootintegrate1!0| (|#1| $$)
  (SPADCALL |#1| (LIST (QREFELT $$ 4) (QREFELT $$ 3))
      (LIST (QREFELT $$ 2) (QREFELT $$ 1)) (QREFELT (QREFELT $$ 0) 97))) 

(DEFUN |INTPAF;rationalInt| (|f| |n| |g| $)
  (PROG (|a| #0=#:G1902)
    (RETURN
      (SEQ (COND
             ((NULL (EQL (SPADCALL |g| (QREFELT $ 58)) 1))
              (|error| "rationalInt: radicand must be linear"))
             ('T
              (SEQ (LETT |a| (SPADCALL |g| (QREFELT $ 110))
                         . #1=(|INTPAF;rationalInt|))
                   (EXIT (SPADCALL
                             (SPADCALL
                                 (SPADCALL |n|
                                     (SPADCALL
                                      (SPADCALL |a| (QREFELT $ 111))
                                      (PROG1 (LETT #0# (- |n| 1) . #1#)
                                        (|check-subtype| (>= #0# 0)
                                         '(|NonNegativeInteger|) #0#))
                                      (QREFELT $ 61))
                                     (QREFELT $ 112))
                                 (|INTPAF;chv| |f| |n| |a|
                                     (SPADCALL
                                      (SPADCALL |g| (QREFELT $ 113))
                                      (QREFELT $ 110))
                                     $)
                                 (QREFELT $ 114))
                             (QREFELT $ 76)))))))))) 

(DEFUN |INTPAF;chv0| (|f| |n| |a| |b| $)
  (PROG (|d|)
    (RETURN
      (SEQ (LETT |d| (SPADCALL (QREFELT $ 14) (QREFELT $ 20))
                 |INTPAF;chv0|)
           (EXIT (SPADCALL
                     (SPADCALL |f|
                         (SPADCALL (SPADCALL |d| (QREFELT $ 26))
                             (QREFELT $ 27))
                         (QREFELT $ 115))
                     (SPADCALL
                         (SPADCALL (SPADCALL |d| |n| (QREFELT $ 116))
                             |b| (QREFELT $ 117))
                         |a| (QREFELT $ 118))
                     (QREFELT $ 67))))))) 

(DEFUN |INTPAF;candidates| (|p| $)
  (PROG (|i| #0=#:G1919 |xi| |u| |l|)
    (RETURN
      (SEQ (LETT |l| NIL . #1=(|INTPAF;candidates|))
           (EXIT (COND
                   ((SPADCALL |p| (QREFELT $ 119)) |l|)
                   ('T
                    (SEQ (SEQ (LETT |i| 2 . #1#)
                              (LETT #0#
                                    (SPADCALL |p| (QREFELT $ 58)) . #1#)
                              G190
                              (COND ((QSGREATERP |i| #0#) (GO G191)))
                              (SEQ (LETT |u|
                                    (SPADCALL |p|
                                     (LETT |xi|
                                      (SPADCALL (|spadConstant| $ 53)
                                       |i| (QREFELT $ 61)) . #1#)
                                     (QREFELT $ 121)) . #1#)
                                   (EXIT
                                    (COND
                                      ((QEQCAR |u| 0)
                                       (LETT |l|
                                        (CONS (CONS (QCDR |u|) |xi|)
                                         |l|) . #1#)))))
                              (LETT |i| (QSADD1 |i|) . #1#) (GO G190)
                              G191 (EXIT NIL))
                         (EXIT (CONS (CONS
                                      (SPADCALL (|spadConstant| $ 53) 1
                                       (QREFELT $ 61))
                                      |p|)
                                     |l|)))))))))) 

(DEFUN |INTPAF;changeVarIfCan| (|p| |radi| |n| $)
  (PROG (|rec| |cnd| #0=#:G1934 |u| #1=#:G1933 #2=#:G1931)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |rec| (SPADCALL |radi| |n| (QREFELT $ 123))
                            . #3=(|INTPAF;changeVarIfCan|))
                      (SEQ (EXIT (SEQ (LETT |cnd| NIL . #3#)
                                      (LETT #0#
                                       (|INTPAF;candidates|
                                        (QVELT |rec| 2) $) . #3#)
                                      G190
                                      (COND
                                        ((OR (ATOM #0#)
                                          (PROGN
                                            (LETT |cnd|
                                             (CAR #0#) . #3#)
                                            NIL))
                                         (GO G191)))
                                      (SEQ
                                       (LETT |u|
                                        (|INTPAF;chvarIfCan| |p|
                                         (QVELT |rec| 1) (QCDR |cnd|)
                                         (SPADCALL
                                          (SPADCALL
                                           (SPADCALL (QCDR |cnd|)
                                            (QREFELT $ 68))
                                           (QREFELT $ 27))
                                          (QREFELT $ 106))
                                         $) . #3#)
                                       (EXIT
                                        (COND
                                          ((QEQCAR |u| 0)
                                           (PROGN
                                             (LETT #2#
                                              (PROGN
                                                (LETT #1#
                                                 (CONS 0
                                                  (VECTOR (QCDR |u|)
                                                   (QCAR |cnd|)
                                                   (QCDR |cnd|)
                                                   (QVELT |rec| 1)
                                                   (QVELT |rec| 0))) . #3#)
                                                (GO #1#)) . #3#)
                                             (GO #2#))))))
                                      (LETT #0# (CDR #0#) . #3#)
                                      (GO G190) G191 (EXIT NIL)))
                           #2# (EXIT #2#))
                      (EXIT (CONS 1 "failed"))))
           #1# (EXIT #1#))))) 

(DEFUN |INTPAF;chvarIfCan| (|p| |d| |u| |u1| $)
  (PROG (|v| #0=#:G1948 |ans|)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |ans| (|spadConstant| $ 50)
                            . #1=(|INTPAF;chvarIfCan|))
                      (SEQ G190
                           (COND
                             ((NULL (COND
                                      ((SPADCALL |p|
                                        (|spadConstant| $ 50)
                                        (QREFELT $ 52))
                                       'NIL)
                                      ('T 'T)))
                              (GO G191)))
                           (SEQ (LETT |v|
                                      (SPADCALL
                                       (SPADCALL
                                        (SPADCALL |u1|
                                         (SPADCALL |p| (QREFELT $ 54))
                                         (QREFELT $ 124))
                                        (SPADCALL |d|
                                         (SPADCALL |p| (QREFELT $ 60))
                                         (QREFELT $ 125))
                                        (QREFELT $ 126))
                                       |u| (QREFELT $ 128)) . #1#)
                                (EXIT (COND
                                        ((QEQCAR |v| 1)
                                         (PROGN
                                           (LETT #0#
                                            (CONS 1 "failed") . #1#)
                                           (GO #0#)))
                                        ('T
                                         (SEQ
                                          (LETT |ans|
                                           (SPADCALL |ans|
                                            (SPADCALL (QCDR |v|)
                                             (SPADCALL |p|
                                              (QREFELT $ 60))
                                             (QREFELT $ 107))
                                            (QREFELT $ 129)) . #1#)
                                          (EXIT
                                           (LETT |p|
                                            (SPADCALL |p|
                                             (QREFELT $ 64)) . #1#)))))))
                           NIL (GO G190) G191 (EXIT NIL))
                      (EXIT (CONS 0 |ans|))))
           #0# (EXIT #0#))))) 

(DEFUN |INTPAF;algaddx| (|i| |xx| $)
  (PROG (#0=#:G1958 |ne| #1=#:G1959)
    (RETURN
      (SEQ (COND
             ((SPADCALL |i| (QREFELT $ 130)) |i|)
             ('T
              (SPADCALL (SPADCALL |i| (QREFELT $ 131))
                  (SPADCALL |i| (QREFELT $ 134))
                  (PROGN
                    (LETT #0# NIL . #2=(|INTPAF;algaddx|))
                    (SEQ (LETT |ne| NIL . #2#)
                         (LETT #1#
                               (SPADCALL |i| (QREFELT $ 137)) . #2#)
                         G190
                         (COND
                           ((OR (ATOM #1#)
                                (PROGN
                                  (LETT |ne| (CAR #1#) . #2#)
                                  NIL))
                            (GO G191)))
                         (SEQ (EXIT (LETT #0#
                                     (CONS
                                      (CONS
                                       (SPADCALL
                                        (SPADCALL (QCAR |ne|)
                                         (SPADCALL |xx| 2
                                          (QREFELT $ 139))
                                         (QREFELT $ 118))
                                        (QREFELT $ 140))
                                       |xx|)
                                      #0#) . #2#)))
                         (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                         (EXIT (NREVERSE0 #0#))))
                  (QREFELT $ 141)))))))) 

(DEFUN |INTPAF;prootRDE| (|nfp| |f| |g| |x| |k| |rde| $)
  (PROG (|p| |modulus| #0=#:G1965 |r| |rec| |q| |dqdx| |ff| |uf| |gg|
             |ug| #1=#:G1975 |u| #2=#:G1985 |curve| |rc| #3=#:G1982)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |modulus|
                            (SPADCALL
                                (LETT |p| (SPADCALL |k| (QREFELT $ 44))
                                      . #4=(|INTPAF;prootRDE|))
                                |x| (QREFELT $ 45)) . #4#)
                      (LETT |r|
                            (PROG2 (LETT #0#
                                    (SPADCALL |modulus| (QREFELT $ 85)) . #4#)
                                   (QCDR #0#)
                              (|check-union| (QEQCAR #0# 0)
                                  (|Record|
                                      (|:| |radicand|
                                       (|Fraction|
                                        (|SparseUnivariatePolynomial|
                                         (QREFELT $ 7))))
                                      (|:| |deg|
                                       (|NonNegativeInteger|)))
                                  #0#)) . #4#)
                      (LETT |rec|
                            (SPADCALL (QCAR |r|) (QCDR |r|)
                                (QREFELT $ 123)) . #4#)
                      (LETT |dqdx|
                            (SPADCALL
                                (SPADCALL
                                    (SPADCALL
                                     (LETT |q| (QVELT |rec| 2) . #4#)
                                     (QREFELT $ 68))
                                    (QREFELT $ 27))
                                (QREFELT $ 106)) . #4#)
                      (SEQ (LETT |uf|
                                 (|INTPAF;chvarIfCan|
                                     (LETT |ff|
                                      (SPADCALL |f| |x| |k| |p|
                                       (QREFELT $ 71)) . #4#)
                                     (QVELT |rec| 1) |q|
                                     (|spadConstant| $ 56) $) . #4#)
                           (EXIT (COND
                                   ((QEQCAR |uf| 0)
                                    (SEQ
                                     (LETT |ug|
                                      (|INTPAF;chvarIfCan|
                                       (LETT |gg|
                                        (SPADCALL |g| |x| |k| |p|
                                         (QREFELT $ 71)) . #4#)
                                       (QVELT |rec| 1) |q| |dqdx| $) . #4#)
                                     (EXIT
                                      (COND
                                        ((QEQCAR |ug| 0)
                                         (PROGN
                                           (LETT #2#
                                            (SEQ
                                             (LETT |u|
                                              (SPADCALL
                                               (|INTPAF;chv0|
                                                (QCDR |uf|)
                                                (QVELT |rec| 0)
                                                (|spadConstant| $ 53)
                                                (|spadConstant| $ 49)
                                                $)
                                               (SPADCALL
                                                (SPADCALL
                                                 (QVELT |rec| 0)
                                                 (SPADCALL
                                                  (SPADCALL
                                                   (QREFELT $ 14)
                                                   (QREFELT $ 20))
                                                  (* (QVELT |rec| 0)
                                                   (- (QVELT |rec| 0)
                                                    1))
                                                  (QREFELT $ 142))
                                                 (QREFELT $ 143))
                                                (|INTPAF;chv0|
                                                 (QCDR |ug|)
                                                 (QVELT |rec| 0)
                                                 (|spadConstant| $ 53)
                                                 (|spadConstant| $ 49)
                                                 $)
                                                (QREFELT $ 92))
                                               (PROG2
                                                (LETT #1#
                                                 (SPADCALL
                                                  (QREFELT $ 14)
                                                  (QREFELT $ 145)) . #4#)
                                                (QCDR #1#)
                                                 (|check-union|
                                                  (QEQCAR #1# 0)
                                                  (|Symbol|) #1#))
                                               |rde|) . #4#)
                                             (EXIT
                                              (COND
                                                ((QEQCAR |u| 1)
                                                 (CONS 1 "failed"))
                                                ('T
                                                 (CONS 0
                                                  (SPADCALL (QCDR |u|)
                                                   (QREFELT $ 14)
                                                   (SPADCALL |k|
                                                    (QREFELT $ 20))
                                                   (QREFELT $ 146))))))) . #4#)
                                           (GO #2#))))))))))
                      (EXIT (COND
                              ((SPADCALL (QVELT |rec| 1)
                                   (|spadConstant| $ 56)
                                   (QREFELT $ 147))
                               (SEQ (LETT |curve|
                                     (|RadicalFunctionField|
                                      (QREFELT $ 7)
                                      (|SparseUnivariatePolynomial|
                                       (QREFELT $ 7))
                                      (|SparseUnivariatePolynomial|
                                       (|Fraction|
                                        (|SparseUnivariatePolynomial|
                                         (QREFELT $ 7))))
                                      (SPADCALL |q| (QREFELT $ 27))
                                      (QVELT |rec| 0)) . #4#)
                                    (LETT |rc|
                                     (SPADCALL
                                      (SPADCALL
                                       (SPADCALL
                                        (|compiledLookupCheck| 'D
                                         (LIST '$)
                                         (|LinearOrdinaryDifferentialOperator1|
                                          |curve|)))
                                       (SPADCALL
                                        (SPADCALL
                                         (SPADCALL |nfp| |x| |k| |p|
                                          (QREFELT $ 71))
                                         (|compiledLookupCheck|
                                          '|reduce|
                                          (LIST '$
                                           (LIST
                                            '|SparseUnivariatePolynomial|
                                            (LIST '|Fraction|
                                             (LIST
                                              '|SparseUnivariatePolynomial|
                                              (|devaluate| (ELT $ 7))))))
                                          |curve|))
                                        (|compiledLookupCheck|
                                         '|coerce|
                                         (LIST '$
                                          (|devaluate| |curve|))
                                         (|LinearOrdinaryDifferentialOperator1|
                                          |curve|)))
                                       (|compiledLookupCheck| '+
                                        (LIST '$ '$ '$)
                                        (|LinearOrdinaryDifferentialOperator1|
                                         |curve|)))
                                      (SPADCALL
                                       (SPADCALL |g| |x| |k| |p|
                                        (QREFELT $ 71))
                                       (|compiledLookupCheck| '|reduce|
                                        (LIST '$
                                         (LIST
                                          '|SparseUnivariatePolynomial|
                                          (LIST '|Fraction|
                                           (LIST
                                            '|SparseUnivariatePolynomial|
                                            (|devaluate| (ELT $ 7))))))
                                        |curve|))
                                      (|compiledLookupCheck|
                                       '|algDsolve|
                                       (LIST
                                        (LIST '|Record|
                                         (LIST '|:| '|particular|
                                          (LIST '|Union|
                                           (|devaluate| |curve|)
                                           '"failed"))
                                         (LIST '|:| '|basis|
                                          (LIST '|List|
                                           (|devaluate| |curve|))))
                                        (LIST
                                         '|LinearOrdinaryDifferentialOperator1|
                                         (|devaluate| |curve|))
                                        (|devaluate| |curve|))
                                       (|PureAlgebraicLODE| (ELT $ 7)
                                        (|SparseUnivariatePolynomial|
                                         (ELT $ 7))
                                        (|SparseUnivariatePolynomial|
                                         (|Fraction|
                                          (|SparseUnivariatePolynomial|
                                           (ELT $ 7))))
                                        |curve|))) . #4#)
                                    (EXIT
                                     (COND
                                       ((QEQCAR (QCAR |rc|) 1)
                                        (CONS 1 "failed"))
                                       ('T
                                        (CONS 0
                                         (|INTPAF;UPUP2F0|
                                          (SPADCALL
                                           (PROG2
                                            (LETT #3#
                                             (QCAR |rc|) . #4#)
                                            (QCDR #3#)
                                             (|check-union|
                                              (QEQCAR #3# 0) |curve|
                                              #3#))
                                           (|compiledLookupCheck|
                                            '|lift|
                                            (LIST
                                             (LIST
                                              '|SparseUnivariatePolynomial|
                                              (LIST '|Fraction|
                                               (LIST
                                                '|SparseUnivariatePolynomial|
                                                (|devaluate| (ELT $ 7)))))
                                             '$)
                                            |curve|))
                                          |x| |k| $)))))))
                              ('T
                               (|INTPAF;palgRDE1| |nfp| |g| |x| |k| $))))))
           #2# (EXIT #2#))))) 

(DEFUN |INTPAF;prootlimint| (|f| |x| |k| |lu| $)
  (PROG (|p| |modulus| |rec| |ff| |uf| #0=#:G2011 |n| |u| #1=#:G2037
             |uu| |v| |l| |m| |cv| #2=#:G1993 |r| |q| |dqdx| |curve|
             |ui|)
    (RETURN
      (SEQ (LETT |modulus|
                 (SPADCALL
                     (LETT |p| (SPADCALL |k| (QREFELT $ 44))
                           . #3=(|INTPAF;prootlimint|))
                     |x| (QREFELT $ 45)) . #3#)
           (LETT |r|
                 (PROG2 (LETT #2#
                              (SPADCALL |modulus| (QREFELT $ 85)) . #3#)
                        (QCDR #2#)
                   (|check-union| (QEQCAR #2# 0)
                       (|Record|
                           (|:| |radicand|
                                (|Fraction|
                                    (|SparseUnivariatePolynomial|
                                     (QREFELT $ 7))))
                           (|:| |deg| (|NonNegativeInteger|)))
                       #2#)) . #3#)
           (LETT |rec|
                 (SPADCALL (QCAR |r|) (QCDR |r|) (QREFELT $ 123)) . #3#)
           (LETT |dqdx|
                 (SPADCALL
                     (SPADCALL
                         (SPADCALL (LETT |q| (QVELT |rec| 2) . #3#)
                             (QREFELT $ 68))
                         (QREFELT $ 27))
                     (QREFELT $ 106)) . #3#)
           (LETT |uf|
                 (|INTPAF;chvarIfCan|
                     (LETT |ff|
                           (SPADCALL |f| |x| |k| |p| (QREFELT $ 71)) . #3#)
                     (QVELT |rec| 1) |q| |dqdx| $) . #3#)
           (EXIT (COND
                   ((QEQCAR |uf| 0)
                    (SEQ (LETT |l| NIL . #3#)
                         (LETT |n|
                               (SPADCALL (QVELT |rec| 0)
                                   (SPADCALL (|spadConstant| $ 53)
                                    (PROG1
                                     (LETT #0#
                                      (- (QVELT |rec| 0) 1) . #3#)
                                      (|check-subtype| (>= #0# 0)
                                       '(|NonNegativeInteger|) #0#))
                                    (QREFELT $ 61))
                                   (QREFELT $ 148)) . #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 (LETT |v|
                                    (|INTPAF;chvarIfCan|
                                     (LETT |uu|
                                      (SPADCALL |u| |x| |k| |p|
                                       (QREFELT $ 71)) . #3#)
                                     (QVELT |rec| 1) |q| |dqdx| $) . #3#)
                                   (EXIT
                                    (COND
                                      ((QEQCAR |v| 0)
                                       (LETT |l|
                                        (CONS
                                         (SPADCALL |n|
                                          (|INTPAF;chv| (QCDR |v|)
                                           (QVELT |rec| 0)
                                           (|spadConstant| $ 53)
                                           (|spadConstant| $ 49) $)
                                          (QREFELT $ 114))
                                         |l|) . #3#))
                                      ('T
                                       (|error|
                                        "failed - cannot handle that integrand")))))
                              (LETT #1# (CDR #1#) . #3#) (GO G190) G191
                              (EXIT NIL))
                         (LETT |m|
                               (SPADCALL
                                   (SPADCALL (|spadConstant| $ 56)
                                    (QVELT |rec| 0) (QREFELT $ 107))
                                   (SPADCALL
                                    (SPADCALL |q| (QREFELT $ 27))
                                    (QREFELT $ 108))
                                   (QREFELT $ 109)) . #3#)
                         (EXIT (SPADCALL
                                   (CONS #'|INTPAF;prootlimint!0|
                                    (VECTOR |k| |x| $ |m|))
                                   (SPADCALL
                                    (SPADCALL |n|
                                     (|INTPAF;chv| (QCDR |uf|)
                                      (QVELT |rec| 0)
                                      (|spadConstant| $ 53)
                                      (|spadConstant| $ 49) $)
                                     (QREFELT $ 114))
                                    (NREVERSE |l|) (QREFELT $ 153))
                                   (QREFELT $ 157)))))
                   (#4='T
                    (SEQ (LETT |cv|
                               (SPADCALL |ff| |modulus|
                                   (QREFELT $ 103)) . #3#)
                         (LETT |r|
                               (PROG2 (LETT #2#
                                       (SPADCALL (QVELT |cv| 1)
                                        (QREFELT $ 85)) . #3#)
                                      (QCDR #2#)
                                 (|check-union| (QEQCAR #2# 0)
                                     (|Record|
                                      (|:| |radicand|
                                       (|Fraction|
                                        (|SparseUnivariatePolynomial|
                                         (QREFELT $ 7))))
                                      (|:| |deg|
                                       (|NonNegativeInteger|)))
                                     #2#)) . #3#)
                         (LETT |dqdx|
                               (SPADCALL
                                   (SPADCALL
                                    (SPADCALL
                                     (LETT |q|
                                      (SPADCALL (QCAR |r|)
                                       (QREFELT $ 104)) . #3#)
                                     (QREFELT $ 68))
                                    (QREFELT $ 27))
                                   (QREFELT $ 106)) . #3#)
                         (LETT |curve|
                               (|RadicalFunctionField| (QREFELT $ 7)
                                   (|SparseUnivariatePolynomial|
                                    (QREFELT $ 7))
                                   (|SparseUnivariatePolynomial|
                                    (|Fraction|
                                     (|SparseUnivariatePolynomial|
                                      (QREFELT $ 7))))
                                   (SPADCALL |q| (QREFELT $ 27))
                                   (QCDR |r|)) . #3#)
                         (LETT |ui|
                               (SPADCALL
                                   (SPADCALL (QVELT |cv| 0)
                                    (|compiledLookupCheck| '|reduce|
                                     (LIST '$
                                      (LIST
                                       '|SparseUnivariatePolynomial|
                                       (LIST '|Fraction|
                                        (LIST
                                         '|SparseUnivariatePolynomial|
                                         (|devaluate| (ELT $ 7))))))
                                     |curve|))
                                   (ELT $ 68)
                                   (|compiledLookupCheck|
                                    '|palginfieldint|
                                    (LIST
                                     (LIST '|Union|
                                      (|devaluate| |curve|) '"failed")
                                     (|devaluate| |curve|)
                                     (LIST '|Mapping|
                                      (LIST
                                       '|SparseUnivariatePolynomial|
                                       (|devaluate| (ELT $ 7)))
                                      (LIST
                                       '|SparseUnivariatePolynomial|
                                       (|devaluate| (ELT $ 7)))))
                                    (|AlgebraicIntegrate| (ELT $ 6)
                                     (ELT $ 7)
                                     (|SparseUnivariatePolynomial|
                                      (ELT $ 7))
                                     (|SparseUnivariatePolynomial|
                                      (|Fraction|
                                       (|SparseUnivariatePolynomial|
                                        (ELT $ 7))))
                                     |curve|))) . #3#)
                         (EXIT (COND
                                 ((QEQCAR |ui| 1)
                                  (|error| "failed - cannot handle that integrand"))
                                 (#4#
                                  (CONS 0
                                        (CONS
                                         (|INTPAF;UPUP2F1|
                                          (SPADCALL (QCDR |ui|)
                                           (|compiledLookupCheck|
                                            '|lift|
                                            (LIST
                                             (LIST
                                              '|SparseUnivariatePolynomial|
                                              (LIST '|Fraction|
                                               (LIST
                                                '|SparseUnivariatePolynomial|
                                                (|devaluate| (ELT $ 7)))))
                                             '$)
                                            |curve|))
                                          (QVELT |cv| 2) (QVELT |cv| 3)
                                          |x| |k| $)
                                         NIL))))))))))))) 

(DEFUN |INTPAF;prootlimint!0| (|#1| $$)
  (PROG ($)
    (LETT $ (QREFELT $$ 2) |INTPAF;prootlimint|)
    (RETURN
      (PROGN
        (|INTPAF;UPUP2F0| (|INTPAF;RF2UPUP| |#1| (QREFELT $$ 3) $)
            (QREFELT $$ 1) (QREFELT $$ 0) $))))) 

(DEFUN |INTPAF;prootextint| (|f| |x| |k| |g| $)
  (PROG (|p| |modulus| |rec| |ff| |uf| |gg| |ug| |m| #0=#:G2062 |n|
             #1=#:G2082 |cv| #2=#:G2044 |r| |q| |dqdx| |curve| |u|)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |modulus|
                            (SPADCALL
                                (LETT |p| (SPADCALL |k| (QREFELT $ 44))
                                      . #3=(|INTPAF;prootextint|))
                                |x| (QREFELT $ 45)) . #3#)
                      (LETT |r|
                            (PROG2 (LETT #2#
                                    (SPADCALL |modulus| (QREFELT $ 85)) . #3#)
                                   (QCDR #2#)
                              (|check-union| (QEQCAR #2# 0)
                                  (|Record|
                                      (|:| |radicand|
                                       (|Fraction|
                                        (|SparseUnivariatePolynomial|
                                         (QREFELT $ 7))))
                                      (|:| |deg|
                                       (|NonNegativeInteger|)))
                                  #2#)) . #3#)
                      (LETT |rec|
                            (SPADCALL (QCAR |r|) (QCDR |r|)
                                (QREFELT $ 123)) . #3#)
                      (LETT |dqdx|
                            (SPADCALL
                                (SPADCALL
                                    (SPADCALL
                                     (LETT |q| (QVELT |rec| 2) . #3#)
                                     (QREFELT $ 68))
                                    (QREFELT $ 27))
                                (QREFELT $ 106)) . #3#)
                      (SEQ (LETT |uf|
                                 (|INTPAF;chvarIfCan|
                                     (LETT |ff|
                                      (SPADCALL |f| |x| |k| |p|
                                       (QREFELT $ 71)) . #3#)
                                     (QVELT |rec| 1) |q| |dqdx| $) . #3#)
                           (EXIT (COND
                                   ((QEQCAR |uf| 0)
                                    (SEQ
                                     (LETT |ug|
                                      (|INTPAF;chvarIfCan|
                                       (LETT |gg|
                                        (SPADCALL |g| |x| |k| |p|
                                         (QREFELT $ 71)) . #3#)
                                       (QVELT |rec| 1) |q| |dqdx| $) . #3#)
                                     (EXIT
                                      (COND
                                        ((QEQCAR |ug| 0)
                                         (PROGN
                                           (LETT #1#
                                            (SEQ
                                             (LETT |m|
                                              (SPADCALL
                                               (SPADCALL
                                                (|spadConstant| $ 56)
                                                (QVELT |rec| 0)
                                                (QREFELT $ 107))
                                               (SPADCALL
                                                (SPADCALL |q|
                                                 (QREFELT $ 27))
                                                (QREFELT $ 108))
                                               (QREFELT $ 109)) . #3#)
                                             (LETT |n|
                                              (SPADCALL (QVELT |rec| 0)
                                               (SPADCALL
                                                (|spadConstant| $ 53)
                                                (PROG1
                                                 (LETT #0#
                                                  (- (QVELT |rec| 0) 1) . #3#)
                                                  (|check-subtype|
                                                   (>= #0# 0)
                                                   '(|NonNegativeInteger|)
                                                   #0#))
                                                (QREFELT $ 61))
                                               (QREFELT $ 148)) . #3#)
                                             (EXIT
                                              (SPADCALL
                                               (CONS
                                                #'|INTPAF;prootextint!0|
                                                (VECTOR |k| |x| $ |m|))
                                               (SPADCALL
                                                (SPADCALL |n|
                                                 (|INTPAF;chv|
                                                  (QCDR |uf|)
                                                  (QVELT |rec| 0)
                                                  (|spadConstant| $ 53)
                                                  (|spadConstant| $ 49)
                                                  $)
                                                 (QREFELT $ 114))
                                                (SPADCALL |n|
                                                 (|INTPAF;chv|
                                                  (QCDR |ug|)
                                                  (QVELT |rec| 0)
                                                  (|spadConstant| $ 53)
                                                  (|spadConstant| $ 49)
                                                  $)
                                                 (QREFELT $ 114))
                                                (QREFELT $ 160))
                                               (QREFELT $ 163)))) . #3#)
                                           (GO #1#))))))))))
                      (LETT |cv|
                            (SPADCALL |ff| |modulus| (QREFELT $ 103)) . #3#)
                      (LETT |r|
                            (PROG2 (LETT #2#
                                    (SPADCALL (QVELT |cv| 1)
                                     (QREFELT $ 85)) . #3#)
                                   (QCDR #2#)
                              (|check-union| (QEQCAR #2# 0)
                                  (|Record|
                                      (|:| |radicand|
                                       (|Fraction|
                                        (|SparseUnivariatePolynomial|
                                         (QREFELT $ 7))))
                                      (|:| |deg|
                                       (|NonNegativeInteger|)))
                                  #2#)) . #3#)
                      (LETT |dqdx|
                            (SPADCALL
                                (SPADCALL
                                    (SPADCALL
                                     (LETT |q|
                                      (SPADCALL (QCAR |r|)
                                       (QREFELT $ 104)) . #3#)
                                     (QREFELT $ 68))
                                    (QREFELT $ 27))
                                (QREFELT $ 106)) . #3#)
                      (LETT |curve|
                            (|RadicalFunctionField| (QREFELT $ 7)
                                (|SparseUnivariatePolynomial|
                                    (QREFELT $ 7))
                                (|SparseUnivariatePolynomial|
                                    (|Fraction|
                                     (|SparseUnivariatePolynomial|
                                      (QREFELT $ 7))))
                                (SPADCALL |q| (QREFELT $ 27))
                                (QCDR |r|)) . #3#)
                      (LETT |u|
                            (SPADCALL
                                (SPADCALL (QVELT |cv| 0)
                                    (|compiledLookupCheck| '|reduce|
                                     (LIST '$
                                      (LIST
                                       '|SparseUnivariatePolynomial|
                                       (LIST '|Fraction|
                                        (LIST
                                         '|SparseUnivariatePolynomial|
                                         (|devaluate| (ELT $ 7))))))
                                     |curve|))
                                (ELT $ 68)
                                (|compiledLookupCheck|
                                    '|palginfieldint|
                                    (LIST
                                     (LIST '|Union|
                                      (|devaluate| |curve|) '"failed")
                                     (|devaluate| |curve|)
                                     (LIST '|Mapping|
                                      (LIST
                                       '|SparseUnivariatePolynomial|
                                       (|devaluate| (ELT $ 7)))
                                      (LIST
                                       '|SparseUnivariatePolynomial|
                                       (|devaluate| (ELT $ 7)))))
                                    (|AlgebraicIntegrate| (ELT $ 6)
                                     (ELT $ 7)
                                     (|SparseUnivariatePolynomial|
                                      (ELT $ 7))
                                     (|SparseUnivariatePolynomial|
                                      (|Fraction|
                                       (|SparseUnivariatePolynomial|
                                        (ELT $ 7))))
                                     |curve|))) . #3#)
                      (EXIT (COND
                              ((QEQCAR |u| 1)
                               (|error| "failed - cannot handle that integrand"))
                              ('T
                               (CONS 0
                                     (CONS
                                      (|INTPAF;UPUP2F1|
                                       (SPADCALL (QCDR |u|)
                                        (|compiledLookupCheck| '|lift|
                                         (LIST
                                          (LIST
                                           '|SparseUnivariatePolynomial|
                                           (LIST '|Fraction|
                                            (LIST
                                             '|SparseUnivariatePolynomial|
                                             (|devaluate| (ELT $ 7)))))
                                          '$)
                                         |curve|))
                                       (QVELT |cv| 2) (QVELT |cv| 3)
                                       |x| |k| $)
                                      (|spadConstant| $ 49))))))))
           #1# (EXIT #1#))))) 

(DEFUN |INTPAF;prootextint!0| (|#1| $$)
  (PROG ($)
    (LETT $ (QREFELT $$ 2) |INTPAF;prootextint|)
    (RETURN
      (PROGN
        (|INTPAF;UPUP2F0| (|INTPAF;RF2UPUP| |#1| (QREFELT $$ 3) $)
            (QREFELT $$ 1) (QREFELT $$ 0) $))))) 

(DEFUN |INTPAF;palgRDE1| (|nfp| |g| |x| |y| $)
  (PROG (#0=#:G2088)
    (RETURN
      (QCAR (|INTPAF;palgLODE1| (LIST |nfp| (|spadConstant| $ 53)) |g|
                |x| |y|
                (PROG2 (LETT #0# (SPADCALL |x| (QREFELT $ 145))
                             |INTPAF;palgRDE1|)
                       (QCDR #0#)
                  (|check-union| (QEQCAR #0# 0) (|Symbol|) #0#))
                $))))) 

(DEFUN |INTPAF;palgLODE1| (|eq| |g| |kx| |y| |x| $)
  (PROG (|p| |modulus| |curve| |i| |f| #0=#:G2107 |neq| #1=#:G2108
             #2=#:G2109 |bas| #3=#:G2097 |rec| #4=#:G2110 |h|
             #5=#:G2111)
    (RETURN
      (SEQ (LETT |modulus|
                 (SPADCALL
                     (LETT |p| (SPADCALL |y| (QREFELT $ 44))
                           . #6=(|INTPAF;palgLODE1|))
                     |kx| (QREFELT $ 45)) . #6#)
           (LETT |curve|
                 (|AlgebraicFunctionField| (QREFELT $ 7)
                     (|SparseUnivariatePolynomial| (QREFELT $ 7))
                     (|SparseUnivariatePolynomial|
                         (|Fraction|
                             (|SparseUnivariatePolynomial|
                                 (QREFELT $ 7))))
                     |modulus|) . #6#)
           (LETT |neq|
                 (SPADCALL
                     (|compiledLookupCheck| '|Zero| (LIST '$)
                         (|LinearOrdinaryDifferentialOperator1|
                             |curve|))) . #6#)
           (SEQ (LETT |i| 0 . #6#) (LETT |f| NIL . #6#)
                (LETT #0# |eq| . #6#) G190
                (COND
                  ((OR (ATOM #0#)
                       (PROGN (LETT |f| (CAR #0#) . #6#) NIL))
                   #7=(GO G191)))
                (SEQ (EXIT (LETT |neq|
                                 (SPADCALL |neq|
                                     (SPADCALL
                                      (SPADCALL
                                       (SPADCALL |f| |kx| |y| |p|
                                        (QREFELT $ 71))
                                       (|compiledLookupCheck| '|reduce|
                                        (LIST '$
                                         (LIST
                                          '|SparseUnivariatePolynomial|
                                          (LIST '|Fraction|
                                           (LIST
                                            '|SparseUnivariatePolynomial|
                                            (|devaluate| (ELT $ 7))))))
                                        |curve|))
                                      |i|
                                      (|compiledLookupCheck|
                                       '|monomial|
                                       (LIST '$ (|devaluate| |curve|)
                                        (LIST '|NonNegativeInteger|))
                                       (|LinearOrdinaryDifferentialOperator1|
                                        |curve|)))
                                     (|compiledLookupCheck| '+
                                      (LIST '$ '$ '$)
                                      (|LinearOrdinaryDifferentialOperator1|
                                       |curve|))) . #6#)))
                (LETT #0#
                      (PROG1 (CDR #0#) (LETT |i| (QSADD1 |i|) . #6#)) . #6#)
                #8=(GO G190) G191 (EXIT NIL))
           (EXIT (COND
                   ((NULL (SPADCALL |y|
                              (SPADCALL |kx|
                                  (SPADCALL
                                      (SPADCALL |g| (QREFELT $ 164))
                                      |x| (QREFELT $ 167))
                                  (QREFELT $ 168))
                              (QREFELT $ 168)))
                    (SEQ (LETT |rec|
                               (SPADCALL |neq|
                                   (SPADCALL
                                    (SPADCALL |g| |kx| |y| |p|
                                     (QREFELT $ 71))
                                    (|compiledLookupCheck| '|reduce|
                                     (LIST '$
                                      (LIST
                                       '|SparseUnivariatePolynomial|
                                       (LIST '|Fraction|
                                        (LIST
                                         '|SparseUnivariatePolynomial|
                                         (|devaluate| (ELT $ 7))))))
                                     |curve|))
                                   (|compiledLookupCheck| '|algDsolve|
                                    (LIST
                                     (LIST '|Record|
                                      (LIST '|:| '|particular|
                                       (LIST '|Union|
                                        (|devaluate| |curve|)
                                        '"failed"))
                                      (LIST '|:| '|basis|
                                       (LIST '|List|
                                        (|devaluate| |curve|))))
                                     (LIST
                                      '|LinearOrdinaryDifferentialOperator1|
                                      (|devaluate| |curve|))
                                     (|devaluate| |curve|))
                                    (|PureAlgebraicLODE| (ELT $ 7)
                                     (|SparseUnivariatePolynomial|
                                      (ELT $ 7))
                                     (|SparseUnivariatePolynomial|
                                      (|Fraction|
                                       (|SparseUnivariatePolynomial|
                                        (ELT $ 7))))
                                     |curve|))) . #6#)
                         (LETT |bas|
                               (PROGN
                                 (LETT #1# NIL . #6#)
                                 (SEQ (LETT |h| NIL . #6#)
                                      (LETT #2# (QCDR |rec|) . #6#)
                                      G190
                                      (COND
                                        ((OR (ATOM #2#)
                                          (PROGN
                                            (LETT |h| (CAR #2#) . #6#)
                                            NIL))
                                         #7#))
                                      (SEQ
                                       (EXIT
                                        (LETT #1#
                                         (CONS
                                          (|INTPAF;UPUP2F0|
                                           (SPADCALL |h|
                                            (|compiledLookupCheck|
                                             '|lift|
                                             (LIST
                                              (LIST
                                               '|SparseUnivariatePolynomial|
                                               (LIST '|Fraction|
                                                (LIST
                                                 '|SparseUnivariatePolynomial|
                                                 (|devaluate|
                                                  (ELT $ 7)))))
                                              '$)
                                             |curve|))
                                           |kx| |y| $)
                                          #1#) . #6#)))
                                      (LETT #2# (CDR #2#) . #6#) #8#
                                      G191 (EXIT (NREVERSE0 #1#)))) . #6#)
                         (EXIT (COND
                                 ((QEQCAR (QCAR |rec|) 1)
                                  (CONS (CONS 1 "failed") |bas|))
                                 ('T
                                  (CONS (CONS 0
                                         (|INTPAF;UPUP2F0|
                                          (SPADCALL
                                           (PROG2
                                            (LETT #3#
                                             (QCAR |rec|) . #6#)
                                            (QCDR #3#)
                                             (|check-union|
                                              (QEQCAR #3# 0) |curve|
                                              #3#))
                                           (|compiledLookupCheck|
                                            '|lift|
                                            (LIST
                                             (LIST
                                              '|SparseUnivariatePolynomial|
                                              (LIST '|Fraction|
                                               (LIST
                                                '|SparseUnivariatePolynomial|
                                                (|devaluate| (ELT $ 7)))))
                                             '$)
                                            |curve|))
                                          |kx| |y| $))
                                        |bas|))))))
                   ('T
                    (SEQ (LETT |rec|
                               (SPADCALL |neq|
                                   (SPADCALL
                                    (|compiledLookupCheck| '|Zero|
                                     (LIST '$) |curve|))
                                   (|compiledLookupCheck| '|algDsolve|
                                    (LIST
                                     (LIST '|Record|
                                      (LIST '|:| '|particular|
                                       (LIST '|Union|
                                        (|devaluate| |curve|)
                                        '"failed"))
                                      (LIST '|:| '|basis|
                                       (LIST '|List|
                                        (|devaluate| |curve|))))
                                     (LIST
                                      '|LinearOrdinaryDifferentialOperator1|
                                      (|devaluate| |curve|))
                                     (|devaluate| |curve|))
                                    (|PureAlgebraicLODE| (ELT $ 7)
                                     (|SparseUnivariatePolynomial|
                                      (ELT $ 7))
                                     (|SparseUnivariatePolynomial|
                                      (|Fraction|
                                       (|SparseUnivariatePolynomial|
                                        (ELT $ 7))))
                                     |curve|))) . #6#)
                         (EXIT (CONS (CONS 1 "failed")
                                     (PROGN
                                       (LETT #4# NIL . #6#)
                                       (SEQ (LETT |h| NIL . #6#)
                                        (LETT #5# (QCDR |rec|) . #6#)
                                        G190
                                        (COND
                                          ((OR (ATOM #5#)
                                            (PROGN
                                              (LETT |h|
                                               (CAR #5#) . #6#)
                                              NIL))
                                           #7#))
                                        (SEQ
                                         (EXIT
                                          (LETT #4#
                                           (CONS
                                            (|INTPAF;UPUP2F0|
                                             (SPADCALL |h|
                                              (|compiledLookupCheck|
                                               '|lift|
                                               (LIST
                                                (LIST
                                                 '|SparseUnivariatePolynomial|
                                                 (LIST '|Fraction|
                                                  (LIST
                                                   '|SparseUnivariatePolynomial|
                                                   (|devaluate|
                                                    (ELT $ 7)))))
                                                '$)
                                               |curve|))
                                             |kx| |y| $)
                                            #4#) . #6#)))
                                        (LETT #5# (CDR #5#) . #6#) #8#
                                        G191 (EXIT (NREVERSE0 #4#)))))))))))))) 

(DEFUN |INTPAF;palgintegrate| (|f| |x| |k| $)
  (PROG (|p| |modulus| |cv| |curve|)
    (RETURN
      (SEQ (LETT |modulus|
                 (SPADCALL
                     (LETT |p| (SPADCALL |k| (QREFELT $ 44))
                           . #0=(|INTPAF;palgintegrate|))
                     |x| (QREFELT $ 45)) . #0#)
           (LETT |cv|
                 (SPADCALL (SPADCALL |f| |x| |k| |p| (QREFELT $ 71))
                     |modulus| (QREFELT $ 103)) . #0#)
           (LETT |curve|
                 (|AlgebraicFunctionField| (QREFELT $ 7)
                     (|SparseUnivariatePolynomial| (QREFELT $ 7))
                     (|SparseUnivariatePolynomial|
                         (|Fraction|
                             (|SparseUnivariatePolynomial|
                                 (QREFELT $ 7))))
                     (QVELT |cv| 1)) . #0#)
           (SPADCALL (QVELT |cv| 4)
               (|compiledLookupCheck| '|knownInfBasis|
                   (LIST (LIST '|Void|) (LIST '|NonNegativeInteger|))
                   |curve|))
           (EXIT (|INTPAF;algaddx|
                     (SPADCALL
                         (CONS #'|INTPAF;palgintegrate!0|
                               (VECTOR |k| |x| |cv| |curve| $))
                         (SPADCALL
                             (SPADCALL (QVELT |cv| 0)
                                 (|compiledLookupCheck| '|reduce|
                                     (LIST '$
                                      (LIST
                                       '|SparseUnivariatePolynomial|
                                       (LIST '|Fraction|
                                        (LIST
                                         '|SparseUnivariatePolynomial|
                                         (|devaluate| (ELT $ 7))))))
                                     |curve|))
                             (ELT $ 68)
                             (|compiledLookupCheck| '|palgintegrate|
                                 (LIST (LIST '|IntegrationResult|
                                        (|devaluate| |curve|))
                                       (|devaluate| |curve|)
                                       (LIST '|Mapping|
                                        (LIST
                                         '|SparseUnivariatePolynomial|
                                         (|devaluate| (ELT $ 7)))
                                        (LIST
                                         '|SparseUnivariatePolynomial|
                                         (|devaluate| (ELT $ 7)))))
                                 (|AlgebraicIntegrate| (ELT $ 6)
                                     (ELT $ 7)
                                     (|SparseUnivariatePolynomial|
                                      (ELT $ 7))
                                     (|SparseUnivariatePolynomial|
                                      (|Fraction|
                                       (|SparseUnivariatePolynomial|
                                        (ELT $ 7))))
                                     |curve|)))
                         (|compiledLookupCheck| '|map|
                             (LIST (LIST '|IntegrationResult|
                                    (|devaluate| (ELT $ 7)))
                                   (LIST '|Mapping|
                                    (|devaluate| (ELT $ 7))
                                    (|devaluate| |curve|))
                                   (LIST '|IntegrationResult|
                                    (|devaluate| |curve|)))
                             (|IntegrationResultFunctions2| |curve|
                                 (ELT $ 7))))
                     (SPADCALL |x| (QREFELT $ 20)) $)))))) 

(DEFUN |INTPAF;palgintegrate!0| (|#1| $$)
  (PROG ($ |cv|)
    (LETT $ (QREFELT $$ 4) . #0=(|INTPAF;palgintegrate|))
    (LETT |cv| (QREFELT $$ 2) . #0#)
    (RETURN
      (PROGN
        (|INTPAF;UPUP2F1|
            (SPADCALL |#1|
                (|compiledLookupCheck| '|lift|
                    (LIST (LIST '|SparseUnivariatePolynomial|
                                (LIST '|Fraction|
                                      (LIST
                                       '|SparseUnivariatePolynomial|
                                       (|devaluate| (ELT $ 7)))))
                          '$)
                    (QREFELT $$ 3)))
            (QVELT |cv| 2) (QVELT |cv| 3) (QREFELT $$ 1) (QREFELT $$ 0)
            $))))) 

(DEFUN |INTPAF;palglim| (|f| |x| |k| |lu| $)
  (PROG (|p| |modulus| |cv| |curve| |u|)
    (RETURN
      (SEQ (LETT |modulus|
                 (SPADCALL
                     (LETT |p| (SPADCALL |k| (QREFELT $ 44))
                           . #0=(|INTPAF;palglim|))
                     |x| (QREFELT $ 45)) . #0#)
           (LETT |cv|
                 (SPADCALL (SPADCALL |f| |x| |k| |p| (QREFELT $ 71))
                     |modulus| (QREFELT $ 103)) . #0#)
           (LETT |curve|
                 (|AlgebraicFunctionField| (QREFELT $ 7)
                     (|SparseUnivariatePolynomial| (QREFELT $ 7))
                     (|SparseUnivariatePolynomial|
                         (|Fraction|
                             (|SparseUnivariatePolynomial|
                                 (QREFELT $ 7))))
                     (QVELT |cv| 1)) . #0#)
           (SPADCALL (QVELT |cv| 4)
               (|compiledLookupCheck| '|knownInfBasis|
                   (LIST (LIST '|Void|) (LIST '|NonNegativeInteger|))
                   |curve|))
           (LETT |u|
                 (SPADCALL
                     (SPADCALL (QVELT |cv| 0)
                         (|compiledLookupCheck| '|reduce|
                             (LIST '$
                                   (LIST '|SparseUnivariatePolynomial|
                                    (LIST '|Fraction|
                                     (LIST
                                      '|SparseUnivariatePolynomial|
                                      (|devaluate| (ELT $ 7))))))
                             |curve|))
                     (ELT $ 68)
                     (|compiledLookupCheck| '|palginfieldint|
                         (LIST (LIST '|Union| (|devaluate| |curve|)
                                     '"failed")
                               (|devaluate| |curve|)
                               (LIST '|Mapping|
                                     (LIST
                                      '|SparseUnivariatePolynomial|
                                      (|devaluate| (ELT $ 7)))
                                     (LIST
                                      '|SparseUnivariatePolynomial|
                                      (|devaluate| (ELT $ 7)))))
                         (|AlgebraicIntegrate| (ELT $ 6) (ELT $ 7)
                             (|SparseUnivariatePolynomial| (ELT $ 7))
                             (|SparseUnivariatePolynomial|
                                 (|Fraction|
                                     (|SparseUnivariatePolynomial|
                                      (ELT $ 7))))
                             |curve|))) . #0#)
           (EXIT (COND
                   ((QEQCAR |u| 1)
                    (|error| "failed - cannot handle that integrand"))
                   ('T
                    (CONS 0
                          (CONS (|INTPAF;UPUP2F1|
                                    (SPADCALL (QCDR |u|)
                                     (|compiledLookupCheck| '|lift|
                                      (LIST
                                       (LIST
                                        '|SparseUnivariatePolynomial|
                                        (LIST '|Fraction|
                                         (LIST
                                          '|SparseUnivariatePolynomial|
                                          (|devaluate| (ELT $ 7)))))
                                       '$)
                                      |curve|))
                                    (QVELT |cv| 2) (QVELT |cv| 3) |x|
                                    |k| $)
                                NIL))))))))) 

(DEFUN |INTPAF;palgext| (|f| |x| |k| |g| $)
  (PROG (|p| |modulus| |cv| |curve| |u|)
    (RETURN
      (SEQ (LETT |modulus|
                 (SPADCALL
                     (LETT |p| (SPADCALL |k| (QREFELT $ 44))
                           . #0=(|INTPAF;palgext|))
                     |x| (QREFELT $ 45)) . #0#)
           (LETT |cv|
                 (SPADCALL (SPADCALL |f| |x| |k| |p| (QREFELT $ 71))
                     |modulus| (QREFELT $ 103)) . #0#)
           (LETT |curve|
                 (|AlgebraicFunctionField| (QREFELT $ 7)
                     (|SparseUnivariatePolynomial| (QREFELT $ 7))
                     (|SparseUnivariatePolynomial|
                         (|Fraction|
                             (|SparseUnivariatePolynomial|
                                 (QREFELT $ 7))))
                     (QVELT |cv| 1)) . #0#)
           (SPADCALL (QVELT |cv| 4)
               (|compiledLookupCheck| '|knownInfBasis|
                   (LIST (LIST '|Void|) (LIST '|NonNegativeInteger|))
                   |curve|))
           (LETT |u|
                 (SPADCALL
                     (SPADCALL (QVELT |cv| 0)
                         (|compiledLookupCheck| '|reduce|
                             (LIST '$
                                   (LIST '|SparseUnivariatePolynomial|
                                    (LIST '|Fraction|
                                     (LIST
                                      '|SparseUnivariatePolynomial|
                                      (|devaluate| (ELT $ 7))))))
                             |curve|))
                     (ELT $ 68)
                     (|compiledLookupCheck| '|palginfieldint|
                         (LIST (LIST '|Union| (|devaluate| |curve|)
                                     '"failed")
                               (|devaluate| |curve|)
                               (LIST '|Mapping|
                                     (LIST
                                      '|SparseUnivariatePolynomial|
                                      (|devaluate| (ELT $ 7)))
                                     (LIST
                                      '|SparseUnivariatePolynomial|
                                      (|devaluate| (ELT $ 7)))))
                         (|AlgebraicIntegrate| (ELT $ 6) (ELT $ 7)
                             (|SparseUnivariatePolynomial| (ELT $ 7))
                             (|SparseUnivariatePolynomial|
                                 (|Fraction|
                                     (|SparseUnivariatePolynomial|
                                      (ELT $ 7))))
                             |curve|))) . #0#)
           (EXIT (COND
                   ((QEQCAR |u| 1)
                    (|error| "failed - cannot handle that integrand"))
                   ('T
                    (CONS 0
                          (CONS (|INTPAF;UPUP2F1|
                                    (SPADCALL (QCDR |u|)
                                     (|compiledLookupCheck| '|lift|
                                      (LIST
                                       (LIST
                                        '|SparseUnivariatePolynomial|
                                        (LIST '|Fraction|
                                         (LIST
                                          '|SparseUnivariatePolynomial|
                                          (|devaluate| (ELT $ 7)))))
                                       '$)
                                      |curve|))
                                    (QVELT |cv| 2) (QVELT |cv| 3) |x|
                                    |k| $)
                                (|spadConstant| $ 49)))))))))) 

(DEFUN |INTPAF;palgint;F2KIr;22| (|f| |x| |y| $)
  (PROG (|v| |u|)
    (RETURN
      (SEQ (LETT |v| (|INTPAF;linearInXIfCan| |x| |y| $)
                 . #0=(|INTPAF;palgint;F2KIr;22|))
           (EXIT (COND
                   ((QEQCAR |v| 1)
                    (SEQ (LETT |u|
                               (|INTPAF;quadIfCan| |x| |y| $) . #0#)
                         (EXIT (COND
                                 ((QEQCAR |u| 1)
                                  (COND
                                    ((SPADCALL |y|
                                      (SPADCALL "nthRoot"
                                       (QREFELT $ 170))
                                      (QREFELT $ 171))
                                     (|INTPAF;prootintegrate| |f| |x|
                                      |y| $))
                                    ((SPADCALL |y|
                                      (SPADCALL "rootOf"
                                       (QREFELT $ 170))
                                      (QREFELT $ 171))
                                     (|INTPAF;palgintegrate| |f| |x|
                                      |y| $))
                                    ('T
                                     (|error|
                                      "failed - cannot handle that integrand"))))
                                 (#1='T
                                  (SPADCALL |f| |x| |y|
                                      (QCAR (QCDR |u|))
                                      (QCDR (QCDR |u|))
                                      (QREFELT $ 172)))))))
                   (#1#
                    (SPADCALL |f| |x| |y| (QREFELT $ 14)
                        (QCAR (QCDR |v|)) (QCDR (QCDR |v|))
                        (QREFELT $ 173))))))))) 

(DEFUN |INTPAF;palgextint;F2KFU;23| (|f| |x| |y| |g| $)
  (PROG (|v| |u|)
    (RETURN
      (SEQ (LETT |v| (|INTPAF;linearInXIfCan| |x| |y| $)
                 . #0=(|INTPAF;palgextint;F2KFU;23|))
           (EXIT (COND
                   ((QEQCAR |v| 1)
                    (SEQ (LETT |u|
                               (|INTPAF;quadIfCan| |x| |y| $) . #0#)
                         (EXIT (COND
                                 ((QEQCAR |u| 1)
                                  (COND
                                    ((SPADCALL |y|
                                      (SPADCALL "nthRoot"
                                       (QREFELT $ 170))
                                      (QREFELT $ 171))
                                     (|INTPAF;prootextint| |f| |x| |y|
                                      |g| $))
                                    ((SPADCALL |y|
                                      (SPADCALL "rootOf"
                                       (QREFELT $ 170))
                                      (QREFELT $ 171))
                                     (|INTPAF;palgext| |f| |x| |y| |g|
                                      $))
                                    ('T
                                     (|error|
                                      "failed - cannot handle that integrand"))))
                                 (#1='T
                                  (SPADCALL |f| |x| |y| |g|
                                      (QCAR (QCDR |u|))
                                      (QCDR (QCDR |u|))
                                      (QREFELT $ 174)))))))
                   (#1#
                    (SPADCALL |f| |x| |y| |g| (QREFELT $ 14)
                        (QCAR (QCDR |v|)) (QCDR (QCDR |v|))
                        (QREFELT $ 175))))))))) 

(DEFUN |INTPAF;palglimint;F2KLU;24| (|f| |x| |y| |lu| $)
  (PROG (|v| |u|)
    (RETURN
      (SEQ (LETT |v| (|INTPAF;linearInXIfCan| |x| |y| $)
                 . #0=(|INTPAF;palglimint;F2KLU;24|))
           (EXIT (COND
                   ((QEQCAR |v| 1)
                    (SEQ (LETT |u|
                               (|INTPAF;quadIfCan| |x| |y| $) . #0#)
                         (EXIT (COND
                                 ((QEQCAR |u| 1)
                                  (COND
                                    ((SPADCALL |y|
                                      (SPADCALL "nthRoot"
                                       (QREFELT $ 170))
                                      (QREFELT $ 171))
                                     (|INTPAF;prootlimint| |f| |x| |y|
                                      |lu| $))
                                    ((SPADCALL |y|
                                      (SPADCALL "rootOf"
                                       (QREFELT $ 170))
                                      (QREFELT $ 171))
                                     (|INTPAF;palglim| |f| |x| |y| |lu|
                                      $))
                                    ('T
                                     (|error|
                                      "failed - cannot handle that integrand"))))
                                 (#1='T
                                  (SPADCALL |f| |x| |y| |lu|
                                      (QCAR (QCDR |u|))
                                      (QCDR (QCDR |u|))
                                      (QREFELT $ 178)))))))
                   (#1#
                    (SPADCALL |f| |x| |y| |lu| (QREFELT $ 14)
                        (QCAR (QCDR |v|)) (QCDR (QCDR |v|))
                        (QREFELT $ 179))))))))) 

(DEFUN |INTPAF;palgRDE;3F2KMU;25| (|nfp| |f| |g| |x| |y| |rde| $)
  (PROG (|v| |u|)
    (RETURN
      (SEQ (LETT |v| (|INTPAF;linearInXIfCan| |x| |y| $)
                 . #0=(|INTPAF;palgRDE;3F2KMU;25|))
           (EXIT (COND
                   ((QEQCAR |v| 1)
                    (SEQ (LETT |u|
                               (|INTPAF;quadIfCan| |x| |y| $) . #0#)
                         (EXIT (COND
                                 ((QEQCAR |u| 1)
                                  (COND
                                    ((SPADCALL |y|
                                      (SPADCALL "nthRoot"
                                       (QREFELT $ 170))
                                      (QREFELT $ 171))
                                     (|INTPAF;prootRDE| |nfp| |f| |g|
                                      |x| |y| |rde| $))
                                    ('T
                                     (|INTPAF;palgRDE1| |nfp| |g| |x|
                                      |y| $))))
                                 (#1='T
                                  (SPADCALL |f| |g| |x| |y| |rde|
                                      (QCAR (QCDR |u|))
                                      (QCDR (QCDR |u|))
                                      (QREFELT $ 183)))))))
                   (#1#
                    (SPADCALL |f| |g| |x| |y| |rde| (QREFELT $ 14)
                        (QCAR (QCDR |v|)) (QCDR (QCDR |v|))
                        (QREFELT $ 184))))))))) 

(DEFUN |INTPAF;quadIfCan| (|x| |y| $)
  (PROG (|p| |ff| |d| |radi|)
    (RETURN
      (SEQ (COND
             ((EQL (SPADCALL
                       (LETT |p| (SPADCALL |y| (QREFELT $ 44))
                             . #0=(|INTPAF;quadIfCan|))
                       (QREFELT $ 58))
                   2)
              (COND
                ((SPADCALL (SPADCALL |p| 1 (QREFELT $ 59))
                     (QREFELT $ 186))
                 (EXIT (SEQ (LETT |d|
                                  (SPADCALL
                                      (LETT |ff|
                                       (SPADCALL
                                        (SPADCALL
                                         (SPADCALL
                                          (SPADCALL |p| 0
                                           (QREFELT $ 59))
                                          (SPADCALL |p| 2
                                           (QREFELT $ 59))
                                          (QREFELT $ 118))
                                         (QREFELT $ 140))
                                        |x| (QREFELT $ 24)) . #0#)
                                      (QREFELT $ 28)) . #0#)
                            (EXIT (COND
                                    ((EQL
                                      (SPADCALL
                                       (LETT |radi|
                                        (SPADCALL |d|
                                         (SPADCALL |ff| (QREFELT $ 37))
                                         (QREFELT $ 187)) . #0#)
                                       (QREFELT $ 58))
                                      2)
                                     (CONS 0
                                      (CONS
                                       (SPADCALL |d|
                                        (SPADCALL |x| (QREFELT $ 20))
                                        (QREFELT $ 86))
                                       |radi|)))
                                    ('T (CONS 1 "failed"))))))))))
           (EXIT (CONS 1 "failed")))))) 

(DEFUN |INTPAF;palgLODE;LF2KSR;27| (|eq| |g| |kx| |y| |x| $)
  (PROG (|v| |u| #0=#:G2225 |i| #1=#:G2226)
    (RETURN
      (SEQ (LETT |v| (|INTPAF;linearInXIfCan| |kx| |y| $)
                 . #2=(|INTPAF;palgLODE;LF2KSR;27|))
           (EXIT (COND
                   ((QEQCAR |v| 1)
                    (SEQ (LETT |u|
                               (|INTPAF;quadIfCan| |kx| |y| $) . #2#)
                         (EXIT (COND
                                 ((QEQCAR |u| 1)
                                  (|INTPAF;palgLODE1|
                                      (PROGN
                                        (LETT #0# NIL . #2#)
                                        (SEQ (LETT |i| 0 . #2#)
                                         (LETT #1#
                                          (SPADCALL |eq|
                                           (QREFELT $ 188)) . #2#)
                                         G190
                                         (COND
                                           ((QSGREATERP |i| #1#)
                                            (GO G191)))
                                         (SEQ
                                          (EXIT
                                           (LETT #0#
                                            (CONS
                                             (SPADCALL |eq| |i|
                                              (QREFELT $ 189))
                                             #0#) . #2#)))
                                         (LETT |i| (QSADD1 |i|) . #2#)
                                         (GO G190) G191
                                         (EXIT (NREVERSE0 #0#))))
                                      |g| |kx| |y| |x| $))
                                 (#3='T
                                  (SPADCALL |eq| |g| |kx| |y|
                                      (QCAR (QCDR |u|))
                                      (QCDR (QCDR |u|))
                                      (QREFELT $ 191)))))))
                   (#3#
                    (SPADCALL |eq| |g| |kx| |y| (QREFELT $ 14)
                        (QCAR (QCDR |v|)) (QCDR (QCDR |v|))
                        (QREFELT $ 192))))))))) 

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

(DEFUN |PureAlgebraicIntegration;| (|#1| |#2| |#3|)
  (PROG (DV$1 DV$2 DV$3 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|)
              . #0=(|PureAlgebraicIntegration|))
        (LETT DV$2 (|devaluate| |#2|) . #0#)
        (LETT DV$3 (|devaluate| |#3|) . #0#)
        (LETT |dv$|
              (LIST '|PureAlgebraicIntegration| DV$1 DV$2 DV$3) . #0#)
        (LETT $ (GETREFV 194) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3
            (LETT |pv$|
                  (|buildPredVector| 0 0
                      (LIST (|HasCategory| |#3|
                                (LIST '|LinearOrdinaryDifferentialOperatorCategory|
                                      (|devaluate| |#2|))))) . #0#))
        (|haddProp| |$ConstructorCache| '|PureAlgebraicIntegration|
            (LIST DV$1 DV$2 DV$3) (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 7 |#2|)
        (QSETREFV $ 8 |#3|)
        (QSETREFV $ 11 (SPADCALL (QREFELT $ 10)))
        (QSETREFV $ 14 (SPADCALL (QREFELT $ 11) (QREFELT $ 13)))
        (COND
          ((|testBitVector| |pv$| 1)
           (QSETREFV $ 193
               (CONS (|dispatchFunction| |INTPAF;palgLODE;LF2KSR;27|)
                     $))))
        $)))) 

(MAKEPROP '|PureAlgebraicIntegration| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             (|local| |#3|) (|Symbol|) (0 . |new|) '|dummy|
             (|Kernel| 7) (4 . |kernel|) '|dumk|
             (|SparseUnivariatePolynomial| 16) (|Fraction| 25)
             (|ChangeOfVariable| 7 25 15) (9 . |eval|) (|Kernel| $)
             (16 . |coerce|) (|GenusZeroIntegration| 6 7 8)
             (21 . |multivariate|) (|Fraction| 43) (28 . |univariate|)
             (|SparseUnivariatePolynomial| 7) (34 . |coerce|)
             (39 . |coerce|) (44 . |denom|) (|Mapping| 16 7)
             (|SparseUnivariatePolynomialFunctions2| 7 16) (49 . |map|)
             (55 . |One|) (59 . |One|)
             (|Record| (|:| |coef1| $) (|:| |coef2| $))
             (|Union| 34 '"failed") (63 . |extendedEuclidean|)
             (70 . |numer|) (|Integer|) (75 . |coerce|) (80 . *)
             (86 . |rem|) (92 . |Zero|)
             (|SparseUnivariatePolynomial| $) (96 . |minPoly|)
             (101 . |lift|)
             (|UnivariatePolynomialCommonDenominator| 25 16 15)
             (107 . |clearDenominator|) (112 . |Zero|) (116 . |Zero|)
             (120 . |Zero|) (|Boolean|) (124 . =) (130 . |One|)
             (134 . |leadingCoefficient|) (139 . |One|) (143 . |One|)
             (|NonNegativeInteger|) (147 . |degree|)
             (152 . |coefficient|) (158 . |degree|) (163 . |monomial|)
             (169 . +) (175 . -) (181 . |reductum|) (186 . /)
             (|Fraction| $) (192 . |elt|) (198 . |differentiate|)
             (|Mapping| 25 25) (203 . |differentiate|)
             (209 . |univariate|) (|Union| 16 '"failed")
             (217 . |retractIfCan|) (|IntegrationResult| 16)
             (|RationalIntegration| 7 25) (222 . |integrate|)
             (|IntegrationResult| 7) (|Mapping| 7 16)
             (|IntegrationResultFunctions2| 16 7) (227 . |map|)
             (233 . |leadingMonomial|) (238 . +)
             (|Record| (|:| |radicand| 16) (|:| |deg| 57))
             (|Union| 83 '"failed") (244 . |radPoly|) (249 . |elt|)
             (255 . |nthRoot|) (|SparseMultivariatePolynomial| 6 19)
             (261 . |numer|) (|SparseMultivariatePolynomial| 6 12)
             (266 . |retract|) (271 . *) (277 . |denom|)
             (282 . |coerce|) (|List| 19) (|List| $) (287 . |eval|)
             |INTPAF;palgint;F2KIr;22| (|Mapping| 7 7)
             (|IntegrationResultFunctions2| 7 7) (294 . |map|)
             (|Record| (|:| |func| 15) (|:| |poly| 15) (|:| |c1| 16)
                 (|:| |c2| 16) (|:| |deg| 57))
             (300 . |chvar|) (306 . |retract|) (311 . |zero?|)
             (316 . |inv|) (321 . |monomial|) (327 . |coerce|)
             (332 . -) (338 . |leadingCoefficient|) (343 . |inv|)
             (348 . *) (354 . |reductum|) (359 . *) (365 . |elt|)
             (371 . **) (377 . -) (383 . /) (389 . |ground?|)
             (|Union| $ '"failed") (394 . |composite|)
             (|Record| (|:| |exponent| 57) (|:| |coef| 16)
                 (|:| |radicand| 25))
             (400 . |rootPoly|) (406 . *) (412 . **) (418 . /)
             (|Union| 66 '"failed") (424 . |composite|) (430 . +)
             (436 . |elem?|) (441 . |ratpart|)
             (|Record| (|:| |scalar| (|Fraction| 38)) (|:| |coeff| 25)
                 (|:| |logand| 25))
             (|List| 132) (446 . |logpart|)
             (|Record| (|:| |integrand| 7) (|:| |intvar| 7))
             (|List| 135) (451 . |notelem|) (|PositiveInteger|)
             (456 . **) (462 . -) (467 . |mkAnswer|) (474 . **)
             (480 . *) (|Union| 9 '"failed") (486 . |symbolIfCan|)
             (491 . |eval|) (498 . =) (504 . *)
             (|Record| (|:| |coeff| 16) (|:| |logand| 16))
             (|Record| (|:| |mainpart| 16)
                 (|:| |limitedlogs| (|List| 149)))
             (|Union| 150 '"failed") (|List| 16) (510 . |limitedint|)
             (|Record| (|:| |coeff| 7) (|:| |logand| 7))
             (|Record| (|:| |mainpart| 7)
                 (|:| |limitedlogs| (|List| 154)))
             (|Union| 155 '"failed") (516 . |map|)
             (|Record| (|:| |ratpart| 16) (|:| |coeff| 16))
             (|Union| 158 '"failed") (522 . |extendedint|)
             (|Record| (|:| |ratpart| 7) (|:| |coeff| 7))
             (|Union| 161 '"failed") (528 . |map|) (534 . |kernels|)
             (|List| 12) (|IntegrationTools| 6 7) (539 . |varselect|)
             (545 . |remove!|) (|String|) (551 . |coerce|)
             (556 . |is?|) (562 . |palgint0|) (571 . |palgint0|)
             (581 . |palgextint0|) (591 . |palgextint0|)
             |INTPAF;palgextint;F2KFU;23| (|List| 7)
             (602 . |palglimint0|) (612 . |palglimint0|)
             |INTPAF;palglimint;F2KLU;24| (|Union| 7 '"failed")
             (|Mapping| 181 7 7 9) (623 . |palgRDE0|)
             (634 . |palgRDE0|) |INTPAF;palgRDE;3F2KMU;25|
             (646 . |zero?|) (651 . *) (657 . |degree|)
             (662 . |coefficient|)
             (|Record| (|:| |particular| 181) (|:| |basis| 177))
             (668 . |palgLODE0|) (678 . |palgLODE0|)
             (689 . |palgLODE|))
          '#(|palglimint| 698 |palgint| 706 |palgextint| 713 |palgRDE|
             721 |palgLODE| 731)
          'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 193
                                '(0 9 0 10 1 12 0 9 13 3 17 15 15 16 16
                                  18 1 7 0 19 20 3 21 7 15 12 7 22 2 7
                                  23 0 19 24 1 25 0 7 26 1 16 0 25 27 1
                                  16 25 0 28 2 30 15 29 25 31 0 6 0 32
                                  0 15 0 33 3 15 35 0 0 0 36 1 16 25 0
                                  37 1 25 0 38 39 2 15 0 0 0 40 2 15 0
                                  0 0 41 0 25 0 42 1 7 43 19 44 2 21 15
                                  25 12 45 1 46 15 15 47 0 6 0 48 0 7 0
                                  49 0 15 0 50 2 15 51 0 0 52 0 7 0 53
                                  1 15 16 0 54 0 25 0 55 0 16 0 56 1 25
                                  57 0 58 2 25 7 0 57 59 1 15 57 0 60 2
                                  25 0 7 57 61 2 25 0 0 0 62 2 25 0 0 0
                                  63 1 15 0 0 64 2 16 0 25 25 65 2 25 7
                                  66 7 67 1 25 0 0 68 2 16 0 0 69 70 4
                                  21 15 7 12 12 25 71 1 15 72 0 73 1 75
                                  74 16 76 2 79 77 78 74 80 1 15 0 0 81
                                  2 77 0 0 0 82 1 17 84 15 85 2 25 7 0
                                  7 86 2 7 0 0 38 87 1 7 88 0 89 1 90
                                  12 0 91 2 7 0 0 0 92 1 7 88 0 93 1 7
                                  0 88 94 3 7 0 0 95 96 97 2 100 77 99
                                  77 101 2 17 102 15 15 103 1 16 25 0
                                  104 1 16 51 0 105 1 16 0 0 106 2 15 0
                                  16 57 107 1 15 0 16 108 2 15 0 0 0
                                  109 1 25 7 0 110 1 7 0 0 111 2 25 0
                                  57 0 112 1 25 0 0 113 2 16 0 25 0 114
                                  2 15 16 0 16 115 2 7 0 0 57 116 2 7 0
                                  0 0 117 2 7 0 0 0 118 1 25 51 0 119 2
                                  25 120 0 0 121 2 17 122 16 57 123 2
                                  16 0 0 0 124 2 16 0 0 38 125 2 16 0 0
                                  0 126 2 25 127 66 0 128 2 15 0 0 0
                                  129 1 77 51 0 130 1 77 7 0 131 1 77
                                  133 0 134 1 77 136 0 137 2 7 0 0 138
                                  139 1 7 0 0 140 3 77 0 7 133 136 141
                                  2 7 0 0 38 142 2 7 0 57 0 143 1 12
                                  144 0 145 3 7 0 0 19 0 146 2 16 51 0
                                  0 147 2 25 0 38 0 148 2 75 151 16 152
                                  153 2 79 156 78 151 157 2 75 159 16
                                  16 160 2 79 162 78 159 163 1 7 95 0
                                  164 2 166 165 165 9 167 2 165 0 12 0
                                  168 1 9 0 169 170 2 12 51 0 9 171 5
                                  21 77 7 12 12 7 25 172 6 21 77 7 12
                                  12 12 7 16 173 6 21 162 7 12 12 7 7
                                  25 174 7 21 162 7 12 12 7 12 7 16 175
                                  6 21 156 7 12 12 177 7 25 178 7 21
                                  156 7 12 12 177 12 7 16 179 7 21 181
                                  7 7 12 12 182 7 25 183 8 21 181 7 7
                                  12 12 182 12 7 16 184 1 7 51 0 186 2
                                  25 0 0 0 187 1 8 57 0 188 2 8 7 0 57
                                  189 6 21 190 8 7 12 12 7 25 191 7 21
                                  190 8 7 12 12 12 7 16 192 5 0 190 8 7
                                  12 12 9 193 4 0 156 7 12 12 177 180 3
                                  0 77 7 12 12 98 4 0 162 7 12 12 7 176
                                  6 0 181 7 7 7 12 12 182 185 5 1 190 8
                                  7 12 12 9 193)))))
          '|lookupComplete|)) 
