Time bar (total: 7.7s)
| 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 |
| 1.8% | 98% | 0.2% | 10 |
| 7.7% | 92.1% | 0.2% | 11 |
| 10.4% | 89.3% | 0.2% | 12 |
| 12.2% | 87.5% | 0.2% | 13 |
| 21.9% | 77.7% | 0.4% | 14 |
Compiled 19 to 12 computations (36.8% saved)
| 1× | intervals |
| 10.0ms | 209× | body | 128 | valid |
| 3.0ms | 20× | body | 1024 | valid |
| 2.0ms | 43× | body | 128 | invalid |
| 2.0ms | 14× | body | 512 | valid |
| 1.0ms | 10× | body | 256 | valid |
| 1.0ms | 3× | body | 2048 | valid |
Compiled 42 to 28 computations (33.3% saved)
| 1× | egg-herbie |
| 1165× | unsub-neg_binary64 |
| 859× | div-sub_binary64 |
| 666× | neg-mul-1_binary64 |
| 534× | neg-sub0_binary64 |
| 388× | distribute-frac-neg_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 19 |
| 1 | 24 | 19 |
| 2 | 50 | 19 |
| 3 | 146 | 19 |
| 4 | 431 | 19 |
| 5 | 974 | 19 |
| 6 | 2396 | 19 |
| 7 | 3621 | 19 |
| 8 | 4190 | 19 |
| 9 | 4973 | 19 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 1 | 1 |
| Status | Error | Program |
| ▶ | 16.7b | (+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))) |
Compiled 36 to 22 computations (38.9% saved)
Found 3 expressions with local error:
| 0.0b | (/.f64 (-.f64 t x) (-.f64 a z)) |
| 2.8b | (+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))) |
| 7.2b | (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))) |
| 1× | rewrite-expression-head |
| 78× | add-sqr-sqrt_binary64 |
| 73× | *-un-lft-identity_binary64 |
| 51× | times-frac_binary64 |
| 31× | associate-*r*_binary64 |
| 27× | add-cube-cbrt_binary64 |
3 calls:
| 13.0ms | (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))) |
| 6.0ms | (/.f64 (-.f64 t x) (-.f64 a z)) |
| 2.0ms | (+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))) |
Compiled 2312 to 458 computations (80.2% saved)
3 calls:
| 147.0ms | (+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))) |
| 111.0ms | (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))) |
| 54.0ms | (/.f64 (-.f64 t x) (-.f64 a z)) |
Compiled 7919 to 4244 computations (46.4% saved)
| 1× | egg-herbie |
| 918× | times-frac_binary64 |
| 355× | associate-+r+_binary64 |
| 297× | associate-+l+_binary64 |
| 222× | associate--l+_binary64 |
| 211× | associate-/l*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 434 | 7597 |
| 1 | 1274 | 7516 |
| 2 | 4791 | 7468 |
| 3 | 5893 | 7468 |
12 alts after pruning (11 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 136 | 11 | 147 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 136 | 12 | 148 |
| Status | Error | Program |
| 39.4b | (+.f64 x (*.f64 (/.f64 (-.f64 y z) (sqrt.f64 (-.f64 a z))) (/.f64 (-.f64 t x) (sqrt.f64 (-.f64 a z))))) | |
| 29.4b | (neg.f64 (*.f64 t (-.f64 (/.f64 z (-.f64 a z)) (/.f64 y (-.f64 a z))))) | |
| 38.0b | (*.f64 x (-.f64 (+.f64 (/.f64 z (-.f64 a z)) 1) (/.f64 y (-.f64 a z)))) | |
| ✓ | 16.7b | (+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))) |
| 38.5b | (+.f64 x (/.f64 (*.f64 (/.f64 (-.f64 t x) (-.f64 a z)) (-.f64 (*.f64 y y) (*.f64 z z))) (+.f64 y z))) | |
| ▶ | 21.1b | (-.f64 (+.f64 x (+.f64 (/.f64 (*.f64 x z) (-.f64 a z)) (/.f64 (*.f64 t y) (-.f64 a z)))) (+.f64 (/.f64 (*.f64 x y) (-.f64 a z)) (/.f64 (*.f64 t z) (-.f64 a z)))) |
| 35.6b | (+.f64 x (*.f64 (-.f64 y z) (cbrt.f64 (pow.f64 (/.f64 (-.f64 t x) (-.f64 a z)) 3)))) | |
| 38.7b | (+.f64 x (cbrt.f64 (pow.f64 (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))) 3))) | |
| 42.6b | (+.f64 x (*.f64 (*.f64 (-.f64 y z) (sqrt.f64 (-.f64 t x))) (/.f64 (sqrt.f64 (-.f64 t x)) (-.f64 a z)))) | |
| 35.5b | (-.f64 (+.f64 (/.f64 (*.f64 x y) z) (+.f64 t (/.f64 (*.f64 t a) z))) (+.f64 (/.f64 (*.f64 t y) z) (/.f64 (*.f64 x a) z))) | |
| 41.7b | (neg.f64 (*.f64 y (-.f64 (/.f64 x (-.f64 a z)) (/.f64 t (-.f64 a z))))) | |
| 24.5b | (+.f64 x (*.f64 (*.f64 (-.f64 t x) (-.f64 y z)) (/.f64 1 (-.f64 a z)))) |
Compiled 3131 to 906 computations (71.1% saved)
Found 4 expressions with local error:
| 4.3b | (/.f64 (*.f64 x y) (-.f64 a z)) |
| 5.2b | (/.f64 (*.f64 t y) (-.f64 a z)) |
| 7.7b | (/.f64 (*.f64 t z) (-.f64 a z)) |
| 10.3b | (/.f64 (*.f64 x z) (-.f64 a z)) |
| 1× | rewrite-expression-head |
| 28× | *-un-lft-identity_binary64 |
| 28× | add-sqr-sqrt_binary64 |
| 24× | add-cbrt-cube_binary64 |
| 24× | add-exp-log_binary64 |
| 20× | associate-/r*_binary64 |
4 calls:
| 10.0ms | (/.f64 (*.f64 x z) (-.f64 a z)) |
| 5.0ms | (/.f64 (*.f64 t y) (-.f64 a z)) |
| 5.0ms | (/.f64 (*.f64 x y) (-.f64 a z)) |
| 5.0ms | (/.f64 (*.f64 t z) (-.f64 a z)) |
Compiled 4021 to 560 computations (86.1% saved)
4 calls:
| 51.0ms | (/.f64 (*.f64 t y) (-.f64 a z)) |
| 45.0ms | (/.f64 (*.f64 x y) (-.f64 a z)) |
| 32.0ms | (/.f64 (*.f64 t z) (-.f64 a z)) |
| 30.0ms | (/.f64 (*.f64 x z) (-.f64 a z)) |
Compiled 6073 to 2844 computations (53.2% saved)
| 1× | egg-herbie |
| 724× | associate-/r*_binary64 |
| 597× | associate-/r/_binary64 |
| 589× | associate-*r*_binary64 |
| 270× | associate-/l*_binary64 |
| 221× | times-frac_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 233 | 3068 |
| 1 | 627 | 2816 |
| 2 | 2258 | 2603 |
| 3 | 4964 | 2603 |
| 4 | 5019 | 2603 |
12 alts after pruning (10 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 138 | 0 | 138 |
| Fresh | 0 | 10 | 10 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 138 | 12 | 150 |
| Status | Error | Program |
| 39.4b | (+.f64 x (*.f64 (/.f64 (-.f64 y z) (sqrt.f64 (-.f64 a z))) (/.f64 (-.f64 t x) (sqrt.f64 (-.f64 a z))))) | |
| 29.4b | (neg.f64 (*.f64 t (-.f64 (/.f64 z (-.f64 a z)) (/.f64 y (-.f64 a z))))) | |
| 38.0b | (*.f64 x (-.f64 (+.f64 (/.f64 z (-.f64 a z)) 1) (/.f64 y (-.f64 a z)))) | |
| ✓ | 16.7b | (+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))) |
| 38.5b | (+.f64 x (/.f64 (*.f64 (/.f64 (-.f64 t x) (-.f64 a z)) (-.f64 (*.f64 y y) (*.f64 z z))) (+.f64 y z))) | |
| ✓ | 21.1b | (-.f64 (+.f64 x (+.f64 (/.f64 (*.f64 x z) (-.f64 a z)) (/.f64 (*.f64 t y) (-.f64 a z)))) (+.f64 (/.f64 (*.f64 x y) (-.f64 a z)) (/.f64 (*.f64 t z) (-.f64 a z)))) |
| 35.6b | (+.f64 x (*.f64 (-.f64 y z) (cbrt.f64 (pow.f64 (/.f64 (-.f64 t x) (-.f64 a z)) 3)))) | |
| 38.7b | (+.f64 x (cbrt.f64 (pow.f64 (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))) 3))) | |
| 42.6b | (+.f64 x (*.f64 (*.f64 (-.f64 y z) (sqrt.f64 (-.f64 t x))) (/.f64 (sqrt.f64 (-.f64 t x)) (-.f64 a z)))) | |
| 35.5b | (-.f64 (+.f64 (/.f64 (*.f64 x y) z) (+.f64 t (/.f64 (*.f64 t a) z))) (+.f64 (/.f64 (*.f64 t y) z) (/.f64 (*.f64 x a) z))) | |
| 41.7b | (neg.f64 (*.f64 y (-.f64 (/.f64 x (-.f64 a z)) (/.f64 t (-.f64 a z))))) | |
| ▶ | 24.5b | (+.f64 x (*.f64 (*.f64 (-.f64 t x) (-.f64 y z)) (/.f64 1 (-.f64 a z)))) |
Compiled 2889 to 649 computations (77.5% saved)
Found 4 expressions with local error:
| 0.0b | (/.f64 1 (-.f64 a z)) |
| 0.0b | (*.f64 (-.f64 t x) (-.f64 y z)) |
| 2.5b | (+.f64 x (*.f64 (*.f64 (-.f64 t x) (-.f64 y z)) (/.f64 1 (-.f64 a z)))) |
| 17.4b | (*.f64 (*.f64 (-.f64 t x) (-.f64 y z)) (/.f64 1 (-.f64 a z))) |
| 1× | rewrite-expression-head |
| 47× | add-sqr-sqrt_binary64 |
| 45× | *-un-lft-identity_binary64 |
| 32× | add-exp-log_binary64 |
| 30× | times-frac_binary64 |
| 27× | add-cube-cbrt_binary64 |
4 calls:
| 17.0ms | (*.f64 (*.f64 (-.f64 t x) (-.f64 y z)) (/.f64 1 (-.f64 a z))) |
| 8.0ms | (*.f64 (-.f64 t x) (-.f64 y z)) |
| 4.0ms | (/.f64 1 (-.f64 a z)) |
| 3.0ms | (+.f64 x (*.f64 (*.f64 (-.f64 t x) (-.f64 y z)) (/.f64 1 (-.f64 a z)))) |
Compiled 3533 to 1163 computations (67.1% saved)
4 calls:
| 140.0ms | (+.f64 x (*.f64 (*.f64 (-.f64 t x) (-.f64 y z)) (/.f64 1 (-.f64 a z)))) |
| 110.0ms | (*.f64 (*.f64 (-.f64 t x) (-.f64 y z)) (/.f64 1 (-.f64 a z))) |
| 34.0ms | (*.f64 (-.f64 t x) (-.f64 y z)) |
| 20.0ms | (/.f64 1 (-.f64 a z)) |
Compiled 8159 to 4425 computations (45.8% saved)
| 1× | egg-herbie |
| 350× | associate-+r+_binary64 |
| 291× | associate-*l*_binary64 |
| 286× | associate-+l+_binary64 |
| 235× | associate-*r*_binary64 |
| 202× | associate--l+_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 449 | 7772 |
| 1 | 1311 | 7652 |
| 2 | 4935 | 7604 |
| 3 | 4995 | 7604 |
| 4 | 5056 | 7604 |
10 alts after pruning (8 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 216 | 2 | 218 |
| Fresh | 3 | 6 | 9 |
| Picked | 0 | 1 | 1 |
| Done | 1 | 1 | 2 |
| Total | 220 | 10 | 230 |
| Status | Error | Program |
| 38.0b | (*.f64 x (-.f64 (+.f64 (/.f64 z (-.f64 a z)) 1) (/.f64 y (-.f64 a z)))) | |
| ✓ | 16.7b | (+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))) |
| ▶ | 12.0b | (+.f64 x (*.f64 (-.f64 t x) (/.f64 (-.f64 y z) (-.f64 a z)))) |
| 38.5b | (+.f64 x (/.f64 (*.f64 (/.f64 (-.f64 t x) (-.f64 a z)) (-.f64 (*.f64 y y) (*.f64 z z))) (+.f64 y z))) | |
| 39.4b | (+.f64 x (*.f64 (/.f64 (-.f64 y z) (sqrt.f64 (-.f64 a z))) (/.f64 (-.f64 t x) (sqrt.f64 (-.f64 a z))))) | |
| 35.5b | (-.f64 (+.f64 (/.f64 (*.f64 x y) z) (+.f64 t (/.f64 (*.f64 t a) z))) (+.f64 (/.f64 (*.f64 t y) z) (/.f64 (*.f64 x a) z))) | |
| 41.7b | (neg.f64 (*.f64 y (-.f64 (/.f64 x (-.f64 a z)) (/.f64 t (-.f64 a z))))) | |
| 39.5b | (+.f64 x (cbrt.f64 (pow.f64 (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)) 3))) | |
| 35.6b | (+.f64 x (*.f64 (-.f64 y z) (cbrt.f64 (pow.f64 (/.f64 (-.f64 t x) (-.f64 a z)) 3)))) | |
| ✓ | 24.5b | (+.f64 x (*.f64 (*.f64 (-.f64 t x) (-.f64 y z)) (/.f64 1 (-.f64 a z)))) |
Compiled 4011 to 1147 computations (71.4% saved)
Found 3 expressions with local error:
| 0.0b | (/.f64 (-.f64 y z) (-.f64 a z)) |
| 1.6b | (*.f64 (-.f64 t x) (/.f64 (-.f64 y z) (-.f64 a z))) |
| 1.8b | (+.f64 x (*.f64 (-.f64 t x) (/.f64 (-.f64 y z) (-.f64 a z)))) |
| 1× | rewrite-expression-head |
| 78× | add-sqr-sqrt_binary64 |
| 73× | *-un-lft-identity_binary64 |
| 51× | times-frac_binary64 |
| 31× | associate-*r*_binary64 |
| 27× | add-cube-cbrt_binary64 |
3 calls:
| 16.0ms | (*.f64 (-.f64 t x) (/.f64 (-.f64 y z) (-.f64 a z))) |
| 6.0ms | (/.f64 (-.f64 y z) (-.f64 a z)) |
| 3.0ms | (+.f64 x (*.f64 (-.f64 t x) (/.f64 (-.f64 y z) (-.f64 a z)))) |
Compiled 2312 to 458 computations (80.2% saved)
3 calls:
| 140.0ms | (+.f64 x (*.f64 (-.f64 t x) (/.f64 (-.f64 y z) (-.f64 a z)))) |
| 112.0ms | (*.f64 (-.f64 t x) (/.f64 (-.f64 y z) (-.f64 a z))) |
| 45.0ms | (/.f64 (-.f64 y z) (-.f64 a z)) |
Compiled 7907 to 4246 computations (46.3% saved)
| 1× | egg-herbie |
| 873× | times-frac_binary64 |
| 345× | associate-+r+_binary64 |
| 293× | associate-+l+_binary64 |
| 238× | associate--l+_binary64 |
| 209× | associate--r+_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 447 | 7477 |
| 1 | 1286 | 7387 |
| 2 | 4909 | 7324 |
| 3 | 5966 | 7324 |
10 alts after pruning (7 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 150 | 1 | 151 |
| Fresh | 1 | 6 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 151 | 10 | 161 |
| Status | Error | Program |
| 38.0b | (*.f64 x (-.f64 (+.f64 (/.f64 z (-.f64 a z)) 1) (/.f64 y (-.f64 a z)))) | |
| 16.7b | (+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))) | |
| 12.0b | (+.f64 x (*.f64 (-.f64 t x) (/.f64 (-.f64 y z) (-.f64 a z)))) | |
| 38.5b | (+.f64 x (/.f64 (*.f64 (/.f64 (-.f64 t x) (-.f64 a z)) (-.f64 (*.f64 y y) (*.f64 z z))) (+.f64 y z))) | |
| 39.4b | (+.f64 x (*.f64 (/.f64 (-.f64 y z) (sqrt.f64 (-.f64 a z))) (/.f64 (-.f64 t x) (sqrt.f64 (-.f64 a z))))) | |
| 35.5b | (-.f64 (+.f64 (/.f64 (*.f64 x y) z) (+.f64 t (/.f64 (*.f64 t a) z))) (+.f64 (/.f64 (*.f64 t y) z) (/.f64 (*.f64 x a) z))) | |
| 41.7b | (neg.f64 (*.f64 y (-.f64 (/.f64 x (-.f64 a z)) (/.f64 t (-.f64 a z))))) | |
| 39.5b | (+.f64 x (cbrt.f64 (pow.f64 (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)) 3))) | |
| 24.5b | (+.f64 x (*.f64 (*.f64 (-.f64 t x) (-.f64 y z)) (/.f64 1 (-.f64 a z)))) | |
| 20.8b | (+.f64 x (*.f64 (-.f64 t x) (cbrt.f64 (pow.f64 (/.f64 (-.f64 y z) (-.f64 a z)) 3)))) |
Compiled 3110 to 777 computations (75% saved)
Total 4.2b remaining (79.1%)
Threshold costs 0b (0%)
Compiled 28115 to 15931 computations (43.3% saved)
Compiled 18 to 11 computations (38.9% saved)
| 1× | egg-herbie |
| 19× | +-commutative_binary64 |
| 16× | *-commutative_binary64 |
| 14× | sub-neg_binary64 |
| 10× | neg-sub0_binary64 |
| 10× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 34 | 106 |
| 1 | 55 | 106 |
| 2 | 70 | 106 |
| 3 | 86 | 106 |
| 4 | 108 | 106 |
| 5 | 120 | 106 |
| 6 | 128 | 106 |
| 7 | 131 | 106 |
| 8 | 131 | 106 |
Compiled 76 to 33 computations (56.6% saved)
| 1× | intervals |
| 357.0ms | 6698× | body | 128 | valid |
| 70.0ms | 388× | body | 1024 | valid |
| 68.0ms | 1178× | body | 128 | invalid |
| 61.0ms | 472× | body | 512 | valid |
| 34.0ms | 389× | body | 256 | valid |
| 11.0ms | 53× | body | 2048 | valid |
Compiled 317 to 181 computations (42.9% saved)
Loading profile data...