Time bar (total: 3.0s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.9% | 0.1% | 0 |
| 0% | 99.9% | 0.1% | 1 |
| 0% | 99.9% | 0.1% | 2 |
| 0% | 99.9% | 0.1% | 3 |
| 0% | 99.9% | 0.1% | 4 |
| 0% | 99.9% | 0.1% | 5 |
| 18.7% | 81.1% | 0.1% | 6 |
| 26.5% | 67.1% | 6.4% | 7 |
| 35.1% | 58.5% | 6.4% | 8 |
| 41.3% | 49.9% | 8.7% | 9 |
| 46.4% | 40.2% | 13.4% | 10 |
| 50.8% | 34.2% | 15% | 11 |
| 55.2% | 26.7% | 18.1% | 12 |
| 57.4% | 22% | 20.6% | 13 |
| 59.8% | 17.9% | 22.3% | 14 |
Compiled 39 to 27 computations (30.8% saved)
| 1× | intervals |
| 47.0ms | 256× | body | 128 | valid |
| 4.0ms | 23× | body | 128 | nan |
| 2.0ms | 13× | body | 128 | invalid |
Compiled 77 to 56 computations (27.3% saved)
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 2 | 2 |
Compiled 38 to 26 computations (31.6% saved)
Found 8 expressions with local error:
| 1.2b | (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) |
| 0.6b | (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) |
| 0.1b | (/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) |
| 0.1b | (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)) |
| 1.2b | (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) |
| 1.7b | (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) |
| 20.4b | (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) |
| 20.4b | (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) |
Compiled 765 to 1275 computations (-66.7% saved)
| 1× | rewrite-expression-head |
8 calls:
| 2.0ms | (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) |
| 0.0ms | (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) |
| 0.0ms | (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) |
| 0.0ms | (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) |
| 0.0ms | (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)) |
1 alts after pruning (0 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 1 | 1 |
| Total | 0 | 1 | 1 |
Compiled 38 to 26 computations (31.6% saved)
| 1× | intervals |
| 1.3s | 8000× | body | 128 | valid |
| 101.0ms | 682× | body | 128 | nan |
| 63.0ms | 393× | body | 128 | invalid |
Compiled 115 to 82 computations (28.7% saved)
0
Loading profile data...