Time bar (total: 2.0s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 1.5% | 98.5% | 0 |
| 0% | 1.5% | 98.5% | 1 |
| 0% | 1.5% | 98.5% | 2 |
| 0.8% | 0.8% | 98.5% | 3 |
| 0.8% | 0.8% | 98.5% | 4 |
| 1.2% | 0.4% | 98.5% | 5 |
| 1.2% | 0.4% | 98.5% | 6 |
| 1.4% | 0.2% | 98.5% | 7 |
| 1.4% | 0.2% | 98.5% | 8 |
| 1.4% | 0.1% | 98.5% | 9 |
| 1.4% | 0.1% | 98.5% | 10 |
| 1.5% | 0% | 98.5% | 11 |
| 1.5% | 0% | 98.5% | 12 |
| 1.5% | 0% | 98.5% | 13 |
| 1.5% | 0% | 98.5% | 14 |
Compiled 27 to 21 computations (22.2% saved)
| 1.5s | 8256× | body | 128 | valid |
Compiled 54 to 42 computations (22.2% saved)
| 2× | egg-herbie |
| 870× | fma-neg_binary32 |
| 458× | fma-def_binary32 |
| 424× | distribute-rgt-in_binary32 |
| 319× | unsub-neg_binary32 |
| 236× | distribute-lft-in_binary32 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 28 |
| 1 | 38 | 22 |
| 2 | 71 | 22 |
| 3 | 124 | 22 |
| 4 | 168 | 22 |
| 5 | 229 | 22 |
| 6 | 300 | 22 |
| 7 | 411 | 22 |
| 8 | 688 | 22 |
| 9 | 961 | 22 |
| 10 | 1098 | 22 |
| 11 | 1295 | 22 |
| 12 | 1509 | 22 |
| 13 | 1759 | 22 |
| 14 | 1826 | 22 |
| 15 | 1856 | 22 |
| 16 | 1935 | 22 |
| 17 | 2367 | 22 |
| 18 | 3640 | 22 |
| 19 | 3914 | 22 |
| 20 | 4066 | 22 |
| 21 | 4096 | 22 |
| 22 | 4116 | 22 |
| 23 | 4116 | 22 |
| 24 | 4525 | 22 |
| 25 | 4742 | 22 |
| 26 | 4782 | 22 |
| 27 | 4806 | 22 |
| 28 | 4822 | 22 |
| 29 | 4822 | 22 |
| 0 | 2 | 2 |
| 1× | saturated |
| 1× | node limit |
Compiled 12 to 10 computations (16.7% saved)
| 1× | egg-herbie |
| 175× | fma-neg_binary32 |
| 152× | fma-def_binary32 |
| 46× | cancel-sign-sub-inv_binary32 |
| 46× | sub-neg_binary32 |
| 30× | distribute-rgt-in_binary32 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 14 |
| 1 | 24 | 11 |
| 2 | 41 | 11 |
| 3 | 70 | 11 |
| 4 | 97 | 11 |
| 5 | 127 | 11 |
| 6 | 167 | 11 |
| 7 | 241 | 11 |
| 8 | 359 | 11 |
| 9 | 435 | 11 |
| 10 | 511 | 11 |
| 11 | 603 | 11 |
| 12 | 741 | 11 |
| 13 | 853 | 11 |
| 14 | 866 | 11 |
| 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.2b | (*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s)) |
| 11.8b | (*.f32 s (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u))))) |
Compiled 61 to 49 computations (19.7% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (log1p.f32 (*.f32 u -4)) |
| ✓ | 0.2b | (*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s)) |
9 calls:
| 89.0ms | (*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s)) | s | 0 |
| 65.0ms | (*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s)) | s | inf |
| 63.0ms | (*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s)) | s | -inf |
| 1.0ms | (*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s)) | u | -inf |
| 1.0ms | (*.f32 (log1p.f32 (*.f32 u -4)) (neg.f32 s)) | u | inf |
| 1× | batch-egg-rewrite |
Loading profile data...