blob: 65f07c0f4f26e302f98ee4cc75b471c4204ee829 [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 -04004float atanhf(float x)
5{
Szabolcs Nagy482ccd22012-12-11 23:06:20 +01006 union {float f; uint32_t i;} u = {.f = x};
7 unsigned s = u.i >> 31;
Szabolcs Nagyf4d9bfb2013-09-05 16:57:46 +00008 float_t y;
Rich Felkerb69f6952012-03-13 01:17:53 -04009
Szabolcs Nagy482ccd22012-12-11 23:06:20 +010010 /* |x| */
11 u.i &= 0x7fffffff;
Szabolcs Nagyf4d9bfb2013-09-05 16:57:46 +000012 y = u.f;
Szabolcs Nagy482ccd22012-12-11 23:06:20 +010013
14 if (u.i < 0x3f800000 - (1<<23)) {
Szabolcs Nagyf4d9bfb2013-09-05 16:57:46 +000015 if (u.i < 0x3f800000 - (32<<23)) {
16 /* handle underflow */
17 if (u.i < (1<<23))
18 FORCE_EVAL((float)(y*y));
19 } else {
20 /* |x| < 0.5, up to 1.7ulp error */
21 y = 0.5f*log1pf(2*y + 2*y*y/(1-y));
22 }
Szabolcs Nagy482ccd22012-12-11 23:06:20 +010023 } else {
Szabolcs Nagyf4d9bfb2013-09-05 16:57:46 +000024 /* avoid overflow */
25 y = 0.5f*log1pf(2*(y/(1-y)));
Szabolcs Nagy482ccd22012-12-11 23:06:20 +010026 }
Szabolcs Nagyf4d9bfb2013-09-05 16:57:46 +000027 return s ? -y : y;
Rich Felkerb69f6952012-03-13 01:17:53 -040028}