Time bar (total: 7.0s)
| 11.0ms | 348× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 9 |
| 1 | 20 | 9 |
| 2 | 40 | 9 |
| 3 | 54 | 9 |
| 4 | 75 | 9 |
| 5 | 107 | 9 |
| 6 | 171 | 9 |
| 7 | 283 | 9 |
| 8 | 485 | 9 |
| 9 | 722 | 9 |
| 10 | 853 | 9 |
| 11 | 976 | 9 |
| 12 | 1063 | 9 |
| 13 | 1203 | 9 |
| 14 | 1275 | 9 |
| 15 | 1367 | 9 |
| 16 | 1495 | 9 |
| 17 | 1567 | 9 |
| 18 | 1659 | 9 |
| 19 | 1787 | 9 |
| 20 | 1859 | 9 |
| 21 | 1951 | 9 |
| 22 | 2082 | 9 |
| 23 | 2154 | 9 |
| 24 | 2246 | 9 |
| 25 | 2377 | 9 |
| 26 | 2449 | 9 |
| 27 | 2541 | 9 |
| 28 | 2669 | 9 |
| 29 | 2749 | 9 |
| 30 | 2844 | 9 |
| 31 | 2975 | 9 |
| 32 | 3055 | 9 |
| 33 | 3147 | 9 |
| 34 | 3278 | 9 |
| 35 | 3358 | 9 |
| 36 | 3450 | 9 |
| 37 | 3581 | 9 |
| 38 | 3661 | 9 |
| 39 | 3755 | 9 |
| 40 | 3886 | 9 |
| 41 | 3966 | 9 |
| 42 | 4060 | 9 |
| 43 | 4188 | 9 |
| 44 | 4268 | 9 |
| 45 | 4363 | 9 |
| 46 | 4491 | 9 |
| 47 | 4571 | 9 |
| 48 | 4666 | 9 |
| 49 | 4796 | 9 |
| 50 | 4876 | 9 |
| 51 | 4970 | 9 |
| done | 5001 | 9 |
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: 0.5b
Found 1 expressions with local error:
| 0.5b | (/ (- (+ x y) z) (* t 2.0)) |
| 13× | *-un-lft-identity |
| 7× | add-sqr-sqrt |
| 6× | add-exp-log times-frac add-cbrt-cube associate-/l* |
| 4× | distribute-lft-out-- |
| 3× | add-cube-cbrt |
| 2× | cbrt-undiv div-exp associate-/l/ distribute-lft-out difference-of-squares |
| 1× | pow1 flip3-- frac-2neg div-sub prod-exp clear-num associate-/r* flip-- cbrt-unprod div-inv add-log-exp |
| 10.0ms | (/ (- (+ x y) z) (* t 2.0)) |
| 12.0ms | (/ (- (+ x y) z) (* t 2.0)) |
Useful iterations: done (735.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 78 | 418 |
| 1 | 203 | 411 |
| 2 | 692 | 355 |
| 3 | 2762 | 353 |
| done | 5000 | 352 |
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 30 | 3 | 33 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 31 | 3 | 34 |
Merged error: 0.0b
Found 1 expressions with local error:
| 0.0b | (/ (- (+ x y) z) t) |
| 32× | *-un-lft-identity |
| 20× | add-sqr-sqrt |
| 18× | times-frac |
| 12× | add-cube-cbrt |
| 8× | distribute-lft-out-- |
| 6× | associate-/l* |
| 4× | distribute-lft-out difference-of-squares |
| 3× | add-exp-log associate-/r* add-cbrt-cube |
| 2× | associate-/l/ |
| 1× | pow1 cbrt-undiv flip3-- frac-2neg div-sub div-exp clear-num flip-- div-inv add-log-exp |
| 9.0ms | (/ (- (+ x y) z) t) |
| 9.0ms | (/ (- (+ x y) z) t) |
Useful iterations: done (474.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 79 | 552 |
| 1 | 176 | 535 |
| 2 | 458 | 507 |
| 3 | 1506 | 505 |
| done | 5001 | 504 |
3 alts after pruning (2 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 44 | 1 | 45 |
| Fresh | 1 | 1 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 45 | 3 | 48 |
Merged error: 0b
Found 2 expressions with local error:
| 0.4b | (/ 1 (/ (* t 2.0) (- (+ x y) z))) |
| 0.5b | (/ (* t 2.0) (- (+ x y) z)) |
| 66× | times-frac |
| 55× | *-un-lft-identity |
| 37× | add-sqr-sqrt |
| 28× | add-exp-log |
| 25× | add-cube-cbrt |
| 18× | associate-/r* |
| 16× | add-cbrt-cube |
| 14× | div-exp |
| 12× | distribute-lft-out-- |
| 11× | associate-/r/ |
| 7× | cbrt-undiv |
| 6× | div-inv distribute-lft-out difference-of-squares |
| 5× | flip3-- flip-- |
| 4× | prod-exp associate-/l* |
| 3× | pow1 rec-exp 1-exp |
| 2× | frac-2neg clear-num cbrt-unprod add-log-exp |
| 1× | pow-flip inv-pow |
| 12.0ms | (/ 1 (/ (* t 2.0) (- (+ x y) z))) |
| 9.0ms | (/ (* t 2.0) (- (+ x y) z)) |
| 13.0ms | (/ 1 (/ (* t 2.0) (- (+ x y) z))) |
| 17.0ms | (/ (* t 2.0) (- (+ x y) z)) |
Useful iterations: done (406.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 172 | 1834 |
| 1 | 432 | 1670 |
| 2 | 1589 | 1444 |
| done | 5000 | 1436 |
3 alts after pruning (1 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 111 | 0 | 111 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 111 | 3 | 114 |
Merged error: 0b
Found 4 expressions with local error:
| 0.6b | (* (cbrt (/ (- (+ x y) z) t)) (cbrt (/ (- (+ x y) z) t))) |
| 2.0b | (cbrt (/ (- (+ x y) z) t)) |
| 2.0b | (cbrt (/ (- (+ x y) z) t)) |
| 2.0b | (cbrt (/ (- (+ x y) z) t)) |
| 267× | *-un-lft-identity |
| 202× | cbrt-prod |
| 168× | times-frac |
| 156× | add-sqr-sqrt |
| 90× | add-cube-cbrt |
| 66× | distribute-lft-out-- |
| 43× | swap-sqr |
| 33× | distribute-lft-out |
| 25× | associate-*r* associate-*l* |
| 21× | difference-of-squares |
| 11× | pow1 |
| 9× | pow1/3 unswap-sqr |
| 7× | cbrt-div div-inv |
| 6× | add-exp-log |
| 4× | add-cbrt-cube add-log-exp |
| 2× | pow-prod-down pow-sqr pow-prod-up |
| 1× | pow2 frac-times pow-plus associate-*r/ associate-*l/ prod-exp *-commutative cbrt-unprod |
| 29.0ms | (* (cbrt (/ (- (+ x y) z) t)) (cbrt (/ (- (+ x y) z) t))) |
| 7.0ms | (cbrt (/ (- (+ x y) z) t)) |
| 7.0ms | (cbrt (/ (- (+ x y) z) t)) |
| 10.0ms | (cbrt (/ (- (+ x y) z) t)) |
| 88.0ms | (* (cbrt (/ (- (+ x y) z) t)) (cbrt (/ (- (+ x y) z) t))) |
| 57.0ms | (cbrt (/ (- (+ x y) z) t)) |
| 55.0ms | (cbrt (/ (- (+ x y) z) t)) |
| 60.0ms | (cbrt (/ (- (+ x y) z) t)) |
Useful iterations: 3 (353.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 231 | 4935 |
| 1 | 432 | 4685 |
| 2 | 1303 | 4499 |
| 3 | 3792 | 4247 |
| done | 5001 | 4247 |
3 alts after pruning (0 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 228 | 0 | 228 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 228 | 3 | 231 |
Merged error: 0b
0% (0.0b remaining)
Error of 0.1b against oracle of 0.0b and baseline of 0.1b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 9 |
| 1 | 10 | 9 |
| done | 10 | 9 |
| 371.0ms | 10910× | body | 80 | valid |
Loading profile data...