blob: 63a035d7063ae2d5df2c31728e10e5d471209c79 [file] [log] [blame]
Rich Felkerb69f6952012-03-13 01:17:53 -04001#include "libm.h"
2
Szabolcs Nagy482ccd22012-12-11 23:06:20 +01003/* atanh(x) = log((1+x)/(1-x))/2 = log1p(2x/(1-x))/2 ~= x + x^3/3 + o(x^5) */
Rich Felkerb69f6952012-03-13 01:17:53 -04004double atanh(double x)
5{
Szabolcs Nagy482ccd22012-12-11 23:06:20 +01006 union {double f; uint64_t i;} u = {.f = x};
7 unsigned e = u.i >> 52 & 0x7ff;
8 unsigned s = u.i >> 63;
Szabolcs Nagyf4d9bfb2013-09-05 16:57:46 +00009 double_t y;
Rich Felkerb69f6952012-03-13 01:17:53 -040010
Szabolcs Nagy482ccd22012-12-11 23:06:20 +010011 /* |x| */
12 u.i &= (uint64_t)-1/2;
Szabolcs Nagyf4d9bfb2013-09-05 16:57:46 +000013 y = u.f;
Szabolcs Nagy482ccd22012-12-11 23:06:20 +010014
15 if (e < 0x3ff - 1) {
Szabolcs Nagyf4d9bfb2013-09-05 16:57:46 +000016 if (e < 0x3ff - 32) {
17 /* handle underflow */
18 if (e == 0)
19 FORCE_EVAL((float)y);
20 } else {
21 /* |x| < 0.5, up to 1.7ulp error */
22 y = 0.5*log1p(2*y + 2*y*y/(1-y));
23 }
Szabolcs Nagy482ccd22012-12-11 23:06:20 +010024 } else {
Szabolcs Nagyf4d9bfb2013-09-05 16:57:46 +000025 /* avoid overflow */
26 y = 0.5*log1p(2*(y/(1-y)));
Szabolcs Nagy482ccd22012-12-11 23:06:20 +010027 }
Szabolcs Nagyf4d9bfb2013-09-05 16:57:46 +000028 return s ? -y : y;
Rich Felkerb69f6952012-03-13 01:17:53 -040029}