
(/VERSIONCHECK 2) 

(DEFUN |EXPUPXS;exponential;Ups$;1| (|f| $) (SPADCALL |f| (QREFELT $ 10))) 

(PUT '|EXPUPXS;exponent;$Ups;2| '|SPADreplace| '(XLAM (|f|) |f|)) 

(DEFUN |EXPUPXS;exponent;$Ups;2| (|f| $) |f|) 

(DEFUN |EXPUPXS;exponentialOrder;$F;3| (|f| $)
  (SPADCALL (SPADCALL |f| (QREFELT $ 12)) (|spadConstant| $ 14) (QREFELT $ 15))) 

(DEFUN |EXPUPXS;zero?;$B;4| (|f| $)
  (NULL
   (SPADCALL (SPADCALL (SPADCALL |f| (QREFELT $ 19)) (QREFELT $ 20))
             (QREFELT $ 22)))) 

(DEFUN |EXPUPXS;=;2$B;5| (|f| |g| $)
  (SPADCALL
   (SPADCALL (SPADCALL (SPADCALL |f| (QREFELT $ 19)) (QREFELT $ 20))
             (QREFELT $ 22))
   (SPADCALL (SPADCALL (SPADCALL |g| (QREFELT $ 19)) (QREFELT $ 20))
             (QREFELT $ 22))
   (QREFELT $ 25))) 

(DEFUN |EXPUPXS;<;2$B;6| (|f| |g| $)
  (PROG (|gCoef| |fCoef| |ordf| |ordg|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL |f| (QREFELT $ 24))
        (COND ((SPADCALL |g| (QREFELT $ 24)) 'NIL) (#1='T 'T)))
       ((SPADCALL |g| (QREFELT $ 24)) 'NIL)
       (#1#
        (SEQ
         (LETT |ordg| (SPADCALL |g| (QREFELT $ 16)) . #2=(|EXPUPXS;<;2$B;6|))
         (LETT |ordf| (SPADCALL |f| (QREFELT $ 16)) . #2#)
         (EXIT
          (COND ((SPADCALL |ordg| |ordf| (QREFELT $ 27)) 'T)
                ((SPADCALL |ordf| |ordg| (QREFELT $ 27)) 'NIL)
                (#1#
                 (SEQ (LETT |fCoef| (SPADCALL |f| |ordf| (QREFELT $ 28)) . #2#)
                      (LETT |gCoef| (SPADCALL |g| |ordg| (QREFELT $ 28)) . #2#)
                      (EXIT
                       (COND
                        ((SPADCALL |fCoef| |gCoef| (QREFELT $ 29))
                         (SPADCALL (SPADCALL |f| (QREFELT $ 30))
                                   (SPADCALL |g| (QREFELT $ 30))
                                   (QREFELT $ 31)))
                        (#1#
                         (SPADCALL |fCoef| |gCoef| (QREFELT $ 32)))))))))))))))) 

(DEFUN |EXPUPXS;coerce;$Of;7| (|f| $)
  (SPADCALL "%e" (SPADCALL (SPADCALL |f| (QREFELT $ 10)) (QREFELT $ 34))
            (QREFELT $ 35))) 

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

(DEFUN |ExponentialOfUnivariatePuiseuxSeries;| (|#1| |#2| |#3|)
  (PROG (|pv$| $ |dv$| DV$3 DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|)
            . #1=(|ExponentialOfUnivariatePuiseuxSeries|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT DV$3 (|devaluate| |#3|) . #1#)
      (LETT |dv$| (LIST '|ExponentialOfUnivariatePuiseuxSeries| DV$1 DV$2 DV$3)
            . #1#)
      (LETT $ (GETREFV 61) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3
                (LETT |pv$|
                      (|buildPredVector| 0 0
                                         (LIST
                                          (|HasCategory| |#1|
                                                         '(|Algebra|
                                                           (|Fraction|
                                                            (|Integer|))))
                                          (|HasCategory| |#1|
                                                         '(|CommutativeRing|))
                                          (|HasCategory| |#1|
                                                         '(|IntegralDomain|))
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|CommutativeRing|))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|)))
                                          (|HasCategory| |#1|
                                                         '(|CharacteristicNonZero|))
                                          (|HasCategory| |#1|
                                                         '(|CharacteristicZero|))
                                          (|HasSignature| |#1|
                                                          (LIST '*
                                                                (LIST
                                                                 (|devaluate|
                                                                  |#1|)
                                                                 '(|Fraction|
                                                                   (|Integer|))
                                                                 (|devaluate|
                                                                  |#1|))))
                                          (AND
                                           (|HasCategory| |#1|
                                                          '(|PartialDifferentialRing|
                                                            (|Symbol|)))
                                           (|HasSignature| |#1|
                                                           (LIST '*
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|Fraction|
                                                                    (|Integer|))
                                                                  (|devaluate|
                                                                   |#1|)))))
                                          (|HasCategory|
                                           (|Fraction| (|Integer|))
                                           '(|SemiGroup|))
                                          (|HasCategory| |#1| '(|Field|))
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|CommutativeRing|))
                                           (|HasCategory| |#1| '(|Field|))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|)))
                                          (OR (|HasCategory| |#1| '(|Field|))
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|)))
                                          (|HasSignature| |#1|
                                                          (LIST '^
                                                                (LIST
                                                                 (|devaluate|
                                                                  |#1|)
                                                                 (|devaluate|
                                                                  |#1|)
                                                                 '(|Fraction|
                                                                   (|Integer|)))))
                                          (AND
                                           (|HasSignature| |#1|
                                                           (LIST '^
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|Fraction|
                                                                    (|Integer|)))))
                                           (|HasSignature| |#1|
                                                           (LIST '|coerce|
                                                                 (LIST
                                                                  (|devaluate|
                                                                   |#1|)
                                                                  '(|Symbol|)))))
                                          (OR
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|Algebra|
                                                             (|Fraction|
                                                              (|Integer|))))
                                            (|HasCategory| |#1|
                                                           '(|AlgebraicallyClosedFunctionSpace|
                                                             (|Integer|)))
                                            (|HasCategory| |#1|
                                                           '(|PrimitiveFunctionCategory|))
                                            (|HasCategory| |#1|
                                                           '(|TranscendentalFunctionCategory|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|Algebra|
                                                             (|Fraction|
                                                              (|Integer|))))
                                            (|HasSignature| |#1|
                                                            (LIST '|integrate|
                                                                  (LIST
                                                                   (|devaluate|
                                                                    |#1|)
                                                                   (|devaluate|
                                                                    |#1|)
                                                                   '(|Symbol|))))
                                            (|HasSignature| |#1|
                                                            (LIST '|variables|
                                                                  (LIST
                                                                   '(|List|
                                                                     (|Symbol|))
                                                                   (|devaluate|
                                                                    |#1|))))))))
                      . #1#))
      (|haddProp| |$ConstructorCache| '|ExponentialOfUnivariatePuiseuxSeries|
                  (LIST DV$1 DV$2 DV$3) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 8 |#3|)
      (QSETREFV $ 9 (|UnivariatePuiseuxSeries| |#1| |#2| |#3|))
      $)))) 

(MAKEPROP '|ExponentialOfUnivariatePuiseuxSeries| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL (|UnivariatePuiseuxSeries| 6 7 8)
              (|local| |#1|) (|local| |#2|) (|local| |#3|) '|Rep|
              (0 . |complete|) |EXPUPXS;exponential;Ups$;1|
              |EXPUPXS;exponent;$Ups;2| (|Fraction| 41) (5 . |Zero|)
              (9 . |order|) |EXPUPXS;exponentialOrder;$F;3|
              (|Record| (|:| |k| 13) (|:| |c| 6)) (|Stream| 17) (15 . |terms|)
              (20 . |complete|) (|List| 17) (25 . |entries|) (|Boolean|)
              |EXPUPXS;zero?;$B;4| (30 . =) |EXPUPXS;=;2$B;5| (36 . <)
              (42 . |coefficient|) (48 . =) (54 . |reductum|) |EXPUPXS;<;2$B;6|
              (59 . |smaller?|) (|OutputForm|) (65 . |coerce|) (70 . ^)
              |EXPUPXS;coerce;$Of;7| (|List| 38) (|Symbol|) (|List| 40)
              (|NonNegativeInteger|) (|Integer|) (|Union| $ '"failed")
              (|List| $) (|SparseUnivariatePolynomial| $)
              (|Union| 43 '"failed")
              (|Record| (|:| |coef| 43) (|:| |generator| $))
              (|Record| (|:| |quotient| $) (|:| |remainder| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $)) (|Union| 48 '"failed")
              (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $))
              (|Factored| $)
              (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))
              (|Stream| 6) (|PositiveInteger|) (|List| 56)
              (|SingletonAsOrderedSet|) (|List| 13) (|Mapping| 6 6)
              (|SingleInteger|) (|String|))
           '#(~= 76 |zero?| 82 |variables| 87 |variable| 92 |unitNormal| 97
              |unitCanonical| 102 |unit?| 107 |truncate| 112 |terms| 125 |tanh|
              130 |tan| 135 |subtractIfCan| 140 |squareFreePart| 146
              |squareFree| 151 |sqrt| 156 |smaller?| 161 |sizeLess?| 167 |sinh|
              173 |sin| 178 |series| 183 |sech| 189 |sec| 194 |sample| 199
              |rem| 203 |reductum| 209 |recip| 214 |quo| 219 |principalIdeal|
              225 |prime?| 230 |pole?| 235 |pi| 240 |order| 244 |one?| 255
              |nthRoot| 260 |multiplyExponents| 266 |multiEuclidean| 278
              |monomial?| 284 |monomial| 289 |min| 309 |max| 315 |map| 321
              |log| 327 |leadingMonomial| 332 |leadingCoefficient| 337 |lcm|
              342 |latex| 353 |inv| 358 |integrate| 363 |hash| 374
              |gcdPolynomial| 379 |gcd| 385 |factor| 396 |extendedEuclidean|
              401 |extend| 414 |exquo| 420 |expressIdealMember| 426
              |exponentialOrder| 432 |exponential| 437 |exponent| 442 |exp| 447
              |eval| 452 |euclideanSize| 458 |elt| 463 |divide| 475
              |differentiate| 481 |degree| 518 |csch| 523 |csc| 528 |coth| 533
              |cot| 538 |cosh| 543 |cos| 548 |complete| 553 |coerce| 558
              |coefficient| 583 |charthRoot| 589 |characteristic| 594 |center|
              598 |atanh| 603 |atan| 608 |associates?| 613 |asinh| 619 |asin|
              624 |asech| 629 |asec| 634 |approximate| 639 |acsch| 645 |acsc|
              650 |acoth| 655 |acot| 660 |acosh| 665 |acos| 670 ^ 675 |Zero|
              705 |One| 709 D 713 >= 750 > 756 = 762 <= 768 < 774 / 780 - 792 +
              803 * 809)
           'NIL
           (CONS
            (|makeByteWordVec2| 12
                                '(0 10 0 10 0 10 10 0 10 12 10 1 3 2 1 3 5 6 2
                                  8 7 11 12 0 0 1 4 0 0 0 0 1 1 2 0 0 0 0 0 0 0
                                  0 0 0 0 0 0 1 0 0 0 2 3 9 10 10 1 1 1 1 1 1))
            (CONS
             '#(NIL |Field&| |UnivariatePowerSeriesCategory&|
                |EuclideanDomain&| |PowerSeriesCategory&| NIL
                |UniqueFactorizationDomain&| |AbelianMonoidRing&| |GcdDomain&|
                |IntegralDomain&| |DivisionRing&| |Algebra&| |Algebra&|
                |Algebra&| |Module&| |Module&| NIL NIL |Module&|
                |PartialDifferentialRing&| |DifferentialRing&| NIL NIL |Ring&|
                NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL |AbelianGroup&| NIL
                NIL NIL |OrderedSet&| |AbelianMonoid&| |Monoid&| NIL NIL
                |SemiGroup&| |AbelianSemiGroup&| |SetCategory&|
                |TranscendentalFunctionCategory&| NIL |BasicType&| NIL NIL NIL
                NIL NIL NIL |TrigonometricFunctionCategory&|
                |ArcTrigonometricFunctionCategory&|
                |HyperbolicFunctionCategory&| NIL |ElementaryFunctionCategory&|
                |RadicalCategory&|)
             (CONS
              '#((|UnivariatePuiseuxSeriesCategory| 6) (|Field|)
                 (|UnivariatePowerSeriesCategory| 6 13) (|EuclideanDomain|)
                 (|PowerSeriesCategory| 6 13 56) (|PrincipalIdealDomain|)
                 (|UniqueFactorizationDomain|) (|AbelianMonoidRing| 6 13)
                 (|GcdDomain|) (|IntegralDomain|) (|DivisionRing|)
                 (|Algebra| 13) (|Algebra| $$) (|Algebra| 6) (|Module| 13)
                 (|Module| $$) (|CharacteristicNonZero|) (|CharacteristicZero|)
                 (|Module| 6) (|PartialDifferentialRing| 38)
                 (|DifferentialRing|) (|CommutativeRing|) (|EntireRing|)
                 (|Ring|) (|BiModule| 6 6) (|BiModule| 13 13)
                 (|BiModule| $$ $$) (|Rng|) (|LeftModule| 6) (|RightModule| 6)
                 (|LeftModule| $$) (|LeftModule| 13) (|RightModule| 13)
                 (|RightModule| $$) (|OrderedAbelianMonoid|) (|AbelianGroup|)
                 (|OrderedAbelianSemiGroup|) (|CancellationAbelianMonoid|)
                 (|SemiRing|) (|OrderedSet|) (|AbelianMonoid|) (|Monoid|)
                 (|SemiRng|) (|Comparable|) (|SemiGroup|) (|AbelianSemiGroup|)
                 (|SetCategory|) (|TranscendentalFunctionCategory|)
                 (|unitsKnown|) (|BasicType|) (|CoercibleTo| 33)
                 (|CommutativeStar|) (|noZeroDivisors|) (|Eltable| $$ $$)
                 (|canonicalUnitNormal|) (|canonicalsClosed|)
                 (|TrigonometricFunctionCategory|)
                 (|ArcTrigonometricFunctionCategory|)
                 (|HyperbolicFunctionCategory|)
                 (|ArcHyperbolicFunctionCategory|)
                 (|ElementaryFunctionCategory|) (|RadicalCategory|))
              (|makeByteWordVec2| 60
                                  '(1 0 0 0 10 0 13 0 14 2 0 13 0 13 15 1 0 18
                                    0 19 1 18 0 0 20 1 18 21 0 22 2 21 23 0 0
                                    25 2 13 23 0 0 27 2 0 6 0 13 28 2 6 23 0 0
                                    29 1 0 0 0 30 2 6 23 0 0 32 1 9 33 0 34 2
                                    33 0 0 0 35 2 0 23 0 0 1 1 0 23 0 24 1 0 55
                                    0 1 1 0 38 0 1 1 3 52 0 1 1 3 0 0 1 1 3 23
                                    0 1 2 0 0 0 13 1 3 0 0 0 13 13 1 1 0 18 0
                                    19 1 1 0 0 1 1 1 0 0 1 2 0 42 0 0 1 1 10 0
                                    0 1 1 10 51 0 1 1 1 0 0 1 2 0 23 0 0 1 2 10
                                    23 0 0 1 1 1 0 0 1 1 1 0 0 1 2 0 0 40 18 1
                                    1 1 0 0 1 1 1 0 0 1 0 0 0 1 2 10 0 0 0 1 1
                                    0 0 0 30 1 0 42 0 1 2 10 0 0 0 1 1 10 46 43
                                    1 1 10 23 0 1 1 0 23 0 1 0 1 0 1 2 0 13 0
                                    13 15 1 0 13 0 1 1 0 23 0 1 2 1 0 0 41 1 2
                                    0 0 0 13 1 2 0 0 0 54 1 2 10 45 43 0 1 1 0
                                    23 0 1 3 0 0 0 56 13 1 3 0 0 0 55 57 1 2 0
                                    0 6 13 1 2 0 0 0 0 1 2 0 0 0 0 1 2 0 0 58 0
                                    1 1 1 0 0 1 1 0 0 0 1 1 0 6 0 1 2 10 0 0 0
                                    1 1 10 0 43 1 1 0 60 0 1 1 10 0 0 1 2 15 0
                                    0 38 1 1 1 0 0 1 1 0 59 0 1 2 10 44 44 44 1
                                    2 10 0 0 0 1 1 10 0 43 1 1 10 51 0 1 3 10
                                    49 0 0 0 1 2 10 50 0 0 1 2 0 0 0 13 1 2 3
                                    42 0 0 1 2 10 45 43 0 1 1 0 13 0 16 1 0 0 5
                                    11 1 0 5 0 12 1 1 0 0 1 2 13 53 0 6 1 1 10
                                    40 0 1 2 9 0 0 0 1 2 0 6 0 13 1 2 10 47 0 0
                                    1 2 8 0 0 37 1 2 8 0 0 38 1 3 8 0 0 37 39 1
                                    3 8 0 0 38 40 1 1 7 0 0 1 2 7 0 0 40 1 1 0
                                    13 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0
                                    0 1 1 1 0 0 1 1 1 0 0 1 1 0 0 0 10 1 1 0 13
                                    1 1 2 0 6 1 1 3 0 0 1 1 0 0 41 1 1 0 33 0
                                    36 2 0 6 0 13 28 1 5 42 0 1 0 0 40 1 1 0 6
                                    0 1 1 1 0 0 1 1 1 0 0 1 2 3 23 0 0 1 1 1 0
                                    0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 2 14 6 0
                                    13 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0
                                    1 1 1 0 0 1 1 1 0 0 1 2 1 0 0 13 1 2 1 0 0
                                    0 1 2 10 0 0 41 1 2 0 0 0 40 1 2 0 0 0 54 1
                                    0 0 0 1 0 0 0 1 2 8 0 0 38 1 3 8 0 0 38 40
                                    1 2 8 0 0 37 1 3 8 0 0 37 39 1 1 7 0 0 1 2
                                    7 0 0 40 1 2 0 23 0 0 1 2 0 23 0 0 1 2 0 23
                                    0 0 26 2 0 23 0 0 1 2 0 23 0 0 31 2 10 0 0
                                    0 1 2 10 0 0 6 1 1 0 0 0 1 2 0 0 0 0 1 2 0
                                    0 0 0 1 2 1 0 13 0 1 2 1 0 0 13 1 2 0 0 0 6
                                    1 2 0 0 6 0 1 2 0 0 41 0 1 2 0 0 0 0 1 2 0
                                    0 40 0 1 2 0 0 54 0 1)))))
           '|lookupComplete|)) 
