Time bar (total: 2.7s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 100% | 0% | 0 |
| 0% | 100% | 0% | 1 |
| 0% | 50% | 50% | 2 |
| 25% | 25% | 50% | 3 |
| 25% | 12.5% | 62.5% | 4 |
| 25% | 6.2% | 68.8% | 5 |
| 25% | 3.1% | 71.9% | 6 |
| 25% | 1.6% | 73.5% | 7 |
| 25% | 0.8% | 74.2% | 8 |
| 25% | 0.4% | 74.6% | 9 |
| 25% | 0.2% | 74.8% | 10 |
| 25% | 0.1% | 74.9% | 11 |
| 25% | 0% | 75% | 12 |
| 25% | 0% | 75% | 13 |
| 25% | 0% | 75% | 14 |
Compiled 8 to 5 computations (37.5% saved)
| 1× | intervals |
| 10.0ms | 256× | body | 128 | valid |
Compiled 16 to 10 computations (37.5% saved)
| 1× | egg-herbie |
| 5114× | associate--r-_binary64 |
| 794× | unsub-neg_binary64 |
| 347× | distribute-neg-in_binary64 |
| 329× | sub-neg_binary64 |
| 313× | distribute-rgt-in_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 10 |
| 1 | 7 | 10 |
| 2 | 12 | 10 |
| 3 | 18 | 10 |
| 4 | 24 | 10 |
| 5 | 39 | 10 |
| 6 | 62 | 10 |
| 7 | 80 | 10 |
| 8 | 143 | 10 |
| 9 | 415 | 10 |
| 10 | 1140 | 10 |
| 11 | 1800 | 10 |
| 12 | 1961 | 10 |
| 13 | 2256 | 10 |
| 14 | 2365 | 10 |
| 15 | 2400 | 10 |
| 16 | 2407 | 10 |
| 17 | 2423 | 10 |
| 18 | 2429 | 10 |
| 19 | 2431 | 10 |
| 20 | 2431 | 10 |
| 21 | 2431 | 10 |
| 22 | 2431 | 10 |
| 23 | 4965 | 10 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 1 | 1 |
| Status | Error | Program |
| ▶ | 0.3b | (-.f64 (log.f64 x) (log.f64 (log.f64 x))) |
Compiled 14 to 8 computations (42.9% saved)
Found 2 expressions with local error:
| 0.0b | (log.f64 (log.f64 x)) |
| 0.3b | (-.f64 (log.f64 x) (log.f64 (log.f64 x))) |
| 1× | rewrite-expression-head |
| 11× | log-prod_binary64 |
| 10× | pow1_binary64 *-un-lft-identity_binary64 |
| 8× | add-sqr-sqrt_binary64 log-pow_binary64 |
| 6× | add-cube-cbrt_binary64 |
| 4× | cancel-sign-sub-inv_binary64 distribute-lft-out--_binary64 associate--r+_binary64 |
2 calls:
| 6.0ms | (-.f64 (log.f64 x) (log.f64 (log.f64 x))) |
| 1.0ms | (log.f64 (log.f64 x)) |
Compiled 402 to 108 computations (73.1% saved)
2 calls:
| 27.0ms | (-.f64 (log.f64 x) (log.f64 (log.f64 x))) |
| 22.0ms | (log.f64 (log.f64 x)) |
Compiled 190 to 149 computations (21.6% saved)
| 1× | egg-herbie |
| 823× | div-sub_binary64 |
| 540× | unsub-neg_binary64 |
| 476× | sub-neg_binary64 |
| 291× | associate-+l+_binary64 |
| 273× | exp-diff_binary64 |
Useful iterations: 5 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 70 | 540 |
| 1 | 146 | 496 |
| 2 | 267 | 496 |
| 3 | 1141 | 494 |
| 4 | 2781 | 490 |
| 5 | 4063 | 484 |
| 6 | 4882 | 484 |
| 7 | 4866 | 484 |
6 alts after pruning (6 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 13 | 6 | 19 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 14 | 6 | 20 |
| Status | Error | Program |
| 0.6b | (cbrt.f64 (pow.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 3)) | |
| 0.4b | (/.f64 (-.f64 (pow.f64 (log.f64 x) 2) (pow.f64 (sqrt.f64 (log.f64 (log.f64 x))) 4)) (+.f64 (log.f64 x) (log.f64 (log.f64 x)))) | |
| 0.5b | (/.f64 (-.f64 (pow.f64 (log.f64 x) 3) (pow.f64 (log.f64 (log.f64 x)) 3)) (+.f64 (pow.f64 (log.f64 x) 2) (*.f64 (log.f64 (log.f64 x)) (+.f64 (log.f64 x) (log.f64 (log.f64 x)))))) | |
| ▶ | 0.3b | (-.f64 (log.f64 x) (+.f64 (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2) (log.f64 (cbrt.f64 (log.f64 x))))) |
| 0.3b | (-.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2)) (log.f64 (cbrt.f64 (log.f64 x)))) | |
| 0.3b | (-.f64 (log.f64 x) (*.f64 (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2) (cbrt.f64 (log.f64 (log.f64 x))))) |
Compiled 325 to 160 computations (50.8% saved)
Found 4 expressions with local error:
| 0.3b | (-.f64 (log.f64 x) (+.f64 (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2) (log.f64 (cbrt.f64 (log.f64 x))))) |
| 0.3b | (+.f64 (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2) (log.f64 (cbrt.f64 (log.f64 x)))) |
| 0.5b | (cbrt.f64 (log.f64 x)) |
| 0.5b | (cbrt.f64 (log.f64 x)) |
| 1× | rewrite-expression-head |
| 13× | *-un-lft-identity_binary64 |
| 12× | cbrt-prod_binary64 add-sqr-sqrt_binary64 |
| 10× | add-cube-cbrt_binary64 log-prod_binary64 |
| 8× | pow1_binary64 |
| 7× | add-log-exp_binary64 associate-+r+_binary64 |
4 calls:
| 8.0ms | (-.f64 (log.f64 x) (+.f64 (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2) (log.f64 (cbrt.f64 (log.f64 x))))) |
| 7.0ms | (+.f64 (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2) (log.f64 (cbrt.f64 (log.f64 x)))) |
| 1.0ms | (cbrt.f64 (log.f64 x)) |
| 1.0ms | (cbrt.f64 (log.f64 x)) |
Compiled 1369 to 476 computations (65.2% saved)
4 calls:
| 42.0ms | (-.f64 (log.f64 x) (+.f64 (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2) (log.f64 (cbrt.f64 (log.f64 x))))) |
| 33.0ms | (+.f64 (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2) (log.f64 (cbrt.f64 (log.f64 x)))) |
| 26.0ms | (cbrt.f64 (log.f64 x)) |
| 25.0ms | (cbrt.f64 (log.f64 x)) |
Compiled 594 to 459 computations (22.7% saved)
| 1× | egg-herbie |
| 669× | associate-*l*_binary64 |
| 559× | associate-*r*_binary64 |
| 317× | times-frac_binary64 |
| 240× | distribute-rgt-in_binary64 |
| 223× | distribute-lft-in_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 111 | 1449 |
| 1 | 291 | 966 |
| 2 | 733 | 799 |
| 3 | 3701 | 795 |
| 4 | 5008 | 795 |
8 alts after pruning (8 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 49 | 4 | 53 |
| Fresh | 1 | 4 | 5 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 51 | 8 | 59 |
| Status | Error | Program |
| 0.6b | (cbrt.f64 (pow.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 3)) | |
| 0.4b | (/.f64 (-.f64 (pow.f64 (log.f64 x) 2) (pow.f64 (sqrt.f64 (log.f64 (log.f64 x))) 4)) (+.f64 (log.f64 x) (log.f64 (log.f64 x)))) | |
| 0.6b | (*.f64 (+.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))) (-.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x))))) | |
| ▶ | 0.2b | (+.f64 (log.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (-.f64 (log.f64 (cbrt.f64 x)) (log.f64 (log.f64 x)))) |
| 0.3b | (-.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2)) (log.f64 (cbrt.f64 (log.f64 x)))) | |
| 0.3b | (-.f64 (log.f64 x) (*.f64 (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2) (cbrt.f64 (log.f64 (log.f64 x))))) | |
| 1.1b | (exp.f64 (log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))) | |
| 0.3b | (+.f64 (log.f64 (sqrt.f64 x)) (-.f64 (log.f64 (sqrt.f64 x)) (log.f64 (log.f64 x)))) |
Compiled 709 to 293 computations (58.7% saved)
Found 4 expressions with local error:
| 0.5b | (*.f64 (cbrt.f64 x) (cbrt.f64 x)) |
| 0.6b | (cbrt.f64 x) |
| 0.6b | (cbrt.f64 x) |
| 0.6b | (cbrt.f64 x) |
| 1× | rewrite-expression-head |
| 25× | cbrt-prod_binary64 |
| 23× | add-sqr-sqrt_binary64 |
| 15× | add-cube-cbrt_binary64 *-un-lft-identity_binary64 |
| 11× | pow1_binary64 |
| 9× | pow1/3_binary64 |
4 calls:
| 7.0ms | (*.f64 (cbrt.f64 x) (cbrt.f64 x)) |
| 1.0ms | (cbrt.f64 x) |
| 1.0ms | (cbrt.f64 x) |
| 1.0ms | (cbrt.f64 x) |
Compiled 1284 to 300 computations (76.6% saved)
4 calls:
| 19.0ms | (*.f64 (cbrt.f64 x) (cbrt.f64 x)) |
| 19.0ms | (cbrt.f64 x) |
| 17.0ms | (cbrt.f64 x) |
| 16.0ms | (cbrt.f64 x) |
Compiled 557 to 380 computations (31.8% saved)
| 1× | egg-herbie |
| 850× | log-prod_binary64 |
| 525× | unswap-sqr_binary64 |
| 346× | sqr-pow_binary64 |
| 307× | distribute-rgt-neg-in_binary64 |
| 298× | associate-*l*_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 56 | 642 |
| 1 | 97 | 594 |
| 2 | 309 | 574 |
| 3 | 800 | 560 |
| 4 | 1864 | 436 |
| 5 | 2894 | 436 |
| 6 | 4605 | 436 |
| 7 | 4971 | 436 |
8 alts after pruning (7 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 59 | 1 | 60 |
| Fresh | 1 | 6 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 60 | 8 | 68 |
| Status | Error | Program |
| 0.6b | (cbrt.f64 (pow.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 3)) | |
| 0.4b | (/.f64 (-.f64 (pow.f64 (log.f64 x) 2) (pow.f64 (sqrt.f64 (log.f64 (log.f64 x))) 4)) (+.f64 (log.f64 x) (log.f64 (log.f64 x)))) | |
| 0.6b | (*.f64 (+.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))) (-.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x))))) | |
| ✓ | 0.2b | (+.f64 (log.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (-.f64 (log.f64 (cbrt.f64 x)) (log.f64 (log.f64 x)))) |
| ▶ | 0.3b | (-.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2)) (log.f64 (cbrt.f64 (log.f64 x)))) |
| 0.3b | (-.f64 (log.f64 x) (*.f64 (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2) (cbrt.f64 (log.f64 (log.f64 x))))) | |
| 1.1b | (exp.f64 (log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))) | |
| 0.3b | (+.f64 (log.f64 (pow.f64 x 2/3)) (-.f64 (log.f64 (cbrt.f64 x)) (log.f64 (log.f64 x)))) |
Compiled 683 to 301 computations (55.9% saved)
Found 4 expressions with local error:
| 0.2b | (-.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2)) (log.f64 (cbrt.f64 (log.f64 x)))) |
| 0.3b | (-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2)) |
| 0.5b | (cbrt.f64 (log.f64 x)) |
| 0.5b | (cbrt.f64 (log.f64 x)) |
| 1× | rewrite-expression-head |
| 14× | *-un-lft-identity_binary64 |
| 13× | add-sqr-sqrt_binary64 log-prod_binary64 |
| 12× | cbrt-prod_binary64 |
| 11× | add-cube-cbrt_binary64 associate--l+_binary64 |
| 9× | pow1_binary64 |
4 calls:
| 9.0ms | (-.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2)) (log.f64 (cbrt.f64 (log.f64 x)))) |
| 4.0ms | (-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2)) |
| 1.0ms | (cbrt.f64 (log.f64 x)) |
| 1.0ms | (cbrt.f64 (log.f64 x)) |
Compiled 1448 to 503 computations (65.3% saved)
4 calls:
| 44.0ms | (-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2)) |
| 42.0ms | (-.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2)) (log.f64 (cbrt.f64 (log.f64 x)))) |
| 27.0ms | (cbrt.f64 (log.f64 x)) |
| 25.0ms | (cbrt.f64 (log.f64 x)) |
Compiled 676 to 519 computations (23.2% saved)
| 1× | egg-herbie |
| 661× | associate-*l*_binary64 |
| 549× | associate-*r*_binary64 |
| 229× | cancel-sign-sub-inv_binary64 |
| 219× | exp-prod_binary64 |
| 204× | distribute-rgt-in_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 132 | 1547 |
| 1 | 330 | 1204 |
| 2 | 829 | 1105 |
| 3 | 4260 | 1103 |
| 4 | 4983 | 1103 |
6 alts after pruning (5 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 61 | 1 | 62 |
| Fresh | 2 | 4 | 6 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 64 | 6 | 70 |
| Status | Error | Program |
| 0.6b | (cbrt.f64 (pow.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 3)) | |
| 0.2b | (+.f64 (log.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (-.f64 (log.f64 (cbrt.f64 x)) (log.f64 (log.f64 x)))) | |
| 0.3b | (-.f64 (log.f64 x) (*.f64 (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2) (cbrt.f64 (log.f64 (log.f64 x))))) | |
| 1.1b | (exp.f64 (log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))) | |
| 0.2b | (-.f64 (log.f64 (/.f64 x (pow.f64 (log.f64 x) 2/3))) (log.f64 (cbrt.f64 (log.f64 x)))) | |
| 0.3b | (+.f64 (log.f64 (pow.f64 x 2/3)) (-.f64 (log.f64 (cbrt.f64 x)) (log.f64 (log.f64 x)))) |
Compiled 746 to 300 computations (59.8% saved)
Total -0.0b remaining (-321.4%)
Threshold costs -0.0b (-321.4%)
Compiled 2825 to 1654 computations (41.5% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 8 |
| 1 | 5 | 8 |
Compiled 6 to 4 computations (33.3% saved)
| 1× | intervals |
| 316.0ms | 8000× | body | 128 | valid |
| 0.0ms | 6× | body | 128 | nan |
Compiled 90 to 59 computations (34.4% saved)
Loading profile data...