Time bar (total: 23.5s)
| 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 |
| 0% | 99.9% | 0.1% | 4 |
| 12.5% | 87.4% | 0.1% | 5 |
| 12.5% | 78% | 9.5% | 6 |
| 20.3% | 68.7% | 11% | 7 |
| 21.1% | 62.4% | 16.5% | 8 |
| 25.4% | 57% | 17.7% | 9 |
| 26% | 52.1% | 22% | 10 |
| 28.3% | 49% | 22.7% | 11 |
| 28.6% | 47.2% | 24.2% | 12 |
| 29.8% | 45.6% | 24.7% | 13 |
| 29.9% | 43.9% | 26.2% | 14 |
Compiled 11 to 8 computations (27.3% saved)
| 13.6s | 4785× | body | 8192 | exit |
| 2.1s | 3296× | body | 1024 | invalid |
| 1.3s | 8256× | body | 128 | valid |
| 619.0ms | 1588× | body | 512 | invalid |
| 211.0ms | 829× | body | 256 | invalid |
| 85.0ms | 573× | body | 128 | invalid |
| 9.0ms | 3× | body | 8192 | invalid |
| 2.0ms | 3× | body | 2048 | invalid |
Compiled 32 to 23 computations (28.1% saved)
| 1× | egg-herbie |
| 656× | unswap-sqr_binary64 |
| 607× | times-frac_binary64 |
| 540× | sqr-pow_binary64 |
| 391× | pow-sqr_binary64 |
| 205× | associate-*l*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 13 |
| 1 | 19 | 13 |
| 2 | 37 | 11 |
| 3 | 79 | 11 |
| 4 | 200 | 11 |
| 5 | 635 | 11 |
| 6 | 2301 | 11 |
| 7 | 2298 | 11 |
| 8 | 2410 | 11 |
| 9 | 2637 | 11 |
| 10 | 3067 | 11 |
| 11 | 3698 | 11 |
| 12 | 4907 | 11 |
| 13 | 4890 | 11 |
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 (pow.f64 l (exp.f64 w)) (exp.f64 w)) |
| 0.3b | (*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w))) |
Compiled 55 to 32 computations (41.8% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (exp.f64 w) |
| ✓ | 0.0b | (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)) |
| ✓ | 0.3b | (pow.f64 l (exp.f64 w)) |
3 calls:
| 138.0ms | (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)) |
| 136.0ms | (pow.f64 l (exp.f64 w)) |
| 1.0ms | (exp.f64 w) |
| 2× | batch-egg-rewrite |
| 607× | log1p-expm1-u_binary64 |
| 607× | expm1-log1p-u_binary64 |
| 324× | log-prod_binary64 |
| 117× | log-pow_binary64 |
| 116× | expm1-udef_binary64 |
3 calls:
| 44.0ms | (exp.f64 w) |
| 44.0ms | (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)) |
| 44.0ms | (pow.f64 l (exp.f64 w)) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 20 |
| 1 | 125 | 20 |
| 2 | 1571 | 20 |
| 3 | 4962 | 20 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 861× | fma-def_binary64 |
| 464× | associate-+l+_binary64 |
| 421× | associate-*l*_binary64 |
| 334× | associate-+r+_binary64 |
| 314× | associate-*r*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 76 | 648 |
| 1 | 243 | 613 |
| 2 | 869 | 578 |
| 3 | 4232 | 578 |
| 4 | 4904 | 578 |
| 5 | 4982 | 578 |
| 6 | 4994 | 578 |
| 7 | 4942 | 578 |
6 alts after pruning (6 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 129 | 6 | 135 |
| Fresh | 1 | 0 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 131 | 6 | 137 |
| Status | Error | Program |
| ▶ | 0.3b | (/.f64 (pow.f64 l (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (pow.f64 (cbrt.f64 (exp.f64 w)) 2))) |
| 1.4b | (pow.f64 (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))) 3) | |
| 14.8b | (fma.f64 w (-.f64 (*.f64 l (log.f64 l)) l) l) | |
| 11.0b | (/.f64 (+.f64 l (fma.f64 (*.f64 l (pow.f64 w 3)) (*.f64 (log.f64 l) (+.f64 1/6 (*.f64 (log.f64 l) 1/2))) (fma.f64 1/2 (*.f64 (*.f64 l (*.f64 w w)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2))) (*.f64 l (+.f64 (*.f64 (log.f64 l) w) (*.f64 1/6 (*.f64 (pow.f64 w 3) (pow.f64 (log.f64 l) 3)))))))) (exp.f64 w)) | |
| 8.6b | (/.f64 (fma.f64 1/2 (*.f64 (*.f64 l (*.f64 w w)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2))) (fma.f64 (log.f64 l) (*.f64 l w) l)) (exp.f64 w)) | |
| 1.9b | (expm1.f64 (log1p.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))) |
Compiled 2183 to 859 computations (60.7% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (/.f64 (pow.f64 l (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (pow.f64 (cbrt.f64 (exp.f64 w)) 2))) |
| ✓ | 0.0b | (cbrt.f64 (exp.f64 w)) |
| ✓ | 0.0b | (pow.f64 (cbrt.f64 (exp.f64 w)) 2) |
| 0.3b | (pow.f64 l (exp.f64 w)) |
3 calls:
| 146.0ms | (pow.f64 (cbrt.f64 (exp.f64 w)) 2) |
| 144.0ms | (cbrt.f64 (exp.f64 w)) |
| 139.0ms | (/.f64 (pow.f64 l (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (pow.f64 (cbrt.f64 (exp.f64 w)) 2))) |
| 2× | batch-egg-rewrite |
| 837× | log1p-expm1-u_binary64 |
| 837× | expm1-log1p-u_binary64 |
| 126× | prod-diff_binary64 |
| 91× | add-sqr-sqrt_binary64 |
| 86× | add-log-exp_binary64 |
3 calls:
| 47.0ms | (/.f64 (pow.f64 l (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (pow.f64 (cbrt.f64 (exp.f64 w)) 2))) |
| 47.0ms | (cbrt.f64 (exp.f64 w)) |
| 47.0ms | (pow.f64 (cbrt.f64 (exp.f64 w)) 2) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 24 |
| 1 | 189 | 22 |
| 2 | 2170 | 22 |
| 3 | 5313 | 22 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 581× | fma-def_binary64 |
| 358× | associate-*l*_binary64 |
| 316× | associate-+l+_binary64 |
| 293× | associate-*r*_binary64 |
| 230× | distribute-rgt-out--_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 84 | 610 |
| 1 | 242 | 594 |
| 2 | 807 | 535 |
| 3 | 3520 | 521 |
| 4 | 4968 | 521 |
6 alts after pruning (6 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 165 | 1 | 166 |
| Fresh | 0 | 5 | 5 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 166 | 6 | 172 |
| Status | Error | Program |
| ▶ | 0.3b | (/.f64 (pow.f64 l (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (exp.f64 w))) 3) 2))) |
| 14.8b | (fma.f64 w (-.f64 (*.f64 l (log.f64 l)) l) l) | |
| 11.0b | (/.f64 (+.f64 l (fma.f64 (*.f64 l (pow.f64 w 3)) (*.f64 (log.f64 l) (+.f64 1/6 (*.f64 (log.f64 l) 1/2))) (fma.f64 1/2 (*.f64 (*.f64 l (*.f64 w w)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2))) (*.f64 l (+.f64 (*.f64 (log.f64 l) w) (*.f64 1/6 (*.f64 (pow.f64 w 3) (pow.f64 (log.f64 l) 3)))))))) (exp.f64 w)) | |
| 1.4b | (pow.f64 (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))) 3) | |
| 8.6b | (/.f64 (fma.f64 1/2 (*.f64 (*.f64 l (*.f64 w w)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2))) (fma.f64 (log.f64 l) (*.f64 l w) l)) (exp.f64 w)) | |
| 1.9b | (expm1.f64 (log1p.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))) |
Compiled 3285 to 1384 computations (57.9% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (cbrt.f64 (cbrt.f64 (exp.f64 w))) |
| ✓ | 0.0b | (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (exp.f64 w))) 3) 2) |
| ✓ | 0.0b | (pow.f64 (cbrt.f64 (cbrt.f64 (exp.f64 w))) 3) |
| 0.3b | (pow.f64 l (exp.f64 w)) |
3 calls:
| 150.0ms | (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (exp.f64 w))) 3) 2) |
| 147.0ms | (pow.f64 (cbrt.f64 (cbrt.f64 (exp.f64 w))) 3) |
| 145.0ms | (cbrt.f64 (cbrt.f64 (exp.f64 w))) |
| 2× | batch-egg-rewrite |
| 561× | log1p-expm1-u_binary64 |
| 561× | expm1-log1p-u_binary64 |
| 499× | unpow-prod-down_binary64 |
| 278× | log-prod_binary64 |
| 164× | pow2_binary64 |
3 calls:
| 48.0ms | (cbrt.f64 (cbrt.f64 (exp.f64 w))) |
| 48.0ms | (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (exp.f64 w))) 3) 2) |
| 48.0ms | (pow.f64 (cbrt.f64 (cbrt.f64 (exp.f64 w))) 3) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 20 |
| 1 | 163 | 17 |
| 2 | 1518 | 17 |
| 3 | 5367 | 17 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 586× | associate-*l/_binary64 |
| 559× | fma-def_binary64 |
| 439× | distribute-rgt-out_binary64 |
| 369× | associate-*l*_binary64 |
| 277× | associate-*r*_binary64 |
Useful iterations: 5 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 40 | 321 |
| 1 | 97 | 315 |
| 2 | 262 | 303 |
| 3 | 680 | 261 |
| 4 | 1963 | 237 |
| 5 | 2749 | 229 |
| 6 | 5101 | 229 |
6 alts after pruning (6 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 202 | 2 | 204 |
| Fresh | 1 | 4 | 5 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 204 | 6 | 210 |
| Status | Error | Program |
| 14.8b | (fma.f64 w (-.f64 (*.f64 l (log.f64 l)) l) l) | |
| ▶ | 0.3b | (/.f64 (pow.f64 l (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (pow.f64 (pow.f64 (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 w) 1/9))) 2) 3) (cbrt.f64 (pow.f64 (exp.f64 w) 1/9))) 3) 2))) |
| 11.0b | (/.f64 (+.f64 l (fma.f64 (*.f64 l (pow.f64 w 3)) (*.f64 (log.f64 l) (+.f64 1/6 (*.f64 (log.f64 l) 1/2))) (fma.f64 1/2 (*.f64 (*.f64 l (*.f64 w w)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2))) (*.f64 l (+.f64 (*.f64 (log.f64 l) w) (*.f64 1/6 (*.f64 (pow.f64 w 3) (pow.f64 (log.f64 l) 3)))))))) (exp.f64 w)) | |
| 8.6b | (/.f64 (fma.f64 1/2 (*.f64 (*.f64 l (*.f64 w w)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2))) (fma.f64 (log.f64 l) (*.f64 l w) l)) (exp.f64 w)) | |
| 4.1b | (/.f64 (pow.f64 l (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (pow.f64 (pow.f64 (+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 w) 1/9))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 w) 1/9))))) 3) 2))) | |
| 1.9b | (expm1.f64 (log1p.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))) |
Compiled 5006 to 2480 computations (50.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 w) 1/9))) 2) |
| ✓ | 0.0b | (pow.f64 (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 w) 1/9))) 2) 3) (cbrt.f64 (pow.f64 (exp.f64 w) 1/9))) 3) |
| ✓ | 0.0b | (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 w) 1/9))) 2) 3) |
| 0.3b | (pow.f64 l (exp.f64 w)) |
3 calls:
| 150.0ms | (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 w) 1/9))) 2) 3) |
| 146.0ms | (pow.f64 (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 w) 1/9))) 2) 3) (cbrt.f64 (pow.f64 (exp.f64 w) 1/9))) 3) |
| 144.0ms | (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 w) 1/9))) 2) |
| 2× | batch-egg-rewrite |
| 849× | log1p-expm1-u_binary64 |
| 849× | expm1-log1p-u_binary64 |
| 107× | add-cbrt-cube_binary64 |
| 106× | add-log-exp_binary64 |
| 105× | add-sqr-sqrt_binary64 |
3 calls:
| 46.0ms | (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 w) 1/9))) 2) |
| 46.0ms | (pow.f64 (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 w) 1/9))) 2) 3) (cbrt.f64 (pow.f64 (exp.f64 w) 1/9))) 3) |
| 46.0ms | (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 w) 1/9))) 2) 3) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 52 |
| 1 | 268 | 26 |
| 2 | 2248 | 26 |
| 3 | 4931 | 26 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 636× | associate-*l/_binary64 |
| 576× | fma-def_binary64 |
| 389× | distribute-rgt-out_binary64 |
| 349× | associate-*l*_binary64 |
| 275× | associate-*r*_binary64 |
Useful iterations: 5 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 47 | 345 |
| 1 | 112 | 339 |
| 2 | 277 | 303 |
| 3 | 733 | 261 |
| 4 | 2113 | 237 |
| 5 | 2665 | 229 |
| 6 | 5119 | 229 |
8 alts after pruning (7 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 120 | 2 | 122 |
| Fresh | 0 | 5 | 5 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 120 | 8 | 128 |
| Status | Error | Program |
| 14.8b | (fma.f64 w (-.f64 (*.f64 l (log.f64 l)) l) l) | |
| ✓ | 0.3b | (/.f64 (pow.f64 l (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (pow.f64 (pow.f64 (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 w) 1/9))) 2) 3) (cbrt.f64 (pow.f64 (exp.f64 w) 1/9))) 3) 2))) |
| 11.0b | (/.f64 (+.f64 l (fma.f64 (*.f64 l (pow.f64 w 3)) (*.f64 (log.f64 l) (+.f64 1/6 (*.f64 (log.f64 l) 1/2))) (fma.f64 1/2 (*.f64 (*.f64 l (*.f64 w w)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2))) (*.f64 l (+.f64 (*.f64 (log.f64 l) w) (*.f64 1/6 (*.f64 (pow.f64 w 3) (pow.f64 (log.f64 l) 3)))))))) (exp.f64 w)) | |
| 8.6b | (/.f64 (fma.f64 1/2 (*.f64 (*.f64 l (*.f64 w w)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2))) (fma.f64 (log.f64 l) (*.f64 l w) l)) (exp.f64 w)) | |
| 0.6b | (/.f64 (pow.f64 l (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (pow.f64 (pow.f64 (*.f64 (pow.f64 (fma.f64 w 2/81 1) 3) (cbrt.f64 (pow.f64 (exp.f64 w) 1/9))) 3) 2))) | |
| 4.1b | (/.f64 (pow.f64 l (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (pow.f64 (pow.f64 (+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 w) 1/9))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 w) 1/9))))) 3) 2))) | |
| 1.9b | (expm1.f64 (log1p.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))) | |
| 0.5b | (/.f64 (pow.f64 l (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (pow.f64 (pow.f64 (*.f64 (fma.f64 w (fma.f64 w 2/729 2/27) 1) (cbrt.f64 (pow.f64 (exp.f64 w) 1/9))) 3) 2))) |
Compiled 3902 to 2354 computations (39.7% saved)
Total 0.2b remaining (72%)
Threshold costs 0.2b (72%)
Compiled 10988 to 7273 computations (33.8% saved)
| 1× | egg-herbie |
| 2× | *-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 47 |
| 1 | 21 | 47 |
| 2 | 21 | 47 |
Compiled 283 to 194 computations (31.4% saved)
Loading profile data...