Time bar (total: 5.5s)
| 13.0ms | 337× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 11 |
| 1 | 15 | 11 |
| 2 | 25 | 11 |
| 3 | 38 | 11 |
| 4 | 56 | 11 |
| 5 | 72 | 11 |
| 6 | 85 | 11 |
| 7 | 99 | 11 |
| 8 | 105 | 11 |
| 9 | 107 | 11 |
| done | 107 | 11 |
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: 5.4b
Found 3 expressions with local error:
| 0.0b | (/ t (- 1.0 z)) |
| 0.0b | (- (/ y z) (/ t (- 1.0 z))) |
| 5.1b | (* x (- (/ y z) (/ t (- 1.0 z)))) |
| 49× | add-sqr-sqrt |
| 45× | *-un-lft-identity |
| 31× | times-frac |
| 15× | add-cube-cbrt |
| 12× | distribute-lft-out-- difference-of-squares |
| 10× | associate-*r* |
| 7× | add-exp-log add-cbrt-cube |
| 5× | pow1 associate-/r* add-log-exp |
| 3× | sub-neg flip3-- associate-*r/ associate-*l* flip-- associate-/l* |
| 2× | distribute-rgt-in distribute-lft-in associate-/r/ frac-sub |
| 1× | cbrt-undiv frac-2neg diff-log div-exp pow-prod-down prod-exp clear-num *-commutative cbrt-unprod div-inv unswap-sqr |
| 6.0ms | (/ t (- 1.0 z)) |
| 19.0ms | (- (/ y z) (/ t (- 1.0 z))) |
| 24.0ms | (* x (- (/ y z) (/ t (- 1.0 z)))) |
| 6.0ms | (/ t (- 1.0 z)) |
| 10.0ms | (- (/ y z) (/ t (- 1.0 z))) |
| 22.0ms | (* x (- (/ y z) (/ t (- 1.0 z)))) |
Useful iterations: done (658.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 171 | 1300 |
| 1 | 397 | 1245 |
| 2 | 1065 | 1169 |
| 3 | 2606 | 1153 |
| done | 5000 | 1152 |
12 alts after pruning (12 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 86 | 12 | 98 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 87 | 12 | 99 |
Merged error: 0.0b
Found 4 expressions with local error:
| 0.0b | (/ t (- 1.0 z)) |
| 0.0b | (+ (/ (* x y) z) (* x (neg (/ t (- 1.0 z))))) |
| 3.3b | (/ (* x y) z) |
| 3.4b | (* x (neg (/ t (- 1.0 z)))) |
| 58× | add-sqr-sqrt |
| 56× | *-un-lft-identity |
| 48× | times-frac |
| 46× | associate-*r* |
| 36× | add-cube-cbrt |
| 21× | distribute-lft-neg-in distribute-rgt-neg-in |
| 13× | add-exp-log add-cbrt-cube |
| 10× | distribute-lft-out-- difference-of-squares |
| 8× | associate-/r* |
| 6× | pow1 associate-/r/ add-log-exp |
| 4× | div-inv associate-/l* |
| 3× | cbrt-undiv flip3-- div-exp associate-*l* distribute-rgt-neg-out flip-- |
| 2× | frac-2neg associate-*r/ prod-exp clear-num cbrt-unprod distribute-neg-frac |
| 1× | +-commutative neg-mul-1 flip3-+ unsub-neg pow-prod-down frac-add sum-log *-commutative flip-+ unswap-sqr |
| 6.0ms | (/ t (- 1.0 z)) |
| 6.0ms | (+ (/ (* x y) z) (* x (neg (/ t (- 1.0 z))))) |
| 5.0ms | (/ (* x y) z) |
| 16.0ms | (* x (neg (/ t (- 1.0 z)))) |
| 6.0ms | (/ t (- 1.0 z)) |
| 20.0ms | (+ (/ (* x y) z) (* x (neg (/ t (- 1.0 z))))) |
| 5.0ms | (/ (* x y) z) |
| 13.0ms | (* x (neg (/ t (- 1.0 z)))) |
Useful iterations: done (520.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 254 | 1673 |
| 1 | 637 | 1542 |
| 2 | 2169 | 1445 |
| done | 5000 | 1442 |
11 alts after pruning (11 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 143 | 4 | 147 |
| Fresh | 4 | 7 | 11 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 148 | 11 | 159 |
Merged error: 0.0b
Found 4 expressions with local error:
| 0.0b | (+ (* (* x y) (/ 1 z)) (* x (neg (/ t (- 1.0 z))))) |
| 0.0b | (/ t (- 1.0 z)) |
| 3.4b | (* x (neg (/ t (- 1.0 z)))) |
| 3.4b | (* (* x y) (/ 1 z)) |
| 63× | add-sqr-sqrt |
| 61× | *-un-lft-identity |
| 59× | associate-*r* |
| 54× | times-frac |
| 41× | add-cube-cbrt |
| 30× | add-exp-log |
| 21× | distribute-lft-neg-in distribute-rgt-neg-in |
| 20× | add-cbrt-cube |
| 13× | prod-exp |
| 11× | pow1 |
| 10× | distribute-lft-out-- difference-of-squares |
| 7× | cbrt-unprod |
| 6× | associate-/r/ add-log-exp |
| 5× | associate-*r/ div-exp associate-/r* |
| 4× | associate-*l* pow-prod-down div-inv |
| 3× | cbrt-undiv flip3-- distribute-rgt-neg-out flip-- distribute-neg-frac associate-/l* |
| 2× | rec-exp 1-exp frac-add un-div-inv *-commutative |
| 1× | +-commutative neg-mul-1 frac-2neg flip3-+ unsub-neg clear-num sum-log flip-+ unswap-sqr |
| 8.0ms | (+ (* (* x y) (/ 1 z)) (* x (neg (/ t (- 1.0 z))))) |
| 6.0ms | (/ t (- 1.0 z)) |
| 19.0ms | (* x (neg (/ t (- 1.0 z)))) |
| 9.0ms | (* (* x y) (/ 1 z)) |
| 20.0ms | (+ (* (* x y) (/ 1 z)) (* x (neg (/ t (- 1.0 z))))) |
| 6.0ms | (/ t (- 1.0 z)) |
| 12.0ms | (* x (neg (/ t (- 1.0 z)))) |
| 6.0ms | (* (* x y) (/ 1 z)) |
Useful iterations: done (629.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 290 | 1955 |
| 1 | 778 | 1706 |
| 2 | 2805 | 1539 |
| done | 5001 | 1525 |
12 alts after pruning (11 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 164 | 1 | 165 |
| Fresh | 0 | 10 | 10 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 164 | 12 | 176 |
Merged error: 0.0b
Found 4 expressions with local error:
| 0.6b | (cbrt (/ 1 z)) |
| 0.6b | (cbrt (/ 1 z)) |
| 3.2b | (* (* x y) (* (cbrt (/ 1 z)) (cbrt (/ 1 z)))) |
| 3.4b | (* x (neg (/ t (- 1.0 z)))) |
| 52× | add-sqr-sqrt |
| 50× | *-un-lft-identity |
| 48× | times-frac |
| 47× | associate-*r* |
| 38× | add-cube-cbrt |
| 26× | cbrt-prod |
| 21× | distribute-lft-neg-in distribute-rgt-neg-in |
| 18× | pow1 add-exp-log |
| 14× | add-cbrt-cube |
| 9× | pow-prod-down prod-exp cbrt-unprod |
| 6× | cbrt-div distribute-lft-out-- difference-of-squares |
| 5× | associate-*r/ |
| 4× | associate-*l* associate-/r/ div-inv add-log-exp |
| 2× | flip3-- pow1/3 *-commutative flip-- |
| 1× | frac-times neg-mul-1 associate-*l/ distribute-rgt-neg-out distribute-neg-frac unswap-sqr |
| 3.0ms | (cbrt (/ 1 z)) |
| 3.0ms | (cbrt (/ 1 z)) |
| 14.0ms | (* (* x y) (* (cbrt (/ 1 z)) (cbrt (/ 1 z)))) |
| 15.0ms | (* x (neg (/ t (- 1.0 z)))) |
| 24.0ms | (cbrt (/ 1 z)) |
| 24.0ms | (cbrt (/ 1 z)) |
| 26.0ms | (* (* x y) (* (cbrt (/ 1 z)) (cbrt (/ 1 z)))) |
| 12.0ms | (* x (neg (/ t (- 1.0 z)))) |
Useful iterations: done (492.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 264 | 1659 |
| 1 | 640 | 1508 |
| 2 | 2004 | 1322 |
| done | 5000 | 1318 |
12 alts after pruning (11 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 143 | 1 | 144 |
| Fresh | 0 | 10 | 10 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 144 | 12 | 156 |
Merged error: 0.0b
90.4% (0.5b remaining)
Error of 0.6b against oracle of 0.0b and baseline of 5.7b
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 37 | 128 |
| 1 | 52 | 128 |
| 2 | 59 | 128 |
| 3 | 61 | 128 |
| done | 61 | 128 |
| 399.0ms | 10092× | body | 80 | valid |
Loading profile data...