math: Sync acosh from CORE-MATH

The CORE-MATH c423b9a3 commit made atanh to use a slight different
muldd_acc and polydd (which uses muldd_acc internally) compared
to previous version.

The new tests were suggested by Paul Zimmermann (although I did
not see any regression).

Checked on x86_64-linux-gnu, x86_64-linux-gnu-v3, aarch64-linux-gnu,
and i686-linux-gnu.

Reviewed-by: Paul Zimmermann <Paul.Zimmermann@inria.fr>

diff --git a/SHARED-FILES b/SHARED-FILES
index 4fcc66b2efe9a91656e5c826345fac2be58eb41c..ef66cde93964db900a5f28aa00c80c320135ca3d 100644 (file)
--- a/SHARED-FILES
+++ b/SHARED-FILES
@@ -244,7 +244,7 @@ tzdata:
 # The project is distribute here:
 #       https://gitlab.inria.fr/core-math/core-math/
 core-math:
-  # src/binary64/acosh/acosh.c, revision 6736002f
+  # src/binary64/acosh/acosh.c, revision 1bd85b89
   sysdeps/ieee754/dbl-64/e_acosh.c
   # src/binary64/atanh/atanh.c, revision c423b9a3
   sysdeps/ieee754/dbl-64/e_atanh.c

diff --git a/math/auto-libm-test-in b/math/auto-libm-test-in
index e27d51ba55c298987492f15d5d0224f22426536e..2001baa60558013988f8d1846990b1da11019aeb 100644 (file)
--- a/math/auto-libm-test-in
+++ b/math/auto-libm-test-in
@@ -226,6 +226,16 @@ acosh 0x1.080016353964ep+0
 acosh 0x1.1ecbdf374bce01cap+0
 # the next value generates larger error bounds on x86_64 (binary128)
 acosh 0x1.0f97586eba090200118df0902f99p+0
+acosh 0x1.00b31045e07dp+0
+acosh 0x1.00b310c7237f5p+0
+acosh 0x1.00b3119dd9422p+0
+acosh 0x1.00b3130595404p+0
+acosh 0x1.00b3138ed8a79p+0
+acosh 0x1.00b313c20c809p+0
+acosh 0x1.00b3140f6b582p+0
+acosh 0x1.00b31560e5422p+0
+acosh 0x1.00b3156dfbb59p+0
+acosh 0x1.00b319a514ad9p+0
 acosh max
 
 add 0 0

diff --git a/math/auto-libm-test-out-acosh b/math/auto-libm-test-out-acosh
index ccc2b47e8f699f39d4e5df8b25eee2c89d683e29..9477896800ac5f5202ce50817ff2c5e94ac45a75 100644 (file)
--- a/math/auto-libm-test-out-acosh
+++ b/math/auto-libm-test-out-acosh
@@ -2351,6 +2351,696 @@ acosh 0x1.0f97586eba090200118df0902f99p+0
 = acosh tonearest ibm128 0x1.0f97586eba090200118df0902f8p+0 : 0x5.8e607be4bc4a5d59bfae715e38p-4 : inexact-ok
 = acosh towardzero ibm128 0x1.0f97586eba090200118df0902f8p+0 : 0x5.8e607be4bc4a5d59bfae715e38p-4 : inexact-ok
 = acosh upward ibm128 0x1.0f97586eba090200118df0902f8p+0 : 0x5.8e607be4bc4a5d59bfae715e3ap-4 : inexact-ok
