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>
This commit is contained in:
Adhemerval Zanella 2026-01-09 11:56:51 -03:00
parent 05b46df987
commit 8efe2b03db
5 changed files with 713 additions and 8 deletions

View File

@ -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

View File

@ -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

View File

@ -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

View File

@ -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

View File

@ -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);