Time bar (total: 5.1s)
| 46.0ms | 490× | body | 80 | valid |
Useful iterations: 9 (94.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 21 | 6 |
| 1 | 52 | 6 |
| 2 | 171 | 6 |
| 3 | 401 | 6 |
| 4 | 829 | 6 |
| 5 | 1090 | 6 |
| 6 | 1610 | 6 |
| 7 | 1956 | 6 |
| 8 | 2252 | 6 |
| 9 | 2367 | 5 |
| 10 | 2367 | 5 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 3.3b
Found 2 expressions with local error:
| 0.0b | (- t (* z z)) |
| 3.1b | (* (* y 4.0) (- t (* z z))) |
| 9× | add-sqr-sqrt prod-diff |
| 7× | pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube |
| 5× | distribute-rgt-in distribute-lft-in |
| 4× | associate-*r* add-log-exp |
| 3× | sub-neg fma-neg pow-prod-down prod-exp cbrt-unprod |
| 2× | expm1-log1p-u flip3-- associate-*r/ flip-- log1p-expm1-u difference-of-squares |
| 1× | diff-log associate-*l* *-commutative |
| 3.0ms | (- t (* z z)) |
| 12.0ms | (* (* y 4.0) (- t (* z z))) |
| 41.0ms | (- t (* z z)) |
| 86.0ms | (* (* y 4.0) (- t (* z z))) |
Useful iterations: 2 (41.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 257 | 349 |
| 1 | 1187 | 299 |
| 2 | 5001 | 292 |
6 alts after pruning (6 fresh and 0 done)
Merged error: 1.5b
Found 3 expressions with local error:
| 0.0b | (- t (* z z)) |
| 3.1b | (* (* y 4.0) (- t (* z z))) |
| 39.9b | (fma (- z) z (* z z)) |
| 10× | add-sqr-sqrt |
| 9× | prod-diff |
| 8× | pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube |
| 5× | distribute-rgt-in distribute-lft-in add-log-exp |
| 4× | associate-*r* |
| 3× | expm1-log1p-u sub-neg fma-neg pow-prod-down prod-exp cbrt-unprod log1p-expm1-u |
| 2× | flip3-- associate-*r/ flip-- difference-of-squares |
| 1× | diff-log associate-*l* *-commutative fma-udef |
| 3.0ms | (- t (* z z)) |
| 11.0ms | (* (* y 4.0) (- t (* z z))) |
| 0.0ms | (fma (- z) z (* z z)) |
| 41.0ms | (- t (* z z)) |
| 86.0ms | (* (* y 4.0) (- t (* z z))) |
| 54.0ms | (fma (- z) z (* z z)) |
Useful iterations: 2 (40.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 266 | 399 |
| 1 | 1192 | 342 |
| 2 | 5001 | 335 |
6 alts after pruning (5 fresh and 1 done)
Merged error: 1.5b
Found 2 expressions with local error:
| 0.0b | (- t (* z z)) |
| 3.1b | (* y (* 4.0 (- t (* z z)))) |
| 20× | distribute-rgt-in distribute-lft-in |
| 15× | prod-diff |
| 10× | add-sqr-sqrt |
| 9× | add-cube-cbrt *-un-lft-identity |
| 7× | pow1 add-exp-log add-cbrt-cube |
| 5× | sub-neg |
| 4× | associate-*r/ add-log-exp |
| 3× | fma-neg associate-*l* pow-prod-down prod-exp cbrt-unprod |
| 2× | expm1-log1p-u flip3-- flip-- log1p-expm1-u |
| 1× | diff-log associate-*r* *-commutative difference-of-squares |
| 3.0ms | (- t (* z z)) |
| 14.0ms | (* y (* 4.0 (- t (* z z)))) |
| 38.0ms | (- t (* z z)) |
| 89.0ms | (* y (* 4.0 (- t (* z z)))) |
Useful iterations: 3 (124.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 279 | 438 |
| 1 | 933 | 380 |
| 2 | 4280 | 379 |
| 3 | 5001 | 378 |
7 alts after pruning (5 fresh and 2 done)
Merged error: 1.5b
Found 4 expressions with local error:
| 3.7b | (cbrt (- t (* z z))) |
| 3.7b | (cbrt (- t (* z z))) |
| 3.7b | (cbrt (- t (* z z))) |
| 39.9b | (fma (- z) z (* z z)) |
| 12× | cbrt-prod |
| 10× | add-sqr-sqrt |
| 7× | add-cube-cbrt *-un-lft-identity |
| 6× | cbrt-div |
| 4× | pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp |
| 3× | flip3-- pow1/3 flip-- difference-of-squares |
| 1× | fma-udef |
| 2.0ms | (cbrt (- t (* z z))) |
| 2.0ms | (cbrt (- t (* z z))) |
| 2.0ms | (cbrt (- t (* z z))) |
| 0.0ms | (fma (- z) z (* z z)) |
| 329.0ms | (cbrt (- t (* z z))) |
| 316.0ms | (cbrt (- t (* z z))) |
| 315.0ms | (cbrt (- t (* z z))) |
| 59.0ms | (fma (- z) z (* z z)) |
Useful iterations: 3 (54.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 176 | 443 |
| 1 | 423 | 415 |
| 2 | 1390 | 406 |
| 3 | 5002 | 395 |
7 alts after pruning (4 fresh and 3 done)
Merged error: 1.5b
82.9% (0.5b remaining)
Error of 3.0b against oracle of 2.5b and baseline of 5.7b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 30 | 20 |
| 1 | 30 | 20 |
| 1.5s | 15758× | body | 80 | valid |