Time bar (total: 2.0s)
| 12.0ms | 337× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 17 | 4 |
| 1 | 35 | 4 |
| 2 | 51 | 4 |
| 3 | 71 | 4 |
| 4 | 85 | 4 |
| 5 | 89 | 4 |
| 6 | 89 | 4 |
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.3b
Found 2 expressions with local error:
| 0.7b | (- (* x y) (* z t)) |
| 5.9b | (/ (- (* x y) (* z t)) a) |
| 5× | *-commutative |
| 4× | prod-diff |
| 2× | flip3-- fma-neg flip-- associate-/l/ |
| 1× | sub-neg frac-2neg div-sub clear-num div-inv |
| 4.0ms | (- (* x y) (* z t)) |
| 5.0ms | (/ (- (* x y) (* z t)) a) |
| 40.0ms | (- (* x y) (* z t)) |
| 47.0ms | (/ (- (* x y) (* z t)) a) |
Useful iterations: 3 (31.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 119 | 92 |
| 1 | 338 | 90 |
| 2 | 1035 | 89 |
| 3 | 2727 | 76 |
| 4 | 5001 | 76 |
7 alts after pruning (7 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 15 | 7 | 22 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 16 | 7 | 23 |
Merged error: 6.0b
Found 2 expressions with local error:
| 5.2b | (/ (* t z) a) |
| 6.2b | (/ (* x y) a) |
| 4× | associate-/l* |
| 2× | frac-2neg clear-num *-commutative div-inv |
| 3.0ms | (/ (* t z) a) |
| 3.0ms | (/ (* x y) a) |
| 21.0ms | (/ (* t z) a) |
| 19.0ms | (/ (* x y) a) |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 36 | 28 |
| 1 | 48 | 28 |
| 2 | 54 | 28 |
| 3 | 56 | 28 |
| 4 | 56 | 28 |
9 alts after pruning (9 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 11 | 5 | 16 |
| Fresh | 2 | 4 | 6 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 14 | 9 | 23 |
Merged error: 1.0b
Found 2 expressions with local error:
| 0.7b | (- (* x y) (* z t)) |
| 6.0b | (* (- (* x y) (* z t)) (/ 1 a)) |
| 6× | frac-times *-commutative |
| 5× | flip3-- flip-- |
| 4× | prod-diff clear-num |
| 3× | frac-2neg associate-*r/ |
| 2× | fma-neg associate-*l/ un-div-inv |
| 1× | sub-neg associate-*r* div-inv |
| 4.0ms | (- (* x y) (* z t)) |
| 6.0ms | (* (- (* x y) (* z t)) (/ 1 a)) |
| 40.0ms | (- (* x y) (* z t)) |
| 46.0ms | (* (- (* x y) (* z t)) (/ 1 a)) |
Useful iterations: 3 (71.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 137 | 167 |
| 1 | 517 | 161 |
| 2 | 2446 | 161 |
| 3 | 5001 | 147 |
10 alts after pruning (9 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 28 | 3 | 31 |
| Fresh | 2 | 6 | 8 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 30 | 10 | 40 |
Merged error: 1.0b
Found 3 expressions with local error:
| 0.5b | (/ 1 (/ a (* t z))) |
| 5.0b | (/ a (* t z)) |
| 6.2b | (/ (* x y) a) |
| 5× | clear-num associate-/r* associate-/r/ |
| 4× | frac-2neg div-inv |
| 3× | *-commutative |
| 2× | associate-/l* |
| 1× | remove-double-div inv-pow |
| 4.0ms | (/ 1 (/ a (* t z))) |
| 3.0ms | (/ a (* t z)) |
| 3.0ms | (/ (* x y) a) |
| 21.0ms | (/ 1 (/ a (* t z))) |
| 22.0ms | (/ a (* t z)) |
| 19.0ms | (/ (* x y) a) |
Useful iterations: 2 (6.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 55 | 52 |
| 1 | 122 | 51 |
| 2 | 313 | 49 |
| 3 | 522 | 49 |
| 4 | 1375 | 49 |
| 5 | 3255 | 49 |
| 6 | 5001 | 49 |
11 alts after pruning (10 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 27 | 3 | 30 |
| Fresh | 1 | 7 | 8 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 29 | 11 | 40 |
Merged error: 1.0b
44.9% (4.1b remaining)
Error of 4.5b against oracle of 0.4b and baseline of 7.8b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 29 | 16 |
| 1 | 29 | 16 |
| 348.0ms | 11141× | body | 80 | valid |