# dmath_asin
# 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 deb9ff6e67ac85b5
# case  input0  input1  frozen0  frozen1  reference0  reference1  max_ulp
positive_zero 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1 # x=0x0.0p+0 y=0x0.0p+0
negative_zero 8000000000000000 0000000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 1 # x=-0x0.0p+0 y=0x0.0p+0
least_subnormal 0000000000000001 0000000000000000 0000000000000001 0000000000000000 0000000000000001 0000000000000000 1 # x=0x0.0000000000001p-1022 y=0x0.0p+0
negative_least_subnormal 8000000000000001 0000000000000000 8000000000000001 0000000000000000 8000000000000001 0000000000000000 1 # x=-0x0.0000000000001p-1022 y=0x0.0p+0
third_subnormal 0000000000000003 0000000000000000 0000000000000003 0000000000000000 0000000000000003 0000000000000000 1 # x=0x0.0000000000003p-1022 y=0x0.0p+0
negative_third_subnormal 8000000000000003 0000000000000000 8000000000000003 0000000000000000 8000000000000003 0000000000000000 1 # x=-0x0.0000000000003p-1022 y=0x0.0p+0
largest_subnormal 000fffffffffffff 0000000000000000 000fffffffffffff 0000000000000000 000fffffffffffff 0000000000000000 1 # x=0x0.fffffffffffffp-1022 y=0x0.0p+0
negative_largest_subnormal 800fffffffffffff 0000000000000000 800fffffffffffff 0000000000000000 800fffffffffffff 0000000000000000 1 # x=-0x0.fffffffffffffp-1022 y=0x0.0p+0
least_normal 0010000000000000 0000000000000000 0010000000000000 0000000000000000 0010000000000000 0000000000000000 1 # x=0x1.0000000000000p-1022 y=0x0.0p+0
negative_least_normal 8010000000000000 0000000000000000 8010000000000000 0000000000000000 8010000000000000 0000000000000000 1 # x=-0x1.0000000000000p-1022 y=0x0.0p+0
largest_finite 7fefffffffffffff 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=0x1.fffffffffffffp+1023 y=0x0.0p+0
negative_largest_finite ffefffffffffffff 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=-0x1.fffffffffffffp+1023 y=0x0.0p+0
positive_infinity 7ff0000000000000 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=inf y=0x0.0p+0
negative_infinity fff0000000000000 0000000000000000 nan 0000000000000000 nan 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
domain_endpoint_below 3fefffffffffffff 0000000000000000 3ff921fb50442d18 0000000000000000 3ff921fb50442d18 0000000000000000 1 # x=0x1.fffffffffffffp-1 y=0x0.0p+0
domain_endpoint_at 3ff0000000000000 0000000000000000 3ff921fb54442d18 0000000000000000 3ff921fb54442d18 0000000000000000 1 # x=0x1.0000000000000p+0 y=0x0.0p+0
domain_endpoint_above 3ff0000000000001 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=0x1.0000000000001p+0 y=0x0.0p+0
negative_domain_endpoint_below bfefffffffffffff 0000000000000000 bff921fb50442d18 0000000000000000 bff921fb50442d18 0000000000000000 1 # x=-0x1.fffffffffffffp-1 y=0x0.0p+0
negative_domain_endpoint_at bff0000000000000 0000000000000000 bff921fb54442d18 0000000000000000 bff921fb54442d18 0000000000000000 1 # x=-0x1.0000000000000p+0 y=0x0.0p+0
negative_domain_endpoint_above bff0000000000001 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=-0x1.0000000000001p+0 y=0x0.0p+0
half_interval_below 3fdfffffffffffff 0000000000000000 3fe0c152382d7365 0000000000000000 3fe0c152382d7365 0000000000000000 1 # x=0x1.fffffffffffffp-2 y=0x0.0p+0
half_interval_at 3fe0000000000000 0000000000000000 3fe0c152382d7366 0000000000000000 3fe0c152382d7366 0000000000000000 1 # x=0x1.0000000000000p-1 y=0x0.0p+0
half_interval_above 3fe0000000000001 0000000000000000 3fe0c152382d7367 0000000000000000 3fe0c152382d7367 0000000000000000 1 # x=0x1.0000000000001p-1 y=0x0.0p+0
negative_half_interval_below bfdfffffffffffff 0000000000000000 bfe0c152382d7365 0000000000000000 bfe0c152382d7365 0000000000000000 1 # x=-0x1.fffffffffffffp-2 y=0x0.0p+0
negative_half_interval_at bfe0000000000000 0000000000000000 bfe0c152382d7366 0000000000000000 bfe0c152382d7366 0000000000000000 1 # x=-0x1.0000000000000p-1 y=0x0.0p+0
negative_half_interval_above bfe0000000000001 0000000000000000 bfe0c152382d7367 0000000000000000 bfe0c152382d7367 0000000000000000 1 # x=-0x1.0000000000001p-1 y=0x0.0p+0
near_endpoint_formula_below 3fef3332ffffffff 0000000000000000 3ff58c2ae9ab49e8 0000000000000000 3ff58c2ae9ab49e7 0000000000000000 1 # x=0x1.f3332ffffffffp-1 y=0x0.0p+0
near_endpoint_formula_at 3fef333300000000 0000000000000000 3ff58c2ae9ab49e9 0000000000000000 3ff58c2ae9ab49ea 0000000000000000 1 # x=0x1.f333300000000p-1 y=0x0.0p+0
near_endpoint_formula_above 3fef333300000001 0000000000000000 3ff58c2ae9ab49ec 0000000000000000 3ff58c2ae9ab49ec 0000000000000000 1 # x=0x1.f333300000001p-1 y=0x0.0p+0
negative_near_endpoint_formula_below bfef3332ffffffff 0000000000000000 bff58c2ae9ab49e8 0000000000000000 bff58c2ae9ab49e7 0000000000000000 1 # x=-0x1.f3332ffffffffp-1 y=0x0.0p+0
negative_near_endpoint_formula_at bfef333300000000 0000000000000000 bff58c2ae9ab49e9 0000000000000000 bff58c2ae9ab49ea 0000000000000000 1 # x=-0x1.f333300000000p-1 y=0x0.0p+0
negative_near_endpoint_formula_above bfef333300000001 0000000000000000 bff58c2ae9ab49ec 0000000000000000 bff58c2ae9ab49ec 0000000000000000 1 # x=-0x1.f333300000001p-1 y=0x0.0p+0
interior_positive 3fe7000000000000 0000000000000000 3fe9aa01babef75e 0000000000000000 3fe9aa01babef75e 0000000000000000 1 # x=0x1.7000000000000p-1 y=0x0.0p+0
interior_negative bfe7000000000000 0000000000000000 bfe9aa01babef75e 0000000000000000 bfe9aa01babef75e 0000000000000000 1 # x=-0x1.7000000000000p-1 y=0x0.0p+0