Time bar (total: 1.5s)
| 6.0ms | 328× | body | 80 | valid |
Useful iterations: 2 (5.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 4 |
| 1 | 45 | 4 |
| 2 | 82 | 3 |
| 3 | 127 | 3 |
| 4 | 168 | 3 |
| 5 | 224 | 3 |
| 6 | 359 | 3 |
| 7 | 666 | 3 |
| 8 | 763 | 3 |
| 9 | 763 | 3 |
2 alts after pruning (2 fresh and 0 done)
Merged error: 0.1b
Found 1 expressions with local error:
| 0.1b | (fma (- x) (fma 0.12 x 0.253) 1.0) |
| 1× | pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube fma-udef log1p-expm1-u add-log-exp |
| 0.0ms | (fma (- x) (fma 0.12 x 0.253) 1.0) |
| 31.0ms | (fma (- x) (fma 0.12 x 0.253) 1.0) |
Useful iterations: 1 (3.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 42 | 66 |
| 1 | 102 | 53 |
| 2 | 433 | 53 |
| 3 | 2132 | 53 |
| 4 | 5001 | 53 |
3 alts after pruning (3 fresh and 0 done)
Merged error: 0.1b
Found 2 expressions with local error:
| 0.0b | (+ (* (- x) (fma 0.12 x 0.253)) 1.0) |
| 0.1b | (* (- x) (fma 0.12 x 0.253)) |
| 10× | associate-*l* |
| 8× | add-sqr-sqrt |
| 6× | add-cube-cbrt *-un-lft-identity |
| 4× | pow1 add-exp-log add-cbrt-cube fma-udef add-log-exp |
| 3× | distribute-lft-neg-in distribute-rgt-neg-in associate-*r* |
| 2× | distribute-rgt-in expm1-log1p-u associate-+l+ distribute-lft-in log1p-expm1-u |
| 1× | +-commutative distribute-lft-neg-out neg-mul-1 fma-def flip3-+ pow-prod-down prod-exp sum-log *-commutative cbrt-unprod flip-+ unswap-sqr |
| 8.0ms | (+ (* (- x) (fma 0.12 x 0.253)) 1.0) |
| 10.0ms | (* (- x) (fma 0.12 x 0.253)) |
| 29.0ms | (+ (* (- x) (fma 0.12 x 0.253)) 1.0) |
| 75.0ms | (* (- x) (fma 0.12 x 0.253)) |
Useful iterations: 3 (139.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 205 | 250 |
| 1 | 826 | 222 |
| 2 | 4576 | 219 |
| 3 | 5001 | 218 |
8 alts after pruning (8 fresh and 0 done)
Merged error: 0.0b
Found 2 expressions with local error:
| 0.0b | (+ (* (* 0.12 x) (- x)) (fma 0.253 (- x) 1.0)) |
| 0.2b | (* (* 0.12 x) (- x)) |
| 10× | associate-*r* |
| 7× | pow1 add-exp-log add-cbrt-cube |
| 5× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity |
| 4× | add-log-exp |
| 3× | distribute-lft-neg-in distribute-rgt-neg-in pow-prod-down prod-exp cbrt-unprod |
| 2× | expm1-log1p-u log1p-expm1-u |
| 1× | +-commutative neg-mul-1 associate-+r+ fma-def flip3-+ associate-*l* sum-log *-commutative distribute-rgt-neg-out flip-+ fma-udef |
| 17.0ms | (+ (* (* 0.12 x) (- x)) (fma 0.253 (- x) 1.0)) |
| 22.0ms | (* (* 0.12 x) (- x)) |
| 32.0ms | (+ (* (* 0.12 x) (- x)) (fma 0.253 (- x) 1.0)) |
| 25.0ms | (* (* 0.12 x) (- x)) |
Useful iterations: 2 (37.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 246 | 268 |
| 1 | 1187 | 239 |
| 2 | 5001 | 226 |
4 alts after pruning (4 fresh and 0 done)
Merged error: 0.0b
Found 2 expressions with local error:
| 0.0b | (+ (* 0.12 (* x (- x))) (fma 0.253 (- x) 1.0)) |
| 0.2b | (* 0.12 (* x (- x))) |
| 7× | pow1 add-exp-log add-cbrt-cube |
| 4× | add-log-exp |
| 3× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*l* pow-prod-down prod-exp cbrt-unprod |
| 2× | expm1-log1p-u distribute-rgt-neg-out log1p-expm1-u |
| 1× | +-commutative associate-+r+ fma-def flip3-+ associate-*r* sum-log *-commutative flip-+ fma-udef |
| 22.0ms | (+ (* 0.12 (* x (- x))) (fma 0.253 (- x) 1.0)) |
| 19.0ms | (* 0.12 (* x (- x))) |
| 28.0ms | (+ (* 0.12 (* x (- x))) (fma 0.253 (- x) 1.0)) |
| 26.0ms | (* 0.12 (* x (- x))) |
Useful iterations: 2 (26.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 196 | 244 |
| 1 | 766 | 217 |
| 2 | 4416 | 203 |
| 3 | 5001 | 203 |
4 alts after pruning (3 fresh and 1 done)
Merged error: 0.0b
0% (0.2b remaining)
Error of 0.2b against oracle of 0.0b and baseline of 0.2b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 6 |
| 1 | 18 | 6 |
| 2 | 21 | 6 |
| 3 | 21 | 6 |
| 203.0ms | 10647× | body | 80 | valid |