Time bar (total: 2.0s)
| 9.0ms | 337× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 16 | 4 |
| 1 | 33 | 4 |
| 2 | 45 | 4 |
| 3 | 63 | 4 |
| 4 | 69 | 4 |
| 5 | 69 | 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) |
| 2× | flip3-- 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) |
| 38.0ms | (- (* x y) (* z t)) |
| 51.0ms | (/ (- (* x y) (* z t)) a) |
Useful iterations: 3 (32.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 103 | 67 |
| 1 | 289 | 67 |
| 2 | 836 | 67 |
| 3 | 2064 | 66 |
| 4 | 5001 | 66 |
6 alts after pruning (6 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 10 | 6 | 16 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 11 | 6 | 17 |
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) |
| 22.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 | 1 | 4 | 5 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 13 | 9 | 22 |
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 |
| 5× | flip3-- flip-- |
| 4× | clear-num |
| 3× | frac-2neg associate-*r/ |
| 2× | associate-*l/ un-div-inv |
| 1× | sub-neg associate-*r* *-commutative div-inv |
| 4.0ms | (- (* x y) (* z t)) |
| 6.0ms | (* (- (* x y) (* z t)) (/ 1 a)) |
| 40.0ms | (- (* x y) (* z t)) |
| 47.0ms | (* (- (* x y) (* z t)) (/ 1 a)) |
Useful iterations: 3 (78.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 121 | 148 |
| 1 | 490 | 148 |
| 2 | 2263 | 148 |
| 3 | 5001 | 147 |
10 alts after pruning (9 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 21 | 4 | 25 |
| Fresh | 3 | 5 | 8 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 24 | 10 | 34 |
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 |
| 3.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 | 1374 | 49 |
| 5 | 3240 | 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 |
| 322.0ms | 11141× | body | 80 | valid |