Time bar (total: 847.0ms)
| 15.0ms | 282× | body | 80 | valid |
| 4.0ms | 86× | body | 80 | nan |
Useful iterations: 2 (7.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 20 | 38 |
| 1 | 35 | 38 |
| 2 | 65 | 37 |
| 3 | 115 | 37 |
| 4 | 138 | 37 |
| 5 | 152 | 37 |
| 6 | 153 | 37 |
| done | 153 | 37 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 19.4b
Found 4 expressions with local error:
| 1.0b | (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) |
| 1.3b | (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) |
| 21.1b | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 21.1b | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 16× | add-sqr-sqrt |
| 12× | *-un-lft-identity |
| 10× | add-log-exp |
| 8× | sqrt-prod |
| 6× | pow1 add-cube-cbrt |
| 4× | add-exp-log flip3-- sqrt-div add-cbrt-cube flip-- difference-of-squares |
| 3× | diff-log distribute-lft-out-- |
| 2× | sub-neg rem-sqrt-square sqrt-pow1 pow1/2 |
| 1× | associate--l- neg-sub0 distribute-rgt-neg-in neg-log |
| 15.0ms | (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) |
| 18.0ms | (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) |
| 4.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 4.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 77.0ms | (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) |
| 79.0ms | (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) |
| 70.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
| 68.0ms | (sqrt (- (* b b) (* (* 4.0 a) c))) |
Useful iterations: 2 (67.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 106 | 1330 |
| 1 | 249 | 1181 |
| 2 | 836 | 1110 |