2 /* @(#)e_atanh.c 5.1 93/09/24 */
4 * ====================================================
5 * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
7 * Developed at SunPro, a Sun Microsystems, Inc. business.
8 * Permission to use, copy, modify, and distribute this
9 * software is freely granted, provided that this notice
11 * ====================================================
17 <<atanh>>, <<atanhf>>---inverse hyperbolic tangent
26 double atanh(double <[x]>);
27 float atanhf(float <[x]>);
38 <<atanh>> calculates the inverse hyperbolic tangent of <[x]>.
40 <<atanhf>> is identical, other than taking and returning
44 <<atanh>> and <<atanhf>> return the calculated value.
53 is greater than 1, the global <<errno>> is set to <<EDOM>> and
54 the result is a NaN. A <<DOMAIN error>> is reported.
63 is 1, the global <<errno>> is set to <<EDOM>>; and the result is
64 infinity with the same sign as <<x>>. A <<SING error>> is reported.
66 You can modify the error handling for these routines using
70 Neither <<atanh>> nor <<atanhf>> are ANSI C.
81 * 1.Reduced x to positive by atanh(-x) = -atanh(x)
84 * atanh(x) = --- * log(1 + -------) = 0.5 * log1p(2 * --------)
88 * atanh(x) = 0.5*log1p(2x+2x*x/(1-x))
91 * atanh(x) is NaN if |x| > 1 with signal;
92 * atanh(NaN) is that NaN with no signal;
93 * atanh(+-1) is +-INF with signal.
99 #ifndef _DOUBLE_IS_32BITS
102 static const double one
= 1.0, huge
= 1e300
;
104 static double one
= 1.0, huge
= 1e300
;
108 static const double zero
= 0.0;
110 static double zero
= 0.0;
114 double atanh(double x
)
123 EXTRACT_WORDS(hx
,lx
,x
);
125 if ((ix
|((lx
|(-lx
))>>31))>0x3ff00000) /* |x|>1 */
129 if(ix
<0x3e300000&&(huge
+x
)>zero
) return x
; /* x<2**-28 */
131 if(ix
<0x3fe00000) { /* x < 0.5 */
133 t
= 0.5*log1p(t
+t
*x
/(one
-x
));
135 t
= 0.5*log1p((x
+x
)/(one
-x
));
136 if(hx
>=0) return t
; else return -t
;
139 #endif /* defined(_DOUBLE_IS_32BITS) */