Time bar (total: 7.3s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.8% | 0.2% | 0 |
| 0% | 99.8% | 0.2% | 1 |
| 0% | 99.8% | 0.2% | 2 |
| 0% | 99.8% | 0.2% | 3 |
| 0% | 99.8% | 0.2% | 4 |
| 0% | 99.8% | 0.2% | 5 |
| 0% | 99.8% | 0.2% | 6 |
| 0% | 99.8% | 0.2% | 7 |
| 6.2% | 93.6% | 0.2% | 8 |
| 25% | 74.9% | 0.2% | 9 |
| 28.1% | 71.7% | 0.2% | 10 |
| 29.6% | 70.2% | 0.2% | 11 |
| 53% | 46.8% | 0.2% | 12 |
| 71.3% | 28.5% | 0.2% | 13 |
| 71.7% | 28.1% | 0.2% | 14 |
Compiled 20 to 12 computations (40% saved)
| 1× | intervals |
| 14.0ms | 256× | body | 128 | valid |
| 1.0ms | 18× | body | 128 | invalid |
Compiled 43 to 27 computations (37.2% saved)
| 1× | egg-herbie |
| 6× | fma-def_binary64 |
| 2× | +-commutative_binary64 |
| 2× | *-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 18 |
| 1 | 18 | 18 |
| 2 | 22 | 18 |
| 3 | 22 | 18 |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 1 | 2 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 1 | 2 | 3 |
| Status | Error | Program |
| ▶ | 28.2b | (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))) |
Compiled 70 to 36 computations (48.6% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.7b | (+.f64 (*.f64 a c) (*.f64 b d)) |
| ✓ | 27.7b | (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))) |
2 calls:
| 81.0ms | (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))) |
| 8.0ms | (+.f64 (*.f64 a c) (*.f64 b d)) |
| 1× | rewrite-expression-head |
| 10× | *-un-lft-identity_binary64 |
| 10× | add-sqr-sqrt_binary64 |
| 10× | add-cube-cbrt_binary64 |
| 9× | times-frac_binary64 |
| 4× | add-cbrt-cube_binary64 |
2 calls:
| 9.0ms | (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))) |
| 3.0ms | (+.f64 (*.f64 a c) (*.f64 b d)) |
| 1× | egg-herbie |
| 472× | associate-*l*_binary64 |
| 420× | fma-def_binary64 |
| 391× | associate-*r*_binary64 |
| 343× | times-frac_binary64 |
| 331× | fma-neg_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 122 | 2682 |
| 1 | 341 | 2585 |
| 2 | 1159 | 2501 |
| 3 | 4461 | 2489 |
| 4 | 4888 | 2489 |
| 5 | 4980 | 2489 |
6 alts after pruning (6 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 101 | 6 | 107 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 102 | 6 | 108 |
| Status | Error | Program |
| 34.0b | (fma.f64 (/.f64 c d) (/.f64 a d) (/.f64 b d)) | |
| 28.5b | (*.f64 (*.f64 (cbrt.f64 (fma.f64 d b (*.f64 c a))) (cbrt.f64 (fma.f64 d b (*.f64 c a)))) (/.f64 (cbrt.f64 (fma.f64 d b (*.f64 c a))) (fma.f64 d d (*.f64 c c)))) | |
| 26.9b | (fma.f64 (/.f64 d (fma.f64 d d (*.f64 c c))) b (/.f64 (*.f64 c a) (fma.f64 d d (*.f64 c c)))) | |
| 30.8b | (fma.f64 (/.f64 d c) (/.f64 b c) (/.f64 a c)) | |
| 43.6b | (/.f64 (-.f64 (*.f64 (*.f64 a c) (*.f64 a c)) (*.f64 (*.f64 b d) (*.f64 b d))) (*.f64 (fma.f64 d d (*.f64 c c)) (-.f64 (*.f64 c a) (*.f64 d b)))) | |
| ▶ | 18.5b | (*.f64 (/.f64 1 (hypot.f64 d c)) (/.f64 (fma.f64 d b (*.f64 c a)) (hypot.f64 d c))) |
Compiled 2833 to 562 computations (80.2% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (/.f64 1 (hypot.f64 d c)) |
| ✓ | 0.3b | (*.f64 (/.f64 1 (hypot.f64 d c)) (/.f64 (fma.f64 d b (*.f64 c a)) (hypot.f64 d c))) |
| ✓ | 0.5b | (fma.f64 d b (*.f64 c a)) |
| ✓ | 17.3b | (/.f64 (fma.f64 d b (*.f64 c a)) (hypot.f64 d c)) |
4 calls:
| 104.0ms | (*.f64 (/.f64 1 (hypot.f64 d c)) (/.f64 (fma.f64 d b (*.f64 c a)) (hypot.f64 d c))) |
| 95.0ms | (/.f64 (fma.f64 d b (*.f64 c a)) (hypot.f64 d c)) |
| 17.0ms | (/.f64 1 (hypot.f64 d c)) |
| 11.0ms | (fma.f64 d b (*.f64 c a)) |
| 1× | rewrite-expression-head |
| 51× | add-sqr-sqrt_binary64 |
| 43× | times-frac_binary64 |
| 36× | *-un-lft-identity_binary64 |
| 34× | add-cube-cbrt_binary64 |
| 32× | add-exp-log_binary64 |
4 calls:
| 8.0ms | (*.f64 (/.f64 1 (hypot.f64 d c)) (/.f64 (fma.f64 d b (*.f64 c a)) (hypot.f64 d c))) |
| 4.0ms | (/.f64 (fma.f64 d b (*.f64 c a)) (hypot.f64 d c)) |
| 2.0ms | (/.f64 1 (hypot.f64 d c)) |
| 0.0ms | (fma.f64 d b (*.f64 c a)) |
| 1× | egg-herbie |
| 845× | times-frac_binary64 |
| 428× | fma-neg_binary64 |
| 410× | fma-def_binary64 |
| 335× | cancel-sign-sub-inv_binary64 |
| 274× | distribute-rgt-in_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 233 | 6205 |
| 1 | 631 | 5720 |
| 2 | 2125 | 5547 |
| 3 | 4841 | 5539 |
| 4 | 5079 | 5539 |
7 alts after pruning (7 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 281 | 5 | 286 |
| Fresh | 3 | 2 | 5 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 285 | 7 | 292 |
| Status | Error | Program |
| 30.8b | (fma.f64 (/.f64 d c) (/.f64 b c) (/.f64 a c)) | |
| ▶ | 18.4b | (/.f64 (/.f64 (fma.f64 a c (*.f64 d b)) (hypot.f64 d c)) (hypot.f64 d c)) |
| 43.7b | (*.f64 (/.f64 1 (hypot.f64 d c)) (neg.f64 (fma.f64 (/.f64 d c) b a))) | |
| 18.7b | (*.f64 (/.f64 (/.f64 1 (sqrt.f64 (hypot.f64 d c))) (sqrt.f64 (hypot.f64 d c))) (/.f64 (fma.f64 d b (*.f64 c a)) (hypot.f64 d c))) | |
| 26.1b | (fma.f64 (/.f64 c (fma.f64 d d (*.f64 c c))) a (/.f64 (*.f64 d b) (fma.f64 d d (*.f64 c c)))) | |
| 34.0b | (fma.f64 (/.f64 c d) (/.f64 a d) (/.f64 b d)) | |
| 19.0b | (*.f64 (/.f64 1 (hypot.f64 d c)) (/.f64 (/.f64 (fma.f64 d b (*.f64 c a)) (*.f64 (cbrt.f64 (hypot.f64 d c)) (cbrt.f64 (hypot.f64 d c)))) (cbrt.f64 (hypot.f64 d c)))) |
Compiled 7357 to 2191 computations (70.2% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (/.f64 (/.f64 (fma.f64 a c (*.f64 d b)) (hypot.f64 d c)) (hypot.f64 d c)) |
| ✓ | 0.3b | (fma.f64 a c (*.f64 d b)) |
| ✓ | 17.3b | (/.f64 (fma.f64 a c (*.f64 d b)) (hypot.f64 d c)) |
3 calls:
| 101.0ms | (/.f64 (/.f64 (fma.f64 a c (*.f64 d b)) (hypot.f64 d c)) (hypot.f64 d c)) |
| 94.0ms | (/.f64 (fma.f64 a c (*.f64 d b)) (hypot.f64 d c)) |
| 11.0ms | (fma.f64 a c (*.f64 d b)) |
| 1× | rewrite-expression-head |
| 84× | times-frac_binary64 |
| 53× | *-un-lft-identity_binary64 |
| 53× | add-sqr-sqrt_binary64 |
| 53× | add-cube-cbrt_binary64 |
| 16× | associate-/l*_binary64 |
3 calls:
| 4.0ms | (/.f64 (/.f64 (fma.f64 a c (*.f64 d b)) (hypot.f64 d c)) (hypot.f64 d c)) |
| 2.0ms | (/.f64 (fma.f64 a c (*.f64 d b)) (hypot.f64 d c)) |
| 0.0ms | (fma.f64 a c (*.f64 d b)) |
| 1× | egg-herbie |
| 674× | times-frac_binary64 |
| 512× | associate-/l*_binary64 |
| 382× | associate-/l/_binary64 |
| 345× | fma-neg_binary64 |
| 339× | associate-/r*_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 221 | 6272 |
| 1 | 538 | 5929 |
| 2 | 1440 | 5628 |
| 3 | 4524 | 5565 |
| 4 | 5033 | 5565 |
7 alts after pruning (6 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 247 | 2 | 249 |
| Fresh | 2 | 4 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 249 | 7 | 256 |
| Status | Error | Program |
| 30.8b | (fma.f64 (/.f64 d c) (/.f64 b c) (/.f64 a c)) | |
| ✓ | 18.4b | (/.f64 (/.f64 (fma.f64 a c (*.f64 d b)) (hypot.f64 d c)) (hypot.f64 d c)) |
| 19.0b | (/.f64 (/.f64 (/.f64 (fma.f64 a c (*.f64 d b)) (*.f64 (cbrt.f64 (hypot.f64 d c)) (cbrt.f64 (hypot.f64 d c)))) (cbrt.f64 (hypot.f64 d c))) (hypot.f64 d c)) | |
| ▶ | 18.7b | (*.f64 (/.f64 (/.f64 1 (sqrt.f64 (hypot.f64 d c))) (sqrt.f64 (hypot.f64 d c))) (/.f64 (fma.f64 d b (*.f64 c a)) (hypot.f64 d c))) |
| 26.1b | (fma.f64 (/.f64 c (fma.f64 d d (*.f64 c c))) a (/.f64 (*.f64 d b) (fma.f64 d d (*.f64 c c)))) | |
| 34.0b | (fma.f64 (/.f64 c d) (/.f64 a d) (/.f64 b d)) | |
| 43.7b | (/.f64 (neg.f64 (fma.f64 (/.f64 d c) b a)) (hypot.f64 d c)) |
Compiled 6448 to 1207 computations (81.3% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (*.f64 (/.f64 (/.f64 1 (sqrt.f64 (hypot.f64 d c))) (sqrt.f64 (hypot.f64 d c))) (/.f64 (fma.f64 d b (*.f64 c a)) (hypot.f64 d c))) |
| ✓ | 0.3b | (/.f64 (/.f64 1 (sqrt.f64 (hypot.f64 d c))) (sqrt.f64 (hypot.f64 d c))) |
| 0.5b | (fma.f64 d b (*.f64 c a)) | |
| 17.3b | (/.f64 (fma.f64 d b (*.f64 c a)) (hypot.f64 d c)) |
2 calls:
| 98.0ms | (*.f64 (/.f64 (/.f64 1 (sqrt.f64 (hypot.f64 d c))) (sqrt.f64 (hypot.f64 d c))) (/.f64 (fma.f64 d b (*.f64 c a)) (hypot.f64 d c))) |
| 19.0ms | (/.f64 (/.f64 1 (sqrt.f64 (hypot.f64 d c))) (sqrt.f64 (hypot.f64 d c))) |
| 1× | rewrite-expression-head |
| 555× | times-frac_binary64 |
| 355× | add-sqr-sqrt_binary64 |
| 277× | *-un-lft-identity_binary64 |
| 270× | sqrt-prod_binary64 |
| 269× | add-cube-cbrt_binary64 |
2 calls:
| 34.0ms | (*.f64 (/.f64 (/.f64 1 (sqrt.f64 (hypot.f64 d c))) (sqrt.f64 (hypot.f64 d c))) (/.f64 (fma.f64 d b (*.f64 c a)) (hypot.f64 d c))) |
| 8.0ms | (/.f64 (/.f64 1 (sqrt.f64 (hypot.f64 d c))) (sqrt.f64 (hypot.f64 d c))) |
| 1× | egg-herbie |
| 421× | associate-/r/_binary64 |
| 276× | fma-def_binary64 |
| 270× | distribute-rgt-in_binary64 |
| 255× | distribute-lft-in_binary64 |
| 250× | associate-*l/_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 291 | 14937 |
| 1 | 788 | 13365 |
| 2 | 2363 | 12215 |
| 3 | 4851 | 12207 |
| 4 | 4994 | 12207 |
| 5 | 4960 | 12207 |
7 alts after pruning (5 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 602 | 0 | 602 |
| Fresh | 0 | 5 | 5 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 602 | 7 | 609 |
| Status | Error | Program |
| 30.8b | (fma.f64 (/.f64 d c) (/.f64 b c) (/.f64 a c)) | |
| ✓ | 18.4b | (/.f64 (/.f64 (fma.f64 a c (*.f64 d b)) (hypot.f64 d c)) (hypot.f64 d c)) |
| 19.0b | (/.f64 (/.f64 (/.f64 (fma.f64 a c (*.f64 d b)) (*.f64 (cbrt.f64 (hypot.f64 d c)) (cbrt.f64 (hypot.f64 d c)))) (cbrt.f64 (hypot.f64 d c))) (hypot.f64 d c)) | |
| ✓ | 18.7b | (*.f64 (/.f64 (/.f64 1 (sqrt.f64 (hypot.f64 d c))) (sqrt.f64 (hypot.f64 d c))) (/.f64 (fma.f64 d b (*.f64 c a)) (hypot.f64 d c))) |
| 26.1b | (fma.f64 (/.f64 c (fma.f64 d d (*.f64 c c))) a (/.f64 (*.f64 d b) (fma.f64 d d (*.f64 c c)))) | |
| 34.0b | (fma.f64 (/.f64 c d) (/.f64 a d) (/.f64 b d)) | |
| 43.7b | (/.f64 (neg.f64 (fma.f64 (/.f64 d c) b a)) (hypot.f64 d c)) |
Compiled 20625 to 5671 computations (72.5% saved)
Total 10.1b remaining (98.7%)
Threshold costs 0b (0%)
Compiled 19366 to 10873 computations (43.9% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 7 | 5.5013555494050716e+132 | 1.163007707576428e+135 | 1.6628009337917042e+133 |
| 9 | 1.3539858821618174e-112 | 1.1977277435158817e-107 | 2.8636600701744714e-111 |
| 10 | -4.571610901252968e-192 | -1.6060599745547955e-204 | -1.050794049494874e-197 |
| 10 | -2.4619775670305076e+166 | -1.759780515416923e+153 | -2.937760174171857e+153 |
Compiled 5 to 4 computations (20% saved)
| 1× | egg-herbie |
| 5× | *-commutative_binary64 |
| 3× | +-commutative_binary64 |
| 2× | sub-neg_binary64 |
| 2× | neg-sub0_binary64 |
| 2× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 39 | 110 |
| 1 | 49 | 110 |
| 2 | 53 | 110 |
| 3 | 56 | 110 |
| 4 | 57 | 110 |
| 5 | 56 | 110 |
Compiled 80 to 35 computations (56.3% saved)
| 1× | intervals |
| 411.0ms | 8000× | body | 128 | valid |
| 27.0ms | 467× | body | 128 | invalid |
Compiled 244 to 120 computations (50.8% saved)
Loading profile data...