Time bar (total: 5.2s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.8% | 0.2% | 0 |
| 0% | 99.8% | 0.2% | 1 |
| 0% | 99.8% | 0.2% | 2 |
| 0% | 99.8% | 0.2% | 3 |
| 0% | 99.8% | 0.2% | 4 |
| 0% | 99.8% | 0.2% | 5 |
| 0% | 99.8% | 0.2% | 6 |
| 0% | 99.8% | 0.2% | 7 |
| 0% | 99.8% | 0.2% | 8 |
| 16.4% | 83.4% | 0.2% | 9 |
| 21.4% | 78.4% | 0.2% | 10 |
| 25.1% | 74.7% | 0.2% | 11 |
| 28% | 70.2% | 1.9% | 12 |
| 39.6% | 55.8% | 4.6% | 13 |
| 43.9% | 50.4% | 5.8% | 14 |
Compiled 10 to 9 computations (10% saved)
| 1× | intervals |
| 13.0ms | 256× | body | 128 | valid |
| 3.0ms | 65× | body | 128 | invalid |
Compiled 19 to 21 computations (-10.5% saved)
| 1× | egg-herbie |
Useful iterations: 0 (101.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 734 | 13 |
| 1 | 734 | 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 |
Merged error: 6.8b
Compiled 18 to 16 computations (11.1% saved)
Found 2 expressions with local error:
| 0.0b | (*.f64 (-.f64 y x) z) |
| 6.8b | (/.f64 (*.f64 (-.f64 y x) z) t) |
| 1× | rewrite-expression-head |
| 10× | add-sqr-sqrt_binary64_12717 |
| 9× | add-exp-log_binary64_12733 add-cbrt-cube_binary64_12731 |
| 8× | *-un-lft-identity_binary64_12695 |
| 6× | add-cube-cbrt_binary64_12730 |
| 5× | associate-*l*_binary64_12636 |
| 4× | associate-*l/_binary64_12638 pow1_binary64_12756 |
| 3× | associate-/r*_binary64_12639 associate-*r*_binary64_12635 times-frac_binary64_12701 |
| 2× | prod-exp_binary64_12744 div-exp_binary64_12746 cbrt-undiv_binary64_12729 associate-/l/_binary64_12642 flip3--_binary64_12699 flip--_binary64_12670 cbrt-unprod_binary64_12728 add-log-exp_binary64_12734 |
| 1× | distribute-lft-out--_binary64_12647 associate-/l*_binary64_12640 frac-2neg_binary64_12706 div-inv_binary64_12692 pow-prod-down_binary64_12766 *-commutative_binary64_12626 difference-of-squares_binary64_12664 unswap-sqr_binary64_12663 clear-num_binary64_12694 |
2 calls:
| 14.0ms | (/.f64 (*.f64 (-.f64 y x) z) t) |
| 13.0ms | (*.f64 (-.f64 y x) z) |
2 calls:
| 95.0ms | (/.f64 (*.f64 (-.f64 y x) z) t) |
| 50.0ms | (*.f64 (-.f64 y x) z) |
| 1× | egg-herbie |
Useful iterations: 0 (82.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4979 | 543 |
| 1 | 4979 | 543 |
6 alts after pruning (5 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 46 | 5 | 51 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 46 | 6 | 52 |
Merged error: 0b
Compiled 734 to 245 computations (66.6% saved)
Found 1 expressions with local error:
| 6.0b | (/.f64 (-.f64 y x) (/.f64 t z)) |
| 1× | rewrite-expression-head |
| 119× | times-frac_binary64_12701 |
| 85× | *-un-lft-identity_binary64_12695 add-sqr-sqrt_binary64_12717 |
| 57× | add-cube-cbrt_binary64_12730 |
| 14× | distribute-lft-out--_binary64_12647 difference-of-squares_binary64_12664 |
| 13× | associate-/r*_binary64_12639 |
| 7× | div-inv_binary64_12692 |
| 6× | add-exp-log_binary64_12733 add-cbrt-cube_binary64_12731 |
| 5× | associate-/l*_binary64_12640 |
| 3× | div-exp_binary64_12746 cbrt-undiv_binary64_12729 |
| 2× | associate-/l/_binary64_12642 |
| 1× | associate-/r/_binary64_12641 frac-2neg_binary64_12706 flip3--_binary64_12699 div-sub_binary64_12700 flip--_binary64_12670 pow1_binary64_12756 add-log-exp_binary64_12734 clear-num_binary64_12694 |
1 calls:
| 17.0ms | (/.f64 (-.f64 y x) (/.f64 t z)) |
1 calls:
| 84.0ms | (/.f64 (-.f64 y x) (/.f64 t z)) |
| 1× | egg-herbie |
Useful iterations: 0 (88.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5236 | 2298 |
5 alts after pruning (4 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 103 | 1 | 104 |
| Fresh | 1 | 3 | 4 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 105 | 5 | 110 |
Merged error: 0b
Compiled 1947 to 405 computations (79.2% saved)
Found 3 expressions with local error:
| 0.0b | (-.f64 (/.f64 y (/.f64 t z)) (/.f64 x (/.f64 t z))) |
| 3.7b | (/.f64 y (/.f64 t z)) |
| 4.6b | (/.f64 x (/.f64 t z)) |
| 1× | rewrite-expression-head |
| 278× | times-frac_binary64_12701 |
| 172× | add-sqr-sqrt_binary64_12717 |
| 164× | *-un-lft-identity_binary64_12695 |
| 136× | add-cube-cbrt_binary64_12730 |
| 44× | cancel-sign-sub-inv_binary64_12661 |
| 26× | associate-/r*_binary64_12639 |
| 18× | div-inv_binary64_12692 |
| 14× | distribute-lft-out--_binary64_12647 |
| 13× | add-exp-log_binary64_12733 add-cbrt-cube_binary64_12731 |
| 9× | difference-of-squares_binary64_12664 |
| 6× | div-exp_binary64_12746 cbrt-undiv_binary64_12729 associate-/l*_binary64_12640 |
| 5× | associate-/r/_binary64_12641 add-log-exp_binary64_12734 |
| 3× | pow1_binary64_12756 |
| 2× | frac-2neg_binary64_12706 distribute-rgt-out--_binary64_12649 clear-num_binary64_12694 |
| 1× | diff-log_binary64_12787 flip3--_binary64_12699 sub-div_binary64_12702 flip--_binary64_12670 sub-neg_binary64_12688 frac-sub_binary64_12704 |
3 calls:
| 166.0ms | (-.f64 (/.f64 y (/.f64 t z)) (/.f64 x (/.f64 t z))) |
| 11.0ms | (/.f64 x (/.f64 t z)) |
| 11.0ms | (/.f64 y (/.f64 t z)) |
3 calls:
| 82.0ms | (-.f64 (/.f64 y (/.f64 t z)) (/.f64 x (/.f64 t z))) |
| 40.0ms | (/.f64 y (/.f64 t z)) |
| 37.0ms | (/.f64 x (/.f64 t z)) |
| 1× | egg-herbie |
Useful iterations: 0 (84.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5071 | 4102 |
5 alts after pruning (3 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 231 | 0 | 231 |
| Fresh | 0 | 3 | 3 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 231 | 5 | 236 |
Merged error: 0b
Compiled 4735 to 890 computations (81.2% saved)
Found 1 expressions with local error:
| 5.8b | (*.f64 (-.f64 y x) (/.f64 z t)) |
| 1× | rewrite-expression-head |
| 16× | add-sqr-sqrt_binary64_12717 |
| 13× | associate-*r*_binary64_12635 |
| 11× | *-un-lft-identity_binary64_12695 |
| 10× | times-frac_binary64_12701 |
| 9× | add-cube-cbrt_binary64_12730 |
| 6× | add-exp-log_binary64_12733 add-cbrt-cube_binary64_12731 |
| 5× | associate-*l*_binary64_12636 |
| 3× | pow1_binary64_12756 |
| 2× | prod-exp_binary64_12744 frac-times_binary64_12705 flip3--_binary64_12699 flip--_binary64_12670 associate-*l/_binary64_12638 unswap-sqr_binary64_12663 cbrt-unprod_binary64_12728 |
| 1× | div-exp_binary64_12746 cbrt-undiv_binary64_12729 distribute-lft-out--_binary64_12647 div-inv_binary64_12692 pow-prod-down_binary64_12766 *-commutative_binary64_12626 difference-of-squares_binary64_12664 add-log-exp_binary64_12734 associate-*r/_binary64_12637 |
1 calls:
| 20.0ms | (*.f64 (-.f64 y x) (/.f64 z t)) |
1 calls:
| 95.0ms | (*.f64 (-.f64 y x) (/.f64 z t)) |
| 1× | egg-herbie |
Useful iterations: 0 (75.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5704 | 564 |
5 alts after pruning (2 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 41 | 0 | 41 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 41 | 5 | 46 |
Merged error: 0b
Compiled 607 to 162 computations (73.3% saved)
Compiled 1081 to 813 computations (24.8% saved)
| 1× | egg-herbie |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 28 | 19 |
| 1 | 28 | 19 |
| 1× | intervals |
| 476.0ms | 8000× | body | 128 | valid |
| 129.0ms | 2023× | body | 128 | invalid |
Compiled 269 to 196 computations (27.1% saved)
Loading profile data...