Time bar (total: 16.6s)
| 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.6s | 7817× | body | 8192 | exit |
| 1.3s | 1936× | body | 1024 | valid |
| 598.0ms | 4586× | body | 128 | valid |
| 418.0ms | 1023× | body | 512 | valid |
| 202.0ms | 230× | body | 2048 | valid |
| 122.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:
| 125.0ms | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) | b | -inf |
| 87.0ms | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) | a | inf |
| 78.0ms | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) | b | inf |
| 77.0ms | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) | a | -inf |
| 2.0ms | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) | a | 0 |
| 1× | batch-egg-rewrite |
| 721× | pow1_binary64 |
| 666× | add-log-exp_binary64 |
| 666× | log1p-expm1-u_binary64 |
| 666× | expm1-log1p-u_binary64 |
| 73× | add-sqr-sqrt_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 18 |
| 1 | 138 | 18 |
| 2 | 1818 | 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 | 86 | 3 | 89 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 87 | 3 | 90 |
| 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 1478 to 753 computations (49.1% 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:
| 75.0ms | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) | a | inf |
| 73.0ms | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) | a | -inf |
| 18.0ms | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) | b | 0 |
| 14.0ms | (+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a)))) | b | -inf |
| 13.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 | 2657 | 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 |
| 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))) | |
| 30.2b | (log1p.f64 (exp.f64 b)) | |
| 26.5b | (+.f64 (log1p.f64 (exp.f64 a)) (exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))) | |
| 1.7b | (+.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) 3)) | |
| ▶ | 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)))) |
| 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:
| 96.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 |
| 91.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 |
| 80.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 |
| 79.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 |
| 220× | add-sqr-sqrt_binary64 |
| 215× | pow1_binary64 |
| 213× | *-un-lft-identity_binary64 |
| 208× | add-log-exp_binary64 |
| 207× | log1p-expm1-u_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 96 |
| 1 | 439 | 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 | 157 | 0 | 157 |
| Fresh | 0 | 5 | 5 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 157 | 7 | 164 |
| Status | Error | Program |
| 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))) | |
| 30.2b | (log1p.f64 (exp.f64 b)) | |
| 26.5b | (+.f64 (log1p.f64 (exp.f64 a)) (exp.f64 (-.f64 (log.f64 b) (log1p.f64 (exp.f64 a))))) | |
| ▶ | 1.7b | (+.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) 3)) |
| ✓ | 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)))) |
| 19.6b | (exp.f64 (log.f64 (+.f64 (/.f64 b (+.f64 1 (exp.f64 a))) (log1p.f64 (exp.f64 a))))) |
Compiled 7148 to 4564 computations (36.1% 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:
| 76.0ms | (+.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) 3)) | a | -inf |
| 72.0ms | (+.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) 3)) | a | inf |
| 43.0ms | (+.f64 (log1p.f64 (exp.f64 a)) (pow.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) 3)) | b | -inf |
| 34.0ms | (pow.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) 3) | a | inf |
| 34.0ms | (pow.f64 (cbrt.f64 (/.f64 b (+.f64 1 (exp.f64 a)))) 3) | a | -inf |
| 1× | batch-egg-rewrite |
| 990× | prod-diff_binary64 |
| 117× | add-sqr-sqrt_binary64 |
| 112× | pow1_binary64 |
| 111× | *-un-lft-identity_binary64 |
| 111× | add-log-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 36 |
| 1 | 258 | 36 |
| 2 | 3174 | 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 |
| 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))) | |
| 30.2b | (log1p.f64 (exp.f64 b)) | |
| 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)) | |
| ✓ | 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)))) |
| 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)) |
Compiled 3985 to 2461 computations (38.2% 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...