pocketpy/tests/dmath/cases/pow.txt

# dmath_pow
# 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 e4a43209f0c19324
# case  input0  input1  frozen0  frozen1  reference0  reference1  max_ulp
positive_fractional 400a800000000000 4001800000000000 402b788511b19c85 0000000000000000 402b788511b19c85 0000000000000000 2 # x=0x1.a800000000000p+1 y=0x1.1800000000000p+1
negative_odd_integer c00a800000000000 401c000000000000 c0b11823d7dfd000 0000000000000000 c0b11823d7dfd000 0000000000000000 2 # x=-0x1.a800000000000p+1 y=0x1.c000000000000p+2
negative_even_integer c00a800000000000 4018000000000000 4094a4653ea40000 0000000000000000 4094a4653ea40000 0000000000000000 2 # x=-0x1.a800000000000p+1 y=0x1.8000000000000p+2
negative_reciprocal c00a800000000000 c01c000000000000 bf2df396239c3a45 0000000000000000 bf2df396239c3a45 0000000000000000 2 # x=-0x1.a800000000000p+1 y=-0x1.c000000000000p+2
negative_fractional_domain c00a800000000000 4001800000000000 nan 0000000000000000 nan 0000000000000000 2 # x=-0x1.a800000000000p+1 y=0x1.1800000000000p+1
square_shortcut 404abcdef1234567 4000000000000000 40a65745097be819 0000000000000000 40a65745097be819 0000000000000000 2 # x=0x1.abcdef1234567p+5 y=0x1.0000000000000p+1
cube_shortcut 404abcdef1234567 4008000000000000 4102aac47315362b 0000000000000000 4102aac47315362b 0000000000000000 2 # x=0x1.abcdef1234567p+5 y=0x1.8000000000000p+1
fourth_power_shortcut 404abcdef1234567 4010000000000000 415f31d9da05c393 0000000000000000 415f31d9da05c394 0000000000000000 2 # x=0x1.abcdef1234567p+5 y=0x1.0000000000000p+2
sqrt_shortcut 4037900000000000 3fe0000000000000 40136a9ef26f762f 0000000000000000 40136a9ef26f762f 0000000000000000 2 # x=0x1.7900000000000p+4 y=0x1.0000000000000p-1
reciprocal_shortcut 4037900000000000 bff0000000000000 3fa5babcc647fa91 0000000000000000 3fa5babcc647fa91 0000000000000000 2 # x=0x1.7900000000000p+4 y=-0x1.0000000000000p+0
near_one_large_positive 3ff0000000000003 4300000000000000 3ff747a513dbef6a 0000000000000000 3ff747a513dbef6a 0000000000000000 2 # x=0x1.0000000000003p+0 y=0x1.0000000000000p+49
near_one_large_negative 3feffffffffffffb c300000000000000 3ff5de9176045ff6 0000000000000000 3ff5de9176045ff6 0000000000000000 2 # x=0x1.ffffffffffffbp-1 y=-0x1.0000000000000p+49
finite_overflow 401e800000000000 40b0000000000000 +inf 0000000000000000 +inf 0000000000000000 2 # x=0x1.e800000000000p+2 y=0x1.0000000000000p+12
finite_underflow 401e800000000000 c0b0000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=0x1.e800000000000p+2 y=-0x1.0000000000000p+12
negative_odd_overflow c01e800000000000 40b0010000000000 -inf 0000000000000000 -inf 0000000000000000 2 # x=-0x1.e800000000000p+2 y=0x1.0010000000000p+12
negative_odd_underflow c01e800000000000 c0b0010000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 2 # x=-0x1.e800000000000p+2 y=-0x1.0010000000000p+12
largest_odd_exponent bff0000000000000 433fffffffffffff bff0000000000000 0000000000000000 bff0000000000000 0000000000000000 2 # x=-0x1.0000000000000p+0 y=0x1.fffffffffffffp+52
first_even_only_binade bff0000000000000 4340000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=-0x1.0000000000000p+0 y=0x1.0000000000000p+53
positive_zero_odd_power 0000000000000000 401c000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=0x0.0p+0 y=0x1.c000000000000p+2
positive_zero_negative_odd_power 0000000000000000 c01c000000000000 +inf 0000000000000000 +inf 0000000000000000 2 # x=0x0.0p+0 y=-0x1.c000000000000p+2
positive_zero_zero_power 0000000000000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x0.0p+0 y=0x0.0p+0
positive_zero_exponent 400a800000000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=0x0.0p+0
negative_zero_odd_power 8000000000000000 401c000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 2 # x=-0x0.0p+0 y=0x1.c000000000000p+2
negative_zero_negative_odd_power 8000000000000000 c01c000000000000 -inf 0000000000000000 -inf 0000000000000000 2 # x=-0x0.0p+0 y=-0x1.c000000000000p+2
negative_zero_zero_power 8000000000000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=-0x0.0p+0 y=0x0.0p+0
negative_zero_exponent 400a800000000000 8000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=-0x0.0p+0
least_subnormal_odd_power 0000000000000001 401c000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=0x0.0000000000001p-1022 y=0x1.c000000000000p+2
least_subnormal_negative_odd_power 0000000000000001 c01c000000000000 +inf 0000000000000000 +inf 0000000000000000 2 # x=0x0.0000000000001p-1022 y=-0x1.c000000000000p+2
least_subnormal_zero_power 0000000000000001 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x0.0000000000001p-1022 y=0x0.0p+0
least_subnormal_exponent 400a800000000000 0000000000000001 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=0x0.0000000000001p-1022
negative_least_subnormal_odd_power 8000000000000001 401c000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 2 # x=-0x0.0000000000001p-1022 y=0x1.c000000000000p+2
negative_least_subnormal_negative_odd_power 8000000000000001 c01c000000000000 -inf 0000000000000000 -inf 0000000000000000 2 # x=-0x0.0000000000001p-1022 y=-0x1.c000000000000p+2
negative_least_subnormal_zero_power 8000000000000001 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=-0x0.0000000000001p-1022 y=0x0.0p+0
negative_least_subnormal_exponent 400a800000000000 8000000000000001 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=-0x0.0000000000001p-1022
third_subnormal_odd_power 0000000000000003 401c000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=0x0.0000000000003p-1022 y=0x1.c000000000000p+2
third_subnormal_negative_odd_power 0000000000000003 c01c000000000000 +inf 0000000000000000 +inf 0000000000000000 2 # x=0x0.0000000000003p-1022 y=-0x1.c000000000000p+2
third_subnormal_zero_power 0000000000000003 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x0.0000000000003p-1022 y=0x0.0p+0
third_subnormal_exponent 400a800000000000 0000000000000003 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=0x0.0000000000003p-1022
negative_third_subnormal_odd_power 8000000000000003 401c000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 2 # x=-0x0.0000000000003p-1022 y=0x1.c000000000000p+2
negative_third_subnormal_negative_odd_power 8000000000000003 c01c000000000000 -inf 0000000000000000 -inf 0000000000000000 2 # x=-0x0.0000000000003p-1022 y=-0x1.c000000000000p+2
negative_third_subnormal_zero_power 8000000000000003 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=-0x0.0000000000003p-1022 y=0x0.0p+0
negative_third_subnormal_exponent 400a800000000000 8000000000000003 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=-0x0.0000000000003p-1022
largest_subnormal_odd_power 000fffffffffffff 401c000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=0x0.fffffffffffffp-1022 y=0x1.c000000000000p+2
largest_subnormal_negative_odd_power 000fffffffffffff c01c000000000000 +inf 0000000000000000 +inf 0000000000000000 2 # x=0x0.fffffffffffffp-1022 y=-0x1.c000000000000p+2
largest_subnormal_zero_power 000fffffffffffff 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x0.fffffffffffffp-1022 y=0x0.0p+0
largest_subnormal_exponent 400a800000000000 000fffffffffffff 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=0x0.fffffffffffffp-1022
negative_largest_subnormal_odd_power 800fffffffffffff 401c000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 2 # x=-0x0.fffffffffffffp-1022 y=0x1.c000000000000p+2
negative_largest_subnormal_negative_odd_power 800fffffffffffff c01c000000000000 -inf 0000000000000000 -inf 0000000000000000 2 # x=-0x0.fffffffffffffp-1022 y=-0x1.c000000000000p+2
negative_largest_subnormal_zero_power 800fffffffffffff 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=-0x0.fffffffffffffp-1022 y=0x0.0p+0
negative_largest_subnormal_exponent 400a800000000000 800fffffffffffff 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=-0x0.fffffffffffffp-1022
least_normal_odd_power 0010000000000000 401c000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=0x1.0000000000000p-1022 y=0x1.c000000000000p+2
least_normal_negative_odd_power 0010000000000000 c01c000000000000 +inf 0000000000000000 +inf 0000000000000000 2 # x=0x1.0000000000000p-1022 y=-0x1.c000000000000p+2
least_normal_zero_power 0010000000000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.0000000000000p-1022 y=0x0.0p+0
least_normal_exponent 400a800000000000 0010000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=0x1.0000000000000p-1022
negative_least_normal_odd_power 8010000000000000 401c000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 2 # x=-0x1.0000000000000p-1022 y=0x1.c000000000000p+2
negative_least_normal_negative_odd_power 8010000000000000 c01c000000000000 -inf 0000000000000000 -inf 0000000000000000 2 # x=-0x1.0000000000000p-1022 y=-0x1.c000000000000p+2
negative_least_normal_zero_power 8010000000000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=-0x1.0000000000000p-1022 y=0x0.0p+0
negative_least_normal_exponent 400a800000000000 8010000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=-0x1.0000000000000p-1022
largest_finite_odd_power 7fefffffffffffff 401c000000000000 +inf 0000000000000000 +inf 0000000000000000 2 # x=0x1.fffffffffffffp+1023 y=0x1.c000000000000p+2
largest_finite_negative_odd_power 7fefffffffffffff c01c000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=0x1.fffffffffffffp+1023 y=-0x1.c000000000000p+2
largest_finite_zero_power 7fefffffffffffff 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.fffffffffffffp+1023 y=0x0.0p+0
largest_finite_exponent 400a800000000000 7fefffffffffffff +inf 0000000000000000 +inf 0000000000000000 2 # x=0x1.a800000000000p+1 y=0x1.fffffffffffffp+1023
negative_largest_finite_odd_power ffefffffffffffff 401c000000000000 -inf 0000000000000000 -inf 0000000000000000 2 # x=-0x1.fffffffffffffp+1023 y=0x1.c000000000000p+2
negative_largest_finite_negative_odd_power ffefffffffffffff c01c000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 2 # x=-0x1.fffffffffffffp+1023 y=-0x1.c000000000000p+2
negative_largest_finite_zero_power ffefffffffffffff 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=-0x1.fffffffffffffp+1023 y=0x0.0p+0
negative_largest_finite_exponent 400a800000000000 ffefffffffffffff 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=-0x1.fffffffffffffp+1023
positive_infinity_odd_power 7ff0000000000000 401c000000000000 +inf 0000000000000000 +inf 0000000000000000 2 # x=inf y=0x1.c000000000000p+2
positive_infinity_negative_odd_power 7ff0000000000000 c01c000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=inf y=-0x1.c000000000000p+2
positive_infinity_zero_power 7ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=inf y=0x0.0p+0
positive_infinity_exponent 400a800000000000 7ff0000000000000 +inf 0000000000000000 +inf 0000000000000000 2 # x=0x1.a800000000000p+1 y=inf
negative_infinity_odd_power fff0000000000000 401c000000000000 -inf 0000000000000000 -inf 0000000000000000 2 # x=-inf y=0x1.c000000000000p+2
negative_infinity_negative_odd_power fff0000000000000 c01c000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 2 # x=-inf y=-0x1.c000000000000p+2
negative_infinity_zero_power fff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=-inf y=0x0.0p+0
negative_infinity_exponent 400a800000000000 fff0000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=-inf
quiet_nan_payload_odd_power 7ff8abcdef135790 401c000000000000 nan 0000000000000000 nan 0000000000000000 2 # x=nan y=0x1.c000000000000p+2
quiet_nan_payload_negative_odd_power 7ff8abcdef135790 c01c000000000000 nan 0000000000000000 nan 0000000000000000 2 # x=nan y=-0x1.c000000000000p+2
quiet_nan_payload_zero_power 7ff8abcdef135790 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=nan y=0x0.0p+0
quiet_nan_payload_exponent 400a800000000000 7ff8abcdef135790 nan 0000000000000000 nan 0000000000000000 2 # x=0x1.a800000000000p+1 y=nan
negative_quiet_nan_payload_odd_power fff8abcdef135790 401c000000000000 nan 0000000000000000 nan 0000000000000000 2 # x=nan y=0x1.c000000000000p+2
negative_quiet_nan_payload_negative_odd_power fff8abcdef135790 c01c000000000000 nan 0000000000000000 nan 0000000000000000 2 # x=nan y=-0x1.c000000000000p+2
negative_quiet_nan_payload_zero_power fff8abcdef135790 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=nan y=0x0.0p+0
negative_quiet_nan_payload_exponent 400a800000000000 fff8abcdef135790 nan 0000000000000000 nan 0000000000000000 2 # x=0x1.a800000000000p+1 y=nan
signaling_nan_payload_odd_power 7ff0000000010248 401c000000000000 nan 0000000000000000 nan 0000000000000000 2 # x=nan y=0x1.c000000000000p+2
signaling_nan_payload_negative_odd_power 7ff0000000010248 c01c000000000000 nan 0000000000000000 nan 0000000000000000 2 # x=nan y=-0x1.c000000000000p+2
signaling_nan_payload_zero_power 7ff0000000010248 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=nan y=0x0.0p+0
signaling_nan_payload_exponent 400a800000000000 7ff0000000010248 nan 0000000000000000 nan 0000000000000000 2 # x=0x1.a800000000000p+1 y=nan
negative_signaling_nan_payload_odd_power fff0000000010248 401c000000000000 nan 0000000000000000 nan 0000000000000000 2 # x=nan y=0x1.c000000000000p+2
negative_signaling_nan_payload_negative_odd_power fff0000000010248 c01c000000000000 nan 0000000000000000 nan 0000000000000000 2 # x=nan y=-0x1.c000000000000p+2
negative_signaling_nan_payload_zero_power fff0000000010248 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=nan y=0x0.0p+0
negative_signaling_nan_payload_exponent 400a800000000000 fff0000000010248 nan 0000000000000000 nan 0000000000000000 2 # x=0x1.a800000000000p+1 y=nan
one_to_nan 3ff0000000000000 fff0000000010248 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.0000000000000p+0 y=nan
negative_one_to_infinity bff0000000000000 7ff0000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=-0x1.0000000000000p+0 y=inf
negative_zero_fractional_pole 8000000000000000 bfd0000000000000 +inf 0000000000000000 +inf 0000000000000000 2 # x=-0x0.0p+0 y=-0x1.0000000000000p-2