Time bar (total: 3.1s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.9% | 0.1% | 0 |
| 0% | 99.9% | 0.1% | 1 |
| 0% | 99.9% | 0.1% | 2 |
| 50% | 50% | 0.1% | 3 |
| 50% | 50% | 0.1% | 4 |
| 74.9% | 25% | 0.1% | 5 |
| 74.9% | 25% | 0.1% | 6 |
| 87.4% | 12.5% | 0.1% | 7 |
| 87.4% | 12.5% | 0.1% | 8 |
| 93.7% | 6.2% | 0.1% | 9 |
| 93.7% | 6.2% | 0.1% | 10 |
| 96.8% | 3.1% | 0.1% | 11 |
| 96.8% | 3.1% | 0.1% | 12 |
| 98.3% | 1.6% | 0.1% | 13 |
| 98.3% | 1.6% | 0.1% | 14 |
Compiled 9 to 7 computations (22.2% saved)
| 1× | intervals |
| 7.0ms | 256× | body | 128 | valid |
Compiled 19 to 15 computations (21.1% saved)
| 1× | egg-herbie |
| 2× | associate-/r*_binary64 |
| 1× | *-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 12 | 9 |
| 3 | 12 | 9 |
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 |
| ▶ | 13.0b | (cbrt.f64 (/.f64 g (*.f64 2 a))) |
Compiled 16 to 12 computations (25% saved)
Found 1 expressions with local error:
| 12.7b | (cbrt.f64 (/.f64 g (*.f64 2 a))) |
| 1× | rewrite-expression-head |
| 7× | cbrt-prod_binary64 |
| 3× | *-un-lft-identity_binary64 |
| 3× | times-frac_binary64 |
| 3× | add-sqr-sqrt_binary64 |
| 3× | add-cube-cbrt_binary64 |
1 calls:
| 3.0ms | (cbrt.f64 (/.f64 g (*.f64 2 a))) |
Compiled 196 to 140 computations (28.6% saved)
1 calls:
| 46.0ms | (cbrt.f64 (/.f64 g (*.f64 2 a))) |
Compiled 253 to 217 computations (14.2% saved)
| 1× | egg-herbie |
| 787× | div-sub_binary64 |
| 390× | times-frac_binary64 |
| 349× | associate-/l*_binary64 |
| 300× | unswap-sqr_binary64 |
| 246× | exp-sum_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 72 | 333 |
| 1 | 115 | 333 |
| 2 | 172 | 327 |
| 3 | 405 | 293 |
| 4 | 875 | 281 |
| 5 | 2044 | 281 |
| 6 | 4374 | 281 |
| 7 | 4967 | 281 |
8 alts after pruning (7 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 11 | 7 | 18 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 11 | 8 | 19 |
| Status | Error | Program |
| 13.7b | (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 g (*.f64 a 2)))) (cbrt.f64 (cbrt.f64 (/.f64 g (*.f64 a 2))))) (cbrt.f64 (cbrt.f64 (/.f64 g (*.f64 a 2))))) | |
| 36.9b | (*.f64 (sqrt.f64 (cbrt.f64 (/.f64 g (*.f64 a 2)))) (sqrt.f64 (cbrt.f64 (/.f64 g (*.f64 a 2))))) | |
| 37.1b | (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 a 2)))) (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 a 2))))) | |
| 13.0b | (*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 1/2)) | |
| 13.5b | (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (/.f64 g (*.f64 a 2))) (cbrt.f64 (/.f64 g (*.f64 a 2))))) (cbrt.f64 (cbrt.f64 (/.f64 g (*.f64 a 2))))) | |
| ▶ | 0.8b | (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a))) |
| ✓ | 13.0b | (cbrt.f64 (/.f64 g (*.f64 2 a))) |
| 0.8b | (/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 a 2))) |
Compiled 383 to 283 computations (26.1% saved)
Found 3 expressions with local error:
| 0.4b | (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a))) |
| 0.5b | (cbrt.f64 (/.f64 1/2 a)) |
| 0.6b | (cbrt.f64 g) |
| 1× | rewrite-expression-head |
| 39× | cbrt-prod_binary64 |
| 35× | add-sqr-sqrt_binary64 |
| 21× | *-un-lft-identity_binary64 |
| 21× | add-cube-cbrt_binary64 |
| 20× | times-frac_binary64 |
3 calls:
| 10.0ms | (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a))) |
| 3.0ms | (cbrt.f64 (/.f64 1/2 a)) |
| 1.0ms | (cbrt.f64 g) |
Compiled 1002 to 629 computations (37.2% saved)
3 calls:
| 45.0ms | (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a))) |
| 16.0ms | (cbrt.f64 (/.f64 1/2 a)) |
| 14.0ms | (cbrt.f64 g) |
Compiled 453 to 384 computations (15.2% saved)
| 1× | egg-herbie |
| 513× | exp-sum_binary64 |
| 480× | *-commutative_binary64 |
| 368× | associate-*l*_binary64 |
| 306× | associate-*r*_binary64 |
| 260× | associate-/r*_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 144 | 1167 |
| 1 | 254 | 1163 |
| 2 | 645 | 1149 |
| 3 | 1613 | 1115 |
| 4 | 3701 | 1087 |
| 5 | 4887 | 1087 |
10 alts after pruning (8 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 37 | 4 | 41 |
| Fresh | 2 | 4 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 39 | 10 | 49 |
| Status | Error | Program |
| 0.9b | (*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)))) (cbrt.f64 (/.f64 (cbrt.f64 1/2) a))) | |
| 36.9b | (*.f64 (sqrt.f64 (cbrt.f64 (/.f64 g (*.f64 a 2)))) (sqrt.f64 (cbrt.f64 (/.f64 g (*.f64 a 2))))) | |
| 37.1b | (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 a 2)))) (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 a 2))))) | |
| 13.0b | (*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 1/2)) | |
| 0.9b | (*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (sqrt.f64 1/2))) (cbrt.f64 (/.f64 (sqrt.f64 1/2) a))) | |
| 0.9b | (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (sqrt.f64 1/2)) (cbrt.f64 (/.f64 (sqrt.f64 1/2) a)))) | |
| ✓ | 0.8b | (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a))) |
| ✓ | 13.0b | (cbrt.f64 (/.f64 g (*.f64 2 a))) |
| 1.0b | (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))) (cbrt.f64 (/.f64 (cbrt.f64 1/2) a)))) | |
| ▶ | 0.8b | (/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 a 2))) |
Compiled 554 to 420 computations (24.2% saved)
Found 3 expressions with local error:
| 0.3b | (/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 a 2))) |
| 0.6b | (cbrt.f64 (*.f64 a 2)) |
| 0.6b | (cbrt.f64 g) |
| 1× | rewrite-expression-head |
| 26× | cbrt-prod_binary64 |
| 24× | times-frac_binary64 |
| 21× | *-un-lft-identity_binary64 |
| 21× | add-sqr-sqrt_binary64 |
| 21× | add-cube-cbrt_binary64 |
3 calls:
| 5.0ms | (/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 a 2))) |
| 2.0ms | (cbrt.f64 (*.f64 a 2)) |
| 1.0ms | (cbrt.f64 g) |
Compiled 925 to 548 computations (40.8% saved)
3 calls:
| 50.0ms | (/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 a 2))) |
| 16.0ms | (cbrt.f64 (*.f64 a 2)) |
| 14.0ms | (cbrt.f64 g) |
Compiled 443 to 374 computations (15.6% saved)
| 1× | egg-herbie |
| 639× | associate-/r*_binary64 |
| 461× | associate-*l*_binary64 |
| 373× | associate-/r/_binary64 |
| 357× | associate-*l/_binary64 |
| 341× | exp-sum_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 126 | 1280 |
| 1 | 216 | 1214 |
| 2 | 496 | 1180 |
| 3 | 1488 | 1141 |
| 4 | 4126 | 1137 |
| 5 | 4988 | 1137 |
| 6 | 4951 | 1137 |
13 alts after pruning (10 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 36 | 3 | 39 |
| Fresh | 0 | 7 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 36 | 13 | 49 |
| Status | Error | Program |
| 0.9b | (*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)))) (cbrt.f64 (/.f64 (cbrt.f64 1/2) a))) | |
| 31.0b | (*.f64 (cbrt.f64 (sqrt.f64 g)) (/.f64 (cbrt.f64 (sqrt.f64 g)) (cbrt.f64 (*.f64 a 2)))) | |
| 36.9b | (*.f64 (sqrt.f64 (cbrt.f64 (/.f64 g (*.f64 a 2)))) (sqrt.f64 (cbrt.f64 (/.f64 g (*.f64 a 2))))) | |
| 37.1b | (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 a 2)))) (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 a 2))))) | |
| 13.5b | (/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 2)) | |
| 13.0b | (*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 1/2)) | |
| ▶ | 0.9b | (*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (sqrt.f64 1/2))) (cbrt.f64 (/.f64 (sqrt.f64 1/2) a))) |
| 0.9b | (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (sqrt.f64 1/2)) (cbrt.f64 (/.f64 (sqrt.f64 1/2) a)))) | |
| 1.2b | (/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (neg.f64 a)) (cbrt.f64 -2))) | |
| ✓ | 0.8b | (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a))) |
| ✓ | 13.0b | (cbrt.f64 (/.f64 g (*.f64 2 a))) |
| 1.0b | (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))) (cbrt.f64 (/.f64 (cbrt.f64 1/2) a)))) | |
| ✓ | 0.8b | (/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 a 2))) |
Compiled 664 to 492 computations (25.9% saved)
Found 4 expressions with local error:
| 0.5b | (/.f64 (sqrt.f64 1/2) a) |
| 0.6b | (cbrt.f64 (/.f64 (sqrt.f64 1/2) a)) |
| 0.6b | (cbrt.f64 g) |
| 1.0b | (cbrt.f64 (sqrt.f64 1/2)) |
| 1× | rewrite-expression-head |
| 36× | times-frac_binary64 |
| 35× | *-un-lft-identity_binary64 |
| 35× | add-sqr-sqrt_binary64 |
| 35× | add-cube-cbrt_binary64 |
| 31× | cbrt-prod_binary64 |
4 calls:
| 4.0ms | (/.f64 (sqrt.f64 1/2) a) |
| 3.0ms | (cbrt.f64 (/.f64 (sqrt.f64 1/2) a)) |
| 2.0ms | (cbrt.f64 (sqrt.f64 1/2)) |
| 1.0ms | (cbrt.f64 g) |
Compiled 1600 to 1216 computations (24% saved)
4 calls:
| 21.0ms | (cbrt.f64 (/.f64 (sqrt.f64 1/2) a)) |
| 16.0ms | (cbrt.f64 g) |
| 9.0ms | (/.f64 (sqrt.f64 1/2) a) |
| 0.0ms | (cbrt.f64 (sqrt.f64 1/2)) |
Compiled 406 to 355 computations (12.6% saved)
| 1× | egg-herbie |
| 492× | div-exp_binary64 |
| 434× | associate-/r*_binary64 |
| 413× | associate-/r/_binary64 |
| 318× | distribute-rgt-in_binary64 |
| 310× | *-commutative_binary64 |
Useful iterations: 5 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 135 | 1386 |
| 1 | 204 | 1328 |
| 2 | 457 | 1318 |
| 3 | 1367 | 1293 |
| 4 | 2981 | 1261 |
| 5 | 4483 | 1204 |
| 6 | 5674 | 1204 |
13 alts after pruning (9 fresh and 4 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 51 | 3 | 54 |
| Fresh | 3 | 6 | 9 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 3 | 3 |
| Total | 54 | 13 | 67 |
| Status | Error | Program |
| 0.9b | (*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)))) (cbrt.f64 (/.f64 (cbrt.f64 1/2) a))) | |
| 1.0b | (*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (sqrt.f64 1/2))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 1/2))) (cbrt.f64 (/.f64 (sqrt.f64 (sqrt.f64 1/2)) a)))) | |
| 1.1b | (*.f64 (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (fabs.f64 (cbrt.f64 1/2))) (cbrt.f64 (sqrt.f64 (cbrt.f64 1/2))))) (cbrt.f64 (/.f64 (sqrt.f64 1/2) a))) | |
| 35.2b | (*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (sqrt.f64 1/2))) (*.f64 (cbrt.f64 (sqrt.f64 1/2)) (pow.f64 a -1/3))) | |
| 31.0b | (*.f64 (cbrt.f64 (sqrt.f64 g)) (/.f64 (cbrt.f64 (sqrt.f64 g)) (cbrt.f64 (*.f64 a 2)))) | |
| 37.1b | (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 a 2)))) (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 a 2))))) | |
| 13.0b | (*.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 1/2)) | |
| 0.9b | (*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (sqrt.f64 1/2))) (cbrt.f64 (/.f64 (sqrt.f64 1/2) a))) | |
| 0.9b | (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (sqrt.f64 1/2)) (cbrt.f64 (/.f64 (sqrt.f64 1/2) a)))) | |
| 1.2b | (/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (neg.f64 a)) (cbrt.f64 -2))) | |
| 0.8b | (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a))) | |
| 13.0b | (cbrt.f64 (/.f64 g (*.f64 2 a))) | |
| 0.8b | (/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 a 2))) |
Compiled 800 to 629 computations (21.4% saved)
Total 0.8b remaining (92.4%)
Threshold costs 0.8b (92.4%)
Compiled 13365 to 10462 computations (21.7% saved)
| 1× | egg-herbie |
| 1× | *-commutative_binary64 |
| 1× | 1-exp_binary64 |
| 1× | unpow1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 11 |
| 1 | 13 | 11 |
| 2 | 12 | 11 |
Compiled 9 to 7 computations (22.2% saved)
| 1× | intervals |
| 223.0ms | 8000× | body | 128 | valid |
Compiled 198 to 163 computations (17.7% saved)
Loading profile data...