Time bar (total: 3.8s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 0% | 100% | 0 |
| 0% | 0% | 100% | 1 |
| 0% | 0% | 100% | 2 |
| 0% | 0% | 100% | 3 |
| 0% | 0% | 100% | 4 |
| 0% | 0% | 100% | 5 |
| 0% | 0% | 100% | 6 |
| 0% | 0% | 100% | 7 |
| 0% | 0% | 100% | 8 |
| 0% | 0% | 100% | 9 |
| 0% | 0% | 100% | 10 |
| 0% | 0% | 100% | 11 |
| 0% | 0% | 100% | 12 |
| 0% | 0% | 100% | 13 |
| 0% | 0% | 100% | 14 |
Compiled 57 to 41 computations (28.1% saved)
| 1.9s | 8256× | body | 128 | valid |
Compiled 114 to 82 computations (28.1% saved)
| 2× | egg-herbie |
| 682× | div-sub_binary32 |
| 604× | sub-neg_binary32 |
| 450× | fma-neg_binary32 |
| 303× | fma-def_binary32 |
| 194× | cancel-sign-sub-inv_binary32 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 63 | 286 |
| 1 | 145 | 275 |
| 2 | 235 | 275 |
| 3 | 337 | 275 |
| 4 | 408 | 275 |
| 5 | 546 | 275 |
| 6 | 678 | 275 |
| 7 | 1063 | 275 |
| 8 | 1640 | 275 |
| 9 | 2340 | 275 |
| 10 | 3445 | 275 |
| 0 | 5 | 5 |
| 1× | saturated |
| 1× | node limit |
Compiled 22 to 15 computations (31.8% saved)
| 1× | egg-herbie |
| 195× | fma-neg_binary32 |
| 110× | fma-def_binary32 |
| 65× | cancel-sign-sub-inv_binary32 |
| 40× | div-sub_binary32 |
| 39× | sub-neg_binary32 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 16 | 26 |
| 1 | 30 | 25 |
| 2 | 42 | 25 |
| 3 | 57 | 25 |
| 4 | 70 | 25 |
| 5 | 92 | 25 |
| 6 | 117 | 25 |
| 7 | 166 | 25 |
| 8 | 224 | 25 |
| 9 | 270 | 25 |
| 10 | 323 | 25 |
| 11 | 417 | 25 |
| 12 | 581 | 25 |
| 13 | 919 | 25 |
| 14 | 990 | 25 |
| 15 | 1031 | 25 |
| 16 | 1036 | 25 |
| 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.7b | (/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))) |
| 11.9b | (/.f32 (neg.f32 (log.f32 (-.f32 1 u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))) |
Compiled 124 to 77 computations (37.9% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))) |
| ✓ | 0.2b | (/.f32 sin2phi (*.f32 alphay alphay)) |
| ✓ | 0.3b | (/.f32 cos2phi (*.f32 alphax alphax)) |
| ✓ | 0.6b | (/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))) |
39 calls:
| 9.0ms | (/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))) | alphax | inf |
| 7.0ms | (/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))) | alphay | inf |
| 7.0ms | (/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))) | alphay | -inf |
| 7.0ms | (/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))) | alphax | -inf |
| 7.0ms | (/.f32 sin2phi (*.f32 alphay alphay)) | sin2phi | inf |
| 1× | batch-egg-rewrite |
Loading profile data...