Move tests of catan, catanh to auto-libm-test-*.

This patch moves tests of catan and catanh with finite inputs (other
than the divide-by-zero cases producing an exact infinity) to using
the auto-libm-test machinery.  Each of auto-libm-test-out-catan and
auto-libm-test-out-catanh takes about three seconds to generate on my
system (so in fact it wasn't necessary after all to defer the move to
auto-libm-test-* until the output files were split up by function).

Tested for x86_64 and x86 and ulps updated accordingly.

	* math/auto-libm-test-in: Add tests of catan and catanh.
	* math/auto-libm-test-out-catan: New generated file.
	* math/auto-libm-test-out-catanh: Likewise.
	* math/libm-test-catan.inc (catan_test_data): Use AUTO_TESTS_c_c.
	Move tests with finite inputs, except divide-by-zero cases, to
	auto-libm-test-in.
	* math/libm-test-catanh.inc (catanh_test_data): Likewise.
	* math/Makefile (libm-test-funcs-auto): Add catan and catanh.
	(libm-test-funcs-noauto): Remove catan and catanh.
	* sysdeps/i386/fpu/libm-test-ulps: Update.
	* sysdeps/i386/i686/fpu/multiarch/libm-test-ulps: Likewise.
	* sysdeps/x86_64/fpu/libm-test-ulps: Likewise.

1 files changed, 836 insertions, 0 deletions

diff --git a/math/auto-libm-test-in b/math/auto-libm-test-in
index 063fdd5..c8267aa 100644
--- a/math/auto-libm-test-in
+++ b/math/auto-libm-test-in
@@ -2906,6 +2906,842 @@ casinh -0x1p-112 -0.0
 casinh 0.75 1.25
 casinh -2 -3
 
