Time bar (total: 6.0s)
| 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 |
| 50% | 50% | 0.1% | 5 |
| 50% | 50% | 0.1% | 6 |
| 50% | 37.5% | 12.6% | 7 |
| 50% | 37.5% | 12.6% | 8 |
| 50% | 31.2% | 18.8% | 9 |
| 50% | 31.2% | 18.8% | 10 |
| 50% | 28.1% | 22% | 11 |
| 50% | 28.1% | 22% | 12 |
| 50% | 26.5% | 23.5% | 13 |
| 50% | 26.5% | 23.5% | 14 |
Compiled 14 to 11 computations (21.4% saved)
(sort re im)
| 1.4s | 2075× | body | 1024 | valid |
| 1.0s | 1943× | body | 1024 | invalid |
| 645.0ms | 4637× | body | 128 | valid |
| 371.0ms | 1012× | body | 512 | valid |
| 340.0ms | 1006× | body | 512 | invalid |
| 141.0ms | 528× | body | 256 | valid |
| 116.0ms | 490× | body | 256 | invalid |
| 95.0ms | 687× | body | 128 | invalid |
| 4.0ms | 4× | body | 2048 | valid |
Compiled 41 to 32 computations (22% saved)
| 1× | egg-herbie |
| 421× | fma-neg_binary64 |
| 231× | fma-def_binary64 |
| 219× | rules-40_binary64 |
| 219× | rules-42_binary64 |
| 218× | rules-41_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 18 |
| 1 | 64 | 18 |
| 2 | 199 | 18 |
| 3 | 826 | 18 |
| 4 | 89 | 18 |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 2 | 2 |
| Status | Error | Program |
| ▶ | 13.9b | (*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) |
Compiled 39 to 30 computations (23.1% saved)
Found 1 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) |
1 calls:
| 2.0ms | (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) |
| 2× | batch-egg-rewrite |
| 606× | log1p-expm1-u_binary64 |
| 606× | expm1-log1p-u_binary64 |
| 362× | prod-diff_binary64 |
| 111× | expm1-udef_binary64 |
| 111× | log1p-udef_binary64 |
1 calls:
| 44.0ms | (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 10 |
| 1 | 138 | 6 |
| 2 | 1782 | 6 |
| 3 | 4976 | 6 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 1112× | rules-42_binary64 |
| 960× | fma-neg_binary64 |
| 842× | rules-43_binary64 |
| 377× | rules-40_binary64 |
| 376× | rules-41_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 21 | 8 |
| 1 | 127 | 8 |
| 2 | 381 | 8 |
| 3 | 1659 | 8 |
| 4 | 4283 | 8 |
| 5 | 32 | 8 |
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 48 | 3 | 51 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 49 | 3 | 52 |
| Status | Error | Program |
| 13.9b | (*.f64 (*.f64 1/2 (cos.f64 re)) (*.f64 2 (cosh.f64 im))) | |
| ▶ | 13.0b | (*.f64 (*.f64 1/2 (cos.f64 re)) 2) |
| 15.6b | (*.f64 (*.f64 1/2 (cos.f64 re)) (pow.f64 (cbrt.f64 (*.f64 2 (cosh.f64 im))) 3)) |
Compiled 887 to 522 computations (41.1% saved)
3 alts after pruning (2 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 0 | 3 | 3 |
| Status | Error | Program |
| ▶ | 13.9b | (*.f64 (*.f64 1/2 (cos.f64 re)) (*.f64 2 (cosh.f64 im))) |
| ✓ | 13.0b | (*.f64 (*.f64 1/2 (cos.f64 re)) 2) |
| 15.6b | (*.f64 (*.f64 1/2 (cos.f64 re)) (pow.f64 (cbrt.f64 (*.f64 2 (cosh.f64 im))) 3)) |
Compiled 58 to 49 computations (15.5% saved)
3 alts after pruning (1 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 0 | 3 | 3 |
| Status | Error | Program |
| ✓ | 13.9b | (*.f64 (*.f64 1/2 (cos.f64 re)) (*.f64 2 (cosh.f64 im))) |
| ✓ | 13.0b | (*.f64 (*.f64 1/2 (cos.f64 re)) 2) |
| ▶ | 15.6b | (*.f64 (*.f64 1/2 (cos.f64 re)) (pow.f64 (cbrt.f64 (*.f64 2 (cosh.f64 im))) 3)) |
Compiled 47 to 40 computations (14.9% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (pow.f64 (cbrt.f64 (*.f64 2 (cosh.f64 im))) 3) |
| ✓ | 0.8b | (cbrt.f64 (*.f64 2 (cosh.f64 im))) |
2 calls:
| 329.0ms | (pow.f64 (cbrt.f64 (*.f64 2 (cosh.f64 im))) 3) |
| 290.0ms | (cbrt.f64 (*.f64 2 (cosh.f64 im))) |
| 2× | batch-egg-rewrite |
| 614× | log1p-expm1-u_binary64 |
| 614× | expm1-log1p-u_binary64 |
| 448× | fma-neg_binary64 |
| 146× | egg-rr |
| 129× | prod-diff_binary64 |
2 calls:
| 56.0ms | (pow.f64 (cbrt.f64 (*.f64 2 (cosh.f64 im))) 3) |
| 56.0ms | (cbrt.f64 (*.f64 2 (cosh.f64 im))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 14 |
| 1 | 169 | 14 |
| 2 | 1857 | 14 |
| 3 | 4952 | 14 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 638× | rules-21_binary64 |
| 541× | fma-neg_binary64 |
| 310× | fma-def_binary64 |
| 304× | rules-11_binary64 |
| 278× | rules-13_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 44 | 435 |
| 1 | 287 | 428 |
| 2 | 1021 | 408 |
| 3 | 4785 | 408 |
| 4 | 4750 | 408 |
| 5 | 4862 | 408 |
4 alts after pruning (2 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 162 | 2 | 164 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 2 | 2 |
| Total | 163 | 4 | 167 |
| Status | Error | Program |
| 16.0b | (*.f64 (*.f64 1/2 (cos.f64 re)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 (cosh.f64 im)))) 3) 3)) | |
| 15.9b | (*.f64 (*.f64 1/2 (cos.f64 re)) (pow.f64 (-.f64 (+.f64 (*.f64 1/6 (*.f64 (cbrt.f64 2) (pow.f64 im 2))) (cbrt.f64 2)) (*.f64 1/72 (*.f64 (cbrt.f64 2) (pow.f64 im 4)))) 3)) | |
| ✓ | 13.9b | (*.f64 (*.f64 1/2 (cos.f64 re)) (*.f64 2 (cosh.f64 im))) |
| ✓ | 13.0b | (*.f64 (*.f64 1/2 (cos.f64 re)) 2) |
Compiled 3552 to 2453 computations (30.9% saved)
Total 1.0b remaining (99.2%)
Threshold costs 0b (0%)
Compiled 2612 to 2240 computations (14.2% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 9 |
| 1 | 7 | 9 |
(sort re im)
Compiled 97 to 85 computations (12.4% saved)
Loading profile data...