
(/VERSIONCHECK 2) 

(PUT '|SUTS;makeTerm| '|SPADreplace| 'CONS) 

(DEFUN |SUTS;makeTerm| (|exp| |coef| $) (CONS |exp| |coef|)) 

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

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

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

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

(DEFUN |SUTS;monomial;CoefNni$;4| (|coef| |expon| $)
  (SPADCALL |coef| |expon| (QREFELT $ 11))) 

(DEFUN |SUTS;extend;$Nni$;5| (|x| |n| $) (SPADCALL |x| |n| (QREFELT $ 14))) 

(DEFUN |SUTS;Zero;$;6| ($) (SPADCALL (|spadConstant| $ 16) 0 (QREFELT $ 11))) 

(DEFUN |SUTS;One;$;7| ($) (SPADCALL (|spadConstant| $ 18) 0 (QREFELT $ 11))) 

(DEFUN |SUTS;recip;$U;8| (|uts| $)
  (SPADCALL (|spadConstant| $ 19) |uts| 'T (QREFELT $ 22))) 

(DEFUN |SUTS;exquo;2$U;9| (|uts1| |uts2| $)
  (SPADCALL |uts1| |uts2| 'T (QREFELT $ 22))) 

(DEFUN |SUTS;quoByVar;2$;10| (|uts| $) (SPADCALL |uts| (QREFELT $ 25))) 

(DEFUN |SUTS;differentiate;$V$;11| (|x| |v| $) (SPADCALL |x| (QREFELT $ 27))) 

(DEFUN |SUTS;coerce;V$;12| (|v| $)
  (COND
   ((SPADCALL (QREFELT $ 8) (QREFELT $ 30))
    (SPADCALL (|spadConstant| $ 18) 1 (QREFELT $ 13)))
   ('T
    (SPADCALL (SPADCALL (|spadConstant| $ 18) 1 (QREFELT $ 13))
              (SPADCALL (QREFELT $ 8) 0 (QREFELT $ 13)) (QREFELT $ 31))))) 

(DEFUN |SUTS;coerce;Up$;13| (|p| $)
  (PROG (|st|)
    (RETURN
     (SEQ
      (COND ((SPADCALL |p| (QREFELT $ 34)) (|spadConstant| $ 17))
            ('T
             (SEQ
              (COND
               ((NULL (SPADCALL (QREFELT $ 8) (QREFELT $ 30)))
                (LETT |p|
                      (SPADCALL |p|
                                (SPADCALL
                                 (SPADCALL (|spadConstant| $ 18) 1
                                           (QREFELT $ 35))
                                 (SPADCALL (QREFELT $ 8) 0 (QREFELT $ 35))
                                 (QREFELT $ 36))
                                (QREFELT $ 37))
                      . #1=(|SUTS;coerce;Up$;13|))))
              (LETT |st| (SPADCALL (QREFELT $ 40)) . #1#)
              (SEQ G190
                   (COND
                    ((NULL (COND ((SPADCALL |p| (QREFELT $ 34)) 'NIL) ('T 'T)))
                     (GO G191)))
                   (SEQ
                    (LETT |st|
                          (SPADCALL
                           (|SUTS;makeTerm| (SPADCALL |p| (QREFELT $ 41))
                            (SPADCALL |p| (QREFELT $ 42)) $)
                           |st| (QREFELT $ 43))
                          . #1#)
                    (EXIT (LETT |p| (SPADCALL |p| (QREFELT $ 44)) . #1#)))
                   NIL (GO G190) G191 (EXIT NIL))
              (EXIT
               (SPADCALL (SPADCALL (SPADCALL (QREFELT $ 46)) (QREFELT $ 48))
                         |st| (QREFELT $ 49)))))))))) 

(DEFUN |SUTS;univariatePolynomial;$NniUp;14| (|x| |n| $)
  (PROG (|st| |ans| |monPow| |oldDeg| |pow| #1=#:G733 #2=#:G738 |xExpon|
         |xTerm| |mon|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ (SPADCALL |x| |n| (QREFELT $ 15))
            (LETT |st| (SPADCALL |x| (QREFELT $ 51))
                  . #3=(|SUTS;univariatePolynomial;$NniUp;14|))
            (LETT |ans| (|spadConstant| $ 52) . #3#) (LETT |oldDeg| 0 . #3#)
            (LETT |mon|
                  (SPADCALL (SPADCALL (|spadConstant| $ 18) 1 (QREFELT $ 35))
                            (SPADCALL (SPADCALL |x| (QREFELT $ 53)) 0
                                      (QREFELT $ 35))
                            (QREFELT $ 54))
                  . #3#)
            (LETT |monPow| (|spadConstant| $ 55) . #3#)
            (SEQ G190 (COND ((NULL (SPADCALL |st| (QREFELT $ 56))) (GO G191)))
                 (SEQ
                  (LETT |xExpon|
                        (|SUTS;getExpon|
                         (LETT |xTerm| (SPADCALL |st| (QREFELT $ 57)) . #3#) $)
                        . #3#)
                  (EXIT
                   (COND
                    ((< |n| |xExpon|) (PROGN (LETT #2# |ans| . #3#) (GO #2#)))
                    ('T
                     (SEQ
                      (LETT |pow|
                            (PROG1 (LETT #1# (- |xExpon| |oldDeg|) . #3#)
                              (|check-subtype| (>= #1# 0)
                                               '(|NonNegativeInteger|) #1#))
                            . #3#)
                      (LETT |oldDeg| |xExpon| . #3#)
                      (LETT |monPow|
                            (SPADCALL |monPow|
                                      (SPADCALL |mon| |pow| (QREFELT $ 58))
                                      (QREFELT $ 59))
                            . #3#)
                      (LETT |ans|
                            (SPADCALL |ans|
                                      (SPADCALL (|SUTS;getCoef| |xTerm| $)
                                                |monPow| (QREFELT $ 60))
                                      (QREFELT $ 36))
                            . #3#)
                      (EXIT
                       (LETT |st| (SPADCALL |st| (QREFELT $ 61)) . #3#)))))))
                 NIL (GO G190) G191 (EXIT NIL))
            (EXIT |ans|)))
      #2# (EXIT #2#))))) 

(DEFUN |SUTS;polynomial;$NniP;15| (|x| |n| $)
  (PROG (|st| |ans| |monPow| |oldDeg| |pow| #1=#:G740 #2=#:G745 |xExpon|
         |xTerm| |mon|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ (SPADCALL |x| |n| (QREFELT $ 15))
            (LETT |st| (SPADCALL |x| (QREFELT $ 51))
                  . #3=(|SUTS;polynomial;$NniP;15|))
            (LETT |ans| (|spadConstant| $ 64) . #3#) (LETT |oldDeg| 0 . #3#)
            (LETT |mon|
                  (SPADCALL (SPADCALL (QREFELT $ 7) (QREFELT $ 66))
                            (SPADCALL (SPADCALL |x| (QREFELT $ 53))
                                      (QREFELT $ 67))
                            (QREFELT $ 68))
                  . #3#)
            (LETT |monPow| (|spadConstant| $ 69) . #3#)
            (SEQ G190 (COND ((NULL (SPADCALL |st| (QREFELT $ 56))) (GO G191)))
                 (SEQ
                  (LETT |xExpon|
                        (|SUTS;getExpon|
                         (LETT |xTerm| (SPADCALL |st| (QREFELT $ 57)) . #3#) $)
                        . #3#)
                  (EXIT
                   (COND
                    ((< |n| |xExpon|) (PROGN (LETT #2# |ans| . #3#) (GO #2#)))
                    ('T
                     (SEQ
                      (LETT |pow|
                            (PROG1 (LETT #1# (- |xExpon| |oldDeg|) . #3#)
                              (|check-subtype| (>= #1# 0)
                                               '(|NonNegativeInteger|) #1#))
                            . #3#)
                      (LETT |oldDeg| |xExpon| . #3#)
                      (LETT |monPow|
                            (SPADCALL |monPow|
                                      (SPADCALL |mon| |pow| (QREFELT $ 70))
                                      (QREFELT $ 71))
                            . #3#)
                      (LETT |ans|
                            (SPADCALL |ans|
                                      (SPADCALL (|SUTS;getCoef| |xTerm| $)
                                                |monPow| (QREFELT $ 72))
                                      (QREFELT $ 73))
                            . #3#)
                      (EXIT
                       (LETT |st| (SPADCALL |st| (QREFELT $ 61)) . #3#)))))))
                 NIL (GO G190) G191 (EXIT NIL))
            (EXIT |ans|)))
      #2# (EXIT #2#))))) 

(DEFUN |SUTS;polynomial;$2NniP;16| (|x| |n1| |n2| $)
  (SPADCALL (SPADCALL |x| |n1| |n2| (QREFELT $ 75)) |n2| (QREFELT $ 74))) 

(DEFUN |SUTS;truncate;$Nni$;17| (|x| |n| $) (SPADCALL |x| |n| (QREFELT $ 77))) 

(DEFUN |SUTS;truncate;$2Nni$;18| (|x| |n1| |n2| $)
  (SPADCALL |x| |n1| |n2| (QREFELT $ 79))) 

(DEFUN |SUTS;iCoefficients| (|x| |refer| |n| $)
  (PROG ()
    (RETURN
     (SEQ
      (SPADCALL (CONS #'|SUTS;iCoefficients!0| (VECTOR |refer| |n| $ |x|))
                (QREFELT $ 95)))))) 

(DEFUN |SUTS;iCoefficients!0| ($$)
  (PROG (|x| $ |n| |refer|)
    (LETT |x| (QREFELT $$ 3) . #1=(|SUTS;iCoefficients|))
    (LETT $ (QREFELT $$ 2) . #1#)
    (LETT |n| (QREFELT $$ 1) . #1#)
    (LETT |refer| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG (|nn| |nx| |xTerm| |xCoef| |xExpon|)
        (RETURN
         (SEQ
          (COND ((SPADCALL |x| (QREFELT $ 80)) (SPADCALL (QREFELT $ 82)))
                ('T
                 (SEQ (LETT |nn| (SPADCALL |n| (QREFELT $ 83)) NIL)
                      (SEQ G190
                           (COND
                            ((NULL
                              (SPADCALL
                               (LETT |nx| (SPADCALL |refer| (QREFELT $ 84))
                                     NIL)
                               |nn| (QREFELT $ 85)))
                             (GO G191)))
                           (SEQ (EXIT (SPADCALL |x| (QREFELT $ 86)))) NIL
                           (GO G190) G191 (EXIT NIL))
                      (EXIT
                       (COND
                        ((SPADCALL |x| (QREFELT $ 56))
                         (SEQ
                          (LETT |xCoef|
                                (|SUTS;getCoef|
                                 (LETT |xTerm| (SPADCALL |x| (QREFELT $ 57))
                                       NIL)
                                 $)
                                NIL)
                          (LETT |xExpon| (|SUTS;getExpon| |xTerm| $) NIL)
                          (EXIT
                           (COND
                            ((SPADCALL |xExpon| |n| (QREFELT $ 87))
                             (SPADCALL |xCoef|
                                       (|SUTS;iCoefficients|
                                        (SPADCALL |x| (QREFELT $ 61)) |refer|
                                        (SPADCALL |n| (|spadConstant| $ 88)
                                                  (QREFELT $ 89))
                                        $)
                                       (QREFELT $ 90)))
                            ('T
                             (SPADCALL (|spadConstant| $ 16)
                                       (|SUTS;iCoefficients| |x| |refer|
                                        (SPADCALL |n| (|spadConstant| $ 88)
                                                  (QREFELT $ 89))
                                        $)
                                       (QREFELT $ 90)))))))
                        ('T
                         (SPADCALL (|spadConstant| $ 16)
                                   (|SUTS;iCoefficients| |x| |refer|
                                    (SPADCALL |n| (|spadConstant| $ 88)
                                              (QREFELT $ 89))
                                    $)
                                   (QREFELT $ 90))))))))))))))) 

(DEFUN |SUTS;coefficients;$S;20| (|uts| $)
  (PROG (|x| |refer|)
    (RETURN
     (SEQ
      (LETT |refer| (SPADCALL |uts| (QREFELT $ 96))
            . #1=(|SUTS;coefficients;$S;20|))
      (LETT |x| (SPADCALL |uts| (QREFELT $ 51)) . #1#)
      (EXIT (|SUTS;iCoefficients| |x| |refer| 0 $)))))) 

(DEFUN |SUTS;terms;$S;21| (|uts| $) (SPADCALL |uts| (QREFELT $ 98))) 

(DEFUN |SUTS;iSeries| (|st| |n| |refer| $)
  (PROG ()
    (RETURN
     (SEQ
      (SPADCALL (CONS #'|SUTS;iSeries!0| (VECTOR |n| |refer| $ |st|))
                (QREFELT $ 106)))))) 

(DEFUN |SUTS;iSeries!0| ($$)
  (PROG (|st| $ |refer| |n|)
    (LETT |st| (QREFELT $$ 3) . #1=(|SUTS;iSeries|))
    (LETT $ (QREFELT $$ 2) . #1#)
    (LETT |refer| (QREFELT $$ 1) . #1#)
    (LETT |n| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG (|coef|)
        (RETURN
         (SEQ
          (COND
           ((SPADCALL |st| (QREFELT $ 102))
            (SEQ (SPADCALL |refer| (SPADCALL (QREFELT $ 46)) (QREFELT $ 103))
                 (EXIT (SPADCALL (QREFELT $ 40)))))
           ('T
            (SEQ
             (SPADCALL |refer| (SPADCALL |n| (QREFELT $ 83)) (QREFELT $ 103))
             (EXIT
              (COND
               ((SPADCALL (LETT |coef| (SPADCALL |st| (QREFELT $ 104)) NIL)
                          (QREFELT $ 30))
                (|SUTS;iSeries| (SPADCALL |st| (QREFELT $ 105))
                 (SPADCALL |n| (|spadConstant| $ 88) (QREFELT $ 89)) |refer|
                 $))
               ('T
                (SPADCALL (|SUTS;makeTerm| |n| |coef| $)
                          (|SUTS;iSeries| (SPADCALL |st| (QREFELT $ 105))
                           (SPADCALL |n| (|spadConstant| $ 88) (QREFELT $ 89))
                           |refer| $)
                          (QREFELT $ 43))))))))))))))) 

(DEFUN |SUTS;series;S$;23| (|st| $)
  (PROG (|refer|)
    (RETURN
     (SEQ
      (LETT |refer|
            (SPADCALL (SPADCALL (|spadConstant| $ 107) (QREFELT $ 108))
                      (QREFELT $ 48))
            |SUTS;series;S$;23|)
      (EXIT
       (SPADCALL |refer| (|SUTS;iSeries| |st| 0 |refer| $) (QREFELT $ 49))))))) 

(DEFUN |SUTS;nniToI| (|st| $)
  (PROG (|term|)
    (RETURN
     (SEQ
      (COND ((SPADCALL |st| (QREFELT $ 110)) (SPADCALL (QREFELT $ 40)))
            ('T
             (SEQ
              (LETT |term|
                    (CONS (QCAR (SPADCALL |st| (QREFELT $ 111)))
                          (QCDR (SPADCALL |st| (QREFELT $ 111))))
                    |SUTS;nniToI|)
              (EXIT
               (SPADCALL |term|
                         (|SUTS;nniToI| (SPADCALL |st| (QREFELT $ 112)) $)
                         (QREFELT $ 43)))))))))) 

(DEFUN |SUTS;series;S$;25| (|st| $)
  (SPADCALL (|SUTS;nniToI| |st| $) (QREFELT $ 113))) 

(DEFUN |SUTS;variable;$S;26| (|x| $) (QREFELT $ 7)) 

(DEFUN |SUTS;center;$Coef;27| (|x| $) (QREFELT $ 8)) 

(DEFUN |SUTS;coefficient;$NniCoef;28| (|x| |n| $)
  (SPADCALL |x| |n| (QREFELT $ 116))) 

(DEFUN |SUTS;elt;$NniCoef;29| (|x| |n| $) (SPADCALL |x| |n| (QREFELT $ 117))) 

(PUT '|SUTS;pole?;$B;30| '|SPADreplace| '(XLAM (|x|) 'NIL)) 

(DEFUN |SUTS;pole?;$B;30| (|x| $) 'NIL) 

(DEFUN |SUTS;order;$Nni;31| (|x| $)
  (PROG (#1=#:G807)
    (RETURN
     (PROG1 (LETT #1# (SPADCALL |x| (QREFELT $ 120)) |SUTS;order;$Nni;31|)
       (|check-subtype| (>= #1# 0) '(|NonNegativeInteger|) #1#))))) 

(DEFUN |SUTS;order;$2Nni;32| (|x| |n| $)
  (PROG (#1=#:G809)
    (RETURN
     (PROG1 (LETT #1# (SPADCALL |x| |n| (QREFELT $ 122)) |SUTS;order;$2Nni;32|)
       (|check-subtype| (>= #1# 0) '(|NonNegativeInteger|) #1#))))) 

(DEFUN |SUTS;elt;3$;33| (|uts1| |uts2| $)
  (COND
   ((SPADCALL |uts2| (QREFELT $ 124))
    (SPADCALL (SPADCALL |uts1| 0 (QREFELT $ 117)) (QREFELT $ 125)))
   ((NULL (SPADCALL (SPADCALL |uts2| 0 (QREFELT $ 117)) (QREFELT $ 30)))
    (|error| "elt: second argument must have positive order"))
   ('T (SPADCALL |uts1| |uts2| (QREFELT $ 126))))) 

(DEFUN |SUTS;integrate;$V$;34| (|x| |v| $) (SPADCALL |x| (QREFELT $ 128))) 

(DEFUN |SUTS;^;3$;35| (|uts1| |uts2| $)
  (SPADCALL (SPADCALL (SPADCALL |uts1| (QREFELT $ 130)) |uts2| (QREFELT $ 131))
            (QREFELT $ 132))) 

(DEFUN |SUTS;^;$F$;36| (|uts| |r| $) (SPADCALL |uts| |r| (QREFELT $ 135))) 

(DEFUN |SUTS;exp;2$;37| (|uts| $) (SPADCALL |uts| (QREFELT $ 137))) 

(DEFUN |SUTS;log;2$;38| (|uts| $) (SPADCALL |uts| (QREFELT $ 138))) 

(DEFUN |SUTS;sin;2$;39| (|uts| $) (SPADCALL |uts| (QREFELT $ 139))) 

(DEFUN |SUTS;cos;2$;40| (|uts| $) (SPADCALL |uts| (QREFELT $ 141))) 

(DEFUN |SUTS;tan;2$;41| (|uts| $) (SPADCALL |uts| (QREFELT $ 143))) 

(DEFUN |SUTS;cot;2$;42| (|uts| $) (SPADCALL |uts| (QREFELT $ 145))) 

(DEFUN |SUTS;sec;2$;43| (|uts| $) (SPADCALL |uts| (QREFELT $ 147))) 

(DEFUN |SUTS;csc;2$;44| (|uts| $) (SPADCALL |uts| (QREFELT $ 149))) 

(DEFUN |SUTS;asin;2$;45| (|uts| $) (SPADCALL |uts| (QREFELT $ 151))) 

(DEFUN |SUTS;acos;2$;46| (|uts| $) (SPADCALL |uts| (QREFELT $ 153))) 

(DEFUN |SUTS;atan;2$;47| (|uts| $) (SPADCALL |uts| (QREFELT $ 155))) 

(DEFUN |SUTS;acot;2$;48| (|uts| $) (SPADCALL |uts| (QREFELT $ 157))) 

(DEFUN |SUTS;asec;2$;49| (|uts| $) (SPADCALL |uts| (QREFELT $ 159))) 

(DEFUN |SUTS;acsc;2$;50| (|uts| $) (SPADCALL |uts| (QREFELT $ 161))) 

(DEFUN |SUTS;sinh;2$;51| (|uts| $) (SPADCALL |uts| (QREFELT $ 163))) 

(DEFUN |SUTS;cosh;2$;52| (|uts| $) (SPADCALL |uts| (QREFELT $ 165))) 

(DEFUN |SUTS;tanh;2$;53| (|uts| $) (SPADCALL |uts| (QREFELT $ 167))) 

(DEFUN |SUTS;coth;2$;54| (|uts| $) (SPADCALL |uts| (QREFELT $ 169))) 

(DEFUN |SUTS;sech;2$;55| (|uts| $) (SPADCALL |uts| (QREFELT $ 171))) 

(DEFUN |SUTS;csch;2$;56| (|uts| $) (SPADCALL |uts| (QREFELT $ 173))) 

(DEFUN |SUTS;asinh;2$;57| (|uts| $) (SPADCALL |uts| (QREFELT $ 175))) 

(DEFUN |SUTS;acosh;2$;58| (|uts| $) (SPADCALL |uts| (QREFELT $ 177))) 

(DEFUN |SUTS;atanh;2$;59| (|uts| $) (SPADCALL |uts| (QREFELT $ 179))) 

(DEFUN |SUTS;acoth;2$;60| (|uts| $) (SPADCALL |uts| (QREFELT $ 181))) 

(DEFUN |SUTS;asech;2$;61| (|uts| $) (SPADCALL |uts| (QREFELT $ 183))) 

(DEFUN |SUTS;acsch;2$;62| (|uts| $) (SPADCALL |uts| (QREFELT $ 185))) 

(DEFUN |SUTS;^;$F$;63| (|uts| |r| $)
  (PROG (|ratPow| |onePlusX|)
    (RETURN
     (SEQ
      (COND
       ((NULL
         (SPADCALL (SPADCALL |uts| 0 (QREFELT $ 117)) (|spadConstant| $ 18)
                   (QREFELT $ 190)))
        (|error| "^: constant coefficient must be one"))
       ('T
        (SEQ
         (LETT |onePlusX|
               (SPADCALL (SPADCALL (|spadConstant| $ 18) 0 (QREFELT $ 13))
                         (SPADCALL (|spadConstant| $ 18) 1 (QREFELT $ 13))
                         (QREFELT $ 31))
               . #1=(|SUTS;^;$F$;63|))
         (LETT |ratPow|
               (SPADCALL |uts| (SPADCALL |r| (QREFELT $ 191)) (QREFELT $ 192))
               . #1#)
         (EXIT
          (SPADCALL |ratPow|
                    (SPADCALL |uts| (|spadConstant| $ 19) (QREFELT $ 193))
                    (QREFELT $ 126)))))))))) 

(DEFUN |SUTS;exp;2$;64| (|uts| $)
  (PROG (|expx|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL (SPADCALL |uts| 0 (QREFELT $ 117)) (QREFELT $ 30))
        (SEQ
         (LETT |expx|
               (SPADCALL (SPADCALL (|spadConstant| $ 18) 1 (QREFELT $ 13))
                         (QREFELT $ 137))
               |SUTS;exp;2$;64|)
         (EXIT (SPADCALL |expx| |uts| (QREFELT $ 126)))))
       ('T
        (|error|
         (SPADCALL (STRCONC "exp: " (QREFELT $ 187)) (QREFELT $ 196))))))))) 

(DEFUN |SUTS;log;2$;65| (|uts| $)
  (PROG (|log1PlusX|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL (SPADCALL |uts| 0 (QREFELT $ 117)) (|spadConstant| $ 18)
                  (QREFELT $ 190))
        (SEQ
         (LETT |log1PlusX|
               (SPADCALL
                (SPADCALL (SPADCALL (|spadConstant| $ 18) 0 (QREFELT $ 13))
                          (SPADCALL (|spadConstant| $ 18) 1 (QREFELT $ 13))
                          (QREFELT $ 31))
                (QREFELT $ 138))
               |SUTS;log;2$;65|)
         (EXIT
          (SPADCALL |log1PlusX|
                    (SPADCALL |uts| (|spadConstant| $ 19) (QREFELT $ 193))
                    (QREFELT $ 126)))))
       ('T
        (|error|
         (SPADCALL (STRCONC "log: " (QREFELT $ 188)) (QREFELT $ 196))))))))) 

(DEFUN |SUTS;sin;2$;66| (|uts| $)
  (PROG (|sinx|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL (SPADCALL |uts| 0 (QREFELT $ 117)) (QREFELT $ 30))
        (SEQ
         (LETT |sinx|
               (SPADCALL (SPADCALL (|spadConstant| $ 18) 1 (QREFELT $ 13))
                         (QREFELT $ 139))
               |SUTS;sin;2$;66|)
         (EXIT (SPADCALL |sinx| |uts| (QREFELT $ 126)))))
       ('T
        (|error|
         (SPADCALL (STRCONC "sin: " (QREFELT $ 187)) (QREFELT $ 196))))))))) 

(DEFUN |SUTS;cos;2$;67| (|uts| $)
  (PROG (|cosx|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL (SPADCALL |uts| 0 (QREFELT $ 117)) (QREFELT $ 30))
        (SEQ
         (LETT |cosx|
               (SPADCALL (SPADCALL (|spadConstant| $ 18) 1 (QREFELT $ 13))
                         (QREFELT $ 141))
               |SUTS;cos;2$;67|)
         (EXIT (SPADCALL |cosx| |uts| (QREFELT $ 126)))))
       ('T
        (|error|
         (SPADCALL (STRCONC "cos: " (QREFELT $ 187)) (QREFELT $ 196))))))))) 

(DEFUN |SUTS;tan;2$;68| (|uts| $)
  (PROG (|tanx|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL (SPADCALL |uts| 0 (QREFELT $ 117)) (QREFELT $ 30))
        (SEQ
         (LETT |tanx|
               (SPADCALL (SPADCALL (|spadConstant| $ 18) 1 (QREFELT $ 13))
                         (QREFELT $ 143))
               |SUTS;tan;2$;68|)
         (EXIT (SPADCALL |tanx| |uts| (QREFELT $ 126)))))
       ('T
        (|error|
         (SPADCALL (STRCONC "tan: " (QREFELT $ 187)) (QREFELT $ 196))))))))) 

(DEFUN |SUTS;cot;2$;69| (|uts| $)
  (COND ((SPADCALL |uts| (QREFELT $ 124)) (|error| "cot: cot(0) is undefined"))
        ((SPADCALL (SPADCALL |uts| 0 (QREFELT $ 117)) (QREFELT $ 30))
         (|error|
          (SPADCALL (STRCONC "cot: " (QREFELT $ 189)) (QREFELT $ 196))))
        ('T
         (|error|
          (SPADCALL (STRCONC "cot: " (QREFELT $ 187)) (QREFELT $ 196)))))) 

(DEFUN |SUTS;sec;2$;70| (|uts| $)
  (PROG (|secx|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL (SPADCALL |uts| 0 (QREFELT $ 117)) (QREFELT $ 30))
        (SEQ
         (LETT |secx|
               (SPADCALL (SPADCALL (|spadConstant| $ 18) 1 (QREFELT $ 13))
                         (QREFELT $ 147))
               |SUTS;sec;2$;70|)
         (EXIT (SPADCALL |secx| |uts| (QREFELT $ 126)))))
       ('T
        (|error|
         (SPADCALL (STRCONC "sec: " (QREFELT $ 187)) (QREFELT $ 196))))))))) 

(DEFUN |SUTS;csc;2$;71| (|uts| $)
  (COND ((SPADCALL |uts| (QREFELT $ 124)) (|error| "csc: csc(0) is undefined"))
        ((SPADCALL (SPADCALL |uts| 0 (QREFELT $ 117)) (QREFELT $ 30))
         (|error|
          (SPADCALL (STRCONC "csc: " (QREFELT $ 189)) (QREFELT $ 196))))
        ('T
         (|error|
          (SPADCALL (STRCONC "csc: " (QREFELT $ 187)) (QREFELT $ 196)))))) 

(DEFUN |SUTS;asin;2$;72| (|uts| $)
  (PROG (|asinx|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL (SPADCALL |uts| 0 (QREFELT $ 117)) (QREFELT $ 30))
        (SEQ
         (LETT |asinx|
               (SPADCALL (SPADCALL (|spadConstant| $ 18) 1 (QREFELT $ 13))
                         (QREFELT $ 151))
               |SUTS;asin;2$;72|)
         (EXIT (SPADCALL |asinx| |uts| (QREFELT $ 126)))))
       ('T
        (|error|
         (SPADCALL (STRCONC "asin: " (QREFELT $ 187)) (QREFELT $ 196))))))))) 

(DEFUN |SUTS;atan;2$;73| (|uts| $)
  (PROG (|atanx|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL (SPADCALL |uts| 0 (QREFELT $ 117)) (QREFELT $ 30))
        (SEQ
         (LETT |atanx|
               (SPADCALL (SPADCALL (|spadConstant| $ 18) 1 (QREFELT $ 13))
                         (QREFELT $ 155))
               |SUTS;atan;2$;73|)
         (EXIT (SPADCALL |atanx| |uts| (QREFELT $ 126)))))
       ('T
        (|error|
         (SPADCALL (STRCONC "atan: " (QREFELT $ 187)) (QREFELT $ 196))))))))) 

(PUT '|SUTS;acos;2$;74| '|SPADreplace|
     '(XLAM (|z|) (|error| "acos: acos undefined on this coefficient domain"))) 

(DEFUN |SUTS;acos;2$;74| (|z| $)
  (|error| "acos: acos undefined on this coefficient domain")) 

(PUT '|SUTS;acot;2$;75| '|SPADreplace|
     '(XLAM (|z|) (|error| "acot: acot undefined on this coefficient domain"))) 

(DEFUN |SUTS;acot;2$;75| (|z| $)
  (|error| "acot: acot undefined on this coefficient domain")) 

(PUT '|SUTS;asec;2$;76| '|SPADreplace|
     '(XLAM (|z|) (|error| "asec: asec undefined on this coefficient domain"))) 

(DEFUN |SUTS;asec;2$;76| (|z| $)
  (|error| "asec: asec undefined on this coefficient domain")) 

(PUT '|SUTS;acsc;2$;77| '|SPADreplace|
     '(XLAM (|z|) (|error| "acsc: acsc undefined on this coefficient domain"))) 

(DEFUN |SUTS;acsc;2$;77| (|z| $)
  (|error| "acsc: acsc undefined on this coefficient domain")) 

(DEFUN |SUTS;sinh;2$;78| (|uts| $)
  (PROG (|sinhx|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL (SPADCALL |uts| 0 (QREFELT $ 117)) (QREFELT $ 30))
        (SEQ
         (LETT |sinhx|
               (SPADCALL (SPADCALL (|spadConstant| $ 18) 1 (QREFELT $ 13))
                         (QREFELT $ 163))
               |SUTS;sinh;2$;78|)
         (EXIT (SPADCALL |sinhx| |uts| (QREFELT $ 126)))))
       ('T
        (|error|
         (SPADCALL (STRCONC "sinh: " (QREFELT $ 187)) (QREFELT $ 196))))))))) 

(DEFUN |SUTS;cosh;2$;79| (|uts| $)
  (PROG (|coshx|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL (SPADCALL |uts| 0 (QREFELT $ 117)) (QREFELT $ 30))
        (SEQ
         (LETT |coshx|
               (SPADCALL (SPADCALL (|spadConstant| $ 18) 1 (QREFELT $ 13))
                         (QREFELT $ 165))
               |SUTS;cosh;2$;79|)
         (EXIT (SPADCALL |coshx| |uts| (QREFELT $ 126)))))
       ('T
        (|error|
         (SPADCALL (STRCONC "cosh: " (QREFELT $ 187)) (QREFELT $ 196))))))))) 

(DEFUN |SUTS;tanh;2$;80| (|uts| $)
  (PROG (|tanhx|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL (SPADCALL |uts| 0 (QREFELT $ 117)) (QREFELT $ 30))
        (SEQ
         (LETT |tanhx|
               (SPADCALL (SPADCALL (|spadConstant| $ 18) 1 (QREFELT $ 13))
                         (QREFELT $ 167))
               |SUTS;tanh;2$;80|)
         (EXIT (SPADCALL |tanhx| |uts| (QREFELT $ 126)))))
       ('T
        (|error|
         (SPADCALL (STRCONC "tanh: " (QREFELT $ 187)) (QREFELT $ 196))))))))) 

(DEFUN |SUTS;coth;2$;81| (|uts| $)
  (COND
   ((SPADCALL |uts| (QREFELT $ 124)) (|error| "coth: coth(0) is undefined"))
   ((SPADCALL (SPADCALL |uts| 0 (QREFELT $ 117)) (QREFELT $ 30))
    (|error| (SPADCALL (STRCONC "coth: " (QREFELT $ 189)) (QREFELT $ 196))))
   ('T
    (|error| (SPADCALL (STRCONC "coth: " (QREFELT $ 187)) (QREFELT $ 196)))))) 

(DEFUN |SUTS;sech;2$;82| (|uts| $)
  (PROG (|sechx|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL (SPADCALL |uts| 0 (QREFELT $ 117)) (QREFELT $ 30))
        (SEQ
         (LETT |sechx|
               (SPADCALL (SPADCALL (|spadConstant| $ 18) 1 (QREFELT $ 13))
                         (QREFELT $ 171))
               |SUTS;sech;2$;82|)
         (EXIT (SPADCALL |sechx| |uts| (QREFELT $ 126)))))
       ('T
        (|error|
         (SPADCALL (STRCONC "sech: " (QREFELT $ 187)) (QREFELT $ 196))))))))) 

(DEFUN |SUTS;csch;2$;83| (|uts| $)
  (COND
   ((SPADCALL |uts| (QREFELT $ 124)) (|error| "csch: csch(0) is undefined"))
   ((SPADCALL (SPADCALL |uts| 0 (QREFELT $ 117)) (QREFELT $ 30))
    (|error| (SPADCALL (STRCONC "csch: " (QREFELT $ 189)) (QREFELT $ 196))))
   ('T
    (|error| (SPADCALL (STRCONC "csch: " (QREFELT $ 187)) (QREFELT $ 196)))))) 

(DEFUN |SUTS;asinh;2$;84| (|uts| $)
  (PROG (|asinhx|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL (SPADCALL |uts| 0 (QREFELT $ 117)) (QREFELT $ 30))
        (SEQ
         (LETT |asinhx|
               (SPADCALL (SPADCALL (|spadConstant| $ 18) 1 (QREFELT $ 13))
                         (QREFELT $ 175))
               |SUTS;asinh;2$;84|)
         (EXIT (SPADCALL |asinhx| |uts| (QREFELT $ 126)))))
       ('T
        (|error|
         (SPADCALL (STRCONC "asinh: " (QREFELT $ 187)) (QREFELT $ 196))))))))) 

(DEFUN |SUTS;atanh;2$;85| (|uts| $)
  (PROG (|atanhx|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL (SPADCALL |uts| 0 (QREFELT $ 117)) (QREFELT $ 30))
        (SEQ
         (LETT |atanhx|
               (SPADCALL (SPADCALL (|spadConstant| $ 18) 1 (QREFELT $ 13))
                         (QREFELT $ 179))
               |SUTS;atanh;2$;85|)
         (EXIT (SPADCALL |atanhx| |uts| (QREFELT $ 126)))))
       ('T
        (|error|
         (SPADCALL (STRCONC "atanh: " (QREFELT $ 187)) (QREFELT $ 196))))))))) 

(PUT '|SUTS;acosh;2$;86| '|SPADreplace|
     '(XLAM (|uts|)
       (|error| "acosh: acosh undefined on this coefficient domain"))) 

(DEFUN |SUTS;acosh;2$;86| (|uts| $)
  (|error| "acosh: acosh undefined on this coefficient domain")) 

(PUT '|SUTS;acoth;2$;87| '|SPADreplace|
     '(XLAM (|uts|)
       (|error| "acoth: acoth undefined on this coefficient domain"))) 

(DEFUN |SUTS;acoth;2$;87| (|uts| $)
  (|error| "acoth: acoth undefined on this coefficient domain")) 

(PUT '|SUTS;asech;2$;88| '|SPADreplace|
     '(XLAM (|uts|)
       (|error| "asech: asech undefined on this coefficient domain"))) 

(DEFUN |SUTS;asech;2$;88| (|uts| $)
  (|error| "asech: asech undefined on this coefficient domain")) 

(PUT '|SUTS;acsch;2$;89| '|SPADreplace|
     '(XLAM (|uts|)
       (|error| "acsch: acsch undefined on this coefficient domain"))) 

(DEFUN |SUTS;acsch;2$;89| (|uts| $)
  (|error| "acsch: acsch undefined on this coefficient domain")) 

(DEFUN |SUTS;^;$Coef$;90| (|uts| |r| $)
  (COND
   ((NULL
     (SPADCALL (SPADCALL |uts| 1 (QREFELT $ 117)) (|spadConstant| $ 18)
               (QREFELT $ 190)))
    (|error| "^: constant coefficient should be 1"))
   ('T (SPADCALL |uts| |r| (QREFELT $ 192))))) 

(DEFUN |SUTS;coerce;$Of;91| (|x| $)
  (PROG (|count|)
    (RETURN
     (SEQ (LETT |count| |$streamCount| |SUTS;coerce;$Of;91|)
          (SPADCALL |x| |count| (QREFELT $ 15))
          (EXIT
           (SPADCALL (SPADCALL |x| (QREFELT $ 51))
                     (SPADCALL |x| (QREFELT $ 96))
                     (SPADCALL |x| (QREFELT $ 115))
                     (SPADCALL |x| (QREFELT $ 53)) (|spadConstant| $ 198)
                     (QREFELT $ 199))))))) 

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

(DEFUN |SparseUnivariateTaylorSeries;| (|#1| |#2| |#3|)
  (PROG (|pv$| #1=#:G919 $ |dv$| DV$3 DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #2=(|SparseUnivariateTaylorSeries|))
      (LETT DV$2 (|devaluate| |#2|) . #2#)
      (LETT DV$3 (|devaluate| |#3|) . #2#)
      (LETT |dv$| (LIST '|SparseUnivariateTaylorSeries| DV$1 DV$2 DV$3) . #2#)
      (LETT $ (GETREFV 210) . #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|
                                                           '(|PrimitiveFunctionCategory|))
                                            (|HasCategory| |#1|
                                                           '(|TranscendentalFunctionCategory|))
                                            (|HasCategory| |#1|
                                                           '(|AlgebraicallyClosedFunctionSpace|
                                                             (|Integer|)))
                                            (|HasCategory| |#1|
                                                           '(|Algebra|
                                                             (|Fraction|
                                                              (|Integer|)))))
                                           (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| '|SparseUnivariateTaylorSeries|
                  (LIST DV$1 DV$2 DV$3) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 8 |#3|)
      (QSETREFV $ 9 (|InnerSparseUnivariatePowerSeries| |#1|))
      (COND
       ((|testBitVector| |pv$| 2)
        (QSETREFV $ 24 (CONS (|dispatchFunction| |SUTS;exquo;2$U;9|) $))))
      (COND
       ((|testBitVector| |pv$| 1)
        (PROGN
         (QSETREFV $ 129 (CONS (|dispatchFunction| |SUTS;integrate;$V$;34|) $))
         (QSETREFV $ 133 (CONS (|dispatchFunction| |SUTS;^;3$;35|) $))
         (COND
          ((|testBitVector| |pv$| 3)
           (PROGN
            (QSETREFV $ 136 (CONS (|dispatchFunction| |SUTS;^;$F$;36|) $))
            (QSETREFV $ 132 (CONS (|dispatchFunction| |SUTS;exp;2$;37|) $))
            (QSETREFV $ 130 (CONS (|dispatchFunction| |SUTS;log;2$;38|) $))
            (QSETREFV $ 140 (CONS (|dispatchFunction| |SUTS;sin;2$;39|) $))
            (QSETREFV $ 142 (CONS (|dispatchFunction| |SUTS;cos;2$;40|) $))
            (QSETREFV $ 144 (CONS (|dispatchFunction| |SUTS;tan;2$;41|) $))
            (QSETREFV $ 146 (CONS (|dispatchFunction| |SUTS;cot;2$;42|) $))
            (QSETREFV $ 148 (CONS (|dispatchFunction| |SUTS;sec;2$;43|) $))
            (QSETREFV $ 150 (CONS (|dispatchFunction| |SUTS;csc;2$;44|) $))
            (QSETREFV $ 152 (CONS (|dispatchFunction| |SUTS;asin;2$;45|) $))
            (QSETREFV $ 154 (CONS (|dispatchFunction| |SUTS;acos;2$;46|) $))
            (QSETREFV $ 156 (CONS (|dispatchFunction| |SUTS;atan;2$;47|) $))
            (QSETREFV $ 158 (CONS (|dispatchFunction| |SUTS;acot;2$;48|) $))
            (QSETREFV $ 160 (CONS (|dispatchFunction| |SUTS;asec;2$;49|) $))
            (QSETREFV $ 162 (CONS (|dispatchFunction| |SUTS;acsc;2$;50|) $))
            (QSETREFV $ 164 (CONS (|dispatchFunction| |SUTS;sinh;2$;51|) $))
            (QSETREFV $ 166 (CONS (|dispatchFunction| |SUTS;cosh;2$;52|) $))
            (QSETREFV $ 168 (CONS (|dispatchFunction| |SUTS;tanh;2$;53|) $))
            (QSETREFV $ 170 (CONS (|dispatchFunction| |SUTS;coth;2$;54|) $))
            (QSETREFV $ 172 (CONS (|dispatchFunction| |SUTS;sech;2$;55|) $))
            (QSETREFV $ 174 (CONS (|dispatchFunction| |SUTS;csch;2$;56|) $))
            (QSETREFV $ 176 (CONS (|dispatchFunction| |SUTS;asinh;2$;57|) $))
            (QSETREFV $ 178 (CONS (|dispatchFunction| |SUTS;acosh;2$;58|) $))
            (QSETREFV $ 180 (CONS (|dispatchFunction| |SUTS;atanh;2$;59|) $))
            (QSETREFV $ 182 (CONS (|dispatchFunction| |SUTS;acoth;2$;60|) $))
            (QSETREFV $ 184 (CONS (|dispatchFunction| |SUTS;asech;2$;61|) $))
            (QSETREFV $ 186 (CONS (|dispatchFunction| |SUTS;acsch;2$;62|) $))))
          ('T
           (PROGN
            (QSETREFV $ 187 "series must have constant coefficient zero")
            (QSETREFV $ 188 "series must have constant coefficient one")
            (QSETREFV $ 189 "series expansion has terms of negative degree")
            (QSETREFV $ 136 (CONS (|dispatchFunction| |SUTS;^;$F$;63|) $))
            (QSETREFV $ 132 (CONS (|dispatchFunction| |SUTS;exp;2$;64|) $))
            (QSETREFV $ 130 (CONS (|dispatchFunction| |SUTS;log;2$;65|) $))
            (QSETREFV $ 140 (CONS (|dispatchFunction| |SUTS;sin;2$;66|) $))
            (QSETREFV $ 142 (CONS (|dispatchFunction| |SUTS;cos;2$;67|) $))
            (QSETREFV $ 144 (CONS (|dispatchFunction| |SUTS;tan;2$;68|) $))
            (QSETREFV $ 146 (CONS (|dispatchFunction| |SUTS;cot;2$;69|) $))
            (QSETREFV $ 148 (CONS (|dispatchFunction| |SUTS;sec;2$;70|) $))
            (QSETREFV $ 150 (CONS (|dispatchFunction| |SUTS;csc;2$;71|) $))
            (QSETREFV $ 152 (CONS (|dispatchFunction| |SUTS;asin;2$;72|) $))
            (QSETREFV $ 156 (CONS (|dispatchFunction| |SUTS;atan;2$;73|) $))
            (QSETREFV $ 154 (CONS (|dispatchFunction| |SUTS;acos;2$;74|) $))
            (QSETREFV $ 158 (CONS (|dispatchFunction| |SUTS;acot;2$;75|) $))
            (QSETREFV $ 160 (CONS (|dispatchFunction| |SUTS;asec;2$;76|) $))
            (QSETREFV $ 162 (CONS (|dispatchFunction| |SUTS;acsc;2$;77|) $))
            (QSETREFV $ 164 (CONS (|dispatchFunction| |SUTS;sinh;2$;78|) $))
            (QSETREFV $ 166 (CONS (|dispatchFunction| |SUTS;cosh;2$;79|) $))
            (QSETREFV $ 168 (CONS (|dispatchFunction| |SUTS;tanh;2$;80|) $))
            (QSETREFV $ 170 (CONS (|dispatchFunction| |SUTS;coth;2$;81|) $))
            (QSETREFV $ 172 (CONS (|dispatchFunction| |SUTS;sech;2$;82|) $))
            (QSETREFV $ 174 (CONS (|dispatchFunction| |SUTS;csch;2$;83|) $))
            (QSETREFV $ 176 (CONS (|dispatchFunction| |SUTS;asinh;2$;84|) $))
            (QSETREFV $ 180 (CONS (|dispatchFunction| |SUTS;atanh;2$;85|) $))
            (QSETREFV $ 178 (CONS (|dispatchFunction| |SUTS;acosh;2$;86|) $))
            (QSETREFV $ 182 (CONS (|dispatchFunction| |SUTS;acoth;2$;87|) $))
            (QSETREFV $ 184 (CONS (|dispatchFunction| |SUTS;asech;2$;88|) $))
            (QSETREFV $ 186
                      (CONS (|dispatchFunction| |SUTS;acsch;2$;89|) $))))))))
      (COND
       ((|testBitVector| |pv$| 12)
        (COND
         ((|testBitVector| |pv$| 1)
          (QSETREFV $ 197 (CONS (|dispatchFunction| |SUTS;^;$Coef$;90|) $))))))
      $)))) 

(MAKEPROP '|SparseUnivariateTaylorSeries| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL (|InnerSparseUnivariatePowerSeries| 6)
              (|local| |#1|) (|local| |#2|) (|local| |#3|) '|Rep| (|Integer|)
              (0 . |monomial|) (|NonNegativeInteger|)
              |SUTS;monomial;CoefNni$;4| (6 . |extend|) |SUTS;extend;$Nni$;5|
              (12 . |Zero|)
              (CONS IDENTITY (FUNCALL (|dispatchFunction| |SUTS;Zero;$;6|) $))
              (16 . |One|)
              (CONS IDENTITY (FUNCALL (|dispatchFunction| |SUTS;One;$;7|) $))
              (|Union| $ '"failed") (|Boolean|) (20 . |iExquo|)
              |SUTS;recip;$U;8| (27 . |exquo|) (33 . |taylorQuoByVar|)
              |SUTS;quoByVar;2$;10| (38 . |differentiate|) (|Variable| 7)
              |SUTS;differentiate;$V$;11| (43 . |zero?|) (48 . +)
              |SUTS;coerce;V$;12| (|UnivariatePolynomial| 7 6) (54 . |zero?|)
              (59 . |monomial|) (65 . +) (71 . |elt|)
              (|Record| (|:| |k| 10) (|:| |c| 6)) (|Stream| 38) (77 . |empty|)
              (81 . |degree|) (86 . |leadingCoefficient|) (91 . |concat|)
              (97 . |reductum|) (|OrderedCompletion| 10) (102 . |plusInfinity|)
              (|Reference| 45) (106 . |ref|) (111 . |makeSeries|)
              |SUTS;coerce;Up$;13| (117 . |getStream|) (122 . |Zero|)
              |SUTS;center;$Coef;27| (126 . -) (132 . |One|)
              (136 . |explicitEntries?|) (141 . |frst|) (146 . ^) (152 . *)
              (158 . *) (164 . |rst|) |SUTS;univariatePolynomial;$NniUp;14|
              (|Polynomial| 6) (169 . |Zero|) (|Symbol|) (173 . |coerce|)
              (178 . |coerce|) (183 . -) (189 . |One|) (193 . ^) (199 . *)
              (205 . *) (211 . +) |SUTS;polynomial;$NniP;15|
              |SUTS;truncate;$2Nni$;18| |SUTS;polynomial;$2NniP;16|
              (217 . |truncate|) |SUTS;truncate;$Nni$;17| (223 . |truncate|)
              (230 . |explicitlyEmpty?|) (|Stream| 6) (235 . |empty|)
              (239 . |coerce|) (244 . |elt|) (249 . <) (255 . |lazyEvaluate|)
              (260 . =) (266 . |One|) (270 . +) (276 . |concat|) (282 . |Zero|)
              (286 . |Zero|) (290 . |Zero|) (|Mapping| $) (294 . |delay|)
              (299 . |getRef|) |SUTS;coefficients;$S;20| (304 . |terms|)
              (|Record| (|:| |k| 12) (|:| |c| 6)) (|Stream| 99)
              |SUTS;terms;$S;21| (309 . |empty?|) (314 . |setelt|)
              (320 . |frst|) (325 . |rst|) (330 . |delay|) (335 . |One|)
              (339 . -) |SUTS;series;S$;23| (344 . |empty?|) (349 . |frst|)
              (354 . |rst|) (359 . |series|) |SUTS;series;S$;25|
              |SUTS;variable;$S;26| (364 . |coefficient|)
              |SUTS;coefficient;$NniCoef;28| |SUTS;elt;$NniCoef;29|
              |SUTS;pole?;$B;30| (370 . |order|) |SUTS;order;$Nni;31|
              (375 . |order|) |SUTS;order;$2Nni;32| (381 . |zero?|)
              (386 . |coerce|) (391 . |iCompose|) |SUTS;elt;3$;33|
              (397 . |integrate|) (402 . |integrate|) (408 . |log|) (413 . *)
              (419 . |exp|) (424 . ^) (|Fraction| 10) (430 . |cRationalPower|)
              (436 . ^) (442 . |cExp|) (447 . |cLog|) (452 . |cSin|)
              (457 . |sin|) (462 . |cCos|) (467 . |cos|) (472 . |cTan|)
              (477 . |tan|) (482 . |cCot|) (487 . |cot|) (492 . |cSec|)
              (497 . |sec|) (502 . |cCsc|) (507 . |csc|) (512 . |cAsin|)
              (517 . |asin|) (522 . |cAcos|) (527 . |acos|) (532 . |cAtan|)
              (537 . |atan|) (542 . |cAcot|) (547 . |acot|) (552 . |cAsec|)
              (557 . |asec|) (562 . |cAcsc|) (567 . |acsc|) (572 . |cSinh|)
              (577 . |sinh|) (582 . |cCosh|) (587 . |cosh|) (592 . |cTanh|)
              (597 . |tanh|) (602 . |cCoth|) (607 . |coth|) (612 . |cSech|)
              (617 . |sech|) (622 . |cCsch|) (627 . |csch|) (632 . |cAsinh|)
              (637 . |asinh|) (642 . |cAcosh|) (647 . |acosh|) (652 . |cAtanh|)
              (657 . |atanh|) (662 . |cAcoth|) (667 . |acoth|) (672 . |cAsech|)
              (677 . |asech|) (682 . |cAcsch|) (687 . |acsch|) 'ZERO 'ONE
              'NPOWERS (692 . =) (698 . |coerce|) (703 . |cPower|) (709 . -)
              (|OutputForm|) (|String|) (715 . |coerce|) (720 . ^)
              (726 . |One|) (730 . |seriesToOutputForm|) |SUTS;coerce;$Of;91|
              (|List| 65) (|List| 12)
              (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))
              (|Mapping| 6 10) (|PositiveInteger|) (|List| 207)
              (|SingletonAsOrderedSet|) (|Mapping| 6 6) (|SingleInteger|))
           '#(~= 739 |zero?| 745 |variables| 750 |variable| 755
              |univariatePolynomial| 760 |unitNormal| 766 |unitCanonical| 771
              |unit?| 776 |truncate| 781 |terms| 794 |tanh| 799 |tan| 804
              |subtractIfCan| 809 |sqrt| 815 |sinh| 820 |sin| 825 |series| 830
              |sech| 840 |sec| 845 |sample| 850 |reductum| 854 |recip| 859
              |quoByVar| 864 |polynomial| 869 |pole?| 882 |pi| 887 |order| 891
              |one?| 902 |nthRoot| 907 |multiplyExponents| 913
              |multiplyCoefficients| 919 |monomial?| 925 |monomial| 930 |map|
              950 |log| 956 |leadingMonomial| 961 |leadingCoefficient| 966
              |latex| 971 |integrate| 976 |hash| 993 |extend| 998 |exquo| 1004
              |exp| 1010 |eval| 1015 |elt| 1021 |differentiate| 1033 |degree|
              1076 |csch| 1081 |csc| 1086 |coth| 1091 |cot| 1096 |cosh| 1101
              |cos| 1106 |complete| 1111 |coerce| 1116 |coefficients| 1151
              |coefficient| 1156 |charthRoot| 1162 |characteristic| 1167
              |center| 1171 |atanh| 1176 |atan| 1181 |associates?| 1186 |asinh|
              1192 |asin| 1197 |asech| 1202 |asec| 1207 |approximate| 1212
              |acsch| 1218 |acsc| 1223 |acoth| 1228 |acot| 1233 |acosh| 1238
              |acos| 1243 ^ 1248 |Zero| 1278 |One| 1282 D 1286 = 1323 / 1329 -
              1335 + 1346 * 1352)
           '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 12)
                 (|PowerSeriesCategory| 6 12 207) (|AbelianMonoidRing| 6 12)
                 (|IntegralDomain|) (|Algebra| 134) (|Algebra| $$)
                 (|Algebra| 6) (|Module| 134) (|CommutativeRing|) (|Module| $$)
                 (|EntireRing|) (|CharacteristicNonZero|)
                 (|CharacteristicZero|) (|Module| 6)
                 (|PartialDifferentialRing| 65) (|DifferentialRing|) (|Ring|)
                 (|BiModule| 6 6) (|BiModule| 134 134) (|BiModule| $$ $$)
                 (|Rng|) (|LeftModule| 6) (|RightModule| 6) (|LeftModule| $$)
                 (|LeftModule| 134) (|RightModule| 134) (|RightModule| $$)
                 (|AbelianGroup|) (|CancellationAbelianMonoid|) (|SemiRing|)
                 (|AbelianMonoid|) (|Monoid|) (|SemiRng|) (|SemiGroup|)
                 (|AbelianSemiGroup|) (|SetCategory|)
                 (|TranscendentalFunctionCategory|) (|unitsKnown|)
                 (|BasicType|) (|CoercibleTo| 194) (|CommutativeStar|)
                 (|noZeroDivisors|) (|Eltable| $$ $$)
                 (|TrigonometricFunctionCategory|)
                 (|ArcTrigonometricFunctionCategory|)
                 (|HyperbolicFunctionCategory|)
                 (|ArcHyperbolicFunctionCategory|)
                 (|ElementaryFunctionCategory|) (|RadicalCategory|))
              (|makeByteWordVec2| 209
                                  '(2 9 0 6 10 11 2 9 0 0 10 14 0 6 0 16 0 6 0
                                    18 3 9 20 0 0 21 22 2 0 20 0 0 24 1 9 0 0
                                    25 1 0 0 0 27 1 6 21 0 30 2 0 0 0 0 31 1 33
                                    21 0 34 2 33 0 6 12 35 2 33 0 0 0 36 2 33 0
                                    0 0 37 0 39 0 40 1 33 12 0 41 1 33 6 0 42 2
                                    39 0 38 0 43 1 33 0 0 44 0 45 0 46 1 47 0
                                    45 48 2 9 0 47 39 49 1 9 39 0 51 0 33 0 52
                                    2 33 0 0 0 54 0 33 0 55 1 39 21 0 56 1 39
                                    38 0 57 2 33 0 0 12 58 2 33 0 0 0 59 2 33 0
                                    6 0 60 1 39 0 0 61 0 63 0 64 1 63 0 65 66 1
                                    63 0 6 67 2 63 0 0 0 68 0 63 0 69 2 63 0 0
                                    12 70 2 63 0 0 0 71 2 63 0 6 0 72 2 63 0 0
                                    0 73 2 9 0 0 10 77 3 9 0 0 10 10 79 1 39 21
                                    0 80 0 81 0 82 1 45 0 10 83 1 47 45 0 84 2
                                    45 21 0 0 85 1 39 0 0 86 2 10 21 0 0 87 0
                                    10 0 88 2 10 0 0 0 89 2 81 0 6 0 90 0 9 0
                                    91 0 10 0 92 0 45 0 93 1 81 0 94 95 1 9 47
                                    0 96 1 9 39 0 98 1 81 21 0 102 2 47 45 0 45
                                    103 1 81 6 0 104 1 81 0 0 105 1 39 0 94 106
                                    0 45 0 107 1 45 0 0 108 1 100 21 0 110 1
                                    100 99 0 111 1 100 0 0 112 1 9 0 39 113 2 9
                                    6 0 10 116 1 9 10 0 120 2 9 10 0 10 122 1 0
                                    21 0 124 1 0 0 6 125 2 9 0 0 0 126 1 0 0 0
                                    128 2 0 0 0 28 129 1 0 0 0 130 2 0 0 0 0
                                    131 1 0 0 0 132 2 0 0 0 0 133 2 9 0 0 134
                                    135 2 0 0 0 134 136 1 9 0 0 137 1 9 0 0 138
                                    1 9 0 0 139 1 0 0 0 140 1 9 0 0 141 1 0 0 0
                                    142 1 9 0 0 143 1 0 0 0 144 1 9 0 0 145 1 0
                                    0 0 146 1 9 0 0 147 1 0 0 0 148 1 9 0 0 149
                                    1 0 0 0 150 1 9 0 0 151 1 0 0 0 152 1 9 0 0
                                    153 1 0 0 0 154 1 9 0 0 155 1 0 0 0 156 1 9
                                    0 0 157 1 0 0 0 158 1 9 0 0 159 1 0 0 0 160
                                    1 9 0 0 161 1 0 0 0 162 1 9 0 0 163 1 0 0 0
                                    164 1 9 0 0 165 1 0 0 0 166 1 9 0 0 167 1 0
                                    0 0 168 1 9 0 0 169 1 0 0 0 170 1 9 0 0 171
                                    1 0 0 0 172 1 9 0 0 173 1 0 0 0 174 1 9 0 0
                                    175 1 0 0 0 176 1 9 0 0 177 1 0 0 0 178 1 9
                                    0 0 179 1 0 0 0 180 1 9 0 0 181 1 0 0 0 182
                                    1 9 0 0 183 1 0 0 0 184 1 9 0 0 185 1 0 0 0
                                    186 2 6 21 0 0 190 1 6 0 134 191 2 9 0 0 6
                                    192 2 0 0 0 0 193 1 195 194 0 196 2 0 0 0 6
                                    197 0 134 0 198 5 9 194 39 47 65 6 134 199
                                    2 0 21 0 0 1 1 0 21 0 124 1 0 206 0 1 1 0
                                    65 0 115 2 0 33 0 12 62 1 2 203 0 1 1 2 0 0
                                    1 1 2 21 0 1 3 0 0 0 12 12 75 2 0 0 0 12 78
                                    1 0 100 0 101 1 1 0 0 168 1 1 0 0 144 2 0
                                    20 0 0 1 1 1 0 0 1 1 1 0 0 164 1 1 0 0 140
                                    1 0 0 81 109 1 0 0 100 114 1 1 0 0 172 1 1
                                    0 0 148 0 0 0 1 1 0 0 0 1 1 0 20 0 23 1 0 0
                                    0 26 2 0 63 0 12 74 3 0 63 0 12 12 76 1 0
                                    21 0 119 0 1 0 1 2 0 12 0 12 123 1 0 12 0
                                    121 1 0 21 0 1 2 1 0 0 10 1 2 0 0 0 205 1 2
                                    0 0 204 0 1 1 0 21 0 1 3 0 0 0 206 202 1 3
                                    0 0 0 207 12 1 2 0 0 6 12 13 2 0 0 208 0 1
                                    1 1 0 0 130 1 0 0 0 1 1 0 6 0 1 1 0 195 0 1
                                    2 13 0 0 65 1 2 1 0 0 28 129 1 1 0 0 128 1
                                    0 209 0 1 2 0 0 0 12 15 2 2 20 0 0 24 1 1 0
                                    0 132 2 10 81 0 6 1 2 9 0 0 0 127 2 0 6 0
                                    12 118 2 8 0 0 65 1 3 8 0 0 65 12 1 2 8 0 0
                                    201 1 3 8 0 0 201 202 1 1 7 0 0 27 2 7 0 0
                                    12 1 2 0 0 0 28 29 1 0 12 0 1 1 1 0 0 174 1
                                    1 0 0 150 1 1 0 0 170 1 1 0 0 146 1 1 0 0
                                    166 1 1 0 0 142 1 0 0 0 1 1 1 0 134 1 1 3 0
                                    6 125 1 2 0 0 1 1 0 0 28 32 1 0 0 33 50 1 0
                                    0 10 1 1 0 194 0 200 1 0 81 0 97 2 0 6 0 12
                                    117 1 5 20 0 1 0 0 12 1 1 0 6 0 53 1 1 0 0
                                    180 1 1 0 0 156 2 2 21 0 0 1 1 1 0 0 176 1
                                    1 0 0 152 1 1 0 0 184 1 1 0 0 160 2 11 6 0
                                    12 1 1 1 0 0 186 1 1 0 0 162 1 1 0 0 182 1
                                    1 0 0 158 1 1 0 0 178 1 1 0 0 154 2 1 0 0
                                    134 136 2 1 0 0 0 133 2 12 0 0 6 197 2 0 0
                                    0 12 1 2 0 0 0 205 1 0 0 0 17 0 0 0 19 2 8
                                    0 0 65 1 3 8 0 0 65 12 1 2 8 0 0 201 1 3 8
                                    0 0 201 202 1 1 7 0 0 1 2 7 0 0 12 1 2 0 21
                                    0 0 1 2 12 0 0 6 1 1 0 0 0 1 2 0 0 0 0 193
                                    2 0 0 0 0 31 2 1 0 134 0 1 2 1 0 0 134 1 2
                                    0 0 6 0 1 2 0 0 0 6 1 2 0 0 10 0 1 2 0 0 0
                                    0 131 2 0 0 12 0 1 2 0 0 205 0 1)))))
           '|lookupComplete|)) 
