
(/VERSIONCHECK 2) 

(DEFUN |ITRIGMNP;GR2F| (|g| $)
  (SPADCALL (SPADCALL (SPADCALL |g| (QREFELT $ 11)) (QREFELT $ 12))
      (SPADCALL
          (SPADCALL (SPADCALL (|spadConstant| $ 13) (QREFELT $ 14))
              (QREFELT $ 15))
          (SPADCALL (SPADCALL |g| (QREFELT $ 16)) (QREFELT $ 12))
          (QREFELT $ 17))
      (QREFELT $ 18))) 

(DEFUN |ITRIGMNP;KG2F| (|k| $)
  (SPADCALL (ELT $ 19) |k| (QREFELT $ 23))) 

(DEFUN |ITRIGMNP;FG2F;FGF;3| (|f| $)
  (SPADCALL (|ITRIGMNP;PG2F| (SPADCALL |f| (QREFELT $ 25)) $)
      (|ITRIGMNP;PG2F| (SPADCALL |f| (QREFELT $ 26)) $) (QREFELT $ 27))) 

(DEFUN |ITRIGMNP;F2FG;FFG;4| (|f| $)
  (SPADCALL (CONS #'|ITRIGMNP;F2FG;FFG;4!0| $) |f| (QREFELT $ 31))) 

(DEFUN |ITRIGMNP;F2FG;FFG;4!0| (|#1| $)
  (SPADCALL |#1| (QREFELT $ 28))) 

(DEFUN |ITRIGMNP;GF2FG;CFG;5| (|f| $)
  (SPADCALL (SPADCALL (SPADCALL |f| (QREFELT $ 34)) (QREFELT $ 32))
      (SPADCALL
          (SPADCALL
              (SPADCALL (|spadConstant| $ 35) (|spadConstant| $ 37)
                  (QREFELT $ 38))
              (QREFELT $ 39))
          (SPADCALL (SPADCALL |f| (QREFELT $ 40)) (QREFELT $ 32))
          (QREFELT $ 41))
      (QREFELT $ 42))) 

(DEFUN |ITRIGMNP;GR2GF| (|gr| $)
  (SPADCALL (SPADCALL (SPADCALL |gr| (QREFELT $ 11)) (QREFELT $ 12))
      (SPADCALL (SPADCALL |gr| (QREFELT $ 16)) (QREFELT $ 12))
      (QREFELT $ 44))) 

(DEFUN |ITRIGMNP;ker2explogs| (|k| |l| |lx| $)
  (PROG (#0=#:G1873 |v| |kf| #1=#:G1874 #2=#:G1875 |a| #3=#:G1876
            |args| |im| |z| |e|)
    (RETURN
      (SEQ (COND
             ((OR (NULL (PROGN
                          (LETT #0# NIL . #4=(|ITRIGMNP;ker2explogs|))
                          (SEQ (LETT |v| NIL . #4#)
                               (LETT #1#
                                     (SPADCALL
                                      (LETT |kf|
                                       (SPADCALL |k| (QREFELT $ 46)) . #4#)
                                      (QREFELT $ 48)) . #4#)
                               G190
                               (COND
                                 ((OR (ATOM #1#)
                                      (PROGN
                                        (LETT |v| (CAR #1#) . #4#)
                                        NIL))
                                  #5=(GO G191)))
                               (SEQ (EXIT
                                     (COND
                                       ((SPADCALL |v| |lx|
                                         (QREFELT $ 51))
                                        (LETT #0# (CONS |v| #0#) . #4#)))))
                               (LETT #1# (CDR #1#) . #4#) #6=(GO G190)
                               G191 (EXIT (NREVERSE0 #0#)))))
                  (NULL (LETT |args|
                              (PROGN
                                (LETT #2# NIL . #4#)
                                (SEQ (LETT |a| NIL . #4#)
                                     (LETT #3#
                                      (SPADCALL |k| (QREFELT $ 53)) . #4#)
                                     G190
                                     (COND
                                       ((OR (ATOM #3#)
                                         (PROGN
                                           (LETT |a| (CAR #3#) . #4#)
                                           NIL))
                                        #5#))
                                     (SEQ
                                      (EXIT
                                       (LETT #2#
                                        (CONS
                                         (SPADCALL |a| |l| |lx|
                                          (QREFELT $ 55))
                                         #2#) . #4#)))
                                     (LETT #3# (CDR #3#) . #4#) #6#
                                     G191 (EXIT (NREVERSE0 #2#)))) . #4#)))
              |kf|)
             ('T
              (SEQ (LETT |im|
                         (SPADCALL
                             (SPADCALL (|spadConstant| $ 35)
                                 (|spadConstant| $ 37) (QREFELT $ 38))
                             (QREFELT $ 39)) . #4#)
                   (LETT |z| (|SPADfirst| |args|) . #4#)
                   (EXIT (COND
                           ((SPADCALL |k|
                                (SPADCALL "tan" (QREFELT $ 57))
                                (QREFELT $ 58))
                            (SEQ (LETT |e|
                                       (COND
                                         ((SPADCALL |k| |l|
                                           (QREFELT $ 59))
                                          (SPADCALL
                                           (SPADCALL
                                            (SPADCALL |im| |z|
                                             (QREFELT $ 41))
                                            (QREFELT $ 60))
                                           2 (QREFELT $ 62)))
                                         ('T
                                          (SPADCALL
                                           (SPADCALL
                                            (SPADCALL 2 |im|
                                             (QREFELT $ 64))
                                            |z| (QREFELT $ 41))
                                           (QREFELT $ 60)))) . #4#)
                                 (EXIT (SPADCALL
                                        (SPADCALL
                                         (SPADCALL |im|
                                          (SPADCALL |e|
                                           (|spadConstant| $ 65)
                                           (QREFELT $ 66))
                                          (QREFELT $ 41))
                                         (SPADCALL |e|
                                          (|spadConstant| $ 65)
                                          (QREFELT $ 42))
                                         (QREFELT $ 67))
                                        (QREFELT $ 68)))))
                           ((SPADCALL |k|
                                (SPADCALL "atan" (QREFELT $ 57))
                                (QREFELT $ 58))
                            (SPADCALL
                                (SPADCALL |im|
                                    (SPADCALL
                                     (SPADCALL
                                      (SPADCALL (|spadConstant| $ 65)
                                       (SPADCALL |im| |z|
                                        (QREFELT $ 41))
                                       (QREFELT $ 66))
                                      (SPADCALL (|spadConstant| $ 65)
                                       (SPADCALL |im| |z|
                                        (QREFELT $ 41))
                                       (QREFELT $ 42))
                                      (QREFELT $ 67))
                                     (QREFELT $ 69))
                                    (QREFELT $ 41))
                                (SPADCALL 2 (QREFELT $ 70))
                                (QREFELT $ 67)))
                           ('T
                            (SPADCALL (SPADCALL |k| (QREFELT $ 72))
                                |args| (QREFELT $ 74)))))))))))) 

(DEFUN |ITRIGMNP;trigs2explogs;FGLLFG;8| (|f| |l| |lx| $)
  (SPADCALL
      (|ITRIGMNP;smp2explogs| (SPADCALL |f| (QREFELT $ 25)) |l| |lx| $)
      (|ITRIGMNP;smp2explogs| (SPADCALL |f| (QREFELT $ 26)) |l| |lx| $)
      (QREFELT $ 67))) 

(DEFUN |ITRIGMNP;ker2trigs| (|op| |arg| $)
  (PROG (#0=#:G1913 #1=#:G1880 #2=#:G1878 #3=#:G1879 #4=#:G1914 |x|
            #5=#:G1915 |a|)
    (RETURN
      (SEQ (COND
             ((PROGN
                (LETT #3# NIL . #6=(|ITRIGMNP;ker2trigs|))
                (SEQ (LETT |x| NIL . #6#) (LETT #0# |arg| . #6#) G190
                     (COND
                       ((OR (ATOM #0#)
                            (PROGN (LETT |x| (CAR #0#) . #6#) NIL))
                        #7=(GO G191)))
                     (SEQ (EXIT (PROGN
                                  (LETT #1#
                                        (SPADCALL
                                         (SPADCALL |x| (QREFELT $ 40))
                                         (QREFELT $ 75)) . #6#)
                                  (COND
                                    (#3#
                                     (LETT #2#
                                      (COND (#2# #1#) ('T 'NIL)) . #6#))
                                    ('T
                                     (PROGN
                                       (LETT #2# #1# . #6#)
                                       (LETT #3# 'T . #6#)))))))
                     (LETT #0# (CDR #0#) . #6#) #8=(GO G190) G191
                     (EXIT NIL))
                (COND (#3# #2#) ('T 'T)))
              (SPADCALL
                  (SPADCALL |op|
                      (PROGN
                        (LETT #4# NIL . #6#)
                        (SEQ (LETT |x| NIL . #6#)
                             (LETT #5# |arg| . #6#) G190
                             (COND
                               ((OR (ATOM #5#)
                                    (PROGN
                                      (LETT |x| (CAR #5#) . #6#)
                                      NIL))
                                #7#))
                             (SEQ (EXIT (LETT #4#
                                         (CONS
                                          (SPADCALL |x| (QREFELT $ 34))
                                          #4#) . #6#)))
                             (LETT #5# (CDR #5#) . #6#) #8# G191
                             (EXIT (NREVERSE0 #4#))))
                      (QREFELT $ 76))
                  (|spadConstant| $ 36) (QREFELT $ 44)))
             ('T
              (SEQ (LETT |a| (|SPADfirst| |arg|) . #6#)
                   (EXIT (COND
                           ((SPADCALL |op|
                                (SPADCALL "exp" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 78)))
                           ((SPADCALL |op|
                                (SPADCALL "log" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 79)))
                           ((SPADCALL |op|
                                (SPADCALL "sin" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 80)))
                           ((SPADCALL |op|
                                (SPADCALL "cos" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 81)))
                           ((SPADCALL |op|
                                (SPADCALL "tan" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 82)))
                           ((SPADCALL |op|
                                (SPADCALL "cot" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 83)))
                           ((SPADCALL |op|
                                (SPADCALL "sec" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 84)))
                           ((SPADCALL |op|
                                (SPADCALL "csc" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 85)))
                           ((SPADCALL |op|
                                (SPADCALL "asin" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 86)))
                           ((SPADCALL |op|
                                (SPADCALL "acos" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 87)))
                           ((SPADCALL |op|
                                (SPADCALL "atan" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 88)))
                           ((SPADCALL |op|
                                (SPADCALL "acot" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 89)))
                           ((SPADCALL |op|
                                (SPADCALL "asec" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 90)))
                           ((SPADCALL |op|
                                (SPADCALL "acsc" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 91)))
                           ((SPADCALL |op|
                                (SPADCALL "sinh" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 92)))
                           ((SPADCALL |op|
                                (SPADCALL "cosh" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 93)))
                           ((SPADCALL |op|
                                (SPADCALL "tanh" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 94)))
                           ((SPADCALL |op|
                                (SPADCALL "coth" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 95)))
                           ((SPADCALL |op|
                                (SPADCALL "sech" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 96)))
                           ((SPADCALL |op|
                                (SPADCALL "csch" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 97)))
                           ((SPADCALL |op|
                                (SPADCALL "asinh" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 98)))
                           ((SPADCALL |op|
                                (SPADCALL "acosh" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 99)))
                           ((SPADCALL |op|
                                (SPADCALL "atanh" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 100)))
                           ((SPADCALL |op|
                                (SPADCALL "acoth" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 101)))
                           ((SPADCALL |op|
                                (SPADCALL "asech" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 102)))
                           ((SPADCALL |op|
                                (SPADCALL "acsch" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL |a| (QREFELT $ 103)))
                           ((SPADCALL |op|
                                (SPADCALL "abs" (QREFELT $ 57))
                                (QREFELT $ 77))
                            (SPADCALL
                                (SPADCALL
                                    (SPADCALL |a| (QREFELT $ 104))
                                    (QREFELT $ 15))
                                (QREFELT $ 105)))
                           ('T
                            (SEQ (COND
                                   ((QREFELT $ 9)
                                    (COND
                                      ((SPADCALL |op|
                                        (SPADCALL "nthRoot"
                                         (QREFELT $ 57))
                                        (QREFELT $ 77))
                                       (EXIT
                                        (SPADCALL |a|
                                         (SPADCALL
                                          (SPADCALL |arg|
                                           (QREFELT $ 107))
                                          (QREFELT $ 108))
                                         (QREFELT $ 109)))))))
                                 (EXIT (|error|
                                        "ker2trigs: cannot convert kernel to gaussian function"))))))))))))) 

(DEFUN |ITRIGMNP;sup2trigs| (|p| |f| $)
  (SPADCALL
      (SPADCALL (CONS (|function| |ITRIGMNP;smp2trigs|) $) |p|
          (QREFELT $ 114))
      |f| (QREFELT $ 115))) 

(DEFUN |ITRIGMNP;smp2trigs| (|p| $)
  (SPADCALL (CONS #'|ITRIGMNP;smp2trigs!0| $)
      (CONS (|function| |ITRIGMNP;GR2GF|) $) |p| (QREFELT $ 121))) 

(DEFUN |ITRIGMNP;smp2trigs!0| (|#1| $)
  (SPADCALL (SPADCALL |#1| (QREFELT $ 46)) (QREFELT $ 116))) 

(DEFUN |ITRIGMNP;explogs2trigs;FGC;12| (|f| $)
  (PROG (|m| |k| |op| #0=#:G1932 |x| #1=#:G1933 |arg| |num| |den| |e|
             |y| |gi| |b| |g|)
    (RETURN
      (SEQ (LETT |m| (SPADCALL |f| (QREFELT $ 123))
                 . #2=(|ITRIGMNP;explogs2trigs;FGC;12|))
           (EXIT (COND
                   ((QEQCAR |m| 1)
                    (SPADCALL
                        (|ITRIGMNP;GR2GF|
                            (SPADCALL (SPADCALL |f| (QREFELT $ 25))
                                (QREFELT $ 124))
                            $)
                        (|ITRIGMNP;GR2GF|
                            (SPADCALL (SPADCALL |f| (QREFELT $ 26))
                                (QREFELT $ 124))
                            $)
                        (QREFELT $ 125)))
                   ('T
                    (SEQ (LETT |op|
                               (SPADCALL
                                   (SPADCALL
                                    (LETT |k| (QCDR |m|) . #2#)
                                    (QREFELT $ 72))
                                   (QREFELT $ 126)) . #2#)
                         (LETT |arg|
                               (PROGN
                                 (LETT #0# NIL . #2#)
                                 (SEQ (LETT |x| NIL . #2#)
                                      (LETT #1#
                                       (SPADCALL |k| (QREFELT $ 53)) . #2#)
                                      G190
                                      (COND
                                        ((OR (ATOM #1#)
                                          (PROGN
                                            (LETT |x| (CAR #1#) . #2#)
                                            NIL))
                                         (GO G191)))
                                      (SEQ
                                       (EXIT
                                        (LETT #0#
                                         (CONS
                                          (SPADCALL |x|
                                           (QREFELT $ 116))
                                          #0#) . #2#)))
                                      (LETT #1# (CDR #1#) . #2#)
                                      (GO G190) G191
                                      (EXIT (NREVERSE0 #0#)))) . #2#)
                         (LETT |num|
                               (SPADCALL (SPADCALL |f| (QREFELT $ 25))
                                   |k| (QREFELT $ 128)) . #2#)
                         (LETT |den|
                               (SPADCALL (SPADCALL |f| (QREFELT $ 26))
                                   |k| (QREFELT $ 128)) . #2#)
                         (EXIT (COND
                                 ((SPADCALL |op|
                                      (SPADCALL "exp" (QREFELT $ 57))
                                      (QREFELT $ 77))
                                  (SEQ (LETT |e|
                                        (SPADCALL
                                         (SPADCALL (|SPADfirst| |arg|)
                                          (QREFELT $ 34))
                                         (QREFELT $ 129)) . #2#)
                                       (LETT |y|
                                        (SPADCALL (|SPADfirst| |arg|)
                                         (QREFELT $ 40)) . #2#)
                                       (LETT |g|
                                        (SPADCALL
                                         (SPADCALL |e|
                                          (SPADCALL |y|
                                           (QREFELT $ 130))
                                          (QREFELT $ 17))
                                         (SPADCALL |e|
                                          (SPADCALL |y|
                                           (QREFELT $ 131))
                                          (QREFELT $ 17))
                                         (QREFELT $ 44)) . #2#)
                                       (LETT |gi|
                                        (SPADCALL
                                         (SPADCALL
                                          (SPADCALL |y|
                                           (QREFELT $ 130))
                                          |e| (QREFELT $ 27))
                                         (SPADCALL
                                          (SPADCALL
                                           (SPADCALL |y|
                                            (QREFELT $ 131))
                                           |e| (QREFELT $ 27))
                                          (QREFELT $ 14))
                                         (QREFELT $ 44)) . #2#)
                                       (EXIT
                                        (SPADCALL
                                         (|ITRIGMNP;supexp| |num| |g|
                                          |gi|
                                          (LETT |b|
                                           (QUOTIENT2
                                            (SPADCALL |num|
                                             (QREFELT $ 133))
                                            2) . #2#)
                                          $)
                                         (|ITRIGMNP;supexp| |den| |g|
                                          |gi| |b| $)
                                         (QREFELT $ 125)))))
                                 ('T
                                  (SPADCALL
                                      (|ITRIGMNP;sup2trigs| |num|
                                       (LETT |g|
                                        (|ITRIGMNP;ker2trigs| |op|
                                         |arg| $) . #2#)
                                       $)
                                      (|ITRIGMNP;sup2trigs| |den| |g|
                                       $)
                                      (QREFELT $ 125))))))))))))) 

(DEFUN |ITRIGMNP;supexp| (|p| |f1| |f2| |bse| $)
  (PROG (|g| |d| |ans|)
    (RETURN
      (SEQ (LETT |ans| (|spadConstant| $ 134) . #0=(|ITRIGMNP;supexp|))
           (SEQ G190
                (COND
                  ((NULL (COND
                           ((SPADCALL |p| (|spadConstant| $ 135)
                                (QREFELT $ 136))
                            'NIL)
                           ('T 'T)))
                   (GO G191)))
                (SEQ (LETT |g|
                           (SPADCALL
                               (SPADCALL (SPADCALL |p| (QREFELT $ 137))
                                   (QREFELT $ 138))
                               (QREFELT $ 116)) . #0#)
                     (SEQ (LETT |d|
                                (- (SPADCALL |p| (QREFELT $ 133))
                                   |bse|) . #0#)
                          (EXIT (COND
                                  ((< |d| 0)
                                   (LETT |ans|
                                    (SPADCALL |ans|
                                     (SPADCALL |g|
                                      (SPADCALL |f2| (- |d|)
                                       (QREFELT $ 139))
                                      (QREFELT $ 140))
                                     (QREFELT $ 141)) . #0#))
                                  ('T
                                   (LETT |ans|
                                    (SPADCALL |ans|
                                     (SPADCALL |g|
                                      (SPADCALL |f1| |d|
                                       (QREFELT $ 139))
                                      (QREFELT $ 140))
                                     (QREFELT $ 141)) . #0#)))))
                     (EXIT (LETT |p|
                                 (SPADCALL |p| (QREFELT $ 142)) . #0#)))
                NIL (GO G190) G191 (EXIT NIL))
           (EXIT |ans|))))) 

(DEFUN |ITRIGMNP;PG2F| (|p| $)
  (SPADCALL (CONS (|function| |ITRIGMNP;KG2F|) $)
      (CONS (|function| |ITRIGMNP;GR2F|) $) |p| (QREFELT $ 146))) 

(DEFUN |ITRIGMNP;smp2explogs| (|p| |l| |lx| $)
  (SPADCALL (CONS #'|ITRIGMNP;smp2explogs!0| (VECTOR $ |lx| |l|))
      (CONS #'|ITRIGMNP;smp2explogs!1| $) |p| (QREFELT $ 150))) 

(DEFUN |ITRIGMNP;smp2explogs!1| (|#1| $)
  (SPADCALL |#1| (QREFELT $ 39))) 

(DEFUN |ITRIGMNP;smp2explogs!0| (|#1| $$)
  (|ITRIGMNP;ker2explogs| |#1| (QREFELT $$ 2) (QREFELT $$ 1)
      (QREFELT $$ 0))) 

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

(DEFUN |InnerTrigonometricManipulations;| (|#1| |#2| |#3|)
  (PROG (DV$1 DV$2 DV$3 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|)
              . #0=(|InnerTrigonometricManipulations|))
        (LETT DV$2 (|devaluate| |#2|) . #0#)
        (LETT DV$3 (|devaluate| |#3|) . #0#)
        (LETT |dv$|
              (LIST '|InnerTrigonometricManipulations| DV$1 DV$2 DV$3) . #0#)
        (LETT $ (GETREFV 151) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
        (|haddProp| |$ConstructorCache|
            '|InnerTrigonometricManipulations| (LIST DV$1 DV$2 DV$3)
            (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 7 |#2|)
        (QSETREFV $ 8 |#3|)
        (QSETREFV $ 9
            (COND
              ((|HasCategory| |#1| '(|RetractableTo| (|Integer|)))
               (|HasCategory| |#2| '(|RadicalCategory|)))
              ('T 'NIL)))
        $)))) 

(MAKEPROP '|InnerTrigonometricManipulations| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             (|local| |#3|) '|nth| (|Complex| 6) (0 . |real|)
             (5 . |coerce|) (10 . |One|) (14 . -) (19 . |sqrt|)
             (24 . |imag|) (29 . *) (35 . +) |ITRIGMNP;FG2F;FGF;3|
             (|Mapping| 7 8) (|Kernel| 8)
             (|ExpressionSpaceFunctions2| 8 7) (41 . |map|)
             (|SparseMultivariatePolynomial| 10 45) (47 . |numer|)
             (52 . |denom|) (57 . /) (63 . |coerce|) (|Mapping| 10 6)
             (|FunctionSpaceFunctions2| 6 7 10 8) (68 . |map|)
             |ITRIGMNP;F2FG;FFG;4| (|Complex| 7) (74 . |real|)
             (79 . |Zero|) (83 . |Zero|) (87 . |One|) (91 . |complex|)
             (97 . |coerce|) (102 . |imag|) (107 . *) (113 . +)
             |ITRIGMNP;GF2FG;CFG;5| (119 . |complex|) (|Kernel| $)
             (125 . |coerce|) (|List| 50) (130 . |variables|)
             (|Boolean|) (|Symbol|) (135 . |member?|) (|List| 8)
             (141 . |argument|) (|List| 21)
             |ITRIGMNP;trigs2explogs;FGLLFG;8| (|String|)
             (146 . |coerce|) (151 . |is?|) (157 . |member?|)
             (163 . |exp|) (|Integer|) (168 . **) (|PositiveInteger|)
             (174 . *) (180 . |One|) (184 . -) (190 . /) (196 . -)
             (201 . |log|) (206 . |coerce|) (|BasicOperator|)
             (211 . |operator|) (|List| $) (216 . |elt|)
             (222 . |zero?|) (227 . |elt|) (233 . |is?|) (239 . |exp|)
             (244 . |log|) (249 . |sin|) (254 . |cos|) (259 . |tan|)
             (264 . |cot|) (269 . |sec|) (274 . |csc|) (279 . |asin|)
             (284 . |acos|) (289 . |atan|) (294 . |acot|)
             (299 . |asec|) (304 . |acsc|) (309 . |sinh|)
             (314 . |cosh|) (319 . |tanh|) (324 . |coth|)
             (329 . |sech|) (334 . |csch|) (339 . |asinh|)
             (344 . |acosh|) (349 . |atanh|) (354 . |acoth|)
             (359 . |asech|) (364 . |acsch|) (369 . |norm|)
             (374 . |coerce|) (|List| 33) (379 . |second|)
             (384 . |retract|) (389 . |nthRoot|)
             (|SparseUnivariatePolynomial| 33) (|Mapping| 33 119)
             (|SparseUnivariatePolynomial| 119)
             (|SparseUnivariatePolynomialFunctions2| 119 33)
             (395 . |map|) (401 . |elt|)
             |ITRIGMNP;explogs2trigs;FGC;12| (|Mapping| 33 21)
             (|Mapping| 33 10) (|SparseMultivariatePolynomial| 10 21)
             (|PolynomialCategoryLifting| (|IndexedExponents| 21) 21 10
                 119 33)
             (407 . |map|) (|Union| 45 '"failed") (414 . |mainKernel|)
             (419 . |retract|) (424 . /) (430 . |operator|)
             (|SparseUnivariatePolynomial| $) (435 . |univariate|)
             (441 . |exp|) (446 . |cos|) (451 . |sin|)
             (|NonNegativeInteger|) (456 . |degree|) (461 . |Zero|)
             (465 . |Zero|) (469 . =) (475 . |leadingCoefficient|)
             (480 . |coerce|) (485 . **) (491 . *) (497 . +)
             (503 . |reductum|) (|Mapping| 7 21) (|Mapping| 7 10)
             (|PolynomialCategoryLifting| (|IndexedExponents| 21) 21 10
                 119 7)
             (508 . |map|) (|Mapping| 8 21) (|Mapping| 8 10)
             (|PolynomialCategoryLifting| (|IndexedExponents| 21) 21 10
                 119 8)
             (515 . |map|))
          '#(|trigs2explogs| 522 |explogs2trigs| 529 GF2FG 534 FG2F 539
             F2FG 544)
          'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 150
                                '(1 10 6 0 11 1 7 0 6 12 0 7 0 13 1 7 0
                                  0 14 1 7 0 0 15 1 10 6 0 16 2 7 0 0 0
                                  17 2 7 0 0 0 18 2 22 7 20 21 23 1 8
                                  24 0 25 1 8 24 0 26 2 7 0 0 0 27 1 10
                                  0 6 28 2 30 8 29 7 31 1 33 7 0 34 0 6
                                  0 35 0 7 0 36 0 6 0 37 2 10 0 6 6 38
                                  1 8 0 10 39 1 33 7 0 40 2 8 0 0 0 41
                                  2 8 0 0 0 42 2 33 0 7 7 44 1 8 0 45
                                  46 1 8 47 0 48 2 47 49 50 0 51 1 21
                                  52 0 53 1 50 0 56 57 2 21 49 0 50 58
                                  2 54 49 21 0 59 1 8 0 0 60 2 8 0 0 61
                                  62 2 8 0 63 0 64 0 8 0 65 2 8 0 0 0
                                  66 2 8 0 0 0 67 1 8 0 0 68 1 8 0 0 69
                                  1 8 0 61 70 1 21 71 0 72 2 8 0 71 73
                                  74 1 7 49 0 75 2 7 0 71 73 76 2 71 49
                                  0 50 77 1 33 0 0 78 1 33 0 0 79 1 33
                                  0 0 80 1 33 0 0 81 1 33 0 0 82 1 33 0
                                  0 83 1 33 0 0 84 1 33 0 0 85 1 33 0 0
                                  86 1 33 0 0 87 1 33 0 0 88 1 33 0 0
                                  89 1 33 0 0 90 1 33 0 0 91 1 33 0 0
                                  92 1 33 0 0 93 1 33 0 0 94 1 33 0 0
                                  95 1 33 0 0 96 1 33 0 0 97 1 33 0 0
                                  98 1 33 0 0 99 1 33 0 0 100 1 33 0 0
                                  101 1 33 0 0 102 1 33 0 0 103 1 33 7
                                  0 104 1 33 0 7 105 1 106 33 0 107 1
                                  33 61 0 108 2 33 0 0 61 109 2 113 110
                                  111 112 114 2 110 33 0 33 115 3 120
                                  33 117 118 119 121 1 8 122 0 123 1
                                  119 10 0 124 2 33 0 0 0 125 1 7 71 71
                                  126 2 119 127 0 21 128 1 7 0 0 129 1
                                  7 0 0 130 1 7 0 0 131 1 112 132 0 133
                                  0 33 0 134 0 112 0 135 2 112 49 0 0
                                  136 1 112 119 0 137 1 8 0 24 138 2 33
                                  0 0 61 139 2 33 0 0 0 140 2 33 0 0 0
                                  141 1 112 0 0 142 3 145 7 143 144 119
                                  146 3 149 8 147 148 119 150 3 0 8 8
                                  54 47 55 1 0 33 8 116 1 0 8 33 43 1 0
                                  7 8 19 1 0 8 7 32)))))
          '|lookupComplete|)) 
