Time bar (total: 3.7s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 74.9% | 25.1% | 0 |
| 0% | 74.9% | 25.1% | 1 |
| 37.5% | 37.5% | 25.1% | 2 |
| 37.5% | 18.7% | 43.8% | 3 |
| 46.8% | 9.4% | 43.8% | 4 |
| 51.5% | 4.7% | 43.8% | 5 |
| 51.5% | 2.3% | 46.1% | 6 |
| 52.7% | 1.2% | 46.1% | 7 |
| 53.3% | 0.6% | 46.1% | 8 |
| 53.3% | 0.3% | 46.4% | 9 |
| 53.4% | 0.1% | 46.4% | 10 |
| 53.5% | 0.1% | 46.4% | 11 |
| 53.5% | 0% | 46.5% | 12 |
| 53.5% | 0% | 46.5% | 13 |
| 53.5% | 0% | 46.5% | 14 |
Compiled 71 to 33 computations (53.5% saved)
| 1.4s | 8256× | body | 128 | valid |
| 0.0ms | 2× | body | 128 | invalid |
Compiled 142 to 66 computations (53.5% saved)
| 2× | egg-herbie |
| 642× | distribute-lft-out_binary64 |
| 588× | associate-/l*_binary64 |
| 406× | associate-/r*_binary64 |
| 400× | *-commutative_binary64 |
| 244× | distribute-rgt-out_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 32 | 75 |
| 1 | 74 | 59 |
| 2 | 251 | 41 |
| 3 | 1208 | 37 |
| 4 | 2394 | 37 |
| 0 | 1 | 1 |
| 1× | saturated |
| 1× | node limit |
Compiled 68 to 31 computations (54.4% saved)
| 1× | egg-herbie |
| 642× | distribute-lft-out_binary64 |
| 588× | associate-/l*_binary64 |
| 406× | associate-/r*_binary64 |
| 400× | *-commutative_binary64 |
| 244× | distribute-rgt-out_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 32 | 75 |
| 1 | 74 | 59 |
| 2 | 251 | 41 |
| 3 | 1208 | 37 |
| 4 | 2394 | 37 |
| 1× | node limit |
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.1b | (fabs.f64 (*.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 2 (fabs.f64 x)) (*.f64 (/.f64 2 3) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 5) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 21) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))) |
| 0.5b | (fabs.f64 (*.f64 (/.f64 (fabs.f64 x) (sqrt.f64 (PI.f64))) (+.f64 (fma.f64 1/5 (pow.f64 x 4) (*.f64 1/21 (pow.f64 x 6))) (fma.f64 2/3 (*.f64 x x) 2)))) |
Compiled 278 to 149 computations (46.4% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (*.f64 (/.f64 1 5) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))) |
| ✓ | 0.1b | (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) |
| ✓ | 0.2b | (*.f64 (/.f64 2 3) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))) |
| ✓ | 1.0b | (sqrt.f64 (PI.f64)) |
9 calls:
| 4.0ms | (*.f64 (/.f64 1 5) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))) | x | -inf |
| 4.0ms | (*.f64 (/.f64 1 5) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))) | x | inf |
| 3.0ms | (*.f64 (/.f64 1 5) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))) | x | 0 |
| 3.0ms | (*.f64 (/.f64 2 3) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))) | x | -inf |
| 3.0ms | (*.f64 (/.f64 2 3) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))) | x | inf |
| 1× | batch-egg-rewrite |
| 633× | log-prod_binary64 |
| 240× | expm1-udef_binary64 |
| 240× | log1p-udef_binary64 |
| 207× | log-pow_binary64 |
| 148× | add-sqr-sqrt_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 38 |
| 1 | 344 | 22 |
| 2 | 3535 | 22 |
| 1× | node limit |
| 1× | egg-herbie |
| 684× | sqr-pow_binary64 |
| 547× | unswap-sqr_binary64 |
| 336× | *-commutative_binary64 |
| 334× | associate-*l*_binary64 |
| 285× | pow-sqr_binary64 |
Useful iterations: 8 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 288 |
| 1 | 30 | 288 |
| 2 | 63 | 288 |
| 3 | 139 | 288 |
| 4 | 342 | 264 |
| 5 | 1090 | 264 |
| 6 | 2254 | 264 |
| 7 | 2395 | 264 |
| 8 | 2588 | 216 |
| 9 | 2854 | 216 |
| 10 | 3197 | 216 |
| 11 | 3652 | 216 |
| 12 | 4235 | 216 |
| 13 | 4971 | 216 |
| 1× | node limit |
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 100 | 2 | 102 |
| Fresh | 0 | 1 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 101 | 3 | 104 |
| Status | Error | Program |
| ▶ | 0.1b | (fabs.f64 (*.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 2 (fabs.f64 x)) (*.f64 (/.f64 2 3) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 5) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 21) (*.f64 (*.f64 (*.f64 (pow.f64 (*.f64 x x) 2) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))) |
| 0.5b | (fabs.f64 (*.f64 (/.f64 (fabs.f64 x) (sqrt.f64 (PI.f64))) (+.f64 (fma.f64 1/5 (pow.f64 x 4) (*.f64 1/21 (pow.f64 x 6))) (fma.f64 2/3 (*.f64 x x) 2)))) | |
| 1.1b | (fabs.f64 (*.f64 (/.f64 1 (expm1.f64 (log1p.f64 (sqrt.f64 (PI.f64))))) (+.f64 (+.f64 (+.f64 (*.f64 2 (fabs.f64 x)) (*.f64 (/.f64 2 3) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 5) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 21) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))) |
Compiled 6859 to 2826 computations (58.8% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.1b | (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) | |
| 0.2b | (*.f64 (/.f64 2 3) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))) | |
| ✓ | 0.2b | (pow.f64 (*.f64 x x) 2) |
| 1.0b | (sqrt.f64 (PI.f64)) |
3 calls:
| 1.0ms | (pow.f64 (*.f64 x x) 2) | x | -inf |
| 1.0ms | (pow.f64 (*.f64 x x) 2) | x | inf |
| 1.0ms | (pow.f64 (*.f64 x x) 2) | x | 0 |
| 1× | batch-egg-rewrite |
| 347× | log1p-expm1-u_binary64 |
| 347× | expm1-log1p-u_binary64 |
| 309× | add-log-exp_binary64 |
| 309× | pow1_binary64 |
| 237× | unpow-prod-down_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 7 |
| 1 | 101 | 4 |
| 2 | 1061 | 4 |
| 1× | node limit |
| 1× | egg-herbie |
| 787× | sqr-pow_binary64 |
| 390× | cube-prod_binary64 |
| 342× | unswap-sqr_binary64 |
| 327× | pow-sqr_binary64 |
| 260× | fabs-mul_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4 | 48 |
| 1 | 8 | 48 |
| 2 | 14 | 48 |
| 3 | 25 | 48 |
| 4 | 50 | 48 |
| 5 | 135 | 48 |
| 6 | 484 | 48 |
| 7 | 1133 | 48 |
| 8 | 1257 | 48 |
| 9 | 1426 | 48 |
| 10 | 1625 | 48 |
| 11 | 1898 | 48 |
| 12 | 2255 | 48 |
| 13 | 2704 | 48 |
| 14 | 3226 | 48 |
| 15 | 3854 | 48 |
| 16 | 4605 | 48 |
| 17 | 4911 | 48 |
| 1× | node limit |
3 alts after pruning (2 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 92 | 1 | 93 |
| Fresh | 1 | 1 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 93 | 3 | 96 |
| Status | Error | Program |
| ✓ | 0.1b | (fabs.f64 (*.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 2 (fabs.f64 x)) (*.f64 (/.f64 2 3) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 5) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 21) (*.f64 (*.f64 (*.f64 (pow.f64 (*.f64 x x) 2) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))) |
| ▶ | 0.5b | (fabs.f64 (*.f64 (/.f64 (fabs.f64 x) (sqrt.f64 (PI.f64))) (+.f64 (fma.f64 1/5 (pow.f64 x 4) (*.f64 1/21 (pow.f64 x 6))) (fma.f64 2/3 (*.f64 x x) 2)))) |
| 1.1b | (fabs.f64 (*.f64 (/.f64 1 (expm1.f64 (log1p.f64 (sqrt.f64 (PI.f64))))) (+.f64 (+.f64 (+.f64 (*.f64 2 (fabs.f64 x)) (*.f64 (/.f64 2 3) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 5) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 21) (*.f64 (*.f64 (*.f64 (pow.f64 (*.f64 x x) 2) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))) |
Compiled 5964 to 2939 computations (50.7% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (fma.f64 1/5 (pow.f64 x 4) (*.f64 1/21 (pow.f64 x 6))) |
| ✓ | 0.1b | (*.f64 1/21 (pow.f64 x 6)) |
| ✓ | 0.3b | (/.f64 (fabs.f64 x) (sqrt.f64 (PI.f64))) |
| 1.0b | (sqrt.f64 (PI.f64)) |
9 calls:
| 3.0ms | (/.f64 (fabs.f64 x) (sqrt.f64 (PI.f64))) | x | inf |
| 3.0ms | (/.f64 (fabs.f64 x) (sqrt.f64 (PI.f64))) | x | 0 |
| 3.0ms | (/.f64 (fabs.f64 x) (sqrt.f64 (PI.f64))) | x | -inf |
| 1.0ms | (fma.f64 1/5 (pow.f64 x 4) (*.f64 1/21 (pow.f64 x 6))) | x | -inf |
| 1.0ms | (fma.f64 1/5 (pow.f64 x 4) (*.f64 1/21 (pow.f64 x 6))) | x | inf |
| 1× | batch-egg-rewrite |
| 534× | log-prod_binary64 |
| 220× | expm1-udef_binary64 |
| 220× | log1p-udef_binary64 |
| 195× | log-pow_binary64 |
| 138× | add-sqr-sqrt_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 30 |
| 1 | 300 | 28 |
| 2 | 3455 | 28 |
| 1× | node limit |
| 1× | egg-herbie |
| 518× | sqr-pow_binary64 |
| 487× | associate-*l*_binary64 |
| 467× | unswap-sqr_binary64 |
| 440× | fma-def_binary64 |
| 300× | associate-*r*_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 17 | 291 |
| 1 | 32 | 291 |
| 2 | 56 | 291 |
| 3 | 123 | 267 |
| 4 | 399 | 267 |
| 5 | 1478 | 267 |
| 6 | 2937 | 267 |
| 7 | 3286 | 267 |
| 8 | 3570 | 267 |
| 9 | 3854 | 267 |
| 10 | 4219 | 267 |
| 11 | 4698 | 267 |
| 1× | node limit |
3 alts after pruning (1 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 111 | 1 | 112 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 112 | 3 | 115 |
| Status | Error | Program |
| ▶ | 0.3b | (fabs.f64 (*.f64 (/.f64 (fabs.f64 x) (exp.f64 (*.f64 (log.f64 (PI.f64)) 1/2))) (+.f64 (fma.f64 1/5 (pow.f64 x 4) (*.f64 1/21 (pow.f64 x 6))) (fma.f64 2/3 (*.f64 x x) 2)))) |
| ✓ | 0.1b | (fabs.f64 (*.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 2 (fabs.f64 x)) (*.f64 (/.f64 2 3) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 5) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 21) (*.f64 (*.f64 (*.f64 (pow.f64 (*.f64 x x) 2) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))) |
| ✓ | 0.5b | (fabs.f64 (*.f64 (/.f64 (fabs.f64 x) (sqrt.f64 (PI.f64))) (+.f64 (fma.f64 1/5 (pow.f64 x 4) (*.f64 1/21 (pow.f64 x 6))) (fma.f64 2/3 (*.f64 x x) 2)))) |
Compiled 3343 to 2147 computations (35.8% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (*.f64 (/.f64 (fabs.f64 x) (exp.f64 (*.f64 (log.f64 (PI.f64)) 1/2))) (+.f64 (fma.f64 1/5 (pow.f64 x 4) (*.f64 1/21 (pow.f64 x 6))) (fma.f64 2/3 (*.f64 x x) 2))) |
| 0.1b | (fma.f64 1/5 (pow.f64 x 4) (*.f64 1/21 (pow.f64 x 6))) | |
| 0.1b | (*.f64 1/21 (pow.f64 x 6)) | |
| ✓ | 0.3b | (/.f64 (fabs.f64 x) (exp.f64 (*.f64 (log.f64 (PI.f64)) 1/2))) |
6 calls:
| 4.0ms | (*.f64 (/.f64 (fabs.f64 x) (exp.f64 (*.f64 (log.f64 (PI.f64)) 1/2))) (+.f64 (fma.f64 1/5 (pow.f64 x 4) (*.f64 1/21 (pow.f64 x 6))) (fma.f64 2/3 (*.f64 x x) 2))) | x | -inf |
| 3.0ms | (*.f64 (/.f64 (fabs.f64 x) (exp.f64 (*.f64 (log.f64 (PI.f64)) 1/2))) (+.f64 (fma.f64 1/5 (pow.f64 x 4) (*.f64 1/21 (pow.f64 x 6))) (fma.f64 2/3 (*.f64 x x) 2))) | x | inf |
| 3.0ms | (/.f64 (fabs.f64 x) (exp.f64 (*.f64 (log.f64 (PI.f64)) 1/2))) | x | -inf |
| 3.0ms | (/.f64 (fabs.f64 x) (exp.f64 (*.f64 (log.f64 (PI.f64)) 1/2))) | x | 0 |
| 3.0ms | (/.f64 (fabs.f64 x) (exp.f64 (*.f64 (log.f64 (PI.f64)) 1/2))) | x | inf |
| 1× | batch-egg-rewrite |
| 224× | add-sqr-sqrt_binary64 |
| 224× | log1p-expm1-u_binary64 |
| 224× | expm1-log1p-u_binary64 |
| 220× | add-cbrt-cube_binary64 |
| 218× | add-log-exp_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 23 | 46 |
| 1 | 492 | 40 |
| 1× | node limit |
| 1× | egg-herbie |
| 817× | fma-def_binary64 |
| 674× | distribute-rgt-out_binary64 |
| 592× | associate-*l*_binary64 |
| 439× | associate-*r*_binary64 |
| 377× | unswap-sqr_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 35 | 738 |
| 1 | 91 | 738 |
| 2 | 242 | 531 |
| 3 | 891 | 432 |
| 4 | 3722 | 432 |
| 1× | node limit |
3 alts after pruning (0 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 126 | 0 | 126 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 126 | 3 | 129 |
| Status | Error | Program |
| ✓ | 0.3b | (fabs.f64 (*.f64 (/.f64 (fabs.f64 x) (exp.f64 (*.f64 (log.f64 (PI.f64)) 1/2))) (+.f64 (fma.f64 1/5 (pow.f64 x 4) (*.f64 1/21 (pow.f64 x 6))) (fma.f64 2/3 (*.f64 x x) 2)))) |
| ✓ | 0.1b | (fabs.f64 (*.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 2 (fabs.f64 x)) (*.f64 (/.f64 2 3) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 5) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 21) (*.f64 (*.f64 (*.f64 (pow.f64 (*.f64 x x) 2) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))) |
| ✓ | 0.5b | (fabs.f64 (*.f64 (/.f64 (fabs.f64 x) (sqrt.f64 (PI.f64))) (+.f64 (fma.f64 1/5 (pow.f64 x 4) (*.f64 1/21 (pow.f64 x 6))) (fma.f64 2/3 (*.f64 x x) 2)))) |
Compiled 4290 to 2925 computations (31.8% saved)
Total 0.1b remaining (91.3%)
Threshold costs 0.1b (91.3%)
Compiled 29270 to 18973 computations (35.2% saved)
| 1× | egg-herbie |
| 11× | *-commutative_binary64 |
| 3× | +-commutative_binary64 |
| 1× | 1-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 31 | 86 |
| 1 | 47 | 86 |
| 1× | saturated |
| 1× | done |
Compiled 221 to 158 computations (28.5% saved)
Loading profile data...