Time bar (total: 30.0s)
| 140.0ms | 80× | body | 2560 | valid |
| 128.0ms | 32× | body | 5120 | valid |
| 105.0ms | 130× | body | 1280 | valid |
| 52.0ms | 92× | body | 640 | valid |
| 8.0ms | 22× | body | 320 | valid |
| 6.0ms | 47× | body | 80 | valid |
| 2.0ms | 10× | body | 160 | valid |
Useful iterations: 3 (27.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 44 | 13 |
| 1 | 147 | 13 |
| 2 | 857 | 12 |
| 3 | 5002 | 11 |
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: 36.8b
Found 4 expressions with local error:
| 0.2b | (pow (/ k t) 2.0) |
| 1.0b | (* (pow t 3.0) (tan k)) |
| 18.9b | (/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k))) |
| 27.5b | (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) |
| 337× | add-exp-log |
| 220× | prod-exp |
| 71× | div-exp |
| 65× | add-cbrt-cube |
| 51× | pow-exp |
| 34× | pow-to-exp cbrt-unprod |
| 30× | unpow-prod-down |
| 28× | add-sqr-sqrt |
| 24× | associate-*l* |
| 23× | add-cube-cbrt *-un-lft-identity |
| 19× | times-frac |
| 12× | cbrt-undiv |
| 5× | pow1 associate-*r/ |
| 4× | associate-*r* add-log-exp sqr-pow |
| 3× | tan-quot pow-unpow div-inv unswap-sqr |
| 2× | *-commutative |
| 1× | pow-pow frac-2neg associate-*l/ clear-num associate-/r* associate-/r/ associate-/l* |
| 4.0ms | (pow (/ k t) 2.0) |
| 6.0ms | (* (pow t 3.0) (tan k)) |
| 18.0ms | (/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k))) |
| 11.0ms | (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) |
| 67.0ms | (pow (/ k t) 2.0) |
| 243.0ms | (* (pow t 3.0) (tan k)) |
| 374.0ms | (/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k))) |
| 244.0ms | (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) |
Useful iterations: 1 (23.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 974 | 1954 |
| 1 | 4995 | 1620 |
| 2 | 5001 | 1620 |
7 alts after pruning (7 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 184 | 7 | 191 |
| Fresh | 1 | 0 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 186 | 7 | 193 |
Merged error: 20.1b
Found 4 expressions with local error:
| 0.4b | (pow (sin k) 2) |
| 6.1b | (/ (* (cos k) (pow l 2)) (pow (sin k) 2)) |
| 9.7b | (* (pow k 2.0) (pow t 1.0)) |
| 14.3b | (* (pow (/ 1 (* (pow k 2.0) (pow t 1.0))) 1.0) (/ (* (cos k) (pow l 2)) (pow (sin k) 2))) |
| 1597× | add-exp-log |
| 1095× | prod-exp |
| 882× | pow-exp |
| 668× | div-exp |
| 492× | pow-to-exp |
| 130× | rec-exp 1-exp |
| 37× | add-sqr-sqrt |
| 32× | unpow-prod-down |
| 20× | add-cube-cbrt *-un-lft-identity add-cbrt-cube |
| 19× | times-frac associate-*r* |
| 18× | associate-*l* |
| 14× | sqr-pow |
| 12× | unswap-sqr |
| 8× | associate-/r* |
| 6× | cbrt-unprod |
| 5× | pow1 |
| 4× | cbrt-undiv unpow2 add-log-exp |
| 3× | pow-unpow div-inv |
| 2× | *-commutative |
| 1× | pow-pow frac-2neg associate-*r/ clear-num associate-/l* |
| 3.0ms | (pow (sin k) 2) |
| 8.0ms | (/ (* (cos k) (pow l 2)) (pow (sin k) 2)) |
| 7.0ms | (* (pow k 2.0) (pow t 1.0)) |
| 26.0ms | (* (pow (/ 1 (* (pow k 2.0) (pow t 1.0))) 1.0) (/ (* (cos k) (pow l 2)) (pow (sin k) 2))) |
| 19.0ms | (pow (sin k) 2) |
| 89.0ms | (/ (* (cos k) (pow l 2)) (pow (sin k) 2)) |
| 337.0ms | (* (pow k 2.0) (pow t 1.0)) |
| 654.0ms | (* (pow (/ 1 (* (pow k 2.0) (pow t 1.0))) 1.0) (/ (* (cos k) (pow l 2)) (pow (sin k) 2))) |
Useful iterations: 2 (84.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 1180 | 6917 |
| 1 | 3731 | 6762 |
| 2 | 5003 | 6761 |
11 alts after pruning (11 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 571 | 8 | 579 |
| Fresh | 3 | 3 | 6 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 575 | 11 | 586 |
Merged error: 15.7b
Found 4 expressions with local error:
| 0.4b | (/ 1 (* (pow k (/ 2.0 2)) (* (pow k (/ 2.0 2)) (pow t 1.0)))) |
| 0.4b | (pow (sin k) 2) |
| 6.1b | (/ (* (cos k) (pow l 2)) (pow (sin k) 2)) |
| 14.3b | (* (pow (/ 1 (* (pow k (/ 2.0 2)) (* (pow k (/ 2.0 2)) (pow t 1.0)))) 1.0) (/ (* (cos k) (pow l 2)) (pow (sin k) 2))) |
| 5603× | add-exp-log |
| 4515× | prod-exp |
| 3078× | pow-exp |
| 2032× | div-exp |
| 1869× | pow-to-exp |
| 434× | rec-exp 1-exp |
| 27× | add-cbrt-cube |
| 23× | add-sqr-sqrt |
| 22× | times-frac |
| 20× | unpow-prod-down |
| 18× | add-cube-cbrt *-un-lft-identity |
| 12× | associate-*r* |
| 11× | associate-*l* |
| 9× | associate-/r* |
| 8× | cbrt-unprod |
| 7× | cbrt-undiv |
| 6× | pow1 sqr-pow |
| 4× | div-inv associate-/l* unpow2 add-log-exp |
| 3× | pow-unpow unswap-sqr |
| 2× | frac-2neg clear-num |
| 1× | pow-flip pow-pow associate-*r/ *-commutative inv-pow |
| 12.0ms | (/ 1 (* (pow k (/ 2.0 2)) (* (pow k (/ 2.0 2)) (pow t 1.0)))) |
| 3.0ms | (pow (sin k) 2) |
| 8.0ms | (/ (* (cos k) (pow l 2)) (pow (sin k) 2)) |
| 43.0ms | (* (pow (/ 1 (* (pow k (/ 2.0 2)) (* (pow k (/ 2.0 2)) (pow t 1.0)))) 1.0) (/ (* (cos k) (pow l 2)) (pow (sin k) 2))) |
| 347.0ms | (/ 1 (* (pow k (/ 2.0 2)) (* (pow k (/ 2.0 2)) (pow t 1.0)))) |
| 18.0ms | (pow (sin k) 2) |
| 90.0ms | (/ (* (cos k) (pow l 2)) (pow (sin k) 2)) |
| 667.0ms | (* (pow (/ 1 (* (pow k (/ 2.0 2)) (* (pow k (/ 2.0 2)) (pow t 1.0)))) 1.0) (/ (* (cos k) (pow l 2)) (pow (sin k) 2))) |
Useful iterations: 2 (97.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 1742 | 23541 |
| 1 | 4574 | 19109 |
| 2 | 5002 | 17856 |
13 alts after pruning (13 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1465 | 7 | 1472 |
| Fresh | 4 | 6 | 10 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 1470 | 13 | 1483 |
Merged error: 12.5b
Found 4 expressions with local error:
| 0.4b | (/ 1 (* (pow k (/ 2.0 2)) (* (pow k (/ 2.0 2)) (pow t 1.0)))) |
| 0.4b | (/ (cos k) (/ (/ (sin k) l) l)) |
| 2.4b | (/ (/ (cos k) (/ (/ (sin k) l) l)) (sin k)) |
| 14.3b | (* (pow (/ 1 (* (pow k (/ 2.0 2)) (* (pow k (/ 2.0 2)) (pow t 1.0)))) 1.0) (/ (/ (cos k) (/ (/ (sin k) l) l)) (sin k))) |
| 3522× | times-frac |
| 2743× | add-exp-log |
| 1561× | add-sqr-sqrt |
| 1506× | add-cube-cbrt *-un-lft-identity prod-exp |
| 1348× | div-exp |
| 974× | pow-exp |
| 509× | pow-to-exp |
| 406× | associate-*r* |
| 186× | rec-exp 1-exp |
| 140× | associate-/l* |
| 112× | div-inv |
| 56× | add-cbrt-cube |
| 47× | associate-/r* |
| 29× | cbrt-undiv |
| 15× | unswap-sqr |
| 12× | unpow-prod-down |
| 11× | associate-*l* |
| 8× | associate-/r/ cbrt-unprod |
| 6× | sqr-pow |
| 5× | pow1 |
| 4× | add-log-exp |
| 3× | frac-2neg clear-num |
| 1× | pow-flip associate-*r/ *-commutative associate-/l/ inv-pow |
| 12.0ms | (/ 1 (* (pow k (/ 2.0 2)) (* (pow k (/ 2.0 2)) (pow t 1.0)))) |
| 13.0ms | (/ (cos k) (/ (/ (sin k) l) l)) |
| 40.0ms | (/ (/ (cos k) (/ (/ (sin k) l) l)) (sin k)) |
| 155.0ms | (* (pow (/ 1 (* (pow k (/ 2.0 2)) (* (pow k (/ 2.0 2)) (pow t 1.0)))) 1.0) (/ (/ (cos k) (/ (/ (sin k) l) l)) (sin k))) |
| 345.0ms | (/ 1 (* (pow k (/ 2.0 2)) (* (pow k (/ 2.0 2)) (pow t 1.0)))) |
| 72.0ms | (/ (cos k) (/ (/ (sin k) l) l)) |
| 90.0ms | (/ (/ (cos k) (/ (/ (sin k) l) l)) (sin k)) |
| 654.0ms | (* (pow (/ 1 (* (pow k (/ 2.0 2)) (* (pow k (/ 2.0 2)) (pow t 1.0)))) 1.0) (/ (/ (cos k) (/ (/ (sin k) l) l)) (sin k))) |
Useful iterations: 0 (32.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5001 | 34091 |
14 alts after pruning (14 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1792 | 11 | 1803 |
| Fresh | 9 | 3 | 12 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 1802 | 14 | 1816 |
Merged error: 6.9b
27.2% (2.4b remaining)
Error of 10.3b against oracle of 7.9b and baseline of 11.2b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 52 | 40 |
| 1 | 52 | 40 |
| 4.5s | 2148× | body | 2560 | valid |
| 4.3s | 964× | body | 5120 | valid |
| 3.3s | 4079× | body | 1280 | valid |
| 1.4s | 2571× | body | 640 | valid |
| 380.0ms | 1028× | body | 320 | valid |
| 277.0ms | 2048× | body | 80 | valid |
| 99.0ms | 400× | body | 160 | valid |
Loading profile data...