Time bar (total: 15.4s)
| 23.0ms | 409× | body | 80 | valid |
Useful iterations: 5 (198.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 17 | 329 |
| 1 | 33 | 304 |
| 2 | 69 | 304 |
| 3 | 137 | 304 |
| 4 | 266 | 294 |
| 5 | 456 | 279 |
| 6 | 729 | 279 |
| 7 | 1089 | 279 |
| 8 | 1712 | 279 |
| 9 | 2252 | 279 |
| 10 | 2598 | 279 |
| 11 | 2867 | 279 |
| 12 | 3118 | 279 |
| 13 | 3369 | 279 |
| 14 | 3609 | 279 |
| 15 | 3856 | 279 |
| 16 | 4107 | 279 |
| 17 | 4346 | 279 |
| 18 | 4587 | 279 |
| 19 | 4838 | 279 |
| done | 5000 | 279 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0b
Found 1 expressions with local error:
| 0.0b | (- (fma x y c) (/ (* a b) 4.0)) |
| 21× | prod-diff |
| 17× | add-sqr-sqrt *-un-lft-identity |
| 15× | add-cube-cbrt |
| 9× | times-frac |
| 3× | fma-neg div-inv add-log-exp |
| 1× | expm1-log1p-u pow1 sub-neg flip3-- add-cbrt-cube diff-log associate--l+ add-exp-log fma-udef log1p-expm1-u flip-- distribute-lft-out-- difference-of-squares |
| 16.0ms | (- (fma x y c) (/ (* a b) 4.0)) |
| 131.0ms | (- (fma x y c) (/ (* a b) 4.0)) |
Useful iterations: 3 (1.2s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 107 | 19368 |
| 1 | 255 | 17541 |
| 2 | 749 | 14885 |
| 3 | 3117 | 14635 |
| done | 5000 | 14635 |
1 alts after pruning (0 fresh and 1 done)
Merged error: 0b
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 279 |
| 1 | 16 | 279 |
| done | 16 | 279 |
| 1.6s | 11859× | body | 80 | valid |