X-Git-Url: http://nsz.repo.hu/git/?p=musl;a=blobdiff_plain;f=src%2Fmath%2Fcosh.c;h=2fcdea8f8e24cec0ddd34802837482d3bb619b6d;hp=5f38b276574993caffa43e1e07ad79c185815b66;hb=14cc9c7f38c80094c05353fcb11fe9e441340583;hpb=b69f695acedd4ce2798ef9ea28d834ceccc789bd diff --git a/src/math/cosh.c b/src/math/cosh.c index 5f38b276..2fcdea8f 100644 --- a/src/math/cosh.c +++ b/src/math/cosh.c @@ -23,7 +23,7 @@ * 2 * 22 <= x <= lnovft : cosh(x) := exp(x)/2 * lnovft <= x <= ln2ovft: cosh(x) := exp(x/2)/2 * exp(x/2) - * ln2ovft < x : cosh(x) := huge*huge (overflow) + * ln2ovft < x : cosh(x) := inf (overflow) * * Special cases: * cosh(x) is |x| if x is +INF, -INF, or NaN. @@ -32,43 +32,40 @@ #include "libm.h" -static const double one = 1.0, half = 0.5, huge = 1.0e300; - double cosh(double x) { - double t, w; - int32_t ix; - - GET_HIGH_WORD(ix, x); - ix &= 0x7fffffff; + union {double f; uint64_t i;} u = {.f = x}; + uint32_t ix; + double t; - /* x is INF or NaN */ - if (ix >= 0x7ff00000) - return x*x; + /* |x| */ + u.i &= (uint64_t)-1/2; + x = u.f; + ix = u.i >> 32; /* |x| in [0,0.5*ln2], return 1+expm1(|x|)^2/(2*exp(|x|)) */ if (ix < 0x3fd62e43) { - t = expm1(fabs(x)); - w = one+t; + t = expm1(x); if (ix < 0x3c800000) - return w; /* cosh(tiny) = 1 */ - return one + (t*t)/(w+w); + return 1; + return 1 + t*t/(2*(1+t)); } /* |x| in [0.5*ln2,22], return (exp(|x|)+1/exp(|x|))/2; */ if (ix < 0x40360000) { - t = exp(fabs(x)); - return half*t + half/t; + t = exp(x); + return 0.5*t + 0.5/t; } - /* |x| in [22, log(maxdouble)] return half*exp(|x|) */ - if (ix < 0x40862E42) - return half*exp(fabs(x)); + /* |x| in [22, log(maxdouble)] return 0.5*exp(|x|) */ + if (ix < 0x40862e42) + return 0.5*exp(x); /* |x| in [log(maxdouble), overflowthresold] */ - if (ix <= 0x408633CE) - return __expo2(fabs(x)); + if (ix <= 0x408633ce) + return __expo2(x); - /* |x| > overflowthresold, cosh(x) overflow */ - return huge*huge; + /* overflow (or nan) */ + x *= 0x1p1023; + return x; }