Time bar (total: 6.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 |
| 15.6% | 84.3% | 0.1% | 6 |
| 37.5% | 62.4% | 0.1% | 7 |
| 46.8% | 53.1% | 0.1% | 8 |
| 57.8% | 39.8% | 2.4% | 9 |
| 64.6% | 30.4% | 5% | 10 |
| 71.8% | 20.3% | 7.9% | 11 |
| 74.1% | 16.2% | 9.7% | 12 |
| 77.4% | 10.7% | 12% | 13 |
| 78.6% | 8.4% | 13% | 14 |
Compiled 24 to 18 computations (25% saved)
| 1.2s | 8256× | body | 128 | valid |
| 50.0ms | 369× | body | 128 | invalid |
Compiled 71 to 53 computations (25.4% saved)
| 1× | egg-herbie |
| 693× | div-sub_binary64 |
| 599× | times-frac_binary64 |
| 519× | associate-/l*_binary64 |
| 357× | associate-/l/_binary64 |
| 274× | distribute-rgt-in_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 16 | 32 |
| 1 | 37 | 29 |
| 2 | 94 | 29 |
| 3 | 345 | 29 |
| 4 | 1207 | 28 |
| 5 | 3468 | 28 |
| 6 | 5020 | 28 |
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 |
| 17.3b | (*.f64 (*.f64 (/.f64 (PI.f64) 2) (/.f64 1 (-.f64 (*.f64 b b) (*.f64 a a)))) (-.f64 (/.f64 1 a) (/.f64 1 b))) | |
| ▶ | 0.2b | (*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (-.f64 b a))) |
Compiled 127 to 87 computations (31.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) |
| ✓ | 0.2b | (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (-.f64 b a)) |
| ✓ | 0.2b | (*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (-.f64 b a))) |
| ✓ | 0.2b | (/.f64 (PI.f64) a) |
4 calls:
| 20.0ms | (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (-.f64 b a)) |
| 19.0ms | (*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (-.f64 b a))) |
| 9.0ms | (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) |
| 3.0ms | (/.f64 (PI.f64) a) |
| 1× | rewrite-expression-head |
| 65× | add-sqr-sqrt_binary64 |
| 59× | *-un-lft-identity_binary64 |
| 55× | times-frac_binary64 |
| 39× | add-cube-cbrt_binary64 |
| 21× | associate-*r*_binary64 |
4 calls:
| 15.0ms | (*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (-.f64 b a))) |
| 10.0ms | (/.f64 (PI.f64) a) |
| 4.0ms | (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (-.f64 b a)) |
| 0.0ms | (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) |
| 1× | egg-herbie |
| 425× | times-frac_binary64 |
| 380× | associate-/l/_binary64 |
| 318× | fma-neg_binary64 |
| 291× | fma-def_binary64 |
| 232× | distribute-rgt-in_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 265 | 5404 |
| 1 | 676 | 4819 |
| 2 | 2133 | 4749 |
| 3 | 4629 | 4748 |
| 4 | 4989 | 4748 |
| 5 | 4998 | 4748 |
| 6 | 4972 | 4748 |
10 alts after pruning (10 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 228 | 9 | 237 |
| Fresh | 0 | 1 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 229 | 10 | 239 |
| Status | Error | Program |
| 0.3b | (*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 1 (/.f64 (-.f64 b a) (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b))))) | |
| 0.5b | (*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (*.f64 (*.f64 (cbrt.f64 (/.f64 (PI.f64) a)) (cbrt.f64 (/.f64 (PI.f64) a))) (cbrt.f64 (/.f64 (PI.f64) a)))) (-.f64 b a))) | |
| 31.9b | (*.f64 (*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 1 (sqrt.f64 (-.f64 b a)))) (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (sqrt.f64 (-.f64 b a)))) | |
| ▶ | 0.2b | (/.f64 (*.f64 1/2 (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (-.f64 b a))) (+.f64 b a)) |
| 0.7b | (*.f64 (/.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)) 1) (*.f64 (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (-.f64 b a)) (/.f64 (cbrt.f64 1/2) (+.f64 a b)))) | |
| 17.3b | (*.f64 (*.f64 (/.f64 (PI.f64) 2) (/.f64 1 (-.f64 (*.f64 b b) (*.f64 a a)))) (-.f64 (/.f64 1 a) (/.f64 1 b))) | |
| 29.7b | (*.f64 1/2 (/.f64 (PI.f64) (*.f64 a (pow.f64 b 2)))) | |
| 0.7b | (*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (*.f64 (cbrt.f64 (-.f64 b a)) (cbrt.f64 (-.f64 b a)))) (cbrt.f64 (-.f64 b a)))) | |
| 0.2b | (*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 (+.f64 (neg.f64 (/.f64 (PI.f64) b)) (/.f64 (PI.f64) a)) (-.f64 b a))) | |
| 0.4b | (*.f64 (/.f64 (sqrt.f64 1/2) 1) (*.f64 (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (-.f64 b a)) (/.f64 (sqrt.f64 1/2) (+.f64 a b)))) |
Compiled 7112 to 2754 computations (61.3% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (/.f64 (*.f64 1/2 (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (-.f64 b a))) (+.f64 b a)) |
| ✓ | 0.2b | (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (-.f64 b a)) |
| 0.2b | (/.f64 (PI.f64) a) | |
| ✓ | 0.3b | (/.f64 (PI.f64) b) |
3 calls:
| 20.0ms | (/.f64 (*.f64 1/2 (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (-.f64 b a))) (+.f64 b a)) |
| 17.0ms | (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (-.f64 b a)) |
| 2.0ms | (/.f64 (PI.f64) b) |
| 1× | rewrite-expression-head |
| 142× | add-sqr-sqrt_binary64 |
| 133× | times-frac_binary64 |
| 122× | *-un-lft-identity_binary64 |
| 44× | add-cube-cbrt_binary64 |
| 43× | distribute-lft-out--_binary64 |
3 calls:
| 20.0ms | (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (-.f64 b a)) |
| 20.0ms | (/.f64 (*.f64 1/2 (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (-.f64 b a))) (+.f64 b a)) |
| 2.0ms | (/.f64 (PI.f64) b) |
| 1× | egg-herbie |
| 663× | times-frac_binary64 |
| 311× | fma-def_binary64 |
| 299× | fma-neg_binary64 |
| 273× | distribute-rgt-in_binary64 |
| 248× | distribute-lft-in_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 311 | 5679 |
| 1 | 798 | 5327 |
| 2 | 2228 | 5259 |
| 3 | 4971 | 5259 |
| 4 | 5149 | 5259 |
9 alts after pruning (8 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 235 | 2 | 237 |
| Fresh | 3 | 6 | 9 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 238 | 9 | 247 |
| Status | Error | Program |
| 0.7b | (*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (*.f64 (cbrt.f64 (-.f64 b a)) (cbrt.f64 (-.f64 b a)))) (cbrt.f64 (-.f64 b a)))) | |
| ▶ | 0.2b | (/.f64 (*.f64 1/2 (/.f64 1 (/.f64 (-.f64 b a) (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b))))) (+.f64 b a)) |
| 0.2b | (*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 (+.f64 (neg.f64 (/.f64 (PI.f64) b)) (/.f64 (PI.f64) a)) (-.f64 b a))) | |
| 0.3b | (/.f64 (*.f64 1/2 (*.f64 (PI.f64) (/.f64 (-.f64 (/.f64 1 a) (/.f64 1 b)) (-.f64 b a)))) (+.f64 b a)) | |
| 31.9b | (*.f64 (*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 1 (sqrt.f64 (-.f64 b a)))) (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (sqrt.f64 (-.f64 b a)))) | |
| 0.5b | (*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (*.f64 (*.f64 (cbrt.f64 (/.f64 (PI.f64) a)) (cbrt.f64 (/.f64 (PI.f64) a))) (cbrt.f64 (/.f64 (PI.f64) a)))) (-.f64 b a))) | |
| ✓ | 0.2b | (/.f64 (*.f64 1/2 (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (-.f64 b a))) (+.f64 b a)) |
| 17.3b | (*.f64 (*.f64 (/.f64 (PI.f64) 2) (/.f64 1 (-.f64 (*.f64 b b) (*.f64 a a)))) (-.f64 (/.f64 1 a) (/.f64 1 b))) | |
| 0.4b | (*.f64 (/.f64 (sqrt.f64 1/2) 1) (*.f64 (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (-.f64 b a)) (/.f64 (sqrt.f64 1/2) (+.f64 a b)))) |
Compiled 6821 to 1952 computations (71.4% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.2b | (/.f64 (PI.f64) a) | |
| ✓ | 0.2b | (/.f64 (-.f64 b a) (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b))) |
| 0.3b | (/.f64 (PI.f64) b) | |
| ✓ | 0.7b | (/.f64 1 (/.f64 (-.f64 b a) (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)))) |
2 calls:
| 36.0ms | (/.f64 (-.f64 b a) (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b))) |
| 19.0ms | (/.f64 1 (/.f64 (-.f64 b a) (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)))) |
| 1× | rewrite-expression-head |
| 761× | times-frac_binary64 |
| 647× | add-sqr-sqrt_binary64 |
| 543× | *-un-lft-identity_binary64 |
| 213× | add-cube-cbrt_binary64 |
| 191× | distribute-lft-out--_binary64 |
2 calls:
| 22.0ms | (/.f64 1 (/.f64 (-.f64 b a) (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)))) |
| 17.0ms | (/.f64 (-.f64 b a) (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b))) |
| 1× | egg-herbie |
| 828× | fma-def_binary64 |
| 419× | associate-/r/_binary64 |
| 369× | times-frac_binary64 |
| 325× | associate-/r*_binary64 |
| 317× | distribute-rgt-in_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 300 | 14610 |
| 1 | 667 | 13806 |
| 2 | 2036 | 13407 |
| 3 | 4565 | 13407 |
| 4 | 5148 | 13407 |
9 alts after pruning (7 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 500 | 0 | 500 |
| Fresh | 0 | 7 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 500 | 9 | 509 |
| Status | Error | Program |
| 0.7b | (*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (*.f64 (cbrt.f64 (-.f64 b a)) (cbrt.f64 (-.f64 b a)))) (cbrt.f64 (-.f64 b a)))) | |
| ✓ | 0.2b | (/.f64 (*.f64 1/2 (/.f64 1 (/.f64 (-.f64 b a) (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b))))) (+.f64 b a)) |
| ▶ | 0.2b | (*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 (+.f64 (neg.f64 (/.f64 (PI.f64) b)) (/.f64 (PI.f64) a)) (-.f64 b a))) |
| 0.3b | (/.f64 (*.f64 1/2 (*.f64 (PI.f64) (/.f64 (-.f64 (/.f64 1 a) (/.f64 1 b)) (-.f64 b a)))) (+.f64 b a)) | |
| 31.9b | (*.f64 (*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 1 (sqrt.f64 (-.f64 b a)))) (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (sqrt.f64 (-.f64 b a)))) | |
| 0.5b | (*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (*.f64 (*.f64 (cbrt.f64 (/.f64 (PI.f64) a)) (cbrt.f64 (/.f64 (PI.f64) a))) (cbrt.f64 (/.f64 (PI.f64) a)))) (-.f64 b a))) | |
| ✓ | 0.2b | (/.f64 (*.f64 1/2 (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (-.f64 b a))) (+.f64 b a)) |
| 17.3b | (*.f64 (*.f64 (/.f64 (PI.f64) 2) (/.f64 1 (-.f64 (*.f64 b b) (*.f64 a a)))) (-.f64 (/.f64 1 a) (/.f64 1 b))) | |
| 0.4b | (*.f64 (/.f64 (sqrt.f64 1/2) 1) (*.f64 (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (-.f64 b a)) (/.f64 (sqrt.f64 1/2) (+.f64 a b)))) |
Compiled 17144 to 4859 computations (71.7% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.2b | (/.f64 (+.f64 (neg.f64 (/.f64 (PI.f64) b)) (/.f64 (PI.f64) a)) (-.f64 b a)) |
| ✓ | 0.2b | (*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 (+.f64 (neg.f64 (/.f64 (PI.f64) b)) (/.f64 (PI.f64) a)) (-.f64 b a))) |
| 0.2b | (/.f64 (PI.f64) a) | |
| 0.3b | (/.f64 (PI.f64) b) |
2 calls:
| 19.0ms | (*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 (+.f64 (neg.f64 (/.f64 (PI.f64) b)) (/.f64 (PI.f64) a)) (-.f64 b a))) |
| 18.0ms | (/.f64 (+.f64 (neg.f64 (/.f64 (PI.f64) b)) (/.f64 (PI.f64) a)) (-.f64 b a)) |
| 1× | rewrite-expression-head |
| 217× | *-un-lft-identity_binary64 |
| 172× | times-frac_binary64 |
| 113× | add-sqr-sqrt_binary64 |
| 69× | distribute-lft-out_binary64 |
| 63× | add-cube-cbrt_binary64 |
2 calls:
| 37.0ms | (*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 (+.f64 (neg.f64 (/.f64 (PI.f64) b)) (/.f64 (PI.f64) a)) (-.f64 b a))) |
| 21.0ms | (/.f64 (+.f64 (neg.f64 (/.f64 (PI.f64) b)) (/.f64 (PI.f64) a)) (-.f64 b a)) |
| 1× | egg-herbie |
| 781× | times-frac_binary64 |
| 600× | div-sub_binary64 |
| 437× | fma-def_binary64 |
| 270× | fma-neg_binary64 |
| 234× | associate-*r/_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 283 | 6484 |
| 1 | 816 | 5753 |
| 2 | 2695 | 5716 |
| 3 | 4441 | 5715 |
| 4 | 5690 | 5715 |
8 alts after pruning (6 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 317 | 1 | 318 |
| Fresh | 1 | 5 | 6 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 2 | 2 |
| Total | 319 | 8 | 327 |
| Status | Error | Program |
| 31.9b | (*.f64 (*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 1 (sqrt.f64 (-.f64 b a)))) (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (sqrt.f64 (-.f64 b a)))) | |
| 0.5b | (*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (*.f64 (*.f64 (cbrt.f64 (/.f64 (PI.f64) a)) (cbrt.f64 (/.f64 (PI.f64) a))) (cbrt.f64 (/.f64 (PI.f64) a)))) (-.f64 b a))) | |
| ✓ | 0.2b | (/.f64 (*.f64 1/2 (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (-.f64 b a))) (+.f64 b a)) |
| 0.3b | (*.f64 (/.f64 1/2 (+.f64 b a)) (*.f64 (PI.f64) (/.f64 (-.f64 (/.f64 1 a) (/.f64 1 b)) (-.f64 b a)))) | |
| 17.3b | (*.f64 (*.f64 (/.f64 (PI.f64) 2) (/.f64 1 (-.f64 (*.f64 b b) (*.f64 a a)))) (-.f64 (/.f64 1 a) (/.f64 1 b))) | |
| ✓ | 0.2b | (/.f64 (*.f64 1/2 (/.f64 1 (/.f64 (-.f64 b a) (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b))))) (+.f64 b a)) |
| 0.3b | (/.f64 (*.f64 1/2 (*.f64 (PI.f64) (/.f64 (-.f64 (/.f64 1 a) (/.f64 1 b)) (-.f64 b a)))) (+.f64 b a)) | |
| 0.4b | (*.f64 (/.f64 (sqrt.f64 1/2) 1) (*.f64 (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (-.f64 b a)) (/.f64 (sqrt.f64 1/2) (+.f64 a b)))) |
Compiled 9166 to 2501 computations (72.7% saved)
Total 0.3b remaining (91.2%)
Threshold costs 0.3b (91.2%)
Compiled 15868 to 10122 computations (36.2% saved)
| 1× | egg-herbie |
| 6× | +-commutative_binary64 |
| 5× | sub-neg_binary64 |
| 4× | *-commutative_binary64 |
| 3× | neg-sub0_binary64 |
| 3× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 27 |
| 1 | 19 | 27 |
| 2 | 29 | 27 |
| 3 | 35 | 27 |
| 4 | 39 | 27 |
| 5 | 40 | 27 |
| 6 | 40 | 27 |
Compiled 227 to 148 computations (34.8% saved)
Loading profile data...