Rich Felker | b69f695 | 2012-03-13 01:17:53 -0400 | [diff] [blame] | 1 | #include "libm.h" |
| 2 | |
| 3 | #if LDBL_MANT_DIG == 53 && LDBL_MAX_EXP == 1024 |
| 4 | long double atanhl(long double x) |
| 5 | { |
| 6 | return atanh(x); |
| 7 | } |
Szabolcs Nagy | f4e4632 | 2015-03-10 20:01:20 +0000 | [diff] [blame] | 8 | #elif (LDBL_MANT_DIG == 64 || LDBL_MANT_DIG == 113) && LDBL_MAX_EXP == 16384 |
Szabolcs Nagy | 482ccd2 | 2012-12-11 23:06:20 +0100 | [diff] [blame] | 9 | /* atanh(x) = log((1+x)/(1-x))/2 = log1p(2x/(1-x))/2 ~= x + x^3/3 + o(x^5) */ |
Rich Felker | b69f695 | 2012-03-13 01:17:53 -0400 | [diff] [blame] | 10 | long double atanhl(long double x) |
| 11 | { |
Szabolcs Nagy | aa0c4a2 | 2013-09-04 15:54:02 +0000 | [diff] [blame] | 12 | union ldshape u = {x}; |
Szabolcs Nagy | 482ccd2 | 2012-12-11 23:06:20 +0100 | [diff] [blame] | 13 | unsigned e = u.i.se & 0x7fff; |
| 14 | unsigned s = u.i.se >> 15; |
Rich Felker | b69f695 | 2012-03-13 01:17:53 -0400 | [diff] [blame] | 15 | |
Szabolcs Nagy | 482ccd2 | 2012-12-11 23:06:20 +0100 | [diff] [blame] | 16 | /* |x| */ |
| 17 | u.i.se = e; |
| 18 | x = u.f; |
| 19 | |
Szabolcs Nagy | f4d9bfb | 2013-09-05 16:57:46 +0000 | [diff] [blame] | 20 | if (e < 0x3ff - 1) { |
| 21 | if (e < 0x3ff - LDBL_MANT_DIG/2) { |
| 22 | /* handle underflow */ |
| 23 | if (e == 0) |
| 24 | FORCE_EVAL((float)x); |
| 25 | } else { |
| 26 | /* |x| < 0.5, up to 1.7ulp error */ |
| 27 | x = 0.5*log1pl(2*x + 2*x*x/(1-x)); |
| 28 | } |
Szabolcs Nagy | 482ccd2 | 2012-12-11 23:06:20 +0100 | [diff] [blame] | 29 | } else { |
Szabolcs Nagy | f4d9bfb | 2013-09-05 16:57:46 +0000 | [diff] [blame] | 30 | /* avoid overflow */ |
| 31 | x = 0.5*log1pl(2*(x/(1-x))); |
Szabolcs Nagy | 482ccd2 | 2012-12-11 23:06:20 +0100 | [diff] [blame] | 32 | } |
| 33 | return s ? -x : x; |
Rich Felker | b69f695 | 2012-03-13 01:17:53 -0400 | [diff] [blame] | 34 | } |
| 35 | #endif |