Time bar (total: 2.4s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.8% | 0.2% | 0 |
| 0% | 99.8% | 0.2% | 1 |
| 0% | 99.8% | 0.2% | 2 |
| 0% | 99.8% | 0.2% | 3 |
| 0% | 99.8% | 0.2% | 4 |
| 0% | 99.8% | 0.2% | 5 |
| 0% | 99.8% | 0.2% | 6 |
| 0% | 99.8% | 0.2% | 7 |
| 0% | 99.8% | 0.2% | 8 |
| 0% | 99.8% | 0.2% | 9 |
| 13.2% | 86.5% | 0.2% | 10 |
| 17% | 82.8% | 0.2% | 11 |
| 18.2% | 81.5% | 0.2% | 12 |
| 21.7% | 78.1% | 0.2% | 13 |
| 32.9% | 66.9% | 0.2% | 14 |
Compiled 17 to 11 computations (35.3% saved)
| 968.0ms | 8256× | body | 128 | valid |
| 78.0ms | 691× | body | 128 | invalid |
Compiled 34 to 22 computations (35.3% saved)
| 2× | egg-herbie |
| 878× | div-sub_binary64 |
| 306× | fma-def_binary64 |
| 304× | times-frac_binary64 |
| 248× | fma-neg_binary64 |
| 219× | sub-neg_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 47 | 176 |
| 1 | 158 | 176 |
| 2 | 306 | 176 |
| 3 | 640 | 176 |
| 4 | 1557 | 176 |
| 5 | 3631 | 176 |
| 0 | 5 | 5 |
| 1× | saturated |
| 1× | node limit |
Compiled 16 to 10 computations (37.5% saved)
| 1× | egg-herbie |
| 893× | fma-neg_binary64 |
| 663× | div-sub_binary64 |
| 241× | cancel-sign-sub-inv_binary64 |
| 213× | distribute-neg-frac_binary64 |
| 210× | associate-/l*_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 16 |
| 1 | 26 | 16 |
| 2 | 53 | 16 |
| 3 | 100 | 16 |
| 4 | 210 | 16 |
| 5 | 422 | 16 |
| 6 | 913 | 16 |
| 7 | 2616 | 16 |
| 1× | node limit |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 1 | 2 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 1 | 2 | 3 |
| Status | Error | Program |
| ▶ | 11.4b | (/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 a z))) |
Compiled 59 to 34 computations (42.4% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (-.f64 x (*.f64 y z)) |
| ✓ | 11.0b | (/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 a z))) |
24 calls:
| 4.0ms | (/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 a z))) | t | -inf |
| 4.0ms | (/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 a z))) | x | 0 |
| 4.0ms | (/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 a z))) | a | 0 |
| 4.0ms | (/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 a z))) | z | inf |
| 4.0ms | (/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 a z))) | x | -inf |
| 1× | batch-egg-rewrite |
Loading profile data...