Time bar (total: 5.2s)
| 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 |
| 0% | 99.9% | 0.1% | 6 |
| 25% | 74.9% | 0.1% | 7 |
| 31.2% | 68.6% | 0.1% | 8 |
| 35.9% | 64% | 0.1% | 9 |
| 47.6% | 49.9% | 2.5% | 10 |
| 49.1% | 46.8% | 4% | 11 |
| 51.1% | 44.1% | 4.8% | 12 |
| 60.2% | 29.9% | 9.9% | 13 |
| 60.6% | 27.9% | 11.6% | 14 |
Compiled 15 to 10 computations (33.3% saved)
| 1× | intervals |
| 11.0ms | 256× | body | 128 | valid |
| 2.0ms | 49× | body | 128 | invalid |
Compiled 32 to 22 computations (31.3% saved)
| 1× | egg-herbie |
| 826× | associate-*r/_binary64 |
| 769× | associate-/l/_binary64 |
| 660× | associate-*l/_binary64 |
| 522× | associate-/l*_binary64 |
| 421× | fma-def_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 16 |
| 1 | 30 | 16 |
| 2 | 78 | 14 |
| 3 | 195 | 14 |
| 4 | 314 | 14 |
| 5 | 383 | 14 |
| 6 | 426 | 14 |
| 7 | 631 | 14 |
| 8 | 1009 | 14 |
| 9 | 2204 | 14 |
| 10 | 2868 | 14 |
| 11 | 2967 | 14 |
| 12 | 3079 | 14 |
| 13 | 3193 | 14 |
| 14 | 3058 | 14 |
| 15 | 3712 | 14 |
| 16 | 4988 | 14 |
| 17 | 4824 | 14 |
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 |
| ▶ | 7.9b | (*.f64 x (/.f64 (/.f64 y (fma.f64 z z z)) z)) |
| 15.1b | (/.f64 (*.f64 x y) (*.f64 (*.f64 z z) (+.f64 z 1))) |
Compiled 67 to 39 computations (41.8% saved)
Found 3 expressions with local error:
| 0.1b | (/.f64 (/.f64 y (fma.f64 z z z)) z) |
| 4.9b | (/.f64 y (fma.f64 z z z)) |
| 6.7b | (*.f64 x (/.f64 (/.f64 y (fma.f64 z z z)) z)) |
| 1× | rewrite-expression-head |
| 36× | add-cube-cbrt_binary64 |
| 24× | add-exp-log_binary64 |
| 19× | pow1_binary64 |
| 19× | add-cbrt-cube_binary64 |
| 16× | add-sqr-sqrt_binary64 |
3 calls:
| 14.0ms | (*.f64 x (/.f64 (/.f64 y (fma.f64 z z z)) z)) |
| 13.0ms | (/.f64 (/.f64 y (fma.f64 z z z)) z) |
| 12.0ms | (/.f64 y (fma.f64 z z z)) |
Compiled 1988 to 393 computations (80.2% saved)
3 calls:
| 37.0ms | (*.f64 x (/.f64 (/.f64 y (fma.f64 z z z)) z)) |
| 23.0ms | (/.f64 (/.f64 y (fma.f64 z z z)) z) |
| 21.0ms | (/.f64 y (fma.f64 z z z)) |
Compiled 1018 to 635 computations (37.6% saved)
| 1× | egg-herbie |
| 518× | associate-/l/_binary64 |
| 401× | fma-neg_binary64 |
| 271× | associate-/r/_binary64 |
| 188× | fma-def_binary64 |
| 140× | times-frac_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 165 | 2016 |
| 1 | 338 | 1832 |
| 2 | 1582 | 1810 |
| 3 | 4778 | 1810 |
| 4 | 5123 | 1810 |
10 alts after pruning (9 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 75 | 9 | 84 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 76 | 10 | 86 |
| Status | Error | Program |
| 30.5b | (*.f64 x (-.f64 (/.f64 y (pow.f64 z 3)) (/.f64 y (pow.f64 z 4)))) | |
| 29.8b | (*.f64 (/.f64 y z) (-.f64 (/.f64 x z) x)) | |
| 15.1b | (/.f64 (*.f64 y x) (*.f64 z (fma.f64 z z z))) | |
| ✓ | 7.9b | (*.f64 x (/.f64 (/.f64 y (fma.f64 z z z)) z)) |
| 19.3b | (*.f64 x (/.f64 (*.f64 (sqrt.f64 (/.f64 y (fma.f64 z z z))) (sqrt.f64 (/.f64 y (fma.f64 z z z)))) z)) | |
| 20.9b | (*.f64 x (/.f64 (cbrt.f64 (pow.f64 (/.f64 y (fma.f64 z z z)) 3)) z)) | |
| ▶ | 5.1b | (/.f64 (*.f64 x (/.f64 y (fma.f64 z z z))) z) |
| 15.1b | (/.f64 1 (/.f64 (*.f64 z (fma.f64 z z z)) (*.f64 y x))) | |
| 27.1b | (*.f64 (sqrt.f64 (/.f64 (*.f64 y x) (*.f64 z (fma.f64 z z z)))) (sqrt.f64 (/.f64 (*.f64 y x) (*.f64 z (fma.f64 z z z))))) | |
| 23.4b | (*.f64 x (/.f64 y (*.f64 z z))) |
Compiled 1102 to 341 computations (69.1% saved)
Found 3 expressions with local error:
| 1.7b | (/.f64 (*.f64 x (/.f64 y (fma.f64 z z z))) z) |
| 4.9b | (/.f64 y (fma.f64 z z z)) |
| 5.0b | (*.f64 x (/.f64 y (fma.f64 z z z))) |
| 1× | rewrite-expression-head |
| 31× | add-cube-cbrt_binary64 |
| 24× | add-exp-log_binary64 |
| 19× | pow1_binary64 |
| 19× | add-cbrt-cube_binary64 |
| 16× | add-sqr-sqrt_binary64 |
3 calls:
| 14.0ms | (/.f64 y (fma.f64 z z z)) |
| 14.0ms | (/.f64 (*.f64 x (/.f64 y (fma.f64 z z z))) z) |
| 13.0ms | (*.f64 x (/.f64 y (fma.f64 z z z))) |
Compiled 1903 to 390 computations (79.5% saved)
3 calls:
| 40.0ms | (/.f64 (*.f64 x (/.f64 y (fma.f64 z z z))) z) |
| 29.0ms | (*.f64 x (/.f64 y (fma.f64 z z z))) |
| 18.0ms | (/.f64 y (fma.f64 z z z)) |
Compiled 1057 to 638 computations (39.6% saved)
| 1× | egg-herbie |
| 634× | associate-/l/_binary64 |
| 427× | associate-/r/_binary64 |
| 241× | fma-neg_binary64 |
| 143× | times-frac_binary64 |
| 143× | fma-def_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 156 | 2000 |
| 1 | 327 | 1820 |
| 2 | 1504 | 1781 |
| 3 | 4925 | 1781 |
| 4 | 5102 | 1781 |
11 alts after pruning (9 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 85 | 4 | 89 |
| Fresh | 3 | 5 | 8 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 88 | 11 | 99 |
| Status | Error | Program |
| 30.5b | (*.f64 x (-.f64 (/.f64 y (pow.f64 z 3)) (/.f64 y (pow.f64 z 4)))) | |
| 26.9b | (/.f64 (exp.f64 (log.f64 (/.f64 (*.f64 y x) (fma.f64 z z z)))) z) | |
| 29.8b | (*.f64 (/.f64 y z) (-.f64 (/.f64 x z) x)) | |
| 8.8b | (/.f64 (pow.f64 (/.f64 (*.f64 y x) (fma.f64 z z z)) 1) z) | |
| ✓ | 5.1b | (/.f64 (*.f64 x (/.f64 y (fma.f64 z z z))) z) |
| 6.1b | (/.f64 (*.f64 (/.f64 y (fma.f64 z z z)) (/.f64 x (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) (cbrt.f64 z)) | |
| 15.1b | (/.f64 (*.f64 y x) (*.f64 z (fma.f64 z z z))) | |
| ✓ | 7.9b | (*.f64 x (/.f64 (/.f64 y (fma.f64 z z z)) z)) |
| ▶ | 5.7b | (/.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (/.f64 y (fma.f64 z z z)) (cbrt.f64 x))) z) |
| 19.3b | (*.f64 x (/.f64 (*.f64 (sqrt.f64 (/.f64 y (fma.f64 z z z))) (sqrt.f64 (/.f64 y (fma.f64 z z z)))) z)) | |
| 27.1b | (*.f64 (sqrt.f64 (/.f64 (*.f64 y x) (*.f64 z (fma.f64 z z z)))) (sqrt.f64 (/.f64 (*.f64 y x) (*.f64 z (fma.f64 z z z))))) |
Compiled 1090 to 355 computations (67.4% saved)
Found 4 expressions with local error:
| 1.7b | (/.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (/.f64 y (fma.f64 z z z)) (cbrt.f64 x))) z) |
| 2.5b | (*.f64 (/.f64 y (fma.f64 z z z)) (cbrt.f64 x)) |
| 2.6b | (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (/.f64 y (fma.f64 z z z)) (cbrt.f64 x))) |
| 4.9b | (/.f64 y (fma.f64 z z z)) |
| 1× | rewrite-expression-head |
| 40× | add-exp-log_binary64 |
| 34× | add-cube-cbrt_binary64 |
| 23× | add-cbrt-cube_binary64 |
| 22× | add-sqr-sqrt_binary64 |
| 18× | pow1_binary64 |
4 calls:
| 19.0ms | (/.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (/.f64 y (fma.f64 z z z)) (cbrt.f64 x))) z) |
| 17.0ms | (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (/.f64 y (fma.f64 z z z)) (cbrt.f64 x))) |
| 13.0ms | (*.f64 (/.f64 y (fma.f64 z z z)) (cbrt.f64 x)) |
| 12.0ms | (/.f64 y (fma.f64 z z z)) |
Compiled 3600 to 571 computations (84.1% saved)
4 calls:
| 53.0ms | (*.f64 (/.f64 y (fma.f64 z z z)) (cbrt.f64 x)) |
| 45.0ms | (/.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (/.f64 y (fma.f64 z z z)) (cbrt.f64 x))) z) |
| 35.0ms | (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (/.f64 y (fma.f64 z z z)) (cbrt.f64 x))) |
| 18.0ms | (/.f64 y (fma.f64 z z z)) |
Compiled 1912 to 1149 computations (39.9% saved)
| 1× | egg-herbie |
| 842× | fma-def_binary64 |
| 248× | cancel-sign-sub-inv_binary64 |
| 231× | distribute-rgt-neg-in_binary64 |
| 214× | times-frac_binary64 |
| 204× | associate-*l*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 210 | 3521 |
| 1 | 486 | 2507 |
| 2 | 2462 | 2477 |
| 3 | 4783 | 2477 |
| 4 | 5410 | 2477 |
11 alts after pruning (9 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 119 | 2 | 121 |
| Fresh | 1 | 7 | 8 |
| Picked | 0 | 1 | 1 |
| Done | 1 | 1 | 2 |
| Total | 121 | 11 | 132 |
| Status | Error | Program |
| 30.5b | (*.f64 x (-.f64 (/.f64 y (pow.f64 z 3)) (/.f64 y (pow.f64 z 4)))) | |
| 26.9b | (/.f64 (exp.f64 (log.f64 (/.f64 (*.f64 y x) (fma.f64 z z z)))) z) | |
| 29.8b | (*.f64 (/.f64 y z) (-.f64 (/.f64 x z) x)) | |
| 8.8b | (/.f64 (pow.f64 (/.f64 (*.f64 y x) (fma.f64 z z z)) 1) z) | |
| 19.3b | (*.f64 x (/.f64 (*.f64 (sqrt.f64 (/.f64 y (fma.f64 z z z))) (sqrt.f64 (/.f64 y (fma.f64 z z z)))) z)) | |
| 5.7b | (/.f64 (/.f64 (*.f64 (/.f64 y (fma.f64 z z z)) x) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)) | |
| 15.1b | (/.f64 (*.f64 y x) (*.f64 z (fma.f64 z z z))) | |
| ✓ | 7.9b | (*.f64 x (/.f64 (/.f64 y (fma.f64 z z z)) z)) |
| ✓ | 5.7b | (/.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (/.f64 y (fma.f64 z z z)) (cbrt.f64 x))) z) |
| ▶ | 5.2b | (/.f64 1 (/.f64 z (*.f64 (/.f64 y (fma.f64 z z z)) x))) |
| 27.1b | (*.f64 (sqrt.f64 (/.f64 (*.f64 y x) (*.f64 z (fma.f64 z z z)))) (sqrt.f64 (/.f64 (*.f64 y x) (*.f64 z (fma.f64 z z z))))) |
Compiled 1575 to 469 computations (70.2% saved)
Found 4 expressions with local error:
| 0.2b | (/.f64 1 (/.f64 z (*.f64 (/.f64 y (fma.f64 z z z)) x))) |
| 1.7b | (/.f64 z (*.f64 (/.f64 y (fma.f64 z z z)) x)) |
| 4.9b | (/.f64 y (fma.f64 z z z)) |
| 5.0b | (*.f64 (/.f64 y (fma.f64 z z z)) x) |
| 1× | rewrite-expression-head |
| 47× | add-cube-cbrt_binary64 |
| 42× | add-exp-log_binary64 |
| 26× | add-cbrt-cube_binary64 |
| 23× | pow1_binary64 |
| 20× | add-sqr-sqrt_binary64 |
4 calls:
| 16.0ms | (/.f64 y (fma.f64 z z z)) |
| 15.0ms | (/.f64 z (*.f64 (/.f64 y (fma.f64 z z z)) x)) |
| 15.0ms | (/.f64 1 (/.f64 z (*.f64 (/.f64 y (fma.f64 z z z)) x))) |
| 14.0ms | (*.f64 (/.f64 y (fma.f64 z z z)) x) |
Compiled 3009 to 816 computations (72.9% saved)
4 calls:
| 37.0ms | (/.f64 z (*.f64 (/.f64 y (fma.f64 z z z)) x)) |
| 37.0ms | (/.f64 1 (/.f64 z (*.f64 (/.f64 y (fma.f64 z z z)) x))) |
| 29.0ms | (*.f64 (/.f64 y (fma.f64 z z z)) x) |
| 17.0ms | (/.f64 y (fma.f64 z z z)) |
Compiled 1558 to 1009 computations (35.2% saved)
| 1× | egg-herbie |
| 294× | fma-neg_binary64 |
| 203× | times-frac_binary64 |
| 170× | fma-def_binary64 |
| 151× | distribute-rgt-in_binary64 |
| 149× | unswap-sqr_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 201 | 3030 |
| 1 | 401 | 2678 |
| 2 | 1956 | 2636 |
| 3 | 4759 | 2636 |
| 4 | 4981 | 2636 |
10 alts after pruning (7 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 132 | 1 | 133 |
| Fresh | 2 | 6 | 8 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 134 | 10 | 144 |
| Status | Error | Program |
| 29.8b | (*.f64 (/.f64 y z) (-.f64 (/.f64 x z) x)) | |
| 8.8b | (/.f64 (pow.f64 (/.f64 (*.f64 y x) (fma.f64 z z z)) 1) z) | |
| 8.3b | (/.f64 1 (*.f64 (/.f64 z x) (+.f64 (/.f64 z y) (/.f64 z (/.f64 y z))))) | |
| 5.7b | (/.f64 (/.f64 (*.f64 (/.f64 y (fma.f64 z z z)) x) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)) | |
| 30.5b | (*.f64 x (-.f64 (/.f64 y (pow.f64 z 3)) (/.f64 y (pow.f64 z 4)))) | |
| 15.1b | (/.f64 (*.f64 y x) (*.f64 z (fma.f64 z z z))) | |
| 7.9b | (*.f64 x (/.f64 (/.f64 y (fma.f64 z z z)) z)) | |
| 5.7b | (/.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (/.f64 y (fma.f64 z z z)) (cbrt.f64 x))) z) | |
| 5.2b | (/.f64 1 (/.f64 z (*.f64 (/.f64 y (fma.f64 z z z)) x))) | |
| 27.1b | (*.f64 (sqrt.f64 (/.f64 (*.f64 y x) (*.f64 z (fma.f64 z z z)))) (sqrt.f64 (/.f64 (*.f64 y x) (*.f64 z (fma.f64 z z z))))) |
Compiled 1486 to 440 computations (70.4% saved)
Total 0.5b remaining (67%)
Threshold costs 0.5b (67%)
Compiled 11451 to 6628 computations (42.1% saved)
Compiled 6 to 4 computations (33.3% saved)
| 1× | egg-herbie |
| 2× | *-commutative_binary64 |
| 1× | +-commutative_binary64 |
| 1× | 1-exp_binary64 |
| 1× | unpow1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 34 | 125 |
| 1 | 38 | 125 |
| 2 | 37 | 125 |
Compiled 267 to 99 computations (62.9% saved)
| 1× | intervals |
| 373.0ms | 8000× | body | 128 | valid |
| 76.0ms | 1614× | body | 128 | invalid |
Compiled 275 to 136 computations (50.5% saved)
Loading profile data...