
(SDEFUN |HYPCAT-;csch;2S;1| ((|x| S) ($ S))
        (SPROG ((|a| (|Union| S "failed")))
               (SEQ
                (LETT |a|
                      (SPADCALL (SPADCALL |x| (QREFELT $ 7)) (QREFELT $ 9)))
                (EXIT
                 (COND ((QEQCAR |a| 1) (|error| "csch: no reciprocal"))
                       ('T (QCDR |a|))))))) 

(SDEFUN |HYPCAT-;sech;2S;2| ((|x| S) ($ S))
        (SPROG ((|a| (|Union| S "failed")))
               (SEQ
                (LETT |a|
                      (SPADCALL (SPADCALL |x| (QREFELT $ 11)) (QREFELT $ 9)))
                (EXIT
                 (COND ((QEQCAR |a| 1) (|error| "sech: no reciprocal"))
                       ('T (QCDR |a|))))))) 

(SDEFUN |HYPCAT-;tanh;2S;3| ((|x| S) ($ S))
        (SPADCALL (SPADCALL |x| (QREFELT $ 7)) (SPADCALL |x| (QREFELT $ 13))
                  (QREFELT $ 14))) 

(SDEFUN |HYPCAT-;coth;2S;4| ((|x| S) ($ S))
        (SPADCALL (SPADCALL |x| (QREFELT $ 11)) (SPADCALL |x| (QREFELT $ 16))
                  (QREFELT $ 14))) 

(SDEFUN |HYPCAT-;cosh;2S;5| ((|x| S) ($ S))
        (SPROG ((#1=#:G720 NIL) (|e| (S)))
               (SEQ (LETT |e| (SPADCALL |x| (QREFELT $ 18)))
                    (EXIT
                     (SPADCALL
                      (SPADCALL |e|
                                (PROG2 (LETT #1# (SPADCALL |e| (QREFELT $ 9)))
                                    (QCDR #1#)
                                  (|check_union2| (QEQCAR #1# 0) (QREFELT $ 6)
                                                  (|Union| (QREFELT $ 6)
                                                           #2="failed")
                                                  #1#))
                                (QREFELT $ 19))
                      (PROG2
                          (LETT #1#
                                (SPADCALL (SPADCALL 2 (QREFELT $ 21))
                                          (QREFELT $ 9)))
                          (QCDR #1#)
                        (|check_union2| (QEQCAR #1# 0) (QREFELT $ 6)
                                        (|Union| (QREFELT $ 6) #2#) #1#))
                      (QREFELT $ 14)))))) 

(SDEFUN |HYPCAT-;sinh;2S;6| ((|x| S) ($ S))
        (SPROG ((#1=#:G725 NIL) (|e| (S)))
               (SEQ (LETT |e| (SPADCALL |x| (QREFELT $ 18)))
                    (EXIT
                     (SPADCALL
                      (SPADCALL |e|
                                (PROG2 (LETT #1# (SPADCALL |e| (QREFELT $ 9)))
                                    (QCDR #1#)
                                  (|check_union2| (QEQCAR #1# 0) (QREFELT $ 6)
                                                  (|Union| (QREFELT $ 6)
                                                           #2="failed")
                                                  #1#))
                                (QREFELT $ 23))
                      (PROG2
                          (LETT #1#
                                (SPADCALL (SPADCALL 2 (QREFELT $ 21))
                                          (QREFELT $ 9)))
                          (QCDR #1#)
                        (|check_union2| (QEQCAR #1# 0) (QREFELT $ 6)
                                        (|Union| (QREFELT $ 6) #2#) #1#))
                      (QREFELT $ 14)))))) 

(DECLAIM (NOTINLINE |HyperbolicFunctionCategory&;|)) 

(DEFUN |HyperbolicFunctionCategory&| (|#1|)
  (SPROG ((|pv$| NIL) ($ NIL) (|dv$| NIL) (DV$1 NIL))
         (PROGN
          (LETT DV$1 (|devaluate| |#1|))
          (LETT |dv$| (LIST '|HyperbolicFunctionCategory&| DV$1))
          (LETT $ (GETREFV 25))
          (QSETREFV $ 0 |dv$|)
          (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL)))
          (|stuffDomainSlots| $)
          (QSETREFV $ 6 |#1|)
          (SETF |pv$| (QREFELT $ 3))
          (COND
           ((|HasCategory| |#1| '(|Ring|))
            (PROGN
             (QSETREFV $ 10 (CONS (|dispatchFunction| |HYPCAT-;csch;2S;1|) $))
             (QSETREFV $ 12 (CONS (|dispatchFunction| |HYPCAT-;sech;2S;2|) $))
             (QSETREFV $ 15 (CONS (|dispatchFunction| |HYPCAT-;tanh;2S;3|) $))
             (QSETREFV $ 17 (CONS (|dispatchFunction| |HYPCAT-;coth;2S;4|) $))
             (COND
              ((|HasCategory| |#1| '(|ElementaryFunctionCategory|))
               (PROGN
                (QSETREFV $ 22
                          (CONS (|dispatchFunction| |HYPCAT-;cosh;2S;5|) $))
                (QSETREFV $ 24
                          (CONS (|dispatchFunction| |HYPCAT-;sinh;2S;6|)
                                $))))))))
          $))) 

(MAKEPROP '|HyperbolicFunctionCategory&| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (0 . |sinh|)
              (|Union| $ '"failed") (5 . |recip|) (10 . |csch|) (15 . |cosh|)
              (20 . |sech|) (25 . |sech|) (30 . *) (36 . |tanh|) (41 . |csch|)
              (46 . |coth|) (51 . |exp|) (56 . +) (|Integer|) (62 . |coerce|)
              (67 . |cosh|) (72 . -) (78 . |sinh|))
           '#(|tanh| 83 |sinh| 88 |sech| 93 |csch| 98 |coth| 103 |cosh| 108)
           'NIL
           (CONS (|makeByteWordVec2| 1 '(0))
                 (CONS '#(NIL)
                       (CONS
                        '#((|Join|
                            (|mkCategory|
                             (LIST '((|cosh| (|#1| |#1|)) T)
                                   '((|coth| (|#1| |#1|)) T)
                                   '((|csch| (|#1| |#1|)) T)
                                   '((|sech| (|#1| |#1|)) T)
                                   '((|sinh| (|#1| |#1|)) T)
                                   '((|tanh| (|#1| |#1|)) T))
                             (LIST) NIL NIL)))
                        (|makeByteWordVec2| 24
                                            '(1 6 0 0 7 1 6 8 0 9 1 0 0 0 10 1
                                              6 0 0 11 1 0 0 0 12 1 6 0 0 13 2
                                              6 0 0 0 14 1 0 0 0 15 1 6 0 0 16
                                              1 0 0 0 17 1 6 0 0 18 2 6 0 0 0
                                              19 1 6 0 20 21 1 0 0 0 22 2 6 0 0
                                              0 23 1 0 0 0 24 1 0 0 0 15 1 0 0
                                              0 24 1 0 0 0 12 1 0 0 0 10 1 0 0
                                              0 17 1 0 0 0 22)))))
           '|lookupComplete|)) 
