Time bar (total: 25.8s)
| 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)
| 11.7s | 4905× | body | 8192 | exit |
| 1.9s | 3271× | body | 1024 | invalid |
| 1.3s | 8256× | body | 128 | valid |
| 589.0ms | 1637× | body | 512 | invalid |
| 192.0ms | 829× | body | 256 | invalid |
| 81.0ms | 616× | body | 128 | invalid |
| 13.0ms | 7× | body | 4096 | invalid |
| 3.0ms | 1× | body | 8192 | invalid |
| 1.0ms | 1× | 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.2b | (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)) |
| 0.2b | (*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w))) |
Compiled 55 to 32 computations (41.8% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)) |
| ✓ | 0.2b | (pow.f64 l (exp.f64 w)) |
2 calls:
| 158.0ms | (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)) |
| 150.0ms | (pow.f64 l (exp.f64 w)) |
| 1× | rewrite-expression-head |
| 21× | times-frac_binary64 |
| 20× | *-un-lft-identity_binary64 |
| 20× | add-sqr-sqrt_binary64 |
| 20× | add-cube-cbrt_binary64 |
| 15× | unpow-prod-down_binary64 |
2 calls:
| 4.0ms | (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)) |
| 2.0ms | (pow.f64 l (exp.f64 w)) |
| 1× | egg-herbie |
| 847× | fma-def_binary64 |
| 696× | associate-*l*_binary64 |
| 359× | fma-neg_binary64 |
| 322× | times-frac_binary64 |
| 234× | associate-/l*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 157 | 1790 |
| 1 | 375 | 1705 |
| 2 | 1326 | 1665 |
| 3 | 4894 | 1665 |
| 4 | 5116 | 1665 |
4 alts after pruning (4 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 87 | 4 | 91 |
| Fresh | 1 | 0 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 89 | 4 | 93 |
| Status | Error | Program |
| 8.1b | (/.f64 (fma.f64 (*.f64 l (*.f64 w w)) (*.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (fma.f64 (log.f64 l) (*.f64 l w) l)) (exp.f64 w)) | |
| ▶ | 0.3b | (/.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) (exp.f64 w)) |
| 13.1b | (fma.f64 w (-.f64 (*.f64 l (log.f64 l)) l) l) | |
| 4.7b | (exp.f64 (-.f64 (*.f64 (log.f64 l) (exp.f64 w)) w)) |
Compiled 1702 to 560 computations (67.1% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (sqrt.f64 (exp.f64 w)) |
| ✓ | 0.0b | (/.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) (exp.f64 w)) |
| ✓ | 0.2b | (pow.f64 l (sqrt.f64 (exp.f64 w))) |
| ✓ | 0.2b | (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) |
4 calls:
| 785.0ms | (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) |
| 781.0ms | (/.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) (exp.f64 w)) |
| 143.0ms | (pow.f64 l (sqrt.f64 (exp.f64 w))) |
| 3.0ms | (sqrt.f64 (exp.f64 w)) |
| 1× | rewrite-expression-head |
| 53× | unpow-prod-down_binary64 |
| 38× | add-sqr-sqrt_binary64 |
| 37× | *-un-lft-identity_binary64 |
| 37× | add-cube-cbrt_binary64 |
| 33× | times-frac_binary64 |
4 calls:
| 5.0ms | (/.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) (exp.f64 w)) |
| 3.0ms | (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) |
| 2.0ms | (pow.f64 l (sqrt.f64 (exp.f64 w))) |
| 1.0ms | (sqrt.f64 (exp.f64 w)) |
| 1× | egg-herbie |
| 559× | times-frac_binary64 |
| 320× | fma-neg_binary64 |
| 176× | exp-prod_binary64 |
| 165× | distribute-rgt-out_binary64 |
| 164× | cancel-sign-sub-inv_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 257 | 4070 |
| 1 | 574 | 3385 |
| 2 | 1992 | 3340 |
| 3 | 4448 | 3340 |
| 4 | 4954 | 3340 |
| 5 | 5013 | 3340 |
4 alts after pruning (4 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 229 | 2 | 231 |
| Fresh | 1 | 2 | 3 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 231 | 4 | 235 |
| Status | Error | Program |
| 8.1b | (/.f64 (fma.f64 (*.f64 l (*.f64 w w)) (*.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (fma.f64 (log.f64 l) (*.f64 l w) l)) (exp.f64 w)) | |
| ▶ | 1.4b | (/.f64 (pow.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)) (sqrt.f64 (exp.f64 w))) (pow.f64 (cbrt.f64 l) (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (exp.f64 w))) (exp.f64 w)) |
| 12.9b | (+.f64 l (*.f64 l (-.f64 (*.f64 (log.f64 l) w) w))) | |
| 4.7b | (exp.f64 (-.f64 (*.f64 (log.f64 l) (exp.f64 w)) w)) |
Compiled 4997 to 1328 computations (73.4% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.2b | (pow.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)) (sqrt.f64 (exp.f64 w))) |
| ✓ | 0.2b | (pow.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)) (sqrt.f64 (exp.f64 w))) (pow.f64 (cbrt.f64 l) (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (exp.f64 w))) |
| ✓ | 0.6b | (*.f64 (cbrt.f64 l) (cbrt.f64 l)) |
| ✓ | 0.6b | (cbrt.f64 l) |
4 calls:
| 4.0s | (pow.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)) (sqrt.f64 (exp.f64 w))) (pow.f64 (cbrt.f64 l) (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (exp.f64 w))) |
| 1.2s | (pow.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)) (sqrt.f64 (exp.f64 w))) |
| 33.0ms | (*.f64 (cbrt.f64 l) (cbrt.f64 l)) |
| 27.0ms | (cbrt.f64 l) |
| 1× | rewrite-expression-head |
| 30× | add-exp-log_binary64 |
| 25× | pow-exp_binary64 |
| 25× | add-sqr-sqrt_binary64 |
| 20× | pow1_binary64 |
| 19× | cbrt-prod_binary64 |
4 calls:
| 5.0ms | (pow.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)) (sqrt.f64 (exp.f64 w))) (pow.f64 (cbrt.f64 l) (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (exp.f64 w))) |
| 4.0ms | (*.f64 (cbrt.f64 l) (cbrt.f64 l)) |
| 4.0ms | (pow.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)) (sqrt.f64 (exp.f64 w))) |
| 1.0ms | (cbrt.f64 l) |
| 1× | egg-herbie |
| 641× | unswap-sqr_binary64 |
| 564× | associate-*r*_binary64 |
| 390× | associate-*l*_binary64 |
| 314× | fma-def_binary64 |
| 275× | associate-+r+_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 319 | 4250 |
| 1 | 865 | 3761 |
| 2 | 3555 | 3667 |
| 3 | 4685 | 3657 |
| 4 | 4984 | 3657 |
| 5 | 4943 | 3657 |
4 alts after pruning (4 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 215 | 1 | 216 |
| Fresh | 0 | 3 | 3 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 216 | 4 | 220 |
| Status | Error | Program |
| 8.1b | (/.f64 (fma.f64 (*.f64 l (*.f64 w w)) (*.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (fma.f64 (log.f64 l) (*.f64 l w) l)) (exp.f64 w)) | |
| 12.9b | (+.f64 l (*.f64 l (-.f64 (*.f64 (log.f64 l) w) w))) | |
| 4.9b | (/.f64 (pow.f64 (*.f64 (pow.f64 (pow.f64 (pow.f64 l 2/3) (fabs.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (cbrt.f64 (exp.f64 w)))) (pow.f64 (cbrt.f64 l) (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (exp.f64 w))) (exp.f64 w)) | |
| ▶ | 4.7b | (exp.f64 (-.f64 (*.f64 (log.f64 l) (exp.f64 w)) w)) |
Compiled 7508 to 2594 computations (65.5% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (-.f64 (*.f64 (log.f64 l) (exp.f64 w)) w) |
| ✓ | 0.0b | (*.f64 (log.f64 l) (exp.f64 w)) |
| ✓ | 4.6b | (exp.f64 (-.f64 (*.f64 (log.f64 l) (exp.f64 w)) w)) |
3 calls:
| 136.0ms | (*.f64 (log.f64 l) (exp.f64 w)) |
| 44.0ms | (-.f64 (*.f64 (log.f64 l) (exp.f64 w)) w) |
| 32.0ms | (exp.f64 (-.f64 (*.f64 (log.f64 l) (exp.f64 w)) w)) |
| 1× | rewrite-expression-head |
| 12× | add-sqr-sqrt_binary64 |
| 10× | *-un-lft-identity_binary64 |
| 10× | add-cube-cbrt_binary64 |
| 8× | add-log-exp_binary64 |
| 7× | exp-sum_binary64 |
3 calls:
| 5.0ms | (-.f64 (*.f64 (log.f64 l) (exp.f64 w)) w) |
| 5.0ms | (exp.f64 (-.f64 (*.f64 (log.f64 l) (exp.f64 w)) w)) |
| 4.0ms | (*.f64 (log.f64 l) (exp.f64 w)) |
| 1× | egg-herbie |
| 370× | associate-+l+_binary64 |
| 337× | *-commutative_binary64 |
| 302× | sub-neg_binary64 |
| 269× | cancel-sign-sub-inv_binary64 |
| 248× | times-frac_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 170 | 1533 |
| 1 | 403 | 1457 |
| 2 | 1469 | 1281 |
| 3 | 3815 | 1281 |
| 4 | 4911 | 1281 |
5 alts after pruning (5 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 121 | 2 | 123 |
| Fresh | 0 | 3 | 3 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 122 | 5 | 127 |
| Status | Error | Program |
| 4.7b | (*.f64 (*.f64 (cbrt.f64 (exp.f64 (-.f64 (*.f64 (log.f64 l) (exp.f64 w)) w))) (cbrt.f64 (exp.f64 (-.f64 (*.f64 (log.f64 l) (exp.f64 w)) w)))) (cbrt.f64 (exp.f64 (-.f64 (*.f64 (log.f64 l) (exp.f64 w)) w)))) | |
| 8.1b | (/.f64 (fma.f64 (*.f64 l (*.f64 w w)) (*.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (fma.f64 (log.f64 l) (*.f64 l w) l)) (exp.f64 w)) | |
| 12.9b | (+.f64 (fma.f64 (log.f64 l) (*.f64 l w) l) (-.f64 (*.f64 (*.f64 l (*.f64 w w)) (+.f64 (*.f64 1/2 (pow.f64 (log.f64 l) 2)) 1/2)) (*.f64 l (+.f64 w (*.f64 1/2 (*.f64 w (*.f64 w (log.f64 l)))))))) | |
| 12.9b | (+.f64 l (*.f64 l (-.f64 (*.f64 (log.f64 l) w) w))) | |
| 4.9b | (/.f64 (pow.f64 (*.f64 (pow.f64 (pow.f64 (pow.f64 l 2/3) (fabs.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (cbrt.f64 (exp.f64 w)))) (pow.f64 (cbrt.f64 l) (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (exp.f64 w))) (exp.f64 w)) |
Compiled 2066 to 694 computations (66.4% saved)
Total 0.2b remaining (57.5%)
Threshold costs 0.2b (57.5%)
Compiled 4562 to 2650 computations (41.9% saved)
| 1× | egg-herbie |
| 1× | *-commutative_binary64 |
| 1× | 1-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 14 |
| 1 | 11 | 14 |
| 2 | 10 | 14 |
Compiled 157 to 84 computations (46.5% saved)
Loading profile data...