Time bar (total: 3.7s)
| 1× | search |
| 2× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 107 | 52 |
| 1 | 107 | 52 |
| 0 | 3 | 3 |
| 1 | 3 | 3 |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.9% | 0.1% | 0 |
| 0% | 99.9% | 0.1% | 1 |
| 0% | 99.9% | 0.1% | 2 |
| 0% | 99.9% | 0.1% | 3 |
| 0% | 99.9% | 0.1% | 4 |
| 0% | 99.9% | 0.1% | 5 |
| 0% | 99.9% | 0.1% | 6 |
| 12.5% | 87.4% | 0.1% | 7 |
| 25% | 74.9% | 0.1% | 8 |
| 31.2% | 64% | 4.8% | 9 |
| 31.2% | 42.1% | 26.7% | 10 |
| 35.9% | 37.1% | 27.1% | 11 |
| 38.2% | 32.2% | 29.6% | 12 |
| 47.8% | 21.6% | 30.6% | 13 |
| 50.2% | 19% | 30.8% | 14 |
Compiled 16 to 9 computations (43.8% saved)
| 1× | intervals |
| 7.0ms | 256× | body | 128 | valid |
| 0.0ms | 11× | body | 128 | invalid |
Compiled 31 to 20 computations (35.5% saved)
| 1× | egg-herbie |
Useful iterations: 0 (3.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 41 | 13 |
| 1 | 41 | 13 |
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 |
Compiled 33 to 24 computations (27.3% saved)
Found 2 expressions with local error:
| 0.0b | (+.f64 (*.f64 x y) (*.f64 z (*.f64 z 3))) |
| 0.2b | (*.f64 z (*.f64 z 3)) |
| 1× | rewrite-expression-head |
| 7× | pow1_binary64_14802 add-exp-log_binary64_14779 add-cbrt-cube_binary64_14777 |
| 4× | add-log-exp_binary64_14780 |
| 3× | pow-prod-down_binary64_14812 prod-exp_binary64_14790 add-cube-cbrt_binary64_14776 cbrt-unprod_binary64_14774 add-sqr-sqrt_binary64_14763 *-un-lft-identity_binary64_14741 associate-*l*_binary64_14682 |
| 1× | associate-*r*_binary64_14681 *-commutative_binary64_14672 sum-log_binary64_14832 flip3-+_binary64_14744 flip-+_binary64_14715 +-commutative_binary64_14671 |
2 calls:
| 5.0ms | (*.f64 z (*.f64 z 3)) |
| 4.0ms | (+.f64 (*.f64 x y) (*.f64 z (*.f64 z 3))) |
Compiled 476 to 253 computations (46.8% saved)
2 calls:
| 149.0ms | (+.f64 (*.f64 x y) (*.f64 z (*.f64 z 3))) |
| 26.0ms | (*.f64 z (*.f64 z 3)) |
Compiled 394 to 344 computations (12.7% saved)
| 1× | egg-herbie |
Useful iterations: 0 (82.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4926 | 545 |
| 1 | 4926 | 545 |
4 alts after pruning (3 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 47 | 3 | 50 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 48 | 4 | 52 |
Compiled 578 to 273 computations (52.8% saved)
Found 2 expressions with local error:
| 0.0b | (+.f64 (*.f64 x y) (*.f64 3 (*.f64 z z))) |
| 0.2b | (*.f64 3 (*.f64 z z)) |
| 1× | rewrite-expression-head |
| 7× | pow1_binary64_14802 add-exp-log_binary64_14779 add-cbrt-cube_binary64_14777 |
| 4× | add-log-exp_binary64_14780 add-sqr-sqrt_binary64_14763 |
| 3× | pow-prod-down_binary64_14812 prod-exp_binary64_14790 add-cube-cbrt_binary64_14776 cbrt-unprod_binary64_14774 *-un-lft-identity_binary64_14741 associate-*l*_binary64_14682 |
| 1× | unswap-sqr_binary64_14709 associate-*r*_binary64_14681 *-commutative_binary64_14672 sum-log_binary64_14832 flip3-+_binary64_14744 flip-+_binary64_14715 +-commutative_binary64_14671 |
2 calls:
| 6.0ms | (*.f64 3 (*.f64 z z)) |
| 4.0ms | (+.f64 (*.f64 x y) (*.f64 3 (*.f64 z z))) |
Compiled 489 to 228 computations (53.4% saved)
2 calls:
| 142.0ms | (+.f64 (*.f64 x y) (*.f64 3 (*.f64 z z))) |
| 25.0ms | (*.f64 3 (*.f64 z z)) |
Compiled 394 to 344 computations (12.7% saved)
| 1× | egg-herbie |
Useful iterations: 0 (77.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4926 | 559 |
| 1 | 4926 | 559 |
5 alts after pruning (3 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 50 | 1 | 51 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 50 | 5 | 55 |
Compiled 599 to 287 computations (52.1% saved)
Found 3 expressions with local error:
| 0.0b | (+.f64 (*.f64 x y) (*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (*.f64 z z) (cbrt.f64 3)))) |
| 0.2b | (*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (*.f64 z z) (cbrt.f64 3))) |
| 0.2b | (*.f64 (*.f64 z z) (cbrt.f64 3)) |
| 1× | rewrite-expression-head |
| 29× | pow1_binary64_14802 add-exp-log_binary64_14779 |
| 18× | pow-prod-down_binary64_14812 prod-exp_binary64_14790 cbrt-unprod_binary64_14774 |
| 17× | add-cbrt-cube_binary64_14777 |
| 7× | add-sqr-sqrt_binary64_14763 associate-*r*_binary64_14681 |
| 5× | add-log-exp_binary64_14780 add-cube-cbrt_binary64_14776 *-un-lft-identity_binary64_14741 |
| 4× | cbrt-prod_binary64_14772 |
| 2× | unswap-sqr_binary64_14709 associate-*l*_binary64_14682 *-commutative_binary64_14672 |
| 1× | sum-log_binary64_14832 flip3-+_binary64_14744 flip-+_binary64_14715 +-commutative_binary64_14671 |
3 calls:
| 14.0ms | (*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (*.f64 z z) (cbrt.f64 3))) |
| 8.0ms | (*.f64 (*.f64 z z) (cbrt.f64 3)) |
| 5.0ms | (+.f64 (*.f64 x y) (*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (*.f64 z z) (cbrt.f64 3)))) |
Compiled 1511 to 994 computations (34.2% saved)
3 calls:
| 264.0ms | (+.f64 (*.f64 x y) (*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (*.f64 z z) (cbrt.f64 3)))) |
| 64.0ms | (*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (*.f64 z z) (cbrt.f64 3))) |
| 39.0ms | (*.f64 (*.f64 z z) (cbrt.f64 3)) |
Compiled 670 to 608 computations (9.3% saved)
| 1× | egg-herbie |
Useful iterations: 0 (47.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5278 | 912 |
5 alts after pruning (2 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 85 | 1 | 86 |
| Fresh | 1 | 1 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 86 | 5 | 91 |
Compiled 1232 to 717 computations (41.8% saved)
Found 4 expressions with local error:
| 0.2b | (*.f64 3 (*.f64 z z)) |
| 0.4b | (*.f64 (sqrt.f64 (*.f64 3 (*.f64 z z))) (sqrt.f64 (*.f64 3 (*.f64 z z)))) |
| 14.3b | (sqrt.f64 (*.f64 3 (*.f64 z z))) |
| 14.3b | (sqrt.f64 (*.f64 3 (*.f64 z z))) |
| 1× | rewrite-expression-head |
| 148× | pow1_binary64_14802 |
| 80× | pow-prod-down_binary64_14812 |
| 66× | sqrt-pow1_binary64_14759 |
| 17× | pow-prod-up_binary64_14811 |
| 14× | pow1/2_binary64_14821 |
| 12× | add-sqr-sqrt_binary64_14763 |
| 11× | add-exp-log_binary64_14779 add-cbrt-cube_binary64_14777 pow-sqr_binary64_14714 |
| 9× | add-cube-cbrt_binary64_14776 *-un-lft-identity_binary64_14741 |
| 7× | associate-*l*_binary64_14682 |
| 6× | sqrt-prod_binary64_14757 |
| 5× | associate-*r*_binary64_14681 |
| 4× | add-log-exp_binary64_14780 prod-exp_binary64_14790 cbrt-unprod_binary64_14774 swap-sqr_binary64_14708 |
| 2× | unswap-sqr_binary64_14709 *-commutative_binary64_14672 |
| 1× | pow2_binary64_14822 pow-plus_binary64_14804 sqrt-unprod_binary64_14761 rem-square-sqrt_binary64_14753 |
4 calls:
| 15.0ms | (*.f64 (sqrt.f64 (*.f64 3 (*.f64 z z))) (sqrt.f64 (*.f64 3 (*.f64 z z)))) |
| 6.0ms | (*.f64 3 (*.f64 z z)) |
| 5.0ms | (sqrt.f64 (*.f64 3 (*.f64 z z))) |
| 5.0ms | (sqrt.f64 (*.f64 3 (*.f64 z z))) |
Compiled 2280 to 1253 computations (45% saved)
4 calls:
| 52.0ms | (*.f64 (sqrt.f64 (*.f64 3 (*.f64 z z))) (sqrt.f64 (*.f64 3 (*.f64 z z)))) |
| 32.0ms | (sqrt.f64 (*.f64 3 (*.f64 z z))) |
| 29.0ms | (sqrt.f64 (*.f64 3 (*.f64 z z))) |
| 26.0ms | (*.f64 3 (*.f64 z z)) |
Compiled 543 to 437 computations (19.5% saved)
| 1× | egg-herbie |
Useful iterations: 0 (64.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4997 | 772 |
| 1 | 4997 | 772 |
5 alts after pruning (1 fresh and 4 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 121 | 0 | 121 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 3 | 3 |
| Total | 121 | 5 | 126 |
Compiled 1883 to 991 computations (47.4% saved)
Total 0.1b remaining (92.9%)
Threshold costs 0.1b (92.9%)
Compiled 2390 to 2117 computations (11.4% saved)
| 1× | egg-herbie |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 13 |
| 1 | 13 | 13 |
Compiled 18 to 16 computations (11.1% saved)
| 1× | intervals |
| 248.0ms | 8000× | body | 128 | valid |
| 13.0ms | 451× | body | 128 | invalid |
Compiled 400 to 351 computations (12.3% saved)
Loading profile data...