
(/VERSIONCHECK 2) 

(DEFUN |TRIGMNIP;K2KG| (|k| $)
  (SPADCALL
      (SPADCALL (SPADCALL (|SPADfirst| (SPADCALL |k| (QREFELT $ 21)))
                    (QREFELT $ 24))
                (QREFELT $ 25))
      (QREFELT $ 27))) 

(DEFUN |TRIGMNIP;real?;FB;2| (|f| $)
  (NULL (QCAR (|TRIGMNIP;complexKernels| |f| $)))) 

(DEFUN |TRIGMNIP;real;2F;3| (|f| $)
  (SPADCALL (SPADCALL |f| (QREFELT $ 31)) (QREFELT $ 32))) 

(DEFUN |TRIGMNIP;imag;2F;4| (|f| $)
  (SPADCALL (SPADCALL |f| (QREFELT $ 31)) (QREFELT $ 34))) 

(DEFUN |TRIGMNIP;complexKernels| (|f| $)
  (PROG (|k| #0=#:G1841 |u| |lk| |lv|)
    (RETURN
      (SEQ (LETT |lk| NIL . #1=(|TRIGMNIP;complexKernels|))
           (LETT |lv| NIL . #1#)
           (SEQ (LETT |k| NIL . #1#)
                (LETT #0# (SPADCALL |f| (QREFELT $ 37)) . #1#) G190
                (COND
                  ((OR (ATOM #0#)
                       (PROGN (LETT |k| (CAR #0#) . #1#) NIL))
                   (GO G191)))
                (SEQ (LETT |u| (|TRIGMNIP;kcomplex| |k| $) . #1#)
                     (EXIT (COND
                             ((QEQCAR |u| 0)
                              (SEQ (LETT |lk| (CONS |k| |lk|) . #1#)
                                   (EXIT
                                    (LETT |lv|
                                     (CONS (QCDR |u|) |lv|) . #1#)))))))
                (LETT #0# (CDR #0#) . #1#) (GO G190) G191 (EXIT NIL))
           (EXIT (CONS |lk| |lv|)))))) 

(DEFUN |TRIGMNIP;kcomplex| (|k| $)
  (PROG (|op| |arg| |n| #0=#:G1853 |a| |u| #1=#:G1856)
    (RETURN
      (SEQ (LETT |op| (SPADCALL |k| (QREFELT $ 39))
                 . #2=(|TRIGMNIP;kcomplex|))
           (EXIT (COND
                   ((SPADCALL |k| (SPADCALL "nthRoot" (QREFELT $ 10))
                        (QREFELT $ 40))
                    (SEQ (EXIT (SEQ (LETT |arg|
                                     (SPADCALL |k| (QREFELT $ 21)) . #2#)
                                    (COND
                                      ((SPADCALL
                                        (SPADCALL
                                         (LETT |n|
                                          (SPADCALL |arg|
                                           (QREFELT $ 41)) . #2#)
                                         (QREFELT $ 43))
                                        (QREFELT $ 44))
                                       (SEQ
                                        (LETT |u|
                                         (SPADCALL (|SPADfirst| |arg|)
                                          (QREFELT $ 47)) . #2#)
                                        (EXIT
                                         (COND
                                           ((QEQCAR |u| 0)
                                            (COND
                                              ((< (QCDR |u|) 0)
                                               (PROGN
                                                 (LETT #0#
                                                  (CONS 0
                                                   (SPADCALL
                                                    (SPADCALL |op|
                                                     (QREFELT $ 15)
                                                     (SPADCALL |n|
                                                      (SPADCALL 2
                                                       (QREFELT $ 48))
                                                      (QREFELT $ 49))
                                                     (QREFELT $ 50))
                                                    (SPADCALL |op|
                                                     (SPADCALL
                                                      (|SPADfirst|
                                                       |arg|)
                                                      (QREFELT $ 13))
                                                     |n|
                                                     (QREFELT $ 50))
                                                    (QREFELT $ 17))) . #2#)
                                                 (GO #0#))))))))))
                                    (EXIT (CONS 1 "failed"))))
                         #0# (EXIT #0#)))
                   ('T
                    (SEQ (EXIT (SEQ (COND
                                      ((SPADCALL |k|
                                        (SPADCALL "log" (QREFELT $ 10))
                                        (QREFELT $ 40))
                                       (SEQ
                                        (LETT |u|
                                         (SPADCALL
                                          (LETT |a|
                                           (|SPADfirst|
                                            (SPADCALL |k|
                                             (QREFELT $ 21))) . #2#)
                                          (QREFELT $ 47)) . #2#)
                                        (EXIT
                                         (COND
                                           ((QEQCAR |u| 0)
                                            (COND
                                              ((< (QCDR |u|) 0)
                                               (PROGN
                                                 (LETT #1#
                                                  (CONS 0
                                                   (SPADCALL
                                                    (SPADCALL |op|
                                                     (SPADCALL |a|
                                                      (QREFELT $ 13))
                                                     (QREFELT $ 51))
                                                    (QREFELT $ 18)
                                                    (QREFELT $ 52))) . #2#)
                                                 (GO #1#))))))))))
                                    (EXIT (CONS 1 "failed"))))
                         #1# (EXIT #1#))))))))) 

(DEFUN |TRIGMNIP;complexForm;FC;7| (|f| $)
  (PROG (|l|)
    (RETURN
      (COND
        ((NULL (QCAR (LETT |l| (|TRIGMNIP;complexKernels| |f| $)
                           |TRIGMNIP;complexForm;FC;7|)))
         (SPADCALL |f| (|spadConstant| $ 54) (QREFELT $ 55)))
        ('T
         (SPADCALL
             (|TRIGMNIP;locexplogs|
                 (SPADCALL |f| (QCAR |l|) (QCDR |l|) (QREFELT $ 57)) $)
             (QREFELT $ 58))))))) 

(DEFUN |TRIGMNIP;locexplogs| (|f| $)
  (PROG (|g|)
    (RETURN
      (COND
        ((SPADCALL
             (CONS #'|TRIGMNIP;locexplogs!0| (VECTOR $ (QREFELT $ 11)))
             (SPADCALL
                 (LETT |g| (SPADCALL |f| (QREFELT $ 61))
                       |TRIGMNIP;locexplogs|)
                 (QREFELT $ 63))
             (QREFELT $ 65))
         (|TRIGMNIP;localexplogs| |f| |g| (SPADCALL |g| (QREFELT $ 67))
             $))
        ('T (SPADCALL |g| (QREFELT $ 24))))))) 

(DEFUN |TRIGMNIP;locexplogs!0| (|#1| $$)
  (SPADCALL |#1| (QREFELT $$ 1) (QREFELT (QREFELT $$ 0) 59))) 

(DEFUN |TRIGMNIP;complexNormalize;FSF;9| (|f| |x| $)
  (PROG (#0=#:G1873 |k| |g| #1=#:G1874)
    (RETURN
      (SEQ (COND
             ((SPADCALL
                  (CONS #'|TRIGMNIP;complexNormalize;FSF;9!0|
                        (VECTOR (QREFELT $ 11) $))
                  (PROGN
                    (LETT #0# NIL
                          . #2=(|TRIGMNIP;complexNormalize;FSF;9|))
                    (SEQ (LETT |k| NIL . #2#)
                         (LETT #1#
                               (SPADCALL
                                   (LETT |g|
                                    (SPADCALL |f| |x| (QREFELT $ 68)) . #2#)
                                   (QREFELT $ 37)) . #2#)
                         G190
                         (COND
                           ((OR (ATOM #1#)
                                (PROGN (LETT |k| (CAR #1#) . #2#) NIL))
                            (GO G191)))
                         (SEQ (EXIT (COND
                                      ((SPADCALL |x|
                                        (SPADCALL
                                         (SPADCALL |k| (QREFELT $ 69))
                                         (QREFELT $ 67))
                                        (QREFELT $ 70))
                                       (LETT #0# (CONS |k| #0#) . #2#)))))
                         (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                         (EXIT (NREVERSE0 #0#))))
                  (QREFELT $ 73))
              (SPADCALL
                  (QVELT (SPADCALL
                             (|TRIGMNIP;localexplogs| |f| |g|
                                 (LIST |x|) $)
                             |x| (QREFELT $ 76))
                         0)
                  (QREFELT $ 77)))
             ('T (QVELT (SPADCALL |g| |x| (QREFELT $ 79)) 0))))))) 

(DEFUN |TRIGMNIP;complexNormalize;FSF;9!0| (|#1| $$)
  (PROG ($)
    (LETT $ (QREFELT $$ 1) |TRIGMNIP;complexNormalize;FSF;9|)
    (RETURN
      (PROGN
        (SPADCALL (SPADCALL |#1| (QREFELT $ 39)) (QREFELT $$ 0)
            (QREFELT $ 59)))))) 

(DEFUN |TRIGMNIP;complexNormalize;2F;10| (|f| $)
  (PROG (|l| #0=#:G1883 |h| |x| #1=#:G1884 |g|)
    (RETURN
      (SEQ (LETT |l|
                 (SPADCALL
                     (LETT |g| (SPADCALL |f| (QREFELT $ 61))
                           . #2=(|TRIGMNIP;complexNormalize;2F;10|))
                     (QREFELT $ 67)) . #2#)
           (EXIT (COND
                   ((SPADCALL
                        (CONS #'|TRIGMNIP;complexNormalize;2F;10!0|
                              (VECTOR $ (QREFELT $ 11)))
                        (SPADCALL |g| (QREFELT $ 63)) (QREFELT $ 65))
                    (SEQ (LETT |h|
                               (|TRIGMNIP;localexplogs| |f| |g| |l| $) . #2#)
                         (SEQ (LETT |x| NIL . #2#) (LETT #0# |l| . #2#)
                              G190
                              (COND
                                ((OR (ATOM #0#)
                                     (PROGN
                                       (LETT |x| (CAR #0#) . #2#)
                                       NIL))
                                 #3=(GO G191)))
                              (SEQ (EXIT
                                    (LETT |h|
                                     (QVELT
                                      (SPADCALL |h| |x| (QREFELT $ 76))
                                      0) . #2#)))
                              (LETT #0# (CDR #0#) . #2#) #4=(GO G190)
                              G191 (EXIT NIL))
                         (EXIT (SPADCALL |h| (QREFELT $ 77)))))
                   ('T
                    (SEQ (SEQ (LETT |x| NIL . #2#) (LETT #1# |l| . #2#)
                              G190
                              (COND
                                ((OR (ATOM #1#)
                                     (PROGN
                                       (LETT |x| (CAR #1#) . #2#)
                                       NIL))
                                 #3#))
                              (SEQ (EXIT
                                    (LETT |g|
                                     (QVELT
                                      (SPADCALL |g| |x| (QREFELT $ 79))
                                      0) . #2#)))
                              (LETT #1# (CDR #1#) . #2#) #4# G191
                              (EXIT NIL))
                         (EXIT |g|))))))))) 

(DEFUN |TRIGMNIP;complexNormalize;2F;10!0| (|#1| $$)
  (SPADCALL |#1| (QREFELT $$ 1) (QREFELT (QREFELT $$ 0) 59))) 

(DEFUN |TRIGMNIP;complexElementary;FSF;11| (|f| |x| $)
  (PROG (#0=#:G1888 |k| |g| #1=#:G1889)
    (RETURN
      (SEQ (COND
             ((SPADCALL
                  (CONS #'|TRIGMNIP;complexElementary;FSF;11!0|
                        (VECTOR (QREFELT $ 11) $))
                  (PROGN
                    (LETT #0# NIL
                          . #2=(|TRIGMNIP;complexElementary;FSF;11|))
                    (SEQ (LETT |k| NIL . #2#)
                         (LETT #1#
                               (SPADCALL
                                   (LETT |g|
                                    (SPADCALL |f| |x| (QREFELT $ 68)) . #2#)
                                   (QREFELT $ 37)) . #2#)
                         G190
                         (COND
                           ((OR (ATOM #1#)
                                (PROGN (LETT |k| (CAR #1#) . #2#) NIL))
                            (GO G191)))
                         (SEQ (EXIT (COND
                                      ((SPADCALL |x|
                                        (SPADCALL
                                         (SPADCALL |k| (QREFELT $ 69))
                                         (QREFELT $ 67))
                                        (QREFELT $ 70))
                                       (LETT #0# (CONS |k| #0#) . #2#)))))
                         (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                         (EXIT (NREVERSE0 #0#))))
                  (QREFELT $ 73))
              (SPADCALL (|TRIGMNIP;localexplogs| |f| |g| (LIST |x|) $)
                  (QREFELT $ 77)))
             ('T |g|)))))) 

(DEFUN |TRIGMNIP;complexElementary;FSF;11!0| (|#1| $$)
  (PROG ($)
    (LETT $ (QREFELT $$ 1) |TRIGMNIP;complexElementary;FSF;11|)
    (RETURN
      (PROGN
        (SPADCALL (SPADCALL |#1| (QREFELT $ 39)) (QREFELT $$ 0)
            (QREFELT $ 59)))))) 

(DEFUN |TRIGMNIP;complexElementary;2F;12| (|f| $)
  (PROG (|g|)
    (RETURN
      (COND
        ((SPADCALL
             (CONS #'|TRIGMNIP;complexElementary;2F;12!0|
                   (VECTOR $ (QREFELT $ 11)))
             (SPADCALL
                 (LETT |g| (SPADCALL |f| (QREFELT $ 61))
                       |TRIGMNIP;complexElementary;2F;12|)
                 (QREFELT $ 63))
             (QREFELT $ 65))
         (SPADCALL
             (|TRIGMNIP;localexplogs| |f| |g|
                 (SPADCALL |g| (QREFELT $ 67)) $)
             (QREFELT $ 77)))
        ('T |g|))))) 

(DEFUN |TRIGMNIP;complexElementary;2F;12!0| (|#1| $$)
  (SPADCALL |#1| (QREFELT $$ 1) (QREFELT (QREFELT $$ 0) 59))) 

(DEFUN |TRIGMNIP;localexplogs| (|f| |g| |lx| $)
  (PROG (#0=#:G1895 |k| #1=#:G1896)
    (RETURN
      (SEQ (SPADCALL (SPADCALL |g| (QREFELT $ 24))
               (PROGN
                 (LETT #0# NIL . #2=(|TRIGMNIP;localexplogs|))
                 (SEQ (LETT |k| NIL . #2#)
                      (LETT #1# (SPADCALL |f| (QREFELT $ 37)) . #2#)
                      G190
                      (COND
                        ((OR (ATOM #1#)
                             (PROGN (LETT |k| (CAR #1#) . #2#) NIL))
                         (GO G191)))
                      (SEQ (EXIT (COND
                                   ((COND
                                      ((SPADCALL |k|
                                        (SPADCALL "tan" (QREFELT $ 10))
                                        (QREFELT $ 40))
                                       'T)
                                      ('T
                                       (SPADCALL |k|
                                        (SPADCALL "cot" (QREFELT $ 10))
                                        (QREFELT $ 40))))
                                    (LETT #0#
                                     (CONS (|TRIGMNIP;K2KG| |k| $) #0#) . #2#)))))
                      (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                      (EXIT (NREVERSE0 #0#))))
               |lx| (QREFELT $ 85)))))) 

(DEFUN |TRIGMNIP;trigs;2F;14| (|f| $)
  (PROG (|g|)
    (RETURN
      (SEQ (COND
             ((SPADCALL |f| (QREFELT $ 29)) |f|)
             ('T
              (SEQ (LETT |g|
                         (SPADCALL (SPADCALL |f| (QREFELT $ 24))
                             (QREFELT $ 58))
                         |TRIGMNIP;trigs;2F;14|)
                   (EXIT (SPADCALL (SPADCALL |g| (QREFELT $ 32))
                             (SPADCALL (QREFELT $ 15)
                                 (SPADCALL |g| (QREFELT $ 34))
                                 (QREFELT $ 17))
                             (QREFELT $ 52)))))))))) 

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

(DEFUN |TrigonometricManipulations;| (|#1| |#2|)
  (PROG (DV$1 DV$2 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|)
              . #0=(|TrigonometricManipulations|))
        (LETT DV$2 (|devaluate| |#2|) . #0#)
        (LETT |dv$|
              (LIST '|TrigonometricManipulations| DV$1 DV$2) . #0#)
        (LETT $ (GETREFV 87) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
        (|haddProp| |$ConstructorCache| '|TrigonometricManipulations|
            (LIST DV$1 DV$2) (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 7 |#2|)
        (QSETREFV $ 11 (SPADCALL "rtrig" (QREFELT $ 10)))
        (QSETREFV $ 15
            (SPADCALL (SPADCALL (|spadConstant| $ 12) (QREFELT $ 13))
                (QREFELT $ 14)))
        (QSETREFV $ 18
            (SPADCALL (SPADCALL (QREFELT $ 16)) (QREFELT $ 15)
                (QREFELT $ 17)))
        $)))) 

(MAKEPROP '|TrigonometricManipulations| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             (|String|) (|Symbol|) (0 . |coerce|) 'RTRIG (5 . |One|)
             (9 . -) (14 . |sqrt|) '|s1| (19 . |pi|) (23 . *) '|ipi|
             (|List| 7) (|Kernel| 7) (29 . |argument|)
             (|Expression| (|Complex| 6))
             (|InnerTrigonometricManipulations| 6 7 22) (34 . F2FG)
             (39 . |tan|) (|Kernel| $) (44 . |retract|) (|Boolean|)
             |TRIGMNIP;real?;FB;2| (|Complex| 7)
             |TRIGMNIP;complexForm;FC;7| (49 . |real|)
             |TRIGMNIP;real;2F;3| (54 . |imag|) |TRIGMNIP;imag;2F;4|
             (|List| 26) (59 . |tower|) (|BasicOperator|)
             (64 . |operator|) (69 . |is?|) (75 . |second|) (|Integer|)
             (80 . |retract|) (85 . |even?|) (|Union| 42 '"failed")
             (|ElementaryFunctionSign| 6 7) (90 . |sign|)
             (95 . |coerce|) (100 . /) (106 . |elt|) (113 . |elt|)
             (119 . +) (125 . |Zero|) (129 . |Zero|) (133 . |complex|)
             (|List| $) (139 . |eval|) (146 . |explogs2trigs|)
             (151 . |has?|) (|ElementaryFunctionStructurePackage| 6 7)
             (157 . |realElementary|) (|List| 38) (162 . |operators|)
             (|Mapping| 28 38) (167 . |any?|) (|List| 9)
             (173 . |variables|) (178 . |realElementary|)
             (184 . |coerce|) (189 . |member?|) (|Mapping| 28 20)
             (|List| 20) (195 . |any?|)
             (|Record| (|:| |func| 22) (|:| |kers| 84)
                 (|:| |vals| (|List| 22)))
             (|ElementaryFunctionStructurePackage| (|Complex| 6) 22)
             (201 . |rischNormalize|) (207 . FG2F)
             (|Record| (|:| |func| 7) (|:| |kers| 72) (|:| |vals| 19))
             (212 . |rischNormalize|) |TRIGMNIP;complexNormalize;FSF;9|
             |TRIGMNIP;complexNormalize;2F;10|
             |TRIGMNIP;complexElementary;FSF;11|
             |TRIGMNIP;complexElementary;2F;12| (|List| (|Kernel| 22))
             (218 . |trigs2explogs|) |TRIGMNIP;trigs;2F;14|)
          '#(|trigs| 225 |real?| 230 |real| 235 |imag| 240
             |complexNormalize| 245 |complexForm| 256
             |complexElementary| 261)
          'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 86
                                '(1 9 0 8 10 0 7 0 12 1 7 0 0 13 1 7 0
                                  0 14 0 7 0 16 2 7 0 0 0 17 1 20 19 0
                                  21 1 23 22 7 24 1 22 0 0 25 1 22 26 0
                                  27 1 30 7 0 32 1 30 7 0 34 1 7 36 0
                                  37 1 20 38 0 39 2 20 28 0 9 40 1 19 7
                                  0 41 1 7 42 0 43 1 42 28 0 44 1 46 45
                                  7 47 1 7 0 42 48 2 7 0 0 0 49 3 7 0
                                  38 0 0 50 2 7 0 38 0 51 2 7 0 0 0 52
                                  0 6 0 53 0 7 0 54 2 30 0 7 7 55 3 7 0
                                  0 36 56 57 1 23 30 22 58 2 38 28 0 9
                                  59 1 60 7 7 61 1 7 62 0 63 2 62 28 64
                                  0 65 1 7 66 0 67 2 60 7 7 9 68 1 7 0
                                  26 69 2 66 28 9 0 70 2 72 28 71 0 73
                                  2 75 74 22 9 76 1 23 7 22 77 2 60 78
                                  7 9 79 3 23 22 22 84 66 85 1 0 7 7 86
                                  1 0 28 7 29 1 0 7 7 33 1 0 7 7 35 2 0
                                  7 7 9 80 1 0 7 7 81 1 0 30 7 31 2 0 7
                                  7 9 82 1 0 7 7 83)))))
          '|lookupComplete|)) 
