
(/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 (|ordg| |ordf| |fCoef| |gCoef|)
    (RETURN
      (SEQ (COND
             ((SPADCALL |f| (QREFELT $ 24))
              (COND ((SPADCALL |g| (QREFELT $ 24)) 'NIL) ('T 'T)))
             ((SPADCALL |g| (QREFELT $ 24)) 'NIL)
             ('T
              (SEQ (LETT |ordg| (SPADCALL |g| (QREFELT $ 16))
                         . #0=(|EXPUPXS;<;2$B;6|))
                   (LETT |ordf| (SPADCALL |f| (QREFELT $ 16)) . #0#)
                   (EXIT (COND
                           ((SPADCALL |ordg| |ordf| (QREFELT $ 27)) 'T)
                           ((SPADCALL |ordf| |ordg| (QREFELT $ 27))
                            'NIL)
                           ('T
                            (SEQ (LETT |fCoef|
                                       (SPADCALL |f| |ordf|
                                        (QREFELT $ 28)) . #0#)
                                 (LETT |gCoef|
                                       (SPADCALL |g| |ordg|
                                        (QREFELT $ 28)) . #0#)
                                 (EXIT (COND
                                         ((SPADCALL |fCoef| |gCoef|
                                           (QREFELT $ 29))
                                          (SPADCALL
                                           (SPADCALL |f|
                                            (QREFELT $ 30))
                                           (SPADCALL |g|
                                            (QREFELT $ 30))
                                           (QREFELT $ 31)))
                                         ('T
                                          (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 #0=#:G1856)
  (PROG ()
    (RETURN
      (PROG (#1=#:G1857)
        (RETURN
          (COND
            ((LETT #1#
                   (|lassocShiftWithFunction| (|devaluateList| #0#)
                       (HGET |$ConstructorCache|
                             '|ExponentialOfUnivariatePuiseuxSeries|)
                       '|domainEqualList|)
                   . #2=(|ExponentialOfUnivariatePuiseuxSeries|))
             (|CDRwithIncrement| #1#))
            ('T
             (UNWIND-PROTECT
               (PROG1 (APPLY (|function|
                                 |ExponentialOfUnivariatePuiseuxSeries;|)
                             #0#)
                 (LETT #1# T . #2#))
               (COND
                 ((NOT #1#)
                  (HREM |$ConstructorCache|
                        '|ExponentialOfUnivariatePuiseuxSeries|))))))))))) 

(DEFUN |ExponentialOfUnivariatePuiseuxSeries;| (|#1| |#2| |#3|)
  (PROG (DV$1 DV$2 DV$3 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|)
              . #0=(|ExponentialOfUnivariatePuiseuxSeries|))
        (LETT DV$2 (|devaluate| |#2|) . #0#)
        (LETT DV$3 (|devaluate| |#3|) . #0#)
        (LETT |dv$|
              (LIST '|ExponentialOfUnivariatePuiseuxSeries| DV$1 DV$2
                    DV$3) . #0#)
        (LETT $ (GETREFV 61) . #0#)
        (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|
                                      '(|AlgebraicallyClosedFunctionSpace|
                                        (|Integer|)))
                                     (|HasCategory| |#1|
                                      '(|PrimitiveFunctionCategory|))
                                     (|HasCategory| |#1|
                                      '(|TranscendentalFunctionCategory|))
                                     (|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|)))))))) . #0#))
        (|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 . <)
             (|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| 57) (|List| 13)
             (|SingletonAsOrderedSet|) (|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
             |sizeLess?| 161 |sinh| 167 |sin| 172 |series| 177 |sech|
             183 |sec| 188 |sample| 193 |rem| 197 |reductum| 203
             |recip| 208 |quo| 213 |principalIdeal| 219 |prime?| 224
             |pole?| 229 |pi| 234 |order| 238 |one?| 249 |nthRoot| 254
             |multiplyExponents| 260 |multiEuclidean| 272 |monomial?|
             278 |monomial| 283 |min| 303 |max| 309 |map| 315 |log| 321
             |leadingMonomial| 326 |leadingCoefficient| 331 |lcm| 336
             |latex| 347 |inv| 352 |integrate| 357 |hash| 368
             |gcdPolynomial| 373 |gcd| 379 |factor| 390
             |extendedEuclidean| 395 |extend| 408 |exquo| 414
             |expressIdealMember| 420 |exponentialOrder| 426
             |exponential| 431 |exponent| 436 |exp| 441 |eval| 446
             |euclideanSize| 452 |elt| 457 |divide| 469 |differentiate|
             475 |degree| 512 |csch| 517 |csc| 522 |coth| 527 |cot| 532
             |cosh| 537 |cos| 542 |complete| 547 |coerce| 552
             |coefficient| 577 |charthRoot| 583 |characteristic| 588
             |center| 592 |atanh| 597 |atan| 602 |associates?| 607
             |asinh| 613 |asin| 618 |asech| 623 |asec| 628
             |approximate| 633 |acsch| 639 |acsc| 644 |acoth| 649
             |acot| 654 |acosh| 659 |acos| 664 ^ 669 |Zero| 687 |One|
             691 D 695 >= 732 > 738 = 744 <= 750 < 756 / 762 - 774 +
             785 ** 791 * 821)
          '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 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
                         |AbelianGroup&| NIL NIL NIL NIL
                         |AbelianMonoid&| |Monoid&| NIL |OrderedSet&|
                         |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 57)
                               (|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| $$) (|AbelianGroup|)
                               (|OrderedAbelianMonoid|)
                               (|CancellationAbelianMonoid|)
                               (|SemiRing|) (|OrderedAbelianSemiGroup|)
                               (|AbelianMonoid|) (|Monoid|) (|SemiRng|)
                               (|OrderedSet|) (|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 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 1 0 13 0 1 2 0 13 0 13 15
                                  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 55 56 1 3 0 0 0 57 13 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 1 10 0 43 1
                                  2 10 0 0 0 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 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 37 1 2 8 0 0 38 1 3 8 0 0 38 40 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 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 2 1 0 0 13 1 2 1 0 13 0 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|)) 
