Time bar (total: 2.1s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 0% | 100% | 0 |
| 0% | 0% | 100% | 1 |
Compiled 38 to 21 computations (44.7% saved)
| 1.9s | 8256× | body | 128 | valid |
Compiled 76 to 42 computations (44.7% saved)
| 2× | egg-herbie |
| 967× | associate-/l/_binary32 |
| 808× | associate-/l*_binary32 |
| 710× | times-frac_binary32 |
| 520× | associate-/r/_binary32 |
| 385× | associate-*r/_binary32 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 72 |
| 1 | 49 | 72 |
| 2 | 173 | 72 |
| 3 | 733 | 72 |
| 4 | 2487 | 72 |
| 5 | 3267 | 72 |
| 6 | 3267 | 72 |
| 7 | 4554 | 72 |
| 8 | 4807 | 72 |
| 9 | 4927 | 72 |
| 10 | 4939 | 72 |
| 11 | 4939 | 72 |
| 12 | 4941 | 72 |
| 13 | 4941 | 72 |
| 0 | 2 | 2 |
| 1× | saturated |
| 1× | saturated |
Compiled 23 to 10 computations (56.5% saved)
| 1× | egg-herbie |
| 745× | associate-/l/_binary32 |
| 396× | associate-/l*_binary32 |
| 281× | times-frac_binary32 |
| 253× | associate-/r/_binary32 |
| 154× | associate-*l/_binary32 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 36 |
| 1 | 24 | 36 |
| 2 | 83 | 36 |
| 3 | 333 | 36 |
| 4 | 1180 | 36 |
| 5 | 2559 | 36 |
| 6 | 2687 | 36 |
| 7 | 2717 | 36 |
| 8 | 2727 | 36 |
| 9 | 2731 | 36 |
| 10 | 2733 | 36 |
| 11 | 2733 | 36 |
| 1× | saturated |
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 2 | 2 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 3 | 3 |
| Status | Error | Program |
| 0.9b | (*.f32 (sin.f32 (*.f32 (PI.f32) (*.f32 x tau))) (/.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 (PI.f32) tau)) (*.f32 x (*.f32 x (PI.f32))))) | |
| ▶ | 0.7b | (*.f32 (/.f32 (sin.f32 (*.f32 (*.f32 x (PI.f32)) tau)) (*.f32 (*.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32)))) |
Compiled 136 to 64 computations (52.9% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (*.f32 x (PI.f32)) |
| ✓ | 0.4b | (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32))) |
| ✓ | 0.4b | (sin.f32 (*.f32 (*.f32 x (PI.f32)) tau)) |
| ✓ | 0.4b | (/.f32 (sin.f32 (*.f32 (*.f32 x (PI.f32)) tau)) (*.f32 (*.f32 x (PI.f32)) tau)) |
18 calls:
| 6.0ms | (/.f32 (sin.f32 (*.f32 (*.f32 x (PI.f32)) tau)) (*.f32 (*.f32 x (PI.f32)) tau)) | tau | -inf |
| 5.0ms | (/.f32 (sin.f32 (*.f32 (*.f32 x (PI.f32)) tau)) (*.f32 (*.f32 x (PI.f32)) tau)) | x | -inf |
| 4.0ms | (/.f32 (sin.f32 (*.f32 (*.f32 x (PI.f32)) tau)) (*.f32 (*.f32 x (PI.f32)) tau)) | x | inf |
| 4.0ms | (/.f32 (sin.f32 (*.f32 (*.f32 x (PI.f32)) tau)) (*.f32 (*.f32 x (PI.f32)) tau)) | tau | inf |
| 3.0ms | (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32))) | x | -inf |
| 1× | batch-egg-rewrite |
Loading profile data...