Time bar (total: 6.6s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 37.5% | 62.5% | 0 |
| 0% | 37.5% | 62.5% | 1 |
| 0% | 18.7% | 81.3% | 2 |
| 0% | 9.4% | 90.6% | 3 |
| 0% | 9.4% | 90.6% | 4 |
| 0% | 7% | 93% | 5 |
| 1.2% | 4.7% | 94.1% | 6 |
| 1.2% | 3.5% | 95.3% | 7 |
| 1.8% | 2.6% | 95.6% | 8 |
| 2% | 1.9% | 96% | 9 |
| 2.4% | 1.3% | 96.3% | 10 |
| 2.6% | 1% | 96.5% | 11 |
| 2.7% | 0.7% | 96.6% | 12 |
| 2.8% | 0.5% | 96.7% | 13 |
| 2.9% | 0.3% | 96.7% | 14 |
Compiled 26 to 15 computations (42.3% saved)
| 762.0ms | 8256× | body | 128 | valid |
| 33.0ms | 352× | body | 128 | invalid |
Compiled 67 to 38 computations (43.3% saved)
| 1× | egg-herbie |
| 704× | fma-def_binary64 |
| 643× | fma-neg_binary64 |
| 603× | associate-/r*_binary64 |
| 566× | associate-*l*_binary64 |
| 362× | distribute-rgt-in_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 20 |
| 1 | 26 | 17 |
| 2 | 69 | 15 |
| 3 | 194 | 15 |
| 4 | 464 | 15 |
| 5 | 1521 | 15 |
| 6 | 4781 | 15 |
| 7 | 5160 | 15 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 1 | 2 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 2 | 1 | 3 |
| Status | Error | Program |
| ▶ | 16.2b | (sqrt.f64 (fabs.f64 (fma.f64 b (/.f64 b (*.f64 a a)) -1))) |
Compiled 49 to 29 computations (40.8% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (sqrt.f64 (fabs.f64 (fma.f64 b (/.f64 b (*.f64 a a)) -1))) |
| ✓ | 0.0b | (fma.f64 b (/.f64 b (*.f64 a a)) -1) |
| ✓ | 16.3b | (/.f64 b (*.f64 a a)) |
3 calls:
| 27.0ms | (/.f64 b (*.f64 a a)) |
| 23.0ms | (fma.f64 b (/.f64 b (*.f64 a a)) -1) |
| 12.0ms | (sqrt.f64 (fabs.f64 (fma.f64 b (/.f64 b (*.f64 a a)) -1))) |
| 1× | rewrite-expression-head |
| 11× | add-sqr-sqrt_binary64 |
| 8× | add-cbrt-cube_binary64 |
| 8× | add-exp-log_binary64 |
| 7× | sqrt-prod_binary64 |
| 7× | *-un-lft-identity_binary64 |
3 calls:
| 3.0ms | (/.f64 b (*.f64 a a)) |
| 1.0ms | (sqrt.f64 (fabs.f64 (fma.f64 b (/.f64 b (*.f64 a a)) -1))) |
| 0.0ms | (fma.f64 b (/.f64 b (*.f64 a a)) -1) |
| 1× | egg-herbie |
| 661× | associate-/l*_binary64 |
| 603× | fma-def_binary64 |
| 491× | associate-*l*_binary64 |
| 486× | associate-/l/_binary64 |
| 431× | associate-/r*_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 90 | 1587 |
| 1 | 143 | 1492 |
| 2 | 293 | 1492 |
| 3 | 866 | 1490 |
| 4 | 4508 | 1490 |
| 5 | 5063 | 1490 |
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 67 | 3 | 70 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 68 | 3 | 71 |
| Status | Error | Program |
| ▶ | 0.0b | (sqrt.f64 (fabs.f64 (fma.f64 b (/.f64 1 (/.f64 a (/.f64 b a))) -1))) |
| 16.2b | (sqrt.f64 (fabs.f64 (cbrt.f64 (pow.f64 (fma.f64 b (/.f64 b (*.f64 a a)) -1) 3)))) | |
| 16.2b | (sqrt.f64 (fabs.f64 (log1p.f64 (expm1.f64 (fma.f64 b (/.f64 b (*.f64 a a)) -1))))) |
Compiled 1165 to 577 computations (50.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (sqrt.f64 (fabs.f64 (fma.f64 b (/.f64 1 (/.f64 a (/.f64 b a))) -1))) |
| ✓ | 0.0b | (fma.f64 b (/.f64 1 (/.f64 a (/.f64 b a))) -1) |
| ✓ | 0.3b | (/.f64 1 (/.f64 a (/.f64 b a))) |
| ✓ | 0.3b | (/.f64 a (/.f64 b a)) |
4 calls:
| 52.0ms | (fma.f64 b (/.f64 1 (/.f64 a (/.f64 b a))) -1) |
| 45.0ms | (/.f64 1 (/.f64 a (/.f64 b a))) |
| 21.0ms | (sqrt.f64 (fabs.f64 (fma.f64 b (/.f64 1 (/.f64 a (/.f64 b a))) -1))) |
| 20.0ms | (/.f64 a (/.f64 b a)) |
| 1× | rewrite-expression-head |
| 471× | times-frac_binary64 |
| 237× | add-sqr-sqrt_binary64 |
| 233× | *-un-lft-identity_binary64 |
| 233× | add-cube-cbrt_binary64 |
| 57× | associate-/r*_binary64 |
4 calls:
| 18.0ms | (/.f64 1 (/.f64 a (/.f64 b a))) |
| 10.0ms | (/.f64 a (/.f64 b a)) |
| 1.0ms | (sqrt.f64 (fabs.f64 (fma.f64 b (/.f64 1 (/.f64 a (/.f64 b a))) -1))) |
| 1.0ms | (fma.f64 b (/.f64 1 (/.f64 a (/.f64 b a))) -1) |
| 1× | egg-herbie |
| 486× | fma-neg_binary64 |
| 352× | fma-def_binary64 |
| 313× | *-commutative_binary64 |
| 297× | associate-/r/_binary64 |
| 260× | unswap-sqr_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 287 | 7610 |
| 1 | 532 | 6535 |
| 2 | 1543 | 6124 |
| 3 | 1874 | 6072 |
| 4 | 2754 | 5918 |
| 5 | 4637 | 5918 |
| 6 | 4946 | 5918 |
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 457 | 2 | 459 |
| Fresh | 1 | 1 | 2 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 459 | 3 | 462 |
| Status | Error | Program |
| 16.2b | (sqrt.f64 (fabs.f64 (cbrt.f64 (pow.f64 (fma.f64 b (/.f64 b (*.f64 a a)) -1) 3)))) | |
| ▶ | 0.0b | (sqrt.f64 (fabs.f64 (+.f64 (*.f64 b (/.f64 1 (/.f64 a (/.f64 b a)))) -1))) |
| 16.2b | (log.f64 (exp.f64 (sqrt.f64 (fabs.f64 (fma.f64 b (/.f64 b (*.f64 a a)) -1))))) |
Compiled 10128 to 4610 computations (54.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (+.f64 (*.f64 b (/.f64 1 (/.f64 a (/.f64 b a)))) -1) |
| ✓ | 0.2b | (*.f64 b (/.f64 1 (/.f64 a (/.f64 b a)))) |
| 0.3b | (/.f64 1 (/.f64 a (/.f64 b a))) | |
| 0.3b | (/.f64 a (/.f64 b a)) |
2 calls:
| 444.0ms | (*.f64 b (/.f64 1 (/.f64 a (/.f64 b a)))) |
| 39.0ms | (+.f64 (*.f64 b (/.f64 1 (/.f64 a (/.f64 b a)))) -1) |
| 1× | rewrite-expression-head |
| 342× | times-frac_binary64 |
| 176× | add-sqr-sqrt_binary64 |
| 156× | *-un-lft-identity_binary64 |
| 153× | add-cube-cbrt_binary64 |
| 137× | associate-*r*_binary64 |
2 calls:
| 58.0ms | (*.f64 b (/.f64 1 (/.f64 a (/.f64 b a)))) |
| 24.0ms | (+.f64 (*.f64 b (/.f64 1 (/.f64 a (/.f64 b a)))) -1) |
| 1× | egg-herbie |
| 762× | fma-neg_binary64 |
| 417× | *-commutative_binary64 |
| 256× | unswap-sqr_binary64 |
| 228× | associate-/r/_binary64 |
| 191× | cancel-sign-sub-inv_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 238 | 3345 |
| 1 | 548 | 3148 |
| 2 | 1961 | 2885 |
| 3 | 2819 | 2817 |
| 4 | 4834 | 2817 |
| 5 | 5269 | 2817 |
3 alts after pruning (2 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 736 | 1 | 737 |
| Fresh | 1 | 1 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 737 | 3 | 740 |
| Status | Error | Program |
| 16.2b | (sqrt.f64 (fabs.f64 (cbrt.f64 (pow.f64 (fma.f64 b (/.f64 b (*.f64 a a)) -1) 3)))) | |
| ✓ | 0.0b | (sqrt.f64 (fabs.f64 (+.f64 (*.f64 b (/.f64 1 (/.f64 a (/.f64 b a)))) -1))) |
| ▶ | 0.0b | (sqrt.f64 (fabs.f64 (log1p.f64 (expm1.f64 (fma.f64 b (/.f64 (/.f64 b a) a) -1))))) |
Compiled 17680 to 8178 computations (53.7% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (sqrt.f64 (fabs.f64 (log1p.f64 (expm1.f64 (fma.f64 b (/.f64 (/.f64 b a) a) -1))))) |
| ✓ | 0.0b | (fma.f64 b (/.f64 (/.f64 b a) a) -1) |
| ✓ | 0.0b | (log1p.f64 (expm1.f64 (fma.f64 b (/.f64 (/.f64 b a) a) -1))) |
| ✓ | 0.3b | (/.f64 (/.f64 b a) a) |
4 calls:
| 145.0ms | (/.f64 (/.f64 b a) a) |
| 53.0ms | (fma.f64 b (/.f64 (/.f64 b a) a) -1) |
| 42.0ms | (log1p.f64 (expm1.f64 (fma.f64 b (/.f64 (/.f64 b a) a) -1))) |
| 31.0ms | (sqrt.f64 (fabs.f64 (log1p.f64 (expm1.f64 (fma.f64 b (/.f64 (/.f64 b a) a) -1))))) |
| 1× | rewrite-expression-head |
| 75× | times-frac_binary64 |
| 52× | add-sqr-sqrt_binary64 |
| 48× | *-un-lft-identity_binary64 |
| 48× | add-cube-cbrt_binary64 |
| 13× | associate-/l*_binary64 |
4 calls:
| 10.0ms | (/.f64 (/.f64 b a) a) |
| 3.0ms | (sqrt.f64 (fabs.f64 (log1p.f64 (expm1.f64 (fma.f64 b (/.f64 (/.f64 b a) a) -1))))) |
| 1.0ms | (fma.f64 b (/.f64 (/.f64 b a) a) -1) |
| 1.0ms | (log1p.f64 (expm1.f64 (fma.f64 b (/.f64 (/.f64 b a) a) -1))) |
| 1× | egg-herbie |
| 599× | fma-def_binary64 |
| 423× | unswap-sqr_binary64 |
| 394× | fma-neg_binary64 |
| 337× | associate-/l/_binary64 |
| 324× | times-frac_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 195 | 3073 |
| 1 | 350 | 2841 |
| 2 | 653 | 2769 |
| 3 | 1695 | 2745 |
| 4 | 2636 | 2725 |
| 5 | 4645 | 2725 |
| 6 | 4958 | 2725 |
3 alts after pruning (1 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 175 | 0 | 175 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 175 | 3 | 178 |
| Status | Error | Program |
| 16.2b | (sqrt.f64 (fabs.f64 (cbrt.f64 (pow.f64 (fma.f64 b (/.f64 b (*.f64 a a)) -1) 3)))) | |
| ✓ | 0.0b | (sqrt.f64 (fabs.f64 (+.f64 (*.f64 b (/.f64 1 (/.f64 a (/.f64 b a)))) -1))) |
| ✓ | 0.0b | (sqrt.f64 (fabs.f64 (log1p.f64 (expm1.f64 (fma.f64 b (/.f64 (/.f64 b a) a) -1))))) |
Compiled 3430 to 1688 computations (50.8% saved)
Total 0.0b remaining (46.5%)
Threshold costs 0.0b (46.5%)
Compiled 4771 to 3286 computations (31.1% saved)
| 1× | egg-herbie |
| 1× | +-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 16 |
| 1 | 12 | 16 |
| 2 | 12 | 16 |
Compiled 68 to 52 computations (23.5% saved)
Loading profile data...