Generated by running cargo bench --bench dispatch_trace --features dispatch-trace. This runner samples dispatch paths directly and does not execute Criterion timing loops or update benchmarks.md. Pass row-name substrings after -- to trace a subset, for example cargo bench --bench dispatch_trace --features dispatch-trace -- computable/trig_adversarial/sin_1e30.
This table groups raw trace labels into Yap-aligned diagnostic buckets so scalar, predicate, and linear-algebra reports can be compared without losing raw path detail.
| Trace Row | Dispatch | Predicate | Linear Algebra | Object Facts | Scalar Facts | Detailed Facts | Unknown Facts | Rational Kinds | Sign/Zero Queries | Exact Reducers | Approximation | Approx Starts | Approx Cache | Refinement | Predicate Stages | Cache | Fallback/Abort | Rational Temps | Rational Reductions | Rational GCDs |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
computable/basic_transcendentals |
42 | 0 | 0 | 3 | 0 | 0 | 0 | 4 | 0 | 36 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 33 | 12 | 11 |
computable/compare/exact_msd_gap |
6 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 2 | 0 | 0 |
computable/compare/exact_rational |
6 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 2 | 6 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 2 | 2 |
computable/compare/opposite_sign |
6 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 2 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 0 |
computable/compare_absolute/dominant_add |
22 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 14 | 0 | 0 | 0 | 0 | 0 | 3 | 0 | 15 | 3 | 3 |
computable/compare_absolute/exact_msd_gap |
5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 3 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 2 | 0 | 0 |
computable/compare_absolute/exact_rational |
7 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 3 | 7 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 2 | 2 |
computable/compare_absolute/exact_rational_same_numerator |
7 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 2 | 7 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4 | 2 | 1 |
computable/constants |
7 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4 | 0 | 0 | 0 | 0 |
computable/exp_cached_probe |
3 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 |
computable/exp_large_rational |
5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 3 | 0 | 0 |
computable/inverse_hyperbolic_adversarial/acosh_large |
8 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 8 | 0 | 0 |
computable/inverse_hyperbolic_adversarial/acosh_one_plus_tiny |
24 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 21 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 8 | 0 | 0 |
computable/inverse_hyperbolic_adversarial/acosh_sqrt_two |
18 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 9 | 0 | 0 | 0 | 0 | 0 | 1 | 2 | 14 | 2 | 2 |
computable/inverse_hyperbolic_adversarial/acosh_two |
25 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 18 | 0 | 0 | 0 | 0 | 0 | 1 | 2 | 11 | 2 | 2 |
computable/inverse_hyperbolic_adversarial/asinh_large |
10 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 6 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 11 | 0 | 0 |
computable/inverse_hyperbolic_adversarial/asinh_large_negative |
12 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 13 | 0 | 0 |
computable/inverse_hyperbolic_adversarial/asinh_mid |
7 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 4 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 4 | 0 | 0 |
computable/inverse_hyperbolic_adversarial/asinh_tiny |
2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
computable/inverse_hyperbolic_adversarial/atanh_mid |
4 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
computable/inverse_hyperbolic_adversarial/atanh_near_minus_one |
13 | 0 | 0 | 0 | 0 | 0 | 0 | 5 | 0 | 12 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 8 | 0 | 0 |
computable/inverse_hyperbolic_adversarial/atanh_near_one |
11 | 0 | 0 | 0 | 0 | 0 | 0 | 5 | 0 | 10 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 7 | 0 | 0 |
computable/inverse_hyperbolic_adversarial/atanh_tiny |
2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
computable/inverse_trig |
14 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 11 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 21 | 3 | 0 |
computable/inverse_trig/mid-domain |
58 | 0 | 0 | 5 | 0 | 0 | 0 | 9 | 0 | 48 | 6 | 6 | 0 | 0 | 0 | 3 | 0 | 30 | 10 | 6 |
computable/inverse_trig_adversarial/acos_mid |
8 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 8 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 6 | 1 | 0 |
computable/inverse_trig_adversarial/acos_near_minus_one |
10 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 8 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 5 | 1 | 0 |
computable/inverse_trig_adversarial/acos_near_one |
7 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 5 | 1 | 0 |
computable/inverse_trig_adversarial/acos_tiny |
9 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 6 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 20 | 3 | 0 |
computable/inverse_trig_adversarial/acos_zero |
3 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 |
computable/inverse_trig_adversarial/asin_mid |
11 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 9 | 2 | 2 | 0 | 0 | 0 | 2 | 0 | 6 | 1 | 0 |
computable/inverse_trig_adversarial/asin_near_minus_one |
10 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 8 | 2 | 2 | 0 | 0 | 0 | 1 | 0 | 6 | 1 | 0 |
computable/inverse_trig_adversarial/asin_near_one |
11 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 9 | 2 | 2 | 0 | 0 | 0 | 1 | 0 | 5 | 1 | 0 |
computable/inverse_trig_adversarial/asin_tiny |
2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
computable/inverse_trig_adversarial/asin_zero |
2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
computable/inverse_trig_adversarial/atan_generated_783_412 |
14 | 0 | 0 | 4 | 0 | 0 | 0 | 4 | 0 | 9 | 2 | 2 | 0 | 0 | 0 | 1 | 0 | 3 | 1 | 1 |
computable/inverse_trig_adversarial/atan_generated_minus_32_19 |
16 | 0 | 0 | 5 | 0 | 0 | 0 | 4 | 0 | 11 | 2 | 2 | 0 | 0 | 0 | 1 | 0 | 4 | 1 | 1 |
computable/inverse_trig_adversarial/atan_huge |
9 | 0 | 0 | 2 | 0 | 0 | 0 | 3 | 0 | 4 | 2 | 2 | 0 | 0 | 0 | 1 | 0 | 5 | 0 | 0 |
computable/inverse_trig_adversarial/atan_large |
9 | 0 | 0 | 2 | 0 | 0 | 0 | 3 | 0 | 4 | 2 | 2 | 0 | 0 | 0 | 1 | 0 | 5 | 0 | 0 |
computable/inverse_trig_adversarial/atan_mid |
19 | 0 | 0 | 6 | 0 | 0 | 0 | 6 | 0 | 12 | 2 | 2 | 0 | 0 | 0 | 2 | 0 | 3 | 1 | 1 |
computable/inverse_trig_adversarial/atan_tiny |
5 | 0 | 0 | 2 | 0 | 0 | 0 | 2 | 0 | 3 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 0 |
computable/inverse_trig_adversarial/atan_zero |
4 | 0 | 0 | 2 | 0 | 0 | 0 | 0 | 2 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5 | 0 | 0 |
computable/ln_nonsmooth_rational |
8 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 8 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 3 | 1 | 1 |
computable/ln_smooth_rational |
29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 10 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 19 | 1 | 1 |
computable/ln_square_plus_one_promoted_generated_677_222 |
19 | 0 | 0 | 3 | 0 | 0 | 0 | 4 | 0 | 17 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 5 | 1 | 1 |
computable/promoted_library_slow/atan_generated_10704_pos_1_371_412 |
21 | 0 | 0 | 4 | 0 | 0 | 0 | 4 | 0 | 12 | 2 | 2 | 0 | 0 | 0 | 3 | 0 | 20 | 5 | 2 |
computable/promoted_library_slow/atan_generated_11034_pos_1_367_518 |
23 | 0 | 0 | 5 | 0 | 0 | 0 | 5 | 0 | 14 | 2 | 2 | 0 | 0 | 0 | 3 | 0 | 19 | 5 | 2 |
computable/promoted_library_slow/cos_generated_16610_pos_7_4_19 |
25 | 0 | 0 | 7 | 0 | 0 | 0 | 7 | 0 | 22 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 6 | 1 | 1 |
computable/promoted_library_slow/cos_generated_9365_pos_7_14_139 |
25 | 0 | 0 | 7 | 0 | 0 | 0 | 7 | 0 | 22 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 7 | 2 | 1 |
computable/promoted_library_slow/ln_generated_10732_pos_6_6_137 |
22 | 0 | 0 | 3 | 0 | 0 | 0 | 4 | 0 | 20 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 6 | 1 | 1 |
computable/promoted_library_slow/ln_generated_11317_neg_8_21_53 |
23 | 0 | 0 | 3 | 0 | 0 | 0 | 4 | 0 | 21 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 6 | 1 | 1 |
computable/promoted_library_slow/ln_generated_11497_pos_1_137_564 |
19 | 0 | 0 | 3 | 0 | 0 | 0 | 4 | 0 | 17 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 7 | 1 | 1 |
computable/promoted_library_slow/ln_generated_14377_neg_1_189_764 |
22 | 0 | 0 | 3 | 0 | 0 | 0 | 4 | 0 | 20 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 6 | 1 | 1 |
computable/promoted_library_slow/ln_generated_14947_pos_3_11_222 |
22 | 0 | 0 | 3 | 0 | 0 | 0 | 4 | 0 | 20 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 6 | 1 | 1 |
computable/promoted_library_slow/ln_generated_15472_neg_3_13_50 |
22 | 0 | 0 | 3 | 0 | 0 | 0 | 4 | 0 | 20 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 6 | 1 | 1 |
computable/promoted_library_slow/ln_generated_16417_pos_41_241 |
10 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 9 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4 | 1 | 1 |
computable/promoted_library_slow/ln_generated_17797_pos_1_328_503 |
18 | 0 | 0 | 2 | 0 | 0 | 0 | 3 | 0 | 16 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 8 | 1 | 1 |
computable/promoted_library_slow/ln_generated_18352_neg_1_133_500 |
22 | 0 | 0 | 3 | 0 | 0 | 0 | 4 | 0 | 20 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 6 | 1 | 1 |
computable/promoted_library_slow/ln_generated_7447_pos_1_53_76 |
18 | 0 | 0 | 2 | 0 | 0 | 0 | 3 | 0 | 16 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 8 | 1 | 1 |
computable/promoted_library_slow/ln_generated_7642_neg_1_25_36 |
21 | 0 | 0 | 2 | 0 | 0 | 0 | 3 | 0 | 19 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 8 | 1 | 1 |
computable/promoted_library_slow/ln_generated_9457_neg_3_23_90 |
23 | 0 | 0 | 3 | 0 | 0 | 0 | 4 | 0 | 21 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 6 | 1 | 1 |
computable/promoted_library_slow/ln_generated_9862_neg_1_221_492 |
22 | 0 | 0 | 2 | 0 | 0 | 0 | 3 | 0 | 20 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 7 | 1 | 1 |
computable/promoted_library_slow/sin_generated_10834_pos_4_34_61 |
17 | 0 | 0 | 3 | 0 | 0 | 0 | 3 | 0 | 14 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 6 | 1 | 1 |
computable/promoted_library_slow/sin_generated_11359_pos_4_66_139 |
17 | 0 | 0 | 3 | 0 | 0 | 0 | 3 | 0 | 14 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 6 | 1 | 1 |
computable/promoted_library_slow/tan_generated_11841_neg_5_2_17 |
22 | 0 | 0 | 3 | 0 | 0 | 0 | 3 | 0 | 15 | 2 | 2 | 0 | 0 | 0 | 3 | 0 | 2 | 1 | 1 |
computable/promoted_library_slow/tan_generated_13446_neg_5_15_187 |
23 | 0 | 0 | 3 | 0 | 0 | 0 | 3 | 0 | 16 | 2 | 2 | 0 | 0 | 0 | 3 | 0 | 4 | 2 | 2 |
computable/promoted_library_slow/tan_generated_13866_neg_5_1_2 |
19 | 0 | 0 | 0 | 0 | 0 | 0 | 4 | 0 | 13 | 4 | 4 | 0 | 0 | 0 | 3 | 0 | 5 | 2 | 0 |
computable/promoted_library_slow/tan_generated_14421_pos_5_25_47 |
26 | 0 | 0 | 5 | 0 | 0 | 0 | 5 | 0 | 20 | 4 | 4 | 0 | 0 | 0 | 2 | 0 | 4 | 2 | 1 |
computable/promoted_library_slow/tan_generated_15891_neg_5_23_33 |
26 | 0 | 0 | 5 | 0 | 0 | 0 | 5 | 0 | 20 | 4 | 4 | 0 | 0 | 0 | 2 | 0 | 2 | 1 | 1 |
computable/promoted_library_slow/tan_generated_16806_pos_5_3_22 |
23 | 0 | 0 | 3 | 0 | 0 | 0 | 3 | 0 | 16 | 2 | 2 | 0 | 0 | 0 | 3 | 0 | 3 | 2 | 2 |
computable/promoted_library_slow/tan_generated_17496_pos_3_190_219 |
18 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 13 | 3 | 3 | 0 | 0 | 0 | 2 | 0 | 4 | 3 | 2 |
computable/promoted_library_slow/tan_generated_18666_pos_5_15_17 |
29 | 0 | 0 | 5 | 0 | 0 | 0 | 5 | 0 | 19 | 5 | 5 | 0 | 0 | 0 | 3 | 0 | 2 | 1 | 1 |
computable/promoted_library_slow/tan_generated_9231_neg_7_5_6 |
31 | 0 | 0 | 7 | 0 | 0 | 0 | 7 | 0 | 24 | 2 | 2 | 0 | 0 | 0 | 4 | 0 | 4 | 2 | 1 |
computable/promoted_library_slow/tan_generated_9591_neg_3_125_127 |
22 | 0 | 0 | 3 | 0 | 0 | 0 | 3 | 0 | 17 | 3 | 3 | 0 | 0 | 0 | 2 | 0 | 4 | 3 | 2 |
computable/sign_until/deep_half_product_cached |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
computable/sign_until/deep_scaled_product_cached |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
computable/sign_until/deep_scaled_product_floor_128 |
908 | 0 | 0 | 310 | 0 | 0 | 0 | 664 | 1 | 906 | 0 | 0 | 0 | 0 | 0 | 3 | 0 | 160 | 1 | 0 |
computable/sign_until/deep_scaled_product_floor_2000 |
908 | 0 | 0 | 310 | 0 | 0 | 0 | 664 | 1 | 906 | 0 | 0 | 0 | 0 | 0 | 3 | 0 | 160 | 1 | 0 |
computable/sign_until/exp_unknown_sign_arg_cached |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
computable/sign_until/exp_unknown_sign_arg_floor_2000 |
8 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 4 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 29 | 2 | 2 |
computable/sign_until/mixed_pi_e_floor_0 |
8 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 2 | 0 | 0 | 0 | 0 | 0 | 3 | 0 | 1 | 1 | 1 |
computable/sign_until/near_pi_floor_0_inconclusive |
20 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 4 | 14 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 28 | 3 | 3 |
computable/sign_until/near_pi_floor_64 |
17 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 14 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 28 | 3 | 3 |
computable/sign_until/perturbed_scaled_product_floor_2000 |
921 | 0 | 0 | 310 | 0 | 0 | 0 | 664 | 1 | 919 | 0 | 0 | 0 | 0 | 0 | 3 | 0 | 175 | 4 | 2 |
computable/sign_until/pi_minus_one_cached |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
computable/sign_until/pi_minus_one_floor_128 |
15 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 12 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 19 | 2 | 2 |
computable/sign_until/pi_minus_one_floor_2000 |
15 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 12 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 19 | 2 | 2 |
computable/sign_until/unsupported_sin_floor_64 |
14 | 0 | 0 | 1 | 0 | 0 | 2 | 0 | 8 | 4 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 9 | 2 | 2 |
computable/sqrt_squarefree_rational |
6 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4 | 0 | 0 |
computable/trig |
11 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 7 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 9 | 0 | 0 |
computable/trig/large |
22 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 10 | 0 | 0 | 0 | 0 | 0 | 6 | 0 | 18 | 2 | 2 |
computable/trig/large-exact-rational |
75 | 0 | 0 | 6 | 0 | 0 | 0 | 6 | 0 | 31 | 2 | 2 | 0 | 0 | 0 | 23 | 0 | 33 | 1 | 0 |
computable/trig_adversarial/cos_1e30 |
10 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 4 | 0 | 0 | 0 | 0 | 0 | 3 | 0 | 7 | 0 | 0 |
computable/trig_adversarial/cos_1e6 |
10 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 4 | 0 | 0 | 0 | 0 | 0 | 3 | 0 | 7 | 0 | 0 |
computable/trig_adversarial/cos_f64_exact |
5 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 3 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 4 | 0 | 0 |
computable/trig_adversarial/cos_huge_pi_plus_offset |
10 | 0 | 0 | 2 | 0 | 0 | 0 | 2 | 0 | 8 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 22 | 0 | 0 |
computable/trig_adversarial/cos_medium |
6 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 4 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 4 | 0 | 0 |
computable/trig_adversarial/cos_tiny |
2 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 6 | 0 | 0 |
computable/trig_adversarial/sin_1e30 |
10 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 4 | 0 | 0 | 0 | 0 | 0 | 3 | 0 | 7 | 0 | 0 |
computable/trig_adversarial/sin_1e6 |
10 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 4 | 0 | 0 | 0 | 0 | 0 | 3 | 0 | 7 | 0 | 0 |
computable/trig_adversarial/sin_f64_exact |
5 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 3 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 4 | 0 | 0 |
computable/trig_adversarial/sin_huge_pi_plus_offset |
9 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 7 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 22 | 0 | 0 |
computable/trig_adversarial/sin_medium |
5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 4 | 0 | 0 |
computable/trig_adversarial/sin_tiny |
2 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 6 | 0 | 0 |
computable/trig_adversarial/tan_1e30 |
15 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 5 | 1 | 1 | 0 | 0 | 0 | 5 | 0 | 1 | 0 | 0 |
computable/trig_adversarial/tan_1e6 |
15 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 5 | 1 | 1 | 0 | 0 | 0 | 5 | 0 | 1 | 0 | 0 |
computable/trig_adversarial/tan_huge_pi_plus_offset |
12 | 0 | 0 | 2 | 0 | 0 | 0 | 2 | 0 | 8 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 2 | 0 | 0 |
computable/trig_adversarial/tan_medium |
8 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 4 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 0 |
computable/trig_adversarial/tan_near_half_pi |
1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 1 | 0 |
computable/trig_adversarial/tan_promoted_generated_604_125 |
17 | 0 | 0 | 3 | 0 | 0 | 0 | 3 | 0 | 10 | 2 | 2 | 0 | 0 | 0 | 3 | 0 | 0 | 0 | 0 |
computable/trig_adversarial/tan_tiny |
1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
real/arithmetic/exact |
21 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 18 | 0 | 0 | 0 | 0 | 0 | 4 | 0 | 6 | 0 | 0 |
real/constants |
17 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 9 | 0 | 6 | 0 | 0 |
real/div/const_product_sqrt_over_e |
34 | 0 | 0 | 0 | 2 | 1 | 0 | 1 | 1 | 5 | 0 | 0 | 0 | 0 | 0 | 13 | 0 | 4 | 0 | 0 |
real/div/div_const_product_sqrt |
45 | 0 | 0 | 0 | 4 | 2 | 0 | 2 | 2 | 12 | 0 | 0 | 0 | 0 | 0 | 12 | 2 | 9 | 0 | 0 |
real/div/div_const_products |
22 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 11 | 0 | 2 | 0 | 0 |
real/div/rational_over_symbolic |
16 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 5 | 0 | 0 | 0 | 0 | 0 | 5 | 0 | 4 | 0 | 0 |
real/div/sqrt_two_over_sqrt_three |
16 | 0 | 0 | 0 | 4 | 2 | 0 | 2 | 2 | 12 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 7 | 1 | 1 |
real/dot_product/active_dot3_dense_symbolic |
56 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 20 | 0 | 0 | 0 | 0 | 0 | 20 | 0 | 6 | 0 | 0 |
real/dot_product/active_dot4_dense_symbolic |
68 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 28 | 0 | 0 | 0 | 0 | 0 | 21 | 1 | 18 | 0 | 0 |
real/dot_product/dot3_all_zero |
12 | 0 | 0 | 0 | 4 | 0 | 0 | 0 | 4 | 1 | 0 | 0 | 0 | 0 | 0 | 4 | 0 | 5 | 0 | 0 |
real/dot_product/dot3_dense_symbolic |
62 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 26 | 0 | 0 | 0 | 0 | 0 | 23 | 1 | 7 | 0 | 0 |
real/dot_product/dot3_mixed_structural |
21 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 9 | 0 | 0 | 0 | 0 | 0 | 6 | 1 | 13 | 1 | 1 |
real/dot_product/dot4_dense_symbolic |
74 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 34 | 0 | 0 | 0 | 0 | 0 | 25 | 1 | 19 | 0 | 0 |
real/dot_product/dot4_mixed_structural |
33 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 2 | 18 | 0 | 0 | 0 | 0 | 0 | 6 | 0 | 26 | 3 | 3 |
real/forward_hyperbolic/large |
128 | 0 | 0 | 0 | 27 | 0 | 0 | 0 | 39 | 63 | 0 | 0 | 0 | 0 | 0 | 14 | 28 | 51 | 0 | 0 |
real/forward_hyperbolic/small |
54 | 0 | 0 | 6 | 11 | 0 | 0 | 2 | 13 | 35 | 0 | 0 | 0 | 0 | 0 | 4 | 8 | 16 | 1 | 0 |
real/geometry_polynomial_substrate |
362 | 0 | 0 | 2 | 33 | 4 | 0 | 23 | 27 | 265 | 0 | 0 | 0 | 0 | 0 | 50 | 5 | 149 | 19 | 15 |
real/hyperbolic_log_exp |
20 | 0 | 0 | 1 | 5 | 1 | 0 | 4 | 5 | 15 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 6 | 0 | 0 |
real/inverse/inverse_generic |
13 | 0 | 0 | 0 | 2 | 1 | 0 | 1 | 1 | 11 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 1 | 1 |
real/inverse_hyperbolic/exact_rational |
35 | 0 | 0 | 0 | 9 | 0 | 0 | 0 | 11 | 24 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 12 | 3 | 1 |
real/inverse_hyperbolic/sqrt |
21 | 0 | 0 | 0 | 5 | 2 | 0 | 2 | 3 | 13 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 5 | 1 | 0 |
real/inverse_trig |
40 | 0 | 0 | 0 | 5 | 0 | 0 | 6 | 6 | 37 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 29 | 5 | 0 |
real/inverse_trig/exact |
40 | 0 | 0 | 0 | 6 | 1 | 0 | 1 | 5 | 23 | 0 | 0 | 0 | 0 | 0 | 10 | 0 | 6 | 5 | 2 |
real/inverse_trig/mid-domain |
45 | 0 | 0 | 7 | 4 | 0 | 0 | 11 | 4 | 42 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 16 | 5 | 1 |
real/log/scaled_e |
22 | 0 | 0 | 1 | 2 | 1 | 0 | 0 | 3 | 10 | 0 | 0 | 0 | 0 | 0 | 4 | 0 | 20 | 4 | 4 |
real/normal_scientific_substrate |
807 | 0 | 0 | 38 | 96 | 29 | 0 | 112 | 121 | 544 | 0 | 0 | 0 | 0 | 0 | 106 | 45 | 261 | 19 | 7 |
real/pow/small_integer_exponent |
8 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 1 | 1 |
real/pow/symbolic_negative_one |
18 | 0 | 0 | 1 | 3 | 0 | 0 | 0 | 3 | 4 | 0 | 0 | 0 | 0 | 0 | 5 | 0 | 2 | 0 | 0 |
real/pow_rational/direct_degree5 |
13 | 0 | 0 | 0 | 4 | 2 | 0 | 2 | 2 | 8 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4 | 1 | 1 |
real/powi_i64/exact_17 |
6 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 6 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 |
real/root_n/direct_degree5 |
6 | 0 | 0 | 0 | 2 | 1 | 0 | 1 | 1 | 4 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 0 |
real/root_n/direct_degree9 |
6 | 0 | 0 | 0 | 2 | 1 | 0 | 1 | 1 | 4 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 0 |
real/root_n/fallback_degree10 |
23 | 0 | 0 | 0 | 4 | 2 | 0 | 2 | 2 | 17 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 12 | 4 | 4 |
real/sign_until/eighth_root_near_dyadic_floor_64 |
18 | 0 | 0 | 0 | 4 | 1 | 0 | 1 | 8 | 7 | 0 | 0 | 0 | 2 | 0 | 0 | 1 | 5 | 1 | 0 |
real/sign_until/many_digits_c10_zero_floor_2048 |
75 | 0 | 0 | 0 | 10 | 3 | 0 | 3 | 16 | 46 | 0 | 0 | 0 | 4 | 0 | 6 | 5 | 75 | 0 | 0 |
real/sign_until/ramanujan_one_zero_floor_2048 |
195 | 0 | 0 | 0 | 14 | 5 | 0 | 15 | 19 | 163 | 0 | 0 | 0 | 4 | 0 | 38 | 6 | 121 | 0 | 0 |
real/sign_until/ramanujan_two_zero_floor_2048 |
153 | 0 | 0 | 0 | 12 | 4 | 0 | 5 | 21 | 119 | 0 | 0 | 0 | 4 | 0 | 18 | 4 | 62 | 3 | 3 |
real/sqrt_oversized_rational_fallback |
8 | 0 | 0 | 1 | 2 | 1 | 0 | 1 | 1 | 3 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 6 | 0 | 0 |
real/sqrt_scaled_exp |
16 | 0 | 0 | 1 | 3 | 1 | 0 | 0 | 4 | 8 | 0 | 0 | 0 | 0 | 0 | 2 | 2 | 9 | 0 | 0 |
real/sqrt_scaled_rational |
7 | 0 | 0 | 0 | 2 | 1 | 0 | 1 | 1 | 3 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 0 | 0 |
real/stable_scalar_substrate |
233 | 0 | 0 | 7 | 20 | 3 | 0 | 25 | 21 | 188 | 0 | 0 | 0 | 0 | 0 | 10 | 6 | 104 | 16 | 16 |
real/structural_queries |
21 | 0 | 0 | 1 | 2 | 0 | 0 | 0 | 3 | 13 | 0 | 0 | 0 | 0 | 0 | 5 | 0 | 22 | 2 | 2 |
real/trig/general |
22 | 0 | 0 | 0 | 3 | 0 | 0 | 3 | 3 | 22 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 17 | 1 | 0 |
real/trig/large |
13 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 2 | 13 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 21 | 0 | 0 |
real/trig/large-exact-rational |
37 | 0 | 0 | 0 | 6 | 0 | 0 | 0 | 6 | 37 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 44 | 0 | 0 |
| Trace Row | Layer | Operation | Path | Count |
|---|---|---|---|---|
computable/basic_transcendentals |
computable |
constructor |
rational-integer-canonicalized |
2 |
computable/basic_transcendentals |
computable |
constructor |
rational-node |
12 |
computable/basic_transcendentals |
computable |
constructor |
shared-constant-wrapper |
3 |
computable/basic_transcendentals |
computable |
exp |
structural-small-prescaled |
1 |
computable/basic_transcendentals |
computable |
ln |
binary-scale-reduction |
1 |
computable/basic_transcendentals |
computable |
ln |
dyadic-scale-rewrite |
1 |
computable/basic_transcendentals |
computable |
ln |
exact-rational-binary-scaled-ln1p |
1 |
computable/basic_transcendentals |
computable |
ln |
prescaled-ln1p-kernel |
1 |
computable/basic_transcendentals |
computable |
sqrt |
generic-sqrt-node |
1 |
computable/basic_transcendentals |
computable_approx |
ln |
binary-scaled-rational |
1 |
computable/basic_transcendentals |
rational |
comparison |
word-sized |
5 |
computable/basic_transcendentals |
rational |
retained-facts |
non-dyadic-hit |
2 |
computable/basic_transcendentals |
rational_algorithm |
gcd |
binary-word |
11 |
computable/compare/exact_msd_gap |
computable |
compare_to |
cheap-bound-msd-gap |
3 |
computable/compare/exact_msd_gap |
computable |
constructor |
cached-pi |
1 |
computable/compare/exact_msd_gap |
computable |
constructor |
rational-integer-canonicalized |
1 |
computable/compare/exact_msd_gap |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/compare/exact_rational |
computable |
compare_to |
exact-rational |
2 |
computable/compare/exact_rational |
computable |
constructor |
rational-node |
2 |
computable/compare/exact_rational |
rational_algorithm |
gcd |
binary-word |
2 |
computable/compare/opposite_sign |
computable |
compare_to |
exact-sign-opposite |
2 |
computable/compare/opposite_sign |
computable |
constructor |
cached-pi |
2 |
computable/compare/opposite_sign |
computable |
constructor |
shared-constant-wrapper |
2 |
computable/compare_absolute/dominant_add |
computable |
compare_absolute |
dominant-perturbation-other |
1 |
computable/compare_absolute/dominant_add |
computable |
compare_absolute |
dominant-perturbation-self |
1 |
computable/compare_absolute/dominant_add |
computable |
constructor |
cached-pi |
3 |
computable/compare_absolute/dominant_add |
computable |
constructor |
rational-node |
1 |
computable/compare_absolute/dominant_add |
computable |
constructor |
shared-constant-wrapper |
3 |
computable/compare_absolute/dominant_add |
rational |
add |
word-sized |
2 |
computable/compare_absolute/dominant_add |
rational |
arithmetic-reuse |
first-observation |
3 |
computable/compare_absolute/dominant_add |
rational |
comparison |
word-sized |
1 |
computable/compare_absolute/dominant_add |
rational |
word-reduction |
other-word-odd-denominator |
2 |
computable/compare_absolute/dominant_add |
rational |
word-result |
small-general-fraction |
2 |
computable/compare_absolute/dominant_add |
rational_algorithm |
gcd |
binary-word |
3 |
computable/compare_absolute/exact_msd_gap |
computable |
compare_absolute |
exact-sign-msd-gap |
2 |
computable/compare_absolute/exact_msd_gap |
computable |
constructor |
cached-pi |
1 |
computable/compare_absolute/exact_msd_gap |
computable |
constructor |
rational-integer-canonicalized |
1 |
computable/compare_absolute/exact_msd_gap |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/compare_absolute/exact_rational |
computable |
compare_absolute |
exact-rational |
3 |
computable/compare_absolute/exact_rational |
computable |
constructor |
rational-node |
2 |
computable/compare_absolute/exact_rational |
rational_algorithm |
gcd |
binary-word |
2 |
computable/compare_absolute/exact_rational_same_numerator |
computable |
compare_absolute |
exact-rational |
2 |
computable/compare_absolute/exact_rational_same_numerator |
computable |
constructor |
rational-integer-canonicalized |
1 |
computable/compare_absolute/exact_rational_same_numerator |
computable |
constructor |
rational-node |
1 |
computable/compare_absolute/exact_rational_same_numerator |
rational_algorithm |
gcd |
euclidean-wide-word |
1 |
computable/compare_absolute/exact_rational_same_numerator |
rational_algorithm |
reduction-denominator |
backend-single-limb |
1 |
computable/compare_absolute/exact_rational_same_numerator |
rational_algorithm |
reduction-numerator |
backend-single-limb |
1 |
computable/constants |
computable |
constructor |
cached-e |
1 |
computable/constants |
computable |
constructor |
cached-e-internal |
1 |
computable/constants |
computable |
constructor |
cached-pi |
1 |
computable/constants |
computable |
constructor |
cached-tau |
1 |
computable/constants |
computable |
constructor |
shared-constant-wrapper |
3 |
computable/exp_cached_probe |
computable |
constructor |
rational-node |
1 |
computable/exp_cached_probe |
computable |
exp |
structural-small-prescaled |
1 |
computable/exp_cached_probe |
rational_algorithm |
gcd |
binary-word |
1 |
computable/exp_large_rational |
computable |
constructor |
cached-e-internal |
1 |
computable/exp_large_rational |
computable |
constructor |
one |
1 |
computable/exp_large_rational |
computable |
constructor |
rational-integer-canonicalized |
1 |
computable/exp_large_rational |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/exp_large_rational |
computable |
exp |
bounded-integer-e-power |
1 |
computable/inverse_hyperbolic_adversarial/acosh_large |
computable |
acosh |
exact-integer-at-least-two-direct-radicand |
1 |
computable/inverse_hyperbolic_adversarial/acosh_large |
computable |
constructor |
rational-integer-canonicalized |
1 |
computable/inverse_hyperbolic_adversarial/acosh_large |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/inverse_hyperbolic_adversarial/acosh_large |
computable |
ln |
binary-scale-reduction |
1 |
computable/inverse_hyperbolic_adversarial/acosh_large |
computable |
ln |
prescaled-ln1p-kernel |
1 |
computable/inverse_hyperbolic_adversarial/acosh_large |
computable |
sqrt |
generic-sqrt-node |
1 |
computable/inverse_hyperbolic_adversarial/acosh_large |
rational |
mul |
word-sized |
1 |
computable/inverse_hyperbolic_adversarial/acosh_large |
rational |
word-result |
uncached-integer-wide |
1 |
computable/inverse_hyperbolic_adversarial/acosh_one_plus_tiny |
computable |
acosh |
near-one-ln1p-transform |
1 |
computable/inverse_hyperbolic_adversarial/acosh_one_plus_tiny |
computable |
constructor |
one |
1 |
computable/inverse_hyperbolic_adversarial/acosh_one_plus_tiny |
computable |
constructor |
rational-integer-canonicalized |
2 |
computable/inverse_hyperbolic_adversarial/acosh_one_plus_tiny |
computable |
constructor |
rational-node |
3 |
computable/inverse_hyperbolic_adversarial/acosh_one_plus_tiny |
computable |
sqrt |
generic-sqrt-node |
1 |
computable/inverse_hyperbolic_adversarial/acosh_one_plus_tiny |
rational |
add |
word-sized |
2 |
computable/inverse_hyperbolic_adversarial/acosh_one_plus_tiny |
rational |
arithmetic-reuse |
first-observation |
4 |
computable/inverse_hyperbolic_adversarial/acosh_one_plus_tiny |
rational |
comparison |
word-sized |
2 |
computable/inverse_hyperbolic_adversarial/acosh_one_plus_tiny |
rational |
mul |
word-sized |
1 |
computable/inverse_hyperbolic_adversarial/acosh_one_plus_tiny |
rational |
retained-facts |
non-dyadic-hit |
1 |
computable/inverse_hyperbolic_adversarial/acosh_one_plus_tiny |
rational |
square_extraction |
shared-divisor-remainder |
1 |
computable/inverse_hyperbolic_adversarial/acosh_one_plus_tiny |
rational |
square_extraction |
shared-small-factor-remainder |
1 |
computable/inverse_hyperbolic_adversarial/acosh_one_plus_tiny |
rational |
word-reduction |
power-of-five-denominator |
1 |
computable/inverse_hyperbolic_adversarial/acosh_one_plus_tiny |
rational |
word-result |
small-general-fraction |
1 |
computable/inverse_hyperbolic_adversarial/acosh_one_plus_tiny |
rational |
word-result |
wide-general-fraction |
2 |
computable/inverse_hyperbolic_adversarial/acosh_sqrt_two |
computable |
acosh |
sqrt-two-asinh-one |
1 |
computable/inverse_hyperbolic_adversarial/acosh_sqrt_two |
computable |
constructor |
cached-asinh1 |
1 |
computable/inverse_hyperbolic_adversarial/acosh_sqrt_two |
computable |
constructor |
one |
1 |
computable/inverse_hyperbolic_adversarial/acosh_sqrt_two |
computable |
constructor |
rational-integer-canonicalized |
3 |
computable/inverse_hyperbolic_adversarial/acosh_sqrt_two |
computable |
constructor |
shared-constant-wrapper |
2 |
computable/inverse_hyperbolic_adversarial/acosh_sqrt_two |
computable |
constructor |
shared-sqrt-constant-probe |
1 |
computable/inverse_hyperbolic_adversarial/acosh_sqrt_two |
computable |
ln |
prescaled-ln1p-kernel |
1 |
computable/inverse_hyperbolic_adversarial/acosh_sqrt_two |
computable |
ln |
sqrt-range-reduction |
1 |
computable/inverse_hyperbolic_adversarial/acosh_sqrt_two |
computable |
sqrt |
generic-sqrt-node |
2 |
computable/inverse_hyperbolic_adversarial/acosh_sqrt_two |
rational |
comparison |
word-sized |
1 |
computable/inverse_hyperbolic_adversarial/acosh_sqrt_two |
rational_algorithm |
gcd |
binary-word |
2 |
computable/inverse_hyperbolic_adversarial/acosh_sqrt_two |
rational_algorithm |
reduction-denominator |
backend-single-limb |
1 |
computable/inverse_hyperbolic_adversarial/acosh_sqrt_two |
rational_algorithm |
reduction-numerator |
backend-single-limb |
1 |
computable/inverse_hyperbolic_adversarial/acosh_two |
computable |
acosh |
exact-two-constant |
1 |
computable/inverse_hyperbolic_adversarial/acosh_two |
computable |
constructor |
cached-acosh2 |
1 |
computable/inverse_hyperbolic_adversarial/acosh_two |
computable |
constructor |
rational-integer-canonicalized |
4 |
computable/inverse_hyperbolic_adversarial/acosh_two |
computable |
constructor |
shared-constant-wrapper |
2 |
computable/inverse_hyperbolic_adversarial/acosh_two |
computable |
constructor |
shared-sqrt-constant-probe |
1 |
computable/inverse_hyperbolic_adversarial/acosh_two |
computable |
ln |
prescaled-ln1p-kernel |
1 |
computable/inverse_hyperbolic_adversarial/acosh_two |
computable |
ln |
sqrt-range-reduction |
1 |
computable/inverse_hyperbolic_adversarial/acosh_two |
computable |
sqrt |
generic-sqrt-node |
2 |
computable/inverse_hyperbolic_adversarial/acosh_two |
rational |
add |
word-sized |
2 |
computable/inverse_hyperbolic_adversarial/acosh_two |
rational |
arithmetic-reuse |
first-observation |
3 |
computable/inverse_hyperbolic_adversarial/acosh_two |
rational |
comparison |
word-sized |
1 |
computable/inverse_hyperbolic_adversarial/acosh_two |
rational |
word-result |
small-general-fraction |
2 |
computable/inverse_hyperbolic_adversarial/acosh_two |
rational_algorithm |
gcd |
binary-word |
2 |
computable/inverse_hyperbolic_adversarial/acosh_two |
rational_algorithm |
reduction-denominator |
backend-single-limb |
1 |
computable/inverse_hyperbolic_adversarial/acosh_two |
rational_algorithm |
reduction-numerator |
backend-single-limb |
1 |
computable/inverse_hyperbolic_adversarial/asinh_large |
computable |
asinh |
exact-large-direct-ln-sqrt |
1 |
computable/inverse_hyperbolic_adversarial/asinh_large |
computable |
constructor |
one |
1 |
computable/inverse_hyperbolic_adversarial/asinh_large |
computable |
constructor |
rational-integer-canonicalized |
2 |
computable/inverse_hyperbolic_adversarial/asinh_large |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/inverse_hyperbolic_adversarial/asinh_large |
computable |
ln |
binary-scale-reduction |
1 |
computable/inverse_hyperbolic_adversarial/asinh_large |
computable |
ln |
prescaled-ln1p-kernel |
1 |
computable/inverse_hyperbolic_adversarial/asinh_large |
computable |
sqrt |
generic-sqrt-node |
1 |
computable/inverse_hyperbolic_adversarial/asinh_large |
rational |
mul |
word-sized |
1 |
computable/inverse_hyperbolic_adversarial/asinh_large |
rational |
word-result |
uncached-integer-wide |
1 |
computable/inverse_hyperbolic_adversarial/asinh_large_negative |
computable |
asinh |
exact-large-direct-ln-sqrt |
1 |
computable/inverse_hyperbolic_adversarial/asinh_large_negative |
computable |
asinh |
known-negative-symmetry |
1 |
computable/inverse_hyperbolic_adversarial/asinh_large_negative |
computable |
constructor |
one |
1 |
computable/inverse_hyperbolic_adversarial/asinh_large_negative |
computable |
constructor |
rational-integer-canonicalized |
3 |
computable/inverse_hyperbolic_adversarial/asinh_large_negative |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/inverse_hyperbolic_adversarial/asinh_large_negative |
computable |
ln |
binary-scale-reduction |
1 |
computable/inverse_hyperbolic_adversarial/asinh_large_negative |
computable |
ln |
prescaled-ln1p-kernel |
1 |
computable/inverse_hyperbolic_adversarial/asinh_large_negative |
computable |
sqrt |
generic-sqrt-node |
1 |
computable/inverse_hyperbolic_adversarial/asinh_large_negative |
rational |
mul |
word-sized |
1 |
computable/inverse_hyperbolic_adversarial/asinh_large_negative |
rational |
word-result |
uncached-integer-wide |
1 |
computable/inverse_hyperbolic_adversarial/asinh_mid |
computable |
asinh |
near-zero-ln1p-transform |
1 |
computable/inverse_hyperbolic_adversarial/asinh_mid |
computable |
constructor |
one |
1 |
computable/inverse_hyperbolic_adversarial/asinh_mid |
computable |
constructor |
rational-node |
2 |
computable/inverse_hyperbolic_adversarial/asinh_mid |
computable |
sqrt |
generic-sqrt-node |
1 |
computable/inverse_hyperbolic_adversarial/asinh_mid |
rational |
mul |
word-sized |
1 |
computable/inverse_hyperbolic_adversarial/asinh_mid |
rational |
word-result |
cached-small-dyadic |
1 |
computable/inverse_hyperbolic_adversarial/asinh_tiny |
computable |
asinh |
exact-small-rational-series |
1 |
computable/inverse_hyperbolic_adversarial/asinh_tiny |
computable |
constructor |
asinh-rational-deferred |
1 |
computable/inverse_hyperbolic_adversarial/atanh_mid |
computable |
atanh |
exact-half-ln3 |
1 |
computable/inverse_hyperbolic_adversarial/atanh_mid |
computable |
constructor |
rational-node |
1 |
computable/inverse_hyperbolic_adversarial/atanh_mid |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/inverse_hyperbolic_adversarial/atanh_mid |
computable |
constructor |
shared-log-constant-probe |
1 |
computable/inverse_hyperbolic_adversarial/atanh_near_minus_one |
computable |
atanh |
exact-log-ratio |
1 |
computable/inverse_hyperbolic_adversarial/atanh_near_minus_one |
computable |
atanh |
exact-negative-symmetry |
1 |
computable/inverse_hyperbolic_adversarial/atanh_near_minus_one |
computable |
constructor |
rational-node |
2 |
computable/inverse_hyperbolic_adversarial/atanh_near_minus_one |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/inverse_hyperbolic_adversarial/atanh_near_minus_one |
computable |
ln |
exact-rational-binary-scaled-ln1p |
1 |
computable/inverse_hyperbolic_adversarial/atanh_near_minus_one |
computable_approx |
ln |
binary-scaled-rational |
1 |
computable/inverse_hyperbolic_adversarial/atanh_near_minus_one |
rational |
comparison |
dyadic-borrowed-digits |
4 |
computable/inverse_hyperbolic_adversarial/atanh_near_minus_one |
rational |
div |
word-sized |
1 |
computable/inverse_hyperbolic_adversarial/atanh_near_minus_one |
rational |
word-result |
uncached-integer-wide |
1 |
computable/inverse_hyperbolic_adversarial/atanh_near_one |
computable |
atanh |
exact-log-ratio |
1 |
computable/inverse_hyperbolic_adversarial/atanh_near_one |
computable |
constructor |
rational-node |
1 |
computable/inverse_hyperbolic_adversarial/atanh_near_one |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/inverse_hyperbolic_adversarial/atanh_near_one |
computable |
ln |
exact-rational-binary-scaled-ln1p |
1 |
computable/inverse_hyperbolic_adversarial/atanh_near_one |
computable_approx |
ln |
binary-scaled-rational |
1 |
computable/inverse_hyperbolic_adversarial/atanh_near_one |
rational |
comparison |
dyadic-borrowed-digits |
4 |
computable/inverse_hyperbolic_adversarial/atanh_near_one |
rational |
div |
word-sized |
1 |
computable/inverse_hyperbolic_adversarial/atanh_near_one |
rational |
word-result |
uncached-integer-wide |
1 |
computable/inverse_hyperbolic_adversarial/atanh_tiny |
computable |
atanh |
exact-tiny-prescaled |
1 |
computable/inverse_hyperbolic_adversarial/atanh_tiny |
computable |
constructor |
atanh-rational-deferred |
1 |
computable/inverse_trig |
computable |
acos |
tiny-via-asin |
1 |
computable/inverse_trig |
computable |
asin |
exact-tiny-rational-series |
2 |
computable/inverse_trig |
computable |
atanh |
exact-tiny-prescaled |
1 |
computable/inverse_trig |
computable |
constructor |
asin-rational-deferred |
2 |
computable/inverse_trig |
computable |
constructor |
atanh-rational-deferred |
1 |
computable/inverse_trig |
computable |
constructor |
cached-pi |
1 |
computable/inverse_trig |
computable |
constructor |
rational-node |
2 |
computable/inverse_trig |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/inverse_trig |
rational |
add |
word-sized |
1 |
computable/inverse_trig |
rational |
arithmetic-reuse |
first-observation |
1 |
computable/inverse_trig |
rational |
word-result |
zero |
1 |
computable/inverse_trig/mid-domain |
computable |
acos |
positive-rational-deferred |
1 |
computable/inverse_trig/mid-domain |
computable |
asin |
positive-rational-deferred |
1 |
computable/inverse_trig/mid-domain |
computable |
atan |
exact-rational-deferred |
1 |
computable/inverse_trig/mid-domain |
computable |
atanh |
exact-log-ratio |
1 |
computable/inverse_trig/mid-domain |
computable |
constructor |
acos-positive-rational-deferred |
1 |
computable/inverse_trig/mid-domain |
computable |
constructor |
asin-rational-deferred |
1 |
computable/inverse_trig/mid-domain |
computable |
constructor |
atan-rational-deferred |
1 |
computable/inverse_trig/mid-domain |
computable |
constructor |
cached-atan-inv5 |
1 |
computable/inverse_trig/mid-domain |
computable |
constructor |
cached-pi |
2 |
computable/inverse_trig/mid-domain |
computable |
constructor |
rational-node |
5 |
computable/inverse_trig/mid-domain |
computable |
constructor |
shared-constant-wrapper |
4 |
computable/inverse_trig/mid-domain |
computable |
ln |
exact-rational-binary-scaled-ln1p |
1 |
computable/inverse_trig/mid-domain |
computable |
structural |
quadratic-surd |
2 |
computable/inverse_trig/mid-domain |
computable_approx |
acos |
small-rational-residual |
2 |
computable/inverse_trig/mid-domain |
computable_approx |
asin |
rational-acos-complement |
1 |
computable/inverse_trig/mid-domain |
computable_approx |
atan |
exact-rational-reduction |
1 |
computable/inverse_trig/mid-domain |
computable_approx |
atan |
two-thirds-anchor-shared |
1 |
computable/inverse_trig/mid-domain |
computable_approx |
ln |
binary-scaled-rational |
1 |
computable/inverse_trig/mid-domain |
rational |
comparison |
dyadic-borrowed-digits |
3 |
computable/inverse_trig/mid-domain |
rational |
comparison |
word-sized |
9 |
computable/inverse_trig/mid-domain |
rational |
div |
word-sized |
3 |
computable/inverse_trig/mid-domain |
rational |
mul-div |
proven-reduced-word-product |
3 |
computable/inverse_trig/mid-domain |
rational |
retained-facts |
non-dyadic-hit |
3 |
computable/inverse_trig/mid-domain |
rational |
word-result |
small-general-fraction |
3 |
computable/inverse_trig/mid-domain |
rational_algorithm |
gcd |
binary-word |
6 |
computable/inverse_trig_adversarial/acos_mid |
computable |
acos |
positive-rational-deferred |
1 |
computable/inverse_trig_adversarial/acos_mid |
computable |
constructor |
acos-positive-rational-deferred |
1 |
computable/inverse_trig_adversarial/acos_mid |
computable_approx |
acos |
small-rational-residual |
1 |
computable/inverse_trig_adversarial/acos_mid |
rational |
comparison |
word-sized |
1 |
computable/inverse_trig_adversarial/acos_mid |
rational |
div |
word-sized |
1 |
computable/inverse_trig_adversarial/acos_mid |
rational |
retained-facts |
non-dyadic-hit |
1 |
computable/inverse_trig_adversarial/acos_mid |
rational |
word-reduction |
other-small-odd-denominator |
1 |
computable/inverse_trig_adversarial/acos_mid |
rational |
word-result |
cached-small-general-fraction |
1 |
computable/inverse_trig_adversarial/acos_near_minus_one |
computable |
acos |
negative-rational-deferred |
1 |
computable/inverse_trig_adversarial/acos_near_minus_one |
computable |
constructor |
acos-negative-rational-deferred |
1 |
computable/inverse_trig_adversarial/acos_near_minus_one |
computable |
constructor |
cached-pi |
1 |
computable/inverse_trig_adversarial/acos_near_minus_one |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/inverse_trig_adversarial/acos_near_minus_one |
computable_approx |
acos |
small-rational-residual |
1 |
computable/inverse_trig_adversarial/acos_near_minus_one |
rational |
comparison |
word-sized |
1 |
computable/inverse_trig_adversarial/acos_near_minus_one |
rational |
div |
word-sized |
1 |
computable/inverse_trig_adversarial/acos_near_minus_one |
rational |
neg |
retained |
1 |
computable/inverse_trig_adversarial/acos_near_minus_one |
rational |
word-reduction |
other-word-odd-denominator |
1 |
computable/inverse_trig_adversarial/acos_near_minus_one |
rational |
word-result |
small-general-fraction |
1 |
computable/inverse_trig_adversarial/acos_near_one |
computable |
acos |
positive-rational-deferred |
1 |
computable/inverse_trig_adversarial/acos_near_one |
computable |
constructor |
acos-positive-rational-deferred |
1 |
computable/inverse_trig_adversarial/acos_near_one |
computable_approx |
acos |
small-rational-residual |
1 |
computable/inverse_trig_adversarial/acos_near_one |
rational |
comparison |
word-sized |
1 |
computable/inverse_trig_adversarial/acos_near_one |
rational |
div |
word-sized |
1 |
computable/inverse_trig_adversarial/acos_near_one |
rational |
word-reduction |
other-word-odd-denominator |
1 |
computable/inverse_trig_adversarial/acos_near_one |
rational |
word-result |
small-general-fraction |
1 |
computable/inverse_trig_adversarial/acos_tiny |
computable |
acos |
tiny-via-asin |
1 |
computable/inverse_trig_adversarial/acos_tiny |
computable |
asin |
exact-tiny-rational-series |
1 |
computable/inverse_trig_adversarial/acos_tiny |
computable |
constructor |
asin-rational-deferred |
1 |
computable/inverse_trig_adversarial/acos_tiny |
computable |
constructor |
cached-pi |
1 |
computable/inverse_trig_adversarial/acos_tiny |
computable |
constructor |
rational-node |
1 |
computable/inverse_trig_adversarial/acos_tiny |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/inverse_trig_adversarial/acos_tiny |
rational |
add |
word-sized |
1 |
computable/inverse_trig_adversarial/acos_tiny |
rational |
arithmetic-reuse |
first-observation |
1 |
computable/inverse_trig_adversarial/acos_tiny |
rational |
word-result |
zero |
1 |
computable/inverse_trig_adversarial/acos_zero |
computable |
acos |
exact-zero-half-pi |
1 |
computable/inverse_trig_adversarial/acos_zero |
computable |
constructor |
cached-pi |
1 |
computable/inverse_trig_adversarial/acos_zero |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/inverse_trig_adversarial/asin_mid |
computable |
asin |
positive-rational-deferred |
1 |
computable/inverse_trig_adversarial/asin_mid |
computable |
constructor |
asin-rational-deferred |
1 |
computable/inverse_trig_adversarial/asin_mid |
computable |
constructor |
cached-pi |
1 |
computable/inverse_trig_adversarial/asin_mid |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/inverse_trig_adversarial/asin_mid |
computable_approx |
acos |
small-rational-residual |
1 |
computable/inverse_trig_adversarial/asin_mid |
computable_approx |
asin |
rational-acos-complement |
1 |
computable/inverse_trig_adversarial/asin_mid |
rational |
comparison |
word-sized |
2 |
computable/inverse_trig_adversarial/asin_mid |
rational |
div |
word-sized |
1 |
computable/inverse_trig_adversarial/asin_mid |
rational |
word-reduction |
other-small-odd-denominator |
1 |
computable/inverse_trig_adversarial/asin_mid |
rational |
word-result |
cached-small-general-fraction |
1 |
computable/inverse_trig_adversarial/asin_near_minus_one |
computable |
asin |
signed-rational-deferred |
1 |
computable/inverse_trig_adversarial/asin_near_minus_one |
computable |
constructor |
asin-rational-deferred |
1 |
computable/inverse_trig_adversarial/asin_near_minus_one |
computable |
constructor |
cached-pi |
1 |
computable/inverse_trig_adversarial/asin_near_minus_one |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/inverse_trig_adversarial/asin_near_minus_one |
computable_approx |
acos |
small-rational-residual |
1 |
computable/inverse_trig_adversarial/asin_near_minus_one |
computable_approx |
asin |
rational-acos-complement |
1 |
computable/inverse_trig_adversarial/asin_near_minus_one |
rational |
comparison |
word-sized |
1 |
computable/inverse_trig_adversarial/asin_near_minus_one |
rational |
div |
word-sized |
1 |
computable/inverse_trig_adversarial/asin_near_minus_one |
rational |
word-reduction |
other-word-odd-denominator |
1 |
computable/inverse_trig_adversarial/asin_near_minus_one |
rational |
word-result |
small-general-fraction |
1 |
computable/inverse_trig_adversarial/asin_near_one |
computable |
asin |
endpoint-rational-deferred |
1 |
computable/inverse_trig_adversarial/asin_near_one |
computable |
constructor |
asin-rational-deferred |
1 |
computable/inverse_trig_adversarial/asin_near_one |
computable |
constructor |
cached-pi |
1 |
computable/inverse_trig_adversarial/asin_near_one |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/inverse_trig_adversarial/asin_near_one |
computable_approx |
acos |
small-rational-residual |
1 |
computable/inverse_trig_adversarial/asin_near_one |
computable_approx |
asin |
rational-acos-complement |
1 |
computable/inverse_trig_adversarial/asin_near_one |
rational |
comparison |
word-sized |
2 |
computable/inverse_trig_adversarial/asin_near_one |
rational |
div |
word-sized |
1 |
computable/inverse_trig_adversarial/asin_near_one |
rational |
word-reduction |
other-word-odd-denominator |
1 |
computable/inverse_trig_adversarial/asin_near_one |
rational |
word-result |
small-general-fraction |
1 |
computable/inverse_trig_adversarial/asin_tiny |
computable |
asin |
exact-tiny-rational-series |
1 |
computable/inverse_trig_adversarial/asin_tiny |
computable |
constructor |
asin-rational-deferred |
1 |
computable/inverse_trig_adversarial/asin_zero |
computable |
asin |
exact-zero |
1 |
computable/inverse_trig_adversarial/asin_zero |
computable |
constructor |
zero |
1 |
computable/inverse_trig_adversarial/atan_generated_783_412 |
computable |
atan |
exact-rational-deferred |
1 |
computable/inverse_trig_adversarial/atan_generated_783_412 |
computable |
constructor |
atan-rational-deferred |
1 |
computable/inverse_trig_adversarial/atan_generated_783_412 |
computable |
constructor |
cached-atan2 |
1 |
computable/inverse_trig_adversarial/atan_generated_783_412 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/inverse_trig_adversarial/atan_generated_783_412 |
computable |
structural |
quadratic-surd |
2 |
computable/inverse_trig_adversarial/atan_generated_783_412 |
computable_approx |
atan |
exact-rational-reduction |
1 |
computable/inverse_trig_adversarial/atan_generated_783_412 |
computable_approx |
atan |
two-anchor-shared |
1 |
computable/inverse_trig_adversarial/atan_generated_783_412 |
rational |
comparison |
word-sized |
3 |
computable/inverse_trig_adversarial/atan_generated_783_412 |
rational |
retained-facts |
non-dyadic-hit |
2 |
computable/inverse_trig_adversarial/atan_generated_783_412 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/inverse_trig_adversarial/atan_generated_minus_32_19 |
computable |
atan |
negative-rational-deferred |
1 |
computable/inverse_trig_adversarial/atan_generated_minus_32_19 |
computable |
constructor |
atan-rational-deferred |
1 |
computable/inverse_trig_adversarial/atan_generated_minus_32_19 |
computable |
constructor |
cached-atan-three-halves |
1 |
computable/inverse_trig_adversarial/atan_generated_minus_32_19 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/inverse_trig_adversarial/atan_generated_minus_32_19 |
computable |
structural |
quadratic-surd |
2 |
computable/inverse_trig_adversarial/atan_generated_minus_32_19 |
computable_approx |
atan |
exact-rational-reduction |
1 |
computable/inverse_trig_adversarial/atan_generated_minus_32_19 |
computable_approx |
atan |
three-halves-anchor-shared |
1 |
computable/inverse_trig_adversarial/atan_generated_minus_32_19 |
rational |
comparison |
word-sized |
4 |
computable/inverse_trig_adversarial/atan_generated_minus_32_19 |
rational |
retained-facts |
non-dyadic-hit |
3 |
computable/inverse_trig_adversarial/atan_generated_minus_32_19 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/inverse_trig_adversarial/atan_huge |
computable |
atan |
exact-rational-deferred |
1 |
computable/inverse_trig_adversarial/atan_huge |
computable |
constructor |
atan-rational-deferred |
1 |
computable/inverse_trig_adversarial/atan_huge |
computable |
constructor |
cached-pi |
1 |
computable/inverse_trig_adversarial/atan_huge |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/inverse_trig_adversarial/atan_huge |
computable |
structural |
quadratic-surd |
2 |
computable/inverse_trig_adversarial/atan_huge |
computable_approx |
atan |
exact-rational-reduction |
1 |
computable/inverse_trig_adversarial/atan_huge |
computable_approx |
atan |
large-integer-reciprocal |
1 |
computable/inverse_trig_adversarial/atan_huge |
rational |
comparison |
dyadic-borrowed-digits |
1 |
computable/inverse_trig_adversarial/atan_large |
computable |
atan |
exact-rational-deferred |
1 |
computable/inverse_trig_adversarial/atan_large |
computable |
constructor |
atan-rational-deferred |
1 |
computable/inverse_trig_adversarial/atan_large |
computable |
constructor |
cached-pi |
1 |
computable/inverse_trig_adversarial/atan_large |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/inverse_trig_adversarial/atan_large |
computable |
structural |
quadratic-surd |
2 |
computable/inverse_trig_adversarial/atan_large |
computable_approx |
atan |
exact-rational-reduction |
1 |
computable/inverse_trig_adversarial/atan_large |
computable_approx |
atan |
large-integer-reciprocal |
1 |
computable/inverse_trig_adversarial/atan_large |
rational |
comparison |
dyadic-borrowed-digits |
1 |
computable/inverse_trig_adversarial/atan_mid |
computable |
atan |
exact-rational-deferred |
1 |
computable/inverse_trig_adversarial/atan_mid |
computable |
constructor |
atan-rational-deferred |
1 |
computable/inverse_trig_adversarial/atan_mid |
computable |
constructor |
cached-atan-inv5 |
1 |
computable/inverse_trig_adversarial/atan_mid |
computable |
constructor |
cached-pi |
1 |
computable/inverse_trig_adversarial/atan_mid |
computable |
constructor |
shared-constant-wrapper |
2 |
computable/inverse_trig_adversarial/atan_mid |
computable |
structural |
quadratic-surd |
2 |
computable/inverse_trig_adversarial/atan_mid |
computable_approx |
atan |
exact-rational-reduction |
1 |
computable/inverse_trig_adversarial/atan_mid |
computable_approx |
atan |
two-thirds-anchor-shared |
1 |
computable/inverse_trig_adversarial/atan_mid |
rational |
comparison |
word-sized |
4 |
computable/inverse_trig_adversarial/atan_mid |
rational |
retained-facts |
non-dyadic-hit |
4 |
computable/inverse_trig_adversarial/atan_mid |
rational_algorithm |
gcd |
binary-word |
1 |
computable/inverse_trig_adversarial/atan_tiny |
computable |
atan |
exact-rational-deferred |
1 |
computable/inverse_trig_adversarial/atan_tiny |
computable |
constructor |
atan-rational-deferred |
1 |
computable/inverse_trig_adversarial/atan_tiny |
computable |
structural |
quadratic-surd |
2 |
computable/inverse_trig_adversarial/atan_tiny |
computable_approx |
atan |
exact-rational-reduction |
1 |
computable/inverse_trig_adversarial/atan_zero |
computable |
atan |
exact-zero |
1 |
computable/inverse_trig_adversarial/atan_zero |
computable |
constructor |
zero |
1 |
computable/inverse_trig_adversarial/atan_zero |
computable |
structural |
quadratic-surd |
2 |
computable/ln_nonsmooth_rational |
computable |
constructor |
rational-node |
2 |
computable/ln_nonsmooth_rational |
computable |
ln |
prescaled-ln1p-kernel |
1 |
computable/ln_nonsmooth_rational |
rational |
add |
word-sized |
1 |
computable/ln_nonsmooth_rational |
rational |
arithmetic-reuse |
first-observation |
2 |
computable/ln_nonsmooth_rational |
rational |
word-result |
cached-small-general-fraction |
1 |
computable/ln_nonsmooth_rational |
rational_algorithm |
gcd |
binary-word |
1 |
computable/ln_smooth_rational |
computable |
constructor |
one |
3 |
computable/ln_smooth_rational |
computable |
constructor |
rational-integer-canonicalized |
3 |
computable/ln_smooth_rational |
computable |
constructor |
rational-node |
1 |
computable/ln_smooth_rational |
computable |
constructor |
shared-constant-wrapper |
6 |
computable/ln_smooth_rational |
computable |
constructor |
shared-log-constant-probe |
4 |
computable/ln_smooth_rational |
computable |
constructor |
zero |
1 |
computable/ln_smooth_rational |
computable |
ln |
binary-scale-reduction |
2 |
computable/ln_smooth_rational |
computable |
ln |
prescaled-ln1p-kernel |
3 |
computable/ln_smooth_rational |
computable |
ln |
smooth-rational-shared-log-sum |
1 |
computable/ln_smooth_rational |
computable |
ln |
sqrt-range-reduction |
1 |
computable/ln_smooth_rational |
computable |
sqrt |
generic-sqrt-node |
2 |
computable/ln_smooth_rational |
rational |
comparison |
word-sized |
1 |
computable/ln_smooth_rational |
rational_algorithm |
gcd |
binary-word |
1 |
computable/ln_square_plus_one_promoted_generated_677_222 |
computable |
constructor |
one |
1 |
computable/ln_square_plus_one_promoted_generated_677_222 |
computable |
constructor |
rational-node |
3 |
computable/ln_square_plus_one_promoted_generated_677_222 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/ln_square_plus_one_promoted_generated_677_222 |
computable |
ln |
exact-rational-binary-scaled-ln1p |
1 |
computable/ln_square_plus_one_promoted_generated_677_222 |
computable_approx |
ln |
binary-scaled-rational |
1 |
computable/ln_square_plus_one_promoted_generated_677_222 |
rational |
comparison |
word-sized |
5 |
computable/ln_square_plus_one_promoted_generated_677_222 |
rational |
mul |
word-sized |
1 |
computable/ln_square_plus_one_promoted_generated_677_222 |
rational |
retained-facts |
non-dyadic-hit |
3 |
computable/ln_square_plus_one_promoted_generated_677_222 |
rational |
word-reduction |
other-small-odd-denominator |
1 |
computable/ln_square_plus_one_promoted_generated_677_222 |
rational |
word-result |
small-general-fraction |
1 |
computable/ln_square_plus_one_promoted_generated_677_222 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/atan_generated_10704_pos_1_371_412 |
computable |
atan |
exact-rational-deferred |
1 |
computable/promoted_library_slow/atan_generated_10704_pos_1_371_412 |
computable |
constructor |
atan-rational-deferred |
1 |
computable/promoted_library_slow/atan_generated_10704_pos_1_371_412 |
computable |
constructor |
cached-atan-inv2 |
1 |
computable/promoted_library_slow/atan_generated_10704_pos_1_371_412 |
computable |
constructor |
cached-atan2 |
1 |
computable/promoted_library_slow/atan_generated_10704_pos_1_371_412 |
computable |
constructor |
cached-pi |
1 |
computable/promoted_library_slow/atan_generated_10704_pos_1_371_412 |
computable |
constructor |
rational-node |
2 |
computable/promoted_library_slow/atan_generated_10704_pos_1_371_412 |
computable |
constructor |
shared-constant-wrapper |
3 |
computable/promoted_library_slow/atan_generated_10704_pos_1_371_412 |
computable |
structural |
quadratic-surd |
2 |
computable/promoted_library_slow/atan_generated_10704_pos_1_371_412 |
computable_approx |
atan |
exact-rational-reduction |
1 |
computable/promoted_library_slow/atan_generated_10704_pos_1_371_412 |
computable_approx |
atan |
two-anchor-shared |
1 |
computable/promoted_library_slow/atan_generated_10704_pos_1_371_412 |
rational |
comparison |
word-sized |
3 |
computable/promoted_library_slow/atan_generated_10704_pos_1_371_412 |
rational |
retained-facts |
non-dyadic-hit |
2 |
computable/promoted_library_slow/atan_generated_10704_pos_1_371_412 |
rational_algorithm |
gcd |
binary-word |
2 |
computable/promoted_library_slow/atan_generated_11034_pos_1_367_518 |
computable |
atan |
exact-rational-deferred |
1 |
computable/promoted_library_slow/atan_generated_11034_pos_1_367_518 |
computable |
constructor |
atan-rational-deferred |
1 |
computable/promoted_library_slow/atan_generated_11034_pos_1_367_518 |
computable |
constructor |
cached-atan-inv5 |
1 |
computable/promoted_library_slow/atan_generated_11034_pos_1_367_518 |
computable |
constructor |
cached-atan-three-halves |
1 |
computable/promoted_library_slow/atan_generated_11034_pos_1_367_518 |
computable |
constructor |
cached-pi |
1 |
computable/promoted_library_slow/atan_generated_11034_pos_1_367_518 |
computable |
constructor |
rational-node |
2 |
computable/promoted_library_slow/atan_generated_11034_pos_1_367_518 |
computable |
constructor |
shared-constant-wrapper |
3 |
computable/promoted_library_slow/atan_generated_11034_pos_1_367_518 |
computable |
structural |
quadratic-surd |
2 |
computable/promoted_library_slow/atan_generated_11034_pos_1_367_518 |
computable_approx |
atan |
exact-rational-reduction |
1 |
computable/promoted_library_slow/atan_generated_11034_pos_1_367_518 |
computable_approx |
atan |
three-halves-anchor-shared |
1 |
computable/promoted_library_slow/atan_generated_11034_pos_1_367_518 |
rational |
comparison |
word-sized |
4 |
computable/promoted_library_slow/atan_generated_11034_pos_1_367_518 |
rational |
retained-facts |
non-dyadic-hit |
3 |
computable/promoted_library_slow/atan_generated_11034_pos_1_367_518 |
rational_algorithm |
gcd |
binary-word |
2 |
computable/promoted_library_slow/cos_generated_16610_pos_7_4_19 |
computable |
constructor |
cached-pi |
1 |
computable/promoted_library_slow/cos_generated_16610_pos_7_4_19 |
computable |
constructor |
cos-large-rational-deferred |
1 |
computable/promoted_library_slow/cos_generated_16610_pos_7_4_19 |
computable |
constructor |
rational-node |
1 |
computable/promoted_library_slow/cos_generated_16610_pos_7_4_19 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/promoted_library_slow/cos_generated_16610_pos_7_4_19 |
computable |
cos |
large-rational-deferred |
1 |
computable/promoted_library_slow/cos_generated_16610_pos_7_4_19 |
computable_approx |
trig |
fixed-half-pi-multiple-5 |
1 |
computable/promoted_library_slow/cos_generated_16610_pos_7_4_19 |
rational |
add |
word-sized |
1 |
computable/promoted_library_slow/cos_generated_16610_pos_7_4_19 |
rational |
arithmetic-reuse |
first-observation |
1 |
computable/promoted_library_slow/cos_generated_16610_pos_7_4_19 |
rational |
comparison |
word-sized |
8 |
computable/promoted_library_slow/cos_generated_16610_pos_7_4_19 |
rational |
retained-facts |
non-dyadic-hit |
7 |
computable/promoted_library_slow/cos_generated_16610_pos_7_4_19 |
rational |
word-result |
small-general-fraction |
1 |
computable/promoted_library_slow/cos_generated_16610_pos_7_4_19 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/cos_generated_9365_pos_7_14_139 |
computable |
constructor |
cached-pi |
1 |
computable/promoted_library_slow/cos_generated_9365_pos_7_14_139 |
computable |
constructor |
cos-large-rational-deferred |
1 |
computable/promoted_library_slow/cos_generated_9365_pos_7_14_139 |
computable |
constructor |
rational-node |
1 |
computable/promoted_library_slow/cos_generated_9365_pos_7_14_139 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/promoted_library_slow/cos_generated_9365_pos_7_14_139 |
computable |
cos |
large-rational-deferred |
1 |
computable/promoted_library_slow/cos_generated_9365_pos_7_14_139 |
computable_approx |
trig |
fixed-half-pi-multiple-5 |
1 |
computable/promoted_library_slow/cos_generated_9365_pos_7_14_139 |
rational |
add |
word-sized |
1 |
computable/promoted_library_slow/cos_generated_9365_pos_7_14_139 |
rational |
arithmetic-reuse |
first-observation |
1 |
computable/promoted_library_slow/cos_generated_9365_pos_7_14_139 |
rational |
comparison |
word-sized |
8 |
computable/promoted_library_slow/cos_generated_9365_pos_7_14_139 |
rational |
retained-facts |
non-dyadic-hit |
7 |
computable/promoted_library_slow/cos_generated_9365_pos_7_14_139 |
rational |
word-result |
small-general-fraction |
1 |
computable/promoted_library_slow/cos_generated_9365_pos_7_14_139 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/ln_generated_10732_pos_6_6_137 |
computable |
constructor |
one |
1 |
computable/promoted_library_slow/ln_generated_10732_pos_6_6_137 |
computable |
constructor |
rational-node |
3 |
computable/promoted_library_slow/ln_generated_10732_pos_6_6_137 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/promoted_library_slow/ln_generated_10732_pos_6_6_137 |
computable |
ln |
exact-rational-binary-scaled-ln1p |
1 |
computable/promoted_library_slow/ln_generated_10732_pos_6_6_137 |
computable_approx |
ln |
binary-scaled-rational |
1 |
computable/promoted_library_slow/ln_generated_10732_pos_6_6_137 |
rational |
add |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_10732_pos_6_6_137 |
rational |
arithmetic-reuse |
first-observation |
1 |
computable/promoted_library_slow/ln_generated_10732_pos_6_6_137 |
rational |
comparison |
word-sized |
5 |
computable/promoted_library_slow/ln_generated_10732_pos_6_6_137 |
rational |
mul |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_10732_pos_6_6_137 |
rational |
retained-facts |
non-dyadic-hit |
3 |
computable/promoted_library_slow/ln_generated_10732_pos_6_6_137 |
rational |
word-reduction |
other-small-odd-denominator |
1 |
computable/promoted_library_slow/ln_generated_10732_pos_6_6_137 |
rational |
word-result |
small-general-fraction |
2 |
computable/promoted_library_slow/ln_generated_10732_pos_6_6_137 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/ln_generated_11317_neg_8_21_53 |
computable |
constructor |
one |
1 |
computable/promoted_library_slow/ln_generated_11317_neg_8_21_53 |
computable |
constructor |
rational-node |
3 |
computable/promoted_library_slow/ln_generated_11317_neg_8_21_53 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/promoted_library_slow/ln_generated_11317_neg_8_21_53 |
computable |
ln |
exact-rational-binary-scaled-ln1p |
1 |
computable/promoted_library_slow/ln_generated_11317_neg_8_21_53 |
computable_approx |
ln |
binary-scaled-rational |
1 |
computable/promoted_library_slow/ln_generated_11317_neg_8_21_53 |
rational |
arithmetic-reuse |
first-observation |
2 |
computable/promoted_library_slow/ln_generated_11317_neg_8_21_53 |
rational |
comparison |
word-sized |
5 |
computable/promoted_library_slow/ln_generated_11317_neg_8_21_53 |
rational |
mul |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_11317_neg_8_21_53 |
rational |
retained-facts |
non-dyadic-hit |
3 |
computable/promoted_library_slow/ln_generated_11317_neg_8_21_53 |
rational |
sub |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_11317_neg_8_21_53 |
rational |
word-reduction |
other-small-odd-denominator |
1 |
computable/promoted_library_slow/ln_generated_11317_neg_8_21_53 |
rational |
word-result |
small-general-fraction |
2 |
computable/promoted_library_slow/ln_generated_11317_neg_8_21_53 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/ln_generated_11497_pos_1_137_564 |
computable |
constructor |
one |
1 |
computable/promoted_library_slow/ln_generated_11497_pos_1_137_564 |
computable |
constructor |
rational-node |
3 |
computable/promoted_library_slow/ln_generated_11497_pos_1_137_564 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/promoted_library_slow/ln_generated_11497_pos_1_137_564 |
computable |
ln |
exact-rational-binary-scaled-ln1p |
1 |
computable/promoted_library_slow/ln_generated_11497_pos_1_137_564 |
computable_approx |
ln |
binary-scaled-rational |
1 |
computable/promoted_library_slow/ln_generated_11497_pos_1_137_564 |
rational |
comparison |
word-sized |
5 |
computable/promoted_library_slow/ln_generated_11497_pos_1_137_564 |
rational |
mul |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_11497_pos_1_137_564 |
rational |
retained-facts |
non-dyadic-hit |
3 |
computable/promoted_library_slow/ln_generated_11497_pos_1_137_564 |
rational |
word-reduction |
other-small-odd-denominator |
1 |
computable/promoted_library_slow/ln_generated_11497_pos_1_137_564 |
rational |
word-result |
small-general-fraction |
1 |
computable/promoted_library_slow/ln_generated_11497_pos_1_137_564 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/ln_generated_14377_neg_1_189_764 |
computable |
constructor |
one |
1 |
computable/promoted_library_slow/ln_generated_14377_neg_1_189_764 |
computable |
constructor |
rational-node |
3 |
computable/promoted_library_slow/ln_generated_14377_neg_1_189_764 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/promoted_library_slow/ln_generated_14377_neg_1_189_764 |
computable |
ln |
exact-rational-binary-scaled-ln1p |
1 |
computable/promoted_library_slow/ln_generated_14377_neg_1_189_764 |
computable_approx |
ln |
binary-scaled-rational |
1 |
computable/promoted_library_slow/ln_generated_14377_neg_1_189_764 |
rational |
arithmetic-reuse |
first-observation |
1 |
computable/promoted_library_slow/ln_generated_14377_neg_1_189_764 |
rational |
comparison |
word-sized |
5 |
computable/promoted_library_slow/ln_generated_14377_neg_1_189_764 |
rational |
mul |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_14377_neg_1_189_764 |
rational |
retained-facts |
non-dyadic-hit |
3 |
computable/promoted_library_slow/ln_generated_14377_neg_1_189_764 |
rational |
sub |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_14377_neg_1_189_764 |
rational |
word-reduction |
other-small-odd-denominator |
1 |
computable/promoted_library_slow/ln_generated_14377_neg_1_189_764 |
rational |
word-result |
small-general-fraction |
2 |
computable/promoted_library_slow/ln_generated_14377_neg_1_189_764 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/ln_generated_14947_pos_3_11_222 |
computable |
constructor |
one |
1 |
computable/promoted_library_slow/ln_generated_14947_pos_3_11_222 |
computable |
constructor |
rational-node |
3 |
computable/promoted_library_slow/ln_generated_14947_pos_3_11_222 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/promoted_library_slow/ln_generated_14947_pos_3_11_222 |
computable |
ln |
exact-rational-binary-scaled-ln1p |
1 |
computable/promoted_library_slow/ln_generated_14947_pos_3_11_222 |
computable_approx |
ln |
binary-scaled-rational |
1 |
computable/promoted_library_slow/ln_generated_14947_pos_3_11_222 |
rational |
add |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_14947_pos_3_11_222 |
rational |
arithmetic-reuse |
first-observation |
1 |
computable/promoted_library_slow/ln_generated_14947_pos_3_11_222 |
rational |
comparison |
word-sized |
5 |
computable/promoted_library_slow/ln_generated_14947_pos_3_11_222 |
rational |
mul |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_14947_pos_3_11_222 |
rational |
retained-facts |
non-dyadic-hit |
3 |
computable/promoted_library_slow/ln_generated_14947_pos_3_11_222 |
rational |
word-reduction |
other-small-odd-denominator |
1 |
computable/promoted_library_slow/ln_generated_14947_pos_3_11_222 |
rational |
word-result |
small-general-fraction |
2 |
computable/promoted_library_slow/ln_generated_14947_pos_3_11_222 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/ln_generated_15472_neg_3_13_50 |
computable |
constructor |
one |
1 |
computable/promoted_library_slow/ln_generated_15472_neg_3_13_50 |
computable |
constructor |
rational-node |
3 |
computable/promoted_library_slow/ln_generated_15472_neg_3_13_50 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/promoted_library_slow/ln_generated_15472_neg_3_13_50 |
computable |
ln |
exact-rational-binary-scaled-ln1p |
1 |
computable/promoted_library_slow/ln_generated_15472_neg_3_13_50 |
computable_approx |
ln |
binary-scaled-rational |
1 |
computable/promoted_library_slow/ln_generated_15472_neg_3_13_50 |
rational |
arithmetic-reuse |
first-observation |
1 |
computable/promoted_library_slow/ln_generated_15472_neg_3_13_50 |
rational |
comparison |
word-sized |
5 |
computable/promoted_library_slow/ln_generated_15472_neg_3_13_50 |
rational |
mul |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_15472_neg_3_13_50 |
rational |
retained-facts |
non-dyadic-hit |
3 |
computable/promoted_library_slow/ln_generated_15472_neg_3_13_50 |
rational |
sub |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_15472_neg_3_13_50 |
rational |
word-reduction |
power-of-five-denominator |
1 |
computable/promoted_library_slow/ln_generated_15472_neg_3_13_50 |
rational |
word-result |
small-general-fraction |
2 |
computable/promoted_library_slow/ln_generated_15472_neg_3_13_50 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/ln_generated_16417_pos_41_241 |
computable |
constructor |
one |
1 |
computable/promoted_library_slow/ln_generated_16417_pos_41_241 |
computable |
constructor |
rational-node |
3 |
computable/promoted_library_slow/ln_generated_16417_pos_41_241 |
computable |
ln |
exact-rational-direct-ln1p |
1 |
computable/promoted_library_slow/ln_generated_16417_pos_41_241 |
rational |
comparison |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_16417_pos_41_241 |
rational |
mul |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_16417_pos_41_241 |
rational |
word-reduction |
other-small-odd-denominator |
1 |
computable/promoted_library_slow/ln_generated_16417_pos_41_241 |
rational |
word-result |
small-general-fraction |
1 |
computable/promoted_library_slow/ln_generated_16417_pos_41_241 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/ln_generated_17797_pos_1_328_503 |
computable |
constructor |
one |
1 |
computable/promoted_library_slow/ln_generated_17797_pos_1_328_503 |
computable |
constructor |
rational-node |
3 |
computable/promoted_library_slow/ln_generated_17797_pos_1_328_503 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/promoted_library_slow/ln_generated_17797_pos_1_328_503 |
computable |
ln |
exact-rational-binary-scaled-ln1p |
1 |
computable/promoted_library_slow/ln_generated_17797_pos_1_328_503 |
computable_approx |
ln |
binary-scaled-rational |
1 |
computable/promoted_library_slow/ln_generated_17797_pos_1_328_503 |
rational |
comparison |
word-sized |
5 |
computable/promoted_library_slow/ln_generated_17797_pos_1_328_503 |
rational |
mul |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_17797_pos_1_328_503 |
rational |
retained-facts |
non-dyadic-hit |
2 |
computable/promoted_library_slow/ln_generated_17797_pos_1_328_503 |
rational |
word-reduction |
other-word-odd-denominator |
1 |
computable/promoted_library_slow/ln_generated_17797_pos_1_328_503 |
rational |
word-result |
small-general-fraction |
1 |
computable/promoted_library_slow/ln_generated_17797_pos_1_328_503 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/ln_generated_18352_neg_1_133_500 |
computable |
constructor |
one |
1 |
computable/promoted_library_slow/ln_generated_18352_neg_1_133_500 |
computable |
constructor |
rational-node |
3 |
computable/promoted_library_slow/ln_generated_18352_neg_1_133_500 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/promoted_library_slow/ln_generated_18352_neg_1_133_500 |
computable |
ln |
exact-rational-binary-scaled-ln1p |
1 |
computable/promoted_library_slow/ln_generated_18352_neg_1_133_500 |
computable_approx |
ln |
binary-scaled-rational |
1 |
computable/promoted_library_slow/ln_generated_18352_neg_1_133_500 |
rational |
arithmetic-reuse |
first-observation |
1 |
computable/promoted_library_slow/ln_generated_18352_neg_1_133_500 |
rational |
comparison |
word-sized |
5 |
computable/promoted_library_slow/ln_generated_18352_neg_1_133_500 |
rational |
mul |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_18352_neg_1_133_500 |
rational |
retained-facts |
non-dyadic-hit |
3 |
computable/promoted_library_slow/ln_generated_18352_neg_1_133_500 |
rational |
sub |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_18352_neg_1_133_500 |
rational |
word-reduction |
power-of-five-denominator |
1 |
computable/promoted_library_slow/ln_generated_18352_neg_1_133_500 |
rational |
word-result |
small-general-fraction |
2 |
computable/promoted_library_slow/ln_generated_18352_neg_1_133_500 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/ln_generated_7447_pos_1_53_76 |
computable |
constructor |
one |
1 |
computable/promoted_library_slow/ln_generated_7447_pos_1_53_76 |
computable |
constructor |
rational-node |
3 |
computable/promoted_library_slow/ln_generated_7447_pos_1_53_76 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/promoted_library_slow/ln_generated_7447_pos_1_53_76 |
computable |
ln |
exact-rational-binary-scaled-ln1p |
1 |
computable/promoted_library_slow/ln_generated_7447_pos_1_53_76 |
computable_approx |
ln |
binary-scaled-rational |
1 |
computable/promoted_library_slow/ln_generated_7447_pos_1_53_76 |
rational |
comparison |
word-sized |
5 |
computable/promoted_library_slow/ln_generated_7447_pos_1_53_76 |
rational |
mul |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_7447_pos_1_53_76 |
rational |
retained-facts |
non-dyadic-hit |
2 |
computable/promoted_library_slow/ln_generated_7447_pos_1_53_76 |
rational |
word-reduction |
other-small-odd-denominator |
1 |
computable/promoted_library_slow/ln_generated_7447_pos_1_53_76 |
rational |
word-result |
small-general-fraction |
1 |
computable/promoted_library_slow/ln_generated_7447_pos_1_53_76 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/ln_generated_7642_neg_1_25_36 |
computable |
constructor |
one |
1 |
computable/promoted_library_slow/ln_generated_7642_neg_1_25_36 |
computable |
constructor |
rational-node |
3 |
computable/promoted_library_slow/ln_generated_7642_neg_1_25_36 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/promoted_library_slow/ln_generated_7642_neg_1_25_36 |
computable |
ln |
exact-rational-binary-scaled-ln1p |
1 |
computable/promoted_library_slow/ln_generated_7642_neg_1_25_36 |
computable_approx |
ln |
binary-scaled-rational |
1 |
computable/promoted_library_slow/ln_generated_7642_neg_1_25_36 |
rational |
arithmetic-reuse |
first-observation |
1 |
computable/promoted_library_slow/ln_generated_7642_neg_1_25_36 |
rational |
comparison |
word-sized |
5 |
computable/promoted_library_slow/ln_generated_7642_neg_1_25_36 |
rational |
mul |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_7642_neg_1_25_36 |
rational |
retained-facts |
non-dyadic-hit |
2 |
computable/promoted_library_slow/ln_generated_7642_neg_1_25_36 |
rational |
sub |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_7642_neg_1_25_36 |
rational |
word-reduction |
power-of-three-denominator |
1 |
computable/promoted_library_slow/ln_generated_7642_neg_1_25_36 |
rational |
word-result |
cached-small-general-fraction |
1 |
computable/promoted_library_slow/ln_generated_7642_neg_1_25_36 |
rational |
word-result |
small-general-fraction |
1 |
computable/promoted_library_slow/ln_generated_7642_neg_1_25_36 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/ln_generated_9457_neg_3_23_90 |
computable |
constructor |
one |
1 |
computable/promoted_library_slow/ln_generated_9457_neg_3_23_90 |
computable |
constructor |
rational-node |
3 |
computable/promoted_library_slow/ln_generated_9457_neg_3_23_90 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/promoted_library_slow/ln_generated_9457_neg_3_23_90 |
computable |
ln |
exact-rational-binary-scaled-ln1p |
1 |
computable/promoted_library_slow/ln_generated_9457_neg_3_23_90 |
computable_approx |
ln |
binary-scaled-rational |
1 |
computable/promoted_library_slow/ln_generated_9457_neg_3_23_90 |
rational |
arithmetic-reuse |
first-observation |
2 |
computable/promoted_library_slow/ln_generated_9457_neg_3_23_90 |
rational |
comparison |
word-sized |
5 |
computable/promoted_library_slow/ln_generated_9457_neg_3_23_90 |
rational |
mul |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_9457_neg_3_23_90 |
rational |
retained-facts |
non-dyadic-hit |
3 |
computable/promoted_library_slow/ln_generated_9457_neg_3_23_90 |
rational |
sub |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_9457_neg_3_23_90 |
rational |
word-reduction |
mixed-357-smooth-denominator |
1 |
computable/promoted_library_slow/ln_generated_9457_neg_3_23_90 |
rational |
word-result |
small-general-fraction |
2 |
computable/promoted_library_slow/ln_generated_9457_neg_3_23_90 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/ln_generated_9862_neg_1_221_492 |
computable |
constructor |
one |
1 |
computable/promoted_library_slow/ln_generated_9862_neg_1_221_492 |
computable |
constructor |
rational-node |
3 |
computable/promoted_library_slow/ln_generated_9862_neg_1_221_492 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/promoted_library_slow/ln_generated_9862_neg_1_221_492 |
computable |
ln |
exact-rational-binary-scaled-ln1p |
1 |
computable/promoted_library_slow/ln_generated_9862_neg_1_221_492 |
computable_approx |
ln |
binary-scaled-rational |
1 |
computable/promoted_library_slow/ln_generated_9862_neg_1_221_492 |
rational |
arithmetic-reuse |
first-observation |
2 |
computable/promoted_library_slow/ln_generated_9862_neg_1_221_492 |
rational |
comparison |
word-sized |
5 |
computable/promoted_library_slow/ln_generated_9862_neg_1_221_492 |
rational |
mul |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_9862_neg_1_221_492 |
rational |
retained-facts |
non-dyadic-hit |
2 |
computable/promoted_library_slow/ln_generated_9862_neg_1_221_492 |
rational |
sub |
word-sized |
1 |
computable/promoted_library_slow/ln_generated_9862_neg_1_221_492 |
rational |
word-reduction |
other-small-odd-denominator |
1 |
computable/promoted_library_slow/ln_generated_9862_neg_1_221_492 |
rational |
word-result |
small-general-fraction |
2 |
computable/promoted_library_slow/ln_generated_9862_neg_1_221_492 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/sin_generated_10834_pos_4_34_61 |
computable |
constructor |
cached-pi |
1 |
computable/promoted_library_slow/sin_generated_10834_pos_4_34_61 |
computable |
constructor |
rational-node |
1 |
computable/promoted_library_slow/sin_generated_10834_pos_4_34_61 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/promoted_library_slow/sin_generated_10834_pos_4_34_61 |
computable |
constructor |
sin-large-rational-deferred |
1 |
computable/promoted_library_slow/sin_generated_10834_pos_4_34_61 |
computable |
sin |
large-rational-deferred |
1 |
computable/promoted_library_slow/sin_generated_10834_pos_4_34_61 |
computable_approx |
trig |
fixed-half-pi-multiple-3 |
1 |
computable/promoted_library_slow/sin_generated_10834_pos_4_34_61 |
rational |
add |
word-sized |
1 |
computable/promoted_library_slow/sin_generated_10834_pos_4_34_61 |
rational |
arithmetic-reuse |
first-observation |
1 |
computable/promoted_library_slow/sin_generated_10834_pos_4_34_61 |
rational |
comparison |
word-sized |
4 |
computable/promoted_library_slow/sin_generated_10834_pos_4_34_61 |
rational |
retained-facts |
non-dyadic-hit |
3 |
computable/promoted_library_slow/sin_generated_10834_pos_4_34_61 |
rational |
word-result |
small-general-fraction |
1 |
computable/promoted_library_slow/sin_generated_10834_pos_4_34_61 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/sin_generated_11359_pos_4_66_139 |
computable |
constructor |
cached-pi |
1 |
computable/promoted_library_slow/sin_generated_11359_pos_4_66_139 |
computable |
constructor |
rational-node |
1 |
computable/promoted_library_slow/sin_generated_11359_pos_4_66_139 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/promoted_library_slow/sin_generated_11359_pos_4_66_139 |
computable |
constructor |
sin-large-rational-deferred |
1 |
computable/promoted_library_slow/sin_generated_11359_pos_4_66_139 |
computable |
sin |
large-rational-deferred |
1 |
computable/promoted_library_slow/sin_generated_11359_pos_4_66_139 |
computable_approx |
trig |
fixed-half-pi-multiple-3 |
1 |
computable/promoted_library_slow/sin_generated_11359_pos_4_66_139 |
rational |
add |
word-sized |
1 |
computable/promoted_library_slow/sin_generated_11359_pos_4_66_139 |
rational |
arithmetic-reuse |
first-observation |
1 |
computable/promoted_library_slow/sin_generated_11359_pos_4_66_139 |
rational |
comparison |
word-sized |
4 |
computable/promoted_library_slow/sin_generated_11359_pos_4_66_139 |
rational |
retained-facts |
non-dyadic-hit |
3 |
computable/promoted_library_slow/sin_generated_11359_pos_4_66_139 |
rational |
word-result |
small-general-fraction |
1 |
computable/promoted_library_slow/sin_generated_11359_pos_4_66_139 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/tan_generated_11841_neg_5_2_17 |
computable |
constructor |
cached-pi |
3 |
computable/promoted_library_slow/tan_generated_11841_neg_5_2_17 |
computable |
constructor |
rational-node |
1 |
computable/promoted_library_slow/tan_generated_11841_neg_5_2_17 |
computable |
constructor |
shared-constant-wrapper |
3 |
computable/promoted_library_slow/tan_generated_11841_neg_5_2_17 |
computable |
constructor |
tan-large-rational-deferred |
1 |
computable/promoted_library_slow/tan_generated_11841_neg_5_2_17 |
computable |
tan |
near-large-rational-deferred |
1 |
computable/promoted_library_slow/tan_generated_11841_neg_5_2_17 |
computable_approx |
tan |
large-rational-direct-quotient |
1 |
computable/promoted_library_slow/tan_generated_11841_neg_5_2_17 |
computable_approx |
trig |
fixed-half-pi-multiple-neg3 |
1 |
computable/promoted_library_slow/tan_generated_11841_neg_5_2_17 |
rational |
arithmetic-reuse |
first-observation |
1 |
computable/promoted_library_slow/tan_generated_11841_neg_5_2_17 |
rational |
comparison |
word-sized |
4 |
computable/promoted_library_slow/tan_generated_11841_neg_5_2_17 |
rational |
retained-facts |
non-dyadic-hit |
3 |
computable/promoted_library_slow/tan_generated_11841_neg_5_2_17 |
rational |
sub |
word-sized |
1 |
computable/promoted_library_slow/tan_generated_11841_neg_5_2_17 |
rational |
word-result |
small-general-fraction |
1 |
computable/promoted_library_slow/tan_generated_11841_neg_5_2_17 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/tan_generated_13446_neg_5_15_187 |
computable |
constructor |
cached-pi |
3 |
computable/promoted_library_slow/tan_generated_13446_neg_5_15_187 |
computable |
constructor |
rational-node |
1 |
computable/promoted_library_slow/tan_generated_13446_neg_5_15_187 |
computable |
constructor |
shared-constant-wrapper |
3 |
computable/promoted_library_slow/tan_generated_13446_neg_5_15_187 |
computable |
constructor |
tan-large-rational-deferred |
1 |
computable/promoted_library_slow/tan_generated_13446_neg_5_15_187 |
computable |
tan |
near-large-rational-deferred |
1 |
computable/promoted_library_slow/tan_generated_13446_neg_5_15_187 |
computable_approx |
tan |
large-rational-direct-quotient |
1 |
computable/promoted_library_slow/tan_generated_13446_neg_5_15_187 |
computable_approx |
trig |
fixed-half-pi-multiple-neg3 |
1 |
computable/promoted_library_slow/tan_generated_13446_neg_5_15_187 |
rational |
arithmetic-reuse |
first-observation |
1 |
computable/promoted_library_slow/tan_generated_13446_neg_5_15_187 |
rational |
comparison |
word-sized |
4 |
computable/promoted_library_slow/tan_generated_13446_neg_5_15_187 |
rational |
retained-facts |
non-dyadic-hit |
3 |
computable/promoted_library_slow/tan_generated_13446_neg_5_15_187 |
rational |
sub |
word-sized |
1 |
computable/promoted_library_slow/tan_generated_13446_neg_5_15_187 |
rational |
word-result |
small-general-fraction |
1 |
computable/promoted_library_slow/tan_generated_13446_neg_5_15_187 |
rational_algorithm |
gcd |
binary-word |
2 |
computable/promoted_library_slow/tan_generated_13866_neg_5_1_2 |
computable |
constructor |
cached-pi |
2 |
computable/promoted_library_slow/tan_generated_13866_neg_5_1_2 |
computable |
constructor |
rational-node |
1 |
computable/promoted_library_slow/tan_generated_13866_neg_5_1_2 |
computable |
constructor |
shared-constant-wrapper |
2 |
computable/promoted_library_slow/tan_generated_13866_neg_5_1_2 |
computable |
constructor |
tan-large-rational-deferred |
1 |
computable/promoted_library_slow/tan_generated_13866_neg_5_1_2 |
computable |
tan |
near-large-rational-deferred |
1 |
computable/promoted_library_slow/tan_generated_13866_neg_5_1_2 |
computable_approx |
tan |
large-rational-direct-quotient |
1 |
computable/promoted_library_slow/tan_generated_13866_neg_5_1_2 |
computable_approx |
tan |
quarter-pi-large-rational |
1 |
computable/promoted_library_slow/tan_generated_13866_neg_5_1_2 |
computable_approx |
trig |
fixed-half-pi-multiple-neg4 |
1 |
computable/promoted_library_slow/tan_generated_13866_neg_5_1_2 |
computable_approx |
trig |
fixed-half-pi-residual-two-pi |
1 |
computable/promoted_library_slow/tan_generated_13866_neg_5_1_2 |
rational |
arithmetic-reuse |
first-observation |
1 |
computable/promoted_library_slow/tan_generated_13866_neg_5_1_2 |
rational |
comparison |
dyadic-borrowed-digits |
3 |
computable/promoted_library_slow/tan_generated_13866_neg_5_1_2 |
rational |
comparison |
word-sized |
2 |
computable/promoted_library_slow/tan_generated_13866_neg_5_1_2 |
rational |
sub |
word-sized |
1 |
computable/promoted_library_slow/tan_generated_13866_neg_5_1_2 |
rational |
word-result |
cached-small-dyadic |
1 |
computable/promoted_library_slow/tan_generated_14421_pos_5_25_47 |
computable |
constructor |
cached-pi |
2 |
computable/promoted_library_slow/tan_generated_14421_pos_5_25_47 |
computable |
constructor |
rational-node |
1 |
computable/promoted_library_slow/tan_generated_14421_pos_5_25_47 |
computable |
constructor |
shared-constant-wrapper |
2 |
computable/promoted_library_slow/tan_generated_14421_pos_5_25_47 |
computable |
constructor |
tan-large-rational-deferred |
1 |
computable/promoted_library_slow/tan_generated_14421_pos_5_25_47 |
computable |
tan |
near-large-rational-deferred |
1 |
computable/promoted_library_slow/tan_generated_14421_pos_5_25_47 |
computable_approx |
tan |
large-rational-direct-quotient |
1 |
computable/promoted_library_slow/tan_generated_14421_pos_5_25_47 |
computable_approx |
tan |
quarter-pi-large-rational |
1 |
computable/promoted_library_slow/tan_generated_14421_pos_5_25_47 |
computable_approx |
trig |
fixed-half-pi-multiple-4 |
1 |
computable/promoted_library_slow/tan_generated_14421_pos_5_25_47 |
computable_approx |
trig |
fixed-half-pi-residual-two-pi |
1 |
computable/promoted_library_slow/tan_generated_14421_pos_5_25_47 |
rational |
add |
word-sized |
1 |
computable/promoted_library_slow/tan_generated_14421_pos_5_25_47 |
rational |
arithmetic-reuse |
first-observation |
1 |
computable/promoted_library_slow/tan_generated_14421_pos_5_25_47 |
rational |
comparison |
word-sized |
6 |
computable/promoted_library_slow/tan_generated_14421_pos_5_25_47 |
rational |
retained-facts |
non-dyadic-hit |
5 |
computable/promoted_library_slow/tan_generated_14421_pos_5_25_47 |
rational |
word-result |
small-general-fraction |
1 |
computable/promoted_library_slow/tan_generated_14421_pos_5_25_47 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/tan_generated_15891_neg_5_23_33 |
computable |
constructor |
cached-pi |
2 |
computable/promoted_library_slow/tan_generated_15891_neg_5_23_33 |
computable |
constructor |
rational-node |
1 |
computable/promoted_library_slow/tan_generated_15891_neg_5_23_33 |
computable |
constructor |
shared-constant-wrapper |
2 |
computable/promoted_library_slow/tan_generated_15891_neg_5_23_33 |
computable |
constructor |
tan-large-rational-deferred |
1 |
computable/promoted_library_slow/tan_generated_15891_neg_5_23_33 |
computable |
tan |
near-large-rational-deferred |
1 |
computable/promoted_library_slow/tan_generated_15891_neg_5_23_33 |
computable_approx |
tan |
large-rational-direct-quotient |
1 |
computable/promoted_library_slow/tan_generated_15891_neg_5_23_33 |
computable_approx |
tan |
quarter-pi-large-rational |
1 |
computable/promoted_library_slow/tan_generated_15891_neg_5_23_33 |
computable_approx |
trig |
fixed-half-pi-multiple-neg4 |
1 |
computable/promoted_library_slow/tan_generated_15891_neg_5_23_33 |
computable_approx |
trig |
fixed-half-pi-residual-two-pi |
1 |
computable/promoted_library_slow/tan_generated_15891_neg_5_23_33 |
rational |
arithmetic-reuse |
first-observation |
1 |
computable/promoted_library_slow/tan_generated_15891_neg_5_23_33 |
rational |
comparison |
word-sized |
6 |
computable/promoted_library_slow/tan_generated_15891_neg_5_23_33 |
rational |
retained-facts |
non-dyadic-hit |
5 |
computable/promoted_library_slow/tan_generated_15891_neg_5_23_33 |
rational |
sub |
word-sized |
1 |
computable/promoted_library_slow/tan_generated_15891_neg_5_23_33 |
rational |
word-result |
small-general-fraction |
1 |
computable/promoted_library_slow/tan_generated_15891_neg_5_23_33 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/tan_generated_16806_pos_5_3_22 |
computable |
constructor |
cached-pi |
3 |
computable/promoted_library_slow/tan_generated_16806_pos_5_3_22 |
computable |
constructor |
rational-node |
1 |
computable/promoted_library_slow/tan_generated_16806_pos_5_3_22 |
computable |
constructor |
shared-constant-wrapper |
3 |
computable/promoted_library_slow/tan_generated_16806_pos_5_3_22 |
computable |
constructor |
tan-large-rational-deferred |
1 |
computable/promoted_library_slow/tan_generated_16806_pos_5_3_22 |
computable |
tan |
near-large-rational-deferred |
1 |
computable/promoted_library_slow/tan_generated_16806_pos_5_3_22 |
computable_approx |
tan |
large-rational-direct-quotient |
1 |
computable/promoted_library_slow/tan_generated_16806_pos_5_3_22 |
computable_approx |
trig |
fixed-half-pi-multiple-3 |
1 |
computable/promoted_library_slow/tan_generated_16806_pos_5_3_22 |
rational |
add |
word-sized |
1 |
computable/promoted_library_slow/tan_generated_16806_pos_5_3_22 |
rational |
arithmetic-reuse |
first-observation |
1 |
computable/promoted_library_slow/tan_generated_16806_pos_5_3_22 |
rational |
comparison |
word-sized |
4 |
computable/promoted_library_slow/tan_generated_16806_pos_5_3_22 |
rational |
retained-facts |
non-dyadic-hit |
3 |
computable/promoted_library_slow/tan_generated_16806_pos_5_3_22 |
rational |
word-result |
small-general-fraction |
1 |
computable/promoted_library_slow/tan_generated_16806_pos_5_3_22 |
rational_algorithm |
gcd |
binary-word |
2 |
computable/promoted_library_slow/tan_generated_17496_pos_3_190_219 |
computable |
constructor |
cached-pi |
2 |
computable/promoted_library_slow/tan_generated_17496_pos_3_190_219 |
computable |
constructor |
rational-node |
1 |
computable/promoted_library_slow/tan_generated_17496_pos_3_190_219 |
computable |
constructor |
shared-constant-wrapper |
2 |
computable/promoted_library_slow/tan_generated_17496_pos_3_190_219 |
computable |
constructor |
tan-large-rational-deferred |
1 |
computable/promoted_library_slow/tan_generated_17496_pos_3_190_219 |
computable |
tan |
near-large-rational-deferred |
1 |
computable/promoted_library_slow/tan_generated_17496_pos_3_190_219 |
computable_approx |
tan |
large-rational-direct-quotient |
1 |
computable/promoted_library_slow/tan_generated_17496_pos_3_190_219 |
computable_approx |
tan |
quarter-pi-large-rational |
1 |
computable/promoted_library_slow/tan_generated_17496_pos_3_190_219 |
computable_approx |
trig |
fixed-half-pi-multiple-2 |
1 |
computable/promoted_library_slow/tan_generated_17496_pos_3_190_219 |
rational |
add |
word-sized |
1 |
computable/promoted_library_slow/tan_generated_17496_pos_3_190_219 |
rational |
arithmetic-reuse |
first-observation |
1 |
computable/promoted_library_slow/tan_generated_17496_pos_3_190_219 |
rational |
comparison |
word-sized |
2 |
computable/promoted_library_slow/tan_generated_17496_pos_3_190_219 |
rational |
retained-facts |
non-dyadic-hit |
1 |
computable/promoted_library_slow/tan_generated_17496_pos_3_190_219 |
rational |
word-result |
small-general-fraction |
1 |
computable/promoted_library_slow/tan_generated_17496_pos_3_190_219 |
rational_algorithm |
gcd |
binary-word |
2 |
computable/promoted_library_slow/tan_generated_18666_pos_5_15_17 |
computable |
constructor |
cached-pi |
3 |
computable/promoted_library_slow/tan_generated_18666_pos_5_15_17 |
computable |
constructor |
rational-node |
1 |
computable/promoted_library_slow/tan_generated_18666_pos_5_15_17 |
computable |
constructor |
shared-constant-wrapper |
3 |
computable/promoted_library_slow/tan_generated_18666_pos_5_15_17 |
computable |
constructor |
tan-large-rational-deferred |
1 |
computable/promoted_library_slow/tan_generated_18666_pos_5_15_17 |
computable |
tan |
near-large-rational-deferred |
1 |
computable/promoted_library_slow/tan_generated_18666_pos_5_15_17 |
computable_approx |
tan |
large-rational-direct-quotient |
1 |
computable/promoted_library_slow/tan_generated_18666_pos_5_15_17 |
computable_approx |
trig |
fixed-half-pi-multiple-4 |
1 |
computable/promoted_library_slow/tan_generated_18666_pos_5_15_17 |
computable_approx |
trig |
fixed-half-pi-residual-two-pi |
3 |
computable/promoted_library_slow/tan_generated_18666_pos_5_15_17 |
rational |
add |
word-sized |
1 |
computable/promoted_library_slow/tan_generated_18666_pos_5_15_17 |
rational |
arithmetic-reuse |
first-observation |
1 |
computable/promoted_library_slow/tan_generated_18666_pos_5_15_17 |
rational |
comparison |
word-sized |
6 |
computable/promoted_library_slow/tan_generated_18666_pos_5_15_17 |
rational |
retained-facts |
non-dyadic-hit |
5 |
computable/promoted_library_slow/tan_generated_18666_pos_5_15_17 |
rational |
word-result |
small-general-fraction |
1 |
computable/promoted_library_slow/tan_generated_18666_pos_5_15_17 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/tan_generated_9231_neg_7_5_6 |
computable |
constructor |
cached-pi |
3 |
computable/promoted_library_slow/tan_generated_9231_neg_7_5_6 |
computable |
constructor |
rational-node |
1 |
computable/promoted_library_slow/tan_generated_9231_neg_7_5_6 |
computable |
constructor |
shared-constant-wrapper |
3 |
computable/promoted_library_slow/tan_generated_9231_neg_7_5_6 |
computable |
constructor |
tan-large-rational-deferred |
1 |
computable/promoted_library_slow/tan_generated_9231_neg_7_5_6 |
computable |
tan |
near-large-rational-deferred |
1 |
computable/promoted_library_slow/tan_generated_9231_neg_7_5_6 |
computable_approx |
tan |
large-rational-direct-quotient |
1 |
computable/promoted_library_slow/tan_generated_9231_neg_7_5_6 |
computable_approx |
trig |
fixed-half-pi-multiple-neg5 |
1 |
computable/promoted_library_slow/tan_generated_9231_neg_7_5_6 |
rational |
arithmetic-reuse |
first-observation |
2 |
computable/promoted_library_slow/tan_generated_9231_neg_7_5_6 |
rational |
comparison |
word-sized |
8 |
computable/promoted_library_slow/tan_generated_9231_neg_7_5_6 |
rational |
retained-facts |
non-dyadic-hit |
7 |
computable/promoted_library_slow/tan_generated_9231_neg_7_5_6 |
rational |
sub |
word-sized |
1 |
computable/promoted_library_slow/tan_generated_9231_neg_7_5_6 |
rational |
word-result |
cached-small-general-fraction |
1 |
computable/promoted_library_slow/tan_generated_9231_neg_7_5_6 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/promoted_library_slow/tan_generated_9591_neg_3_125_127 |
computable |
constructor |
cached-pi |
2 |
computable/promoted_library_slow/tan_generated_9591_neg_3_125_127 |
computable |
constructor |
rational-node |
1 |
computable/promoted_library_slow/tan_generated_9591_neg_3_125_127 |
computable |
constructor |
shared-constant-wrapper |
2 |
computable/promoted_library_slow/tan_generated_9591_neg_3_125_127 |
computable |
constructor |
tan-large-rational-deferred |
1 |
computable/promoted_library_slow/tan_generated_9591_neg_3_125_127 |
computable |
tan |
near-large-rational-deferred |
1 |
computable/promoted_library_slow/tan_generated_9591_neg_3_125_127 |
computable_approx |
tan |
large-rational-direct-quotient |
1 |
computable/promoted_library_slow/tan_generated_9591_neg_3_125_127 |
computable_approx |
tan |
quarter-pi-large-rational |
1 |
computable/promoted_library_slow/tan_generated_9591_neg_3_125_127 |
computable_approx |
trig |
fixed-half-pi-multiple-neg3 |
1 |
computable/promoted_library_slow/tan_generated_9591_neg_3_125_127 |
rational |
arithmetic-reuse |
first-observation |
1 |
computable/promoted_library_slow/tan_generated_9591_neg_3_125_127 |
rational |
comparison |
word-sized |
4 |
computable/promoted_library_slow/tan_generated_9591_neg_3_125_127 |
rational |
retained-facts |
non-dyadic-hit |
3 |
computable/promoted_library_slow/tan_generated_9591_neg_3_125_127 |
rational |
sub |
word-sized |
1 |
computable/promoted_library_slow/tan_generated_9591_neg_3_125_127 |
rational |
word-result |
small-general-fraction |
1 |
computable/promoted_library_slow/tan_generated_9591_neg_3_125_127 |
rational_algorithm |
gcd |
binary-word |
2 |
computable/sign_until/deep_half_product_cached |
computable |
sign_until |
exact-sign-cache |
1 |
computable/sign_until/deep_scaled_product_cached |
computable |
sign_until |
exact-sign-cache |
1 |
computable/sign_until/deep_scaled_product_floor_128 |
computable |
constructor |
cached-pi |
1 |
computable/sign_until/deep_scaled_product_floor_128 |
computable |
constructor |
rational-node |
200 |
computable/sign_until/deep_scaled_product_floor_128 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/sign_until/deep_scaled_product_floor_128 |
computable |
sign_until |
exact-sign-cache |
1 |
computable/sign_until/deep_scaled_product_floor_128 |
rational |
mul |
wide-dyadic-cross-cancel |
155 |
computable/sign_until/deep_scaled_product_floor_128 |
rational |
mul |
wide-dyadic-word-numerators |
3 |
computable/sign_until/deep_scaled_product_floor_128 |
rational |
mul |
word-sized |
41 |
computable/sign_until/deep_scaled_product_floor_128 |
rational |
retained-facts |
dyadic-hit |
310 |
computable/sign_until/deep_scaled_product_floor_128 |
rational |
word-result |
cached-small-dyadic |
1 |
computable/sign_until/deep_scaled_product_floor_128 |
rational |
word-result |
dyadic-fraction |
40 |
computable/sign_until/deep_scaled_product_floor_128 |
rational_algorithm |
multiplication-wide-dyadic |
backend-basecase |
155 |
computable/sign_until/deep_scaled_product_floor_2000 |
computable |
constructor |
cached-pi |
1 |
computable/sign_until/deep_scaled_product_floor_2000 |
computable |
constructor |
rational-node |
200 |
computable/sign_until/deep_scaled_product_floor_2000 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/sign_until/deep_scaled_product_floor_2000 |
computable |
sign_until |
exact-sign-cache |
1 |
computable/sign_until/deep_scaled_product_floor_2000 |
rational |
mul |
wide-dyadic-cross-cancel |
155 |
computable/sign_until/deep_scaled_product_floor_2000 |
rational |
mul |
wide-dyadic-word-numerators |
3 |
computable/sign_until/deep_scaled_product_floor_2000 |
rational |
mul |
word-sized |
41 |
computable/sign_until/deep_scaled_product_floor_2000 |
rational |
retained-facts |
dyadic-hit |
310 |
computable/sign_until/deep_scaled_product_floor_2000 |
rational |
word-result |
cached-small-dyadic |
1 |
computable/sign_until/deep_scaled_product_floor_2000 |
rational |
word-result |
dyadic-fraction |
40 |
computable/sign_until/deep_scaled_product_floor_2000 |
rational_algorithm |
multiplication-wide-dyadic |
backend-basecase |
155 |
computable/sign_until/exp_unknown_sign_arg_cached |
computable |
sign_until |
exact-sign-cache |
1 |
computable/sign_until/exp_unknown_sign_arg_floor_2000 |
computable |
constructor |
cached-pi |
1 |
computable/sign_until/exp_unknown_sign_arg_floor_2000 |
computable |
constructor |
one |
1 |
computable/sign_until/exp_unknown_sign_arg_floor_2000 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/sign_until/exp_unknown_sign_arg_floor_2000 |
computable |
exp |
structural-small-prescaled |
1 |
computable/sign_until/exp_unknown_sign_arg_floor_2000 |
computable |
sign_until |
exact-sign-cache |
1 |
computable/sign_until/exp_unknown_sign_arg_floor_2000 |
rational |
comparison |
word-sized |
1 |
computable/sign_until/exp_unknown_sign_arg_floor_2000 |
rational_algorithm |
gcd |
binary-word |
2 |
computable/sign_until/mixed_pi_e_floor_0 |
computable |
constructor |
cached-e |
1 |
computable/sign_until/mixed_pi_e_floor_0 |
computable |
constructor |
cached-e-internal |
1 |
computable/sign_until/mixed_pi_e_floor_0 |
computable |
constructor |
cached-pi |
1 |
computable/sign_until/mixed_pi_e_floor_0 |
computable |
constructor |
rational-node |
1 |
computable/sign_until/mixed_pi_e_floor_0 |
computable |
constructor |
shared-constant-wrapper |
2 |
computable/sign_until/mixed_pi_e_floor_0 |
computable |
sign_until |
binary64-filter-sign |
1 |
computable/sign_until/mixed_pi_e_floor_0 |
rational_algorithm |
gcd |
binary-word |
1 |
computable/sign_until/near_pi_floor_0_inconclusive |
computable |
constructor |
cached-pi |
1 |
computable/sign_until/near_pi_floor_0_inconclusive |
computable |
constructor |
rational-node |
1 |
computable/sign_until/near_pi_floor_0_inconclusive |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/sign_until/near_pi_floor_0_inconclusive |
computable |
sign_until |
precision-refinement |
1 |
computable/sign_until/near_pi_floor_0_inconclusive |
computable |
sign_until |
unknown |
1 |
computable/sign_until/near_pi_floor_0_inconclusive |
computable |
sign_until_attempt_precision |
p>=0 |
1 |
computable/sign_until/near_pi_floor_0_inconclusive |
computable |
sign_until_unresolved_precision |
p>=0 |
1 |
computable/sign_until/near_pi_floor_0_inconclusive |
rational |
add |
word-sized |
2 |
computable/sign_until/near_pi_floor_0_inconclusive |
rational |
arithmetic-reuse |
first-observation |
3 |
computable/sign_until/near_pi_floor_0_inconclusive |
rational |
comparison |
word-sized |
1 |
computable/sign_until/near_pi_floor_0_inconclusive |
rational |
word-reduction |
other-word-odd-denominator |
2 |
computable/sign_until/near_pi_floor_0_inconclusive |
rational |
word-result |
small-general-fraction |
2 |
computable/sign_until/near_pi_floor_0_inconclusive |
rational_algorithm |
gcd |
binary-word |
3 |
computable/sign_until/near_pi_floor_64 |
computable |
constructor |
cached-pi |
1 |
computable/sign_until/near_pi_floor_64 |
computable |
constructor |
rational-node |
1 |
computable/sign_until/near_pi_floor_64 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/sign_until/near_pi_floor_64 |
computable |
sign_until |
binary64-filter-sign |
1 |
computable/sign_until/near_pi_floor_64 |
rational |
add |
word-sized |
2 |
computable/sign_until/near_pi_floor_64 |
rational |
arithmetic-reuse |
first-observation |
3 |
computable/sign_until/near_pi_floor_64 |
rational |
comparison |
word-sized |
1 |
computable/sign_until/near_pi_floor_64 |
rational |
word-reduction |
other-word-odd-denominator |
2 |
computable/sign_until/near_pi_floor_64 |
rational |
word-result |
small-general-fraction |
2 |
computable/sign_until/near_pi_floor_64 |
rational_algorithm |
gcd |
binary-word |
3 |
computable/sign_until/perturbed_scaled_product_floor_2000 |
computable |
constructor |
cached-pi |
1 |
computable/sign_until/perturbed_scaled_product_floor_2000 |
computable |
constructor |
rational-node |
201 |
computable/sign_until/perturbed_scaled_product_floor_2000 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/sign_until/perturbed_scaled_product_floor_2000 |
computable |
sign_until |
exact-sign-cache |
1 |
computable/sign_until/perturbed_scaled_product_floor_2000 |
rational |
add |
word-sized |
2 |
computable/sign_until/perturbed_scaled_product_floor_2000 |
rational |
arithmetic-reuse |
first-observation |
3 |
computable/sign_until/perturbed_scaled_product_floor_2000 |
rational |
comparison |
word-sized |
1 |
computable/sign_until/perturbed_scaled_product_floor_2000 |
rational |
mul |
wide-dyadic-cross-cancel |
155 |
computable/sign_until/perturbed_scaled_product_floor_2000 |
rational |
mul |
wide-dyadic-word-numerators |
3 |
computable/sign_until/perturbed_scaled_product_floor_2000 |
rational |
mul |
word-sized |
41 |
computable/sign_until/perturbed_scaled_product_floor_2000 |
rational |
retained-facts |
dyadic-hit |
310 |
computable/sign_until/perturbed_scaled_product_floor_2000 |
rational |
word-reduction |
other-small-odd-denominator |
2 |
computable/sign_until/perturbed_scaled_product_floor_2000 |
rational |
word-result |
cached-small-dyadic |
1 |
computable/sign_until/perturbed_scaled_product_floor_2000 |
rational |
word-result |
dyadic-fraction |
40 |
computable/sign_until/perturbed_scaled_product_floor_2000 |
rational |
word-result |
small-general-fraction |
2 |
computable/sign_until/perturbed_scaled_product_floor_2000 |
rational_algorithm |
gcd |
binary-word |
2 |
computable/sign_until/perturbed_scaled_product_floor_2000 |
rational_algorithm |
multiplication-wide-dyadic |
backend-basecase |
155 |
computable/sign_until/pi_minus_one_cached |
computable |
sign_until |
exact-sign-cache |
1 |
computable/sign_until/pi_minus_one_floor_128 |
computable |
constructor |
cached-pi |
1 |
computable/sign_until/pi_minus_one_floor_128 |
computable |
constructor |
one |
1 |
computable/sign_until/pi_minus_one_floor_128 |
computable |
constructor |
rational-integer-canonicalized |
1 |
computable/sign_until/pi_minus_one_floor_128 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/sign_until/pi_minus_one_floor_128 |
computable |
sign_until |
exact-sign-cache |
1 |
computable/sign_until/pi_minus_one_floor_128 |
rational |
add |
word-sized |
2 |
computable/sign_until/pi_minus_one_floor_128 |
rational |
arithmetic-reuse |
first-observation |
3 |
computable/sign_until/pi_minus_one_floor_128 |
rational |
comparison |
word-sized |
1 |
computable/sign_until/pi_minus_one_floor_128 |
rational |
word-result |
small-general-fraction |
2 |
computable/sign_until/pi_minus_one_floor_128 |
rational_algorithm |
gcd |
binary-word |
2 |
computable/sign_until/pi_minus_one_floor_2000 |
computable |
constructor |
cached-pi |
1 |
computable/sign_until/pi_minus_one_floor_2000 |
computable |
constructor |
one |
1 |
computable/sign_until/pi_minus_one_floor_2000 |
computable |
constructor |
rational-integer-canonicalized |
1 |
computable/sign_until/pi_minus_one_floor_2000 |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/sign_until/pi_minus_one_floor_2000 |
computable |
sign_until |
exact-sign-cache |
1 |
computable/sign_until/pi_minus_one_floor_2000 |
rational |
add |
word-sized |
2 |
computable/sign_until/pi_minus_one_floor_2000 |
rational |
arithmetic-reuse |
first-observation |
3 |
computable/sign_until/pi_minus_one_floor_2000 |
rational |
comparison |
word-sized |
1 |
computable/sign_until/pi_minus_one_floor_2000 |
rational |
word-result |
small-general-fraction |
2 |
computable/sign_until/pi_minus_one_floor_2000 |
rational_algorithm |
gcd |
binary-word |
2 |
computable/sign_until/unsupported_sin_floor_64 |
computable |
constructor |
prescaled-sin |
1 |
computable/sign_until/unsupported_sin_floor_64 |
computable |
constructor |
rational-node |
2 |
computable/sign_until/unsupported_sin_floor_64 |
computable |
sign_until |
algebraic-separation-unavailable |
1 |
computable/sign_until/unsupported_sin_floor_64 |
computable |
sign_until |
precision-refinement |
1 |
computable/sign_until/unsupported_sin_floor_64 |
computable |
sign_until |
unknown |
1 |
computable/sign_until/unsupported_sin_floor_64 |
computable |
sign_until_attempt_precision |
-32<=p<0 |
1 |
computable/sign_until/unsupported_sin_floor_64 |
computable |
sign_until_attempt_precision |
-64<=p<-32 |
2 |
computable/sign_until/unsupported_sin_floor_64 |
computable |
sign_until_attempt_precision |
p>=0 |
1 |
computable/sign_until/unsupported_sin_floor_64 |
computable |
sign_until_unresolved_precision |
-64<=p<-32 |
1 |
computable/sign_until/unsupported_sin_floor_64 |
computable |
sin |
structural-small-prescaled |
1 |
computable/sign_until/unsupported_sin_floor_64 |
rational_algorithm |
gcd |
binary-word |
2 |
computable/sqrt_squarefree_rational |
computable |
constructor |
rational-integer-canonicalized |
3 |
computable/sqrt_squarefree_rational |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/sqrt_squarefree_rational |
computable |
constructor |
shared-sqrt-constant-probe |
1 |
computable/sqrt_squarefree_rational |
computable |
sqrt |
shared-squarefree-rational |
1 |
computable/trig |
computable |
constructor |
cached-pi |
2 |
computable/trig |
computable |
constructor |
prescaled-cos-half-pi-minus-rational |
1 |
computable/trig |
computable |
constructor |
prescaled-sin-half-pi-minus-rational |
1 |
computable/trig |
computable |
constructor |
rational-node |
1 |
computable/trig |
computable |
constructor |
shared-constant-wrapper |
2 |
computable/trig |
computable |
cos |
medium-rational-half-pi-rewrite |
1 |
computable/trig |
computable |
sin |
medium-rational-half-pi-rewrite |
1 |
computable/trig |
rational |
comparison |
dyadic-borrowed-digits |
2 |
computable/trig/large |
computable |
constructor |
cached-pi |
6 |
computable/trig/large |
computable |
constructor |
cos-large-rational-deferred |
1 |
computable/trig/large |
computable |
constructor |
rational-integer-canonicalized |
1 |
computable/trig/large |
computable |
constructor |
shared-constant-wrapper |
6 |
computable/trig/large |
computable |
constructor |
sin-large-rational-deferred |
1 |
computable/trig/large |
computable |
cos |
large-rational-deferred |
1 |
computable/trig/large |
computable |
sin |
large-rational-deferred |
1 |
computable/trig/large |
rational |
comparison |
word-sized |
2 |
computable/trig/large |
rational |
retained-facts |
non-dyadic-hit |
1 |
computable/trig/large |
rational_algorithm |
gcd |
binary-word |
2 |
computable/trig/large-exact-rational |
computable |
constructor |
cached-pi |
22 |
computable/trig/large-exact-rational |
computable |
constructor |
cos-large-rational-deferred |
2 |
computable/trig/large-exact-rational |
computable |
constructor |
rational-integer-canonicalized |
2 |
computable/trig/large-exact-rational |
computable |
constructor |
shared-constant-wrapper |
22 |
computable/trig/large-exact-rational |
computable |
constructor |
sin-large-rational-deferred |
2 |
computable/trig/large-exact-rational |
computable |
constructor |
tan-large-rational-deferred |
2 |
computable/trig/large-exact-rational |
computable |
cos |
large-rational-deferred |
2 |
computable/trig/large-exact-rational |
computable |
sin |
large-rational-deferred |
2 |
computable/trig/large-exact-rational |
computable |
tan |
near-large-rational-deferred |
2 |
computable/trig/large-exact-rational |
computable_approx |
tan |
large-rational-direct-quotient |
2 |
computable/trig/large-exact-rational |
rational |
comparison |
word-sized |
6 |
computable/trig/large-exact-rational |
rational |
powi |
word-sized |
1 |
computable/trig/large-exact-rational |
rational |
retained-facts |
non-dyadic-hit |
6 |
computable/trig/large-exact-rational |
rational |
word-result |
uncached-integer-wide |
1 |
computable/trig/large-exact-rational |
rational_algorithm |
powering |
word-checked-pow |
1 |
computable/trig_adversarial/cos_1e30 |
computable |
constructor |
cached-pi |
3 |
computable/trig_adversarial/cos_1e30 |
computable |
constructor |
cos-large-rational-deferred |
1 |
computable/trig_adversarial/cos_1e30 |
computable |
constructor |
shared-constant-wrapper |
3 |
computable/trig_adversarial/cos_1e30 |
computable |
cos |
large-rational-deferred |
1 |
computable/trig_adversarial/cos_1e30 |
rational |
comparison |
word-sized |
1 |
computable/trig_adversarial/cos_1e30 |
rational |
retained-facts |
non-dyadic-hit |
1 |
computable/trig_adversarial/cos_1e6 |
computable |
constructor |
cached-pi |
3 |
computable/trig_adversarial/cos_1e6 |
computable |
constructor |
cos-large-rational-deferred |
1 |
computable/trig_adversarial/cos_1e6 |
computable |
constructor |
shared-constant-wrapper |
3 |
computable/trig_adversarial/cos_1e6 |
computable |
cos |
large-rational-deferred |
1 |
computable/trig_adversarial/cos_1e6 |
rational |
comparison |
word-sized |
1 |
computable/trig_adversarial/cos_1e6 |
rational |
retained-facts |
non-dyadic-hit |
1 |
computable/trig_adversarial/cos_f64_exact |
computable |
constructor |
cached-pi |
1 |
computable/trig_adversarial/cos_f64_exact |
computable |
constructor |
prescaled-sin-half-pi-minus-rational |
1 |
computable/trig_adversarial/cos_f64_exact |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/trig_adversarial/cos_f64_exact |
computable |
cos |
medium-rational-half-pi-rewrite |
1 |
computable/trig_adversarial/cos_f64_exact |
rational |
comparison |
dyadic-borrowed-digits |
1 |
computable/trig_adversarial/cos_huge_pi_plus_offset |
computable |
constructor |
cached-pi |
1 |
computable/trig_adversarial/cos_huge_pi_plus_offset |
computable |
constructor |
prescaled-sin-half-pi-minus-rational |
1 |
computable/trig_adversarial/cos_huge_pi_plus_offset |
computable |
constructor |
rational-node |
1 |
computable/trig_adversarial/cos_huge_pi_plus_offset |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/trig_adversarial/cos_huge_pi_plus_offset |
computable |
cos |
integer-pi-plus-rational |
1 |
computable/trig_adversarial/cos_huge_pi_plus_offset |
computable |
cos |
medium-rational-half-pi-rewrite |
1 |
computable/trig_adversarial/cos_huge_pi_plus_offset |
rational |
comparison |
word-sized |
2 |
computable/trig_adversarial/cos_huge_pi_plus_offset |
rational |
retained-facts |
non-dyadic-hit |
2 |
computable/trig_adversarial/cos_medium |
computable |
constructor |
cached-pi |
1 |
computable/trig_adversarial/cos_medium |
computable |
constructor |
prescaled-sin-half-pi-minus-rational |
1 |
computable/trig_adversarial/cos_medium |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/trig_adversarial/cos_medium |
computable |
cos |
medium-rational-half-pi-rewrite |
1 |
computable/trig_adversarial/cos_medium |
rational |
comparison |
word-sized |
1 |
computable/trig_adversarial/cos_medium |
rational |
retained-facts |
non-dyadic-hit |
1 |
computable/trig_adversarial/cos_tiny |
computable |
constructor |
prescaled-cos |
1 |
computable/trig_adversarial/cos_tiny |
computable |
cos |
structural-small-prescaled |
1 |
computable/trig_adversarial/sin_1e30 |
computable |
constructor |
cached-pi |
3 |
computable/trig_adversarial/sin_1e30 |
computable |
constructor |
shared-constant-wrapper |
3 |
computable/trig_adversarial/sin_1e30 |
computable |
constructor |
sin-large-rational-deferred |
1 |
computable/trig_adversarial/sin_1e30 |
computable |
sin |
large-rational-deferred |
1 |
computable/trig_adversarial/sin_1e30 |
rational |
comparison |
word-sized |
1 |
computable/trig_adversarial/sin_1e30 |
rational |
retained-facts |
non-dyadic-hit |
1 |
computable/trig_adversarial/sin_1e6 |
computable |
constructor |
cached-pi |
3 |
computable/trig_adversarial/sin_1e6 |
computable |
constructor |
shared-constant-wrapper |
3 |
computable/trig_adversarial/sin_1e6 |
computable |
constructor |
sin-large-rational-deferred |
1 |
computable/trig_adversarial/sin_1e6 |
computable |
sin |
large-rational-deferred |
1 |
computable/trig_adversarial/sin_1e6 |
rational |
comparison |
word-sized |
1 |
computable/trig_adversarial/sin_1e6 |
rational |
retained-facts |
non-dyadic-hit |
1 |
computable/trig_adversarial/sin_f64_exact |
computable |
constructor |
cached-pi |
1 |
computable/trig_adversarial/sin_f64_exact |
computable |
constructor |
prescaled-cos-half-pi-minus-rational |
1 |
computable/trig_adversarial/sin_f64_exact |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/trig_adversarial/sin_f64_exact |
computable |
sin |
medium-rational-half-pi-rewrite |
1 |
computable/trig_adversarial/sin_f64_exact |
rational |
comparison |
dyadic-borrowed-digits |
1 |
computable/trig_adversarial/sin_huge_pi_plus_offset |
computable |
constructor |
cached-pi |
1 |
computable/trig_adversarial/sin_huge_pi_plus_offset |
computable |
constructor |
prescaled-cos-half-pi-minus-rational |
1 |
computable/trig_adversarial/sin_huge_pi_plus_offset |
computable |
constructor |
rational-node |
1 |
computable/trig_adversarial/sin_huge_pi_plus_offset |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/trig_adversarial/sin_huge_pi_plus_offset |
computable |
sin |
integer-pi-plus-rational |
1 |
computable/trig_adversarial/sin_huge_pi_plus_offset |
computable |
sin |
medium-rational-half-pi-rewrite |
1 |
computable/trig_adversarial/sin_huge_pi_plus_offset |
rational |
comparison |
word-sized |
2 |
computable/trig_adversarial/sin_huge_pi_plus_offset |
rational |
retained-facts |
non-dyadic-hit |
1 |
computable/trig_adversarial/sin_medium |
computable |
constructor |
cached-pi |
1 |
computable/trig_adversarial/sin_medium |
computable |
constructor |
prescaled-cos-half-pi-minus-rational |
1 |
computable/trig_adversarial/sin_medium |
computable |
constructor |
shared-constant-wrapper |
1 |
computable/trig_adversarial/sin_medium |
computable |
sin |
medium-rational-half-pi-rewrite |
1 |
computable/trig_adversarial/sin_medium |
rational |
comparison |
word-sized |
1 |
computable/trig_adversarial/sin_tiny |
computable |
constructor |
prescaled-sin |
1 |
computable/trig_adversarial/sin_tiny |
computable |
sin |
structural-small-prescaled |
1 |
computable/trig_adversarial/tan_1e30 |
computable |
constructor |
cached-pi |
5 |
computable/trig_adversarial/tan_1e30 |
computable |
constructor |
shared-constant-wrapper |
5 |
computable/trig_adversarial/tan_1e30 |
computable |
constructor |
tan-large-rational-deferred |
1 |
computable/trig_adversarial/tan_1e30 |
computable |
tan |
near-large-rational-deferred |
1 |
computable/trig_adversarial/tan_1e30 |
computable_approx |
tan |
large-rational-direct-quotient |
1 |
computable/trig_adversarial/tan_1e30 |
rational |
comparison |
word-sized |
1 |
computable/trig_adversarial/tan_1e30 |
rational |
retained-facts |
non-dyadic-hit |
1 |
computable/trig_adversarial/tan_1e6 |
computable |
constructor |
cached-pi |
5 |
computable/trig_adversarial/tan_1e6 |
computable |
constructor |
shared-constant-wrapper |
5 |
computable/trig_adversarial/tan_1e6 |
computable |
constructor |
tan-large-rational-deferred |
1 |
computable/trig_adversarial/tan_1e6 |
computable |
tan |
near-large-rational-deferred |
1 |
computable/trig_adversarial/tan_1e6 |
computable_approx |
tan |
large-rational-direct-quotient |
1 |
computable/trig_adversarial/tan_1e6 |
rational |
comparison |
word-sized |
1 |
computable/trig_adversarial/tan_1e6 |
rational |
retained-facts |
non-dyadic-hit |
1 |
computable/trig_adversarial/tan_huge_pi_plus_offset |
computable |
constructor |
cached-pi |
2 |
computable/trig_adversarial/tan_huge_pi_plus_offset |
computable |
constructor |
prescaled-cot-half-pi-minus-rational |
1 |
computable/trig_adversarial/tan_huge_pi_plus_offset |
computable |
constructor |
rational-node |
1 |
computable/trig_adversarial/tan_huge_pi_plus_offset |
computable |
constructor |
shared-constant-wrapper |
2 |
computable/trig_adversarial/tan_huge_pi_plus_offset |
computable |
tan |
integer-pi-plus-rational |
1 |
computable/trig_adversarial/tan_huge_pi_plus_offset |
computable |
tan |
medium-rational-half-pi-cotangent |
1 |
computable/trig_adversarial/tan_huge_pi_plus_offset |
rational |
comparison |
word-sized |
2 |
computable/trig_adversarial/tan_huge_pi_plus_offset |
rational |
retained-facts |
non-dyadic-hit |
2 |
computable/trig_adversarial/tan_medium |
computable |
constructor |
cached-pi |
2 |
computable/trig_adversarial/tan_medium |
computable |
constructor |
prescaled-cot-half-pi-minus-rational |
1 |
computable/trig_adversarial/tan_medium |
computable |
constructor |
shared-constant-wrapper |
2 |
computable/trig_adversarial/tan_medium |
computable |
tan |
medium-rational-half-pi-cotangent |
1 |
computable/trig_adversarial/tan_medium |
rational |
comparison |
word-sized |
1 |
computable/trig_adversarial/tan_medium |
rational |
retained-facts |
non-dyadic-hit |
1 |
computable/trig_adversarial/tan_near_half_pi |
computable |
tan |
structural-small-prescaled |
1 |
computable/trig_adversarial/tan_promoted_generated_604_125 |
computable |
constructor |
cached-pi |
3 |
computable/trig_adversarial/tan_promoted_generated_604_125 |
computable |
constructor |
shared-constant-wrapper |
3 |
computable/trig_adversarial/tan_promoted_generated_604_125 |
computable |
constructor |
tan-large-rational-deferred |
1 |
computable/trig_adversarial/tan_promoted_generated_604_125 |
computable |
tan |
near-large-rational-deferred |
1 |
computable/trig_adversarial/tan_promoted_generated_604_125 |
computable_approx |
tan |
large-rational-direct-quotient |
1 |
computable/trig_adversarial/tan_promoted_generated_604_125 |
computable_approx |
trig |
fixed-half-pi-multiple-3 |
1 |
computable/trig_adversarial/tan_promoted_generated_604_125 |
rational |
comparison |
word-sized |
4 |
computable/trig_adversarial/tan_promoted_generated_604_125 |
rational |
retained-facts |
non-dyadic-hit |
3 |
computable/trig_adversarial/tan_tiny |
computable |
tan |
structural-small-prescaled |
1 |
real/arithmetic/exact |
rational |
add |
word-sized |
1 |
real/arithmetic/exact |
rational |
arithmetic-reuse |
first-observation |
2 |
real/arithmetic/exact |
rational |
div |
word-sized |
1 |
real/arithmetic/exact |
rational |
mul |
word-sized |
1 |
real/arithmetic/exact |
rational |
mul-div |
proven-reduced-word-product |
1 |
real/arithmetic/exact |
rational |
sub |
word-sized |
1 |
real/arithmetic/exact |
rational |
word-result |
cached-small-general-fraction |
1 |
real/arithmetic/exact |
rational |
word-result |
cached-small-integer |
3 |
real/arithmetic/exact |
real |
add |
same-symbolic-basis |
1 |
real/arithmetic/exact |
real |
constructor |
rational |
6 |
real/arithmetic/exact |
real |
div |
same-class |
1 |
real/arithmetic/exact |
real |
mul |
exact-rational |
1 |
real/arithmetic/exact |
real |
sub |
same-symbolic-basis |
1 |
real/constants |
computable |
constructor |
cached-e-internal |
2 |
real/constants |
computable |
constructor |
cached-pi |
4 |
real/constants |
computable |
constructor |
shared-constant-wrapper |
6 |
real/constants |
real |
constructor |
cached-e |
1 |
real/constants |
real |
constructor |
cached-pi |
1 |
real/constants |
real |
constructor |
cached-tau |
1 |
real/constants |
real |
constructor |
one |
1 |
real/constants |
real |
constructor |
zero |
1 |
real/div/const_product_sqrt_over_e |
computable |
constructor |
cached-e-internal |
4 |
real/div/const_product_sqrt_over_e |
computable |
constructor |
cached-pi |
5 |
real/div/const_product_sqrt_over_e |
computable |
constructor |
rational-integer-canonicalized |
2 |
real/div/const_product_sqrt_over_e |
computable |
constructor |
shared-constant-wrapper |
11 |
real/div/const_product_sqrt_over_e |
computable |
constructor |
shared-sqrt-constant-probe |
2 |
real/div/const_product_sqrt_over_e |
real |
certified_sign_until |
structural-facts |
1 |
real/div/const_product_sqrt_over_e |
real |
constructor |
cached-e |
2 |
real/div/const_product_sqrt_over_e |
real |
constructor |
cached-pi |
1 |
real/div/const_product_sqrt_over_e |
real |
constructor |
rational |
1 |
real/div/const_product_sqrt_over_e |
real |
div |
cached-pi-sqrt-two-over-exp |
1 |
real/div/const_product_sqrt_over_e |
real |
mul |
symbolic-class-table |
2 |
real/div/const_product_sqrt_over_e |
real |
sqrt |
rational-sqrt-special-form |
1 |
real/div/const_product_sqrt_over_e |
real |
structural_facts |
exact-rational |
1 |
real/div/div_const_product_sqrt |
computable |
constructor |
cached-e-internal |
5 |
real/div/div_const_product_sqrt |
computable |
constructor |
cached-pi |
4 |
real/div/div_const_product_sqrt |
computable |
constructor |
rational-integer-canonicalized |
4 |
real/div/div_const_product_sqrt |
computable |
constructor |
shared-constant-wrapper |
11 |
real/div/div_const_product_sqrt |
computable |
constructor |
shared-sqrt-constant-probe |
2 |
real/div/div_const_product_sqrt |
computable |
sqrt |
generic-sqrt-node |
2 |
real/div/div_const_product_sqrt |
rational |
square_extraction |
reuse-observed |
2 |
real/div/div_const_product_sqrt |
real |
certified_sign_until |
structural-facts |
2 |
real/div/div_const_product_sqrt |
real |
constructor |
cached-e |
2 |
real/div/div_const_product_sqrt |
real |
constructor |
cached-pi |
1 |
real/div/div_const_product_sqrt |
real |
constructor |
rational |
2 |
real/div/div_const_product_sqrt |
real |
div |
const-product-sqrt |
1 |
real/div/div_const_product_sqrt |
real |
mul |
symbolic-class-table |
3 |
real/div/div_const_product_sqrt |
real |
sqrt |
rational-sqrt-special-form |
2 |
real/div/div_const_product_sqrt |
real |
structural_facts |
exact-rational |
2 |
real/div/div_const_products |
computable |
constructor |
cached-e-internal |
3 |
real/div/div_const_products |
computable |
constructor |
cached-inv-pi |
1 |
real/div/div_const_products |
computable |
constructor |
cached-pi |
3 |
real/div/div_const_products |
computable |
constructor |
rational-integer-canonicalized |
1 |
real/div/div_const_products |
computable |
constructor |
shared-constant-wrapper |
7 |
real/div/div_const_products |
computable |
exp |
structural-small-prescaled |
1 |
real/div/div_const_products |
real |
constructor |
cached-e |
2 |
real/div/div_const_products |
real |
constructor |
cached-pi |
2 |
real/div/div_const_products |
real |
div |
exp-over-pi |
1 |
real/div/div_const_products |
real |
div |
pi-over-exp |
1 |
real/div/rational_over_symbolic |
computable |
constructor |
cached-e-internal |
1 |
real/div/rational_over_symbolic |
computable |
constructor |
cached-inv-pi |
1 |
real/div/rational_over_symbolic |
computable |
constructor |
cached-pi |
1 |
real/div/rational_over_symbolic |
computable |
constructor |
rational-integer-canonicalized |
1 |
real/div/rational_over_symbolic |
computable |
constructor |
shared-constant-wrapper |
3 |
real/div/rational_over_symbolic |
computable |
exp |
structural-small-prescaled |
1 |
real/div/rational_over_symbolic |
rational |
inverse |
retained |
1 |
real/div/rational_over_symbolic |
real |
constructor |
cached-e |
1 |
real/div/rational_over_symbolic |
real |
constructor |
cached-pi |
1 |
real/div/rational_over_symbolic |
real |
constructor |
one |
1 |
real/div/rational_over_symbolic |
real |
constructor |
rational |
1 |
real/div/rational_over_symbolic |
real |
div |
lhs-rational-symbolic-inverse |
1 |
real/div/rational_over_symbolic |
real |
div |
rational-over-exp |
1 |
real/div/rational_over_symbolic |
real |
inverse_ref |
prechecked-pi |
1 |
real/div/sqrt_two_over_sqrt_three |
computable |
constructor |
rational-integer-canonicalized |
4 |
real/div/sqrt_two_over_sqrt_three |
computable |
sqrt |
generic-sqrt-node |
1 |
real/div/sqrt_two_over_sqrt_three |
rational |
square_extraction |
retained-reduction |
1 |
real/div/sqrt_two_over_sqrt_three |
rational_algorithm |
gcd |
binary-word |
1 |
real/div/sqrt_two_over_sqrt_three |
real |
certified_sign_until |
structural-facts |
2 |
real/div/sqrt_two_over_sqrt_three |
real |
constructor |
rational |
2 |
real/div/sqrt_two_over_sqrt_three |
real |
div |
cached-sqrt-six-over-three-prechecked |
1 |
real/div/sqrt_two_over_sqrt_three |
real |
sqrt |
rational-sqrt-special-form |
2 |
real/div/sqrt_two_over_sqrt_three |
real |
structural_facts |
exact-rational |
2 |
real/dot_product/active_dot3_dense_symbolic |
computable |
constructor |
cached-e-internal |
6 |
real/dot_product/active_dot3_dense_symbolic |
computable |
constructor |
cached-pi |
6 |
real/dot_product/active_dot3_dense_symbolic |
computable |
constructor |
shared-constant-wrapper |
12 |
real/dot_product/active_dot3_dense_symbolic |
rational |
add |
word-sized |
2 |
real/dot_product/active_dot3_dense_symbolic |
rational |
arithmetic-reuse |
first-observation |
1 |
real/dot_product/active_dot3_dense_symbolic |
rational |
mul |
retained-product |
2 |
real/dot_product/active_dot3_dense_symbolic |
rational |
mul |
retained-secondary-product |
1 |
real/dot_product/active_dot3_dense_symbolic |
rational |
word-result |
uncached-integer-128-255 |
1 |
real/dot_product/active_dot3_dense_symbolic |
rational |
word-result |
uncached-integer-65-127 |
1 |
real/dot_product/active_dot3_dense_symbolic |
real |
add |
same-symbolic-basis |
2 |
real/dot_product/active_dot3_dense_symbolic |
real |
constructor |
cached-e |
3 |
real/dot_product/active_dot3_dense_symbolic |
real |
constructor |
cached-pi |
3 |
real/dot_product/active_dot3_dense_symbolic |
real |
constructor |
rational |
6 |
real/dot_product/active_dot3_dense_symbolic |
real |
dot_product |
active-dot3-real-tree |
1 |
real/dot_product/active_dot3_dense_symbolic |
real |
mul |
rhs-rational-scale |
6 |
real/dot_product/active_dot3_dense_symbolic |
real |
mul |
symbolic-class-table |
3 |
real/dot_product/active_dot4_dense_symbolic |
computable |
constructor |
cached-e-internal |
7 |
real/dot_product/active_dot4_dense_symbolic |
computable |
constructor |
cached-pi |
7 |
real/dot_product/active_dot4_dense_symbolic |
computable |
constructor |
rational-integer-canonicalized |
2 |
real/dot_product/active_dot4_dense_symbolic |
computable |
constructor |
rational-node |
1 |
real/dot_product/active_dot4_dense_symbolic |
computable |
constructor |
shared-constant-wrapper |
14 |
real/dot_product/active_dot4_dense_symbolic |
rational |
add |
word-sized |
1 |
real/dot_product/active_dot4_dense_symbolic |
rational |
div |
word-sized |
1 |
real/dot_product/active_dot4_dense_symbolic |
rational |
mul |
retained-product |
4 |
real/dot_product/active_dot4_dense_symbolic |
rational |
mul-div |
proven-reduced-word-product |
1 |
real/dot_product/active_dot4_dense_symbolic |
rational |
word-result |
small-general-fraction |
1 |
real/dot_product/active_dot4_dense_symbolic |
rational |
word-result |
uncached-integer-65-127 |
1 |
real/dot_product/active_dot4_dense_symbolic |
real |
add |
generic-computable |
1 |
real/dot_product/active_dot4_dense_symbolic |
real |
add |
rhs-rational-const-offset |
1 |
real/dot_product/active_dot4_dense_symbolic |
real |
add |
same-symbolic-basis |
1 |
real/dot_product/active_dot4_dense_symbolic |
real |
constructor |
cached-e |
3 |
real/dot_product/active_dot4_dense_symbolic |
real |
constructor |
cached-pi |
3 |
real/dot_product/active_dot4_dense_symbolic |
real |
constructor |
rational |
9 |
real/dot_product/active_dot4_dense_symbolic |
real |
dot_product |
active-dot4-real-tree |
1 |
real/dot_product/active_dot4_dense_symbolic |
real |
mul |
rhs-rational-scale |
6 |
real/dot_product/active_dot4_dense_symbolic |
real |
mul |
symbolic-class-table |
3 |
real/dot_product/dot3_all_zero |
computable |
constructor |
cached-e-internal |
1 |
real/dot_product/dot3_all_zero |
computable |
constructor |
cached-pi |
1 |
real/dot_product/dot3_all_zero |
computable |
constructor |
shared-constant-wrapper |
2 |
real/dot_product/dot3_all_zero |
real |
constructor |
cached-e |
1 |
real/dot_product/dot3_all_zero |
real |
constructor |
cached-pi |
1 |
real/dot_product/dot3_all_zero |
real |
constructor |
rational |
1 |
real/dot_product/dot3_all_zero |
real |
constructor |
zero |
4 |
real/dot_product/dot3_all_zero |
real |
dot_product |
dot3-structural-real-tree |
1 |
real/dot_product/dot3_dense_symbolic |
computable |
constructor |
cached-e-internal |
6 |
real/dot_product/dot3_dense_symbolic |
computable |
constructor |
cached-pi |
6 |
real/dot_product/dot3_dense_symbolic |
computable |
constructor |
shared-constant-wrapper |
12 |
real/dot_product/dot3_dense_symbolic |
rational |
add |
word-sized |
2 |
real/dot_product/dot3_dense_symbolic |
rational |
arithmetic-reuse |
first-observation |
4 |
real/dot_product/dot3_dense_symbolic |
rational |
mul |
word-sized |
3 |
real/dot_product/dot3_dense_symbolic |
rational |
word-result |
cached-small-integer |
1 |
real/dot_product/dot3_dense_symbolic |
rational |
word-result |
uncached-integer-128-255 |
1 |
real/dot_product/dot3_dense_symbolic |
rational |
word-result |
uncached-integer-65-127 |
3 |
real/dot_product/dot3_dense_symbolic |
real |
add |
same-symbolic-basis |
2 |
real/dot_product/dot3_dense_symbolic |
real |
constructor |
cached-e |
3 |
real/dot_product/dot3_dense_symbolic |
real |
constructor |
cached-pi |
3 |
real/dot_product/dot3_dense_symbolic |
real |
constructor |
rational |
6 |
real/dot_product/dot3_dense_symbolic |
real |
dot_product |
dot3-generic-real-tree |
1 |
real/dot_product/dot3_dense_symbolic |
real |
mul |
rhs-rational-scale |
6 |
real/dot_product/dot3_dense_symbolic |
real |
mul |
symbolic-class-table |
3 |
real/dot_product/dot3_mixed_structural |
computable |
constructor |
cached-e-internal |
1 |
real/dot_product/dot3_mixed_structural |
computable |
constructor |
cached-pi |
2 |
real/dot_product/dot3_mixed_structural |
computable |
constructor |
rational-node |
1 |
real/dot_product/dot3_mixed_structural |
computable |
constructor |
shared-constant-wrapper |
3 |
real/dot_product/dot3_mixed_structural |
rational |
mul |
word-dyadic-general-cross-cancel |
1 |
real/dot_product/dot3_mixed_structural |
rational |
mul |
word-sized |
1 |
real/dot_product/dot3_mixed_structural |
rational |
word-result |
cached-small-general-fraction |
1 |
real/dot_product/dot3_mixed_structural |
rational_algorithm |
gcd |
binary-word |
1 |
real/dot_product/dot3_mixed_structural |
real |
add |
generic-computable |
1 |
real/dot_product/dot3_mixed_structural |
real |
constructor |
cached-e |
1 |
real/dot_product/dot3_mixed_structural |
real |
constructor |
cached-pi |
1 |
real/dot_product/dot3_mixed_structural |
real |
constructor |
one |
1 |
real/dot_product/dot3_mixed_structural |
real |
constructor |
rational |
3 |
real/dot_product/dot3_mixed_structural |
real |
constructor |
zero |
1 |
real/dot_product/dot3_mixed_structural |
real |
dot_product |
dot3-structural-real-tree |
1 |
real/dot_product/dot3_mixed_structural |
real |
mul |
rhs-rational-scale |
1 |
real/dot_product/dot4_dense_symbolic |
computable |
constructor |
cached-e-internal |
7 |
real/dot_product/dot4_dense_symbolic |
computable |
constructor |
cached-pi |
7 |
real/dot_product/dot4_dense_symbolic |
computable |
constructor |
rational-integer-canonicalized |
2 |
real/dot_product/dot4_dense_symbolic |
computable |
constructor |
rational-node |
1 |
real/dot_product/dot4_dense_symbolic |
computable |
constructor |
shared-constant-wrapper |
14 |
real/dot_product/dot4_dense_symbolic |
rational |
add |
word-sized |
1 |
real/dot_product/dot4_dense_symbolic |
rational |
arithmetic-reuse |
first-observation |
2 |
real/dot_product/dot4_dense_symbolic |
rational |
div |
word-sized |
1 |
real/dot_product/dot4_dense_symbolic |
rational |
mul |
word-sized |
4 |
real/dot_product/dot4_dense_symbolic |
rational |
mul-div |
proven-reduced-word-product |
1 |
real/dot_product/dot4_dense_symbolic |
rational |
word-result |
cached-small-integer |
1 |
real/dot_product/dot4_dense_symbolic |
rational |
word-result |
small-general-fraction |
1 |
real/dot_product/dot4_dense_symbolic |
rational |
word-result |
uncached-integer-128-255 |
2 |
real/dot_product/dot4_dense_symbolic |
rational |
word-result |
uncached-integer-65-127 |
2 |
real/dot_product/dot4_dense_symbolic |
real |
add |
generic-computable |
1 |
real/dot_product/dot4_dense_symbolic |
real |
add |
rhs-rational-const-offset |
1 |
real/dot_product/dot4_dense_symbolic |
real |
add |
same-symbolic-basis |
1 |
real/dot_product/dot4_dense_symbolic |
real |
constructor |
cached-e |
3 |
real/dot_product/dot4_dense_symbolic |
real |
constructor |
cached-pi |
3 |
real/dot_product/dot4_dense_symbolic |
real |
constructor |
rational |
9 |
real/dot_product/dot4_dense_symbolic |
real |
dot_product |
dot4-structural-real-tree |
1 |
real/dot_product/dot4_dense_symbolic |
real |
mul |
rhs-rational-scale |
6 |
real/dot_product/dot4_dense_symbolic |
real |
mul |
symbolic-class-table |
3 |
real/dot_product/dot4_mixed_structural |
computable |
constructor |
cached-e-internal |
1 |
real/dot_product/dot4_mixed_structural |
computable |
constructor |
cached-pi |
3 |
real/dot_product/dot4_mixed_structural |
computable |
constructor |
rational-integer-canonicalized |
1 |
real/dot_product/dot4_mixed_structural |
computable |
constructor |
shared-constant-wrapper |
4 |
real/dot_product/dot4_mixed_structural |
rational |
add |
word-sized |
2 |
real/dot_product/dot4_mixed_structural |
rational |
arithmetic-reuse |
first-observation |
3 |
real/dot_product/dot4_mixed_structural |
rational |
comparison |
word-sized |
1 |
real/dot_product/dot4_mixed_structural |
rational |
word-result |
small-general-fraction |
2 |
real/dot_product/dot4_mixed_structural |
rational_algorithm |
gcd |
binary-word |
3 |
real/dot_product/dot4_mixed_structural |
real |
add |
rhs-rational-const-offset |
1 |
real/dot_product/dot4_mixed_structural |
real |
constructor |
cached-e |
1 |
real/dot_product/dot4_mixed_structural |
real |
constructor |
cached-pi |
1 |
real/dot_product/dot4_mixed_structural |
real |
constructor |
one |
2 |
real/dot_product/dot4_mixed_structural |
real |
constructor |
rational |
4 |
real/dot_product/dot4_mixed_structural |
real |
constructor |
zero |
2 |
real/dot_product/dot4_mixed_structural |
real |
dot_product |
dot4-structural-real-tree |
1 |
real/dot_product/dot4_mixed_structural |
real |
mul |
rhs-rational-scale |
1 |
real/forward_hyperbolic/large |
computable |
constructor |
one |
6 |
real/forward_hyperbolic/large |
computable |
constructor |
rational-integer-canonicalized |
10 |
real/forward_hyperbolic/large |
computable |
zero_status |
exact-sign-cache |
12 |
real/forward_hyperbolic/large |
rational |
add |
word-sized |
2 |
real/forward_hyperbolic/large |
rational |
arithmetic-reuse |
first-observation |
1 |
real/forward_hyperbolic/large |
rational |
inverse |
retained |
5 |
real/forward_hyperbolic/large |
rational |
neg |
retained |
2 |
real/forward_hyperbolic/large |
rational |
word-result |
cached-small-integer |
2 |
real/forward_hyperbolic/large |
real |
add |
generic-computable |
10 |
real/forward_hyperbolic/large |
real |
add |
same-symbolic-basis |
2 |
real/forward_hyperbolic/large |
real |
constructor |
one |
4 |
real/forward_hyperbolic/large |
real |
constructor |
rational |
10 |
real/forward_hyperbolic/large |
real |
cosh |
generic-expm1-identity |
2 |
real/forward_hyperbolic/large |
real |
cosh |
negative-symmetry |
1 |
real/forward_hyperbolic/large |
real |
definitely_zero |
rational-sign |
15 |
real/forward_hyperbolic/large |
real |
expm1 |
generic-computable |
6 |
real/forward_hyperbolic/large |
real |
inverse_ref |
generic |
6 |
real/forward_hyperbolic/large |
real |
mul |
rhs-rational-scale |
4 |
real/forward_hyperbolic/large |
real |
mul |
symbolic-class-table |
10 |
real/forward_hyperbolic/large |
real |
sinh |
generic-expm1-identity |
2 |
real/forward_hyperbolic/large |
real |
sinh |
negative-symmetry |
1 |
real/forward_hyperbolic/large |
real |
tanh |
generic-expm1-identity |
2 |
real/forward_hyperbolic/large |
real |
tanh |
negative-symmetry |
1 |
real/forward_hyperbolic/large |
real |
zero_status |
scaled-computable |
12 |
real/forward_hyperbolic/small |
computable |
constructor |
rational-node |
6 |
real/forward_hyperbolic/small |
computable |
exp |
structural-small-prescaled |
6 |
real/forward_hyperbolic/small |
computable |
zero_status |
exact-sign-cache |
2 |
real/forward_hyperbolic/small |
rational |
div |
word-sized |
2 |
real/forward_hyperbolic/small |
rational |
inverse |
retained |
1 |
real/forward_hyperbolic/small |
rational |
mul-div |
proven-reduced-word-product |
2 |
real/forward_hyperbolic/small |
rational |
neg |
retained |
2 |
real/forward_hyperbolic/small |
rational |
word-result |
cached-small-dyadic |
2 |
real/forward_hyperbolic/small |
real |
add |
generic-computable |
2 |
real/forward_hyperbolic/small |
real |
constructor |
rational |
3 |
real/forward_hyperbolic/small |
real |
cosh |
generic-exp-identity |
1 |
real/forward_hyperbolic/small |
real |
definitely_zero |
rational-sign |
9 |
real/forward_hyperbolic/small |
real |
div |
rhs-one |
2 |
real/forward_hyperbolic/small |
real |
exp |
rational-exp-special-form |
6 |
real/forward_hyperbolic/small |
real |
inverse_ref |
generic |
1 |
real/forward_hyperbolic/small |
real |
mul |
symbolic-class-table |
1 |
real/forward_hyperbolic/small |
real |
sinh |
generic-exp-identity |
1 |
real/forward_hyperbolic/small |
real |
sub |
generic-computable |
2 |
real/forward_hyperbolic/small |
real |
tanh |
generic-exp-identity |
1 |
real/forward_hyperbolic/small |
real |
zero_status |
scaled-computable |
2 |
real/geometry_polynomial_substrate |
computable |
constructor |
cached-e-internal |
6 |
real/geometry_polynomial_substrate |
computable |
constructor |
cached-inv-pi |
1 |
real/geometry_polynomial_substrate |
computable |
constructor |
cached-pi |
12 |
real/geometry_polynomial_substrate |
computable |
constructor |
one |
1 |
real/geometry_polynomial_substrate |
computable |
constructor |
prescaled-cos-rational |
1 |
real/geometry_polynomial_substrate |
computable |
constructor |
prescaled-sin-rational |
1 |
real/geometry_polynomial_substrate |
computable |
constructor |
rational-integer-canonicalized |
5 |
real/geometry_polynomial_substrate |
computable |
constructor |
rational-node |
10 |
real/geometry_polynomial_substrate |
computable |
constructor |
shared-constant-wrapper |
21 |
real/geometry_polynomial_substrate |
computable |
constructor |
shared-sqrt-constant-probe |
2 |
real/geometry_polynomial_substrate |
computable |
cos |
structural-small-prescaled |
1 |
real/geometry_polynomial_substrate |
computable |
sin |
structural-small-prescaled |
1 |
real/geometry_polynomial_substrate |
computable |
zero_status |
exact-sign-cache |
2 |
real/geometry_polynomial_substrate |
rational |
add |
word-sized |
15 |
real/geometry_polynomial_substrate |
rational |
arithmetic-reuse |
first-observation |
22 |
real/geometry_polynomial_substrate |
rational |
comparison |
dyadic-borrowed-digits |
1 |
real/geometry_polynomial_substrate |
rational |
comparison |
word-sized |
4 |
real/geometry_polynomial_substrate |
rational |
div |
word-sized |
6 |
real/geometry_polynomial_substrate |
rational |
dot_product |
retained-self-dot |
1 |
real/geometry_polynomial_substrate |
rational |
dot_product |
word-sized |
2 |
real/geometry_polynomial_substrate |
rational |
inverse |
retained |
1 |
real/geometry_polynomial_substrate |
rational |
mul |
retained-product |
6 |
real/geometry_polynomial_substrate |
rational |
mul |
retained-secondary-product |
1 |
real/geometry_polynomial_substrate |
rational |
mul |
word-dyadic-general-cross-cancel |
4 |
real/geometry_polynomial_substrate |
rational |
mul |
word-sized |
14 |
real/geometry_polynomial_substrate |
rational |
mul-div |
proven-reduced-word-product |
4 |
real/geometry_polynomial_substrate |
rational |
powi |
word-sized |
1 |
real/geometry_polynomial_substrate |
rational |
product_sum |
word-sized |
1 |
real/geometry_polynomial_substrate |
rational |
square_extraction |
mod63-reject |
1 |
real/geometry_polynomial_substrate |
rational |
square_extraction |
reuse-observed |
3 |
real/geometry_polynomial_substrate |
rational |
square_extraction |
shared-divisor-remainder |
2 |
real/geometry_polynomial_substrate |
rational |
square_extraction |
shared-small-factor-remainder |
2 |
real/geometry_polynomial_substrate |
rational |
word-reduction |
mixed-357-smooth-denominator |
3 |
real/geometry_polynomial_substrate |
rational |
word-reduction |
other-small-odd-denominator |
9 |
real/geometry_polynomial_substrate |
rational |
word-reduction |
power-of-five-denominator |
2 |
real/geometry_polynomial_substrate |
rational |
word-reduction |
power-of-three-denominator |
2 |
real/geometry_polynomial_substrate |
rational |
word-result |
cached-small-dyadic |
5 |
real/geometry_polynomial_substrate |
rational |
word-result |
cached-small-general-fraction |
4 |
real/geometry_polynomial_substrate |
rational |
word-result |
cached-small-integer |
6 |
real/geometry_polynomial_substrate |
rational |
word-result |
small-general-fraction |
18 |
real/geometry_polynomial_substrate |
rational |
word-result |
uncached-integer-128-255 |
1 |
real/geometry_polynomial_substrate |
rational |
word-result |
uncached-integer-wide |
2 |
real/geometry_polynomial_substrate |
rational |
word-result |
wide-general-fraction |
3 |
real/geometry_polynomial_substrate |
rational_algorithm |
gcd |
binary-word |
15 |
real/geometry_polynomial_substrate |
rational_algorithm |
powering |
word-checked-pow |
1 |
real/geometry_polynomial_substrate |
rational_algorithm |
reduction-denominator |
backend-single-limb |
1 |
real/geometry_polynomial_substrate |
rational_algorithm |
reduction-numerator |
backend-single-limb |
1 |
real/geometry_polynomial_substrate |
real |
add |
generic-computable |
3 |
real/geometry_polynomial_substrate |
real |
add |
rhs-rational-const-offset |
3 |
real/geometry_polynomial_substrate |
real |
add |
same-symbolic-basis |
1 |
real/geometry_polynomial_substrate |
real |
atan |
exact-special-form |
1 |
real/geometry_polynomial_substrate |
real |
atan2 |
axis-negative-x |
1 |
real/geometry_polynomial_substrate |
real |
atan2 |
quadrant-upper-left |
1 |
real/geometry_polynomial_substrate |
real |
certified_sign_until |
structural-facts |
4 |
real/geometry_polynomial_substrate |
real |
constructor |
cached-e |
3 |
real/geometry_polynomial_substrate |
real |
constructor |
cached-pi |
7 |
real/geometry_polynomial_substrate |
real |
constructor |
one |
9 |
real/geometry_polynomial_substrate |
real |
constructor |
rational |
33 |
real/geometry_polynomial_substrate |
real |
constructor |
zero |
3 |
real/geometry_polynomial_substrate |
real |
cos |
rational-specialized-computable |
1 |
real/geometry_polynomial_substrate |
real |
cos_pi |
rational-exact-table |
1 |
real/geometry_polynomial_substrate |
real |
cosc |
one-minus-cos-over-square |
1 |
real/geometry_polynomial_substrate |
real |
definitely_zero |
rational-sign |
14 |
real/geometry_polynomial_substrate |
real |
div |
lhs-rational-symbolic-inverse |
2 |
real/geometry_polynomial_substrate |
real |
div |
rhs-one |
3 |
real/geometry_polynomial_substrate |
real |
div |
same-class |
1 |
real/geometry_polynomial_substrate |
real |
dot_product |
dot2-exact-rational-shared-denom |
2 |
real/geometry_polynomial_substrate |
real |
dot_product |
dot3-retained-self |
1 |
real/geometry_polynomial_substrate |
real |
dot_product |
dot4-structural-real-tree |
1 |
real/geometry_polynomial_substrate |
real |
hypot |
hypot-minus-rationalized |
1 |
real/geometry_polynomial_substrate |
real |
hypot |
hypot2-dot-sqrt |
2 |
real/geometry_polynomial_substrate |
real |
hypot |
hypot3-dot-sqrt |
1 |
real/geometry_polynomial_substrate |
real |
inverse_ref |
generic |
1 |
real/geometry_polynomial_substrate |
real |
inverse_ref |
prechecked-pi |
1 |
real/geometry_polynomial_substrate |
real |
mul |
exact-rational |
1 |
real/geometry_polynomial_substrate |
real |
mul |
lhs-rational-scale |
1 |
real/geometry_polynomial_substrate |
real |
mul |
symbolic-class-table |
1 |
real/geometry_polynomial_substrate |
real |
pi_fraction |
cached-special-form |
1 |
real/geometry_polynomial_substrate |
real |
polynomial |
eval-poly-exact-rational |
1 |
real/geometry_polynomial_substrate |
real |
polynomial |
eval-poly-rational-x-split |
2 |
real/geometry_polynomial_substrate |
real |
polynomial |
eval-rational-poly |
1 |
real/geometry_polynomial_substrate |
real |
powi |
rational-exact |
1 |
real/geometry_polynomial_substrate |
real |
product_sum |
diff-of-products-exact-rational |
1 |
real/geometry_polynomial_substrate |
real |
product_sum |
mul-add-zero-product |
1 |
real/geometry_polynomial_substrate |
real |
sin |
rational-specialized-computable |
1 |
real/geometry_polynomial_substrate |
real |
sin_pi |
rational-special-form |
2 |
real/geometry_polynomial_substrate |
real |
sinc |
exact-zero-one |
1 |
real/geometry_polynomial_substrate |
real |
sinc |
sin-over-x |
1 |
real/geometry_polynomial_substrate |
real |
sinc_pi |
sinpi-over-pi-x |
1 |
real/geometry_polynomial_substrate |
real |
sqrt |
rational-perfect-square |
2 |
real/geometry_polynomial_substrate |
real |
sqrt |
rational-sqrt-special-form |
1 |
real/geometry_polynomial_substrate |
real |
structural_facts |
exact-rational |
8 |
real/geometry_polynomial_substrate |
real |
sub |
generic-computable |
1 |
real/geometry_polynomial_substrate |
real |
tan |
pi-rational-exact-table |
1 |
real/geometry_polynomial_substrate |
real |
zero_status |
scaled-computable |
2 |
real/hyperbolic_log_exp |
computable |
constructor |
acosh-near-one-deferred |
1 |
real/hyperbolic_log_exp |
computable |
constructor |
asinh-near-zero-deferred |
1 |
real/hyperbolic_log_exp |
computable |
constructor |
rational-node |
5 |
real/hyperbolic_log_exp |
computable |
exp |
structural-small-prescaled |
1 |
real/hyperbolic_log_exp |
computable |
ln |
exact-rational-direct-ln1p |
1 |
real/hyperbolic_log_exp |
rational |
comparison |
dyadic-borrowed-digits |
2 |
real/hyperbolic_log_exp |
real |
acosh |
near-one-deferred-node |
1 |
real/hyperbolic_log_exp |
real |
asinh |
rational-near-zero-deferred-node |
1 |
real/hyperbolic_log_exp |
real |
certified_sign_until |
structural-facts |
1 |
real/hyperbolic_log_exp |
real |
constructor |
rational |
1 |
real/hyperbolic_log_exp |
real |
definitely_zero |
rational-sign |
2 |
real/hyperbolic_log_exp |
real |
exp |
rational-exp-special-form |
1 |
real/hyperbolic_log_exp |
real |
ln |
rational-ln-special-form |
1 |
real/hyperbolic_log_exp |
real |
structural_facts |
exact-rational |
1 |
real/inverse/inverse_generic |
computable |
constructor |
rational-integer-canonicalized |
2 |
real/inverse/inverse_generic |
rational |
inverse |
retained |
1 |
real/inverse/inverse_generic |
rational |
square_extraction |
reuse-observed |
1 |
real/inverse/inverse_generic |
rational_algorithm |
gcd |
binary-word |
1 |
real/inverse/inverse_generic |
real |
certified_sign_until |
structural-facts |
1 |
real/inverse/inverse_generic |
real |
constructor |
rational |
2 |
real/inverse/inverse_generic |
real |
inverse |
prechecked-one |
1 |
real/inverse/inverse_generic |
real |
inverse |
prechecked-sqrt-rational-radical |
1 |
real/inverse/inverse_generic |
real |
inverse_ref |
prechecked-sqrt-rational-radical |
1 |
real/inverse/inverse_generic |
real |
sqrt |
rational-sqrt-special-form |
1 |
real/inverse/inverse_generic |
real |
structural_facts |
exact-rational |
1 |
real/inverse_hyperbolic/exact_rational |
computable |
constructor |
asinh-direct-deferred |
1 |
real/inverse_hyperbolic/exact_rational |
computable |
constructor |
asinh-near-zero-deferred |
2 |
real/inverse_hyperbolic/exact_rational |
computable |
constructor |
atanh-direct-deferred |
1 |
real/inverse_hyperbolic/exact_rational |
computable |
constructor |
rational-integer-canonicalized |
1 |
real/inverse_hyperbolic/exact_rational |
computable |
constructor |
rational-node |
3 |
real/inverse_hyperbolic/exact_rational |
computable |
constructor |
shared-constant-wrapper |
3 |
real/inverse_hyperbolic/exact_rational |
computable |
constructor |
shared-log-constant-probe |
3 |
real/inverse_hyperbolic/exact_rational |
rational |
comparison |
word-sized |
1 |
real/inverse_hyperbolic/exact_rational |
rational |
neg |
retained |
2 |
real/inverse_hyperbolic/exact_rational |
rational_algorithm |
gcd |
binary-word |
1 |
real/inverse_hyperbolic/exact_rational |
real |
asinh |
rational-direct-deferred-node |
1 |
real/inverse_hyperbolic/exact_rational |
real |
asinh |
rational-near-zero-deferred-node |
2 |
real/inverse_hyperbolic/exact_rational |
real |
asinh |
rational-negative-symmetry |
1 |
real/inverse_hyperbolic/exact_rational |
real |
atanh |
endpoint-deferred-node |
1 |
real/inverse_hyperbolic/exact_rational |
real |
atanh |
rational-half-ln3-special-form |
1 |
real/inverse_hyperbolic/exact_rational |
real |
atanh |
rational-minus-half-ln3-special-form |
1 |
real/inverse_hyperbolic/exact_rational |
real |
constructor |
rational |
3 |
real/inverse_hyperbolic/exact_rational |
real |
definitely_zero |
rational-sign |
7 |
real/inverse_hyperbolic/sqrt |
computable |
constructor |
cached-asinh1 |
2 |
real/inverse_hyperbolic/sqrt |
computable |
constructor |
rational-integer-canonicalized |
2 |
real/inverse_hyperbolic/sqrt |
computable |
constructor |
shared-constant-wrapper |
2 |
real/inverse_hyperbolic/sqrt |
rational |
square_extraction |
retained-reduction |
2 |
real/inverse_hyperbolic/sqrt |
real |
acosh |
sqrt-two-asinh-one |
1 |
real/inverse_hyperbolic/sqrt |
real |
atanh |
sqrt-half-asinh-one |
1 |
real/inverse_hyperbolic/sqrt |
real |
certified_sign_until |
structural-facts |
2 |
real/inverse_hyperbolic/sqrt |
real |
constructor |
rational |
3 |
real/inverse_hyperbolic/sqrt |
real |
definitely_zero |
rational-sign |
1 |
real/inverse_hyperbolic/sqrt |
real |
mul |
rhs-rational-scale |
1 |
real/inverse_hyperbolic/sqrt |
real |
sqrt |
rational-sqrt-special-form |
2 |
real/inverse_hyperbolic/sqrt |
real |
structural_facts |
exact-rational |
2 |
real/inverse_trig |
computable |
acos |
positive-rational-deferred |
1 |
real/inverse_trig |
computable |
acos |
tiny-via-asin |
1 |
real/inverse_trig |
computable |
asin |
endpoint-rational-deferred |
1 |
real/inverse_trig |
computable |
asin |
exact-tiny-rational-series |
2 |
real/inverse_trig |
computable |
atanh |
exact-tiny-prescaled |
1 |
real/inverse_trig |
computable |
constructor |
acos-positive-rational-deferred |
1 |
real/inverse_trig |
computable |
constructor |
asin-rational-deferred |
3 |
real/inverse_trig |
computable |
constructor |
atanh-rational-deferred |
1 |
real/inverse_trig |
computable |
constructor |
cached-pi |
1 |
real/inverse_trig |
computable |
constructor |
rational-node |
6 |
real/inverse_trig |
computable |
constructor |
shared-constant-wrapper |
1 |
real/inverse_trig |
rational |
add |
word-sized |
1 |
real/inverse_trig |
rational |
arithmetic-reuse |
first-observation |
1 |
real/inverse_trig |
rational |
comparison |
dyadic-borrowed-digits |
6 |
real/inverse_trig |
rational |
word-result |
zero |
1 |
real/inverse_trig |
real |
acos |
rational-computable |
2 |
real/inverse_trig |
real |
asin |
rational-computable |
2 |
real/inverse_trig |
real |
atanh |
tiny-rational-computable |
1 |
real/inverse_trig |
real |
constructor |
rational |
2 |
real/inverse_trig |
real |
definitely_zero |
rational-sign |
5 |
real/inverse_trig/exact |
computable |
constructor |
cached-pi |
6 |
real/inverse_trig/exact |
computable |
constructor |
rational-integer-canonicalized |
2 |
real/inverse_trig/exact |
computable |
constructor |
shared-constant-wrapper |
6 |
real/inverse_trig/exact |
rational |
square_extraction |
retained-reduction |
1 |
real/inverse_trig/exact |
rational_algorithm |
gcd |
binary-word |
2 |
real/inverse_trig/exact |
real |
acos |
exact-special-form |
2 |
real/inverse_trig/exact |
real |
asin |
exact-special-form |
2 |
real/inverse_trig/exact |
real |
certified_sign_until |
structural-facts |
1 |
real/inverse_trig/exact |
real |
constructor |
cached-pi |
2 |
real/inverse_trig/exact |
real |
constructor |
rational |
5 |
real/inverse_trig/exact |
real |
definitely_zero |
rational-sign |
4 |
real/inverse_trig/exact |
real |
mul |
lhs-rational-scale |
2 |
real/inverse_trig/exact |
real |
mul |
rhs-rational-scale |
1 |
real/inverse_trig/exact |
real |
pi_fraction |
cached-special-form |
2 |
real/inverse_trig/exact |
real |
sqrt |
rational-sqrt-special-form |
1 |
real/inverse_trig/exact |
real |
structural_facts |
exact-rational |
1 |
real/inverse_trig/mid-domain |
computable |
acos |
positive-rational-deferred |
1 |
real/inverse_trig/mid-domain |
computable |
asin |
positive-rational-deferred |
1 |
real/inverse_trig/mid-domain |
computable |
atan |
exact-rational-deferred |
1 |
real/inverse_trig/mid-domain |
computable |
constructor |
acos-positive-rational-deferred |
1 |
real/inverse_trig/mid-domain |
computable |
constructor |
asin-rational-deferred |
1 |
real/inverse_trig/mid-domain |
computable |
constructor |
atan-rational-deferred |
1 |
real/inverse_trig/mid-domain |
computable |
constructor |
rational-node |
4 |
real/inverse_trig/mid-domain |
computable |
ln |
exact-rational-binary-scaled-ln1p |
1 |
real/inverse_trig/mid-domain |
computable |
structural |
quadratic-surd |
2 |
real/inverse_trig/mid-domain |
rational |
comparison |
dyadic-borrowed-digits |
4 |
real/inverse_trig/mid-domain |
rational |
comparison |
word-sized |
7 |
real/inverse_trig/mid-domain |
rational |
div |
word-sized |
1 |
real/inverse_trig/mid-domain |
rational |
mul-div |
proven-reduced-word-product |
1 |
real/inverse_trig/mid-domain |
rational |
retained-facts |
non-dyadic-hit |
5 |
real/inverse_trig/mid-domain |
rational |
word-result |
small-general-fraction |
1 |
real/inverse_trig/mid-domain |
rational_algorithm |
gcd |
binary-word |
1 |
real/inverse_trig/mid-domain |
real |
acos |
rational-computable |
1 |
real/inverse_trig/mid-domain |
real |
asin |
rational-computable |
1 |
real/inverse_trig/mid-domain |
real |
atan |
generic-computable |
1 |
real/inverse_trig/mid-domain |
real |
atanh |
rational-log-ratio-special-form |
1 |
real/inverse_trig/mid-domain |
real |
constructor |
rational |
2 |
real/inverse_trig/mid-domain |
real |
definitely_zero |
rational-sign |
4 |
real/inverse_trig/mid-domain |
real |
ln |
rational-ln-special-form |
1 |
real/inverse_trig/mid-domain |
real |
mul |
rhs-rational-scale |
1 |
real/log/scaled_e |
computable |
constructor |
cached-e-internal |
1 |
real/log/scaled_e |
computable |
constructor |
one |
2 |
real/log/scaled_e |
computable |
constructor |
rational-one-canonicalized |
1 |
real/log/scaled_e |
computable |
constructor |
shared-constant-wrapper |
3 |
real/log/scaled_e |
computable |
constructor |
shared-log-constant-probe |
2 |
real/log/scaled_e |
computable |
structural_facts |
exact-sign-cache |
1 |
real/log/scaled_e |
rational |
comparison |
word-sized |
2 |
real/log/scaled_e |
rational_algorithm |
gcd |
binary-word |
4 |
real/log/scaled_e |
real |
certified_sign_until |
structural-facts |
1 |
real/log/scaled_e |
real |
constructor |
cached-e |
1 |
real/log/scaled_e |
real |
constructor |
rational |
1 |
real/log/scaled_e |
real |
ln |
cached-one-plus-ln2 |
1 |
real/log/scaled_e |
real |
mul |
lhs-rational-scale |
1 |
real/log/scaled_e |
real |
structural_facts |
symbolic-nonzero-scale |
1 |
real/normal_scientific_substrate |
computable |
constructor |
cached-e-internal |
1 |
real/normal_scientific_substrate |
computable |
constructor |
cached-inv-pi |
1 |
real/normal_scientific_substrate |
computable |
constructor |
cached-pi |
13 |
real/normal_scientific_substrate |
computable |
constructor |
one |
12 |
real/normal_scientific_substrate |
computable |
constructor |
rational-integer-canonicalized |
35 |
real/normal_scientific_substrate |
computable |
constructor |
rational-node |
19 |
real/normal_scientific_substrate |
computable |
constructor |
rational-one-canonicalized |
3 |
real/normal_scientific_substrate |
computable |
constructor |
rational-zero-canonicalized |
8 |
real/normal_scientific_substrate |
computable |
constructor |
shared-constant-wrapper |
23 |
real/normal_scientific_substrate |
computable |
constructor |
shared-log-constant-probe |
2 |
real/normal_scientific_substrate |
computable |
constructor |
shared-sqrt-constant-probe |
4 |
real/normal_scientific_substrate |
computable |
constructor |
zero |
8 |
real/normal_scientific_substrate |
computable |
exp |
bounded-integer-e-power |
1 |
real/normal_scientific_substrate |
computable |
exp |
ln2-range-reduction |
2 |
real/normal_scientific_substrate |
computable |
exp |
prescaled-kernel |
2 |
real/normal_scientific_substrate |
computable |
exp |
structural-small-prescaled |
15 |
real/normal_scientific_substrate |
computable |
ln |
prescaled-ln1p-kernel |
2 |
real/normal_scientific_substrate |
computable |
ln |
sqrt-range-reduction |
1 |
real/normal_scientific_substrate |
computable |
sign_until |
exact-sign-cache |
21 |
real/normal_scientific_substrate |
computable |
sqrt |
generic-sqrt-node |
14 |
real/normal_scientific_substrate |
computable |
structural_facts |
exact-sign-cache |
8 |
real/normal_scientific_substrate |
computable |
zero_status |
exact-sign-cache |
3 |
real/normal_scientific_substrate |
rational |
add |
word-sized |
4 |
real/normal_scientific_substrate |
rational |
arithmetic-reuse |
first-observation |
11 |
real/normal_scientific_substrate |
rational |
comparison |
dyadic-borrowed-digits |
6 |
real/normal_scientific_substrate |
rational |
comparison |
word-sized |
23 |
real/normal_scientific_substrate |
rational |
div |
word-sized |
4 |
real/normal_scientific_substrate |
rational |
inverse |
retained |
6 |
real/normal_scientific_substrate |
rational |
linear |
retained-difference |
3 |
real/normal_scientific_substrate |
rational |
mul |
retained-product |
8 |
real/normal_scientific_substrate |
rational |
mul |
word-dyadic-general-cross-cancel |
1 |
real/normal_scientific_substrate |
rational |
mul |
word-sized |
37 |
real/normal_scientific_substrate |
rational |
mul-div |
proven-reduced-word-product |
5 |
real/normal_scientific_substrate |
rational |
powi |
retained-product-chain |
3 |
real/normal_scientific_substrate |
rational |
powi |
word-sized |
3 |
real/normal_scientific_substrate |
rational |
retained-facts |
non-dyadic-hit |
15 |
real/normal_scientific_substrate |
rational |
square_extraction |
retained-reduction |
3 |
real/normal_scientific_substrate |
rational |
square_extraction |
reuse-observed |
1 |
real/normal_scientific_substrate |
rational |
sub |
word-sized |
7 |
real/normal_scientific_substrate |
rational |
word-result |
cached-small-dyadic |
19 |
real/normal_scientific_substrate |
rational |
word-result |
cached-small-general-fraction |
3 |
real/normal_scientific_substrate |
rational |
word-result |
cached-small-integer |
26 |
real/normal_scientific_substrate |
rational |
word-result |
small-general-fraction |
2 |
real/normal_scientific_substrate |
rational |
word-result |
uncached-integer-128-255 |
2 |
real/normal_scientific_substrate |
rational |
word-result |
uncached-integer-65-127 |
3 |
real/normal_scientific_substrate |
rational_algorithm |
gcd |
binary-word |
7 |
real/normal_scientific_substrate |
rational_algorithm |
powering |
retained-binary-product-chain |
3 |
real/normal_scientific_substrate |
rational_algorithm |
powering |
word-checked-pow |
3 |
real/normal_scientific_substrate |
rational_algorithm |
reduction-denominator |
backend-single-limb |
2 |
real/normal_scientific_substrate |
rational_algorithm |
reduction-numerator |
backend-single-limb |
1 |
real/normal_scientific_substrate |
rational_algorithm |
reduction-numerator |
backend-trivial-or-small-quotient |
1 |
real/normal_scientific_substrate |
real |
abs |
known-positive |
2 |
real/normal_scientific_substrate |
real |
add |
exact-rational-assign |
5 |
real/normal_scientific_substrate |
real |
add |
generic-computable |
4 |
real/normal_scientific_substrate |
real |
add |
same-symbolic-basis |
2 |
real/normal_scientific_substrate |
real |
beta |
positive-integer-factorial-ratio |
1 |
real/normal_scientific_substrate |
real |
certified_cmp_until |
exact-rational-comparison |
6 |
real/normal_scientific_substrate |
real |
certified_sign_until |
structural-facts |
29 |
real/normal_scientific_substrate |
real |
constructor |
cached-pi |
6 |
real/normal_scientific_substrate |
real |
constructor |
one |
19 |
real/normal_scientific_substrate |
real |
constructor |
rational |
104 |
real/normal_scientific_substrate |
real |
constructor |
zero |
4 |
real/normal_scientific_substrate |
real |
definitely_zero |
rational-sign |
17 |
real/normal_scientific_substrate |
real |
div |
const-product-sqrt |
2 |
real/normal_scientific_substrate |
real |
div |
lhs-rational-symbolic-inverse |
3 |
real/normal_scientific_substrate |
real |
div |
rhs-one |
2 |
real/normal_scientific_substrate |
real |
div |
same-class |
3 |
real/normal_scientific_substrate |
real |
dnorm |
generic-computable |
6 |
real/normal_scientific_substrate |
real |
erf |
generic-computable |
1 |
real/normal_scientific_substrate |
real |
erfc |
exact-zero-one |
1 |
real/normal_scientific_substrate |
real |
erfc |
generic-computable |
1 |
real/normal_scientific_substrate |
real |
erfcinv |
upper-tail-transform |
1 |
real/normal_scientific_substrate |
real |
erfcx |
generic-computable |
3 |
real/normal_scientific_substrate |
real |
erfinv |
exact-rational-upper-tail-transform |
1 |
real/normal_scientific_substrate |
real |
exp |
rational-exp-special-form |
3 |
real/normal_scientific_substrate |
real |
gamma |
half-integer-closed-form |
3 |
real/normal_scientific_substrate |
real |
inverse |
generic |
1 |
real/normal_scientific_substrate |
real |
inverse_ref |
generic |
1 |
real/normal_scientific_substrate |
real |
inverse_ref |
prechecked-pi |
1 |
real/normal_scientific_substrate |
real |
inverse_ref |
prechecked-sqrt-rational-radical |
4 |
real/normal_scientific_substrate |
real |
lgamma |
log-abs-gamma |
1 |
real/normal_scientific_substrate |
real |
ln |
generic-computable |
2 |
real/normal_scientific_substrate |
real |
ln |
rational-inverse-shared-log |
1 |
real/normal_scientific_substrate |
real |
ln_beta |
half-integer-scale-log |
1 |
real/normal_scientific_substrate |
real |
log_dnorm |
analytic-computable |
1 |
real/normal_scientific_substrate |
real |
log_normal_sf |
generic-computable |
1 |
real/normal_scientific_substrate |
real |
log_pnorm |
generic-computable |
1 |
real/normal_scientific_substrate |
real |
mul |
exact-rational |
32 |
real/normal_scientific_substrate |
real |
mul |
exact-rational-assign |
3 |
real/normal_scientific_substrate |
real |
mul |
lhs-rational-scale |
13 |
real/normal_scientific_substrate |
real |
mul |
rhs-rational-scale |
2 |
real/normal_scientific_substrate |
real |
mul |
symbolic-class-table |
7 |
real/normal_scientific_substrate |
real |
normal_interval |
generic-computable |
2 |
real/normal_scientific_substrate |
real |
normal_interval_moment |
closed-form-third |
1 |
real/normal_scientific_substrate |
real |
normal_sf |
generic-computable |
3 |
real/normal_scientific_substrate |
real |
powi |
exponent-one |
4 |
real/normal_scientific_substrate |
real |
powi |
exponent-zero-one |
2 |
real/normal_scientific_substrate |
real |
powi |
rational-exact |
7 |
real/normal_scientific_substrate |
real |
qnorm |
exact-rational-safe-subwindow |
3 |
real/normal_scientific_substrate |
real |
qnorm |
normal-quantile-computable |
3 |
real/normal_scientific_substrate |
real |
regularized_beta |
integer-binomial-tail |
1 |
real/normal_scientific_substrate |
real |
regularized_beta_q |
integer-binomial-tail |
1 |
real/normal_scientific_substrate |
real |
sqrt |
generic-computable |
2 |
real/normal_scientific_substrate |
real |
sqrt |
pi-scale-computable-sqrt |
3 |
real/normal_scientific_substrate |
real |
sqrt |
rational-perfect-square |
5 |
real/normal_scientific_substrate |
real |
structural_facts |
exact-rational |
21 |
real/normal_scientific_substrate |
real |
structural_facts |
scaled-computable |
2 |
real/normal_scientific_substrate |
real |
structural_facts |
symbolic-nonzero-scale |
6 |
real/normal_scientific_substrate |
real |
sub |
generic-computable |
3 |
real/normal_scientific_substrate |
real |
sub |
lhs-zero |
1 |
real/normal_scientific_substrate |
real |
sub |
same-symbolic-basis |
21 |
real/normal_scientific_substrate |
real |
zero_status |
scaled-computable |
3 |
real/normal_scientific_substrate |
real |
zero_status |
symbolic-nonzero-scale |
2 |
real/pow/small_integer_exponent |
rational |
powi |
word-sized |
1 |
real/pow/small_integer_exponent |
rational |
word-result |
small-general-fraction |
1 |
real/pow/small_integer_exponent |
rational_algorithm |
gcd |
binary-word |
1 |
real/pow/small_integer_exponent |
rational_algorithm |
powering |
word-checked-pow |
1 |
real/pow/small_integer_exponent |
real |
constructor |
rational |
2 |
real/pow/small_integer_exponent |
real |
pow |
small-integer-exponent |
1 |
real/pow/small_integer_exponent |
real |
powi |
rational-exact |
1 |
real/pow/symbolic_negative_one |
computable |
constructor |
cached-e-internal |
1 |
real/pow/symbolic_negative_one |
computable |
constructor |
cached-inv-pi |
1 |
real/pow/symbolic_negative_one |
computable |
constructor |
cached-pi |
1 |
real/pow/symbolic_negative_one |
computable |
constructor |
rational-integer-canonicalized |
1 |
real/pow/symbolic_negative_one |
computable |
constructor |
shared-constant-wrapper |
3 |
real/pow/symbolic_negative_one |
computable |
exp |
structural-small-prescaled |
1 |
real/pow/symbolic_negative_one |
rational |
inverse |
retained |
1 |
real/pow/symbolic_negative_one |
real |
constructor |
cached-e |
1 |
real/pow/symbolic_negative_one |
real |
constructor |
cached-pi |
1 |
real/pow/symbolic_negative_one |
real |
definitely_zero |
rational-sign |
2 |
real/pow/symbolic_negative_one |
real |
inverse |
exp |
1 |
real/pow/symbolic_negative_one |
real |
inverse |
prechecked-pi |
1 |
real/pow/symbolic_negative_one |
real |
powi |
negative-one-inverse |
2 |
real/pow/symbolic_negative_one |
real |
zero_status |
symbolic-nonzero-scale |
1 |
real/pow_rational/direct_degree5 |
computable |
constructor |
rational-integer-canonicalized |
1 |
real/pow_rational/direct_degree5 |
rational_algorithm |
gcd |
binary-word |
1 |
real/pow_rational/direct_degree5 |
rational_algorithm |
root-extraction |
newton-nth-root |
1 |
real/pow_rational/direct_degree5 |
real |
certified_sign_until |
structural-facts |
2 |
real/pow_rational/direct_degree5 |
real |
constructor |
one |
1 |
real/pow_rational/direct_degree5 |
real |
constructor |
rational |
1 |
real/pow_rational/direct_degree5 |
real |
mul |
lhs-rational-scale |
1 |
real/pow_rational/direct_degree5 |
real |
mul |
symbolic-class-table |
1 |
real/pow_rational/direct_degree5 |
real |
pow_rational |
bounded-algebraic-root |
1 |
real/pow_rational/direct_degree5 |
real |
root_n |
positive-direct-nth-root |
1 |
real/pow_rational/direct_degree5 |
real |
structural_facts |
exact-rational |
2 |
real/powi_i64/exact_17 |
rational |
powi |
word-sized |
1 |
real/powi_i64/exact_17 |
rational |
word-result |
small-general-fraction |
1 |
real/powi_i64/exact_17 |
rational_algorithm |
gcd |
binary-word |
1 |
real/powi_i64/exact_17 |
rational_algorithm |
powering |
word-checked-pow |
1 |
real/powi_i64/exact_17 |
real |
constructor |
rational |
1 |
real/powi_i64/exact_17 |
real |
powi-i64 |
rational-exact |
1 |
real/root_n/direct_degree5 |
computable |
constructor |
rational-integer-canonicalized |
1 |
real/root_n/direct_degree5 |
rational_algorithm |
root-extraction |
newton-nth-root |
1 |
real/root_n/direct_degree5 |
real |
certified_sign_until |
structural-facts |
1 |
real/root_n/direct_degree5 |
real |
constructor |
rational |
1 |
real/root_n/direct_degree5 |
real |
root_n |
positive-direct-nth-root |
1 |
real/root_n/direct_degree5 |
real |
structural_facts |
exact-rational |
1 |
real/root_n/direct_degree9 |
computable |
constructor |
rational-integer-canonicalized |
1 |
real/root_n/direct_degree9 |
rational_algorithm |
root-extraction |
newton-nth-root |
1 |
real/root_n/direct_degree9 |
real |
certified_sign_until |
structural-facts |
1 |
real/root_n/direct_degree9 |
real |
constructor |
rational |
1 |
real/root_n/direct_degree9 |
real |
root_n |
positive-direct-nth-root |
1 |
real/root_n/direct_degree9 |
real |
structural_facts |
exact-rational |
1 |
real/root_n/fallback_degree10 |
computable |
constructor |
rational-integer-canonicalized |
1 |
real/root_n/fallback_degree10 |
computable |
constructor |
rational-node |
4 |
real/root_n/fallback_degree10 |
computable |
constructor |
shared-constant-wrapper |
1 |
real/root_n/fallback_degree10 |
computable |
exp |
prescaled-kernel |
1 |
real/root_n/fallback_degree10 |
computable |
ln |
binary-scale-reduction |
1 |
real/root_n/fallback_degree10 |
computable |
ln |
prescaled-ln1p-kernel |
1 |
real/root_n/fallback_degree10 |
rational_algorithm |
gcd |
binary-word |
4 |
real/root_n/fallback_degree10 |
rational_algorithm |
root-extraction |
newton-nth-root |
1 |
real/root_n/fallback_degree10 |
real |
certified_sign_until |
structural-facts |
2 |
real/root_n/fallback_degree10 |
real |
constructor |
rational |
2 |
real/root_n/fallback_degree10 |
real |
pow |
fractional-arbitrary |
1 |
real/root_n/fallback_degree10 |
real |
pow |
positive-exp-ln |
1 |
real/root_n/fallback_degree10 |
real |
root_n |
positive-rational-exponent |
1 |
real/root_n/fallback_degree10 |
real |
structural_facts |
exact-rational |
2 |
real/sign_until/eighth_root_near_dyadic_floor_64 |
computable |
constructor |
rational-integer-canonicalized |
1 |
real/sign_until/eighth_root_near_dyadic_floor_64 |
computable |
constructor |
rational-node |
2 |
real/sign_until/eighth_root_near_dyadic_floor_64 |
computable |
sign_until |
precision-refinement |
1 |
real/sign_until/eighth_root_near_dyadic_floor_64 |
computable |
sign_until_attempt_precision |
-32<=p<0 |
1 |
real/sign_until/eighth_root_near_dyadic_floor_64 |
computable |
sign_until_attempt_precision |
-64<=p<-32 |
2 |
real/sign_until/eighth_root_near_dyadic_floor_64 |
computable |
sign_until_attempt_precision |
p>=0 |
1 |
real/sign_until/eighth_root_near_dyadic_floor_64 |
computable |
sign_until_decision_precision |
-64<=p<-32 |
1 |
real/sign_until/eighth_root_near_dyadic_floor_64 |
rational_algorithm |
root-extraction |
newton-nth-root |
1 |
real/sign_until/eighth_root_near_dyadic_floor_64 |
real |
certified_sign_until |
computable-refine |
1 |
real/sign_until/eighth_root_near_dyadic_floor_64 |
real |
certified_sign_until |
structural-facts |
1 |
real/sign_until/eighth_root_near_dyadic_floor_64 |
real |
constructor |
rational |
2 |
real/sign_until/eighth_root_near_dyadic_floor_64 |
real |
root_n |
positive-direct-nth-root |
1 |
real/sign_until/eighth_root_near_dyadic_floor_64 |
real |
structural_facts |
exact-rational |
1 |
real/sign_until/eighth_root_near_dyadic_floor_64 |
real |
structural_facts |
scaled-computable |
1 |
real/sign_until/eighth_root_near_dyadic_floor_64 |
real |
sub |
generic-computable |
1 |
real/sign_until/many_digits_c10_zero_floor_2048 |
computable |
constructor |
one |
1 |
real/sign_until/many_digits_c10_zero_floor_2048 |
computable |
constructor |
rational-integer-canonicalized |
6 |
real/sign_until/many_digits_c10_zero_floor_2048 |
computable |
sign_until |
algebraic-separation-target |
1 |
real/sign_until/many_digits_c10_zero_floor_2048 |
computable |
sign_until |
algebraic-separation-zero |
1 |
real/sign_until/many_digits_c10_zero_floor_2048 |
computable |
sign_until |
precision-refinement |
2 |
real/sign_until/many_digits_c10_zero_floor_2048 |
computable |
sign_until_attempt_precision |
-128<=p<-64 |
1 |
real/sign_until/many_digits_c10_zero_floor_2048 |
computable |
sign_until_attempt_precision |
-32<=p<0 |
2 |
real/sign_until/many_digits_c10_zero_floor_2048 |
computable |
sign_until_attempt_precision |
-64<=p<-32 |
1 |
real/sign_until/many_digits_c10_zero_floor_2048 |
computable |
sign_until_attempt_precision |
p>=0 |
2 |
real/sign_until/many_digits_c10_zero_floor_2048 |
computable |
sign_until_decision_precision |
-32<=p<0 |
1 |
real/sign_until/many_digits_c10_zero_floor_2048 |
rational |
div |
word-sized |
3 |
real/sign_until/many_digits_c10_zero_floor_2048 |
rational |
mul |
retained-product |
1 |
real/sign_until/many_digits_c10_zero_floor_2048 |
rational |
mul |
word-sized |
3 |
real/sign_until/many_digits_c10_zero_floor_2048 |
rational |
mul-div |
proven-reduced-word-product |
3 |
real/sign_until/many_digits_c10_zero_floor_2048 |
rational |
word-result |
cached-small-integer |
6 |
real/sign_until/many_digits_c10_zero_floor_2048 |
rational_algorithm |
root-extraction |
newton-nth-root |
15 |
real/sign_until/many_digits_c10_zero_floor_2048 |
real |
add |
generic-computable |
2 |
real/sign_until/many_digits_c10_zero_floor_2048 |
real |
certified_sign_until |
computable-refine |
2 |
real/sign_until/many_digits_c10_zero_floor_2048 |
real |
certified_sign_until |
structural-facts |
3 |
real/sign_until/many_digits_c10_zero_floor_2048 |
real |
constructor |
one |
1 |
real/sign_until/many_digits_c10_zero_floor_2048 |
real |
constructor |
rational |
5 |
real/sign_until/many_digits_c10_zero_floor_2048 |
real |
mul |
lhs-rational-scale |
1 |
real/sign_until/many_digits_c10_zero_floor_2048 |
real |
root_n |
positive-direct-nth-root |
4 |
real/sign_until/many_digits_c10_zero_floor_2048 |
real |
structural_facts |
exact-rational |
3 |
real/sign_until/many_digits_c10_zero_floor_2048 |
real |
structural_facts |
scaled-computable |
2 |
real/sign_until/many_digits_c10_zero_floor_2048 |
real |
sub |
generic-computable |
3 |
real/sign_until/ramanujan_one_zero_floor_2048 |
computable |
constructor |
rational-integer-canonicalized |
6 |
real/sign_until/ramanujan_one_zero_floor_2048 |
computable |
sign_until |
algebraic-separation-target |
1 |
real/sign_until/ramanujan_one_zero_floor_2048 |
computable |
sign_until |
algebraic-separation-zero |
1 |
real/sign_until/ramanujan_one_zero_floor_2048 |
computable |
sign_until |
precision-refinement |
2 |
real/sign_until/ramanujan_one_zero_floor_2048 |
computable |
sign_until_attempt_precision |
-128<=p<-64 |
2 |
real/sign_until/ramanujan_one_zero_floor_2048 |
computable |
sign_until_attempt_precision |
-32<=p<0 |
2 |
real/sign_until/ramanujan_one_zero_floor_2048 |
computable |
sign_until_attempt_precision |
-64<=p<-32 |
1 |
real/sign_until/ramanujan_one_zero_floor_2048 |
computable |
sign_until_attempt_precision |
p>=0 |
2 |
real/sign_until/ramanujan_one_zero_floor_2048 |
computable |
sign_until_decision_precision |
-32<=p<0 |
1 |
real/sign_until/ramanujan_one_zero_floor_2048 |
computable |
sqrt |
generic-sqrt-node |
1 |
real/sign_until/ramanujan_one_zero_floor_2048 |
rational |
div |
word-sized |
23 |
real/sign_until/ramanujan_one_zero_floor_2048 |
rational |
mul |
retained-product |
5 |
real/sign_until/ramanujan_one_zero_floor_2048 |
rational |
mul |
word-sized |
15 |
real/sign_until/ramanujan_one_zero_floor_2048 |
rational |
mul-div |
proven-reduced-word-product |
23 |
real/sign_until/ramanujan_one_zero_floor_2048 |
rational |
word-result |
cached-small-dyadic |
10 |
real/sign_until/ramanujan_one_zero_floor_2048 |
rational |
word-result |
cached-small-general-fraction |
9 |
real/sign_until/ramanujan_one_zero_floor_2048 |
rational |
word-result |
cached-small-integer |
14 |
real/sign_until/ramanujan_one_zero_floor_2048 |
rational |
word-result |
uncached-integer-1024-4095 |
1 |
real/sign_until/ramanujan_one_zero_floor_2048 |
rational |
word-result |
uncached-integer-256-1023 |
2 |
real/sign_until/ramanujan_one_zero_floor_2048 |
rational |
word-result |
uncached-integer-65-127 |
2 |
real/sign_until/ramanujan_one_zero_floor_2048 |
rational_algorithm |
root-extraction |
newton-nth-root |
41 |
real/sign_until/ramanujan_one_zero_floor_2048 |
real |
add |
generic-computable |
1 |
real/sign_until/ramanujan_one_zero_floor_2048 |
real |
certified_sign_until |
computable-refine |
2 |
real/sign_until/ramanujan_one_zero_floor_2048 |
real |
certified_sign_until |
structural-facts |
5 |
real/sign_until/ramanujan_one_zero_floor_2048 |
real |
constructor |
rational |
6 |
real/sign_until/ramanujan_one_zero_floor_2048 |
real |
mul |
lhs-rational-scale |
1 |
real/sign_until/ramanujan_one_zero_floor_2048 |
real |
root_n |
positive-direct-nth-root |
5 |
real/sign_until/ramanujan_one_zero_floor_2048 |
real |
sqrt |
generic-computable |
1 |
real/sign_until/ramanujan_one_zero_floor_2048 |
real |
structural_facts |
exact-rational |
5 |
real/sign_until/ramanujan_one_zero_floor_2048 |
real |
structural_facts |
scaled-computable |
2 |
real/sign_until/ramanujan_one_zero_floor_2048 |
real |
sub |
generic-computable |
3 |
real/sign_until/ramanujan_two_zero_floor_2048 |
computable |
constructor |
one |
1 |
real/sign_until/ramanujan_two_zero_floor_2048 |
computable |
constructor |
rational-integer-canonicalized |
2 |
real/sign_until/ramanujan_two_zero_floor_2048 |
computable |
constructor |
rational-node |
3 |
real/sign_until/ramanujan_two_zero_floor_2048 |
computable |
sign_until |
algebraic-separation-target |
1 |
real/sign_until/ramanujan_two_zero_floor_2048 |
computable |
sign_until |
algebraic-separation-zero |
1 |
real/sign_until/ramanujan_two_zero_floor_2048 |
computable |
sign_until |
precision-refinement |
2 |
real/sign_until/ramanujan_two_zero_floor_2048 |
computable |
sign_until_attempt_precision |
-128<=p<-64 |
1 |
real/sign_until/ramanujan_two_zero_floor_2048 |
computable |
sign_until_attempt_precision |
-256<=p<-128 |
2 |
real/sign_until/ramanujan_two_zero_floor_2048 |
computable |
sign_until_attempt_precision |
-32<=p<0 |
2 |
real/sign_until/ramanujan_two_zero_floor_2048 |
computable |
sign_until_attempt_precision |
-512<=p<-256 |
2 |
real/sign_until/ramanujan_two_zero_floor_2048 |
computable |
sign_until_attempt_precision |
-64<=p<-32 |
1 |
real/sign_until/ramanujan_two_zero_floor_2048 |
computable |
sign_until_attempt_precision |
p>=0 |
2 |
real/sign_until/ramanujan_two_zero_floor_2048 |
computable |
sign_until_decision_precision |
-32<=p<0 |
1 |
real/sign_until/ramanujan_two_zero_floor_2048 |
rational |
div |
word-sized |
15 |
real/sign_until/ramanujan_two_zero_floor_2048 |
rational |
mul |
retained-product |
5 |
real/sign_until/ramanujan_two_zero_floor_2048 |
rational |
mul |
word-dyadic-general-cross-cancel |
1 |
real/sign_until/ramanujan_two_zero_floor_2048 |
rational |
mul |
word-sized |
9 |
real/sign_until/ramanujan_two_zero_floor_2048 |
rational |
mul-div |
proven-reduced-word-product |
21 |
real/sign_until/ramanujan_two_zero_floor_2048 |
rational |
word-result |
cached-small-general-fraction |
5 |
real/sign_until/ramanujan_two_zero_floor_2048 |
rational |
word-result |
cached-small-integer |
10 |
real/sign_until/ramanujan_two_zero_floor_2048 |
rational |
word-result |
small-general-fraction |
6 |
real/sign_until/ramanujan_two_zero_floor_2048 |
rational |
word-result |
uncached-integer-128-255 |
1 |
real/sign_until/ramanujan_two_zero_floor_2048 |
rational |
word-result |
uncached-integer-256-1023 |
1 |
real/sign_until/ramanujan_two_zero_floor_2048 |
rational |
word-result |
uncached-integer-65-127 |
1 |
real/sign_until/ramanujan_two_zero_floor_2048 |
rational_algorithm |
gcd |
binary-word |
3 |
real/sign_until/ramanujan_two_zero_floor_2048 |
rational_algorithm |
root-extraction |
newton-nth-root |
28 |
real/sign_until/ramanujan_two_zero_floor_2048 |
real |
add |
generic-computable |
1 |
real/sign_until/ramanujan_two_zero_floor_2048 |
real |
certified_sign_until |
computable-refine |
2 |
real/sign_until/ramanujan_two_zero_floor_2048 |
real |
certified_sign_until |
structural-facts |
4 |
real/sign_until/ramanujan_two_zero_floor_2048 |
real |
constructor |
one |
1 |
real/sign_until/ramanujan_two_zero_floor_2048 |
real |
constructor |
rational |
4 |
real/sign_until/ramanujan_two_zero_floor_2048 |
real |
root_n |
positive-direct-nth-root |
5 |
real/sign_until/ramanujan_two_zero_floor_2048 |
real |
structural_facts |
exact-rational |
4 |
real/sign_until/ramanujan_two_zero_floor_2048 |
real |
structural_facts |
scaled-computable |
2 |
real/sign_until/ramanujan_two_zero_floor_2048 |
real |
sub |
generic-computable |
3 |
real/sqrt_oversized_rational_fallback |
computable |
constructor |
rational-integer-canonicalized |
1 |
real/sqrt_oversized_rational_fallback |
computable |
sqrt |
generic-sqrt-node |
1 |
real/sqrt_oversized_rational_fallback |
computable |
structural |
quadratic-surd |
1 |
real/sqrt_oversized_rational_fallback |
real |
certified_sign_until |
structural-facts |
1 |
real/sqrt_oversized_rational_fallback |
real |
constructor |
rational |
1 |
real/sqrt_oversized_rational_fallback |
real |
make_computable |
quadratic-surd-reconstruction-budget |
1 |
real/sqrt_oversized_rational_fallback |
real |
sqrt |
generic-computable |
1 |
real/sqrt_oversized_rational_fallback |
real |
structural_facts |
exact-rational |
1 |
real/sqrt_scaled_exp |
computable |
constructor |
cached-e-internal |
1 |
real/sqrt_scaled_exp |
computable |
constructor |
one |
1 |
real/sqrt_scaled_exp |
computable |
constructor |
rational-integer-canonicalized |
2 |
real/sqrt_scaled_exp |
computable |
constructor |
shared-constant-wrapper |
1 |
real/sqrt_scaled_exp |
computable |
exp |
bounded-integer-e-power |
1 |
real/sqrt_scaled_exp |
computable |
sqrt |
generic-sqrt-node |
1 |
real/sqrt_scaled_exp |
computable |
structural_facts |
exact-sign-cache |
1 |
real/sqrt_scaled_exp |
real |
certified_sign_until |
structural-facts |
1 |
real/sqrt_scaled_exp |
real |
constructor |
rational |
2 |
real/sqrt_scaled_exp |
real |
definitely_zero |
rational-sign |
1 |
real/sqrt_scaled_exp |
real |
exp |
rational-exp-special-form |
1 |
real/sqrt_scaled_exp |
real |
mul |
lhs-rational-scale |
1 |
real/sqrt_scaled_exp |
real |
sqrt |
generic-computable |
1 |
real/sqrt_scaled_exp |
real |
structural_facts |
symbolic-nonzero-scale |
1 |
real/sqrt_scaled_rational |
computable |
constructor |
shared-constant-wrapper |
1 |
real/sqrt_scaled_rational |
computable |
constructor |
shared-sqrt-constant-probe |
1 |
real/sqrt_scaled_rational |
rational |
square_extraction |
reuse-observed |
1 |
real/sqrt_scaled_rational |
real |
certified_sign_until |
structural-facts |
1 |
real/sqrt_scaled_rational |
real |
constructor |
rational |
1 |
real/sqrt_scaled_rational |
real |
sqrt |
scaled-shared-sqrt-constant |
1 |
real/sqrt_scaled_rational |
real |
structural_facts |
exact-rational |
1 |
real/stable_scalar_substrate |
computable |
constructor |
one |
4 |
real/stable_scalar_substrate |
computable |
constructor |
rational-integer-canonicalized |
15 |
real/stable_scalar_substrate |
computable |
constructor |
rational-node |
12 |
real/stable_scalar_substrate |
computable |
constructor |
rational-one-canonicalized |
1 |
real/stable_scalar_substrate |
computable |
constructor |
shared-constant-wrapper |
4 |
real/stable_scalar_substrate |
computable |
exp |
ln2-range-reduction |
4 |
real/stable_scalar_substrate |
computable |
exp |
structural-large-range-reduction |
4 |
real/stable_scalar_substrate |
computable |
exp |
structural-small-prescaled |
1 |
real/stable_scalar_substrate |
computable |
ln |
exact-rational-direct-ln1p |
1 |
real/stable_scalar_substrate |
computable |
zero_status |
exact-sign-cache |
4 |
real/stable_scalar_substrate |
rational |
add |
word-sized |
8 |
real/stable_scalar_substrate |
rational |
arithmetic-reuse |
first-observation |
14 |
real/stable_scalar_substrate |
rational |
comparison |
word-sized |
9 |
real/stable_scalar_substrate |
rational |
div |
word-sized |
1 |
real/stable_scalar_substrate |
rational |
inverse |
retained |
2 |
real/stable_scalar_substrate |
rational |
mul |
word-dyadic-general-cross-cancel |
8 |
real/stable_scalar_substrate |
rational |
mul |
word-sized |
9 |
real/stable_scalar_substrate |
rational |
neg |
retained |
2 |
real/stable_scalar_substrate |
rational |
retained-facts |
non-dyadic-hit |
2 |
real/stable_scalar_substrate |
rational |
square_extraction |
reuse-observed |
2 |
real/stable_scalar_substrate |
rational |
sub |
word-sized |
2 |
real/stable_scalar_substrate |
rational |
word-reduction |
mixed-357-smooth-denominator |
1 |
real/stable_scalar_substrate |
rational |
word-reduction |
power-of-five-denominator |
2 |
real/stable_scalar_substrate |
rational |
word-result |
cached-small-general-fraction |
5 |
real/stable_scalar_substrate |
rational |
word-result |
cached-small-integer |
1 |
real/stable_scalar_substrate |
rational |
word-result |
small-general-fraction |
14 |
real/stable_scalar_substrate |
rational_algorithm |
exact-fractional-remainder |
backend-single-limb |
1 |
real/stable_scalar_substrate |
rational_algorithm |
gcd |
binary-word |
16 |
real/stable_scalar_substrate |
rational_algorithm |
root-extraction |
newton-nth-root |
3 |
real/stable_scalar_substrate |
real |
add |
generic-computable |
2 |
real/stable_scalar_substrate |
real |
add |
same-symbolic-basis |
2 |
real/stable_scalar_substrate |
real |
certified_cmp_until |
exact-rational-comparison |
1 |
real/stable_scalar_substrate |
real |
certified_sign_until |
structural-facts |
3 |
real/stable_scalar_substrate |
real |
constructor |
bigint |
1 |
real/stable_scalar_substrate |
real |
constructor |
one |
6 |
real/stable_scalar_substrate |
real |
constructor |
rational |
20 |
real/stable_scalar_substrate |
real |
constructor |
zero |
1 |
real/stable_scalar_substrate |
real |
definitely_zero |
rational-sign |
8 |
real/stable_scalar_substrate |
real |
div |
lhs-rational-symbolic-inverse |
2 |
real/stable_scalar_substrate |
real |
div |
same-class |
1 |
real/stable_scalar_substrate |
real |
expm1 |
generic-computable |
1 |
real/stable_scalar_substrate |
real |
integer-rounding |
floor-exact-rational |
2 |
real/stable_scalar_substrate |
real |
integer-rounding |
rem-euclid-certified |
1 |
real/stable_scalar_substrate |
real |
inverse_ref |
generic |
2 |
real/stable_scalar_substrate |
real |
ln |
rational-inverse-ln-special-form |
1 |
real/stable_scalar_substrate |
real |
ln_1m |
exact-rational-computable |
1 |
real/stable_scalar_substrate |
real |
ln_1p |
exact-rational-computable |
1 |
real/stable_scalar_substrate |
real |
logaddexp |
left-dominant |
1 |
real/stable_scalar_substrate |
real |
logit |
exact-rational-stable-logs |
1 |
real/stable_scalar_substrate |
real |
logsubexp |
left-dominant |
1 |
real/stable_scalar_substrate |
real |
mul |
exact-rational |
1 |
real/stable_scalar_substrate |
real |
mul |
exact-rational-assign |
1 |
real/stable_scalar_substrate |
real |
pow_rational |
negative-odd-denominator-root |
1 |
real/stable_scalar_substrate |
real |
root_n |
rational-perfect-root |
3 |
real/stable_scalar_substrate |
real |
sigmoid |
exact-rational-tail |
1 |
real/stable_scalar_substrate |
real |
softplus |
exact-rational-tail |
2 |
real/stable_scalar_substrate |
real |
sqrt |
rational-sqrt-special-form |
2 |
real/stable_scalar_substrate |
real |
sqrt1pm1 |
rationalized |
2 |
real/stable_scalar_substrate |
real |
structural_facts |
exact-rational |
3 |
real/stable_scalar_substrate |
real |
sub |
generic-computable |
1 |
real/stable_scalar_substrate |
real |
sub |
same-symbolic-basis |
1 |
real/stable_scalar_substrate |
real |
zero_status |
scaled-computable |
4 |
real/structural_queries |
computable |
constructor |
cached-pi |
2 |
real/structural_queries |
computable |
constructor |
rational-integer-canonicalized |
1 |
real/structural_queries |
computable |
constructor |
shared-constant-wrapper |
2 |
real/structural_queries |
computable |
structural_facts |
exact-sign-cache |
1 |
real/structural_queries |
rational |
add |
word-sized |
2 |
real/structural_queries |
rational |
arithmetic-reuse |
first-observation |
3 |
real/structural_queries |
rational |
comparison |
word-sized |
1 |
real/structural_queries |
rational |
word-result |
small-general-fraction |
2 |
real/structural_queries |
rational_algorithm |
gcd |
binary-word |
2 |
real/structural_queries |
real |
constructor |
cached-pi |
1 |
real/structural_queries |
real |
constructor |
rational |
1 |
real/structural_queries |
real |
structural_facts |
symbolic-nonzero-scale |
1 |
real/structural_queries |
real |
sub |
cached-pi-minus-three |
1 |
real/structural_queries |
real |
zero_status |
symbolic-nonzero-scale |
1 |
real/trig/general |
computable |
constructor |
prescaled-cos-half-pi-minus-rational |
1 |
real/trig/general |
computable |
constructor |
prescaled-cot-half-pi-minus-rational |
1 |
real/trig/general |
computable |
constructor |
prescaled-sin-half-pi-minus-rational |
1 |
real/trig/general |
computable |
constructor |
rational-node |
6 |
real/trig/general |
computable |
cos |
medium-rational-half-pi-rewrite |
1 |
real/trig/general |
computable |
sin |
medium-rational-half-pi-rewrite |
1 |
real/trig/general |
computable |
tan |
medium-rational-half-pi-cotangent |
1 |
real/trig/general |
rational |
comparison |
dyadic-borrowed-digits |
3 |
real/trig/general |
real |
constructor |
rational |
1 |
real/trig/general |
real |
cos |
rational-specialized-computable |
1 |
real/trig/general |
real |
definitely_zero |
rational-sign |
3 |
real/trig/general |
real |
sin |
rational-specialized-computable |
1 |
real/trig/general |
real |
tan |
rational-specialized-computable |
1 |
real/trig/large |
computable |
constructor |
cos-large-rational-deferred |
1 |
real/trig/large |
computable |
constructor |
rational-integer-canonicalized |
6 |
real/trig/large |
computable |
constructor |
sin-large-rational-deferred |
1 |
real/trig/large |
real |
constructor |
rational |
1 |
real/trig/large |
real |
cos |
large-rational-deferred-node |
1 |
real/trig/large |
real |
definitely_zero |
rational-sign |
2 |
real/trig/large |
real |
sin |
large-rational-deferred-node |
1 |
real/trig/large-exact-rational |
computable |
constructor |
cos-large-rational-deferred |
2 |
real/trig/large-exact-rational |
computable |
constructor |
rational-integer-canonicalized |
12 |
real/trig/large-exact-rational |
computable |
constructor |
sin-large-rational-deferred |
2 |
real/trig/large-exact-rational |
computable |
constructor |
tan-large-rational-deferred |
2 |
real/trig/large-exact-rational |
computable |
tan |
large-rational-deferred |
2 |
real/trig/large-exact-rational |
rational |
powi |
word-sized |
1 |
real/trig/large-exact-rational |
rational |
word-result |
uncached-integer-wide |
1 |
real/trig/large-exact-rational |
rational_algorithm |
powering |
word-checked-pow |
1 |
real/trig/large-exact-rational |
real |
constructor |
rational |
2 |
real/trig/large-exact-rational |
real |
cos |
large-rational-deferred-node |
2 |
real/trig/large-exact-rational |
real |
definitely_zero |
rational-sign |
6 |
real/trig/large-exact-rational |
real |
sin |
large-rational-deferred-node |
2 |
real/trig/large-exact-rational |
real |
tan |
rational-specialized-computable |
2 |