X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=src%2Fmath%2Facoshf.c;h=4596085e8fc4d9e345981b7b7454558f27de1ee8;hb=0636d5977aa796d78869ee310c6e69220b919eee;hp=30a3a943142fcbcfc29cc7315ab2a890072c6460;hpb=b69f695acedd4ce2798ef9ea28d834ceccc789bd;p=musl diff --git a/src/math/acoshf.c b/src/math/acoshf.c index 30a3a943..4596085e 100644 --- a/src/math/acoshf.c +++ b/src/math/acoshf.c @@ -1,43 +1,17 @@ -/* origin: FreeBSD /usr/src/lib/msun/src/e_acoshf.c */ -/* - * Conversion to float by Ian Lance Taylor, Cygnus Support, ian@cygnus.com. - */ -/* - * ==================================================== - * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved. - * - * Developed at SunPro, a Sun Microsystems, Inc. business. - * Permission to use, copy, modify, and distribute this - * software is freely granted, provided that this notice - * is preserved. - * ==================================================== - */ - #include "libm.h" -static const float -one = 1.0, -ln2 = 6.9314718246e-01; /* 0x3f317218 */ - +/* acosh(x) = log(x + sqrt(x*x-1)) */ float acoshf(float x) { - float t; - int32_t hx; + union {float f; int32_t i;} u = {.f = x}; - GET_FLOAT_WORD(hx, x); - if (hx < 0x3f800000) { /* x < 1 */ - return (x-x)/(x-x); - } else if (hx >= 0x4d800000) { /* x > 2**28 */ - if (hx >= 0x7f800000) /* x is inf of NaN */ - return x + x; - return logf(x) + ln2; /* acosh(huge)=log(2x) */ - } else if (hx == 0x3f800000) { - return 0.0; /* acosh(1) = 0 */ - } else if (hx > 0x40000000) { /* 2**28 > x > 2 */ - t = x*x; - return logf((float)2.0*x - one/(x+sqrtf(t-one))); - } else { /* 1 < x < 2 */ - t = x-one; - return log1pf(t + sqrtf((float)2.0*t+t*t)); - } + if (u.i < 0x3f800000+(1<<23)) + /* x < 2, invalid if x < 1 or nan */ + /* up to 2ulp error in [1,1.125] */ + return log1pf(x-1 + sqrtf((x-1)*(x-1)+2*(x-1))); + if (u.i < 0x3f800000+(12<<23)) + /* x < 0x1p12 */ + return logf(2*x - 1/(x+sqrtf(x*x-1))); + /* x >= 0x1p12 */ + return logf(x) + 0.693147180559945309417232121458176568f; }