Time bar (total: 9.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 | 52× | 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 |
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 |
| 22.6b | (*.f64 2 (sqrt.f64 (fma.f64 x (+.f64 y z) (*.f64 y z)))) | |
| ▶ | 22.6b | (*.f64 2 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))) |
Compiled 90 to 56 computations (37.8% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.8b | (+.f64 (*.f64 x y) (*.f64 x z)) |
| ✓ | 0.8b | (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)) |
| ✓ | 21.3b | (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))) |
3 calls:
| 233.0ms | (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))) |
| 8.0ms | (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)) |
| 6.0ms | (+.f64 (*.f64 x y) (*.f64 x z)) |
| 1× | rewrite-expression-head |
| 10× | add-log-exp_binary64 |
| 6× | add-sqr-sqrt_binary64 |
| 5× | fma-def_binary64 |
| 5× | *-un-lft-identity_binary64 |
| 5× | add-cube-cbrt_binary64 |
3 calls:
| 6.0ms | (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))) |
| 5.0ms | (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)) |
| 3.0ms | (+.f64 (*.f64 x y) (*.f64 x z)) |
| 1× | egg-herbie |
| 734× | cancel-sign-sub-inv_binary64 |
| 438× | fma-neg_binary64 |
| 256× | fma-def_binary64 |
| 241× | associate-*r*_binary64 |
| 221× | distribute-rgt-out_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 256 | 2240 |
| 1 | 699 | 2135 |
| 2 | 2637 | 2083 |
| 3 | 4536 | 2083 |
| 4 | 5042 | 2083 |
11 alts after pruning (10 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 100 | 10 | 110 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 101 | 11 | 112 |
| Status | Error | Program |
| ✓ | 22.6b | (*.f64 2 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))) |
| 63.4b | (*.f64 2 (+.f64 (sqrt.f64 (*.f64 z x)) (*.f64 (*.f64 y 1/2) (+.f64 (sqrt.f64 (/.f64 z x)) (sqrt.f64 (/.f64 x z)))))) | |
| 34.4b | (*.f64 2 (cbrt.f64 (pow.f64 (sqrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z)))) 3))) | |
| 45.0b | (*.f64 2 (sqrt.f64 (*.f64 (+.f64 y z) x))) | |
| 40.9b | (*.f64 2 (sqrt.f64 (*.f64 y z))) | |
| ▶ | 22.9b | (*.f64 2 (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))) (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))))) |
| 39.7b | (*.f64 2 (sqrt.f64 (*.f64 z (+.f64 y x)))) | |
| 23.1b | (*.f64 2 (*.f64 (fabs.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z))))) (sqrt.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z))))))) | |
| 43.8b | (*.f64 2 (sqrt.f64 (+.f64 (/.f64 (*.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 z z))) (*.f64 x (-.f64 y z))) (*.f64 y z)))) | |
| 45.9b | (*.f64 2 (sqrt.f64 (*.f64 y x))) | |
| 49.3b | (*.f64 2 (sqrt.f64 (cbrt.f64 (*.f64 (*.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)) (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))) (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))))) |
Compiled 3411 to 1425 computations (58.2% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.5b | (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))) (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))))) |
| 0.8b | (+.f64 (*.f64 x y) (*.f64 x z)) | |
| 0.8b | (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)) | |
| 21.3b | (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))) |
1 calls:
| 200.0ms | (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))) (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))))) |
| 1× | rewrite-expression-head |
| 74× | sqrt-prod_binary64 |
| 59× | add-sqr-sqrt_binary64 |
| 32× | sqrt-pow1_binary64 |
| 24× | sqrt-div_binary64 |
| 24× | pow1_binary64 |
1 calls:
| 20.0ms | (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))) (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))))) |
| 1× | egg-herbie |
| 669× | cancel-sign-sub-inv_binary64 |
| 304× | fma-neg_binary64 |
| 237× | associate-*r*_binary64 |
| 222× | distribute-rgt-in_binary64 |
| 215× | fma-def_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 272 | 3285 |
| 1 | 654 | 2778 |
| 2 | 2430 | 2666 |
| 3 | 4508 | 2647 |
| 4 | 4976 | 2647 |
| 5 | 4978 | 2647 |
11 alts after pruning (9 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 336 | 2 | 338 |
| Fresh | 2 | 7 | 9 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 338 | 11 | 349 |
| Status | Error | Program |
| ✓ | 22.6b | (*.f64 2 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))) |
| 63.4b | (*.f64 2 (+.f64 (sqrt.f64 (*.f64 z x)) (*.f64 (*.f64 y 1/2) (+.f64 (sqrt.f64 (/.f64 z x)) (sqrt.f64 (/.f64 x z)))))) | |
| 34.4b | (*.f64 2 (cbrt.f64 (pow.f64 (sqrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z)))) 3))) | |
| 45.0b | (*.f64 2 (sqrt.f64 (*.f64 (+.f64 y z) x))) | |
| 23.4b | (*.f64 2 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))))) (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))))))) | |
| 40.9b | (*.f64 2 (sqrt.f64 (*.f64 y z))) | |
| ✓ | 22.9b | (*.f64 2 (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))) (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))))) |
| 39.7b | (*.f64 2 (sqrt.f64 (*.f64 z (+.f64 y x)))) | |
| ▶ | 23.1b | (*.f64 2 (*.f64 (fabs.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z))))) (sqrt.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z))))))) |
| 23.3b | (*.f64 2 (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))))) (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))))))) | |
| 45.9b | (*.f64 2 (sqrt.f64 (*.f64 y x))) |
Compiled 14599 to 3912 computations (73.2% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (sqrt.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z))))) |
| ✓ | 0.4b | (*.f64 (fabs.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z))))) (sqrt.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z)))))) |
| ✓ | 0.5b | (fma.f64 y z (*.f64 x (+.f64 y z))) |
| ✓ | 21.9b | (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z)))) |
4 calls:
| 142.0ms | (sqrt.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z))))) |
| 118.0ms | (*.f64 (fabs.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z))))) (sqrt.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z)))))) |
| 69.0ms | (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z)))) |
| 8.0ms | (fma.f64 y z (*.f64 x (+.f64 y z))) |
| 1× | rewrite-expression-head |
| 50× | add-sqr-sqrt_binary64 |
| 26× | cbrt-prod_binary64 |
| 22× | sqrt-prod_binary64 |
| 15× | unswap-sqr_binary64 |
| 13× | *-un-lft-identity_binary64 |
4 calls:
| 165.0ms | (*.f64 (fabs.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z))))) (sqrt.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z)))))) |
| 1.0ms | (sqrt.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z))))) |
| 1.0ms | (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z)))) |
| 0.0ms | (fma.f64 y z (*.f64 x (+.f64 y z))) |
| 1× | egg-herbie |
| 886× | fma-def_binary64 |
| 434× | *-commutative_binary64 |
| 200× | cancel-sign-sub-inv_binary64 |
| 174× | sqr-pow_binary64 |
| 173× | associate-*r*_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 985 | 14565 |
| 1 | 3297 | 13674 |
| 2 | 5032 | 13674 |
11 alts after pruning (9 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 497 | 1 | 498 |
| Fresh | 0 | 8 | 8 |
| Picked | 0 | 1 | 1 |
| Done | 1 | 1 | 2 |
| Total | 498 | 11 | 509 |
| Status | Error | Program |
| ▶ | 23.2b | (*.f64 2 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z))))) 3)) |
| 39.7b | (*.f64 2 (sqrt.f64 (*.f64 z (+.f64 y x)))) | |
| 34.4b | (*.f64 2 (cbrt.f64 (pow.f64 (sqrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z)))) 3))) | |
| 45.0b | (*.f64 2 (sqrt.f64 (*.f64 (+.f64 y z) x))) | |
| 63.4b | (*.f64 2 (+.f64 (sqrt.f64 (*.f64 z x)) (*.f64 (*.f64 y 1/2) (+.f64 (sqrt.f64 (/.f64 z x)) (sqrt.f64 (/.f64 x z)))))) | |
| 23.4b | (*.f64 2 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))))) (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))))))) | |
| 40.9b | (*.f64 2 (sqrt.f64 (*.f64 y z))) | |
| ✓ | 22.9b | (*.f64 2 (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))) (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))))) |
| ✓ | 23.1b | (*.f64 2 (*.f64 (fabs.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z))))) (sqrt.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z))))))) |
| 23.3b | (*.f64 2 (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))))) (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))))))) | |
| 45.9b | (*.f64 2 (sqrt.f64 (*.f64 y x))) |
Compiled 28918 to 12048 computations (58.3% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.1b | (sqrt.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z))))) | |
| 0.5b | (fma.f64 y z (*.f64 x (+.f64 y z))) | |
| ✓ | 0.7b | (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z))))) 3) |
| 21.9b | (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z)))) |
1 calls:
| 181.0ms | (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z))))) 3) |
| 1× | rewrite-expression-head |
| 12× | sqrt-prod_binary64 |
| 9× | cube-prod_binary64 |
| 9× | unpow-prod-down_binary64 |
| 8× | *-un-lft-identity_binary64 |
| 8× | add-sqr-sqrt_binary64 |
1 calls:
| 3.0ms | (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z))))) 3) |
| 1× | egg-herbie |
| 515× | associate-*r*_binary64 |
| 423× | times-frac_binary64 |
| 384× | associate-*l*_binary64 |
| 310× | associate-/l*_binary64 |
| 305× | fma-def_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 414 | 4078 |
| 1 | 1264 | 3908 |
| 2 | 5403 | 3908 |
13 alts after pruning (10 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 341 | 5 | 346 |
| Fresh | 3 | 5 | 8 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 344 | 13 | 357 |
| Status | Error | Program |
| 34.4b | (*.f64 2 (cbrt.f64 (pow.f64 (sqrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z)))) 3))) | |
| 35.6b | (*.f64 2 (pow.f64 (exp.f64 (*.f64 1/6 (-.f64 (log.f64 (neg.f64 (+.f64 z x))) (log.f64 (/.f64 -1 y))))) 3)) | |
| 45.0b | (*.f64 2 (sqrt.f64 (*.f64 (+.f64 y z) x))) | |
| 35.3b | (*.f64 2 (pow.f64 (sqrt.f64 (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (+.f64 y x)) (log.f64 (/.f64 1 z)))))) 3)) | |
| 23.4b | (*.f64 2 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))))) (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))))))) | |
| 35.2b | (*.f64 2 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 1/3) (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)))) 3)) | |
| ✓ | 23.2b | (*.f64 2 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z))))) 3)) |
| 39.7b | (*.f64 2 (sqrt.f64 (*.f64 z (+.f64 y x)))) | |
| 36.2b | (*.f64 2 (pow.f64 (exp.f64 (*.f64 1/6 (-.f64 (log.f64 (+.f64 z x)) (log.f64 (/.f64 1 y))))) 3)) | |
| 35.0b | (*.f64 2 (pow.f64 (sqrt.f64 (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (neg.f64 (+.f64 z y))) (log.f64 (/.f64 -1 x)))))) 3)) | |
| ✓ | 22.9b | (*.f64 2 (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))) (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))))) |
| ✓ | 23.1b | (*.f64 2 (*.f64 (fabs.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z))))) (sqrt.f64 (cbrt.f64 (fma.f64 y z (*.f64 x (+.f64 y z))))))) |
| 23.3b | (*.f64 2 (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))))) (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z))))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 x z)) (*.f64 y z)))))))) |
Compiled 15989 to 8785 computations (45.1% saved)
Total 2.9b remaining (57.1%)
Threshold costs 0b (0%)
Compiled 43493 to 21719 computations (50.1% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 1.2905723619641614e+44 | 1.8737879402323173e+49 | 1.8541994331994472e+49 |
| 8 | -2.3936853018595235e+24 | -1.8016840731952225e+20 | -2.361197447632789e+24 |
Compiled 4 to 3 computations (25% saved)
| 1× | egg-herbie |
| 10× | *-commutative_binary64 |
| 9× | +-commutative_binary64 |
| 5× | sub-neg_binary64 |
| 4× | neg-sub0_binary64 |
| 4× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 41 | 84 |
| 1 | 59 | 84 |
| 2 | 70 | 84 |
| 3 | 78 | 84 |
| 4 | 81 | 84 |
| 5 | 81 | 84 |
Compiled 171 to 129 computations (24.6% saved)
| 1× | intervals |
| 451.0ms | 8000× | body | 128 | valid |
| 120.0ms | 2279× | body | 128 | nan |
Compiled 417 to 237 computations (43.2% saved)
Loading profile data...