Time bar (total: 5.7s)
| 29.0ms | 46× | body | 1280 | valid |
| 15.0ms | 49× | body | 640 | valid |
| 8.0ms | 120× | body | 80 | valid |
| 6.0ms | 31× | body | 320 | valid |
| 6.0ms | 64× | body | 80 | nan |
| 2.0ms | 49× | body | 80 | overflowed |
| 2.0ms | 5× | body | 1280 | nan |
| 1.0ms | 10× | body | 160 | valid |
| 1.0ms | 6× | body | 640 | nan |
| 0.0ms | 3× | body | 320 | nan |
| 0.0ms | 4× | body | 160 | nan |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 20 | 7 |
| 1 | 33 | 7 |
| 2 | 49 | 7 |
| 3 | 71 | 7 |
| 4 | 93 | 7 |
| 5 | 180 | 7 |
| 6 | 232 | 7 |
| 7 | 411 | 7 |
| 8 | 628 | 7 |
| 9 | 935 | 7 |
| 10 | 1028 | 7 |
| 11 | 1354 | 7 |
| 12 | 3968 | 7 |
| 13 | 5002 | 7 |
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: 22.3b
Found 4 expressions with local error:
| 0.0b | (* y (exp z)) |
| 0.0b | (/ (log (+ (- 1.0 y) (* y (exp z)))) t) |
| 1.1b | (+ (- 1.0 y) (* y (exp z))) |
| 2.4b | (log (+ (- 1.0 y) (* y (exp z)))) |
| 18× | add-sqr-sqrt |
| 16× | add-cube-cbrt *-un-lft-identity |
| 12× | times-frac |
| 11× | pow1 |
| 9× | add-log-exp |
| 8× | add-exp-log add-cbrt-cube |
| 5× | log-pow |
| 4× | log-div associate-/l* |
| 3× | log-prod flip3-+ associate-*r* associate-*l* associate-/r* flip-+ |
| 2× | associate-+l+ div-sub sum-log |
| 1× | cbrt-undiv +-commutative associate-+l- sub-neg frac-2neg diff-log div-exp rem-log-exp pow-prod-down prod-exp clear-num *-commutative cbrt-unprod div-inv unswap-sqr |
| 4.0ms | (* y (exp z)) |
| 7.0ms | (/ (log (+ (- 1.0 y) (* y (exp z)))) t) |
| 6.0ms | (+ (- 1.0 y) (* y (exp z))) |
| 5.0ms | (log (+ (- 1.0 y) (* y (exp z)))) |
| 5.0ms | (* y (exp z)) |
| 37.0ms | (/ (log (+ (- 1.0 y) (* y (exp z)))) t) |
| 6.0ms | (+ (- 1.0 y) (* y (exp z))) |
| 16.0ms | (log (+ (- 1.0 y) (* y (exp z)))) |
Useful iterations: 2 (39.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 452 | 795 |
| 1 | 1740 | 733 |
| 2 | 5002 | 726 |
5 alts after pruning (5 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 87 | 5 | 92 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 88 | 5 | 93 |
Merged error: 3.8b
Found 4 expressions with local error:
| 0.0b | (* (- (exp z) 1) y) |
| 0.0b | (/ (log (+ 1.0 (* (- (exp z) 1) y))) t) |
| 2.2b | (log (+ 1.0 (* (- (exp z) 1) y))) |
| 3.1b | (- (exp z) 1) |
| 26× | add-sqr-sqrt |
| 22× | *-un-lft-identity |
| 16× | add-cube-cbrt |
| 12× | times-frac |
| 11× | pow1 |
| 9× | add-exp-log |
| 8× | add-cbrt-cube |
| 7× | associate-*l* |
| 6× | add-log-exp |
| 5× | log-pow |
| 4× | log-div associate-/l* difference-of-squares |
| 3× | log-prod associate-*r* associate-/r* |
| 2× | flip3-- flip3-+ difference-of-sqr-1 div-sub associate-*l/ flip-- flip-+ distribute-lft-out-- |
| 1× | cbrt-undiv sub-neg frac-2neg diff-log div-exp rem-log-exp pow-prod-down prod-exp clear-num *-commutative cbrt-unprod div-inv unswap-sqr |
| 9.0ms | (* (- (exp z) 1) y) |
| 5.0ms | (/ (log (+ 1.0 (* (- (exp z) 1) y))) t) |
| 2.0ms | (log (+ 1.0 (* (- (exp z) 1) y))) |
| 4.0ms | (- (exp z) 1) |
| 7.0ms | (* (- (exp z) 1) y) |
| 29.0ms | (/ (log (+ 1.0 (* (- (exp z) 1) y))) t) |
| 12.0ms | (log (+ 1.0 (* (- (exp z) 1) y))) |
| 2.0ms | (- (exp z) 1) |
Useful iterations: 2 (43.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 446 | 788 |
| 1 | 1782 | 732 |
| 2 | 5001 | 724 |
5 alts after pruning (5 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 97 | 2 | 99 |
| Fresh | 1 | 3 | 4 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 99 | 5 | 104 |
Merged error: 3.7b
Found 4 expressions with local error:
| 3.4b | (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) |
| 5.3b | (/ (* z y) t) |
| 7.4b | (* (pow z 2) y) |
| 7.9b | (/ (* (pow z 2) y) t) |
| 24× | add-exp-log |
| 17× | add-sqr-sqrt |
| 16× | add-cbrt-cube |
| 11× | add-cube-cbrt *-un-lft-identity |
| 9× | add-log-exp |
| 8× | associate-*l* |
| 7× | prod-exp |
| 6× | times-frac div-exp associate-/r* |
| 4× | pow1 cbrt-undiv unpow-prod-down associate-*r/ frac-add unswap-sqr |
| 3× | associate-*r* sum-log cbrt-unprod |
| 2× | pow-to-exp frac-2neg flip3-+ pow-exp clear-num flip-+ div-inv associate-/l* unpow2 sqr-pow |
| 1× | +-commutative associate-+r+ *-commutative |
| 12.0ms | (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) |
| 4.0ms | (/ (* z y) t) |
| 5.0ms | (* (pow z 2) y) |
| 6.0ms | (/ (* (pow z 2) y) t) |
| 17.0ms | (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) |
| 7.0ms | (/ (* z y) t) |
| 4.0ms | (* (pow z 2) y) |
| 6.0ms | (/ (* (pow z 2) y) t) |
Useful iterations: 1 (14.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 493 | 659 |
| 1 | 2291 | 586 |
| 2 | 5001 | 586 |
7 alts after pruning (7 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 96 | 3 | 99 |
| Fresh | 0 | 4 | 4 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 97 | 7 | 104 |
Merged error: 2.9b
Found 4 expressions with local error:
| 7.9b | (/ (* (pow z 2) y) t) |
| 20.7b | (cbrt (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))) |
| 20.7b | (cbrt (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))) |
| 20.7b | (cbrt (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))) |
| 15× | cbrt-div |
| 14× | add-exp-log |
| 12× | associate-*r/ frac-add |
| 9× | cbrt-prod add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-cbrt-cube |
| 6× | flip3-+ flip-+ |
| 4× | pow1 div-exp add-log-exp |
| 3× | times-frac pow1/3 prod-exp associate-/r* |
| 2× | cbrt-undiv |
| 1× | pow-to-exp frac-2neg pow-exp clear-num cbrt-unprod div-inv associate-/l* |
| 6.0ms | (/ (* (pow z 2) y) t) |
| 11.0ms | (cbrt (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))) |
| 13.0ms | (cbrt (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))) |
| 11.0ms | (cbrt (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))) |
| 5.0ms | (/ (* (pow z 2) y) t) |
| 48.0ms | (cbrt (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))) |
| 51.0ms | (cbrt (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))) |
| 48.0ms | (cbrt (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))) |
Useful iterations: 2 (43.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 492 | 1720 |
| 1 | 1975 | 1589 |
| 2 | 5001 | 1583 |
7 alts after pruning (7 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 82 | 1 | 83 |
| Fresh | 0 | 6 | 6 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 83 | 7 | 90 |
Merged error: 2.9b
73.4% (5.0b remaining)
Error of 8.7b against oracle of 3.7b and baseline of 22.7b
| Iters | Range | Point | |
|---|---|---|---|
| 10 | 3.943439841995633e-118 | 8.453347122454211e-104 | 5.414319638550461e-116 |
| 6 | -2.695490855295275e-13 | -2.316271773442873e-14 | -9.738790580666473e-14 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 63 | 32 |
| 1 | 63 | 32 |
| 853.0ms | 1472× | body | 1280 | valid |
| 505.0ms | 1512× | body | 640 | valid |
| 248.0ms | 3602× | body | 80 | valid |
| 195.0ms | 920× | body | 320 | valid |
| 119.0ms | 2518× | body | 80 | nan |
| 108.0ms | 77× | body | 2560 | valid |
| 81.0ms | 1515× | body | 80 | overflowed |
| 68.0ms | 289× | body | 640 | nan |
| 59.0ms | 454× | body | 160 | valid |
| 38.0ms | 107× | body | 1280 | nan |
| 30.0ms | 187× | body | 320 | nan |
| 11.0ms | 110× | body | 160 | nan |
Loading profile data...