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-cos b/math/auto-libm-test-out-cos
index fcb5d17924..795a6eb447 100644
--- a/math/auto-libm-test-out-cos
+++ b/math/auto-libm-test-out-cos
@@ -3248,3 +3248,144 @@ cos 0x2.3c6ef4p-12
 = cos tonearest ibm128 0x2.3c6ef4p-12 : 0xf.ffffd7fffffcf5e6384f874e68p-4 : inexact-ok
 = cos towardzero ibm128 0x2.3c6ef4p-12 : 0xf.ffffd7fffffcf5e6384f874e68p-4 : inexact-ok
 = cos upward ibm128 0x2.3c6ef4p-12 : 0xf.ffffd7fffffcf5e6384f874e6cp-4 : inexact-ok
+cos 0xe.6672d458b05edf50af4fab1a42p+40
+= cos downward binary32 0xe.6672ep+40 : -0xc.04e3ep-8 : inexact-ok
+= cos tonearest binary32 0xe.6672ep+40 : -0xc.04e3dp-8 : inexact-ok
+= cos towardzero binary32 0xe.6672ep+40 : -0xc.04e3dp-8 : inexact-ok
+= cos upward binary32 0xe.6672ep+40 : -0xc.04e3dp-8 : inexact-ok
+= cos downward binary64 0xe.6672ep+40 : -0xc.04e3d7b33316p-8 : inexact-ok
+= cos tonearest binary64 0xe.6672ep+40 : -0xc.04e3d7b33316p-8 : inexact-ok
+= cos towardzero binary64 0xe.6672ep+40 : -0xc.04e3d7b333158p-8 : inexact-ok
+= cos upward binary64 0xe.6672ep+40 : -0xc.04e3d7b333158p-8 : inexact-ok
+= cos downward intel96 0xe.6672ep+40 : -0xc.04e3d7b33315e57p-8 : inexact-ok
+= cos tonearest intel96 0xe.6672ep+40 : -0xc.04e3d7b33315e57p-8 : inexact-ok
+= cos towardzero intel96 0xe.6672ep+40 : -0xc.04e3d7b33315e56p-8 : inexact-ok
+= cos upward intel96 0xe.6672ep+40 : -0xc.04e3d7b33315e56p-8 : inexact-ok
+= cos downward m68k96 0xe.6672ep+40 : -0xc.04e3d7b33315e57p-8 : inexact-ok
+= cos tonearest m68k96 0xe.6672ep+40 : -0xc.04e3d7b33315e57p-8 : inexact-ok
+= cos towardzero m68k96 0xe.6672ep+40 : -0xc.04e3d7b33315e56p-8 : inexact-ok
+= cos upward m68k96 0xe.6672ep+40 : -0xc.04e3d7b33315e56p-8 : inexact-ok
+= cos downward binary128 0xe.6672ep+40 : -0xc.04e3d7b33315e56d155d1ce9ee18p-8 : inexact-ok
+= cos tonearest binary128 0xe.6672ep+40 : -0xc.04e3d7b33315e56d155d1ce9ee18p-8 : inexact-ok
+= cos towardzero binary128 0xe.6672ep+40 : -0xc.04e3d7b33315e56d155d1ce9ee1p-8 : inexact-ok
+= cos upward binary128 0xe.6672ep+40 : -0xc.04e3d7b33315e56d155d1ce9ee1p-8 : inexact-ok
+= cos downward ibm128 0xe.6672ep+40 : -0xc.04e3d7b33315e56d155d1ce9fp-8 : inexact-ok
+= cos tonearest ibm128 0xe.6672ep+40 : -0xc.04e3d7b33315e56d155d1ce9fp-8 : inexact-ok
+= cos towardzero ibm128 0xe.6672ep+40 : -0xc.04e3d7b33315e56d155d1ce9ecp-8 : inexact-ok
+= cos upward ibm128 0xe.6672ep+40 : -0xc.04e3d7b33315e56d155d1ce9ecp-8 : inexact-ok
+= cos downward binary32 0xe.6672dp+40 : 0x4.92b518p-4 : inexact-ok
+= cos tonearest binary32 0xe.6672dp+40 : 0x4.92b518p-4 : inexact-ok
+= cos towardzero binary32 0xe.6672dp+40 : 0x4.92b518p-4 : inexact-ok
+= cos upward binary32 0xe.6672dp+40 : 0x4.92b52p-4 : inexact-ok
+= cos downward binary64 0xe.6672dp+40 : 0x4.92b51be9ed22cp-4 : inexact-ok
+= cos tonearest binary64 0xe.6672dp+40 : 0x4.92b51be9ed23p-4 : inexact-ok
+= cos towardzero binary64 0xe.6672dp+40 : 0x4.92b51be9ed22cp-4 : inexact-ok
+= cos upward binary64 0xe.6672dp+40 : 0x4.92b51be9ed23p-4 : inexact-ok
+= cos downward intel96 0xe.6672dp+40 : 0x4.92b51be9ed22fb5p-4 : inexact-ok
+= cos tonearest intel96 0xe.6672dp+40 : 0x4.92b51be9ed22fb58p-4 : inexact-ok
+= cos towardzero intel96 0xe.6672dp+40 : 0x4.92b51be9ed22fb5p-4 : inexact-ok
+= cos upward intel96 0xe.6672dp+40 : 0x4.92b51be9ed22fb58p-4 : inexact-ok
+= cos downward m68k96 0xe.6672dp+40 : 0x4.92b51be9ed22fb5p-4 : inexact-ok
+= cos tonearest m68k96 0xe.6672dp+40 : 0x4.92b51be9ed22fb58p-4 : inexact-ok
+= cos towardzero m68k96 0xe.6672dp+40 : 0x4.92b51be9ed22fb5p-4 : inexact-ok
+= cos upward m68k96 0xe.6672dp+40 : 0x4.92b51be9ed22fb58p-4 : inexact-ok
+= cos downward binary128 0xe.6672dp+40 : 0x4.92b51be9ed22fb55105031b7163p-4 : inexact-ok
+= cos tonearest binary128 0xe.6672dp+40 : 0x4.92b51be9ed22fb55105031b7163p-4 : inexact-ok
+= cos towardzero binary128 0xe.6672dp+40 : 0x4.92b51be9ed22fb55105031b7163p-4 : inexact-ok
+= cos upward binary128 0xe.6672dp+40 : 0x4.92b51be9ed22fb55105031b71634p-4 : inexact-ok
+= cos downward ibm128 0xe.6672dp+40 : 0x4.92b51be9ed22fb55105031b716p-4 : inexact-ok
+= cos tonearest ibm128 0xe.6672dp+40 : 0x4.92b51be9ed22fb55105031b716p-4 : inexact-ok
+= cos towardzero ibm128 0xe.6672dp+40 : 0x4.92b51be9ed22fb55105031b716p-4 : inexact-ok
+= cos upward ibm128 0xe.6672dp+40 : 0x4.92b51be9ed22fb55105031b718p-4 : inexact-ok
+= cos downward binary64 0xe.6672d458b05fp+40 : 0x1.fd4fd52bd4269p-4 : inexact-ok
+= cos tonearest binary64 0xe.6672d458b05fp+40 : 0x1.fd4fd52bd426ap-4 : inexact-ok
+= cos towardzero binary64 0xe.6672d458b05fp+40 : 0x1.fd4fd52bd4269p-4 : inexact-ok
+= cos upward binary64 0xe.6672d458b05fp+40 : 0x1.fd4fd52bd426ap-4 : inexact-ok
+= cos downward intel96 0xe.6672d458b05fp+40 : 0x1.fd4fd52bd4269f44p-4 : inexact-ok
+= cos tonearest intel96 0xe.6672d458b05fp+40 : 0x1.fd4fd52bd4269f46p-4 : inexact-ok
+= cos towardzero intel96 0xe.6672d458b05fp+40 : 0x1.fd4fd52bd4269f44p-4 : inexact-ok
+= cos upward intel96 0xe.6672d458b05fp+40 : 0x1.fd4fd52bd4269f46p-4 : inexact-ok
+= cos downward m68k96 0xe.6672d458b05fp+40 : 0x1.fd4fd52bd4269f44p-4 : inexact-ok
+= cos tonearest m68k96 0xe.6672d458b05fp+40 : 0x1.fd4fd52bd4269f46p-4 : inexact-ok
+= cos towardzero m68k96 0xe.6672d458b05fp+40 : 0x1.fd4fd52bd4269f44p-4 : inexact-ok
+= cos upward m68k96 0xe.6672d458b05fp+40 : 0x1.fd4fd52bd4269f46p-4 : inexact-ok
+= cos downward binary128 0xe.6672d458b05fp+40 : 0x1.fd4fd52bd4269f45bd8a6a988d48p-4 : inexact-ok
+= cos tonearest binary128 0xe.6672d458b05fp+40 : 0x1.fd4fd52bd4269f45bd8a6a988d49p-4 : inexact-ok
+= cos towardzero binary128 0xe.6672d458b05fp+40 : 0x1.fd4fd52bd4269f45bd8a6a988d48p-4 : inexact-ok
+= cos upward binary128 0xe.6672d458b05fp+40 : 0x1.fd4fd52bd4269f45bd8a6a988d49p-4 : inexact-ok
+= cos downward ibm128 0xe.6672d458b05fp+40 : 0x1.fd4fd52bd4269f45bd8a6a988dp-4 : inexact-ok
+= cos tonearest ibm128 0xe.6672d458b05fp+40 : 0x1.fd4fd52bd4269f45bd8a6a988d8p-4 : inexact-ok
+= cos towardzero ibm128 0xe.6672d458b05fp+40 : 0x1.fd4fd52bd4269f45bd8a6a988dp-4 : inexact-ok
+= cos upward ibm128 0xe.6672d458b05fp+40 : 0x1.fd4fd52bd4269f45bd8a6a988d8p-4 : inexact-ok
+= cos downward binary64 0xe.6672d458b05e8p+40 : 0x2.053fb048fe646p-4 : inexact-ok
+= cos tonearest binary64 0xe.6672d458b05e8p+40 : 0x2.053fb048fe646p-4 : inexact-ok
+= cos towardzero binary64 0xe.6672d458b05e8p+40 : 0x2.053fb048fe646p-4 : inexact-ok
+= cos upward binary64 0xe.6672d458b05e8p+40 : 0x2.053fb048fe648p-4 : inexact-ok
+= cos downward intel96 0xe.6672d458b05e8p+40 : 0x2.053fb048fe6462f4p-4 : inexact-ok
+= cos tonearest intel96 0xe.6672d458b05e8p+40 : 0x2.053fb048fe6462f8p-4 : inexact-ok
+= cos towardzero intel96 0xe.6672d458b05e8p+40 : 0x2.053fb048fe6462f4p-4 : inexact-ok
+= cos upward intel96 0xe.6672d458b05e8p+40 : 0x2.053fb048fe6462f8p-4 : inexact-ok
+= cos downward m68k96 0xe.6672d458b05e8p+40 : 0x2.053fb048fe6462f4p-4 : inexact-ok
+= cos tonearest m68k96 0xe.6672d458b05e8p+40 : 0x2.053fb048fe6462f8p-4 : inexact-ok
+= cos towardzero m68k96 0xe.6672d458b05e8p+40 : 0x2.053fb048fe6462f4p-4 : inexact-ok
+= cos upward m68k96 0xe.6672d458b05e8p+40 : 0x2.053fb048fe6462f8p-4 : inexact-ok
+= cos downward binary128 0xe.6672d458b05e8p+40 : 0x2.053fb048fe6462f6c5d88f55f69ap-4 : inexact-ok
+= cos tonearest binary128 0xe.6672d458b05e8p+40 : 0x2.053fb048fe6462f6c5d88f55f69cp-4 : inexact-ok
+= cos towardzero binary128 0xe.6672d458b05e8p+40 : 0x2.053fb048fe6462f6c5d88f55f69ap-4 : inexact-ok
+= cos upward binary128 0xe.6672d458b05e8p+40 : 0x2.053fb048fe6462f6c5d88f55f69cp-4 : inexact-ok
+= cos downward ibm128 0xe.6672d458b05e8p+40 : 0x2.053fb048fe6462f6c5d88f55f6p-4 : inexact-ok
+= cos tonearest ibm128 0xe.6672d458b05e8p+40 : 0x2.053fb048fe6462f6c5d88f55f7p-4 : inexact-ok
+= cos towardzero ibm128 0xe.6672d458b05e8p+40 : 0x2.053fb048fe6462f6c5d88f55f6p-4 : inexact-ok
+= cos upward ibm128 0xe.6672d458b05e8p+40 : 0x2.053fb048fe6462f6c5d88f55f7p-4 : inexact-ok
+= cos downward intel96 0xe.6672d458b05edf6p+40 : 0x1.ff55c3f07675f506p-4 : inexact-ok
+= cos tonearest intel96 0xe.6672d458b05edf6p+40 : 0x1.ff55c3f07675f506p-4 : inexact-ok
+= cos towardzero intel96 0xe.6672d458b05edf6p+40 : 0x1.ff55c3f07675f506p-4 : inexact-ok
+= cos upward intel96 0xe.6672d458b05edf6p+40 : 0x1.ff55c3f07675f508p-4 : inexact-ok
+= cos downward m68k96 0xe.6672d458b05edf6p+40 : 0x1.ff55c3f07675f506p-4 : inexact-ok
+= cos tonearest m68k96 0xe.6672d458b05edf6p+40 : 0x1.ff55c3f07675f506p-4 : inexact-ok
+= cos towardzero m68k96 0xe.6672d458b05edf6p+40 : 0x1.ff55c3f07675f506p-4 : inexact-ok
+= cos upward m68k96 0xe.6672d458b05edf6p+40 : 0x1.ff55c3f07675f508p-4 : inexact-ok
+= cos downward binary128 0xe.6672d458b05edf6p+40 : 0x1.ff55c3f07675f5065a4c74830913p-4 : inexact-ok
+= cos tonearest binary128 0xe.6672d458b05edf6p+40 : 0x1.ff55c3f07675f5065a4c74830913p-4 : inexact-ok
+= cos towardzero binary128 0xe.6672d458b05edf6p+40 : 0x1.ff55c3f07675f5065a4c74830913p-4 : inexact-ok
+= cos upward binary128 0xe.6672d458b05edf6p+40 : 0x1.ff55c3f07675f5065a4c74830914p-4 : inexact-ok
+= cos downward ibm128 0xe.6672d458b05edf6p+40 : 0x1.ff55c3f07675f5065a4c748309p-4 : inexact-ok
+= cos tonearest ibm128 0xe.6672d458b05edf6p+40 : 0x1.ff55c3f07675f5065a4c748309p-4 : inexact-ok
+= cos towardzero ibm128 0xe.6672d458b05edf6p+40 : 0x1.ff55c3f07675f5065a4c748309p-4 : inexact-ok
+= cos upward ibm128 0xe.6672d458b05edf6p+40 : 0x1.ff55c3f07675f5065a4c7483098p-4 : inexact-ok
+= cos downward intel96 0xe.6672d458b05edf5p+40 : 0x1.ff56c1efc85b5ec6p-4 : inexact-ok
+= cos tonearest intel96 0xe.6672d458b05edf5p+40 : 0x1.ff56c1efc85b5ec6p-4 : inexact-ok
+= cos towardzero intel96 0xe.6672d458b05edf5p+40 : 0x1.ff56c1efc85b5ec6p-4 : inexact-ok
+= cos upward intel96 0xe.6672d458b05edf5p+40 : 0x1.ff56c1efc85b5ec8p-4 : inexact-ok
+= cos downward m68k96 0xe.6672d458b05edf5p+40 : 0x1.ff56c1efc85b5ec6p-4 : inexact-ok
+= cos tonearest m68k96 0xe.6672d458b05edf5p+40 : 0x1.ff56c1efc85b5ec6p-4 : inexact-ok
+= cos towardzero m68k96 0xe.6672d458b05edf5p+40 : 0x1.ff56c1efc85b5ec6p-4 : inexact-ok
+= cos upward m68k96 0xe.6672d458b05edf5p+40 : 0x1.ff56c1efc85b5ec8p-4 : inexact-ok
+= cos downward binary128 0xe.6672d458b05edf5p+40 : 0x1.ff56c1efc85b5ec6aad454c88dd9p-4 : inexact-ok
+= cos tonearest binary128 0xe.6672d458b05edf5p+40 : 0x1.ff56c1efc85b5ec6aad454c88ddap-4 : inexact-ok
+= cos towardzero binary128 0xe.6672d458b05edf5p+40 : 0x1.ff56c1efc85b5ec6aad454c88dd9p-4 : inexact-ok
+= cos upward binary128 0xe.6672d458b05edf5p+40 : 0x1.ff56c1efc85b5ec6aad454c88ddap-4 : inexact-ok
+= cos downward ibm128 0xe.6672d458b05edf5p+40 : 0x1.ff56c1efc85b5ec6aad454c88d8p-4 : inexact-ok
+= cos tonearest ibm128 0xe.6672d458b05edf5p+40 : 0x1.ff56c1efc85b5ec6aad454c88ep-4 : inexact-ok
+= cos towardzero ibm128 0xe.6672d458b05edf5p+40 : 0x1.ff56c1efc85b5ec6aad454c88d8p-4 : inexact-ok
+= cos upward ibm128 0xe.6672d458b05edf5p+40 : 0x1.ff56c1efc85b5ec6aad454c88ep-4 : inexact-ok
+= cos downward binary128 0xe.6672d458b05edf50af4fab1a42p+40 : 0x1.ff56b710bf1d3d16bf762e86d21p-4 : inexact-ok
+= cos tonearest binary128 0xe.6672d458b05edf50af4fab1a42p+40 : 0x1.ff56b710bf1d3d16bf762e86d21p-4 : inexact-ok
+= cos towardzero binary128 0xe.6672d458b05edf50af4fab1a42p+40 : 0x1.ff56b710bf1d3d16bf762e86d21p-4 : inexact-ok
+= cos upward binary128 0xe.6672d458b05edf50af4fab1a42p+40 : 0x1.ff56b710bf1d3d16bf762e86d211p-4 : inexact-ok
+= cos downward binary128 0xe.6672d458b05edf50af4fab1a44p+40 : 0x1.ff56b710bf1d3cf6ff8c0f12aa01p-4 : inexact-ok
+= cos tonearest binary128 0xe.6672d458b05edf50af4fab1a44p+40 : 0x1.ff56b710bf1d3cf6ff8c0f12aa02p-4 : inexact-ok
+= cos towardzero binary128 0xe.6672d458b05edf50af4fab1a44p+40 : 0x1.ff56b710bf1d3cf6ff8c0f12aa01p-4 : inexact-ok
+= cos upward binary128 0xe.6672d458b05edf50af4fab1a44p+40 : 0x1.ff56b710bf1d3cf6ff8c0f12aa02p-4 : inexact-ok
+= cos downward ibm128 0xe.6672d458b05edf50af4fab1a44p+40 : 0x1.ff56b710bf1d3cf6ff8c0f12aap-4 : inexact-ok
+= cos tonearest ibm128 0xe.6672d458b05edf50af4fab1a44p+40 : 0x1.ff56b710bf1d3cf6ff8c0f12aap-4 : inexact-ok
+= cos towardzero ibm128 0xe.6672d458b05edf50af4fab1a44p+40 : 0x1.ff56b710bf1d3cf6ff8c0f12aap-4 : inexact-ok
+= cos upward ibm128 0xe.6672d458b05edf50af4fab1a44p+40 : 0x1.ff56b710bf1d3cf6ff8c0f12aa8p-4 : inexact-ok
+= cos downward binary128 0xe.6672d458b05edf50af4fab1a4p+40 : 0x1.ff56b710bf1d3d367f604dfafa1ep-4 : inexact-ok
+= cos tonearest binary128 0xe.6672d458b05edf50af4fab1a4p+40 : 0x1.ff56b710bf1d3d367f604dfafa1fp-4 : inexact-ok
+= cos towardzero binary128 0xe.6672d458b05edf50af4fab1a4p+40 : 0x1.ff56b710bf1d3d367f604dfafa1ep-4 : inexact-ok
+= cos upward binary128 0xe.6672d458b05edf50af4fab1a4p+40 : 0x1.ff56b710bf1d3d367f604dfafa1fp-4 : inexact-ok
+= cos downward ibm128 0xe.6672d458b05edf50af4fab1a4p+40 : 0x1.ff56b710bf1d3d367f604dfafap-4 : inexact-ok
+= cos tonearest ibm128 0xe.6672d458b05edf50af4fab1a4p+40 : 0x1.ff56b710bf1d3d367f604dfafap-4 : inexact-ok
+= cos towardzero ibm128 0xe.6672d458b05edf50af4fab1a4p+40 : 0x1.ff56b710bf1d3d367f604dfafap-4 : inexact-ok
+= cos upward ibm128 0xe.6672d458b05edf50af4fab1a4p+40 : 0x1.ff56b710bf1d3d367f604dfafa8p-4 : inexact-ok