Time bar (total: 28.0s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.7% | 0.3% | 0 |
| 0% | 99.7% | 0.3% | 1 |
| 0% | 99.7% | 0.3% | 2 |
| 0% | 99.7% | 0.3% | 3 |
| 0% | 99.7% | 0.3% | 4 |
| 0% | 99.7% | 0.3% | 5 |
| 0% | 99.7% | 0.3% | 6 |
| 0% | 99.7% | 0.3% | 7 |
| 0% | 99.7% | 0.3% | 8 |
| 0% | 99.7% | 0.3% | 9 |
| 0% | 99.7% | 0.3% | 10 |
| 0% | 99.7% | 0.3% | 11 |
| 0% | 99.7% | 0.3% | 12 |
| 0% | 98.1% | 1.9% | 13 |
| 0% | 98.1% | 1.9% | 14 |
Compiled 59 to 22 computations (62.7% saved)
| 1× | intervals |
| 114.0ms | 408× | body | 128 | nan |
| 96.0ms | 68× | body | 4096 | valid |
| 67.0ms | 38× | body | 8192 | valid |
| 54.0ms | 49× | body | 2048 | valid |
| 40.0ms | 25× | body | 1024 | valid |
| 34.0ms | 160× | body | 128 | invalid |
| 12.0ms | 58× | body | 128 | valid |
| 6.0ms | 10× | body | 512 | valid |
| 5.0ms | 2× | body | 2048 | invalid |
| 3.0ms | 8× | body | 256 | valid |
| 1.0ms | 1× | body | 4096 | invalid |
| 1.0ms | 1× | body | 512 | invalid |
| 0.0ms | 1× | body | 256 | invalid |
Compiled 123 to 49 computations (60.2% saved)
| 1× | egg-herbie |
| 599× | times-frac_binary64 |
| 518× | distribute-neg-frac_binary64 |
| 416× | fma-def_binary64 |
| 304× | associate-/l*_binary64 |
| 217× | cancel-sign-sub-inv_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 22 | 78 |
| 1 | 64 | 74 |
| 2 | 296 | 74 |
| 3 | 3103 | 67 |
| 4 | 4218 | 67 |
| 5 | 5365 | 67 |
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 |
| ▶ | 59.0b | (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))) |
| 61.3b | (*.f64 (/.f64 c0 (*.f64 2 w)) (fma.f64 (*.f64 d d) (/.f64 c0 (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (*.f64 (*.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (*.f64 w h)))) (*.f64 M M))))) |
Compiled 321 to 130 computations (59.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 12.3b | (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))) |
| ✓ | 12.8b | (*.f64 (*.f64 w h) (*.f64 D D)) |
| ✓ | 13.2b | (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) |
| ✓ | 31.0b | (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))) |
4 calls:
| 719.0ms | (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))) |
| 571.0ms | (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))) |
| 355.0ms | (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) |
| 41.0ms | (*.f64 (*.f64 w h) (*.f64 D D)) |
| 1× | rewrite-expression-head |
| 94× | add-cbrt-cube_binary64 |
| 94× | add-exp-log_binary64 |
| 51× | cbrt-unprod_binary64 |
| 51× | prod-exp_binary64 |
| 18× | pow1_binary64 |
4 calls:
| 53.0ms | (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))) |
| 50.0ms | (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))) |
| 15.0ms | (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) |
| 6.0ms | (*.f64 (*.f64 w h) (*.f64 D D)) |
| 1× | egg-herbie |
| 488× | associate-/r*_binary64 |
| 478× | associate-/l*_binary64 |
| 460× | fma-def_binary64 |
| 295× | associate-*l/_binary64 |
| 278× | associate-*r/_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 477 | 18780 |
| 1 | 1465 | 16679 |
| 2 | 4886 | 16625 |
| 3 | 5160 | 16625 |
14 alts after pruning (14 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 450 | 13 | 463 |
| Fresh | 0 | 1 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 451 | 14 | 465 |
| Status | Error | Program |
| 59.7b | (*.f64 (sqrt.f64 (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))) (sqrt.f64 (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))))) | |
| 59.9b | (*.f64 (/.f64 c0 (*.f64 2 w)) (*.f64 2 (/.f64 (*.f64 (pow.f64 d 2) c0) (*.f64 (pow.f64 D 2) (*.f64 w h))))) | |
| 60.9b | (log.f64 (pow.f64 (exp.f64 (fma.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D)) (sqrt.f64 (-.f64 (/.f64 (/.f64 (*.f64 (pow.f64 d 4) (*.f64 c0 c0)) (*.f64 (*.f64 w h) (*.f64 w h))) (pow.f64 D 4)) (*.f64 M M))))) (/.f64 c0 (*.f64 2 w)))) | |
| 60.3b | (/.f64 (*.f64 (pow.f64 d 2) (pow.f64 c0 2)) (*.f64 (pow.f64 D 2) (*.f64 (pow.f64 w 2) h))) | |
| 62.5b | (*.f64 (/.f64 c0 (*.f64 2 w)) (fma.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D)) (sqrt.f64 (neg.f64 (*.f64 M M))))) | |
| 63.7b | (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (exp.f64 (+.f64 (+.f64 (log.f64 w) (log.f64 h)) (+.f64 (log.f64 D) (log.f64 D))))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))) | |
| 60.7b | (*.f64 (/.f64 c0 (*.f64 2 w)) (fma.f64 (*.f64 c0 (*.f64 d d)) (/.f64 1 (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))) | |
| 63.3b | (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (exp.f64 (-.f64 (+.f64 (log.f64 c0) (+.f64 (log.f64 d) (log.f64 d))) (log.f64 (*.f64 (*.f64 w h) (*.f64 D D))))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))) | |
| 47.7b | (*.f64 1/2 (/.f64 (*.f64 (sqrt.f64 (neg.f64 (pow.f64 M 2))) c0) w)) | |
| 42.4b | (*.f64 (/.f64 c0 (*.f64 2 w)) (*.f64 1/2 (/.f64 (*.f64 (pow.f64 D 2) (*.f64 w (*.f64 h (pow.f64 M 2)))) (*.f64 (pow.f64 d 2) c0)))) | |
| ▶ | 35.5b | (*.f64 1/4 (/.f64 (*.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h)) (pow.f64 d 2))) |
| 60.4b | (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 w (*.f64 h (*.f64 D D)))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))) | |
| 61.1b | (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (exp.f64 (log.f64 (/.f64 (*.f64 (*.f64 d d) c0) (*.f64 (*.f64 D D) (*.f64 w h)))))) (*.f64 M M))))) | |
| 61.3b | (*.f64 (/.f64 c0 (*.f64 2 w)) (fma.f64 (*.f64 d d) (/.f64 c0 (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (*.f64 (*.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (*.f64 w h)))) (*.f64 M M))))) |
Compiled 31788 to 7109 computations (77.6% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 9.7b | (*.f64 (pow.f64 M 2) h) |
| ✓ | 14.8b | (*.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h)) |
| ✓ | 16.1b | (/.f64 (*.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h)) (pow.f64 d 2)) |
3 calls:
| 131.0ms | (/.f64 (*.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h)) (pow.f64 d 2)) |
| 36.0ms | (*.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h)) |
| 9.0ms | (*.f64 (pow.f64 M 2) h) |
| 1× | rewrite-expression-head |
| 141× | add-exp-log_binary64 |
| 87× | prod-exp_binary64 |
| 42× | pow-exp_binary64 |
| 42× | pow-to-exp_binary64 |
| 39× | div-exp_binary64 |
3 calls:
| 8.0ms | (/.f64 (*.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h)) (pow.f64 d 2)) |
| 6.0ms | (*.f64 (pow.f64 M 2) h) |
| 6.0ms | (*.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h)) |
| 1× | egg-herbie |
| 468× | associate-*l/_binary64 |
| 391× | associate-/l/_binary64 |
| 373× | *-commutative_binary64 |
| 370× | associate-*r/_binary64 |
| 310× | fma-def_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 164 | 3095 |
| 1 | 332 | 2730 |
| 2 | 1361 | 2677 |
| 3 | 4128 | 2571 |
| 4 | 4913 | 2571 |
| 5 | 5086 | 2571 |
26 alts after pruning (26 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 144 | 16 | 160 |
| Fresh | 3 | 10 | 13 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 148 | 26 | 174 |
| Status | Error | Program |
| 54.4b | (*.f64 1/4 (/.f64 (exp.f64 (+.f64 (log.f64 (pow.f64 D 2)) (+.f64 (*.f64 (log.f64 M) 2) (log.f64 h)))) (pow.f64 d 2))) | |
| 32.9b | (*.f64 1/4 (*.f64 (/.f64 (pow.f64 D 2) (pow.f64 (*.f64 (cbrt.f64 d) (cbrt.f64 d)) 2)) (/.f64 (*.f64 (pow.f64 M 2) h) (pow.f64 (cbrt.f64 d) 2)))) | |
| 52.6b | (*.f64 1/4 (/.f64 (exp.f64 (fma.f64 2 (log.f64 (*.f64 D M)) (log.f64 h))) (pow.f64 d 2))) | |
| 59.7b | (*.f64 (sqrt.f64 (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))) (sqrt.f64 (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))))) | |
| 59.9b | (*.f64 (/.f64 c0 (*.f64 2 w)) (*.f64 2 (/.f64 (*.f64 (pow.f64 d 2) c0) (*.f64 (pow.f64 D 2) (*.f64 w h))))) | |
| 31.8b | (*.f64 1/4 (/.f64 (*.f64 (pow.f64 D 2) (*.f64 M (*.f64 M h))) (pow.f64 d 2))) | |
| 60.3b | (/.f64 (*.f64 (pow.f64 d 2) (pow.f64 c0 2)) (*.f64 (pow.f64 D 2) (*.f64 (pow.f64 w 2) h))) | |
| 62.5b | (*.f64 (/.f64 c0 (*.f64 2 w)) (fma.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D)) (sqrt.f64 (neg.f64 (*.f64 M M))))) | |
| 47.0b | (*.f64 1/4 (/.f64 (*.f64 (pow.f64 D 2) (*.f64 (pow.f64 (sqrt.f64 M) 2) (*.f64 h M))) (pow.f64 d 2))) | |
| 60.4b | (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 w (*.f64 h (*.f64 D D)))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))) | |
| 54.2b | (*.f64 1/4 (exp.f64 (-.f64 (+.f64 (log.f64 (pow.f64 D 2)) (+.f64 (*.f64 (log.f64 M) 2) (log.f64 h))) (log.f64 (pow.f64 d 2))))) | |
| 31.6b | (*.f64 1/4 (/.f64 (*.f64 (*.f64 h (*.f64 M M)) (/.f64 (*.f64 D D) d)) d)) | |
| 63.7b | (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (exp.f64 (+.f64 (+.f64 (log.f64 w) (log.f64 h)) (+.f64 (log.f64 D) (log.f64 D))))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))) | |
| 58.2b | (*.f64 1/4 (exp.f64 (-.f64 (+.f64 (log.f64 (pow.f64 D 2)) (+.f64 (*.f64 (log.f64 M) 2) (log.f64 h))) (*.f64 (log.f64 d) 2)))) | |
| 63.3b | (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (exp.f64 (-.f64 (+.f64 (log.f64 c0) (+.f64 (log.f64 d) (log.f64 d))) (log.f64 (*.f64 (*.f64 w h) (*.f64 D D))))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))) | |
| 50.1b | (*.f64 1/4 (exp.f64 (-.f64 (+.f64 (*.f64 (log.f64 D) 2) (log.f64 (*.f64 (pow.f64 M 2) h))) (log.f64 (pow.f64 d 2))))) | |
| 47.7b | (*.f64 1/2 (/.f64 (*.f64 (sqrt.f64 (neg.f64 (pow.f64 M 2))) c0) w)) | |
| 33.3b | (*.f64 1/4 (/.f64 (*.f64 D (*.f64 D (*.f64 (pow.f64 M 2) h))) (pow.f64 d 2))) | |
| 56.1b | (*.f64 1/4 (exp.f64 (fma.f64 2 (log.f64 (*.f64 D M)) (fma.f64 (log.f64 d) -2 (log.f64 h))))) | |
| 61.3b | (*.f64 (/.f64 c0 (*.f64 2 w)) (fma.f64 (*.f64 d d) (/.f64 c0 (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (*.f64 (*.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (*.f64 w h)))) (*.f64 M M))))) | |
| ▶ | 31.3b | (*.f64 1/4 (*.f64 (/.f64 (*.f64 D D) d) (/.f64 (*.f64 h (*.f64 M M)) d))) |
| 60.0b | (*.f64 1/4 (exp.f64 (-.f64 (+.f64 (*.f64 (log.f64 D) 2) (+.f64 (*.f64 (log.f64 M) 2) (log.f64 h))) (*.f64 (log.f64 d) 2)))) | |
| 38.8b | (*.f64 1/4 (exp.f64 (-.f64 (log.f64 (*.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h))) (log.f64 (pow.f64 d 2))))) | |
| 54.0b | (*.f64 1/4 (exp.f64 (-.f64 (+.f64 (*.f64 (log.f64 D) 2) (+.f64 (log.f64 (pow.f64 M 2)) (log.f64 h))) (log.f64 (pow.f64 d 2))))) | |
| 61.1b | (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (exp.f64 (log.f64 (/.f64 (*.f64 (*.f64 d d) c0) (*.f64 (*.f64 D D) (*.f64 w h)))))) (*.f64 M M))))) | |
| 35.0b | (*.f64 1/4 (/.f64 (*.f64 (*.f64 (pow.f64 D 2) (pow.f64 M 2)) h) (pow.f64 d 2))) |
Compiled 5112 to 3145 computations (38.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 5.5b | (/.f64 (*.f64 h (*.f64 M M)) d) |
| ✓ | 7.6b | (/.f64 (*.f64 D D) d) |
| ✓ | 9.7b | (*.f64 h (*.f64 M M)) |
| ✓ | 11.5b | (*.f64 (/.f64 (*.f64 D D) d) (/.f64 (*.f64 h (*.f64 M M)) d)) |
4 calls:
| 220.0ms | (*.f64 (/.f64 (*.f64 D D) d) (/.f64 (*.f64 h (*.f64 M M)) d)) |
| 50.0ms | (/.f64 (*.f64 h (*.f64 M M)) d) |
| 22.0ms | (/.f64 (*.f64 D D) d) |
| 18.0ms | (*.f64 h (*.f64 M M)) |
| 1× | rewrite-expression-head |
| 77× | add-cbrt-cube_binary64 |
| 77× | add-exp-log_binary64 |
| 32× | cbrt-unprod_binary64 |
| 32× | prod-exp_binary64 |
| 22× | cbrt-undiv_binary64 |
4 calls:
| 21.0ms | (*.f64 (/.f64 (*.f64 D D) d) (/.f64 (*.f64 h (*.f64 M M)) d)) |
| 10.0ms | (*.f64 h (*.f64 M M)) |
| 9.0ms | (/.f64 (*.f64 h (*.f64 M M)) d) |
| 7.0ms | (/.f64 (*.f64 D D) d) |
| 1× | egg-herbie |
| 637× | associate-/r*_binary64 |
| 534× | associate-/r/_binary64 |
| 461× | *-commutative_binary64 |
| 309× | log-div_binary64 |
| 218× | log-prod_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 170 | 4137 |
| 1 | 400 | 3453 |
| 2 | 1576 | 3453 |
| 3 | 4069 | 3451 |
| 4 | 4865 | 3451 |
| 5 | 5026 | 3451 |
26 alts after pruning (26 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 152 | 8 | 160 |
| Fresh | 7 | 18 | 25 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 160 | 26 | 186 |
| Status | Error | Program |
| 46.1b | (*.f64 1/4 (*.f64 (/.f64 (*.f64 D D) d) (/.f64 (*.f64 (*.f64 (sqrt.f64 h) M) (*.f64 (sqrt.f64 h) M)) d))) | |
| 58.2b | (*.f64 1/4 (exp.f64 (+.f64 (log.f64 (/.f64 (*.f64 D D) d)) (-.f64 (+.f64 (log.f64 h) (+.f64 (log.f64 M) (log.f64 M))) (log.f64 d))))) | |
| 52.6b | (*.f64 1/4 (/.f64 (exp.f64 (fma.f64 2 (log.f64 (*.f64 D M)) (log.f64 h))) (pow.f64 d 2))) | |
| 59.7b | (*.f64 (sqrt.f64 (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))) (sqrt.f64 (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))))) | |
| 30.7b | (*.f64 1/4 (*.f64 (*.f64 h (/.f64 (*.f64 D D) d)) (/.f64 (*.f64 M M) d))) | |
| 59.9b | (*.f64 (/.f64 c0 (*.f64 2 w)) (*.f64 2 (/.f64 (*.f64 (pow.f64 d 2) c0) (*.f64 (pow.f64 D 2) (*.f64 w h))))) | |
| 31.8b | (*.f64 1/4 (/.f64 (*.f64 (pow.f64 D 2) (*.f64 M (*.f64 M h))) (pow.f64 d 2))) | |
| 60.3b | (/.f64 (*.f64 (pow.f64 d 2) (pow.f64 c0 2)) (*.f64 (pow.f64 D 2) (*.f64 (pow.f64 w 2) h))) | |
| 62.5b | (*.f64 (/.f64 c0 (*.f64 2 w)) (fma.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D)) (sqrt.f64 (neg.f64 (*.f64 M M))))) | |
| 31.3b | (*.f64 1/4 (*.f64 (*.f64 (/.f64 (*.f64 D D) d) (*.f64 (cbrt.f64 (/.f64 (*.f64 h (*.f64 M M)) d)) (cbrt.f64 (/.f64 (*.f64 h (*.f64 M M)) d)))) (cbrt.f64 (/.f64 (*.f64 h (*.f64 M M)) d)))) | |
| 60.4b | (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 w (*.f64 h (*.f64 D D)))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))) | |
| 27.5b | (*.f64 1/4 (*.f64 (/.f64 D 1) (*.f64 (/.f64 D d) (/.f64 (*.f64 h (*.f64 M M)) d)))) | |
| 63.3b | (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (exp.f64 (-.f64 (+.f64 (log.f64 c0) (+.f64 (log.f64 d) (log.f64 d))) (log.f64 (*.f64 (*.f64 w h) (*.f64 D D))))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))) | |
| ▶ | 26.9b | (*.f64 1/4 (*.f64 (/.f64 D (*.f64 (cbrt.f64 d) (cbrt.f64 d))) (*.f64 (/.f64 D (cbrt.f64 d)) (/.f64 (*.f64 h (*.f64 M M)) d)))) |
| 54.0b | (*.f64 1/4 (exp.f64 (-.f64 (+.f64 (*.f64 (log.f64 D) 2) (+.f64 (log.f64 (pow.f64 M 2)) (log.f64 h))) (log.f64 (pow.f64 d 2))))) | |
| 28.2b | (*.f64 1/4 (*.f64 (/.f64 D (/.f64 d D)) (/.f64 (*.f64 h (*.f64 M M)) d))) | |
| 33.3b | (*.f64 1/4 (/.f64 (*.f64 D (*.f64 D (*.f64 (pow.f64 M 2) h))) (pow.f64 d 2))) | |
| 56.1b | (*.f64 1/4 (exp.f64 (fma.f64 2 (log.f64 (*.f64 D M)) (fma.f64 (log.f64 d) -2 (log.f64 h))))) | |
| 61.3b | (*.f64 (/.f64 c0 (*.f64 2 w)) (fma.f64 (*.f64 d d) (/.f64 c0 (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (*.f64 (*.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (*.f64 w h)))) (*.f64 M M))))) | |
| 27.4b | (*.f64 1/4 (*.f64 (/.f64 (*.f64 D D) d) (/.f64 (*.f64 (*.f64 h M) M) d))) | |
| 54.4b | (*.f64 1/4 (/.f64 (exp.f64 (+.f64 (log.f64 (pow.f64 D 2)) (+.f64 (*.f64 (log.f64 M) 2) (log.f64 h)))) (pow.f64 d 2))) | |
| 38.8b | (*.f64 1/4 (exp.f64 (-.f64 (log.f64 (*.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h))) (log.f64 (pow.f64 d 2))))) | |
| 63.7b | (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (exp.f64 (+.f64 (+.f64 (log.f64 w) (log.f64 h)) (+.f64 (log.f64 D) (log.f64 D))))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))) | |
| 61.1b | (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (exp.f64 (log.f64 (/.f64 (*.f64 (*.f64 d d) c0) (*.f64 (*.f64 D D) (*.f64 w h)))))) (*.f64 M M))))) | |
| 35.0b | (*.f64 1/4 (/.f64 (*.f64 (*.f64 (pow.f64 D 2) (pow.f64 M 2)) h) (pow.f64 d 2))) | |
| 60.0b | (*.f64 1/4 (exp.f64 (-.f64 (+.f64 (*.f64 (log.f64 D) 2) (+.f64 (*.f64 (log.f64 M) 2) (log.f64 h))) (*.f64 (log.f64 d) 2)))) |
Compiled 5349 to 1859 computations (65.2% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 3.4b | (*.f64 (/.f64 D (*.f64 (cbrt.f64 d) (cbrt.f64 d))) (*.f64 (/.f64 D (cbrt.f64 d)) (/.f64 (*.f64 h (*.f64 M M)) d))) |
| 5.5b | (/.f64 (*.f64 h (*.f64 M M)) d) | |
| ✓ | 6.8b | (*.f64 (/.f64 D (cbrt.f64 d)) (/.f64 (*.f64 h (*.f64 M M)) d)) |
| 9.7b | (*.f64 h (*.f64 M M)) |
2 calls:
| 2.3s | (*.f64 (/.f64 D (cbrt.f64 d)) (/.f64 (*.f64 h (*.f64 M M)) d)) |
| 158.0ms | (*.f64 (/.f64 D (*.f64 (cbrt.f64 d) (cbrt.f64 d))) (*.f64 (/.f64 D (cbrt.f64 d)) (/.f64 (*.f64 h (*.f64 M M)) d))) |
| 1× | rewrite-expression-head |
| 187× | add-exp-log_binary64 |
| 153× | add-cbrt-cube_binary64 |
| 92× | cbrt-unprod_binary64 |
| 92× | prod-exp_binary64 |
| 58× | cbrt-undiv_binary64 |
2 calls:
| 16.0ms | (*.f64 (/.f64 D (*.f64 (cbrt.f64 d) (cbrt.f64 d))) (*.f64 (/.f64 D (cbrt.f64 d)) (/.f64 (*.f64 h (*.f64 M M)) d))) |
| 10.0ms | (*.f64 (/.f64 D (cbrt.f64 d)) (/.f64 (*.f64 h (*.f64 M M)) d)) |
| 1× | egg-herbie |
| 610× | associate-/r/_binary64 |
| 350× | associate-*r*_binary64 |
| 307× | associate-*l/_binary64 |
| 307× | times-frac_binary64 |
| 295× | associate-*r/_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 249 | 7889 |
| 1 | 588 | 4982 |
| 2 | 2626 | 4964 |
| 3 | 4878 | 4964 |
| 4 | 4965 | 4964 |
30 alts after pruning (30 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 258 | 8 | 266 |
| Fresh | 3 | 22 | 25 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 262 | 30 | 292 |
| Status | Error | Program |
| 27.4b | (*.f64 1/4 (*.f64 (/.f64 (*.f64 D D) d) (/.f64 (*.f64 (*.f64 h M) M) d))) | |
| 27.4b | (*.f64 1/4 (*.f64 (/.f64 D (*.f64 (cbrt.f64 d) (cbrt.f64 d))) (*.f64 (*.f64 (/.f64 D (cbrt.f64 d)) (*.f64 h (*.f64 M M))) (/.f64 1 d)))) | |
| 58.2b | (*.f64 1/4 (exp.f64 (+.f64 (log.f64 (/.f64 (*.f64 D D) d)) (-.f64 (+.f64 (log.f64 h) (+.f64 (log.f64 M) (log.f64 M))) (log.f64 d))))) | |
| 27.0b | (*.f64 1/4 (*.f64 (/.f64 D (*.f64 (cbrt.f64 d) (cbrt.f64 d))) (*.f64 (*.f64 h (/.f64 D (cbrt.f64 d))) (/.f64 (*.f64 M M) d)))) | |
| 52.6b | (*.f64 1/4 (/.f64 (exp.f64 (fma.f64 2 (log.f64 (*.f64 D M)) (log.f64 h))) (pow.f64 d 2))) | |
| 59.7b | (*.f64 (sqrt.f64 (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))) (sqrt.f64 (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))))) | |
| 30.7b | (*.f64 1/4 (*.f64 (*.f64 h (/.f64 (*.f64 D D) d)) (/.f64 (*.f64 M M) d))) | |
| 27.0b | (*.f64 1/4 (*.f64 (/.f64 D (*.f64 (cbrt.f64 d) (cbrt.f64 d))) (*.f64 (/.f64 D (cbrt.f64 d)) (*.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 h (*.f64 M M)) d)) (cbrt.f64 (/.f64 (*.f64 h (*.f64 M M)) d))) (cbrt.f64 (/.f64 (*.f64 h (*.f64 M M)) d)))))) | |
| 26.1b | (*.f64 1/4 (*.f64 (/.f64 D (*.f64 (cbrt.f64 d) (cbrt.f64 d))) (*.f64 (*.f64 (/.f64 D (cbrt.f64 d)) (/.f64 h (*.f64 (cbrt.f64 d) (cbrt.f64 d)))) (/.f64 (*.f64 M M) (cbrt.f64 d))))) | |
| 59.9b | (*.f64 (/.f64 c0 (*.f64 2 w)) (*.f64 2 (/.f64 (*.f64 (pow.f64 d 2) c0) (*.f64 (pow.f64 D 2) (*.f64 w h))))) | |
| 44.0b | (*.f64 1/4 (*.f64 (/.f64 D (*.f64 (cbrt.f64 d) (cbrt.f64 d))) (*.f64 (/.f64 D (cbrt.f64 d)) (/.f64 (*.f64 (*.f64 M (sqrt.f64 h)) (*.f64 M (sqrt.f64 h))) d)))) | |
| 38.8b | (*.f64 1/4 (exp.f64 (-.f64 (log.f64 (*.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h))) (log.f64 (pow.f64 d 2))))) | |
| 22.5b | (*.f64 1/4 (*.f64 (/.f64 D (*.f64 (cbrt.f64 d) (cbrt.f64 d))) (*.f64 (/.f64 D (cbrt.f64 d)) (/.f64 (*.f64 (*.f64 h M) M) d)))) | |
| 31.8b | (*.f64 1/4 (/.f64 (*.f64 (pow.f64 D 2) (*.f64 M (*.f64 M h))) (pow.f64 d 2))) | |
| 60.3b | (/.f64 (*.f64 (pow.f64 d 2) (pow.f64 c0 2)) (*.f64 (pow.f64 D 2) (*.f64 (pow.f64 w 2) h))) | |
| 62.5b | (*.f64 (/.f64 c0 (*.f64 2 w)) (fma.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D)) (sqrt.f64 (neg.f64 (*.f64 M M))))) | |
| 31.3b | (*.f64 1/4 (*.f64 (*.f64 (/.f64 (*.f64 D D) d) (*.f64 (cbrt.f64 (/.f64 (*.f64 h (*.f64 M M)) d)) (cbrt.f64 (/.f64 (*.f64 h (*.f64 M M)) d)))) (cbrt.f64 (/.f64 (*.f64 h (*.f64 M M)) d)))) | |
| 60.4b | (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 w (*.f64 h (*.f64 D D)))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))) | |
| 27.5b | (*.f64 1/4 (*.f64 (/.f64 D 1) (*.f64 (/.f64 D d) (/.f64 (*.f64 h (*.f64 M M)) d)))) | |
| 63.3b | (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (exp.f64 (-.f64 (+.f64 (log.f64 c0) (+.f64 (log.f64 d) (log.f64 d))) (log.f64 (*.f64 (*.f64 w h) (*.f64 D D))))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))) | |
| 26.9b | (*.f64 1/4 (*.f64 (/.f64 (*.f64 (cbrt.f64 D) (cbrt.f64 D)) (cbrt.f64 d)) (*.f64 (/.f64 (cbrt.f64 D) (cbrt.f64 d)) (*.f64 (/.f64 D (cbrt.f64 d)) (/.f64 (*.f64 h (*.f64 M M)) d))))) | |
| 61.1b | (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (exp.f64 (log.f64 (/.f64 (*.f64 (*.f64 d d) c0) (*.f64 (*.f64 D D) (*.f64 w h)))))) (*.f64 M M))))) | |
| 30.9b | (*.f64 1/4 (/.f64 (*.f64 (*.f64 (*.f64 M M) h) (*.f64 (/.f64 D (cbrt.f64 d)) (/.f64 D (cbrt.f64 d)))) (*.f64 (cbrt.f64 d) d))) | |
| 56.1b | (*.f64 1/4 (exp.f64 (fma.f64 2 (log.f64 (*.f64 D M)) (fma.f64 (log.f64 d) -2 (log.f64 h))))) | |
| 61.3b | (*.f64 (/.f64 c0 (*.f64 2 w)) (fma.f64 (*.f64 d d) (/.f64 c0 (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (*.f64 (*.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (*.f64 w h)))) (*.f64 M M))))) | |
| 54.4b | (*.f64 1/4 (/.f64 (exp.f64 (+.f64 (log.f64 (pow.f64 D 2)) (+.f64 (*.f64 (log.f64 M) 2) (log.f64 h)))) (pow.f64 d 2))) | |
| 63.7b | (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (exp.f64 (+.f64 (+.f64 (log.f64 w) (log.f64 h)) (+.f64 (log.f64 D) (log.f64 D))))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))) | |
| 28.2b | (*.f64 1/4 (*.f64 (/.f64 D (/.f64 d D)) (/.f64 (*.f64 h (*.f64 M M)) d))) | |
| 35.0b | (*.f64 1/4 (/.f64 (*.f64 (*.f64 (pow.f64 D 2) (pow.f64 M 2)) h) (pow.f64 d 2))) | |
| 60.0b | (*.f64 1/4 (exp.f64 (-.f64 (+.f64 (*.f64 (log.f64 D) 2) (+.f64 (*.f64 (log.f64 M) 2) (log.f64 h))) (*.f64 (log.f64 d) 2)))) |
Compiled 9467 to 2112 computations (77.7% saved)
Total 6.1b remaining (25.7%)
Threshold costs 0b (0%)
Compiled 45069 to 25243 computations (44% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 2.2355640830677916e+134 | 3.6915694254620503e+143 | 3.6331476128764397e+143 |
| 4 | -5.867333877531429e+105 | -3.088264778914999e+105 | -5.73365257904138e+105 |
Compiled 7 to 6 computations (14.3% saved)
| 1× | egg-herbie |
| 9× | *-commutative_binary64 |
| 1× | if-if-or-not_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 30 | 82 |
| 1 | 42 | 82 |
| 2 | 42 | 82 |
Compiled 59 to 32 computations (45.8% saved)
| 1× | intervals |
| 2.9s | 2139× | body | 4096 | valid |
| 2.5s | 12075× | body | 128 | nan |
| 1.9s | 1191× | body | 8192 | valid |
| 1.4s | 1278× | body | 2048 | valid |
| 844.0ms | 4085× | body | 128 | invalid |
| 523.0ms | 624× | body | 1024 | valid |
| 483.0ms | 2316× | body | 128 | valid |
| 182.0ms | 307× | body | 512 | valid |
| 70.0ms | 145× | body | 256 | valid |
| 52.0ms | 50× | body | 2048 | invalid |
| 46.0ms | 57× | body | 1024 | invalid |
| 26.0ms | 43× | body | 512 | invalid |
| 19.0ms | 15× | body | 4096 | invalid |
| 8.0ms | 21× | body | 256 | invalid |
| 6.0ms | 4× | body | 8192 | exit |
Compiled 1187 to 647 computations (45.5% saved)
Loading profile data...