Diagrams.Solve.Polynomial:quartForm from diagrams-solve-0.1, A
Time bar (total: 749.0ms)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 100% | 99.9% | 0% | 0.1% | 0% | 0% | 0% | 1 |
Compiled 9 to 9 computations (0% saved)
| 434.0ms | 7 624× | 0 | valid |
| 32.0ms | 255× | 1 | valid |
| 21.0ms | 186× | 3 | valid |
| 17.0ms | 191× | 2 | valid |
ival-div: 72.0ms (36.4% of total)ival-mult: 56.0ms (28.3% of total)ival-sub: 46.0ms (23.2% of total)adjust: 8.0ms (4% of total)exact: 7.0ms (3.5% of total)ival-true: 5.0ms (2.5% of total)ival-assert: 3.0ms (1.5% of total)| 2× | egg-herbie |
| 128× | accelerator-lowering-fma.f32 |
| 128× | accelerator-lowering-fma.f64 |
| 80× | *-lowering-*.f32 |
| 80× | *-lowering-*.f64 |
| 62× | sub-neg |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 17 | 34 |
| 1 | 48 | 32 |
| 2 | 93 | 30 |
| 3 | 173 | 30 |
| 4 | 273 | 30 |
| 5 | 311 | 30 |
| 6 | 317 | 30 |
| 0 | 8 | 5 |
| 1 | 15 | 5 |
| 2 | 25 | 5 |
| 3 | 34 | 5 |
| 4 | 46 | 5 |
| 5 | 64 | 5 |
| 6 | 99 | 5 |
| 7 | 129 | 5 |
| 8 | 164 | 5 |
| 9 | 188 | 5 |
| 10 | 202 | 5 |
| 0 | 202 | 4 |
| 1× | iter limit |
| 1× | saturated |
| 1× | saturated |
| Inputs |
|---|
(- x (* (/ 3 8) y)) |
| Outputs |
|---|
(- x (* (/ 3 8) y)) |
(fma.f64 y #s(literal -3/8 binary64) x) |
| Inputs |
|---|
(- x (* (/ 3 8) y)) |
(- (neg x) (* (/ 3 8) y)) |
(- x (* (/ 3 8) (neg y))) |
(neg (- (neg x) (* (/ 3 8) y))) |
(neg (- x (* (/ 3 8) (neg y)))) |
(- y (* (/ 3 8) x)) |
| Outputs |
|---|
(- x (* (/ 3 8) y)) |
(+ x (* y -3/8)) |
(- (neg x) (* (/ 3 8) y)) |
(- (* y -3/8) x) |
(- x (* (/ 3 8) (neg y))) |
(+ x (* 3/8 y)) |
(neg (- (neg x) (* (/ 3 8) y))) |
(+ x (* 3/8 y)) |
(neg (- x (* (/ 3 8) (neg y)))) |
(- (* y -3/8) x) |
(- y (* (/ 3 8) x)) |
(+ y (* x -3/8)) |
| 0.0ms | 8× | 0 | valid |
Compiled 21 to 9 computations (57.1% saved)
ival-div: 0.0ms (0% of total)ival-sub: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)ival-mult: 0.0ms (0% of total)exact: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)Loading profile data...