Time bar (total: 2.6s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 0% | 100% | 0 |
| 0% | 0% | 100% | 1 |
Compiled 24 to 15 computations (37.5% saved)
(sort a b)
| 1.4s | 8256× | body | 128 | valid |
Compiled 57 to 34 computations (40.4% saved)
| 1× | egg-herbie |
| 70× | fma-def_binary64 |
| 24× | associate-+l+_binary64 |
| 18× | associate-+r+_binary64 |
| 10× | distribute-rgt-in_binary64 |
| 8× | *-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 10 |
| 1 | 12 | 10 |
| 2 | 26 | 10 |
| 3 | 46 | 10 |
| 4 | 81 | 10 |
| 5 | 101 | 10 |
| 6 | 117 | 10 |
| 7 | 130 | 10 |
| 8 | 132 | 10 |
| 9 | 132 | 10 |
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 |
| ▶ | 0.0b | (*.f64 (+.f64 a b) (+.f64 a b)) |
Compiled 27 to 12 computations (55.6% saved)
Found 1 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (*.f64 (+.f64 a b) (+.f64 a b)) |
1 calls:
| 18.0ms | (*.f64 (+.f64 a b) (+.f64 a b)) |
| 2× | batch-egg-rewrite |
| 682× | prod-diff_binary64 |
| 618× | log1p-expm1-u_binary64 |
| 618× | expm1-log1p-u_binary64 |
| 60× | add-sqr-sqrt_binary64 |
| 57× | add-log-exp_binary64 |
1 calls:
| 60.0ms | (*.f64 (+.f64 a b) (+.f64 a b)) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 7 |
| 1 | 115 | 7 |
| 2 | 1514 | 7 |
| 3 | 5027 | 7 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 968× | sqr-pow_binary64 |
| 615× | fma-def_binary64 |
| 579× | fabs-mul_binary64 |
| 537× | cube-prod_binary64 |
| 464× | *-commutative_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 294 |
| 1 | 32 | 267 |
| 2 | 62 | 222 |
| 3 | 129 | 216 |
| 4 | 318 | 216 |
| 5 | 1005 | 216 |
| 6 | 1665 | 216 |
| 7 | 1886 | 216 |
| 8 | 2020 | 216 |
| 9 | 2235 | 216 |
| 10 | 2469 | 216 |
| 11 | 2722 | 216 |
| 12 | 2890 | 216 |
| 13 | 3334 | 216 |
| 14 | 3914 | 216 |
| 15 | 4267 | 216 |
| 16 | 4546 | 216 |
| 17 | 4648 | 216 |
| 18 | 4677 | 216 |
| 19 | 4689 | 216 |
| 20 | 5141 | 216 |
2 alts after pruning (1 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 38 | 1 | 39 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 38 | 2 | 40 |
| Status | Error | Program |
| ✓ | 0.0b | (*.f64 (+.f64 a b) (+.f64 a b)) |
| ▶ | 0.0b | (+.f64 (*.f64 2 (*.f64 a b)) (+.f64 (pow.f64 a 2) (pow.f64 b 2))) |
Compiled 535 to 204 computations (61.9% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (+.f64 (pow.f64 a 2) (pow.f64 b 2)) |
| ✓ | 0.0b | (*.f64 2 (*.f64 a b)) |
2 calls:
| 10.0ms | (+.f64 (pow.f64 a 2) (pow.f64 b 2)) |
| 9.0ms | (*.f64 2 (*.f64 a b)) |
| 2× | batch-egg-rewrite |
| 854× | expm1-log1p-u_binary64 |
| 671× | prod-diff_binary64 |
| 92× | add-sqr-sqrt_binary64 |
| 92× | log1p-expm1-u_binary64 |
| 87× | add-log-exp_binary64 |
2 calls:
| 78.0ms | (+.f64 (pow.f64 a 2) (pow.f64 b 2)) |
| 78.0ms | (*.f64 2 (*.f64 a b)) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 17 |
| 1 | 195 | 14 |
| 2 | 2193 | 14 |
| 3 | 4940 | 14 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 1238× | sqr-pow_binary64 |
| 688× | fabs-mul_binary64 |
| 666× | cube-prod_binary64 |
| 532× | pow-sqr_binary64 |
| 344× | unpow3_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 24 |
| 1 | 14 | 24 |
| 2 | 21 | 24 |
| 3 | 39 | 24 |
| 4 | 83 | 24 |
| 5 | 199 | 24 |
| 6 | 609 | 24 |
| 7 | 688 | 24 |
| 8 | 850 | 24 |
| 9 | 1063 | 24 |
| 10 | 1334 | 24 |
| 11 | 1677 | 24 |
| 12 | 2108 | 24 |
| 13 | 2574 | 24 |
| 14 | 3324 | 24 |
| 15 | 3613 | 24 |
| 16 | 3956 | 24 |
| 17 | 4089 | 24 |
| 18 | 4140 | 24 |
| 19 | 4168 | 24 |
| 20 | 5042 | 24 |
2 alts after pruning (0 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 52 | 0 | 52 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 52 | 2 | 54 |
| Status | Error | Program |
| ✓ | 0.0b | (*.f64 (+.f64 a b) (+.f64 a b)) |
| ✓ | 0.0b | (+.f64 (*.f64 2 (*.f64 a b)) (+.f64 (pow.f64 a 2) (pow.f64 b 2))) |
Compiled 897 to 513 computations (42.8% saved)
Total 0.0b remaining (38.6%)
Threshold costs 0.0b (38.6%)
Compiled 865 to 532 computations (38.5% saved)
| 1× | egg-herbie |
| 2× | *-commutative_binary64 |
| 1× | +-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 17 |
| 1 | 12 | 17 |
| 2 | 12 | 17 |
Compiled 80 to 47 computations (41.3% saved)
Loading profile data...