about summary refs log tree commit diff
path: root/math/auto-libm-test-in
diff options
context:
space:
mode:
authorJoseph Myers <joseph@codesourcery.com>2017-02-17 17:44:23 +0000
committerJoseph Myers <joseph@codesourcery.com>2017-02-17 17:44:23 +0000
commit6b8303a383660a3c7b2792246c933f8a2234d712 (patch)
tree7f81fdd2e58cfee01e76a4b50eca06a8882b1e29 /math/auto-libm-test-in
parentf7a51347a4e369fcc51e867ef03826e99acc4fdc (diff)
downloadglibc-6b8303a383660a3c7b2792246c933f8a2234d712.tar.gz
glibc-6b8303a383660a3c7b2792246c933f8a2234d712.tar.xz
glibc-6b8303a383660a3c7b2792246c933f8a2234d712.zip
Move tests of cacos, cacosh to auto-libm-test-*.
This patch moves tests of cacos and cacosh with finite inputs to using
the auto-libm-test machinery.  Each of auto-libm-test-out-cacos and
auto-libm-test-out-cacosh takes about 80 minutes to generate on my
system because of MPC slowness on special cases that appear in the
tests (with MPC 1.0.3; I don't know to what extent current MPC master
might speed it up).

Tested for x86_64 and x86 and ulps updated accordingly.

	* math/auto-libm-test-in: Add tests of cacos and cacosh.
	* math/auto-libm-test-out-cacos: New generated file.
	* math/auto-libm-test-out-cacosh: Likewise.
	* math/libm-test-cacos.inc (cacos_test_data): Use AUTO_TESTS_c_c.
	Move tests with finite inputs to auto-libm-test-in.
	* math/libm-test-cacosh.inc (cacosh_test_data): Likewise.
	* math/Makefile (libm-test-funcs-auto): Add cacos and cacosh.
	(libm-test-funcs-noauto): Remove cacos and cacosh.
	* sysdeps/i386/fpu/libm-test-ulps: Update.
	* sysdeps/i386/i686/fpu/multiarch/libm-test-ulps: Likewise.
	* sysdeps/x86_64/fpu/libm-test-ulps: Likewise.
Diffstat (limited to 'math/auto-libm-test-in')
-rw-r--r--math/auto-libm-test-in1169
1 files changed, 1169 insertions, 0 deletions
diff --git a/math/auto-libm-test-in b/math/auto-libm-test-in
index 64d1784b96..c28cd6ef3f 100644
--- a/math/auto-libm-test-in
+++ b/math/auto-libm-test-in
@@ -528,6 +528,1175 @@ cabs -0x1.30ed4cp+0 0x1.e9d956p+56
 cabs -0x1.250366p-36 -0x5.a5046p-4
 cabs -0x1.88858cp+84 0x5.bd9198p+36
 