+acosh 0x1.00b31045e07dp+0
+= acosh downward binary32 0x1.00b312p+0 : 0x1.2eb988p-4 : inexact-ok
+= acosh tonearest binary32 0x1.00b312p+0 : 0x1.2eb98ap-4 : inexact-ok
+= acosh towardzero binary32 0x1.00b312p+0 : 0x1.2eb988p-4 : inexact-ok
+= acosh upward binary32 0x1.00b312p+0 : 0x1.2eb98ap-4 : inexact-ok
+= acosh downward binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff7p-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff8p-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff7p-4 : inexact-ok
+= acosh upward binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff8p-4 : inexact-ok
+= acosh downward intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh upward intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh downward m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh upward m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh downward binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a67p-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a68p-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a67p-4 : inexact-ok
+= acosh upward binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a68p-4 : inexact-ok
+= acosh downward ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895ap-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a8p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895ap-4 : inexact-ok
+= acosh upward ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a8p-4 : inexact-ok
+= acosh downward binary32 0x1.00b31p+0 : 0x1.2eb7d8p-4 : inexact-ok
+= acosh tonearest binary32 0x1.00b31p+0 : 0x1.2eb7d8p-4 : inexact-ok
+= acosh towardzero binary32 0x1.00b31p+0 : 0x1.2eb7d8p-4 : inexact-ok
+= acosh upward binary32 0x1.00b31p+0 : 0x1.2eb7dap-4 : inexact-ok
+= acosh downward binary64 0x1.00b31p+0 : 0x1.2eb7d8fcf627dp-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b31p+0 : 0x1.2eb7d8fcf627dp-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b31p+0 : 0x1.2eb7d8fcf627dp-4 : inexact-ok
+= acosh upward binary64 0x1.00b31p+0 : 0x1.2eb7d8fcf627ep-4 : inexact-ok
+= acosh downward intel96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2aap-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2acp-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2aap-4 : inexact-ok
+= acosh upward intel96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2acp-4 : inexact-ok
+= acosh downward m68k96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2aap-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2acp-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2aap-4 : inexact-ok
+= acosh upward m68k96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2acp-4 : inexact-ok
+= acosh downward binary128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893dbbp-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893dbcp-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893dbbp-4 : inexact-ok
+= acosh upward binary128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893dbcp-4 : inexact-ok
+= acosh downward ibm128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893d8p-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893d8p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893d8p-4 : inexact-ok
+= acosh upward ibm128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893ep-4 : inexact-ok
+= acosh downward binary64 0x1.00b31045e07dp+0 : 0x1.2eb81406f443cp-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b31045e07dp+0 : 0x1.2eb81406f443dp-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b31045e07dp+0 : 0x1.2eb81406f443cp-4 : inexact-ok
+= acosh upward binary64 0x1.00b31045e07dp+0 : 0x1.2eb81406f443dp-4 : inexact-ok
+= acosh downward intel96 0x1.00b31045e07dp+0 : 0x1.2eb81406f443cffep-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b31045e07dp+0 : 0x1.2eb81406f443dp-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b31045e07dp+0 : 0x1.2eb81406f443cffep-4 : inexact-ok
+= acosh upward intel96 0x1.00b31045e07dp+0 : 0x1.2eb81406f443dp-4 : inexact-ok
+= acosh downward m68k96 0x1.00b31045e07dp+0 : 0x1.2eb81406f443cffep-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b31045e07dp+0 : 0x1.2eb81406f443dp-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b31045e07dp+0 : 0x1.2eb81406f443cffep-4 : inexact-ok
+= acosh upward m68k96 0x1.00b31045e07dp+0 : 0x1.2eb81406f443dp-4 : inexact-ok
+= acosh downward binary128 0x1.00b31045e07dp+0 : 0x1.2eb81406f443cfffe1e909b4364bp-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b31045e07dp+0 : 0x1.2eb81406f443cfffe1e909b4364cp-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b31045e07dp+0 : 0x1.2eb81406f443cfffe1e909b4364bp-4 : inexact-ok
+= acosh upward binary128 0x1.00b31045e07dp+0 : 0x1.2eb81406f443cfffe1e909b4364cp-4 : inexact-ok
+= acosh downward ibm128 0x1.00b31045e07dp+0 : 0x1.2eb81406f443cfffe1e909b436p-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b31045e07dp+0 : 0x1.2eb81406f443cfffe1e909b4368p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b31045e07dp+0 : 0x1.2eb81406f443cfffe1e909b436p-4 : inexact-ok
+= acosh upward ibm128 0x1.00b31045e07dp+0 : 0x1.2eb81406f443cfffe1e909b4368p-4 : inexact-ok
+acosh 0x1.00b310c7237f5p+0
+= acosh downward binary32 0x1.00b312p+0 : 0x1.2eb988p-4 : inexact-ok
+= acosh tonearest binary32 0x1.00b312p+0 : 0x1.2eb98ap-4 : inexact-ok
+= acosh towardzero binary32 0x1.00b312p+0 : 0x1.2eb988p-4 : inexact-ok
+= acosh upward binary32 0x1.00b312p+0 : 0x1.2eb98ap-4 : inexact-ok
+= acosh downward binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff7p-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff8p-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff7p-4 : inexact-ok
+= acosh upward binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff8p-4 : inexact-ok
+= acosh downward intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh upward intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh downward m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh upward m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh downward binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a67p-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a68p-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a67p-4 : inexact-ok
+= acosh upward binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a68p-4 : inexact-ok
+= acosh downward ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895ap-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a8p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895ap-4 : inexact-ok
+= acosh upward ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a8p-4 : inexact-ok
+= acosh downward binary32 0x1.00b31p+0 : 0x1.2eb7d8p-4 : inexact-ok
+= acosh tonearest binary32 0x1.00b31p+0 : 0x1.2eb7d8p-4 : inexact-ok
+= acosh towardzero binary32 0x1.00b31p+0 : 0x1.2eb7d8p-4 : inexact-ok
+= acosh upward binary32 0x1.00b31p+0 : 0x1.2eb7dap-4 : inexact-ok
+= acosh downward binary64 0x1.00b31p+0 : 0x1.2eb7d8fcf627dp-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b31p+0 : 0x1.2eb7d8fcf627dp-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b31p+0 : 0x1.2eb7d8fcf627dp-4 : inexact-ok
+= acosh upward binary64 0x1.00b31p+0 : 0x1.2eb7d8fcf627ep-4 : inexact-ok
+= acosh downward intel96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2aap-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2acp-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2aap-4 : inexact-ok
+= acosh upward intel96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2acp-4 : inexact-ok
+= acosh downward m68k96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2aap-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2acp-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2aap-4 : inexact-ok
+= acosh upward m68k96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2acp-4 : inexact-ok
+= acosh downward binary128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893dbbp-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893dbcp-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893dbbp-4 : inexact-ok
+= acosh upward binary128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893dbcp-4 : inexact-ok
+= acosh downward ibm128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893d8p-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893d8p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893d8p-4 : inexact-ok
+= acosh upward ibm128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893ep-4 : inexact-ok
+= acosh downward binary64 0x1.00b310c7237f5p+0 : 0x1.2eb8813d72007p-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b310c7237f5p+0 : 0x1.2eb8813d72008p-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b310c7237f5p+0 : 0x1.2eb8813d72007p-4 : inexact-ok
+= acosh upward binary64 0x1.00b310c7237f5p+0 : 0x1.2eb8813d72008p-4 : inexact-ok
+= acosh downward intel96 0x1.00b310c7237f5p+0 : 0x1.2eb8813d72007ffep-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b310c7237f5p+0 : 0x1.2eb8813d72008p-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b310c7237f5p+0 : 0x1.2eb8813d72007ffep-4 : inexact-ok
+= acosh upward intel96 0x1.00b310c7237f5p+0 : 0x1.2eb8813d72008p-4 : inexact-ok
+= acosh downward m68k96 0x1.00b310c7237f5p+0 : 0x1.2eb8813d72007ffep-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b310c7237f5p+0 : 0x1.2eb8813d72008p-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b310c7237f5p+0 : 0x1.2eb8813d72007ffep-4 : inexact-ok
+= acosh upward m68k96 0x1.00b310c7237f5p+0 : 0x1.2eb8813d72008p-4 : inexact-ok
+= acosh downward binary128 0x1.00b310c7237f5p+0 : 0x1.2eb8813d72007ffff03dec89072ep-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b310c7237f5p+0 : 0x1.2eb8813d72007ffff03dec89072ep-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b310c7237f5p+0 : 0x1.2eb8813d72007ffff03dec89072ep-4 : inexact-ok
+= acosh upward binary128 0x1.00b310c7237f5p+0 : 0x1.2eb8813d72007ffff03dec89072fp-4 : inexact-ok
+= acosh downward ibm128 0x1.00b310c7237f5p+0 : 0x1.2eb8813d72007ffff03dec8907p-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b310c7237f5p+0 : 0x1.2eb8813d72007ffff03dec8907p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b310c7237f5p+0 : 0x1.2eb8813d72007ffff03dec8907p-4 : inexact-ok
+= acosh upward ibm128 0x1.00b310c7237f5p+0 : 0x1.2eb8813d72007ffff03dec89078p-4 : inexact-ok
+acosh 0x1.00b3119dd9422p+0
+= acosh downward binary32 0x1.00b312p+0 : 0x1.2eb988p-4 : inexact-ok
+= acosh tonearest binary32 0x1.00b312p+0 : 0x1.2eb98ap-4 : inexact-ok
+= acosh towardzero binary32 0x1.00b312p+0 : 0x1.2eb988p-4 : inexact-ok
+= acosh upward binary32 0x1.00b312p+0 : 0x1.2eb98ap-4 : inexact-ok
+= acosh downward binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff7p-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff8p-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff7p-4 : inexact-ok
+= acosh upward binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff8p-4 : inexact-ok
+= acosh downward intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh upward intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh downward m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh upward m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh downward binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a67p-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a68p-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a67p-4 : inexact-ok
+= acosh upward binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a68p-4 : inexact-ok
+= acosh downward ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895ap-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a8p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895ap-4 : inexact-ok
+= acosh upward ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a8p-4 : inexact-ok
+= acosh downward binary32 0x1.00b31p+0 : 0x1.2eb7d8p-4 : inexact-ok
+= acosh tonearest binary32 0x1.00b31p+0 : 0x1.2eb7d8p-4 : inexact-ok
+= acosh towardzero binary32 0x1.00b31p+0 : 0x1.2eb7d8p-4 : inexact-ok
+= acosh upward binary32 0x1.00b31p+0 : 0x1.2eb7dap-4 : inexact-ok
+= acosh downward binary64 0x1.00b31p+0 : 0x1.2eb7d8fcf627dp-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b31p+0 : 0x1.2eb7d8fcf627dp-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b31p+0 : 0x1.2eb7d8fcf627dp-4 : inexact-ok
+= acosh upward binary64 0x1.00b31p+0 : 0x1.2eb7d8fcf627ep-4 : inexact-ok
+= acosh downward intel96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2aap-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2acp-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2aap-4 : inexact-ok
+= acosh upward intel96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2acp-4 : inexact-ok
+= acosh downward m68k96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2aap-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2acp-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2aap-4 : inexact-ok
+= acosh upward m68k96 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2acp-4 : inexact-ok
+= acosh downward binary128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893dbbp-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893dbcp-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893dbbp-4 : inexact-ok
+= acosh upward binary128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893dbcp-4 : inexact-ok
+= acosh downward ibm128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893d8p-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893d8p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893d8p-4 : inexact-ok
+= acosh upward ibm128 0x1.00b31p+0 : 0x1.2eb7d8fcf627d2abf0907f893ep-4 : inexact-ok
+= acosh downward binary64 0x1.00b3119dd9422p+0 : 0x1.2eb936a58187p-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b3119dd9422p+0 : 0x1.2eb936a581871p-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b3119dd9422p+0 : 0x1.2eb936a58187p-4 : inexact-ok
+= acosh upward binary64 0x1.00b3119dd9422p+0 : 0x1.2eb936a581871p-4 : inexact-ok
+= acosh downward intel96 0x1.00b3119dd9422p+0 : 0x1.2eb936a581870ffep-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b3119dd9422p+0 : 0x1.2eb936a581871p-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b3119dd9422p+0 : 0x1.2eb936a581870ffep-4 : inexact-ok
+= acosh upward intel96 0x1.00b3119dd9422p+0 : 0x1.2eb936a581871p-4 : inexact-ok
+= acosh downward m68k96 0x1.00b3119dd9422p+0 : 0x1.2eb936a581870ffep-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b3119dd9422p+0 : 0x1.2eb936a581871p-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b3119dd9422p+0 : 0x1.2eb936a581870ffep-4 : inexact-ok
+= acosh upward m68k96 0x1.00b3119dd9422p+0 : 0x1.2eb936a581871p-4 : inexact-ok
+= acosh downward binary128 0x1.00b3119dd9422p+0 : 0x1.2eb936a581870ffff3b5de15a5e3p-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b3119dd9422p+0 : 0x1.2eb936a581870ffff3b5de15a5e4p-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b3119dd9422p+0 : 0x1.2eb936a581870ffff3b5de15a5e3p-4 : inexact-ok
+= acosh upward binary128 0x1.00b3119dd9422p+0 : 0x1.2eb936a581870ffff3b5de15a5e4p-4 : inexact-ok
+= acosh downward ibm128 0x1.00b3119dd9422p+0 : 0x1.2eb936a581870ffff3b5de15a58p-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b3119dd9422p+0 : 0x1.2eb936a581870ffff3b5de15a6p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b3119dd9422p+0 : 0x1.2eb936a581870ffff3b5de15a58p-4 : inexact-ok
+= acosh upward ibm128 0x1.00b3119dd9422p+0 : 0x1.2eb936a581870ffff3b5de15a6p-4 : inexact-ok
+acosh 0x1.00b3130595404p+0
+= acosh downward binary32 0x1.00b314p+0 : 0x1.2ebb3ap-4 : inexact-ok
+= acosh tonearest binary32 0x1.00b314p+0 : 0x1.2ebb3ap-4 : inexact-ok
+= acosh towardzero binary32 0x1.00b314p+0 : 0x1.2ebb3ap-4 : inexact-ok
+= acosh upward binary32 0x1.00b314p+0 : 0x1.2ebb3cp-4 : inexact-ok
+= acosh downward binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93cp-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93dp-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93cp-4 : inexact-ok
+= acosh upward binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93dp-4 : inexact-ok
+= acosh downward intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh upward intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh downward m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh upward m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh downward binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c2p-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c2p-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c2p-4 : inexact-ok
+= acosh upward binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c3p-4 : inexact-ok
+= acosh downward ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a18p-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a2p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a18p-4 : inexact-ok
+= acosh upward ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a2p-4 : inexact-ok
+= acosh downward binary32 0x1.00b312p+0 : 0x1.2eb988p-4 : inexact-ok
+= acosh tonearest binary32 0x1.00b312p+0 : 0x1.2eb98ap-4 : inexact-ok
+= acosh towardzero binary32 0x1.00b312p+0 : 0x1.2eb988p-4 : inexact-ok
+= acosh upward binary32 0x1.00b312p+0 : 0x1.2eb98ap-4 : inexact-ok
+= acosh downward binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff7p-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff8p-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff7p-4 : inexact-ok
+= acosh upward binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff8p-4 : inexact-ok
+= acosh downward intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh upward intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh downward m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh upward m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh downward binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a67p-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a68p-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a67p-4 : inexact-ok
+= acosh upward binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a68p-4 : inexact-ok
+= acosh downward ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895ap-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a8p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895ap-4 : inexact-ok
+= acosh upward ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a8p-4 : inexact-ok
+= acosh downward binary64 0x1.00b3130595404p+0 : 0x1.2eba669438a6cp-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b3130595404p+0 : 0x1.2eba669438a6dp-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b3130595404p+0 : 0x1.2eba669438a6cp-4 : inexact-ok
+= acosh upward binary64 0x1.00b3130595404p+0 : 0x1.2eba669438a6dp-4 : inexact-ok
+= acosh downward intel96 0x1.00b3130595404p+0 : 0x1.2eba669438a6cffep-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b3130595404p+0 : 0x1.2eba669438a6dp-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b3130595404p+0 : 0x1.2eba669438a6cffep-4 : inexact-ok
+= acosh upward intel96 0x1.00b3130595404p+0 : 0x1.2eba669438a6dp-4 : inexact-ok
+= acosh downward m68k96 0x1.00b3130595404p+0 : 0x1.2eba669438a6cffep-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b3130595404p+0 : 0x1.2eba669438a6dp-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b3130595404p+0 : 0x1.2eba669438a6cffep-4 : inexact-ok
+= acosh upward m68k96 0x1.00b3130595404p+0 : 0x1.2eba669438a6dp-4 : inexact-ok
+= acosh downward binary128 0x1.00b3130595404p+0 : 0x1.2eba669438a6cffff86893149a37p-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b3130595404p+0 : 0x1.2eba669438a6cffff86893149a37p-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b3130595404p+0 : 0x1.2eba669438a6cffff86893149a37p-4 : inexact-ok
+= acosh upward binary128 0x1.00b3130595404p+0 : 0x1.2eba669438a6cffff86893149a38p-4 : inexact-ok
+= acosh downward ibm128 0x1.00b3130595404p+0 : 0x1.2eba669438a6cffff86893149ap-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b3130595404p+0 : 0x1.2eba669438a6cffff86893149ap-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b3130595404p+0 : 0x1.2eba669438a6cffff86893149ap-4 : inexact-ok
+= acosh upward ibm128 0x1.00b3130595404p+0 : 0x1.2eba669438a6cffff86893149a8p-4 : inexact-ok
+acosh 0x1.00b3138ed8a79p+0
+= acosh downward binary32 0x1.00b314p+0 : 0x1.2ebb3ap-4 : inexact-ok
+= acosh tonearest binary32 0x1.00b314p+0 : 0x1.2ebb3ap-4 : inexact-ok
+= acosh towardzero binary32 0x1.00b314p+0 : 0x1.2ebb3ap-4 : inexact-ok
+= acosh upward binary32 0x1.00b314p+0 : 0x1.2ebb3cp-4 : inexact-ok
+= acosh downward binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93cp-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93dp-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93cp-4 : inexact-ok
+= acosh upward binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93dp-4 : inexact-ok
+= acosh downward intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh upward intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh downward m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh upward m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh downward binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c2p-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c2p-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c2p-4 : inexact-ok
+= acosh upward binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c3p-4 : inexact-ok
+= acosh downward ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a18p-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a2p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a18p-4 : inexact-ok
+= acosh upward ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a2p-4 : inexact-ok
+= acosh downward binary32 0x1.00b312p+0 : 0x1.2eb988p-4 : inexact-ok
+= acosh tonearest binary32 0x1.00b312p+0 : 0x1.2eb98ap-4 : inexact-ok
+= acosh towardzero binary32 0x1.00b312p+0 : 0x1.2eb988p-4 : inexact-ok
+= acosh upward binary32 0x1.00b312p+0 : 0x1.2eb98ap-4 : inexact-ok
+= acosh downward binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff7p-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff8p-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff7p-4 : inexact-ok
+= acosh upward binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff8p-4 : inexact-ok
+= acosh downward intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh upward intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh downward m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh upward m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh downward binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a67p-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a68p-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a67p-4 : inexact-ok
+= acosh upward binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a68p-4 : inexact-ok
+= acosh downward ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895ap-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a8p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895ap-4 : inexact-ok
+= acosh upward ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a8p-4 : inexact-ok
+= acosh downward binary64 0x1.00b3138ed8a79p+0 : 0x1.2ebada8c7f8d7p-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b3138ed8a79p+0 : 0x1.2ebada8c7f8d8p-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b3138ed8a79p+0 : 0x1.2ebada8c7f8d7p-4 : inexact-ok
+= acosh upward binary64 0x1.00b3138ed8a79p+0 : 0x1.2ebada8c7f8d8p-4 : inexact-ok
+= acosh downward intel96 0x1.00b3138ed8a79p+0 : 0x1.2ebada8c7f8d7ffep-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b3138ed8a79p+0 : 0x1.2ebada8c7f8d8p-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b3138ed8a79p+0 : 0x1.2ebada8c7f8d7ffep-4 : inexact-ok
+= acosh upward intel96 0x1.00b3138ed8a79p+0 : 0x1.2ebada8c7f8d8p-4 : inexact-ok
+= acosh downward m68k96 0x1.00b3138ed8a79p+0 : 0x1.2ebada8c7f8d7ffep-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b3138ed8a79p+0 : 0x1.2ebada8c7f8d8p-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b3138ed8a79p+0 : 0x1.2ebada8c7f8d7ffep-4 : inexact-ok
+= acosh upward m68k96 0x1.00b3138ed8a79p+0 : 0x1.2ebada8c7f8d8p-4 : inexact-ok
+= acosh downward binary128 0x1.00b3138ed8a79p+0 : 0x1.2ebada8c7f8d7ffff572cf06aaf2p-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b3138ed8a79p+0 : 0x1.2ebada8c7f8d7ffff572cf06aaf3p-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b3138ed8a79p+0 : 0x1.2ebada8c7f8d7ffff572cf06aaf2p-4 : inexact-ok
+= acosh upward binary128 0x1.00b3138ed8a79p+0 : 0x1.2ebada8c7f8d7ffff572cf06aaf3p-4 : inexact-ok
+= acosh downward ibm128 0x1.00b3138ed8a79p+0 : 0x1.2ebada8c7f8d7ffff572cf06aa8p-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b3138ed8a79p+0 : 0x1.2ebada8c7f8d7ffff572cf06abp-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b3138ed8a79p+0 : 0x1.2ebada8c7f8d7ffff572cf06aa8p-4 : inexact-ok
+= acosh upward ibm128 0x1.00b3138ed8a79p+0 : 0x1.2ebada8c7f8d7ffff572cf06abp-4 : inexact-ok
+acosh 0x1.00b313c20c809p+0
+= acosh downward binary32 0x1.00b314p+0 : 0x1.2ebb3ap-4 : inexact-ok
+= acosh tonearest binary32 0x1.00b314p+0 : 0x1.2ebb3ap-4 : inexact-ok
+= acosh towardzero binary32 0x1.00b314p+0 : 0x1.2ebb3ap-4 : inexact-ok
+= acosh upward binary32 0x1.00b314p+0 : 0x1.2ebb3cp-4 : inexact-ok
+= acosh downward binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93cp-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93dp-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93cp-4 : inexact-ok
+= acosh upward binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93dp-4 : inexact-ok
+= acosh downward intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh upward intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh downward m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh upward m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh downward binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c2p-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c2p-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c2p-4 : inexact-ok
+= acosh upward binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c3p-4 : inexact-ok
+= acosh downward ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a18p-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a2p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a18p-4 : inexact-ok
+= acosh upward ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a2p-4 : inexact-ok
+= acosh downward binary32 0x1.00b312p+0 : 0x1.2eb988p-4 : inexact-ok
+= acosh tonearest binary32 0x1.00b312p+0 : 0x1.2eb98ap-4 : inexact-ok
+= acosh towardzero binary32 0x1.00b312p+0 : 0x1.2eb988p-4 : inexact-ok
+= acosh upward binary32 0x1.00b312p+0 : 0x1.2eb98ap-4 : inexact-ok
+= acosh downward binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff7p-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff8p-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff7p-4 : inexact-ok
+= acosh upward binary64 0x1.00b312p+0 : 0x1.2eb98992b6ff8p-4 : inexact-ok
+= acosh downward intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh upward intel96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh downward m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79d8p-4 : inexact-ok
+= acosh upward m68k96 0x1.00b312p+0 : 0x1.2eb98992b6ff79dap-4 : inexact-ok
+= acosh downward binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a67p-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a68p-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a67p-4 : inexact-ok
+= acosh upward binary128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a68p-4 : inexact-ok
+= acosh downward ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895ap-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a8p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895ap-4 : inexact-ok
+= acosh upward ibm128 0x1.00b312p+0 : 0x1.2eb98992b6ff79d9c1bf67895a8p-4 : inexact-ok
+= acosh downward binary64 0x1.00b313c20c809p+0 : 0x1.2ebb05cee6377p-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b313c20c809p+0 : 0x1.2ebb05cee6378p-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b313c20c809p+0 : 0x1.2ebb05cee6377p-4 : inexact-ok
+= acosh upward binary64 0x1.00b313c20c809p+0 : 0x1.2ebb05cee6378p-4 : inexact-ok
+= acosh downward intel96 0x1.00b313c20c809p+0 : 0x1.2ebb05cee6377ffep-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b313c20c809p+0 : 0x1.2ebb05cee6378p-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b313c20c809p+0 : 0x1.2ebb05cee6377ffep-4 : inexact-ok
+= acosh upward intel96 0x1.00b313c20c809p+0 : 0x1.2ebb05cee6378p-4 : inexact-ok
+= acosh downward m68k96 0x1.00b313c20c809p+0 : 0x1.2ebb05cee6377ffep-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b313c20c809p+0 : 0x1.2ebb05cee6378p-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b313c20c809p+0 : 0x1.2ebb05cee6377ffep-4 : inexact-ok
+= acosh upward m68k96 0x1.00b313c20c809p+0 : 0x1.2ebb05cee6378p-4 : inexact-ok
+= acosh downward binary128 0x1.00b313c20c809p+0 : 0x1.2ebb05cee6377ffffa07676ef178p-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b313c20c809p+0 : 0x1.2ebb05cee6377ffffa07676ef179p-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b313c20c809p+0 : 0x1.2ebb05cee6377ffffa07676ef178p-4 : inexact-ok
+= acosh upward binary128 0x1.00b313c20c809p+0 : 0x1.2ebb05cee6377ffffa07676ef179p-4 : inexact-ok
+= acosh downward ibm128 0x1.00b313c20c809p+0 : 0x1.2ebb05cee6377ffffa07676ef1p-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b313c20c809p+0 : 0x1.2ebb05cee6377ffffa07676ef18p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b313c20c809p+0 : 0x1.2ebb05cee6377ffffa07676ef1p-4 : inexact-ok
+= acosh upward ibm128 0x1.00b313c20c809p+0 : 0x1.2ebb05cee6377ffffa07676ef18p-4 : inexact-ok
+acosh 0x1.00b3140f6b582p+0
+= acosh downward binary32 0x1.00b316p+0 : 0x1.2ebceap-4 : inexact-ok
+= acosh tonearest binary32 0x1.00b316p+0 : 0x1.2ebceap-4 : inexact-ok
+= acosh towardzero binary32 0x1.00b316p+0 : 0x1.2ebceap-4 : inexact-ok
+= acosh upward binary32 0x1.00b316p+0 : 0x1.2ebcecp-4 : inexact-ok
+= acosh downward binary64 0x1.00b316p+0 : 0x1.2ebceab6f6ef1p-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b316p+0 : 0x1.2ebceab6f6ef2p-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b316p+0 : 0x1.2ebceab6f6ef1p-4 : inexact-ok
+= acosh upward binary64 0x1.00b316p+0 : 0x1.2ebceab6f6ef2p-4 : inexact-ok
+= acosh downward intel96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daep-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1dbp-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daep-4 : inexact-ok
+= acosh upward intel96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1dbp-4 : inexact-ok
+= acosh downward m68k96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daep-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1dbp-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daep-4 : inexact-ok
+= acosh upward m68k96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1dbp-4 : inexact-ok
+= acosh downward binary128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7e37p-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7e37p-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7e37p-4 : inexact-ok
+= acosh upward binary128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7e38p-4 : inexact-ok
+= acosh downward ibm128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7ep-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7ep-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7ep-4 : inexact-ok
+= acosh upward ibm128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7e8p-4 : inexact-ok
+= acosh downward binary32 0x1.00b314p+0 : 0x1.2ebb3ap-4 : inexact-ok
+= acosh tonearest binary32 0x1.00b314p+0 : 0x1.2ebb3ap-4 : inexact-ok
+= acosh towardzero binary32 0x1.00b314p+0 : 0x1.2ebb3ap-4 : inexact-ok
+= acosh upward binary32 0x1.00b314p+0 : 0x1.2ebb3cp-4 : inexact-ok
+= acosh downward binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93cp-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93dp-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93cp-4 : inexact-ok
+= acosh upward binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93dp-4 : inexact-ok
+= acosh downward intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh upward intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh downward m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh upward m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh downward binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c2p-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c2p-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c2p-4 : inexact-ok
+= acosh upward binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c3p-4 : inexact-ok
+= acosh downward ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a18p-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a2p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a18p-4 : inexact-ok
+= acosh upward ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a2p-4 : inexact-ok
+= acosh downward binary64 0x1.00b3140f6b582p+0 : 0x1.2ebb472d05396p-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b3140f6b582p+0 : 0x1.2ebb472d05397p-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b3140f6b582p+0 : 0x1.2ebb472d05396p-4 : inexact-ok
+= acosh upward binary64 0x1.00b3140f6b582p+0 : 0x1.2ebb472d05397p-4 : inexact-ok
+= acosh downward intel96 0x1.00b3140f6b582p+0 : 0x1.2ebb472d05396ffep-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b3140f6b582p+0 : 0x1.2ebb472d05397p-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b3140f6b582p+0 : 0x1.2ebb472d05396ffep-4 : inexact-ok
+= acosh upward intel96 0x1.00b3140f6b582p+0 : 0x1.2ebb472d05397p-4 : inexact-ok
+= acosh downward m68k96 0x1.00b3140f6b582p+0 : 0x1.2ebb472d05396ffep-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b3140f6b582p+0 : 0x1.2ebb472d05397p-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b3140f6b582p+0 : 0x1.2ebb472d05396ffep-4 : inexact-ok
+= acosh upward m68k96 0x1.00b3140f6b582p+0 : 0x1.2ebb472d05397p-4 : inexact-ok
+= acosh downward binary128 0x1.00b3140f6b582p+0 : 0x1.2ebb472d05396ffff9f7b375155bp-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b3140f6b582p+0 : 0x1.2ebb472d05396ffff9f7b375155bp-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b3140f6b582p+0 : 0x1.2ebb472d05396ffff9f7b375155bp-4 : inexact-ok
+= acosh upward binary128 0x1.00b3140f6b582p+0 : 0x1.2ebb472d05396ffff9f7b375155cp-4 : inexact-ok
+= acosh downward ibm128 0x1.00b3140f6b582p+0 : 0x1.2ebb472d05396ffff9f7b37515p-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b3140f6b582p+0 : 0x1.2ebb472d05396ffff9f7b375158p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b3140f6b582p+0 : 0x1.2ebb472d05396ffff9f7b37515p-4 : inexact-ok
+= acosh upward ibm128 0x1.00b3140f6b582p+0 : 0x1.2ebb472d05396ffff9f7b375158p-4 : inexact-ok
+acosh 0x1.00b31560e5422p+0
+= acosh downward binary32 0x1.00b316p+0 : 0x1.2ebceap-4 : inexact-ok
+= acosh tonearest binary32 0x1.00b316p+0 : 0x1.2ebceap-4 : inexact-ok
+= acosh towardzero binary32 0x1.00b316p+0 : 0x1.2ebceap-4 : inexact-ok
+= acosh upward binary32 0x1.00b316p+0 : 0x1.2ebcecp-4 : inexact-ok
+= acosh downward binary64 0x1.00b316p+0 : 0x1.2ebceab6f6ef1p-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b316p+0 : 0x1.2ebceab6f6ef2p-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b316p+0 : 0x1.2ebceab6f6ef1p-4 : inexact-ok
+= acosh upward binary64 0x1.00b316p+0 : 0x1.2ebceab6f6ef2p-4 : inexact-ok
+= acosh downward intel96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daep-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1dbp-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daep-4 : inexact-ok
+= acosh upward intel96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1dbp-4 : inexact-ok
+= acosh downward m68k96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daep-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1dbp-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daep-4 : inexact-ok
+= acosh upward m68k96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1dbp-4 : inexact-ok
+= acosh downward binary128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7e37p-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7e37p-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7e37p-4 : inexact-ok
+= acosh upward binary128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7e38p-4 : inexact-ok
+= acosh downward ibm128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7ep-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7ep-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7ep-4 : inexact-ok
+= acosh upward ibm128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7e8p-4 : inexact-ok
+= acosh downward binary32 0x1.00b314p+0 : 0x1.2ebb3ap-4 : inexact-ok
+= acosh tonearest binary32 0x1.00b314p+0 : 0x1.2ebb3ap-4 : inexact-ok
+= acosh towardzero binary32 0x1.00b314p+0 : 0x1.2ebb3ap-4 : inexact-ok
+= acosh upward binary32 0x1.00b314p+0 : 0x1.2ebb3cp-4 : inexact-ok
+= acosh downward binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93cp-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93dp-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93cp-4 : inexact-ok
+= acosh upward binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93dp-4 : inexact-ok
+= acosh downward intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh upward intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh downward m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh upward m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh downward binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c2p-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c2p-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c2p-4 : inexact-ok
+= acosh upward binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c3p-4 : inexact-ok
+= acosh downward ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a18p-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a2p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a18p-4 : inexact-ok
+= acosh upward ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a2p-4 : inexact-ok
+= acosh downward binary64 0x1.00b31560e5422p+0 : 0x1.2ebc644ba0b0dp-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b31560e5422p+0 : 0x1.2ebc644ba0b0ep-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b31560e5422p+0 : 0x1.2ebc644ba0b0dp-4 : inexact-ok
+= acosh upward binary64 0x1.00b31560e5422p+0 : 0x1.2ebc644ba0b0ep-4 : inexact-ok
+= acosh downward intel96 0x1.00b31560e5422p+0 : 0x1.2ebc644ba0b0dffep-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b31560e5422p+0 : 0x1.2ebc644ba0b0ep-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b31560e5422p+0 : 0x1.2ebc644ba0b0dffep-4 : inexact-ok
+= acosh upward intel96 0x1.00b31560e5422p+0 : 0x1.2ebc644ba0b0ep-4 : inexact-ok
+= acosh downward m68k96 0x1.00b31560e5422p+0 : 0x1.2ebc644ba0b0dffep-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b31560e5422p+0 : 0x1.2ebc644ba0b0ep-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b31560e5422p+0 : 0x1.2ebc644ba0b0dffep-4 : inexact-ok
+= acosh upward m68k96 0x1.00b31560e5422p+0 : 0x1.2ebc644ba0b0ep-4 : inexact-ok
+= acosh downward binary128 0x1.00b31560e5422p+0 : 0x1.2ebc644ba0b0dffff4decaa75565p-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b31560e5422p+0 : 0x1.2ebc644ba0b0dffff4decaa75565p-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b31560e5422p+0 : 0x1.2ebc644ba0b0dffff4decaa75565p-4 : inexact-ok
+= acosh upward binary128 0x1.00b31560e5422p+0 : 0x1.2ebc644ba0b0dffff4decaa75566p-4 : inexact-ok
+= acosh downward ibm128 0x1.00b31560e5422p+0 : 0x1.2ebc644ba0b0dffff4decaa755p-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b31560e5422p+0 : 0x1.2ebc644ba0b0dffff4decaa7558p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b31560e5422p+0 : 0x1.2ebc644ba0b0dffff4decaa755p-4 : inexact-ok
+= acosh upward ibm128 0x1.00b31560e5422p+0 : 0x1.2ebc644ba0b0dffff4decaa7558p-4 : inexact-ok
+acosh 0x1.00b3156dfbb59p+0
+= acosh downward binary32 0x1.00b316p+0 : 0x1.2ebceap-4 : inexact-ok
+= acosh tonearest binary32 0x1.00b316p+0 : 0x1.2ebceap-4 : inexact-ok
+= acosh towardzero binary32 0x1.00b316p+0 : 0x1.2ebceap-4 : inexact-ok
+= acosh upward binary32 0x1.00b316p+0 : 0x1.2ebcecp-4 : inexact-ok
+= acosh downward binary64 0x1.00b316p+0 : 0x1.2ebceab6f6ef1p-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b316p+0 : 0x1.2ebceab6f6ef2p-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b316p+0 : 0x1.2ebceab6f6ef1p-4 : inexact-ok
+= acosh upward binary64 0x1.00b316p+0 : 0x1.2ebceab6f6ef2p-4 : inexact-ok
+= acosh downward intel96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daep-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1dbp-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daep-4 : inexact-ok
+= acosh upward intel96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1dbp-4 : inexact-ok
+= acosh downward m68k96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daep-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1dbp-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daep-4 : inexact-ok
+= acosh upward m68k96 0x1.00b316p+0 : 0x1.2ebceab6f6ef1dbp-4 : inexact-ok
+= acosh downward binary128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7e37p-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7e37p-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7e37p-4 : inexact-ok
+= acosh upward binary128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7e38p-4 : inexact-ok
+= acosh downward ibm128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7ep-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7ep-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7ep-4 : inexact-ok
+= acosh upward ibm128 0x1.00b316p+0 : 0x1.2ebceab6f6ef1daf91e79a5f7e8p-4 : inexact-ok
+= acosh downward binary32 0x1.00b314p+0 : 0x1.2ebb3ap-4 : inexact-ok
+= acosh tonearest binary32 0x1.00b314p+0 : 0x1.2ebb3ap-4 : inexact-ok
+= acosh towardzero binary32 0x1.00b314p+0 : 0x1.2ebb3ap-4 : inexact-ok
+= acosh upward binary32 0x1.00b314p+0 : 0x1.2ebb3cp-4 : inexact-ok
+= acosh downward binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93cp-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93dp-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93cp-4 : inexact-ok
+= acosh upward binary64 0x1.00b314p+0 : 0x1.2ebb3a260c93dp-4 : inexact-ok
+= acosh downward intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh upward intel96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh downward m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8aap-4 : inexact-ok
+= acosh upward m68k96 0x1.00b314p+0 : 0x1.2ebb3a260c93c8acp-4 : inexact-ok
+= acosh downward binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c2p-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c2p-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c2p-4 : inexact-ok
+= acosh upward binary128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a1c3p-4 : inexact-ok
+= acosh downward ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a18p-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a2p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a18p-4 : inexact-ok
+= acosh upward ibm128 0x1.00b314p+0 : 0x1.2ebb3a260c93c8ab201d3884a2p-4 : inexact-ok
+= acosh downward binary64 0x1.00b3156dfbb59p+0 : 0x1.2ebc6f5a4332cp-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b3156dfbb59p+0 : 0x1.2ebc6f5a4332dp-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b3156dfbb59p+0 : 0x1.2ebc6f5a4332cp-4 : inexact-ok
+= acosh upward binary64 0x1.00b3156dfbb59p+0 : 0x1.2ebc6f5a4332dp-4 : inexact-ok
+= acosh downward intel96 0x1.00b3156dfbb59p+0 : 0x1.2ebc6f5a4332cffep-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b3156dfbb59p+0 : 0x1.2ebc6f5a4332dp-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b3156dfbb59p+0 : 0x1.2ebc6f5a4332cffep-4 : inexact-ok
+= acosh upward intel96 0x1.00b3156dfbb59p+0 : 0x1.2ebc6f5a4332dp-4 : inexact-ok
+= acosh downward m68k96 0x1.00b3156dfbb59p+0 : 0x1.2ebc6f5a4332cffep-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b3156dfbb59p+0 : 0x1.2ebc6f5a4332dp-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b3156dfbb59p+0 : 0x1.2ebc6f5a4332cffep-4 : inexact-ok
+= acosh upward m68k96 0x1.00b3156dfbb59p+0 : 0x1.2ebc6f5a4332dp-4 : inexact-ok
+= acosh downward binary128 0x1.00b3156dfbb59p+0 : 0x1.2ebc6f5a4332cfffe821e7f346adp-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b3156dfbb59p+0 : 0x1.2ebc6f5a4332cfffe821e7f346aep-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b3156dfbb59p+0 : 0x1.2ebc6f5a4332cfffe821e7f346adp-4 : inexact-ok
+= acosh upward binary128 0x1.00b3156dfbb59p+0 : 0x1.2ebc6f5a4332cfffe821e7f346aep-4 : inexact-ok
+= acosh downward ibm128 0x1.00b3156dfbb59p+0 : 0x1.2ebc6f5a4332cfffe821e7f3468p-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b3156dfbb59p+0 : 0x1.2ebc6f5a4332cfffe821e7f3468p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b3156dfbb59p+0 : 0x1.2ebc6f5a4332cfffe821e7f3468p-4 : inexact-ok
+= acosh upward ibm128 0x1.00b3156dfbb59p+0 : 0x1.2ebc6f5a4332cfffe821e7f347p-4 : inexact-ok
+acosh 0x1.00b319a514ad9p+0
+= acosh downward binary32 0x1.00b31ap+0 : 0x1.2ec04ap-4 : inexact-ok
+= acosh tonearest binary32 0x1.00b31ap+0 : 0x1.2ec04cp-4 : inexact-ok
+= acosh towardzero binary32 0x1.00b31ap+0 : 0x1.2ec04ap-4 : inexact-ok
+= acosh upward binary32 0x1.00b31ap+0 : 0x1.2ec04cp-4 : inexact-ok
+= acosh downward binary64 0x1.00b31ap+0 : 0x1.2ec04bd18a245p-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b31ap+0 : 0x1.2ec04bd18a245p-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b31ap+0 : 0x1.2ec04bd18a245p-4 : inexact-ok
+= acosh upward binary64 0x1.00b31ap+0 : 0x1.2ec04bd18a246p-4 : inexact-ok
+= acosh downward intel96 0x1.00b31ap+0 : 0x1.2ec04bd18a24531cp-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b31ap+0 : 0x1.2ec04bd18a24531ep-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b31ap+0 : 0x1.2ec04bd18a24531cp-4 : inexact-ok
+= acosh upward intel96 0x1.00b31ap+0 : 0x1.2ec04bd18a24531ep-4 : inexact-ok
+= acosh downward m68k96 0x1.00b31ap+0 : 0x1.2ec04bd18a24531cp-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b31ap+0 : 0x1.2ec04bd18a24531ep-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b31ap+0 : 0x1.2ec04bd18a24531cp-4 : inexact-ok
+= acosh upward m68k96 0x1.00b31ap+0 : 0x1.2ec04bd18a24531ep-4 : inexact-ok
+= acosh downward binary128 0x1.00b31ap+0 : 0x1.2ec04bd18a24531d43390a45d31bp-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b31ap+0 : 0x1.2ec04bd18a24531d43390a45d31bp-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b31ap+0 : 0x1.2ec04bd18a24531d43390a45d31bp-4 : inexact-ok
+= acosh upward binary128 0x1.00b31ap+0 : 0x1.2ec04bd18a24531d43390a45d31cp-4 : inexact-ok
+= acosh downward ibm128 0x1.00b31ap+0 : 0x1.2ec04bd18a24531d43390a45d3p-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b31ap+0 : 0x1.2ec04bd18a24531d43390a45d3p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b31ap+0 : 0x1.2ec04bd18a24531d43390a45d3p-4 : inexact-ok
+= acosh upward ibm128 0x1.00b31ap+0 : 0x1.2ec04bd18a24531d43390a45d38p-4 : inexact-ok
+= acosh downward binary32 0x1.00b318p+0 : 0x1.2ebe9ap-4 : inexact-ok
+= acosh tonearest binary32 0x1.00b318p+0 : 0x1.2ebe9cp-4 : inexact-ok
+= acosh towardzero binary32 0x1.00b318p+0 : 0x1.2ebe9ap-4 : inexact-ok
+= acosh upward binary32 0x1.00b318p+0 : 0x1.2ebe9cp-4 : inexact-ok
+= acosh downward binary64 0x1.00b318p+0 : 0x1.2ebe9b45761bdp-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b318p+0 : 0x1.2ebe9b45761bdp-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b318p+0 : 0x1.2ebe9b45761bdp-4 : inexact-ok
+= acosh upward binary64 0x1.00b318p+0 : 0x1.2ebe9b45761bep-4 : inexact-ok
+= acosh downward intel96 0x1.00b318p+0 : 0x1.2ebe9b45761bd72cp-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b318p+0 : 0x1.2ebe9b45761bd72cp-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b318p+0 : 0x1.2ebe9b45761bd72cp-4 : inexact-ok
+= acosh upward intel96 0x1.00b318p+0 : 0x1.2ebe9b45761bd72ep-4 : inexact-ok
+= acosh downward m68k96 0x1.00b318p+0 : 0x1.2ebe9b45761bd72cp-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b318p+0 : 0x1.2ebe9b45761bd72cp-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b318p+0 : 0x1.2ebe9b45761bd72cp-4 : inexact-ok
+= acosh upward m68k96 0x1.00b318p+0 : 0x1.2ebe9b45761bd72ep-4 : inexact-ok
+= acosh downward binary128 0x1.00b318p+0 : 0x1.2ebe9b45761bd72c8214c89fdef3p-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b318p+0 : 0x1.2ebe9b45761bd72c8214c89fdef3p-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b318p+0 : 0x1.2ebe9b45761bd72c8214c89fdef3p-4 : inexact-ok
+= acosh upward binary128 0x1.00b318p+0 : 0x1.2ebe9b45761bd72c8214c89fdef4p-4 : inexact-ok
+= acosh downward ibm128 0x1.00b318p+0 : 0x1.2ebe9b45761bd72c8214c89fde8p-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b318p+0 : 0x1.2ebe9b45761bd72c8214c89fdfp-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b318p+0 : 0x1.2ebe9b45761bd72c8214c89fde8p-4 : inexact-ok
+= acosh upward ibm128 0x1.00b318p+0 : 0x1.2ebe9b45761bd72c8214c89fdfp-4 : inexact-ok
+= acosh downward binary64 0x1.00b319a514ad9p+0 : 0x1.2ebfff0249e4p-4 : inexact-ok
+= acosh tonearest binary64 0x1.00b319a514ad9p+0 : 0x1.2ebfff0249e41p-4 : inexact-ok
+= acosh towardzero binary64 0x1.00b319a514ad9p+0 : 0x1.2ebfff0249e4p-4 : inexact-ok
+= acosh upward binary64 0x1.00b319a514ad9p+0 : 0x1.2ebfff0249e41p-4 : inexact-ok
+= acosh downward intel96 0x1.00b319a514ad9p+0 : 0x1.2ebfff0249e40ffep-4 : inexact-ok
+= acosh tonearest intel96 0x1.00b319a514ad9p+0 : 0x1.2ebfff0249e41p-4 : inexact-ok
+= acosh towardzero intel96 0x1.00b319a514ad9p+0 : 0x1.2ebfff0249e40ffep-4 : inexact-ok
+= acosh upward intel96 0x1.00b319a514ad9p+0 : 0x1.2ebfff0249e41p-4 : inexact-ok
+= acosh downward m68k96 0x1.00b319a514ad9p+0 : 0x1.2ebfff0249e40ffep-4 : inexact-ok
+= acosh tonearest m68k96 0x1.00b319a514ad9p+0 : 0x1.2ebfff0249e41p-4 : inexact-ok
+= acosh towardzero m68k96 0x1.00b319a514ad9p+0 : 0x1.2ebfff0249e40ffep-4 : inexact-ok
+= acosh upward m68k96 0x1.00b319a514ad9p+0 : 0x1.2ebfff0249e41p-4 : inexact-ok
+= acosh downward binary128 0x1.00b319a514ad9p+0 : 0x1.2ebfff0249e40ffff0d22dedd1bfp-4 : inexact-ok
+= acosh tonearest binary128 0x1.00b319a514ad9p+0 : 0x1.2ebfff0249e40ffff0d22dedd1cp-4 : inexact-ok
+= acosh towardzero binary128 0x1.00b319a514ad9p+0 : 0x1.2ebfff0249e40ffff0d22dedd1bfp-4 : inexact-ok
+= acosh upward binary128 0x1.00b319a514ad9p+0 : 0x1.2ebfff0249e40ffff0d22dedd1cp-4 : inexact-ok
+= acosh downward ibm128 0x1.00b319a514ad9p+0 : 0x1.2ebfff0249e40ffff0d22dedd18p-4 : inexact-ok
+= acosh tonearest ibm128 0x1.00b319a514ad9p+0 : 0x1.2ebfff0249e40ffff0d22dedd18p-4 : inexact-ok
+= acosh towardzero ibm128 0x1.00b319a514ad9p+0 : 0x1.2ebfff0249e40ffff0d22dedd18p-4 : inexact-ok
+= acosh upward ibm128 0x1.00b319a514ad9p+0 : 0x1.2ebfff0249e40ffff0d22dedd2p-4 : inexact-ok
 acosh max
 = acosh downward binary32 0xf.fffffp+124 : 0x5.96a7ep+4 : inexact-ok
 = acosh tonearest binary32 0xf.fffffp+124 : 0x5.96a7ep+4 : inexact-ok

