pocketpy/tests/dmath/cases/exp2.txt

# dmath_exp2
# Independent oracle: Decimal at 430 and 570 digits / exact Fraction arithmetic.
# Frozen bits and sweep require review; generation never recalibrates them.
# Nonfinite outputs: nan checks classification; +/-inf checks classification and sign.
# sweep 481ab13c2f5c0a46
# case  input0  input1  frozen0  frozen1  reference0  reference1  max_ulp
positive_zero 0000000000000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 1 # x=0x0.0p+0 y=0x0.0p+0
negative_zero 8000000000000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 1 # x=-0x0.0p+0 y=0x0.0p+0
least_subnormal 0000000000000001 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 1 # x=0x0.0000000000001p-1022 y=0x0.0p+0
negative_least_subnormal 8000000000000001 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 1 # x=-0x0.0000000000001p-1022 y=0x0.0p+0
third_subnormal 0000000000000003 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 1 # x=0x0.0000000000003p-1022 y=0x0.0p+0
negative_third_subnormal 8000000000000003 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 1 # x=-0x0.0000000000003p-1022 y=0x0.0p+0
largest_subnormal 000fffffffffffff 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 1 # x=0x0.fffffffffffffp-1022 y=0x0.0p+0
negative_largest_subnormal 800fffffffffffff 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 1 # x=-0x0.fffffffffffffp-1022 y=0x0.0p+0
least_normal 0010000000000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 1 # x=0x1.0000000000000p-1022 y=0x0.0p+0
negative_least_normal 8010000000000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 1 # x=-0x1.0000000000000p-1022 y=0x0.0p+0
largest_finite 7fefffffffffffff 0000000000000000 +inf 0000000000000000 +inf 0000000000000000 1 # x=0x1.fffffffffffffp+1023 y=0x0.0p+0
negative_largest_finite ffefffffffffffff 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1 # x=-0x1.fffffffffffffp+1023 y=0x0.0p+0
positive_infinity 7ff0000000000000 0000000000000000 +inf 0000000000000000 +inf 0000000000000000 1 # x=inf y=0x0.0p+0
negative_infinity fff0000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1 # x=-inf y=0x0.0p+0
quiet_nan_payload 7ff8abcdef135790 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=nan y=0x0.0p+0
negative_quiet_nan_payload fff8abcdef135790 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=nan y=0x0.0p+0
signaling_nan_payload 7ff0000000010248 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=nan y=0x0.0p+0
negative_signaling_nan_payload fff0000000010248 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=nan y=0x0.0p+0
fractional_positive 4028a00000000000 0000000000000000 40b3dea64c123422 0000000000000000 40b3dea64c123422 0000000000000000 1 # x=0x1.8a00000000000p+3 y=0x0.0p+0
fractional_negative c028a00000000000 0000000000000000 3f29c49182a3f090 0000000000000000 3f29c49182a3f090 0000000000000000 1 # x=-0x1.8a00000000000p+3 y=0x0.0p+0
exact_normal_power c08a780000000000 0000000000000000 0b00000000000000 0000000000000000 0b00000000000000 0000000000000000 1 # x=-0x1.a780000000000p+9 y=0x0.0p+0
subnormal_power c090740000000000 0000000000000000 0000000000200000 0000000000000000 0000000000200000 0000000000000000 1 # x=-0x1.0740000000000p+10 y=0x0.0p+0
table_midpoint_9_below 3fa2ffffffffffff 0000000000000000 3ff06ab99fa6407c 0000000000000000 3ff06ab99fa6407c 0000000000000000 1 # x=0x1.2ffffffffffffp-5 y=0x0.0p+0
table_midpoint_9_at 3fa3000000000000 0000000000000000 3ff06ab99fa6407c 0000000000000000 3ff06ab99fa6407c 0000000000000000 1 # x=0x1.3000000000000p-5 y=0x0.0p+0
table_midpoint_9_above 3fa3000000000001 0000000000000000 3ff06ab99fa6407c 0000000000000000 3ff06ab99fa6407c 0000000000000000 1 # x=0x1.3000000000001p-5 y=0x0.0p+0
table_midpoint_67_below 3fd0dfffffffffff 0000000000000000 3ff3355f4fb45e20 0000000000000000 3ff3355f4fb45e20 0000000000000000 1 # x=0x1.0dfffffffffffp-2 y=0x0.0p+0
table_midpoint_67_at 3fd0e00000000000 0000000000000000 3ff3355f4fb45e20 0000000000000000 3ff3355f4fb45e20 0000000000000000 1 # x=0x1.0e00000000000p-2 y=0x0.0p+0
table_midpoint_67_above 3fd0e00000000001 0000000000000000 3ff3355f4fb45e20 0000000000000000 3ff3355f4fb45e20 0000000000000000 1 # x=0x1.0e00000000001p-2 y=0x0.0p+0
table_midpoint_143_below 3fe1efffffffffff 0000000000000000 3ff798e56b7fcf03 0000000000000000 3ff798e56b7fcf03 0000000000000000 1 # x=0x1.1efffffffffffp-1 y=0x0.0p+0
table_midpoint_143_at 3fe1f00000000000 0000000000000000 3ff798e56b7fcf03 0000000000000000 3ff798e56b7fcf03 0000000000000000 1 # x=0x1.1f00000000000p-1 y=0x0.0p+0
table_midpoint_143_above 3fe1f00000000001 0000000000000000 3ff798e56b7fcf04 0000000000000000 3ff798e56b7fcf04 0000000000000000 1 # x=0x1.1f00000000001p-1 y=0x0.0p+0
table_midpoint_219_below 3feb6fffffffffff 0000000000000000 3ffcfd1f95018d16 0000000000000000 3ffcfd1f95018d16 0000000000000000 1 # x=0x1.b6fffffffffffp-1 y=0x0.0p+0
table_midpoint_219_at 3feb700000000000 0000000000000000 3ffcfd1f95018d17 0000000000000000 3ffcfd1f95018d17 0000000000000000 1 # x=0x1.b700000000000p-1 y=0x0.0p+0
table_midpoint_219_above 3feb700000000001 0000000000000000 3ffcfd1f95018d17 0000000000000000 3ffcfd1f95018d17 0000000000000000 1 # x=0x1.b700000000001p-1 y=0x0.0p+0
overflow_below 408fffffffffffff 0000000000000000 7feffffffffffd3a 0000000000000000 7feffffffffffd3a 0000000000000000 1 # x=0x1.fffffffffffffp+9 y=0x0.0p+0
overflow_at 4090000000000000 0000000000000000 +inf 0000000000000000 +inf 0000000000000000 1 # x=0x1.0000000000000p+10 y=0x0.0p+0
overflow_above 4090000000000001 0000000000000000 +inf 0000000000000000 +inf 0000000000000000 1 # x=0x1.0000000000001p+10 y=0x0.0p+0
underflow_tie_below c090cbffffffffff 0000000000000000 0000000000000001 0000000000000000 0000000000000001 0000000000000000 1 # x=-0x1.0cbffffffffffp+10 y=0x0.0p+0
underflow_tie_at c090cc0000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1 # x=-0x1.0cc0000000000p+10 y=0x0.0p+0
underflow_tie_above c090cc0000000001 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1 # x=-0x1.0cc0000000001p+10 y=0x0.0p+0