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-log1p b/math/auto-libm-test-out-log1p
index 47862aa646..f7d3b35e6d 100644
--- a/math/auto-libm-test-out-log1p
+++ b/math/auto-libm-test-out-log1p
@@ -1229,6 +1229,147 @@ log1p 0x1p1000
 = log1p tonearest ibm128 0x1p+1000 : 0x2.b525ada00b9273470ca17589cfp+8 : inexact-ok
 = log1p towardzero ibm128 0x1p+1000 : 0x2.b525ada00b9273470ca17589cfp+8 : inexact-ok
 = log1p upward ibm128 0x1p+1000 : 0x2.b525ada00b9273470ca17589dp+8 : inexact-ok
+log1p 0x6.a0cf42befce9ed4085ef59254b48p-4
+= log1p downward binary32 0x6.a0cf48p-4 : 0x5.8bb348p-4 : inexact-ok
+= log1p tonearest binary32 0x6.a0cf48p-4 : 0x5.8bb35p-4 : inexact-ok
+= log1p towardzero binary32 0x6.a0cf48p-4 : 0x5.8bb348p-4 : inexact-ok
+= log1p upward binary32 0x6.a0cf48p-4 : 0x5.8bb35p-4 : inexact-ok
+= log1p downward binary64 0x6.a0cf48p-4 : 0x5.8bb34ffb3a0bp-4 : inexact-ok
+= log1p tonearest binary64 0x6.a0cf48p-4 : 0x5.8bb34ffb3a0b4p-4 : inexact-ok
+= log1p towardzero binary64 0x6.a0cf48p-4 : 0x5.8bb34ffb3a0bp-4 : inexact-ok
+= log1p upward binary64 0x6.a0cf48p-4 : 0x5.8bb34ffb3a0b4p-4 : inexact-ok
+= log1p downward intel96 0x6.a0cf48p-4 : 0x5.8bb34ffb3a0b27c8p-4 : inexact-ok
+= log1p tonearest intel96 0x6.a0cf48p-4 : 0x5.8bb34ffb3a0b27dp-4 : inexact-ok
+= log1p towardzero intel96 0x6.a0cf48p-4 : 0x5.8bb34ffb3a0b27c8p-4 : inexact-ok
+= log1p upward intel96 0x6.a0cf48p-4 : 0x5.8bb34ffb3a0b27dp-4 : inexact-ok
+= log1p downward m68k96 0x6.a0cf48p-4 : 0x5.8bb34ffb3a0b27c8p-4 : inexact-ok
+= log1p tonearest m68k96 0x6.a0cf48p-4 : 0x5.8bb34ffb3a0b27dp-4 : inexact-ok
+= log1p towardzero m68k96 0x6.a0cf48p-4 : 0x5.8bb34ffb3a0b27c8p-4 : inexact-ok
+= log1p upward m68k96 0x6.a0cf48p-4 : 0x5.8bb34ffb3a0b27dp-4 : inexact-ok
+= log1p downward binary128 0x6.a0cf48p-4 : 0x5.8bb34ffb3a0b27cf845e6ca86438p-4 : inexact-ok
+= log1p tonearest binary128 0x6.a0cf48p-4 : 0x5.8bb34ffb3a0b27cf845e6ca8643cp-4 : inexact-ok
+= log1p towardzero binary128 0x6.a0cf48p-4 : 0x5.8bb34ffb3a0b27cf845e6ca86438p-4 : inexact-ok
+= log1p upward binary128 0x6.a0cf48p-4 : 0x5.8bb34ffb3a0b27cf845e6ca8643cp-4 : inexact-ok
+= log1p downward ibm128 0x6.a0cf48p-4 : 0x5.8bb34ffb3a0b27cf845e6ca864p-4 : inexact-ok
+= log1p tonearest ibm128 0x6.a0cf48p-4 : 0x5.8bb34ffb3a0b27cf845e6ca864p-4 : inexact-ok
+= log1p towardzero ibm128 0x6.a0cf48p-4 : 0x5.8bb34ffb3a0b27cf845e6ca864p-4 : inexact-ok
+= log1p upward ibm128 0x6.a0cf48p-4 : 0x5.8bb34ffb3a0b27cf845e6ca866p-4 : inexact-ok
+= log1p downward binary32 0x6.a0cf4p-4 : 0x5.8bb348p-4 : inexact-ok
+= log1p tonearest binary32 0x6.a0cf4p-4 : 0x5.8bb348p-4 : inexact-ok
+= log1p towardzero binary32 0x6.a0cf4p-4 : 0x5.8bb348p-4 : inexact-ok
+= log1p upward binary32 0x6.a0cf4p-4 : 0x5.8bb35p-4 : inexact-ok
+= log1p downward binary64 0x6.a0cf4p-4 : 0x5.8bb34a531ea8cp-4 : inexact-ok
+= log1p tonearest binary64 0x6.a0cf4p-4 : 0x5.8bb34a531ea8cp-4 : inexact-ok
+= log1p towardzero binary64 0x6.a0cf4p-4 : 0x5.8bb34a531ea8cp-4 : inexact-ok
+= log1p upward binary64 0x6.a0cf4p-4 : 0x5.8bb34a531ea9p-4 : inexact-ok
+= log1p downward intel96 0x6.a0cf4p-4 : 0x5.8bb34a531ea8cddp-4 : inexact-ok
+= log1p tonearest intel96 0x6.a0cf4p-4 : 0x5.8bb34a531ea8cddp-4 : inexact-ok
+= log1p towardzero intel96 0x6.a0cf4p-4 : 0x5.8bb34a531ea8cddp-4 : inexact-ok
+= log1p upward intel96 0x6.a0cf4p-4 : 0x5.8bb34a531ea8cdd8p-4 : inexact-ok
+= log1p downward m68k96 0x6.a0cf4p-4 : 0x5.8bb34a531ea8cddp-4 : inexact-ok
+= log1p tonearest m68k96 0x6.a0cf4p-4 : 0x5.8bb34a531ea8cddp-4 : inexact-ok
+= log1p towardzero m68k96 0x6.a0cf4p-4 : 0x5.8bb34a531ea8cddp-4 : inexact-ok
+= log1p upward m68k96 0x6.a0cf4p-4 : 0x5.8bb34a531ea8cdd8p-4 : inexact-ok
+= log1p downward binary128 0x6.a0cf4p-4 : 0x5.8bb34a531ea8cdd0163aea3335ccp-4 : inexact-ok
+= log1p tonearest binary128 0x6.a0cf4p-4 : 0x5.8bb34a531ea8cdd0163aea3335dp-4 : inexact-ok
+= log1p towardzero binary128 0x6.a0cf4p-4 : 0x5.8bb34a531ea8cdd0163aea3335ccp-4 : inexact-ok
+= log1p upward binary128 0x6.a0cf4p-4 : 0x5.8bb34a531ea8cdd0163aea3335dp-4 : inexact-ok
+= log1p downward ibm128 0x6.a0cf4p-4 : 0x5.8bb34a531ea8cdd0163aea3334p-4 : inexact-ok
+= log1p tonearest ibm128 0x6.a0cf4p-4 : 0x5.8bb34a531ea8cdd0163aea3336p-4 : inexact-ok
+= log1p towardzero ibm128 0x6.a0cf4p-4 : 0x5.8bb34a531ea8cdd0163aea3334p-4 : inexact-ok
+= log1p upward ibm128 0x6.a0cf4p-4 : 0x5.8bb34a531ea8cdd0163aea3336p-4 : inexact-ok
+= log1p downward binary64 0x6.a0cf42befceap-4 : 0x5.8bb34c4430e0cp-4 : inexact-ok
+= log1p tonearest binary64 0x6.a0cf42befceap-4 : 0x5.8bb34c4430e0cp-4 : inexact-ok
+= log1p towardzero binary64 0x6.a0cf42befceap-4 : 0x5.8bb34c4430e0cp-4 : inexact-ok
+= log1p upward binary64 0x6.a0cf42befceap-4 : 0x5.8bb34c4430e1p-4 : inexact-ok
+= log1p downward intel96 0x6.a0cf42befceap-4 : 0x5.8bb34c4430e0d198p-4 : inexact-ok
+= log1p tonearest intel96 0x6.a0cf42befceap-4 : 0x5.8bb34c4430e0d198p-4 : inexact-ok
+= log1p towardzero intel96 0x6.a0cf42befceap-4 : 0x5.8bb34c4430e0d198p-4 : inexact-ok
+= log1p upward intel96 0x6.a0cf42befceap-4 : 0x5.8bb34c4430e0d1ap-4 : inexact-ok
+= log1p downward m68k96 0x6.a0cf42befceap-4 : 0x5.8bb34c4430e0d198p-4 : inexact-ok
+= log1p tonearest m68k96 0x6.a0cf42befceap-4 : 0x5.8bb34c4430e0d198p-4 : inexact-ok
+= log1p towardzero m68k96 0x6.a0cf42befceap-4 : 0x5.8bb34c4430e0d198p-4 : inexact-ok
+= log1p upward m68k96 0x6.a0cf42befceap-4 : 0x5.8bb34c4430e0d1ap-4 : inexact-ok
+= log1p downward binary128 0x6.a0cf42befceap-4 : 0x5.8bb34c4430e0d19957c075571b6p-4 : inexact-ok
+= log1p tonearest binary128 0x6.a0cf42befceap-4 : 0x5.8bb34c4430e0d19957c075571b6p-4 : inexact-ok
+= log1p towardzero binary128 0x6.a0cf42befceap-4 : 0x5.8bb34c4430e0d19957c075571b6p-4 : inexact-ok
+= log1p upward binary128 0x6.a0cf42befceap-4 : 0x5.8bb34c4430e0d19957c075571b64p-4 : inexact-ok
+= log1p downward ibm128 0x6.a0cf42befceap-4 : 0x5.8bb34c4430e0d19957c075571ap-4 : inexact-ok
+= log1p tonearest ibm128 0x6.a0cf42befceap-4 : 0x5.8bb34c4430e0d19957c075571cp-4 : inexact-ok
+= log1p towardzero ibm128 0x6.a0cf42befceap-4 : 0x5.8bb34c4430e0d19957c075571ap-4 : inexact-ok
+= log1p upward ibm128 0x6.a0cf42befceap-4 : 0x5.8bb34c4430e0d19957c075571cp-4 : inexact-ok
+= log1p downward binary64 0x6.a0cf42befce9cp-4 : 0x5.8bb34c4430e08p-4 : inexact-ok
+= log1p tonearest binary64 0x6.a0cf42befce9cp-4 : 0x5.8bb34c4430e0cp-4 : inexact-ok
+= log1p towardzero binary64 0x6.a0cf42befce9cp-4 : 0x5.8bb34c4430e08p-4 : inexact-ok
+= log1p upward binary64 0x6.a0cf42befce9cp-4 : 0x5.8bb34c4430e0cp-4 : inexact-ok
+= log1p downward intel96 0x6.a0cf42befce9cp-4 : 0x5.8bb34c4430e0a458p-4 : inexact-ok
+= log1p tonearest intel96 0x6.a0cf42befce9cp-4 : 0x5.8bb34c4430e0a458p-4 : inexact-ok
+= log1p towardzero intel96 0x6.a0cf42befce9cp-4 : 0x5.8bb34c4430e0a458p-4 : inexact-ok
+= log1p upward intel96 0x6.a0cf42befce9cp-4 : 0x5.8bb34c4430e0a46p-4 : inexact-ok
+= log1p downward m68k96 0x6.a0cf42befce9cp-4 : 0x5.8bb34c4430e0a458p-4 : inexact-ok
+= log1p tonearest m68k96 0x6.a0cf42befce9cp-4 : 0x5.8bb34c4430e0a458p-4 : inexact-ok
+= log1p towardzero m68k96 0x6.a0cf42befce9cp-4 : 0x5.8bb34c4430e0a458p-4 : inexact-ok
+= log1p upward m68k96 0x6.a0cf42befce9cp-4 : 0x5.8bb34c4430e0a46p-4 : inexact-ok
+= log1p downward binary128 0x6.a0cf42befce9cp-4 : 0x5.8bb34c4430e0a4587cab2360533p-4 : inexact-ok
+= log1p tonearest binary128 0x6.a0cf42befce9cp-4 : 0x5.8bb34c4430e0a4587cab2360533p-4 : inexact-ok
+= log1p towardzero binary128 0x6.a0cf42befce9cp-4 : 0x5.8bb34c4430e0a4587cab2360533p-4 : inexact-ok
+= log1p upward binary128 0x6.a0cf42befce9cp-4 : 0x5.8bb34c4430e0a4587cab23605334p-4 : inexact-ok
+= log1p downward ibm128 0x6.a0cf42befce9cp-4 : 0x5.8bb34c4430e0a4587cab236052p-4 : inexact-ok
+= log1p tonearest ibm128 0x6.a0cf42befce9cp-4 : 0x5.8bb34c4430e0a4587cab236054p-4 : inexact-ok
+= log1p towardzero ibm128 0x6.a0cf42befce9cp-4 : 0x5.8bb34c4430e0a4587cab236052p-4 : inexact-ok
+= log1p upward ibm128 0x6.a0cf42befce9cp-4 : 0x5.8bb34c4430e0a4587cab236054p-4 : inexact-ok
+= log1p downward intel96 0x6.a0cf42befce9ed48p-4 : 0x5.8bb34c4430e0c458p-4 : inexact-ok
+= log1p tonearest intel96 0x6.a0cf42befce9ed48p-4 : 0x5.8bb34c4430e0c46p-4 : inexact-ok
+= log1p towardzero intel96 0x6.a0cf42befce9ed48p-4 : 0x5.8bb34c4430e0c458p-4 : inexact-ok
+= log1p upward intel96 0x6.a0cf42befce9ed48p-4 : 0x5.8bb34c4430e0c46p-4 : inexact-ok
+= log1p downward m68k96 0x6.a0cf42befce9ed48p-4 : 0x5.8bb34c4430e0c458p-4 : inexact-ok
+= log1p tonearest m68k96 0x6.a0cf42befce9ed48p-4 : 0x5.8bb34c4430e0c46p-4 : inexact-ok
+= log1p towardzero m68k96 0x6.a0cf42befce9ed48p-4 : 0x5.8bb34c4430e0c458p-4 : inexact-ok
+= log1p upward m68k96 0x6.a0cf42befce9ed48p-4 : 0x5.8bb34c4430e0c46p-4 : inexact-ok
+= log1p downward binary128 0x6.a0cf42befce9ed48p-4 : 0x5.8bb34c4430e0c45cffac98fe0dap-4 : inexact-ok
+= log1p tonearest binary128 0x6.a0cf42befce9ed48p-4 : 0x5.8bb34c4430e0c45cffac98fe0dap-4 : inexact-ok
+= log1p towardzero binary128 0x6.a0cf42befce9ed48p-4 : 0x5.8bb34c4430e0c45cffac98fe0dap-4 : inexact-ok
+= log1p upward binary128 0x6.a0cf42befce9ed48p-4 : 0x5.8bb34c4430e0c45cffac98fe0da4p-4 : inexact-ok
+= log1p downward ibm128 0x6.a0cf42befce9ed48p-4 : 0x5.8bb34c4430e0c45cffac98fe0cp-4 : inexact-ok
+= log1p tonearest ibm128 0x6.a0cf42befce9ed48p-4 : 0x5.8bb34c4430e0c45cffac98fe0ep-4 : inexact-ok
+= log1p towardzero ibm128 0x6.a0cf42befce9ed48p-4 : 0x5.8bb34c4430e0c45cffac98fe0cp-4 : inexact-ok
+= log1p upward ibm128 0x6.a0cf42befce9ed48p-4 : 0x5.8bb34c4430e0c45cffac98fe0ep-4 : inexact-ok
+= log1p downward intel96 0x6.a0cf42befce9ed4p-4 : 0x5.8bb34c4430e0c45p-4 : inexact-ok
+= log1p tonearest intel96 0x6.a0cf42befce9ed4p-4 : 0x5.8bb34c4430e0c458p-4 : inexact-ok
+= log1p towardzero intel96 0x6.a0cf42befce9ed4p-4 : 0x5.8bb34c4430e0c45p-4 : inexact-ok
+= log1p upward intel96 0x6.a0cf42befce9ed4p-4 : 0x5.8bb34c4430e0c458p-4 : inexact-ok
+= log1p downward m68k96 0x6.a0cf42befce9ed4p-4 : 0x5.8bb34c4430e0c45p-4 : inexact-ok
+= log1p tonearest m68k96 0x6.a0cf42befce9ed4p-4 : 0x5.8bb34c4430e0c458p-4 : inexact-ok
+= log1p towardzero m68k96 0x6.a0cf42befce9ed4p-4 : 0x5.8bb34c4430e0c45p-4 : inexact-ok
+= log1p upward m68k96 0x6.a0cf42befce9ed4p-4 : 0x5.8bb34c4430e0c458p-4 : inexact-ok
+= log1p downward binary128 0x6.a0cf42befce9ed4p-4 : 0x5.8bb34c4430e0c45757913653cec4p-4 : inexact-ok
+= log1p tonearest binary128 0x6.a0cf42befce9ed4p-4 : 0x5.8bb34c4430e0c45757913653cec8p-4 : inexact-ok
+= log1p towardzero binary128 0x6.a0cf42befce9ed4p-4 : 0x5.8bb34c4430e0c45757913653cec4p-4 : inexact-ok
+= log1p upward binary128 0x6.a0cf42befce9ed4p-4 : 0x5.8bb34c4430e0c45757913653cec8p-4 : inexact-ok
+= log1p downward ibm128 0x6.a0cf42befce9ed4p-4 : 0x5.8bb34c4430e0c45757913653cep-4 : inexact-ok
+= log1p tonearest ibm128 0x6.a0cf42befce9ed4p-4 : 0x5.8bb34c4430e0c45757913653cep-4 : inexact-ok
+= log1p towardzero ibm128 0x6.a0cf42befce9ed4p-4 : 0x5.8bb34c4430e0c45757913653cep-4 : inexact-ok
+= log1p upward ibm128 0x6.a0cf42befce9ed4p-4 : 0x5.8bb34c4430e0c45757913653dp-4 : inexact-ok
+= log1p downward binary128 0x6.a0cf42befce9ed4085ef59254b48p-4 : 0x5.8bb34c4430e0c457b6453ad6d01cp-4 : inexact-ok
+= log1p tonearest binary128 0x6.a0cf42befce9ed4085ef59254b48p-4 : 0x5.8bb34c4430e0c457b6453ad6d01cp-4 : inexact-ok
+= log1p towardzero binary128 0x6.a0cf42befce9ed4085ef59254b48p-4 : 0x5.8bb34c4430e0c457b6453ad6d01cp-4 : inexact-ok
+= log1p upward binary128 0x6.a0cf42befce9ed4085ef59254b48p-4 : 0x5.8bb34c4430e0c457b6453ad6d02p-4 : inexact-ok
+= log1p downward binary128 0x6.a0cf42befce9ed4085ef59254cp-4 : 0x5.8bb34c4430e0c457b6453ad6d09cp-4 : inexact-ok
+= log1p tonearest binary128 0x6.a0cf42befce9ed4085ef59254cp-4 : 0x5.8bb34c4430e0c457b6453ad6d0ap-4 : inexact-ok
+= log1p towardzero binary128 0x6.a0cf42befce9ed4085ef59254cp-4 : 0x5.8bb34c4430e0c457b6453ad6d09cp-4 : inexact-ok
+= log1p upward binary128 0x6.a0cf42befce9ed4085ef59254cp-4 : 0x5.8bb34c4430e0c457b6453ad6d0ap-4 : inexact-ok
+= log1p downward ibm128 0x6.a0cf42befce9ed4085ef59254cp-4 : 0x5.8bb34c4430e0c457b6453ad6dp-4 : inexact-ok
+= log1p tonearest ibm128 0x6.a0cf42befce9ed4085ef59254cp-4 : 0x5.8bb34c4430e0c457b6453ad6dp-4 : inexact-ok
+= log1p towardzero ibm128 0x6.a0cf42befce9ed4085ef59254cp-4 : 0x5.8bb34c4430e0c457b6453ad6dp-4 : inexact-ok
+= log1p upward ibm128 0x6.a0cf42befce9ed4085ef59254cp-4 : 0x5.8bb34c4430e0c457b6453ad6d2p-4 : inexact-ok
+= log1p downward binary128 0x6.a0cf42befce9ed4085ef59254ap-4 : 0x5.8bb34c4430e0c457b6453ad6cf34p-4 : inexact-ok
+= log1p tonearest binary128 0x6.a0cf42befce9ed4085ef59254ap-4 : 0x5.8bb34c4430e0c457b6453ad6cf34p-4 : inexact-ok
+= log1p towardzero binary128 0x6.a0cf42befce9ed4085ef59254ap-4 : 0x5.8bb34c4430e0c457b6453ad6cf34p-4 : inexact-ok
+= log1p upward binary128 0x6.a0cf42befce9ed4085ef59254ap-4 : 0x5.8bb34c4430e0c457b6453ad6cf38p-4 : inexact-ok
+= log1p downward ibm128 0x6.a0cf42befce9ed4085ef59254ap-4 : 0x5.8bb34c4430e0c457b6453ad6cep-4 : inexact-ok
+= log1p tonearest ibm128 0x6.a0cf42befce9ed4085ef59254ap-4 : 0x5.8bb34c4430e0c457b6453ad6dp-4 : inexact-ok
+= log1p towardzero ibm128 0x6.a0cf42befce9ed4085ef59254ap-4 : 0x5.8bb34c4430e0c457b6453ad6cep-4 : inexact-ok
+= log1p upward ibm128 0x6.a0cf42befce9ed4085ef59254ap-4 : 0x5.8bb34c4430e0c457b6453ad6dp-4 : inexact-ok
 log1p max
 = log1p downward binary32 0xf.fffffp+124 : 0x5.8b90b8p+4 : inexact-ok
 = log1p tonearest binary32 0xf.fffffp+124 : 0x5.8b90cp+4 : inexact-ok