Time bar (total: 6.9s)
| 17.0ms | 261× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 41 | 16 |
| 1 | 88 | 16 |
| 2 | 254 | 16 |
| 3 | 663 | 16 |
| 4 | 1615 | 16 |
| 5 | 2362 | 16 |
| 6 | 2584 | 16 |
| 7 | 3122 | 16 |
| 8 | 5001 | 16 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 29.6b
Found 4 expressions with local error:
| 0.1b | (* (+ (* (+ (* (+ y a) y) b) y) c) y) |
| 0.1b | (* (+ (* x y) z) y) |
| 0.1b | (* (+ (* (+ y a) y) b) y) |
| 28.9b | (/ (+ (* (+ (* (+ (* (+ (* 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 |
| 12.0ms | (* (+ (* (+ (* (+ y a) y) b) y) c) y) |
| 7.0ms | (* (+ (* x y) z) y) |
| 9.0ms | (* (+ (* (+ y a) y) b) y) |
| 27.0ms | (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) |
| 70.0ms | (* (+ (* (+ (* (+ y a) y) b) y) c) y) |
| 33.0ms | (* (+ (* x y) z) y) |
| 33.0ms | (* (+ (* (+ y a) y) b) y) |
| 338.0ms | (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) |
Useful iterations: 1 (13.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 507 | 1214 |
| 1 | 2227 | 1108 |
| 2 | 5002 | 1108 |
13 alts after pruning (13 fresh and 0 done)
Merged error: 28.7b
Found 4 expressions with local error:
| 23.9b | (cbrt (* (+ (* x y) z) y)) |
| 23.9b | (cbrt (* (+ (* x y) z) y)) |
| 23.9b | (cbrt (* (+ (* x y) z) y)) |
| 28.9b | (/ (+ (* (+ (* (+ (* (* (cbrt (* (+ (* x y) z) y)) (cbrt (* (+ (* x y) z) y))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) |
| 12× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity |
| 9× | times-frac |
| 6× | add-exp-log cbrt-div associate-*l/ add-cbrt-cube |
| 5× | flip3-+ flip-+ |
| 4× | pow1 add-log-exp |
| 3× | cbrt-prod pow1/3 associate-/r* associate-/l* |
| 2× | associate-/r/ associate-/l/ |
| 1× | cbrt-undiv frac-2neg div-exp clear-num div-inv |
| 5.0ms | (cbrt (* (+ (* x y) z) y)) |
| 5.0ms | (cbrt (* (+ (* x y) z) y)) |
| 5.0ms | (cbrt (* (+ (* x y) z) y)) |
| 37.0ms | (/ (+ (* (+ (* (+ (* (* (cbrt (* (+ (* x y) z) y)) (cbrt (* (+ (* x y) z) y))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) |
| 123.0ms | (cbrt (* (+ (* x y) z) y)) |
| 127.0ms | (cbrt (* (+ (* x y) z) y)) |
| 123.0ms | (cbrt (* (+ (* x y) z) y)) |
| 406.0ms | (/ (+ (* (+ (* (+ (* (* (cbrt (* (+ (* x y) z) y)) (cbrt (* (+ (* x y) z) y))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) |
Useful iterations: 2 (33.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 393 | 1666 |
| 1 | 1226 | 1529 |
| 2 | 5001 | 1486 |
12 alts after pruning (12 fresh and 0 done)
Merged error: 28.7b
Found 4 expressions with local error:
| 23.9b | (cbrt (* (+ (* x y) z) y)) |
| 23.9b | (cbrt (* (+ (* x y) z) y)) |
| 23.9b | (cbrt (* (+ (* x y) z) y)) |
| 28.9b | (/ (+ (* (+ (* (+ (* (* (cbrt (* (+ (* x y) z) y)) (* (* (cbrt (cbrt (* (+ (* x y) z) y))) (cbrt (cbrt (* (+ (* x y) z) y)))) (cbrt (cbrt (* (+ (* x y) z) y))))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) |
| 12× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity |
| 9× | times-frac |
| 6× | add-exp-log cbrt-div associate-*l/ add-cbrt-cube |
| 5× | flip3-+ flip-+ |
| 4× | pow1 add-log-exp |
| 3× | cbrt-prod pow1/3 associate-/r* associate-/l* |
| 2× | associate-/r/ associate-/l/ |
| 1× | cbrt-undiv frac-2neg div-exp clear-num div-inv |
| 6.0ms | (cbrt (* (+ (* x y) z) y)) |
| 6.0ms | (cbrt (* (+ (* x y) z) y)) |
| 6.0ms | (cbrt (* (+ (* x y) z) y)) |
| 68.0ms | (/ (+ (* (+ (* (+ (* (* (cbrt (* (+ (* x y) z) y)) (* (* (cbrt (cbrt (* (+ (* x y) z) y))) (cbrt (cbrt (* (+ (* x y) z) y)))) (cbrt (cbrt (* (+ (* x y) z) y))))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) |
| 128.0ms | (cbrt (* (+ (* x y) z) y)) |
| 123.0ms | (cbrt (* (+ (* x y) z) y)) |
| 128.0ms | (cbrt (* (+ (* x y) z) y)) |
| 412.0ms | (/ (+ (* (+ (* (+ (* (* (cbrt (* (+ (* x y) z) y)) (* (* (cbrt (cbrt (* (+ (* x y) z) y))) (cbrt (cbrt (* (+ (* x y) z) y)))) (cbrt (cbrt (* (+ (* x y) z) y))))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) |
Useful iterations: 2 (32.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 402 | 2264 |
| 1 | 1249 | 2075 |
| 2 | 5002 | 2045 |
12 alts after pruning (11 fresh and 1 done)
Merged error: 28.7b
Found 4 expressions with local error:
| 17.8b | (cbrt (+ (* (+ y a) y) b)) |
| 17.8b | (cbrt (+ (* (+ y a) y) b)) |
| 17.8b | (cbrt (+ (* (+ y a) y) b)) |
| 28.9b | (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i)) |
| 15× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity |
| 9× | cbrt-prod times-frac |
| 6× | add-exp-log cbrt-div add-cbrt-cube |
| 5× | flip3-+ flip-+ |
| 4× | pow1 add-log-exp |
| 3× | pow1/3 associate-/r* associate-/l* |
| 2× | associate-/r/ associate-/l/ |
| 1× | cbrt-undiv frac-2neg div-exp clear-num div-inv |
| 9.0ms | (cbrt (+ (* (+ y a) y) b)) |
| 6.0ms | (cbrt (+ (* (+ y a) y) b)) |
| 6.0ms | (cbrt (+ (* (+ y a) y) b)) |
| 46.0ms | (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i)) |
| 112.0ms | (cbrt (+ (* (+ y a) y) b)) |
| 106.0ms | (cbrt (+ (* (+ y a) y) b)) |
| 104.0ms | (cbrt (+ (* (+ y a) y) b)) |
| 345.0ms | (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i)) |
Useful iterations: 2 (30.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 331 | 1684 |
| 1 | 1122 | 1547 |
| 2 | 5002 | 1523 |
11 alts after pruning (10 fresh and 1 done)
Merged error: 28.7b
0% (1.2b remaining)
Error of 29.2b against oracle of 28.0b and baseline of 29.2b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 50 | 40 |
| 1 | 50 | 40 |
| 526.0ms | 8229× | body | 80 | valid |