Time bar (total: 1.5s)
| 6.0ms | 328× | body | 80 | valid |
Useful iterations: 2 (4.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) |
| 28.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 |
| 9.0ms | (+ (* (- x) (fma 0.12 x 0.253)) 1.0) |
| 11.0ms | (* (- x) (fma 0.12 x 0.253)) |
| 26.0ms | (+ (* (- x) (fma 0.12 x 0.253)) 1.0) |
| 69.0ms | (* (- x) (fma 0.12 x 0.253)) |
Useful iterations: 3 (138.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 | (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0)) |
| 0.2b | (* (- x) (* 0.12 x)) |
| 10× | associate-*l* |
| 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 distribute-lft-neg-out neg-mul-1 associate-+r+ fma-def flip3-+ associate-*r* sum-log *-commutative flip-+ fma-udef |
| 17.0ms | (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0)) |
| 19.0ms | (* (- x) (* 0.12 x)) |
| 25.0ms | (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0)) |
| 27.0ms | (* (- x) (* 0.12 x)) |
Useful iterations: 3 (134.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 220 | 266 |
| 1 | 887 | 240 |
| 2 | 4841 | 230 |
| 3 | 5001 | 227 |
4 alts after pruning (3 fresh and 1 done)
Merged error: 0.0b
Found 2 expressions with local error:
| 0.0b | (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0)) |
| 0.2b | (* 0.12 (pow x 2)) |
| 12× | add-sqr-sqrt |
| 8× | *-un-lft-identity associate-*r* |
| 7× | add-exp-log |
| 6× | add-cube-cbrt fma-def add-log-exp |
| 4× | unpow-prod-down add-cbrt-cube unswap-sqr |
| 3× | associate-*l* prod-exp |
| 2× | pow1 expm1-log1p-u sum-log log1p-expm1-u unpow2 sqr-pow |
| 1× | +-commutative neg-sub0 distribute-lft-neg-in pow-to-exp associate-+l- neg-mul-1 associate-+r+ distribute-rgt-neg-in flip3-+ neg-log pow-exp *-commutative cbrt-unprod flip-+ fma-udef distribute-lft-out |
| 13.0ms | (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0)) |
| 12.0ms | (* 0.12 (pow x 2)) |
| 25.0ms | (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0)) |
| 24.0ms | (* 0.12 (pow x 2)) |
Useful iterations: 2 (31.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 217 | 279 |
| 1 | 869 | 240 |
| 2 | 5002 | 237 |
5 alts after pruning (3 fresh and 2 done)
Merged error: 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 | 17 | 6 |
| 1 | 19 | 6 |
| 2 | 19 | 6 |
| 198.0ms | 10647× | body | 80 | valid |