Add inputs that generate larger error bounds

(Using values from https://members.loria.fr/PZimmermann/papers/accuracy.pdf)

18 files changed, 3060 insertions, 0 deletions

diff --git a/math/auto-libm-test-in b/math/auto-libm-test-in
index 73840b8bef..4edaaa8ee1 100644
--- a/math/auto-libm-test-in
+++ b/math/auto-libm-test-in
@@ -79,6 +79,10 @@ acos 0xe.17513589de79b75p-4
 acos 0x3.e57821d368ebap-4
 acos 0x2.0bee8p-4
 acos -0x1.da00d8p-4
+# the next value generates larger error bounds on x86_64 (binary64)
+acos 0x1.fffff3634acd6p-1
+# the next value generates larger error bounds on x86_64 (ldbl-96)
+acos 0xf.fe00271d507ee5dp-4
 acos min
 acos -min
 acos min_subnorm
@@ -140,6 +144,10 @@ acosh 0x1.1b836p+0
 acosh 0x1.07c956p+0
 acosh 0x1.1808eep+0
 acosh 0x1.1052c4p+0
+# the next value generates larger error bounds on x86_64 (ldbl-96)
+acosh 0x1.1ecbdf374bce01cap+0
+# the next value generates larger error bounds on x86_64 (binary128)
+acosh 0x1.0f97586eba090200118df0902f99p+0
 acosh max
 
 add 0 0
@@ -282,6 +290,8 @@ asin 0xd.805e5p-4
 asin -0x2.1a02dcp-4
 asin -0x8.1c120ac3e495p-4
 asin -0xb.36dacp-4
+# the next value generates larger error bounds on x86_64 (binary64)
+asin 0x1.f6041ffe89d7dp-4
 asin min
 asin -min
 asin min_subnorm
@@ -375,6 +385,8 @@ asinh 0x1p-5000
 asinh 0xf.96c69p-8
 # the next value generates larger error bounds on x86_64 (binary64)
 asinh 0x1.023cfeab10a13p-2
+# the next value generates larger error bounds on x86_64 (binary128)
+asinh -0x5.a95683e302a71be88a35649b24ep-4
 asinh min
 asinh -min
 asinh min_subnorm
@@ -416,6 +428,8 @@ atan -0x1.ad4c0ap+0
 atan -0x3.eb8e18p+0
 atan 0x3.53c188p+0
 atan -0x1.58c83p+0
+# the next value generates larger error bounds on x86_64 (binary32)
+atan 0x1.626772p-1
 atan min
 atan -min
 atan min_subnorm
@@ -472,6 +486,10 @@ atan2 -0x6.b0794p-4 0x3.8ff10cp+0
 atan2 -0x7.15e7af0a1780cp-724 0xf.fffffp+124
 atan2 0x3.f16f1p+0 -0x1.546056p+0
 atan2 -0x1.9e657cp-24 0x7.40bb4p-52
+# the next value generates larger error bounds on x86_64 (binary32)
+atan2 -0x1.f9cf48p+49 0x1.f60598p+51
+# the next value generates larger error bounds on x86_64 (binary128)
+atan2 0x1.41df5aa214612c7e019fa6ade88p-13316 0x5.e53b26a270a29eb9f77ef8ef7af8p-13316
 atan2 min min
 atan2 min -min
 atan2 -min min
@@ -591,6 +609,8 @@ atanh -0x3.98eaf4p-4
 atanh 0x2.c1085p-4
 atanh 0x1p-500
 atanh 0x1p-5000
+# the next value generates larger error bounds on x86_64 (binary128)
+atanh 0x2.c02a24f3472c7840afbd8cfb68bap-4
 atanh min
 atanh -min
 atanh min_subnorm
@@ -4429,6 +4449,8 @@ cos 1.57079697
 cos -1.57079697
 # the next value generates larger error bounds on x86_64 (binary32)
 cos 0x2.3c6ef4p-12
+# the next value generates larger error bounds on x86_64 (binary128)
+cos 0xe.6672d458b05edf50af4fab1a42p+40
 
 cosh 0
 cosh -0
@@ -4494,6 +4516,10 @@ cosh -0x2.c5d37700c6bb03a6c24b6c9b494ep+12
 cosh 0x5.8bfe6p+4
 # the next value generates larger error bounds on x86_64 (binary64)
 cosh 0x1.633c457f1e66bp+9
+# the next value generates larger error bounds on x86_64 (ldbl-96)
+cosh 0x2.c5d376167f4052f4p+12
+# the next value generates larger error bounds on x86_64 (binary128)
+cosh -0x2.c5d376eefcd4bbeb000452d84662p+12
 
 cpow 1 0 0 0 ignore-zero-inf-sign
 cpow 2 0 10 0 ignore-zero-inf-sign
@@ -4996,6 +5022,10 @@ erfc 0x6.a893032db905274042fb05c665dcp+4
 erfc 0x6.a893032db905274042fb05c665ep+4
 # the next value generates larger error bounds on x86_64 (binary32)
 erfc 0xd.03d06p-4
+# the next value generates larger error bounds on x86_64 (ldbl-96)
+erfc 0x1.5cf2167efe9207d2p+0
+# the next value generates larger error bounds on x86_64 (binary128)
+erfc 0x1.5166e0efc44a9dfc79b8c8873a99p+0
 erfc min
 erfc -min
 erfc min_subnorm
@@ -5374,6 +5404,10 @@ expm1 -0x7.d6c50b469d404p+0
 expm1 0x4.857de8p+4
 expm1 0x5.dfeb68p-4
 expm1 0x4.0000000000000028p-16384
+# the next value generates larger error bounds on x86_64 (ldbl-96)
+expm1 0x5.8b911eb6733469c8p-4
+# the next value generates larger error bounds on x86_64 (binary128)
+expm1 0x5.a343df0d680099a7a1a873a751a8p-4
 expm1 min
 expm1 -min
 expm1 min_subnorm
@@ -6454,6 +6488,8 @@ log10 0x0.fffffffffffff8p0
 log10 0x0.ffffffffffffffffp0
 log10 0x0.ffffffffffffffffffffffffffcp0
 log10 0x0.ffffffffffffffffffffffffffff8p0
+# the next value generates larger error bounds on x86_64 (binary128)
+log10 0x1.6a291ea0aa11fb374f1df8b3ac6bp+0
 log10 min
 log10 min_subnorm
 log10 max
@@ -6498,6 +6534,8 @@ log1p 0x1p50
 log1p 0x1p60
 log1p 0x1p100
 log1p 0x1p1000
+# the next value generates larger error bounds on x86_64 (binary128)
+log1p 0x6.a0cf42befce9ed4085ef59254b48p-4
 log1p max
 
 log1p 0x7.2a4368p-4
@@ -6547,6 +6585,8 @@ log2 0xb.e132ap-4
 log2 0xb.5bf82dc51f02035p-4
 log2 0xb.7704dc9beb05p-4
 log2 0xb.56f63c18e93eecdp-4
+# the next value generates larger error bounds on x86_64 (binary128)
+log2 0xb.54170d5cfa8fd72a47d6bda19068p-4
 log2 min
 log2 min_subnorm
 log2 max
@@ -7239,6 +7279,10 @@ sin 0xf.f0274p+4
 sin 0x3.042d88p+0
 # the next value generates larger error bounds on x86_64 (binary32)
 sin 0x1.d12ed2p-12
+# the next value generates larger error bounds on x86_64 (ldbl-96)
+sin -0x6.e2368c006c018228p+16
+# the next value generates larger error bounds on x86_64 (binary128)
+sin 0x5.6a5005df4363833413fa44f74ae8p+64
 sin max
 sin -max
 sin min
@@ -7335,6 +7379,8 @@ sinh -0x1.3dda8ap+0
 sinh -0x5.ee9218p-4
 sinh -0x1.bcfc98p+0
 sinh -0x6.9bbb6df7c5d08p-4
+# the next value generates larger error bounds on x86_64 (ldbl-96)
+sinh 0x2.c5d376167f4052f4p+12
 sinh max
 sinh -max
 sinh min
@@ -7687,6 +7733,8 @@ tanh 0x1p-60
 tanh 0x1p-100
 tanh 0x1p-600
 tanh 0x1p-10000
+# the next value generates larger error bounds on x86_64 (ldbl-96)
+tanh 0x3.b9979a543d0fbfa8p-4
 tanh max
 tanh -max
 tanh min
diff --git a/math/auto-libm-test-out-acos b/math/auto-libm-test-out-acos
index 04bd77bf43..c98ca8728a 100644
--- a/math/auto-libm-test-out-acos
+++ b/math/auto-libm-test-out-acos
@@ -2649,6 +2649,180 @@ acos -0x1.da00d8p-4
 = acos tonearest ibm128 -0x1.da00d8p-4 : 0x1.afd0ca8858c9ea46ebc1be7c98p+0 : inexact-ok
 = acos towardzero ibm128 -0x1.da00d8p-4 : 0x1.afd0ca8858c9ea46ebc1be7c978p+0 : inexact-ok
 = acos upward ibm128 -0x1.da00d8p-4 : 0x1.afd0ca8858c9ea46ebc1be7c98p+0 : inexact-ok
+acos 0x1.fffff3634acd6p-1
+= acos downward binary32 0xf.ffffap-4 : 0x3.76cf5cp-12 : inexact-ok
+= acos tonearest binary32 0xf.ffffap-4 : 0x3.76cf6p-12 : inexact-ok
+= acos towardzero binary32 0xf.ffffap-4 : 0x3.76cf5cp-12 : inexact-ok
+= acos upward binary32 0xf.ffffap-4 : 0x3.76cf6p-12 : inexact-ok
+= acos downward binary64 0xf.ffffap-4 : 0x3.76cf5ec671462p-12 : inexact-ok
+= acos tonearest binary64 0xf.ffffap-4 : 0x3.76cf5ec671462p-12 : inexact-ok
+= acos towardzero binary64 0xf.ffffap-4 : 0x3.76cf5ec671462p-12 : inexact-ok
+= acos upward binary64 0xf.ffffap-4 : 0x3.76cf5ec671464p-12 : inexact-ok
+= acos downward intel96 0xf.ffffap-4 : 0x3.76cf5ec671462a9p-12 : inexact-ok
+= acos tonearest intel96 0xf.ffffap-4 : 0x3.76cf5ec671462a94p-12 : inexact-ok
+= acos towardzero intel96 0xf.ffffap-4 : 0x3.76cf5ec671462a9p-12 : inexact-ok
+= acos upward intel96 0xf.ffffap-4 : 0x3.76cf5ec671462a94p-12 : inexact-ok
+= acos downward m68k96 0xf.ffffap-4 : 0x3.76cf5ec671462a9p-12 : inexact-ok
+= acos tonearest m68k96 0xf.ffffap-4 : 0x3.76cf5ec671462a94p-12 : inexact-ok
+= acos towardzero m68k96 0xf.ffffap-4 : 0x3.76cf5ec671462a9p-12 : inexact-ok
+= acos upward m68k96 0xf.ffffap-4 : 0x3.76cf5ec671462a94p-12 : inexact-ok
+= acos downward binary128 0xf.ffffap-4 : 0x3.76cf5ec671462a93def0c25c151ep-12 : inexact-ok
+= acos tonearest binary128 0xf.ffffap-4 : 0x3.76cf5ec671462a93def0c25c152p-12 : inexact-ok
+= acos towardzero binary128 0xf.ffffap-4 : 0x3.76cf5ec671462a93def0c25c151ep-12 : inexact-ok
+= acos upward binary128 0xf.ffffap-4 : 0x3.76cf5ec671462a93def0c25c152p-12 : inexact-ok
+= acos downward ibm128 0xf.ffffap-4 : 0x3.76cf5ec671462a93def0c25c15p-12 : inexact-ok
+= acos tonearest ibm128 0xf.ffffap-4 : 0x3.76cf5ec671462a93def0c25c15p-12 : inexact-ok
+= acos towardzero ibm128 0xf.ffffap-4 : 0x3.76cf5ec671462a93def0c25c15p-12 : inexact-ok
+= acos upward ibm128 0xf.ffffap-4 : 0x3.76cf5ec671462a93def0c25c16p-12 : inexact-ok
+= acos downward binary32 0xf.ffff9p-4 : 0x3.bddd44p-12 : inexact-ok
+= acos tonearest binary32 0xf.ffff9p-4 : 0x3.bddd44p-12 : inexact-ok
+= acos towardzero binary32 0xf.ffff9p-4 : 0x3.bddd44p-12 : inexact-ok
+= acos upward binary32 0xf.ffff9p-4 : 0x3.bddd48p-12 : inexact-ok
+= acos downward binary64 0xf.ffff9p-4 : 0x3.bddd445bc8fdcp-12 : inexact-ok
+= acos tonearest binary64 0xf.ffff9p-4 : 0x3.bddd445bc8fdep-12 : inexact-ok
+= acos towardzero binary64 0xf.ffff9p-4 : 0x3.bddd445bc8fdcp-12 : inexact-ok
+= acos upward binary64 0xf.ffff9p-4 : 0x3.bddd445bc8fdep-12 : inexact-ok
+= acos downward intel96 0xf.ffff9p-4 : 0x3.bddd445bc8fdd9p-12 : inexact-ok
+= acos tonearest intel96 0xf.ffff9p-4 : 0x3.bddd445bc8fdd904p-12 : inexact-ok
+= acos towardzero intel96 0xf.ffff9p-4 : 0x3.bddd445bc8fdd9p-12 : inexact-ok
+= acos upward intel96 0xf.ffff9p-4 : 0x3.bddd445bc8fdd904p-12 : inexact-ok
+= acos downward m68k96 0xf.ffff9p-4 : 0x3.bddd445bc8fdd9p-12 : inexact-ok
+= acos tonearest m68k96 0xf.ffff9p-4 : 0x3.bddd445bc8fdd904p-12 : inexact-ok
+= acos towardzero m68k96 0xf.ffff9p-4 : 0x3.bddd445bc8fdd9p-12 : inexact-ok
+= acos upward m68k96 0xf.ffff9p-4 : 0x3.bddd445bc8fdd904p-12 : inexact-ok
+= acos downward binary128 0xf.ffff9p-4 : 0x3.bddd445bc8fdd903a92245263ea4p-12 : inexact-ok
+= acos tonearest binary128 0xf.ffff9p-4 : 0x3.bddd445bc8fdd903a92245263ea4p-12 : inexact-ok
+= acos towardzero binary128 0xf.ffff9p-4 : 0x3.bddd445bc8fdd903a92245263ea4p-12 : inexact-ok
+= acos upward binary128 0xf.ffff9p-4 : 0x3.bddd445bc8fdd903a92245263ea6p-12 : inexact-ok
+= acos downward ibm128 0xf.ffff9p-4 : 0x3.bddd445bc8fdd903a92245263ep-12 : inexact-ok
+= acos tonearest ibm128 0xf.ffff9p-4 : 0x3.bddd445bc8fdd903a92245263fp-12 : inexact-ok
+= acos towardzero ibm128 0xf.ffff9p-4 : 0x3.bddd445bc8fdd903a92245263ep-12 : inexact-ok
+= acos upward ibm128 0xf.ffff9p-4 : 0x3.bddd445bc8fdd903a92245263fp-12 : inexact-ok
+= acos downward binary64 0xf.ffff9b1a566bp-4 : 0x3.8d25c52edd922p-12 : inexact-ok
+= acos tonearest binary64 0xf.ffff9b1a566bp-4 : 0x3.8d25c52edd924p-12 : inexact-ok
+= acos towardzero binary64 0xf.ffff9b1a566bp-4 : 0x3.8d25c52edd922p-12 : inexact-ok
+= acos upward binary64 0xf.ffff9b1a566bp-4 : 0x3.8d25c52edd924p-12 : inexact-ok
+= acos downward intel96 0xf.ffff9b1a566bp-4 : 0x3.8d25c52edd923p-12 : inexact-ok
+= acos tonearest intel96 0xf.ffff9b1a566bp-4 : 0x3.8d25c52edd923p-12 : inexact-ok
+= acos towardzero intel96 0xf.ffff9b1a566bp-4 : 0x3.8d25c52edd923p-12 : inexact-ok
+= acos upward intel96 0xf.ffff9b1a566bp-4 : 0x3.8d25c52edd923004p-12 : inexact-ok
+= acos downward m68k96 0xf.ffff9b1a566bp-4 : 0x3.8d25c52edd923p-12 : inexact-ok
+= acos tonearest m68k96 0xf.ffff9b1a566bp-4 : 0x3.8d25c52edd923p-12 : inexact-ok
+= acos towardzero m68k96 0xf.ffff9b1a566bp-4 : 0x3.8d25c52edd923p-12 : inexact-ok
+= acos upward m68k96 0xf.ffff9b1a566bp-4 : 0x3.8d25c52edd923004p-12 : inexact-ok
+= acos downward binary128 0xf.ffff9b1a566bp-4 : 0x3.8d25c52edd92300000026414cf6p-12 : inexact-ok
+= acos tonearest binary128 0xf.ffff9b1a566bp-4 : 0x3.8d25c52edd92300000026414cf62p-12 : inexact-ok
+= acos towardzero binary128 0xf.ffff9b1a566bp-4 : 0x3.8d25c52edd92300000026414cf6p-12 : inexact-ok
+= acos upward binary128 0xf.ffff9b1a566bp-4 : 0x3.8d25c52edd92300000026414cf62p-12 : inexact-ok
+= acos downward ibm128 0xf.ffff9b1a566bp-4 : 0x3.8d25c52edd92300000026414cfp-12 : inexact-ok
+= acos tonearest ibm128 0xf.ffff9b1a566bp-4 : 0x3.8d25c52edd92300000026414cfp-12 : inexact-ok
+= acos towardzero ibm128 0xf.ffff9b1a566bp-4 : 0x3.8d25c52edd92300000026414cfp-12 : inexact-ok
+= acos upward ibm128 0xf.ffff9b1a566bp-4 : 0x3.8d25c52edd92300000026414dp-12 : inexact-ok
+acos 0xf.fe00271d507ee5dp-4
+= acos downward binary32 0xf.fe003p-4 : 0x7.ffb55p-8 : inexact-ok
+= acos tonearest binary32 0xf.fe003p-4 : 0x7.ffb55p-8 : inexact-ok
+= acos towardzero binary32 0xf.fe003p-4 : 0x7.ffb55p-8 : inexact-ok
+= acos upward binary32 0xf.fe003p-4 : 0x7.ffb558p-8 : inexact-ok
+= acos downward binary64 0xf.fe003p-4 : 0x7.ffb550aec7a54p-8 : inexact-ok
+= acos tonearest binary64 0xf.fe003p-4 : 0x7.ffb550aec7a58p-8 : inexact-ok
+= acos towardzero binary64 0xf.fe003p-4 : 0x7.ffb550aec7a54p-8 : inexact-ok
+= acos upward binary64 0xf.fe003p-4 : 0x7.ffb550aec7a58p-8 : inexact-ok
+= acos downward intel96 0xf.fe003p-4 : 0x7.ffb550aec7a5639p-8 : inexact-ok
+= acos tonearest intel96 0xf.fe003p-4 : 0x7.ffb550aec7a56398p-8 : inexact-ok
+= acos towardzero intel96 0xf.fe003p-4 : 0x7.ffb550aec7a5639p-8 : inexact-ok
+= acos upward intel96 0xf.fe003p-4 : 0x7.ffb550aec7a56398p-8 : inexact-ok
+= acos downward m68k96 0xf.fe003p-4 : 0x7.ffb550aec7a5639p-8 : inexact-ok
+= acos tonearest m68k96 0xf.fe003p-4 : 0x7.ffb550aec7a56398p-8 : inexact-ok
+= acos towardzero m68k96 0xf.fe003p-4 : 0x7.ffb550aec7a5639p-8 : inexact-ok
+= acos upward m68k96 0xf.fe003p-4 : 0x7.ffb550aec7a56398p-8 : inexact-ok
+= acos downward binary128 0xf.fe003p-4 : 0x7.ffb550aec7a5639438e648655f7p-8 : inexact-ok
+= acos tonearest binary128 0xf.fe003p-4 : 0x7.ffb550aec7a5639438e648655f7p-8 : inexact-ok
+= acos towardzero binary128 0xf.fe003p-4 : 0x7.ffb550aec7a5639438e648655f7p-8 : inexact-ok
+= acos upward binary128 0xf.fe003p-4 : 0x7.ffb550aec7a5639438e648655f74p-8 : inexact-ok
+= acos downward ibm128 0xf.fe003p-4 : 0x7.ffb550aec7a5639438e648655ep-8 : inexact-ok
+= acos tonearest ibm128 0xf.fe003p-4 : 0x7.ffb550aec7a5639438e648656p-8 : inexact-ok
+= acos towardzero ibm128 0xf.fe003p-4 : 0x7.ffb550aec7a5639438e648655ep-8 : inexact-ok
+= acos upward ibm128 0xf.fe003p-4 : 0x7.ffb550aec7a5639438e648656p-8 : inexact-ok
+= acos downward binary32 0xf.fe002p-4 : 0x7.ffd55p-8 : inexact-ok
+= acos tonearest binary32 0xf.fe002p-4 : 0x7.ffd55p-8 : inexact-ok
+= acos towardzero binary32 0xf.fe002p-4 : 0x7.ffd55p-8 : inexact-ok
+= acos upward binary32 0xf.fe002p-4 : 0x7.ffd558p-8 : inexact-ok
+= acos downward binary64 0xf.fe002p-4 : 0x7.ffd552eedca58p-8 : inexact-ok
+= acos tonearest binary64 0xf.fe002p-4 : 0x7.ffd552eedca5cp-8 : inexact-ok
+= acos towardzero binary64 0xf.fe002p-4 : 0x7.ffd552eedca58p-8 : inexact-ok
+= acos upward binary64 0xf.fe002p-4 : 0x7.ffd552eedca5cp-8 : inexact-ok
+= acos downward intel96 0xf.fe002p-4 : 0x7.ffd552eedca5ade8p-8 : inexact-ok
+= acos tonearest intel96 0xf.fe002p-4 : 0x7.ffd552eedca5adfp-8 : inexact-ok
+= acos towardzero intel96 0xf.fe002p-4 : 0x7.ffd552eedca5ade8p-8 : inexact-ok
+= acos upward intel96 0xf.fe002p-4 : 0x7.ffd552eedca5adfp-8 : inexact-ok
+= acos downward m68k96 0xf.fe002p-4 : 0x7.ffd552eedca5ade8p-8 : inexact-ok
+= acos tonearest m68k96 0xf.fe002p-4 : 0x7.ffd552eedca5adfp-8 : inexact-ok
+= acos towardzero m68k96 0xf.fe002p-4 : 0x7.ffd552eedca5ade8p-8 : inexact-ok
+= acos upward m68k96 0xf.fe002p-4 : 0x7.ffd552eedca5adfp-8 : inexact-ok
+= acos downward binary128 0xf.fe002p-4 : 0x7.ffd552eedca5adef3be2b755351p-8 : inexact-ok
+= acos tonearest binary128 0xf.fe002p-4 : 0x7.ffd552eedca5adef3be2b7553514p-8 : inexact-ok
+= acos towardzero binary128 0xf.fe002p-4 : 0x7.ffd552eedca5adef3be2b755351p-8 : inexact-ok
+= acos upward binary128 0xf.fe002p-4 : 0x7.ffd552eedca5adef3be2b7553514p-8 : inexact-ok
+= acos downward ibm128 0xf.fe002p-4 : 0x7.ffd552eedca5adef3be2b75534p-8 : inexact-ok
+= acos tonearest ibm128 0xf.fe002p-4 : 0x7.ffd552eedca5adef3be2b75536p-8 : inexact-ok
+= acos towardzero ibm128 0xf.fe002p-4 : 0x7.ffd552eedca5adef3be2b75534p-8 : inexact-ok
+= acos upward ibm128 0xf.fe002p-4 : 0x7.ffd552eedca5adef3be2b75536p-8 : inexact-ok
+= acos downward binary64 0xf.fe00271d507fp-4 : 0x7.ffc7175d8526cp-8 : inexact-ok
+= acos tonearest binary64 0xf.fe00271d507fp-4 : 0x7.ffc7175d8527p-8 : inexact-ok
+= acos towardzero binary64 0xf.fe00271d507fp-4 : 0x7.ffc7175d8526cp-8 : inexact-ok
+= acos upward binary64 0xf.fe00271d507fp-4 : 0x7.ffc7175d8527p-8 : inexact-ok
+= acos downward intel96 0xf.fe00271d507fp-4 : 0x7.ffc7175d8526e8dp-8 : inexact-ok
+= acos tonearest intel96 0xf.fe00271d507fp-4 : 0x7.ffc7175d8526e8dp-8 : inexact-ok
+= acos towardzero intel96 0xf.fe00271d507fp-4 : 0x7.ffc7175d8526e8dp-8 : inexact-ok
+= acos upward intel96 0xf.fe00271d507fp-4 : 0x7.ffc7175d8526e8d8p-8 : inexact-ok
+= acos downward m68k96 0xf.fe00271d507fp-4 : 0x7.ffc7175d8526e8dp-8 : inexact-ok
+= acos tonearest m68k96 0xf.fe00271d507fp-4 : 0x7.ffc7175d8526e8dp-8 : inexact-ok
+= acos towardzero m68k96 0xf.fe00271d507fp-4 : 0x7.ffc7175d8526e8dp-8 : inexact-ok
+= acos upward m68k96 0xf.fe00271d507fp-4 : 0x7.ffc7175d8526e8d8p-8 : inexact-ok
+= acos downward binary128 0xf.fe00271d507fp-4 : 0x7.ffc7175d8526e8d2a5d9ca757ae8p-8 : inexact-ok
+= acos tonearest binary128 0xf.fe00271d507fp-4 : 0x7.ffc7175d8526e8d2a5d9ca757ae8p-8 : inexact-ok
+= acos towardzero binary128 0xf.fe00271d507fp-4 : 0x7.ffc7175d8526e8d2a5d9ca757ae8p-8 : inexact-ok
+= acos upward binary128 0xf.fe00271d507fp-4 : 0x7.ffc7175d8526e8d2a5d9ca757aecp-8 : inexact-ok
+= acos downward ibm128 0xf.fe00271d507fp-4 : 0x7.ffc7175d8526e8d2a5d9ca757ap-8 : inexact-ok
+= acos tonearest ibm128 0xf.fe00271d507fp-4 : 0x7.ffc7175d8526e8d2a5d9ca757ap-8 : inexact-ok
+= acos towardzero ibm128 0xf.fe00271d507fp-4 : 0x7.ffc7175d8526e8d2a5d9ca757ap-8 : inexact-ok
+= acos upward ibm128 0xf.fe00271d507fp-4 : 0x7.ffc7175d8526e8d2a5d9ca757cp-8 : inexact-ok
+= acos downward binary64 0xf.fe00271d507e8p-4 : 0x7.ffc7175d8626cp-8 : inexact-ok
+= acos tonearest binary64 0xf.fe00271d507e8p-4 : 0x7.ffc7175d8627p-8 : inexact-ok
+= acos towardzero binary64 0xf.fe00271d507e8p-4 : 0x7.ffc7175d8626cp-8 : inexact-ok
+= acos upward binary64 0xf.fe00271d507e8p-4 : 0x7.ffc7175d8627p-8 : inexact-ok
+= acos downward intel96 0xf.fe00271d507e8p-4 : 0x7.ffc7175d8626fa98p-8 : inexact-ok
+= acos tonearest intel96 0xf.fe00271d507e8p-4 : 0x7.ffc7175d8626fa98p-8 : inexact-ok
+= acos towardzero intel96 0xf.fe00271d507e8p-4 : 0x7.ffc7175d8626fa98p-8 : inexact-ok
+= acos upward intel96 0xf.fe00271d507e8p-4 : 0x7.ffc7175d8626faap-8 : inexact-ok
+= acos downward m68k96 0xf.fe00271d507e8p-4 : 0x7.ffc7175d8626fa98p-8 : inexact-ok
+= acos tonearest m68k96 0xf.fe00271d507e8p-4 : 0x7.ffc7175d8626fa98p-8 : inexact-ok
+= acos towardzero m68k96 0xf.fe00271d507e8p-4 : 0x7.ffc7175d8626fa98p-8 : inexact-ok
+= acos upward m68k96 0xf.fe00271d507e8p-4 : 0x7.ffc7175d8626faap-8 : inexact-ok
+= acos downward binary128 0xf.fe00271d507e8p-4 : 0x7.ffc7175d8626fa9a9b2f299f3b1cp-8 : inexact-ok
+= acos tonearest binary128 0xf.fe00271d507e8p-4 : 0x7.ffc7175d8626fa9a9b2f299f3b2p-8 : inexact-ok
+= acos towardzero binary128 0xf.fe00271d507e8p-4 : 0x7.ffc7175d8626fa9a9b2f299f3b1cp-8 : inexact-ok
+= acos upward binary128 0xf.fe00271d507e8p-4 : 0x7.ffc7175d8626fa9a9b2f299f3b2p-8 : inexact-ok
+= acos downward ibm128 0xf.fe00271d507e8p-4 : 0x7.ffc7175d8626fa9a9b2f299f3ap-8 : inexact-ok
+= acos tonearest ibm128 0xf.fe00271d507e8p-4 : 0x7.ffc7175d8626fa9a9b2f299f3cp-8 : inexact-ok
+= acos towardzero ibm128 0xf.fe00271d507e8p-4 : 0x7.ffc7175d8626fa9a9b2f299f3ap-8 : inexact-ok
+= acos upward ibm128 0xf.fe00271d507e8p-4 : 0x7.ffc7175d8626fa9a9b2f299f3cp-8 : inexact-ok
+= acos downward intel96 0xf.fe00271d507ee5dp-4 : 0x7.ffc7175d855b4c7p-8 : inexact-ok
+= acos tonearest intel96 0xf.fe00271d507ee5dp-4 : 0x7.ffc7175d855b4c78p-8 : inexact-ok
+= acos towardzero intel96 0xf.fe00271d507ee5dp-4 : 0x7.ffc7175d855b4c7p-8 : inexact-ok
+= acos upward intel96 0xf.fe00271d507ee5dp-4 : 0x7.ffc7175d855b4c78p-8 : inexact-ok
+= acos downward m68k96 0xf.fe00271d507ee5dp-4 : 0x7.ffc7175d855b4c7p-8 : inexact-ok
+= acos tonearest m68k96 0xf.fe00271d507ee5dp-4 : 0x7.ffc7175d855b4c78p-8 : inexact-ok
+= acos towardzero m68k96 0xf.fe00271d507ee5dp-4 : 0x7.ffc7175d855b4c7p-8 : inexact-ok
+= acos upward m68k96 0xf.fe00271d507ee5dp-4 : 0x7.ffc7175d855b4c78p-8 : inexact-ok
+= acos downward binary128 0xf.fe00271d507ee5dp-4 : 0x7.ffc7175d855b4c75eeab24686aecp-8 : inexact-ok
+= acos tonearest binary128 0xf.fe00271d507ee5dp-4 : 0x7.ffc7175d855b4c75eeab24686aecp-8 : inexact-ok
+= acos towardzero binary128 0xf.fe00271d507ee5dp-4 : 0x7.ffc7175d855b4c75eeab24686aecp-8 : inexact-ok
+= acos upward binary128 0xf.fe00271d507ee5dp-4 : 0x7.ffc7175d855b4c75eeab24686afp-8 : inexact-ok
+= acos downward ibm128 0xf.fe00271d507ee5dp-4 : 0x7.ffc7175d855b4c75eeab24686ap-8 : inexact-ok
+= acos tonearest ibm128 0xf.fe00271d507ee5dp-4 : 0x7.ffc7175d855b4c75eeab24686ap-8 : inexact-ok
+= acos towardzero ibm128 0xf.fe00271d507ee5dp-4 : 0x7.ffc7175d855b4c75eeab24686ap-8 : inexact-ok
+= acos upward ibm128 0xf.fe00271d507ee5dp-4 : 0x7.ffc7175d855b4c75eeab24686cp-8 : inexact-ok
 acos min
 = acos downward binary32 0x4p-128 : 0x1.921fb4p+0 : inexact-ok
 = acos tonearest binary32 0x4p-128 : 0x1.921fb6p+0 : inexact-ok
diff --git a/math/auto-libm-test-out-acosh b/math/auto-libm-test-out-acosh
index f408be3df1..a628fa33ba 100644
--- a/math/auto-libm-test-out-acosh
+++ b/math/auto-libm-test-out-acosh
@@ -1898,6 +1898,252 @@ acosh 0x1.1052c4p+0
 = acosh tonearest ibm128 0x1.1052c4p+0 : 0x5.af0cbc66dcd4992c060eb8ff4ap-4 : inexact-ok
 = acosh towardzero ibm128 0x1.1052c4p+0 : 0x5.af0cbc66dcd4992c060eb8ff48p-4 : inexact-ok
 = acosh upward ibm128 0x1.1052c4p+0 : 0x5.af0cbc66dcd4992c060eb8ff4ap-4 : inexact-ok
+acosh 0x1.1ecbdf374bce01cap+0
+= acosh downward binary32 0x1.1ecbep+0 : 0x7.c5802p-4 : inexact-ok
+= acosh tonearest binary32 0x1.1ecbep+0 : 0x7.c5802p-4 : inexact-ok
+= acosh towardzero binary32 0x1.1ecbep+0 : 0x7.c5802p-4 : inexact-ok
+= acosh upward binary32 0x1.1ecbep+0 : 0x7.c58028p-4 : inexact-ok
+= acosh downward binary64 0x1.1ecbep+0 : 0x7.c580228bed2a8p-4 : inexact-ok
+= acosh tonearest binary64 0x1.1ecbep+0 : 0x7.c580228bed2a8p-4 : inexact-ok
+= acosh towardzero binary64 0x1.1ecbep+0 : 0x7.c580228bed2a8p-4 : inexact-ok
+= acosh upward binary64 0x1.1ecbep+0 : 0x7.c580228bed2acp-4 : inexact-ok
+= acosh downward intel96 0x1.1ecbep+0 : 0x7.c580228bed2a8288p-4 : inexact-ok
+= acosh tonearest intel96 0x1.1ecbep+0 : 0x7.c580228bed2a829p-4 : inexact-ok
+= acosh towardzero intel96 0x1.1ecbep+0 : 0x7.c580228bed2a8288p-4 : inexact-ok
+= acosh upward intel96 0x1.1ecbep+0 : 0x7.c580228bed2a829p-4 : inexact-ok
+= acosh downward m68k96 0x1.1ecbep+0 : 0x7.c580228bed2a8288p-4 : inexact-ok
+= acosh tonearest m68k96 0x1.1ecbep+0 : 0x7.c580228bed2a829p-4 : inexact-ok
+= acosh towardzero m68k96 0x1.1ecbep+0 : 0x7.c580228bed2a8288p-4 : inexact-ok
+= acosh upward m68k96 0x1.1ecbep+0 : 0x7.c580228bed2a829p-4 : inexact-ok
+= acosh downward binary128 0x1.1ecbep+0 : 0x7.c580228bed2a828f8042d267c3f4p-4 : inexact-ok
+= acosh tonearest binary128 0x1.1ecbep+0 : 0x7.c580228bed2a828f8042d267c3f4p-4 : inexact-ok
+= acosh towardzero binary128 0x1.1ecbep+0 : 0x7.c580228bed2a828f8042d267c3f4p-4 : inexact-ok
+= acosh upward binary128 0x1.1ecbep+0 : 0x7.c580228bed2a828f8042d267c3f8p-4 : inexact-ok
+= acosh downward ibm128 0x1.1ecbep+0 : 0x7.c580228bed2a828f8042d267c2p-4 : inexact-ok
+= acosh tonearest ibm128 0x1.1ecbep+0 : 0x7.c580228bed2a828f8042d267c4p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.1ecbep+0 : 0x7.c580228bed2a828f8042d267c2p-4 : inexact-ok