Time bar (total: 45.5s)
| 7.0ms | 322× | body | 80 | valid |
Useful iterations: 2 (4.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 9 |
| 1 | 15 | 9 |
| 2 | 31 | 8 |
| 3 | 64 | 8 |
| 4 | 107 | 8 |
| 5 | 165 | 8 |
| 6 | 201 | 8 |
| 7 | 241 | 8 |
| 8 | 297 | 8 |
| 9 | 502 | 8 |
| 10 | 959 | 8 |
| 11 | 1761 | 8 |
| 12 | 2427 | 8 |
| 13 | 3155 | 8 |
| 14 | 4289 | 8 |
| done | 5001 | 8 |
2 alts after pruning (2 fresh and 0 done)
Merged error: 0.0b
Found 1 expressions with local error:
| 0.1b | (fma (- y x) (* 6.0 z) x) |
| 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 |
| 1.0ms | (fma (- y x) (* 6.0 z) x) |
| 54.0ms | (fma (- y x) (* 6.0 z) x) |
Useful iterations: 3 (37.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 23 | 154 |
| 1 | 44 | 151 |
| 2 | 107 | 135 |
| 3 | 315 | 123 |
| 4 | 1328 | 123 |
| done | 5000 | 123 |
3 alts after pruning (2 fresh and 1 done)
Merged error: 0.0b
Found 2 expressions with local error:
| 0.0b | (* (- y x) 6.0) |
| 0.6b | (fma (* (- y x) 6.0) z x) |
| 8× | add-sqr-sqrt |
| 6× | *-un-lft-identity |
| 5× | associate-*l* |
| 4× | pow1 add-exp-log add-cube-cbrt add-cbrt-cube |
| 3× | associate-*r* |
| 2× | expm1-log1p-u associate-*l/ log1p-expm1-u add-log-exp |
| 1× | flip3-- pow-prod-down prod-exp *-commutative flip-- cbrt-unprod fma-udef distribute-lft-out-- difference-of-squares unswap-sqr |
| 11.0ms | (* (- y x) 6.0) |
| 1.0ms | (fma (* (- y x) 6.0) z x) |
| 37.0ms | (* (- y x) 6.0) |
| 57.0ms | (fma (* (- y x) 6.0) z x) |
Useful iterations: 2 (49.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 68 | 357 |
| 1 | 147 | 345 |
| 2 | 475 | 297 |
| 3 | 1772 | 297 |
| done | 5000 | 297 |
5 alts after pruning (3 fresh and 2 done)
Merged error: 0.0b
Found 2 expressions with local error:
| 0.0b | (* z (- y x)) |
| 0.3b | (* (* z (- y x)) 6.0) |
| 21× | add-sqr-sqrt |
| 19× | *-un-lft-identity |
| 18× | prod-diff |
| 17× | add-cube-cbrt |
| 11× | distribute-rgt-in distribute-lft-in |
| 9× | pow1 add-exp-log add-cbrt-cube |
| 8× | associate-*r* |
| 4× | associate-*r/ associate-*l* pow-prod-down prod-exp cbrt-unprod |
| 2× | expm1-log1p-u sub-neg flip3-- associate-*l/ *-commutative flip-- log1p-expm1-u add-log-exp |
| 1× | distribute-lft-out-- difference-of-squares unswap-sqr |
| 12.0ms | (* z (- y x)) |
| 15.0ms | (* (* z (- y x)) 6.0) |
| 39.0ms | (* z (- y x)) |
| 59.0ms | (* (* z (- y x)) 6.0) |
Useful iterations: 3 (815.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 132 | 982 |
| 1 | 282 | 804 |
| 2 | 1095 | 622 |
| 3 | 4666 | 562 |
| done | 5000 | 562 |
5 alts after pruning (3 fresh and 2 done)
Merged error: 0.0b
Found 2 expressions with local error:
| 0.0b | (+ (* z y) (* z (- x))) |
| 0.3b | (* (+ (* z y) (* z (- x))) 6.0) |
| 6× | add-sqr-sqrt |
| 4× | pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*l* add-cbrt-cube add-log-exp |
| 3× | associate-*r* |
| 2× | expm1-log1p-u flip3-+ associate-*l/ distribute-rgt-neg-out flip-+ log1p-expm1-u distribute-lft-out |
| 1× | +-commutative fma-def unsub-neg pow-prod-down prod-exp sum-log *-commutative cbrt-unprod unswap-sqr |
| 3.0ms | (+ (* z y) (* z (- x))) |
| 9.0ms | (* (+ (* z y) (* z (- x))) 6.0) |
| 38.0ms | (+ (* z y) (* z (- x))) |
| 65.0ms | (* (+ (* z y) (* z (- x))) 6.0) |
Useful iterations: 3 (422.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 65 | 555 |
| 1 | 187 | 399 |
| 2 | 819 | 357 |
| 3 | 4187 | 352 |
| done | 5000 | 352 |
5 alts after pruning (2 fresh and 3 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 | 10 | 12 |
| 1 | 17 | 12 |
| 2 | 20 | 12 |
| 3 | 21 | 12 |
| done | 21 | 12 |
| 234.0ms | 10059× | body | 80 | valid |