hyperreal 0.10.6

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
# 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` | 13 |
| `computable/basic_transcendentals` | `computable` | `constructor` | `shared-constant-wrapper` | 3 |
| `computable/basic_transcendentals` | `computable` | `exp` | `ln2-range-reduction` | 1 |
| `computable/basic_transcendentals` | `computable` | `exp` | `prescaled-kernel` | 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/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/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` | 2 |
| `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` | `rough-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` | `rough-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` | `rough-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` | `rough-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/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` | `constructor` | `cached-pi` | 1 |
| `computable/trig_adversarial/tan_near_half_pi` | `computable` | `constructor` | `shared-constant-wrapper` | 1 |
| `computable/trig_adversarial/tan_near_half_pi` | `computable` | `tan` | `near-half-pi-cotangent-rewrite` | 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/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/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` | 11 |
| `real/hyperbolic_log_exp` | `computable` | `constructor` | `shared-constant-wrapper` | 3 |
| `real/hyperbolic_log_exp` | `computable` | `constructor` | `shared-log-constant-probe` | 1 |
| `real/hyperbolic_log_exp` | `computable` | `exp` | `ln2-range-reduction` | 1 |
| `real/hyperbolic_log_exp` | `computable` | `exp` | `prescaled-kernel` | 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` | 2 |
| `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_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` | `one` | 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` | `one` | 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/sqrt_scaled_exp` | `computable` | `constructor` | `rational-node` | 4 |
| `real/sqrt_scaled_exp` | `computable` | `constructor` | `shared-constant-wrapper` | 1 |
| `real/sqrt_scaled_exp` | `computable` | `exp` | `ln2-range-reduction` | 1 |
| `real/sqrt_scaled_exp` | `computable` | `exp` | `prescaled-kernel` | 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` | 4 |
| `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` | `definitely_zero` | `rational-sign` | 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` | `definitely_zero` | `rational-sign` | 2 |
| `real/structural_queries` | `real` | `structural_facts` | `symbolic-nonzero-scale` | 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 |