Time bar (total: 2.6s)
| 12.0ms | 365× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 26 | 6 |
| 1 | 89 | 6 |
| 2 | 277 | 6 |
| 3 | 735 | 6 |
| 4 | 1436 | 6 |
| 5 | 1714 | 6 |
| 6 | 1730 | 6 |
| 7 | 1730 | 6 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 5.5b
Found 2 expressions with local error:
| 0.2b | (* (* z 9.0) t) |
| 5.2b | (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) |
| 12× | add-exp-log add-cbrt-cube |
| 7× | pow1 |
| 5× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity |
| 4× | prod-exp cbrt-unprod |
| 3× | times-frac associate-*r* pow-prod-down associate-/l* |
| 2× | cbrt-undiv div-exp associate-/l/ add-log-exp |
| 1× | flip3-- frac-2neg div-sub associate-*l* clear-num associate-/r* *-commutative flip-- div-inv |
| 5.0ms | (* (* z 9.0) t) |
| 7.0ms | (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) |
| 17.0ms | (* (* z 9.0) t) |
| 66.0ms | (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) |
Useful iterations: 1 (9.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 290 | 305 |
| 1 | 1252 | 251 |
| 2 | 5001 | 251 |
11 alts after pruning (11 fresh and 0 done)
Merged error: 5.2b
Found 2 expressions with local error:
| 0.3b | (* z (* 9.0 t)) |
| 5.2b | (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)) |
| 12× | add-exp-log add-cbrt-cube |
| 7× | pow1 |
| 5× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity |
| 4× | prod-exp cbrt-unprod |
| 3× | times-frac associate-*l* pow-prod-down associate-/l* |
| 2× | cbrt-undiv div-exp associate-/l/ add-log-exp |
| 1× | flip3-- frac-2neg div-sub associate-*r* clear-num associate-/r* *-commutative flip-- div-inv |
| 5.0ms | (* z (* 9.0 t)) |
| 7.0ms | (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)) |
| 17.0ms | (* z (* 9.0 t)) |
| 64.0ms | (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)) |
Useful iterations: 1 (10.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 282 | 304 |
| 1 | 1166 | 250 |
| 2 | 5001 | 250 |
10 alts after pruning (10 fresh and 0 done)
Merged error: 5.2b
Found 4 expressions with local error:
| 0.0b | (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) |
| 0.2b | (* 4.5 (/ (* t z) a)) |
| 5.1b | (/ (* t z) a) |
| 5.8b | (/ (* x y) a) |
| 23× | add-exp-log add-cbrt-cube |
| 13× | add-sqr-sqrt |
| 11× | add-cube-cbrt *-un-lft-identity |
| 9× | times-frac |
| 7× | associate-*r* |
| 6× | pow1 cbrt-undiv div-exp prod-exp associate-/r* cbrt-unprod add-log-exp |
| 5× | associate-*r/ |
| 3× | associate-*l* div-inv |
| 2× | frac-2neg clear-num associate-/l* |
| 1× | sub-neg flip3-- diff-log pow-prod-down *-commutative frac-sub flip-- sub-div unswap-sqr |
| 6.0ms | (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) |
| 7.0ms | (* 4.5 (/ (* t z) a)) |
| 5.0ms | (/ (* t z) a) |
| 5.0ms | (/ (* x y) a) |
| 105.0ms | (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) |
| 26.0ms | (* 4.5 (/ (* t z) a)) |
| 18.0ms | (/ (* t z) a) |
| 22.0ms | (/ (* x y) a) |
Useful iterations: 1 (12.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 381 | 486 |
| 1 | 1921 | 419 |
| 2 | 5001 | 419 |
10 alts after pruning (10 fresh and 0 done)
Merged error: 0.2b
Found 2 expressions with local error:
| 0.2b | (* (* z 9.0) t) |
| 5.2b | (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) |
| 12× | add-exp-log add-cbrt-cube |
| 7× | pow1 |
| 5× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity |
| 4× | prod-exp cbrt-unprod |
| 3× | times-frac associate-*r* pow-prod-down associate-/l* |
| 2× | cbrt-undiv div-exp associate-/l/ add-log-exp |
| 1× | flip3-- frac-2neg div-sub associate-*l* clear-num associate-/r* *-commutative flip-- div-inv |
| 5.0ms | (* (* z 9.0) t) |
| 7.0ms | (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) |
| 17.0ms | (* (* z 9.0) t) |
| 65.0ms | (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) |
Useful iterations: 1 (8.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 290 | 305 |
| 1 | 1252 | 251 |
| 2 | 5001 | 251 |
10 alts after pruning (9 fresh and 1 done)
Merged error: 0.2b
44.1% (3.9b remaining)
Error of 4.4b against oracle of 0.5b and baseline of 7.5b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 45 | 32 |
| 1 | 45 | 32 |
| 369.0ms | 11095× | body | 80 | valid |