diff --git a/sysdeps/ieee754/dbl-64/ddcoremath.h b/sysdeps/ieee754/dbl-64/ddcoremath.h
index ffb16feb4eff60598b2004ad0f3cca948597fd78..193b4de7bc1939a06449b51f072d5150ce17f5cf 100644 (file)
--- a/sysdeps/ieee754/dbl-64/ddcoremath.h
+++ b/sysdeps/ieee754/dbl-64/ddcoremath.h
@@ -3,7 +3,7 @@
 Copyright (c) 2023-2025 Alexei Sibidanov.
 
 The original version of this file was copied from the CORE-MATH
-project (file src/binary64/acosh/acosh.c, revision 6d87ca23).
+project (file src/binary64/acosh/acosh.c, revision 1bd85b89).
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal

diff --git a/sysdeps/ieee754/dbl-64/e_acosh.c b/sysdeps/ieee754/dbl-64/e_acosh.c
index 3ca5e879063d17ae34c6c393f692b05bf951f87c..943df053b66ce1332fa2dbab8a71a2411c9e76fb 100644 (file)
--- a/sysdeps/ieee754/dbl-64/e_acosh.c
+++ b/sysdeps/ieee754/dbl-64/e_acosh.c
@@ -70,11 +70,11 @@ as_acosh_one (double x, double sh, double sl)
           + x
                 * (cl[1]
                    + x * (cl[2] + x * (cl[3] + x * (cl[4] + x * (cl[5]))))));
