Time bar (total: 1.2s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 0% | 100% | 0 |
| 0% | 0% | 100% | 1 |
Compiled 53 to 38 computations (28.3% saved)
| 1.2s | 8256× | body | 128 | valid |
Compiled 106 to 76 computations (28.3% saved)
| 2× | egg-herbie |
| 164× | associate-+l+_binary64 |
| 66× | associate-+r+_binary64 |
| 47× | +-commutative_binary64 |
| 1× | swap-a-e |
| 1× | swap-a-d |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 46 | 143 |
| 1 | 127 | 143 |
| 2 | 304 | 143 |
| 3 | 350 | 143 |
| 0 | 5 | 5 |
| 1 | 5 | 5 |
| 1× | unsound |
| 1× | saturated |
(sort a b c d e)
Compiled 14 to 9 computations (35.7% saved)
| 1× | egg-herbie |
| 125× | associate-+l+_binary64 |
| 97× | associate-+r+_binary64 |
| 51× | +-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 13 |
| 1 | 20 | 13 |
| 2 | 59 | 13 |
| 3 | 188 | 13 |
| 4 | 339 | 13 |
| 5 | 339 | 13 |
| 1× | saturated |
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 2 | 2 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 3 | 3 |
| Status | Error | Program |
| ▶ | 0.2b | (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) |
| 0.4b | (+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a) |
Compiled 79 to 49 computations (38% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.2b | (+.f64 a (+.f64 d b)) |
| ✓ | 0.2b | (+.f64 c (+.f64 a (+.f64 d b))) |
| ✓ | 0.2b | (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) |
36 calls:
| 1.0ms | (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) | c | -inf |
| 1.0ms | (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) | d | -inf |
| 1.0ms | (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) | a | -inf |
| 1.0ms | (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) | b | -inf |
| 1.0ms | (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) | e | inf |
| 1× | batch-egg-rewrite |
Loading profile data...