Time bar (total: 7.1s)
| 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 |
| 0% | 99.9% | 0.1% | 5 |
| 6.2% | 93.6% | 0.1% | 6 |
| 12.5% | 87.4% | 0.1% | 7 |
| 15.6% | 84.3% | 0.1% | 8 |
| 18.7% | 71.8% | 9.5% | 9 |
| 23.4% | 56% | 20.6% | 10 |
| 26.3% | 52.2% | 21.5% | 11 |
| 31% | 40.1% | 28.9% | 12 |
| 35.6% | 28.9% | 35.5% | 13 |
| 36.8% | 27.5% | 35.7% | 14 |
Compiled 18 to 12 computations (33.3% saved)
| 1× | intervals |
(sort x y z)
| 14.0ms | 256× | body | 128 | valid |
| 3.0ms | 66× | body | 128 | nan |
Compiled 38 to 26 computations (31.6% saved)
| 1× | egg-herbie |
| 25× | fma-def_binary64 |
| 8× | +-commutative_binary64 |
| 8× | *-commutative_binary64 |
| 5× | distribute-rgt-out_binary64 |
| 3× | associate-+r+_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 18 |
| 1 | 23 | 16 |
| 2 | 43 | 16 |
| 3 | 59 | 16 |
| 4 | 61 | 16 |
| 5 | 62 | 16 |
| 6 | 62 | 16 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 1 | 2 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 2 | 1 | 3 |
| Status | Error | Program |
| ▶ | 16.2b | (*.f64 2 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) |
Compiled 56 to 34 computations (39.3% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.5b | (fma.f64 x (+.f64 y z) (*.f64 y z)) |
| ✓ | 15.3b | (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))) |
2 calls:
| 190.0ms | (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))) |
| 8.0ms | (fma.f64 x (+.f64 y z) (*.f64 y z)) |
| 1× | rewrite-expression-head |
| 4× | add-sqr-sqrt_binary64 |
| 3× | *-un-lft-identity_binary64 |
| 3× | sqrt-prod_binary64 |
| 3× | add-cube-cbrt_binary64 |
| 3× | pow1_binary64 |
2 calls:
| 1.0ms | (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))) |
| 0.0ms | (fma.f64 x (+.f64 y z) (*.f64 y z)) |
| 1× | egg-herbie |
| 631× | associate-*l*_binary64 |
| 605× | cancel-sign-sub-inv_binary64 |
| 565× | associate-*r*_binary64 |
| 297× | fma-neg_binary64 |
| 197× | fma-def_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 214 | 1615 |
| 1 | 531 | 1523 |
| 2 | 1873 | 1478 |
| 3 | 4933 | 1478 |
| 4 | 5115 | 1478 |
11 alts after pruning (11 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 59 | 11 | 70 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 60 | 11 | 71 |
| Status | Error | Program |
| ▶ | 16.2b | (*.f64 2 (sqrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x))))) |
| 16.7b | (*.f64 2 (sqrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))) (cbrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) (cbrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))))) | |
| 61.8b | (*.f64 2 (sqrt.f64 (*.f64 z x))) | |
| 16.7b | (*.f64 2 (*.f64 (sqrt.f64 (*.f64 (cbrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))) (cbrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))))) (sqrt.f64 (cbrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))))) | |
| 37.9b | (*.f64 2 (sqrt.f64 (*.f64 y z))) | |
| 30.7b | (*.f64 2 (cbrt.f64 (pow.f64 (sqrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x)))) 3))) | |
| 47.3b | (*.f64 2 (fma.f64 1/2 (*.f64 z (+.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 (/.f64 y x)))) (sqrt.f64 (*.f64 y x)))) | |
| 63.4b | (*.f64 2 (+.f64 (*.f64 1/2 (*.f64 y (sqrt.f64 (/.f64 z x)))) (+.f64 (*.f64 1/2 (*.f64 y (sqrt.f64 (/.f64 x z)))) (sqrt.f64 (*.f64 z x))))) | |
| 16.5b | (*.f64 2 (*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))))) | |
| 17.1b | (*.f64 2 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) (cbrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))))) (cbrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))))) | |
| 36.3b | (*.f64 2 (sqrt.f64 (*.f64 z (+.f64 y x)))) |
Compiled 2404 to 1163 computations (51.6% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (*.f64 z (+.f64 y x)) |
| ✓ | 1.3b | (fma.f64 y x (*.f64 z (+.f64 y x))) |
| ✓ | 15.3b | (sqrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x)))) |
3 calls:
| 490.0ms | (sqrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x)))) |
| 9.0ms | (*.f64 z (+.f64 y x)) |
| 8.0ms | (fma.f64 y x (*.f64 z (+.f64 y x))) |
| 1× | rewrite-expression-head |
| 9× | add-sqr-sqrt_binary64 |
| 8× | *-un-lft-identity_binary64 |
| 6× | add-cube-cbrt_binary64 |
| 6× | pow1_binary64 |
| 5× | add-cbrt-cube_binary64 |
3 calls:
| 4.0ms | (*.f64 z (+.f64 y x)) |
| 1.0ms | (sqrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x)))) |
| 0.0ms | (fma.f64 y x (*.f64 z (+.f64 y x))) |
| 1× | egg-herbie |
| 608× | cancel-sign-sub-inv_binary64 |
| 468× | times-frac_binary64 |
| 347× | distribute-rgt-in_binary64 |
| 321× | distribute-lft-in_binary64 |
| 216× | fma-def_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 249 | 2028 |
| 1 | 619 | 1906 |
| 2 | 2320 | 1861 |
| 3 | 4705 | 1861 |
| 4 | 5405 | 1861 |
11 alts after pruning (11 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 111 | 3 | 114 |
| Fresh | 2 | 8 | 10 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 114 | 11 | 125 |
| Status | Error | Program |
| 63.4b | (*.f64 2 (+.f64 (*.f64 1/2 (*.f64 y (sqrt.f64 (/.f64 z x)))) (+.f64 (*.f64 1/2 (*.f64 y (sqrt.f64 (/.f64 x z)))) (sqrt.f64 (*.f64 z x))))) | |
| 37.6b | (*.f64 2 (sqrt.f64 (fma.f64 y x (*.f64 (*.f64 z (sqrt.f64 (+.f64 y x))) (sqrt.f64 (+.f64 y x)))))) | |
| 16.5b | (*.f64 2 (sqrt.f64 (fma.f64 y x (*.f64 (*.f64 z (*.f64 (cbrt.f64 (+.f64 y x)) (cbrt.f64 (+.f64 y x)))) (cbrt.f64 (+.f64 y x)))))) | |
| 16.7b | (*.f64 2 (*.f64 (sqrt.f64 (*.f64 (cbrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))) (cbrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))))) (sqrt.f64 (cbrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))))) | |
| 37.9b | (*.f64 2 (sqrt.f64 (*.f64 y z))) | |
| 30.7b | (*.f64 2 (cbrt.f64 (pow.f64 (sqrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x)))) 3))) | |
| 41.6b | (*.f64 2 (sqrt.f64 (*.f64 x (+.f64 z y)))) | |
| 36.3b | (*.f64 2 (sqrt.f64 (*.f64 z (+.f64 y x)))) | |
| 16.7b | (*.f64 2 (sqrt.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))) (cbrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) (cbrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))))) | |
| 47.3b | (*.f64 2 (fma.f64 1/2 (*.f64 z (+.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 (/.f64 y x)))) (sqrt.f64 (*.f64 y x)))) | |
| ▶ | 16.5b | (*.f64 2 (*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))))) |
Compiled 3084 to 1448 computations (53% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) |
| ✓ | 0.5b | (*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))))) |
| 0.5b | (fma.f64 x (+.f64 y z) (*.f64 y z)) | |
| 15.3b | (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))) |
2 calls:
| 229.0ms | (*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))))) |
| 79.0ms | (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) |
| 1× | rewrite-expression-head |
| 84× | sqrt-prod_binary64 |
| 64× | add-sqr-sqrt_binary64 |
| 36× | sqrt-pow1_binary64 |
| 27× | pow1_binary64 |
| 18× | rem-sqrt-square_binary64 |
2 calls:
| 8.0ms | (*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))))) |
| 1.0ms | (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) |
| 1× | egg-herbie |
| 472× | associate-*l*_binary64 |
| 445× | fma-def_binary64 |
| 385× | times-frac_binary64 |
| 317× | associate-/r*_binary64 |
| 244× | associate-/l*_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 573 | 6013 |
| 1 | 1686 | 5614 |
| 2 | 5360 | 5614 |
13 alts after pruning (13 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 408 | 5 | 413 |
| Fresh | 2 | 8 | 10 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 411 | 13 | 424 |
| Status | Error | Program |
| 63.4b | (*.f64 2 (+.f64 (*.f64 1/2 (*.f64 y (sqrt.f64 (/.f64 z x)))) (+.f64 (*.f64 1/2 (*.f64 y (sqrt.f64 (/.f64 x z)))) (sqrt.f64 (*.f64 z x))))) | |
| 16.8b | (*.f64 2 (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))))) (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))))) 3))) | |
| 37.6b | (*.f64 2 (sqrt.f64 (fma.f64 y x (*.f64 (*.f64 z (sqrt.f64 (+.f64 y x))) (sqrt.f64 (+.f64 y x)))))) | |
| 37.9b | (*.f64 2 (sqrt.f64 (*.f64 y z))) | |
| 30.7b | (*.f64 2 (cbrt.f64 (pow.f64 (sqrt.f64 (fma.f64 y x (*.f64 z (+.f64 y x)))) 3))) | |
| 41.6b | (*.f64 2 (sqrt.f64 (*.f64 x (+.f64 z y)))) | |
| 16.7b | (*.f64 2 (*.f64 (fabs.f64 (cbrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) (sqrt.f64 (cbrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))))) | |
| 36.3b | (*.f64 2 (sqrt.f64 (*.f64 z (+.f64 y x)))) | |
| 47.3b | (*.f64 2 (fma.f64 1/2 (*.f64 z (+.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 (/.f64 y x)))) (sqrt.f64 (*.f64 y x)))) | |
| 16.6b | (*.f64 2 (*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) (*.f64 (sqrt.f64 (fabs.f64 (cbrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))))) (sqrt.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))))))) | |
| 16.8b | (*.f64 2 (*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) (sqrt.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))))))) | |
| ▶ | 16.5b | (*.f64 2 (sqrt.f64 (fma.f64 y x (*.f64 (*.f64 z (*.f64 (cbrt.f64 (+.f64 y x)) (cbrt.f64 (+.f64 y x)))) (cbrt.f64 (+.f64 y x)))))) |
| 41.2b | (*.f64 2 (*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 (+.f64 z x)) (log.f64 y))))) |
Compiled 20549 to 8694 computations (57.7% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.5b | (*.f64 (cbrt.f64 (+.f64 y x)) (cbrt.f64 (+.f64 y x))) |
| ✓ | 0.5b | (cbrt.f64 (+.f64 y x)) |
| ✓ | 1.3b | (fma.f64 y x (*.f64 (*.f64 z (*.f64 (cbrt.f64 (+.f64 y x)) (cbrt.f64 (+.f64 y x)))) (cbrt.f64 (+.f64 y x)))) |
| ✓ | 15.3b | (sqrt.f64 (fma.f64 y x (*.f64 (*.f64 z (*.f64 (cbrt.f64 (+.f64 y x)) (cbrt.f64 (+.f64 y x)))) (cbrt.f64 (+.f64 y x))))) |
4 calls:
| 200.0ms | (sqrt.f64 (fma.f64 y x (*.f64 (*.f64 z (*.f64 (cbrt.f64 (+.f64 y x)) (cbrt.f64 (+.f64 y x)))) (cbrt.f64 (+.f64 y x))))) |
| 48.0ms | (cbrt.f64 (+.f64 y x)) |
| 27.0ms | (*.f64 (cbrt.f64 (+.f64 y x)) (cbrt.f64 (+.f64 y x))) |
| 16.0ms | (fma.f64 y x (*.f64 (*.f64 z (*.f64 (cbrt.f64 (+.f64 y x)) (cbrt.f64 (+.f64 y x)))) (cbrt.f64 (+.f64 y x)))) |
| 1× | rewrite-expression-head |
| 30× | *-un-lft-identity_binary64 |
| 28× | cbrt-prod_binary64 |
| 23× | add-sqr-sqrt_binary64 |
| 14× | cbrt-div_binary64 |
| 14× | add-cube-cbrt_binary64 |
4 calls:
| 8.0ms | (*.f64 (cbrt.f64 (+.f64 y x)) (cbrt.f64 (+.f64 y x))) |
| 2.0ms | (cbrt.f64 (+.f64 y x)) |
| 2.0ms | (sqrt.f64 (fma.f64 y x (*.f64 (*.f64 z (*.f64 (cbrt.f64 (+.f64 y x)) (cbrt.f64 (+.f64 y x)))) (cbrt.f64 (+.f64 y x))))) |
| 0.0ms | (fma.f64 y x (*.f64 (*.f64 z (*.f64 (cbrt.f64 (+.f64 y x)) (cbrt.f64 (+.f64 y x)))) (cbrt.f64 (+.f64 y x)))) |
| 1× | egg-herbie |
| 392× | times-frac_binary64 |
| 320× | associate-*r*_binary64 |
| 299× | fma-def_binary64 |
| 244× | fma-neg_binary64 |
| 237× | associate-*l*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 404 | 4499 |
| 1 | 1020 | 4313 |
| 2 | 3426 | 4103 |
| 3 | 4940 | 4103 |
| 4 | 4960 | 4103 |
16 alts after pruning (16 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 335 | 5 | 340 |
| Fresh | 1 | 11 | 12 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 337 | 16 | 353 |
| Status | Error | Program |
| 50.5b | (*.f64 2 (sqrt.f64 (fma.f64 y x (*.f64 (*.f64 z (pow.f64 (pow.f64 x 2) 1/3)) (cbrt.f64 (+.f64 y x)))))) | |
| 47.3b | (*.f64 2 (fma.f64 1/2 (*.f64 z (+.f64 (sqrt.f64 (/.f64 x y)) (sqrt.f64 (/.f64 y x)))) (sqrt.f64 (*.f64 y x)))) | |
| 16.5b | (*.f64 2 (sqrt.f64 (fma.f64 y x (*.f64 (*.f64 z (*.f64 (cbrt.f64 (+.f64 y x)) (cbrt.f64 (+.f64 y x)))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 y x)) (cbrt.f64 (+.f64 y x))) (cbrt.f64 (+.f64 y x)))))))) | |
| 63.4b | (*.f64 2 (+.f64 (*.f64 1/2 (*.f64 y (sqrt.f64 (/.f64 z x)))) (+.f64 (*.f64 1/2 (*.f64 y (sqrt.f64 (/.f64 x z)))) (sqrt.f64 (*.f64 z x))))) | |
| 16.8b | (*.f64 2 (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))))) (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))))) 3))) | |
| 37.6b | (*.f64 2 (sqrt.f64 (fma.f64 y x (*.f64 (*.f64 z (sqrt.f64 (+.f64 y x))) (sqrt.f64 (+.f64 y x)))))) | |
| 37.9b | (*.f64 2 (sqrt.f64 (*.f64 y z))) | |
| 62.7b | (*.f64 2 (sqrt.f64 (fma.f64 y x (*.f64 (*.f64 z (*.f64 (cbrt.f64 (+.f64 y x)) (pow.f64 x 1/3))) (cbrt.f64 (+.f64 y x)))))) | |
| 41.6b | (*.f64 2 (sqrt.f64 (*.f64 x (+.f64 z y)))) | |
| 16.7b | (*.f64 2 (*.f64 (fabs.f64 (cbrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) (sqrt.f64 (cbrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))))) | |
| 36.3b | (*.f64 2 (sqrt.f64 (*.f64 z (+.f64 y x)))) | |
| 63.2b | (*.f64 2 (sqrt.f64 (fma.f64 y x (*.f64 (*.f64 z (*.f64 (cbrt.f64 (+.f64 y x)) (cbrt.f64 (+.f64 y x)))) (fma.f64 1/3 (*.f64 (/.f64 y x) (cbrt.f64 (*.f64 1 (exp.f64 (log.f64 x))))) (cbrt.f64 (*.f64 1 (exp.f64 (log.f64 x))))))))) | |
| 16.6b | (*.f64 2 (*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) (*.f64 (sqrt.f64 (fabs.f64 (cbrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z))))) (sqrt.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))))))) | |
| 16.8b | (*.f64 2 (*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) (sqrt.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))))))) | |
| 41.2b | (*.f64 2 (*.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 (+.f64 z x)) (log.f64 y))))) | |
| 50.5b | (*.f64 2 (sqrt.f64 (fma.f64 y x (*.f64 (*.f64 z (cbrt.f64 (*.f64 x x))) (cbrt.f64 (+.f64 y x)))))) |
Compiled 12074 to 5298 computations (56.1% saved)
Total 0.7b remaining (3.4%)
Threshold costs 0.7b (3.4%)
Compiled 38228 to 19796 computations (48.2% saved)
| 1× | egg-herbie |
| 2× | *-commutative_binary64 |
| 1× | +-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 16 |
| 1 | 13 | 16 |
| 2 | 13 | 16 |
Compiled 42 to 27 computations (35.7% saved)
| 1× | intervals |
| 481.0ms | 8000× | body | 128 | valid |
| 132.0ms | 2300× | body | 128 | nan |
Compiled 434 to 247 computations (43.1% saved)
Loading profile data...