Time bar (total: 6.6s)
| 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 |
| 12.5% | 87.4% | 0.1% | 4 |
| 12.5% | 87.4% | 0.1% | 5 |
| 15.6% | 84.3% | 0.1% | 6 |
| 32.8% | 67.1% | 0.1% | 7 |
| 38.2% | 61.6% | 0.1% | 8 |
| 46% | 53.8% | 0.1% | 9 |
| 62.6% | 37.3% | 0.1% | 10 |
| 67.2% | 32.7% | 0.1% | 11 |
| 71.1% | 28.8% | 0.1% | 12 |
| 81.6% | 18.2% | 0.1% | 13 |
| 84.1% | 15.7% | 0.1% | 14 |
Compiled 13 to 9 computations (30.8% saved)
| 1× | intervals |
| 9.0ms | 256× | body | 128 | valid |
Compiled 28 to 20 computations (28.6% saved)
| 1× | egg-herbie |
| 2674× | fma-neg_binary64 |
| 2270× | div-sub_binary64 |
| 1877× | fma-def_binary64 |
| 968× | associate-/l/_binary64 |
| 705× | associate-/r/_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 13 |
| 1 | 14 | 13 |
| 2 | 20 | 13 |
| 3 | 28 | 13 |
| 4 | 41 | 13 |
| 5 | 55 | 13 |
| 6 | 72 | 13 |
| 7 | 85 | 13 |
| 8 | 102 | 13 |
| 9 | 127 | 13 |
| 10 | 155 | 13 |
| 11 | 215 | 13 |
| 12 | 356 | 13 |
| 13 | 666 | 13 |
| 14 | 1204 | 13 |
| 15 | 1746 | 13 |
| 16 | 1897 | 13 |
| 17 | 2006 | 13 |
| 18 | 2246 | 13 |
| 19 | 2452 | 13 |
| 20 | 1993 | 13 |
| 21 | 2354 | 13 |
| 22 | 2400 | 13 |
| 23 | 2609 | 13 |
| 24 | 2737 | 13 |
| 25 | 2812 | 13 |
| 26 | 2982 | 13 |
| 27 | 2984 | 13 |
| 28 | 3004 | 13 |
| 29 | 3004 | 13 |
| 30 | 3850 | 13 |
| 31 | 5135 | 13 |
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 |
| ▶ | 8.8b | (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) |
Compiled 36 to 24 computations (33.3% saved)
Found 1 expressions with local error:
| New | Error | Program |
| ✓ | 8.8b | (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) |
1 calls:
| 29.0ms | (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) |
| 1× | rewrite-expression-head |
| 55× | add-sqr-sqrt_binary64 |
| 53× | *-un-lft-identity_binary64 |
| 42× | times-frac_binary64 |
| 20× | difference-of-squares_binary64 |
| 15× | add-cube-cbrt_binary64 |
1 calls:
| 8.0ms | (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) |
| 1× | egg-herbie |
| 450× | fma-def_binary64 |
| 293× | times-frac_binary64 |
| 278× | associate-/l*_binary64 |
| 255× | distribute-rgt-in_binary64 |
| 189× | distribute-lft-in_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 178 | 2629 |
| 1 | 452 | 2552 |
| 2 | 1433 | 2416 |
| 3 | 4783 | 2407 |
| 4 | 4885 | 2405 |
| 5 | 4974 | 2405 |
7 alts after pruning (6 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 109 | 6 | 115 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 109 | 7 | 116 |
| Status | Error | Program |
| 34.5b | (*.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 y x)) (cbrt.f64 (+.f64 y x))) (+.f64 1 (sqrt.f64 (/.f64 y z)))) (/.f64 (cbrt.f64 (+.f64 y x)) (-.f64 1 (sqrt.f64 (/.f64 y z))))) | |
| 37.4b | (neg.f64 (+.f64 (/.f64 (*.f64 (pow.f64 z 2) x) (pow.f64 y 2)) (+.f64 (/.f64 (pow.f64 z 2) y) (+.f64 (/.f64 (*.f64 z x) y) (+.f64 z (/.f64 (pow.f64 z 3) (pow.f64 y 2))))))) | |
| ✓ | 8.8b | (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) |
| ▶ | 10.0b | (*.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))) (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))))) (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))))) |
| 39.0b | (cbrt.f64 (pow.f64 (/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z))) 3)) | |
| 18.7b | (*.f64 (/.f64 (+.f64 y x) (-.f64 1 (*.f64 (/.f64 y z) (/.f64 y z)))) (+.f64 1 (/.f64 y z))) | |
| 23.0b | (*.f64 (/.f64 (+.f64 y x) (-.f64 1 (pow.f64 (/.f64 y z) 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (/.f64 y z) (/.f64 y z)) (*.f64 1 (/.f64 y z))))) |
Compiled 2780 to 1229 computations (55.8% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (*.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))) (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))))) (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))))) |
| ✓ | 0.5b | (*.f64 (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))) (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))))) |
| ✓ | 0.6b | (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))) |
| 8.8b | (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) |
3 calls:
| 276.0ms | (*.f64 (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))) (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))))) |
| 128.0ms | (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))) |
| 28.0ms | (*.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))) (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))))) (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))))) |
| 1× | rewrite-expression-head |
| 406× | *-un-lft-identity_binary64 |
| 346× | add-sqr-sqrt_binary64 |
| 311× | times-frac_binary64 |
| 298× | cbrt-prod_binary64 |
| 112× | difference-of-squares_binary64 |
3 calls:
| 46.0ms | (*.f64 (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))) (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))))) |
| 34.0ms | (*.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))) (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))))) (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))))) |
| 7.0ms | (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))) |
| 1× | egg-herbie |
| 406× | *-commutative_binary64 |
| 260× | +-commutative_binary64 |
| 200× | associate-+r+_binary64 |
| 187× | fma-def_binary64 |
| 129× | cancel-sign-sub-inv_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 1140 | 24964 |
| 1 | 3567 | 23645 |
| 2 | 4898 | 23360 |
| 3 | 4988 | 23360 |
5 alts after pruning (4 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1123 | 2 | 1125 |
| Fresh | 3 | 2 | 5 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 1127 | 5 | 1132 |
| Status | Error | Program |
| 35.8b | (neg.f64 (+.f64 (/.f64 (*.f64 z x) y) (+.f64 z (/.f64 (*.f64 z z) y)))) | |
| 39.0b | (cbrt.f64 (pow.f64 (/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z))) 3)) | |
| ✓ | 8.8b | (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) |
| ▶ | 10.0b | (pow.f64 (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))) 3) |
| 23.0b | (*.f64 (/.f64 (+.f64 y x) (-.f64 1 (pow.f64 (/.f64 y z) 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (/.f64 y z) (/.f64 y z)) (*.f64 1 (/.f64 y z))))) |
Compiled 66846 to 34029 computations (49.1% saved)
Found 3 expressions with local error:
| New | Error | Program |
| 0.6b | (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))) | |
| ✓ | 0.8b | (pow.f64 (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))) 3) |
| 8.8b | (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) |
1 calls:
| 653.0ms | (pow.f64 (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))) 3) |
| 1× | rewrite-expression-head |
| 94× | *-un-lft-identity_binary64 |
| 94× | add-sqr-sqrt_binary64 |
| 80× | times-frac_binary64 |
| 76× | cbrt-prod_binary64 |
| 41× | cube-prod_binary64 |
1 calls:
| 11.0ms | (pow.f64 (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))) 3) |
| 1× | egg-herbie |
| 894× | fma-def_binary64 |
| 461× | times-frac_binary64 |
| 381× | associate-/l*_binary64 |
| 348× | associate-/r*_binary64 |
| 262× | associate-*r*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 443 | 6781 |
| 1 | 1406 | 6208 |
| 2 | 4966 | 6123 |
| 3 | 5555 | 6123 |
5 alts after pruning (3 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 365 | 0 | 365 |
| Fresh | 0 | 3 | 3 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 365 | 5 | 370 |
| Status | Error | Program |
| 35.8b | (neg.f64 (+.f64 (/.f64 (*.f64 z x) y) (+.f64 z (/.f64 (*.f64 z z) y)))) | |
| 39.0b | (cbrt.f64 (pow.f64 (/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z))) 3)) | |
| ✓ | 8.8b | (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) |
| ✓ | 10.0b | (pow.f64 (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))) 3) |
| ▶ | 23.0b | (*.f64 (/.f64 (+.f64 y x) (-.f64 1 (pow.f64 (/.f64 y z) 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (/.f64 y z) (/.f64 y z)) (*.f64 1 (/.f64 y z))))) |
Compiled 15101 to 8322 computations (44.9% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.2b | (*.f64 (/.f64 y z) (/.f64 y z)) |
| ✓ | 4.2b | (+.f64 (*.f64 (/.f64 y z) (/.f64 y z)) (*.f64 1 (/.f64 y z))) |
| ✓ | 4.3b | (/.f64 (+.f64 y x) (-.f64 1 (pow.f64 (/.f64 y z) 3))) |
| ✓ | 19.5b | (*.f64 (/.f64 (+.f64 y x) (-.f64 1 (pow.f64 (/.f64 y z) 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (/.f64 y z) (/.f64 y z)) (*.f64 1 (/.f64 y z))))) |
4 calls:
| 121.0ms | (*.f64 (/.f64 (+.f64 y x) (-.f64 1 (pow.f64 (/.f64 y z) 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (/.f64 y z) (/.f64 y z)) (*.f64 1 (/.f64 y z))))) |
| 78.0ms | (/.f64 (+.f64 y x) (-.f64 1 (pow.f64 (/.f64 y z) 3))) |
| 32.0ms | (*.f64 (/.f64 y z) (/.f64 y z)) |
| 22.0ms | (+.f64 (*.f64 (/.f64 y z) (/.f64 y z)) (*.f64 1 (/.f64 y z))) |
| 1× | rewrite-expression-head |
| 273× | add-sqr-sqrt_binary64 |
| 215× | *-un-lft-identity_binary64 |
| 205× | times-frac_binary64 |
| 108× | difference-of-squares_binary64 |
| 83× | associate-*l*_binary64 |
4 calls:
| 28.0ms | (*.f64 (/.f64 (+.f64 y x) (-.f64 1 (pow.f64 (/.f64 y z) 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (/.f64 y z) (/.f64 y z)) (*.f64 1 (/.f64 y z))))) |
| 12.0ms | (/.f64 (+.f64 y x) (-.f64 1 (pow.f64 (/.f64 y z) 3))) |
| 10.0ms | (*.f64 (/.f64 y z) (/.f64 y z)) |
| 5.0ms | (+.f64 (*.f64 (/.f64 y z) (/.f64 y z)) (*.f64 1 (/.f64 y z))) |
| 1× | egg-herbie |
| 368× | distribute-rgt-in_binary64 |
| 332× | distribute-lft-in_binary64 |
| 296× | associate-/l*_binary64 |
| 289× | associate-*l/_binary64 |
| 241× | associate-*r/_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 499 | 12421 |
| 1 | 1540 | 11628 |
| 2 | 4595 | 11448 |
| 3 | 4864 | 11448 |
| 4 | 4979 | 11448 |
5 alts after pruning (2 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 430 | 0 | 430 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 430 | 5 | 435 |
| Status | Error | Program |
| 35.8b | (neg.f64 (+.f64 (/.f64 (*.f64 z x) y) (+.f64 z (/.f64 (*.f64 z z) y)))) | |
| 39.0b | (cbrt.f64 (pow.f64 (/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z))) 3)) | |
| ✓ | 8.8b | (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z))) |
| ✓ | 10.0b | (pow.f64 (cbrt.f64 (/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))) 3) |
| ✓ | 23.0b | (*.f64 (/.f64 (+.f64 y x) (-.f64 1 (pow.f64 (/.f64 y z) 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (/.f64 y z) (/.f64 y z)) (*.f64 1 (/.f64 y z))))) |
Compiled 17465 to 8319 computations (52.4% saved)
Total 0.4b remaining (94.3%)
Threshold costs 0.4b (94.3%)
Compiled 10845 to 6831 computations (37% saved)
Compiled 12 to 8 computations (33.3% saved)
| 1× | egg-herbie |
| 22× | +-commutative_binary64 |
| 18× | *-commutative_binary64 |
| 17× | sub-neg_binary64 |
| 16× | neg-sub0_binary64 |
| 16× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 32 | 99 |
| 1 | 51 | 99 |
| 2 | 70 | 99 |
| 3 | 99 | 99 |
| 4 | 126 | 99 |
| 5 | 152 | 99 |
| 6 | 164 | 99 |
| 7 | 169 | 99 |
| 8 | 170 | 99 |
| 9 | 169 | 99 |
Compiled 69 to 42 computations (39.1% saved)
| 1× | intervals |
| 288.0ms | 7998× | body | 128 | valid |
| 0.0ms | 1× | body | 2048 | valid |
| 0.0ms | 1× | body | 256 | valid |
Compiled 176 to 113 computations (35.8% saved)
Loading profile data...