hyperreal 0.11.1

Exact rational and computable real arithmetic in Rust
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
# Hyperreal Dispatch Trace

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`.

| Trace Row | Layer | Operation | Path | Count |
| --- | --- | --- | --- | ---: |
| `computable/basic_transcendentals` | `computable` | `constructor` | `rational-node` | 11 |
| `computable/basic_transcendentals` | `computable` | `constructor` | `shared-constant-wrapper` | 2 |
| `computable/basic_transcendentals` | `computable` | `exp` | `structural-small-prescaled` | 1 |
| `computable/basic_transcendentals` | `computable` | `ln` | `dyadic-scale-rewrite` | 2 |
| `computable/basic_transcendentals` | `computable` | `ln` | `prescaled-ln1p-kernel` | 1 |
| `computable/basic_transcendentals` | `computable` | `ln` | `sqrt-range-reduction` | 1 |
| `computable/basic_transcendentals` | `computable` | `sqrt` | `generic-sqrt-node` | 3 |
| `computable/compare/exact_msd_gap` | `computable` | `compare_to` | `exact-sign-msd-gap` | 3 |
| `computable/compare/exact_msd_gap` | `computable` | `constructor` | `cached-pi` | 1 |
| `computable/compare/exact_msd_gap` | `computable` | `constructor` | `rational-node` | 1 |
| `computable/compare/exact_msd_gap` | `computable` | `constructor` | `shared-constant-wrapper` | 1 |
| `computable/compare/exact_rational` | `computable` | `compare_to` | `exact-rational` | 3 |
| `computable/compare/exact_rational` | `computable` | `constructor` | `rational-node` | 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/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-node` | 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_same_numerator` | `computable` | `compare_absolute` | `exact-rational` | 2 |
| `computable/compare_absolute/exact_rational_same_numerator` | `computable` | `constructor` | `rational-node` | 2 |
| `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_large_rational` | `computable` | `constructor` | `rational-node` | 8 |
| `computable/exp_large_rational` | `computable` | `constructor` | `shared-constant-wrapper` | 1 |
| `computable/exp_large_rational` | `computable` | `exp` | `ln2-range-reduction` | 1 |
| `computable/exp_large_rational` | `computable` | `exp` | `structural-large-range-reduction` | 1 |
| `computable/inverse_hyperbolic_adversarial/acosh_large` | `computable` | `acosh` | `exact-large-direct-ln-sqrt` | 1 |
| `computable/inverse_hyperbolic_adversarial/acosh_large` | `computable` | `constructor` | `one` | 1 |
| `computable/inverse_hyperbolic_adversarial/acosh_large` | `computable` | `constructor` | `rational-node` | 3 |
| `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_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-node` | 5 |
| `computable/inverse_hyperbolic_adversarial/acosh_one_plus_tiny` | `computable` | `sqrt` | `generic-sqrt-node` | 1 |
| `computable/inverse_hyperbolic_adversarial/acosh_sqrt_two` | `computable` | `acosh` | `near-one-ln1p-transform` | 1 |
| `computable/inverse_hyperbolic_adversarial/acosh_sqrt_two` | `computable` | `constructor` | `one` | 3 |
| `computable/inverse_hyperbolic_adversarial/acosh_sqrt_two` | `computable` | `constructor` | `rational-node` | 2 |
| `computable/inverse_hyperbolic_adversarial/acosh_sqrt_two` | `computable` | `constructor` | `rational-one-canonicalized` | 2 |
| `computable/inverse_hyperbolic_adversarial/acosh_sqrt_two` | `computable` | `sqrt` | `exact-rational-square` | 1 |
| `computable/inverse_hyperbolic_adversarial/acosh_two` | `computable` | `acosh` | `near-one-ln1p-transform` | 1 |
| `computable/inverse_hyperbolic_adversarial/acosh_two` | `computable` | `constructor` | `one` | 2 |
| `computable/inverse_hyperbolic_adversarial/acosh_two` | `computable` | `constructor` | `rational-node` | 4 |
| `computable/inverse_hyperbolic_adversarial/acosh_two` | `computable` | `constructor` | `rational-one-canonicalized` | 1 |
| `computable/inverse_hyperbolic_adversarial/acosh_two` | `computable` | `sqrt` | `generic-sqrt-node` | 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-node` | 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_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-node` | 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_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_tiny` | `computable` | `asinh` | `exact-tiny-prescaled` | 1 |
| `computable/inverse_hyperbolic_adversarial/asinh_tiny` | `computable` | `constructor` | `asinh-rational-deferred` | 1 |
| `computable/inverse_hyperbolic_adversarial/atanh_mid` | `computable` | `atanh` | `exact-log-ratio` | 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_mid` | `computable` | `ln` | `shared-ln3` | 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` | 3 |
| `computable/inverse_hyperbolic_adversarial/atanh_near_minus_one` | `computable` | `constructor` | `shared-constant-wrapper` | 1 |
| `computable/inverse_hyperbolic_adversarial/atanh_near_minus_one` | `computable` | `ln` | `binary-scale-reduction` | 1 |
| `computable/inverse_hyperbolic_adversarial/atanh_near_minus_one` | `computable` | `ln` | `exact-rational-generic` | 1 |
| `computable/inverse_hyperbolic_adversarial/atanh_near_minus_one` | `computable` | `ln` | `prescaled-ln1p-kernel` | 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` | 2 |
| `computable/inverse_hyperbolic_adversarial/atanh_near_one` | `computable` | `constructor` | `shared-constant-wrapper` | 1 |
| `computable/inverse_hyperbolic_adversarial/atanh_near_one` | `computable` | `ln` | `binary-scale-reduction` | 1 |
| `computable/inverse_hyperbolic_adversarial/atanh_near_one` | `computable` | `ln` | `exact-rational-generic` | 1 |
| `computable/inverse_hyperbolic_adversarial/atanh_near_one` | `computable` | `ln` | `prescaled-ln1p-kernel` | 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` | 1 |
| `computable/inverse_trig` | `computable` | `constructor` | `shared-constant-wrapper` | 1 |
| `computable/inverse_trig/mid-domain` | `computable` | `acos` | `positive-endpoint-deferred` | 1 |
| `computable/inverse_trig/mid-domain` | `computable` | `asin` | `generic-atan-sqrt-transform` | 1 |
| `computable/inverse_trig/mid-domain` | `computable` | `atan` | `exact-rational-deferred` | 1 |
| `computable/inverse_trig/mid-domain` | `computable` | `atan` | `rough-small-prescaled` | 2 |
| `computable/inverse_trig/mid-domain` | `computable` | `atanh` | `exact-log-ratio` | 1 |
| `computable/inverse_trig/mid-domain` | `computable` | `constructor` | `acos-positive-deferred` | 1 |
| `computable/inverse_trig/mid-domain` | `computable` | `constructor` | `atan-rational-deferred` | 1 |
| `computable/inverse_trig/mid-domain` | `computable` | `constructor` | `one` | 2 |
| `computable/inverse_trig/mid-domain` | `computable` | `constructor` | `rational-node` | 14 |
| `computable/inverse_trig/mid-domain` | `computable` | `constructor` | `shared-constant-wrapper` | 1 |
| `computable/inverse_trig/mid-domain` | `computable` | `ln` | `binary-scale-reduction` | 1 |
| `computable/inverse_trig/mid-domain` | `computable` | `ln` | `exact-rational-generic` | 1 |
| `computable/inverse_trig/mid-domain` | `computable` | `ln` | `prescaled-ln1p-kernel` | 1 |
| `computable/inverse_trig/mid-domain` | `computable` | `sqrt` | `generic-sqrt-node` | 2 |
| `computable/inverse_trig/mid-domain` | `computable_approx` | `atan` | `exact-rational-reduction` | 1 |
| `computable/inverse_trig_adversarial/acos_mid` | `computable` | `acos` | `positive-endpoint-deferred` | 1 |
| `computable/inverse_trig_adversarial/acos_mid` | `computable` | `atan` | `rough-small-prescaled` | 1 |
| `computable/inverse_trig_adversarial/acos_mid` | `computable` | `constructor` | `acos-positive-deferred` | 1 |
| `computable/inverse_trig_adversarial/acos_mid` | `computable` | `constructor` | `one` | 1 |
| `computable/inverse_trig_adversarial/acos_mid` | `computable` | `constructor` | `rational-node` | 5 |
| `computable/inverse_trig_adversarial/acos_mid` | `computable` | `sqrt` | `generic-sqrt-node` | 1 |
| `computable/inverse_trig_adversarial/acos_near_minus_one` | `computable` | `acos` | `negative-endpoint-rewrite` | 1 |
| `computable/inverse_trig_adversarial/acos_near_minus_one` | `computable` | `acos` | `positive-endpoint-deferred` | 1 |
| `computable/inverse_trig_adversarial/acos_near_minus_one` | `computable` | `atan` | `structural-small-prescaled` | 1 |
| `computable/inverse_trig_adversarial/acos_near_minus_one` | `computable` | `constructor` | `acos-positive-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` | `one` | 1 |
| `computable/inverse_trig_adversarial/acos_near_minus_one` | `computable` | `constructor` | `rational-node` | 6 |
| `computable/inverse_trig_adversarial/acos_near_minus_one` | `computable` | `constructor` | `shared-constant-wrapper` | 1 |
| `computable/inverse_trig_adversarial/acos_near_minus_one` | `computable` | `sqrt` | `generic-sqrt-node` | 1 |
| `computable/inverse_trig_adversarial/acos_near_one` | `computable` | `acos` | `positive-endpoint-deferred` | 1 |
| `computable/inverse_trig_adversarial/acos_near_one` | `computable` | `atan` | `structural-small-prescaled` | 1 |
| `computable/inverse_trig_adversarial/acos_near_one` | `computable` | `constructor` | `acos-positive-deferred` | 1 |
| `computable/inverse_trig_adversarial/acos_near_one` | `computable` | `constructor` | `one` | 1 |
| `computable/inverse_trig_adversarial/acos_near_one` | `computable` | `constructor` | `rational-node` | 5 |
| `computable/inverse_trig_adversarial/acos_near_one` | `computable` | `sqrt` | `generic-sqrt-node` | 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` | `shared-constant-wrapper` | 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` | `generic-atan-sqrt-transform` | 1 |
| `computable/inverse_trig_adversarial/asin_mid` | `computable` | `atan` | `rough-small-prescaled` | 1 |
| `computable/inverse_trig_adversarial/asin_mid` | `computable` | `constructor` | `one` | 1 |
| `computable/inverse_trig_adversarial/asin_mid` | `computable` | `constructor` | `rational-node` | 3 |
| `computable/inverse_trig_adversarial/asin_mid` | `computable` | `sqrt` | `generic-sqrt-node` | 1 |
| `computable/inverse_trig_adversarial/asin_near_minus_one` | `computable` | `acos` | `positive-endpoint-deferred` | 1 |
| `computable/inverse_trig_adversarial/asin_near_minus_one` | `computable` | `asin` | `endpoint-via-acos` | 1 |
| `computable/inverse_trig_adversarial/asin_near_minus_one` | `computable` | `asin` | `exact-negative-symmetry` | 1 |
| `computable/inverse_trig_adversarial/asin_near_minus_one` | `computable` | `atan` | `structural-small-prescaled` | 1 |
| `computable/inverse_trig_adversarial/asin_near_minus_one` | `computable` | `constructor` | `acos-positive-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` | `one` | 1 |
| `computable/inverse_trig_adversarial/asin_near_minus_one` | `computable` | `constructor` | `rational-node` | 6 |
| `computable/inverse_trig_adversarial/asin_near_minus_one` | `computable` | `constructor` | `shared-constant-wrapper` | 1 |
| `computable/inverse_trig_adversarial/asin_near_minus_one` | `computable` | `sqrt` | `generic-sqrt-node` | 1 |
| `computable/inverse_trig_adversarial/asin_near_one` | `computable` | `acos` | `positive-endpoint-deferred` | 1 |
| `computable/inverse_trig_adversarial/asin_near_one` | `computable` | `asin` | `endpoint-via-acos` | 1 |
| `computable/inverse_trig_adversarial/asin_near_one` | `computable` | `atan` | `structural-small-prescaled` | 1 |
| `computable/inverse_trig_adversarial/asin_near_one` | `computable` | `constructor` | `acos-positive-deferred` | 1 |
| `computable/inverse_trig_adversarial/asin_near_one` | `computable` | `constructor` | `cached-pi` | 1 |
| `computable/inverse_trig_adversarial/asin_near_one` | `computable` | `constructor` | `one` | 1 |
| `computable/inverse_trig_adversarial/asin_near_one` | `computable` | `constructor` | `rational-node` | 5 |
| `computable/inverse_trig_adversarial/asin_near_one` | `computable` | `constructor` | `shared-constant-wrapper` | 1 |
| `computable/inverse_trig_adversarial/asin_near_one` | `computable` | `sqrt` | `generic-sqrt-node` | 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_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_approx` | `atan` | `exact-rational-reduction` | 2 |
| `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_approx` | `atan` | `exact-rational-reduction` | 2 |
| `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_approx` | `atan` | `exact-rational-reduction` | 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_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/ln_nonsmooth_rational` | `computable` | `constructor` | `rational-node` | 2 |
| `computable/ln_nonsmooth_rational` | `computable` | `ln` | `prescaled-ln1p-kernel` | 1 |
| `computable/ln_smooth_rational` | `computable` | `constructor` | `one` | 2 |
| `computable/ln_smooth_rational` | `computable` | `constructor` | `rational-node` | 4 |
| `computable/ln_smooth_rational` | `computable` | `constructor` | `shared-constant-wrapper` | 6 |
| `computable/ln_smooth_rational` | `computable` | `constructor` | `shared-log-constant-probe` | 3 |
| `computable/ln_smooth_rational` | `computable` | `constructor` | `zero` | 1 |
| `computable/ln_smooth_rational` | `computable` | `ln` | `binary-scale-reduction` | 2 |
| `computable/ln_smooth_rational` | `computable` | `ln` | `dyadic-scale-rewrite` | 1 |
| `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/sign/deep_half_product_sign_cached` | `computable` | `sign` | `exact-sign-cache` | 1 |
| `computable/sign/deep_scaled_product_sign` | `computable` | `constructor` | `cached-pi` | 1 |
| `computable/sign/deep_scaled_product_sign` | `computable` | `constructor` | `rational-node` | 200 |
| `computable/sign/deep_scaled_product_sign` | `computable` | `constructor` | `shared-constant-wrapper` | 1 |
| `computable/sign/deep_scaled_product_sign` | `computable` | `sign` | `exact-sign-cache` | 1 |
| `computable/sign/deep_scaled_product_sign_cached` | `computable` | `sign` | `exact-sign-cache` | 1 |
| `computable/sign/deep_scaled_product_sign_until` | `computable` | `constructor` | `cached-pi` | 1 |
| `computable/sign/deep_scaled_product_sign_until` | `computable` | `constructor` | `rational-node` | 200 |
| `computable/sign/deep_scaled_product_sign_until` | `computable` | `constructor` | `shared-constant-wrapper` | 1 |
| `computable/sign/deep_scaled_product_sign_until` | `computable` | `sign_until` | `exact-sign-cache` | 1 |
| `computable/sign/exp_unknown_sign_arg` | `computable` | `constructor` | `cached-pi` | 1 |
| `computable/sign/exp_unknown_sign_arg` | `computable` | `constructor` | `one` | 1 |
| `computable/sign/exp_unknown_sign_arg` | `computable` | `constructor` | `shared-constant-wrapper` | 1 |
| `computable/sign/exp_unknown_sign_arg` | `computable` | `exp` | `structural-small-prescaled` | 1 |
| `computable/sign/exp_unknown_sign_arg` | `computable` | `sign` | `exact-sign-cache` | 1 |
| `computable/sign/exp_unknown_sign_arg_cached` | `computable` | `sign` | `exact-sign-cache` | 1 |
| `computable/sign/perturbed_scaled_product_sign` | `computable` | `constructor` | `cached-pi` | 1 |
| `computable/sign/perturbed_scaled_product_sign` | `computable` | `constructor` | `rational-node` | 201 |
| `computable/sign/perturbed_scaled_product_sign` | `computable` | `constructor` | `shared-constant-wrapper` | 1 |
| `computable/sign/perturbed_scaled_product_sign` | `computable` | `sign` | `exact-sign-cache` | 1 |
| `computable/sign/pi_minus_one` | `computable` | `constructor` | `cached-pi` | 1 |
| `computable/sign/pi_minus_one` | `computable` | `constructor` | `one` | 1 |
| `computable/sign/pi_minus_one` | `computable` | `constructor` | `rational-node` | 1 |
| `computable/sign/pi_minus_one` | `computable` | `constructor` | `shared-constant-wrapper` | 1 |
| `computable/sign/pi_minus_one` | `computable` | `sign` | `exact-sign-cache` | 1 |
| `computable/sign/pi_minus_one_cached` | `computable` | `sign` | `exact-sign-cache` | 1 |
| `computable/sign/pi_minus_one_sign_until` | `computable` | `constructor` | `cached-pi` | 1 |
| `computable/sign/pi_minus_one_sign_until` | `computable` | `constructor` | `one` | 1 |
| `computable/sign/pi_minus_one_sign_until` | `computable` | `constructor` | `rational-node` | 1 |
| `computable/sign/pi_minus_one_sign_until` | `computable` | `constructor` | `shared-constant-wrapper` | 1 |
| `computable/sign/pi_minus_one_sign_until` | `computable` | `sign_until` | `exact-sign-cache` | 1 |
| `computable/sqrt_squarefree_rational` | `computable` | `constructor` | `rational-node` | 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/large` | `computable` | `constructor` | `cached-pi` | 6 |
| `computable/trig/large` | `computable` | `constructor` | `cos-large-rational-deferred` | 1 |
| `computable/trig/large` | `computable` | `constructor` | `rational-node` | 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-exact-rational` | `computable` | `constructor` | `cached-pi` | 20 |
| `computable/trig/large-exact-rational` | `computable` | `constructor` | `cos-large-rational-deferred` | 2 |
| `computable/trig/large-exact-rational` | `computable` | `constructor` | `rational-node` | 2 |
| `computable/trig/large-exact-rational` | `computable` | `constructor` | `shared-constant-wrapper` | 20 |
| `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` | `large-rational-deferred` | 2 |
| `computable/trig/large-exact-rational` | `computable_approx` | `tan` | `large-rational-direct-quotient` | 2 |
| `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_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_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_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_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_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_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_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_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_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_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` | 4 |
| `computable/trig_adversarial/tan_1e30` | `computable` | `constructor` | `shared-constant-wrapper` | 4 |
| `computable/trig_adversarial/tan_1e30` | `computable` | `constructor` | `tan-large-rational-deferred` | 1 |
| `computable/trig_adversarial/tan_1e30` | `computable` | `tan` | `large-rational-deferred` | 1 |
| `computable/trig_adversarial/tan_1e30` | `computable_approx` | `tan` | `large-rational-direct-quotient` | 1 |
| `computable/trig_adversarial/tan_1e6` | `computable` | `constructor` | `cached-pi` | 4 |
| `computable/trig_adversarial/tan_1e6` | `computable` | `constructor` | `shared-constant-wrapper` | 4 |
| `computable/trig_adversarial/tan_1e6` | `computable` | `constructor` | `tan-large-rational-deferred` | 1 |
| `computable/trig_adversarial/tan_1e6` | `computable` | `tan` | `large-rational-deferred` | 1 |
| `computable/trig_adversarial/tan_1e6` | `computable_approx` | `tan` | `large-rational-direct-quotient` | 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_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_near_half_pi` | `computable` | `tan` | `structural-small-prescaled` | 1 |
| `computable/trig_adversarial/tan_tiny` | `computable` | `tan` | `structural-small-prescaled` | 1 |
| `real/arithmetic/exact` | `real` | `constructor` | `rational` | 6 |
| `real/arithmetic/exact` | `real` | `definitely_zero` | `rational-sign` | 2 |
| `real/arithmetic/exact` | `real` | `div` | `same-class` | 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-node` | 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` | `computable` | `sqrt` | `generic-sqrt-node` | 2 |
| `real/div/const_product_sqrt_over_e` | `real` | `best_sign` | `symbolic-or-rational` | 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` | `definitely_zero` | `rational-sign` | 6 |
| `real/div/const_product_sqrt_over_e` | `real` | `div` | `cached-pi-sqrt-two` | 1 |
| `real/div/const_product_sqrt_over_e` | `real` | `div` | `const-product-sqrt` | 1 |
| `real/div/const_product_sqrt_over_e` | `real` | `sqrt` | `rational-sqrt-special-form` | 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-node` | 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` | 4 |
| `real/div/div_const_product_sqrt` | `real` | `best_sign` | `symbolic-or-rational` | 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` | `definitely_zero` | `rational-sign` | 8 |
| `real/div/div_const_product_sqrt` | `real` | `div` | `const-product-sqrt` | 1 |
| `real/div/div_const_product_sqrt` | `real` | `sqrt` | `rational-sqrt-special-form` | 2 |
| `real/div/div_const_products` | `computable` | `constructor` | `cached-e-internal` | 3 |
| `real/div/div_const_products` | `computable` | `constructor` | `cached-pi` | 4 |
| `real/div/div_const_products` | `computable` | `constructor` | `rational-node` | 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` | `definitely_zero` | `rational-sign` | 4 |
| `real/div/div_const_products` | `real` | `div` | `const-products` | 2 |
| `real/div/sqrt_two_over_sqrt_three` | `computable` | `constructor` | `rational-node` | 4 |
| `real/div/sqrt_two_over_sqrt_three` | `computable` | `sqrt` | `generic-sqrt-node` | 4 |
| `real/div/sqrt_two_over_sqrt_three` | `real` | `best_sign` | `symbolic-or-rational` | 2 |
| `real/div/sqrt_two_over_sqrt_three` | `real` | `constructor` | `rational` | 2 |
| `real/div/sqrt_two_over_sqrt_three` | `real` | `definitely_zero` | `rational-sign` | 2 |
| `real/div/sqrt_two_over_sqrt_three` | `real` | `div` | `cached-sqrt-six-over-three` | 1 |
| `real/div/sqrt_two_over_sqrt_three` | `real` | `sqrt` | `rational-sqrt-special-form` | 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` | `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` | `definitely_zero` | `rational-sign` | 18 |
| `real/dot_product/active_dot3_dense_symbolic` | `real` | `dot_product` | `active-dot3-real-tree` | 1 |
| `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-node` | 3 |
| `real/dot_product/active_dot4_dense_symbolic` | `computable` | `constructor` | `shared-constant-wrapper` | 14 |
| `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` | `definitely_zero` | `rational-sign` | 22 |
| `real/dot_product/active_dot4_dense_symbolic` | `real` | `dot_product` | `active-dot4-real-tree` | 1 |
| `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` | `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` | `definitely_zero` | `rational-sign` | 18 |
| `real/dot_product/dot3_dense_symbolic` | `real` | `dot_product` | `dot3-generic-real-tree` | 1 |
| `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` | `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` | `definitely_zero` | `rational-sign` | 4 |
| `real/dot_product/dot3_mixed_structural` | `real` | `dot_product` | `dot3-structural-real-tree` | 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-node` | 3 |
| `real/dot_product/dot4_dense_symbolic` | `computable` | `constructor` | `shared-constant-wrapper` | 14 |
| `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` | `definitely_zero` | `rational-sign` | 22 |
| `real/dot_product/dot4_dense_symbolic` | `real` | `dot_product` | `dot4-structural-real-tree` | 1 |
| `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-node` | 1 |
| `real/dot_product/dot4_mixed_structural` | `computable` | `constructor` | `shared-constant-wrapper` | 4 |
| `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` | `definitely_zero` | `rational-sign` | 4 |
| `real/dot_product/dot4_mixed_structural` | `real` | `dot_product` | `dot4-structural-real-tree` | 1 |
| `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` | 6 |
| `real/hyperbolic_log_exp` | `computable` | `constructor` | `shared-constant-wrapper` | 2 |
| `real/hyperbolic_log_exp` | `computable` | `constructor` | `shared-log-constant-probe` | 1 |
| `real/hyperbolic_log_exp` | `computable` | `exp` | `structural-small-prescaled` | 1 |
| `real/hyperbolic_log_exp` | `computable` | `ln` | `dyadic-scale-rewrite` | 1 |
| `real/hyperbolic_log_exp` | `computable` | `ln` | `shared-ln5` | 1 |
| `real/hyperbolic_log_exp` | `real` | `acosh` | `near-one-deferred-node` | 1 |
| `real/hyperbolic_log_exp` | `real` | `asinh` | `near-zero-deferred-node` | 1 |
| `real/hyperbolic_log_exp` | `real` | `best_sign` | `symbolic-or-rational` | 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/inverse/inverse_generic` | `computable` | `constructor` | `rational-node` | 1 |
| `real/inverse/inverse_generic` | `computable` | `sqrt` | `generic-sqrt-node` | 1 |
| `real/inverse/inverse_generic` | `real` | `best_sign` | `symbolic-or-rational` | 1 |
| `real/inverse/inverse_generic` | `real` | `constructor` | `rational` | 2 |
| `real/inverse/inverse_generic` | `real` | `definitely_zero` | `rational-sign` | 2 |
| `real/inverse/inverse_generic` | `real` | `inverse` | `one` | 1 |
| `real/inverse/inverse_generic` | `real` | `inverse_ref` | `sqrt-rational-radical` | 1 |
| `real/inverse/inverse_generic` | `real` | `sqrt` | `rational-sqrt-special-form` | 1 |
| `real/inverse_hyperbolic/exact_rational` | `computable` | `constructor` | `atanh-direct-deferred` | 1 |
| `real/inverse_hyperbolic/exact_rational` | `computable` | `constructor` | `rational-node` | 1 |
| `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` | `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` | 2 |
| `real/inverse_hyperbolic/exact_rational` | `real` | `definitely_zero` | `rational-sign` | 3 |
| `real/inverse_trig` | `computable` | `acos` | `positive-endpoint-deferred` | 2 |
| `real/inverse_trig` | `computable` | `acos` | `tiny-via-asin` | 1 |
| `real/inverse_trig` | `computable` | `asin` | `endpoint-via-acos` | 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-deferred` | 2 |
| `real/inverse_trig` | `computable` | `constructor` | `asin-rational-deferred` | 2 |
| `real/inverse_trig` | `computable` | `constructor` | `atanh-rational-deferred` | 1 |
| `real/inverse_trig` | `computable` | `constructor` | `cached-pi` | 2 |
| `real/inverse_trig` | `computable` | `constructor` | `rational-node` | 5 |
| `real/inverse_trig` | `computable` | `constructor` | `shared-constant-wrapper` | 2 |
| `real/inverse_trig` | `real` | `acos` | `generic-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/mid-domain` | `computable` | `acos` | `positive-endpoint-deferred` | 1 |
| `real/inverse_trig/mid-domain` | `computable` | `asin` | `generic-atan-sqrt-transform` | 1 |
| `real/inverse_trig/mid-domain` | `computable` | `atan` | `exact-rational-deferred` | 1 |
| `real/inverse_trig/mid-domain` | `computable` | `atan` | `rough-small-prescaled` | 1 |
| `real/inverse_trig/mid-domain` | `computable` | `constructor` | `acos-positive-deferred` | 1 |
| `real/inverse_trig/mid-domain` | `computable` | `constructor` | `atan-rational-deferred` | 1 |
| `real/inverse_trig/mid-domain` | `computable` | `constructor` | `one` | 1 |
| `real/inverse_trig/mid-domain` | `computable` | `constructor` | `rational-node` | 7 |
| `real/inverse_trig/mid-domain` | `computable` | `constructor` | `shared-constant-wrapper` | 1 |
| `real/inverse_trig/mid-domain` | `computable` | `ln` | `binary-scale-reduction` | 1 |
| `real/inverse_trig/mid-domain` | `computable` | `ln` | `prescaled-ln1p-kernel` | 1 |
| `real/inverse_trig/mid-domain` | `computable` | `sqrt` | `generic-sqrt-node` | 1 |
| `real/inverse_trig/mid-domain` | `real` | `acos` | `generic-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` | 6 |
| `real/inverse_trig/mid-domain` | `real` | `ln` | `rational-ln-special-form` | 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` | `real` | `best_sign` | `symbolic-or-rational` | 1 |
| `real/log/scaled_e` | `real` | `constructor` | `cached-e` | 1 |
| `real/log/scaled_e` | `real` | `constructor` | `rational` | 1 |
| `real/log/scaled_e` | `real` | `definitely_zero` | `rational-sign` | 2 |
| `real/log/scaled_e` | `real` | `ln` | `cached-one-plus-ln2` | 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/sqrt_scaled_exp` | `computable` | `constructor` | `rational-node` | 2 |
| `real/sqrt_scaled_exp` | `computable` | `exp` | `structural-small-prescaled` | 1 |
| `real/sqrt_scaled_exp` | `computable` | `sqrt` | `generic-sqrt-node` | 1 |
| `real/sqrt_scaled_exp` | `real` | `best_sign` | `symbolic-or-rational` | 1 |
| `real/sqrt_scaled_exp` | `real` | `constructor` | `rational` | 2 |
| `real/sqrt_scaled_exp` | `real` | `definitely_zero` | `rational-sign` | 3 |
| `real/sqrt_scaled_exp` | `real` | `exp` | `rational-exp-special-form` | 1 |
| `real/sqrt_scaled_exp` | `real` | `sqrt` | `generic-computable` | 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` | `real` | `best_sign` | `symbolic-or-rational` | 1 |
| `real/sqrt_scaled_rational` | `real` | `constructor` | `rational` | 1 |
| `real/sqrt_scaled_rational` | `real` | `sqrt` | `scaled-shared-sqrt-constant` | 1 |
| `real/structural_queries` | `computable` | `constructor` | `cached-pi` | 2 |
| `real/structural_queries` | `computable` | `constructor` | `rational-node` | 1 |
| `real/structural_queries` | `computable` | `constructor` | `shared-constant-wrapper` | 2 |
| `real/structural_queries` | `computable` | `structural_facts` | `exact-sign-cache` | 1 |
| `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` | `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` | `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` | `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` | `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` | `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 |