Time bar (total: 4.1s)
| 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 |
| 6.2% | 93.6% | 0.2% | 9 |
| 9.4% | 90.4% | 0.2% | 10 |
| 22.2% | 77.6% | 0.2% | 11 |
| 40.4% | 59.5% | 0.2% | 12 |
| 47.4% | 52.4% | 0.2% | 13 |
| 55.3% | 44.5% | 0.2% | 14 |
Compiled 22 to 15 computations (31.8% saved)
| 1.4s | 8256× | body | 128 | valid |
Compiled 65 to 44 computations (32.3% saved)
| 1× | egg-herbie |
| 508× | fma-neg_binary64 |
| 504× | associate-*l/_binary64 |
| 466× | div-sub_binary64 |
| 450× | cancel-sign-sub-inv_binary64 |
| 403× | sub-neg_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 25 |
| 1 | 30 | 25 |
| 2 | 70 | 25 |
| 3 | 177 | 22 |
| 4 | 486 | 19 |
| 5 | 1087 | 19 |
| 6 | 2534 | 19 |
| 7 | 4434 | 19 |
| 8 | 5156 | 19 |
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 |
| 10.3b | (-.f64 x (/.f64 (*.f64 (*.f64 y 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 y t)))) | |
| ▶ | 2.9b | (-.f64 x (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))) |
Compiled 110 to 70 computations (36.4% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (-.f64 x (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))) |
| ✓ | 5.0b | (/.f64 (*.f64 y t) (*.f64 2 z)) |
| ✓ | 5.6b | (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z)))) |
3 calls:
| 82.0ms | (-.f64 x (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))) |
| 37.0ms | (/.f64 (*.f64 y t) (*.f64 2 z)) |
| 21.0ms | (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z)))) |
| 1× | batch-egg-rewrite |
| 267× | expm1-udef_binary64 |
| 267× | log1p-udef_binary64 |
| 146× | add-sqr-sqrt_binary64 |
| 140× | log1p-expm1-u_binary64 |
| 140× | expm1-log1p-u_binary64 |
3 calls:
| 109.0ms | (-.f64 x (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))) |
| 109.0ms | (/.f64 (*.f64 y t) (*.f64 2 z)) |
| 109.0ms | (/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z)))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 45 |
| 1 | 279 | 45 |
| 2 | 4155 | 45 |
| 3 | 4989 | 45 |
| 4 | 4939 | 45 |
| 1× | egg-herbie |
| 621× | fma-neg_binary64 |
| 529× | times-frac_binary64 |
| 345× | associate-/l*_binary64 |
| 300× | associate-/r*_binary64 |
| 245× | associate-*r*_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 91 | 2594 |
| 1 | 273 | 2584 |
| 2 | 899 | 2544 |
| 3 | 4272 | 2534 |
| 4 | 4957 | 2534 |
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 164 | 3 | 167 |
| Fresh | 1 | 0 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 166 | 3 | 169 |
| Status | Error | Program |
| ▶ | 2.9b | (-.f64 x (/.f64 y (fma.f64 (*.f64 (/.f64 y z) t) -1/2 z))) |
| 2.9b | (-.f64 x (*.f64 y (/.f64 1 (-.f64 z (/.f64 (*.f64 y t) (*.f64 z 2)))))) | |
| 25.0b | (fma.f64 2 (/.f64 z t) x) |
Compiled 3727 to 2045 computations (45.1% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (-.f64 x (/.f64 y (fma.f64 (*.f64 (/.f64 y z) t) -1/2 z))) |
| ✓ | 4.1b | (*.f64 (/.f64 y z) t) |
| ✓ | 5.6b | (/.f64 y (fma.f64 (*.f64 (/.f64 y z) t) -1/2 z)) |
3 calls:
| 37.0ms | (-.f64 x (/.f64 y (fma.f64 (*.f64 (/.f64 y z) t) -1/2 z))) |
| 21.0ms | (/.f64 y (fma.f64 (*.f64 (/.f64 y z) t) -1/2 z)) |
| 12.0ms | (*.f64 (/.f64 y z) t) |
| 1× | batch-egg-rewrite |
| 609× | prod-diff_binary64 |
| 229× | expm1-udef_binary64 |
| 229× | log1p-udef_binary64 |
| 165× | egg-rr |
| 126× | add-sqr-sqrt_binary64 |
3 calls:
| 84.0ms | (-.f64 x (/.f64 y (fma.f64 (*.f64 (/.f64 y z) t) -1/2 z))) |
| 83.0ms | (*.f64 (/.f64 y z) t) |
| 83.0ms | (/.f64 y (fma.f64 (*.f64 (/.f64 y z) t) -1/2 z)) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 38 |
| 1 | 243 | 38 |
| 2 | 3267 | 38 |
| 3 | 5231 | 38 |
| 1× | egg-herbie |
| 621× | fma-neg_binary64 |
| 529× | times-frac_binary64 |
| 345× | associate-/l*_binary64 |
| 300× | associate-/r*_binary64 |
| 245× | associate-*r*_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 91 | 2486 |
| 1 | 273 | 2476 |
| 2 | 899 | 2436 |
| 3 | 4272 | 2426 |
| 4 | 4957 | 2426 |
4 alts after pruning (3 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 200 | 2 | 202 |
| Fresh | 1 | 1 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 201 | 4 | 205 |
| Status | Error | Program |
| ✓ | 2.9b | (-.f64 x (/.f64 y (fma.f64 (*.f64 (/.f64 y z) t) -1/2 z))) |
| ▶ | 2.9b | (-.f64 x (/.f64 y (fma.f64 (/.f64 t (/.f64 z y)) -1/2 z))) |
| 25.9b | (-.f64 x (pow.f64 (sqrt.f64 (/.f64 y (fma.f64 (*.f64 (/.f64 y z) t) -1/2 z))) 2)) | |
| 25.0b | (fma.f64 2 (/.f64 z t) x) |
Compiled 7324 to 3206 computations (56.2% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (-.f64 x (/.f64 y (fma.f64 (/.f64 t (/.f64 z y)) -1/2 z))) |
| ✓ | 4.2b | (/.f64 t (/.f64 z y)) |
| ✓ | 5.6b | (/.f64 y (fma.f64 (/.f64 t (/.f64 z y)) -1/2 z)) |
3 calls:
| 38.0ms | (-.f64 x (/.f64 y (fma.f64 (/.f64 t (/.f64 z y)) -1/2 z))) |
| 24.0ms | (/.f64 y (fma.f64 (/.f64 t (/.f64 z y)) -1/2 z)) |
| 11.0ms | (/.f64 t (/.f64 z y)) |
| 1× | batch-egg-rewrite |
| 636× | prod-diff_binary64 |
| 235× | log1p-udef_binary64 |
| 183× | egg-rr |
| 130× | add-sqr-sqrt_binary64 |
| 123× | log1p-expm1-u_binary64 |
3 calls:
| 86.0ms | (-.f64 x (/.f64 y (fma.f64 (/.f64 t (/.f64 z y)) -1/2 z))) |
| 86.0ms | (/.f64 t (/.f64 z y)) |
| 86.0ms | (/.f64 y (fma.f64 (/.f64 t (/.f64 z y)) -1/2 z)) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 38 |
| 1 | 249 | 38 |
| 2 | 3491 | 38 |
| 3 | 5229 | 38 |
| 1× | egg-herbie |
| 621× | fma-neg_binary64 |
| 529× | times-frac_binary64 |
| 345× | associate-/l*_binary64 |
| 300× | associate-/r*_binary64 |
| 245× | associate-*r*_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 91 | 2486 |
| 1 | 273 | 2476 |
| 2 | 899 | 2436 |
| 3 | 4272 | 2426 |
| 4 | 4957 | 2426 |
4 alts after pruning (2 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 222 | 0 | 222 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 222 | 4 | 226 |
| Status | Error | Program |
| ✓ | 2.9b | (-.f64 x (/.f64 y (fma.f64 (*.f64 (/.f64 y z) t) -1/2 z))) |
| ✓ | 2.9b | (-.f64 x (/.f64 y (fma.f64 (/.f64 t (/.f64 z y)) -1/2 z))) |
| 25.9b | (-.f64 x (pow.f64 (sqrt.f64 (/.f64 y (fma.f64 (*.f64 (/.f64 y z) t) -1/2 z))) 2)) | |
| ▶ | 25.0b | (fma.f64 2 (/.f64 z t) x) |
Compiled 7676 to 3340 computations (56.5% saved)
4 alts after pruning (1 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 0 | 4 | 4 |
| Status | Error | Program |
| ✓ | 2.9b | (-.f64 x (/.f64 y (fma.f64 (*.f64 (/.f64 y z) t) -1/2 z))) |
| ✓ | 2.9b | (-.f64 x (/.f64 y (fma.f64 (/.f64 t (/.f64 z y)) -1/2 z))) |
| 25.9b | (-.f64 x (pow.f64 (sqrt.f64 (/.f64 y (fma.f64 (*.f64 (/.f64 y z) t) -1/2 z))) 2)) | |
| ✓ | 25.0b | (fma.f64 2 (/.f64 z t) x) |
Compiled 61 to 40 computations (34.4% saved)
Total 1.5b remaining (99.5%)
Threshold costs 0b (0%)
Compiled 1408 to 928 computations (34.1% saved)
Compiled 21 to 14 computations (33.3% saved)
| 1× | egg-herbie |
| 16× | *-commutative_binary64 |
| 15× | +-commutative_binary64 |
| 15× | sub-neg_binary64 |
| 10× | neg-sub0_binary64 |
| 10× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 29 | 66 |
| 1 | 47 | 66 |
| 2 | 74 | 66 |
| 3 | 96 | 66 |
| 4 | 116 | 66 |
| 5 | 122 | 66 |
| 6 | 124 | 66 |
| 7 | 123 | 66 |
Compiled 159 to 98 computations (38.4% saved)
Loading profile data...