Time bar (total: 13.6s)
| 21.0ms | 264× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 26 | 33 |
| 1 | 41 | 33 |
| 2 | 88 | 33 |
| 3 | 178 | 33 |
| 4 | 397 | 33 |
| 5 | 800 | 33 |
| 6 | 1191 | 33 |
| 7 | 1293 | 33 |
| 8 | 1626 | 33 |
| 9 | 2734 | 33 |
| done | 5001 | 33 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 28.8b
Found 4 expressions with local error:
| 0.1b | (* (+ (* x y) z) y) |
| 0.1b | (* (+ (* (+ (* x y) z) y) 27464.7644705) y) |
| 0.1b | (* (+ (* (+ (* (+ y a) y) b) y) c) y) |
| 28.1b | (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) |
| 24× | add-sqr-sqrt |
| 18× | add-cube-cbrt *-un-lft-identity |
| 12× | add-exp-log add-cbrt-cube |
| 10× | pow1 |
| 9× | times-frac associate-*r* associate-*l* |
| 6× | associate-*l/ |
| 5× | flip3-+ flip-+ |
| 4× | add-log-exp |
| 3× | pow-prod-down prod-exp associate-/r* *-commutative cbrt-unprod associate-/l* unswap-sqr |
| 2× | associate-/r/ associate-/l/ |
| 1× | cbrt-undiv frac-2neg div-exp clear-num div-inv |
| 11.0ms | (* (+ (* x y) z) y) |
| 20.0ms | (* (+ (* (+ (* x y) z) y) 27464.7644705) y) |
| 30.0ms | (* (+ (* (+ (* (+ y a) y) b) y) c) y) |
| 50.0ms | (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) |
| 38.0ms | (* (+ (* x y) z) y) |
| 53.0ms | (* (+ (* (+ (* x y) z) y) 27464.7644705) y) |
| 70.0ms | (* (+ (* (+ (* (+ y a) y) b) y) c) y) |
| 331.0ms | (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) |
Useful iterations: done (738.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 194 | 2565 |
| 1 | 504 | 2499 |
| 2 | 1744 | 2283 |
| done | 5000 | 2265 |
10 alts after pruning (10 fresh and 0 done)
Merged error: 27.8b
Found 4 expressions with local error:
| 0.1b | (* (+ (* (+ (* x y) z) y) 27464.7644705) y) |
| 0.1b | (* (+ (* (+ (* (+ y a) y) b) y) c) y) |
| 0.2b | (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) |
| 28.1b | (* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))) |
| 35× | add-sqr-sqrt |
| 25× | *-un-lft-identity |
| 24× | add-cube-cbrt |
| 21× | add-exp-log associate-*r* |
| 20× | times-frac |
| 15× | add-cbrt-cube |
| 11× | pow1 |
| 9× | associate-*l* |
| 6× | flip3-+ associate-*l/ prod-exp flip-+ |
| 5× | unswap-sqr |
| 4× | div-exp associate-/r/ cbrt-unprod add-log-exp |
| 3× | pow-prod-down associate-/r* *-commutative associate-/l* |
| 2× | cbrt-undiv frac-times rec-exp 1-exp div-inv |
| 1× | pow-flip frac-2neg associate-*r/ clear-num un-div-inv inv-pow |
| 20.0ms | (* (+ (* (+ (* x y) z) y) 27464.7644705) y) |
| 30.0ms | (* (+ (* (+ (* (+ y a) y) b) y) c) y) |
| 27.0ms | (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) |
| 103.0ms | (* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))) |
| 56.0ms | (* (+ (* (+ (* x y) z) y) 27464.7644705) y) |
| 69.0ms | (* (+ (* (+ (* (+ y a) y) b) y) c) y) |
| 52.0ms | (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) |
| 339.0ms | (* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))) |
Useful iterations: 2 (306.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 208 | 3519 |
| 1 | 558 | 3333 |
| 2 | 1888 | 2985 |
| done | 5001 | 2985 |
11 alts after pruning (11 fresh and 0 done)
Merged error: 27.8b
Found 4 expressions with local error:
| 20.6b | (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y)) |
| 20.6b | (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y)) |
| 20.6b | (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y)) |
| 28.1b | (* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (* (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y)) (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y))) (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y))) i))) |
| 19× | add-sqr-sqrt |
| 15× | associate-*r* |
| 13× | add-exp-log *-un-lft-identity |
| 12× | add-cube-cbrt |
| 11× | times-frac |
| 9× | add-cbrt-cube |
| 8× | associate-*l/ |
| 6× | pow1 cbrt-div flip3-+ flip-+ |
| 4× | prod-exp add-log-exp |
| 3× | cbrt-prod pow1/3 associate-*l* unswap-sqr |
| 2× | frac-times div-exp associate-/r/ cbrt-unprod |
| 1× | cbrt-undiv rec-exp 1-exp associate-*r/ pow-prod-down un-div-inv *-commutative div-inv |
| 11.0ms | (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y)) |
| 11.0ms | (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y)) |
| 11.0ms | (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y)) |
| 369.0ms | (* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (* (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y)) (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y))) (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y))) i))) |
| 211.0ms | (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y)) |
| 210.0ms | (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y)) |
| 207.0ms | (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y)) |
| 498.0ms | (* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (* (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y)) (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y))) (cbrt (* (+ (* (+ (* (+ y a) y) b) y) c) y))) i))) |
Useful iterations: done (571.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 168 | 4299 |
| 1 | 446 | 4192 |
| 2 | 1294 | 2362 |
| done | 5000 | 2315 |
10 alts after pruning (9 fresh and 1 done)
Merged error: 27.8b
Found 4 expressions with local error:
| 0.1b | (* (+ (* x y) z) y) |
| 0.1b | (* (+ (* (+ (* x y) z) y) 27464.7644705) y) |
| 0.1b | (* y (+ (* (+ (* (+ y a) y) b) y) c)) |
| 28.1b | (/ (+ t (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (+ i (* y (+ (* (+ (* (+ y a) y) b) y) c)))) |
| 24× | add-sqr-sqrt |
| 18× | add-cube-cbrt *-un-lft-identity |
| 12× | add-exp-log add-cbrt-cube |
| 10× | pow1 |
| 9× | times-frac associate-*r* associate-*l* |
| 5× | flip3-+ flip-+ |
| 4× | associate-*l/ add-log-exp |
| 3× | pow-prod-down prod-exp associate-/r* *-commutative cbrt-unprod associate-/l* unswap-sqr |
| 2× | associate-*r/ associate-/r/ associate-/l/ |
| 1× | cbrt-undiv distribute-rgt-in frac-2neg distribute-lft-in div-exp clear-num div-inv |
| 11.0ms | (* (+ (* x y) z) y) |
| 20.0ms | (* (+ (* (+ (* x y) z) y) 27464.7644705) y) |
| 30.0ms | (* y (+ (* (+ (* (+ y a) y) b) y) c)) |
| 14.0ms | (/ (+ t (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (+ i (* y (+ (* (+ (* (+ y a) y) b) y) c)))) |
| 38.0ms | (* (+ (* x y) z) y) |
| 53.0ms | (* (+ (* (+ (* x y) z) y) 27464.7644705) y) |
| 70.0ms | (* y (+ (* (+ (* (+ y a) y) b) y) c)) |
| 442.0ms | (/ (+ t (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (+ i (* y (+ (* (+ (* (+ y a) y) b) y) c)))) |
Useful iterations: done (906.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 199 | 2593 |
| 1 | 528 | 2513 |
| 2 | 1790 | 2297 |
| done | 5001 | 2289 |
10 alts after pruning (8 fresh and 2 done)
Merged error: 27.8b
0% (1.0b remaining)
Error of 29.3b against oracle of 28.2b and baseline of 29.3b
Useful iterations: 1 (2.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 28 | 35 |
| 1 | 45 | 33 |
| done | 45 | 33 |
| 591.0ms | 8238× | body | 80 | valid |