Add inputs that generate larger error bounds

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

1 files changed, 141 insertions, 0 deletions

diff --git a/math/auto-libm-test-out-atanh b/math/auto-libm-test-out-atanh
index d90a390f19..378ef6e8cf 100644
--- a/math/auto-libm-test-out-atanh
+++ b/math/auto-libm-test-out-atanh
@@ -3112,6 +3112,147 @@ atanh 0x1p-5000
 = atanh tonearest binary128 0x1p-5000 : 0x1p-5000 : inexact-ok
 = atanh towardzero binary128 0x1p-5000 : 0x1p-5000 : inexact-ok
 = atanh upward binary128 0x1p-5000 : 0x1.0000000000000000000000000001p-5000 : inexact-ok
+atanh 0x2.c02a24f3472c7840afbd8cfb68bap-4
+= atanh downward binary32 0x2.c02a28p-4 : 0x2.c73a3cp-4 : inexact-ok
+= atanh tonearest binary32 0x2.c02a28p-4 : 0x2.c73a3cp-4 : inexact-ok
+= atanh towardzero binary32 0x2.c02a28p-4 : 0x2.c73a3cp-4 : inexact-ok
+= atanh upward binary32 0x2.c02a28p-4 : 0x2.c73a4p-4 : inexact-ok
+= atanh downward binary64 0x2.c02a28p-4 : 0x2.c73a3db8f5676p-4 : inexact-ok
+= atanh tonearest binary64 0x2.c02a28p-4 : 0x2.c73a3db8f5678p-4 : inexact-ok
+= atanh towardzero binary64 0x2.c02a28p-4 : 0x2.c73a3db8f5676p-4 : inexact-ok
+= atanh upward binary64 0x2.c02a28p-4 : 0x2.c73a3db8f5678p-4 : inexact-ok
+= atanh downward intel96 0x2.c02a28p-4 : 0x2.c73a3db8f5677cc8p-4 : inexact-ok
+= atanh tonearest intel96 0x2.c02a28p-4 : 0x2.c73a3db8f5677cccp-4 : inexact-ok
+= atanh towardzero intel96 0x2.c02a28p-4 : 0x2.c73a3db8f5677cc8p-4 : inexact-ok
+= atanh upward intel96 0x2.c02a28p-4 : 0x2.c73a3db8f5677cccp-4 : inexact-ok
+= atanh downward m68k96 0x2.c02a28p-4 : 0x2.c73a3db8f5677cc8p-4 : inexact-ok
+= atanh tonearest m68k96 0x2.c02a28p-4 : 0x2.c73a3db8f5677cccp-4 : inexact-ok
+= atanh towardzero m68k96 0x2.c02a28p-4 : 0x2.c73a3db8f5677cc8p-4 : inexact-ok
+= atanh upward m68k96 0x2.c02a28p-4 : 0x2.c73a3db8f5677cccp-4 : inexact-ok
+= atanh downward binary128 0x2.c02a28p-4 : 0x2.c73a3db8f5677ccbe692a02b4a1ep-4 : inexact-ok
+= atanh tonearest binary128 0x2.c02a28p-4 : 0x2.c73a3db8f5677ccbe692a02b4a1ep-4 : inexact-ok
+= atanh towardzero binary128 0x2.c02a28p-4 : 0x2.c73a3db8f5677ccbe692a02b4a1ep-4 : inexact-ok
+= atanh upward binary128 0x2.c02a28p-4 : 0x2.c73a3db8f5677ccbe692a02b4a2p-4 : inexact-ok
+= atanh downward ibm128 0x2.c02a28p-4 : 0x2.c73a3db8f5677ccbe692a02b4ap-4 : inexact-ok
+= atanh tonearest ibm128 0x2.c02a28p-4 : 0x2.c73a3db8f5677ccbe692a02b4ap-4 : inexact-ok
+= atanh towardzero ibm128 0x2.c02a28p-4 : 0x2.c73a3db8f5677ccbe692a02b4ap-4 : inexact-ok
+= atanh upward ibm128 0x2.c02a28p-4 : 0x2.c73a3db8f5677ccbe692a02b4bp-4 : inexact-ok
+= atanh downward binary32 0x2.c02a24p-4 : 0x2.c73a38p-4 : inexact-ok
+= atanh tonearest binary32 0x2.c02a24p-4 : 0x2.c73a38p-4 : inexact-ok
+= atanh towardzero binary32 0x2.c02a24p-4 : 0x2.c73a38p-4 : inexact-ok
+= atanh upward binary32 0x2.c02a24p-4 : 0x2.c73a3cp-4 : inexact-ok
+= atanh downward binary64 0x2.c02a24p-4 : 0x2.c73a3999c5d4p-4 : inexact-ok
+= atanh tonearest binary64 0x2.c02a24p-4 : 0x2.c73a3999c5d42p-4 : inexact-ok
+= atanh towardzero binary64 0x2.c02a24p-4 : 0x2.c73a3999c5d4p-4 : inexact-ok
+= atanh upward binary64 0x2.c02a24p-4 : 0x2.c73a3999c5d42p-4 : inexact-ok
+= atanh downward intel96 0x2.c02a24p-4 : 0x2.c73a3999c5d41404p-4 : inexact-ok
+= atanh tonearest intel96 0x2.c02a24p-4 : 0x2.c73a3999c5d41404p-4 : inexact-ok
+= atanh towardzero intel96 0x2.c02a24p-4 : 0x2.c73a3999c5d41404p-4 : inexact-ok
+= atanh upward intel96 0x2.c02a24p-4 : 0x2.c73a3999c5d41408p-4 : inexact-ok
+= atanh downward m68k96 0x2.c02a24p-4 : 0x2.c73a3999c5d41404p-4 : inexact-ok
+= atanh tonearest m68k96 0x2.c02a24p-4 : 0x2.c73a3999c5d41404p-4 : inexact-ok
+= atanh towardzero m68k96 0x2.c02a24p-4 : 0x2.c73a3999c5d41404p-4 : inexact-ok
+= atanh upward m68k96 0x2.c02a24p-4 : 0x2.c73a3999c5d41408p-4 : inexact-ok
+= atanh downward binary128 0x2.c02a24p-4 : 0x2.c73a3999c5d414054dd8dece68d4p-4 : inexact-ok
+= atanh tonearest binary128 0x2.c02a24p-4 : 0x2.c73a3999c5d414054dd8dece68d6p-4 : inexact-ok
+= atanh towardzero binary128 0x2.c02a24p-4 : 0x2.c73a3999c5d414054dd8dece68d4p-4 : inexact-ok
+= atanh upward binary128 0x2.c02a24p-4 : 0x2.c73a3999c5d414054dd8dece68d6p-4 : inexact-ok
+= atanh downward ibm128 0x2.c02a24p-4 : 0x2.c73a3999c5d414054dd8dece68p-4 : inexact-ok
+= atanh tonearest ibm128 0x2.c02a24p-4 : 0x2.c73a3999c5d414054dd8dece69p-4 : inexact-ok
+= atanh towardzero ibm128 0x2.c02a24p-4 : 0x2.c73a3999c5d414054dd8dece68p-4 : inexact-ok
+= atanh upward ibm128 0x2.c02a24p-4 : 0x2.c73a3999c5d414054dd8dece69p-4 : inexact-ok
+= atanh downward binary64 0x2.c02a24f3472c8p-4 : 0x2.c73a3a9475b5ap-4 : inexact-ok
+= atanh tonearest binary64 0x2.c02a24f3472c8p-4 : 0x2.c73a3a9475b5ap-4 : inexact-ok
+= atanh towardzero binary64 0x2.c02a24f3472c8p-4 : 0x2.c73a3a9475b5ap-4 : inexact-ok
+= atanh upward binary64 0x2.c02a24f3472c8p-4 : 0x2.c73a3a9475b5cp-4 : inexact-ok
+= atanh downward intel96 0x2.c02a24f3472c8p-4 : 0x2.c73a3a9475b5ae14p-4 : inexact-ok
+= atanh tonearest intel96 0x2.c02a24f3472c8p-4 : 0x2.c73a3a9475b5ae14p-4 : inexact-ok
+= atanh towardzero intel96 0x2.c02a24f3472c8p-4 : 0x2.c73a3a9475b5ae14p-4 : inexact-ok
+= atanh upward intel96 0x2.c02a24f3472c8p-4 : 0x2.c73a3a9475b5ae18p-4 : inexact-ok
+= atanh downward m68k96 0x2.c02a24f3472c8p-4 : 0x2.c73a3a9475b5ae14p-4 : inexact-ok
+= atanh tonearest m68k96 0x2.c02a24f3472c8p-4 : 0x2.c73a3a9475b5ae14p-4 : inexact-ok
+= atanh towardzero m68k96 0x2.c02a24f3472c8p-4 : 0x2.c73a3a9475b5ae14p-4 : inexact-ok
+= atanh upward m68k96 0x2.c02a24f3472c8p-4 : 0x2.c73a3a9475b5ae18p-4 : inexact-ok
+= atanh downward binary128 0x2.c02a24f3472c8p-4 : 0x2.c73a3a9475b5ae1543ad4fac71f4p-4 : inexact-ok
+= atanh tonearest binary128 0x2.c02a24f3472c8p-4 : 0x2.c73a3a9475b5ae1543ad4fac71f4p-4 : inexact-ok
+= atanh towardzero binary128 0x2.c02a24f3472c8p-4 : 0x2.c73a3a9475b5ae1543ad4fac71f4p-4 : inexact-ok
+= atanh upward binary128 0x2.c02a24f3472c8p-4 : 0x2.c73a3a9475b5ae1543ad4fac71f6p-4 : inexact-ok
+= atanh downward ibm128 0x2.c02a24f3472c8p-4 : 0x2.c73a3a9475b5ae1543ad4fac71p-4 : inexact-ok
+= atanh tonearest ibm128 0x2.c02a24f3472c8p-4 : 0x2.c73a3a9475b5ae1543ad4fac72p-4 : inexact-ok
+= atanh towardzero ibm128 0x2.c02a24f3472c8p-4 : 0x2.c73a3a9475b5ae1543ad4fac71p-4 : inexact-ok
+= atanh upward ibm128 0x2.c02a24f3472c8p-4 : 0x2.c73a3a9475b5ae1543ad4fac72p-4 : inexact-ok
+= atanh downward binary64 0x2.c02a24f3472c6p-4 : 0x2.c73a3a9475b58p-4 : inexact-ok
+= atanh tonearest binary64 0x2.c02a24f3472c6p-4 : 0x2.c73a3a9475b58p-4 : inexact-ok
+= atanh towardzero binary64 0x2.c02a24f3472c6p-4 : 0x2.c73a3a9475b58p-4 : inexact-ok
+= atanh upward binary64 0x2.c02a24f3472c6p-4 : 0x2.c73a3a9475b5ap-4 : inexact-ok
+= atanh downward intel96 0x2.c02a24f3472c6p-4 : 0x2.c73a3a9475b58d18p-4 : inexact-ok
+= atanh tonearest intel96 0x2.c02a24f3472c6p-4 : 0x2.c73a3a9475b58d1cp-4 : inexact-ok
+= atanh towardzero intel96 0x2.c02a24f3472c6p-4 : 0x2.c73a3a9475b58d18p-4 : inexact-ok
+= atanh upward intel96 0x2.c02a24f3472c6p-4 : 0x2.c73a3a9475b58d1cp-4 : inexact-ok
+= atanh downward m68k96 0x2.c02a24f3472c6p-4 : 0x2.c73a3a9475b58d18p-4 : inexact-ok
+= atanh tonearest m68k96 0x2.c02a24f3472c6p-4 : 0x2.c73a3a9475b58d1cp-4 : inexact-ok
+= atanh towardzero m68k96 0x2.c02a24f3472c6p-4 : 0x2.c73a3a9475b58d18p-4 : inexact-ok
+= atanh upward m68k96 0x2.c02a24f3472c6p-4 : 0x2.c73a3a9475b58d1cp-4 : inexact-ok
+= atanh downward binary128 0x2.c02a24f3472c6p-4 : 0x2.c73a3a9475b58d1bc712cdaf1656p-4 : inexact-ok
+= atanh tonearest binary128 0x2.c02a24f3472c6p-4 : 0x2.c73a3a9475b58d1bc712cdaf1658p-4 : inexact-ok
+= atanh towardzero binary128 0x2.c02a24f3472c6p-4 : 0x2.c73a3a9475b58d1bc712cdaf1656p-4 : inexact-ok
+= atanh upward binary128 0x2.c02a24f3472c6p-4 : 0x2.c73a3a9475b58d1bc712cdaf1658p-4 : inexact-ok
+= atanh downward ibm128 0x2.c02a24f3472c6p-4 : 0x2.c73a3a9475b58d1bc712cdaf16p-4 : inexact-ok
+= atanh tonearest ibm128 0x2.c02a24f3472c6p-4 : 0x2.c73a3a9475b58d1bc712cdaf16p-4 : inexact-ok
+= atanh towardzero ibm128 0x2.c02a24f3472c6p-4 : 0x2.c73a3a9475b58d1bc712cdaf16p-4 : inexact-ok
+= atanh upward ibm128 0x2.c02a24f3472c6p-4 : 0x2.c73a3a9475b58d1bc712cdaf17p-4 : inexact-ok
+= atanh downward intel96 0x2.c02a24f3472c7844p-4 : 0x2.c73a3a9475b5a61cp-4 : inexact-ok
+= atanh tonearest intel96 0x2.c02a24f3472c7844p-4 : 0x2.c73a3a9475b5a61cp-4 : inexact-ok
+= atanh towardzero intel96 0x2.c02a24f3472c7844p-4 : 0x2.c73a3a9475b5a61cp-4 : inexact-ok
+= atanh upward intel96 0x2.c02a24f3472c7844p-4 : 0x2.c73a3a9475b5a62p-4 : inexact-ok
+= atanh downward m68k96 0x2.c02a24f3472c7844p-4 : 0x2.c73a3a9475b5a61cp-4 : inexact-ok
+= atanh tonearest m68k96 0x2.c02a24f3472c7844p-4 : 0x2.c73a3a9475b5a61cp-4 : inexact-ok
+= atanh towardzero m68k96 0x2.c02a24f3472c7844p-4 : 0x2.c73a3a9475b5a61cp-4 : inexact-ok
+= atanh upward m68k96 0x2.c02a24f3472c7844p-4 : 0x2.c73a3a9475b5a62p-4 : inexact-ok
+= atanh downward binary128 0x2.c02a24f3472c7844p-4 : 0x2.c73a3a9475b5a61cf6af7781556ep-4 : inexact-ok
+= atanh tonearest binary128 0x2.c02a24f3472c7844p-4 : 0x2.c73a3a9475b5a61cf6af7781556ep-4 : inexact-ok
+= atanh towardzero binary128 0x2.c02a24f3472c7844p-4 : 0x2.c73a3a9475b5a61cf6af7781556ep-4 : inexact-ok
+= atanh upward binary128 0x2.c02a24f3472c7844p-4 : 0x2.c73a3a9475b5a61cf6af7781557p-4 : inexact-ok
+= atanh downward ibm128 0x2.c02a24f3472c7844p-4 : 0x2.c73a3a9475b5a61cf6af778155p-4 : inexact-ok
+= atanh tonearest ibm128 0x2.c02a24f3472c7844p-4 : 0x2.c73a3a9475b5a61cf6af778155p-4 : inexact-ok
+= atanh towardzero ibm128 0x2.c02a24f3472c7844p-4 : 0x2.c73a3a9475b5a61cf6af778155p-4 : inexact-ok
+= atanh upward ibm128 0x2.c02a24f3472c7844p-4 : 0x2.c73a3a9475b5a61cf6af778156p-4 : inexact-ok
+= atanh downward intel96 0x2.c02a24f3472c784p-4 : 0x2.c73a3a9475b5a618p-4 : inexact-ok
+= atanh tonearest intel96 0x2.c02a24f3472c784p-4 : 0x2.c73a3a9475b5a618p-4 : inexact-ok
+= atanh towardzero intel96 0x2.c02a24f3472c784p-4 : 0x2.c73a3a9475b5a618p-4 : inexact-ok
+= atanh upward intel96 0x2.c02a24f3472c784p-4 : 0x2.c73a3a9475b5a61cp-4 : inexact-ok
+= atanh downward m68k96 0x2.c02a24f3472c784p-4 : 0x2.c73a3a9475b5a618p-4 : inexact-ok
+= atanh tonearest m68k96 0x2.c02a24f3472c784p-4 : 0x2.c73a3a9475b5a618p-4 : inexact-ok
+= atanh towardzero m68k96 0x2.c02a24f3472c784p-4 : 0x2.c73a3a9475b5a618p-4 : inexact-ok
+= atanh upward m68k96 0x2.c02a24f3472c784p-4 : 0x2.c73a3a9475b5a61cp-4 : inexact-ok
+= atanh downward binary128 0x2.c02a24f3472c784p-4 : 0x2.c73a3a9475b5a618d77fe43115c2p-4 : inexact-ok
+= atanh tonearest binary128 0x2.c02a24f3472c784p-4 : 0x2.c73a3a9475b5a618d77fe43115c2p-4 : inexact-ok
+= atanh towardzero binary128 0x2.c02a24f3472c784p-4 : 0x2.c73a3a9475b5a618d77fe43115c2p-4 : inexact-ok
+= atanh upward binary128 0x2.c02a24f3472c784p-4 : 0x2.c73a3a9475b5a618d77fe43115c4p-4 : inexact-ok
+= atanh downward ibm128 0x2.c02a24f3472c784p-4 : 0x2.c73a3a9475b5a618d77fe43115p-4 : inexact-ok
+= atanh tonearest ibm128 0x2.c02a24f3472c784p-4 : 0x2.c73a3a9475b5a618d77fe43116p-4 : inexact-ok
+= atanh towardzero ibm128 0x2.c02a24f3472c784p-4 : 0x2.c73a3a9475b5a618d77fe43115p-4 : inexact-ok
+= atanh upward ibm128 0x2.c02a24f3472c784p-4 : 0x2.c73a3a9475b5a618d77fe43116p-4 : inexact-ok
+= atanh downward binary128 0x2.c02a24f3472c7840afbd8cfb68bap-4 : 0x2.c73a3a9475b5a6198c97986c8f2ap-4 : inexact-ok
+= atanh tonearest binary128 0x2.c02a24f3472c7840afbd8cfb68bap-4 : 0x2.c73a3a9475b5a6198c97986c8f2cp-4 : inexact-ok
+= atanh towardzero binary128 0x2.c02a24f3472c7840afbd8cfb68bap-4 : 0x2.c73a3a9475b5a6198c97986c8f2ap-4 : inexact-ok
+= atanh upward binary128 0x2.c02a24f3472c7840afbd8cfb68bap-4 : 0x2.c73a3a9475b5a6198c97986c8f2cp-4 : inexact-ok
+= atanh downward binary128 0x2.c02a24f3472c7840afbd8cfb69p-4 : 0x2.c73a3a9475b5a6198c97986c8f72p-4 : inexact-ok
+= atanh tonearest binary128 0x2.c02a24f3472c7840afbd8cfb69p-4 : 0x2.c73a3a9475b5a6198c97986c8f74p-4 : inexact-ok
+= atanh towardzero binary128 0x2.c02a24f3472c7840afbd8cfb69p-4 : 0x2.c73a3a9475b5a6198c97986c8f72p-4 : inexact-ok
+= atanh upward binary128 0x2.c02a24f3472c7840afbd8cfb69p-4 : 0x2.c73a3a9475b5a6198c97986c8f74p-4 : inexact-ok
+= atanh downward ibm128 0x2.c02a24f3472c7840afbd8cfb69p-4 : 0x2.c73a3a9475b5a6198c97986c8fp-4 : inexact-ok
+= atanh tonearest ibm128 0x2.c02a24f3472c7840afbd8cfb69p-4 : 0x2.c73a3a9475b5a6198c97986c8fp-4 : inexact-ok
+= atanh towardzero ibm128 0x2.c02a24f3472c7840afbd8cfb69p-4 : 0x2.c73a3a9475b5a6198c97986c8fp-4 : inexact-ok
+= atanh upward ibm128 0x2.c02a24f3472c7840afbd8cfb69p-4 : 0x2.c73a3a9475b5a6198c97986c9p-4 : inexact-ok
+= atanh downward binary128 0x2.c02a24f3472c7840afbd8cfb68p-4 : 0x2.c73a3a9475b5a6198c97986c8e6cp-4 : inexact-ok
+= atanh tonearest binary128 0x2.c02a24f3472c7840afbd8cfb68p-4 : 0x2.c73a3a9475b5a6198c97986c8e6cp-4 : inexact-ok
+= atanh towardzero binary128 0x2.c02a24f3472c7840afbd8cfb68p-4 : 0x2.c73a3a9475b5a6198c97986c8e6cp-4 : inexact-ok
+= atanh upward binary128 0x2.c02a24f3472c7840afbd8cfb68p-4 : 0x2.c73a3a9475b5a6198c97986c8e6ep-4 : inexact-ok
+= atanh downward ibm128 0x2.c02a24f3472c7840afbd8cfb68p-4 : 0x2.c73a3a9475b5a6198c97986c8ep-4 : inexact-ok
+= atanh tonearest ibm128 0x2.c02a24f3472c7840afbd8cfb68p-4 : 0x2.c73a3a9475b5a6198c97986c8ep-4 : inexact-ok
+= atanh towardzero ibm128 0x2.c02a24f3472c7840afbd8cfb68p-4 : 0x2.c73a3a9475b5a6198c97986c8ep-4 : inexact-ok
+= atanh upward ibm128 0x2.c02a24f3472c7840afbd8cfb68p-4 : 0x2.c73a3a9475b5a6198c97986c8fp-4 : inexact-ok
 atanh min
 = atanh downward binary32 0x4p-128 : 0x4p-128 : inexact-ok underflow-ok errno-erange-ok
 = atanh tonearest binary32 0x4p-128 : 0x4p-128 : inexact-ok underflow-ok errno-erange-ok