
(/VERSIONCHECK 2) 

(DEFUN |FSINT;K2KG| (|k| $)
  (SPADCALL
   (SPADCALL
    (SPADCALL (|SPADfirst| (SPADCALL |k| (QREFELT $ 19))) (QREFELT $ 22))
    (QREFELT $ 23))
   (QREFELT $ 25))) 

(DEFUN |FSINT;tan2temp| (|k| $)
  (SPADCALL (QREFELT $ 16) (SPADCALL |k| (QREFELT $ 19))
            (SPADCALL |k| (QREFELT $ 26)) (QREFELT $ 27))) 

(DEFUN |FSINT;trans?| (|f| $)
  (SPADCALL (CONS #'|FSINT;trans?!0| $) (SPADCALL |f| (QREFELT $ 32))
            (QREFELT $ 34))) 

(DEFUN |FSINT;trans?!0| (|x1| $)
  (COND
   ((OR (SPADCALL |x1| '|log| (QREFELT $ 29))
        (SPADCALL |x1| '|exp| (QREFELT $ 29)))
    (|spadConstant| $ 30))
   ('T (SPADCALL |x1| '|atan| (QREFELT $ 29))))) 

(DEFUN |FSINT;mkPrimh| (|f| |x| |h| $)
  (PROG (|g|)
    (RETURN
     (SEQ (LETT |g| (SPADCALL |f| |x| (QREFELT $ 36)) |FSINT;mkPrimh|)
          (COND
           (|h|
            (COND
             ((|FSINT;trans?| |g| $) (EXIT (SPADCALL |g| (QREFELT $ 38)))))))
          (EXIT |g|))))) 

(DEFUN |FSINT;rinteg| (|i| |f| |x| |h| $)
  (PROG (|l| #1=#:G1848 #2=#:G1847)
    (RETURN
     (SEQ
      (COND
       ((NULL (SPADCALL |i| (QREFELT $ 40)))
        (CONS 0 (SPADCALL |f| |x| (QREFELT $ 41))))
       ('T
        (COND
         ((NULL
           (CDR
            (LETT |l|
                  (PROGN
                   (LETT #2# NIL . #3=(|FSINT;rinteg|))
                   (SEQ (LETT |f| NIL . #3#)
                        (LETT #1# (SPADCALL |i| (QREFELT $ 43)) . #3#) G190
                        (COND
                         ((OR (ATOM #1#)
                              (PROGN (LETT |f| (CAR #1#) . #3#) NIL))
                          (GO G191)))
                        (SEQ
                         (EXIT
                          (LETT #2# (CONS (|FSINT;mkPrimh| |f| |x| |h| $) #2#)
                                . #3#)))
                        (LETT #1# (CDR #1#) . #3#) (GO G190) G191
                        (EXIT (NREVERSE #2#))))
                  . #3#)))
          (CONS 0 (|SPADfirst| |l|)))
         ('T (CONS 1 |l|))))))))) 

(DEFUN |FSINT;halfangle| (|a| $)
  (SEQ (LETT |a| (SPADCALL 2 |a| (QREFELT $ 45)) |FSINT;halfangle|)
       (EXIT
        (SPADCALL
         (SPADCALL (|spadConstant| $ 47) (SPADCALL |a| (QREFELT $ 48))
                   (QREFELT $ 49))
         (SPADCALL (|spadConstant| $ 47) (SPADCALL |a| (QREFELT $ 48))
                   (QREFELT $ 50))
         (QREFELT $ 51))))) 

(DEFUN |FSINT;Khalf| (|k| $)
  (PROG (|a|)
    (RETURN
     (SEQ
      (LETT |a|
            (SPADCALL 2 (|SPADfirst| (SPADCALL |k| (QREFELT $ 19)))
                      (QREFELT $ 45))
            |FSINT;Khalf|)
      (EXIT
       (SPADCALL (SPADCALL |a| (QREFELT $ 52))
                 (SPADCALL (|spadConstant| $ 47) (SPADCALL |a| (QREFELT $ 48))
                           (QREFELT $ 50))
                 (QREFELT $ 51))))))) 

(DEFUN |FSINT;findint| (|i| |t| $)
  (PROG (#1=#:G1858 |akl| #2=#:G1859 |k| |ii| |k0| |ail|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ (LETT |ail| (SPADCALL |i| (QREFELT $ 19)) . #3=(|FSINT;findint|))
            (LETT |k0| (LENGTH |ail|) . #3#)
            (LETT |ii| (SPADCALL |i| (QREFELT $ 53)) . #3#)
            (SEQ (LETT |k| NIL . #3#) (LETT #2# |t| . #3#) G190
                 (COND
                  ((OR (ATOM #2#) (PROGN (LETT |k| (CAR #2#) . #3#) NIL))
                   (GO G191)))
                 (SEQ
                  (EXIT
                   (COND
                    ((SPADCALL (SPADCALL |k| (QREFELT $ 54)) '|%iint|
                               (QREFELT $ 29))
                     (SEQ (LETT |akl| (SPADCALL |k| (QREFELT $ 19)) . #3#)
                          (EXIT
                           (COND
                            ((SPADCALL (LENGTH |akl|) |k0| (QREFELT $ 55))
                             "iterate")
                            ((SPADCALL
                              (SPADCALL
                               (SPADCALL |ii| (SPADCALL |k| (QREFELT $ 53))
                                         (QREFELT $ 49))
                               (QREFELT $ 57))
                              (|spadConstant| $ 58) (QREFELT $ 59))
                             (PROGN (LETT #1# |k| . #3#) (GO #1#))))))))))
                 (LETT #2# (CDR #2#) . #3#) (GO G190) G191 (EXIT NIL))
            (EXIT |i|)))
      #1# (EXIT #1#))))) 

(DEFUN |FSINT;postSubst| (|f| |lv| |lk| |ltan| |x| $)
  (PROG (#1=#:G1894 |k| #2=#:G1893 #3=#:G1892 #4=#:G1891 |ltemp| #5=#:G1890
         #6=#:G1889 |ltf| #7=#:G1888 #8=#:G1887 |uk| |tf| |u| #9=#:G1885 |v|
         #10=#:G1886)
    (RETURN
     (SEQ
      (SEQ (LETT |k| NIL . #11=(|FSINT;postSubst|)) (LETT #10# |lk| . #11#)
           (LETT |v| NIL . #11#) (LETT #9# |lv| . #11#) G190
           (COND
            ((OR (ATOM #9#) (PROGN (LETT |v| (CAR #9#) . #11#) NIL) (ATOM #10#)
                 (PROGN (LETT |k| (CAR #10#) . #11#) NIL))
             (GO G191)))
           (SEQ (LETT |u| (SPADCALL |v| (QREFELT $ 61)) . #11#)
                (EXIT
                 (COND
                  ((QEQCAR |u| 0)
                   (SEQ (LETT |uk| (QCDR |u|) . #11#)
                        (COND
                         ((SPADCALL (SPADCALL |uk| (QREFELT $ 54))
                                    (QREFELT $ 11) (QREFELT $ 62))
                          (LETT |f|
                                (SPADCALL
                                 (SPADCALL |f| |uk|
                                           (SPADCALL |uk| (QREFELT $ 64))
                                           (QREFELT $ 67))
                                 (SPADCALL |uk| (QREFELT $ 53)) (QREFELT $ 68))
                                . #11#)))
                        (COND
                         ((SPADCALL (SPADCALL |uk| (QREFELT $ 54)) '|%iint|
                                    (QREFELT $ 29))
                          (COND
                           ((NULL
                             (SPADCALL |uk|
                                       (LETT |tf| (SPADCALL |f| (QREFELT $ 70))
                                             . #11#)
                                       (QREFELT $ 72)))
                            (LETT |uk| (|FSINT;findint| |uk| |tf| $)
                                  . #11#)))))
                        (EXIT
                         (LETT |f|
                               (SPADCALL |f| (LIST |uk|)
                                         (LIST (SPADCALL |k| (QREFELT $ 53)))
                                         (QREFELT $ 74))
                               . #11#)))))))
           (LETT #9# (PROG1 (CDR #9#) (LETT #10# (CDR #10#) . #11#)) . #11#)
           (GO G190) G191 (EXIT NIL))
      (LETT |ltf|
            (PROGN
             (LETT #8# NIL . #11#)
             (SEQ (LETT |k| NIL . #11#)
                  (LETT #7# (SPADCALL |f| (QREFELT $ 70)) . #11#) G190
                  (COND
                   ((OR (ATOM #7#) (PROGN (LETT |k| (CAR #7#) . #11#) NIL))
                    (GO G191)))
                  (SEQ
                   (EXIT
                    (COND
                     ((SPADCALL |k| '|tan| (QREFELT $ 75))
                      (LETT #8# (CONS |k| #8#) . #11#)))))
                  (LETT #7# (CDR #7#) . #11#) (GO G190) G191
                  (EXIT (NREVERSE #8#))))
            . #11#)
      (COND
       ((NULL (NULL |ltan|))
        (SEQ
         (LETT |ltemp|
               (PROGN
                (LETT #6# NIL . #11#)
                (SEQ (LETT |k| NIL . #11#) (LETT #5# |ltan| . #11#) G190
                     (COND
                      ((OR (ATOM #5#) (PROGN (LETT |k| (CAR #5#) . #11#) NIL))
                       (GO G191)))
                     (SEQ
                      (EXIT
                       (LETT #6# (CONS (|FSINT;tan2temp| |k| $) #6#) . #11#)))
                     (LETT #5# (CDR #5#) . #11#) (GO G190) G191
                     (EXIT (NREVERSE #6#))))
               . #11#)
         (LETT |f|
               (SPADCALL |f| |ltan|
                         (PROGN
                          (LETT #4# NIL . #11#)
                          (SEQ (LETT |k| NIL . #11#) (LETT #3# |ltemp| . #11#)
                               G190
                               (COND
                                ((OR (ATOM #3#)
                                     (PROGN (LETT |k| (CAR #3#) . #11#) NIL))
                                 (GO G191)))
                               (SEQ
                                (EXIT
                                 (LETT #4#
                                       (CONS (SPADCALL |k| (QREFELT $ 53)) #4#)
                                       . #11#)))
                               (LETT #3# (CDR #3#) . #11#) (GO G190) G191
                               (EXIT (NREVERSE #4#))))
                         (QREFELT $ 74))
               . #11#)
         (LETT |f|
               (SPADCALL |f| '|%temptan| 2
                         (CONS (|function| |FSINT;halfangle|) $)
                         (QREFELT $ 77))
               . #11#)
         (EXIT
          (LETT |f|
                (SPADCALL |f| |ltemp|
                          (PROGN
                           (LETT #2# NIL . #11#)
                           (SEQ (LETT |k| NIL . #11#) (LETT #1# |ltemp| . #11#)
                                G190
                                (COND
                                 ((OR (ATOM #1#)
                                      (PROGN (LETT |k| (CAR #1#) . #11#) NIL))
                                  (GO G191)))
                                (SEQ
                                 (EXIT
                                  (LETT #2# (CONS (|FSINT;Khalf| |k| $) #2#)
                                        . #11#)))
                                (LETT #1# (CDR #1#) . #11#) (GO G190) G191
                                (EXIT (NREVERSE #2#))))
                          (QREFELT $ 74))
                . #11#)))))
      (LETT |f| (SPADCALL |f| (QREFELT $ 79)) . #11#)
      (LETT |f| (SPADCALL |f| (QREFELT $ 80)) . #11#)
      (EXIT (SPADCALL |f| |x| (QREFELT $ 81))))))) 

(DEFUN |FSINT;invlst| (|lt| |le| $)
  (PROG (|rese| |resk| |ie| |ik| |k1| |e1| #1=#:G1906 |k| #2=#:G1907 |e| |im|)
    (RETURN
     (SEQ (LETT |resk| NIL . #3=(|FSINT;invlst|)) (LETT |rese| NIL . #3#)
          (LETT |im|
                (SPADCALL (|spadConstant| $ 82) (|spadConstant| $ 46)
                          (QREFELT $ 84))
                . #3#)
          (SEQ (LETT |e| NIL . #3#) (LETT #2# |le| . #3#) (LETT |k| NIL . #3#)
               (LETT #1# |lt| . #3#) G190
               (COND
                ((OR (ATOM #1#) (PROGN (LETT |k| (CAR #1#) . #3#) NIL)
                     (ATOM #2#) (PROGN (LETT |e| (CAR #2#) . #3#) NIL))
                 (GO G191)))
               (SEQ
                (COND
                 ((NULL (SPADCALL |k| '|atan| (QREFELT $ 86)))
                  (COND
                   ((NULL (SPADCALL |k| '|tan| (QREFELT $ 86)))
                    (EXIT "iterate")))))
                (COND
                 ((SPADCALL |k| '|atan| (QREFELT $ 86))
                  (SEQ
                   (LETT |ik|
                         (SPADCALL
                          (SPADCALL
                           (SPADCALL (SPADCALL 2 |im| (QREFELT $ 87)) |e|
                                     (QREFELT $ 88))
                           (QREFELT $ 89))
                          (QREFELT $ 25))
                         . #3#)
                   (EXIT
                    (LETT |ie|
                          (SPADCALL
                           (SPADCALL (SPADCALL 2 |im| (QREFELT $ 87))
                                     (SPADCALL |k| (QREFELT $ 90))
                                     (QREFELT $ 88))
                           (QREFELT $ 89))
                          . #3#)))))
                (COND
                 ((SPADCALL |k| '|tan| (QREFELT $ 86))
                  (SEQ (LETT |e1| (SPADCALL |im| |e| (QREFELT $ 88)) . #3#)
                       (LETT |k1|
                             (SPADCALL |im| (SPADCALL |k| (QREFELT $ 90))
                                       (QREFELT $ 88))
                             . #3#)
                       (LETT |ik|
                             (SPADCALL
                              (SPADCALL
                               (SPADCALL
                                (SPADCALL |e1| (|spadConstant| $ 91)
                                          (QREFELT $ 92))
                                (SPADCALL |e1| (|spadConstant| $ 91)
                                          (QREFELT $ 93))
                                (QREFELT $ 94))
                               (QREFELT $ 89))
                              (QREFELT $ 25))
                             . #3#)
                       (EXIT
                        (LETT |ie|
                              (SPADCALL
                               (SPADCALL
                                (SPADCALL |k1| (|spadConstant| $ 91)
                                          (QREFELT $ 92))
                                (SPADCALL |k1| (|spadConstant| $ 91)
                                          (QREFELT $ 93))
                                (QREFELT $ 94))
                               (QREFELT $ 89))
                              . #3#)))))
                (LETT |resk| (CONS |ik| |resk|) . #3#)
                (EXIT (LETT |rese| (CONS |ie| |rese|) . #3#)))
               (LETT #1# (PROG1 (CDR #1#) (LETT #2# (CDR #2#) . #3#)) . #3#)
               (GO G190) G191 (EXIT NIL))
          (EXIT (CONS (REVERSE |resk|) (REVERSE |rese|))))))) 

(DEFUN |FSINT;goComplex?| (|rt| |l| |ltan| $)
  (COND ((NULL |ltan|) |rt|) ((NULL (CDR (CDR |l|))) 'NIL) ('T 'T))) 

(DEFUN |FSINT;integrate;FSU;12| (|f| |x| $)
  (PROG (#1=#:G1954 |h| #2=#:G1953 |u| |ovals| |okers| |ltg| |i| |gg| |rtg1|
         |tgg1| #3=#:G1952 |k| #4=#:G1951 |tgg0| |gg0| |el| |rtg| |tg|
         #5=#:G1950 #6=#:G1949 |g| |rec| |evals| |ekers| #7=#:G1947 #8=#:G1948
         |v| |etf| #9=#:G1946 #10=#:G1945 |ht| |ltf| |tf|)
    (RETURN
     (SEQ
      (COND
       ((OR (|HasSignature| (QREFELT $ 6) (LIST '|imaginary| (LIST '$)))
            (|domainEqual| (QREFELT $ 6) (|AlgebraicNumber|)))
        (CONS 0 (SPADCALL |f| |x| (QREFELT $ 96))))
       ((NULL (SPADCALL |f| (QREFELT $ 97)))
        (CONS 0 (SPADCALL |f| |x| (QREFELT $ 96))))
       ('T
        (SEQ
         (LETT |f| (SPADCALL |f| (SPADCALL |x| (QREFELT $ 98)) (QREFELT $ 99))
               . #11=(|FSINT;integrate;FSU;12|))
         (LETT |tf| (SPADCALL |f| (QREFELT $ 70)) . #11#)
         (LETT |ltf|
               (SPADCALL (CONS #'|FSINT;integrate;FSU;12!0| $) |tf|
                         (QREFELT $ 101))
               . #11#)
         (LETT |ht|
               (SPADCALL
                (CONS #'|FSINT;integrate;FSU;12!1| (VECTOR (QREFELT $ 9) $))
                |tf| (QREFELT $ 102))
               . #11#)
         (LETT |etf|
               (PROGN
                (LETT #10# NIL . #11#)
                (SEQ (LETT |k| NIL . #11#) (LETT #9# |tf| . #11#) G190
                     (COND
                      ((OR (ATOM #9#) (PROGN (LETT |k| (CAR #9#) . #11#) NIL))
                       (GO G191)))
                     (SEQ
                      (EXIT
                       (LETT #10#
                             (CONS
                              (SPADCALL (SPADCALL |k| (QREFELT $ 53))
                                        (QREFELT $ 103))
                              #10#)
                             . #11#)))
                     (LETT #9# (CDR #9#) . #11#) (GO G190) G191
                     (EXIT (NREVERSE #10#))))
               . #11#)
         (LETT |ekers| NIL . #11#) (LETT |evals| NIL . #11#)
         (SEQ (LETT |v| NIL . #11#) (LETT #8# |etf| . #11#)
              (LETT |k| NIL . #11#) (LETT #7# |tf| . #11#) G190
              (COND
               ((OR (ATOM #7#) (PROGN (LETT |k| (CAR #7#) . #11#) NIL)
                    (ATOM #8#) (PROGN (LETT |v| (CAR #8#) . #11#) NIL))
                (GO G191)))
              (SEQ
               (EXIT
                (COND
                 ((SPADCALL (SPADCALL |k| (QREFELT $ 54)) '|prim|
                            (QREFELT $ 62))
                  (SEQ (LETT |ekers| (CONS |k| |ekers|) . #11#)
                       (EXIT (LETT |evals| (CONS |v| |evals|) . #11#)))))))
              (LETT #7# (PROG1 (CDR #7#) (LETT #8# (CDR #8#) . #11#)) . #11#)
              (GO G190) G191 (EXIT NIL))
         (LETT |rec|
               (SPADCALL (SPADCALL |f| |tf| |etf| (QREFELT $ 74)) |x|
                         (QREFELT $ 105))
               . #11#)
         (LETT |g| (SPADCALL (QVELT |rec| 0) (QREFELT $ 107)) . #11#)
         (LETT |tg|
               (PROGN
                (LETT #6# NIL . #11#)
                (SEQ (LETT |k| NIL . #11#)
                     (LETT #5# (SPADCALL |g| (QREFELT $ 70)) . #11#) G190
                     (COND
                      ((OR (ATOM #5#) (PROGN (LETT |k| (CAR #5#) . #11#) NIL))
                       (GO G191)))
                     (SEQ
                      (EXIT
                       (COND
                        ((SPADCALL |x|
                                   (SPADCALL (SPADCALL |k| (QREFELT $ 53))
                                             (QREFELT $ 109))
                                   (QREFELT $ 110))
                         (LETT #6# (CONS |k| #6#) . #11#)))))
                     (LETT #5# (CDR #5#) . #11#) (GO G190) G191
                     (EXIT (NREVERSE #6#))))
               . #11#)
         (LETT |ltg|
               (SPADCALL (CONS #'|FSINT;integrate;FSU;12!2| $) |tg|
                         (QREFELT $ 101))
               . #11#)
         (LETT |rtg|
               (SPADCALL
                (CONS #'|FSINT;integrate;FSU;12!3| (VECTOR (QREFELT $ 8) $))
                |tg| (QREFELT $ 102))
               . #11#)
         (LETT |el|
               (SPADCALL
                (CONS #'|FSINT;integrate;FSU;12!4| (VECTOR (QREFELT $ 10) $))
                |tg| (QREFELT $ 102))
               . #11#)
         (COND
          ((|FSINT;goComplex?| |rtg| |tg| |ltg| $)
           (SEQ (LETT |gg0| (SPADCALL |g| (QREFELT $ 22)) . #11#)
                (LETT |tgg0| (SPADCALL |gg0| (QREFELT $ 111)) . #11#)
                (LETT |tgg1|
                      (PROGN
                       (LETT #4# NIL . #11#)
                       (SEQ (LETT |k| NIL . #11#) (LETT #3# |tgg0| . #11#) G190
                            (COND
                             ((OR (ATOM #3#)
                                  (PROGN (LETT |k| (CAR #3#) . #11#) NIL))
                              (GO G191)))
                            (SEQ
                             (EXIT
                              (LETT #4#
                                    (CONS
                                     (SPADCALL (SPADCALL |k| (QREFELT $ 90))
                                               NIL (QREFELT $ 113))
                                     #4#)
                                    . #11#)))
                            (LETT #3# (CDR #3#) . #11#) (GO G190) G191
                            (EXIT (NREVERSE #4#))))
                      . #11#)
                (LETT |rtg1| (|FSINT;invlst| |tgg0| |tgg1| $) . #11#)
                (LETT |gg| (SPADCALL |gg0| |tgg0| |tgg1| (QREFELT $ 114))
                      . #11#)
                (EXIT
                 (LETT |i|
                       (SPADCALL
                        (CONS #'|FSINT;integrate;FSU;12!5| (VECTOR $ |rtg1|))
                        (SPADCALL |gg| |x| (QREFELT $ 118)) (QREFELT $ 121))
                       . #11#))))
          (#12='T (LETT |i| (SPADCALL |g| |x| (QREFELT $ 123)) . #11#)))
         (LETT |ltg| (SPADCALL |ltg| |ltf| (QREFELT $ 124)) . #11#)
         (LETT |okers| (SPADCALL (QVELT |rec| 1) |ekers| (QREFELT $ 125))
               . #11#)
         (LETT |ovals| (SPADCALL (QVELT |rec| 2) |evals| (QREFELT $ 126))
               . #11#)
         (LETT |u|
               (|FSINT;rinteg| |i| |f| |x| (COND (|el| |ht|) (#12# 'NIL)) $)
               . #11#)
         (EXIT
          (COND
           ((QEQCAR |u| 0)
            (CONS 0
                  (|FSINT;postSubst| (QCDR |u|) |ovals| |okers| |ltg| |x| $)))
           (#12#
            (CONS 1
                  (PROGN
                   (LETT #2# NIL . #11#)
                   (SEQ (LETT |h| NIL . #11#) (LETT #1# (QCDR |u|) . #11#) G190
                        (COND
                         ((OR (ATOM #1#)
                              (PROGN (LETT |h| (CAR #1#) . #11#) NIL))
                          (GO G191)))
                        (SEQ
                         (EXIT
                          (LETT #2#
                                (CONS
                                 (|FSINT;postSubst| |h| |ovals| |okers| |ltg|
                                  |x| $)
                                 #2#)
                                . #11#)))
                        (LETT #1# (CDR #1#) . #11#) (GO G190) G191
                        (EXIT (NREVERSE #2#))))))))))))))) 

(DEFUN |FSINT;integrate;FSU;12!5| (|fg| $$)
  (PROG (|rtg1| $)
    (LETT |rtg1| (QREFELT $$ 1) . #1=(|FSINT;integrate;FSU;12|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (SPADCALL (SPADCALL |fg| (QCAR |rtg1|) (QCDR |rtg1|) (QREFELT $ 114))
                (QREFELT $ 115)))))) 

(DEFUN |FSINT;integrate;FSU;12!4| (|x1| $$)
  (PROG ($ ELEM)
    (LETT $ (QREFELT $$ 1) . #1=(|FSINT;integrate;FSU;12|))
    (LETT ELEM (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN (SPADCALL (SPADCALL |x1| (QREFELT $ 54)) ELEM (QREFELT $ 62)))))) 

(DEFUN |FSINT;integrate;FSU;12!3| (|x1| $$)
  (PROG ($ RTRIG)
    (LETT $ (QREFELT $$ 1) . #1=(|FSINT;integrate;FSU;12|))
    (LETT RTRIG (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN (SPADCALL (SPADCALL |x1| (QREFELT $ 54)) RTRIG (QREFELT $ 62)))))) 

(DEFUN |FSINT;integrate;FSU;12!2| (|x1| $)
  (SPADCALL (SPADCALL |x1| (QREFELT $ 54)) '|tan| (QREFELT $ 29))) 

(DEFUN |FSINT;integrate;FSU;12!1| (|x1| $$)
  (PROG ($ HTRIG)
    (LETT $ (QREFELT $$ 1) . #1=(|FSINT;integrate;FSU;12|))
    (LETT HTRIG (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN (SPADCALL (SPADCALL |x1| (QREFELT $ 54)) HTRIG (QREFELT $ 62)))))) 

(DEFUN |FSINT;integrate;FSU;12!0| (|x1| $)
  (SPADCALL (SPADCALL |x1| (QREFELT $ 54)) '|tan| (QREFELT $ 29))) 

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

(DEFUN |FunctionSpaceIntegration;| (|#1| |#2|)
  (PROG (|pv$| $ |dv$| DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|FunctionSpaceIntegration|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT |dv$| (LIST '|FunctionSpaceIntegration| DV$1 DV$2) . #1#)
      (LETT $ (GETREFV 129) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|FunctionSpaceIntegration|
                  (LIST DV$1 DV$2) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (SETF |pv$| (QREFELT $ 3))
      (QSETREFV $ 8 '|rtrig|)
      (QSETREFV $ 9 '|htrig|)
      (QSETREFV $ 10 '|elem|)
      (QSETREFV $ 11 '|%alg|)
      (QSETREFV $ 16 (SPADCALL '|%temptan| 1 (QREFELT $ 15)))
      $)))) 

(MAKEPROP '|FunctionSpaceIntegration| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|) 'RTRIG
              'HTRIG 'ELEM 'ALGOP (|Symbol|) (|NonNegativeInteger|)
              (|BasicOperator|) (0 . |operator|) '|optemp| (|List| 7)
              (|Kernel| 7) (6 . |argument|) (|Expression| 83)
              (|InnerTrigonometricManipulations| 6 7 20) (11 . F2FG)
              (16 . |tan|) (|Kernel| $) (21 . |retract|) (26 . |height|)
              (31 . |kernel|) (|Boolean|) (38 . |is?|) (44 . |true|)
              (|List| 14) (48 . |operators|) (|Mapping| 28 14) (53 . |any?|)
              (|IntegrationTools| 6 7) (59 . |mkPrim|)
              (|TranscendentalManipulations| 6 7) (65 . |htrigs|)
              (|IntegrationResult| 7) (70 . |elem?|) (75 . |integral|)
              (|IntegrationResultToFunction| 6 7) (81 . |expand|)
              (|PositiveInteger|) (86 . *) (92 . |One|) (96 . |One|)
              (100 . |cos|) (105 . -) (111 . +) (117 . /) (123 . |sin|)
              (128 . |coerce|) (133 . |operator|) (138 . ~=)
              (|ElementaryFunctionStructurePackage| 6 7) (144 . |normalize|)
              (149 . |Zero|) (153 . =) (|Union| 24 '"failed")
              (159 . |retractIfCan|) (164 . |has?|)
              (|SparseUnivariatePolynomial| $) (170 . |minPoly|)
              (|SparseUnivariatePolynomial| 7)
              (|PolynomialCategoryQuotientFunctions| (|IndexedExponents| 18) 18
                                                     6
                                                     (|SparseMultivariatePolynomial|
                                                      6 18)
                                                     7)
              (175 . |univariate|) (182 . |elt|) (|List| 24) (188 . |tower|)
              (|List| 18) (193 . |member?|) (|List| $) (199 . |eval|)
              (206 . |is?|) (|Mapping| $ $) (212 . |eval|)
              (|TrigonometricManipulations| 6 7) (220 . |real|)
              (225 . |removeSinSq|) (230 . |removeConstantTerm|) (236 . |Zero|)
              (|Complex| 6) (240 . |complex|) (|Kernel| 20) (246 . |is?|)
              (252 . *) (258 . *) (264 . -) (269 . |coerce|) (274 . |One|)
              (278 . +) (284 . -) (290 . /)
              (|FunctionSpaceComplexIntegration| 6 7)
              (296 . |complexIntegrate|) (302 . |real?|) (307 . |coerce|)
              (312 . |distribute|) (|Mapping| 28 18) (318 . |select|)
              (324 . |any?|) (330 . |realLiouvillian|)
              (|Record| (|:| |func| 7) (|:| |kers| 71) (|:| |vals| 17))
              (335 . |rischNormalize|) (|AlgebraicManipulations| 6 7)
              (341 . |rootSimp|) (|List| 12) (346 . |variables|)
              (351 . |member?|) (357 . |tower|) (|List| 85)
              (362 . |trigs2explogs|) (368 . |eval|) (375 . FG2F)
              (|IntegrationResult| 20) (|ElementaryIntegration| 83 20)
              (380 . |lfintegrate|) (|Mapping| 7 20)
              (|IntegrationResultFunctions2| 20 7) (386 . |map|)
              (|ElementaryIntegration| 6 7) (392 . |lfintegrate|)
              (398 . |setDifference|) (404 . |concat|) (410 . |concat|)
              (|Union| 7 17) |FSINT;integrate;FSU;12|)
           '#(|integrate| 416) 'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 128
                                                 '(2 14 0 12 13 15 1 18 17 0 19
                                                   1 21 20 7 22 1 20 0 0 23 1
                                                   20 24 0 25 1 18 13 0 26 3 18
                                                   0 14 17 13 27 2 14 28 0 12
                                                   29 0 28 0 30 1 7 31 0 32 2
                                                   31 28 33 0 34 2 35 7 7 12 36
                                                   1 37 7 7 38 1 39 28 0 40 2 7
                                                   0 0 12 41 1 42 17 39 43 2 7
                                                   0 44 0 45 0 6 0 46 0 7 0 47
                                                   1 7 0 0 48 2 7 0 0 0 49 2 7
                                                   0 0 0 50 2 7 0 0 0 51 1 7 0
                                                   0 52 1 7 0 24 53 1 18 14 0
                                                   54 2 13 28 0 0 55 1 56 7 7
                                                   57 0 7 0 58 2 7 28 0 0 59 1
                                                   7 60 0 61 2 14 28 0 12 62 1
                                                   7 63 24 64 3 66 65 7 18 65
                                                   67 2 65 7 0 7 68 1 7 69 0 70
                                                   2 71 28 18 0 72 3 7 0 0 69
                                                   73 74 2 18 28 0 12 75 4 7 0
                                                   0 12 13 76 77 1 78 7 7 79 1
                                                   37 7 7 80 2 35 7 7 12 81 0 6
                                                   0 82 2 83 0 6 6 84 2 85 28 0
                                                   12 86 2 83 0 44 0 87 2 20 0
                                                   83 0 88 1 20 0 0 89 1 20 0
                                                   24 90 0 20 0 91 2 20 0 0 0
                                                   92 2 20 0 0 0 93 2 20 0 0 0
                                                   94 2 95 7 7 12 96 1 78 28 7
                                                   97 1 7 0 12 98 2 7 0 0 0 99
                                                   2 71 0 100 0 101 2 71 28 100
                                                   0 102 1 56 7 7 103 2 56 104
                                                   7 12 105 1 106 7 7 107 1 7
                                                   108 0 109 2 108 28 12 0 110
                                                   1 20 69 0 111 2 21 20 20 112
                                                   113 3 20 0 0 69 73 114 1 21
                                                   7 20 115 2 117 116 20 12 118
                                                   2 120 39 119 116 121 2 122
                                                   39 7 12 123 2 71 0 0 0 124 2
                                                   71 0 0 0 125 2 17 0 0 0 126
                                                   2 0 127 7 12 128)))))
           '|lookupComplete|)) 
