Time bar (total: 11.3s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 0% | 100% | 0 |
| 0% | 0% | 100% | 1 |
Compiled 53 to 38 computations (28.3% saved)
| 1.1s | 8256× | body | 128 | valid |
Compiled 106 to 76 computations (28.3% saved)
| 2× | egg-herbie |
| 164× | associate-+l+_binary64 |
| 66× | associate-+r+_binary64 |
| 47× | +-commutative_binary64 |
| 1× | swap-a-e |
| 1× | swap-a-d |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 46 | 143 |
| 1 | 127 | 143 |
| 2 | 304 | 143 |
| 3 | 350 | 143 |
| 0 | 5 | 5 |
| 1 | 5 | 5 |
| 1× | unsound |
| 1× | saturated |
(sort a b c d e)
Compiled 14 to 9 computations (35.7% saved)
| 1× | egg-herbie |
| 125× | associate-+l+_binary64 |
| 97× | associate-+r+_binary64 |
| 51× | +-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 13 |
| 1 | 20 | 13 |
| 2 | 59 | 13 |
| 3 | 188 | 13 |
| 4 | 339 | 13 |
| 5 | 339 | 13 |
| 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 |
| ▶ | 0.3b | (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) |
| 0.4b | (+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a) |
Compiled 79 to 49 computations (38% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.2b | (+.f64 c (+.f64 a (+.f64 d b))) |
| ✓ | 0.3b | (+.f64 a (+.f64 d b)) |
| ✓ | 0.3b | (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) |
36 calls:
| 3.0ms | (+.f64 a (+.f64 d b)) | b | inf |
| 1.0ms | (+.f64 a (+.f64 d b)) | b | -inf |
| 1.0ms | (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) | d | -inf |
| 1.0ms | (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) | b | -inf |
| 1.0ms | (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) | b | inf |
| 1× | batch-egg-rewrite |
| 426× | fma-neg_binary64 |
| 236× | expm1-udef_binary64 |
| 236× | log1p-udef_binary64 |
| 136× | add-sqr-sqrt_binary64 |
| 135× | *-un-lft-identity_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 30 |
| 1 | 242 | 30 |
| 2 | 3999 | 30 |
| 1× | node limit |
| 1× | egg-herbie |
| 125× | associate-+l+_binary64 |
| 56× | associate-+r+_binary64 |
| 37× | +-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 24 | 699 |
| 1 | 57 | 699 |
| 2 | 139 | 699 |
| 3 | 253 | 699 |
| 4 | 262 | 699 |
| 1× | saturated |
6 alts after pruning (5 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 131 | 5 | 136 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 132 | 6 | 138 |
| Status | Error | Program |
| 0.4b | (+.f64 e (+.f64 c (expm1.f64 (log1p.f64 (+.f64 a (+.f64 d b)))))) | |
| 0.5b | (/.f64 1 (/.f64 (fma.f64 e e (*.f64 (+.f64 a (+.f64 (+.f64 d b) c)) (-.f64 (+.f64 a (+.f64 (+.f64 d b) c)) e))) (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 a (+.f64 (+.f64 d b) c)) 3)))) | |
| ▶ | 0.3b | (+.f64 e (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a (+.f64 d b)) 3)) (+.f64 (pow.f64 (+.f64 a (+.f64 d b)) 2) (-.f64 (*.f64 c c) (*.f64 c (+.f64 a (+.f64 d b))))))) |
| 0.4b | (+.f64 c (+.f64 a (+.f64 d (+.f64 b e)))) | |
| 0.6b | (/.f64 (+.f64 (pow.f64 (+.f64 e c) 3) (pow.f64 (+.f64 a (+.f64 d b)) 3)) (+.f64 (*.f64 (+.f64 e c) (+.f64 e c)) (-.f64 (pow.f64 (+.f64 a (+.f64 d b)) 2) (*.f64 (+.f64 e c) (+.f64 a (+.f64 d b)))))) | |
| ✓ | 0.3b | (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) |
Compiled 2499 to 787 computations (68.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a (+.f64 d b)) 3)) (+.f64 (pow.f64 (+.f64 a (+.f64 d b)) 2) (-.f64 (*.f64 c c) (*.f64 c (+.f64 a (+.f64 d b)))))) |
| ✓ | 0.5b | (-.f64 (*.f64 c c) (*.f64 c (+.f64 a (+.f64 d b)))) |
| ✓ | 0.5b | (pow.f64 (+.f64 a (+.f64 d b)) 2) |
| ✓ | 0.7b | (pow.f64 (+.f64 a (+.f64 d b)) 3) |
42 calls:
| 724.0ms | (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a (+.f64 d b)) 3)) (+.f64 (pow.f64 (+.f64 a (+.f64 d b)) 2) (-.f64 (*.f64 c c) (*.f64 c (+.f64 a (+.f64 d b)))))) | c | 0 |
| 246.0ms | (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a (+.f64 d b)) 3)) (+.f64 (pow.f64 (+.f64 a (+.f64 d b)) 2) (-.f64 (*.f64 c c) (*.f64 c (+.f64 a (+.f64 d b)))))) | b | 0 |
| 240.0ms | (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a (+.f64 d b)) 3)) (+.f64 (pow.f64 (+.f64 a (+.f64 d b)) 2) (-.f64 (*.f64 c c) (*.f64 c (+.f64 a (+.f64 d b)))))) | a | 0 |
| 238.0ms | (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a (+.f64 d b)) 3)) (+.f64 (pow.f64 (+.f64 a (+.f64 d b)) 2) (-.f64 (*.f64 c c) (*.f64 c (+.f64 a (+.f64 d b)))))) | d | 0 |
| 20.0ms | (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a (+.f64 d b)) 3)) (+.f64 (pow.f64 (+.f64 a (+.f64 d b)) 2) (-.f64 (*.f64 c c) (*.f64 c (+.f64 a (+.f64 d b)))))) | c | inf |
| 1× | batch-egg-rewrite |
| 232× | add-sqr-sqrt_binary64 |
| 230× | pow1_binary64 |
| 227× | *-un-lft-identity_binary64 |
| 220× | add-log-exp_binary64 |
| 220× | log1p-expm1-u_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 76 |
| 1 | 456 | 74 |
| 1× | node limit |
| 1× | egg-herbie |
| 638× | fma-def_binary64 |
| 408× | associate-/l*_binary64 |
| 361× | associate-*r/_binary64 |
| 221× | associate-*r*_binary64 |
| 113× | associate-/r*_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 2023 | 52902 |
| 1× | node limit |
6 alts after pruning (4 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 206 | 0 | 206 |
| Fresh | 0 | 4 | 4 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 206 | 6 | 212 |
| Status | Error | Program |
| ▶ | 0.4b | (+.f64 e (+.f64 c (expm1.f64 (log1p.f64 (+.f64 a (+.f64 d b)))))) |
| 0.5b | (/.f64 1 (/.f64 (fma.f64 e e (*.f64 (+.f64 a (+.f64 (+.f64 d b) c)) (-.f64 (+.f64 a (+.f64 (+.f64 d b) c)) e))) (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 a (+.f64 (+.f64 d b) c)) 3)))) | |
| ✓ | 0.3b | (+.f64 e (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a (+.f64 d b)) 3)) (+.f64 (pow.f64 (+.f64 a (+.f64 d b)) 2) (-.f64 (*.f64 c c) (*.f64 c (+.f64 a (+.f64 d b))))))) |
| 0.4b | (+.f64 c (+.f64 a (+.f64 d (+.f64 b e)))) | |
| 0.6b | (/.f64 (+.f64 (pow.f64 (+.f64 e c) 3) (pow.f64 (+.f64 a (+.f64 d b)) 3)) (+.f64 (*.f64 (+.f64 e c) (+.f64 e c)) (-.f64 (pow.f64 (+.f64 a (+.f64 d b)) 2) (*.f64 (+.f64 e c) (+.f64 a (+.f64 d b)))))) | |
| ✓ | 0.3b | (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) |
Compiled 77500 to 37123 computations (52.1% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.2b | (+.f64 c (expm1.f64 (log1p.f64 (+.f64 a (+.f64 d b))))) |
| 0.3b | (+.f64 a (+.f64 d b)) | |
| ✓ | 0.3b | (+.f64 e (+.f64 c (expm1.f64 (log1p.f64 (+.f64 a (+.f64 d b)))))) |
| ✓ | 0.7b | (expm1.f64 (log1p.f64 (+.f64 a (+.f64 d b)))) |
36 calls:
| 1.0ms | (+.f64 e (+.f64 c (expm1.f64 (log1p.f64 (+.f64 a (+.f64 d b)))))) | c | -inf |
| 1.0ms | (+.f64 e (+.f64 c (expm1.f64 (log1p.f64 (+.f64 a (+.f64 d b)))))) | d | -inf |
| 1.0ms | (+.f64 e (+.f64 c (expm1.f64 (log1p.f64 (+.f64 a (+.f64 d b)))))) | b | -inf |
| 1.0ms | (+.f64 e (+.f64 c (expm1.f64 (log1p.f64 (+.f64 a (+.f64 d b)))))) | e | inf |
| 1.0ms | (+.f64 e (+.f64 c (expm1.f64 (log1p.f64 (+.f64 a (+.f64 d b)))))) | e | -inf |
| 1× | batch-egg-rewrite |
| 414× | fma-neg_binary64 |
| 249× | expm1-udef_binary64 |
| 249× | log1p-udef_binary64 |
| 143× | add-sqr-sqrt_binary64 |
| 143× | pow1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 30 |
| 1 | 261 | 30 |
| 2 | 4146 | 30 |
| 1× | node limit |
| 1× | egg-herbie |
| 124× | associate-+l+_binary64 |
| 56× | associate-+r+_binary64 |
| 38× | +-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 24 | 1248 |
| 1 | 57 | 1248 |
| 2 | 139 | 1248 |
| 3 | 258 | 1248 |
| 4 | 262 | 1248 |
| 1× | saturated |
5 alts after pruning (3 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 194 | 1 | 195 |
| Fresh | 1 | 2 | 3 |
| Picked | 0 | 1 | 1 |
| Done | 1 | 1 | 2 |
| Total | 196 | 5 | 201 |
| Status | Error | Program |
| ▶ | 0.3b | (+.f64 e (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 b (+.f64 a d)) 3)) (+.f64 (pow.f64 (+.f64 b (+.f64 a d)) 2) (-.f64 (*.f64 c c) (*.f64 (+.f64 b (+.f64 a d)) c))))) |
| ✓ | 0.3b | (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) |
| ✓ | 0.4b | (+.f64 e (+.f64 c (expm1.f64 (log1p.f64 (+.f64 a (+.f64 d b)))))) |
| 0.5b | (/.f64 1 (/.f64 (fma.f64 e e (*.f64 (+.f64 a (+.f64 (+.f64 d b) c)) (-.f64 (+.f64 a (+.f64 (+.f64 d b) c)) e))) (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 a (+.f64 (+.f64 d b) c)) 3)))) | |
| 0.4b | (+.f64 c (+.f64 a (+.f64 d (+.f64 b e)))) |
Compiled 3412 to 1164 computations (65.9% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 b (+.f64 a d)) 3)) (+.f64 (pow.f64 (+.f64 b (+.f64 a d)) 2) (-.f64 (*.f64 c c) (*.f64 (+.f64 b (+.f64 a d)) c)))) |
| ✓ | 0.5b | (-.f64 (*.f64 c c) (*.f64 (+.f64 b (+.f64 a d)) c)) |
| ✓ | 0.5b | (pow.f64 (+.f64 b (+.f64 a d)) 2) |
| ✓ | 0.7b | (pow.f64 (+.f64 b (+.f64 a d)) 3) |
42 calls:
| 751.0ms | (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 b (+.f64 a d)) 3)) (+.f64 (pow.f64 (+.f64 b (+.f64 a d)) 2) (-.f64 (*.f64 c c) (*.f64 (+.f64 b (+.f64 a d)) c)))) | c | 0 |
| 261.0ms | (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 b (+.f64 a d)) 3)) (+.f64 (pow.f64 (+.f64 b (+.f64 a d)) 2) (-.f64 (*.f64 c c) (*.f64 (+.f64 b (+.f64 a d)) c)))) | d | 0 |
| 244.0ms | (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 b (+.f64 a d)) 3)) (+.f64 (pow.f64 (+.f64 b (+.f64 a d)) 2) (-.f64 (*.f64 c c) (*.f64 (+.f64 b (+.f64 a d)) c)))) | b | 0 |
| 241.0ms | (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 b (+.f64 a d)) 3)) (+.f64 (pow.f64 (+.f64 b (+.f64 a d)) 2) (-.f64 (*.f64 c c) (*.f64 (+.f64 b (+.f64 a d)) c)))) | a | 0 |
| 18.0ms | (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 b (+.f64 a d)) 3)) (+.f64 (pow.f64 (+.f64 b (+.f64 a d)) 2) (-.f64 (*.f64 c c) (*.f64 (+.f64 b (+.f64 a d)) c)))) | c | -inf |
| 1× | batch-egg-rewrite |
| 228× | add-sqr-sqrt_binary64 |
| 226× | pow1_binary64 |
| 223× | *-un-lft-identity_binary64 |
| 216× | add-log-exp_binary64 |
| 216× | log1p-expm1-u_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 76 |
| 1 | 451 | 74 |
| 1× | node limit |
| 1× | egg-herbie |
| 638× | fma-def_binary64 |
| 408× | associate-/l*_binary64 |
| 361× | associate-*r/_binary64 |
| 221× | associate-*r*_binary64 |
| 113× | associate-/r*_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 2023 | 52902 |
| 1× | node limit |
5 alts after pruning (2 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 206 | 0 | 206 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 206 | 5 | 211 |
| Status | Error | Program |
| ✓ | 0.3b | (+.f64 e (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 b (+.f64 a d)) 3)) (+.f64 (pow.f64 (+.f64 b (+.f64 a d)) 2) (-.f64 (*.f64 c c) (*.f64 (+.f64 b (+.f64 a d)) c))))) |
| ✓ | 0.3b | (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) |
| ✓ | 0.4b | (+.f64 e (+.f64 c (expm1.f64 (log1p.f64 (+.f64 a (+.f64 d b)))))) |
| 0.5b | (/.f64 1 (/.f64 (fma.f64 e e (*.f64 (+.f64 a (+.f64 (+.f64 d b) c)) (-.f64 (+.f64 a (+.f64 (+.f64 d b) c)) e))) (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 a (+.f64 (+.f64 d b) c)) 3)))) | |
| 0.4b | (+.f64 c (+.f64 a (+.f64 d (+.f64 b e)))) |
Compiled 77341 to 37040 computations (52.1% saved)
Total 0.2b remaining (88.3%)
Threshold costs 0.2b (88.3%)
Compiled 65767 to 38180 computations (41.9% saved)
| 1× | egg-herbie |
| 4× | +-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 17 |
| 1 | 16 | 17 |
| 1× | saturated |
| 1× | fuel |
(sort a b c d e)
Compiled 187 to 112 computations (40.1% saved)
Loading profile data...