Branch data Line data Source code
1 : : /* e_acoshf.c -- float version of e_acosh.c.
2 : : * Conversion to float by Ian Lance Taylor, Cygnus Support, ian@cygnus.com.
3 : : */
4 : :
5 : : /*
6 : : * ====================================================
7 : : * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
8 : : *
9 : : * Developed at SunPro, a Sun Microsystems, Inc. business.
10 : : * Permission to use, copy, modify, and distribute this
11 : : * software is freely granted, provided that this notice
12 : : * is preserved.
13 : : * ====================================================
14 : : */
15 : :
16 : : #include "cdefs-compat.h"
17 : : //__FBSDID("$FreeBSD: src/lib/msun/src/e_acoshf.c,v 1.8 2008/02/22 02:30:34 das Exp $");
18 : :
19 : : #include <openlibm_math.h>
20 : :
21 : : #include "math_private.h"
22 : :
23 : : static const float
24 : : one = 1.0,
25 : : ln2 = 6.9314718246e-01; /* 0x3f317218 */
26 : :
27 : : OLM_DLLEXPORT float
28 : 6 : __ieee754_acoshf(float x)
29 : : {
30 : : float t;
31 : : int32_t hx;
32 : 6 : GET_FLOAT_WORD(hx,x);
33 [ + + ]: 6 : if(hx<0x3f800000) { /* x < 1 */
34 : 2 : return (x-x)/(x-x);
35 [ + + ]: 4 : } else if(hx >=0x4d800000) { /* x > 2**28 */
36 [ + - ]: 1 : if(hx >=0x7f800000) { /* x is inf of NaN */
37 : 1 : return x+x;
38 : : } else
39 : 0 : return __ieee754_logf(x)+ln2; /* acosh(huge)=log(2x) */
40 [ + + ]: 3 : } else if (hx==0x3f800000) {
41 : 1 : return 0.0; /* acosh(1) = 0 */
42 [ + - ]: 2 : } else if (hx > 0x40000000) { /* 2**28 > x > 2 */
43 : 2 : t=x*x;
44 : 2 : return __ieee754_logf((float)2.0*x-one/(x+__ieee754_sqrtf(t-one)));
45 : : } else { /* 1<x<2 */
46 : 0 : t = x-one;
47 : 0 : return log1pf(t+__ieee754_sqrtf((float)2.0*t+t*t));
48 : : }
49 : : }
|