Time bar (total: 4.5s)
| 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 |
| 3.1% | 90.5% | 6.3% | 6 |
| 4.7% | 85.9% | 9.5% | 7 |
| 21.1% | 64% | 14.9% | 8 |
| 23.4% | 58.9% | 17.7% | 9 |
| 27.7% | 51.3% | 21% | 10 |
| 28.9% | 48.5% | 22.6% | 11 |
| 31.1% | 44.4% | 24.5% | 12 |
| 31.7% | 42.9% | 25.4% | 13 |
| 32.7% | 41% | 26.3% | 14 |
| 1× | intervals |
| 22.0ms | 45× | body | 1280 | valid |
| 10.0ms | 32× | body | 640 | valid |
| 8.0ms | 148× | body | 80 | valid |
| 4.0ms | 6× | body | 640 | invalid |
| 4.0ms | 19× | body | 320 | valid |
| 2.0ms | 12× | body | 160 | valid |
| 1.0ms | 5× | body | 320 | invalid |
| 1.0ms | 2× | body | 1280 | invalid |
| 1.0ms | 5× | body | 160 | invalid |
| 0.0ms | 8× | body | 80 | invalid |
| 0.0ms | 6× | body | 80 | nan |
| 1× | egg-herbie |
Useful iterations: 0 (32.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4985 | 9 |
| 1 | 4985 | 9 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 1 | 1 | 2 |
Merged error: 11.8b
Found 3 expressions with local error:
| 0.0b | (/ (pow (/ x (+ x y)) x) x) |
| 0.0b | (/ x (+ x y)) |
| 8.1b | (pow (/ x (+ x y)) x) |
| 1× | rewrite-expression-head |
| 138× | times-frac |
| 118× | *-un-lft-identity |
| 90× | unpow-prod-down |
| 80× | add-sqr-sqrt add-cube-cbrt |
| 25× | associate-/l* |
| 19× | distribute-lft-out |
| 16× | add-exp-log |
| 12× | associate-/r/ |
| 7× | div-exp associate-/r* add-cbrt-cube div-inv |
| 6× | flip3-+ flip-+ |
| 5× | sqr-pow |
| 4× | pow1 pow-exp |
| 3× | pow-unpow add-log-exp |
| 2× | cbrt-undiv pow-to-exp frac-2neg clear-num |
| 1× | pow-pow |
3 calls:
| 10.0ms | (/ (pow (/ x (+ x y)) x) x) |
| 6.0ms | (pow (/ x (+ x y)) x) |
| 5.0ms | (/ x (+ x y)) |
3 calls:
| 21.0ms | (/ (pow (/ x (+ x y)) x) x) |
| 21.0ms | (pow (/ x (+ x y)) x) |
| 5.0ms | (/ x (+ x y)) |
| 1× | egg-herbie |
Useful iterations: 0 (45.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5011 | 2849 |
6 alts after pruning (6 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 175 | 6 | 181 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 176 | 6 | 182 |
Merged error: 0.4b
Found 4 expressions with local error:
| 3.0b | (pow (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) x) |
| 7.3b | (cbrt (/ x (+ x y))) |
| 7.3b | (cbrt (/ x (+ x y))) |
| 7.3b | (cbrt (/ x (+ x y))) |
| 1× | rewrite-expression-head |
| 54× | cbrt-prod |
| 47× | *-un-lft-identity |
| 36× | times-frac |
| 29× | add-sqr-sqrt add-cube-cbrt |
| 12× | pow1 |
| 9× | pow-pow pow1/3 distribute-lft-out |
| 7× | add-exp-log |
| 6× | associate-/r/ |
| 4× | add-cbrt-cube add-log-exp |
| 3× | pow-unpow cbrt-div flip3-+ flip-+ div-inv |
| 2× | pow-prod-down pow-exp pow-sqr pow-prod-up |
| 1× | pow2 pow-to-exp unpow-prod-down pow-plus prod-exp sqr-pow |
4 calls:
| 13.0ms | (pow (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) x) |
| 5.0ms | (cbrt (/ x (+ x y))) |
| 5.0ms | (cbrt (/ x (+ x y))) |
| 4.0ms | (cbrt (/ x (+ x y))) |
4 calls:
| 36.0ms | (pow (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) x) |
| 28.0ms | (cbrt (/ x (+ x y))) |
| 25.0ms | (cbrt (/ x (+ x y))) |
| 25.0ms | (cbrt (/ x (+ x y))) |
| 1× | egg-herbie |
Useful iterations: 0 (36.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5083 | 1475 |
6 alts after pruning (5 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 117 | 0 | 117 |
| Fresh | 0 | 5 | 5 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 117 | 6 | 123 |
Merged error: 0.4b
Found 4 expressions with local error:
| 0.6b | (cbrt x) |
| 0.6b | (cbrt x) |
| 0.6b | (cbrt x) |
| 8.1b | (pow (/ x (+ x y)) x) |
| 1× | rewrite-expression-head |
| 22× | *-un-lft-identity |
| 18× | unpow-prod-down |
| 16× | add-sqr-sqrt add-cube-cbrt |
| 12× | times-frac |
| 9× | cbrt-prod |
| 7× | add-exp-log |
| 5× | pow1 |
| 4× | add-cbrt-cube add-log-exp |
| 3× | pow-unpow pow1/3 distribute-lft-out |
| 2× | pow-exp associate-/r/ |
| 1× | pow-to-exp pow-pow flip3-+ div-exp flip-+ div-inv sqr-pow |
4 calls:
| 8.0ms | (pow (/ x (+ x y)) x) |
| 1.0ms | (cbrt x) |
| 1.0ms | (cbrt x) |
| 1.0ms | (cbrt x) |
4 calls:
| 24.0ms | (cbrt x) |
| 22.0ms | (cbrt x) |
| 21.0ms | (cbrt x) |
| 18.0ms | (pow (/ x (+ x y)) x) |
| 1× | egg-herbie |
Useful iterations: 0 (39.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4995 | 738 |
| 1 | 4995 | 738 |
7 alts after pruning (6 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 76 | 2 | 78 |
| Fresh | 0 | 4 | 4 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 77 | 7 | 84 |
Merged error: 0.4b
Found 4 expressions with local error:
| 0.1b | (/ (sqrt x) (sqrt (+ x y))) |
| 0.1b | (/ (sqrt x) (sqrt (+ x y))) |
| 0.5b | (pow (/ (sqrt x) (sqrt (+ x y))) x) |
| 0.5b | (pow (/ (sqrt x) (sqrt (+ x y))) x) |
| 1× | rewrite-expression-head |
| 194× | sqrt-prod |
| 172× | *-un-lft-identity |
| 168× | times-frac |
| 120× | add-sqr-sqrt add-cube-cbrt |
| 96× | unpow-prod-down |
| 26× | distribute-lft-out |
| 14× | add-exp-log associate-/r* |
| 12× | associate-/l* |
| 8× | sqrt-div associate-/r/ add-cbrt-cube |
| 6× | pow1 pow-unpow |
| 4× | sqrt-undiv flip3-+ div-exp pow-exp flip-+ div-inv add-log-exp |
| 2× | cbrt-undiv pow-to-exp pow-pow frac-2neg clear-num sqrt-pow2 sqr-pow |
4 calls:
| 11.0ms | (pow (/ (sqrt x) (sqrt (+ x y))) x) |
| 10.0ms | (pow (/ (sqrt x) (sqrt (+ x y))) x) |
| 7.0ms | (/ (sqrt x) (sqrt (+ x y))) |
| 7.0ms | (/ (sqrt x) (sqrt (+ x y))) |
4 calls:
| 33.0ms | (pow (/ (sqrt x) (sqrt (+ x y))) x) |
| 33.0ms | (pow (/ (sqrt x) (sqrt (+ x y))) x) |
| 15.0ms | (/ (sqrt x) (sqrt (+ x y))) |
| 13.0ms | (/ (sqrt x) (sqrt (+ x y))) |
| 1× | egg-herbie |
Useful iterations: 0 (28.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5006 | 4636 |
7 alts after pruning (5 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 280 | 0 | 280 |
| Fresh | 0 | 5 | 5 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 280 | 7 | 287 |
Merged error: 0.4b
Total 5.2b remaining (88.8%)
Threshold costs 0b (0%)
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 2.336597948207047e+110 | 6.666682236957987e+116 | 3.955643581924325e+113 |
| 8 | 2.2190731447670528e+85 | 1.4801716519397095e+88 | 3.2195260757207784e+85 |
| 6 | 7.95612707699845e+47 | 4.685558298635802e+48 | 2.397614431801766e+48 |
| 10 | 1.0788903632013352e-10 | 871665.6756045957 | 317.3168173800605 |
| 9 | -7.670017091762728e+169 | -6.345468355134889e+161 | -6.463475984187357e+161 |
| 1× | egg-herbie |
Useful iterations: 0 (2.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 120 | 131 |
| 1 | 120 | 131 |
| 1× | intervals |
| 733.0ms | 1443× | body | 1280 | valid |
| 368.0ms | 1203× | body | 640 | valid |
| 243.0ms | 4351× | body | 80 | valid |
| 134.0ms | 636× | body | 320 | valid |
| 80.0ms | 267× | body | 640 | invalid |
| 47.0ms | 367× | body | 160 | valid |
| 47.0ms | 103× | body | 1280 | invalid |
| 39.0ms | 202× | body | 320 | invalid |
| 13.0ms | 103× | body | 160 | invalid |
| 12.0ms | 155× | body | 80 | invalid |
| 7.0ms | 167× | body | 80 | nan |
Loading profile data...