Time bar (total: 13.0s)
| 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 |
| 18.7% | 81.1% | 0.1% | 6 |
| 18.7% | 76.5% | 4.8% | 7 |
| 28.1% | 66.3% | 5.6% | 8 |
| 35.1% | 55% | 9.9% | 9 |
| 36.3% | 50.9% | 12.8% | 10 |
| 42.1% | 42.4% | 15.5% | 11 |
| 47.5% | 33.8% | 18.7% | 12 |
| 48.8% | 30.7% | 20.6% | 13 |
| 51.8% | 25.6% | 22.5% | 14 |
Compiled 17 to 11 computations (35.3% saved)
| 1× | intervals |
| 9.0ms | 35× | body | 2048 | valid |
| 9.0ms | 162× | body | 128 | valid |
| 7.0ms | 35× | body | 1024 | valid |
| 3.0ms | 10× | body | 4096 | valid |
| 1.0ms | 9× | body | 512 | valid |
| 1.0ms | 26× | body | 128 | nan |
| 1.0ms | 5× | body | 256 | valid |
| 0.0ms | 8× | body | 128 | invalid |
Compiled 36 to 24 computations (33.3% saved)
| 1× | egg-herbie |
| 518× | div-sub_binary64 |
| 428× | fma-neg_binary64 |
| 246× | associate-/l*_binary64 |
| 205× | fma-def_binary64 |
| 183× | times-frac_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 20 |
| 1 | 27 | 20 |
| 2 | 54 | 20 |
| 3 | 115 | 20 |
| 4 | 179 | 20 |
| 5 | 291 | 20 |
| 6 | 417 | 20 |
| 7 | 528 | 20 |
| 8 | 602 | 20 |
| 9 | 854 | 20 |
| 10 | 1802 | 20 |
| 11 | 1043 | 20 |
| 12 | 1027 | 20 |
| 13 | 1035 | 20 |
| 14 | 1043 | 20 |
| 15 | 1043 | 20 |
| 16 | 1101 | 20 |
| 17 | 1137 | 20 |
| 18 | 1139 | 20 |
| 19 | 1151 | 20 |
| 20 | 1046 | 20 |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 2 | 2 |
| Status | Error | Program |
| ▶ | 34.9b | (/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a) |
Compiled 48 to 30 computations (37.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a) |
| ✓ | 0.7b | (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) |
| ✓ | 1.6b | (-.f64 (*.f64 b_2 b_2) (*.f64 a c)) |
| ✓ | 21.5b | (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) |
4 calls:
| 129.0ms | (/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a) |
| 111.0ms | (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) |
| 83.0ms | (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) |
| 9.0ms | (-.f64 (*.f64 b_2 b_2) (*.f64 a c)) |
| 1× | rewrite-expression-head |
| 81× | add-sqr-sqrt_binary64 |
| 80× | *-un-lft-identity_binary64 |
| 61× | prod-diff_binary64 |
| 60× | add-cube-cbrt_binary64 |
| 41× | sqrt-prod_binary64 |
4 calls:
| 11.0ms | (/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a) |
| 11.0ms | (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) |
| 3.0ms | (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) |
| 3.0ms | (-.f64 (*.f64 b_2 b_2) (*.f64 a c)) |
| 1× | egg-herbie |
| 819× | fma-neg_binary64 |
| 295× | cancel-sign-sub-inv_binary64 |
| 181× | unswap-sqr_binary64 |
| 169× | sub-neg_binary64 |
| 135× | associate-*r*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 317 | 7693 |
| 1 | 779 | 6304 |
| 2 | 2682 | 5750 |
| 3 | 4584 | 5750 |
| 4 | 4974 | 5750 |
8 alts after pruning (7 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 285 | 7 | 292 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 285 | 8 | 293 |
| Status | Error | Program |
| ▶ | 32.4b | (/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) |
| 32.8b | (*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a))) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a))) | |
| ✓ | 34.9b | (/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a) |
| 33.1b | (/.f64 (/.f64 (*.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a) | |
| 42.9b | (fma.f64 -1/2 (/.f64 c b_2) (*.f64 (/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8)) | |
| 38.9b | (*.f64 -1/2 (/.f64 c b_2)) | |
| 45.5b | (fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a))) | |
| 45.7b | (/.f64 (*.f64 -2 b_2) a) |
Compiled 8994 to 1942 computations (78.4% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) |
| ✓ | 0.1b | (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) |
| ✓ | 0.1b | (/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) |
| ✓ | 8.6b | (sqrt.f64 (neg.f64 (*.f64 c a))) |
4 calls:
| 516.0ms | (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) |
| 224.0ms | (/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) |
| 162.0ms | (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) |
| 18.0ms | (sqrt.f64 (neg.f64 (*.f64 c a))) |
| 1× | rewrite-expression-head |
| 172× | *-un-lft-identity_binary64 |
| 162× | times-frac_binary64 |
| 139× | add-sqr-sqrt_binary64 |
| 104× | add-cube-cbrt_binary64 |
| 34× | distribute-lft-out--_binary64 |
4 calls:
| 42.0ms | (/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) |
| 6.0ms | (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) |
| 5.0ms | (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) |
| 2.0ms | (sqrt.f64 (neg.f64 (*.f64 c a))) |
| 1× | egg-herbie |
| 715× | fma-def_binary64 |
| 401× | fma-neg_binary64 |
| 292× | cancel-sign-sub-inv_binary64 |
| 186× | sub-neg_binary64 |
| 153× | distribute-frac-neg_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 349 | 9160 |
| 1 | 794 | 8172 |
| 2 | 2705 | 7612 |
| 3 | 4798 | 7608 |
| 4 | 4906 | 7608 |
9 alts after pruning (7 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 375 | 3 | 378 |
| Fresh | 2 | 4 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 377 | 9 | 386 |
| Status | Error | Program |
| 46.1b | (/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2)))) | |
| ✓ | 32.4b | (/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) |
| ▶ | 32.8b | (*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a))) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a))) |
| ✓ | 34.9b | (/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a) |
| 33.1b | (/.f64 (/.f64 (*.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a) | |
| 38.7b | (/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (/.f64 2 (*.f64 (/.f64 c b_2) -1)))) | |
| 45.5b | (fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a))) | |
| 38.9b | (*.f64 -1/2 (/.f64 c b_2)) | |
| 48.0b | (/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2)))) |
Compiled 11597 to 2905 computations (75% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a))) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a))) |
| ✓ | 0.2b | (*.f64 (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a))) |
| ✓ | 0.2b | (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)) |
| 8.6b | (sqrt.f64 (neg.f64 (*.f64 c a))) |
3 calls:
| 2.2s | (*.f64 (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a))) |
| 739.0ms | (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)) |
| 269.0ms | (*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a))) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a))) |
| 1× | rewrite-expression-head |
| 212× | *-un-lft-identity_binary64 |
| 182× | cbrt-prod_binary64 |
| 151× | times-frac_binary64 |
| 144× | add-sqr-sqrt_binary64 |
| 80× | add-cube-cbrt_binary64 |
3 calls:
| 27.0ms | (*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a))) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a))) |
| 25.0ms | (*.f64 (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a))) |
| 5.0ms | (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)) |
| 1× | egg-herbie |
| 645× | fma-def_binary64 |
| 383× | associate-*r*_binary64 |
| 345× | associate-*l*_binary64 |
| 226× | *-commutative_binary64 |
| 226× | fma-neg_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 446 | 14247 |
| 1 | 1081 | 13593 |
| 2 | 3670 | 12261 |
| 3 | 4977 | 12261 |
| 4 | 4952 | 12261 |
9 alts after pruning (6 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 514 | 1 | 515 |
| Fresh | 1 | 5 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 515 | 9 | 524 |
| Status | Error | Program |
| 46.1b | (/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2)))) | |
| ✓ | 32.4b | (/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) |
| ✓ | 32.8b | (*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a))) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a))) |
| ✓ | 34.9b | (/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a) |
| ▶ | 33.1b | (/.f64 (/.f64 (*.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a) |
| 38.9b | (*.f64 -1/2 (/.f64 c b_2)) | |
| 38.7b | (/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (/.f64 2 (*.f64 (/.f64 c b_2) -1)))) | |
| 45.4b | (*.f64 (/.f64 b_2 a) -2) | |
| 48.0b | (/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2)))) |
Compiled 29041 to 5734 computations (80.3% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.7b | (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) |
| ✓ | 1.4b | (/.f64 (/.f64 (*.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a) |
| ✓ | 5.2b | (/.f64 (*.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) |
| 8.6b | (sqrt.f64 (neg.f64 (*.f64 c a))) |
3 calls:
| 501.0ms | (/.f64 (*.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) |
| 448.0ms | (/.f64 (/.f64 (*.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a) |
| 148.0ms | (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) |
| 1× | rewrite-expression-head |
| 58× | times-frac_binary64 |
| 47× | *-un-lft-identity_binary64 |
| 47× | add-sqr-sqrt_binary64 |
| 33× | add-cube-cbrt_binary64 |
| 17× | add-cbrt-cube_binary64 |
3 calls:
| 7.0ms | (/.f64 (/.f64 (*.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a) |
| 5.0ms | (/.f64 (*.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) |
| 3.0ms | (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) |
| 1× | egg-herbie |
| 720× | fma-def_binary64 |
| 390× | cancel-sign-sub-inv_binary64 |
| 251× | fma-neg_binary64 |
| 247× | times-frac_binary64 |
| 196× | associate-/l*_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 331 | 5674 |
| 1 | 872 | 4918 |
| 2 | 3266 | 4799 |
| 3 | 4807 | 4797 |
| 4 | 4966 | 4797 |
| 5 | 4909 | 4797 |
9 alts after pruning (5 fresh and 4 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 263 | 0 | 263 |
| Fresh | 0 | 5 | 5 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 3 | 3 |
| Total | 263 | 9 | 272 |
| Status | Error | Program |
| 46.1b | (/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2)))) | |
| ✓ | 32.4b | (/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) |
| ✓ | 32.8b | (*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a))) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a))) |
| ✓ | 34.9b | (/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a) |
| ✓ | 33.1b | (/.f64 (/.f64 (*.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a) |
| 38.9b | (*.f64 -1/2 (/.f64 c b_2)) | |
| 38.7b | (/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (/.f64 2 (*.f64 (/.f64 c b_2) -1)))) | |
| 45.4b | (*.f64 (/.f64 b_2 a) -2) | |
| 48.0b | (/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2)))) |
Compiled 7596 to 1785 computations (76.5% saved)
Total 8.3b remaining (98.5%)
Threshold costs 0b (0%)
Compiled 22647 to 11725 computations (48.2% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 5 | 8.931405685114294e+88 | 2.746859577346239e+89 | 1.2798399534946243e+89 |
| 8 | 1.015675176524763e-200 | 1.631477822442049e-196 | 3.470829932155455e-200 |
| 6 | -30286195606073.355 | -6970773915111.175 | -22357588223804.316 |
Compiled 4 to 3 computations (25% saved)
| 1× | egg-herbie |
| 11× | +-commutative_binary64 |
| 10× | *-commutative_binary64 |
| 10× | sub-neg_binary64 |
| 7× | neg-sub0_binary64 |
| 7× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 37 | 76 |
| 1 | 56 | 76 |
| 2 | 72 | 76 |
| 3 | 86 | 76 |
| 4 | 93 | 76 |
| 5 | 96 | 76 |
| 6 | 97 | 76 |
| 7 | 96 | 76 |
Compiled 54 to 32 computations (40.7% saved)
| 1× | intervals |
| 357.0ms | 1115× | body | 2048 | valid |
| 314.0ms | 5231× | body | 128 | valid |
| 167.0ms | 766× | body | 1024 | valid |
| 125.0ms | 375× | body | 4096 | valid |
| 55.0ms | 352× | body | 512 | valid |
| 41.0ms | 792× | body | 128 | nan |
| 17.0ms | 161× | body | 256 | valid |
| 15.0ms | 277× | body | 128 | invalid |
Compiled 238 to 142 computations (40.3% saved)
Loading profile data...