tan.txt 7.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354
  1. # dmath_tan
  2. # Independent oracle: Decimal at 430 and 570 digits / exact Fraction arithmetic.
  3. # Frozen bits and sweep require review; generation never recalibrates them.
  4. # Nonfinite outputs: nan checks classification; +/-inf checks classification and sign.
  5. # sweep 536e28a9034f3f2d
  6. # case input0 input1 frozen0 frozen1 reference0 reference1 max_ulp
  7. positive_zero 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1 # x=0x0.0p+0 y=0x0.0p+0
  8. negative_zero 8000000000000000 0000000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 1 # x=-0x0.0p+0 y=0x0.0p+0
  9. least_subnormal 0000000000000001 0000000000000000 0000000000000001 0000000000000000 0000000000000001 0000000000000000 1 # x=0x0.0000000000001p-1022 y=0x0.0p+0
  10. negative_least_subnormal 8000000000000001 0000000000000000 8000000000000001 0000000000000000 8000000000000001 0000000000000000 1 # x=-0x0.0000000000001p-1022 y=0x0.0p+0
  11. third_subnormal 0000000000000003 0000000000000000 0000000000000003 0000000000000000 0000000000000003 0000000000000000 1 # x=0x0.0000000000003p-1022 y=0x0.0p+0
  12. negative_third_subnormal 8000000000000003 0000000000000000 8000000000000003 0000000000000000 8000000000000003 0000000000000000 1 # x=-0x0.0000000000003p-1022 y=0x0.0p+0
  13. largest_subnormal 000fffffffffffff 0000000000000000 000fffffffffffff 0000000000000000 000fffffffffffff 0000000000000000 1 # x=0x0.fffffffffffffp-1022 y=0x0.0p+0
  14. negative_largest_subnormal 800fffffffffffff 0000000000000000 800fffffffffffff 0000000000000000 800fffffffffffff 0000000000000000 1 # x=-0x0.fffffffffffffp-1022 y=0x0.0p+0
  15. least_normal 0010000000000000 0000000000000000 0010000000000000 0000000000000000 0010000000000000 0000000000000000 1 # x=0x1.0000000000000p-1022 y=0x0.0p+0
  16. negative_least_normal 8010000000000000 0000000000000000 8010000000000000 0000000000000000 8010000000000000 0000000000000000 1 # x=-0x1.0000000000000p-1022 y=0x0.0p+0
  17. largest_finite 7fefffffffffffff 0000000000000000 bf74530cfe729484 0000000000000000 bf74530cfe729484 0000000000000000 1 # x=0x1.fffffffffffffp+1023 y=0x0.0p+0
  18. negative_largest_finite ffefffffffffffff 0000000000000000 3f74530cfe729484 0000000000000000 3f74530cfe729484 0000000000000000 1 # x=-0x1.fffffffffffffp+1023 y=0x0.0p+0
  19. positive_infinity 7ff0000000000000 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=inf y=0x0.0p+0
  20. negative_infinity fff0000000000000 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=-inf y=0x0.0p+0
  21. quiet_nan_payload 7ff8abcdef135790 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=nan y=0x0.0p+0
  22. negative_quiet_nan_payload fff8abcdef135790 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=nan y=0x0.0p+0
  23. signaling_nan_payload 7ff0000000010248 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=nan y=0x0.0p+0
  24. negative_signaling_nan_payload fff0000000010248 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=nan y=0x0.0p+0
  25. small_positive_angle 3fd6000000000000 0000000000000000 3fd6e8d85a6493e1 0000000000000000 3fd6e8d85a6493e1 0000000000000000 1 # x=0x1.6000000000000p-2 y=0x0.0p+0
  26. small_negative_angle bfd6000000000000 0000000000000000 bfd6e8d85a6493e1 0000000000000000 bfd6e8d85a6493e1 0000000000000000 1 # x=-0x1.6000000000000p-2 y=0x0.0p+0
  27. moderate_positive_angle 4045e80000000000 0000000000000000 bfc5f20215e0709b 0000000000000000 bfc5f20215e0709b 0000000000000000 1 # x=0x1.5e80000000000p+5 y=0x0.0p+0
  28. moderate_negative_angle c045e80000000000 0000000000000000 3fc5f20215e0709b 0000000000000000 3fc5f20215e0709b 0000000000000000 1 # x=-0x1.5e80000000000p+5 y=0x0.0p+0
  29. large_reduction 428a5c739b18426f 0000000000000000 4001dba1eaffde8c 0000000000000000 4001dba1eaffde8c 0000000000000000 1 # x=0x1.a5c739b18426fp+41 y=0x0.0p+0
  30. very_large_reduction 72a73b4a82cf19de 0000000000000000 3ff3286eb86a39ad 0000000000000000 3ff3286eb86a39ad 0000000000000000 1 # x=0x1.73b4a82cf19dep+811 y=0x0.0p+0
  31. quarter_turn_kernel_below 3fe921fb54442d17 0000000000000000 3feffffffffffffd 0000000000000000 3feffffffffffffd 0000000000000000 1 # x=0x1.921fb54442d17p-1 y=0x0.0p+0
  32. quarter_turn_kernel_at 3fe921fb54442d18 0000000000000000 3fefffffffffffff 0000000000000000 3fefffffffffffff 0000000000000000 1 # x=0x1.921fb54442d18p-1 y=0x0.0p+0
  33. quarter_turn_kernel_above 3fe921fb54442d19 0000000000000000 3ff0000000000001 0000000000000000 3ff0000000000001 0000000000000000 1 # x=0x1.921fb54442d19p-1 y=0x0.0p+0
  34. negative_quarter_turn_kernel_below bfe921fb54442d17 0000000000000000 bfeffffffffffffd 0000000000000000 bfeffffffffffffd 0000000000000000 1 # x=-0x1.921fb54442d17p-1 y=0x0.0p+0
  35. negative_quarter_turn_kernel_at bfe921fb54442d18 0000000000000000 bfefffffffffffff 0000000000000000 bfefffffffffffff 0000000000000000 1 # x=-0x1.921fb54442d18p-1 y=0x0.0p+0
  36. negative_quarter_turn_kernel_above bfe921fb54442d19 0000000000000000 bff0000000000001 0000000000000000 bff0000000000001 0000000000000000 1 # x=-0x1.921fb54442d19p-1 y=0x0.0p+0
  37. medium_reduction_cutoff_below 413921faffffffff 0000000000000000 bfd5dca6bd5e8435 0000000000000000 bfd5dca6bd5e8435 0000000000000000 1 # x=0x1.921faffffffffp+20 y=0x0.0p+0
  38. medium_reduction_cutoff_at 413921fb00000000 0000000000000000 bfd5dca6bd170c6f 0000000000000000 bfd5dca6bd170c6f 0000000000000000 1 # x=0x1.921fb00000000p+20 y=0x0.0p+0
  39. medium_reduction_cutoff_above 413921fb00000001 0000000000000000 bfd5dca6bccf94a9 0000000000000000 bfd5dca6bccf94a8 0000000000000000 1 # x=0x1.921fb00000001p+20 y=0x0.0p+0
  40. negative_medium_reduction_cutoff_below c13921faffffffff 0000000000000000 3fd5dca6bd5e8435 0000000000000000 3fd5dca6bd5e8435 0000000000000000 1 # x=-0x1.921faffffffffp+20 y=0x0.0p+0
  41. negative_medium_reduction_cutoff_at c13921fb00000000 0000000000000000 3fd5dca6bd170c6f 0000000000000000 3fd5dca6bd170c6f 0000000000000000 1 # x=-0x1.921fb00000000p+20 y=0x0.0p+0
  42. negative_medium_reduction_cutoff_above c13921fb00000001 0000000000000000 3fd5dca6bccf94a9 0000000000000000 3fd5dca6bccf94a8 0000000000000000 1 # x=-0x1.921fb00000001p+20 y=0x0.0p+0
  43. reciprocal_pole_below 4012d97c7f3321d1 0000000000000000 430a8410087262e4 0000000000000000 430a8410087262e4 0000000000000000 1 # x=0x1.2d97c7f3321d1p+2 y=0x0.0p+0
  44. reciprocal_pole_at 4012d97c7f3321d2 0000000000000000 4333570efd768923 0000000000000000 4333570efd768923 0000000000000000 1 # x=0x1.2d97c7f3321d2p+2 y=0x0.0p+0
  45. reciprocal_pole_above 4012d97c7f3321d3 0000000000000000 c3142c0d64d5de51 0000000000000000 c3142c0d64d5de51 0000000000000000 1 # x=0x1.2d97c7f3321d3p+2 y=0x0.0p+0
  46. negative_reciprocal_pole_below c012d97c7f3321d1 0000000000000000 c30a8410087262e4 0000000000000000 c30a8410087262e4 0000000000000000 1 # x=-0x1.2d97c7f3321d1p+2 y=0x0.0p+0
  47. negative_reciprocal_pole_at c012d97c7f3321d2 0000000000000000 c333570efd768923 0000000000000000 c333570efd768923 0000000000000000 1 # x=-0x1.2d97c7f3321d2p+2 y=0x0.0p+0
  48. negative_reciprocal_pole_above c012d97c7f3321d3 0000000000000000 43142c0d64d5de51 0000000000000000 43142c0d64d5de51 0000000000000000 1 # x=-0x1.2d97c7f3321d3p+2 y=0x0.0p+0
  49. kernel_transform_below 3fe59427ffffffff 0000000000000000 3fe99427887a14d4 0000000000000000 3fe99427887a14d4 0000000000000000 1 # x=0x1.59427ffffffffp-1 y=0x0.0p+0
  50. kernel_transform_at 3fe5942800000000 0000000000000000 3fe99427887a14d6 0000000000000000 3fe99427887a14d6 0000000000000000 1 # x=0x1.5942800000000p-1 y=0x0.0p+0
  51. kernel_transform_above 3fe5942800000001 0000000000000000 3fe99427887a14d8 0000000000000000 3fe99427887a14d8 0000000000000000 1 # x=0x1.5942800000001p-1 y=0x0.0p+0
  52. negative_kernel_transform_below bfe59427ffffffff 0000000000000000 bfe99427887a14d4 0000000000000000 bfe99427887a14d4 0000000000000000 1 # x=-0x1.59427ffffffffp-1 y=0x0.0p+0
  53. negative_kernel_transform_at bfe5942800000000 0000000000000000 bfe99427887a14d6 0000000000000000 bfe99427887a14d6 0000000000000000 1 # x=-0x1.5942800000000p-1 y=0x0.0p+0
  54. negative_kernel_transform_above bfe5942800000001 0000000000000000 bfe99427887a14d8 0000000000000000 bfe99427887a14d8 0000000000000000 1 # x=-0x1.5942800000001p-1 y=0x0.0p+0