Graphics.Rendering.Chart.Plot.Vectors:renderPlotVectors from Chart-1.5.3
Time bar (total: 1.1s)
| 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 12 to 9 computations (25% saved)
| 552.0ms | 5866× | body | 256 | valid |
| 97.0ms | 628× | body | 1024 | valid |
| 84.0ms | 726× | body | 512 | valid |
| 83.0ms | 1031× | body | 256 | infinite |
| 1.0ms | 5× | body | 2048 | valid |
| 1× | egg-herbie |
| 699× | +-commutative |
| 532× | fma-neg |
| 483× | *-commutative |
| 379× | associate--l- |
| 342× | unsub-neg |
| 190× | No Errors |
| 66× | (+.f64 x (*.f64 (-.f64 1 x) (-.f64 1 y))) |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 25 | 270 |
| 1 | 57 | 222 |
| 2 | 174 | 218 |
| 3 | 634 | 218 |
| 4 | 2752 | 175 |
| 5 | 5179 | 175 |
| 6 | 6668 | 175 |
| 7 | 7267 | 175 |
| 8 | 7541 | 175 |
| 9 | 7682 | 175 |
| 10 | 7771 | 175 |
| 11 | 7899 | 175 |
| 1× | node limit |
| Inputs |
|---|
(+.f64 x (*.f64 (-.f64 1 x) (-.f64 1 y))) |
(+.f64 x (*.f64 (-.f64 1 x) (-.f64 1 y))) |
(+.f64 (neg.f64 x) (*.f64 (-.f64 1 (neg.f64 x)) (-.f64 1 y))) |
(+.f64 x (*.f64 (-.f64 1 x) (-.f64 1 (neg.f64 y)))) |
(neg.f64 (+.f64 (neg.f64 x) (*.f64 (-.f64 1 (neg.f64 x)) (-.f64 1 y)))) |
(neg.f64 (+.f64 x (*.f64 (-.f64 1 x) (-.f64 1 (neg.f64 y))))) |
(+.f64 y (*.f64 (-.f64 1 y) (-.f64 1 x))) |
| Outputs |
|---|
(+.f64 x (*.f64 (-.f64 1 x) (-.f64 1 y))) |
(fma.f64 (-.f64 1 x) (-.f64 1 y) x) |
(-.f64 1 (*.f64 (-.f64 1 x) y)) |
(+.f64 x (*.f64 (-.f64 1 x) (-.f64 1 y))) |
(fma.f64 (-.f64 1 x) (-.f64 1 y) x) |
(-.f64 1 (*.f64 (-.f64 1 x) y)) |
(+.f64 (neg.f64 x) (*.f64 (-.f64 1 (neg.f64 x)) (-.f64 1 y))) |
(+.f64 (neg.f64 x) (*.f64 (-.f64 1 y) (-.f64 1 (neg.f64 x)))) |
(fma.f64 (-.f64 1 y) (+.f64 x 1) (neg.f64 x)) |
(neg.f64 (fma.f64 (+.f64 x 1) (+.f64 y -1) x)) |
(+.f64 1 (*.f64 y (-.f64 -1 x))) |
(+.f64 x (*.f64 (-.f64 1 x) (-.f64 1 (neg.f64 y)))) |
(fma.f64 (-.f64 1 x) (+.f64 1 y) x) |
(+.f64 1 (*.f64 (-.f64 1 x) y)) |
(neg.f64 (+.f64 (neg.f64 x) (*.f64 (-.f64 1 (neg.f64 x)) (-.f64 1 y)))) |
(neg.f64 (+.f64 (neg.f64 x) (*.f64 (-.f64 1 y) (-.f64 1 (neg.f64 x))))) |
(-.f64 x (*.f64 (-.f64 1 y) (+.f64 x 1))) |
(fma.f64 (+.f64 x 1) (+.f64 y -1) x) |
(+.f64 -1 (*.f64 y (+.f64 x 1))) |
(neg.f64 (+.f64 x (*.f64 (-.f64 1 x) (-.f64 1 (neg.f64 y))))) |
(neg.f64 (fma.f64 (-.f64 1 x) (+.f64 1 y) x)) |
(-.f64 (*.f64 (+.f64 1 y) (+.f64 x -1)) x) |
(-.f64 (*.f64 (-.f64 1 x) (-.f64 -1 y)) x) |
(-.f64 -1 (*.f64 (-.f64 1 x) y)) |
(+.f64 y (*.f64 (-.f64 1 y) (-.f64 1 x))) |
(+.f64 y (*.f64 (-.f64 1 x) (-.f64 1 y))) |
(fma.f64 (-.f64 1 x) (-.f64 1 y) y) |
(+.f64 1 (*.f64 x (+.f64 y -1))) |
Compiled 28 to 19 computations (32.1% saved)
Loading profile data...