Time bar (total: 16.5s)
| 38.0ms | 809× | body | 80 | nan |
| 9.0ms | 183× | body | 80 | valid |
| 8.0ms | 13× | body | 1280 | valid |
| 5.0ms | 18× | body | 640 | valid |
| 4.0ms | 21× | body | 320 | valid |
| 2.0ms | 23× | body | 160 | valid |
Useful iterations: 1 (3.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 13 |
| 1 | 22 | 12 |
| 2 | 37 | 12 |
| 3 | 47 | 12 |
| 4 | 55 | 12 |
| 5 | 72 | 12 |
| 6 | 103 | 12 |
| 7 | 151 | 12 |
| 8 | 191 | 12 |
| 9 | 214 | 12 |
| 10 | 235 | 12 |
| 11 | 237 | 12 |
| done | 237 | 12 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 7.7b
Found 3 expressions with local error:
| 0.0b | (* z (log (- 1.0 y))) |
| 0.3b | (* x (log y)) |
| 5.7b | (log (- 1.0 y)) |
| 22× | add-sqr-sqrt |
| 21× | log-prod |
| 18× | *-un-lft-identity |
| 12× | add-cube-cbrt |
| 10× | pow1 |
| 8× | add-exp-log distribute-rgt-in distribute-lft-in associate-*r* |
| 7× | add-cbrt-cube |
| 6× | associate-*l* |
| 3× | expm1-log1p-u log-pow log1p-expm1-u distribute-lft-out-- add-log-exp difference-of-squares |
| 2× | log-div pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr |
| 1× | flip3-- rem-log-exp flip-- |
| 7.0ms | (* z (log (- 1.0 y))) |
| 4.0ms | (* x (log y)) |
| 6.0ms | (log (- 1.0 y)) |
| 71.0ms | (* z (log (- 1.0 y))) |
| 49.0ms | (* x (log y)) |
| 49.0ms | (log (- 1.0 y)) |
Useful iterations: done (1.1s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 174 | 800 |
| 1 | 354 | 763 |
| 2 | 836 | 682 |
| 3 | 2016 | 669 |
| done | 5001 | 667 |
9 alts after pruning (9 fresh and 0 done)
Merged error: 0.2b
Found 4 expressions with local error:
| 0.0b | (- (+ (* x (log y)) (* z (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) t) |
| 0.0b | (+ (* x (log y)) (* z (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) |
| 0.0b | (* z (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) |
| 0.3b | (* x (log y)) |
| 59× | add-sqr-sqrt |
| 57× | prod-diff |
| 56× | *-un-lft-identity |
| 51× | add-cube-cbrt |
| 40× | distribute-rgt-in distribute-lft-in |
| 34× | associate-+r+ |
| 24× | log-prod |
| 22× | pow1 |
| 14× | log-pow |
| 13× | associate--l+ |
| 11× | add-log-exp |
| 10× | associate-*r* |
| 8× | add-exp-log add-cbrt-cube |
| 6× | associate-+l+ associate-*l* |
| 5× | sub-neg |
| 4× | expm1-log1p-u log1p-expm1-u |
| 3× | fma-neg distribute-lft-out-- |
| 2× | flip3-- diff-log associate-*r/ pow-prod-down prod-exp sum-log *-commutative flip-- cbrt-unprod difference-of-squares unswap-sqr |
| 1× | +-commutative fma-def flip3-+ flip-+ |
| 24.0ms | (- (+ (* x (log y)) (* z (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) t) |
| 9.0ms | (+ (* x (log y)) (* z (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) |
| 15.0ms | (* z (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) |
| 4.0ms | (* x (log y)) |
| 202.0ms | (- (+ (* x (log y)) (* z (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) t) |
| 143.0ms | (+ (* x (log y)) (* z (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) |
| 112.0ms | (* z (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) |
| 42.0ms | (* x (log y)) |
Useful iterations: done (808.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 296 | 6298 |
| 1 | 599 | 4630 |
| 2 | 1488 | 3922 |
| done | 5000 | 3838 |
9 alts after pruning (9 fresh and 0 done)
Merged error: 0.1b
Found 4 expressions with local error:
| 0.5b | (* (cbrt y) (cbrt y)) |
| 0.6b | (cbrt y) |
| 0.6b | (cbrt y) |
| 0.6b | (cbrt y) |
| 25× | cbrt-prod |
| 23× | add-sqr-sqrt |
| 15× | add-cube-cbrt *-un-lft-identity |
| 11× | pow1 |
| 9× | pow1/3 |
| 6× | add-exp-log swap-sqr associate-*r* associate-*l* |
| 4× | expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp unswap-sqr |
| 2× | pow-prod-down pow-sqr pow-prod-up |
| 1× | pow2 pow-plus prod-exp *-commutative cbrt-unprod |
| 6.0ms | (* (cbrt y) (cbrt y)) |
| 0.0ms | (cbrt y) |
| 0.0ms | (cbrt y) |
| 1.0ms | (cbrt y) |
| 226.0ms | (* (cbrt y) (cbrt y)) |
| 198.0ms | (cbrt y) |
| 201.0ms | (cbrt y) |
| 196.0ms | (cbrt y) |
Useful iterations: 4 (2.2s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 65 | 554 |
| 1 | 119 | 495 |
| 2 | 322 | 423 |
| 3 | 1163 | 405 |
| 4 | 3785 | 400 |
| done | 5000 | 400 |
9 alts after pruning (8 fresh and 1 done)
Merged error: 0.1b
Found 4 expressions with local error:
| 0.0b | (+ (* x (log y)) (* (* z (+ (sqrt (log 1.0)) (sqrt (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (- (sqrt (log 1.0)) (sqrt (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) |
| 0.2b | (* z (+ (sqrt (log 1.0)) (sqrt (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) |
| 0.3b | (* x (log y)) |
| 0.3b | (* (* z (+ (sqrt (log 1.0)) (sqrt (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (- (sqrt (log 1.0)) (sqrt (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) |
| 192× | sqrt-prod |
| 168× | prod-diff |
| 129× | add-sqr-sqrt |
| 127× | *-un-lft-identity |
| 117× | add-cube-cbrt |
| 95× | distribute-rgt-in distribute-lft-in |
| 88× | associate-+r+ |
| 40× | pow1 |
| 27× | log-pow |
| 20× | associate-*r* |
| 13× | add-exp-log add-cbrt-cube |
| 12× | log-prod |
| 10× | associate-*r/ |
| 7× | associate-*l* |
| 6× | associate-+l+ add-log-exp |
| 5× | flip3-+ pow-prod-down prod-exp cbrt-unprod flip-+ |
| 4× | expm1-log1p-u frac-times sub-neg log1p-expm1-u difference-of-squares |
| 3× | flip3-- *-commutative flip-- distribute-lft-out distribute-lft-out-- |
| 2× | associate-*l/ unswap-sqr |
| 1× | +-commutative fma-def sum-log |
| 21.0ms | (+ (* x (log y)) (* (* z (+ (sqrt (log 1.0)) (sqrt (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (- (sqrt (log 1.0)) (sqrt (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) |
| 24.0ms | (* z (+ (sqrt (log 1.0)) (sqrt (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) |
| 4.0ms | (* x (log y)) |
| 57.0ms | (* (* z (+ (sqrt (log 1.0)) (sqrt (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (- (sqrt (log 1.0)) (sqrt (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) |
| 139.0ms | (+ (* x (log y)) (* (* z (+ (sqrt (log 1.0)) (sqrt (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (- (sqrt (log 1.0)) (sqrt (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) |
| 201.0ms | (* z (+ (sqrt (log 1.0)) (sqrt (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) |
| 45.0ms | (* x (log y)) |
| 497.0ms | (* (* z (+ (sqrt (log 1.0)) (sqrt (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (- (sqrt (log 1.0)) (sqrt (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) |
Useful iterations: 2 (941.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 412 | 21483 |
| 1 | 1078 | 15774 |
| 2 | 3840 | 11648 |
| done | 5001 | 11648 |
9 alts after pruning (7 fresh and 2 done)
Merged error: 0.1b
0% (0.3b remaining)
Error of 0.4b against oracle of 0.1b and baseline of 0.4b
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 23 | 33 |
| 1 | 27 | 33 |
| done | 27 | 33 |
| 1.1s | 24450× | body | 80 | nan |
| 287.0ms | 5594× | body | 80 | valid |
| 263.0ms | 891× | body | 640 | valid |
| 241.0ms | 412× | body | 1280 | valid |
| 119.0ms | 686× | body | 320 | valid |
| 46.0ms | 436× | body | 160 | valid |