Time bar (total: 42.8s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.2% | 0.8% | 0 |
| 0% | 99.2% | 0.8% | 1 |
| 0% | 99.2% | 0.8% | 2 |
| 0% | 99.2% | 0.8% | 3 |
| 0% | 99.2% | 0.8% | 4 |
| 0% | 99.2% | 0.8% | 5 |
| 0% | 99.2% | 0.8% | 6 |
| 0% | 99.2% | 0.8% | 7 |
| 0% | 99.2% | 0.8% | 8 |
| 0% | 99.2% | 0.8% | 9 |
| 0% | 99.2% | 0.8% | 10 |
| 0% | 99.2% | 0.8% | 11 |
| 0% | 99.2% | 0.8% | 12 |
| 0% | 99.2% | 0.8% | 13 |
| 0% | 99.2% | 0.8% | 14 |
| 1× | intervals |
| 455.0ms | 1990× | body | 80 | invalid |
| 59.0ms | 256× | body | 80 | valid |
| 1× | egg-herbie |
Useful iterations: 0 (28.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5427 | 95 |
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 |
Merged error: 25.3b
Found 4 expressions with local error:
| 7.3b | (* (- (* x y) (* z t)) (- (* a b) (* c i))) |
| 7.3b | (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i))) |
| 8.1b | (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))) |
| 11.7b | (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))) |
| 1× | rewrite-expression-head |
| 24× | flip3-- flip-- |
| 20× | add-sqr-sqrt |
| 16× | frac-times |
| 12× | pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube |
| 8× | sub-neg associate-*r/ associate-*l/ |
| 4× | distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr |
4 calls:
| 10.0ms | (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))) |
| 10.0ms | (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i))) |
| 10.0ms | (* (- (* x y) (* z t)) (- (* a b) (* c i))) |
| 9.0ms | (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))) |
4 calls:
| 54.0ms | (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))) |
| 51.0ms | (* (- (* x y) (* z t)) (- (* a b) (* c i))) |
| 50.0ms | (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i))) |
| 49.0ms | (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i))) |
| 1× | egg-herbie |
Useful iterations: 0 (31.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5045 | 2796 |
20 alts after pruning (20 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 104 | 20 | 124 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 105 | 20 | 125 |
Merged error: 16.0b
Found 4 expressions with local error:
| 7.0b | (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a))) |
| 7.3b | (* (- (* x y) (* z t)) (- (* a b) (* c i))) |
| 7.3b | (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i))) |
| 11.7b | (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))) |
| 1× | rewrite-expression-head |
| 24× | flip3-- flip-- |
| 20× | add-sqr-sqrt |
| 16× | frac-times |
| 12× | pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube |
| 8× | sub-neg associate-*r/ associate-*l/ |
| 4× | distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr |
4 calls:
| 10.0ms | (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i))) |
| 10.0ms | (* (- (* x y) (* z t)) (- (* a b) (* c i))) |
| 9.0ms | (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a))) |
| 9.0ms | (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))) |
4 calls:
| 52.0ms | (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))) |
| 50.0ms | (* (- (* x y) (* z t)) (- (* a b) (* c i))) |
| 50.0ms | (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a))) |
| 48.0ms | (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i))) |
| 1× | egg-herbie |
Useful iterations: 0 (30.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5048 | 2796 |
26 alts after pruning (26 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 115 | 9 | 124 |
| Fresh | 2 | 17 | 19 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 118 | 26 | 144 |
Merged error: 12.1b
Found 4 expressions with local error:
| 6.7b | (* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a))) |
| 7.3b | (* (- (* x y) (* z t)) (- (* a b) (* c i))) |
| 7.3b | (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i))) |
| 11.7b | (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))) |
| 1× | rewrite-expression-head |
| 24× | flip3-- flip-- |
| 20× | add-sqr-sqrt |
| 16× | frac-times |
| 12× | pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube |
| 8× | sub-neg associate-*r/ associate-*l/ |
| 4× | distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr |
4 calls:
| 10.0ms | (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i))) |
| 10.0ms | (* (- (* x y) (* z t)) (- (* a b) (* c i))) |
| 9.0ms | (* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a))) |
| 9.0ms | (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))) |
4 calls:
| 51.0ms | (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))) |
| 50.0ms | (* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a))) |
| 49.0ms | (* (- (* x y) (* z t)) (- (* a b) (* c i))) |
| 48.0ms | (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i))) |
| 1× | egg-herbie |
Useful iterations: 0 (30.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5043 | 2796 |
31 alts after pruning (31 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 117 | 7 | 124 |
| Fresh | 1 | 24 | 25 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 119 | 31 | 150 |
Merged error: 9.9b
Found 4 expressions with local error:
| 6.2b | (cbrt (- (* y2 x) (* y3 z))) |
| 7.3b | (* (- (* x y) (* z t)) (- (* a b) (* c i))) |
| 7.3b | (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i))) |
| 11.7b | (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))) |
| 1× | rewrite-expression-head |
| 19× | flip3-- flip-- |
| 17× | add-sqr-sqrt |
| 12× | frac-times |
| 11× | add-cube-cbrt *-un-lft-identity |
| 10× | pow1 add-exp-log add-cbrt-cube |
| 9× | associate-*r* associate-*l* |
| 6× | sub-neg associate-*r/ associate-*l/ |
| 4× | add-log-exp |
| 3× | cbrt-prod distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr |
| 2× | cbrt-div |
| 1× | pow1/3 |
4 calls:
| 10.0ms | (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))) |
| 10.0ms | (* (- (* x y) (* z t)) (- (* a b) (* c i))) |
| 10.0ms | (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i))) |
| 4.0ms | (cbrt (- (* y2 x) (* y3 z))) |
4 calls:
| 52.0ms | (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))) |
| 52.0ms | (* (- (* x y) (* z t)) (- (* a b) (* c i))) |
| 49.0ms | (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i))) |
| 37.0ms | (cbrt (- (* y2 x) (* y3 z))) |
| 1× | egg-herbie |
Useful iterations: 0 (30.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5196 | 2330 |
30 alts after pruning (30 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 108 | 1 | 109 |
| Fresh | 1 | 29 | 30 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 110 | 30 | 140 |
Merged error: 9.9b
Total 15.7b remaining (57.7%)
Threshold costs 0b (0%)
| Iters | Range | Point | |
|---|---|---|---|
| 10 | 1.6842892130432673e+209 | 1.9176025174066396e+223 | 3.0102126024937256e+219 |
| 8 | 4.914819054118239e-26 | 4.0171182520034214e-23 | 1.4606536670303325e-24 |
| 8 | 1.3861391949724846e-124 | 1.9300701800890369e-121 | 4.739049134192001e-122 |
| 9 | 8.985675580446613e-208 | 6.049636141630936e-201 | 7.4118563930003295e-202 |
| 8 | -5.5836221009420495e-297 | -2.2624463034944726e-300 | -3.194111024233313e-299 |
| 6 | -1.2961443505182527e-226 | -1.9851373290836072e-227 | -5.887780185974675e-227 |
| 10 | -2.1998143703833423e+39 | -6.516043670168843e+24 | -1.0401705200069696e+37 |
| 1× | egg-herbie |
Useful iterations: 0 (94.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 3273 | 797 |
| 1 | 3273 | 797 |
| 1× | intervals |
| 14.4s | 63629× | body | 80 | invalid |
| 1.8s | 8000× | body | 80 | valid |
Loading profile data...