blob: 8635f52e82381bdaff12badbd7cd170b2e05bf62 [file] [log] [blame]
Rich Felkerb69f6952012-03-13 01:17:53 -04001#include "libm.h"
2
3#if LDBL_MANT_DIG == 53 && LDBL_MAX_EXP == 1024
4long double asinhl(long double x)
5{
6 return asinh(x);
7}
8#elif LDBL_MANT_DIG == 64 && LDBL_MAX_EXP == 16384
Szabolcs Nagy482ccd22012-12-11 23:06:20 +01009/* asinh(x) = sign(x)*log(|x|+sqrt(x*x+1)) ~= x - x^3/6 + o(x^5) */
Rich Felkerb69f6952012-03-13 01:17:53 -040010long double asinhl(long double x)
11{
Szabolcs Nagyaa0c4a22013-09-04 15:54:02 +000012 union ldshape u = {x};
Szabolcs Nagy482ccd22012-12-11 23:06:20 +010013 unsigned e = u.i.se & 0x7fff;
14 unsigned s = u.i.se >> 15;
Rich Felkerb69f6952012-03-13 01:17:53 -040015
Szabolcs Nagy482ccd22012-12-11 23:06:20 +010016 /* |x| */
17 u.i.se = e;
18 x = u.f;
19
20 if (e >= 0x3fff + 32) {
21 /* |x| >= 0x1p32 or inf or nan */
22 x = logl(x) + 0.693147180559945309417232121458176568L;
23 } else if (e >= 0x3fff + 1) {
24 /* |x| >= 2 */
25 x = logl(2*x + 1/(sqrtl(x*x+1)+x));
26 } else if (e >= 0x3fff - 32) {
27 /* |x| >= 0x1p-32 */
28 x = log1pl(x + x*x/(sqrtl(x*x+1)+1));
29 } else {
30 /* |x| < 0x1p-32, raise inexact if x!=0 */
Szabolcs Nagyc6383b72012-12-16 20:28:43 +010031 FORCE_EVAL(x + 0x1p120f);
Rich Felkerb69f6952012-03-13 01:17:53 -040032 }
Szabolcs Nagy482ccd22012-12-11 23:06:20 +010033 return s ? -x : x;
Rich Felkerb69f6952012-03-13 01:17:53 -040034}
Szabolcs Nagyf4e46322015-03-10 20:01:20 +000035#elif LDBL_MANT_DIG == 113 && LDBL_MAX_EXP == 16384
36// TODO: broken implementation to make things compile
37long double asinhl(long double x)
38{
39 return asinh(x);
40}
Rich Felkerb69f6952012-03-13 01:17:53 -040041#endif