Time bar (total: 3.4s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 48.6% | 51.4% | 0 |
| 0% | 48.6% | 51.4% | 1 |
| 24.3% | 24.3% | 51.4% | 2 |
| 24.3% | 24.3% | 51.4% | 3 |
| 30.4% | 18.2% | 51.4% | 4 |
| 30.4% | 18.2% | 51.4% | 5 |
| 33.4% | 15.2% | 51.4% | 6 |
| 33.4% | 15.2% | 51.4% | 7 |
| 34.6% | 14.1% | 51.4% | 8 |
| 34.8% | 13.9% | 51.4% | 9 |
| 35.4% | 13.2% | 51.4% | 10 |
| 35.6% | 13.1% | 51.4% | 11 |
| 35.9% | 12.7% | 51.4% | 12 |
| 36% | 12.6% | 51.4% | 13 |
| 36.2% | 12.4% | 51.4% | 14 |
Compiled 28 to 20 computations (28.6% saved)
| 1.0s | 856× | body | 2048 | valid |
| 758.0ms | 6198× | body | 128 | valid |
| 231.0ms | 546× | body | 1024 | valid |
| 179.0ms | 281× | body | 4096 | valid |
| 83.0ms | 252× | body | 512 | valid |
| 27.0ms | 123× | body | 256 | valid |
Compiled 56 to 40 computations (28.6% saved)
| 2× | egg-herbie |
| 18× | fma-def_binary64 |
| 12× | *-commutative_binary64 |
| 4× | +-commutative_binary64 |
| 4× | associate-/l*_binary64 |
| 4× | distribute-lft-in_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 24 | 48 |
| 1 | 50 | 48 |
| 2 | 70 | 44 |
| 3 | 84 | 44 |
| 4 | 88 | 44 |
| 5 | 92 | 44 |
| 6 | 94 | 44 |
| 0 | 2 | 2 |
| 1× | saturated |
| 1× | saturated |
Compiled 19 to 14 computations (26.3% saved)
| 1× | egg-herbie |
| 9× | fma-def_binary64 |
| 6× | *-commutative_binary64 |
| 2× | +-commutative_binary64 |
| 2× | associate-/l*_binary64 |
| 2× | distribute-lft-in_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 24 |
| 1 | 31 | 24 |
| 2 | 41 | 22 |
| 3 | 48 | 22 |
| 4 | 50 | 22 |
| 5 | 52 | 22 |
| 6 | 53 | 22 |
| 1× | saturated |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 1 | 2 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 2 | 1 | 3 |
| Status | Error | Program |
| ▶ | 11.6b | (sqrt.f64 (fma.f64 1/2 (/.f64 x (sqrt.f64 (fma.f64 x x (*.f64 4 (*.f64 p p))))) 1/2)) |
Compiled 68 to 48 computations (29.4% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (fma.f64 x x (*.f64 4 (*.f64 p p))) |
| ✓ | 0.0b | (/.f64 x (sqrt.f64 (fma.f64 x x (*.f64 4 (*.f64 p p))))) |
| ✓ | 0.0b | (*.f64 4 (*.f64 p p)) |
| ✓ | 14.9b | (sqrt.f64 (fma.f64 x x (*.f64 4 (*.f64 p p)))) |
21 calls:
| 4.0ms | (/.f64 x (sqrt.f64 (fma.f64 x x (*.f64 4 (*.f64 p p))))) | x | 0 |
| 3.0ms | (sqrt.f64 (fma.f64 x x (*.f64 4 (*.f64 p p)))) | p | inf |
| 3.0ms | (/.f64 x (sqrt.f64 (fma.f64 x x (*.f64 4 (*.f64 p p))))) | p | 0 |
| 3.0ms | (/.f64 x (sqrt.f64 (fma.f64 x x (*.f64 4 (*.f64 p p))))) | x | -inf |
| 3.0ms | (/.f64 x (sqrt.f64 (fma.f64 x x (*.f64 4 (*.f64 p p))))) | p | -inf |
| 1× | batch-egg-rewrite |
Loading profile data...