Time bar (total: 17.3s)
| 14.0ms | 272× | body | 80 | valid |
| 14.0ms | 268× | body | 80 | nan |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 8 |
| 1 | 12 | 8 |
| 2 | 14 | 8 |
| done | 14 | 8 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 21.7b
Found 3 expressions with local error:
| 0.9b | (* c0 (sqrt (/ A (* V l)))) |
| 6.1b | (/ A (* V l)) |
| 18.3b | (sqrt (/ A (* V l))) |
| 16× | add-sqr-sqrt |
| 15× | sqrt-prod |
| 11× | add-cube-cbrt *-un-lft-identity |
| 10× | add-exp-log associate-*r* add-cbrt-cube |
| 9× | times-frac |
| 6× | pow1 |
| 3× | associate-*l* div-inv associate-/l* add-log-exp |
| 2× | cbrt-undiv sqrt-div div-exp prod-exp cbrt-unprod unswap-sqr |
| 1× | rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 associate-*r/ pow-prod-down clear-num associate-/r* *-commutative |
| 49.0ms | (* c0 (sqrt (/ A (* V l)))) |
| 14.0ms | (/ A (* V l)) |
| 20.0ms | (sqrt (/ A (* V l))) |
| 70.0ms | (* c0 (sqrt (/ A (* V l)))) |
| 44.0ms | (/ A (* V l)) |
| 62.0ms | (sqrt (/ A (* V l))) |
Useful iterations: 2 (96.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 103 | 661 |
| 1 | 208 | 611 |
| 2 | 586 | 561 |
| 3 | 1997 | 561 |
| done | 5000 | 561 |
18 alts after pruning (18 fresh and 0 done)
Merged error: 8.2b
Found 3 expressions with local error:
| 0.9b | (* c0 (sqrt (* (/ 1 V) (/ A l)))) |
| 3.6b | (* (/ 1 V) (/ A l)) |
| 18.3b | (sqrt (* (/ 1 V) (/ A l))) |
| 38× | add-sqr-sqrt |
| 27× | add-exp-log |
| 25× | times-frac |
| 21× | *-un-lft-identity |
| 19× | add-cube-cbrt |
| 17× | associate-*r* add-cbrt-cube |
| 16× | associate-*l* |
| 10× | pow1 |
| 9× | prod-exp |
| 8× | div-exp |
| 7× | unswap-sqr |
| 6× | sqrt-div associate-*r/ |
| 5× | cbrt-unprod |
| 4× | cbrt-undiv |
| 3× | frac-times pow-prod-down associate-*l/ add-log-exp |
| 2× | rec-exp sqrt-pow1 1-exp sqrt-prod *-commutative div-inv |
| 1× | pow1/2 |
| 65.0ms | (* c0 (sqrt (* (/ 1 V) (/ A l)))) |
| 31.0ms | (* (/ 1 V) (/ A l)) |
| 9.0ms | (sqrt (* (/ 1 V) (/ A l))) |
| 92.0ms | (* c0 (sqrt (* (/ 1 V) (/ A l)))) |
| 28.0ms | (* (/ 1 V) (/ A l)) |
| 86.0ms | (sqrt (* (/ 1 V) (/ A l))) |
Useful iterations: 2 (254.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 161 | 1072 |
| 1 | 393 | 847 |
| 2 | 1157 | 733 |
| 3 | 3629 | 733 |
| done | 5000 | 733 |
16 alts after pruning (16 fresh and 0 done)
Merged error: 4.8b
Found 3 expressions with local error:
| 0.9b | (* c0 (sqrt (/ (/ A l) V))) |
| 3.5b | (/ (/ A l) V) |
| 18.3b | (sqrt (/ (/ A l) V)) |
| 213× | times-frac |
| 134× | add-sqr-sqrt |
| 117× | add-cube-cbrt *-un-lft-identity |
| 89× | sqrt-prod |
| 46× | associate-*r* |
| 13× | div-inv associate-/l* |
| 10× | add-exp-log add-cbrt-cube |
| 6× | pow1 |
| 4× | unswap-sqr |
| 3× | cbrt-undiv rem-sqrt-square div-exp associate-*l* associate-/r* add-log-exp |
| 2× | sqrt-div |
| 1× | frac-2neg sqrt-pow1 pow1/2 associate-*r/ pow-prod-down prod-exp clear-num *-commutative cbrt-unprod associate-/l/ |
| 82.0ms | (* c0 (sqrt (/ (/ A l) V))) |
| 23.0ms | (/ (/ A l) V) |
| 15.0ms | (sqrt (/ (/ A l) V)) |
| 72.0ms | (* c0 (sqrt (/ (/ A l) V))) |
| 34.0ms | (/ (/ A l) V) |
| 44.0ms | (sqrt (/ (/ A l) V)) |
Useful iterations: 3 (1.1s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 309 | 2510 |
| 1 | 571 | 2318 |
| 2 | 1178 | 2222 |
| 3 | 2971 | 2192 |
| done | 5001 | 2192 |
17 alts after pruning (16 fresh and 1 done)
Merged error: 0.0b
Found 4 expressions with local error:
| 0.5b | (cbrt A) |
| 0.5b | (cbrt A) |
| 0.6b | (cbrt V) |
| 0.6b | (cbrt V) |
| 12× | cbrt-prod |
| 8× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity |
| 4× | pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp |
| 1.0ms | (cbrt A) |
| 1.0ms | (cbrt A) |
| 1.0ms | (cbrt V) |
| 1.0ms | (cbrt V) |
| 287.0ms | (cbrt A) |
| 252.0ms | (cbrt A) |
| 283.0ms | (cbrt V) |
| 325.0ms | (cbrt V) |
Useful iterations: 3 (68.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 42 | 260 |
| 1 | 71 | 244 |
| 2 | 144 | 220 |
| 3 | 298 | 208 |
| 4 | 773 | 208 |
| 5 | 2577 | 208 |
| done | 5001 | 208 |
20 alts after pruning (18 fresh and 2 done)
Merged error: 0.0b