Time bar (total: 5.0s)
| 327.0ms | 1327× | body | 80 | nan |
| 111.0ms | 434× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 22 | 35 |
| 1 | 54 | 35 |
| 2 | 174 | 35 |
| 3 | 707 | 35 |
| 4 | 4481 | 35 |
| done | 5001 | 35 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 27.4b
Found 4 expressions with local error:
| 7.3b | (* (* (pow (/ d h) (/ 1.0 2.0)) (pow (/ d l) (/ 1.0 2.0))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l)))) |
| 9.5b | (pow (/ d h) (/ 1.0 2.0)) |
| 13.7b | (pow (/ d l) (/ 1.0 2.0)) |
| 14.7b | (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l)) |
| 205× | add-exp-log |
| 107× | prod-exp |
| 55× | div-exp |
| 45× | times-frac |
| 40× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity pow-exp |
| 30× | add-cbrt-cube |
| 26× | unpow-prod-down pow-unpow |
| 16× | associate-*r* |
| 14× | pow-to-exp |
| 13× | cbrt-unprod |
| 10× | pow1 |
| 5× | cbrt-undiv div-inv |
| 4× | add-log-exp |
| 3× | associate-*r/ associate-*l/ |
| 2× | distribute-rgt-in sub-neg pow-pow distribute-lft-in associate-*l* pow-prod-down *-commutative sqr-pow |
| 1× | frac-times flip3-- flip-- |
| 127.0ms | (* (* (pow (/ d h) (/ 1.0 2.0)) (pow (/ d l) (/ 1.0 2.0))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l)))) |
| 8.0ms | (pow (/ d h) (/ 1.0 2.0)) |
| 8.0ms | (pow (/ d l) (/ 1.0 2.0)) |
| 104.0ms | (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l)) |