
(/VERSIONCHECK 2) 

(PUT '|EXPR;belong?;BoB;1| '|SPADreplace| '(XLAM (|op|) 'T)) 

(DEFUN |EXPR;belong?;BoB;1| (|op| $) 'T) 

(DEFUN |EXPR;retNotUnit| (|x| $)
  (PROG (|u| |k|)
    (RETURN
     (SEQ
      (LETT |u|
            (SPADCALL
             (LETT |k| (SPADCALL |x| (QREFELT $ 13)) . #1=(|EXPR;retNotUnit|))
             (QREFELT $ 17))
            . #1#)
      (EXIT
       (COND ((QEQCAR |u| 0) (QCDR |u|)) ('T (|error| "Not retractable")))))))) 

(DEFUN |EXPR;retNotUnitIfCan| (|x| $)
  (PROG (|r|)
    (RETURN
     (SEQ (LETT |r| (SPADCALL |x| (QREFELT $ 19)) |EXPR;retNotUnitIfCan|)
          (EXIT
           (COND ((QEQCAR |r| 1) (CONS 1 "failed"))
                 ('T (SPADCALL (QCDR |r|) (QREFELT $ 17))))))))) 

(DEFUN |EXPR;operator;2Bo;4| (|op| $)
  (PROG (|n|)
    (RETURN
     (SEQ
      (COND ((SPADCALL |op| (QREFELT $ 21)) (SPADCALL |op| (QREFELT $ 22)))
            ((SPADCALL |op| (QREFELT $ 24)) (SPADCALL |op| (QREFELT $ 25)))
            (#1='T
             (SEQ
              (COND
               ((SPADCALL |op| (QREFELT $ 26))
                (COND
                 ((SPADCALL |op| (QREFELT $ 7) (QREFELT $ 28))
                  (EXIT
                   (SPADCALL
                    (SPADCALL (SPADCALL |op| (QREFELT $ 29)) (QREFELT $ 30))
                    (QREFELT $ 31)))))))
              (LETT |n| (SPADCALL |op| (QREFELT $ 33)) |EXPR;operator;2Bo;4|)
              (EXIT
               (COND
                ((QEQCAR |n| 1)
                 (SPADCALL (SPADCALL |op| (QREFELT $ 29)) (QREFELT $ 34)))
                (#1#
                 (SPADCALL (SPADCALL |op| (QREFELT $ 29)) (QCDR |n|)
                           (QREFELT $ 36)))))))))))) 

(DEFUN |EXPR;polytoMP| (|p| $)
  (PROG (|vl2| #1=#:G1875 |z| #2=#:G1874 |vl1| |ps|)
    (RETURN
     (SEQ (LETT |ps| |p| . #3=(|EXPR;polytoMP|))
          (LETT |vl1| (SPADCALL |ps| (QREFELT $ 40)) . #3#)
          (LETT |vl2|
                (PROGN
                 (LETT #2# NIL . #3#)
                 (SEQ (LETT |z| NIL . #3#) (LETT #1# |vl1| . #3#) G190
                      (COND
                       ((OR (ATOM #1#) (PROGN (LETT |z| (CAR #1#) . #3#) NIL))
                        (GO G191)))
                      (SEQ
                       (EXIT
                        (LETT #2# (CONS (SPADCALL |z| (QREFELT $ 30)) #2#)
                              . #3#)))
                      (LETT #1# (CDR #1#) . #3#) (GO G190) G191
                      (EXIT (NREVERSE0 #2#))))
                . #3#)
          (EXIT (SPADCALL |ps| |vl1| |vl2| (QREFELT $ 44))))))) 

(DEFUN |EXPR;Zero;$;6| ($) (|spadConstant| $ 46)) 

(DEFUN |EXPR;One;$;7| ($) (|spadConstant| $ 48)) 

(DEFUN |EXPR;one?;$B;8| (|x| $)
  (SPADCALL |x| (|spadConstant| $ 49) (QREFELT $ 51))) 

(DEFUN |EXPR;zero?;$B;9| (|x| $) (SPADCALL |x| (QREFELT $ 53))) 

(DEFUN |EXPR;-;2$;10| (|x| $) (SPADCALL |x| (QREFELT $ 55))) 

(DEFUN |EXPR;*;I2$;11| (|n| |x| $) (SPADCALL |n| |x| (QREFELT $ 58))) 

(DEFUN |EXPR;coerce;I$;12| (|n| $) (SPADCALL |n| (QREFELT $ 60))) 

(DEFUN |EXPR;*;3$;13| (|x| |y| $)
  (|EXPR;reduc| (SPADCALL |x| |y| (QREFELT $ 62)) (|EXPR;commonk| |x| |y| $) $)) 

(DEFUN |EXPR;+;3$;14| (|x| |y| $)
  (|EXPR;reduc| (SPADCALL |x| |y| (QREFELT $ 64)) (|EXPR;commonk| |x| |y| $) $)) 

(DEFUN |EXPR;-;3$;15| (|x| |y| $)
  (|EXPR;reduc| (SPADCALL |x| |y| (QREFELT $ 66)) (|EXPR;commonk| |x| |y| $) $)) 

(DEFUN |EXPR;/;3$;16| (|x| |y| $)
  (|EXPR;reduc| (SPADCALL |x| |y| (QREFELT $ 68)) (|EXPR;commonk| |x| |y| $) $)) 

(DEFUN |EXPR;number?;$B;17| (|x| $)
  (COND
   ((|HasCategory| (QREFELT $ 6) (LIST '|RetractableTo| '(|Integer|)))
    (COND ((SPADCALL |x| (QREFELT $ 70)) 'T)
          (#1='T (QEQCAR (SPADCALL |x| (QREFELT $ 72)) 0))))
   (#1# (SPADCALL |x| (QREFELT $ 70))))) 

(DEFUN |EXPR;simplifyPower;$I$;18| (|x| |n| $)
  (PROG (|args| |k|)
    (RETURN
     (SEQ
      (LETT |k| (SPADCALL |x| (QREFELT $ 75))
            . #1=(|EXPR;simplifyPower;$I$;18|))
      (EXIT
       (COND
        ((SPADCALL |x| '|%power| (QREFELT $ 76))
         (SEQ
          (LETT |args| (SPADCALL (SPADCALL |k| (QREFELT $ 77)) (QREFELT $ 79))
                . #1#)
          (COND
           ((NULL (EQL (SPADCALL |args| (QREFELT $ 80)) 2))
            (EXIT (|error| "Too many arguments to ^"))))
          (EXIT
           (COND
            ((SPADCALL (SPADCALL |args| 1 (QREFELT $ 81)) (QREFELT $ 73))
             (SPADCALL
              (|EXPR;reduc|
               (SPADCALL (SPADCALL |args| 1 (QREFELT $ 81)) |n| (QREFELT $ 82))
               (|EXPR;algkernels|
                (SPADCALL (SPADCALL |args| 1 (QREFELT $ 81)) (QREFELT $ 75)) $)
               $)
              (SPADCALL |args| 2 (QREFELT $ 81)) (QREFELT $ 83)))
            (#2='T
             (SPADCALL (SPADCALL |args| (QREFELT $ 84))
                       (SPADCALL |n| (SPADCALL |args| (QREFELT $ 85))
                                 (QREFELT $ 59))
                       (QREFELT $ 83)))))))
        (#2#
         (|EXPR;reduc| (SPADCALL |x| |n| (QREFELT $ 82))
          (|EXPR;algkernels| |k| $) $)))))))) 

(DEFUN |EXPR;^;$Nni$;19| (|x| |n| $)
  (COND ((EQL |n| 0) (|spadConstant| $ 49)) ((EQL |n| 1) |x|)
        ('T
         (SPADCALL (SPADCALL (SPADCALL |x| (QREFELT $ 88)) |n| (QREFELT $ 86))
                   (SPADCALL (SPADCALL |x| (QREFELT $ 89)) |n| (QREFELT $ 86))
                   (QREFELT $ 69))))) 

(DEFUN |EXPR;^;$I$;20| (|x| |n| $)
  (COND ((EQL |n| 0) (|spadConstant| $ 49)) ((EQL |n| 1) |x|)
        (#1='T
         (COND
          ((EQL |n| -1) (SPADCALL (|spadConstant| $ 49) |x| (QREFELT $ 69)))
          (#1#
           (SPADCALL
            (SPADCALL (SPADCALL |x| (QREFELT $ 88)) |n| (QREFELT $ 86))
            (SPADCALL (SPADCALL |x| (QREFELT $ 89)) |n| (QREFELT $ 86))
            (QREFELT $ 69))))))) 

(DEFUN |EXPR;^;$Pi$;21| (|x| |n| $)
  (COND ((EQL |n| 1) |x|)
        ('T
         (SPADCALL (SPADCALL (SPADCALL |x| (QREFELT $ 88)) |n| (QREFELT $ 86))
                   (SPADCALL (SPADCALL |x| (QREFELT $ 89)) |n| (QREFELT $ 86))
                   (QREFELT $ 69))))) 

(DEFUN |EXPR;smaller?;2$B;22| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 95))) 

(DEFUN |EXPR;=;2$B;23| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 51))) 

(DEFUN |EXPR;numer;$Smp;24| (|x| $) (SPADCALL |x| (QREFELT $ 98))) 

(DEFUN |EXPR;denom;$Smp;25| (|x| $) (SPADCALL |x| (QREFELT $ 101))) 

(DEFUN |EXPR;coerce;Smp$;26| (|p| $) (CONS |p| (|spadConstant| $ 91))) 

(DEFUN |EXPR;coerce;P$;27| (|p| $)
  (PROG (|en|)
    (RETURN
     (SEQ (LETT |en| (|EXPR;polytoMP| |p| $) |EXPR;coerce;P$;27|)
          (EXIT (CONS |en| (|spadConstant| $ 91))))))) 

(DEFUN |EXPR;coerce;F$;28| (|pq| $)
  (PROG (|ed| |en|)
    (RETURN
     (SEQ
      (LETT |en| (|EXPR;polytoMP| (SPADCALL |pq| (QREFELT $ 108)) $)
            . #1=(|EXPR;coerce;F$;28|))
      (LETT |ed| (|EXPR;polytoMP| (SPADCALL |pq| (QREFELT $ 109)) $) . #1#)
      (EXIT (CONS |en| |ed|)))))) 

(DEFUN |EXPR;reduce;2$;29| (|x| $)
  (|EXPR;reduc| |x| (|EXPR;algkernels| (SPADCALL |x| (QREFELT $ 75)) $) $)) 

(DEFUN |EXPR;commonk| (|x| |y| $)
  (|EXPR;commonk0| (|EXPR;algkernels| (SPADCALL |x| (QREFELT $ 75)) $)
   (|EXPR;algkernels| (SPADCALL |y| (QREFELT $ 75)) $) $)) 

(DEFUN |EXPR;algkernels| (|l| $)
  (PROG ()
    (RETURN
     (SPADCALL (CONS #'|EXPR;algkernels!0| (VECTOR (QREFELT $ 8) $)) |l|
               (QREFELT $ 113))))) 

(DEFUN |EXPR;algkernels!0| (|x| $$)
  (PROG ($ ALGOP)
    (LETT $ (QREFELT $$ 1) . #1=(|EXPR;algkernels|))
    (LETT ALGOP (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN (SPADCALL (SPADCALL |x| (QREFELT $ 31)) ALGOP (QREFELT $ 28)))))) 

(DEFUN |EXPR;toprat| (|f| $)
  (SPADCALL |f| (|EXPR;algkernels| (SPADCALL |f| (QREFELT $ 75)) $)
            (QREFELT $ 115))) 

(DEFUN |EXPR;/;2Smp$;33| (|x| |y| $)
  (|EXPR;reduc| (SPADCALL |x| |y| (QREFELT $ 116))
   (|EXPR;commonk0| (|EXPR;algkernels| (SPADCALL |x| (QREFELT $ 117)) $)
    (|EXPR;algkernels| (SPADCALL |y| (QREFELT $ 117)) $) $)
   $)) 

(DEFUN |EXPR;reducedSystem;MM;34| (|m| $)
  (PROG (|mm|)
    (RETURN
     (SEQ
      (LETT |mm|
            (SPADCALL
             (SPADCALL (CONS (|function| |EXPR;toprat|) $) |m| (QREFELT $ 121))
             (QREFELT $ 124))
            |EXPR;reducedSystem;MM;34|)
      (EXIT (SPADCALL |mm| (QREFELT $ 126))))))) 

(DEFUN |EXPR;reducedSystem;MVR;35| (|m| |v| $)
  (PROG (|r|)
    (RETURN
     (SEQ
      (LETT |r|
            (SPADCALL
             (SPADCALL (CONS (|function| |EXPR;toprat|) $) |m| (QREFELT $ 121))
             (SPADCALL (CONS (|function| |EXPR;toprat|) $) |v| (QREFELT $ 129))
             (QREFELT $ 132))
            |EXPR;reducedSystem;MVR;35|)
      (EXIT (SPADCALL (QCAR |r|) (QCDR |r|) (QREFELT $ 134))))))) 

(DEFUN |EXPR;commonk0| (|x| |y| $)
  (PROG (|ans| #1=#:G1955 |k|)
    (RETURN
     (SEQ (LETT |ans| NIL . #2=(|EXPR;commonk0|))
          (SEQ (LETT |k| NIL . #2#) (LETT #1# (NREVERSE |x|) . #2#) G190
               (COND
                ((OR (ATOM #1#) (PROGN (LETT |k| (CAR #1#) . #2#) NIL))
                 (GO G191)))
               (SEQ
                (EXIT
                 (COND
                  ((SPADCALL |k| |y| (QREFELT $ 136))
                   (LETT |ans| (SPADCALL |k| |ans| (QREFELT $ 137)) . #2#)))))
               (LETT #1# (CDR #1#) . #2#) (GO G190) G191 (EXIT NIL))
          (EXIT |ans|))))) 

(DEFUN |EXPR;rootOf;SupS$;37| (|x| |v| $) (SPADCALL |x| |v| (QREFELT $ 140))) 

(DEFUN |EXPR;pi;$;38| ($) (SPADCALL (QREFELT $ 144))) 

(DEFUN |EXPR;exp;2$;39| (|x| $) (SPADCALL |x| (QREFELT $ 146))) 

(DEFUN |EXPR;log;2$;40| (|x| $) (SPADCALL |x| (QREFELT $ 148))) 

(DEFUN |EXPR;sin;2$;41| (|x| $) (SPADCALL |x| (QREFELT $ 150))) 

(DEFUN |EXPR;cos;2$;42| (|x| $) (SPADCALL |x| (QREFELT $ 152))) 

(DEFUN |EXPR;tan;2$;43| (|x| $) (SPADCALL |x| (QREFELT $ 154))) 

(DEFUN |EXPR;cot;2$;44| (|x| $) (SPADCALL |x| (QREFELT $ 156))) 

(DEFUN |EXPR;sec;2$;45| (|x| $) (SPADCALL |x| (QREFELT $ 158))) 

(DEFUN |EXPR;csc;2$;46| (|x| $) (SPADCALL |x| (QREFELT $ 160))) 

(DEFUN |EXPR;asin;2$;47| (|x| $) (SPADCALL |x| (QREFELT $ 162))) 

(DEFUN |EXPR;acos;2$;48| (|x| $) (SPADCALL |x| (QREFELT $ 164))) 

(DEFUN |EXPR;atan;2$;49| (|x| $) (SPADCALL |x| (QREFELT $ 166))) 

(DEFUN |EXPR;acot;2$;50| (|x| $) (SPADCALL |x| (QREFELT $ 168))) 

(DEFUN |EXPR;asec;2$;51| (|x| $) (SPADCALL |x| (QREFELT $ 170))) 

(DEFUN |EXPR;acsc;2$;52| (|x| $) (SPADCALL |x| (QREFELT $ 172))) 

(DEFUN |EXPR;sinh;2$;53| (|x| $) (SPADCALL |x| (QREFELT $ 174))) 

(DEFUN |EXPR;cosh;2$;54| (|x| $) (SPADCALL |x| (QREFELT $ 176))) 

(DEFUN |EXPR;tanh;2$;55| (|x| $) (SPADCALL |x| (QREFELT $ 178))) 

(DEFUN |EXPR;coth;2$;56| (|x| $) (SPADCALL |x| (QREFELT $ 180))) 

(DEFUN |EXPR;sech;2$;57| (|x| $) (SPADCALL |x| (QREFELT $ 182))) 

(DEFUN |EXPR;csch;2$;58| (|x| $) (SPADCALL |x| (QREFELT $ 184))) 

(DEFUN |EXPR;asinh;2$;59| (|x| $) (SPADCALL |x| (QREFELT $ 186))) 

(DEFUN |EXPR;acosh;2$;60| (|x| $) (SPADCALL |x| (QREFELT $ 188))) 

(DEFUN |EXPR;atanh;2$;61| (|x| $) (SPADCALL |x| (QREFELT $ 190))) 

(DEFUN |EXPR;acoth;2$;62| (|x| $) (SPADCALL |x| (QREFELT $ 192))) 

(DEFUN |EXPR;asech;2$;63| (|x| $) (SPADCALL |x| (QREFELT $ 194))) 

(DEFUN |EXPR;acsch;2$;64| (|x| $) (SPADCALL |x| (QREFELT $ 196))) 

(DEFUN |EXPR;abs;2$;65| (|x| $) (SPADCALL |x| (QREFELT $ 199))) 

(DEFUN |EXPR;Gamma;2$;66| (|x| $) (SPADCALL |x| (QREFELT $ 201))) 

(DEFUN |EXPR;Gamma;3$;67| (|a| |x| $) (SPADCALL |a| |x| (QREFELT $ 203))) 

(DEFUN |EXPR;Beta;3$;68| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 205))) 

(DEFUN |EXPR;digamma;2$;69| (|x| $) (SPADCALL |x| (QREFELT $ 207))) 

(DEFUN |EXPR;polygamma;3$;70| (|k| |x| $) (SPADCALL |k| |x| (QREFELT $ 209))) 

(DEFUN |EXPR;besselJ;3$;71| (|v| |x| $) (SPADCALL |v| |x| (QREFELT $ 211))) 

(DEFUN |EXPR;besselY;3$;72| (|v| |x| $) (SPADCALL |v| |x| (QREFELT $ 213))) 

(DEFUN |EXPR;besselI;3$;73| (|v| |x| $) (SPADCALL |v| |x| (QREFELT $ 215))) 

(DEFUN |EXPR;besselK;3$;74| (|v| |x| $) (SPADCALL |v| |x| (QREFELT $ 217))) 

(DEFUN |EXPR;airyAi;2$;75| (|x| $) (SPADCALL |x| (QREFELT $ 219))) 

(DEFUN |EXPR;airyBi;2$;76| (|x| $) (SPADCALL |x| (QREFELT $ 221))) 

(DEFUN |EXPR;^;3$;77| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 224))) 

(DEFUN |EXPR;factorial;2$;78| (|x| $) (SPADCALL |x| (QREFELT $ 225))) 

(DEFUN |EXPR;binomial;3$;79| (|n| |m| $) (SPADCALL |n| |m| (QREFELT $ 227))) 

(DEFUN |EXPR;permutation;3$;80| (|n| |m| $) (SPADCALL |n| |m| (QREFELT $ 229))) 

(DEFUN |EXPR;factorials;2$;81| (|x| $) (SPADCALL |x| (QREFELT $ 231))) 

(DEFUN |EXPR;factorials;$S$;82| (|x| |n| $) (SPADCALL |x| |n| (QREFELT $ 233))) 

(DEFUN |EXPR;summation;$S$;83| (|x| |n| $) (SPADCALL |x| |n| (QREFELT $ 235))) 

(DEFUN |EXPR;summation;$Sb$;84| (|x| |s| $) (SPADCALL |x| |s| (QREFELT $ 238))) 

(DEFUN |EXPR;product;$S$;85| (|x| |n| $) (SPADCALL |x| |n| (QREFELT $ 241))) 

(DEFUN |EXPR;product;$Sb$;86| (|x| |s| $) (SPADCALL |x| |s| (QREFELT $ 243))) 

(DEFUN |EXPR;erf;2$;87| (|x| $) (SPADCALL |x| (QREFELT $ 246))) 

(DEFUN |EXPR;Ei;2$;88| (|x| $) (SPADCALL |x| (QREFELT $ 248))) 

(DEFUN |EXPR;Si;2$;89| (|x| $) (SPADCALL |x| (QREFELT $ 250))) 

(DEFUN |EXPR;Ci;2$;90| (|x| $) (SPADCALL |x| (QREFELT $ 252))) 

(DEFUN |EXPR;li;2$;91| (|x| $) (SPADCALL |x| (QREFELT $ 254))) 

(DEFUN |EXPR;dilog;2$;92| (|x| $) (SPADCALL |x| (QREFELT $ 256))) 

(DEFUN |EXPR;integral;$S$;93| (|x| |n| $) (SPADCALL |x| |n| (QREFELT $ 258))) 

(DEFUN |EXPR;integral;$Sb$;94| (|x| |s| $) (SPADCALL |x| |s| (QREFELT $ 260))) 

(DEFUN |EXPR;operator;2Bo;95| (|op| $)
  (PROG (|n|)
    (RETURN
     (SEQ
      (COND ((SPADCALL |op| (QREFELT $ 262)) (SPADCALL |op| (QREFELT $ 263)))
            ((SPADCALL |op| (QREFELT $ 264)) (SPADCALL |op| (QREFELT $ 265)))
            ((SPADCALL |op| (QREFELT $ 266)) (SPADCALL |op| (QREFELT $ 267)))
            ((SPADCALL |op| (QREFELT $ 268)) (SPADCALL |op| (QREFELT $ 269)))
            ((SPADCALL |op| (QREFELT $ 270)) (SPADCALL |op| (QREFELT $ 271)))
            ((SPADCALL |op| (QREFELT $ 21)) (SPADCALL |op| (QREFELT $ 22)))
            ((SPADCALL |op| (QREFELT $ 24)) (SPADCALL |op| (QREFELT $ 25)))
            (#1='T
             (SEQ
              (COND
               ((SPADCALL |op| (QREFELT $ 26))
                (COND
                 ((SPADCALL |op| (QREFELT $ 7) (QREFELT $ 28))
                  (EXIT
                   (SPADCALL
                    (SPADCALL (SPADCALL |op| (QREFELT $ 29)) (QREFELT $ 30))
                    (QREFELT $ 31)))))))
              (LETT |n| (SPADCALL |op| (QREFELT $ 33)) |EXPR;operator;2Bo;95|)
              (EXIT
               (COND
                ((QEQCAR |n| 1)
                 (SPADCALL (SPADCALL |op| (QREFELT $ 29)) (QREFELT $ 34)))
                (#1#
                 (SPADCALL (SPADCALL |op| (QREFELT $ 29)) (QCDR |n|)
                           (QREFELT $ 36)))))))))))) 

(DEFUN |EXPR;reduc| (|x| |l| $)
  (PROG (|p| #1=#:G2037 |k|)
    (RETURN
     (SEQ
      (SEQ (LETT |k| NIL . #2=(|EXPR;reduc|)) (LETT #1# |l| . #2#) G190
           (COND
            ((OR (ATOM #1#) (PROGN (LETT |k| (CAR #1#) . #2#) NIL)) (GO G191)))
           (SEQ (LETT |p| (SPADCALL |k| (QREFELT $ 272)) . #2#)
                (EXIT
                 (LETT |x|
                       (SPADCALL
                        (|EXPR;evl| (SPADCALL |x| (QREFELT $ 100)) |k| |p| $)
                        (|EXPR;evl| (SPADCALL |x| (QREFELT $ 102)) |k| |p| $)
                        (QREFELT $ 68))
                       . #2#)))
           (LETT #1# (CDR #1#) . #2#) (GO G190) G191 (EXIT NIL))
      (EXIT |x|))))) 

(DEFUN |EXPR;evl0| (|p| |k| $)
  (SPADCALL (SPADCALL (SPADCALL |p| (QREFELT $ 274)) |k| (QREFELT $ 277))
            (QREFELT $ 279))) 

(DEFUN |EXPR;evl| (|p| |k| |m| $)
  (COND
   ((< (SPADCALL |p| |k| (QREFELT $ 280)) (SPADCALL |m| (QREFELT $ 281)))
    (SPADCALL |p| (QREFELT $ 274)))
   ('T
    (SPADCALL (SPADCALL (|EXPR;evl0| |p| |k| $) |m| (QREFELT $ 282))
              (SPADCALL (SPADCALL |k| (QREFELT $ 283)) (QREFELT $ 274))
              (QREFELT $ 284))))) 

(DEFUN |EXPR;noalg?| (|p| $)
  (PROG (#1=#:G2045)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (SEQ G190
             (COND
              ((NULL
                (COND
                 ((SPADCALL |p| (|spadConstant| $ 285) (QREFELT $ 286)) 'NIL)
                 ('T 'T)))
               (GO G191)))
             (SEQ
              (EXIT
               (COND
                ((NULL
                  (NULL
                   (|EXPR;algkernels|
                    (SPADCALL (SPADCALL |p| (QREFELT $ 287)) (QREFELT $ 75))
                    $)))
                 (PROGN (LETT #1# 'NIL . #2=(|EXPR;noalg?|)) (GO #1#)))
                ('T (LETT |p| (SPADCALL |p| (QREFELT $ 288)) . #2#)))))
             NIL (GO G190) G191 (EXIT NIL))
        (EXIT 'T)))
      #1# (EXIT #1#))))) 

(DEFUN |EXPR;gcdPolynomial;3Sup;100| (|p| |q| $)
  (SEQ
   (COND
    ((|EXPR;noalg?| |p| $)
     (COND ((|EXPR;noalg?| |q| $) (EXIT (SPADCALL |p| |q| (QREFELT $ 289)))))))
   (EXIT (SPADCALL |p| |q| (QREFELT $ 291))))) 

(DEFUN |EXPR;factorPolynomial;SupF;101| (|x| $)
  (PROG (|uf|)
    (RETURN
     (SEQ
      (LETT |uf| (SPADCALL |x| (QREFELT $ 295))
            |EXPR;factorPolynomial;SupF;101|)
      (EXIT |uf|))))) 

(DEFUN |EXPR;squareFreePolynomial;SupF;102| (|x| $)
  (PROG (|uf|)
    (RETURN
     (SEQ
      (LETT |uf| (SPADCALL |x| (QREFELT $ 298))
            |EXPR;squareFreePolynomial;SupF;102|)
      (EXIT |uf|))))) 

(DEFUN |EXPR;coerce;An$;103| (|x| $)
  (SPADCALL (SPADCALL |x| (|spadConstant| $ 301) (QREFELT $ 302))
            (QREFELT $ 104))) 

(DEFUN |EXPR;^;$F$;104| (|x| |r| $) (SPADCALL |x| |r| (QREFELT $ 306))) 

(DEFUN |EXPR;minPoly;KSup;105| (|k| $) (SPADCALL |k| (QREFELT $ 308))) 

(DEFUN |EXPR;definingPolynomial;2$;106| (|x| $) (SPADCALL |x| (QREFELT $ 309))) 

(DEFUN |EXPR;retract;$F;107| (|x| $) (SPADCALL |x| (QREFELT $ 311))) 

(DEFUN |EXPR;retractIfCan;$U;108| (|x| $) (SPADCALL |x| (QREFELT $ 313))) 

(DEFUN |EXPR;coerce;An$;109| (|x| $)
  (SPADCALL (|EXPR;smp2expr| (SPADCALL |x| (QREFELT $ 315)) $)
            (|EXPR;smp2expr| (SPADCALL |x| (QREFELT $ 316)) $) (QREFELT $ 69))) 

(DEFUN |EXPR;k2expr| (|k| $) (SPADCALL (ELT $ 304) |k| (QREFELT $ 320))) 

(DEFUN |EXPR;smp2expr| (|p| $)
  (SPADCALL (CONS (|function| |EXPR;k2expr|) $) (ELT $ 61) |p| (QREFELT $ 325))) 

(DEFUN |EXPR;retractIfCan;$U;112| (|x| $)
  (PROG (#1=#:G2086 |d| |n|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (SEQ
         (LETT |n| (|EXPR;smp2an| (SPADCALL |x| (QREFELT $ 100)) $)
               . #2=(|EXPR;retractIfCan;$U;112|))
         (EXIT
          (COND
           ((QEQCAR |n| 0)
            (SEQ
             (LETT |d| (|EXPR;smp2an| (SPADCALL |x| (QREFELT $ 102)) $) . #2#)
             (EXIT
              (COND
               ((QEQCAR |d| 0)
                (PROGN
                 (LETT #1#
                       (CONS 0
                             (SPADCALL (QCDR |n|) (QCDR |d|) (QREFELT $ 326)))
                       . #2#)
                 (GO #1#))))))))))
        (EXIT (CONS 1 "failed"))))
      #1# (EXIT #1#))))) 

(DEFUN |EXPR;R2AN| (|r| $)
  (PROG (|u|)
    (RETURN
     (SEQ
      (LETT |u| (SPADCALL (SPADCALL |r| (QREFELT $ 329)) (QREFELT $ 72))
            |EXPR;R2AN|)
      (EXIT
       (COND ((QEQCAR |u| 0) (CONS 0 (SPADCALL (QCDR |u|) (QREFELT $ 330))))
             ('T (CONS 1 "failed")))))))) 

(DEFUN |EXPR;k2an| (|k| $)
  (PROG (|arg| #1=#:G2106 |a| #2=#:G2107 |x| |op|)
    (RETURN
     (SEQ
      (EXIT
       (COND
        ((NULL
          (SPADCALL
           (LETT |op| (SPADCALL |k| (QREFELT $ 31)) . #3=(|EXPR;k2an|))
           (QREFELT $ 331)))
         (CONS 1 "failed"))
        ('T
         (SEQ (LETT |arg| NIL . #3#)
              (SEQ (LETT |x| NIL . #3#)
                   (LETT #2# (SPADCALL |k| (QREFELT $ 79)) . #3#) G190
                   (COND
                    ((OR (ATOM #2#) (PROGN (LETT |x| (CAR #2#) . #3#) NIL))
                     (GO G191)))
                   (SEQ (LETT |a| (SPADCALL |x| (QREFELT $ 328)) . #3#)
                        (EXIT
                         (COND
                          ((QEQCAR |a| 1)
                           (PROGN (LETT #1# (CONS 1 "failed") . #3#) (GO #1#)))
                          ('T (LETT |arg| (CONS (QCDR |a|) |arg|) . #3#)))))
                   (LETT #2# (CDR #2#) . #3#) (GO G190) G191 (EXIT NIL))
              (EXIT
               (CONS 0
                     (SPADCALL (SPADCALL |op| (QREFELT $ 332)) (NREVERSE |arg|)
                               (QREFELT $ 334))))))))
      #1# (EXIT #1#))))) 

(DEFUN |EXPR;smp2an| (|p| $)
  (PROG (|c| |up| |ans| #1=#:G2124 |t| |k| |x1|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ (LETT |x1| (SPADCALL |p| (QREFELT $ 336)) . #2=(|EXPR;smp2an|))
            (EXIT
             (COND
              ((QEQCAR |x1| 1) (|EXPR;R2AN| (SPADCALL |p| (QREFELT $ 337)) $))
              (#3='T
               (SEQ
                (LETT |up|
                      (SPADCALL |p| (LETT |k| (QCDR |x1|) . #2#)
                                (QREFELT $ 338))
                      . #2#)
                (LETT |t| (|EXPR;k2an| |k| $) . #2#)
                (EXIT
                 (COND ((QEQCAR |t| 1) (CONS 1 "failed"))
                       (#3#
                        (SEQ (LETT |ans| (|spadConstant| $ 339) . #2#)
                             (SEQ G190
                                  (COND
                                   ((NULL
                                     (COND
                                      ((SPADCALL |up| (QREFELT $ 341)) 'NIL)
                                      ('T 'T)))
                                    (GO G191)))
                                  (SEQ
                                   (LETT |c|
                                         (|EXPR;smp2an|
                                          (SPADCALL |up| (QREFELT $ 342)) $)
                                         . #2#)
                                   (EXIT
                                    (COND
                                     ((QEQCAR |c| 1)
                                      (PROGN
                                       (LETT #1# (CONS 1 "failed") . #2#)
                                       (GO #1#)))
                                     ('T
                                      (SEQ
                                       (LETT |ans|
                                             (SPADCALL |ans|
                                                       (SPADCALL (QCDR |c|)
                                                                 (SPADCALL
                                                                  (QCDR |t|)
                                                                  (SPADCALL
                                                                   |up|
                                                                   (QREFELT $
                                                                            343))
                                                                  (QREFELT $
                                                                           344))
                                                                 (QREFELT $
                                                                          345))
                                                       (QREFELT $ 346))
                                             . #2#)
                                       (EXIT
                                        (LETT |up|
                                              (SPADCALL |up| (QREFELT $ 347))
                                              . #2#)))))))
                                  NIL (GO G190) G191 (EXIT NIL))
                             (LETT |c|
                                   (|EXPR;smp2an|
                                    (SPADCALL |up| (QREFELT $ 342)) $)
                                   . #2#)
                             (EXIT
                              (COND ((QEQCAR |c| 1) (CONS 1 "failed"))
                                    (#3#
                                     (CONS 0
                                           (SPADCALL |ans| (QCDR |c|)
                                                     (QREFELT $
                                                              346))))))))))))))))
      #1# (EXIT #1#))))) 

(DEFUN |EXPR;convert;$If;116| (|x| $) (SPADCALL |x| (QREFELT $ 349))) 

(DEFUN |EXPR;eval;$Bo$S$;117| (|f| |op| |g| |x| $)
  (SPADCALL |f| (LIST |op|) (LIST |g|) |x| (QREFELT $ 352))) 

(DEFUN |EXPR;eval;$LLS$;118| (|f| |ls| |lg| |x| $)
  (PROG (|res| #1=#:G2165 |g| #2=#:G2164 |nlg| #3=#:G2163 #4=#:G2162
         |lbackwardSubs| #5=#:G2160 |i| #6=#:G2161 |j| #7=#:G2159
         |lforwardSubs| #8=#:G2157 #9=#:G2158 #10=#:G2156 |ns| #11=#:G2155
         #12=#:G2154 #13=#:G2153 #14=#:G2152 |lsd| |lsym| |llsym| #15=#:G2151
         #16=#:G2150)
    (RETURN
     (SEQ
      (LETT |llsym|
            (PROGN
             (LETT #16# NIL . #17=(|EXPR;eval;$LLS$;118|))
             (SEQ (LETT |g| NIL . #17#) (LETT #15# |lg| . #17#) G190
                  (COND
                   ((OR (ATOM #15#) (PROGN (LETT |g| (CAR #15#) . #17#) NIL))
                    #18=(GO G191)))
                  (SEQ
                   (EXIT
                    (LETT #16# (CONS (SPADCALL |g| (QREFELT $ 354)) #16#)
                          . #17#)))
                  (LETT #15# (CDR #15#) . #17#) #19=(GO G190) G191
                  (EXIT (NREVERSE0 #16#))))
            . #17#)
      (LETT |lsym|
            (SPADCALL (SPADCALL |llsym| (QREFELT $ 355)) (QREFELT $ 356))
            . #17#)
      (LETT |lsd| (SPADCALL (ELT $ 357) |lsym| (QREFELT $ 359)) . #17#)
      (EXIT
       (COND
        ((NULL |lsd|)
         (SPADCALL |f| |ls|
                   (PROGN
                    (LETT #14# NIL . #17#)
                    (SEQ (LETT |g| NIL . #17#) (LETT #13# |lg| . #17#) G190
                         (COND
                          ((OR (ATOM #13#)
                               (PROGN (LETT |g| (CAR #13#) . #17#) NIL))
                           #18#))
                         (SEQ
                          (EXIT
                           (LETT #14#
                                 (CONS (SPADCALL |g| |x| (QREFELT $ 361)) #14#)
                                 . #17#)))
                         (LETT #13# (CDR #13#) . #17#) #19# G191
                         (EXIT (NREVERSE0 #14#))))
                   (QREFELT $ 364)))
        ('T
         (SEQ
          (LETT |ns|
                (PROGN
                 (LETT #12# NIL . #17#)
                 (SEQ (LETT |i| NIL . #17#) (LETT #11# |lsd| . #17#) G190
                      (COND
                       ((OR (ATOM #11#)
                            (PROGN (LETT |i| (CAR #11#) . #17#) NIL))
                        #18#))
                      (SEQ
                       (EXIT
                        (LETT #12# (CONS (SPADCALL (QREFELT $ 365)) #12#)
                              . #17#)))
                      (LETT #11# (CDR #11#) . #17#) #19# G191
                      (EXIT (NREVERSE0 #12#))))
                . #17#)
          (LETT |lforwardSubs|
                (PROGN
                 (LETT #10# NIL . #17#)
                 (SEQ (LETT |j| NIL . #17#) (LETT #9# |ns| . #17#)
                      (LETT |i| NIL . #17#) (LETT #8# |lsd| . #17#) G190
                      (COND
                       ((OR (ATOM #8#) (PROGN (LETT |i| (CAR #8#) . #17#) NIL)
                            (ATOM #9#) (PROGN (LETT |j| (CAR #9#) . #17#) NIL))
                        #18#))
                      (SEQ
                       (EXIT
                        (LETT #10#
                              (CONS
                               (SPADCALL (SPADCALL |i| (QREFELT $ 366))
                                         (SPADCALL |j| (QREFELT $ 366))
                                         (QREFELT $ 368))
                               #10#)
                              . #17#)))
                      (LETT #8# (PROG1 (CDR #8#) (LETT #9# (CDR #9#) . #17#))
                            . #17#)
                      #19# G191 (EXIT (NREVERSE0 #10#))))
                . #17#)
          (LETT |lbackwardSubs|
                (PROGN
                 (LETT #7# NIL . #17#)
                 (SEQ (LETT |j| NIL . #17#) (LETT #6# |ns| . #17#)
                      (LETT |i| NIL . #17#) (LETT #5# |lsd| . #17#) G190
                      (COND
                       ((OR (ATOM #5#) (PROGN (LETT |i| (CAR #5#) . #17#) NIL)
                            (ATOM #6#) (PROGN (LETT |j| (CAR #6#) . #17#) NIL))
                        #18#))
                      (SEQ
                       (EXIT
                        (LETT #7#
                              (CONS
                               (SPADCALL (SPADCALL |j| (QREFELT $ 366))
                                         (SPADCALL |i| (QREFELT $ 366))
                                         (QREFELT $ 368))
                               #7#)
                              . #17#)))
                      (LETT #5# (PROG1 (CDR #5#) (LETT #6# (CDR #6#) . #17#))
                            . #17#)
                      #19# G191 (EXIT (NREVERSE0 #7#))))
                . #17#)
          (LETT |nlg|
                (PROGN
                 (LETT #4# NIL . #17#)
                 (SEQ (LETT |g| NIL . #17#) (LETT #3# |lg| . #17#) G190
                      (COND
                       ((OR (ATOM #3#) (PROGN (LETT |g| (CAR #3#) . #17#) NIL))
                        #18#))
                      (SEQ
                       (EXIT
                        (LETT #4#
                              (CONS
                               (SPADCALL |g| |lforwardSubs| (QREFELT $ 370))
                               #4#)
                              . #17#)))
                      (LETT #3# (CDR #3#) . #17#) #19# G191
                      (EXIT (NREVERSE0 #4#))))
                . #17#)
          (LETT |res|
                (SPADCALL |f| |ls|
                          (PROGN
                           (LETT #2# NIL . #17#)
                           (SEQ (LETT |g| NIL . #17#) (LETT #1# |nlg| . #17#)
                                G190
                                (COND
                                 ((OR (ATOM #1#)
                                      (PROGN (LETT |g| (CAR #1#) . #17#) NIL))
                                  #18#))
                                (SEQ
                                 (EXIT
                                  (LETT #2#
                                        (CONS
                                         (SPADCALL |g| |x| (QREFELT $ 361))
                                         #2#)
                                        . #17#)))
                                (LETT #1# (CDR #1#) . #17#) #19# G191
                                (EXIT (NREVERSE0 #2#))))
                          (QREFELT $ 364))
                . #17#)
          (EXIT (SPADCALL |res| |lbackwardSubs| (QREFELT $ 370))))))))))) 

(DEFUN |EXPR;patternMatch;$P2Pmr;119| (|x| |p| |l| $)
  (SPADCALL |x| |p| |l| (QREFELT $ 374))) 

(DEFUN |EXPR;patternMatch;$P2Pmr;120| (|x| |p| |l| $)
  (SPADCALL |x| |p| |l| (QREFELT $ 380))) 

(DEFUN |EXPR;Zero;$;121| ($) (|spadConstant| $ 46)) 

(DEFUN |EXPR;One;$;122| ($) (|spadConstant| $ 48)) 

(DEFUN |EXPR;-;2$;123| (|x| $) (SPADCALL |x| (QREFELT $ 55))) 

(DEFUN |EXPR;*;I2$;124| (|n| |x| $) (SPADCALL |n| |x| (QREFELT $ 58))) 

(DEFUN |EXPR;*;3$;125| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 62))) 

(DEFUN |EXPR;+;3$;126| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 64))) 

(DEFUN |EXPR;=;2$B;127| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 51))) 

(DEFUN |EXPR;smaller?;2$B;128| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 95))) 

(PUT '|EXPR;numer;$Smp;129| '|SPADreplace| '(XLAM (|x|) |x|)) 

(DEFUN |EXPR;numer;$Smp;129| (|x| $) |x|) 

(PUT '|EXPR;coerce;Smp$;130| '|SPADreplace| '(XLAM (|p|) |p|)) 

(DEFUN |EXPR;coerce;Smp$;130| (|p| $) |p|) 

(DEFUN |EXPR;coerce;P$;131| (|p| $) (|EXPR;polytoMP| |p| $)) 

(DEFUN |EXPR;reducedSystem;MM;132| (|m| $) (SPADCALL |m| (QREFELT $ 383))) 

(DEFUN |EXPR;reducedSystem;MVR;133| (|m| |v| $)
  (SPADCALL |m| |v| (QREFELT $ 384))) 

(DEFUN |EXPR;convert;$If;134| (|x| $) (SPADCALL |x| (QREFELT $ 349))) 

(DEFUN |EXPR;kintmatch| (|k| |p| |l| $) (SPADCALL |k| |p| |l| (QREFELT $ 386))) 

(DEFUN |EXPR;patternMatch;$P2Pmr;136| (|x| |p| |l| $)
  (SPADCALL |x| |p| |l| (CONS (|function| |EXPR;kintmatch|) $) (QREFELT $ 390))) 

(DEFUN |EXPR;kfltmatch| (|k| |p| |l| $) (SPADCALL |k| |p| |l| (QREFELT $ 392))) 

(DEFUN |EXPR;patternMatch;$P2Pmr;138| (|x| |p| |l| $)
  (SPADCALL |x| |p| |l| (CONS (|function| |EXPR;kfltmatch|) $) (QREFELT $ 396))) 

(DEFUN |EXPR;Zero;$;139| ($) (|spadConstant| $ 46)) 

(DEFUN |EXPR;+;3$;140| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 64))) 

(DEFUN |EXPR;=;2$B;141| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 51))) 

(DEFUN |EXPR;smaller?;2$B;142| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 95))) 

(DEFUN |EXPR;coerce;K$;143| (|k| $) (SPADCALL |k| (QREFELT $ 397))) 

(DEFUN |EXPR;kernels;$L;144| (|x| $)
  (PROG (#1=#:G2209 |f| #2=#:G2208)
    (RETURN
     (SEQ
      (PROGN
       (LETT #2# NIL . #3=(|EXPR;kernels;$L;144|))
       (SEQ (LETT |f| NIL . #3#)
            (LETT #1# (SPADCALL |x| (QREFELT $ 401)) . #3#) G190
            (COND
             ((OR (ATOM #1#) (PROGN (LETT |f| (CAR #1#) . #3#) NIL))
              (GO G191)))
            (SEQ (EXIT (LETT #2# (CONS (QCAR |f|) #2#) . #3#)))
            (LETT #1# (CDR #1#) . #3#) (GO G190) G191
            (EXIT (NREVERSE0 #2#)))))))) 

(DEFUN |EXPR;coerce;R$;145| (|x| $)
  (COND ((SPADCALL |x| (QREFELT $ 402)) (|spadConstant| $ 47))
        ('T (SPADCALL (SPADCALL |x| (QREFELT $ 403)) (QREFELT $ 398))))) 

(DEFUN |EXPR;retract;$R;146| (|x| $)
  (COND ((SPADCALL |x| (QREFELT $ 54)) (|spadConstant| $ 87))
        ('T (|EXPR;retNotUnit| |x| $)))) 

(DEFUN |EXPR;coerce;$Of;147| (|x| $) (SPADCALL |x| (QREFELT $ 406))) 

(DEFUN |EXPR;kereval| (|k| |lk| |lv| $)
  (PROG ()
    (RETURN
     (SPADCALL |lk| |lv| |k| (CONS #'|EXPR;kereval!1| (VECTOR |lk| |lv| $))
               (QREFELT $ 412))))) 

(DEFUN |EXPR;kereval!1| (|x2| $$)
  (PROG ($ |lv| |lk|)
    (LETT $ (QREFELT $$ 2) . #1=(|EXPR;kereval|))
    (LETT |lv| (QREFELT $$ 1) . #1#)
    (LETT |lk| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG ()
        (RETURN
         (SPADCALL (CONS #'|EXPR;kereval!0| (VECTOR $ |lv| |lk|)) |x2|
                   (QREFELT $ 409)))))))) 

(DEFUN |EXPR;kereval!0| (|x1| $$)
  (PROG (|lk| |lv| $)
    (LETT |lk| (QREFELT $$ 2) NIL)
    (LETT |lv| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN (PROGN (SPADCALL |x1| |lk| |lv| (QREFELT $ 408)))))) 

(DEFUN |EXPR;subeval| (|k| |lk| |lv| $)
  (PROG ()
    (RETURN
     (SEQ
      (SPADCALL |lk| |lv| |k| (CONS #'|EXPR;subeval!0| (VECTOR |lv| |lk| $))
                (QREFELT $ 412)))))) 

(DEFUN |EXPR;subeval!0| (|x| $$)
  (PROG ($ |lk| |lv|)
    (LETT $ (QREFELT $$ 2) . #1=(|EXPR;subeval|))
    (LETT |lk| (QREFELT $$ 1) . #1#)
    (LETT |lv| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG (#2=#:G2234 |a| #3=#:G2233)
        (RETURN
         (SEQ
          (SPADCALL (SPADCALL |x| (QREFELT $ 31))
                    (PROGN
                     (LETT #3# NIL NIL)
                     (SEQ (LETT |a| NIL NIL)
                          (LETT #2# (SPADCALL |x| (QREFELT $ 79)) NIL) G190
                          (COND
                           ((OR (ATOM #2#)
                                (PROGN (LETT |a| (CAR #2#) NIL) NIL))
                            (GO G191)))
                          (SEQ
                           (EXIT
                            (LETT #3#
                                  (CONS
                                   (SPADCALL |a| |lk| |lv| (QREFELT $ 413))
                                   #3#)
                                  NIL)))
                          (LETT #2# (CDR #2#) NIL) (GO G190) G191
                          (EXIT (NREVERSE0 #3#))))
                    (QREFELT $ 414))))))))) 

(DEFUN |EXPR;isPlus;$U;150| (|x| $)
  (PROG (#1=#:G2249 |t| #2=#:G2248 |l|)
    (RETURN
     (SEQ
      (COND
       ((OR
         (NULL
          (LETT |l| (SPADCALL |x| (QREFELT $ 401))
                . #3=(|EXPR;isPlus;$U;150|)))
         (NULL (CDR |l|)))
        (CONS 1 "failed"))
       ('T
        (CONS 0
              (PROGN
               (LETT #2# NIL . #3#)
               (SEQ (LETT |t| NIL . #3#) (LETT #1# |l| . #3#) G190
                    (COND
                     ((OR (ATOM #1#) (PROGN (LETT |t| (CAR #1#) . #3#) NIL))
                      (GO G191)))
                    (SEQ
                     (EXIT
                      (LETT #2#
                            (CONS
                             (SPADCALL (QCDR |t|) (QCAR |t|) (QREFELT $ 415))
                             #2#)
                            . #3#)))
                    (LETT #1# (CDR #1#) . #3#) (GO G190) G191
                    (EXIT (NREVERSE0 #2#))))))))))) 

(DEFUN |EXPR;isMult;$U;151| (|x| $)
  (PROG (|t| |l|)
    (RETURN
     (SEQ
      (COND
       ((OR
         (NULL
          (LETT |l| (SPADCALL |x| (QREFELT $ 401))
                . #1=(|EXPR;isMult;$U;151|)))
         (NULL (NULL (CDR |l|))))
        (CONS 1 "failed"))
       ('T
        (SEQ (LETT |t| (SPADCALL |l| (QREFELT $ 418)) . #1#)
             (EXIT (CONS 0 (CONS (QCDR |t|) (QCAR |t|))))))))))) 

(DEFUN |EXPR;eval;$LL$;152| (|x| |lk| |lv| $)
  (PROG (#1=#:G2265 #2=#:G2264 #3=#:G2266 #4=#:G2268 |t|)
    (RETURN
     (SEQ
      (PROGN
       (LETT #1# NIL . #5=(|EXPR;eval;$LL$;152|))
       (SEQ (LETT |t| NIL . #5#)
            (LETT #4# (SPADCALL |x| (QREFELT $ 401)) . #5#) G190
            (COND
             ((OR (ATOM #4#) (PROGN (LETT |t| (CAR #4#) . #5#) NIL))
              (GO G191)))
            (SEQ
             (EXIT
              (PROGN
               (LETT #3#
                     (SPADCALL (QCDR |t|)
                               (|EXPR;kereval| (QCAR |t|) |lk| |lv| $)
                               (QREFELT $ 58))
                     . #5#)
               (COND (#1# (LETT #2# (SPADCALL #2# #3# (QREFELT $ 65)) . #5#))
                     ('T (PROGN (LETT #2# #3# . #5#) (LETT #1# 'T . #5#)))))))
            (LETT #4# (CDR #4#) . #5#) (GO G190) G191 (EXIT NIL))
       (COND (#1# #2#) ('T (|spadConstant| $ 47)))))))) 

(DEFUN |EXPR;subst;$LL$;153| (|x| |lk| |lv| $)
  (PROG (#1=#:G2271 #2=#:G2270 #3=#:G2272 #4=#:G2274 |t|)
    (RETURN
     (SEQ
      (PROGN
       (LETT #1# NIL . #5=(|EXPR;subst;$LL$;153|))
       (SEQ (LETT |t| NIL . #5#)
            (LETT #4# (SPADCALL |x| (QREFELT $ 401)) . #5#) G190
            (COND
             ((OR (ATOM #4#) (PROGN (LETT |t| (CAR #4#) . #5#) NIL))
              (GO G191)))
            (SEQ
             (EXIT
              (PROGN
               (LETT #3#
                     (SPADCALL (QCDR |t|)
                               (|EXPR;subeval| (QCAR |t|) |lk| |lv| $)
                               (QREFELT $ 58))
                     . #5#)
               (COND (#1# (LETT #2# (SPADCALL #2# #3# (QREFELT $ 65)) . #5#))
                     ('T (PROGN (LETT #2# #3# . #5#) (LETT #1# 'T . #5#)))))))
            (LETT #4# (CDR #4#) . #5#) (GO G190) G191 (EXIT NIL))
       (COND (#1# #2#) ('T (|spadConstant| $ 47)))))))) 

(DEFUN |EXPR;retractIfCan;$U;154| (|x| $)
  (COND ((SPADCALL |x| (QREFELT $ 54)) (CONS 0 (|spadConstant| $ 87)))
        ('T (|EXPR;retNotUnitIfCan| |x| $)))) 

(DEFUN |EXPR;-;2$;155| (|x| $) (SPADCALL |x| (QREFELT $ 55))) 

(DEFUN |EXPR;smaller?;2$B;156| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 95))) 

(DEFUN |EXPR;=;2$B;157| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 51))) 

(PUT '|EXPR;coerce;K$;158| '|SPADreplace| '(XLAM (|k|) |k|)) 

(DEFUN |EXPR;coerce;K$;158| (|k| $) |k|) 

(PUT '|EXPR;kernels;$L;159| '|SPADreplace| 'LIST) 

(DEFUN |EXPR;kernels;$L;159| (|x| $) (LIST |x|)) 

(DEFUN |EXPR;coerce;R$;160| (|x| $) (SPADCALL |x| (QREFELT $ 403))) 

(DEFUN |EXPR;retract;$R;161| (|x| $) (|EXPR;retNotUnit| |x| $)) 

(DEFUN |EXPR;retractIfCan;$U;162| (|x| $) (|EXPR;retNotUnitIfCan| |x| $)) 

(DEFUN |EXPR;coerce;$Of;163| (|x| $) (SPADCALL |x| (QREFELT $ 406))) 

(DEFUN |EXPR;eval;$LL$;164| (|x| |lk| |lv| $)
  (PROG ()
    (RETURN
     (SPADCALL |lk| |lv| |x|
               (CONS #'|EXPR;eval;$LL$;164!1| (VECTOR |lk| |lv| $))
               (QREFELT $ 412))))) 

(DEFUN |EXPR;eval;$LL$;164!1| (|x1| $$)
  (PROG ($ |lv| |lk|)
    (LETT $ (QREFELT $$ 2) . #1=(|EXPR;eval;$LL$;164|))
    (LETT |lv| (QREFELT $$ 1) . #1#)
    (LETT |lk| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG ()
        (RETURN
         (SPADCALL (CONS #'|EXPR;eval;$LL$;164!0| (VECTOR $ |lv| |lk|)) |x1|
                   (QREFELT $ 409)))))))) 

(DEFUN |EXPR;eval;$LL$;164!0| (|x2| $$)
  (PROG (|lk| |lv| $)
    (LETT |lk| (QREFELT $$ 2) NIL)
    (LETT |lv| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN (PROGN (SPADCALL |x2| |lk| |lv| (QREFELT $ 408)))))) 

(DEFUN |EXPR;subst;$LL$;165| (|x| |lk| |lv| $)
  (PROG ()
    (RETURN
     (SEQ
      (SPADCALL |lk| |lv| |x|
                (CONS #'|EXPR;subst;$LL$;165!0| (VECTOR |lv| |lk| $))
                (QREFELT $ 412)))))) 

(DEFUN |EXPR;subst;$LL$;165!0| (|x1| $$)
  (PROG ($ |lk| |lv|)
    (LETT $ (QREFELT $$ 2) . #1=(|EXPR;subst;$LL$;165|))
    (LETT |lk| (QREFELT $$ 1) . #1#)
    (LETT |lv| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG (#2=#:G2310 |a| #3=#:G2309)
        (RETURN
         (SEQ
          (SPADCALL (SPADCALL |x1| (QREFELT $ 31))
                    (PROGN
                     (LETT #3# NIL NIL)
                     (SEQ (LETT |a| NIL NIL)
                          (LETT #2# (SPADCALL |x1| (QREFELT $ 79)) NIL) G190
                          (COND
                           ((OR (ATOM #2#)
                                (PROGN (LETT |a| (CAR #2#) NIL) NIL))
                            (GO G191)))
                          (SEQ
                           (EXIT
                            (LETT #3#
                                  (CONS
                                   (SPADCALL |a| |lk| |lv| (QREFELT $ 413))
                                   #3#)
                                  NIL)))
                          (LETT #2# (CDR #2#) NIL) (GO G190) G191
                          (EXIT (NREVERSE0 #3#))))
                    (QREFELT $ 414))))))))) 

(DEFUN |EXPR;convert;$If;166| (|x| $) (SPADCALL |x| (QREFELT $ 349))) 

(DEFUN |Expression| (#1=#:G2353)
  (PROG ()
    (RETURN
     (PROG (#2=#:G2354)
       (RETURN
        (COND
         ((LETT #2#
                (|lassocShiftWithFunction| (LIST (|devaluate| #1#))
                                           (HGET |$ConstructorCache|
                                                 '|Expression|)
                                           '|domainEqualList|)
                . #3=(|Expression|))
          (|CDRwithIncrement| #2#))
         ('T
          (UNWIND-PROTECT (PROG1 (|Expression;| #1#) (LETT #2# T . #3#))
            (COND ((NOT #2#) (HREM |$ConstructorCache| '|Expression|))))))))))) 

(DEFUN |Expression;| (|#1|)
  (PROG (|pv$| #1=#:G2347 #2=#:G2348 #3=#:G2349 #4=#:G2350 #5=#:G2351
         #6=#:G2352 $ |dv$| DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #7=(|Expression|))
      (LETT |dv$| (LIST '|Expression| DV$1) . #7#)
      (LETT $ (GETREFV 452) . #7#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3
                (LETT |pv$|
                      (|buildPredVector| 0 0
                                         (LIST
                                          (|HasCategory| |#1|
                                                         '(|IntegralDomain|))
                                          (LETT #6#
                                                (|HasCategory| |#1| '(|Ring|))
                                                . #7#)
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|))
                                           #6#)
                                          (|HasCategory| |#1|
                                                         '(|CommutativeRing|))
                                          (|HasCategory| |#1|
                                                         '(|CharacteristicNonZero|))
                                          (|HasCategory| |#1|
                                                         '(|CharacteristicZero|))
                                          (|HasCategory| |#1|
                                                         '(|LinearlyExplicitRingOver|
                                                           (|Integer|)))
                                          (LETT #5#
                                                (|HasCategory| |#1| '(|Group|))
                                                . #7#)
                                          (OR #5# #6#)
                                          (|HasCategory| |#1|
                                                         '(|ConvertibleTo|
                                                           (|InputForm|)))
                                          (|HasCategory| |#1|
                                                         '(|RetractableTo|
                                                           (|Integer|)))
                                          (|HasCategory| |#1|
                                                         '(|PatternMatchable|
                                                           (|Float|)))
                                          (|HasCategory| |#1|
                                                         '(|PatternMatchable|
                                                           (|Integer|)))
                                          (|HasCategory| |#1|
                                                         '(|ConvertibleTo|
                                                           (|Pattern|
                                                            (|Float|))))
                                          (|HasCategory| |#1|
                                                         '(|ConvertibleTo|
                                                           (|Pattern|
                                                            (|Integer|))))
                                          (AND
                                           (|HasCategory| |#1|
                                                          '(|RetractableTo|
                                                            (|Integer|)))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|)))
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|LinearlyExplicitRingOver|
                                                            (|Integer|)))
                                           (|HasCategory| |#1|
                                                          '(|CharacteristicNonZero|))
                                           (|HasCategory| |#1|
                                                          '(|CharacteristicZero|))
                                           (|HasCategory| |#1|
                                                          '(|CommutativeRing|))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|))
                                           #6#)
                                          (AND
                                           (|HasCategory| |#1| '(|GcdDomain|))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|)))
                                          (OR #5#
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|)))
                                          (AND
                                           (|HasCategory| |#1|
                                                          '(|LinearlyExplicitRingOver|
                                                            (|Integer|)))
                                           #6#)
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|RetractableTo|
                                                            (|Integer|)))
                                           #6#)
                                          (LETT #4#
                                                (|HasCategory| |#1|
                                                               '(|SemiGroup|))
                                                . #7#)
                                          (OR #5# #4#)
                                          (OR
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|LinearlyExplicitRingOver|
                                                             (|Integer|)))
                                            #6#)
                                           #4#)
                                          (LETT #3#
                                                (|HasCategory| |#1|
                                                               '(|AbelianSemiGroup|))
                                                . #7#)
                                          (OR
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|LinearlyExplicitRingOver|
                                                             (|Integer|)))
                                            #6#)
                                           #3# #4#)
                                          (OR
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|LinearlyExplicitRingOver|
                                                             (|Integer|)))
                                            #6#)
                                           #3#)
                                          (LETT #2#
                                                (|HasCategory| |#1|
                                                               '(|AbelianGroup|))
                                                . #7#)
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|LinearlyExplicitRingOver|
                                                            (|Integer|)))
                                           #2# #3#
                                           (|HasCategory| |#1|
                                                          '(|CharacteristicNonZero|))
                                           (|HasCategory| |#1|
                                                          '(|CharacteristicZero|))
                                           (|HasCategory| |#1|
                                                          '(|CommutativeRing|))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|))
                                           #6#)
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|LinearlyExplicitRingOver|
                                                            (|Integer|)))
                                           #2#
                                           (|HasCategory| |#1|
                                                          '(|CharacteristicNonZero|))
                                           (|HasCategory| |#1|
                                                          '(|CharacteristicZero|))
                                           (|HasCategory| |#1|
                                                          '(|CommutativeRing|))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|))
                                           #6#)
                                          (OR
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|LinearlyExplicitRingOver|
                                                             (|Integer|)))
                                            #6#)
                                           #2#)
                                          (LETT #1#
                                                (|HasCategory| |#1|
                                                               '(|RetractableTo|
                                                                 (|Fraction|
                                                                  (|Integer|))))
                                                . #7#)
                                          (OR #1#
                                              (AND
                                               (|HasCategory| |#1|
                                                              '(|RetractableTo|
                                                                (|Integer|)))
                                               (|HasCategory| |#1|
                                                              '(|IntegralDomain|))))
                                          (OR #1#
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|)))
                                          (OR
                                           (AND #1#
                                                (|HasCategory| |#1|
                                                               '(|IntegralDomain|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|RetractableTo|
                                                             (|Integer|)))
                                            (|HasCategory| |#1|
                                                           '(|IntegralDomain|))))))
                      . #7#))
      (|haddProp| |$ConstructorCache| '|Expression| (LIST DV$1) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (AND (|HasCategory| $ '(|Ring|)) (|augmentPredVector| $ 34359738368))
      (AND (|HasCategory| $ '(|RetractableTo| (|Integer|)))
           (|augmentPredVector| $ 68719476736))
      (QSETREFV $ 7 '|%symbol|)
      (QSETREFV $ 8 '|%alg|)
      (COND ((|testBitVector| |pv$| 1))
            ('T
             (QSETREFV $ 37
                       (CONS (|dispatchFunction| |EXPR;operator;2Bo;4|) $))))
      (COND
       ((|testBitVector| |pv$| 2)
        (PROGN
         (COND
          ((|testBitVector| |pv$| 1)
           (PROGN
            (QSETREFV $ 45
                      (|Fraction|
                       (|SparseMultivariatePolynomial| |#1| (|Kernel| $))))
            (QSETREFV $ 47
                      (CONS IDENTITY
                            (FUNCALL (|dispatchFunction| |EXPR;Zero;$;6|) $)))
            (QSETREFV $ 49
                      (CONS IDENTITY
                            (FUNCALL (|dispatchFunction| |EXPR;One;$;7|) $)))
            (QSETREFV $ 52 (CONS (|dispatchFunction| |EXPR;one?;$B;8|) $))
            (QSETREFV $ 54 (CONS (|dispatchFunction| |EXPR;zero?;$B;9|) $))
            (QSETREFV $ 56 (CONS (|dispatchFunction| |EXPR;-;2$;10|) $))
            (QSETREFV $ 59 (CONS (|dispatchFunction| |EXPR;*;I2$;11|) $))
            (QSETREFV $ 61 (CONS (|dispatchFunction| |EXPR;coerce;I$;12|) $))
            (QSETREFV $ 63 (CONS (|dispatchFunction| |EXPR;*;3$;13|) $))
            (QSETREFV $ 65 (CONS (|dispatchFunction| |EXPR;+;3$;14|) $))
            (QSETREFV $ 67 (CONS (|dispatchFunction| |EXPR;-;3$;15|) $))
            (QSETREFV $ 69 (CONS (|dispatchFunction| |EXPR;/;3$;16|) $))
            (QSETREFV $ 73 (CONS (|dispatchFunction| |EXPR;number?;$B;17|) $))
            (QSETREFV $ 86
                      (CONS (|dispatchFunction| |EXPR;simplifyPower;$I$;18|)
                            $))
            (QSETREFV $ 90 (CONS (|dispatchFunction| |EXPR;^;$Nni$;19|) $))
            (QSETREFV $ 92 (CONS (|dispatchFunction| |EXPR;^;$I$;20|) $))
            (QSETREFV $ 94 (CONS (|dispatchFunction| |EXPR;^;$Pi$;21|) $))
            (QSETREFV $ 96
                      (CONS (|dispatchFunction| |EXPR;smaller?;2$B;22|) $))
            (QSETREFV $ 97 (CONS (|dispatchFunction| |EXPR;=;2$B;23|) $))
            (QSETREFV $ 100 (CONS (|dispatchFunction| |EXPR;numer;$Smp;24|) $))
            (QSETREFV $ 102 (CONS (|dispatchFunction| |EXPR;denom;$Smp;25|) $))
            (QSETREFV $ 103
                      (|Record|
                       (|:| |num|
                            (|SparseMultivariatePolynomial| |#1| (|Kernel| $)))
                       (|:| |den|
                            (|SparseMultivariatePolynomial| |#1|
                                                            (|Kernel| $)))))
            (QSETREFV $ 104
                      (CONS (|dispatchFunction| |EXPR;coerce;Smp$;26|) $))
            (QSETREFV $ 106 (CONS (|dispatchFunction| |EXPR;coerce;P$;27|) $))
            (QSETREFV $ 110 (CONS (|dispatchFunction| |EXPR;coerce;F$;28|) $))
            (QSETREFV $ 111 (CONS (|dispatchFunction| |EXPR;reduce;2$;29|) $))
            (QSETREFV $ 118 (CONS (|dispatchFunction| |EXPR;/;2Smp$;33|) $))
            (QSETREFV $ 127
                      (CONS (|dispatchFunction| |EXPR;reducedSystem;MM;34|) $))
            (QSETREFV $ 135
                      (CONS (|dispatchFunction| |EXPR;reducedSystem;MVR;35|)
                            $))
            (QSETREFV $ 142
                      (CONS (|dispatchFunction| |EXPR;rootOf;SupS$;37|) $))
            (QSETREFV $ 145 (CONS (|dispatchFunction| |EXPR;pi;$;38|) $))
            (QSETREFV $ 147 (CONS (|dispatchFunction| |EXPR;exp;2$;39|) $))
            (QSETREFV $ 149 (CONS (|dispatchFunction| |EXPR;log;2$;40|) $))
            (QSETREFV $ 151 (CONS (|dispatchFunction| |EXPR;sin;2$;41|) $))
            (QSETREFV $ 153 (CONS (|dispatchFunction| |EXPR;cos;2$;42|) $))
            (QSETREFV $ 155 (CONS (|dispatchFunction| |EXPR;tan;2$;43|) $))
            (QSETREFV $ 157 (CONS (|dispatchFunction| |EXPR;cot;2$;44|) $))
            (QSETREFV $ 159 (CONS (|dispatchFunction| |EXPR;sec;2$;45|) $))
            (QSETREFV $ 161 (CONS (|dispatchFunction| |EXPR;csc;2$;46|) $))
            (QSETREFV $ 163 (CONS (|dispatchFunction| |EXPR;asin;2$;47|) $))
            (QSETREFV $ 165 (CONS (|dispatchFunction| |EXPR;acos;2$;48|) $))
            (QSETREFV $ 167 (CONS (|dispatchFunction| |EXPR;atan;2$;49|) $))
            (QSETREFV $ 169 (CONS (|dispatchFunction| |EXPR;acot;2$;50|) $))
            (QSETREFV $ 171 (CONS (|dispatchFunction| |EXPR;asec;2$;51|) $))
            (QSETREFV $ 173 (CONS (|dispatchFunction| |EXPR;acsc;2$;52|) $))
            (QSETREFV $ 175 (CONS (|dispatchFunction| |EXPR;sinh;2$;53|) $))
            (QSETREFV $ 177 (CONS (|dispatchFunction| |EXPR;cosh;2$;54|) $))
            (QSETREFV $ 179 (CONS (|dispatchFunction| |EXPR;tanh;2$;55|) $))
            (QSETREFV $ 181 (CONS (|dispatchFunction| |EXPR;coth;2$;56|) $))
            (QSETREFV $ 183 (CONS (|dispatchFunction| |EXPR;sech;2$;57|) $))
            (QSETREFV $ 185 (CONS (|dispatchFunction| |EXPR;csch;2$;58|) $))
            (QSETREFV $ 187 (CONS (|dispatchFunction| |EXPR;asinh;2$;59|) $))
            (QSETREFV $ 189 (CONS (|dispatchFunction| |EXPR;acosh;2$;60|) $))
            (QSETREFV $ 191 (CONS (|dispatchFunction| |EXPR;atanh;2$;61|) $))
            (QSETREFV $ 193 (CONS (|dispatchFunction| |EXPR;acoth;2$;62|) $))
            (QSETREFV $ 195 (CONS (|dispatchFunction| |EXPR;asech;2$;63|) $))
            (QSETREFV $ 197 (CONS (|dispatchFunction| |EXPR;acsch;2$;64|) $))
            (QSETREFV $ 200 (CONS (|dispatchFunction| |EXPR;abs;2$;65|) $))
            (QSETREFV $ 202 (CONS (|dispatchFunction| |EXPR;Gamma;2$;66|) $))
            (QSETREFV $ 204 (CONS (|dispatchFunction| |EXPR;Gamma;3$;67|) $))
            (QSETREFV $ 206 (CONS (|dispatchFunction| |EXPR;Beta;3$;68|) $))
            (QSETREFV $ 208 (CONS (|dispatchFunction| |EXPR;digamma;2$;69|) $))
            (QSETREFV $ 210
                      (CONS (|dispatchFunction| |EXPR;polygamma;3$;70|) $))
            (QSETREFV $ 212 (CONS (|dispatchFunction| |EXPR;besselJ;3$;71|) $))
            (QSETREFV $ 214 (CONS (|dispatchFunction| |EXPR;besselY;3$;72|) $))
            (QSETREFV $ 216 (CONS (|dispatchFunction| |EXPR;besselI;3$;73|) $))
            (QSETREFV $ 218 (CONS (|dispatchFunction| |EXPR;besselK;3$;74|) $))
            (QSETREFV $ 220 (CONS (|dispatchFunction| |EXPR;airyAi;2$;75|) $))
            (QSETREFV $ 222 (CONS (|dispatchFunction| |EXPR;airyBi;2$;76|) $))
            (QSETREFV $ 83 (CONS (|dispatchFunction| |EXPR;^;3$;77|) $))
            (QSETREFV $ 226
                      (CONS (|dispatchFunction| |EXPR;factorial;2$;78|) $))
            (QSETREFV $ 228
                      (CONS (|dispatchFunction| |EXPR;binomial;3$;79|) $))
            (QSETREFV $ 230
                      (CONS (|dispatchFunction| |EXPR;permutation;3$;80|) $))
            (QSETREFV $ 232
                      (CONS (|dispatchFunction| |EXPR;factorials;2$;81|) $))
            (QSETREFV $ 234
                      (CONS (|dispatchFunction| |EXPR;factorials;$S$;82|) $))
            (QSETREFV $ 236
                      (CONS (|dispatchFunction| |EXPR;summation;$S$;83|) $))
            (QSETREFV $ 240
                      (CONS (|dispatchFunction| |EXPR;summation;$Sb$;84|) $))
            (QSETREFV $ 242
                      (CONS (|dispatchFunction| |EXPR;product;$S$;85|) $))
            (QSETREFV $ 244
                      (CONS (|dispatchFunction| |EXPR;product;$Sb$;86|) $))
            (QSETREFV $ 247 (CONS (|dispatchFunction| |EXPR;erf;2$;87|) $))
            (QSETREFV $ 249 (CONS (|dispatchFunction| |EXPR;Ei;2$;88|) $))
            (QSETREFV $ 251 (CONS (|dispatchFunction| |EXPR;Si;2$;89|) $))
            (QSETREFV $ 253 (CONS (|dispatchFunction| |EXPR;Ci;2$;90|) $))
            (QSETREFV $ 255 (CONS (|dispatchFunction| |EXPR;li;2$;91|) $))
            (QSETREFV $ 257 (CONS (|dispatchFunction| |EXPR;dilog;2$;92|) $))
            (QSETREFV $ 259
                      (CONS (|dispatchFunction| |EXPR;integral;$S$;93|) $))
            (QSETREFV $ 261
                      (CONS (|dispatchFunction| |EXPR;integral;$Sb$;94|) $))
            (QSETREFV $ 37
                      (CONS (|dispatchFunction| |EXPR;operator;2Bo;95|) $))
            (COND
             ((|HasCategory| |#1| '(|GcdDomain|))
              (PROGN
               (QSETREFV $ 292
                         (CONS
                          (|dispatchFunction| |EXPR;gcdPolynomial;3Sup;100|)
                          $))
               (QSETREFV $ 297
                         (CONS
                          (|dispatchFunction| |EXPR;factorPolynomial;SupF;101|)
                          $))
               (QSETREFV $ 299
                         (CONS
                          (|dispatchFunction|
                           |EXPR;squareFreePolynomial;SupF;102|)
                          $)))))
            (COND
             ((|domainEqual| |#1| (|AlgebraicNumber|))
              (QSETREFV $ 304
                        (CONS (|dispatchFunction| |EXPR;coerce;An$;103|) $))))
            (COND
             ((|testBitVector| |pv$| 11)
              (PROGN
               (QSETREFV $ 307 (CONS (|dispatchFunction| |EXPR;^;$F$;104|) $))
               (QSETREFV $ 272
                         (CONS (|dispatchFunction| |EXPR;minPoly;KSup;105|) $))
               (QSETREFV $ 310
                         (CONS
                          (|dispatchFunction| |EXPR;definingPolynomial;2$;106|)
                          $))
               (QSETREFV $ 312
                         (CONS (|dispatchFunction| |EXPR;retract;$F;107|) $))
               (QSETREFV $ 72
                         (CONS (|dispatchFunction| |EXPR;retractIfCan;$U;108|)
                               $))
               (COND ((|domainEqual| |#1| (|AlgebraicNumber|)))
                     ('T
                      (PROGN
                       (QSETREFV $ 304
                                 (CONS
                                  (|dispatchFunction| |EXPR;coerce;An$;109|)
                                  $))
                       (QSETREFV $ 328
                                 (CONS
                                  (|dispatchFunction|
                                   |EXPR;retractIfCan;$U;112|)
                                  $))))))))
            (COND
             ((|testBitVector| |pv$| 10)
              (PROGN
               (QSETREFV $ 350
                         (CONS (|dispatchFunction| |EXPR;convert;$If;116|) $))
               (QSETREFV $ 353
                         (CONS (|dispatchFunction| |EXPR;eval;$Bo$S$;117|) $))
               (QSETREFV $ 352
                         (CONS (|dispatchFunction| |EXPR;eval;$LLS$;118|)
                               $)))))
            (COND
             ((|testBitVector| |pv$| 13)
              (QSETREFV $ 376
                        (CONS
                         (|dispatchFunction| |EXPR;patternMatch;$P2Pmr;119|)
                         $))))
            (COND
             ((|testBitVector| |pv$| 12)
              (QSETREFV $ 382
                        (CONS
                         (|dispatchFunction| |EXPR;patternMatch;$P2Pmr;120|)
                         $))))))
          ('T
           (PROGN
            (SETELT $ 45 (|SparseMultivariatePolynomial| |#1| (|Kernel| $)))
            (QSETREFV $ 47
                      (CONS IDENTITY
                            (FUNCALL (|dispatchFunction| |EXPR;Zero;$;121|)
                                     $)))
            (QSETREFV $ 49
                      (CONS IDENTITY
                            (FUNCALL (|dispatchFunction| |EXPR;One;$;122|) $)))
            (QSETREFV $ 56 (CONS (|dispatchFunction| |EXPR;-;2$;123|) $))
            (QSETREFV $ 59 (CONS (|dispatchFunction| |EXPR;*;I2$;124|) $))
            (QSETREFV $ 63 (CONS (|dispatchFunction| |EXPR;*;3$;125|) $))
            (QSETREFV $ 65 (CONS (|dispatchFunction| |EXPR;+;3$;126|) $))
            (QSETREFV $ 97 (CONS (|dispatchFunction| |EXPR;=;2$B;127|) $))
            (QSETREFV $ 96
                      (CONS (|dispatchFunction| |EXPR;smaller?;2$B;128|) $))
            (QSETREFV $ 100
                      (CONS (|dispatchFunction| |EXPR;numer;$Smp;129|) $))
            (QSETREFV $ 104
                      (CONS (|dispatchFunction| |EXPR;coerce;Smp$;130|) $))
            (QSETREFV $ 106 (CONS (|dispatchFunction| |EXPR;coerce;P$;131|) $))
            (QSETREFV $ 127
                      (CONS (|dispatchFunction| |EXPR;reducedSystem;MM;132|)
                            $))
            (QSETREFV $ 135
                      (CONS (|dispatchFunction| |EXPR;reducedSystem;MVR;133|)
                            $))
            (COND
             ((|testBitVector| |pv$| 10)
              (QSETREFV $ 350
                        (CONS (|dispatchFunction| |EXPR;convert;$If;134|) $))))
            (COND
             ((|testBitVector| |pv$| 13)
              (PROGN
               (QSETREFV $ 376
                         (CONS
                          (|dispatchFunction| |EXPR;patternMatch;$P2Pmr;136|)
                          $)))))
            (COND
             ((|testBitVector| |pv$| 12)
              (PROGN
               (QSETREFV $ 382
                         (CONS
                          (|dispatchFunction| |EXPR;patternMatch;$P2Pmr;138|)
                          $))))))))))
       ((|HasCategory| |#1| '(|AbelianMonoid|))
        (PROGN
         (SETELT $ 45 (|FreeAbelianGroup| (|Kernel| $)))
         (QSETREFV $ 47
                   (CONS IDENTITY
                         (FUNCALL (|dispatchFunction| |EXPR;Zero;$;139|) $)))
         (QSETREFV $ 65 (CONS (|dispatchFunction| |EXPR;+;3$;140|) $))
         (QSETREFV $ 97 (CONS (|dispatchFunction| |EXPR;=;2$B;141|) $))
         (QSETREFV $ 96 (CONS (|dispatchFunction| |EXPR;smaller?;2$B;142|) $))
         (QSETREFV $ 398 (CONS (|dispatchFunction| |EXPR;coerce;K$;143|) $))
         (QSETREFV $ 75 (CONS (|dispatchFunction| |EXPR;kernels;$L;144|) $))
         (QSETREFV $ 329 (CONS (|dispatchFunction| |EXPR;coerce;R$;145|) $))
         (QSETREFV $ 404 (CONS (|dispatchFunction| |EXPR;retract;$R;146|) $))
         (QSETREFV $ 407 (CONS (|dispatchFunction| |EXPR;coerce;$Of;147|) $))
         (QSETREFV $ 417 (CONS (|dispatchFunction| |EXPR;isPlus;$U;150|) $))
         (QSETREFV $ 421 (CONS (|dispatchFunction| |EXPR;isMult;$U;151|) $))
         (QSETREFV $ 408 (CONS (|dispatchFunction| |EXPR;eval;$LL$;152|) $))
         (QSETREFV $ 413 (CONS (|dispatchFunction| |EXPR;subst;$LL$;153|) $))
         (QSETREFV $ 422
                   (CONS (|dispatchFunction| |EXPR;retractIfCan;$U;154|) $))
         (COND
          ((|testBitVector| |pv$| 28)
           (QSETREFV $ 56 (CONS (|dispatchFunction| |EXPR;-;2$;155|) $))))))
       ('T
        (PROGN
         (SETELT $ 45 (|Kernel| $))
         (QSETREFV $ 96 (CONS (|dispatchFunction| |EXPR;smaller?;2$B;156|) $))
         (QSETREFV $ 97 (CONS (|dispatchFunction| |EXPR;=;2$B;157|) $))
         (QSETREFV $ 398 (CONS (|dispatchFunction| |EXPR;coerce;K$;158|) $))
         (QSETREFV $ 75 (CONS (|dispatchFunction| |EXPR;kernels;$L;159|) $))
         (QSETREFV $ 329 (CONS (|dispatchFunction| |EXPR;coerce;R$;160|) $))
         (QSETREFV $ 404 (CONS (|dispatchFunction| |EXPR;retract;$R;161|) $))
         (QSETREFV $ 422
                   (CONS (|dispatchFunction| |EXPR;retractIfCan;$U;162|) $))
         (QSETREFV $ 407 (CONS (|dispatchFunction| |EXPR;coerce;$Of;163|) $))
         (QSETREFV $ 408 (CONS (|dispatchFunction| |EXPR;eval;$LL$;164|) $))
         (QSETREFV $ 413 (CONS (|dispatchFunction| |EXPR;subst;$LL$;165|) $))
         (COND
          ((|testBitVector| |pv$| 10)
           (QSETREFV $ 350
                     (CONS (|dispatchFunction| |EXPR;convert;$If;166|) $)))))))
      $)))) 

(MAKEPROP '|Expression| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) 'SYMBOL 'ALGOP (|Boolean|)
              (|BasicOperator|) |EXPR;belong?;BoB;1| (|Kernel| $)
              (0 . |retract|) (|Union| 6 '"failed") (|Kernel| $$)
              (|KernelFunctions2| 6 $$) (5 . |constantIfCan|)
              (|Union| 12 '#1="failed") (10 . |retractIfCan|)
              (|FunctionSpace&| $$ 6) (15 . |belong?|) (20 . |operator|)
              (|ExpressionSpace&| $$) (25 . |belong?|) (30 . |operator|)
              (35 . |nullary?|) (|Symbol|) (40 . |has?|) (46 . |name|)
              (51 . |kernel|) (56 . |operator|) (|Union| 35 '"failed")
              (61 . |arity|) (66 . |operator|) (|NonNegativeInteger|)
              (71 . |operator|) (77 . |operator|) (|List| 27)
              (|SparseMultivariatePolynomial| 6 27) (82 . |variables|)
              (|SparseMultivariatePolynomial| 6 15) (|List| 15)
              (|SparsePolynomialCoercionHelpers| 6 27 15)
              (87 . |remapvariables|) '|Rep| (94 . |Zero|) (98 . |Zero|)
              (102 . |One|) (106 . |One|) (110 . |One|) (114 . =)
              (120 . |one?|) (125 . |zero?|) (130 . |zero?|) (135 . -)
              (140 . -) (|Integer|) (145 . *) (151 . *) (157 . |coerce|)
              (162 . |coerce|) (167 . *) (173 . *) (179 . +) (185 . +)
              (191 . -) (197 . -) (203 . /) (209 . /) (215 . |ground?|)
              (|Union| 305 '#1#) (220 . |retractIfCan|) (225 . |number?|)
              (|List| 12) (230 . |kernels|) (235 . |is?|) (241 . |first|)
              (|List| $$) (246 . |argument|) (251 . |#|) (256 . |elt|)
              (262 . ^) (268 . ^) (274 . |first|) (279 . |second|)
              (284 . |simplifyPower|) (290 . |Zero|) (294 . |numerator|)
              (299 . |denominator|) (304 . ^) (310 . |One|) (314 . ^)
              (|PositiveInteger|) (320 . ^) (326 . |smaller?|)
              (332 . |smaller?|) (338 . =) (344 . |numer|)
              (|SparseMultivariatePolynomial| 6 12) (349 . |numer|)
              (354 . |denom|) (359 . |denom|) 'EREP (364 . |coerce|)
              (|Polynomial| 6) (369 . |coerce|) (|Fraction| 105)
              (374 . |numer|) (379 . |denom|) (384 . |coerce|) (389 . |reduce|)
              (|Mapping| 9 15) (394 . |select!|)
              (|AlgebraicManipulations| 6 $$) (400 . |ratDenom|) (406 . /)
              (412 . |variables|) (417 . /) (|Mapping| $$ $$) (|Matrix| $$)
              (423 . |map|) (|Matrix| 41) (|Matrix| $) (429 . |reducedSystem|)
              (|Matrix| 6) (434 . |reducedSystem|) (439 . |reducedSystem|)
              (|Vector| $$) (444 . |map|)
              (|Record| (|:| |mat| 122) (|:| |vec| (|Vector| 41))) (|Vector| $)
              (450 . |reducedSystem|)
              (|Record| (|:| |mat| 125) (|:| |vec| (|Vector| 6)))
              (456 . |reducedSystem|) (462 . |reducedSystem|) (468 . |member?|)
              (474 . |concat|) (|SparseUnivariatePolynomial| $$)
              (|AlgebraicFunction| 6 $$) (480 . |rootOf|)
              (|SparseUnivariatePolynomial| $) (486 . |rootOf|)
              (|ElementaryFunction| 6 $$) (492 . |pi|) (496 . |pi|)
              (500 . |exp|) (505 . |exp|) (510 . |log|) (515 . |log|)
              (520 . |sin|) (525 . |sin|) (530 . |cos|) (535 . |cos|)
              (540 . |tan|) (545 . |tan|) (550 . |cot|) (555 . |cot|)
              (560 . |sec|) (565 . |sec|) (570 . |csc|) (575 . |csc|)
              (580 . |asin|) (585 . |asin|) (590 . |acos|) (595 . |acos|)
              (600 . |atan|) (605 . |atan|) (610 . |acot|) (615 . |acot|)
              (620 . |asec|) (625 . |asec|) (630 . |acsc|) (635 . |acsc|)
              (640 . |sinh|) (645 . |sinh|) (650 . |cosh|) (655 . |cosh|)
              (660 . |tanh|) (665 . |tanh|) (670 . |coth|) (675 . |coth|)
              (680 . |sech|) (685 . |sech|) (690 . |csch|) (695 . |csch|)
              (700 . |asinh|) (705 . |asinh|) (710 . |acosh|) (715 . |acosh|)
              (720 . |atanh|) (725 . |atanh|) (730 . |acoth|) (735 . |acoth|)
              (740 . |asech|) (745 . |asech|) (750 . |acsch|) (755 . |acsch|)
              (|FunctionalSpecialFunction| 6 $$) (760 . |abs|) (765 . |abs|)
              (770 . |Gamma|) (775 . |Gamma|) (780 . |Gamma|) (786 . |Gamma|)
              (792 . |Beta|) (798 . |Beta|) (804 . |digamma|) (809 . |digamma|)
              (814 . |polygamma|) (820 . |polygamma|) (826 . |besselJ|)
              (832 . |besselJ|) (838 . |besselY|) (844 . |besselY|)
              (850 . |besselI|) (856 . |besselI|) (862 . |besselK|)
              (868 . |besselK|) (874 . |airyAi|) (879 . |airyAi|)
              (884 . |airyBi|) (889 . |airyBi|) (|CombinatorialFunction| 6 $$)
              (894 . ^) (900 . |factorial|) (905 . |factorial|)
              (910 . |binomial|) (916 . |binomial|) (922 . |permutation|)
              (928 . |permutation|) (934 . |factorials|) (939 . |factorials|)
              (944 . |factorials|) (950 . |factorials|) (956 . |summation|)
              (962 . |summation|) (|SegmentBinding| $$) (968 . |summation|)
              (|SegmentBinding| $) (974 . |summation|) (980 . |product|)
              (986 . |product|) (992 . |product|) (998 . |product|)
              (|LiouvillianFunction| 6 $$) (1004 . |erf|) (1009 . |erf|)
              (1014 . |Ei|) (1019 . |Ei|) (1024 . |Si|) (1029 . |Si|)
              (1034 . |Ci|) (1039 . |Ci|) (1044 . |li|) (1049 . |li|)
              (1054 . |dilog|) (1059 . |dilog|) (1064 . |integral|)
              (1070 . |integral|) (1076 . |integral|) (1082 . |integral|)
              (1088 . |belong?|) (1093 . |operator|) (1098 . |belong?|)
              (1103 . |operator|) (1108 . |belong?|) (1113 . |operator|)
              (1118 . |belong?|) (1123 . |operator|) (1128 . |belong?|)
              (1133 . |operator|) (1138 . |minPoly|) (|Fraction| 41)
              (1143 . |coerce|) (|Fraction| 278)
              (|PolynomialCategoryQuotientFunctions| 300 15 6 41 273)
              (1148 . |univariate|) (|SparseUnivariatePolynomial| 273)
              (1154 . |numer|) (1159 . |degree|) (1165 . |degree|)
              (1170 . |rem|) (1176 . |coerce|) (1181 . |elt|) (1187 . |Zero|)
              (1191 . =) (1197 . |leadingCoefficient|) (1202 . |reductum|)
              (1207 . |gcdPolynomial|) (|GcdDomain&| $$)
              (1213 . |gcdPolynomial|) (1219 . |gcdPolynomial|)
              (|Factored| 278) (|SupFractionFactorizer| 300 15 6 41)
              (1225 . |factor|) (|Factored| 141) (1230 . |factorPolynomial|)
              (1235 . |squareFree|) (1240 . |squareFreePolynomial|)
              (|IndexedExponents| 15) (1245 . |Zero|) (1249 . |monomial|)
              (|AlgebraicNumber|) (1255 . |coerce|) (|Fraction| 57) (1260 . ^)
              (1266 . ^) (1272 . |minPoly|) (1277 . |definingPolynomial|)
              (1282 . |definingPolynomial|) (1287 . |retract|)
              (1292 . |retract|) (1297 . |retractIfCan|)
              (|SparseMultivariatePolynomial| 57 12) (1302 . |numer|)
              (1307 . |denom|) (|Mapping| $$ 303) (|Kernel| 303)
              (|ExpressionSpaceFunctions2| 303 $$) (1312 . |map|)
              (|Mapping| $$ 318) (|Mapping| $$ 57)
              (|SparseMultivariatePolynomial| 57 318)
              (|PolynomialCategoryLifting| (|IndexedExponents| 318) 318 57 323
                                           $$)
              (1318 . |map|) (1325 . /) (|Union| 303 '"failed")
              (1331 . |retractIfCan|) (1336 . |coerce|) (1341 . |coerce|)
              (1346 . |belong?|) (1351 . |operator|) (|List| $) (1356 . |elt|)
              (|Union| 15 '"failed") (1362 . |mainVariable|)
              (1367 . |leadingCoefficient|) (1372 . |univariate|)
              (1378 . |Zero|) (|SparseUnivariatePolynomial| 41)
              (1382 . |ground?|) (1387 . |leadingCoefficient|)
              (1392 . |degree|) (1397 . ^) (1403 . *) (1409 . +)
              (1415 . |reductum|) (|InputForm|) (1420 . |convert|)
              (1425 . |convert|) (|List| 10) (1430 . |eval|) (1438 . |eval|)
              (1446 . |variables|) (1451 . |concat|)
              (1456 . |removeDuplicates|) (1461 . |scripted?|) (|Mapping| 9 27)
              (1466 . |select|) (|MakeUnaryCompiledFunction| $$ $$ $$)
              (1472 . |compiledFunction|) (|Mapping| $ $) (|List| 362)
              (1478 . |eval|) (1485 . |new|) (1489 . |coerce|) (|Equation| $$)
              (1494 . =) (|List| 449) (1500 . |subst|)
              (|PatternMatchResult| 57 $$) (|Pattern| 57)
              (|PatternMatchFunctionSpace| 57 6 $$) (1506 . |patternMatch|)
              (|PatternMatchResult| 57 $) (1513 . |patternMatch|)
              (|PatternMatchResult| (|Float|) $$) (|Pattern| (|Float|))
              (|PatternMatchFunctionSpace| (|Float|) 6 $$)
              (1520 . |patternMatch|) (|PatternMatchResult| (|Float|) $)
              (1527 . |patternMatch|) (1534 . |reducedSystem|)
              (1539 . |reducedSystem|) (|PatternMatchKernel| 57 $$)
              (1545 . |patternMatch|) (|PatternMatchResult| 57 45)
              (|Mapping| 387 15 372 387)
              (|PatternMatchPolynomialCategory| 57 300 15 6 45)
              (1552 . |patternMatch|) (|PatternMatchKernel| (|Float|) $$)
              (1560 . |patternMatch|) (|PatternMatchResult| (|Float|) 45)
              (|Mapping| 393 15 378 393)
              (|PatternMatchPolynomialCategory| (|Float|) 300 15 6 45)
              (1567 . |patternMatch|) (1575 . |coerce|) (1580 . |coerce|)
              (|Record| (|:| |gen| 15) (|:| |exp| 57)) (|List| 399)
              (1585 . |terms|) (1590 . |zero?|) (1595 . |constantKernel|)
              (1600 . |retract|) (|OutputForm|) (1605 . |coerce|)
              (1610 . |coerce|) (1615 . |eval|) (1622 . |map|)
              (|Mapping| $$ 15) (|ListToMap| 15 $$) (1628 . |match|)
              (1636 . |subst|) (1643 . |kernel|) (1649 . *)
              (|Union| 333 '#2="failed") (1655 . |isPlus|) (1660 . |first|)
              (|Record| (|:| |coef| 57) (|:| |var| 12)) (|Union| 419 '#2#)
              (1665 . |isMult|) (1670 . |retractIfCan|)
              (|Record| (|:| |mat| 424) (|:| |vec| (|Vector| 57)))
              (|Matrix| 57) (|Union| $ '"failed") (|Polynomial| $)
              (|Union| 107 '#1#) (|Fraction| 141) (|Polynomial| 431)
              (|Fraction| 429) (|Fraction| 6) (|Factored| $)
              (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))
              (|Record| (|:| |coef| 333) (|:| |generator| $))
              (|Record| (|:| |quotient| $) (|:| |remainder| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $))
              (|Union| 436 '"failed")
              (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $))
              (|Union| 57 '#1#) (|Union| 105 '#1#) (|List| 35)
              (|Mapping| $ 333) (|List| 442)
              (|Record| (|:| |val| $) (|:| |exponent| 57)) (|Union| 444 '#2#)
              (|Record| (|:| |var| 12) (|:| |exponent| 57)) (|Union| 446 '#2#)
              (|Union| 27 '#1#) (|Equation| $) (|SingleInteger|) (|String|))
           '#(~= 1675 |zerosOf| 1681 |zeroOf| 1708 |zero?| 1735 |variables|
              1740 |univariate| 1745 |unitNormal| 1751 |unitCanonical| 1756
              |unit?| 1761 |tower| 1766 |tanh| 1771 |tan| 1776 |summation| 1781
              |subtractIfCan| 1793 |subst| 1799 |squareFreePolynomial| 1818
              |squareFreePart| 1823 |squareFree| 1828 |sqrt| 1833 |smaller?|
              1838 |sizeLess?| 1844 |sinh| 1850 |sin| 1855 |simplifyPower| 1860
              |sech| 1866 |sec| 1871 |sample| 1876 |rootsOf| 1880 |rootOf| 1907
              |retractIfCan| 1934 |retract| 1974 |rem| 2014 |reducedSystem|
              2020 |reduce| 2042 |recip| 2047 |quo| 2052 |product| 2058
              |principalIdeal| 2070 |prime?| 2075 |polygamma| 2080 |pi| 2086
              |permutation| 2090 |patternMatch| 2096 |paren| 2110 |operators|
              2120 |operator| 2125 |one?| 2130 |odd?| 2135 |numerator| 2140
              |numer| 2145 |number?| 2150 |nthRoot| 2155 |multiEuclidean| 2161
              |minPoly| 2167 |map| 2172 |mainKernel| 2178 |log| 2183 |li| 2188
              |lcm| 2193 |latex| 2204 |kernels| 2209 |kernel| 2214 |isTimes|
              2226 |isPower| 2231 |isPlus| 2236 |isMult| 2241 |isExpt| 2246
              |is?| 2263 |inv| 2275 |integral| 2280 |height| 2292 |hash| 2297
              |ground?| 2302 |ground| 2307 |gcdPolynomial| 2312 |gcd| 2318
              |freeOf?| 2329 |factorials| 2341 |factorial| 2352
              |factorPolynomial| 2357 |factor| 2362 |extendedEuclidean| 2367
              |exquo| 2380 |expressIdealMember| 2386 |exp| 2392 |even?| 2397
              |eval| 2402 |euclideanSize| 2563 |erf| 2568 |elt| 2573 |divide|
              2609 |distribute| 2615 |dilog| 2626 |digamma| 2631
              |differentiate| 2636 |denominator| 2662 |denom| 2667
              |definingPolynomial| 2672 |csch| 2677 |csc| 2682 |coth| 2687
              |cot| 2692 |cosh| 2697 |cos| 2702 |convert| 2707 |conjugate| 2727
              |commutator| 2733 |coerce| 2739 |charthRoot| 2809
              |characteristic| 2814 |box| 2818 |binomial| 2828 |besselY| 2834
              |besselK| 2840 |besselJ| 2846 |besselI| 2852 |belong?| 2858
              |atanh| 2863 |atan| 2868 |associates?| 2873 |asinh| 2879 |asin|
              2884 |asech| 2889 |asec| 2894 |applyQuote| 2899 |airyBi| 2935
              |airyAi| 2940 |acsch| 2945 |acsc| 2950 |acoth| 2955 |acot| 2960
              |acosh| 2965 |acos| 2970 |abs| 2975 ^ 2980 |Zero| 3010 |Si| 3014
              |One| 3019 |Gamma| 3023 |Ei| 3034 D 3039 |Ci| 3065 |Beta| 3070 =
              3076 / 3082 - 3094 + 3105 * 3111)
           'NIL
           (CONS
            (|makeByteWordVec2| 33
                                '(1 0 1 1 1 1 1 1 1 1 1 1 4 2 1 1 1 4 5 6 2 7 2
                                  1 1 1 4 17 1 3 1 1 4 4 17 30 2 8 30 0 0 2 23
                                  29 0 23 12 13 1 29 0 0 0 0 1 1 0 0 0 0 0 0 0
                                  0 33 1 1 1 9 1 1 2 10 11 14 15 16 1 1 1 1 1 1
                                  1 1 1))
            (CONS
             '#(|AlgebraicallyClosedFunctionSpace&| |FunctionSpace&|
                |AlgebraicallyClosedField&| |Field&| |EuclideanDomain&|
                |UniqueFactorizationDomain&| NIL |GcdDomain&| |DivisionRing&|
                |IntegralDomain&| |Algebra&| |Algebra&| |Algebra&|
                |FullyLinearlyExplicitRingOver&| |Module&| NIL |Module&|
                |Module&| NIL NIL NIL NIL |PartialDifferentialRing&| NIL NIL
                NIL NIL |Ring&| NIL NIL NIL NIL NIL NIL NIL |AbelianGroup&| NIL
                |Group&| NIL |ExpressionSpace&| NIL NIL |Monoid&|
                |AbelianMonoid&| NIL |SemiGroup&| NIL NIL NIL
                |AbelianSemiGroup&| |SetCategory&| |FullyRetractableTo&| NIL
                |Evalable&| |TranscendentalFunctionCategory&| NIL |BasicType&|
                |RetractableTo&| NIL |RetractableTo&| |InnerEvalable&|
                |InnerEvalable&| |RetractableTo&| NIL |RetractableTo&|
                |RetractableTo&| NIL NIL NIL NIL NIL |RetractableTo&| NIL
                |RetractableTo&| NIL NIL |RetractableTo&| NIL NIL
                |TrigonometricFunctionCategory&|
                |ArcTrigonometricFunctionCategory&|
                |HyperbolicFunctionCategory&| NIL |ElementaryFunctionCategory&|
                NIL |RadicalCategory&|)
             (CONS
              '#((|AlgebraicallyClosedFunctionSpace| 6) (|FunctionSpace| 6)
                 (|AlgebraicallyClosedField|) (|Field|) (|EuclideanDomain|)
                 (|UniqueFactorizationDomain|) (|PrincipalIdealDomain|)
                 (|GcdDomain|) (|DivisionRing|) (|IntegralDomain|)
                 (|Algebra| $$) (|Algebra| 305) (|Algebra| 6)
                 (|FullyLinearlyExplicitRingOver| 6) (|Module| $$)
                 (|EntireRing|) (|Module| 305) (|Module| 6)
                 (|CharacteristicNonZero|) (|CharacteristicZero|)
                 (|LinearlyExplicitRingOver| 6) (|LinearlyExplicitRingOver| 57)
                 (|PartialDifferentialRing| 27) (|CommutativeRing|)
                 (|BiModule| $$ $$) (|BiModule| 305 305) (|BiModule| 6 6)
                 (|Ring|) (|RightModule| $$) (|LeftModule| $$)
                 (|LeftModule| 305) (|RightModule| 305) (|LeftModule| 6)
                 (|RightModule| 6) (|Rng|) (|AbelianGroup|) (|SemiRing|)
                 (|Group|) (|CancellationAbelianMonoid|) (|ExpressionSpace|)
                 (|FullyPatternMatchable| 6) (|SemiRng|) (|Monoid|)
                 (|AbelianMonoid|) (|Comparable|) (|SemiGroup|)
                 (|PatternMatchable| (|Float|)) (|PatternMatchable| 57)
                 (|LiouvillianFunctionCategory|) (|AbelianSemiGroup|)
                 (|SetCategory|) (|FullyRetractableTo| 6) (|Patternable| 6)
                 (|Evalable| $$) (|TranscendentalFunctionCategory|)
                 (|CombinatorialOpsCategory|) (|BasicType|) (|RetractableTo| 6)
                 (|Type|) (|RetractableTo| 27) (|InnerEvalable| $$ $$)
                 (|InnerEvalable| 15 $$) (|RetractableTo| 15)
                 (|CoercibleTo| 405) (|RetractableTo| 305)
                 (|RetractableTo| (|Fraction| (|Polynomial| 6)))
                 (|CommutativeStar|) (|noZeroDivisors|) (|unitsKnown|)
                 (|canonicalUnitNormal|) (|canonicalsClosed|)
                 (|RetractableTo| (|Polynomial| 6)) (|ConvertibleTo| 348)
                 (|RetractableTo| 57) (|ConvertibleTo| 378)
                 (|ConvertibleTo| 372) (|RetractableTo| 303)
                 (|SpecialFunctionCategory|) (|PrimitiveFunctionCategory|)
                 (|TrigonometricFunctionCategory|)
                 (|ArcTrigonometricFunctionCategory|)
                 (|HyperbolicFunctionCategory|)
                 (|ArcHyperbolicFunctionCategory|)
                 (|ElementaryFunctionCategory|)
                 (|CombinatorialFunctionCategory|) (|RadicalCategory|))
              (|makeByteWordVec2| 451
                                  '(1 0 12 0 13 1 16 14 15 17 1 0 18 0 19 1 20
                                    9 10 21 1 20 10 10 22 1 23 9 10 24 1 23 10
                                    10 25 1 10 9 0 26 2 10 9 0 27 28 1 10 27 0
                                    29 1 15 0 27 30 1 15 10 0 31 1 10 32 0 33 1
                                    10 0 27 34 2 10 0 27 35 36 1 0 10 10 37 1
                                    39 38 0 40 3 43 41 39 38 42 44 0 45 0 46 0
                                    0 0 47 0 45 0 48 0 0 0 49 0 6 0 50 2 45 9 0
                                    0 51 1 0 9 0 52 1 45 9 0 53 1 0 9 0 54 1 45
                                    0 0 55 1 0 0 0 56 2 45 0 57 0 58 2 0 0 57 0
                                    59 1 45 0 57 60 1 0 0 57 61 2 45 0 0 0 62 2
                                    0 0 0 0 63 2 45 0 0 0 64 2 0 0 0 0 65 2 45
                                    0 0 0 66 2 0 0 0 0 67 2 45 0 0 0 68 2 0 0 0
                                    0 69 1 0 9 0 70 1 0 71 0 72 1 0 9 0 73 1 0
                                    74 0 75 2 0 9 0 27 76 1 42 15 0 77 1 15 78
                                    0 79 1 78 35 0 80 2 78 2 0 57 81 2 45 0 0
                                    57 82 2 0 0 0 0 83 1 78 2 0 84 1 78 2 0 85
                                    2 0 0 0 57 86 0 6 0 87 1 0 0 0 88 1 0 0 0
                                    89 2 0 0 0 35 90 0 41 0 91 2 0 0 0 57 92 2
                                    0 0 0 93 94 2 45 9 0 0 95 2 0 9 0 0 96 2 0
                                    9 0 0 97 1 45 41 0 98 1 0 99 0 100 1 45 41
                                    0 101 1 0 99 0 102 1 0 0 99 104 1 0 0 105
                                    106 1 107 105 0 108 1 107 105 0 109 1 0 0
                                    107 110 1 0 0 0 111 2 42 0 112 0 113 2 114
                                    2 2 42 115 2 45 0 41 41 116 1 41 42 0 117 2
                                    0 0 99 99 118 2 120 0 119 0 121 1 45 122
                                    123 124 1 41 125 123 126 1 0 125 123 127 2
                                    128 0 119 0 129 2 45 130 123 131 132 2 41
                                    133 123 131 134 2 0 133 123 131 135 2 42 9
                                    15 0 136 2 42 0 15 0 137 2 139 2 138 27 140
                                    2 0 0 141 27 142 0 143 2 144 0 0 0 145 1
                                    143 2 2 146 1 0 0 0 147 1 143 2 2 148 1 0 0
                                    0 149 1 143 2 2 150 1 0 0 0 151 1 143 2 2
                                    152 1 0 0 0 153 1 143 2 2 154 1 0 0 0 155 1
                                    143 2 2 156 1 0 0 0 157 1 143 2 2 158 1 0 0
                                    0 159 1 143 2 2 160 1 0 0 0 161 1 143 2 2
                                    162 1 0 0 0 163 1 143 2 2 164 1 0 0 0 165 1
                                    143 2 2 166 1 0 0 0 167 1 143 2 2 168 1 0 0
                                    0 169 1 143 2 2 170 1 0 0 0 171 1 143 2 2
                                    172 1 0 0 0 173 1 143 2 2 174 1 0 0 0 175 1
                                    143 2 2 176 1 0 0 0 177 1 143 2 2 178 1 0 0
                                    0 179 1 143 2 2 180 1 0 0 0 181 1 143 2 2
                                    182 1 0 0 0 183 1 143 2 2 184 1 0 0 0 185 1
                                    143 2 2 186 1 0 0 0 187 1 143 2 2 188 1 0 0
                                    0 189 1 143 2 2 190 1 0 0 0 191 1 143 2 2
                                    192 1 0 0 0 193 1 143 2 2 194 1 0 0 0 195 1
                                    143 2 2 196 1 0 0 0 197 1 198 2 2 199 1 0 0
                                    0 200 1 198 2 2 201 1 0 0 0 202 2 198 2 2 2
                                    203 2 0 0 0 0 204 2 198 2 2 2 205 2 0 0 0 0
                                    206 1 198 2 2 207 1 0 0 0 208 2 198 2 2 2
                                    209 2 0 0 0 0 210 2 198 2 2 2 211 2 0 0 0 0
                                    212 2 198 2 2 2 213 2 0 0 0 0 214 2 198 2 2
                                    2 215 2 0 0 0 0 216 2 198 2 2 2 217 2 0 0 0
                                    0 218 1 198 2 2 219 1 0 0 0 220 1 198 2 2
                                    221 1 0 0 0 222 2 223 2 2 2 224 1 223 2 2
                                    225 1 0 0 0 226 2 223 2 2 2 227 2 0 0 0 0
                                    228 2 223 2 2 2 229 2 0 0 0 0 230 1 223 2 2
                                    231 1 0 0 0 232 2 223 2 2 27 233 2 0 0 0 27
                                    234 2 223 2 2 27 235 2 0 0 0 27 236 2 223 2
                                    2 237 238 2 0 0 0 239 240 2 223 2 2 27 241
                                    2 0 0 0 27 242 2 223 2 2 237 243 2 0 0 0
                                    239 244 1 245 2 2 246 1 0 0 0 247 1 245 2 2
                                    248 1 0 0 0 249 1 245 2 2 250 1 0 0 0 251 1
                                    245 2 2 252 1 0 0 0 253 1 245 2 2 254 1 0 0
                                    0 255 1 245 2 2 256 1 0 0 0 257 2 245 2 2
                                    27 258 2 0 0 0 27 259 2 245 2 2 237 260 2 0
                                    0 0 239 261 1 139 9 10 262 1 139 10 10 263
                                    1 143 9 10 264 1 143 10 10 265 1 223 9 10
                                    266 1 223 10 10 267 1 245 9 10 268 1 245 10
                                    10 269 1 198 9 10 270 1 198 10 10 271 1 0
                                    141 12 272 1 273 0 41 274 2 276 275 273 15
                                    277 1 275 278 0 279 2 41 35 0 15 280 1 138
                                    35 0 281 2 138 0 0 0 282 1 41 0 15 283 2
                                    278 273 0 273 284 0 138 0 285 2 138 9 0 0
                                    286 1 138 2 0 287 1 138 0 0 288 2 45 141
                                    141 141 289 2 290 141 141 141 291 2 0 141
                                    141 141 292 1 294 293 278 295 1 0 296 141
                                    297 1 294 293 278 298 1 0 296 141 299 0 300
                                    0 301 2 41 0 6 300 302 1 0 0 303 304 2 139
                                    2 2 305 306 2 0 0 0 305 307 1 139 138 15
                                    308 1 139 2 2 309 1 0 0 0 310 1 45 305 0
                                    311 1 0 305 0 312 1 45 71 0 313 1 303 314 0
                                    315 1 303 314 0 316 2 319 2 317 318 320 3
                                    324 2 321 322 323 325 2 303 0 0 0 326 1 0
                                    327 0 328 1 0 0 6 329 1 303 0 305 330 1 303
                                    9 10 331 1 303 10 10 332 2 303 0 10 333 334
                                    1 41 335 0 336 1 41 6 0 337 2 41 141 0 15
                                    338 0 303 0 339 1 340 9 0 341 1 340 41 0
                                    342 1 340 35 0 343 2 303 0 0 35 344 2 303 0
                                    0 0 345 2 303 0 0 0 346 1 340 0 0 347 1 45
                                    348 0 349 1 0 348 0 350 4 0 0 0 351 333 27
                                    352 4 0 0 0 10 0 27 353 1 0 38 0 354 1 38 0
                                    333 355 1 38 0 0 356 1 27 9 0 357 2 38 0
                                    358 0 359 2 360 119 2 27 361 3 0 0 0 351
                                    363 364 0 27 0 365 1 0 0 27 366 2 367 0 2 2
                                    368 2 0 0 0 369 370 3 373 371 2 372 371 374
                                    3 0 375 0 372 375 376 3 379 377 2 378 377
                                    380 3 0 381 0 378 381 382 1 45 125 123 383
                                    2 45 133 123 131 384 3 385 371 15 372 371
                                    386 4 389 387 45 372 387 388 390 3 391 377
                                    15 378 377 392 4 395 393 45 378 393 394 396
                                    1 45 0 15 397 1 0 0 12 398 1 45 400 0 401 1
                                    6 9 0 402 1 16 15 6 403 1 0 6 0 404 1 45
                                    405 0 406 1 0 405 0 407 3 0 0 0 74 333 408
                                    2 0 0 362 12 409 4 411 2 42 78 15 410 412 3
                                    0 0 0 74 333 413 2 0 0 10 333 414 2 45 0 57
                                    15 415 1 0 416 0 417 1 400 399 0 418 1 0
                                    420 0 421 1 0 14 0 422 2 0 9 0 0 1 1 1 333
                                    426 1 2 1 333 141 27 1 1 1 333 141 1 1 1
                                    333 0 1 2 1 333 0 27 1 1 1 0 141 1 1 1 0
                                    426 1 2 1 0 141 27 1 1 1 0 0 1 2 1 0 0 27 1
                                    1 27 9 0 54 1 0 38 0 354 2 1 428 0 12 1 1 1
                                    433 0 1 1 1 0 0 1 1 1 9 0 1 1 0 74 0 1 1 1
                                    0 0 179 1 1 0 0 155 2 1 0 0 239 240 2 1 0 0
                                    27 236 2 31 425 0 0 1 3 0 0 0 74 333 413 2
                                    0 0 0 449 1 2 0 0 0 369 370 1 18 296 141
                                    299 1 1 0 0 1 1 1 432 0 1 1 1 0 0 1 2 0 9 0
                                    0 96 2 1 9 0 0 1 1 1 0 0 175 1 1 0 0 151 2
                                    1 0 0 57 86 1 1 0 0 183 1 1 0 0 159 0 26 0
                                    1 1 1 333 426 1 2 1 333 141 27 1 1 1 333
                                    141 1 1 1 333 0 1 2 1 333 0 27 1 1 1 0 426
                                    1 1 1 0 141 1 2 1 0 141 27 142 1 1 0 0 1 2
                                    1 0 0 27 1 1 16 327 0 328 1 33 71 0 72 1 1
                                    427 0 1 1 11 439 0 1 1 2 440 0 1 1 0 14 0
                                    422 1 0 448 0 1 1 0 18 0 19 1 16 303 0 1 1
                                    33 305 0 312 1 1 107 0 1 1 11 57 0 1 1 2
                                    105 0 1 1 0 6 0 404 1 0 27 0 1 1 0 12 0 13
                                    2 1 0 0 0 1 2 20 423 123 131 1 1 20 424 123
                                    1 2 2 133 123 131 135 1 2 125 123 127 1 1 0
                                    0 111 1 24 425 0 1 2 1 0 0 0 1 2 1 0 0 239
                                    244 2 1 0 0 27 242 1 1 434 333 1 1 1 9 0 1
                                    2 1 0 0 0 210 0 1 0 145 2 1 0 0 0 230 3 12
                                    381 0 378 381 382 3 13 375 0 372 375 376 1
                                    0 0 333 1 1 0 0 0 1 1 0 351 0 1 1 0 10 10
                                    37 1 24 9 0 52 1 37 9 0 1 1 2 0 0 88 1 2 99
                                    0 100 1 1 9 0 73 2 1 0 0 57 1 2 1 416 333 0
                                    1 1 36 141 12 272 2 0 0 362 12 409 1 0 18 0
                                    1 1 1 0 0 149 1 1 0 0 255 1 1 0 333 1 2 1 0
                                    0 0 1 1 0 451 0 1 1 0 74 0 75 2 0 0 10 333
                                    414 2 0 0 10 0 1 1 22 416 0 1 1 2 445 0 1 1
                                    25 416 0 417 1 25 420 0 421 2 2 447 0 10 1
                                    2 2 447 0 27 1 1 22 447 0 1 2 0 9 0 27 76 2
                                    0 9 0 10 1 1 19 0 0 1 2 1 0 0 27 259 2 1 0
                                    0 239 261 1 0 35 0 1 1 0 450 0 1 1 0 9 0 70
                                    1 0 6 0 1 2 1 141 141 141 292 1 1 0 333 1 2
                                    1 0 0 0 1 2 0 9 0 0 1 2 0 9 0 27 1 2 1 0 0
                                    27 234 1 1 0 0 232 1 1 0 0 226 1 18 296 141
                                    297 1 1 432 0 1 3 1 437 0 0 0 1 2 1 438 0 0
                                    1 2 1 425 0 0 1 2 1 416 333 0 1 1 1 0 0 147
                                    1 37 9 0 1 4 10 0 0 351 333 27 352 1 10 0 0
                                    1 4 10 0 0 10 0 27 353 2 10 0 0 27 1 2 10 0
                                    0 38 1 4 2 0 0 27 35 362 1 4 2 0 0 38 441
                                    443 1 4 2 0 0 27 35 442 1 4 2 0 0 38 441
                                    363 1 3 0 0 0 10 442 1 3 0 0 0 10 362 1 3 0
                                    0 0 351 363 364 3 0 0 0 351 443 1 3 0 0 0
                                    27 442 1 3 0 0 0 27 362 1 3 0 0 0 38 363 1
                                    3 0 0 0 38 443 1 3 0 0 0 0 0 1 3 0 0 0 333
                                    333 1 2 0 0 0 369 1 2 0 0 0 449 1 3 0 0 0
                                    12 0 1 3 0 0 0 74 333 408 1 1 35 0 1 1 1 0
                                    0 247 2 0 0 10 333 1 4 0 0 10 0 0 0 1 5 0 0
                                    10 0 0 0 0 1 2 0 0 10 0 1 3 0 0 10 0 0 1 2
                                    1 435 0 0 1 2 0 0 0 0 1 1 0 0 0 1 1 1 0 0
                                    257 1 1 0 0 208 2 2 0 0 38 1 2 2 0 0 27 1 3
                                    2 0 0 38 441 1 3 2 0 0 27 35 1 1 1 0 0 89 1
                                    1 99 0 102 1 36 0 0 310 1 1 0 0 185 1 1 0 0
                                    161 1 1 0 0 181 1 1 0 0 157 1 1 0 0 177 1 1
                                    0 0 153 1 10 348 0 350 1 14 378 0 1 1 15
                                    372 0 1 1 1 0 432 1 2 8 0 0 0 1 2 8 0 0 0 1
                                    1 16 0 303 304 1 34 0 305 1 1 21 0 57 61 1
                                    1 0 107 110 1 1 0 429 1 1 1 0 430 1 1 1 0
                                    431 1 1 1 0 0 1 1 2 0 105 106 1 2 0 99 104
                                    1 0 0 6 329 1 0 0 27 366 1 0 0 12 398 1 0
                                    405 0 407 1 5 425 0 1 0 2 35 1 1 0 0 333 1
                                    1 0 0 0 1 2 1 0 0 0 228 2 1 0 0 0 214 2 1 0
                                    0 0 218 2 1 0 0 0 212 2 1 0 0 0 216 1 0 9
                                    10 11 1 1 0 0 191 1 1 0 0 167 2 1 9 0 0 1 1
                                    1 0 0 187 1 1 0 0 163 1 1 0 0 195 1 1 0 0
                                    171 5 0 0 27 0 0 0 0 1 2 0 0 27 333 1 3 0 0
                                    27 0 0 1 4 0 0 27 0 0 0 1 2 0 0 27 0 1 1 1
                                    0 0 222 1 1 0 0 220 1 1 0 0 197 1 1 0 0 173
                                    1 1 0 0 193 1 1 0 0 169 1 1 0 0 189 1 1 0 0
                                    165 1 1 0 0 200 2 24 0 0 93 94 2 24 0 0 35
                                    90 2 19 0 0 57 92 2 1 0 0 305 307 2 1 0 0 0
                                    83 0 27 0 47 1 1 0 0 251 0 24 0 49 2 1 0 0
                                    0 204 1 1 0 0 202 1 1 0 0 249 2 2 0 0 38 1
                                    2 2 0 0 27 1 3 2 0 0 38 441 1 3 2 0 0 27 35
                                    1 1 1 0 0 253 2 1 0 0 0 206 2 0 9 0 0 97 2
                                    19 0 0 0 69 2 1 0 99 99 118 1 31 0 0 56 2
                                    31 0 0 0 67 2 27 0 0 0 65 2 24 0 0 0 63 2
                                    31 0 57 0 59 2 27 0 93 0 1 2 27 0 35 0 1 2
                                    4 0 0 6 1 2 4 0 6 0 1 2 1 0 305 0 1 2 1 0 0
                                    305 1)))))
           '|lookupComplete|)) 