-  double y1 = polydd (x, 0, 10, ch, &y2);
+  double y1 = polydd3 (x, 0, 10, ch, &y2);
   y1 = mulddd (y1, y2, x, &y2);
   double y0 = fasttwosum (1, y1, &y1);
   y1 += y2;
-  y0 = muldd_acc (y0, y1, sh, sl, &y1);
+  y0 = muldd_acc2 (y0, y1, sh, sl, &y1);
   return y0 + y1;
 }
 
@@ -83,7 +83,7 @@ __ieee754_acosh (double x)
 {
   uint64_t ix = asuint64 (x);
   if (__glibc_unlikely (ix >= UINT64_C (0x7ff0000000000000)))
-    {
+    { // x<0 or NaN/Inf
       uint64_t aix = ix << 1;
       if (ix == UINT64_C (0x7ff0000000000000)
          || aix > (UINT64_C (0x7ff) << 53))
@@ -100,7 +100,7 @@ __ieee754_acosh (double x)
   double g;
   int off = 0x3fe;
   uint64_t t = ix;
-  if (ix < UINT64_C (0x3ff1e83e425aee63))
+  if (ix < UINT64_C (0x3ff1e83e425aee63)) // 0 <= x < 0x1.1e83e425aee63p+0
     {
       double z = x - 1;
       double iz = (-0.25) / z, zt = 2 * z;
@@ -129,6 +129,7 @@ __ieee754_acosh (double x)
     }
   else if (__glibc_likely (ix < UINT64_C (0x405bf00000000000)))
     {
+      // 0x1.1e83e425aee63p+0 <= x < 0x1.bfp+6
       off = 0x3ff;
       double x2h = x * x, wh = x2h - 1, wl = fma (x, x, -x2h);
       double sh = sqrt (wh), ish = 0.5 / wh,
@@ -140,6 +141,7 @@ __ieee754_acosh (double x)
     }
   else if (ix < UINT64_C (0x4087100000000000))
     {
+      // 0x1.bfp+6 <= x < 0x1.71p+9
       static const double cl[]
          = { 0x1.5c4b6148816e2p-66, -0x1.000000000005cp-2,
              -0x1.7fffffebf3e6cp-4, -0x1.aab6691f2bae7p-5 };
@@ -148,6 +150,7 @@ __ieee754_acosh (double x)
     }
   else if (ix < UINT64_C (0x40e0100000000000))
     {
+      // 0x1.71p+9 <= x < 0x1.01p+15
       static const double cl[]
          = { -0x1.7f77c8429c6c6p-67, -0x1.ffffffffff214p-3,
              -0x1.8000268641bfep-4 };
@@ -156,6 +159,7 @@ __ieee754_acosh (double x)
     }
   else if (ix < UINT64_C (0x41ea000000000000))
     {
+      // 0x1.01p+15 <= x < 0x1.ap+31
       static const double cl[]
          = { 0x1.7a0ed2effdd1p-67, -0x1.000000017d048p-2 };
       double z = 1 / (x * x);
@@ -163,6 +167,7 @@ __ieee754_acosh (double x)
     }
   else
     {
+      // 0x1.ap+31 <= x
       g = 0;
     }
   int ex = t >> 52, e = ex - off;
@@ -386,8 +391,8 @@ as_acosh_refine (double x, double a)
     }
   xh = adddd (xh, xl, sh, sl, &xl);
   sl = xh * (cl[0] + xh * (cl[1] + xh * cl[2]));
-  sh = polydd (xh, xl, 3, ch, &sl);
-  sh = muldd_acc (xh, xl, sh, sl, &sl);
+  sh = polydd3 (xh, xl, 3, ch, &sl);
+  sh = muldd_acc2 (xh, xl, sh, sl, &sl);
   sh = adddd (sh, sl, el1, el2, &sl);
   sh = adddd (sh, sl, L[1], L[2], &sl);
   double v2, v0 = fasttwosum (L[0], sh, &v2), v1 = fasttwosum (v2, sl, &v2);