+cacos 0 0
+cacos -0 0
+cacos -0 -0
+cacos 0 -0
+
+cacos 0 -1.5
+cacos -0 -1.5
+cacos 0 -1.0
+cacos -0 -1.0
+cacos 0 -0.5
+cacos -0 -0.5
+cacos 0 0.5
+cacos -0 0.5
+cacos 0 1.0
+cacos -0 1.0
+cacos 0 1.5
+cacos -0 1.5
+
+cacos -1.5 0
+cacos -1.5 -0
+cacos -1.0 0
+cacos -1.0 -0
+cacos -0.5 0
+cacos -0.5 -0
+cacos 0.5 0
+cacos 0.5 -0
+cacos 1.0 0
+cacos 1.0 -0
+cacos 1.5 0
+cacos 1.5 -0
+
+cacos 0x1p50 1.0
+cacos 0x1p50 -1.0
+cacos -0x1p50 1.0
+cacos -0x1p50 -1.0
+cacos 1.0 0x1p50
+cacos -1.0 0x1p50
+cacos 1.0 -0x1p50
+cacos -1.0 -0x1p50
+cacos 0x1p500 1.0
+cacos 0x1p500 -1.0
+cacos -0x1p500 1.0
+cacos -0x1p500 -1.0
+cacos 1.0 0x1p500
+cacos -1.0 0x1p500
+cacos 1.0 -0x1p500
+cacos -1.0 -0x1p500
+cacos 0x1p5000 1.0
+cacos 0x1p5000 -1.0
+cacos -0x1p5000 1.0
+cacos -0x1p5000 -1.0
+cacos 1.0 0x1p5000
+cacos -1.0 0x1p5000
+cacos 1.0 -0x1p5000
+cacos -1.0 -0x1p5000
+
+cacos 0x1.fp127 0x1.fp127
+cacos 0x1.fp1023 0x1.fp1023
+cacos 0x1.fp16383 0x1.fp16383
+
+cacos 0x1.fp-129 1.5
+cacos 0x1.fp-129 -1.5
+cacos -0x1.fp-129 1.5
+cacos -0x1.fp-129 -1.5
+cacos 1.5 0x1.fp-129
+cacos -1.5 0x1.fp-129
+cacos 1.5 -0x1.fp-129
+cacos -1.5 -0x1.fp-129
+cacos 0x1.fp-1025 1.5
+cacos 0x1.fp-1025 -1.5
+cacos -0x1.fp-1025 1.5
+cacos -0x1.fp-1025 -1.5
+cacos 1.5 0x1.fp-1025
+cacos -1.5 0x1.fp-1025
+cacos 1.5 -0x1.fp-1025
+cacos -1.5 -0x1.fp-1025
+cacos 0x1.fp-16385 1.5
+cacos 0x1.fp-16385 -1.5
+cacos -0x1.fp-16385 1.5
+cacos -0x1.fp-16385 -1.5
+cacos 1.5 0x1.fp-16385
+cacos -1.5 0x1.fp-16385
+cacos 1.5 -0x1.fp-16385
+cacos -1.5 -0x1.fp-16385
+
+cacos 0.5 1.0
+cacos 0.5 -1.0
+cacos -0.5 1.0
+cacos -0.5 -1.0
+cacos 1.0 0.5
+cacos -1.0 0.5
+cacos 1.0 -0.5
+cacos -1.0 -0.5
+cacos 0.25 1.0
+cacos 0.25 -1.0
+cacos -0.25 1.0
+cacos -0.25 -1.0
+cacos 1.0 0.25
+cacos -1.0 0.25
+cacos 1.0 -0.25
+cacos -1.0 -0.25
+cacos 0x1.fp-10 1.0
+cacos 0x1.fp-10 -1.0
+cacos -0x1.fp-10 1.0
+cacos -0x1.fp-10 -1.0
+cacos 1.0 0x1.fp-10
+cacos -1.0 0x1.fp-10
+cacos 1.0 -0x1.fp-10
+cacos -1.0 -0x1.fp-10
+cacos 0x1.fp-30 1.0
+cacos 0x1.fp-30 -1.0
+cacos -0x1.fp-30 1.0
+cacos -0x1.fp-30 -1.0
+cacos 1.0 0x1.fp-30
+cacos -1.0 0x1.fp-30
+cacos 1.0 -0x1.fp-30
+cacos -1.0 -0x1.fp-30
+cacos 0x1.fp-100 1.0
+cacos 0x1.fp-100 -1.0
+cacos -0x1.fp-100 1.0
+cacos -0x1.fp-100 -1.0
+cacos 1.0 0x1.fp-100
+cacos -1.0 0x1.fp-100
+cacos 1.0 -0x1.fp-100
+cacos -1.0 -0x1.fp-100
+cacos 0x1.fp-129 1.0
+cacos 0x1.fp-129 -1.0
+cacos -0x1.fp-129 1.0
+cacos -0x1.fp-129 -1.0
+cacos 1.0 0x1.fp-129
+cacos -1.0 0x1.fp-129
+cacos 1.0 -0x1.fp-129
+cacos -1.0 -0x1.fp-129
+cacos 0x1.fp-1000 1.0
+cacos 0x1.fp-1000 -1.0
+cacos -0x1.fp-1000 1.0
+cacos -0x1.fp-1000 -1.0
+cacos 1.0 0x1.fp-1000
+cacos -1.0 0x1.fp-1000
+cacos 1.0 -0x1.fp-1000
+cacos -1.0 -0x1.fp-1000
+cacos 0x1.fp-1025 1.0
+cacos 0x1.fp-1025 -1.0
+cacos -0x1.fp-1025 1.0
+cacos -0x1.fp-1025 -1.0
+cacos 1.0 0x1.fp-1025
+cacos -1.0 0x1.fp-1025
+cacos 1.0 -0x1.fp-1025
+cacos -1.0 -0x1.fp-1025
+cacos 0x1.fp-10000 1.0
+cacos 0x1.fp-10000 -1.0
+cacos -0x1.fp-10000 1.0
+cacos -0x1.fp-10000 -1.0
+cacos 1.0 0x1.fp-10000
+cacos -1.0 0x1.fp-10000
+cacos 1.0 -0x1.fp-10000
+cacos -1.0 -0x1.fp-10000
+cacos 0x1.fp-16385 1.0
+cacos 0x1.fp-16385 -1.0
+cacos -0x1.fp-16385 1.0
+cacos -0x1.fp-16385 -1.0
+cacos 1.0 0x1.fp-16385
+cacos -1.0 0x1.fp-16385
+cacos 1.0 -0x1.fp-16385
+cacos -1.0 -0x1.fp-16385
+
+cacos 0x1p-23 0x1.000002p0
+cacos 0x1p-23 -0x1.000002p0
+cacos -0x1p-23 0x1.000002p0
+cacos -0x1p-23 -0x1.000002p0
+cacos 0x1.000002p0 0x1p-23
+cacos -0x1.000002p0 0x1p-23
+cacos 0x1.000002p0 -0x1p-23
+cacos -0x1.000002p0 -0x1p-23
+cacos 0x1.fp-129 0x1.000002p0
+cacos 0x1.fp-129 -0x1.000002p0
+cacos -0x1.fp-129 0x1.000002p0
+cacos -0x1.fp-129 -0x1.000002p0
+cacos 0x1.000002p0 0x1.fp-129
+cacos -0x1.000002p0 0x1.fp-129
+cacos 0x1.000002p0 -0x1.fp-129
+cacos -0x1.000002p0 -0x1.fp-129
+cacos 0.0 0x1.000002p0
+cacos 0.0 -0x1.000002p0
+cacos -0.0 0x1.000002p0
+cacos -0.0 -0x1.000002p0
+cacos 0x1.000002p0 0.0
+cacos -0x1.000002p0 0.0
+cacos 0x1.000002p0 -0.0
+cacos -0x1.000002p0 -0.0
+cacos 0x1p-52 0x1.0000000000001p0
+cacos 0x1p-52 -0x1.0000000000001p0
+cacos -0x1p-52 0x1.0000000000001p0
+cacos -0x1p-52 -0x1.0000000000001p0
+cacos 0x1.0000000000001p0 0x1p-52
+cacos -0x1.0000000000001p0 0x1p-52
+cacos 0x1.0000000000001p0 -0x1p-52
+cacos -0x1.0000000000001p0 -0x1p-52
+cacos 0x1.fp-1025 0x1.0000000000001p0
+cacos 0x1.fp-1025 -0x1.0000000000001p0
+cacos -0x1.fp-1025 0x1.0000000000001p0
+cacos -0x1.fp-1025 -0x1.0000000000001p0
+cacos 0x1.0000000000001p0 0x1.fp-1025
+cacos -0x1.0000000000001p0 0x1.fp-1025
+cacos 0x1.0000000000001p0 -0x1.fp-1025
+cacos -0x1.0000000000001p0 -0x1.fp-1025
+cacos 0.0 0x1.0000000000001p0
+cacos 0.0 -0x1.0000000000001p0
+cacos -0.0 0x1.0000000000001p0
+cacos -0.0 -0x1.0000000000001p0
+cacos 0x1.0000000000001p0 0.0
+cacos -0x1.0000000000001p0 0.0
+cacos 0x1.0000000000001p0 -0.0
+cacos -0x1.0000000000001p0 -0.0
+cacos 0x1p-63 0x1.0000000000000002p0
+cacos 0x1p-63 -0x1.0000000000000002p0
+cacos -0x1p-63 0x1.0000000000000002p0
+cacos -0x1p-63 -0x1.0000000000000002p0
+cacos 0x1.0000000000000002p0 0x1p-63
+cacos -0x1.0000000000000002p0 0x1p-63
+cacos 0x1.0000000000000002p0 -0x1p-63
+cacos -0x1.0000000000000002p0 -0x1p-63
+cacos 0x1.fp-16385 0x1.0000000000000002p0
+cacos 0x1.fp-16385 -0x1.0000000000000002p0
+cacos -0x1.fp-16385 0x1.0000000000000002p0
+cacos -0x1.fp-16385 -0x1.0000000000000002p0
+cacos 0x1.0000000000000002p0 0x1.fp-16385
+cacos -0x1.0000000000000002p0 0x1.fp-16385
+cacos 0x1.0000000000000002p0 -0x1.fp-16385
+cacos -0x1.0000000000000002p0 -0x1.fp-16385
+cacos 0.0 0x1.0000000000000002p0
+cacos 0.0 -0x1.0000000000000002p0
+cacos -0.0 0x1.0000000000000002p0
+cacos -0.0 -0x1.0000000000000002p0
+cacos 0x1.0000000000000002p0 0.0
+cacos -0x1.0000000000000002p0 0.0
+cacos 0x1.0000000000000002p0 -0.0
+cacos -0x1.0000000000000002p0 -0.0
+cacos 0x1p-106 0x1.000000000000000000000000008p0
+cacos 0x1p-106 -0x1.000000000000000000000000008p0
+cacos -0x1p-106 0x1.000000000000000000000000008p0
+cacos -0x1p-106 -0x1.000000000000000000000000008p0
+cacos 0x1.000000000000000000000000008p0 0x1p-106
+cacos -0x1.000000000000000000000000008p0 0x1p-106
+cacos 0x1.000000000000000000000000008p0 -0x1p-106
+cacos -0x1.000000000000000000000000008p0 -0x1p-106
+cacos 0x1.fp-1025 0x1.000000000000000000000000008p0
+cacos 0x1.fp-1025 -0x1.000000000000000000000000008p0
+cacos -0x1.fp-1025 0x1.000000000000000000000000008p0
+cacos -0x1.fp-1025 -0x1.000000000000000000000000008p0
+cacos 0x1.000000000000000000000000008p0 0x1.fp-1025
+cacos -0x1.000000000000000000000000008p0 0x1.fp-1025
+cacos 0x1.000000000000000000000000008p0 -0x1.fp-1025
+cacos -0x1.000000000000000000000000008p0 -0x1.fp-1025
+cacos 0.0 0x1.000000000000000000000000008p0
+cacos 0.0 -0x1.000000000000000000000000008p0
+cacos -0.0 0x1.000000000000000000000000008p0
+cacos -0.0 -0x1.000000000000000000000000008p0
+cacos 0x1.000000000000000000000000008p0 0.0
+cacos -0x1.000000000000000000000000008p0 0.0
+cacos 0x1.000000000000000000000000008p0 -0.0
+cacos -0x1.000000000000000000000000008p0 -0.0
+cacos 0x1p-113 0x1.0000000000000000000000000001p0
+cacos 0x1p-113 -0x1.0000000000000000000000000001p0
+cacos -0x1p-113 0x1.0000000000000000000000000001p0
+cacos -0x1p-113 -0x1.0000000000000000000000000001p0
+cacos 0x1.0000000000000000000000000001p0 0x1p-113
+cacos -0x1.0000000000000000000000000001p0 0x1p-113
+cacos 0x1.0000000000000000000000000001p0 -0x1p-113
+cacos -0x1.0000000000000000000000000001p0 -0x1p-113
+cacos 0x1.fp-16385 0x1.0000000000000000000000000001p0
+cacos 0x1.fp-16385 -0x1.0000000000000000000000000001p0
+cacos -0x1.fp-16385 0x1.0000000000000000000000000001p0
+cacos -0x1.fp-16385 -0x1.0000000000000000000000000001p0
+cacos 0x1.0000000000000000000000000001p0 0x1.fp-16385
+cacos -0x1.0000000000000000000000000001p0 0x1.fp-16385
+cacos 0x1.0000000000000000000000000001p0 -0x1.fp-16385
+cacos -0x1.0000000000000000000000000001p0 -0x1.fp-16385
+cacos 0.0 0x1.0000000000000000000000000001p0
+cacos 0.0 -0x1.0000000000000000000000000001p0
+cacos -0.0 0x1.0000000000000000000000000001p0
+cacos -0.0 -0x1.0000000000000000000000000001p0
+cacos 0x1.0000000000000000000000000001p0 0.0
+cacos -0x1.0000000000000000000000000001p0 0.0
+cacos 0x1.0000000000000000000000000001p0 -0.0
+cacos -0x1.0000000000000000000000000001p0 -0.0
+
+cacos 0x1p-23 0x0.ffffffp0
+cacos 0x1p-23 -0x0.ffffffp0
+cacos -0x1p-23 0x0.ffffffp0
+cacos -0x1p-23 -0x0.ffffffp0
+cacos 0x0.ffffffp0 0x1p-23
+cacos -0x0.ffffffp0 0x1p-23
+cacos 0x0.ffffffp0 -0x1p-23
+cacos -0x0.ffffffp0 -0x1p-23
+cacos 0x1.fp-129 0x0.ffffffp0
+cacos 0x1.fp-129 -0x0.ffffffp0
+cacos -0x1.fp-129 0x0.ffffffp0
+cacos -0x1.fp-129 -0x0.ffffffp0
+cacos 0x0.ffffffp0 0x1.fp-129
+cacos -0x0.ffffffp0 0x1.fp-129
+cacos 0x0.ffffffp0 -0x1.fp-129
+cacos -0x0.ffffffp0 -0x1.fp-129
+cacos 0.0 0x0.ffffffp0
+cacos 0.0 -0x0.ffffffp0
+cacos -0.0 0x0.ffffffp0
+cacos -0.0 -0x0.ffffffp0
+cacos 0x0.ffffffp0 0.0
+cacos -0x0.ffffffp0 0.0
+cacos 0x0.ffffffp0 -0.0
+cacos -0x0.ffffffp0 -0.0
+cacos 0x1p-23 0.5
+cacos 0x1p-23 -0.5
+cacos -0x1p-23 0.5
+cacos -0x1p-23 -0.5
+cacos 0.5 0x1p-23
+cacos -0.5 0x1p-23
+cacos 0.5 -0x1p-23
+cacos -0.5 -0x1p-23
+cacos 0x1.fp-129 0.5
+cacos 0x1.fp-129 -0.5
+cacos -0x1.fp-129 0.5
+cacos -0x1.fp-129 -0.5
+cacos 0.5 0x1.fp-129
+cacos -0.5 0x1.fp-129
+cacos 0.5 -0x1.fp-129
+cacos -0.5 -0x1.fp-129
+cacos 0x1p-23 0x1p-23
+cacos 0x1p-23 -0x1p-23
+cacos -0x1p-23 0x1p-23
+cacos -0x1p-23 -0x1p-23
+cacos 0x1.fp-129 0x1p-23
+cacos 0x1.fp-129 -0x1p-23
+cacos -0x1.fp-129 0x1p-23
+cacos -0x1.fp-129 -0x1p-23
+cacos 0x1p-23 0x1.fp-129
+cacos -0x1p-23 0x1.fp-129
+cacos 0x1p-23 -0x1.fp-129
+cacos -0x1p-23 -0x1.fp-129
+cacos 0.0 0x1p-23
+cacos 0.0 -0x1p-23
+cacos -0.0 0x1p-23
+cacos -0.0 -0x1p-23
+cacos 0x1p-23 0.0
+cacos -0x1p-23 0.0
+cacos 0x1p-23 -0.0
+cacos -0x1p-23 -0.0
+cacos 0x1.fp-129 0x1.fp-129
+cacos 0x1.fp-129 -0x1.fp-129
+cacos -0x1.fp-129 0x1.fp-129
+cacos -0x1.fp-129 -0x1.fp-129
+cacos 0x1p-52 0x0.fffffffffffff8p0
+cacos 0x1p-52 -0x0.fffffffffffff8p0
+cacos -0x1p-52 0x0.fffffffffffff8p0
+cacos -0x1p-52 -0x0.fffffffffffff8p0
+cacos 0x0.fffffffffffff8p0 0x1p-52
+cacos -0x0.fffffffffffff8p0 0x1p-52
+cacos 0x0.fffffffffffff8p0 -0x1p-52
+cacos -0x0.fffffffffffff8p0 -0x1p-52
+cacos 0x1.fp-1025 0x0.fffffffffffff8p0
+cacos 0x1.fp-1025 -0x0.fffffffffffff8p0
+cacos -0x1.fp-1025 0x0.fffffffffffff8p0
+cacos -0x1.fp-1025 -0x0.fffffffffffff8p0
+cacos 0x0.fffffffffffff8p0 0x1.fp-1025
+cacos -0x0.fffffffffffff8p0 0x1.fp-1025
+cacos 0x0.fffffffffffff8p0 -0x1.fp-1025
+cacos -0x0.fffffffffffff8p0 -0x1.fp-1025
+cacos 0.0 0x0.fffffffffffff8p0
+cacos 0.0 -0x0.fffffffffffff8p0
+cacos -0.0 0x0.fffffffffffff8p0
+cacos -0.0 -0x0.fffffffffffff8p0
+cacos 0x0.fffffffffffff8p0 0.0
+cacos -0x0.fffffffffffff8p0 0.0
+cacos 0x0.fffffffffffff8p0 -0.0
+cacos -0x0.fffffffffffff8p0 -0.0
+cacos 0x1p-52 0.5
+cacos 0x1p-52 -0.5
+cacos -0x1p-52 0.5
+cacos -0x1p-52 -0.5
+cacos 0.5 0x1p-52
+cacos -0.5 0x1p-52
+cacos 0.5 -0x1p-52
+cacos -0.5 -0x1p-52
+cacos 0x1.fp-1025 0.5
+cacos 0x1.fp-1025 -0.5
+cacos -0x1.fp-1025 0.5
+cacos -0x1.fp-1025 -0.5
+cacos 0.5 0x1.fp-1025
+cacos -0.5 0x1.fp-1025
+cacos 0.5 -0x1.fp-1025
+cacos -0.5 -0x1.fp-1025
+cacos 0x1p-52 0x1p-52
+cacos 0x1p-52 -0x1p-52
+cacos -0x1p-52 0x1p-52
+cacos -0x1p-52 -0x1p-52
+cacos 0x1.fp-1025 0x1p-52
+cacos 0x1.fp-1025 -0x1p-52
+cacos -0x1.fp-1025 0x1p-52
+cacos -0x1.fp-1025 -0x1p-52
+cacos 0x1p-52 0x1.fp-1025
+cacos -0x1p-52 0x1.fp-1025
+cacos 0x1p-52 -0x1.fp-1025
+cacos -0x1p-52 -0x1.fp-1025
+cacos 0.0 0x1p-52
+cacos 0.0 -0x1p-52
+cacos -0.0 0x1p-52
+cacos -0.0 -0x1p-52
+cacos 0x1p-52 0.0
+cacos -0x1p-52 0.0
+cacos 0x1p-52 -0.0
+cacos -0x1p-52 -0.0
+cacos 0x1.fp-1025 0x1.fp-1025
+cacos 0x1.fp-1025 -0x1.fp-1025
+cacos -0x1.fp-1025 0x1.fp-1025
+cacos -0x1.fp-1025 -0x1.fp-1025
+cacos 0x1p-63 0x0.ffffffffffffffffp0
+cacos 0x1p-63 -0x0.ffffffffffffffffp0
+cacos -0x1p-63 0x0.ffffffffffffffffp0
+cacos -0x1p-63 -0x0.ffffffffffffffffp0
+cacos 0x0.ffffffffffffffffp0 0x1p-63
+cacos -0x0.ffffffffffffffffp0 0x1p-63
+cacos 0x0.ffffffffffffffffp0 -0x1p-63
+cacos -0x0.ffffffffffffffffp0 -0x1p-63
+cacos 0x1.fp-16385 0x0.ffffffffffffffffp0
+cacos 0x1.fp-16385 -0x0.ffffffffffffffffp0
+cacos -0x1.fp-16385 0x0.ffffffffffffffffp0
+cacos -0x1.fp-16385 -0x0.ffffffffffffffffp0
+cacos 0x0.ffffffffffffffffp0 0x1.fp-16385
+cacos -0x0.ffffffffffffffffp0 0x1.fp-16385
+cacos 0x0.ffffffffffffffffp0 -0x1.fp-16385
+cacos -0x0.ffffffffffffffffp0 -0x1.fp-16385
+cacos 0.0 0x0.ffffffffffffffffp0
+cacos 0.0 -0x0.ffffffffffffffffp0
+cacos -0.0 0x0.ffffffffffffffffp0
+cacos -0.0 -0x0.ffffffffffffffffp0
+cacos 0x0.ffffffffffffffffp0 0.0
+cacos -0x0.ffffffffffffffffp0 0.0
+cacos 0x0.ffffffffffffffffp0 -0.0
+cacos -0x0.ffffffffffffffffp0 -0.0
+cacos 0x1p-63 0.5
+cacos 0x1p-63 -0.5
+cacos -0x1p-63 0.5
+cacos -0x1p-63 -0.5
+cacos 0.5 0x1p-63
+cacos -0.5 0x1p-63
+cacos 0.5 -0x1p-63
+cacos -0.5 -0x1p-63
+cacos 0x1.fp-16385 0.5
+cacos 0x1.fp-16385 -0.5
+cacos -0x1.fp-16385 0.5
+cacos -0x1.fp-16385 -0.5
+cacos 0.5 0x1.fp-16385
+cacos -0.5 0x1.fp-16385
+cacos 0.5 -0x1.fp-16385
+cacos -0.5 -0x1.fp-16385
+cacos 0x1p-63 0x1p-63
+cacos 0x1p-63 -0x1p-63
+cacos -0x1p-63 0x1p-63
+cacos -0x1p-63 -0x1p-63
+cacos 0x1.fp-16385 0x1p-63
+cacos 0x1.fp-16385 -0x1p-63
+cacos -0x1.fp-16385 0x1p-63
+cacos -0x1.fp-16385 -0x1p-63
+cacos 0x1p-63 0x1.fp-16385
+cacos -0x1p-63 0x1.fp-16385
+cacos 0x1p-63 -0x1.fp-16385
+cacos -0x1p-63 -0x1.fp-16385
+cacos 0.0 0x1p-63
+cacos 0.0 -0x1p-63
+cacos -0.0 0x1p-63
+cacos -0.0 -0x1p-63
+cacos 0x1p-63 0.0
+cacos -0x1p-63 0.0
+cacos 0x1p-63 -0.0
+cacos -0x1p-63 -0.0
+cacos 0x1.fp-16385 0x1.fp-16385
+cacos 0x1.fp-16385 -0x1.fp-16385
+cacos -0x1.fp-16385 0x1.fp-16385
+cacos -0x1.fp-16385 -0x1.fp-16385
+cacos 0x1p-105 0x0.ffffffffffffffffffffffffffcp0
+cacos 0x1p-105 -0x0.ffffffffffffffffffffffffffcp0
+cacos -0x1p-105 0x0.ffffffffffffffffffffffffffcp0
+cacos -0x1p-105 -0x0.ffffffffffffffffffffffffffcp0
+cacos 0x0.ffffffffffffffffffffffffffcp0 0x1p-105
+cacos -0x0.ffffffffffffffffffffffffffcp0 0x1p-105
+cacos 0x0.ffffffffffffffffffffffffffcp0 -0x1p-105
+cacos -0x0.ffffffffffffffffffffffffffcp0 -0x1p-105
+cacos 0x1.fp-1025 0x0.ffffffffffffffffffffffffffcp0
+cacos 0x1.fp-1025 -0x0.ffffffffffffffffffffffffffcp0
+cacos -0x1.fp-1025 0x0.ffffffffffffffffffffffffffcp0
+cacos -0x1.fp-1025 -0x0.ffffffffffffffffffffffffffcp0
+cacos 0x0.ffffffffffffffffffffffffffcp0 0x1.fp-1025
+cacos -0x0.ffffffffffffffffffffffffffcp0 0x1.fp-1025
+cacos 0x0.ffffffffffffffffffffffffffcp0 -0x1.fp-1025
+cacos -0x0.ffffffffffffffffffffffffffcp0 -0x1.fp-1025
+cacos 0.0 0x0.ffffffffffffffffffffffffffcp0
+cacos 0.0 -0x0.ffffffffffffffffffffffffffcp0
+cacos -0.0 0x0.ffffffffffffffffffffffffffcp0
+cacos -0.0 -0x0.ffffffffffffffffffffffffffcp0
+cacos 0x0.ffffffffffffffffffffffffffcp0 0.0
+cacos -0x0.ffffffffffffffffffffffffffcp0 0.0
+cacos 0x0.ffffffffffffffffffffffffffcp0 -0.0
+cacos -0x0.ffffffffffffffffffffffffffcp0 -0.0
+cacos 0x1p-105 0.5
+cacos 0x1p-105 -0.5
+cacos -0x1p-105 0.5
+cacos -0x1p-105 -0.5
+cacos 0.5 0x1p-105
+cacos -0.5 0x1p-105
+cacos 0.5 -0x1p-105
+cacos -0.5 -0x1p-105
+cacos 0x1p-105 0x1p-105
+cacos 0x1p-105 -0x1p-105
+cacos -0x1p-105 0x1p-105
+cacos -0x1p-105 -0x1p-105
+cacos 0x1.fp-1025 0x1p-105
+cacos 0x1.fp-1025 -0x1p-105
+cacos -0x1.fp-1025 0x1p-105
+cacos -0x1.fp-1025 -0x1p-105
+cacos 0x1p-105 0x1.fp-1025
+cacos -0x1p-105 0x1.fp-1025
+cacos 0x1p-105 -0x1.fp-1025
+cacos -0x1p-105 -0x1.fp-1025
+cacos 0.0 0x1p-105
+cacos 0.0 -0x1p-105
+cacos -0.0 0x1p-105
+cacos -0.0 -0x1p-105
+cacos 0x1p-105 0.0
+cacos -0x1p-105 0.0
+cacos 0x1p-105 -0.0
+cacos -0x1p-105 -0.0
+cacos 0x1p-112 0x0.ffffffffffffffffffffffffffff8p0
+cacos 0x1p-112 -0x0.ffffffffffffffffffffffffffff8p0
+cacos -0x1p-112 0x0.ffffffffffffffffffffffffffff8p0
+cacos -0x1p-112 -0x0.ffffffffffffffffffffffffffff8p0
+cacos 0x0.ffffffffffffffffffffffffffff8p0 0x1p-112
+cacos -0x0.ffffffffffffffffffffffffffff8p0 0x1p-112
+cacos 0x0.ffffffffffffffffffffffffffff8p0 -0x1p-112
+cacos -0x0.ffffffffffffffffffffffffffff8p0 -0x1p-112
+cacos 0x1.fp-16385 0x0.ffffffffffffffffffffffffffff8p0
+cacos 0x1.fp-16385 -0x0.ffffffffffffffffffffffffffff8p0
+cacos -0x1.fp-16385 0x0.ffffffffffffffffffffffffffff8p0
+cacos -0x1.fp-16385 -0x0.ffffffffffffffffffffffffffff8p0
+cacos 0x0.ffffffffffffffffffffffffffff8p0 0x1.fp-16385
+cacos -0x0.ffffffffffffffffffffffffffff8p0 0x1.fp-16385
+cacos 0x0.ffffffffffffffffffffffffffff8p0 -0x1.fp-16385
+cacos -0x0.ffffffffffffffffffffffffffff8p0 -0x1.fp-16385
+cacos 0.0 0x0.ffffffffffffffffffffffffffff8p0
+cacos 0.0 -0x0.ffffffffffffffffffffffffffff8p0
+cacos -0.0 0x0.ffffffffffffffffffffffffffff8p0
+cacos -0.0 -0x0.ffffffffffffffffffffffffffff8p0
+cacos 0x0.ffffffffffffffffffffffffffff8p0 0.0
+cacos -0x0.ffffffffffffffffffffffffffff8p0 0.0
+cacos 0x0.ffffffffffffffffffffffffffff8p0 -0.0
+cacos -0x0.ffffffffffffffffffffffffffff8p0 -0.0
+cacos 0x1p-112 0.5
+cacos 0x1p-112 -0.5
+cacos -0x1p-112 0.5
+cacos -0x1p-112 -0.5
+cacos 0.5 0x1p-112
+cacos -0.5 0x1p-112
+cacos 0.5 -0x1p-112
+cacos -0.5 -0x1p-112
+cacos 0x1p-112 0x1p-112
+cacos 0x1p-112 -0x1p-112
+cacos -0x1p-112 0x1p-112
+cacos -0x1p-112 -0x1p-112
+cacos 0x1.fp-16385 0x1p-112
+cacos 0x1.fp-16385 -0x1p-112
+cacos -0x1.fp-16385 0x1p-112
+cacos -0x1.fp-16385 -0x1p-112
+cacos 0x1p-112 0x1.fp-16385
+cacos -0x1p-112 0x1.fp-16385
+cacos 0x1p-112 -0x1.fp-16385
+cacos -0x1p-112 -0x1.fp-16385
+cacos 0.0 0x1p-112
+cacos 0.0 -0x1p-112
+cacos -0.0 0x1p-112
+cacos -0.0 -0x1p-112
+cacos 0x1p-112 0.0
+cacos -0x1p-112 0.0
+cacos 0x1p-112 -0.0
+cacos -0x1p-112 -0.0
+
+cacos 0.75 1.25
+cacos -2 -3
+
+cacosh 0 0
+cacosh -0 0
+cacosh 0 -0
+cacosh -0 -0
+
+cacosh 0 -1.5
+cacosh -0 -1.5
+cacosh 0 -1.0
+cacosh -0 -1.0
+cacosh 0 -0.5
+cacosh -0 -0.5
+cacosh 0 0.5
+cacosh -0 0.5
+cacosh 0 1.0
+cacosh -0 1.0
+cacosh 0 1.5
+cacosh -0 1.5
+
+cacosh -1.5 0
+cacosh -1.5 -0
+cacosh -1.0 0
+cacosh -1.0 -0
+cacosh -0.5 0
+cacosh -0.5 -0
+cacosh 0.5 0
+cacosh 0.5 -0
+cacosh 1.0 0
+cacosh 1.0 -0
+cacosh 1.5 0
+cacosh 1.5 -0
+
+cacosh 0x1p50 1.0
+cacosh 0x1p50 -1.0
+cacosh -0x1p50 1.0
+cacosh -0x1p50 -1.0
+cacosh 1.0 0x1p50
+cacosh -1.0 0x1p50
+cacosh 1.0 -0x1p50
+cacosh -1.0 -0x1p50
+cacosh 0x1p500 1.0
+cacosh 0x1p500 -1.0
+cacosh -0x1p500 1.0
+cacosh -0x1p500 -1.0
+cacosh 1.0 0x1p500
+cacosh -1.0 0x1p500
+cacosh 1.0 -0x1p500
+cacosh -1.0 -0x1p500
+cacosh 0x1p5000 1.0
+cacosh 0x1p5000 -1.0
+cacosh -0x1p5000 1.0
+cacosh -0x1p5000 -1.0
+cacosh 1.0 0x1p5000
+cacosh -1.0 0x1p5000
+cacosh 1.0 -0x1p5000
+cacosh -1.0 -0x1p5000
+cacosh 0x1.fp127 0x1.fp127
+cacosh 0x1.fp1023 0x1.fp1023
+cacosh 0x1.fp16383 0x1.fp16383
+cacosh 0x1.fp-129 1.5
+cacosh 0x1.fp-129 -1.5
+cacosh -0x1.fp-129 1.5
+cacosh -0x1.fp-129 -1.5
+cacosh 1.5 0x1.fp-129
+cacosh -1.5 0x1.fp-129
+cacosh 1.5 -0x1.fp-129
+cacosh -1.5 -0x1.fp-129
+cacosh 0x1.fp-1025 1.5
+cacosh 0x1.fp-1025 -1.5
+cacosh -0x1.fp-1025 1.5
+cacosh -0x1.fp-1025 -1.5
+cacosh 1.5 0x1.fp-1025
+cacosh -1.5 0x1.fp-1025
+cacosh 1.5 -0x1.fp-1025
+cacosh -1.5 -0x1.fp-1025
+cacosh 0x1.fp-16385 1.5
+cacosh 0x1.fp-16385 -1.5
+cacosh -0x1.fp-16385 1.5
+cacosh -0x1.fp-16385 -1.5
+cacosh 1.5 0x1.fp-16385
+cacosh -1.5 0x1.fp-16385
+cacosh 1.5 -0x1.fp-16385
+cacosh -1.5 -0x1.fp-16385
+cacosh 0.5 1.0
+cacosh 0.5 -1.0
+cacosh -0.5 1.0
+cacosh -0.5 -1.0
+cacosh 1.0 0.5
+cacosh -1.0 0.5
+cacosh 1.0 -0.5
+cacosh -1.0 -0.5
+cacosh 0.25 1.0
+cacosh 0.25 -1.0
+cacosh -0.25 1.0
+cacosh -0.25 -1.0
+cacosh 1.0 0.25
+cacosh -1.0 0.25
+cacosh 1.0 -0.25
+cacosh -1.0 -0.25
+cacosh 0x1.fp-10 1.0
+cacosh 0x1.fp-10 -1.0
+cacosh -0x1.fp-10 1.0
+cacosh -0x1.fp-10 -1.0
+cacosh 1.0 0x1.fp-10
+cacosh -1.0 0x1.fp-10
+cacosh 1.0 -0x1.fp-10
+cacosh -1.0 -0x1.fp-10
+cacosh 0x1.fp-30 1.0
+cacosh 0x1.fp-30 -1.0
+cacosh -0x1.fp-30 1.0
+cacosh -0x1.fp-30 -1.0
+cacosh 1.0 0x1.fp-30
+cacosh -1.0 0x1.fp-30
+cacosh 1.0 -0x1.fp-30
+cacosh -1.0 -0x1.fp-30
+cacosh 0x1.fp-100 1.0
+cacosh 0x1.fp-100 -1.0
+cacosh -0x1.fp-100 1.0
+cacosh -0x1.fp-100 -1.0
+cacosh 1.0 0x1.fp-100
+cacosh -1.0 0x1.fp-100
+cacosh 1.0 -0x1.fp-100
+cacosh -1.0 -0x1.fp-100
+cacosh 0x1.fp-129 1.0
+cacosh 0x1.fp-129 -1.0
+cacosh -0x1.fp-129 1.0
+cacosh -0x1.fp-129 -1.0
+cacosh 1.0 0x1.fp-129
+cacosh -1.0 0x1.fp-129
+cacosh 1.0 -0x1.fp-129
+cacosh -1.0 -0x1.fp-129
+cacosh 0x1.fp-1000 1.0
+cacosh 0x1.fp-1000 -1.0
+cacosh -0x1.fp-1000 1.0
+cacosh -0x1.fp-1000 -1.0
+cacosh 1.0 0x1.fp-1000
+cacosh -1.0 0x1.fp-1000
+cacosh 1.0 -0x1.fp-1000
+cacosh -1.0 -0x1.fp-1000
+cacosh 0x1.fp-1025 1.0
+cacosh 0x1.fp-1025 -1.0
+cacosh -0x1.fp-1025 1.0
+cacosh -0x1.fp-1025 -1.0
+cacosh 1.0 0x1.fp-1025
+cacosh -1.0 0x1.fp-1025
+cacosh 1.0 -0x1.fp-1025
+cacosh -1.0 -0x1.fp-1025
+cacosh 0x1.fp-10000 1.0
+cacosh 0x1.fp-10000 -1.0
+cacosh -0x1.fp-10000 1.0
+cacosh -0x1.fp-10000 -1.0
+cacosh 1.0 0x1.fp-10000
+cacosh -1.0 0x1.fp-10000
+cacosh 1.0 -0x1.fp-10000
+cacosh -1.0 -0x1.fp-10000
+cacosh 0x1.fp-16385 1.0
+cacosh 0x1.fp-16385 -1.0
+cacosh -0x1.fp-16385 1.0
+cacosh -0x1.fp-16385 -1.0
+cacosh 1.0 0x1.fp-16385
+cacosh -1.0 0x1.fp-16385
+cacosh 1.0 -0x1.fp-16385
+cacosh -1.0 -0x1.fp-16385
+cacosh 0x1p-23 0x1.000002p0
+cacosh 0x1p-23 -0x1.000002p0
+cacosh -0x1p-23 0x1.000002p0
+cacosh -0x1p-23 -0x1.000002p0
+cacosh 0x1.000002p0 0x1p-23
+cacosh -0x1.000002p0 0x1p-23
+cacosh 0x1.000002p0 -0x1p-23
+cacosh -0x1.000002p0 -0x1p-23
+cacosh 0x1.fp-129 0x1.000002p0
+cacosh 0x1.fp-129 -0x1.000002p0
+cacosh -0x1.fp-129 0x1.000002p0
+cacosh -0x1.fp-129 -0x1.000002p0
+cacosh 0x1.000002p0 0x1.fp-129
+cacosh -0x1.000002p0 0x1.fp-129
+cacosh 0x1.000002p0 -0x1.fp-129
+cacosh -0x1.000002p0 -0x1.fp-129
+cacosh 0.0 0x1.000002p0
+cacosh 0.0 -0x1.000002p0
+cacosh -0.0 0x1.000002p0
+cacosh -0.0 -0x1.000002p0
+cacosh 0x1.000002p0 0.0
+cacosh -0x1.000002p0 0.0
+cacosh 0x1.000002p0 -0.0
+cacosh -0x1.000002p0 -0.0
+cacosh 0x1p-52 0x1.0000000000001p0
+cacosh 0x1p-52 -0x1.0000000000001p0
+cacosh -0x1p-52 0x1.0000000000001p0
+cacosh -0x1p-52 -0x1.0000000000001p0
+cacosh 0x1.0000000000001p0 0x1p-52
+cacosh -0x1.0000000000001p0 0x1p-52
+cacosh 0x1.0000000000001p0 -0x1p-52
+cacosh -0x1.0000000000001p0 -0x1p-52
+cacosh 0x1.fp-1025 0x1.0000000000001p0
+cacosh 0x1.fp-1025 -0x1.0000000000001p0
+cacosh -0x1.fp-1025 0x1.0000000000001p0
+cacosh -0x1.fp-1025 -0x1.0000000000001p0
+cacosh 0x1.0000000000001p0 0x1.fp-1025
+cacosh -0x1.0000000000001p0 0x1.fp-1025
+cacosh 0x1.0000000000001p0 -0x1.fp-1025
+cacosh -0x1.0000000000001p0 -0x1.fp-1025
+cacosh 0.0 0x1.0000000000001p0
+cacosh 0.0 -0x1.0000000000001p0
+cacosh -0.0 0x1.0000000000001p0
+cacosh -0.0 -0x1.0000000000001p0
+cacosh 0x1.0000000000001p0 0.0
+cacosh -0x1.0000000000001p0 0.0
+cacosh 0x1.0000000000001p0 -0.0
+cacosh -0x1.0000000000001p0 -0.0
+cacosh 0x1p-63 0x1.0000000000000002p0
+cacosh 0x1p-63 -0x1.0000000000000002p0
+cacosh -0x1p-63 0x1.0000000000000002p0
+cacosh -0x1p-63 -0x1.0000000000000002p0
+cacosh 0x1.0000000000000002p0 0x1p-63
+cacosh -0x1.0000000000000002p0 0x1p-63
+cacosh 0x1.0000000000000002p0 -0x1p-63
+cacosh -0x1.0000000000000002p0 -0x1p-63
+cacosh 0x1.fp-16385 0x1.0000000000000002p0
+cacosh 0x1.fp-16385 -0x1.0000000000000002p0
+cacosh -0x1.fp-16385 0x1.0000000000000002p0
+cacosh -0x1.fp-16385 -0x1.0000000000000002p0
+cacosh 0x1.0000000000000002p0 0x1.fp-16385
+cacosh -0x1.0000000000000002p0 0x1.fp-16385
+cacosh 0x1.0000000000000002p0 -0x1.fp-16385
+cacosh -0x1.0000000000000002p0 -0x1.fp-16385
+cacosh 0.0 0x1.0000000000000002p0
+cacosh 0.0 -0x1.0000000000000002p0
+cacosh -0.0 0x1.0000000000000002p0
+cacosh -0.0 -0x1.0000000000000002p0
+cacosh 0x1.0000000000000002p0 0.0
+cacosh -0x1.0000000000000002p0 0.0
+cacosh 0x1.0000000000000002p0 -0.0
+cacosh -0x1.0000000000000002p0 -0.0
+cacosh 0x1p-106 0x1.000000000000000000000000008p0
+cacosh 0x1p-106 -0x1.000000000000000000000000008p0
+cacosh -0x1p-106 0x1.000000000000000000000000008p0
+cacosh -0x1p-106 -0x1.000000000000000000000000008p0
+cacosh 0x1.000000000000000000000000008p0 0x1p-106
+cacosh -0x1.000000000000000000000000008p0 0x1p-106
+cacosh 0x1.000000000000000000000000008p0 -0x1p-106
+cacosh -0x1.000000000000000000000000008p0 -0x1p-106
+cacosh 0x1.fp-1025 0x1.000000000000000000000000008p0
+cacosh 0x1.fp-1025 -0x1.000000000000000000000000008p0
+cacosh -0x1.fp-1025 0x1.000000000000000000000000008p0
+cacosh -0x1.fp-1025 -0x1.000000000000000000000000008p0
+cacosh 0x1.000000000000000000000000008p0 0x1.fp-1025
+cacosh -0x1.000000000000000000000000008p0 0x1.fp-1025
+cacosh 0x1.000000000000000000000000008p0 -0x1.fp-1025
+cacosh -0x1.000000000000000000000000008p0 -0x1.fp-1025
+cacosh 0.0 0x1.000000000000000000000000008p0
+cacosh 0.0 -0x1.000000000000000000000000008p0
+cacosh -0.0 0x1.000000000000000000000000008p0
+cacosh -0.0 -0x1.000000000000000000000000008p0
+cacosh 0x1.000000000000000000000000008p0 0.0
+cacosh -0x1.000000000000000000000000008p0 0.0
+cacosh 0x1.000000000000000000000000008p0 -0.0
+cacosh -0x1.000000000000000000000000008p0 -0.0
+cacosh 0x1p-113 0x1.0000000000000000000000000001p0
+cacosh 0x1p-113 -0x1.0000000000000000000000000001p0
+cacosh -0x1p-113 0x1.0000000000000000000000000001p0
+cacosh -0x1p-113 -0x1.0000000000000000000000000001p0
+cacosh 0x1.0000000000000000000000000001p0 0x1p-113
+cacosh -0x1.0000000000000000000000000001p0 0x1p-113
+cacosh 0x1.0000000000000000000000000001p0 -0x1p-113
+cacosh -0x1.0000000000000000000000000001p0 -0x1p-113
+cacosh 0x1.fp-16385 0x1.0000000000000000000000000001p0
+cacosh 0x1.fp-16385 -0x1.0000000000000000000000000001p0
+cacosh -0x1.fp-16385 0x1.0000000000000000000000000001p0
+cacosh -0x1.fp-16385 -0x1.0000000000000000000000000001p0
+cacosh 0x1.0000000000000000000000000001p0 0x1.fp-16385
+cacosh -0x1.0000000000000000000000000001p0 0x1.fp-16385
+cacosh 0x1.0000000000000000000000000001p0 -0x1.fp-16385
+cacosh -0x1.0000000000000000000000000001p0 -0x1.fp-16385
+cacosh 0.0 0x1.0000000000000000000000000001p0
+cacosh 0.0 -0x1.0000000000000000000000000001p0
+cacosh -0.0 0x1.0000000000000000000000000001p0
+cacosh -0.0 -0x1.0000000000000000000000000001p0
+cacosh 0x1.0000000000000000000000000001p0 0.0
+cacosh -0x1.0000000000000000000000000001p0 0.0
+cacosh 0x1.0000000000000000000000000001p0 -0.0
+cacosh -0x1.0000000000000000000000000001p0 -0.0
+cacosh 0x1p-23 0x0.ffffffp0
+cacosh 0x1p-23 -0x0.ffffffp0
+cacosh -0x1p-23 0x0.ffffffp0
+cacosh -0x1p-23 -0x0.ffffffp0
+cacosh 0x0.ffffffp0 0x1p-23
+cacosh -0x0.ffffffp0 0x1p-23
+cacosh 0x0.ffffffp0 -0x1p-23
+cacosh -0x0.ffffffp0 -0x1p-23
+cacosh 0x1.fp-129 0x0.ffffffp0
+cacosh 0x1.fp-129 -0x0.ffffffp0
+cacosh -0x1.fp-129 0x0.ffffffp0
+cacosh -0x1.fp-129 -0x0.ffffffp0
+cacosh 0x0.ffffffp0 0x1.fp-129
+cacosh -0x0.ffffffp0 0x1.fp-129
+cacosh 0x0.ffffffp0 -0x1.fp-129
+cacosh -0x0.ffffffp0 -0x1.fp-129
+cacosh 0.0 0x0.ffffffp0
+cacosh 0.0 -0x0.ffffffp0
+cacosh -0.0 0x0.ffffffp0
+cacosh -0.0 -0x0.ffffffp0
+cacosh 0x0.ffffffp0 0.0
+cacosh -0x0.ffffffp0 0.0
+cacosh 0x0.ffffffp0 -0.0
+cacosh -0x0.ffffffp0 -0.0
+cacosh 0x1p-23 0.5
+cacosh 0x1p-23 -0.5
+cacosh -0x1p-23 0.5
+cacosh -0x1p-23 -0.5
+cacosh 0.5 0x1p-23
+cacosh -0.5 0x1p-23
+cacosh 0.5 -0x1p-23
+cacosh -0.5 -0x1p-23
+cacosh 0x1.fp-129 0.5
+cacosh 0x1.fp-129 -0.5
+cacosh -0x1.fp-129 0.5
+cacosh -0x1.fp-129 -0.5
+cacosh 0.5 0x1.fp-129
+cacosh -0.5 0x1.fp-129
+cacosh 0.5 -0x1.fp-129
+cacosh -0.5 -0x1.fp-129
+cacosh 0x1p-23 0x1p-23
+cacosh 0x1p-23 -0x1p-23
+cacosh -0x1p-23 0x1p-23
+cacosh -0x1p-23 -0x1p-23
+cacosh 0x1.fp-129 0x1p-23
+cacosh 0x1.fp-129 -0x1p-23
+cacosh -0x1.fp-129 0x1p-23
+cacosh -0x1.fp-129 -0x1p-23
+cacosh 0x1p-23 0x1.fp-129
+cacosh -0x1p-23 0x1.fp-129
+cacosh 0x1p-23 -0x1.fp-129
+cacosh -0x1p-23 -0x1.fp-129
+cacosh 0.0 0x1p-23
+cacosh 0.0 -0x1p-23
+cacosh -0.0 0x1p-23
+cacosh -0.0 -0x1p-23
+cacosh 0x1p-23 0.0
+cacosh -0x1p-23 0.0
+cacosh 0x1p-23 -0.0
+cacosh -0x1p-23 -0.0
+cacosh 0x1.fp-129 0x1.fp-129
+cacosh 0x1.fp-129 -0x1.fp-129
+cacosh -0x1.fp-129 0x1.fp-129
+cacosh -0x1.fp-129 -0x1.fp-129
+cacosh 0x1p-52 0x0.fffffffffffff8p0
+cacosh 0x1p-52 -0x0.fffffffffffff8p0
+cacosh -0x1p-52 0x0.fffffffffffff8p0
+cacosh -0x1p-52 -0x0.fffffffffffff8p0
+cacosh 0x0.fffffffffffff8p0 0x1p-52
+cacosh -0x0.fffffffffffff8p0 0x1p-52
+cacosh 0x0.fffffffffffff8p0 -0x1p-52
+cacosh -0x0.fffffffffffff8p0 -0x1p-52
+cacosh 0x1.fp-1025 0x0.fffffffffffff8p0
+cacosh 0x1.fp-1025 -0x0.fffffffffffff8p0
+cacosh -0x1.fp-1025 0x0.fffffffffffff8p0
+cacosh -0x1.fp-1025 -0x0.fffffffffffff8p0
+cacosh 0x0.fffffffffffff8p0 0x1.fp-1025
+cacosh -0x0.fffffffffffff8p0 0x1.fp-1025
+cacosh 0x0.fffffffffffff8p0 -0x1.fp-1025
+cacosh -0x0.fffffffffffff8p0 -0x1.fp-1025
+cacosh 0.0 0x0.fffffffffffff8p0
+cacosh 0.0 -0x0.fffffffffffff8p0
+cacosh -0.0 0x0.fffffffffffff8p0
+cacosh -0.0 -0x0.fffffffffffff8p0
+cacosh 0x0.fffffffffffff8p0 0.0
+cacosh -0x0.fffffffffffff8p0 0.0
+cacosh 0x0.fffffffffffff8p0 -0.0
+cacosh -0x0.fffffffffffff8p0 -0.0
+cacosh 0x1p-52 0.5
+cacosh 0x1p-52 -0.5
+cacosh -0x1p-52 0.5
+cacosh -0x1p-52 -0.5
+cacosh 0.5 0x1p-52
+cacosh -0.5 0x1p-52
+cacosh 0.5 -0x1p-52
+cacosh -0.5 -0x1p-52
+cacosh 0x1.fp-1025 0.5
+cacosh 0x1.fp-1025 -0.5
+cacosh -0x1.fp-1025 0.5
+cacosh -0x1.fp-1025 -0.5
+cacosh 0.5 0x1.fp-1025
+cacosh -0.5 0x1.fp-1025
+cacosh 0.5 -0x1.fp-1025
+cacosh -0.5 -0x1.fp-1025
+cacosh 0x1p-52 0x1p-52
+cacosh 0x1p-52 -0x1p-52
+cacosh -0x1p-52 0x1p-52
+cacosh -0x1p-52 -0x1p-52
+cacosh 0x1.fp-1025 0x1p-52
+cacosh 0x1.fp-1025 -0x1p-52
+cacosh -0x1.fp-1025 0x1p-52
+cacosh -0x1.fp-1025 -0x1p-52
+cacosh 0x1p-52 0x1.fp-1025
+cacosh -0x1p-52 0x1.fp-1025
+cacosh 0x1p-52 -0x1.fp-1025
+cacosh -0x1p-52 -0x1.fp-1025
+cacosh 0.0 0x1p-52
+cacosh 0.0 -0x1p-52
+cacosh -0.0 0x1p-52
+cacosh -0.0 -0x1p-52
+cacosh 0x1p-52 0.0
+cacosh -0x1p-52 0.0
+cacosh 0x1p-52 -0.0
+cacosh -0x1p-52 -0.0
+cacosh 0x1.fp-1025 0x1.fp-1025
+cacosh 0x1.fp-1025 -0x1.fp-1025
+cacosh -0x1.fp-1025 0x1.fp-1025
+cacosh -0x1.fp-1025 -0x1.fp-1025
+cacosh 0x1p-63 0x0.ffffffffffffffffp0
+cacosh 0x1p-63 -0x0.ffffffffffffffffp0
+cacosh -0x1p-63 0x0.ffffffffffffffffp0
+cacosh -0x1p-63 -0x0.ffffffffffffffffp0
+cacosh 0x0.ffffffffffffffffp0 0x1p-63
+cacosh -0x0.ffffffffffffffffp0 0x1p-63
+cacosh 0x0.ffffffffffffffffp0 -0x1p-63
+cacosh -0x0.ffffffffffffffffp0 -0x1p-63
+cacosh 0x1.fp-16385 0x0.ffffffffffffffffp0
+cacosh 0x1.fp-16385 -0x0.ffffffffffffffffp0
+cacosh -0x1.fp-16385 0x0.ffffffffffffffffp0
+cacosh -0x1.fp-16385 -0x0.ffffffffffffffffp0
+cacosh 0x0.ffffffffffffffffp0 0x1.fp-16385
+cacosh -0x0.ffffffffffffffffp0 0x1.fp-16385
+cacosh 0x0.ffffffffffffffffp0 -0x1.fp-16385
+cacosh -0x0.ffffffffffffffffp0 -0x1.fp-16385
+cacosh 0.0 0x0.ffffffffffffffffp0
+cacosh 0.0 -0x0.ffffffffffffffffp0
+cacosh -0.0 0x0.ffffffffffffffffp0
+cacosh -0.0 -0x0.ffffffffffffffffp0
+cacosh 0x0.ffffffffffffffffp0 0.0
+cacosh -0x0.ffffffffffffffffp0 0.0
+cacosh 0x0.ffffffffffffffffp0 -0.0
+cacosh -0x0.ffffffffffffffffp0 -0.0
+cacosh 0x1p-63 0.5
+cacosh 0x1p-63 -0.5
+cacosh -0x1p-63 0.5
+cacosh -0x1p-63 -0.5
+cacosh 0.5 0x1p-63
+cacosh -0.5 0x1p-63
+cacosh 0.5 -0x1p-63
+cacosh -0.5 -0x1p-63
+cacosh 0x1.fp-16385 0.5
+cacosh 0x1.fp-16385 -0.5
+cacosh -0x1.fp-16385 0.5
+cacosh -0x1.fp-16385 -0.5
+cacosh 0.5 0x1.fp-16385
+cacosh -0.5 0x1.fp-16385
+cacosh 0.5 -0x1.fp-16385
+cacosh -0.5 -0x1.fp-16385
+cacosh 0x1p-63 0x1p-63
+cacosh 0x1p-63 -0x1p-63
+cacosh -0x1p-63 0x1p-63
+cacosh -0x1p-63 -0x1p-63
+cacosh 0x1.fp-16385 0x1p-63
+cacosh 0x1.fp-16385 -0x1p-63
+cacosh -0x1.fp-16385 0x1p-63
+cacosh -0x1.fp-16385 -0x1p-63
+cacosh 0x1p-63 0x1.fp-16385
+cacosh -0x1p-63 0x1.fp-16385
+cacosh 0x1p-63 -0x1.fp-16385
+cacosh -0x1p-63 -0x1.fp-16385
+cacosh 0.0 0x1p-63
+cacosh 0.0 -0x1p-63
+cacosh -0.0 0x1p-63
+cacosh -0.0 -0x1p-63
+cacosh 0x1p-63 0.0
+cacosh -0x1p-63 0.0
+cacosh 0x1p-63 -0.0
+cacosh -0x1p-63 -0.0
+cacosh 0x1.fp-16385 0x1.fp-16385
+cacosh 0x1.fp-16385 -0x1.fp-16385
+cacosh -0x1.fp-16385 0x1.fp-16385
+cacosh -0x1.fp-16385 -0x1.fp-16385
+cacosh 0x1p-105 0x0.ffffffffffffffffffffffffffcp0
+cacosh 0x1p-105 -0x0.ffffffffffffffffffffffffffcp0
+cacosh -0x1p-105 0x0.ffffffffffffffffffffffffffcp0
+cacosh -0x1p-105 -0x0.ffffffffffffffffffffffffffcp0
+cacosh 0x0.ffffffffffffffffffffffffffcp0 0x1p-105
+cacosh -0x0.ffffffffffffffffffffffffffcp0 0x1p-105
+cacosh 0x0.ffffffffffffffffffffffffffcp0 -0x1p-105
+cacosh -0x0.ffffffffffffffffffffffffffcp0 -0x1p-105
+cacosh 0x1.fp-1025 0x0.ffffffffffffffffffffffffffcp0
+cacosh 0x1.fp-1025 -0x0.ffffffffffffffffffffffffffcp0
+cacosh -0x1.fp-1025 0x0.ffffffffffffffffffffffffffcp0
+cacosh -0x1.fp-1025 -0x0.ffffffffffffffffffffffffffcp0
+cacosh 0x0.ffffffffffffffffffffffffffcp0 0x1.fp-1025
+cacosh -0x0.ffffffffffffffffffffffffffcp0 0x1.fp-1025
+cacosh 0x0.ffffffffffffffffffffffffffcp0 -0x1.fp-1025
+cacosh -0x0.ffffffffffffffffffffffffffcp0 -0x1.fp-1025
+cacosh 0.0 0x0.ffffffffffffffffffffffffffcp0
+cacosh 0.0 -0x0.ffffffffffffffffffffffffffcp0
+cacosh -0.0 0x0.ffffffffffffffffffffffffffcp0
+cacosh -0.0 -0x0.ffffffffffffffffffffffffffcp0
+cacosh 0x0.ffffffffffffffffffffffffffcp0 0.0
+cacosh -0x0.ffffffffffffffffffffffffffcp0 0.0
+cacosh 0x0.ffffffffffffffffffffffffffcp0 -0.0
+cacosh -0x0.ffffffffffffffffffffffffffcp0 -0.0
+cacosh 0x1p-105 0.5
+cacosh 0x1p-105 -0.5
+cacosh -0x1p-105 0.5
+cacosh -0x1p-105 -0.5
+cacosh 0.5 0x1p-105
+cacosh -0.5 0x1p-105
+cacosh 0.5 -0x1p-105
+cacosh -0.5 -0x1p-105
+cacosh 0x1p-105 0x1p-105
+cacosh 0x1p-105 -0x1p-105
+cacosh -0x1p-105 0x1p-105
+cacosh -0x1p-105 -0x1p-105
+cacosh 0x1.fp-1025 0x1p-105
+cacosh 0x1.fp-1025 -0x1p-105
+cacosh -0x1.fp-1025 0x1p-105
+cacosh -0x1.fp-1025 -0x1p-105
+cacosh 0x1p-105 0x1.fp-1025
+cacosh -0x1p-105 0x1.fp-1025
+cacosh 0x1p-105 -0x1.fp-1025
+cacosh -0x1p-105 -0x1.fp-1025
+cacosh 0.0 0x1p-105
+cacosh 0.0 -0x1p-105
+cacosh -0.0 0x1p-105
+cacosh -0.0 -0x1p-105
+cacosh 0x1p-105 0.0
+cacosh -0x1p-105 0.0
+cacosh 0x1p-105 -0.0
+cacosh -0x1p-105 -0.0
+cacosh 0x1p-112 0x0.ffffffffffffffffffffffffffff8p0
+cacosh 0x1p-112 -0x0.ffffffffffffffffffffffffffff8p0
+cacosh -0x1p-112 0x0.ffffffffffffffffffffffffffff8p0
+cacosh -0x1p-112 -0x0.ffffffffffffffffffffffffffff8p0
+cacosh 0x0.ffffffffffffffffffffffffffff8p0 0x1p-112
+cacosh -0x0.ffffffffffffffffffffffffffff8p0 0x1p-112
+cacosh 0x0.ffffffffffffffffffffffffffff8p0 -0x1p-112
+cacosh -0x0.ffffffffffffffffffffffffffff8p0 -0x1p-112
+cacosh 0x1.fp-16385 0x0.ffffffffffffffffffffffffffff8p0
+cacosh 0x1.fp-16385 -0x0.ffffffffffffffffffffffffffff8p0
+cacosh -0x1.fp-16385 0x0.ffffffffffffffffffffffffffff8p0
+cacosh -0x1.fp-16385 -0x0.ffffffffffffffffffffffffffff8p0
+cacosh 0x0.ffffffffffffffffffffffffffff8p0 0x1.fp-16385
+cacosh -0x0.ffffffffffffffffffffffffffff8p0 0x1.fp-16385
+cacosh 0x0.ffffffffffffffffffffffffffff8p0 -0x1.fp-16385
+cacosh -0x0.ffffffffffffffffffffffffffff8p0 -0x1.fp-16385
+cacosh 0.0 0x0.ffffffffffffffffffffffffffff8p0
+cacosh 0.0 -0x0.ffffffffffffffffffffffffffff8p0
+cacosh -0.0 0x0.ffffffffffffffffffffffffffff8p0
+cacosh -0.0 -0x0.ffffffffffffffffffffffffffff8p0
+cacosh 0x0.ffffffffffffffffffffffffffff8p0 0.0
+cacosh -0x0.ffffffffffffffffffffffffffff8p0 0.0
+cacosh 0x0.ffffffffffffffffffffffffffff8p0 -0.0
+cacosh -0x0.ffffffffffffffffffffffffffff8p0 -0.0
+cacosh 0x1p-112 0.5
+cacosh 0x1p-112 -0.5
+cacosh -0x1p-112 0.5
+cacosh -0x1p-112 -0.5
+cacosh 0.5 0x1p-112
+cacosh -0.5 0x1p-112
+cacosh 0.5 -0x1p-112
+cacosh -0.5 -0x1p-112
+cacosh 0x1p-112 0x1p-112
+cacosh 0x1p-112 -0x1p-112
+cacosh -0x1p-112 0x1p-112
+cacosh -0x1p-112 -0x1p-112
+cacosh 0x1.fp-16385 0x1p-112
+cacosh 0x1.fp-16385 -0x1p-112
+cacosh -0x1.fp-16385 0x1p-112
+cacosh -0x1.fp-16385 -0x1p-112
+cacosh 0x1p-112 0x1.fp-16385
+cacosh -0x1p-112 0x1.fp-16385
+cacosh 0x1p-112 -0x1.fp-16385
+cacosh -0x1p-112 -0x1.fp-16385
+cacosh 0.0 0x1p-112
+cacosh 0.0 -0x1p-112
+cacosh -0.0 0x1p-112
+cacosh -0.0 -0x1p-112
+cacosh 0x1p-112 0.0
+cacosh -0x1p-112 0.0
+cacosh 0x1p-112 -0.0
+cacosh -0x1p-112 -0.0
+
+cacosh 0.75 1.25
+cacosh -2 -3
+
 # carg (x + i 0) == 0 for x > 0.
 carg 2.0 0
 # carg (x - i 0) == -0 for x > 0.