Time bar (total: 1.2s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 1 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 2 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 3 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 4 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 5 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 6 |
| 12.5% | 12.5% | 87.4% | 0.1% | 0% | 0% | 0% | 7 |
| 18.8% | 18.7% | 81.1% | 0.1% | 0% | 0% | 0% | 8 |
| 28.1% | 28.1% | 71.8% | 0.1% | 0% | 0% | 0% | 9 |
| 39.7% | 37.4% | 56.9% | 0.1% | 5.5% | 0% | 0% | 10 |
| 46.5% | 43.7% | 50.3% | 0.1% | 5.9% | 0% | 0% | 11 |
| 55.2% | 51.9% | 42.1% | 0.1% | 5.9% | 0% | 0% | 12 |
Compiled 9 to 6 computations (33.3% saved)
| 900.0ms | 8256× | body | 256 | valid |
| 52.0ms | 624× | body | 256 | infinite |
| 2× | egg-herbie |
| 372× | fma-def |
| 162× | associate-+r+ |
| 126× | associate-+l+ |
| 108× | associate-+l- |
| 92× | +-commutative |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 52 |
| 1 | 33 | 52 |
| 2 | 62 | 52 |
| 3 | 102 | 52 |
| 4 | 151 | 52 |
| 5 | 363 | 52 |
| 6 | 662 | 52 |
| 7 | 770 | 52 |
| 8 | 906 | 52 |
| 9 | 921 | 52 |
| 10 | 924 | 52 |
| 0 | 3 | 3 |
| 1 | 3 | 3 |
| 1× | unsound |
| 1× | saturated |
| Inputs |
|---|
0 |
1 |
2 |
| Outputs |
|---|
0 |
1 |
2 |
1 |
| Inputs |
|---|
(-.f64 x (*.f64 y z)) |
(-.f64 y (*.f64 x z)) |
(-.f64 z (*.f64 y x)) |
(-.f64 x (*.f64 z y)) |
| Outputs |
|---|
(-.f64 x (*.f64 y z)) |
(-.f64 y (*.f64 x z)) |
(-.f64 z (*.f64 y x)) |
(-.f64 z (*.f64 x y)) |
(-.f64 x (*.f64 z y)) |
(-.f64 x (*.f64 y z)) |
(sort y z)
Compiled 11 to 8 computations (27.3% saved)
| 1× | egg-herbie |
| 144× | fma-def |
| 70× | +-commutative |
| 68× | associate--r+ |
| 66× | associate-+l- |
| 50× | associate--l+ |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 13 |
| 1 | 14 | 13 |
| 2 | 26 | 13 |
| 3 | 45 | 13 |
| 4 | 62 | 13 |
| 5 | 106 | 13 |
| 6 | 182 | 13 |
| 7 | 231 | 13 |
| 8 | 318 | 13 |
| 9 | 475 | 13 |
| 10 | 521 | 13 |
| 11 | 527 | 13 |
| 1× | saturated |
| Inputs |
|---|
(-.f64 x (*.f64 y z)) |
| Outputs |
|---|
(-.f64 x (*.f64 y z)) |
Compiled 8 to 5 computations (37.5% 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 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (-.f64 x (*.f64 y z)) |
Compiled 8 to 5 computations (37.5% saved)
Compiled 14 to 5 computations (64.3% saved)
Compiled 3 to 3 computations (0% saved)
1 alts after pruning (0 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 0 | 1 | 1 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (-.f64 x (*.f64 y z)) |
Compiled 16 to 10 computations (37.5% saved)
| 1× | egg-herbie |
| 10× | +-commutative |
| 10× | *-commutative |
| 6× | sub-neg |
| 6× | neg-mul-1 |
| 6× | neg-sub0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 13 |
| 1 | 14 | 13 |
| 2 | 26 | 13 |
| 3 | 32 | 13 |
| 4 | 36 | 13 |
| 5 | 37 | 13 |
| 1× | done |
| 1× | saturated |
| Inputs |
|---|
(-.f64 x (*.f64 y z)) |
| Outputs |
|---|
(-.f64 x (*.f64 y z)) |
Compiled 8 to 5 computations (37.5% saved)
(sort y z)
Compiled 24 to 15 computations (37.5% saved)
Loading profile data...