Time bar (total: 2.5min)
| 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% | 74.9% | 25.1% | 3 |
| 0% | 74.9% | 25.1% | 4 |
| 0% | 74.9% | 25.1% | 5 |
| 0% | 62.4% | 37.6% | 6 |
| 0% | 31.2% | 68.8% | 7 |
| 0% | 31.2% | 68.8% | 8 |
| 0% | 31.2% | 68.8% | 9 |
| 0% | 28.1% | 71.9% | 10 |
| 4.7% | 21.8% | 73.5% | 11 |
| 4.7% | 21.8% | 73.5% | 12 |
| 7% | 19.5% | 73.5% | 13 |
| 8.2% | 17.5% | 74.3% | 14 |
Compiled 22 to 17 computations (22.7% saved)
| 1.0s | 6238× | body | 128 | valid |
| 460.0ms | 602× | body | 1024 | valid |
| 386.0ms | 815× | body | 512 | valid |
| 189.0ms | 600× | body | 256 | valid |
| 54.0ms | 330× | body | 128 | invalid |
| 1.0ms | 1× | body | 2048 | valid |
Compiled 65 to 50 computations (23.1% saved)
| 1× | egg-herbie |
| 735× | unsub-neg_binary64 |
| 674× | sub-neg_binary64 |
| 591× | distribute-rgt-in_binary64 |
| 584× | fma-def_binary64 |
| 542× | fma-neg_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 24 |
| 1 | 31 | 23 |
| 2 | 65 | 23 |
| 3 | 129 | 23 |
| 4 | 308 | 23 |
| 5 | 765 | 23 |
| 6 | 1527 | 23 |
| 7 | 2231 | 23 |
| 8 | 2172 | 23 |
| 9 | 2249 | 23 |
| 10 | 2264 | 23 |
| 11 | 2274 | 23 |
| 12 | 3084 | 23 |
| 13 | 5202 | 23 |
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 |
| ▶ | 0.1b | (-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))) t) |
Compiled 74 to 53 computations (28.4% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))) t) |
| ✓ | 0.0b | (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))) |
| ✓ | 0.1b | (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))) |
3 calls:
| 252.0ms | (-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))) t) |
| 177.0ms | (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))) |
| 55.0ms | (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))) |
| 2× | batch-egg-rewrite |
| 872× | prod-diff_binary64 |
| 152× | add-sqr-sqrt_binary64 |
| 145× | expm1-log1p-u_binary64 |
| 144× | log1p-expm1-u_binary64 |
| 140× | add-log-exp_binary64 |
3 calls:
| 68.0ms | (-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))) t) |
| 68.0ms | (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))) |
| 68.0ms | (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 54 |
| 1 | 298 | 48 |
| 2 | 3438 | 48 |
| 3 | 5025 | 48 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 706× | sub-neg_binary64 |
| 543× | distribute-neg-in_binary64 |
| 417× | cancel-sign-sub-inv_binary64 |
| 334× | associate-+r+_binary64 |
| 297× | associate-+l+_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 222 | 3405 |
| 1 | 822 | 3040 |
| 2 | 3181 | 3018 |
| 3 | 5295 | 3018 |
7 alts after pruning (6 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 182 | 6 | 188 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 182 | 7 | 189 |
| Status | Error | Program |
| 24.2b | (-.f64 (pow.f64 (sqrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 y)))) 2) t) | |
| 26.1b | (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 x 1) (log.f64 y)) 3) (pow.f64 (*.f64 (-.f64 z 1) (log1p.f64 y)) 3)) (+.f64 (*.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (*.f64 (-.f64 x 1) (log.f64 y))) (-.f64 (pow.f64 (*.f64 (-.f64 z 1) (log1p.f64 y)) 2) (*.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (*.f64 (-.f64 z 1) (log1p.f64 y)))))) t) | |
| 7.8b | (fma.f64 (pow.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 y)))) 2) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 y)))) (neg.f64 t)) | |
| ✓ | 0.1b | (-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))) t) |
| 32.6b | (/.f64 1 (/.f64 (+.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 y))) t) (-.f64 (pow.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 y))) 2) (*.f64 t t)))) | |
| 32.6b | (*.f64 (-.f64 (pow.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 y))) 2) (*.f64 t t)) (/.f64 1 (+.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 y))) t))) | |
| ▶ | 0.3b | (-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (-.f64 (fma.f64 1/2 (*.f64 y y) y) (*.f64 z (fma.f64 1/2 (*.f64 y y) y)))) t) |
Compiled 5570 to 3267 computations (41.3% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (-.f64 (fma.f64 1/2 (*.f64 y y) y) (*.f64 z (fma.f64 1/2 (*.f64 y y) y)))) t) |
| ✓ | 0.0b | (*.f64 z (fma.f64 1/2 (*.f64 y y) y)) |
| ✓ | 0.1b | (fma.f64 (-.f64 x 1) (log.f64 y) (-.f64 (fma.f64 1/2 (*.f64 y y) y) (*.f64 z (fma.f64 1/2 (*.f64 y y) y)))) |
3 calls:
| 155.0ms | (-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (-.f64 (fma.f64 1/2 (*.f64 y y) y) (*.f64 z (fma.f64 1/2 (*.f64 y y) y)))) t) |
| 108.0ms | (fma.f64 (-.f64 x 1) (log.f64 y) (-.f64 (fma.f64 1/2 (*.f64 y y) y) (*.f64 z (fma.f64 1/2 (*.f64 y y) y)))) |
| 16.0ms | (*.f64 z (fma.f64 1/2 (*.f64 y y) y)) |
| 2× | batch-egg-rewrite |
| 288× | expm1-udef_binary64 |
| 288× | log1p-udef_binary64 |
| 287× | fma-neg_binary64 |
| 166× | add-sqr-sqrt_binary64 |
| 159× | log1p-expm1-u_binary64 |
3 calls:
| 79.0ms | (-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (-.f64 (fma.f64 1/2 (*.f64 y y) y) (*.f64 z (fma.f64 1/2 (*.f64 y y) y)))) t) |
| 79.0ms | (*.f64 z (fma.f64 1/2 (*.f64 y y) y)) |
| 79.0ms | (fma.f64 (-.f64 x 1) (log.f64 y) (-.f64 (fma.f64 1/2 (*.f64 y y) y) (*.f64 z (fma.f64 1/2 (*.f64 y y) y)))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 74 |
| 1 | 326 | 60 |
| 2 | 4015 | 60 |
| 3 | 5104 | 60 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 701× | associate--r+_binary64 |
| 451× | distribute-neg-out_binary64 |
| 426× | associate--l+_binary64 |
| 426× | fma-def_binary64 |
| 394× | associate-+l+_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 75 | 2910 |
| 1 | 259 | 2772 |
| 2 | 907 | 2440 |
| 3 | 3916 | 2382 |
| 4 | 4769 | 2382 |
| 5 | 4934 | 2382 |
| 6 | 5676 | 2382 |
7 alts after pruning (6 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 121 | 2 | 123 |
| Fresh | 1 | 4 | 5 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 123 | 7 | 130 |
| Status | Error | Program |
| 24.2b | (-.f64 (pow.f64 (sqrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 y)))) 2) t) | |
| ▶ | 0.3b | (+.f64 y (fma.f64 (log.f64 y) x (-.f64 (*.f64 y (-.f64 (*.f64 y (fma.f64 z -1/2 1/2)) z)) (+.f64 (log.f64 y) t)))) |
| 32.6b | (*.f64 (-.f64 (pow.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 y))) 2) (*.f64 t t)) (/.f64 1 (+.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 y))) t))) | |
| 1.0b | (-.f64 (pow.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (fma.f64 1/2 (*.f64 y y) y) (-.f64 1 z)))) 3) t) | |
| 26.1b | (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 x 1) (log.f64 y)) 3) (pow.f64 (*.f64 (-.f64 z 1) (log1p.f64 y)) 3)) (+.f64 (*.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (*.f64 (-.f64 x 1) (log.f64 y))) (-.f64 (pow.f64 (*.f64 (-.f64 z 1) (log1p.f64 y)) 2) (*.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (*.f64 (-.f64 z 1) (log1p.f64 y)))))) t) | |
| ✓ | 0.1b | (-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))) t) |
| 32.6b | (/.f64 1 (/.f64 (+.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 y))) t) (-.f64 (pow.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 y))) 2) (*.f64 t t)))) |
Compiled 3597 to 1974 computations (45.1% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (-.f64 (*.f64 y (-.f64 (*.f64 y (fma.f64 z -1/2 1/2)) z)) (+.f64 (log.f64 y) t)) |
| ✓ | 0.0b | (*.f64 y (-.f64 (*.f64 y (fma.f64 z -1/2 1/2)) z)) |
| ✓ | 0.0b | (*.f64 y (fma.f64 z -1/2 1/2)) |
| ✓ | 0.1b | (fma.f64 (log.f64 y) x (-.f64 (*.f64 y (-.f64 (*.f64 y (fma.f64 z -1/2 1/2)) z)) (+.f64 (log.f64 y) t))) |
4 calls:
| 227.0ms | (fma.f64 (log.f64 y) x (-.f64 (*.f64 y (-.f64 (*.f64 y (fma.f64 z -1/2 1/2)) z)) (+.f64 (log.f64 y) t))) |
| 98.0ms | (-.f64 (*.f64 y (-.f64 (*.f64 y (fma.f64 z -1/2 1/2)) z)) (+.f64 (log.f64 y) t)) |
| 10.0ms | (*.f64 y (-.f64 (*.f64 y (fma.f64 z -1/2 1/2)) z)) |
| 6.0ms | (*.f64 y (fma.f64 z -1/2 1/2)) |
| 2× | batch-egg-rewrite |
| 303× | expm1-udef_binary64 |
| 303× | log1p-udef_binary64 |
| 168× | add-sqr-sqrt_binary64 |
| 163× | log1p-expm1-u_binary64 |
| 163× | expm1-log1p-u_binary64 |
4 calls:
| 81.0ms | (-.f64 (*.f64 y (-.f64 (*.f64 y (fma.f64 z -1/2 1/2)) z)) (+.f64 (log.f64 y) t)) |
| 81.0ms | (*.f64 y (-.f64 (*.f64 y (fma.f64 z -1/2 1/2)) z)) |
| 81.0ms | (*.f64 y (fma.f64 z -1/2 1/2)) |
| 81.0ms | (fma.f64 (log.f64 y) x (-.f64 (*.f64 y (-.f64 (*.f64 y (fma.f64 z -1/2 1/2)) z)) (+.f64 (log.f64 y) t))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 72 |
| 1 | 332 | 72 |
| 2 | 4295 | 72 |
| 3 | 5151 | 72 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 880× | sub-neg_binary64 |
| 452× | associate--r+_binary64 |
| 417× | fma-def_binary64 |
| 273× | associate-*l*_binary64 |
| 260× | cancel-sign-sub_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 80 | 3015 |
| 1 | 255 | 2873 |
| 2 | 838 | 2457 |
| 3 | 2911 | 2327 |
| 4 | 4679 | 2327 |
| 5 | 4744 | 2327 |
| 6 | 4975 | 2327 |
7 alts after pruning (5 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 154 | 0 | 154 |
| Fresh | 0 | 5 | 5 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 154 | 7 | 161 |
| Status | Error | Program |
| 24.2b | (-.f64 (pow.f64 (sqrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 y)))) 2) t) | |
| ✓ | 0.3b | (+.f64 y (fma.f64 (log.f64 y) x (-.f64 (*.f64 y (-.f64 (*.f64 y (fma.f64 z -1/2 1/2)) z)) (+.f64 (log.f64 y) t)))) |
| 32.6b | (*.f64 (-.f64 (pow.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 y))) 2) (*.f64 t t)) (/.f64 1 (+.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 y))) t))) | |
| ▶ | 1.0b | (-.f64 (pow.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (fma.f64 1/2 (*.f64 y y) y) (-.f64 1 z)))) 3) t) |
| 26.1b | (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 x 1) (log.f64 y)) 3) (pow.f64 (*.f64 (-.f64 z 1) (log1p.f64 y)) 3)) (+.f64 (*.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (*.f64 (-.f64 x 1) (log.f64 y))) (-.f64 (pow.f64 (*.f64 (-.f64 z 1) (log1p.f64 y)) 2) (*.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (*.f64 (-.f64 z 1) (log1p.f64 y)))))) t) | |
| ✓ | 0.1b | (-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))) t) |
| 32.6b | (/.f64 1 (/.f64 (+.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 y))) t) (-.f64 (pow.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 y))) 2) (*.f64 t t)))) |
Compiled 4509 to 2278 computations (49.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (*.f64 (fma.f64 1/2 (*.f64 y y) y) (-.f64 1 z)) |
| ✓ | 0.1b | (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (fma.f64 1/2 (*.f64 y y) y) (-.f64 1 z))) |
| ✓ | 0.5b | (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (fma.f64 1/2 (*.f64 y y) y) (-.f64 1 z)))) |
| ✓ | 0.7b | (pow.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (fma.f64 1/2 (*.f64 y y) y) (-.f64 1 z)))) 3) |
Loading profile data...