Time bar (total: 11.4s)
| 18.0ms | 256× | body | 80 | valid |
| 9.0ms | 256× | pre | 80 | true |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 15 |
| 1 | 22 | 15 |
| 2 | 48 | 15 |
| 3 | 101 | 15 |
| 4 | 188 | 15 |
| 5 | 346 | 15 |
| 6 | 579 | 15 |
| 7 | 875 | 15 |
| 8 | 2271 | 15 |
| done | 5000 | 15 |
2 alts after pruning (2 fresh and 0 done)
Merged error: 20.0b
Found 2 expressions with local error:
| 0.0b | (+ (* x x) (* y y)) |
| 20.1b | (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) |
| 8× | associate-/l/ |
| 7× | add-exp-log add-cbrt-cube |
| 5× | flip3-+ flip-+ |
| 4× | add-sqr-sqrt frac-times add-cube-cbrt *-un-lft-identity add-log-exp |
| 3× | flip3-- times-frac associate-/r* flip-- |
| 2× | pow1 cbrt-undiv associate-*r/ div-exp associate-*l/ associate-/r/ |
| 1× | +-commutative frac-2neg prod-exp clear-num sum-log cbrt-unprod div-inv associate-/l* |
| 16.0ms | (+ (* x x) (* y y)) |
| 43.0ms | (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) |
| 49.0ms | (+ (* x x) (* y y)) |
| 101.0ms | (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) |
Useful iterations: done (876.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 91 | 826 |
| 1 | 303 | 802 |
| 2 | 1443 | 662 |
| done | 5000 | 655 |
3 alts after pruning (3 fresh and 0 done)
Merged error: 0.7b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
| done | 0 | 0 |
3 alts after pruning (2 fresh and 1 done)
Merged error: 0.7b
Found 2 expressions with local error:
| 20.1b | (/ (* (- x y) (+ x y)) (/ (- (pow x 4) (pow y 4)) (* (+ x y) (- x y)))) |
| 33.8b | (/ (- (pow x 4) (pow y 4)) (* (+ x y) (- x y))) |
| 68× | times-frac |
| 56× | add-sqr-sqrt |
| 36× | difference-of-squares |
| 32× | unpow-prod-down |
| 28× | add-exp-log add-cbrt-cube |
| 27× | associate-/r* |
| 25× | associate-/r/ |
| 24× | *-un-lft-identity sqr-pow |
| 16× | frac-times |
| 15× | associate-/l* |
| 13× | flip3-- flip-- |
| 12× | cbrt-undiv flip3-+ div-exp flip-+ |
| 10× | associate-/l/ |
| 8× | add-cube-cbrt associate-*r/ associate-*l/ distribute-lft-out-- |
| 6× | prod-exp cbrt-unprod |
| 4× | div-inv |
| 2× | pow1 frac-2neg clear-num add-log-exp |
| 1× | div-sub |
| 100.0ms | (/ (* (- x y) (+ x y)) (/ (- (pow x 4) (pow y 4)) (* (+ x y) (- x y)))) |
| 89.0ms | (/ (- (pow x 4) (pow y 4)) (* (+ x y) (- x y))) |
| 106.0ms | (/ (* (- x y) (+ x y)) (/ (- (pow x 4) (pow y 4)) (* (+ x y) (- x y)))) |
| 162.0ms | (/ (- (pow x 4) (pow y 4)) (* (+ x y) (- x y))) |
Useful iterations: done (3.3s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 271 | 3864 |
| 1 | 848 | 3714 |
| 2 | 4789 | 3220 |
| done | 5000 | 3148 |
3 alts after pruning (1 fresh and 2 done)
Merged error: 0.7b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
| done | 0 | 0 |
3 alts after pruning (0 fresh and 3 done)
Merged error: 0.7b
41.9% (12.1b remaining)
Error of 12.8b against oracle of 0.7b and baseline of 21.5b
| Iters | Range | Point | |
|---|---|---|---|
| 5 | 5.172490233587555e-75 | 1.4393546628418213e-74 | 8.954732963342978e-75 |
| 9 | 5.765718090090098e-203 | 2.485240439536242e-196 | 5.875513051791536e-203 |
| 7 | 3.8850695764896805e-224 | 2.277393500508391e-222 | 2.2457907428295544e-222 |
| 9 | -4.0439453452182566e-171 | -2.579322738716153e-177 | -4.0022056602069904e-171 |
| 5 | -1.4984771746820294e-136 | -5.415099320722379e-137 | -1.0401499027595101e-136 |
| 7 | -2.5419562586921644e-05 | -4.403108084983288e-07 | -3.3066102290655527e-06 |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 32 | 75 |
| 1 | 35 | 75 |
| done | 35 | 75 |
| 468.0ms | 8000× | body | 80 | valid |
| 283.0ms | 8000× | pre | 80 | true |