+catan 0 0
+catan -0 0
+catan 0 -0
+catan -0 -0
+
+catan 1.0 0
+catan 1.0 -0
+catan -1.0 0
+catan -1.0 -0
+
+catan 0x1p50 0.0
+catan 0x1p50 -0.0
+catan -0x1p50 0.0
+catan -0x1p50 -0.0
+catan 0.0 0x1p50
+catan -0.0 0x1p50
+catan 0.0 -0x1p50
+catan -0.0 -0x1p50
+catan 0x1p500 0.0
+catan 0x1p500 -0.0
+catan -0x1p500 0.0
+catan -0x1p500 -0.0
+catan 0.0 0x1p500
+catan -0.0 0x1p500
+catan 0.0 -0x1p500
+catan -0.0 -0x1p500
+catan 0x1p5000 0.0
+catan 0x1p5000 -0.0
+catan -0x1p5000 0.0
+catan -0x1p5000 -0.0
+catan 0.0 0x1p5000
+catan -0.0 0x1p5000
+catan 0.0 -0x1p5000
+catan -0.0 -0x1p5000
+catan 0x1p63 0.5
+catan 0x1p63 -0.5
+catan -0x1p63 0.5
+catan -0x1p63 -0.5
+catan 0.5 0x1p63
+catan -0.5 0x1p63
+catan 0.5 -0x1p63
+catan -0.5 -0x1p63
+catan 0x1p511 0.5
+catan 0x1p511 -0.5
+catan -0x1p511 0.5
+catan -0x1p511 -0.5
+catan 0.5 0x1p511
+catan -0.5 0x1p511
+catan 0.5 -0x1p511
+catan -0.5 -0x1p511
+catan 0x1p8191 0.5
+catan 0x1p8191 -0.5
+catan -0x1p8191 0.5
+catan -0x1p8191 -0.5
+catan 0.5 0x1p8191
+catan -0.5 0x1p8191
+catan 0.5 -0x1p8191
+catan -0.5 -0x1p8191
+catan 0x1p100 0.0
+catan 0x1p100 -0.0
+catan -0x1p100 0.0
+catan -0x1p100 -0.0
+catan 0.0 0x1p100
+catan -0.0 0x1p100
+catan 0.0 -0x1p100
+catan -0.0 -0x1p100
+catan 0x1.fp127 0.0
+catan 0x1.fp127 -0.0
+catan -0x1.fp127 0.0
+catan -0x1.fp127 -0.0
+catan 0.0 0x1.fp127
+catan -0.0 0x1.fp127
+catan 0.0 -0x1.fp127
+catan -0.0 -0x1.fp127
+catan 0x1.fp127 0x1.fp127
+catan 0x1.fp127 -0x1.fp127
+catan -0x1.fp127 0x1.fp127
+catan -0x1.fp127 -0x1.fp127
+catan 0x1p900 0.0
+catan 0x1p900 -0.0
+catan -0x1p900 0.0
+catan -0x1p900 -0.0
+catan 0.0 0x1p900
+catan -0.0 0x1p900
+catan 0.0 -0x1p900
+catan -0.0 -0x1p900
+catan 0x1.fp1023 0.0
+catan 0x1.fp1023 -0.0
+catan -0x1.fp1023 0.0
+catan -0x1.fp1023 -0.0
+catan 0.0 0x1.fp1023
+catan -0.0 0x1.fp1023
+catan 0.0 -0x1.fp1023
+catan -0.0 -0x1.fp1023
+catan 0x1.fp1023 0x1.fp1023
+catan 0x1.fp1023 -0x1.fp1023
+catan -0x1.fp1023 0x1.fp1023
+catan -0x1.fp1023 -0x1.fp1023
+catan 0x1p10000 0.0
+catan 0x1p10000 -0.0
+catan -0x1p10000 0.0
+catan -0x1p10000 -0.0
+catan 0.0 0x1p10000
+catan -0.0 0x1p10000
+catan 0.0 -0x1p10000
+catan -0.0 -0x1p10000
+catan 0x1.fp16383 0.0
+catan 0x1.fp16383 -0.0
+catan -0x1.fp16383 0.0
+catan -0x1.fp16383 -0.0
+catan 0.0 0x1.fp16383
+catan -0.0 0x1.fp16383
+catan 0.0 -0x1.fp16383
+catan -0.0 -0x1.fp16383
+catan 0x1.fp16383 0x1.fp16383
+catan 0x1.fp16383 -0x1.fp16383
+catan -0x1.fp16383 0x1.fp16383
+catan -0x1.fp16383 -0x1.fp16383
+catan 0x1p-13 1.0
+catan 0x1p-13 -1.0
+catan -0x1p-13 1.0
+catan -0x1p-13 -1.0
+catan 1.0 0x1p-13
+catan -1.0 0x1p-13
+catan 1.0 -0x1p-13
+catan -1.0 -0x1p-13
+catan 0x1p-27 1.0
+catan 0x1p-27 -1.0
+catan -0x1p-27 1.0
+catan -0x1p-27 -1.0
+catan 1.0 0x1p-27
+catan -1.0 0x1p-27
+catan 1.0 -0x1p-27
+catan -1.0 -0x1p-27
+catan 0x1p-33 1.0
+catan 0x1p-33 -1.0
+catan -0x1p-33 1.0
+catan -0x1p-33 -1.0
+catan 1.0 0x1p-33
+catan -1.0 0x1p-33
+catan 1.0 -0x1p-33
+catan -1.0 -0x1p-33
+catan 0x1p-54 1.0
+catan 0x1p-54 -1.0
+catan -0x1p-54 1.0
+catan -0x1p-54 -1.0
+catan 1.0 0x1p-54
+catan -1.0 0x1p-54
+catan 1.0 -0x1p-54
+catan -1.0 -0x1p-54
+catan 0x1p-57 1.0
+catan 0x1p-57 -1.0
+catan -0x1p-57 1.0
+catan -0x1p-57 -1.0
+catan 1.0 0x1p-57
+catan -1.0 0x1p-57
+catan 1.0 -0x1p-57
+catan -1.0 -0x1p-57
+catan 0x1p-13 0x1.000002p0
+catan 0x1p-13 -0x1.000002p0
+catan -0x1p-13 0x1.000002p0
+catan -0x1p-13 -0x1.000002p0
+catan 0x1.000002p0 0x1p-13
+catan -0x1.000002p0 0x1p-13
+catan 0x1.000002p0 -0x1p-13
+catan -0x1.000002p0 -0x1p-13
+catan 0x1p-13 0x0.ffffffp0
+catan 0x1p-13 -0x0.ffffffp0
+catan -0x1p-13 0x0.ffffffp0
+catan -0x1p-13 -0x0.ffffffp0
+catan 0x0.ffffffp0 0x1p-13
+catan -0x0.ffffffp0 0x1p-13
+catan 0x0.ffffffp0 -0x1p-13
+catan -0x0.ffffffp0 -0x1p-13
+catan 0x1p-27 0x1.0000000000001p0
+catan 0x1p-27 -0x1.0000000000001p0
+catan -0x1p-27 0x1.0000000000001p0
+catan -0x1p-27 -0x1.0000000000001p0
+catan 0x1.0000000000001p0 0x1p-27
+catan -0x1.0000000000001p0 0x1p-27
+catan 0x1.0000000000001p0 -0x1p-27
+catan -0x1.0000000000001p0 -0x1p-27
+catan 0x1p-27 0x0.fffffffffffff8p0
+catan 0x1p-27 -0x0.fffffffffffff8p0
+catan -0x1p-27 0x0.fffffffffffff8p0
+catan -0x1p-27 -0x0.fffffffffffff8p0
+catan 0x0.fffffffffffff8p0 0x1p-27
+catan -0x0.fffffffffffff8p0 0x1p-27
+catan 0x0.fffffffffffff8p0 -0x1p-27
+catan -0x0.fffffffffffff8p0 -0x1p-27
+catan 0x1p-33 0x1.0000000000000002p0
+catan 0x1p-33 -0x1.0000000000000002p0
+catan -0x1p-33 0x1.0000000000000002p0
+catan -0x1p-33 -0x1.0000000000000002p0
+catan 0x1.0000000000000002p0 0x1p-33
+catan -0x1.0000000000000002p0 0x1p-33
+catan 0x1.0000000000000002p0 -0x1p-33
+catan -0x1.0000000000000002p0 -0x1p-33
+catan 0x1p-33 0x0.ffffffffffffffffp0
+catan 0x1p-33 -0x0.ffffffffffffffffp0
+catan -0x1p-33 0x0.ffffffffffffffffp0
+catan -0x1p-33 -0x0.ffffffffffffffffp0
+catan 0x0.ffffffffffffffffp0 0x1p-33
+catan -0x0.ffffffffffffffffp0 0x1p-33
+catan 0x0.ffffffffffffffffp0 -0x1p-33
+catan -0x0.ffffffffffffffffp0 -0x1p-33
+catan 0x1p-54 0x1.000000000000000000000000008p0
+catan 0x1p-54 -0x1.000000000000000000000000008p0
+catan -0x1p-54 0x1.000000000000000000000000008p0
+catan -0x1p-54 -0x1.000000000000000000000000008p0
+catan 0x1.000000000000000000000000008p0 0x1p-54
+catan -0x1.000000000000000000000000008p0 0x1p-54
+catan 0x1.000000000000000000000000008p0 -0x1p-54
+catan -0x1.000000000000000000000000008p0 -0x1p-54
+catan 0x1p-54 0x0.ffffffffffffffffffffffffffcp0
+catan 0x1p-54 -0x0.ffffffffffffffffffffffffffcp0
+catan -0x1p-54 0x0.ffffffffffffffffffffffffffcp0
+catan -0x1p-54 -0x0.ffffffffffffffffffffffffffcp0
+catan 0x0.ffffffffffffffffffffffffffcp0 0x1p-54
+catan -0x0.ffffffffffffffffffffffffffcp0 0x1p-54
+catan 0x0.ffffffffffffffffffffffffffcp0 -0x1p-54
+catan -0x0.ffffffffffffffffffffffffffcp0 -0x1p-54
+catan 0x1p-57 0x1.0000000000000000000000000001p0
+catan 0x1p-57 -0x1.0000000000000000000000000001p0
+catan -0x1p-57 0x1.0000000000000000000000000001p0
+catan -0x1p-57 -0x1.0000000000000000000000000001p0
+catan 0x1.0000000000000000000000000001p0 0x1p-57
+catan -0x1.0000000000000000000000000001p0 0x1p-57
+catan 0x1.0000000000000000000000000001p0 -0x1p-57
+catan -0x1.0000000000000000000000000001p0 -0x1p-57
+catan 0x1p-57 0x0.ffffffffffffffffffffffffffff8p0
+catan 0x1p-57 -0x0.ffffffffffffffffffffffffffff8p0
+catan -0x1p-57 0x0.ffffffffffffffffffffffffffff8p0
+catan -0x1p-57 -0x0.ffffffffffffffffffffffffffff8p0
+catan 0x0.ffffffffffffffffffffffffffff8p0 0x1p-57
+catan -0x0.ffffffffffffffffffffffffffff8p0 0x1p-57
+catan 0x0.ffffffffffffffffffffffffffff8p0 -0x1p-57
+catan -0x0.ffffffffffffffffffffffffffff8p0 -0x1p-57
+catan 1.0 0x1p-64
+catan 1.0 -0x1p-64
+catan -1.0 0x1p-64
+catan -1.0 -0x1p-64
+catan 0x1p-64 1.0
+catan -0x1p-64 1.0
+catan 0x1p-64 -1.0
+catan -0x1p-64 -1.0
+catan 1.0 0x1.3p-73
+catan 1.0 -0x1.3p-73
+catan -1.0 0x1.3p-73
+catan -1.0 -0x1.3p-73
+catan 0x1.3p-73 1.0
+catan -0x1.3p-73 1.0
+catan 0x1.3p-73 -1.0
+catan -0x1.3p-73 -1.0
+catan 1.0 0x1p-124
+catan 1.0 -0x1p-124
+catan -1.0 0x1p-124
+catan -1.0 -0x1p-124
+catan 0x1p-124 1.0
+catan -0x1p-124 1.0
+catan 0x1p-124 -1.0
+catan -0x1p-124 -1.0
+catan 0x1.000002p0 0x1p-126
+catan 0x1.000002p0 -0x1p-126
+catan -0x1.000002p0 0x1p-126
+catan -0x1.000002p0 -0x1p-126
+catan 0x1p-126 0x1.000002p0
+catan -0x1p-126 0x1.000002p0
+catan 0x1p-126 -0x1.000002p0
+catan -0x1p-126 -0x1.000002p0
+catan 0x0.ffffffp0 0x1p-126
+catan 0x0.ffffffp0 -0x1p-126
+catan -0x0.ffffffp0 0x1p-126
+catan -0x0.ffffffp0 -0x1p-126
+catan 0x1p-126 0x0.ffffffp0
+catan -0x1p-126 0x0.ffffffp0
+catan 0x1p-126 -0x0.ffffffp0
+catan -0x1p-126 -0x0.ffffffp0
+catan 1.0 0x1p-512
+catan 1.0 -0x1p-512
+catan -1.0 0x1p-512
+catan -1.0 -0x1p-512
+catan 0x1p-512 1.0
+catan -0x1p-512 1.0
+catan 0x1p-512 -1.0
+catan -0x1p-512 -1.0
+catan 1.0 0x1.3p-536
+catan 1.0 -0x1.3p-536
+catan -1.0 0x1.3p-536
+catan -1.0 -0x1.3p-536
+catan 0x1.3p-536 1.0
+catan -0x1.3p-536 1.0
+catan 0x1.3p-536 -1.0
+catan -0x1.3p-536 -1.0
+catan 1.0 0x1p-1020
+catan 1.0 -0x1p-1020
+catan -1.0 0x1p-1020
+catan -1.0 -0x1p-1020
+catan 0x1p-1020 1.0
+catan -0x1p-1020 1.0
+catan 0x1p-1020 -1.0
+catan -0x1p-1020 -1.0
+catan 0x1.0000000000001p0 0x1p-1022
+catan 0x1.0000000000001p0 -0x1p-1022
+catan -0x1.0000000000001p0 0x1p-1022
+catan -0x1.0000000000001p0 -0x1p-1022
+catan 0x1p-1022 0x1.0000000000001p0
+catan -0x1p-1022 0x1.0000000000001p0
+catan 0x1p-1022 -0x1.0000000000001p0
+catan -0x1p-1022 -0x1.0000000000001p0
+catan 0x0.fffffffffffff8p0 0x1p-1022
+catan 0x0.fffffffffffff8p0 -0x1p-1022
+catan -0x0.fffffffffffff8p0 0x1p-1022
+catan -0x0.fffffffffffff8p0 -0x1p-1022
+catan 0x1p-1022 0x0.fffffffffffff8p0
+catan -0x1p-1022 0x0.fffffffffffff8p0
+catan 0x1p-1022 -0x0.fffffffffffff8p0
+catan -0x1p-1022 -0x0.fffffffffffff8p0
+catan 0x1.0000000000000002p0 0x1p-1022
+catan 0x1.0000000000000002p0 -0x1p-1022
+catan -0x1.0000000000000002p0 0x1p-1022
+catan -0x1.0000000000000002p0 -0x1p-1022
+catan 0x1p-1022 0x1.0000000000000002p0
+catan -0x1p-1022 0x1.0000000000000002p0
+catan 0x1p-1022 -0x1.0000000000000002p0
+catan -0x1p-1022 -0x1.0000000000000002p0
+catan 0x0.ffffffffffffffffp0 0x1p-1022
+catan 0x0.ffffffffffffffffp0 -0x1p-1022
+catan -0x0.ffffffffffffffffp0 0x1p-1022
+catan -0x0.ffffffffffffffffp0 -0x1p-1022
+catan 0x1p-1022 0x0.ffffffffffffffffp0
+catan -0x1p-1022 0x0.ffffffffffffffffp0
+catan 0x1p-1022 -0x0.ffffffffffffffffp0
+catan -0x1p-1022 -0x0.ffffffffffffffffp0
+catan 0x1.000000000000000000000000008p0 0x1p-1022
+catan 0x1.000000000000000000000000008p0 -0x1p-1022
+catan -0x1.000000000000000000000000008p0 0x1p-1022
+catan -0x1.000000000000000000000000008p0 -0x1p-1022
+catan 0x1p-1022 0x1.000000000000000000000000008p0
+catan -0x1p-1022 0x1.000000000000000000000000008p0
+catan 0x1p-1022 -0x1.000000000000000000000000008p0
+catan -0x1p-1022 -0x1.000000000000000000000000008p0
+catan 0x0.ffffffffffffffffffffffffffcp0 0x1p-1022
+catan 0x0.ffffffffffffffffffffffffffcp0 -0x1p-1022
+catan -0x0.ffffffffffffffffffffffffffcp0 0x1p-1022
+catan -0x0.ffffffffffffffffffffffffffcp0 -0x1p-1022
+catan 0x1p-1022 0x0.ffffffffffffffffffffffffffcp0
+catan -0x1p-1022 0x0.ffffffffffffffffffffffffffcp0
+catan 0x1p-1022 -0x0.ffffffffffffffffffffffffffcp0
+catan -0x1p-1022 -0x0.ffffffffffffffffffffffffffcp0
+catan 1.0 0x1p-8192
+catan 1.0 -0x1p-8192
+catan -1.0 0x1p-8192
+catan -1.0 -0x1p-8192
+catan 0x1p-8192 1.0
+catan -0x1p-8192 1.0
+catan 0x1p-8192 -1.0
+catan -0x1p-8192 -1.0
+catan 1.0 0x1.3p-8221
+catan 1.0 -0x1.3p-8221
+catan -1.0 0x1.3p-8221
+catan -1.0 -0x1.3p-8221
+catan 0x1.3p-8221 1.0
+catan -0x1.3p-8221 1.0
+catan 0x1.3p-8221 -1.0
+catan -0x1.3p-8221 -1.0
+catan 1.0 0x1.3p-8246
+catan 1.0 -0x1.3p-8246
+catan -1.0 0x1.3p-8246
+catan -1.0 -0x1.3p-8246
+catan 0x1.3p-8246 1.0
+catan -0x1.3p-8246 1.0
+catan 0x1.3p-8246 -1.0
+catan -0x1.3p-8246 -1.0
+catan 1.0 0x1p-16380
+catan 1.0 -0x1p-16380
+catan -1.0 0x1p-16380
+catan -1.0 -0x1p-16380
+catan 0x1p-16380 1.0
+catan -0x1p-16380 1.0
+catan 0x1p-16380 -1.0
+catan -0x1p-16380 -1.0
+catan 0x1.0000000000000002p0 0x1p-16382
+catan 0x1.0000000000000002p0 -0x1p-16382
+catan -0x1.0000000000000002p0 0x1p-16382
+catan -0x1.0000000000000002p0 -0x1p-16382
+catan 0x1p-16382 0x1.0000000000000002p0
+catan -0x1p-16382 0x1.0000000000000002p0
+catan 0x1p-16382 -0x1.0000000000000002p0
+catan -0x1p-16382 -0x1.0000000000000002p0
+catan 0x0.ffffffffffffffffp0 0x1p-16382
+catan 0x0.ffffffffffffffffp0 -0x1p-16382
+catan -0x0.ffffffffffffffffp0 0x1p-16382
+catan -0x0.ffffffffffffffffp0 -0x1p-16382
+catan 0x1p-16382 0x0.ffffffffffffffffp0
+catan -0x1p-16382 0x0.ffffffffffffffffp0
+catan 0x1p-16382 -0x0.ffffffffffffffffp0
+catan -0x1p-16382 -0x0.ffffffffffffffffp0
+catan 0x1.0000000000000000000000000001p0 0x1p-16382
+catan 0x1.0000000000000000000000000001p0 -0x1p-16382
+catan -0x1.0000000000000000000000000001p0 0x1p-16382
+catan -0x1.0000000000000000000000000001p0 -0x1p-16382
+catan 0x1p-16382 0x1.0000000000000000000000000001p0
+catan -0x1p-16382 0x1.0000000000000000000000000001p0
+catan 0x1p-16382 -0x1.0000000000000000000000000001p0
+catan -0x1p-16382 -0x1.0000000000000000000000000001p0
+catan 0x0.ffffffffffffffffffffffffffff8p0 0x1p-16382
+catan 0x0.ffffffffffffffffffffffffffff8p0 -0x1p-16382
+catan -0x0.ffffffffffffffffffffffffffff8p0 0x1p-16382
+catan -0x0.ffffffffffffffffffffffffffff8p0 -0x1p-16382
+catan 0x1p-16382 0x0.ffffffffffffffffffffffffffff8p0
+catan -0x1p-16382 0x0.ffffffffffffffffffffffffffff8p0
+catan 0x1p-16382 -0x0.ffffffffffffffffffffffffffff8p0
+catan -0x1p-16382 -0x0.ffffffffffffffffffffffffffff8p0
+
+catan 0.75 1.25
+catan -2 -3
+
+catanh 0 0
+catanh -0 0
+catanh 0 -0
+catanh -0 -0
+
+catanh 0 1.0
+catanh -0 1.0
+catanh 0 -1.0
+catanh -0 -1.0
+
+catanh 0x1p50 0.0
+catanh 0x1p50 -0.0
+catanh -0x1p50 0.0
+catanh -0x1p50 -0.0
+catanh 0.0 0x1p50
+catanh -0.0 0x1p50
+catanh 0.0 -0x1p50
+catanh -0.0 -0x1p50
+catanh 0x1p500 0.0
+catanh 0x1p500 -0.0
+catanh -0x1p500 0.0
+catanh -0x1p500 -0.0
+catanh 0.0 0x1p500
+catanh -0.0 0x1p500
+catanh 0.0 -0x1p500
+catanh -0.0 -0x1p500
+catanh 0x1p5000 0.0
+catanh 0x1p5000 -0.0
+catanh -0x1p5000 0.0
+catanh -0x1p5000 -0.0
+catanh 0.0 0x1p5000
+catanh -0.0 0x1p5000
+catanh 0.0 -0x1p5000
+catanh -0.0 -0x1p5000
+catanh 0x1p63 0.5
+catanh 0x1p63 -0.5
+catanh -0x1p63 0.5
+catanh -0x1p63 -0.5
+catanh 0.5 0x1p63
+catanh -0.5 0x1p63
+catanh 0.5 -0x1p63
+catanh -0.5 -0x1p63
+catanh 0x1p511 0.5
+catanh 0x1p511 -0.5
+catanh -0x1p511 0.5
+catanh -0x1p511 -0.5
+catanh 0.5 0x1p511
+catanh -0.5 0x1p511
+catanh 0.5 -0x1p511
+catanh -0.5 -0x1p511
+catanh 0x1p8191 0.5
+catanh 0x1p8191 -0.5
+catanh -0x1p8191 0.5
+catanh -0x1p8191 -0.5
+catanh 0.5 0x1p8191
+catanh -0.5 0x1p8191
+catanh 0.5 -0x1p8191
+catanh -0.5 -0x1p8191
+catanh 0x1p100 0.0
+catanh 0x1p100 -0.0
+catanh -0x1p100 0.0
+catanh -0x1p100 -0.0
+catanh 0.0 0x1p100
+catanh -0.0 0x1p100
+catanh 0.0 -0x1p100
+catanh -0.0 -0x1p100
+catanh 0x1.fp127 0.0
+catanh 0x1.fp127 -0.0
+catanh -0x1.fp127 0.0
+catanh -0x1.fp127 -0.0
+catanh 0.0 0x1.fp127
+catanh -0.0 0x1.fp127
+catanh 0.0 -0x1.fp127
+catanh -0.0 -0x1.fp127
+catanh 0x1.fp127 0x1.fp127
+catanh 0x1.fp127 -0x1.fp127
+catanh -0x1.fp127 0x1.fp127
+catanh -0x1.fp127 -0x1.fp127
+catanh 0x1p900 0.0
+catanh 0x1p900 -0.0
+catanh -0x1p900 0.0
+catanh -0x1p900 -0.0
+catanh 0.0 0x1p900
+catanh -0.0 0x1p900
+catanh 0.0 -0x1p900
+catanh -0.0 -0x1p900
+catanh 0x1.fp1023 0.0
+catanh 0x1.fp1023 -0.0
+catanh -0x1.fp1023 0.0
+catanh -0x1.fp1023 -0.0
+catanh 0.0 0x1.fp1023
+catanh -0.0 0x1.fp1023
+catanh 0.0 -0x1.fp1023
+catanh -0.0 -0x1.fp1023
+catanh 0x1.fp1023 0x1.fp1023
+catanh 0x1.fp1023 -0x1.fp1023
+catanh -0x1.fp1023 0x1.fp1023
+catanh -0x1.fp1023 -0x1.fp1023
+catanh 0x1p10000 0.0
+catanh 0x1p10000 -0.0
+catanh -0x1p10000 0.0
+catanh -0x1p10000 -0.0
+catanh 0.0 0x1p10000
+catanh -0.0 0x1p10000
+catanh 0.0 -0x1p10000
+catanh -0.0 -0x1p10000
+catanh 0x1.fp16383 0.0
+catanh 0x1.fp16383 -0.0
+catanh -0x1.fp16383 0.0
+catanh -0x1.fp16383 -0.0
+catanh 0.0 0x1.fp16383
+catanh -0.0 0x1.fp16383
+catanh 0.0 -0x1.fp16383
+catanh -0.0 -0x1.fp16383
+catanh 0x1.fp16383 0x1.fp16383
+catanh 0x1.fp16383 -0x1.fp16383
+catanh -0x1.fp16383 0x1.fp16383
+catanh -0x1.fp16383 -0x1.fp16383
+catanh 0x1p-13 1.0
+catanh 0x1p-13 -1.0
+catanh -0x1p-13 1.0
+catanh -0x1p-13 -1.0
+catanh 1.0 0x1p-13
+catanh -1.0 0x1p-13
+catanh 1.0 -0x1p-13
+catanh -1.0 -0x1p-13
+catanh 0x1p-27 1.0
+catanh 0x1p-27 -1.0
+catanh -0x1p-27 1.0
+catanh -0x1p-27 -1.0
+catanh 1.0 0x1p-27
+catanh -1.0 0x1p-27
+catanh 1.0 -0x1p-27
+catanh -1.0 -0x1p-27
+catanh 0x1p-33 1.0
+catanh 0x1p-33 -1.0
+catanh -0x1p-33 1.0
+catanh -0x1p-33 -1.0
+catanh 1.0 0x1p-33
+catanh -1.0 0x1p-33
+catanh 1.0 -0x1p-33
+catanh -1.0 -0x1p-33
+catanh 0x1p-54 1.0
+catanh 0x1p-54 -1.0
+catanh -0x1p-54 1.0
+catanh -0x1p-54 -1.0
+catanh 1.0 0x1p-54
+catanh -1.0 0x1p-54
+catanh 1.0 -0x1p-54
+catanh -1.0 -0x1p-54
+catanh 0x1p-57 1.0
+catanh 0x1p-57 -1.0
+catanh -0x1p-57 1.0
+catanh -0x1p-57 -1.0
+catanh 1.0 0x1p-57
+catanh -1.0 0x1p-57
+catanh 1.0 -0x1p-57
+catanh -1.0 -0x1p-57
+catanh 0x1p-13 0x1.000002p0
+catanh 0x1p-13 -0x1.000002p0
+catanh -0x1p-13 0x1.000002p0
+catanh -0x1p-13 -0x1.000002p0
+catanh 0x1.000002p0 0x1p-13
+catanh -0x1.000002p0 0x1p-13
+catanh 0x1.000002p0 -0x1p-13
+catanh -0x1.000002p0 -0x1p-13
+catanh 0x1p-13 0x0.ffffffp0
+catanh 0x1p-13 -0x0.ffffffp0
+catanh -0x1p-13 0x0.ffffffp0
+catanh -0x1p-13 -0x0.ffffffp0
+catanh 0x0.ffffffp0 0x1p-13
+catanh -0x0.ffffffp0 0x1p-13
+catanh 0x0.ffffffp0 -0x1p-13
+catanh -0x0.ffffffp0 -0x1p-13
+catanh 0x1p-27 0x1.0000000000001p0
+catanh 0x1p-27 -0x1.0000000000001p0
+catanh -0x1p-27 0x1.0000000000001p0
+catanh -0x1p-27 -0x1.0000000000001p0
+catanh 0x1.0000000000001p0 0x1p-27
+catanh -0x1.0000000000001p0 0x1p-27
+catanh 0x1.0000000000001p0 -0x1p-27
+catanh -0x1.0000000000001p0 -0x1p-27
+catanh 0x1p-27 0x0.fffffffffffff8p0
+catanh 0x1p-27 -0x0.fffffffffffff8p0
+catanh -0x1p-27 0x0.fffffffffffff8p0
+catanh -0x1p-27 -0x0.fffffffffffff8p0
+catanh 0x0.fffffffffffff8p0 0x1p-27
+catanh -0x0.fffffffffffff8p0 0x1p-27
+catanh 0x0.fffffffffffff8p0 -0x1p-27
+catanh -0x0.fffffffffffff8p0 -0x1p-27
+catanh 0x1p-33 0x1.0000000000000002p0
+catanh 0x1p-33 -0x1.0000000000000002p0
+catanh -0x1p-33 0x1.0000000000000002p0
+catanh -0x1p-33 -0x1.0000000000000002p0
+catanh 0x1.0000000000000002p0 0x1p-33
+catanh -0x1.0000000000000002p0 0x1p-33
+catanh 0x1.0000000000000002p0 -0x1p-33
+catanh -0x1.0000000000000002p0 -0x1p-33
+catanh 0x1p-33 0x0.ffffffffffffffffp0
+catanh 0x1p-33 -0x0.ffffffffffffffffp0
+catanh -0x1p-33 0x0.ffffffffffffffffp0
+catanh -0x1p-33 -0x0.ffffffffffffffffp0
+catanh 0x0.ffffffffffffffffp0 0x1p-33
+catanh -0x0.ffffffffffffffffp0 0x1p-33
+catanh 0x0.ffffffffffffffffp0 -0x1p-33
+catanh -0x0.ffffffffffffffffp0 -0x1p-33
+catanh 0x1p-54 0x1.000000000000000000000000008p0
+catanh 0x1p-54 -0x1.000000000000000000000000008p0
+catanh -0x1p-54 0x1.000000000000000000000000008p0
+catanh -0x1p-54 -0x1.000000000000000000000000008p0
+catanh 0x1.000000000000000000000000008p0 0x1p-54
+catanh -0x1.000000000000000000000000008p0 0x1p-54
+catanh 0x1.000000000000000000000000008p0 -0x1p-54
+catanh -0x1.000000000000000000000000008p0 -0x1p-54
+catanh 0x1p-54 0x0.ffffffffffffffffffffffffffcp0
+catanh 0x1p-54 -0x0.ffffffffffffffffffffffffffcp0
+catanh -0x1p-54 0x0.ffffffffffffffffffffffffffcp0
+catanh -0x1p-54 -0x0.ffffffffffffffffffffffffffcp0
+catanh 0x0.ffffffffffffffffffffffffffcp0 0x1p-54
+catanh -0x0.ffffffffffffffffffffffffffcp0 0x1p-54
+catanh 0x0.ffffffffffffffffffffffffffcp0 -0x1p-54
+catanh -0x0.ffffffffffffffffffffffffffcp0 -0x1p-54
+catanh 0x1p-57 0x1.0000000000000000000000000001p0
+catanh 0x1p-57 -0x1.0000000000000000000000000001p0
+catanh -0x1p-57 0x1.0000000000000000000000000001p0
+catanh -0x1p-57 -0x1.0000000000000000000000000001p0
+catanh 0x1.0000000000000000000000000001p0 0x1p-57
+catanh -0x1.0000000000000000000000000001p0 0x1p-57
+catanh 0x1.0000000000000000000000000001p0 -0x1p-57
+catanh -0x1.0000000000000000000000000001p0 -0x1p-57
+catanh 0x1p-57 0x0.ffffffffffffffffffffffffffff8p0
+catanh 0x1p-57 -0x0.ffffffffffffffffffffffffffff8p0
+catanh -0x1p-57 0x0.ffffffffffffffffffffffffffff8p0
+catanh -0x1p-57 -0x0.ffffffffffffffffffffffffffff8p0
+catanh 0x0.ffffffffffffffffffffffffffff8p0 0x1p-57
+catanh -0x0.ffffffffffffffffffffffffffff8p0 0x1p-57
+catanh 0x0.ffffffffffffffffffffffffffff8p0 -0x1p-57
+catanh -0x0.ffffffffffffffffffffffffffff8p0 -0x1p-57
+catanh 1.0 0x1p-64
+catanh 1.0 -0x1p-64
+catanh -1.0 0x1p-64
+catanh -1.0 -0x1p-64
+catanh 0x1p-64 1.0
+catanh -0x1p-64 1.0
+catanh 0x1p-64 -1.0
+catanh -0x1p-64 -1.0
+catanh 1.0 0x1.3p-73
+catanh 1.0 -0x1.3p-73
+catanh -1.0 0x1.3p-73
+catanh -1.0 -0x1.3p-73
+catanh 0x1.3p-73 1.0
+catanh -0x1.3p-73 1.0
+catanh 0x1.3p-73 -1.0
+catanh -0x1.3p-73 -1.0
+catanh 1.0 0x1p-124
+catanh 1.0 -0x1p-124
+catanh -1.0 0x1p-124
+catanh -1.0 -0x1p-124
+catanh 0x1p-124 1.0
+catanh -0x1p-124 1.0
+catanh 0x1p-124 -1.0
+catanh -0x1p-124 -1.0
+catanh 0x1.000002p0 0x1p-126
+catanh 0x1.000002p0 -0x1p-126
+catanh -0x1.000002p0 0x1p-126
+catanh -0x1.000002p0 -0x1p-126
+catanh 0x1p-126 0x1.000002p0
+catanh -0x1p-126 0x1.000002p0
+catanh 0x1p-126 -0x1.000002p0
+catanh -0x1p-126 -0x1.000002p0
+catanh 0x0.ffffffp0 0x1p-126
+catanh 0x0.ffffffp0 -0x1p-126
+catanh -0x0.ffffffp0 0x1p-126
+catanh -0x0.ffffffp0 -0x1p-126
+catanh 0x1p-126 0x0.ffffffp0
+catanh -0x1p-126 0x0.ffffffp0
+catanh 0x1p-126 -0x0.ffffffp0
+catanh -0x1p-126 -0x0.ffffffp0
+catanh 1.0 0x1p-512
+catanh 1.0 -0x1p-512
+catanh -1.0 0x1p-512
+catanh -1.0 -0x1p-512
+catanh 0x1p-512 1.0
+catanh -0x1p-512 1.0
+catanh 0x1p-512 -1.0
+catanh -0x1p-512 -1.0
+catanh 1.0 0x1.3p-536
+catanh 1.0 -0x1.3p-536
+catanh -1.0 0x1.3p-536
+catanh -1.0 -0x1.3p-536
+catanh 0x1.3p-536 1.0
+catanh -0x1.3p-536 1.0
+catanh 0x1.3p-536 -1.0
+catanh -0x1.3p-536 -1.0
+catanh 1.0 0x1p-1020
+catanh 1.0 -0x1p-1020
+catanh -1.0 0x1p-1020
+catanh -1.0 -0x1p-1020
+catanh 0x1p-1020 1.0
+catanh -0x1p-1020 1.0
+catanh 0x1p-1020 -1.0
+catanh -0x1p-1020 -1.0
+catanh 0x1.0000000000001p0 0x1p-1022
+catanh 0x1.0000000000001p0 -0x1p-1022
+catanh -0x1.0000000000001p0 0x1p-1022
+catanh -0x1.0000000000001p0 -0x1p-1022
+catanh 0x1p-1022 0x1.0000000000001p0
+catanh -0x1p-1022 0x1.0000000000001p0
+catanh 0x1p-1022 -0x1.0000000000001p0
+catanh -0x1p-1022 -0x1.0000000000001p0
+catanh 0x0.fffffffffffff8p0 0x1p-1022
+catanh 0x0.fffffffffffff8p0 -0x1p-1022
+catanh -0x0.fffffffffffff8p0 0x1p-1022
+catanh -0x0.fffffffffffff8p0 -0x1p-1022
+catanh 0x1p-1022 0x0.fffffffffffff8p0
+catanh -0x1p-1022 0x0.fffffffffffff8p0
+catanh 0x1p-1022 -0x0.fffffffffffff8p0
+catanh -0x1p-1022 -0x0.fffffffffffff8p0
+catanh 0x1.0000000000000002p0 0x1p-1022
+catanh 0x1.0000000000000002p0 -0x1p-1022
+catanh -0x1.0000000000000002p0 0x1p-1022
+catanh -0x1.0000000000000002p0 -0x1p-1022
+catanh 0x1p-1022 0x1.0000000000000002p0
+catanh -0x1p-1022 0x1.0000000000000002p0
+catanh 0x1p-1022 -0x1.0000000000000002p0
+catanh -0x1p-1022 -0x1.0000000000000002p0
+catanh 0x0.ffffffffffffffffp0 0x1p-1022
+catanh 0x0.ffffffffffffffffp0 -0x1p-1022
+catanh -0x0.ffffffffffffffffp0 0x1p-1022
+catanh -0x0.ffffffffffffffffp0 -0x1p-1022
+catanh 0x1p-1022 0x0.ffffffffffffffffp0
+catanh -0x1p-1022 0x0.ffffffffffffffffp0
+catanh 0x1p-1022 -0x0.ffffffffffffffffp0
+catanh -0x1p-1022 -0x0.ffffffffffffffffp0
+catanh 0x1.000000000000000000000000008p0 0x1p-1022
+catanh 0x1.000000000000000000000000008p0 -0x1p-1022
+catanh -0x1.000000000000000000000000008p0 0x1p-1022
+catanh -0x1.000000000000000000000000008p0 -0x1p-1022
+catanh 0x1p-1022 0x1.000000000000000000000000008p0
+catanh -0x1p-1022 0x1.000000000000000000000000008p0
+catanh 0x1p-1022 -0x1.000000000000000000000000008p0
+catanh -0x1p-1022 -0x1.000000000000000000000000008p0
+catanh 0x0.ffffffffffffffffffffffffffcp0 0x1p-1022
+catanh 0x0.ffffffffffffffffffffffffffcp0 -0x1p-1022
+catanh -0x0.ffffffffffffffffffffffffffcp0 0x1p-1022
+catanh -0x0.ffffffffffffffffffffffffffcp0 -0x1p-1022
+catanh 0x1p-1022 0x0.ffffffffffffffffffffffffffcp0
+catanh -0x1p-1022 0x0.ffffffffffffffffffffffffffcp0
+catanh 0x1p-1022 -0x0.ffffffffffffffffffffffffffcp0
+catanh -0x1p-1022 -0x0.ffffffffffffffffffffffffffcp0
+catanh 1.0 0x1p-8192
+catanh 1.0 -0x1p-8192
+catanh -1.0 0x1p-8192
+catanh -1.0 -0x1p-8192
+catanh 0x1p-8192 1.0
+catanh -0x1p-8192 1.0
+catanh 0x1p-8192 -1.0
+catanh -0x1p-8192 -1.0
+catanh 1.0 0x1.3p-8221
+catanh 1.0 -0x1.3p-8221
+catanh -1.0 0x1.3p-8221
+catanh -1.0 -0x1.3p-8221
+catanh 0x1.3p-8221 1.0
+catanh -0x1.3p-8221 1.0
+catanh 0x1.3p-8221 -1.0
+catanh -0x1.3p-8221 -1.0
+catanh 1.0 0x1.3p-8246
+catanh 1.0 -0x1.3p-8246
+catanh -1.0 0x1.3p-8246
+catanh -1.0 -0x1.3p-8246
+catanh 0x1.3p-8246 1.0
+catanh -0x1.3p-8246 1.0
+catanh 0x1.3p-8246 -1.0
+catanh -0x1.3p-8246 -1.0
+catanh 1.0 0x1p-16380
+catanh 1.0 -0x1p-16380
+catanh -1.0 0x1p-16380
+catanh -1.0 -0x1p-16380
+catanh 0x1p-16380 1.0
+catanh -0x1p-16380 1.0
+catanh 0x1p-16380 -1.0
+catanh -0x1p-16380 -1.0
+catanh 0x1.0000000000000002p0 0x1p-16382
+catanh 0x1.0000000000000002p0 -0x1p-16382
+catanh -0x1.0000000000000002p0 0x1p-16382
+catanh -0x1.0000000000000002p0 -0x1p-16382
+catanh 0x1p-16382 0x1.0000000000000002p0
+catanh -0x1p-16382 0x1.0000000000000002p0
+catanh 0x1p-16382 -0x1.0000000000000002p0
+catanh -0x1p-16382 -0x1.0000000000000002p0
+catanh 0x0.ffffffffffffffffp0 0x1p-16382
+catanh 0x0.ffffffffffffffffp0 -0x1p-16382
+catanh -0x0.ffffffffffffffffp0 0x1p-16382
+catanh -0x0.ffffffffffffffffp0 -0x1p-16382
+catanh 0x1p-16382 0x0.ffffffffffffffffp0
+catanh -0x1p-16382 0x0.ffffffffffffffffp0
+catanh 0x1p-16382 -0x0.ffffffffffffffffp0
+catanh -0x1p-16382 -0x0.ffffffffffffffffp0
+catanh 0x1.0000000000000000000000000001p0 0x1p-16382
+catanh 0x1.0000000000000000000000000001p0 -0x1p-16382
+catanh -0x1.0000000000000000000000000001p0 0x1p-16382
+catanh -0x1.0000000000000000000000000001p0 -0x1p-16382
+catanh 0x1p-16382 0x1.0000000000000000000000000001p0
+catanh -0x1p-16382 0x1.0000000000000000000000000001p0
+catanh 0x1p-16382 -0x1.0000000000000000000000000001p0
+catanh -0x1p-16382 -0x1.0000000000000000000000000001p0
+catanh 0x0.ffffffffffffffffffffffffffff8p0 0x1p-16382
+catanh 0x0.ffffffffffffffffffffffffffff8p0 -0x1p-16382
+catanh -0x0.ffffffffffffffffffffffffffff8p0 0x1p-16382
+catanh -0x0.ffffffffffffffffffffffffffff8p0 -0x1p-16382
+catanh 0x1p-16382 0x0.ffffffffffffffffffffffffffff8p0
+catanh -0x1p-16382 0x0.ffffffffffffffffffffffffffff8p0
+catanh 0x1p-16382 -0x0.ffffffffffffffffffffffffffff8p0
+catanh -0x1p-16382 -0x0.ffffffffffffffffffffffffffff8p0
+
+catanh 0.75 1.25
+catanh -2 -3
+
 cbrt 0.0
 cbrt -0
 cbrt -0.001