Time bar (total: 7.4s)
| 12.0ms | 309× | body | 80 | valid |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 7 |
| 1 | 16 | 7 |
| 2 | 22 | 7 |
| 3 | 33 | 7 |
| 4 | 38 | 7 |
| 5 | 44 | 7 |
| 6 | 48 | 7 |
| 7 | 114 | 7 |
| 8 | 254 | 7 |
| 9 | 587 | 7 |
| 10 | 1391 | 7 |
| 11 | 3130 | 7 |
| done | 5001 | 7 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 12.4b
Found 2 expressions with local error:
| 0.0b | (* x (+ y z)) |
| 11.7b | (/ (* x (+ y z)) z) |
| 9× | add-exp-log add-cbrt-cube |
| 8× | add-sqr-sqrt *-un-lft-identity |
| 6× | add-cube-cbrt |
| 4× | pow1 associate-*r/ associate-*r* |
| 3× | times-frac associate-*l* associate-/r* |
| 2× | cbrt-undiv flip3-+ div-exp prod-exp cbrt-unprod flip-+ associate-/l/ add-log-exp |
| 1× | distribute-rgt-in frac-2neg distribute-lft-in pow-prod-down clear-num *-commutative div-inv distribute-lft-out associate-/l* unswap-sqr |
| 24.0ms | (* x (+ y z)) |
| 21.0ms | (/ (* x (+ y z)) z) |
| 30.0ms | (* x (+ y z)) |
| 41.0ms | (/ (* x (+ y z)) z) |
Useful iterations: done (931.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 85 | 458 |
| 1 | 244 | 434 |
| 2 | 1285 | 382 |
| done | 5000 | 376 |
8 alts after pruning (8 fresh and 0 done)
Merged error: 0.0b
Found 2 expressions with local error:
| 0.0b | (+ (/ (* x y) z) x) |
| 4.7b | (/ (* x y) z) |
| 7× | add-exp-log add-cbrt-cube |
| 6× | *-un-lft-identity |
| 4× | add-sqr-sqrt add-cube-cbrt add-log-exp |
| 3× | times-frac associate-/r* |
| 2× | pow1 cbrt-undiv div-exp |
| 1× | +-commutative frac-2neg flip3-+ prod-exp clear-num sum-log cbrt-unprod flip-+ div-inv distribute-lft-out associate-/l* |
| 17.0ms | (+ (/ (* x y) z) x) |
| 17.0ms | (/ (* x y) z) |
| 31.0ms | (+ (/ (* x y) z) x) |
| 35.0ms | (/ (* x y) z) |
Useful iterations: done (676.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 67 | 359 |
| 1 | 183 | 337 |
| 2 | 916 | 305 |
| done | 5001 | 301 |
8 alts after pruning (7 fresh and 1 done)
Merged error: 0.0b
Found 2 expressions with local error:
| 0.0b | (+ (* (* x y) (/ 1 z)) x) |
| 4.8b | (* (* x y) (/ 1 z)) |
| 24× | add-exp-log |
| 14× | add-cbrt-cube |
| 13× | associate-*r* |
| 12× | prod-exp |
| 9× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac |
| 7× | pow1 |
| 6× | cbrt-unprod |
| 4× | div-exp add-log-exp |
| 3× | pow-prod-down |
| 2× | cbrt-undiv rec-exp 1-exp |
| 1× | +-commutative flip3-+ associate-*r/ associate-*l* sum-log un-div-inv *-commutative flip-+ div-inv |
| 22.0ms | (+ (* (* x y) (/ 1 z)) x) |
| 25.0ms | (* (* x y) (/ 1 z)) |
| 48.0ms | (+ (* (* x y) (/ 1 z)) x) |
| 29.0ms | (* (* x y) (/ 1 z)) |
Useful iterations: 2 (222.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 103 | 613 |
| 1 | 308 | 530 |
| 2 | 1926 | 387 |
| done | 5000 | 387 |
5 alts after pruning (4 fresh and 1 done)
Merged error: 0b
Found 2 expressions with local error:
| 0.0b | (+ (/ x (/ z y)) x) |
| 7.4b | (/ x (/ z y)) |
| 75× | times-frac |
| 46× | *-un-lft-identity |
| 44× | add-sqr-sqrt add-cube-cbrt |
| 13× | associate-/r* |
| 7× | add-exp-log add-cbrt-cube |
| 5× | div-inv |
| 4× | add-log-exp |
| 3× | cbrt-undiv div-exp associate-/l* |
| 2× | pow1 |
| 1× | +-commutative frac-2neg flip3-+ clear-num sum-log associate-/r/ flip-+ distribute-lft-out |
| 40.0ms | (+ (/ x (/ z y)) x) |
| 9.0ms | (/ x (/ z y)) |
| 31.0ms | (+ (/ x (/ z y)) x) |
| 25.0ms | (/ x (/ z y)) |
Useful iterations: done (881.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 170 | 1053 |
| 1 | 439 | 985 |
| 2 | 1968 | 929 |
| done | 5001 | 923 |
5 alts after pruning (3 fresh and 2 done)
Merged error: 0b
64.1% (1.7b remaining)
Error of 1.7b against oracle of 0.0b and baseline of 4.7b
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 2.244918562184708e-60 | 4.270342289920316e-51 | 1.0978563660123392e-51 |
| 11 | -1.0565060189309353e+57 | -1.1165988221874661e+36 | -5.1044967568078234e+39 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 20 | 33 |
| 1 | 27 | 33 |
| done | 27 | 33 |
| 400.0ms | 9626× | body | 80 | valid |