Time bar (total: 15.8s)
| 46.0ms | 58× | body | 1280 | valid |
| 26.0ms | 47× | body | 640 | valid |
| 16.0ms | 119× | body | 80 | valid |
| 10.0ms | 53× | body | 80 | invalid |
| 7.0ms | 19× | body | 320 | valid |
| 3.0ms | 13× | body | 160 | valid |
| 2.0ms | 3× | body | 640 | invalid |
| 2.0ms | 4× | body | 320 | invalid |
| 1.0ms | 5× | body | 160 | invalid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 48 | 13 |
| 1 | 158 | 13 |
| 2 | 903 | 13 |
| 3 | 5001 | 13 |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 2 | 2 |
Merged error: 33.2b
Found 4 expressions with local error:
| 2.9b | (* (/ (pow t 3.0) (* l l)) (sin k)) |
| 3.4b | (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) |
| 12.0b | (* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)) |
| 18.6b | (/ (pow t 3.0) (* l l)) |
| 108× | add-exp-log |
| 58× | prod-exp |
| 52× | add-cbrt-cube |
| 26× | cbrt-unprod |
| 24× | div-exp |
| 21× | add-sqr-sqrt |
| 20× | pow1 |
| 19× | *-un-lft-identity |
| 17× | times-frac |
| 16× | associate-*l/ |
| 14× | add-cube-cbrt |
| 13× | associate-*l* |
| 11× | associate-*r* |
| 10× | frac-times unpow-prod-down pow-prod-down |
| 8× | tan-quot cbrt-undiv pow-to-exp pow-exp |
| 7× | associate-/l* |
| 6× | associate-*r/ |
| 4× | flip3-+ flip-+ add-log-exp unswap-sqr sqr-pow |
| 3× | *-commutative distribute-lft-out |
| 2× | div-inv |
| 1× | distribute-rgt-in frac-2neg distribute-lft-in clear-num associate-/r* |
| 9.0ms | (* (/ (pow t 3.0) (* l l)) (sin k)) |
| 11.0ms | (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) |
| 23.0ms | (* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)) |
| 6.0ms | (/ (pow t 3.0) (* l l)) |
| 57.0ms | (* (/ (pow t 3.0) (* l l)) (sin k)) |
| 77.0ms | (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) |
| 179.0ms | (* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)) |
| 43.0ms | (/ (pow t 3.0) (* l l)) |
Useful iterations: 2 (102.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 857 | 1728 |
| 1 | 4784 | 1448 |
| 2 | 5001 | 1444 |
13 alts after pruning (13 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 143 | 13 | 156 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 144 | 13 | 157 |
Merged error: 20.6b
Found 4 expressions with local error:
| 2.6b | (* (/ (pow (cbrt t) 3.0) l) (sin k)) |
| 3.4b | (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) |
| 10.2b | (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) |
| 12.0b | (* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)) |
| 304× | add-exp-log |
| 184× | prod-exp |
| 78× | add-cbrt-cube |
| 77× | div-exp |
| 50× | add-sqr-sqrt |
| 49× | times-frac |
| 44× | associate-*l/ cbrt-unprod |
| 42× | *-un-lft-identity |
| 37× | add-cube-cbrt |
| 36× | associate-*l* |
| 34× | frac-times |
| 33× | pow-exp |
| 29× | pow1 |
| 24× | unpow-prod-down |
| 22× | pow-to-exp |
| 17× | pow-prod-down |
| 16× | tan-quot |
| 14× | associate-*r/ |
| 12× | cbrt-undiv |
| 11× | associate-*r* |
| 10× | cbrt-prod |
| 8× | flip3-+ flip-+ sqr-pow |
| 5× | associate-/l* unswap-sqr |
| 4× | add-log-exp |
| 3× | associate-/r* *-commutative distribute-lft-out |
| 2× | div-inv |
| 1× | distribute-rgt-in frac-2neg distribute-lft-in clear-num |
| 11.0ms | (* (/ (pow (cbrt t) 3.0) l) (sin k)) |
| 17.0ms | (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) |
| 5.0ms | (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) |
| 34.0ms | (* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)) |
| 55.0ms | (* (/ (pow (cbrt t) 3.0) l) (sin k)) |
| 82.0ms | (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) |
| 45.0ms | (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) |
| 187.0ms | (* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)) |
Useful iterations: 1 (30.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 1430 | 3890 |
| 1 | 5002 | 3397 |
16 alts after pruning (16 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 235 | 6 | 241 |
| Fresh | 2 | 10 | 12 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 238 | 16 | 254 |
Merged error: 15.4b
Found 4 expressions with local error:
| 1.0b | (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (cbrt l) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) |
| 2.6b | (* (/ (pow (cbrt t) 3.0) l) (sin k)) |
| 3.4b | (* (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (cbrt l) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) |
| 12.0b | (* (* (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (cbrt l) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)) |
| 5034× | add-exp-log |
| 3200× | prod-exp |
| 1557× | div-exp |
| 709× | pow-exp |
| 424× | pow-to-exp |
| 340× | add-cbrt-cube |
| 246× | cbrt-unprod |
| 125× | associate-*l/ |
| 103× | frac-times |
| 85× | cbrt-undiv |
| 61× | pow1 |
| 41× | pow-prod-down |
| 40× | add-sqr-sqrt |
| 37× | associate-*l* |
| 34× | times-frac |
| 33× | associate-*r/ |
| 32× | tan-quot *-un-lft-identity |
| 27× | add-cube-cbrt |
| 20× | unpow-prod-down |
| 16× | flip3-+ flip-+ |
| 12× | associate-*r* |
| 10× | cbrt-prod |
| 5× | unswap-sqr |
| 4× | *-commutative add-log-exp sqr-pow |
| 3× | distribute-lft-out |
| 1× | distribute-rgt-in distribute-lft-in div-inv |
| 26.0ms | (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (cbrt l) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) |
| 11.0ms | (* (/ (pow (cbrt t) 3.0) l) (sin k)) |
| 45.0ms | (* (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (cbrt l) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) |
| 60.0ms | (* (* (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (cbrt l) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)) |
| 68.0ms | (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (cbrt l) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) |
| 56.0ms | (* (/ (pow (cbrt t) 3.0) l) (sin k)) |
| 86.0ms | (* (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (cbrt l) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) |
| 180.0ms | (* (* (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (cbrt l) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)) |
Useful iterations: 1 (47.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 3241 | 27326 |
| 1 | 5003 | 23695 |
24 alts after pruning (24 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 940 | 11 | 951 |
| Fresh | 2 | 13 | 15 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 943 | 24 | 967 |
Merged error: 13.9b
Found 4 expressions with local error:
| 0.7b | (pow (cbrt t) 3.0) |
| 2.6b | (* (/ (pow (cbrt t) 3.0) l) (sin k)) |
| 3.4b | (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (cbrt l) (cbrt l))) (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k)) |
| 12.0b | (* (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (cbrt l) (cbrt l))) (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)) |
| 3634× | add-exp-log |
| 2390× | prod-exp |
| 1049× | div-exp |
| 480× | pow-exp |
| 286× | pow-to-exp |
| 249× | add-cbrt-cube |
| 185× | cbrt-unprod |
| 100× | associate-*l/ |
| 98× | frac-times |
| 59× | cbrt-undiv |
| 46× | associate-*r/ |
| 43× | add-sqr-sqrt |
| 41× | pow1 |
| 36× | associate-*l* |
| 35× | *-un-lft-identity |
| 34× | times-frac |
| 32× | tan-quot |
| 30× | add-cube-cbrt |
| 26× | unpow-prod-down pow-prod-down |
| 16× | flip3-+ flip-+ |
| 13× | cbrt-prod |
| 11× | associate-*r* |
| 5× | unswap-sqr sqr-pow |
| 4× | add-log-exp |
| 3× | pow-unpow *-commutative distribute-lft-out |
| 2× | pow-pow |
| 1× | distribute-rgt-in distribute-lft-in pow1/3 div-inv |
| 3.0ms | (pow (cbrt t) 3.0) |
| 12.0ms | (* (/ (pow (cbrt t) 3.0) l) (sin k)) |
| 38.0ms | (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (cbrt l) (cbrt l))) (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k)) |
| 63.0ms | (* (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (cbrt l) (cbrt l))) (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)) |
| 47.0ms | (pow (cbrt t) 3.0) |
| 56.0ms | (* (/ (pow (cbrt t) 3.0) l) (sin k)) |
| 87.0ms | (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (cbrt l) (cbrt l))) (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k)) |
| 188.0ms | (* (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (cbrt l) (cbrt l))) (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)) |
Useful iterations: 1 (45.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 3212 | 20557 |
| 1 | 5001 | 20313 |
29 alts after pruning (29 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 696 | 10 | 706 |
| Fresh | 4 | 19 | 23 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 701 | 29 | 730 |
Merged error: 11.7b
0% (3.0b remaining)
Error of 15.6b against oracle of 12.6b and baseline of 15.6b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 36 | 31 |
| 1 | 36 | 31 |
| 1.7s | 2094× | body | 1280 | valid |
| 884.0ms | 1555× | body | 640 | valid |
| 440.0ms | 3277× | body | 80 | valid |
| 296.0ms | 724× | body | 320 | valid |
| 189.0ms | 1432× | body | 80 | invalid |
| 97.0ms | 350× | body | 160 | valid |
| 77.0ms | 133× | body | 640 | invalid |
| 45.0ms | 116× | body | 320 | invalid |
| 27.0ms | 92× | body | 160 | invalid |
| 15.0ms | 20× | body | 1280 | invalid |
Loading profile data...