Time bar (total: 3.6s)
| 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 |
| 0% | 99.9% | 0.1% | 5 |
| 0% | 99.9% | 0.1% | 6 |
| 12.5% | 87.4% | 0.1% | 7 |
| 18.7% | 81.1% | 0.1% | 8 |
| 31.2% | 68.6% | 0.1% | 9 |
| 35.9% | 55.4% | 8.7% | 10 |
| 42.9% | 47.6% | 9.5% | 11 |
| 51.5% | 38.2% | 10.3% | 12 |
| 55% | 30% | 15% | 13 |
| 59.5% | 25.3% | 15.3% | 14 |
| 1× | intervals |
| 8.0ms | 240× | body | 80 | valid |
| 1.0ms | 23× | body | 80 | invalid |
| 1.0ms | 6× | body | 640 | valid |
| 1.0ms | 6× | body | 320 | valid |
| 0.0ms | 2× | body | 1280 | valid |
| 0.0ms | 2× | body | 160 | valid |
| 1× | egg-herbie |
Useful iterations: 0 (236.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4926 | 13 |
| 1 | 4926 | 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: 0.4b
Found 4 expressions with local error:
| 0.0b | (- (/ 2.0 3.0) z) |
| 0.0b | (* (- y x) 6.0) |
| 0.0b | (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) |
| 0.4b | (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)) |
| 1× | rewrite-expression-head |
| 21× | add-sqr-sqrt |
| 13× | *-un-lft-identity |
| 11× | pow1 add-exp-log add-cbrt-cube |
| 10× | associate-*l/ |
| 9× | associate-*r* |
| 8× | flip3-- flip-- add-log-exp |
| 7× | add-cube-cbrt |
| 6× | associate-*l* |
| 5× | sub-neg difference-of-squares |
| 4× | frac-times pow-prod-down prod-exp cbrt-unprod |
| 3× | distribute-lft-out-- |
| 2× | distribute-rgt-in associate-+r+ distribute-lft-in times-frac associate-*r/ *-commutative |
| 1× | +-commutative flip3-+ diff-log sum-log flip-+ unswap-sqr |
4 calls:
| 13.0ms | (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)) |
| 8.0ms | (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) |
| 7.0ms | (- (/ 2.0 3.0) z) |
| 6.0ms | (* (- y x) 6.0) |
4 calls:
| 13.0ms | (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) |
| 9.0ms | (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)) |
| 4.0ms | (* (- y x) 6.0) |
| 2.0ms | (- (/ 2.0 3.0) z) |
| 1× | egg-herbie |
Useful iterations: 0 (42.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4988 | 1087 |
| 1 | 4988 | 1087 |
8 alts after pruning (8 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 84 | 8 | 92 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 85 | 8 | 93 |
Merged error: 0.0b
Found 4 expressions with local error:
| 0.0b | (- (/ 2.0 3.0) z) |
| 0.0b | (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) |
| 0.0b | (* 6.0 (- (/ 2.0 3.0) z)) |
| 0.2b | (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) |
| 1× | rewrite-expression-head |
| 21× | add-sqr-sqrt |
| 13× | *-un-lft-identity |
| 11× | pow1 add-exp-log sub-neg add-cbrt-cube |
| 10× | associate-*r/ |
| 9× | distribute-rgt-in distribute-lft-in |
| 8× | flip3-- associate-*l* flip-- add-log-exp |
| 7× | add-cube-cbrt associate-*r* |
| 5× | difference-of-squares |
| 4× | frac-times associate-+r+ pow-prod-down prod-exp cbrt-unprod |
| 3× | distribute-lft-out-- |
| 2× | times-frac associate-*l/ *-commutative |
| 1× | +-commutative flip3-+ diff-log sum-log flip-+ unswap-sqr |
4 calls:
| 13.0ms | (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) |
| 9.0ms | (* 6.0 (- (/ 2.0 3.0) z)) |
| 7.0ms | (- (/ 2.0 3.0) z) |
| 5.0ms | (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) |
4 calls:
| 12.0ms | (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) |
| 9.0ms | (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) |
| 4.0ms | (* 6.0 (- (/ 2.0 3.0) z)) |
| 2.0ms | (- (/ 2.0 3.0) z) |
| 1× | egg-herbie |
Useful iterations: 0 (17.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5487 | 1214 |
9 alts after pruning (8 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 96 | 2 | 98 |
| Fresh | 1 | 6 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 97 | 9 | 106 |
Merged error: 0.0b
Found 4 expressions with local error:
| 0.0b | (+ (+ x (* (* (- y x) 6.0) (/ 2.0 3.0))) (* (* (- y x) 6.0) (neg z))) |
| 0.0b | (+ x (* (* (- y x) 6.0) (/ 2.0 3.0))) |
| 0.3b | (* (* (- y x) 6.0) (neg z)) |
| 0.4b | (* (* (- y x) 6.0) (/ 2.0 3.0)) |
| 1× | rewrite-expression-head |
| 23× | associate-*r* |
| 21× | add-exp-log add-cbrt-cube |
| 18× | associate-*l/ |
| 14× | pow1 add-sqr-sqrt add-cube-cbrt *-un-lft-identity |
| 11× | add-log-exp |
| 9× | times-frac prod-exp cbrt-unprod |
| 6× | pow-prod-down |
| 5× | flip3-- flip-- |
| 4× | flip3-+ frac-add sum-log flip-+ |
| 3× | distribute-lft-neg-in distribute-rgt-neg-in |
| 2× | cbrt-undiv +-commutative frac-times div-exp associate-*l* *-commutative distribute-rgt-neg-out |
| 1× | neg-mul-1 associate-+l+ associate-*r/ unsub-neg div-inv |
4 calls:
| 9.0ms | (* (* (- y x) 6.0) (/ 2.0 3.0)) |
| 8.0ms | (* (* (- y x) 6.0) (neg z)) |
| 8.0ms | (+ (+ x (* (* (- y x) 6.0) (/ 2.0 3.0))) (* (* (- y x) 6.0) (neg z))) |
| 4.0ms | (+ x (* (* (- y x) 6.0) (/ 2.0 3.0))) |
4 calls:
| 13.0ms | (+ (+ x (* (* (- y x) 6.0) (/ 2.0 3.0))) (* (* (- y x) 6.0) (neg z))) |
| 8.0ms | (* (* (- y x) 6.0) (neg z)) |
| 5.0ms | (+ x (* (* (- y x) 6.0) (/ 2.0 3.0))) |
| 4.0ms | (* (* (- y x) 6.0) (/ 2.0 3.0)) |
| 1× | egg-herbie |
Useful iterations: 0 (38.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4974 | 1474 |
| 1 | 4974 | 1474 |
10 alts after pruning (8 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 105 | 1 | 106 |
| Fresh | 0 | 7 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 105 | 10 | 115 |
Merged error: 0.0b
Found 4 expressions with local error:
| 0.5b | (* (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))))) |
| 0.6b | (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) |
| 0.6b | (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) |
| 0.6b | (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) |
| 1× | rewrite-expression-head |
| 25× | cbrt-prod |
| 23× | add-sqr-sqrt |
| 18× | cbrt-div |
| 15× | add-cube-cbrt *-un-lft-identity |
| 11× | pow1 |
| 9× | flip3-+ pow1/3 flip-+ |
| 6× | add-exp-log swap-sqr associate-*r* associate-*l* |
| 4× | frac-times add-cbrt-cube add-log-exp unswap-sqr |
| 2× | associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up |
| 1× | pow2 pow-plus prod-exp *-commutative cbrt-unprod |
4 calls:
| 9.0ms | (* (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))))) |
| 3.0ms | (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) |
| 3.0ms | (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) |
| 3.0ms | (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) |
4 calls:
| 222.0ms | (* (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))))) |
| 94.0ms | (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) |
| 94.0ms | (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) |
| 92.0ms | (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) |
| 1× | egg-herbie |
Useful iterations: 0 (18.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5115 | 2901 |
11 alts after pruning (8 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 97 | 2 | 99 |
| Fresh | 1 | 6 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 98 | 11 | 109 |
Merged error: 0.0b
Total 0.2b remaining (79.4%)
Threshold costs 0.2b (79.4%)
| 1× | egg-herbie |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 33 | 13 |
| 1 | 33 | 13 |
| 1× | intervals |
| 267.0ms | 7323× | body | 80 | valid |
| 34.0ms | 257× | body | 640 | valid |
| 25.0ms | 638× | body | 80 | invalid |
| 22.0ms | 130× | body | 1280 | valid |
| 16.0ms | 165× | body | 320 | valid |
| 8.0ms | 125× | body | 160 | valid |
Loading profile data...