Time bar (total: 1.9s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 0.1% | 99.9% | 0 |
| 0% | 0.1% | 99.9% | 1 |
| 0% | 0.1% | 99.9% | 2 |
| 0.1% | 0.1% | 99.9% | 3 |
| 0.1% | 0.1% | 99.9% | 4 |
| 0.1% | 0% | 99.9% | 5 |
| 0.1% | 0% | 99.9% | 6 |
| 0.1% | 0% | 99.9% | 7 |
| 0.1% | 0% | 99.9% | 8 |
| 0.1% | 0% | 99.9% | 9 |
| 0.1% | 0% | 99.9% | 10 |
| 0.1% | 0% | 99.9% | 11 |
| 0.1% | 0% | 99.9% | 12 |
| 0.1% | 0% | 99.9% | 13 |
| 0.1% | 0% | 99.9% | 14 |
Compiled 31 to 25 computations (19.4% saved)
| 1.4s | 8256× | body | 128 | valid |
Compiled 62 to 50 computations (19.4% saved)
| 2× | egg-herbie |
| 1254× | fma-def_binary32 |
| 520× | fma-neg_binary32 |
| 232× | distribute-rgt-in_binary32 |
| 207× | cancel-sign-sub-inv_binary32 |
| 177× | sub-neg_binary32 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 21 | 40 |
| 1 | 52 | 38 |
| 2 | 105 | 34 |
| 3 | 249 | 30 |
| 4 | 435 | 30 |
| 5 | 594 | 30 |
| 6 | 787 | 26 |
| 7 | 1146 | 26 |
| 8 | 1886 | 26 |
| 9 | 2487 | 26 |
| 10 | 2640 | 26 |
| 11 | 3132 | 26 |
| 12 | 3624 | 26 |
| 13 | 3785 | 26 |
| 14 | 3879 | 26 |
| 15 | 4539 | 26 |
| 16 | 4711 | 26 |
| 17 | 4970 | 26 |
| 0 | 2 | 2 |
| 1× | saturated |
| 1× | node limit |
Compiled 16 to 14 computations (12.5% saved)
| 1× | egg-herbie |
| 764× | fma-def_binary32 |
| 494× | fma-neg_binary32 |
| 125× | cancel-sign-sub-inv_binary32 |
| 104× | distribute-rgt-in_binary32 |
| 87× | sub-neg_binary32 |
Useful iterations: 6 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 20 |
| 1 | 33 | 19 |
| 2 | 61 | 17 |
| 3 | 139 | 15 |
| 4 | 242 | 15 |
| 5 | 334 | 15 |
| 6 | 441 | 13 |
| 7 | 635 | 13 |
| 8 | 1013 | 13 |
| 9 | 1273 | 13 |
| 10 | 1659 | 13 |
| 11 | 1921 | 13 |
| 12 | 2358 | 13 |
| 13 | 2674 | 13 |
| 14 | 2709 | 13 |
| 15 | 2710 | 13 |
| 16 | 2710 | 13 |
| 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.6b | (*.f32 (log1p.f32 (fma.f32 u -4/3 1/3)) (*.f32 s -3)) |
| 1.3b | (*.f32 (*.f32 3 s) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4))))) |
Compiled 79 to 67 computations (15.2% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (fma.f32 u -4/3 1/3) |
| ✓ | 0.3b | (log1p.f32 (fma.f32 u -4/3 1/3)) |
| ✓ | 0.4b | (*.f32 (log1p.f32 (fma.f32 u -4/3 1/3)) (*.f32 s -3)) |
12 calls:
| 98.0ms | (*.f32 (log1p.f32 (fma.f32 u -4/3 1/3)) (*.f32 s -3)) | s | 0 |
| 70.0ms | (*.f32 (log1p.f32 (fma.f32 u -4/3 1/3)) (*.f32 s -3)) | s | inf |
| 70.0ms | (*.f32 (log1p.f32 (fma.f32 u -4/3 1/3)) (*.f32 s -3)) | s | -inf |
| 3.0ms | (*.f32 (log1p.f32 (fma.f32 u -4/3 1/3)) (*.f32 s -3)) | u | 0 |
| 1.0ms | (*.f32 (log1p.f32 (fma.f32 u -4/3 1/3)) (*.f32 s -3)) | u | inf |
| 1× | batch-egg-rewrite |
Loading profile data...