pocketpy/tests/dmath/cases/exp.txt

# dmath_exp
# 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 ecb25a4ce882ca62
# 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
moderate_positive 4019400000000000 0000000000000000 40813b5fcefbb1cd 0000000000000000 40813b5fcefbb1cd 0000000000000000 1 # x=0x1.9400000000000p+2 y=0x0.0p+0
moderate_negative c019400000000000 0000000000000000 3f5db6582cff7939 0000000000000000 3f5db6582cff7939 0000000000000000 1 # x=-0x1.9400000000000p+2 y=0x0.0p+0
large_finite_result 4086230000000000 0000000000000000 7fcf5267b43fad1f 0000000000000000 7fcf5267b43fad1f 0000000000000000 1 # x=0x1.6230000000000p+9 y=0x0.0p+0
subnormal_result c087150000000000 0000000000000000 000000000000014f 0000000000000000 000000000000014f 0000000000000000 1 # x=-0x1.7150000000000p+9 y=0x0.0p+0
tiny_shortcut_below 3e2fffffffffffff 0000000000000000 3ff0000001000000 0000000000000000 3ff0000001000000 0000000000000000 1 # x=0x1.fffffffffffffp-29 y=0x0.0p+0
tiny_shortcut_at 3e30000000000000 0000000000000000 3ff0000001000000 0000000000000000 3ff0000001000000 0000000000000000 1 # x=0x1.0000000000000p-28 y=0x0.0p+0
tiny_shortcut_above 3e30000000000001 0000000000000000 3ff0000001000000 0000000000000000 3ff0000001000000 0000000000000000 1 # x=0x1.0000000000001p-28 y=0x0.0p+0
negative_tiny_shortcut_below be2fffffffffffff 0000000000000000 3feffffffe000000 0000000000000000 3feffffffe000000 0000000000000000 1 # x=-0x1.fffffffffffffp-29 y=0x0.0p+0
negative_tiny_shortcut_at be30000000000000 0000000000000000 3feffffffe000000 0000000000000000 3feffffffe000000 0000000000000000 1 # x=-0x1.0000000000000p-28 y=0x0.0p+0
negative_tiny_shortcut_above be30000000000001 0000000000000000 3feffffffe000000 0000000000000000 3feffffffe000000 0000000000000000 1 # x=-0x1.0000000000001p-28 y=0x0.0p+0
first_reduction_below 3fd62e42ffffffff 0000000000000000 3ff6a09e66dbc8d9 0000000000000000 3ff6a09e66dbc8d9 0000000000000000 1 # x=0x1.62e42ffffffffp-2 y=0x0.0p+0
first_reduction_at 3fd62e4300000000 0000000000000000 3ff6a09e66dbc8da 0000000000000000 3ff6a09e66dbc8d9 0000000000000000 1 # x=0x1.62e4300000000p-2 y=0x0.0p+0
first_reduction_above 3fd62e4300000001 0000000000000000 3ff6a09e66dbc8da 0000000000000000 3ff6a09e66dbc8da 0000000000000000 1 # x=0x1.62e4300000001p-2 y=0x0.0p+0
negative_first_reduction_below bfd62e42ffffffff 0000000000000000 3fe6a09e6622aec0 0000000000000000 3fe6a09e6622aec0 0000000000000000 1 # x=-0x1.62e42ffffffffp-2 y=0x0.0p+0
negative_first_reduction_at bfd62e4300000000 0000000000000000 3fe6a09e6622aec0 0000000000000000 3fe6a09e6622aec0 0000000000000000 1 # x=-0x1.62e4300000000p-2 y=0x0.0p+0
negative_first_reduction_above bfd62e4300000001 0000000000000000 3fe6a09e6622aec0 0000000000000000 3fe6a09e6622aebf 0000000000000000 1 # x=-0x1.62e4300000001p-2 y=0x0.0p+0
second_reduction_below 3ff0a2b1ffffffff 0000000000000000 4006a09e0d126a08 0000000000000000 4006a09e0d126a08 0000000000000000 1 # x=0x1.0a2b1ffffffffp+0 y=0x0.0p+0
second_reduction_at 3ff0a2b200000000 0000000000000000 4006a09e0d126a0a 0000000000000000 4006a09e0d126a0a 0000000000000000 1 # x=0x1.0a2b200000000p+0 y=0x0.0p+0
second_reduction_above 3ff0a2b200000001 0000000000000000 4006a09e0d126a0b 0000000000000000 4006a09e0d126a0b 0000000000000000 1 # x=0x1.0a2b200000001p+0 y=0x0.0p+0
negative_second_reduction_below bff0a2b1ffffffff 0000000000000000 3fd6a09ebfec0ef2 0000000000000000 3fd6a09ebfec0ef2 0000000000000000 1 # x=-0x1.0a2b1ffffffffp+0 y=0x0.0p+0
negative_second_reduction_at bff0a2b200000000 0000000000000000 3fd6a09ebfec0ef1 0000000000000000 3fd6a09ebfec0ef1 0000000000000000 1 # x=-0x1.0a2b200000000p+0 y=0x0.0p+0
negative_second_reduction_above bff0a2b200000001 0000000000000000 3fd6a09ebfec0ef0 0000000000000000 3fd6a09ebfec0eef 0000000000000000 1 # x=-0x1.0a2b200000001p+0 y=0x0.0p+0
overflow_boundary_below 40862e42fefa39ee 0000000000000000 7feffffffffffb2a 0000000000000000 7feffffffffffb2a 0000000000000000 1 # x=0x1.62e42fefa39eep+9 y=0x0.0p+0
overflow_boundary_at 40862e42fefa39ef 0000000000000000 7fefffffffffff2a 0000000000000000 7fefffffffffff2a 0000000000000000 1 # x=0x1.62e42fefa39efp+9 y=0x0.0p+0
overflow_boundary_above 40862e42fefa39f0 0000000000000000 +inf 0000000000000000 +inf 0000000000000000 1 # x=0x1.62e42fefa39f0p+9 y=0x0.0p+0
negative_overflow_boundary_below c0862e42fefa39ee 0000000000000000 000400000000009b 0000000000000000 000400000000009b 0000000000000000 1 # x=-0x1.62e42fefa39eep+9 y=0x0.0p+0
negative_overflow_boundary_at c0862e42fefa39ef 0000000000000000 000400000000001b 0000000000000000 000400000000001b 0000000000000000 1 # x=-0x1.62e42fefa39efp+9 y=0x0.0p+0
negative_overflow_boundary_above c0862e42fefa39f0 0000000000000000 0003ffffffffff9b 0000000000000000 0003ffffffffff9b 0000000000000000 1 # x=-0x1.62e42fefa39f0p+9 y=0x0.0p+0
underflow_threshold_below c0874910d52d3050 0000000000000000 0000000000000001 0000000000000000 0000000000000001 0000000000000000 1 # x=-0x1.74910d52d3050p+9 y=0x0.0p+0
underflow_threshold_at c0874910d52d3051 0000000000000000 0000000000000001 0000000000000000 0000000000000001 0000000000000000 1 # x=-0x1.74910d52d3051p+9 y=0x0.0p+0
underflow_threshold_above c0874910d52d3052 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1 # x=-0x1.74910d52d3052p+9 y=0x0.0p+0