Time bar (total: 2.3s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 100% | 0% | 0 |
| 0% | 100% | 0% | 1 |
| 0% | 100% | 0% | 2 |
| 0% | 50% | 50% | 3 |
| 12.5% | 25% | 62.5% | 4 |
| 18.7% | 12.5% | 68.8% | 5 |
| 21.9% | 6.2% | 71.9% | 6 |
| 23.4% | 3.1% | 73.5% | 7 |
| 24.2% | 1.6% | 74.2% | 8 |
| 24.6% | 0.8% | 74.6% | 9 |
| 24.8% | 0.4% | 74.8% | 10 |
| 24.9% | 0.2% | 74.9% | 11 |
| 24.9% | 0.1% | 75% | 12 |
| 25% | 0% | 75% | 13 |
| 25% | 0% | 75% | 14 |
Compiled 9 to 8 computations (11.1% saved)
| 1× | intervals |
| 64.0ms | 256× | body | 128 | valid |
Compiled 18 to 16 computations (11.1% saved)
| 1× | egg-herbie |
| 4× | sub-neg_binary64 |
| 3× | +-commutative_binary64 |
| 2× | fma-def_binary64 |
| 1× | *-commutative_binary64 |
| 1× | associate-+l-_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 11 |
| 1 | 14 | 11 |
| 2 | 17 | 11 |
| 3 | 19 | 11 |
| 4 | 23 | 11 |
| 5 | 24 | 11 |
| 6 | 29 | 11 |
| 7 | 22 | 11 |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 2 | 2 |
| Status | Error | Program |
| ▶ | 0.0b | (neg.f64 (log.f64 (-.f64 (/.f64 1 x) 1))) |
Compiled 24 to 21 computations (12.5% saved)
Found 1 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (log.f64 (-.f64 (/.f64 1 x) 1)) |
1 calls:
| 3.0ms | (log.f64 (-.f64 (/.f64 1 x) 1)) |
| 1× | rewrite-expression-head |
| 17× | add-sqr-sqrt_binary64 |
| 14× | log-prod_binary64 |
| 11× | *-un-lft-identity_binary64 |
| 6× | difference-of-squares_binary64 |
| 6× | times-frac_binary64 |
1 calls:
| 10.0ms | (log.f64 (-.f64 (/.f64 1 x) 1)) |
| 1× | egg-herbie |
| 553× | fma-def_binary64 |
| 447× | distribute-rgt-neg-in_binary64 |
| 378× | distribute-lft-neg-in_binary64 |
| 351× | sub-neg_binary64 |
| 333× | neg-mul-1_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 80 | 637 |
| 1 | 162 | 578 |
| 2 | 404 | 572 |
| 3 | 1045 | 563 |
| 4 | 3179 | 561 |
| 5 | 4241 | 561 |
| 6 | 4990 | 561 |
| 7 | 4962 | 561 |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 47 | 2 | 49 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 48 | 2 | 50 |
| Status | Error | Program |
| 0.0b | (neg.f64 (+.f64 (log.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1))) (log.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1))))) | |
| ▶ | 0.0b | (neg.f64 (log.f64 (+.f64 -1 (/.f64 1 x)))) |
Compiled 714 to 592 computations (17.1% saved)
Found 1 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (log.f64 (+.f64 -1 (/.f64 1 x))) |
1 calls:
| 3.0ms | (log.f64 (+.f64 -1 (/.f64 1 x))) |
| 1× | rewrite-expression-head |
| 5× | *-un-lft-identity_binary64 |
| 5× | log-prod_binary64 |
| 2× | add-exp-log_binary64 |
| 2× | distribute-lft-out_binary64 |
| 2× | add-sqr-sqrt_binary64 |
1 calls:
| 4.0ms | (log.f64 (+.f64 -1 (/.f64 1 x))) |
| 1× | egg-herbie |
| 615× | fma-def_binary64 |
| 379× | distribute-neg-frac_binary64 |
| 367× | div-sub_binary64 |
| 325× | associate-*l*_binary64 |
| 297× | cancel-sign-sub-inv_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 68 | 439 |
| 1 | 159 | 404 |
| 2 | 381 | 401 |
| 3 | 1133 | 392 |
| 4 | 4032 | 390 |
| 5 | 4811 | 390 |
| 6 | 5132 | 390 |
2 alts after pruning (1 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 34 | 0 | 34 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 34 | 2 | 36 |
| Status | Error | Program |
| ▶ | 0.0b | (neg.f64 (+.f64 (log.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1))) (log.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1))))) |
| ✓ | 0.0b | (neg.f64 (log.f64 (+.f64 -1 (/.f64 1 x)))) |
Compiled 487 to 399 computations (18.1% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (log.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1))) |
| ✓ | 0.1b | (sqrt.f64 (-.f64 (/.f64 1 x) 1)) |
2 calls:
| 20.0ms | (log.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1))) |
| 7.0ms | (sqrt.f64 (-.f64 (/.f64 1 x) 1)) |
| 1× | rewrite-expression-head |
| 36× | add-sqr-sqrt_binary64 |
| 28× | sqrt-prod_binary64 |
| 23× | *-un-lft-identity_binary64 |
| 17× | log-prod_binary64 |
| 12× | difference-of-squares_binary64 |
2 calls:
| 7.0ms | (sqrt.f64 (-.f64 (/.f64 1 x) 1)) |
| 6.0ms | (log.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1))) |
| 1× | egg-herbie |
| 374× | fma-neg_binary64 |
| 352× | associate-/l/_binary64 |
| 323× | associate-/l*_binary64 |
| 312× | fma-def_binary64 |
| 311× | associate-*l/_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 119 | 1500 |
| 1 | 244 | 1365 |
| 2 | 548 | 1347 |
| 3 | 1519 | 1347 |
| 4 | 4159 | 1347 |
| 5 | 4868 | 1347 |
| 6 | 4876 | 1347 |
2 alts after pruning (0 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 184 | 0 | 184 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 184 | 2 | 186 |
| Status | Error | Program |
| ✓ | 0.0b | (neg.f64 (+.f64 (log.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1))) (log.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1))))) |
| ✓ | 0.0b | (neg.f64 (log.f64 (+.f64 -1 (/.f64 1 x)))) |
Compiled 4512 to 3941 computations (12.7% saved)
Total 0.0b remaining (18.7%)
Threshold costs 0.0b (18.7%)
Compiled 1172 to 983 computations (16.1% saved)
| 1× | egg-herbie |
| 3× | +-commutative_binary64 |
| 3× | sub-neg_binary64 |
| 2× | *-commutative_binary64 |
| 2× | neg-sub0_binary64 |
| 2× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 26 |
| 1 | 18 | 26 |
| 2 | 24 | 26 |
| 3 | 27 | 26 |
| 4 | 28 | 26 |
| 5 | 26 | 26 |
Compiled 17 to 15 computations (11.8% saved)
| 1× | intervals |
| 778.0ms | 8000× | body | 128 | valid |
| 0.0ms | 2× | body | 128 | nan |
Compiled 52 to 46 computations (11.5% saved)
Loading profile data...