Time bar (total: 2.0s)
| 1× | search |
| 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 |
| 25% | 74.9% | 0.1% | 5 |
| 25% | 74.9% | 0.1% | 6 |
| 56.2% | 43.7% | 0.1% | 7 |
| 56.2% | 43.7% | 0.1% | 8 |
| 76.5% | 23.4% | 0.1% | 9 |
| 76.5% | 23.4% | 0.1% | 10 |
| 87.8% | 12.1% | 0.1% | 11 |
| 87.8% | 12.1% | 0.1% | 12 |
| 93.8% | 6.1% | 0.1% | 13 |
| 93.8% | 6.1% | 0.1% | 14 |
Compiled 10 to 8 computations (20% saved)
| 1× | intervals |
| 7.0ms | 256× | body | 128 | valid |
Compiled 19 to 17 computations (10.5% saved)
| 1× | egg-herbie |
Useful iterations: 0 (3.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 37 | 13 |
| 1 | 37 | 13 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 0 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 1 | 1 | 2 |
Compiled 18 to 14 computations (22.2% saved)
Found 1 expressions with local error:
| 12.4b | (/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y)) |
| 1× | rewrite-expression-head |
| 10× | add-exp-log_binary64_14779 add-cbrt-cube_binary64_14777 |
| 7× | *-un-lft-identity_binary64_14741 |
| 4× | times-frac_binary64_14747 associate-/l*_binary64_14686 |
| 3× | cbrt-undiv_binary64_14775 cbrt-unprod_binary64_14774 add-sqr-sqrt_binary64_14763 div-exp_binary64_14792 prod-exp_binary64_14790 add-cube-cbrt_binary64_14776 |
| 2× | associate-/l/_binary64_14688 distribute-lft-out_binary64_14692 |
| 1× | associate-/r*_binary64_14685 frac-2neg_binary64_14752 div-inv_binary64_14738 add-log-exp_binary64_14780 flip-+_binary64_14715 clear-num_binary64_14740 flip3-+_binary64_14744 pow1_binary64_14802 |
1 calls:
| 9.0ms | (/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y)) |
1 calls:
| 33.0ms | (/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y)) |
| 1× | egg-herbie |
Useful iterations: 0 (33.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5367 | 451 |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 28 | 2 | 30 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 29 | 2 | 31 |
Compiled 403 to 198 computations (50.9% saved)
Found 1 expressions with local error:
| 0.0b | (+.f64 (/.f64 1/2 x) (/.f64 1/2 y)) |
| 1× | rewrite-expression-head |
| 11× | *-un-lft-identity_binary64_14741 |
| 6× | times-frac_binary64_14747 |
| 5× | distribute-lft-out_binary64_14692 |
| 3× | add-log-exp_binary64_14780 add-sqr-sqrt_binary64_14763 add-cube-cbrt_binary64_14776 |
| 2× | div-inv_binary64_14738 |
| 1× | frac-add_binary64_14749 +-commutative_binary64_14671 add-exp-log_binary64_14779 add-cbrt-cube_binary64_14777 flip-+_binary64_14715 sum-log_binary64_14832 flip3-+_binary64_14744 pow1_binary64_14802 |
1 calls:
| 13.0ms | (+.f64 (/.f64 1/2 x) (/.f64 1/2 y)) |
1 calls:
| 18.0ms | (+.f64 (/.f64 1/2 x) (/.f64 1/2 y)) |
| 1× | egg-herbie |
Useful iterations: 0 (79.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5160 | 274 |
3 alts after pruning (2 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 19 | 1 | 20 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 19 | 3 | 22 |
Compiled 269 to 207 computations (23% saved)
Found 2 expressions with local error:
| 0.0b | (/.f64 (+.f64 x y) y) |
| 7.8b | (*.f64 (/.f64 1/2 x) (/.f64 (+.f64 x y) y)) |
| 1× | rewrite-expression-head |
| 40× | *-un-lft-identity_binary64_14741 |
| 38× | add-sqr-sqrt_binary64_14763 |
| 37× | times-frac_binary64_14747 |
| 26× | add-cube-cbrt_binary64_14776 |
| 16× | add-exp-log_binary64_14779 add-cbrt-cube_binary64_14777 associate-*r*_binary64_14681 |
| 13× | associate-*l*_binary64_14682 |
| 7× | distribute-lft-out_binary64_14692 |
| 5× | cbrt-undiv_binary64_14775 div-exp_binary64_14792 |
| 4× | unswap-sqr_binary64_14709 cbrt-unprod_binary64_14774 associate-/l*_binary64_14686 prod-exp_binary64_14790 pow1_binary64_14802 |
| 3× | associate-/r*_binary64_14685 div-inv_binary64_14738 |
| 2× | add-log-exp_binary64_14780 associate-/l/_binary64_14688 |
| 1× | frac-2neg_binary64_14752 frac-times_binary64_14751 pow-prod-down_binary64_14812 associate-*r/_binary64_14683 associate-*l/_binary64_14684 *-commutative_binary64_14672 flip-+_binary64_14715 clear-num_binary64_14740 flip3-+_binary64_14744 |
2 calls:
| 13.0ms | (*.f64 (/.f64 1/2 x) (/.f64 (+.f64 x y) y)) |
| 5.0ms | (/.f64 (+.f64 x y) y) |
2 calls:
| 34.0ms | (*.f64 (/.f64 1/2 x) (/.f64 (+.f64 x y) y)) |
| 16.0ms | (/.f64 (+.f64 x y) y) |
| 1× | egg-herbie |
Useful iterations: 0 (38.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5361 | 1356 |
3 alts after pruning (1 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 92 | 0 | 92 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 92 | 3 | 95 |
Compiled 1395 to 557 computations (60.1% saved)
Found 4 expressions with local error:
| 0.3b | (/.f64 1/4 (*.f64 y y)) |
| 0.7b | (/.f64 1/4 (*.f64 x x)) |
| 3.0b | (-.f64 (/.f64 1/4 (*.f64 x x)) (/.f64 1/4 (*.f64 y y))) |
| 27.6b | (/.f64 (-.f64 (/.f64 1/4 (*.f64 x x)) (/.f64 1/4 (*.f64 y y))) (-.f64 (/.f64 1/2 x) (/.f64 1/2 y))) |
| 1× | rewrite-expression-head |
| 285× | add-sqr-sqrt_binary64_14763 |
| 273× | times-frac_binary64_14747 |
| 161× | *-un-lft-identity_binary64_14741 |
| 96× | difference-of-squares_binary64_14710 |
| 78× | distribute-lft-out--_binary64_14693 |
| 53× | add-cube-cbrt_binary64_14776 |
| 52× | div-inv_binary64_14738 |
| 16× | add-exp-log_binary64_14779 add-cbrt-cube_binary64_14777 |
| 15× | associate-/l*_binary64_14686 |
| 14× | associate-/r*_binary64_14685 |
| 7× | cancel-sign-sub-inv_binary64_14707 |
| 6× | add-log-exp_binary64_14780 |
| 5× | cbrt-undiv_binary64_14775 div-exp_binary64_14792 |
| 4× | pow1_binary64_14802 |
| 3× | frac-2neg_binary64_14752 associate-/l/_binary64_14688 associate-/r/_binary64_14687 frac-sub_binary64_14750 flip--_binary64_14716 flip3--_binary64_14745 clear-num_binary64_14740 |
| 2× | cbrt-unprod_binary64_14774 prod-exp_binary64_14790 |
| 1× | div-sub_binary64_14746 diff-log_binary64_14833 sub-neg_binary64_14734 |
4 calls:
| 25.0ms | (/.f64 (-.f64 (/.f64 1/4 (*.f64 x x)) (/.f64 1/4 (*.f64 y y))) (-.f64 (/.f64 1/2 x) (/.f64 1/2 y))) |
| 10.0ms | (-.f64 (/.f64 1/4 (*.f64 x x)) (/.f64 1/4 (*.f64 y y))) |
| 5.0ms | (/.f64 1/4 (*.f64 x x)) |
| 4.0ms | (/.f64 1/4 (*.f64 y y)) |
4 calls:
| 48.0ms | (/.f64 (-.f64 (/.f64 1/4 (*.f64 x x)) (/.f64 1/4 (*.f64 y y))) (-.f64 (/.f64 1/2 x) (/.f64 1/2 y))) |
| 29.0ms | (-.f64 (/.f64 1/4 (*.f64 x x)) (/.f64 1/4 (*.f64 y y))) |
| 17.0ms | (/.f64 1/4 (*.f64 y y)) |
| 16.0ms | (/.f64 1/4 (*.f64 x x)) |
| 1× | egg-herbie |
Useful iterations: 0 (73.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4940 | 7676 |
| 1 | 4940 | 7676 |
3 alts after pruning (0 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 227 | 0 | 227 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 227 | 3 | 230 |
Compiled 6591 to 4375 computations (33.6% saved)
Total 0.0b remaining (91.9%)
Threshold costs 0.0b (91.9%)
Compiled 586 to 415 computations (29.2% saved)
| 1× | egg-herbie |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 10 |
| 1 | 8 | 10 |
| 1× | intervals |
| 231.0ms | 8000× | body | 128 | valid |
| 0.0ms | 2× | body | 128 | invalid |
Compiled 212 to 155 computations (26.9% saved)
Loading profile data...