1 /*
2 * CDDL HEADER START
3 *
4 * The contents of this file are subject to the terms of the
5 * Common Development and Distribution License (the "License").
6 * You may not use this file except in compliance with the License.
7 *
8 * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
9 * or http://www.opensolaris.org/os/licensing.
10 * See the License for the specific language governing permissions
11 * and limitations under the License.
12 *
13 * When distributing Covered Code, include this CDDL HEADER in each
14 * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
15 * If applicable, add the following below this CDDL HEADER, with the
16 * fields enclosed by brackets "[]" replaced with your own identifying
17 * information: Portions Copyright [yyyy] [name of copyright owner]
18 *
19 * CDDL HEADER END
20 */
21
22 /*
23 * Copyright 2011 Nexenta Systems, Inc. All rights reserved.
24 */
25 /*
26 * Copyright 2006 Sun Microsystems, Inc. All rights reserved.
27 * Use is subject to license terms.
28 */
29
30 #pragma weak ccosh = __ccosh
31
32 /* INDENT OFF */
33 /*
34 * dcomplex ccosh(dcomplex z);
35 *
36 * z -z x -x
37 * e + e e (cos(y)+i*sin(y)) + e (cos(-y)+i*sin(-y))
38 * cosh z = -------------- = ---------------------------------------------
39 * 2 2
40 * x -x x -x
41 * cos(y) ( e + e ) + i*sin(y) (e - e )
42 * = --------------------------------------------
43 * 2
44 *
45 * = cos(y) cosh(x) + i sin(y) sinh(x)
46 *
47 * Implementation Note
48 * -------------------
49 *
50 * |x| -|x| |x| -2|x| -2|x| -P-4
51 * Note that e +- e = e ( 1 +- e ). If e < 2 , where
52 *
53 * P stands for the number of significant bits of the machine precision,
54 * |x|
55 * then the result will be rounded to e . Therefore, we have
56 *
57 * z
58 * e
59 * cosh z = ----- if |x| >= (P/2 + 2)*ln2
60 * 2
61 *
62 * EXCEPTION (conform to ISO/IEC 9899:1999(E)):
63 * ccosh(0,0)=(1,0)
64 * ccosh(0,inf)=(NaN,+-0)
65 * ccosh(0,NaN)=(NaN,+-0)
66 * ccosh(x,inf) = (NaN,NaN) for finite non-zero x
67 * ccosh(x,NaN) = (NaN,NaN) for finite non-zero x
68 * ccosh(inf,0) = (inf, 0)
69 * ccosh(inf,y) = (inf*cos(y),inf*sin(y)) for finite non-zero y
70 * ccosh(inf,inf) = (+-inf,NaN)
71 * ccosh(inf,NaN) = (+inf,NaN)
72 * ccosh(NaN,0) = (NaN,+-0)
73 * ccosh(NaN,y) = (NaN,NaN) for non-zero y
74 * ccosh(NaN,NaN) = (NaN,NaN)
75 */
76 /* INDENT ON */
77
78 #include "libm.h" /* cosh/exp/fabs/scalbn/sinh/sincos/__k_cexp */
79 #include "complex_wrapper.h"
80
81 dcomplex
82 ccosh(dcomplex z) {
83 double t, x, y, S, C;
84 int hx, ix, lx, hy, iy, ly, n;
85 dcomplex ans;
86
87 x = D_RE(z);
88 y = D_IM(z);
89 hx = HI_WORD(x);
90 lx = LO_WORD(x);
91 ix = hx & 0x7fffffff;
92 hy = HI_WORD(y);
93 ly = LO_WORD(y);
94 iy = hy & 0x7fffffff;
95 x = fabs(x);
96 y = fabs(y);
97
98 (void) sincos(y, &S, &C);
99 if (ix >= 0x403c0000) { /* |x| > 28 = prec/2 (14,28,34,60) */
100 if (ix >= 0x40862E42) { /* |x| > 709.78... ~ log(2**1024) */
101 if (ix >= 0x7ff00000) { /* |x| is inf or NaN */
102 if ((iy | ly) == 0) {
103 D_RE(ans) = x;
104 D_IM(ans) = y;
105 } else if (iy >= 0x7ff00000) {
106 D_RE(ans) = x;
107 D_IM(ans) = x - y;
108 } else {
109 D_RE(ans) = C * x;
110 D_IM(ans) = S * x;
111 }
112 } else {
113 t = __k_cexp(x, &n);
114 /* return exp(x)=t*2**n */
115 D_RE(ans) = scalbn(C * t, n - 1);
116 D_IM(ans) = scalbn(S * t, n - 1);
117 }
118 } else {
119 t = exp(x) * 0.5;
120 D_RE(ans) = C * t;
121 D_IM(ans) = S * t;
122 }
123 } else {
124 if ((ix | lx) == 0) { /* x = 0, return (C,0) */
125 D_RE(ans) = C;
126 D_IM(ans) = 0.0;
127 } else {
128 D_RE(ans) = C * cosh(x);
129 D_IM(ans) = S * sinh(x);
130 }
131 }
132 if ((hx ^ hy) < 0)
133 D_IM(ans) = -D_IM(ans);
134 return (ans);
135 }