Time bar (total: 2.9s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.9% | 0.1% | 0 |
| 0% | 99.9% | 0.1% | 1 |
| 0% | 99.9% | 0.1% | 2 |
| 0% | 99.9% | 0.1% | 3 |
| 0% | 99.9% | 0.1% | 4 |
| 0% | 99.9% | 0.1% | 5 |
| 0% | 99.9% | 0.1% | 6 |
| 23.4% | 51.5% | 25.1% | 7 |
| 24.2% | 50.7% | 25.1% | 8 |
| 24.6% | 50.3% | 25.1% | 9 |
| 36.9% | 25.5% | 37.6% | 10 |
| 37.2% | 25.3% | 37.6% | 11 |
| 37.3% | 25.1% | 37.6% | 12 |
| 43.5% | 12.7% | 43.8% | 13 |
| 43.6% | 12.6% | 43.8% | 14 |
Compiled 32 to 21 computations (34.4% saved)
| 1.6s | 8256× | body | 128 | valid |
| 184.0ms | 1008× | body | 128 | invalid |
Compiled 64 to 42 computations (34.4% saved)
| 2× | egg-herbie |
| 628× | fma-def_binary64 |
| 405× | associate-/l/_binary64 |
| 300× | distribute-rgt-in_binary64 |
| 288× | cube-prod_binary64 |
| 262× | associate-*l/_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 50 | 88 |
| 1 | 91 | 84 |
| 2 | 108 | 84 |
| 3 | 141 | 56 |
| 4 | 196 | 44 |
| 5 | 221 | 44 |
| 6 | 648 | 44 |
| 7 | 2437 | 44 |
| 8 | 4041 | 44 |
| 9 | 4419 | 44 |
| 0 | 3 | 3 |
| 1 | 3 | 3 |
| 1× | unsound |
| 1× | node limit |
(sort re im)
Compiled 31 to 20 computations (35.5% saved)
| 1× | egg-herbie |
| 567× | associate-/l/_binary64 |
| 526× | cube-prod_binary64 |
| 434× | times-frac_binary64 |
| 365× | sqr-pow_binary64 |
| 291× | pow-sqr_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 22 |
| 1 | 31 | 21 |
| 2 | 38 | 21 |
| 3 | 49 | 14 |
| 4 | 66 | 11 |
| 5 | 75 | 11 |
| 6 | 218 | 11 |
| 7 | 1196 | 11 |
| 8 | 1804 | 11 |
| 9 | 2015 | 11 |
| 10 | 2509 | 11 |
| 11 | 2992 | 11 |
| 12 | 3869 | 11 |
| 1× | node limit |
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.3b | (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 base)) |
| 34.2b | (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))) |
Compiled 120 to 77 computations (35.8% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (hypot.f64 re im) |
| ✓ | 0.3b | (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 base)) |
15 calls:
| 182.0ms | (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 base)) | base | 0 |
| 153.0ms | (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 base)) | base | inf |
| 146.0ms | (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 base)) | base | -inf |
| 7.0ms | (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 base)) | im | inf |
| 5.0ms | (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 base)) | re | 0 |
| 1× | batch-egg-rewrite |
Loading profile data...