Time bar (total: 4.3s)
| 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 |
| 25% | 74.9% | 0.1% | 6 |
| 25% | 74.9% | 0.1% | 7 |
| 43.7% | 56.2% | 0.1% | 8 |
| 62.4% | 37.4% | 0.1% | 9 |
| 65.5% | 34.3% | 0.1% | 10 |
| 71.8% | 27.7% | 0.5% | 11 |
| 79.2% | 19.7% | 1.1% | 12 |
| 80.2% | 18.7% | 1.1% | 13 |
| 82.8% | 15% | 2.2% | 14 |
Compiled 15 to 11 computations (26.7% saved)
| 929.0ms | 8256× | body | 128 | valid |
| 50.0ms | 478× | body | 128 | invalid |
Compiled 30 to 22 computations (26.7% saved)
| 2× | egg-herbie |
| 131× | fma-def_binary64 |
| 98× | associate-*l*_binary64 |
| 68× | associate-*r*_binary64 |
| 58× | distribute-lft-in_binary64 |
| 58× | distribute-rgt-in_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 22 | 64 |
| 1 | 69 | 56 |
| 2 | 146 | 56 |
| 3 | 322 | 56 |
| 4 | 491 | 56 |
| 5 | 616 | 56 |
| 6 | 624 | 56 |
| 0 | 3 | 3 |
| 1 | 3 | 3 |
| 1× | unsound |
| 1× | saturated |
(sort x y)
Compiled 14 to 10 computations (28.6% saved)
| 1× | egg-herbie |
| 44× | fma-def_binary64 |
| 31× | associate-*l*_binary64 |
| 30× | associate-*r*_binary64 |
| 19× | distribute-lft-in_binary64 |
| 19× | distribute-rgt-in_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 16 |
| 1 | 24 | 14 |
| 2 | 46 | 14 |
| 3 | 107 | 14 |
| 4 | 173 | 14 |
| 5 | 234 | 14 |
| 6 | 238 | 14 |
| 1× | saturated |
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 |
| 6.2b | (/.f64 1 (*.f64 x (*.f64 y (fma.f64 z z 1)))) | |
| ▶ | 5.9b | (/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z)))) |
Compiled 78 to 54 computations (30.8% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 3.1b | (/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z)))) |
| ✓ | 5.2b | (*.f64 y (+.f64 1 (*.f64 z z))) |
15 calls:
| 14.0ms | (/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z)))) | y | 0 |
| 14.0ms | (/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z)))) | x | 0 |
| 11.0ms | (/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z)))) | x | -inf |
| 11.0ms | (/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z)))) | y | -inf |
| 10.0ms | (/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z)))) | x | inf |
| 1× | batch-egg-rewrite |
| 289× | prod-diff_binary64 |
| 220× | fma-def_binary64 |
| 187× | expm1-udef_binary64 |
| 187× | log1p-udef_binary64 |
| 161× | log-pow_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 26 |
| 1 | 221 | 22 |
| 2 | 3148 | 22 |
| 1× | node limit |
| 1× | egg-herbie |
| 671× | times-frac_binary64 |
| 428× | distribute-neg-frac_binary64 |
| 318× | associate-/l*_binary64 |
| 199× | sub-neg_binary64 |
| 189× | fma-def_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 55 | 993 |
| 1 | 151 | 903 |
| 2 | 366 | 901 |
| 3 | 1295 | 897 |
| 4 | 4292 | 897 |
| 1× | node limit |
11 alts after pruning (11 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 114 | 10 | 124 |
| Fresh | 0 | 1 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 115 | 11 | 126 |
| Status | Error | Program |
| 6.2b | (/.f64 1 (*.f64 x (*.f64 y (fma.f64 z z 1)))) | |
| 49.2b | (*.f64 (/.f64 (pow.f64 x -1/2) (pow.f64 (cbrt.f64 (*.f64 y (fma.f64 z z 1))) 2)) (/.f64 (pow.f64 x -1/2) (cbrt.f64 (*.f64 y (fma.f64 z z 1))))) | |
| 6.3b | (/.f64 (/.f64 1 (*.f64 y x)) (fma.f64 z z 1)) | |
| ▶ | 5.4b | (*.f64 (/.f64 1 y) (/.f64 (/.f64 1 x) (fma.f64 z z 1))) |
| 32.1b | (/.f64 (/.f64 1 x) (*.f64 z (*.f64 y z))) | |
| 9.7b | (/.f64 (/.f64 1 x) (fma.f64 (*.f64 y (cbrt.f64 (pow.f64 z 4))) (pow.f64 (cbrt.f64 z) 2) y)) | |
| 5.9b | (/.f64 (/.f64 1 x) (fma.f64 y (*.f64 z z) y)) | |
| 30.1b | (/.f64 (/.f64 (/.f64 1 y) z) (*.f64 z x)) | |
| 16.1b | (*.f64 (/.f64 1 (*.f64 (sqrt.f64 y) (hypot.f64 1 z))) (/.f64 (/.f64 1 x) (*.f64 (sqrt.f64 y) (hypot.f64 1 z)))) | |
| 5.7b | (*.f64 1 (/.f64 (/.f64 (/.f64 1 y) (fma.f64 z z 1)) x)) | |
| 15.4b | (/.f64 (/.f64 1 x) (fma.f64 (cbrt.f64 y) (cbrt.f64 (*.f64 y y)) (*.f64 y (*.f64 z z)))) |
Compiled 2296 to 1344 computations (41.5% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 2.9b | (*.f64 (/.f64 1 y) (/.f64 (/.f64 1 x) (fma.f64 z z 1))) |
| ✓ | 3.8b | (/.f64 (/.f64 1 x) (fma.f64 z z 1)) |
15 calls:
| 14.0ms | (*.f64 (/.f64 1 y) (/.f64 (/.f64 1 x) (fma.f64 z z 1))) | x | inf |
| 13.0ms | (*.f64 (/.f64 1 y) (/.f64 (/.f64 1 x) (fma.f64 z z 1))) | y | inf |
| 12.0ms | (/.f64 (/.f64 1 x) (fma.f64 z z 1)) | x | inf |
| 11.0ms | (*.f64 (/.f64 1 y) (/.f64 (/.f64 1 x) (fma.f64 z z 1))) | y | 0 |
| 11.0ms | (*.f64 (/.f64 1 y) (/.f64 (/.f64 1 x) (fma.f64 z z 1))) | y | -inf |
| 1× | batch-egg-rewrite |
| 540× | log-prod_binary64 |
| 185× | expm1-udef_binary64 |
| 185× | log1p-udef_binary64 |
| 175× | log-div_binary64 |
| 165× | log-pow_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 25 |
| 1 | 213 | 25 |
| 2 | 2943 | 25 |
| 1× | node limit |
| 1× | egg-herbie |
| 682× | times-frac_binary64 |
| 343× | associate-/l*_binary64 |
| 295× | associate-/l/_binary64 |
| 282× | fma-def_binary64 |
| 177× | associate-/r*_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 73 | 1146 |
| 1 | 197 | 1146 |
| 2 | 491 | 1144 |
| 3 | 1580 | 1134 |
| 1× | node limit |
8 alts after pruning (8 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 127 | 3 | 130 |
| Fresh | 5 | 5 | 10 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 133 | 8 | 141 |
| Status | Error | Program |
| 6.1b | (/.f64 (/.f64 (/.f64 1 (*.f64 x (fma.f64 z z 1))) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y)) | |
| 16.1b | (*.f64 (/.f64 1 (*.f64 (sqrt.f64 y) (hypot.f64 1 z))) (/.f64 (/.f64 1 x) (*.f64 (sqrt.f64 y) (hypot.f64 1 z)))) | |
| 31.9b | (/.f64 (/.f64 (/.f64 (/.f64 1 x) z) z) y) | |
| 15.4b | (/.f64 (/.f64 1 x) (fma.f64 (cbrt.f64 y) (cbrt.f64 (*.f64 y y)) (*.f64 y (*.f64 z z)))) | |
| 30.1b | (/.f64 (/.f64 (/.f64 1 y) z) (*.f64 z x)) | |
| ▶ | 3.4b | (/.f64 (/.f64 (/.f64 1 (*.f64 y x)) (hypot.f64 1 z)) (hypot.f64 1 z)) |
| 5.7b | (*.f64 1 (/.f64 (/.f64 (/.f64 1 y) (fma.f64 z z 1)) x)) | |
| 5.9b | (/.f64 (/.f64 1 x) (fma.f64 y (*.f64 z z) y)) |
Compiled 2364 to 1491 computations (36.9% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (hypot.f64 1 z) |
| ✓ | 0.5b | (/.f64 1 (*.f64 y x)) |
| ✓ | 0.6b | (/.f64 (/.f64 (/.f64 1 (*.f64 y x)) (hypot.f64 1 z)) (hypot.f64 1 z)) |
| ✓ | 2.4b | (/.f64 (/.f64 1 (*.f64 y x)) (hypot.f64 1 z)) |
27 calls:
| 20.0ms | (/.f64 (/.f64 (/.f64 1 (*.f64 y x)) (hypot.f64 1 z)) (hypot.f64 1 z)) | x | -inf |
| 19.0ms | (/.f64 (/.f64 (/.f64 1 (*.f64 y x)) (hypot.f64 1 z)) (hypot.f64 1 z)) | x | 0 |
| 17.0ms | (/.f64 (/.f64 (/.f64 1 (*.f64 y x)) (hypot.f64 1 z)) (hypot.f64 1 z)) | y | 0 |
| 16.0ms | (/.f64 (/.f64 1 (*.f64 y x)) (hypot.f64 1 z)) | y | 0 |
| 16.0ms | (/.f64 (/.f64 1 (*.f64 y x)) (hypot.f64 1 z)) | x | inf |
| 1× | batch-egg-rewrite |
| 557× | log-prod_binary64 |
| 185× | expm1-udef_binary64 |
| 185× | log1p-udef_binary64 |
| 177× | log-div_binary64 |
| 163× | log-pow_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 43 |
| 1 | 212 | 40 |
| 2 | 2896 | 38 |
| 1× | node limit |
| 1× | egg-herbie |
| 631× | fma-neg_binary64 |
| 432× | associate-/r*_binary64 |
| 275× | sub-neg_binary64 |
| 260× | fma-def_binary64 |
| 244× | associate-*l*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 124 | 1758 |
| 1 | 375 | 1628 |
| 2 | 1106 | 1616 |
| 3 | 4155 | 1616 |
| 1× | node limit |
8 alts after pruning (7 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 237 | 2 | 239 |
| Fresh | 2 | 5 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 239 | 8 | 247 |
| Status | Error | Program |
| 6.1b | (/.f64 (/.f64 (/.f64 1 (*.f64 x (fma.f64 z z 1))) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y)) | |
| 16.1b | (*.f64 (/.f64 1 (*.f64 (sqrt.f64 y) (hypot.f64 1 z))) (/.f64 (/.f64 1 x) (*.f64 (sqrt.f64 y) (hypot.f64 1 z)))) | |
| 30.1b | (/.f64 (/.f64 (/.f64 1 y) z) (*.f64 z x)) | |
| ✓ | 3.4b | (/.f64 (/.f64 (/.f64 1 (*.f64 y x)) (hypot.f64 1 z)) (hypot.f64 1 z)) |
| ▶ | 3.6b | (/.f64 1 (*.f64 y (fma.f64 z (*.f64 x z) x))) |
| 5.7b | (*.f64 1 (/.f64 (/.f64 (/.f64 1 y) (fma.f64 z z 1)) x)) | |
| 6.1b | (*.f64 (/.f64 (/.f64 1 y) x) (*.f64 (/.f64 1 (hypot.f64 1 z)) (/.f64 1 (hypot.f64 1 z)))) | |
| 15.4b | (/.f64 (/.f64 1 x) (fma.f64 (cbrt.f64 y) (cbrt.f64 (*.f64 y y)) (*.f64 y (*.f64 z z)))) |
Compiled 4930 to 3247 computations (34.1% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (fma.f64 z (*.f64 x z) x) |
| ✓ | 0.8b | (/.f64 1 (*.f64 y (fma.f64 z (*.f64 x z) x))) |
| ✓ | 2.8b | (*.f64 y (fma.f64 z (*.f64 x z) x)) |
24 calls:
| 16.0ms | (/.f64 1 (*.f64 y (fma.f64 z (*.f64 x z) x))) | x | -inf |
| 14.0ms | (/.f64 1 (*.f64 y (fma.f64 z (*.f64 x z) x))) | y | -inf |
| 11.0ms | (/.f64 1 (*.f64 y (fma.f64 z (*.f64 x z) x))) | y | 0 |
| 10.0ms | (/.f64 1 (*.f64 y (fma.f64 z (*.f64 x z) x))) | y | inf |
| 10.0ms | (/.f64 1 (*.f64 y (fma.f64 z (*.f64 x z) x))) | x | 0 |
| 1× | batch-egg-rewrite |
| 855× | pow1_binary64 |
| 784× | log1p-expm1-u_binary64 |
| 784× | expm1-log1p-u_binary64 |
| 89× | add-sqr-sqrt_binary64 |
| 87× | *-un-lft-identity_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 33 |
| 1 | 179 | 33 |
| 2 | 2170 | 33 |
| 1× | node limit |
| 1× | egg-herbie |
| 555× | times-frac_binary64 |
| 418× | distribute-neg-frac_binary64 |
| 299× | associate-/l*_binary64 |
| 199× | sub-neg_binary64 |
| 195× | fma-def_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 55 | 1290 |
| 1 | 146 | 1290 |
| 2 | 369 | 1288 |
| 3 | 1230 | 1284 |
| 4 | 3996 | 1284 |
| 1× | node limit |
8 alts after pruning (6 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 108 | 0 | 108 |
| Fresh | 0 | 6 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 108 | 8 | 116 |
| Status | Error | Program |
| 6.1b | (/.f64 (/.f64 (/.f64 1 (*.f64 x (fma.f64 z z 1))) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y)) | |
| 16.1b | (*.f64 (/.f64 1 (*.f64 (sqrt.f64 y) (hypot.f64 1 z))) (/.f64 (/.f64 1 x) (*.f64 (sqrt.f64 y) (hypot.f64 1 z)))) | |
| 30.1b | (/.f64 (/.f64 (/.f64 1 y) z) (*.f64 z x)) | |
| ✓ | 3.4b | (/.f64 (/.f64 (/.f64 1 (*.f64 y x)) (hypot.f64 1 z)) (hypot.f64 1 z)) |
| ✓ | 3.6b | (/.f64 1 (*.f64 y (fma.f64 z (*.f64 x z) x))) |
| 5.7b | (*.f64 1 (/.f64 (/.f64 (/.f64 1 y) (fma.f64 z z 1)) x)) | |
| 6.1b | (*.f64 (/.f64 (/.f64 1 y) x) (*.f64 (/.f64 1 (hypot.f64 1 z)) (/.f64 1 (hypot.f64 1 z)))) | |
| 15.4b | (/.f64 (/.f64 1 x) (fma.f64 (cbrt.f64 y) (cbrt.f64 (*.f64 y y)) (*.f64 y (*.f64 z z)))) |
Compiled 1704 to 759 computations (55.5% saved)
Total 1.2b remaining (97.4%)
Threshold costs 0b (0%)
Compiled 12788 to 9142 computations (28.5% saved)
| 1× | left-value |
1 calls:
| 0.0ms | (*.f64 y (+.f64 1 (*.f64 z z))) |
| Iters | Point | Range | ||||
|---|---|---|---|---|---|---|
6.67452746661305e-205 | ∈ [ | 6.67452746661305e-205 | , | 6.165961092156804e-171 | ] | |
Compiled 10 to 7 computations (30% saved)
| 1× | egg-herbie |
| 4× | *-commutative_binary64 |
| 1× | +-commutative_binary64 |
| 1× | 1-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 25 | 66 |
| 1 | 32 | 66 |
| 1× | saturated |
| 1× | fuel |
Compiled 324 to 232 computations (28.4% saved)
Loading profile data...