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 __ctanhf = ctanhf
31
32 #include "libm.h" /* expf/expm1f/fabsf/sincosf/sinf/tanhf */
33 #include "complex_wrapper.h"
34
35 /* INDENT OFF */
36 static const float four = 4.0F, two = 2.0F, one = 1.0F, zero = 0.0F;
37 /* INDENT ON */
38
39 fcomplex
40 ctanhf(fcomplex z) {
41 float r, u, v, t, x, y, S, C;
42 int hx, ix, hy, iy;
43 fcomplex ans;
44
45 x = F_RE(z);
46 y = F_IM(z);
47 hx = THE_WORD(x);
48 ix = hx & 0x7fffffff;
49 hy = THE_WORD(y);
50 iy = hy & 0x7fffffff;
51 x = fabsf(x);
52 y = fabsf(y);
53
54 if (iy == 0) { /* ctanh(x,0) = (x,0) for x = 0 or NaN */
55 F_RE(ans) = tanhf(x);
56 F_IM(ans) = zero;
57 } else if (iy >= 0x7f800000) { /* y is inf or NaN */
58 if (ix < 0x7f800000) /* catanh(finite x,inf/nan) is nan */
59 F_RE(ans) = F_IM(ans) = y - y;
60 else if (ix == 0x7f800000) { /* x is inf */
61 F_RE(ans) = one;
62 F_IM(ans) = zero;
63 } else {
64 F_RE(ans) = x + y;
65 F_IM(ans) = y - y;
66 }
67 } else if (ix >= 0x41600000) {
68 /*
69 * |x| > 14 = prec/2 (14,28,34,60)
70 * ctanh z ~ 1 + i (sin2y)/(exp(2x))
71 */
72 F_RE(ans) = one;
73 if (iy < 0x7f000000) /* t = sin(2y) */
74 S = sinf(y + y);
75 else {
76 (void) sincosf(y, &S, &C);
77 S = (S + S) * C;
78 }
79 if (ix >= 0x7f000000) { /* |x| > max/2 */
80 if (ix >= 0x7f800000) { /* |x| is inf or NaN */
81 if (ix > 0x7f800000) /* x is NaN */
82 F_RE(ans) = F_IM(ans) = x + y;
83 else
84 F_IM(ans) = zero * S; /* x is inf */
85 } else
86 F_IM(ans) = S * expf(-x); /* underflow */
87 } else
88 F_IM(ans) = (S + S) * expf(-(x + x));
89 /* 2 sin 2y / exp(2x) */
90 } else {
91 /* INDENT OFF */
92 /*
93 * t*t+2t
94 * ctanh z = ---------------------------
95 * t*t+[4(t+1)(cos y)](cos y)
96 *
97 * [4(t+1)(cos y)]*(sin y)
98 * i --------------------------
99 * t*t+[4(t+1)(cos y)](cos y)
100 */
101 /* INDENT ON */
102 (void) sincosf(y, &S, &C);
103 t = expm1f(x + x);
104 r = (four * C) * (t + one);
105 u = t * t;
106 v = one / (u + r * C);
107 F_RE(ans) = (u + two * t) * v;
108 F_IM(ans) = (r * S) * v;
109 }
110 if (hx < 0)
111 F_RE(ans) = -F_RE(ans);
112 if (hy < 0)
113 F_IM(ans) = -F_IM(ans);
114 return (ans);
115 }