Time bar (total: 5.2s)
| 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 |
| 204.0ms | 1008× | body | 128 | invalid |
Compiled 95 to 62 computations (34.7% saved)
| 1× | egg-herbie |
| 877× | fma-def_binary64 |
| 692× | fma-neg_binary64 |
| 407× | associate-/l*_binary64 |
| 380× | div-sub_binary64 |
| 313× | distribute-rgt-in_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 20 |
| 1 | 41 | 19 |
| 2 | 68 | 12 |
| 3 | 94 | 9 |
| 4 | 115 | 9 |
| 5 | 273 | 9 |
| 6 | 1005 | 9 |
| 7 | 2320 | 9 |
| 8 | 3369 | 9 |
| 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 (atan2.f64 im re) (log.f64 base)) |
| 34.2b | (/.f64 (-.f64 (*.f64 (atan2.f64 im re) (log.f64 base)) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))) |
Compiled 117 to 73 computations (37.6% saved)
Found 1 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (/.f64 (atan2.f64 im re) (log.f64 base)) |
1 calls:
| 346.0ms | (/.f64 (atan2.f64 im re) (log.f64 base)) |
| 1× | batch-egg-rewrite |
| 643× | log1p-expm1-u_binary64 |
| 643× | expm1-log1p-u_binary64 |
| 351× | log-prod_binary64 |
| 131× | expm1-udef_binary64 |
| 131× | log1p-udef_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 9 |
| 1 | 139 | 9 |
| 2 | 1750 | 9 |
| 1× | node limit |
1 calls:
| 35.0ms | (/.f64 (atan2.f64 im re) (log.f64 base)) |
| 1× | egg-herbie |
| 762× | div-sub_binary64 |
| 628× | fma-neg_binary64 |
| 494× | fma-def_binary64 |
| 292× | distribute-rgt-in_binary64 |
| 231× | distribute-lft-in_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 16 | 104 |
| 1 | 29 | 104 |
| 2 | 43 | 96 |
| 3 | 92 | 72 |
| 4 | 189 | 72 |
| 5 | 583 | 72 |
| 6 | 2308 | 72 |
| 7 | 4815 | 72 |
| 1× | node limit |
9 alts after pruning (8 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 32 | 7 | 39 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 32 | 9 | 41 |
| Status | Error | Program |
| ▶ | 0.3b | (*.f64 (atan2.f64 im re) (/.f64 1 (log.f64 base))) |
| 6.8b | (cbrt.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 base)) 3)) | |
| 0.4b | (pow.f64 (/.f64 (log.f64 base) (atan2.f64 im re)) -1) | |
| 32.0b | (pow.f64 (sqrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base))) 2) | |
| 1.4b | (pow.f64 (cbrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base))) 3) | |
| ✓ | 0.3b | (/.f64 (atan2.f64 im re) (log.f64 base)) |
| 34.3b | (*.f64 (/.f64 1 (sqrt.f64 (log.f64 base))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 base)))) | |
| 1.2b | (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (log.f64 base)) 2)) (/.f64 (atan2.f64 im re) (cbrt.f64 (log.f64 base)))) | |
| 34.2b | (/.f64 (-.f64 (*.f64 (atan2.f64 im re) (log.f64 base)) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))) |
Compiled 720 to 323 computations (55.1% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (/.f64 1 (log.f64 base)) |
| ✓ | 0.3b | (*.f64 (atan2.f64 im re) (/.f64 1 (log.f64 base))) |
2 calls:
| 338.0ms | (*.f64 (atan2.f64 im re) (/.f64 1 (log.f64 base))) |
| 32.0ms | (/.f64 1 (log.f64 base)) |
| 1× | batch-egg-rewrite |
| 712× | log1p-expm1-u_binary64 |
| 712× | expm1-log1p-u_binary64 |
| 149× | expm1-udef_binary64 |
| 149× | log1p-udef_binary64 |
| 86× | add-sqr-sqrt_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 15 |
| 1 | 175 | 15 |
| 2 | 2047 | 15 |
| 1× | node limit |
2 calls:
| 40.0ms | (/.f64 1 (log.f64 base)) |
| 40.0ms | (*.f64 (atan2.f64 im re) (/.f64 1 (log.f64 base))) |
| 1× | egg-herbie |
| 767× | div-sub_binary64 |
| 628× | fma-neg_binary64 |
| 493× | fma-def_binary64 |
| 292× | distribute-rgt-in_binary64 |
| 231× | distribute-lft-in_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 20 | 388 |
| 1 | 32 | 388 |
| 2 | 46 | 372 |
| 3 | 94 | 372 |
| 4 | 190 | 372 |
| 5 | 581 | 372 |
| 6 | 2294 | 372 |
| 7 | 4778 | 372 |
| 1× | node limit |
11 alts after pruning (9 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 52 | 2 | 54 |
| Fresh | 0 | 7 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 52 | 11 | 63 |
| Status | Error | Program |
| 0.6b | (*.f64 (atan2.f64 im re) (cbrt.f64 (pow.f64 (/.f64 1 (log.f64 base)) 3))) | |
| ▶ | 0.4b | (pow.f64 (/.f64 (log.f64 base) (atan2.f64 im re)) -1) |
| 1.3b | (*.f64 (atan2.f64 im re) (pow.f64 (/.f64 1 (cbrt.f64 (log.f64 base))) 3)) | |
| 1.4b | (pow.f64 (cbrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base))) 3) | |
| ✓ | 0.3b | (*.f64 (atan2.f64 im re) (/.f64 1 (log.f64 base))) |
| 6.8b | (cbrt.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 base)) 3)) | |
| 32.0b | (pow.f64 (sqrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base))) 2) | |
| ✓ | 0.3b | (/.f64 (atan2.f64 im re) (log.f64 base)) |
| 34.3b | (*.f64 (/.f64 1 (sqrt.f64 (log.f64 base))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 base)))) | |
| 1.2b | (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (log.f64 base)) 2)) (/.f64 (atan2.f64 im re) (cbrt.f64 (log.f64 base)))) | |
| 34.2b | (/.f64 (-.f64 (*.f64 (atan2.f64 im re) (log.f64 base)) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))) |
Compiled 867 to 462 computations (46.7% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.2b | (pow.f64 (/.f64 (log.f64 base) (atan2.f64 im re)) -1) |
| ✓ | 0.3b | (/.f64 (log.f64 base) (atan2.f64 im re)) |
2 calls:
| 366.0ms | (pow.f64 (/.f64 (log.f64 base) (atan2.f64 im re)) -1) |
| 333.0ms | (/.f64 (log.f64 base) (atan2.f64 im re)) |
| 1× | batch-egg-rewrite |
| 791× | log1p-expm1-u_binary64 |
| 791× | expm1-log1p-u_binary64 |
| 91× | add-sqr-sqrt_binary64 |
| 84× | add-log-exp_binary64 |
| 83× | add-cbrt-cube_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 21 |
| 1 | 181 | 18 |
| 2 | 2214 | 18 |
| 1× | node limit |
2 calls:
| 41.0ms | (pow.f64 (/.f64 (log.f64 base) (atan2.f64 im re)) -1) |
| 41.0ms | (/.f64 (log.f64 base) (atan2.f64 im re)) |
| 1× | egg-herbie |
| 491× | distribute-rgt-in_binary64 |
| 360× | fma-def_binary64 |
| 350× | distribute-lft-in_binary64 |
| 293× | div-sub_binary64 |
| 214× | sub-neg_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 21 | 428 |
| 1 | 40 | 428 |
| 2 | 65 | 396 |
| 3 | 133 | 396 |
| 4 | 381 | 396 |
| 5 | 1221 | 396 |
| 6 | 3537 | 396 |
| 1× | node limit |
15 alts after pruning (13 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 75 | 6 | 81 |
| Fresh | 1 | 7 | 8 |
| Picked | 0 | 1 | 1 |
| Done | 1 | 1 | 2 |
| Total | 77 | 15 | 92 |
| Status | Error | Program |
| 32.6b | (pow.f64 (*.f64 (/.f64 1 (sqrt.f64 (atan2.f64 im re))) (/.f64 (log.f64 base) (sqrt.f64 (atan2.f64 im re)))) -1) | |
| 6.8b | (cbrt.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 base)) 3)) | |
| 0.6b | (*.f64 (atan2.f64 im re) (cbrt.f64 (pow.f64 (/.f64 1 (log.f64 base)) 3))) | |
| ✓ | 0.4b | (pow.f64 (/.f64 (log.f64 base) (atan2.f64 im re)) -1) |
| 1.2b | (pow.f64 (*.f64 (cbrt.f64 (/.f64 (log.f64 base) (atan2.f64 im re))) (pow.f64 (cbrt.f64 (/.f64 (log.f64 base) (atan2.f64 im re))) 2)) -1) | |
| 32.0b | (pow.f64 (sqrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base))) 2) | |
| 1.3b | (*.f64 (atan2.f64 im re) (pow.f64 (/.f64 1 (cbrt.f64 (log.f64 base))) 3)) | |
| 1.4b | (pow.f64 (cbrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base))) 3) | |
| 0.4b | (/.f64 (/.f64 1 (log.f64 base)) (/.f64 1 (atan2.f64 im re))) | |
| ✓ | 0.3b | (/.f64 (atan2.f64 im re) (log.f64 base)) |
| 10.8b | (pow.f64 (log.f64 (pow.f64 base (/.f64 1 (atan2.f64 im re)))) -1) | |
| 35.5b | (pow.f64 (pow.f64 (pow.f64 (/.f64 (log.f64 base) (atan2.f64 im re)) 3) 1/3) -1) | |
| 34.3b | (*.f64 (/.f64 1 (sqrt.f64 (log.f64 base))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 base)))) | |
| ▶ | 0.3b | (*.f64 (/.f64 1 (log.f64 base)) (atan2.f64 im re)) |
| 1.2b | (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (log.f64 base)) 2)) (/.f64 (atan2.f64 im re) (cbrt.f64 (log.f64 base)))) |
Compiled 1423 to 654 computations (54% saved)
Found 2 expressions with local error:
| New | Error | Program |
| 0.3b | (/.f64 1 (log.f64 base)) | |
| ✓ | 0.3b | (*.f64 (/.f64 1 (log.f64 base)) (atan2.f64 im re)) |
1 calls:
| 327.0ms | (*.f64 (/.f64 1 (log.f64 base)) (atan2.f64 im re)) |
| 1× | batch-egg-rewrite |
| 709× | log1p-expm1-u_binary64 |
| 709× | expm1-log1p-u_binary64 |
| 149× | expm1-udef_binary64 |
| 149× | log1p-udef_binary64 |
| 85× | add-sqr-sqrt_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 9 |
| 1 | 173 | 9 |
| 2 | 2009 | 9 |
| 1× | node limit |
1 calls:
| 35.0ms | (*.f64 (/.f64 1 (log.f64 base)) (atan2.f64 im re)) |
| 1× | egg-herbie |
| 750× | div-sub_binary64 |
| 628× | fma-neg_binary64 |
| 493× | fma-def_binary64 |
| 292× | distribute-rgt-in_binary64 |
| 231× | distribute-lft-in_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 324 |
| 1 | 30 | 324 |
| 2 | 44 | 324 |
| 3 | 92 | 324 |
| 4 | 189 | 324 |
| 5 | 580 | 324 |
| 6 | 2307 | 324 |
| 7 | 4818 | 324 |
| 1× | node limit |
15 alts after pruning (12 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 54 | 0 | 54 |
| Fresh | 0 | 12 | 12 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 54 | 15 | 69 |
| Status | Error | Program |
| 32.6b | (pow.f64 (*.f64 (/.f64 1 (sqrt.f64 (atan2.f64 im re))) (/.f64 (log.f64 base) (sqrt.f64 (atan2.f64 im re)))) -1) | |
| 6.8b | (cbrt.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 base)) 3)) | |
| 0.6b | (*.f64 (atan2.f64 im re) (cbrt.f64 (pow.f64 (/.f64 1 (log.f64 base)) 3))) | |
| ✓ | 0.4b | (pow.f64 (/.f64 (log.f64 base) (atan2.f64 im re)) -1) |
| 1.2b | (pow.f64 (*.f64 (cbrt.f64 (/.f64 (log.f64 base) (atan2.f64 im re))) (pow.f64 (cbrt.f64 (/.f64 (log.f64 base) (atan2.f64 im re))) 2)) -1) | |
| 32.0b | (pow.f64 (sqrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base))) 2) | |
| 1.3b | (*.f64 (atan2.f64 im re) (pow.f64 (/.f64 1 (cbrt.f64 (log.f64 base))) 3)) | |
| 1.4b | (pow.f64 (cbrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base))) 3) | |
| 0.4b | (/.f64 (/.f64 1 (log.f64 base)) (/.f64 1 (atan2.f64 im re))) | |
| ✓ | 0.3b | (/.f64 (atan2.f64 im re) (log.f64 base)) |
| 10.8b | (pow.f64 (log.f64 (pow.f64 base (/.f64 1 (atan2.f64 im re)))) -1) | |
| 35.5b | (pow.f64 (pow.f64 (pow.f64 (/.f64 (log.f64 base) (atan2.f64 im re)) 3) 1/3) -1) | |
| 34.3b | (*.f64 (/.f64 1 (sqrt.f64 (log.f64 base))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 base)))) | |
| ✓ | 0.3b | (*.f64 (/.f64 1 (log.f64 base)) (atan2.f64 im re)) |
| 1.2b | (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (log.f64 base)) 2)) (/.f64 (atan2.f64 im re) (cbrt.f64 (log.f64 base)))) |
Compiled 778 to 399 computations (48.7% saved)
Total 0.3b remaining (87%)
Threshold costs 0.3b (87%)
Compiled 3681 to 2546 computations (30.8% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 9 |
| 1× | saturated |
Compiled 229 to 161 computations (29.7% saved)
Loading profile data...