Time bar (total: 4.3s)
| 99.0ms | 392× | body | 80 | nan |
| 69.0ms | 61× | body | 5120 | valid |
| 59.0ms | 61× | body | 2560 | valid |
| 36.0ms | 19× | body | 10240 | exit |
| 26.0ms | 202× | body | 80 | valid |
| 26.0ms | 39× | body | 1280 | valid |
| 6.0ms | 12× | body | 640 | valid |
| 2.0ms | 4× | body | 320 | valid |
| 1.0ms | 3× | body | 160 | valid |
Useful iterations: done (2.2s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 21 | 52 |
| 1 | 59 | 52 |
| 2 | 289 | 52 |
| 3 | 3227 | 52 |
| done | 5000 | 46 |
2 alts after pruning (2 fresh and 0 done)
Merged error: 57.2b
Found 4 expressions with local error:
| 16.1b | (/ (* c0 (* d d)) (* (* w h) (* D D))) |
| 16.1b | (/ (* c0 (* d d)) (* (* w h) (* D D))) |
| 16.1b | (/ (* c0 (* d d)) (* (* w h) (* D D))) |
| 24.9b | (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))) |
| 211× | add-exp-log add-cbrt-cube |
| 117× | prod-exp cbrt-unprod |
| 45× | cbrt-undiv div-exp |
| 6× | *-un-lft-identity add-log-exp |
| 4× | pow1 add-sqr-sqrt add-cube-cbrt |
| 3× | frac-2neg times-frac clear-num associate-/r* div-inv associate-/l* |
| 2× | sqrt-div frac-add |
| 1× | +-commutative flip3-- flip3-+ sum-log flip-- flip-+ distribute-lft-out |
| 66.0ms | (/ (* c0 (* d d)) (* (* w h) (* D D))) |
| 88.0ms | (/ (* c0 (* d d)) (* (* w h) (* D D))) |
| 90.0ms | (/ (* c0 (* d d)) (* (* w h) (* D D))) |
| 1.0s | (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))) |