
(/VERSIONCHECK 2) 

(PUT '|EXPEXPAN;coeff| '|SPADreplace|
     '(XLAM (|term|) (QVELT |term| 0))) 

(DEFUN |EXPEXPAN;coeff| (|term| $) (QVELT |term| 0)) 

(PUT '|EXPEXPAN;exponent| '|SPADreplace|
     '(XLAM (|term|) (QVELT |term| 1))) 

(DEFUN |EXPEXPAN;exponent| (|term| $) (QVELT |term| 1)) 

(DEFUN |EXPEXPAN;upxssingIfCan| (|f| $)
  (COND
    ((SPADCALL (SPADCALL |f| (QREFELT $ 17)) (|spadConstant| $ 18)
         (QREFELT $ 20))
     (CONS 0 (SPADCALL |f| (QREFELT $ 21))))
    ('T (CONS 1 "failed")))) 

(DEFUN |EXPEXPAN;retractIfCan;$U;4| (|f| $)
  (PROG (|ff| |fff|)
    (RETURN
      (SEQ (LETT |ff| (|EXPEXPAN;upxssingIfCan| |f| $)
                 . #0=(|EXPEXPAN;retractIfCan;$U;4|))
           (EXIT (COND
                   ((QEQCAR |ff| 1) (CONS 1 "failed"))
                   (#1='T
                    (SEQ (LETT |fff|
                               (SPADCALL (QCDR |ff|) (QREFELT $ 23)) . #0#)
                         (EXIT (COND
                                 ((QEQCAR |fff| 1) (CONS 1 "failed"))
                                 (#1# (CONS 0 (QCDR |fff|))))))))))))) 

(DEFUN |EXPEXPAN;/;2Upswes$;5| (|f| |g| $)
  (PROG (|rec|)
    (RETURN
      (SEQ (LETT |rec| (SPADCALL |g| (QREFELT $ 26))
                 |EXPEXPAN;/;2Upswes$;5|)
           (EXIT (COND
                   ((QEQCAR |rec| 1) (SPADCALL |f| |g| (QREFELT $ 27)))
                   ('T
                    (SPADCALL |f|
                        (SPADCALL (QCDR |rec|) (QREFELT $ 28))
                        (QREFELT $ 29))))))))) 

(DEFUN |EXPEXPAN;/;3$;6| (|f| |g| $)
  (PROG (|rec|)
    (RETURN
      (SEQ (LETT |rec|
                 (SPADCALL (SPADCALL |g| (QREFELT $ 21))
                     (QREFELT $ 26))
                 |EXPEXPAN;/;3$;6|)
           (EXIT (COND
                   ((QEQCAR |rec| 1) (SPADCALL |f| |g| (QREFELT $ 31)))
                   ('T
                    (SPADCALL
                        (SPADCALL (QCDR |rec|)
                            (SPADCALL |g| (QREFELT $ 17))
                            (QREFELT $ 32))
                        |f| (QREFELT $ 29))))))))) 

(DEFUN |EXPEXPAN;coerce;Ups$;7| (|f| $)
  (SPADCALL (SPADCALL |f| (QREFELT $ 35)) (QREFELT $ 28))) 

(DEFUN |EXPEXPAN;seriesQuotientLimit| (|num| |den| $)
  (PROG (|series| |ord| |coef| |sig| #0=#:G1869)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |series|
                            (SPADCALL |num| |den| (QREFELT $ 37))
                            . #1=(|EXPEXPAN;seriesQuotientLimit|))
                      (LETT |ord|
                            (SPADCALL |series| (|spadConstant| $ 38)
                                (QREFELT $ 39)) . #1#)
                      (EXIT (COND
                              ((SPADCALL (|spadConstant| $ 44) |ord|
                                   (QREFELT $ 48))
                               (CONS 0 (|spadConstant| $ 46)))
                              ('T
                               (SEQ (LETT |coef|
                                     (SPADCALL |series| |ord|
                                      (QREFELT $ 49)) . #1#)
                                    (EXIT
                                     (COND
                                       ((SPADCALL (QREFELT $ 8)
                                         (SPADCALL |coef|
                                          (QREFELT $ 51))
                                         (QREFELT $ 53))
                                        (CONS 1 "failed"))
                                       ((SPADCALL |ord|
                                         (|spadConstant| $ 44)
                                         (QREFELT $ 54))
                                        (CONS 0
                                         (SPADCALL |coef|
                                          (QREFELT $ 55))))
                                       ('T
                                        (SEQ
                                         (LETT |sig|
                                          (SPADCALL |coef|
                                           (QREFELT $ 58)) . #1#)
                                         (EXIT
                                          (COND
                                            ((QEQCAR |sig| 1)
                                             (PROGN
                                               (LETT #0#
                                                (CONS 1 "failed") . #1#)
                                               (GO #0#)))
                                            ((EQL (QCDR |sig|) 1)
                                             (CONS 0
                                              (SPADCALL (QREFELT $ 59))))
                                            ('T
                                             (CONS 0
                                              (SPADCALL (QREFELT $ 60))))))))))))))))
           #0# (EXIT #0#))))) 

(DEFUN |EXPEXPAN;seriesQuotientInfinity| (|num| |den| $)
  (PROG (|numOrd| |denOrd| |cc| |sig| #0=#:G1880)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |numOrd|
                            (SPADCALL |num| (QREFELT $ 15)
                                (QREFELT $ 39))
                            . #1=(|EXPEXPAN;seriesQuotientInfinity|))
                      (EXIT (COND
                              ((SPADCALL |numOrd| (QREFELT $ 15)
                                   (QREFELT $ 54))
                               (CONS 1 "failed"))
                              (#2='T
                               (SEQ (LETT |denOrd|
                                     (SPADCALL |den| (QREFELT $ 15)
                                      (QREFELT $ 39)) . #1#)
                                    (EXIT
                                     (COND
                                       ((SPADCALL |denOrd|
                                         (QREFELT $ 15) (QREFELT $ 54))
                                        (CONS 1 "failed"))
                                       (#2#
                                        (SEQ
                                         (LETT |cc|
                                          (SPADCALL
                                           (SPADCALL |num| |numOrd|
                                            (QREFELT $ 49))
                                           (SPADCALL |den| |denOrd|
                                            (QREFELT $ 49))
                                           (QREFELT $ 61)) . #1#)
                                         (EXIT
                                          (COND
                                            ((SPADCALL (QREFELT $ 8)
                                              (SPADCALL |cc|
                                               (QREFELT $ 51))
                                              (QREFELT $ 53))
                                             (CONS 1 "failed"))
                                            ('T
                                             (SEQ
                                              (LETT |sig|
                                               (SPADCALL |cc|
                                                (QREFELT $ 58)) . #1#)
                                              (EXIT
                                               (COND
                                                 ((QEQCAR |sig| 1)
                                                  (PROGN
                                                    (LETT #0#
                                                     (CONS 1 "failed") . #1#)
                                                    (GO #0#)))
                                                 ((EQL (QCDR |sig|) 1)
                                                  (CONS 0
                                                   (SPADCALL
                                                    (QREFELT $ 59))))
                                                 ('T
                                                  (CONS 0
                                                   (SPADCALL
                                                    (QREFELT $ 60))))))))))))))))))))
           #0# (EXIT #0#))))) 

(DEFUN |EXPEXPAN;limitPlus;$U;10| (|f| $)
  (PROG (|den| |num| |numerTerm| |numTerm| |numType| |denomTerm|
               |denTerm| |denType| |numExpon| |denExpon| |numCoef|
               |denCoef| |exponDiff| |expCoef| |sig| #0=#:G1912)
    (RETURN
      (SEQ (EXIT (COND
                   ((SPADCALL |f| (QREFELT $ 62))
                    (CONS 0 (|spadConstant| $ 46)))
                   ('T
                    (SEQ (LETT |den| (SPADCALL |f| (QREFELT $ 17))
                               . #1=(|EXPEXPAN;limitPlus;$U;10|))
                         (EXIT (COND
                                 ((SPADCALL |den| (|spadConstant| $ 18)
                                      (QREFELT $ 20))
                                  (SPADCALL
                                      (SPADCALL |f| (QREFELT $ 21))
                                      (QREFELT $ 64)))
                                 ('T
                                  (SEQ (LETT |numerTerm|
                                        (SPADCALL
                                         (LETT |num|
                                          (SPADCALL |f| (QREFELT $ 21)) . #1#)
                                         (QREFELT $ 69)) . #1#)
                                       (EXIT
                                        (COND
                                          ((QEQCAR |numerTerm| 1)
                                           (CONS 1 "failed"))
                                          ('T
                                           (SEQ
                                            (LETT |numType|
                                             (QCDR
                                              (LETT |numTerm|
                                               (QCDR |numerTerm|) . #1#)) . #1#)
                                            (LETT |denomTerm|
                                             (SPADCALL |den|
                                              (QREFELT $ 69)) . #1#)
                                            (EXIT
                                             (COND
                                               ((QEQCAR |denomTerm| 1)
                                                (CONS 1 "failed"))
                                               ('T
                                                (SEQ
                                                 (LETT |denType|
                                                  (QCDR
                                                   (LETT |denTerm|
                                                    (QCDR |denomTerm|) . #1#)) . #1#)
                                                 (LETT |numExpon|
                                                  (|EXPEXPAN;exponent|
                                                   (QCAR |numTerm|) $) . #1#)
                                                 (LETT |denExpon|
                                                  (|EXPEXPAN;exponent|
                                                   (QCAR |denTerm|) $) . #1#)
                                                 (LETT |numCoef|
                                                  (|EXPEXPAN;coeff|
                                                   (QCAR |numTerm|) $) . #1#)
                                                 (LETT |denCoef|
                                                  (|EXPEXPAN;coeff|
                                                   (QCAR |denTerm|) $) . #1#)
                                                 (EXIT
                                                  (COND
                                                    ((EQUAL |numType|
                                                      "zero")
                                                     (COND
                                                       ((EQUAL
                                                         |denType|
                                                         "zero")
                                                        (SEQ
                                                         (LETT
                                                          |exponDiff|
                                                          (SPADCALL
                                                           |numExpon|
                                                           |denExpon|
                                                           (QREFELT $
                                                            71)) . #1#)
                                                         (EXIT
                                                          (COND
                                                            ((SPADCALL
                                                              |exponDiff|
                                                              (|spadConstant|
                                                               $ 72)
                                                              (QREFELT
                                                               $ 73))
                                                             (|EXPEXPAN;seriesQuotientLimit|
                                                              |numCoef|
                                                              |denCoef|
                                                              $))
                                                            ('T
                                                             (SEQ
                                                              (LETT
                                                               |expCoef|
                                                               (SPADCALL
                                                                |exponDiff|
                                                                (SPADCALL
                                                                 |exponDiff|
                                                                 (QREFELT
                                                                  $ 74))
                                                                (QREFELT
                                                                 $ 75)) . #1#)
                                                              (LETT
                                                               |sig|
                                                               (SPADCALL
                                                                |expCoef|
                                                                (QREFELT
                                                                 $ 58)) . #1#)
                                                              (EXIT
                                                               (COND
                                                                 ((QEQCAR
                                                                   |sig|
                                                                   1)
                                                                  (PROGN
                                                                    (LETT
                                                                     #0#
                                                                     (CONS
                                                                      1
                                                                      "failed") . #1#)
                                                                    (GO
                                                                     #0#)))
                                                                 ((EQL
                                                                   (QCDR
                                                                    |sig|)
                                                                   -1)
                                                                  (CONS
                                                                   0
                                                                   (|spadConstant|
                                                                    $
                                                                    46)))
                                                                 ('T
                                                                  (|EXPEXPAN;seriesQuotientInfinity|
                                                                   |numCoef|
                                                                   |denCoef|
                                                                   $))))))))))
                                                       ('T
                                                        (CONS 0
                                                         (|spadConstant|
                                                          $ 46)))))
                                                    ((EQUAL |numType|
                                                      "series")
                                                     (COND
                                                       ((EQUAL
                                                         |denType|
                                                         "zero")
                                                        (|EXPEXPAN;seriesQuotientInfinity|
                                                         |numCoef|
                                                         |denCoef| $))
                                                       ((EQUAL
                                                         |denType|
                                                         "series")
                                                        (|EXPEXPAN;seriesQuotientLimit|
                                                         |numCoef|
                                                         |denCoef| $))
                                                       ('T
                                                        (CONS 0
                                                         (|spadConstant|
                                                          $ 46)))))
                                                    ((EQUAL |denType|
                                                      "infinity")
                                                     (SEQ
                                                      (LETT |exponDiff|
                                                       (SPADCALL
                                                        |numExpon|
                                                        |denExpon|
                                                        (QREFELT $ 71)) . #1#)
                                                      (EXIT
                                                       (COND
                                                         ((SPADCALL
                                                           |exponDiff|
                                                           (|spadConstant|
                                                            $ 72)
                                                           (QREFELT $
                                                            73))
                                                          (|EXPEXPAN;seriesQuotientLimit|
                                                           |numCoef|
                                                           |denCoef| $))
                                                         ('T
                                                          (SEQ
                                                           (LETT
                                                            |expCoef|
                                                            (SPADCALL
                                                             |exponDiff|
                                                             (SPADCALL
                                                              |exponDiff|
                                                              (QREFELT
                                                               $ 74))
                                                             (QREFELT $
                                                              75)) . #1#)
                                                           (LETT |sig|
                                                            (SPADCALL
                                                             |expCoef|
                                                             (QREFELT $
                                                              58)) . #1#)
                                                           (EXIT
                                                            (COND
                                                              ((QEQCAR
                                                                |sig|
                                                                1)
                                                               (PROGN
                                                                 (LETT
                                                                  #0#
                                                                  (CONS
                                                                   1
                                                                   "failed") . #1#)
                                                                 (GO
                                                                  #0#)))
                                                              ((EQL
                                                                (QCDR
                                                                 |sig|)
                                                                -1)
                                                               (CONS 0
                                                                (|spadConstant|
                                                                 $ 46)))
                                                              ('T
                                                               (|EXPEXPAN;seriesQuotientInfinity|
                                                                |numCoef|
                                                                |denCoef|
                                                                $))))))))))
                                                    ('T
                                                     (|EXPEXPAN;seriesQuotientInfinity|
                                                      |numCoef|
                                                      |denCoef| $))))))))))))))))))))
           #0# (EXIT #0#))))) 

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

(DEFUN |ExponentialExpansion;| (|#1| |#2| |#3| |#4|)
  (PROG (DV$1 DV$2 DV$3 DV$4 |dv$| $ #0=#:G1942 |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|) . #1=(|ExponentialExpansion|))
        (LETT DV$2 (|devaluate| |#2|) . #1#)
        (LETT DV$3 (|devaluate| |#3|) . #1#)
        (LETT DV$4 (|devaluate| |#4|) . #1#)
        (LETT |dv$|
              (LIST '|ExponentialExpansion| DV$1 DV$2 DV$3 DV$4) . #1#)
        (LETT $ (GETREFV 117) . #1#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3
            (LETT |pv$|
                  (|buildPredVector| 0 0
                      (LIST (|HasCategory|
                                (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    |#1| |#2| |#3| |#4|)
                                '(|PolynomialFactorizationExplicit|))
                            (|HasCategory|
                                (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    |#1| |#2| |#3| |#4|)
                                '(|RetractableTo| (|Symbol|)))
                            (|HasCategory|
                                (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    |#1| |#2| |#3| |#4|)
                                '(|CharacteristicNonZero|))
                            (|HasCategory|
                                (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    |#1| |#2| |#3| |#4|)
                                '(|CharacteristicZero|))
                            (|HasCategory|
                                (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    |#1| |#2| |#3| |#4|)
                                '(|ConvertibleTo| (|InputForm|)))
                            (|HasCategory|
                                (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    |#1| |#2| |#3| |#4|)
                                '(|RealConstant|))
                            (|HasCategory|
                                (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    |#1| |#2| |#3| |#4|)
                                '(|OrderedIntegralDomain|))
                            (|HasCategory|
                                (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    |#1| |#2| |#3| |#4|)
                                '(|RetractableTo| (|Integer|)))
                            (|HasCategory|
                                (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    |#1| |#2| |#3| |#4|)
                                '(|StepThrough|))
                            (|HasCategory|
                                (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    |#1| |#2| |#3| |#4|)
                                '(|PatternMatchable| (|Float|)))
                            (|HasCategory|
                                (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    |#1| |#2| |#3| |#4|)
                                '(|PatternMatchable| (|Integer|)))
                            (|HasCategory|
                                (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    |#1| |#2| |#3| |#4|)
                                '(|ConvertibleTo|
                                     (|Pattern| (|Float|))))
                            (|HasCategory|
                                (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    |#1| |#2| |#3| |#4|)
                                '(|ConvertibleTo|
                                     (|Pattern| (|Integer|))))
                            (|HasCategory|
                                (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    |#1| |#2| |#3| |#4|)
                                '(|LinearlyExplicitRingOver|
                                     (|Integer|)))
                            (|HasCategory|
                                (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    |#1| |#2| |#3| |#4|)
                                '(|PartialDifferentialRing| (|Symbol|)))
                            (|HasCategory|
                                (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    |#1| |#2| |#3| |#4|)
                                '(|DifferentialRing|))
                            (|HasCategory|
                                (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    |#1| |#2| |#3| |#4|)
                                (LIST '|InnerEvalable| '(|Symbol|)
                                      (LIST
                                       '|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                       (|devaluate| |#1|)
                                       (|devaluate| |#2|)
                                       (|devaluate| |#3|)
                                       (|devaluate| |#4|))))
                            (|HasCategory|
                                (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    |#1| |#2| |#3| |#4|)
                                (LIST '|Evalable|
                                      (LIST
                                       '|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                       (|devaluate| |#1|)
                                       (|devaluate| |#2|)
                                       (|devaluate| |#3|)
                                       (|devaluate| |#4|))))
                            (|HasCategory|
                                (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    |#1| |#2| |#3| |#4|)
                                (LIST '|Eltable|
                                      (LIST
                                       '|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                       (|devaluate| |#1|)
                                       (|devaluate| |#2|)
                                       (|devaluate| |#3|)
                                       (|devaluate| |#4|))
                                      (LIST
                                       '|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                       (|devaluate| |#1|)
                                       (|devaluate| |#2|)
                                       (|devaluate| |#3|)
                                       (|devaluate| |#4|))))
                            (|HasCategory|
                                (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    |#1| |#2| |#3| |#4|)
                                '(|EuclideanDomain|))
                            (|HasCategory|
                                (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    |#1| |#2| |#3| |#4|)
                                '(|IntegerNumberSystem|))
                            (LETT #0#
                                  (|HasCategory|
                                      (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                       |#1| |#2| |#3| |#4|)
                                      '(|OrderedSet|)) . #1#)
                            (OR (|HasCategory|
                                    (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                     |#1| |#2| |#3| |#4|)
                                    '(|OrderedIntegralDomain|))
                                #0#))) . #1#))
        (|haddProp| |$ConstructorCache| '|ExponentialExpansion|
            (LIST DV$1 DV$2 DV$3 DV$4) (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 7 |#2|)
        (QSETREFV $ 8 |#3|)
        (QSETREFV $ 9 |#4|)
        (AND (|HasCategory|
                 (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                     |#1| |#2| |#3| |#4|)
                 '(|PolynomialFactorizationExplicit|))
             (|HasCategory| $ '(|CharacteristicNonZero|))
             (|augmentPredVector| $ 8388608))
        (AND (OR (|HasCategory|
                     (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                         |#1| |#2| |#3| |#4|)
                     '(|CharacteristicNonZero|))
                 (AND (|HasCategory|
                          (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                              |#1| |#2| |#3| |#4|)
                          '(|PolynomialFactorizationExplicit|))
                      (|HasCategory| $ '(|CharacteristicNonZero|))))
             (|augmentPredVector| $ 16777216))
        (QSETREFV $ 10
            (|Fraction|
                (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                    |#1| |#2| |#3| |#4|)))
        (QSETREFV $ 15 (SPADCALL 1000 1 (QREFELT $ 14)))
        $)))) 

(MAKEPROP '|ExponentialExpansion| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL (|Fraction| 16) (|local| |#1|)
             (|local| |#2|) (|local| |#3|) (|local| |#4|) '|Rep|
             (0 . |One|) (|Integer|) (|Fraction| 12) (4 . /) 'ZEROCOUNT
             (|UnivariatePuiseuxSeriesWithExponentialSingularity| 6 7 8
                 9)
             (10 . |denom|) (15 . |One|) (|Boolean|) (19 . =)
             (25 . |numer|) (|Union| 34 '"failed")
             (30 . |retractIfCan|) |EXPEXPAN;retractIfCan;$U;4|
             (|Union| $ '"failed") (35 . |recip|) (40 . /)
             (46 . |coerce|) (51 . *) |EXPEXPAN;/;2Upswes$;5| (57 . /)
             (63 . *) |EXPEXPAN;/;3$;6|
             (|UnivariatePuiseuxSeries| 7 8 9) (69 . |coerce|)
             |EXPEXPAN;coerce;Ups$;7| (74 . /) (80 . |One|)
             (84 . |order|) (90 . |Zero|) (94 . |Zero|) (98 . |Zero|)
             (102 . |Zero|) (106 . |Zero|) (|OrderedCompletion| 7)
             (110 . |Zero|) (114 . |Zero|) (118 . <)
             (124 . |coefficient|) (|List| 52) (130 . |variables|)
             (|Symbol|) (135 . |member?|) (141 . =) (147 . |coerce|)
             (|Union| 12 '"failed") (|ElementaryFunctionSign| 6 7)
             (152 . |sign|) (157 . |plusInfinity|)
             (161 . |minusInfinity|) (165 . /) (171 . |zero?|)
             (|Union| 45 '"failed") (176 . |limitPlus|)
             (|Record| (|:| |k| 13) (|:| |c| 7))
             (|Record| (|:| |%coef| 34) (|:| |%expon| 70)
                 (|:| |%expTerms| (|List| 65)))
             (|Record| (|:| |%term| 66) (|:| |%type| 115))
             (|Union| 67 '"failed") (181 . |dominantTerm|)
             (|ExponentialOfUnivariatePuiseuxSeries| 7 8 9) (186 . -)
             (192 . |Zero|) (196 . =) (202 . |order|)
             (207 . |coefficient|) |EXPEXPAN;limitPlus;$U;10|
             (|Union| 87 '"failed") (|Matrix| $) (|InputForm|)
             (|Pattern| 96) (|Pattern| 12) (|NonNegativeInteger|)
             (|List| 84) (|Equation| 16) (|List| 16)
             (|Record| (|:| |mat| 88) (|:| |vec| (|Vector| 12)))
             (|Vector| $) (|Matrix| 12) (|List| 82)
             (|PatternMatchResult| 96 $) (|PatternMatchResult| 12 $)
             (|Factored| 93) (|SparseUnivariatePolynomial| $)
             (|Union| 95 '"failed") (|List| 93) (|Float|)
             (|DoubleFloat|) (|Union| 13 '"failed")
             (|Union| 52 '"failed")
             (|Record| (|:| |mat| 101) (|:| |vec| (|Vector| 16)))
             (|Matrix| 16) (|Mapping| 16 16) (|Union| 16 '"failed")
             (|Factored| $) (|Union| 106 '"failed") (|List| $)
             (|Record| (|:| |coef1| $) (|:| |coef2| $)
                 (|:| |generator| $))
             (|Record| (|:| |coef1| $) (|:| |coef2| $))
             (|Union| 108 '"failed")
             (|Record| (|:| |quotient| $) (|:| |remainder| $))
             (|Record| (|:| |coef| 106) (|:| |generator| $))
             (|Record| (|:| |unit| $) (|:| |canonical| $)
                 (|:| |associate| $))
             (|PositiveInteger|) (|SingleInteger|) (|String|)
             (|OutputForm|))
          '#(~= 213 |zero?| 219 |wholePart| 224 |unitNormal| 229
             |unitCanonical| 234 |unit?| 239 |subtractIfCan| 244
             |squareFreePolynomial| 250 |squareFreePart| 255
             |squareFree| 260 |solveLinearPolynomialEquation| 265
             |sizeLess?| 271 |sign| 277 |sample| 282 |retractIfCan| 286
             |retract| 311 |rem| 336 |reducedSystem| 342 |recip| 364
             |random| 369 |quo| 373 |principalIdeal| 379 |prime?| 384
             |positive?| 389 |patternMatch| 394 |one?| 408 |numerator|
             413 |numer| 418 |nextItem| 423 |negative?| 428
             |multiEuclidean| 433 |min| 439 |max| 445 |map| 451
             |limitPlus| 457 |lcm| 462 |latex| 473 |inv| 478 |init| 483
             |hash| 487 |gcdPolynomial| 492 |gcd| 498 |fractionPart|
             509 |floor| 514 |factorSquareFreePolynomial| 519
             |factorPolynomial| 524 |factor| 529 |extendedEuclidean|
             534 |exquo| 547 |expressIdealMember| 553 |eval| 559
             |euclideanSize| 599 |elt| 604 |divide| 610 |differentiate|
             616 |denominator| 666 |denom| 671 |convert| 676
             |conditionP| 701 |coerce| 706 |charthRoot| 741
             |characteristic| 746 |ceiling| 750 |associates?| 755 |abs|
             761 ^ 766 |Zero| 784 |One| 788 D 792 >= 842 > 848 = 854 <=
             860 < 866 / 872 - 884 + 895 ** 901 * 919)
          'NIL
          (CONS (|makeByteWordVec2| 23
                    '(0 0 0 1 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 3 4 7
                      14 15 16 0 0 0 0 0 0 0 0 0 0 0 7 0 7 0 0 7 0 0 0
                      0 7 0 0 0 23 9 10 11 0 0 6 18 0 0 0 0 0 0 0 0 0 0
                      2 5 6 6 8 8 12 13 17 18 19))
                (CONS '#(|QuotientFieldCategory&| |Field&|
                         |EuclideanDomain&|
                         |PolynomialFactorizationExplicit&| NIL
                         |UniqueFactorizationDomain&| |GcdDomain&| NIL
                         |DivisionRing&| |IntegralDomain&|
                         |FullyLinearlyExplicitRingOver&|
                         |DifferentialExtension&| |Algebra&| |Algebra&|
                         |Algebra&| NIL |Module&| |Module&| NIL NIL
                         |Module&| NIL NIL |OrderedRing&| NIL
                         |PartialDifferentialRing&| |DifferentialRing&|
                         NIL NIL NIL |Ring&| NIL NIL NIL NIL NIL NIL
                         NIL NIL |AbelianGroup&| NIL NIL NIL NIL NIL
                         |AbelianMonoid&| |Monoid&| NIL NIL
                         |FullyEvalableOver&| |SemiGroup&|
                         |AbelianSemiGroup&| |OrderedSet&| NIL NIL NIL
                         NIL |SetCategory&| NIL |Evalable&|
                         |RetractableTo&| NIL |RetractableTo&| NIL NIL
                         NIL NIL NIL |BasicType&| NIL |RetractableTo&|
                         NIL NIL NIL |RetractableTo&| |RetractableTo&|
                         NIL NIL |InnerEvalable&| |InnerEvalable&| NIL)
                      (CONS '#((|QuotientFieldCategory|
                                   (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    6 7 8 9))
                               (|Field|) (|EuclideanDomain|)
                               (|PolynomialFactorizationExplicit|)
                               (|PrincipalIdealDomain|)
                               (|UniqueFactorizationDomain|)
                               (|GcdDomain|) (|OrderedIntegralDomain|)
                               (|DivisionRing|) (|IntegralDomain|)
                               (|FullyLinearlyExplicitRingOver|
                                   (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    6 7 8 9))
                               (|DifferentialExtension|
                                   (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    6 7 8 9))
                               (|Algebra|
                                   (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    6 7 8 9))
                               (|Algebra| 13) (|Algebra| $$)
                               (|LinearlyExplicitRingOver|
                                   (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    6 7 8 9))
                               (|Module|
                                   (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    6 7 8 9))
                               (|Module| 13) (|EntireRing|)
                               (|CommutativeRing|) (|Module| $$)
                               (|CharacteristicNonZero|)
                               (|CharacteristicZero|) (|OrderedRing|)
                               (|LinearlyExplicitRingOver| 12)
                               (|PartialDifferentialRing| 52)
                               (|DifferentialRing|)
                               (|BiModule|
                                   (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    6 7 8 9)
                                   (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    6 7 8 9))
                               (|BiModule| 13 13) (|BiModule| $$ $$)
                               (|Ring|)
                               (|RightModule|
                                   (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    6 7 8 9))
                               (|LeftModule|
                                   (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    6 7 8 9))
                               (|RightModule| 13) (|LeftModule| 13)
                               (|LeftModule| $$) (|Rng|)
                               (|RightModule| $$)
                               (|OrderedAbelianGroup|) (|AbelianGroup|)
                               (|OrderedCancellationAbelianMonoid|)
                               (|CancellationAbelianMonoid|)
                               (|SemiRing|) (|OrderedAbelianMonoid|)
                               (|FullyPatternMatchable|
                                   (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    6 7 8 9))
                               (|AbelianMonoid|) (|Monoid|) (|SemiRng|)
                               (|OrderedAbelianSemiGroup|)
                               (|FullyEvalableOver|
                                   (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    6 7 8 9))
                               (|SemiGroup|) (|AbelianSemiGroup|)
                               (|OrderedSet|) (|StepThrough|)
                               (|PatternMatchable| 96)
                               (|PatternMatchable| 12)
                               (|Patternable|
                                   (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    6 7 8 9))
                               (|SetCategory|) (|RealConstant|)
                               (|Evalable|
                                   (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    6 7 8 9))
                               (|RetractableTo|
                                   (|UnivariatePuiseuxSeries| 7 8 9))
                               (|Type|)
                               (|RetractableTo|
                                   (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    6 7 8 9))
                               (|canonicalsClosed|)
                               (|canonicalUnitNormal|)
                               (|noZeroDivisors|) (|CommutativeStar|)
                               (|unitsKnown|) (|BasicType|)
                               (|CoercibleTo| 116) (|RetractableTo| 52)
                               (|ConvertibleTo| 79)
                               (|ConvertibleTo| 97)
                               (|ConvertibleTo| 96)
                               (|RetractableTo| 13)
                               (|RetractableTo| 12)
                               (|ConvertibleTo| 80)
                               (|ConvertibleTo| 81)
                               (|InnerEvalable| 52
                                   (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    6 7 8 9))
                               (|InnerEvalable|
                                   (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    6 7 8 9)
                                   (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    6 7 8 9))
                               (|Eltable|
                                   (|UnivariatePuiseuxSeriesWithExponentialSingularity|
                                    6 7 8 9)
                                   $$))
                            (|makeByteWordVec2| 116
                                '(0 7 0 11 2 13 0 12 12 14 1 0 16 0 17
                                  0 16 0 18 2 16 19 0 0 20 1 0 16 0 21
                                  1 16 22 0 23 1 16 25 0 26 2 10 0 16
                                  16 27 1 0 0 16 28 2 0 0 16 0 29 2 10
                                  0 0 0 31 2 16 0 0 0 32 1 16 0 34 35 2
                                  34 0 0 0 37 0 13 0 38 2 34 13 0 13 39
                                  0 7 0 40 0 0 0 41 0 6 0 42 0 10 0 43
                                  0 13 0 44 0 45 0 46 0 34 0 47 2 13 19
                                  0 0 48 2 34 7 0 13 49 1 7 50 0 51 2
                                  50 19 52 0 53 2 13 19 0 0 54 1 45 0 7
                                  55 1 57 56 7 58 0 45 0 59 0 45 0 60 2
                                  7 0 0 0 61 1 0 19 0 62 1 16 63 0 64 1
                                  16 68 0 69 2 70 0 0 0 71 0 70 0 72 2
                                  70 19 0 0 73 1 70 13 0 74 2 70 7 0 13
                                  75 2 0 19 0 0 1 1 0 19 0 62 1 20 16 0
                                  1 1 0 112 0 1 1 0 0 0 1 1 0 19 0 1 2
                                  0 25 0 0 1 1 1 92 93 1 1 0 0 0 1 1 0
                                  104 0 1 2 1 94 95 93 1 2 0 19 0 0 1 1
                                  7 12 0 1 0 0 0 1 1 8 56 0 1 1 8 98 0
                                  1 1 2 99 0 1 1 0 22 0 24 1 0 103 0 1
                                  1 8 12 0 1 1 8 13 0 1 1 2 52 0 1 1 0
                                  34 0 1 1 0 16 0 1 2 0 0 0 0 1 2 14 86
                                  78 87 1 1 14 88 78 1 2 0 100 78 87 1
                                  1 0 101 78 1 1 0 25 0 1 0 21 0 1 2 0
                                  0 0 0 1 1 0 111 106 1 1 0 19 0 1 1 7
                                  19 0 1 3 10 90 0 80 90 1 3 11 91 0 81
                                  91 1 1 0 19 0 1 1 0 0 0 1 1 0 16 0 21
                                  1 9 25 0 1 1 7 19 0 1 2 0 105 106 0 1
                                  2 22 0 0 0 1 2 22 0 0 0 1 2 0 0 102 0
                                  1 1 0 63 0 76 1 0 0 106 1 2 0 0 0 0 1
                                  1 0 115 0 1 1 0 0 0 1 0 9 0 1 1 0 114
                                  0 1 2 0 93 93 93 1 1 0 0 106 1 2 0 0
                                  0 0 1 1 20 0 0 1 1 21 16 0 1 1 1 92
                                  93 1 1 1 92 93 1 1 0 104 0 1 2 0 107
                                  0 0 1 3 0 109 0 0 0 1 2 0 25 0 0 1 2
                                  0 105 106 0 1 2 18 0 0 83 1 3 18 0 0
                                  16 16 1 2 18 0 0 84 1 3 18 0 0 85 85
                                  1 3 17 0 0 52 16 1 3 17 0 0 50 85 1 1
                                  0 82 0 1 2 19 0 0 16 1 2 0 110 0 0 1
                                  2 16 0 0 82 1 1 16 0 0 1 3 15 0 0 50
                                  89 1 2 15 0 0 50 1 3 15 0 0 52 82 1 2
                                  15 0 0 52 1 2 0 0 0 102 1 3 0 0 0 102
                                  82 1 1 0 0 0 1 1 0 16 0 17 1 5 79 0 1
                                  1 12 80 0 1 1 13 81 0 1 1 6 96 0 1 1
                                  6 97 0 1 1 24 77 78 1 1 2 0 52 1 1 0
                                  0 34 36 1 0 0 16 28 1 0 0 13 1 1 0 0
                                  12 1 1 0 0 0 1 1 0 116 0 1 1 25 25 0
                                  1 0 0 82 1 1 21 16 0 1 2 0 19 0 0 1 1
                                  7 0 0 1 2 0 0 0 12 1 2 0 0 0 82 1 2 0
                                  0 0 113 1 0 0 0 41 0 0 0 1 2 16 0 0
                                  82 1 1 16 0 0 1 3 15 0 0 50 89 1 2 15
                                  0 0 50 1 3 15 0 0 52 82 1 2 15 0 0 52
                                  1 2 0 0 0 102 1 3 0 0 0 102 82 1 2 22
                                  19 0 0 1 2 22 19 0 0 1 2 0 19 0 0 1 2
                                  22 19 0 0 1 2 22 19 0 0 1 2 0 0 16 16
                                  30 2 0 0 0 0 33 2 0 0 0 0 1 1 0 0 0 1
                                  2 0 0 0 0 1 2 0 0 0 12 1 2 0 0 0 82 1
                                  2 0 0 0 113 1 2 0 0 16 0 29 2 0 0 0
                                  16 1 2 0 0 13 0 1 2 0 0 0 13 1 2 0 0
                                  0 0 1 2 0 0 12 0 1 2 0 0 82 0 1 2 0 0
                                  113 0 1)))))
          '|lookupComplete|)) 
