1 /* @(#)e_cosh.c 5.1 93/09/24 */
3 * ====================================================
4 * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
6 * Developed at SunPro, a Sun Microsystems, Inc. business.
7 * Permission to use, copy, modify, and distribute this
8 * software is freely granted, provided that this notice
10 * ====================================================
15 * mathematically cosh(x) if defined to be (exp(x)+exp(-x))/2
16 * 1. Replace x by |x| (cosh(x) = cosh(-x)).
19 * 0 <= x <= ln2/2 : cosh(x) := 1 + -------------------
23 * ln2/2 <= x <= 40 : cosh(x) := -------------------
25 * 40 <= x <= lnovft : cosh(x) := exp(x)/2
26 * lnovft <= x <= ln2ovft: cosh(x) := exp(x/2)/2 * exp(x/2)
27 * ln2ovft < x : cosh(x) := huge*huge (overflow)
30 * cosh(x) is |x| if x is +INF, -INF, or NaN.
31 * only cosh(0)=1 is exact for finite x.
35 #include <math_private.h>
37 static const long double one
= 1.0L, half
=0.5L, huge
= 1.0e300L
;
40 __ieee754_coshl (long double x
)
46 /* High word of |x|. */
48 EXTRACT_WORDS64 (ix
, xhi
);
49 ix
&= 0x7fffffffffffffffLL
;
52 if(ix
>=0x7ff0000000000000LL
) return x
*x
;
54 /* |x| in [0,0.5*ln2], return 1+expm1(|x|)^2/(2*exp(|x|)) */
55 if(ix
<0x3fd62e42fefa39efLL
) {
56 if (ix
<0x3c80000000000000LL
) return one
; /* cosh(tiny) = 1 */
57 t
= __expm1l(fabsl(x
));
59 return one
+(t
*t
)/(w
+w
);
62 /* |x| in [0.5*ln2,40], return (exp(|x|)+1/exp(|x|)/2; */
63 if (ix
< 0x4044000000000000LL
) {
64 t
= __ieee754_expl(fabsl(x
));
68 /* |x| in [40, log(maxdouble)] return half*exp(|x|) */
69 if (ix
< 0x40862e42fefa39efLL
) return half
*__ieee754_expl(fabsl(x
));
71 /* |x| in [log(maxdouble), overflowthresold] */
72 if (ix
< 0x408633ce8fb9f87fLL
) {
73 w
= __ieee754_expl(half
*fabsl(x
));
78 /* |x| > overflowthresold, cosh(x) overflow */
81 strong_alias (__ieee754_coshl
, __coshl_finite
)