1
2(SDEFUN |EFGUSER;apply_taylor1|
3        ((|ft| |Mapping| (|Stream| |Coef|) (|Stream| |Coef|)) (|x| PS)
4         ($ |Union| PS "failed"))
5        (SPROG
6         ((|fxu| (|Union| (|Stream| |Coef|) "failed")) (|s1| (|Stream| |Coef|))
7          (|c0| (|Coef|)))
8         (SEQ (LETT |x| (SPADCALL |x| (|spadConstant| $ 11) (QREFELT $ 12)))
9              (EXIT
10               (COND
11                ((SPADCALL (SPADCALL |x| (QREFELT $ 13)) (|spadConstant| $ 11)
12                           (QREFELT $ 15))
13                 (CONS 1 "failed"))
14                (#1='T
15                 (SEQ
16                  (LETT |c0|
17                        (SPADCALL |x| (|spadConstant| $ 11) (QREFELT $ 16)))
18                  (LETT |s1|
19                        (SPADCALL (SPADCALL |c0| 0 (QREFELT $ 20))
20                                  (SPADCALL (|spadConstant| $ 21) 1
21                                            (QREFELT $ 20))
22                                  (QREFELT $ 23)))
23                  (LETT |fxu| (|trappedSpadEval| (SPADCALL |s1| |ft|)))
24                  (EXIT
25                   (COND ((QEQCAR |fxu| 1) (CONS 1 "failed"))
26                         (#1#
27                          (CONS 0
28                                (SPADCALL (QCDR |fxu|)
29                                          (SPADCALL |x|
30                                                    (SPADCALL |c0|
31                                                              (|spadConstant| $
32                                                                              11)
33                                                              (QREFELT $ 24))
34                                                    (QREFELT $ 25))
35                                          (QREFELT $ 26)))))))))))))
36
37(SDEFUN |EFGUSER;nthRootIfCan;PSNniU;2|
38        ((|x| PS) (|n| |NonNegativeInteger|) ($ |Union| PS "failed"))
39        (SPROG
40         ((|res1| (|Union| PS "failed")) (|x1| (PS)) (|c0| (|Coef|))
41          (|ord| (|Expon|)) (|i| NIL))
42         (SEQ
43          (COND ((EQL |n| 0) (CONS 0 (|spadConstant| $ 22)))
44                ((EQL |n| 1) (CONS 0 |x|))
45                (#1='T
46                 (SEQ
47                  (LETT |x|
48                        (SPADCALL |x| (|spadConstant| $ 11) (QREFELT $ 12)))
49                  (LETT |ord| (SPADCALL |x| (QREFELT $ 13)))
50                  (COND
51                   ((SPADCALL |ord| (|spadConstant| $ 11) (QREFELT $ 27))
52                    (SEQ (LETT |i| 0) G190
53                         (COND
54                          ((OR (|greater_SI| |i| 50)
55                               (NULL
56                                (SPADCALL (SPADCALL |x| |ord| (QREFELT $ 16))
57                                          (|spadConstant| $ 10)
58                                          (QREFELT $ 28))))
59                           (GO G191)))
60                         (SEQ
61                          (LETT |x|
62                                (SPADCALL |x|
63                                          (SPADCALL |ord|
64                                                    (SPADCALL 10
65                                                              (|spadConstant| $
66                                                                              29)
67                                                              (QREFELT $ 31))
68                                                    (QREFELT $ 32))
69                                          (QREFELT $ 12)))
70                          (EXIT (LETT |ord| (SPADCALL |x| (QREFELT $ 13)))))
71                         (LETT |i| (|inc_SI| |i|)) (GO G190) G191 (EXIT NIL))))
72                  (LETT |c0| (SPADCALL |x| |ord| (QREFELT $ 16)))
73                  (EXIT
74                   (COND
75                    ((SPADCALL |c0| (|spadConstant| $ 10) (QREFELT $ 28))
76                     (CONS 1 "failed"))
77                    (#1#
78                     (SEQ
79                      (LETT |x1|
80                            (SPADCALL
81                             (SPADCALL (|spadConstant| $ 21)
82                                       (SPADCALL
83                                        (SPADCALL (|spadConstant| $ 29)
84                                                  (QREFELT $ 37))
85                                        |ord| (QREFELT $ 38))
86                                       (QREFELT $ 24))
87                             |x| (QREFELT $ 39)))
88                      (LETT |res1|
89                            (|EFGUSER;apply_taylor1|
90                             (CONS #'|EFGUSER;nthRootIfCan;PSNniU;2!0|
91                                   (VECTOR |n| $))
92                             |x1| $))
93                      (EXIT
94                       (COND ((QEQCAR |res1| 1) (CONS 1 "failed"))
95                             (#1#
96                              (CONS 0
97                                    (SPADCALL
98                                     (SPADCALL (|spadConstant| $ 21)
99                                               (SPADCALL
100                                                (SPADCALL 1 |n| (QREFELT $ 41))
101                                                |ord| (QREFELT $ 43))
102                                               (QREFELT $ 24))
103                                     (QCDR |res1|) (QREFELT $ 39))))))))))))))))
104
105(SDEFUN |EFGUSER;nthRootIfCan;PSNniU;2!0| ((|s| NIL) ($$ NIL))
106        (PROG ($ |n|)
107          (LETT $ (QREFELT $$ 1))
108          (LETT |n| (QREFELT $$ 0))
109          (RETURN
110           (PROGN
111            (SPADCALL (SPADCALL (|spadConstant| $ 40) |n| (QREFELT $ 41)) |s|
112                      (QREFELT $ 42))))))
113
114(SDEFUN |EFGUSER;expIfCan;PSU;3| ((|x| PS) ($ |Union| PS "failed"))
115        (SPROG ((|c1| (|Coef|)) (|expx| (|Stream| |Coef|)))
116               (SEQ
117                (LETT |x| (SPADCALL |x| (|spadConstant| $ 11) (QREFELT $ 12)))
118                (EXIT
119                 (COND
120                  ((SPADCALL (SPADCALL |x| (QREFELT $ 13))
121                             (|spadConstant| $ 11) (QREFELT $ 15))
122                   (CONS 1 "failed"))
123                  (#1='T
124                   (SEQ
125                    (LETT |expx|
126                          (SPADCALL
127                           (SPADCALL (|spadConstant| $ 21) 1 (QREFELT $ 20))
128                           (QREFELT $ 48)))
129                    (LETT |c1|
130                          (SPADCALL |x| (|spadConstant| $ 11) (QREFELT $ 16)))
131                    (EXIT
132                     (COND
133                      ((SPADCALL |c1| (|spadConstant| $ 10) (QREFELT $ 28))
134                       (CONS 0 (SPADCALL |expx| |x| (QREFELT $ 26))))
135                      ((QREFELT $ 9)
136                       (CONS 0
137                             (SPADCALL (SPADCALL |c1| (QREFELT $ 49))
138                                       (SPADCALL |expx|
139                                                 (SPADCALL |x|
140                                                           (SPADCALL |c1|
141                                                                     (|spadConstant|
142                                                                      $ 11)
143                                                                     (QREFELT $
144                                                                              24))
145                                                           (QREFELT $ 25))
146                                                 (QREFELT $ 26))
147                                       (QREFELT $ 50))))
148                      (#1# (CONS 1 "failed")))))))))))
149
150(SDEFUN |EFGUSER;logIfCan;PSU;4| ((|x| PS) ($ |Union| PS "failed"))
151        (|EFGUSER;apply_taylor1| (ELT $ 52) |x| $))
152
153(SDEFUN |EFGUSER;sincos|
154        ((|x| PS)
155         ($ |Union| (|Record| (|:| |sin| PS) (|:| |cos| PS)) "failed"))
156        (SPROG
157         ((|cc1| (|Coef|)) (|sc1| (|Coef|)) (|cx1| (PS)) (|sx1| (PS))
158          (|x1| (PS)) (|c1| (|Coef|))
159          (|scst|
160           (|Record| (|:| |sin| (|Stream| |Coef|))
161                     (|:| |cos| (|Stream| |Coef|)))))
162         (SEQ (LETT |x| (SPADCALL |x| (|spadConstant| $ 11) (QREFELT $ 12)))
163              (EXIT
164               (COND
165                ((SPADCALL (SPADCALL |x| (QREFELT $ 13)) (|spadConstant| $ 11)
166                           (QREFELT $ 15))
167                 (CONS 1 "failed"))
168                (#1='T
169                 (SEQ
170                  (LETT |scst|
171                        (SPADCALL
172                         (SPADCALL (|spadConstant| $ 21) 1 (QREFELT $ 20))
173                         (QREFELT $ 55)))
174                  (LETT |c1|
175                        (SPADCALL |x| (|spadConstant| $ 11) (QREFELT $ 16)))
176                  (EXIT
177                   (COND
178                    ((SPADCALL |c1| (|spadConstant| $ 10) (QREFELT $ 28))
179                     (CONS 0
180                           (CONS (SPADCALL (QCAR |scst|) |x| (QREFELT $ 26))
181                                 (SPADCALL (QCDR |scst|) |x| (QREFELT $ 26)))))
182                    ((QREFELT $ 9)
183                     (SEQ
184                      (LETT |x1|
185                            (SPADCALL |x|
186                                      (SPADCALL |c1| (|spadConstant| $ 11)
187                                                (QREFELT $ 24))
188                                      (QREFELT $ 25)))
189                      (LETT |sx1| (SPADCALL (QCAR |scst|) |x1| (QREFELT $ 26)))
190                      (LETT |cx1| (SPADCALL (QCDR |scst|) |x1| (QREFELT $ 26)))
191                      (LETT |sc1| (SPADCALL |c1| (QREFELT $ 56)))
192                      (LETT |cc1| (SPADCALL |c1| (QREFELT $ 57)))
193                      (EXIT
194                       (CONS 0
195                             (CONS
196                              (SPADCALL (SPADCALL |sc1| |cx1| (QREFELT $ 50))
197                                        (SPADCALL |cc1| |sx1| (QREFELT $ 50))
198                                        (QREFELT $ 58))
199                              (SPADCALL (SPADCALL |cc1| |cx1| (QREFELT $ 50))
200                                        (SPADCALL |sc1| |sx1| (QREFELT $ 50))
201                                        (QREFELT $ 25)))))))
202                    (#1# (CONS 1 "failed")))))))))))
203
204(SDEFUN |EFGUSER;sinIfCan;PSU;6| ((|x| PS) ($ |Union| PS "failed"))
205        (SPROG
206         ((|usc| (|Union| (|Record| (|:| |sin| PS) (|:| |cos| PS)) "failed")))
207         (SEQ (LETT |usc| (|EFGUSER;sincos| |x| $))
208              (EXIT
209               (COND ((QEQCAR |usc| 1) (CONS 1 "failed"))
210                     ('T (CONS 0 (QCAR (QCDR |usc|)))))))))
211
212(SDEFUN |EFGUSER;cosIfCan;PSU;7| ((|x| PS) ($ |Union| PS "failed"))
213        (SPROG
214         ((|usc| (|Union| (|Record| (|:| |sin| PS) (|:| |cos| PS)) "failed")))
215         (SEQ (LETT |usc| (|EFGUSER;sincos| |x| $))
216              (EXIT
217               (COND ((QEQCAR |usc| 1) (CONS 1 "failed"))
218                     ('T (CONS 0 (QCDR (QCDR |usc|)))))))))
219
220(SDEFUN |EFGUSER;tanIfCan;PSU;8| ((|x| PS) ($ |Union| PS "failed"))
221        (SPROG
222         ((|usc| (|Union| (|Record| (|:| |sin| PS) (|:| |cos| PS)) "failed")))
223         (SEQ (LETT |usc| (|EFGUSER;sincos| |x| $))
224              (EXIT
225               (COND ((QEQCAR |usc| 1) (CONS 1 "failed"))
226                     ('T
227                      (SPADCALL (QCAR (QCDR |usc|)) (QCDR (QCDR |usc|))
228                                (QREFELT $ 61))))))))
229
230(SDEFUN |EFGUSER;cotIfCan;PSU;9| ((|x| PS) ($ |Union| PS "failed"))
231        (SPROG
232         ((|usc| (|Union| (|Record| (|:| |sin| PS) (|:| |cos| PS)) "failed")))
233         (SEQ (LETT |usc| (|EFGUSER;sincos| |x| $))
234              (EXIT
235               (COND ((QEQCAR |usc| 1) (CONS 1 "failed"))
236                     ('T
237                      (SPADCALL (QCDR (QCDR |usc|)) (QCAR (QCDR |usc|))
238                                (QREFELT $ 61))))))))
239
240(SDEFUN |EFGUSER;secIfCan;PSU;10| ((|x| PS) ($ |Union| PS "failed"))
241        (SPROG
242         ((|usc| (|Union| (|Record| (|:| |sin| PS) (|:| |cos| PS)) "failed")))
243         (SEQ (LETT |usc| (|EFGUSER;sincos| |x| $))
244              (EXIT
245               (COND ((QEQCAR |usc| 1) (CONS 1 "failed"))
246                     ('T
247                      (SPADCALL (|spadConstant| $ 22) (QCDR (QCDR |usc|))
248                                (QREFELT $ 61))))))))
249
250(SDEFUN |EFGUSER;cscIfCan;PSU;11| ((|x| PS) ($ |Union| PS "failed"))
251        (SPROG
252         ((|usc| (|Union| (|Record| (|:| |sin| PS) (|:| |cos| PS)) "failed")))
253         (SEQ (LETT |usc| (|EFGUSER;sincos| |x| $))
254              (EXIT
255               (COND ((QEQCAR |usc| 1) (CONS 1 "failed"))
256                     ('T
257                      (SPADCALL (|spadConstant| $ 22) (QCAR (QCDR |usc|))
258                                (QREFELT $ 61))))))))
259
260(SDEFUN |EFGUSER;asinIfCan;PSU;12| ((|x| PS) ($ |Union| PS "failed"))
261        (|EFGUSER;apply_taylor1| (ELT $ 66) |x| $))
262
263(SDEFUN |EFGUSER;acosIfCan;PSU;13| ((|x| PS) ($ |Union| PS "failed"))
264        (|EFGUSER;apply_taylor1| (ELT $ 68) |x| $))
265
266(SDEFUN |EFGUSER;atanIfCan;PSU;14| ((|x| PS) ($ |Union| PS "failed"))
267        (|EFGUSER;apply_taylor1| (ELT $ 70) |x| $))
268
269(SDEFUN |EFGUSER;acotIfCan;PSU;15| ((|x| PS) ($ |Union| PS "failed"))
270        (|EFGUSER;apply_taylor1| (ELT $ 72) |x| $))
271
272(SDEFUN |EFGUSER;asecIfCan;PSU;16| ((|x| PS) ($ |Union| PS "failed"))
273        (|EFGUSER;apply_taylor1| (ELT $ 74) |x| $))
274
275(SDEFUN |EFGUSER;acscIfCan;PSU;17| ((|x| PS) ($ |Union| PS "failed"))
276        (|EFGUSER;apply_taylor1| (ELT $ 76) |x| $))
277
278(SDEFUN |EFGUSER;sinhcosh|
279        ((|x| PS)
280         ($ |Union| (|Record| (|:| |sinh| PS) (|:| |cosh| PS)) "failed"))
281        (SPROG
282         ((|cc1| (|Coef|)) (|sc1| (|Coef|)) (|cx1| (PS)) (|sx1| (PS))
283          (|x1| (PS)) (|c1| (|Coef|))
284          (|scst|
285           (|Record| (|:| |sinh| (|Stream| |Coef|))
286                     (|:| |cosh| (|Stream| |Coef|)))))
287         (SEQ (LETT |x| (SPADCALL |x| (|spadConstant| $ 11) (QREFELT $ 12)))
288              (EXIT
289               (COND
290                ((SPADCALL (SPADCALL |x| (QREFELT $ 13)) (|spadConstant| $ 11)
291                           (QREFELT $ 15))
292                 (CONS 1 "failed"))
293                (#1='T
294                 (SEQ
295                  (LETT |scst|
296                        (SPADCALL
297                         (SPADCALL (|spadConstant| $ 21) 1 (QREFELT $ 20))
298                         (QREFELT $ 79)))
299                  (LETT |c1|
300                        (SPADCALL |x| (|spadConstant| $ 11) (QREFELT $ 16)))
301                  (EXIT
302                   (COND
303                    ((SPADCALL |c1| (|spadConstant| $ 10) (QREFELT $ 28))
304                     (CONS 0
305                           (CONS (SPADCALL (QCAR |scst|) |x| (QREFELT $ 26))
306                                 (SPADCALL (QCDR |scst|) |x| (QREFELT $ 26)))))
307                    ((QREFELT $ 9)
308                     (SEQ
309                      (LETT |x1|
310                            (SPADCALL |x|
311                                      (SPADCALL |c1| (|spadConstant| $ 11)
312                                                (QREFELT $ 24))
313                                      (QREFELT $ 25)))
314                      (LETT |sx1| (SPADCALL (QCAR |scst|) |x1| (QREFELT $ 26)))
315                      (LETT |cx1| (SPADCALL (QCDR |scst|) |x1| (QREFELT $ 26)))
316                      (LETT |sc1| (SPADCALL |c1| (QREFELT $ 80)))
317                      (LETT |cc1| (SPADCALL |c1| (QREFELT $ 81)))
318                      (EXIT
319                       (CONS 0
320                             (CONS
321                              (SPADCALL (SPADCALL |sc1| |cx1| (QREFELT $ 50))
322                                        (SPADCALL |cc1| |sx1| (QREFELT $ 50))
323                                        (QREFELT $ 58))
324                              (SPADCALL (SPADCALL |cc1| |cx1| (QREFELT $ 50))
325                                        (SPADCALL |sc1| |sx1| (QREFELT $ 50))
326                                        (QREFELT $ 58)))))))
327                    (#1# (CONS 1 "failed")))))))))))
328
329(SDEFUN |EFGUSER;sinhIfCan;PSU;19| ((|x| PS) ($ |Union| PS "failed"))
330        (SPROG
331         ((|usc|
332           (|Union| (|Record| (|:| |sinh| PS) (|:| |cosh| PS)) "failed")))
333         (SEQ (LETT |usc| (|EFGUSER;sinhcosh| |x| $))
334              (EXIT
335               (COND ((QEQCAR |usc| 1) (CONS 1 "failed"))
336                     ('T (CONS 0 (QCAR (QCDR |usc|)))))))))
337
338(SDEFUN |EFGUSER;coshIfCan;PSU;20| ((|x| PS) ($ |Union| PS "failed"))
339        (SPROG
340         ((|usc|
341           (|Union| (|Record| (|:| |sinh| PS) (|:| |cosh| PS)) "failed")))
342         (SEQ (LETT |usc| (|EFGUSER;sinhcosh| |x| $))
343              (EXIT
344               (COND ((QEQCAR |usc| 1) (CONS 1 "failed"))
345                     ('T (CONS 0 (QCDR (QCDR |usc|)))))))))
346
347(SDEFUN |EFGUSER;tanhIfCan;PSU;21| ((|x| PS) ($ |Union| PS "failed"))
348        (SPROG
349         ((|usc|
350           (|Union| (|Record| (|:| |sinh| PS) (|:| |cosh| PS)) "failed")))
351         (SEQ (LETT |usc| (|EFGUSER;sinhcosh| |x| $))
352              (EXIT
353               (COND ((QEQCAR |usc| 1) (CONS 1 "failed"))
354                     ('T
355                      (SPADCALL (QCAR (QCDR |usc|)) (QCDR (QCDR |usc|))
356                                (QREFELT $ 61))))))))
357
358(SDEFUN |EFGUSER;cothIfCan;PSU;22| ((|x| PS) ($ |Union| PS "failed"))
359        (SPROG
360         ((|usc|
361           (|Union| (|Record| (|:| |sinh| PS) (|:| |cosh| PS)) "failed")))
362         (SEQ (LETT |usc| (|EFGUSER;sinhcosh| |x| $))
363              (EXIT
364               (COND ((QEQCAR |usc| 1) (CONS 1 "failed"))
365                     ('T
366                      (SPADCALL (QCDR (QCDR |usc|)) (QCAR (QCDR |usc|))
367                                (QREFELT $ 61))))))))
368
369(SDEFUN |EFGUSER;sechIfCan;PSU;23| ((|x| PS) ($ |Union| PS "failed"))
370        (SPROG
371         ((|usc|
372           (|Union| (|Record| (|:| |sinh| PS) (|:| |cosh| PS)) "failed")))
373         (SEQ (LETT |usc| (|EFGUSER;sinhcosh| |x| $))
374              (EXIT
375               (COND ((QEQCAR |usc| 1) (CONS 1 "failed"))
376                     ('T
377                      (SPADCALL (|spadConstant| $ 22) (QCDR (QCDR |usc|))
378                                (QREFELT $ 61))))))))
379
380(SDEFUN |EFGUSER;cschIfCan;PSU;24| ((|x| PS) ($ |Union| PS "failed"))
381        (SPROG
382         ((|usc|
383           (|Union| (|Record| (|:| |sinh| PS) (|:| |cosh| PS)) "failed")))
384         (SEQ (LETT |usc| (|EFGUSER;sinhcosh| |x| $))
385              (EXIT
386               (COND ((QEQCAR |usc| 1) (CONS 1 "failed"))
387                     ('T
388                      (SPADCALL (|spadConstant| $ 22) (QCAR (QCDR |usc|))
389                                (QREFELT $ 61))))))))
390
391(SDEFUN |EFGUSER;asinhIfCan;PSU;25| ((|x| PS) ($ |Union| PS "failed"))
392        (|EFGUSER;apply_taylor1| (ELT $ 88) |x| $))
393
394(SDEFUN |EFGUSER;acoshIfCan;PSU;26| ((|x| PS) ($ |Union| PS "failed"))
395        (|EFGUSER;apply_taylor1| (ELT $ 90) |x| $))
396
397(SDEFUN |EFGUSER;atanhIfCan;PSU;27| ((|x| PS) ($ |Union| PS "failed"))
398        (|EFGUSER;apply_taylor1| (ELT $ 92) |x| $))
399
400(SDEFUN |EFGUSER;acothIfCan;PSU;28| ((|x| PS) ($ |Union| PS "failed"))
401        (|EFGUSER;apply_taylor1| (ELT $ 94) |x| $))
402
403(SDEFUN |EFGUSER;asechIfCan;PSU;29| ((|x| PS) ($ |Union| PS "failed"))
404        (|EFGUSER;apply_taylor1| (ELT $ 96) |x| $))
405
406(SDEFUN |EFGUSER;acschIfCan;PSU;30| ((|x| PS) ($ |Union| PS "failed"))
407        (|EFGUSER;apply_taylor1| (ELT $ 98) |x| $))
408
409(SDEFUN |EFGUSER;do_quo;2PSU;31| ((|x| PS) (|y| PS) ($ |Union| PS "failed"))
410        (SPADCALL |x| |y| (QREFELT $ 101)))
411
412(SDEFUN |EFGUSER;do_quo;2PSU;32| ((|x| PS) (|y| PS) ($ |Union| PS "failed"))
413        (SPROG ((|yinv| (|Union| PS "failed")))
414               (SEQ (LETT |yinv| (SPADCALL |y| (QREFELT $ 102)))
415                    (EXIT
416                     (COND ((QEQCAR |yinv| 1) (CONS 1 "failed"))
417                           ('T
418                            (CONS 0
419                                  (SPADCALL |x| (QCDR |yinv|)
420                                            (QREFELT $ 39)))))))))
421
422(DECLAIM (NOTINLINE |ElementaryFunctionsGeneralizedUnivariatePowerSeries;|))
423
424(DEFUN |ElementaryFunctionsGeneralizedUnivariatePowerSeries| (&REST #1=#:G496)
425  (SPROG NIL
426         (PROG (#2=#:G497)
427           (RETURN
428            (COND
429             ((LETT #2#
430                    (|lassocShiftWithFunction| (|devaluateList| #1#)
431                                               (HGET |$ConstructorCache|
432                                                     '|ElementaryFunctionsGeneralizedUnivariatePowerSeries|)
433                                               '|domainEqualList|))
434              (|CDRwithIncrement| #2#))
435             ('T
436              (UNWIND-PROTECT
437                  (PROG1
438                      (APPLY
439                       (|function|
440                        |ElementaryFunctionsGeneralizedUnivariatePowerSeries;|)
441                       #1#)
442                    (LETT #2# T))
443                (COND
444                 ((NOT #2#)
445                  (HREM |$ConstructorCache|
446                        '|ElementaryFunctionsGeneralizedUnivariatePowerSeries|))))))))))
447
448(DEFUN |ElementaryFunctionsGeneralizedUnivariatePowerSeries;| (|#1| |#2| |#3|)
449  (SPROG ((|pv$| NIL) ($ NIL) (|dv$| NIL) (DV$3 NIL) (DV$2 NIL) (DV$1 NIL))
450         (PROGN
451          (LETT DV$1 (|devaluate| |#1|))
452          (LETT DV$2 (|devaluate| |#2|))
453          (LETT DV$3 (|devaluate| |#3|))
454          (LETT |dv$|
455                (LIST '|ElementaryFunctionsGeneralizedUnivariatePowerSeries|
456                      DV$1 DV$2 DV$3))
457          (LETT $ (GETREFV 103))
458          (QSETREFV $ 0 |dv$|)
459          (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL)))
460          (|haddProp| |$ConstructorCache|
461                      '|ElementaryFunctionsGeneralizedUnivariatePowerSeries|
462                      (LIST DV$1 DV$2 DV$3) (CONS 1 $))
463          (|stuffDomainSlots| $)
464          (QSETREFV $ 6 |#1|)
465          (QSETREFV $ 7 |#2|)
466          (QSETREFV $ 8 |#3|)
467          (SETF |pv$| (QREFELT $ 3))
468          (QSETREFV $ 9
469                    (COND
470                     ((|HasCategory| |#1| '(|TranscendentalFunctionCategory|))
471                      (|HasCategory| |#1| '(|CommutativeRing|)))
472                     ('T NIL)))
473          (COND
474           ((|HasCategory| |#2| '(|Algebra| (|Fraction| (|Integer|))))
475            (QSETREFV $ 46
476                      (CONS
477                       (|dispatchFunction| |EFGUSER;nthRootIfCan;PSNniU;2|)
478                       $))))
479          (COND
480           ((|HasCategory| |#1| '(|IntegralDomain|))
481            (QSETREFV $ 61
482                      (CONS (|dispatchFunction| |EFGUSER;do_quo;2PSU;31|) $)))
483           ('T
484            (QSETREFV $ 61
485                      (CONS (|dispatchFunction| |EFGUSER;do_quo;2PSU;32|) $))))
486          $)))
487
488(MAKEPROP '|ElementaryFunctionsGeneralizedUnivariatePowerSeries| '|infovec|
489          (LIST
490           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
491              (|local| |#3|) 'TRANSFCN (0 . |Zero|) (4 . |Zero|)
492              (8 . |removeZeros|) (14 . |degree|) (|Boolean|) (19 . <)
493              (25 . |coefficient|) (|Stream| 6) (|Integer|)
494              (|StreamTaylorSeriesOperations| 6) (31 . |monom|) (37 . |One|)
495              (41 . |One|) (45 . +) (51 . |monomial|) (57 . -)
496              (63 . |apply_taylor|) (69 . >=) (75 . =) (81 . |One|)
497              (|PositiveInteger|) (85 . *) (91 . +) (97 . -) (|Fraction| 18)
498              (102 . |One|) (106 . -) (111 . -) (116 . *) (122 . *)
499              (128 . |One|) (132 . /) (138 . |powern|) (144 . *)
500              (|Union| 8 '"failed") (|NonNegativeInteger|)
501              (150 . |nthRootIfCan|) (|StreamTranscendentalFunctions| 6)
502              (156 . |exp|) (161 . |exp|) (166 . *) |EFGUSER;expIfCan;PSU;3|
503              (172 . |log|) |EFGUSER;logIfCan;PSU;4|
504              (|Record| (|:| |sin| 17) (|:| |cos| 17)) (177 . |sincos|)
505              (182 . |sin|) (187 . |cos|) (192 . +) |EFGUSER;sinIfCan;PSU;6|
506              |EFGUSER;cosIfCan;PSU;7| (198 . |do_quo|)
507              |EFGUSER;tanIfCan;PSU;8| |EFGUSER;cotIfCan;PSU;9|
508              |EFGUSER;secIfCan;PSU;10| |EFGUSER;cscIfCan;PSU;11|
509              (204 . |asin|) |EFGUSER;asinIfCan;PSU;12| (209 . |acos|)
510              |EFGUSER;acosIfCan;PSU;13| (214 . |atan|)
511              |EFGUSER;atanIfCan;PSU;14| (219 . |acot|)
512              |EFGUSER;acotIfCan;PSU;15| (224 . |asec|)
513              |EFGUSER;asecIfCan;PSU;16| (229 . |acsc|)
514              |EFGUSER;acscIfCan;PSU;17|
515              (|Record| (|:| |sinh| 17) (|:| |cosh| 17)) (234 . |sinhcosh|)
516              (239 . |sinh|) (244 . |cosh|) |EFGUSER;sinhIfCan;PSU;19|
517              |EFGUSER;coshIfCan;PSU;20| |EFGUSER;tanhIfCan;PSU;21|
518              |EFGUSER;cothIfCan;PSU;22| |EFGUSER;sechIfCan;PSU;23|
519              |EFGUSER;cschIfCan;PSU;24| (249 . |asinh|)
520              |EFGUSER;asinhIfCan;PSU;25| (254 . |acosh|)
521              |EFGUSER;acoshIfCan;PSU;26| (259 . |atanh|)
522              |EFGUSER;atanhIfCan;PSU;27| (264 . |acoth|)
523              |EFGUSER;acothIfCan;PSU;28| (269 . |asech|)
524              |EFGUSER;asechIfCan;PSU;29| (274 . |acsch|)
525              |EFGUSER;acschIfCan;PSU;30| (|Union| $ '"failed") (279 . |exquo|)
526              (285 . |recip|))
527           '#(|tanhIfCan| 290 |tanIfCan| 295 |sinhIfCan| 300 |sinIfCan| 305
528              |sechIfCan| 310 |secIfCan| 315 |nthRootIfCan| 320 |logIfCan| 326
529              |expIfCan| 331 |do_quo| 336 |cschIfCan| 342 |cscIfCan| 347
530              |cothIfCan| 352 |cotIfCan| 357 |coshIfCan| 362 |cosIfCan| 367
531              |atanhIfCan| 372 |atanIfCan| 377 |asinhIfCan| 382 |asinIfCan| 387
532              |asechIfCan| 392 |asecIfCan| 397 |acschIfCan| 402 |acscIfCan| 407
533              |acothIfCan| 412 |acotIfCan| 417 |acoshIfCan| 422 |acosIfCan|
534              427)
535           'NIL
536           (CONS (|makeByteWordVec2| 1 '(0))
537                 (CONS '#(NIL)
538                       (CONS '#((|PartialTranscendentalFunctions| 8))
539                             (|makeByteWordVec2| 102
540                                                 '(0 6 0 10 0 7 0 11 2 8 0 0 7
541                                                   12 1 8 7 0 13 2 7 14 0 0 15
542                                                   2 8 6 0 7 16 2 19 17 6 18 20
543                                                   0 6 0 21 0 8 0 22 2 19 17 17
544                                                   17 23 2 8 0 6 7 24 2 8 0 0 0
545                                                   25 2 8 0 17 0 26 2 7 14 0 0
546                                                   27 2 6 14 0 0 28 0 7 0 29 2
547                                                   7 0 30 0 31 2 7 0 0 0 32 1 6
548                                                   0 0 33 0 34 0 35 1 34 0 0 36
549                                                   1 7 0 0 37 2 7 0 0 0 38 2 8
550                                                   0 0 0 39 0 30 0 40 2 34 0 18
551                                                   18 41 2 19 17 34 17 42 2 7 0
552                                                   34 0 43 2 0 44 8 45 46 1 47
553                                                   17 17 48 1 6 0 0 49 2 8 0 6
554                                                   0 50 1 47 17 17 52 1 47 54
555                                                   17 55 1 6 0 0 56 1 6 0 0 57
556                                                   2 8 0 0 0 58 2 0 44 8 8 61 1
557                                                   47 17 17 66 1 47 17 17 68 1
558                                                   47 17 17 70 1 47 17 17 72 1
559                                                   47 17 17 74 1 47 17 17 76 1
560                                                   47 78 17 79 1 6 0 0 80 1 6 0
561                                                   0 81 1 47 17 17 88 1 47 17
562                                                   17 90 1 47 17 17 92 1 47 17
563                                                   17 94 1 47 17 17 96 1 47 17
564                                                   17 98 2 8 100 0 0 101 1 8
565                                                   100 0 102 1 0 44 8 84 1 0 44
566                                                   8 62 1 0 44 8 82 1 0 44 8 59
567                                                   1 0 44 8 86 1 0 44 8 64 2 0
568                                                   44 8 45 46 1 0 44 8 53 1 0
569                                                   44 8 51 2 0 44 8 8 61 1 0 44
570                                                   8 87 1 0 44 8 65 1 0 44 8 85
571                                                   1 0 44 8 63 1 0 44 8 83 1 0
572                                                   44 8 60 1 0 44 8 93 1 0 44 8
573                                                   71 1 0 44 8 89 1 0 44 8 67 1
574                                                   0 44 8 97 1 0 44 8 75 1 0 44
575                                                   8 99 1 0 44 8 77 1 0 44 8 95
576                                                   1 0 44 8 73 1 0 44 8 91 1 0
577                                                   44 8 69)))))
578           '|lookupComplete|))
579