Time bar (total: 1.7s)
| 8.0ms | 271× | body | 80 | valid |
Useful iterations: 1 (3.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 21 | 5 |
| 1 | 40 | 4 |
| 2 | 69 | 4 |
| 3 | 104 | 4 |
| 4 | 146 | 4 |
| 5 | 160 | 4 |
| 6 | 160 | 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: 4.3b
Found 2 expressions with local error:
| 2.8b | (/ (/ 1.0 x) (* y (+ 1.0 (* z z)))) |
| 4.7b | (* y (+ 1.0 (* z z))) |
| 4× | associate-*r/ div-inv |
| 3× | *-commutative associate-/l/ |
| 2× | +-commutative distribute-rgt-in frac-2neg distribute-lft-in flip3-+ times-frac clear-num associate-/r* associate-/r/ flip-+ |
| 1× | associate-/l* |
| 5.0ms | (/ (/ 1.0 x) (* y (+ 1.0 (* z z)))) |
| 4.0ms | (* y (+ 1.0 (* z z))) |
| 54.0ms | (/ (/ 1.0 x) (* y (+ 1.0 (* z z)))) |
| 57.0ms | (* y (+ 1.0 (* z z))) |
Useful iterations: 3 (47.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 150 | 110 |
| 1 | 491 | 99 |
| 2 | 2066 | 94 |
| 3 | 5001 | 93 |
6 alts after pruning (6 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 20 | 6 | 26 |
| Fresh | 1 | 0 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 22 | 6 | 28 |
Merged error: 4.1b
Found 2 expressions with local error:
| 0.2b | (/ (/ 1.0 y) x) |
| 4.9b | (/ (/ (/ 1.0 y) x) (+ 1.0 (* z z))) |
| 13× | associate-/l/ |
| 5× | frac-2neg clear-num div-inv |
| 3× | associate-/l* |
| 2× | associate-/r/ |
| 1× | flip3-+ flip-+ |
| 3.0ms | (/ (/ 1.0 y) x) |
| 6.0ms | (/ (/ (/ 1.0 y) x) (+ 1.0 (* z z))) |
| 20.0ms | (/ (/ 1.0 y) x) |
| 54.0ms | (/ (/ (/ 1.0 y) x) (+ 1.0 (* z z))) |
Useful iterations: 2 (13.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 132 | 98 |
| 1 | 442 | 86 |
| 2 | 2182 | 84 |
| 3 | 5001 | 84 |
5 alts after pruning (5 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 23 | 3 | 26 |
| Fresh | 3 | 2 | 5 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 27 | 5 | 32 |
Merged error: 4.1b
Found 2 expressions with local error:
| 0.4b | (/ 1 (* x (/ y 1.0))) |
| 4.9b | (/ (/ 1 (* x (/ y 1.0))) (+ 1.0 (* z z))) |
| 10× | associate-/r/ |
| 7× | clear-num |
| 6× | associate-*r/ associate-/r* associate-/l/ |
| 5× | frac-2neg div-inv associate-/l* |
| 2× | associate-*r* un-div-inv *-commutative |
| 1× | flip3-+ flip-+ inv-pow |
| 7.0ms | (/ 1 (* x (/ y 1.0))) |
| 12.0ms | (/ (/ 1 (* x (/ y 1.0))) (+ 1.0 (* z z))) |
| 23.0ms | (/ 1 (* x (/ y 1.0))) |
| 78.0ms | (/ (/ 1 (* x (/ y 1.0))) (+ 1.0 (* z z))) |
Useful iterations: 2 (19.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 141 | 123 |
| 1 | 616 | 108 |
| 2 | 4016 | 102 |
| 3 | 5002 | 102 |
5 alts after pruning (4 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 31 | 2 | 33 |
| Fresh | 2 | 2 | 4 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 33 | 5 | 38 |
Merged error: 4.1b
Found 2 expressions with local error:
| 0.2b | (/ (/ 1 x) (/ y 1.0)) |
| 4.9b | (/ (/ (/ 1 x) (/ y 1.0)) (+ 1.0 (* z z))) |
| 14× | associate-/l/ |
| 11× | div-inv |
| 8× | associate-/r/ |
| 7× | frac-2neg clear-num associate-/l* |
| 2× | times-frac associate-/r* |
| 1× | flip3-+ flip-+ |
| 4.0ms | (/ (/ 1 x) (/ y 1.0)) |
| 7.0ms | (/ (/ (/ 1 x) (/ y 1.0)) (+ 1.0 (* z z))) |
| 30.0ms | (/ (/ 1 x) (/ y 1.0)) |
| 56.0ms | (/ (/ (/ 1 x) (/ y 1.0)) (+ 1.0 (* z z))) |
Useful iterations: 2 (22.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 168 | 147 |
| 1 | 675 | 121 |
| 2 | 3865 | 117 |
| 3 | 5001 | 117 |
5 alts after pruning (3 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 35 | 1 | 36 |
| Fresh | 1 | 2 | 3 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 36 | 5 | 41 |
Merged error: 4.1b
0% (1.6b remaining)
Error of 6.5b against oracle of 4.9b and baseline of 6.5b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 6 |
| 1 | 14 | 6 |
| 256.0ms | 8610× | body | 80 | valid |