Time bar (total: 16.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 |
| 25% | 74.9% | 0.1% | 4 |
| 50% | 50% | 0.1% | 5 |
| 50% | 50% | 0.1% | 6 |
| 50% | 50% | 0.1% | 7 |
| 50% | 50% | 0.1% | 8 |
| 50% | 50% | 0.1% | 9 |
| 50% | 50% | 0.1% | 10 |
| 50% | 50% | 0.1% | 11 |
| 50% | 50% | 0.1% | 12 |
| 50% | 50% | 0.1% | 13 |
| 50% | 50% | 0.1% | 14 |
Compiled 9 to 7 computations (22.2% saved)
| 9.5s | 7817× | body | 8192 | exit |
| 1.3s | 1936× | body | 1024 | valid |
| 594.0ms | 4586× | body | 128 | valid |
| 417.0ms | 1023× | body | 512 | valid |
| 208.0ms | 230× | body | 2048 | valid |
| 118.0ms | 481× | body | 256 | valid |
Compiled 18 to 14 computations (22.2% saved)
| 2× | egg-herbie |
| 1× | swap-a-b |
| 1× | +-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 20 |
| 1 | 9 | 20 |
| 0 | 2 | 2 |
| 1 | 2 | 2 |
| 1× | unsound |
| 1× | saturated |
(sort a b)
Compiled 8 to 6 computations (25% saved)
| 1× | egg-herbie |
| 1× | +-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 10 |
| 1 | 8 | 10 |
| 1× | saturated |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 2 | 2 |
| Status | Error | Program |
| ▶ | 28.0b | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) |
Compiled 24 to 18 computations (25% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (+.f64 (exp.f64 a) (exp.f64 b)) |
| ✓ | 3.2b | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) |
12 calls:
| 79.0ms | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) | a | inf |
| 73.0ms | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) | a | -inf |
| 72.0ms | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) | b | inf |
| 72.0ms | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) | b | -inf |
| 2.0ms | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) | a | 0 |
| 1× | batch-egg-rewrite |
| 666× | log1p-expm1-u_binary64 |
| 666× | expm1-log1p-u_binary64 |
| 455× | prod-diff_binary64 |
| 71× | add-sqr-sqrt_binary64 |
| 68× | add-log-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 18 |
| 1 | 138 | 18 |
| 2 | 1802 | 18 |
| 1× | node limit |
| 1× | egg-herbie |
| 562× | fma-neg_binary64 |
| 396× | associate-+l+_binary64 |
| 328× | fma-def_binary64 |
| 238× | times-frac_binary64 |
| 220× | associate-+r+_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 82 | 746 |
| 1 | 248 | 742 |
| 2 | 902 | 714 |
| 3 | 4283 | 710 |
| 1× | node limit |
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 87 | 3 | 90 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 88 | 3 | 91 |
| Status | Error | Program |
| 1.2b | (-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 b 2) (+.f64 1 (exp.f64 a)))) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))) (*.f64 1/2 (/.f64 (pow.f64 b 2) (pow.f64 (+.f64 1 (exp.f64 a)) 2)))) | |
| ▶ | 1.0b | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) |
| 30.2b | (log1p.f64 (exp.f64 b)) |
Compiled 1488 to 741 computations (50.2% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) |
| ✓ | 0.0b | (/.f64 b (+.f64 1 (exp.f64 a))) |
12 calls:
| 85.0ms | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) | a | inf |
| 72.0ms | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) | a | -inf |
| 16.0ms | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) | b | 0 |
| 13.0ms | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) | b | -inf |
| 12.0ms | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) | b | inf |
| 1× | batch-egg-rewrite |
| 816× | prod-diff_binary64 |
| 317× | fma-def_binary64 |
| 170× | expm1-udef_binary64 |
| 170× | log1p-udef_binary64 |
| 153× | fma-neg_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 25 |
| 1 | 189 | 25 |
| 2 | 2632 | 25 |
| 1× | node limit |
| 1× | egg-herbie |
| 415× | associate-+l+_binary64 |
| 357× | cancel-sign-sub-inv_binary64 |
| 292× | associate-*l*_binary64 |
| 286× | fma-neg_binary64 |
| 284× | associate-+r+_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 44 | 467 |
| 1 | 127 | 448 |
| 2 | 387 | 432 |
| 3 | 1433 | 428 |
| 4 | 4297 | 428 |
| 1× | node limit |
7 alts after pruning (6 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 103 | 4 | 107 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 103 | 7 | 110 |
| Status | Error | Program |
| 26.5b | (+.f64 (log1p.f64 (exp.f64 a)) (exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))) | |
| 30.2b | (log1p.f64 (exp.f64 b)) | |
| ▶ | 1.2b | (-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 b 2) (+.f64 1 (exp.f64 a)))) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))) (*.f64 1/2 (/.f64 (pow.f64 b 2) (pow.f64 (+.f64 1 (exp.f64 a)) 2)))) |
| 1.7b | (+.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) 3)) | |
| ✓ | 1.0b | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) |
| 20.9b | (/.f64 (+.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 3) (pow.f64 (/.f64 b (+.f64 1 (exp.f64 a))) 3)) (fma.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (-.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a))) (pow.f64 (log1p.f64 (exp.f64 a)) 2))) | |
| 19.6b | (exp.f64 (log.f64 (+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a))))) |
Compiled 2087 to 1155 computations (44.7% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (+.f64 (*.f64 1/2 (/.f64 (pow.f64 b 2) (+.f64 1 (exp.f64 a)))) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))) |
| ✓ | 0.0b | (pow.f64 (+.f64 1 (exp.f64 a)) 2) |
| ✓ | 0.1b | (log.f64 (+.f64 1 (exp.f64 a))) |
| ✓ | 0.1b | (-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 b 2) (+.f64 1 (exp.f64 a)))) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))) (*.f64 1/2 (/.f64 (pow.f64 b 2) (pow.f64 (+.f64 1 (exp.f64 a)) 2)))) |
18 calls:
| 89.0ms | (-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 b 2) (+.f64 1 (exp.f64 a)))) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))) (*.f64 1/2 (/.f64 (pow.f64 b 2) (pow.f64 (+.f64 1 (exp.f64 a)) 2)))) | a | -inf |
| 88.0ms | (-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 b 2) (+.f64 1 (exp.f64 a)))) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))) (*.f64 1/2 (/.f64 (pow.f64 b 2) (pow.f64 (+.f64 1 (exp.f64 a)) 2)))) | a | inf |
| 78.0ms | (+.f64 (*.f64 1/2 (/.f64 (pow.f64 b 2) (+.f64 1 (exp.f64 a)))) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))) | a | -inf |
| 76.0ms | (+.f64 (*.f64 1/2 (/.f64 (pow.f64 b 2) (+.f64 1 (exp.f64 a)))) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))) | a | inf |
| 76.0ms | (log.f64 (+.f64 1 (exp.f64 a))) | a | -inf |
| 1× | batch-egg-rewrite |
| 210× | add-sqr-sqrt_binary64 |
| 207× | log1p-expm1-u_binary64 |
| 207× | expm1-log1p-u_binary64 |
| 203× | add-cbrt-cube_binary64 |
| 198× | add-log-exp_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 96 |
| 1 | 438 | 93 |
| 1× | node limit |
| 1× | egg-herbie |
| 681× | fma-neg_binary64 |
| 507× | fma-def_binary64 |
| 473× | associate-+r+_binary64 |
| 402× | associate--l+_binary64 |
| 265× | +-commutative_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 96 | 1007 |
| 1 | 305 | 999 |
| 2 | 1061 | 923 |
| 3 | 4343 | 922 |
| 1× | node limit |
7 alts after pruning (5 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 163 | 0 | 163 |
| Fresh | 0 | 5 | 5 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 163 | 7 | 170 |
| Status | Error | Program |
| 26.5b | (+.f64 (log1p.f64 (exp.f64 a)) (exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))) | |
| 30.2b | (log1p.f64 (exp.f64 b)) | |
| ✓ | 1.2b | (-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 b 2) (+.f64 1 (exp.f64 a)))) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))) (*.f64 1/2 (/.f64 (pow.f64 b 2) (pow.f64 (+.f64 1 (exp.f64 a)) 2)))) |
| ▶ | 1.7b | (+.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) 3)) |
| ✓ | 1.0b | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) |
| 20.9b | (/.f64 (+.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 3) (pow.f64 (/.f64 b (+.f64 1 (exp.f64 a))) 3)) (fma.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (-.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a))) (pow.f64 (log1p.f64 (exp.f64 a)) 2))) | |
| 19.6b | (exp.f64 (log.f64 (+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a))))) |
Compiled 7765 to 4903 computations (36.9% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (+.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) 3)) |
| 0.0b | (/.f64 b (+.f64 1 (exp.f64 a))) | |
| ✓ | 0.6b | (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) |
| ✓ | 0.7b | (pow.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) 3) |
18 calls:
| 77.0ms | (+.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) 3)) | a | -inf |
| 68.0ms | (+.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) 3)) | a | inf |
| 45.0ms | (+.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) 3)) | b | -inf |
| 32.0ms | (pow.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) 3) | a | inf |
| 32.0ms | (pow.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) 3) | a | -inf |
| 1× | batch-egg-rewrite |
| 990× | prod-diff_binary64 |
| 115× | egg-rr |
| 112× | add-sqr-sqrt_binary64 |
| 110× | expm1-log1p-u_binary64 |
| 109× | log1p-expm1-u_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 36 |
| 1 | 251 | 36 |
| 2 | 3147 | 36 |
| 1× | node limit |
| 1× | egg-herbie |
| 788× | associate-*r*_binary64 |
| 748× | associate-*l*_binary64 |
| 573× | fma-def_binary64 |
| 366× | cancel-sign-sub-inv_binary64 |
| 166× | unswap-sqr_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 118 | 1116 |
| 1 | 366 | 1102 |
| 2 | 1313 | 1077 |
| 1× | node limit |
7 alts after pruning (5 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 181 | 3 | 184 |
| Fresh | 2 | 2 | 4 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 2 | 2 |
| Total | 184 | 7 | 191 |
| Status | Error | Program |
| ✓ | 1.2b | (-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 b 2) (+.f64 1 (exp.f64 a)))) (+.f64 (log.f64 (+.f64 1 (exp.f64 a))) (/.f64 b (+.f64 1 (exp.f64 a))))) (*.f64 1/2 (/.f64 (pow.f64 b 2) (pow.f64 (+.f64 1 (exp.f64 a)) 2)))) |
| ✓ | 1.0b | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) |
| 20.9b | (/.f64 (+.f64 (pow.f64 (log1p.f64 (exp.f64 a)) 3) (pow.f64 (/.f64 b (+.f64 1 (exp.f64 a))) 3)) (fma.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (-.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a))) (pow.f64 (log1p.f64 (exp.f64 a)) 2))) | |
| 1.8b | (+.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) 3)) 3)) | |
| 26.6b | (+.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (cbrt.f64 (exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))) 3)) | |
| 2.1b | (+.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a))))) (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) 2))) 3)) | |
| 30.2b | (log1p.f64 (exp.f64 b)) |
Compiled 3985 to 2454 computations (38.4% saved)
Total 0.5b remaining (50.5%)
Threshold costs 0.5b (50.5%)
Compiled 13225 to 9449 computations (28.6% saved)
| 1× | egg-herbie |
| 2× | +-commutative_binary64 |
| 1× | 1-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 16 |
| 1 | 13 | 16 |
| 1× | saturated |
| 1× | fuel |
Compiled 203 to 140 computations (31% saved)
Loading profile data...