pocketpy/tests/dmath/cases/sincos.txt

# dmath_sincos
# 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 dbfe0e813bed0d5c
# case  input0  input1  frozen0  frozen1  reference0  reference1  max_ulp
positive_zero 0000000000000000 0000000000000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 1 # x=0x0.0p+0 y=0x0.0p+0
negative_zero 8000000000000000 0000000000000000 8000000000000000 3ff0000000000000 8000000000000000 3ff0000000000000 1 # x=-0x0.0p+0 y=0x0.0p+0
least_subnormal 0000000000000001 0000000000000000 0000000000000001 3ff0000000000000 0000000000000001 3ff0000000000000 1 # x=0x0.0000000000001p-1022 y=0x0.0p+0
negative_least_subnormal 8000000000000001 0000000000000000 8000000000000001 3ff0000000000000 8000000000000001 3ff0000000000000 1 # x=-0x0.0000000000001p-1022 y=0x0.0p+0
third_subnormal 0000000000000003 0000000000000000 0000000000000003 3ff0000000000000 0000000000000003 3ff0000000000000 1 # x=0x0.0000000000003p-1022 y=0x0.0p+0
negative_third_subnormal 8000000000000003 0000000000000000 8000000000000003 3ff0000000000000 8000000000000003 3ff0000000000000 1 # x=-0x0.0000000000003p-1022 y=0x0.0p+0
largest_subnormal 000fffffffffffff 0000000000000000 000fffffffffffff 3ff0000000000000 000fffffffffffff 3ff0000000000000 1 # x=0x0.fffffffffffffp-1022 y=0x0.0p+0
negative_largest_subnormal 800fffffffffffff 0000000000000000 800fffffffffffff 3ff0000000000000 800fffffffffffff 3ff0000000000000 1 # x=-0x0.fffffffffffffp-1022 y=0x0.0p+0
least_normal 0010000000000000 0000000000000000 0010000000000000 3ff0000000000000 0010000000000000 3ff0000000000000 1 # x=0x1.0000000000000p-1022 y=0x0.0p+0
negative_least_normal 8010000000000000 0000000000000000 8010000000000000 3ff0000000000000 8010000000000000 3ff0000000000000 1 # x=-0x1.0000000000000p-1022 y=0x0.0p+0
largest_finite 7fefffffffffffff 0000000000000000 3f7452fc98b34e97 bfefffe62ecfab75 3f7452fc98b34e97 bfefffe62ecfab75 1 # x=0x1.fffffffffffffp+1023 y=0x0.0p+0
negative_largest_finite ffefffffffffffff 0000000000000000 bf7452fc98b34e97 bfefffe62ecfab75 bf7452fc98b34e97 bfefffe62ecfab75 1 # x=-0x1.fffffffffffffp+1023 y=0x0.0p+0
positive_infinity 7ff0000000000000 0000000000000000 nan nan nan nan 1 # x=inf y=0x0.0p+0
negative_infinity fff0000000000000 0000000000000000 nan nan nan nan 1 # x=-inf y=0x0.0p+0
quiet_nan_payload 7ff8abcdef135790 0000000000000000 nan nan nan nan 1 # x=nan y=0x0.0p+0
negative_quiet_nan_payload fff8abcdef135790 0000000000000000 nan nan nan nan 1 # x=nan y=0x0.0p+0
signaling_nan_payload 7ff0000000010248 0000000000000000 nan nan nan nan 1 # x=nan y=0x0.0p+0
negative_signaling_nan_payload fff0000000010248 0000000000000000 nan nan nan nan 1 # x=nan y=0x0.0p+0
small_positive_angle 3fd6000000000000 0000000000000000 3fd591bc9fa2f597 3fee20bf49acd6c1 3fd591bc9fa2f597 3fee20bf49acd6c1 1 # x=0x1.6000000000000p-2 y=0x0.0p+0
small_negative_angle bfd6000000000000 0000000000000000 bfd591bc9fa2f597 3fee20bf49acd6c1 bfd591bc9fa2f597 3fee20bf49acd6c1 1 # x=-0x1.6000000000000p-2 y=0x0.0p+0
moderate_positive_angle 4045e80000000000 0000000000000000 bfc5a13747aff14f 3fef8a30fe6ef96c bfc5a13747aff14f 3fef8a30fe6ef96c 1 # x=0x1.5e80000000000p+5 y=0x0.0p+0
moderate_negative_angle c045e80000000000 0000000000000000 3fc5a13747aff14f 3fef8a30fe6ef96c 3fc5a13747aff14f 3fef8a30fe6ef96c 1 # x=-0x1.5e80000000000p+5 y=0x0.0p+0
large_reduction 428a5c739b18426f 0000000000000000 3fed341a0bb536bf 3fda2a49d24e0f94 3fed341a0bb536bf 3fda2a49d24e0f94 1 # x=0x1.a5c739b18426fp+41 y=0x0.0p+0
very_large_reduction 72a73b4a82cf19de 0000000000000000 3fe88f9b8b914182 3fe4832d2f71ebb6 3fe88f9b8b914182 3fe4832d2f71ebb6 1 # x=0x1.73b4a82cf19dep+811 y=0x0.0p+0
quarter_turn_kernel_below 3fe921fb54442d17 0000000000000000 3fe6a09e667f3bcc 3fe6a09e667f3bce 3fe6a09e667f3bcc 3fe6a09e667f3bcd 1 # x=0x1.921fb54442d17p-1 y=0x0.0p+0
quarter_turn_kernel_at 3fe921fb54442d18 0000000000000000 3fe6a09e667f3bcc 3fe6a09e667f3bcd 3fe6a09e667f3bcc 3fe6a09e667f3bcd 1 # x=0x1.921fb54442d18p-1 y=0x0.0p+0
quarter_turn_kernel_above 3fe921fb54442d19 0000000000000000 3fe6a09e667f3bcd 3fe6a09e667f3bcc 3fe6a09e667f3bcd 3fe6a09e667f3bcc 1 # x=0x1.921fb54442d19p-1 y=0x0.0p+0
negative_quarter_turn_kernel_below bfe921fb54442d17 0000000000000000 bfe6a09e667f3bcc 3fe6a09e667f3bce bfe6a09e667f3bcc 3fe6a09e667f3bcd 1 # x=-0x1.921fb54442d17p-1 y=0x0.0p+0
negative_quarter_turn_kernel_at bfe921fb54442d18 0000000000000000 bfe6a09e667f3bcc 3fe6a09e667f3bcd bfe6a09e667f3bcc 3fe6a09e667f3bcd 1 # x=-0x1.921fb54442d18p-1 y=0x0.0p+0
negative_quarter_turn_kernel_above bfe921fb54442d19 0000000000000000 bfe6a09e667f3bcd 3fe6a09e667f3bcc bfe6a09e667f3bcd 3fe6a09e667f3bcc 1 # x=-0x1.921fb54442d19p-1 y=0x0.0p+0
medium_reduction_cutoff_below 413921faffffffff 0000000000000000 bfd4b02e5c25af00 3fee483125700ac3 bfd4b02e5c25af00 3fee483125700ac3 1 # x=0x1.921faffffffffp+20 y=0x0.0p+0
medium_reduction_cutoff_at 413921fb00000000 0000000000000000 bfd4b02e5be91e9e 3fee4831257a62da bfd4b02e5be91e9e 3fee4831257a62da 1 # x=0x1.921fb00000000p+20 y=0x0.0p+0
medium_reduction_cutoff_above 413921fb00000001 0000000000000000 bfd4b02e5bac8e3c 3fee48312584baf1 bfd4b02e5bac8e3c 3fee48312584baf1 1 # x=0x1.921fb00000001p+20 y=0x0.0p+0
negative_medium_reduction_cutoff_below c13921faffffffff 0000000000000000 3fd4b02e5c25af00 3fee483125700ac3 3fd4b02e5c25af00 3fee483125700ac3 1 # x=-0x1.921faffffffffp+20 y=0x0.0p+0
negative_medium_reduction_cutoff_at c13921fb00000000 0000000000000000 3fd4b02e5be91e9e 3fee4831257a62da 3fd4b02e5be91e9e 3fee4831257a62da 1 # x=-0x1.921fb00000000p+20 y=0x0.0p+0
negative_medium_reduction_cutoff_above c13921fb00000001 0000000000000000 3fd4b02e5bac8e3c 3fee48312584baf1 3fd4b02e5bac8e3c 3fee48312584baf1 1 # x=-0x1.921fb00000001p+20 y=0x0.0p+0
second_quadrant 4002800000000000 0000000000000000 3fe7981d6e5b8b11 bfe59e10a28e82ed 3fe7981d6e5b8b11 bfe59e10a28e82ed 1 # x=0x1.2800000000000p+1 y=0x0.0p+0
third_quadrant 4010c00000000000 0000000000000000 bfebb13084c06416 bfe009266130831c bfebb13084c06416 bfe009266130831c 1 # x=0x1.0c00000000000p+2 y=0x0.0p+0
fourth_quadrant 4017c00000000000 0000000000000000 bfd5af945b89d004 3fee1b63c00b78fb bfd5af945b89d004 3fee1b63c00b78fb 1 # x=0x1.7c00000000000p+2 y=0x0.0p+0