Time bar (total: 7.8s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.8% | 0.2% | 0 |
| 0% | 99.8% | 0.2% | 1 |
| 0% | 99.8% | 0.2% | 2 |
| 0% | 99.8% | 0.2% | 3 |
| 0% | 99.8% | 0.2% | 4 |
| 0% | 99.8% | 0.2% | 5 |
| 0% | 99.8% | 0.2% | 6 |
| 0% | 99.8% | 0.2% | 7 |
| 0% | 99.8% | 0.2% | 8 |
| 0% | 99.8% | 0.2% | 9 |
| 3.5% | 96.2% | 0.2% | 10 |
| 9.8% | 89.9% | 0.2% | 11 |
| 14.1% | 85.7% | 0.2% | 12 |
| 22.6% | 77.1% | 0.2% | 13 |
| 23.7% | 76% | 0.2% | 14 |
Compiled 19 to 12 computations (36.8% saved)
| 1× | intervals |
| 8.0ms | 211× | body | 128 | valid |
| 2.0ms | 20× | body | 512 | valid |
| 1.0ms | 9× | body | 1024 | valid |
| 1.0ms | 13× | body | 256 | valid |
| 1.0ms | 20× | body | 128 | invalid |
| 1.0ms | 3× | body | 2048 | valid |
Compiled 42 to 28 computations (33.3% saved)
| 1× | egg-herbie |
| 1201× | div-sub_binary64 |
| 620× | sub-neg_binary64 |
| 553× | unsub-neg_binary64 |
| 363× | neg-mul-1_binary64 neg-sub0_binary64 |
| 307× | distribute-rgt-in_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 19 |
| 1 | 23 | 19 |
| 2 | 58 | 19 |
| 3 | 138 | 19 |
| 4 | 315 | 19 |
| 5 | 841 | 19 |
| 6 | 1801 | 19 |
| 7 | 3103 | 19 |
| 8 | 3317 | 19 |
| 9 | 3639 | 19 |
| 10 | 3758 | 19 |
| 11 | 4023 | 19 |
| 12 | 4215 | 19 |
| 13 | 4872 | 19 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 0 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 1 | 1 | 2 |
| Status | Error | Program |
| ▶ | 17.0b | (-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))) |
Compiled 54 to 33 computations (38.9% saved)
Found 3 expressions with local error:
| 0.0b | (*.f64 (-.f64 z t) y) |
| 3.1b | (-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))) |
| 11.8b | (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)) |
| 1× | rewrite-expression-head |
| 22× | *-un-lft-identity_binary64 |
| 21× | add-sqr-sqrt_binary64 |
| 11× | cancel-sign-sub-inv_binary64 |
| 10× | add-exp-log_binary64 add-cbrt-cube_binary64 times-frac_binary64 |
| 9× | add-cube-cbrt_binary64 |
3 calls:
| 12.0ms | (-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))) |
| 10.0ms | (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)) |
| 8.0ms | (*.f64 (-.f64 z t) y) |
Compiled 1626 to 341 computations (79% saved)
3 calls:
| 109.0ms | (-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))) |
| 73.0ms | (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)) |
| 28.0ms | (*.f64 (-.f64 z t) y) |
Compiled 3404 to 1855 computations (45.5% saved)
| 1× | egg-herbie |
| 618× | div-sub_binary64 |
| 473× | cancel-sign-sub-inv_binary64 |
| 302× | sub-neg_binary64 |
| 172× | distribute-neg-frac_binary64 |
| 157× | associate-/l*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 262 | 3381 |
| 1 | 786 | 3258 |
| 2 | 2987 | 3252 |
| 3 | 4586 | 3252 |
| 4 | 5515 | 3252 |
13 alts after pruning (13 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 120 | 13 | 133 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 121 | 13 | 134 |
| Status | Error | Program |
| 32.0b | (-.f64 (+.f64 x y) (*.f64 (sqrt.f64 (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t)))) (sqrt.f64 (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t)))))) | |
| 26.5b | (+.f64 (/.f64 (*.f64 y z) t) x) | |
| 39.3b | (-.f64 (+.f64 (/.f64 (*.f64 a (*.f64 a (*.f64 y z))) (pow.f64 t 3)) (+.f64 (/.f64 (*.f64 y z) t) (+.f64 (/.f64 (*.f64 a (*.f64 y z)) (*.f64 t t)) x))) (+.f64 (/.f64 (*.f64 y (pow.f64 a 3)) (pow.f64 t 3)) (+.f64 (/.f64 (*.f64 y a) t) (/.f64 (*.f64 y (*.f64 a a)) (*.f64 t t))))) | |
| 36.2b | (-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 (*.f64 z z) (*.f64 t t)) y) (*.f64 (-.f64 a t) (+.f64 t z)))) | |
| 23.7b | (+.f64 y x) | |
| 27.2b | (-.f64 (+.f64 (/.f64 (*.f64 y z) t) x) (/.f64 (*.f64 y a) t)) | |
| 42.5b | (*.f64 (+.f64 (/.f64 (-.f64 z t) (-.f64 a t)) -1) (neg.f64 y)) | |
| 13.0b | (+.f64 (+.f64 x y) (*.f64 (/.f64 y (cbrt.f64 (-.f64 a t))) (neg.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))))) | |
| 16.3b | (-.f64 (+.f64 x y) (/.f64 (*.f64 y z) (-.f64 a t))) | |
| 39.2b | (/.f64 (-.f64 (*.f64 (+.f64 y x) (+.f64 y x)) (*.f64 (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))) (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))))) (+.f64 (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))) (+.f64 y x))) | |
| ▶ | 12.5b | (-.f64 (+.f64 x y) (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t)))) |
| 39.5b | (+.f64 (+.f64 x y) (*.f64 (/.f64 y (sqrt.f64 (-.f64 a t))) (neg.f64 (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 a t)))))) | |
| 53.9b | (-.f64 (+.f64 x y) (/.f64 (*.f64 (/.f64 (-.f64 z t) (+.f64 (sqrt.f64 a) (sqrt.f64 t))) y) (-.f64 (sqrt.f64 a) (sqrt.f64 t)))) |
Compiled 2414 to 748 computations (69% saved)
Found 3 expressions with local error:
| 0.0b | (/.f64 y (-.f64 a t)) |
| 4.6b | (-.f64 (+.f64 x y) (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t)))) |
| 9.8b | (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))) |
| 1× | rewrite-expression-head |
| 44× | add-sqr-sqrt_binary64 |
| 39× | *-un-lft-identity_binary64 |
| 31× | times-frac_binary64 |
| 23× | add-cube-cbrt_binary64 |
| 21× | associate-*r*_binary64 |
3 calls:
| 14.0ms | (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))) |
| 8.0ms | (-.f64 (+.f64 x y) (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t)))) |
| 5.0ms | (/.f64 y (-.f64 a t)) |
Compiled 2465 to 507 computations (79.4% saved)
3 calls:
| 109.0ms | (-.f64 (+.f64 x y) (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t)))) |
| 69.0ms | (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))) |
| 39.0ms | (/.f64 y (-.f64 a t)) |
Compiled 3771 to 2081 computations (44.8% saved)
| 1× | egg-herbie |
| 649× | times-frac_binary64 |
| 282× | sub-neg_binary64 |
| 190× | distribute-rgt-in_binary64 |
| 180× | distribute-lft-in_binary64 |
| 177× | associate-*r*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 317 | 4603 |
| 1 | 927 | 4453 |
| 2 | 3629 | 4447 |
| 3 | 4976 | 4447 |
| 4 | 4973 | 4447 |
11 alts after pruning (10 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 137 | 1 | 138 |
| Fresh | 3 | 9 | 12 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 140 | 11 | 151 |
| Status | Error | Program |
| 26.5b | (+.f64 (/.f64 (*.f64 y z) t) x) | |
| 39.3b | (-.f64 (+.f64 (/.f64 (*.f64 a (*.f64 a (*.f64 y z))) (pow.f64 t 3)) (+.f64 (/.f64 (*.f64 y z) t) (+.f64 (/.f64 (*.f64 a (*.f64 y z)) (*.f64 t t)) x))) (+.f64 (/.f64 (*.f64 y (pow.f64 a 3)) (pow.f64 t 3)) (+.f64 (/.f64 (*.f64 y a) t) (/.f64 (*.f64 y (*.f64 a a)) (*.f64 t t))))) | |
| 36.2b | (-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 (*.f64 z z) (*.f64 t t)) y) (*.f64 (-.f64 a t) (+.f64 t z)))) | |
| 27.2b | (-.f64 (+.f64 (/.f64 (*.f64 y z) t) x) (/.f64 (*.f64 y a) t)) | |
| 42.5b | (*.f64 (+.f64 (/.f64 (-.f64 z t) (-.f64 a t)) -1) (neg.f64 y)) | |
| ▶ | 12.7b | (-.f64 (+.f64 x y) (*.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (/.f64 y (-.f64 a t)) (cbrt.f64 (-.f64 z t))))) |
| 13.0b | (+.f64 (+.f64 x y) (*.f64 (/.f64 y (cbrt.f64 (-.f64 a t))) (neg.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))))) | |
| 16.3b | (-.f64 (+.f64 x y) (/.f64 (*.f64 y z) (-.f64 a t))) | |
| 39.2b | (/.f64 (-.f64 (*.f64 (+.f64 y x) (+.f64 y x)) (*.f64 (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))) (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))))) (+.f64 (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))) (+.f64 y x))) | |
| ✓ | 12.5b | (-.f64 (+.f64 x y) (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t)))) |
| 53.9b | (-.f64 (+.f64 x y) (/.f64 (*.f64 (/.f64 (-.f64 z t) (+.f64 (sqrt.f64 a) (sqrt.f64 t))) y) (-.f64 (sqrt.f64 a) (sqrt.f64 t)))) |
Compiled 2806 to 787 computations (72% saved)
Found 4 expressions with local error:
| 0.5b | (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) |
| 3.5b | (*.f64 (/.f64 y (-.f64 a t)) (cbrt.f64 (-.f64 z t))) |
| 6.3b | (*.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (/.f64 y (-.f64 a t)) (cbrt.f64 (-.f64 z t)))) |
| 9.5b | (-.f64 (+.f64 x y) (*.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (/.f64 y (-.f64 a t)) (cbrt.f64 (-.f64 z t))))) |
| 1× | rewrite-expression-head |
| 340× | cbrt-div_binary64 |
| 252× | frac-times_binary64 |
| 172× | flip3--_binary64 flip--_binary64 |
| 109× | associate-*r/_binary64 |
| 106× | frac-sub_binary64 |
4 calls:
| 28.0ms | (*.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (/.f64 y (-.f64 a t)) (cbrt.f64 (-.f64 z t)))) |
| 22.0ms | (-.f64 (+.f64 x y) (*.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (/.f64 y (-.f64 a t)) (cbrt.f64 (-.f64 z t))))) |
| 16.0ms | (*.f64 (/.f64 y (-.f64 a t)) (cbrt.f64 (-.f64 z t))) |
| 12.0ms | (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) |
Compiled 16834 to 2774 computations (83.5% saved)
4 calls:
| 128.0ms | (-.f64 (+.f64 x y) (*.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (/.f64 y (-.f64 a t)) (cbrt.f64 (-.f64 z t))))) |
| 83.0ms | (*.f64 (/.f64 y (-.f64 a t)) (cbrt.f64 (-.f64 z t))) |
| 80.0ms | (*.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (/.f64 y (-.f64 a t)) (cbrt.f64 (-.f64 z t)))) |
| 43.0ms | (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) |
Compiled 5528 to 3125 computations (43.5% saved)
| 1× | egg-herbie |
| 441× | *-commutative_binary64 |
| 332× | associate-*r*_binary64 |
| 316× | distribute-rgt-in_binary64 |
| 308× | distribute-lft-in_binary64 |
| 291× | cancel-sign-sub-inv_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 835 | 22760 |
| 1 | 2191 | 21798 |
| 2 | 4666 | 21761 |
| 3 | 4992 | 21761 |
10 alts after pruning (8 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 362 | 1 | 363 |
| Fresh | 2 | 7 | 9 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 364 | 10 | 374 |
| Status | Error | Program |
| 26.5b | (+.f64 (/.f64 (*.f64 y z) t) x) | |
| 39.3b | (-.f64 (+.f64 (/.f64 (*.f64 a (*.f64 a (*.f64 y z))) (pow.f64 t 3)) (+.f64 (/.f64 (*.f64 y z) t) (+.f64 (/.f64 (*.f64 a (*.f64 y z)) (*.f64 t t)) x))) (+.f64 (/.f64 (*.f64 y (pow.f64 a 3)) (pow.f64 t 3)) (+.f64 (/.f64 (*.f64 y a) t) (/.f64 (*.f64 y (*.f64 a a)) (*.f64 t t))))) | |
| 36.2b | (-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 (*.f64 z z) (*.f64 t t)) y) (*.f64 (-.f64 a t) (+.f64 t z)))) | |
| 27.2b | (-.f64 (+.f64 (/.f64 (*.f64 y z) t) x) (/.f64 (*.f64 y a) t)) | |
| ✓ | 12.7b | (-.f64 (+.f64 x y) (*.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (/.f64 y (-.f64 a t)) (cbrt.f64 (-.f64 z t))))) |
| ▶ | 13.0b | (+.f64 (+.f64 x y) (*.f64 (/.f64 y (cbrt.f64 (-.f64 a t))) (neg.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))))) |
| 16.3b | (-.f64 (+.f64 x y) (/.f64 (*.f64 y z) (-.f64 a t))) | |
| 39.2b | (/.f64 (-.f64 (*.f64 (+.f64 y x) (+.f64 y x)) (*.f64 (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))) (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))))) (+.f64 (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))) (+.f64 y x))) | |
| ✓ | 12.5b | (-.f64 (+.f64 x y) (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t)))) |
| 38.8b | (neg.f64 (*.f64 y (-.f64 (/.f64 z (-.f64 a t)) (+.f64 (/.f64 t (-.f64 a t)) 1)))) |
Compiled 11780 to 2582 computations (78.1% saved)
Found 4 expressions with local error:
| 0.5b | (cbrt.f64 (-.f64 a t)) |
| 0.5b | (cbrt.f64 (-.f64 a t)) |
| 3.7b | (*.f64 (/.f64 y (cbrt.f64 (-.f64 a t))) (neg.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))))) |
| 9.0b | (+.f64 (+.f64 x y) (*.f64 (/.f64 y (cbrt.f64 (-.f64 a t))) (neg.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))))) |
| 1× | rewrite-expression-head |
| 48× | add-sqr-sqrt_binary64 |
| 40× | *-un-lft-identity_binary64 |
| 38× | associate-*r*_binary64 |
| 36× | times-frac_binary64 |
| 30× | associate-*l*_binary64 cbrt-div_binary64 |
4 calls:
| 36.0ms | (*.f64 (/.f64 y (cbrt.f64 (-.f64 a t))) (neg.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))))) |
| 9.0ms | (+.f64 (+.f64 x y) (*.f64 (/.f64 y (cbrt.f64 (-.f64 a t))) (neg.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))))) |
| 3.0ms | (cbrt.f64 (-.f64 a t)) |
| 3.0ms | (cbrt.f64 (-.f64 a t)) |
Compiled 4978 to 781 computations (84.3% saved)
4 calls:
| 300.0ms | (*.f64 (/.f64 y (cbrt.f64 (-.f64 a t))) (neg.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))))) |
| 122.0ms | (+.f64 (+.f64 x y) (*.f64 (/.f64 y (cbrt.f64 (-.f64 a t))) (neg.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))))) |
| 38.0ms | (cbrt.f64 (-.f64 a t)) |
| 38.0ms | (cbrt.f64 (-.f64 a t)) |
Compiled 5093 to 3066 computations (39.8% saved)
| 1× | egg-herbie |
| 273× | *-commutative_binary64 |
| 261× | associate-*r*_binary64 |
| 238× | associate-*l*_binary64 |
| 219× | neg-sub0_binary64 |
| 210× | neg-mul-1_binary64 associate-*r/_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 426 | 6545 |
| 1 | 1256 | 5753 |
| 2 | 4455 | 5750 |
| 3 | 5023 | 5750 |
9 alts after pruning (6 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 159 | 1 | 160 |
| Fresh | 2 | 5 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 161 | 9 | 170 |
| Status | Error | Program |
| 39.3b | (-.f64 (+.f64 (/.f64 (*.f64 a (*.f64 a (*.f64 y z))) (pow.f64 t 3)) (+.f64 (/.f64 (*.f64 y z) t) (+.f64 (/.f64 (*.f64 a (*.f64 y z)) (*.f64 t t)) x))) (+.f64 (/.f64 (*.f64 y (pow.f64 a 3)) (pow.f64 t 3)) (+.f64 (/.f64 (*.f64 y a) t) (/.f64 (*.f64 y (*.f64 a a)) (*.f64 t t))))) | |
| 27.2b | (-.f64 (+.f64 (/.f64 (*.f64 y z) t) x) (/.f64 (*.f64 y a) t)) | |
| 12.7b | (-.f64 (+.f64 x y) (*.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (/.f64 y (-.f64 a t)) (cbrt.f64 (-.f64 z t))))) | |
| 13.0b | (+.f64 (+.f64 x y) (*.f64 (/.f64 y (cbrt.f64 (-.f64 a t))) (neg.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))))) | |
| 16.3b | (-.f64 (+.f64 x y) (/.f64 (*.f64 y z) (-.f64 a t))) | |
| 39.2b | (/.f64 (-.f64 (*.f64 (+.f64 y x) (+.f64 y x)) (*.f64 (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))) (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))))) (+.f64 (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))) (+.f64 y x))) | |
| 12.5b | (-.f64 (+.f64 x y) (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t)))) | |
| 9.3b | (+.f64 x (-.f64 y (/.f64 (-.f64 z t) (/.f64 (-.f64 a t) y)))) | |
| 38.8b | (neg.f64 (*.f64 y (-.f64 (/.f64 z (-.f64 a t)) (+.f64 (/.f64 t (-.f64 a t)) 1)))) |
Compiled 3896 to 945 computations (75.7% saved)
Total 5.0b remaining (85.2%)
Threshold costs 0b (0%)
Compiled 16835 to 9048 computations (46.3% saved)
Compiled 18 to 11 computations (38.9% saved)
| 1× | egg-herbie |
| 18× | +-commutative_binary64 |
| 15× | sub-neg_binary64 |
| 13× | *-commutative_binary64 |
| 11× | neg-mul-1_binary64 neg-sub0_binary64 |
| 7× | distribute-rgt-neg-in_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 29 | 88 |
| 1 | 47 | 88 |
| 2 | 68 | 88 |
| 3 | 96 | 88 |
| 4 | 123 | 88 |
| 5 | 137 | 88 |
| 6 | 140 | 88 |
| 7 | 136 | 88 |
Compiled 64 to 28 computations (56.3% saved)
| 1× | intervals |
| 278.0ms | 6690× | body | 128 | valid |
| 64.0ms | 501× | body | 512 | valid |
| 57.0ms | 389× | body | 1024 | valid |
| 32.0ms | 358× | body | 256 | valid |
| 31.0ms | 783× | body | 128 | invalid |
| 16.0ms | 62× | body | 2048 | valid |
Compiled 344 to 176 computations (48.8% saved)
Loading profile data...