
(/VERSIONCHECK 2) 

(PUT '|UTS;stream| '|SPADreplace| '(XLAM (|x|) |x|)) 

(DEFUN |UTS;stream| (|x| $) |x|) 

(DEFUN |UTS;coerce;V$;2| (|v| $)
  (COND
   ((SPADCALL (QREFELT $ 8) (QREFELT $ 11))
    (SPADCALL (|spadConstant| $ 12) 1 (QREFELT $ 15)))
   ('T
    (SPADCALL (SPADCALL (|spadConstant| $ 12) 1 (QREFELT $ 15))
              (SPADCALL (QREFELT $ 8) 0 (QREFELT $ 15)) (QREFELT $ 18))))) 

(DEFUN |UTS;coerce;I$;3| (|n| $)
  (SPADCALL (SPADCALL |n| (QREFELT $ 22)) (QREFELT $ 23))) 

(DEFUN |UTS;coerce;Coef$;4| (|r| $) (SPADCALL |r| (QREFELT $ 27))) 

(DEFUN |UTS;monomial;CoefNni$;5| (|c| |n| $) (SPADCALL |c| |n| (QREFELT $ 28))) 

(PUT '|UTS;getExpon| '|SPADreplace| 'QCAR) 

(DEFUN |UTS;getExpon| (|term| $) (QCAR |term|)) 

(PUT '|UTS;getCoef| '|SPADreplace| 'QCDR) 

(DEFUN |UTS;getCoef| (|term| $) (QCDR |term|)) 

(PUT '|UTS;rec| '|SPADreplace| 'CONS) 

(DEFUN |UTS;rec| (|expon| |coef| $) (CONS |expon| |coef|)) 

(DEFUN |UTS;recs| (|st| |n| $)
  (PROG ()
    (RETURN
     (SPADCALL (CONS #'|UTS;recs!0| (VECTOR |n| $ |st|)) (QREFELT $ 41))))) 

(DEFUN |UTS;recs!0| ($$)
  (PROG (|st| $ |n|)
    (LETT |st| (QREFELT $$ 2) . #1=(|UTS;recs|))
    (LETT $ (QREFELT $$ 1) . #1#)
    (LETT |n| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG (|coef|)
        (RETURN
         (COND ((SPADCALL |st| (QREFELT $ 29)) (SPADCALL (QREFELT $ 38)))
               ((SPADCALL (LETT |coef| (SPADCALL |st| (QREFELT $ 31)) NIL)
                          (QREFELT $ 11))
                (|UTS;recs| (SPADCALL |st| (QREFELT $ 32))
                 (SPADCALL |n| (|spadConstant| $ 33) (QREFELT $ 34)) $))
               ('T
                (SPADCALL (|UTS;rec| |n| |coef| $)
                          (|UTS;recs| (SPADCALL |st| (QREFELT $ 32))
                           (SPADCALL |n| (|spadConstant| $ 33) (QREFELT $ 34))
                           $)
                          (QREFELT $ 39)))))))))) 

(DEFUN |UTS;terms;$S;10| (|x| $) (|UTS;recs| (|UTS;stream| |x| $) 0 $)) 

(DEFUN |UTS;recsToCoefs| (|st| |n| $)
  (PROG ()
    (RETURN
     (SEQ
      (SPADCALL (CONS #'|UTS;recsToCoefs!0| (VECTOR |n| $ |st|))
                (QREFELT $ 52)))))) 

(DEFUN |UTS;recsToCoefs!0| ($$)
  (PROG (|st| $ |n|)
    (LETT |st| (QREFELT $$ 2) . #1=(|UTS;recsToCoefs|))
    (LETT $ (QREFELT $$ 1) . #1#)
    (LETT |n| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG (|term| |expon|)
        (RETURN
         (SEQ
          (COND ((SPADCALL |st| (QREFELT $ 43)) (SPADCALL (QREFELT $ 48)))
                ('T
                 (SEQ (LETT |term| (SPADCALL |st| (QREFELT $ 44)) NIL)
                      (LETT |expon| (|UTS;getExpon| |term| $) NIL)
                      (EXIT
                       (COND
                        ((SPADCALL |n| |expon| (QREFELT $ 45))
                         (SPADCALL (|UTS;getCoef| |term| $)
                                   (|UTS;recsToCoefs|
                                    (SPADCALL |st| (QREFELT $ 46))
                                    (SPADCALL |n| (|spadConstant| $ 33)
                                              (QREFELT $ 34))
                                    $)
                                   (QREFELT $ 49)))
                        ('T
                         (SPADCALL (|spadConstant| $ 16)
                                   (|UTS;recsToCoefs| |st|
                                    (SPADCALL |n| (|spadConstant| $ 33)
                                              (QREFELT $ 34))
                                    $)
                                   (QREFELT $ 49))))))))))))))) 

(DEFUN |UTS;series;S$;12| (|st| $) (|UTS;recsToCoefs| |st| 0 $)) 

(DEFUN |UTS;stToPoly| (|st| |term| |n| |n0| $)
  (COND
   ((OR (< |n0| |n|) (SPADCALL |st| (QREFELT $ 29))) (|spadConstant| $ 55))
   ('T
    (SPADCALL
     (SPADCALL (SPADCALL |st| (QREFELT $ 31))
               (SPADCALL |term| |n| (QREFELT $ 56)) (QREFELT $ 57))
     (|UTS;stToPoly| (SPADCALL |st| (QREFELT $ 32)) |term| (+ |n| 1) |n0| $)
     (QREFELT $ 58))))) 

(DEFUN |UTS;polynomial;$NniP;14| (|x| |n| $)
  (|UTS;stToPoly| (|UTS;stream| |x| $)
   (SPADCALL (SPADCALL (QREFELT $ 7) (QREFELT $ 60))
             (SPADCALL (QREFELT $ 8) (QREFELT $ 61)) (QREFELT $ 62))
   0 |n| $)) 

(DEFUN |UTS;polynomial;$2NniP;15| (|x| |n1| |n2| $)
  (PROG (|#G31| |#G30|)
    (RETURN
     (SEQ
      (COND
       ((< |n2| |n1|)
        (PROGN
         (LETT |#G30| |n2| . #1=(|UTS;polynomial;$2NniP;15|))
         (LETT |#G31| |n1| . #1#)
         (LETT |n1| |#G30| . #1#)
         (LETT |n2| |#G31| . #1#))))
      (EXIT
       (|UTS;stToPoly| (SPADCALL (|UTS;stream| |x| $) |n1| (QREFELT $ 64))
        (SPADCALL (SPADCALL (QREFELT $ 7) (QREFELT $ 60))
                  (SPADCALL (QREFELT $ 8) (QREFELT $ 61)) (QREFELT $ 62))
        |n1| |n2| $)))))) 

(DEFUN |UTS;univariatePolynomial;$NniUp;16| (|x| |n| $)
  (PROG (|st| |term| |ress| #1=#:G1876 |k| |t1|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |ress| (|spadConstant| $ 67)
              . #2=(|UTS;univariatePolynomial;$NniUp;16|))
        (LETT |st| (|UTS;stream| |x| $) . #2#)
        (EXIT
         (COND
          ((SPADCALL (QREFELT $ 8) (|spadConstant| $ 16) (QREFELT $ 68))
           (SEQ
            (SEQ (LETT |k| 0 . #2#) G190
                 (COND ((QSGREATERP |k| |n|) #3=(GO G191)))
                 (SEQ
                  (EXIT
                   (COND
                    ((SPADCALL |st| (QREFELT $ 29))
                     (PROGN (LETT #1# |ress| . #2#) (GO #1#)))
                    ('T
                     (SEQ
                      (LETT |term|
                            (SPADCALL (SPADCALL |st| (QREFELT $ 31)) |k|
                                      (QREFELT $ 69))
                            . #2#)
                      (LETT |ress| (SPADCALL |term| |ress| (QREFELT $ 70))
                            . #2#)
                      (EXIT
                       (LETT |st| (SPADCALL |st| (QREFELT $ 35)) . #2#)))))))
                 (LETT |k| (QSADD1 |k|) . #2#) #4=(GO G190) G191 (EXIT NIL))
            (EXIT |ress|)))
          ('T
           (SEQ |ress|
                (LETT |t1|
                      (SPADCALL
                       (SPADCALL (|spadConstant| $ 12) 1 (QREFELT $ 69))
                       (SPADCALL (QREFELT $ 8) 0 (QREFELT $ 69))
                       (QREFELT $ 71))
                      . #2#)
                (LETT |term| (|spadConstant| $ 72) . #2#)
                (SEQ (LETT |k| 1 . #2#) G190 (COND ((QSGREATERP |k| |n|) #3#))
                     (SEQ
                      (EXIT
                       (COND
                        ((SPADCALL |st| (QREFELT $ 29))
                         (PROGN (LETT #1# |ress| . #2#) (GO #1#)))
                        ('T
                         (SEQ
                          (LETT |ress|
                                (SPADCALL
                                 (SPADCALL (SPADCALL |st| (QREFELT $ 31))
                                           |term| (QREFELT $ 73))
                                 |ress| (QREFELT $ 70))
                                . #2#)
                          (LETT |term| (SPADCALL |term| |t1| (QREFELT $ 74))
                                . #2#)
                          (EXIT
                           (LETT |st| (SPADCALL |st| (QREFELT $ 35))
                                 . #2#)))))))
                     (LETT |k| (QSADD1 |k|) . #2#) #4# G191 (EXIT NIL))
                (EXIT |ress|)))))))
      #1# (EXIT #1#))))) 

(DEFUN |UTS;coerce;Up$;17| (|p| $)
  (PROG (|st| |i| |oldDeg| |delta| #1=#:G1879 |deg|)
    (RETURN
     (SEQ
      (COND ((SPADCALL |p| (QREFELT $ 76)) (|spadConstant| $ 17))
            ('T
             (SEQ
              (COND
               ((NULL (SPADCALL (QREFELT $ 8) (QREFELT $ 11)))
                (LETT |p|
                      (SPADCALL |p|
                                (SPADCALL
                                 (SPADCALL (|spadConstant| $ 12) 1
                                           (QREFELT $ 69))
                                 (SPADCALL (QREFELT $ 8) 0 (QREFELT $ 69))
                                 (QREFELT $ 70))
                                (QREFELT $ 77))
                      . #2=(|UTS;coerce;Up$;17|))))
              (LETT |st| (SPADCALL (QREFELT $ 48)) . #2#)
              (LETT |oldDeg| (+ (SPADCALL |p| (QREFELT $ 78)) 1) . #2#)
              (SEQ G190
                   (COND
                    ((NULL (COND ((SPADCALL |p| (QREFELT $ 76)) 'NIL) ('T 'T)))
                     #3=(GO G191)))
                   (SEQ (LETT |deg| (SPADCALL |p| (QREFELT $ 78)) . #2#)
                        (LETT |delta|
                              (PROG1 (LETT #1# (- (- |oldDeg| |deg|) 1) . #2#)
                                (|check-subtype| (>= #1# 0)
                                                 '(|NonNegativeInteger|) #1#))
                              . #2#)
                        (SEQ (LETT |i| 1 . #2#) G190
                             (COND ((QSGREATERP |i| |delta|) #3#))
                             (SEQ
                              (EXIT
                               (LETT |st|
                                     (SPADCALL (|spadConstant| $ 16) |st|
                                               (QREFELT $ 49))
                                     . #2#)))
                             (LETT |i| (QSADD1 |i|) . #2#) #4=(GO G190) G191
                             (EXIT NIL))
                        (LETT |st|
                              (SPADCALL (SPADCALL |p| (QREFELT $ 79)) |st|
                                        (QREFELT $ 49))
                              . #2#)
                        (LETT |oldDeg| |deg| . #2#)
                        (EXIT (LETT |p| (SPADCALL |p| (QREFELT $ 80)) . #2#)))
                   NIL #4# G191 (EXIT NIL))
              (SEQ (LETT |i| 1 . #2#) G190
                   (COND ((QSGREATERP |i| |oldDeg|) #3#))
                   (SEQ
                    (EXIT
                     (LETT |st|
                           (SPADCALL (|spadConstant| $ 16) |st| (QREFELT $ 49))
                           . #2#)))
                   (LETT |i| (QSADD1 |i|) . #2#) #4# G191 (EXIT NIL))
              (EXIT |st|)))))))) 

(DEFUN |UTS;stToCoef| (|st| |term| |n| |n0| $)
  (COND
   ((OR (< |n0| |n|) (SPADCALL |st| (QREFELT $ 29))) (|spadConstant| $ 16))
   ('T
    (SPADCALL
     (SPADCALL (SPADCALL |st| (QREFELT $ 31))
               (SPADCALL |term| |n| (QREFELT $ 82)) (QREFELT $ 83))
     (|UTS;stToCoef| (SPADCALL |st| (QREFELT $ 32)) |term| (+ |n| 1) |n0| $)
     (QREFELT $ 84))))) 

(DEFUN |UTS;approximate;$NniCoef;19| (|x| |n| $)
  (|UTS;stToCoef| (|UTS;stream| |x| $)
   (SPADCALL (SPADCALL (QREFELT $ 7) (QREFELT $ 85)) (QREFELT $ 8)
             (QREFELT $ 86))
   0 |n| $)) 

(DEFUN |UTS;variable;$S;20| (|x| $) (QREFELT $ 7)) 

(DEFUN |UTS;center;$Coef;21| (|s| $) (QREFELT $ 8)) 

(DEFUN |UTS;coefficient;$NniCoef;22| (|x| |n| $)
  (PROG (#1=#:G1894 |u|)
    (RETURN
     (SEQ (LETT |u| (|UTS;stream| |x| $) . #2=(|UTS;coefficient;$NniCoef;22|))
          (SEQ G190
               (COND
                ((NULL
                  (COND ((SPADCALL |u| (QREFELT $ 29)) 'NIL) ('T (< 0 |n|))))
                 (GO G191)))
               (SEQ (LETT |u| (SPADCALL |u| (QREFELT $ 35)) . #2#)
                    (EXIT
                     (LETT |n|
                           (PROG1 (LETT #1# (- |n| 1) . #2#)
                             (|check-subtype| (>= #1# 0)
                                              '(|NonNegativeInteger|) #1#))
                           . #2#)))
               NIL (GO G190) G191 (EXIT NIL))
          (COND
           ((OR (SPADCALL |u| (QREFELT $ 29)) (NULL (EQL |n| 0)))
            (EXIT (|spadConstant| $ 16))))
          (EXIT (SPADCALL |u| (QREFELT $ 31))))))) 

(DEFUN |UTS;elt;$NniCoef;23| (|x| |n| $) (SPADCALL |x| |n| (QREFELT $ 90))) 

(DEFUN |UTS;map;M2$;24| (|f| |x| $) (SPADCALL |f| |x| (QREFELT $ 93))) 

(DEFUN |UTS;eval;$CoefS;25| (|x| |r| $)
  (SPADCALL (|UTS;stream| |x| $) (SPADCALL |r| (QREFELT $ 8) (QREFELT $ 86))
            (QREFELT $ 95))) 

(DEFUN |UTS;differentiate;2$;26| (|x| $)
  (SPADCALL (|UTS;stream| |x| $) (QREFELT $ 97))) 

(DEFUN |UTS;differentiate;$V$;27| (|x| |v| $) (SPADCALL |x| (QREFELT $ 98))) 

(DEFUN |UTS;differentiate;$S$;28| (|x| |s| $)
  (PROG ()
    (RETURN
     (COND
      ((EQUAL |s| (SPADCALL |x| (QREFELT $ 88))) (SPADCALL |x| (QREFELT $ 98)))
      ('T
       (SPADCALL
        (SPADCALL (CONS #'|UTS;differentiate;$S$;28!0| (VECTOR $ |s|)) |x|
                  (QREFELT $ 94))
        (SPADCALL (SPADCALL (SPADCALL |x| (QREFELT $ 89)) |s| (QREFELT $ 100))
                  (SPADCALL |x| (QREFELT $ 98)) (QREFELT $ 101))
        (QREFELT $ 102))))))) 

(DEFUN |UTS;differentiate;$S$;28!0| (|y| $$)
  (PROG (|s| $)
    (LETT |s| (QREFELT $$ 1) . #1=(|UTS;differentiate;$S$;28|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |y| |s| (QREFELT $ 100)))))) 

(DEFUN |UTS;multiplyCoefficients;M2$;29| (|f| |x| $)
  (SPADCALL |f| (|UTS;stream| |x| $) (QREFELT $ 105))) 

(DEFUN |UTS;lagrange;2$;30| (|x| $)
  (SPADCALL (|UTS;stream| |x| $) (QREFELT $ 107))) 

(DEFUN |UTS;lambert;2$;31| (|x| $)
  (SPADCALL (|UTS;stream| |x| $) (QREFELT $ 109))) 

(DEFUN |UTS;oddlambert;2$;32| (|x| $)
  (SPADCALL (|UTS;stream| |x| $) (QREFELT $ 111))) 

(DEFUN |UTS;evenlambert;2$;33| (|x| $)
  (SPADCALL (|UTS;stream| |x| $) (QREFELT $ 113))) 

(DEFUN |UTS;generalLambert;$2I$;34| (|x| |a| |d| $)
  (SPADCALL (|UTS;stream| |x| $) |a| |d| (QREFELT $ 115))) 

(DEFUN |UTS;extend;$Nni$;35| (|x| |n| $)
  (SPADCALL |x| (+ |n| 1) (QREFELT $ 117))) 

(DEFUN |UTS;complete;2$;36| (|x| $) (SPADCALL |x| (QREFELT $ 119))) 

(DEFUN |UTS;truncate;$Nni$;37| (|x| |n| $)
  (SPADCALL (|UTS;stream| |x| $) (+ |n| 1) (QREFELT $ 121))) 

(DEFUN |UTS;truncate;$2Nni$;38| (|x| |n1| |n2| $)
  (PROG (|st| |i| |m| #1=#:G1931 |#G84| |#G83|)
    (RETURN
     (SEQ
      (COND
       ((< |n2| |n1|)
        (PROGN
         (LETT |#G83| |n2| . #2=(|UTS;truncate;$2Nni$;38|))
         (LETT |#G84| |n1| . #2#)
         (LETT |n1| |#G83| . #2#)
         (LETT |n2| |#G84| . #2#))))
      (LETT |m|
            (PROG1 (LETT #1# (- |n2| |n1|) . #2#)
              (|check-subtype| (>= #1# 0) '(|NonNegativeInteger|) #1#))
            . #2#)
      (LETT |st|
            (SPADCALL (SPADCALL (|UTS;stream| |x| $) |n1| (QREFELT $ 123))
                      (+ |m| 1) (QREFELT $ 121))
            . #2#)
      (SEQ (LETT |i| 1 . #2#) G190 (COND ((QSGREATERP |i| |n1|) (GO G191)))
           (SEQ
            (EXIT
             (LETT |st| (SPADCALL (|spadConstant| $ 16) |st| (QREFELT $ 47))
                   . #2#)))
           (LETT |i| (QSADD1 |i|) . #2#) (GO G190) G191 (EXIT NIL))
      (EXIT |st|))))) 

(DEFUN |UTS;elt;3$;39| (|x| |y| $)
  (SPADCALL (|UTS;stream| |x| $) (|UTS;stream| |y| $) (QREFELT $ 125))) 

(DEFUN |UTS;revert;2$;40| (|x| $)
  (SPADCALL (|UTS;stream| |x| $) (QREFELT $ 127))) 

(DEFUN |UTS;multisect;2I2$;41| (|a| |b| |x| $)
  (SPADCALL |a| |b| (|UTS;stream| |x| $) (QREFELT $ 129))) 

(DEFUN |UTS;invmultisect;2I2$;42| (|a| |b| |x| $)
  (SPADCALL |a| |b| (|UTS;stream| |x| $) (QREFELT $ 131))) 

(DEFUN |UTS;multiplyExponents;$Pi$;43| (|x| |n| $)
  (SPADCALL |n| 0 |x| (QREFELT $ 132))) 

(DEFUN |UTS;quoByVar;2$;44| (|x| $)
  (COND ((SPADCALL |x| (QREFELT $ 29)) (|spadConstant| $ 17))
        ('T (SPADCALL |x| (QREFELT $ 35))))) 

(DEFUN |UTS;unit?;$B;45| (|x| $)
  (SPADCALL (SPADCALL |x| 0 (QREFELT $ 90)) (QREFELT $ 136))) 

(DEFUN |UTS;^;$Coef$;46| (|x| |s| $)
  (SPADCALL |s| (|UTS;stream| |x| $) (QREFELT $ 139))) 

(DEFUN |UTS;^;$Coef$;47| (|x| |s| $)
  (SPADCALL |s| (|UTS;stream| |x| $) (QREFELT $ 141))) 

(DEFUN |UTS;coerce;F$;48| (|r| $)
  (SPADCALL (SPADCALL |r| (QREFELT $ 142)) (QREFELT $ 23))) 

(DEFUN |UTS;integrate;2$;49| (|x| $)
  (SPADCALL (|spadConstant| $ 16) (|UTS;stream| |x| $) (QREFELT $ 144))) 

(DEFUN |UTS;integrate;$V$;50| (|x| |v| $) (SPADCALL |x| (QREFELT $ 145))) 

(DEFUN |UTS;integrate;$S$;51| (|x| |s| $)
  (PROG ()
    (RETURN
     (COND
      ((EQUAL |s| (SPADCALL |x| (QREFELT $ 88)))
       (SPADCALL |x| (QREFELT $ 145)))
      ((NULL
        (SPADCALL |s| (SPADCALL (SPADCALL |x| (QREFELT $ 89)) (QREFELT $ 148))
                  (QREFELT $ 149)))
       (SPADCALL (CONS #'|UTS;integrate;$S$;51!0| (VECTOR $ |s|)) |x|
                 (QREFELT $ 94)))
      ('T
       (|error|
        "integrate: center is a function of variable of integration")))))) 

(DEFUN |UTS;integrate;$S$;51!0| (|y| $$)
  (PROG (|s| $)
    (LETT |s| (QREFELT $$ 1) . #1=(|UTS;integrate;$S$;51|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |y| |s| (QREFELT $ 150)))))) 

(DEFUN |UTS;integrateWithOneAnswer| (|f| |s| $)
  (PROG (|res|)
    (RETURN
     (SEQ
      (LETT |res| (SPADCALL |f| |s| (QREFELT $ 154))
            |UTS;integrateWithOneAnswer|)
      (EXIT
       (COND ((QEQCAR |res| 0) (QCDR |res|))
             ('T (|SPADfirst| (QCDR |res|))))))))) 

(DEFUN |UTS;integrate;$S$;53| (|x| |s| $)
  (PROG ()
    (RETURN
     (COND
      ((EQUAL |s| (SPADCALL |x| (QREFELT $ 88)))
       (SPADCALL |x| (QREFELT $ 145)))
      ((NULL
        (SPADCALL |s| (SPADCALL (SPADCALL |x| (QREFELT $ 89)) (QREFELT $ 148))
                  (QREFELT $ 149)))
       (SPADCALL (CONS #'|UTS;integrate;$S$;53!0| (VECTOR $ |s|)) |x|
                 (QREFELT $ 94)))
      ('T
       (|error|
        "integrate: center is a function of variable of integration")))))) 

(DEFUN |UTS;integrate;$S$;53!0| (|y| $$)
  (PROG (|s| $)
    (LETT |s| (QREFELT $$ 1) . #1=(|UTS;integrate;$S$;53|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (|UTS;integrateWithOneAnswer| |y| |s| $))))) 

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

(DEFUN |UnivariateTaylorSeries;| (|#1| |#2| |#3|)
  (PROG (|pv$| #1=#:G1979 $ |dv$| DV$3 DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #2=(|UnivariateTaylorSeries|))
      (LETT DV$2 (|devaluate| |#2|) . #2#)
      (LETT DV$3 (|devaluate| |#3|) . #2#)
      (LETT |dv$| (LIST '|UnivariateTaylorSeries| DV$1 DV$2 DV$3) . #2#)
      (LETT $ (GETREFV 163) . #2#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3
                (LETT |pv$|
                      (|buildPredVector| 0 0
                                         (LIST
                                          (|HasCategory| |#1|
                                                         '(|Algebra|
                                                           (|Fraction|
                                                            (|Integer|))))
                                          (|HasCategory| |#1|
                                                         '(|IntegralDomain|))
                                          (LETT #1#
                                                (|HasCategory| |#1|
                                                               '(|CommutativeRing|))
                                                . #2#)
                                          (OR #1#
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|)))
                                          (|HasCategory| |#1|
                                                         '(|CharacteristicNonZero|))
                                          (|HasCategory| |#1|
                                                         '(|CharacteristicZero|))
                                          (|HasSignature| |#1|
                                                          (LIST '*
                                                                (LIST
                                                                 (|devaluate|
                                                                  |#1|)
                                                                 '(|NonNegativeInteger|)
                                                                 (|devaluate|
                                                                  |#1|))))
                                          (AND
                                           (|HasCategory| |#1|
                                                          '(|PartialDifferentialRing|
                                                            (|Symbol|)))
                                           (|HasSignature| |#1|
                                                           (LIST '*
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|NonNegativeInteger|)
                                                                  (|devaluate|
                                                                   |#1|)))))
                                          (|HasCategory| (|NonNegativeInteger|)
                                                         '(|SemiGroup|))
                                          (|HasSignature| |#1|
                                                          (LIST '^
                                                                (LIST
                                                                 (|devaluate|
                                                                  |#1|)
                                                                 (|devaluate|
                                                                  |#1|)
                                                                 '(|NonNegativeInteger|))))
                                          (AND
                                           (|HasSignature| |#1|
                                                           (LIST '^
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|NonNegativeInteger|))))
                                           (|HasSignature| |#1|
                                                           (LIST '|coerce|
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|Symbol|)))))
                                          (|HasCategory| |#1| '(|Field|))
                                          (OR
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|Algebra|
                                                             (|Fraction|
                                                              (|Integer|))))
                                            (|HasCategory| |#1|
                                                           '(|AlgebraicallyClosedFunctionSpace|
                                                             (|Integer|)))
                                            (|HasCategory| |#1|
                                                           '(|PrimitiveFunctionCategory|))
                                            (|HasCategory| |#1|
                                                           '(|TranscendentalFunctionCategory|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|Algebra|
                                                             (|Fraction|
                                                              (|Integer|))))
                                            (|HasSignature| |#1|
                                                            (LIST '|integrate|
                                                                  (LIST
                                                                   (|devaluate|
                                                                    |#1|)
                                                                   (|devaluate|
                                                                    |#1|)
                                                                   '(|Symbol|))))
                                            (|HasSignature| |#1|
                                                            (LIST '|variables|
                                                                  (LIST
                                                                   '(|List|
                                                                     (|Symbol|))
                                                                   (|devaluate|
                                                                    |#1|))))))))
                      . #2#))
      (|haddProp| |$ConstructorCache| '|UnivariateTaylorSeries|
                  (LIST DV$1 DV$2 DV$3) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 8 |#3|)
      (QSETREFV $ 9 (|Stream| |#1|))
      (COND
       ((|HasSignature| |#1|
                        (LIST '|coerce| (LIST (|devaluate| |#1|) '(|Symbol|))))
        (COND
         ((|testBitVector| |pv$| 10)
          (PROGN
           (QSETREFV $ 87
                     (CONS (|dispatchFunction| |UTS;approximate;$NniCoef;19|)
                           $)))))))
      (COND
       ((|HasCategory| |#1| '(|PartialDifferentialRing| (|Symbol|)))
        (QSETREFV $ 103
                  (CONS (|dispatchFunction| |UTS;differentiate;$S$;28|) $))))
      (COND
       ((|testBitVector| |pv$| 2)
        (QSETREFV $ 137 (CONS (|dispatchFunction| |UTS;unit?;$B;45|) $))))
      (COND
       ((|testBitVector| |pv$| 12)
        (COND
         ((|domainEqual| |#1| (|Fraction| (|Integer|)))
          (QSETREFV $ 140 (CONS (|dispatchFunction| |UTS;^;$Coef$;46|) $)))
         ('T
          (QSETREFV $ 140 (CONS (|dispatchFunction| |UTS;^;$Coef$;47|) $))))))
      (COND
       ((|testBitVector| |pv$| 1)
        (PROGN
         (QSETREFV $ 143 (CONS (|dispatchFunction| |UTS;coerce;F$;48|) $))
         (QSETREFV $ 145 (CONS (|dispatchFunction| |UTS;integrate;2$;49|) $))
         (QSETREFV $ 146 (CONS (|dispatchFunction| |UTS;integrate;$V$;50|) $))
         (COND
          ((|HasSignature| |#1|
                           (LIST '|integrate|
                                 (LIST (|devaluate| |#1|) (|devaluate| |#1|)
                                       '(|Symbol|))))
           (COND
            ((|HasSignature| |#1|
                             (LIST '|variables|
                                   (LIST '(|List| (|Symbol|))
                                         (|devaluate| |#1|))))
             (QSETREFV $ 151
                       (CONS (|dispatchFunction| |UTS;integrate;$S$;51|)
                             $))))))
         (COND
          ((|HasCategory| |#1| '(|TranscendentalFunctionCategory|))
           (COND
            ((|HasCategory| |#1| '(|PrimitiveFunctionCategory|))
             (COND
              ((|HasCategory| |#1|
                              '(|AlgebraicallyClosedFunctionSpace|
                                (|Integer|)))
               (PROGN
                (QSETREFV $ 151
                          (CONS (|dispatchFunction| |UTS;integrate;$S$;53|)
                                $))))))))))))
      $)))) 

(MAKEPROP '|UnivariateTaylorSeries| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL (|InnerTaylorSeries| 6) (|local| |#1|)
              (|local| |#2|) (|local| |#3|) '|Rep| (|Boolean|) (0 . |zero?|)
              (5 . |One|) (9 . |One|) (|NonNegativeInteger|)
              |UTS;monomial;CoefNni$;5| (13 . |Zero|) (17 . |Zero|) (21 . +)
              (|Variable| 7) |UTS;coerce;V$;2| (|Integer|) (27 . |coerce|)
              |UTS;coerce;Coef$;4| |UTS;coerce;I$;3| (|Stream| 6)
              (|StreamTaylorSeriesOperations| 6) (32 . |coerce|) (37 . |monom|)
              (43 . |empty?|) (48 . |empty|) (52 . |frst|) (57 . |rst|)
              (62 . |One|) (66 . +) (72 . |rst|)
              (|Record| (|:| |k| 14) (|:| |c| 6)) (|Stream| 36) (77 . |empty|)
              (81 . |concat|) (|Mapping| $) (87 . |delay|) |UTS;terms;$S;10|
              (92 . |empty?|) (97 . |frst|) (102 . =) (108 . |rst|)
              (113 . |concat|) (119 . |empty|) (123 . |concat|) (129 . |Zero|)
              (133 . |Zero|) (137 . |delay|) |UTS;series;S$;12|
              (|Polynomial| 6) (142 . |Zero|) (146 . ^) (152 . *) (158 . +)
              (|Symbol|) (164 . |coerce|) (169 . |coerce|) (174 . -)
              |UTS;polynomial;$NniP;14| (180 . |rest|)
              |UTS;polynomial;$2NniP;15| (|UnivariatePolynomial| 7 6)
              (186 . |Zero|) (190 . =) (196 . |monomial|) (202 . +) (208 . -)
              (214 . |One|) (218 . *) (224 . *)
              |UTS;univariatePolynomial;$NniUp;16| (230 . |zero?|)
              (235 . |elt|) (241 . |degree|) (246 . |leadingCoefficient|)
              (251 . |reductum|) |UTS;coerce;Up$;17| (256 . ^) (262 . *)
              (268 . +) (274 . |coerce|) (279 . -) (285 . |approximate|)
              |UTS;variable;$S;20| |UTS;center;$Coef;21|
              |UTS;coefficient;$NniCoef;22| |UTS;elt;$NniCoef;23|
              (|Mapping| 6 6) (291 . |map|) |UTS;map;M2$;24| (297 . |eval|)
              |UTS;eval;$CoefS;25| (303 . |deriv|) |UTS;differentiate;2$;26|
              |UTS;differentiate;$V$;27| (308 . |differentiate|) (314 . *)
              (320 . -) (326 . |differentiate|) (|Mapping| 6 21)
              (332 . |gderiv|) |UTS;multiplyCoefficients;M2$;29|
              (338 . |lagrange|) |UTS;lagrange;2$;30| (343 . |lambert|)
              |UTS;lambert;2$;31| (348 . |oddlambert|) |UTS;oddlambert;2$;32|
              (353 . |evenlambert|) |UTS;evenlambert;2$;33|
              (358 . |generalLambert|) |UTS;generalLambert;$2I$;34|
              (365 . |extend|) |UTS;extend;$Nni$;35| (371 . |complete|)
              |UTS;complete;2$;36| (376 . |first|) |UTS;truncate;$Nni$;37|
              (382 . |rest|) |UTS;truncate;$2Nni$;38| (388 . |compose|)
              |UTS;elt;3$;39| (394 . |revert|) |UTS;revert;2$;40|
              (399 . |multisect|) |UTS;multisect;2I2$;41|
              (406 . |invmultisect|) |UTS;invmultisect;2I2$;42|
              (|PositiveInteger|) |UTS;multiplyExponents;$Pi$;43|
              |UTS;quoByVar;2$;44| (413 . |unit?|) (418 . |unit?|)
              (|Fraction| 21) (423 . |powern|) (429 . ^) (435 . |power|)
              (441 . |coerce|) (446 . |coerce|) (451 . |integrate|)
              (457 . |integrate|) (462 . |integrate|) (|List| 59)
              (468 . |variables|) (473 . |entry?|) (479 . |integrate|)
              (485 . |integrate|) (|Union| 6 (|List| 6))
              (|FunctionSpaceIntegration| 21 6) (491 . |integrate|) (|List| 14)
              (|Union| $ '"failed")
              (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))
              (|List| 159) (|SingletonAsOrderedSet|) (|SingleInteger|)
              (|String|) (|OutputForm|))
           '#(~= 497 |zero?| 503 |variables| 508 |variable| 513
              |univariatePolynomial| 518 |unitNormal| 524 |unitCanonical| 529
              |unit?| 534 |truncate| 539 |terms| 552 |tanh| 557 |tan| 562
              |subtractIfCan| 567 |sqrt| 573 |sinh| 578 |sin| 583 |series| 588
              |sech| 598 |sec| 603 |sample| 608 |revert| 612 |reductum| 617
              |recip| 622 |quoByVar| 627 |polynomial| 632 |pole?| 645 |pi| 650
              |order| 654 |one?| 665 |oddlambert| 670 |nthRoot| 675 |multisect|
              681 |multiplyExponents| 688 |multiplyCoefficients| 694
              |monomial?| 700 |monomial| 705 |map| 725 |log| 731
              |leadingMonomial| 736 |leadingCoefficient| 741 |latex| 746
              |lambert| 751 |lagrange| 756 |invmultisect| 761 |integrate| 768
              |hash| 785 |generalLambert| 790 |extend| 797 |exquo| 803 |exp|
              809 |evenlambert| 814 |eval| 819 |elt| 825 |differentiate| 837
              |degree| 880 |csch| 885 |csc| 890 |coth| 895 |cot| 900 |cosh| 905
              |cos| 910 |complete| 915 |coerce| 920 |coefficients| 955
              |coefficient| 960 |charthRoot| 966 |characteristic| 971 |center|
              975 |atanh| 980 |atan| 985 |associates?| 990 |asinh| 996 |asin|
              1001 |asech| 1006 |asec| 1011 |approximate| 1016 |acsch| 1022
              |acsc| 1027 |acoth| 1032 |acot| 1037 |acosh| 1042 |acos| 1047 ^
              1052 |Zero| 1082 |One| 1086 D 1090 = 1127 / 1133 - 1139 + 1150 *
              1156)
           'NIL
           (CONS
            (|makeByteWordVec2| 9
                                '(0 0 0 0 2 1 2 3 1 4 2 2 5 6 3 8 7 0 0 1 4 0 0
                                  0 0 1 1 3 0 0 0 0 0 0 0 0 0 1 0 0 0 3 2 9 1 1
                                  1 1 1 1))
            (CONS
             '#(|UnivariateTaylorSeriesCategory&|
                |UnivariatePowerSeriesCategory&| |PowerSeriesCategory&|
                |AbelianMonoidRing&| |IntegralDomain&| |Algebra&| |Algebra&|
                |Algebra&| |Module&| NIL |Module&| NIL NIL NIL |Module&|
                |PartialDifferentialRing&| |DifferentialRing&| |Ring&| NIL NIL
                NIL NIL NIL NIL NIL NIL NIL NIL |AbelianGroup&| NIL NIL
                |AbelianMonoid&| |Monoid&| NIL |SemiGroup&| |AbelianSemiGroup&|
                |SetCategory&| |TranscendentalFunctionCategory&| NIL
                |BasicType&| NIL NIL NIL NIL |TrigonometricFunctionCategory&|
                |ArcTrigonometricFunctionCategory&|
                |HyperbolicFunctionCategory&| NIL |ElementaryFunctionCategory&|
                |RadicalCategory&|)
             (CONS
              '#((|UnivariateTaylorSeriesCategory| 6)
                 (|UnivariatePowerSeriesCategory| 6 14)
                 (|PowerSeriesCategory| 6 14 159) (|AbelianMonoidRing| 6 14)
                 (|IntegralDomain|) (|Algebra| 138) (|Algebra| $$)
                 (|Algebra| 6) (|Module| 138) (|CommutativeRing|) (|Module| $$)
                 (|EntireRing|) (|CharacteristicNonZero|)
                 (|CharacteristicZero|) (|Module| 6)
                 (|PartialDifferentialRing| 59) (|DifferentialRing|) (|Ring|)
                 (|BiModule| 6 6) (|BiModule| 138 138) (|BiModule| $$ $$)
                 (|Rng|) (|LeftModule| 6) (|RightModule| 6) (|LeftModule| $$)
                 (|LeftModule| 138) (|RightModule| 138) (|RightModule| $$)
                 (|AbelianGroup|) (|CancellationAbelianMonoid|) (|SemiRing|)
                 (|AbelianMonoid|) (|Monoid|) (|SemiRng|) (|SemiGroup|)
                 (|AbelianSemiGroup|) (|SetCategory|)
                 (|TranscendentalFunctionCategory|) (|unitsKnown|)
                 (|BasicType|) (|CoercibleTo| 162) (|CommutativeStar|)
                 (|noZeroDivisors|) (|Eltable| $$ $$)
                 (|TrigonometricFunctionCategory|)
                 (|ArcTrigonometricFunctionCategory|)
                 (|HyperbolicFunctionCategory|)
                 (|ArcHyperbolicFunctionCategory|)
                 (|ElementaryFunctionCategory|) (|RadicalCategory|))
              (|makeByteWordVec2| 162
                                  '(1 6 10 0 11 0 6 0 12 0 0 0 13 0 6 0 16 0 0
                                    0 17 2 0 0 0 0 18 1 6 0 21 22 1 26 25 6 27
                                    2 26 25 6 21 28 1 9 10 0 29 0 9 0 30 1 9 6
                                    0 31 1 25 0 0 32 0 14 0 33 2 14 0 0 0 34 1
                                    9 0 0 35 0 37 0 38 2 37 0 36 0 39 1 37 0 40
                                    41 1 37 10 0 43 1 37 36 0 44 2 14 10 0 0 45
                                    1 37 0 0 46 2 9 0 6 0 47 0 25 0 48 2 25 0 6
                                    0 49 0 14 0 50 0 21 0 51 1 25 0 40 52 0 54
                                    0 55 2 54 0 0 14 56 2 54 0 6 0 57 2 54 0 0
                                    0 58 1 54 0 59 60 1 54 0 6 61 2 54 0 0 0 62
                                    2 25 0 0 14 64 0 66 0 67 2 6 10 0 0 68 2 66
                                    0 6 14 69 2 66 0 0 0 70 2 66 0 0 0 71 0 66
                                    0 72 2 66 0 6 0 73 2 66 0 0 0 74 1 66 10 0
                                    76 2 66 0 0 0 77 1 66 14 0 78 1 66 6 0 79 1
                                    66 0 0 80 2 6 0 0 14 82 2 6 0 0 0 83 2 6 0
                                    0 0 84 1 6 0 59 85 2 6 0 0 0 86 2 0 6 0 14
                                    87 2 9 0 92 0 93 2 26 25 25 6 95 1 26 25 25
                                    97 2 6 0 0 59 100 2 0 0 6 0 101 2 0 0 0 0
                                    102 2 0 0 0 59 103 2 26 25 104 25 105 1 26
                                    25 25 107 1 26 25 25 109 1 26 25 25 111 1
                                    26 25 25 113 3 26 25 25 21 21 115 2 9 0 0
                                    21 117 1 9 0 0 119 2 9 0 0 14 121 2 9 0 0
                                    14 123 2 26 25 25 25 125 1 26 25 25 127 3
                                    26 25 21 21 25 129 3 26 25 21 21 25 131 1 6
                                    10 0 136 1 0 10 0 137 2 26 25 138 25 139 2
                                    0 0 0 6 140 2 26 25 6 25 141 1 6 0 138 142
                                    1 0 0 138 143 2 26 25 6 25 144 1 0 0 0 145
                                    2 0 0 0 19 146 1 6 147 0 148 2 147 10 59 0
                                    149 2 6 0 0 59 150 2 0 0 0 59 151 2 153 152
                                    6 59 154 2 0 10 0 0 1 1 0 10 0 1 1 0 158 0
                                    1 1 0 59 0 88 2 0 66 0 14 75 1 2 157 0 1 1
                                    2 0 0 1 1 2 10 0 137 2 0 0 0 14 122 3 0 0 0
                                    14 14 124 1 0 37 0 42 1 1 0 0 1 1 1 0 0 1 2
                                    0 156 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1
                                    0 0 25 1 1 0 0 37 53 1 1 0 0 1 1 1 0 0 1 0
                                    0 0 1 1 0 0 0 128 1 0 0 0 1 1 0 156 0 1 1 0
                                    0 0 135 3 0 54 0 14 14 65 2 0 54 0 14 63 1
                                    0 10 0 1 0 1 0 1 1 0 14 0 1 2 0 14 0 14 1 1
                                    0 10 0 1 1 0 0 0 112 2 1 0 0 21 1 3 0 0 21
                                    21 0 130 2 0 0 0 133 134 2 0 0 104 0 106 1
                                    0 10 0 1 3 0 0 0 159 14 1 3 0 0 0 158 155 1
                                    2 0 0 6 14 15 2 0 0 92 0 94 1 1 0 0 1 1 0 0
                                    0 1 1 0 6 0 1 1 0 161 0 1 1 0 0 0 110 1 0 0
                                    0 108 3 0 0 21 21 0 132 2 13 0 0 59 151 2 1
                                    0 0 19 146 1 1 0 0 145 1 0 160 0 1 3 0 0 0
                                    21 21 116 2 0 0 0 14 118 2 2 156 0 0 1 1 1
                                    0 0 1 1 0 0 0 114 2 10 25 0 6 96 2 9 0 0 0
                                    126 2 0 6 0 14 91 2 8 0 0 59 103 3 8 0 0 59
                                    14 1 2 8 0 0 147 1 3 8 0 0 147 155 1 1 7 0
                                    0 98 2 7 0 0 14 1 2 0 0 0 19 99 1 0 14 0 1
                                    1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1
                                    0 0 1 1 1 0 0 1 1 0 0 0 120 1 1 0 138 143 1
                                    3 0 6 23 1 2 0 0 1 1 0 0 19 20 1 0 0 66 81
                                    1 0 0 21 24 1 0 162 0 1 1 0 25 0 1 2 0 6 0
                                    14 90 1 5 156 0 1 0 0 14 1 1 0 6 0 89 1 1 0
                                    0 1 1 1 0 0 1 2 2 10 0 0 1 1 1 0 0 1 1 1 0
                                    0 1 1 1 0 0 1 1 1 0 0 1 2 11 6 0 14 87 1 1
                                    0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0
                                    1 1 1 0 0 1 2 1 0 0 138 1 2 1 0 0 0 1 2 12
                                    0 0 6 140 2 0 0 0 14 1 2 0 0 0 133 1 0 0 0
                                    17 0 0 0 13 2 8 0 0 59 1 3 8 0 0 59 14 1 2
                                    8 0 0 147 1 3 8 0 0 147 155 1 1 7 0 0 1 2 7
                                    0 0 14 1 2 0 10 0 0 1 2 12 0 0 6 1 2 0 0 0
                                    0 102 1 0 0 0 1 2 0 0 0 0 18 2 1 0 138 0 1
                                    2 1 0 0 138 1 2 0 0 0 6 1 2 0 0 6 0 101 2 0
                                    0 0 0 1 2 0 0 21 0 1 2 0 0 14 0 1 2 0 0 133
                                    0 1)))))
           '|lookupComplete|)) 
