Time bar (total: 10.5s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.7% | 0.3% | 0 |
| 0% | 99.7% | 0.3% | 1 |
| 0% | 99.7% | 0.3% | 2 |
| 0% | 99.7% | 0.3% | 3 |
| 0% | 99.7% | 0.3% | 4 |
| 0% | 99.7% | 0.3% | 5 |
| 0% | 99.7% | 0.3% | 6 |
| 0% | 99.7% | 0.3% | 7 |
| 0% | 99.7% | 0.3% | 8 |
| 0% | 99.7% | 0.3% | 9 |
| 0% | 99.7% | 0.3% | 10 |
| 3.9% | 95.8% | 0.3% | 11 |
| 7.4% | 92.3% | 0.3% | 12 |
| 8.8% | 90.9% | 0.3% | 13 |
| 10.2% | 89.5% | 0.3% | 14 |
Compiled 24 to 16 computations (33.3% saved)
| 1.3s | 8256× | body | 128 | valid |
| 45.0ms | 285× | body | 128 | invalid |
Compiled 71 to 47 computations (33.8% saved)
| 1× | egg-herbie |
| 16× | fma-def_binary64 |
| 6× | +-commutative_binary64 |
| 6× | *-commutative_binary64 |
| 4× | associate-/l*_binary64 |
| 4× | associate-/r/_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 16 | 25 |
| 1 | 29 | 25 |
| 2 | 42 | 21 |
| 3 | 54 | 21 |
| 4 | 64 | 21 |
| 5 | 68 | 21 |
| 1× | saturated |
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 2 | 2 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 3 | 3 |
| Status | Error | Program |
| ▶ | 15.5b | (/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))) |
| 17.3b | (/.f64 (fma.f64 y (/.f64 z t) x) (+.f64 a (fma.f64 y (/.f64 b t) 1))) |
Compiled 126 to 78 computations (38.1% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (+.f64 x (/.f64 (*.f64 y z) t)) |
| ✓ | 4.4b | (/.f64 (*.f64 y b) t) |
| ✓ | 4.4b | (/.f64 (*.f64 y z) t) |
| ✓ | 11.6b | (/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))) |
4 calls:
| 149.0ms | (/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))) |
| 13.0ms | (/.f64 (*.f64 y z) t) |
| 12.0ms | (+.f64 x (/.f64 (*.f64 y z) t)) |
| 11.0ms | (/.f64 (*.f64 y b) t) |
| 1× | batch-egg-rewrite |
| 185× | add-sqr-sqrt_binary64 |
| 176× | log1p-expm1-u_binary64 |
| 176× | expm1-log1p-u_binary64 |
| 175× | add-cbrt-cube_binary64 |
| 170× | add-log-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 16 | 49 |
| 1 | 360 | 49 |
| 1× | node limit |
4 calls:
| 38.0ms | (+.f64 x (/.f64 (*.f64 y z) t)) |
| 38.0ms | (/.f64 (*.f64 y b) t) |
| 38.0ms | (/.f64 (*.f64 y z) t) |
| 38.0ms | (/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))) |
| 1× | egg-herbie |
| 733× | times-frac_binary64 |
| 509× | associate-/l*_binary64 |
| 394× | associate-/r*_binary64 |
| 229× | associate-*r*_binary64 |
| 220× | fma-def_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 356 | 7643 |
| 1 | 1440 | 7254 |
| 1× | node limit |
7 alts after pruning (6 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 197 | 6 | 203 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 198 | 7 | 205 |
| Status | Error | Program |
| ✓ | 15.5b | (/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))) |
| 16.9b | (fma.f64 (/.f64 y (+.f64 (+.f64 1 a) (*.f64 (/.f64 y t) b))) (/.f64 z t) (/.f64 x (+.f64 (+.f64 1 a) (*.f64 (/.f64 y t) b)))) | |
| ▶ | 13.8b | (+.f64 (/.f64 (*.f64 y z) (*.f64 (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))) t)) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))))) |
| 30.9b | (*.f64 (/.f64 1 (sqrt.f64 (+.f64 (+.f64 a 1) (*.f64 (/.f64 y t) b)))) (/.f64 (+.f64 x (*.f64 (/.f64 y t) z)) (sqrt.f64 (+.f64 (+.f64 a 1) (*.f64 (/.f64 y t) b))))) | |
| 42.5b | (-.f64 (fma.f64 (/.f64 t y) (/.f64 x b) (/.f64 z b)) (fma.f64 (/.f64 a y) (*.f64 (/.f64 z b) (/.f64 t b)) (/.f64 (/.f64 (/.f64 z (/.f64 y t)) b) b))) | |
| 44.5b | (-.f64 (+.f64 (/.f64 z b) (/.f64 (*.f64 t x) (*.f64 y b))) (+.f64 (/.f64 (*.f64 t z) (*.f64 y (pow.f64 b 2))) (/.f64 (*.f64 a (*.f64 t z)) (*.f64 y (pow.f64 b 2))))) | |
| 38.3b | (/.f64 (+.f64 x (*.f64 (/.f64 y (sqrt.f64 t)) (/.f64 z (sqrt.f64 t)))) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))) |
Compiled 9629 to 4421 computations (54.1% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 1.9b | (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t)))) |
| 4.4b | (/.f64 (*.f64 y b) t) | |
| ✓ | 5.0b | (*.f64 (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))) t) |
| ✓ | 10.7b | (/.f64 (*.f64 y z) (*.f64 (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))) t)) |
3 calls:
| 98.0ms | (/.f64 (*.f64 y z) (*.f64 (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))) t)) |
| 87.0ms | (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t)))) |
| 17.0ms | (*.f64 (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))) t) |
| 1× | batch-egg-rewrite |
| 183× | add-sqr-sqrt_binary64 |
| 172× | log1p-expm1-u_binary64 |
| 172× | expm1-log1p-u_binary64 |
| 171× | add-cbrt-cube_binary64 |
| 168× | add-log-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 16 | 54 |
| 1 | 357 | 54 |
| 1× | node limit |
3 calls:
| 40.0ms | (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t)))) |
| 40.0ms | (*.f64 (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))) t) |
| 40.0ms | (/.f64 (*.f64 y z) (*.f64 (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))) t)) |
| 1× | egg-herbie |
| 721× | times-frac_binary64 |
| 498× | associate-/l*_binary64 |
| 386× | associate-/r*_binary64 |
| 224× | associate-*r*_binary64 |
| 196× | associate-*l*_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 272 | 8039 |
| 1 | 1085 | 7521 |
| 1× | node limit |
9 alts after pruning (7 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 250 | 3 | 253 |
| Fresh | 1 | 4 | 5 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 251 | 9 | 260 |
| Status | Error | Program |
| ✓ | 15.5b | (/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))) |
| ▶ | 16.9b | (fma.f64 (/.f64 y (+.f64 (+.f64 1 a) (*.f64 (/.f64 y t) b))) (/.f64 z t) (/.f64 x (+.f64 (+.f64 1 a) (*.f64 (/.f64 y t) b)))) |
| 28.9b | (+.f64 (/.f64 z b) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))))) | |
| ✓ | 13.8b | (+.f64 (/.f64 (*.f64 y z) (*.f64 (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))) t)) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))))) |
| 21.7b | (+.f64 (*.f64 (/.f64 y (fma.f64 a t t)) z) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))))) | |
| 30.9b | (*.f64 (/.f64 1 (sqrt.f64 (+.f64 (+.f64 a 1) (*.f64 (/.f64 y t) b)))) (/.f64 (+.f64 x (*.f64 (/.f64 y t) z)) (sqrt.f64 (+.f64 (+.f64 a 1) (*.f64 (/.f64 y t) b))))) | |
| 44.5b | (-.f64 (+.f64 (/.f64 z b) (/.f64 (*.f64 t x) (*.f64 y b))) (+.f64 (/.f64 (*.f64 t z) (*.f64 y (pow.f64 b 2))) (/.f64 (*.f64 a (*.f64 t z)) (*.f64 y (pow.f64 b 2))))) | |
| 38.3b | (/.f64 (+.f64 x (*.f64 (/.f64 y (sqrt.f64 t)) (/.f64 z (sqrt.f64 t)))) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))) | |
| 29.5b | (+.f64 (*.f64 (/.f64 y t) (/.f64 z a)) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))))) |
Compiled 10773 to 4615 computations (57.2% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 1.9b | (/.f64 x (+.f64 (+.f64 1 a) (*.f64 (/.f64 y t) b))) |
| ✓ | 3.5b | (/.f64 y (+.f64 (+.f64 1 a) (*.f64 (/.f64 y t) b))) |
| ✓ | 5.4b | (*.f64 (/.f64 y t) b) |
| ✓ | 11.6b | (fma.f64 (/.f64 y (+.f64 (+.f64 1 a) (*.f64 (/.f64 y t) b))) (/.f64 z t) (/.f64 x (+.f64 (+.f64 1 a) (*.f64 (/.f64 y t) b)))) |
4 calls:
| 207.0ms | (fma.f64 (/.f64 y (+.f64 (+.f64 1 a) (*.f64 (/.f64 y t) b))) (/.f64 z t) (/.f64 x (+.f64 (+.f64 1 a) (*.f64 (/.f64 y t) b)))) |
| 83.0ms | (/.f64 x (+.f64 (+.f64 1 a) (*.f64 (/.f64 y t) b))) |
| 49.0ms | (/.f64 y (+.f64 (+.f64 1 a) (*.f64 (/.f64 y t) b))) |
| 11.0ms | (*.f64 (/.f64 y t) b) |
| 1× | batch-egg-rewrite |
| 179× | add-sqr-sqrt_binary64 |
| 168× | log1p-expm1-u_binary64 |
| 168× | expm1-log1p-u_binary64 |
| 167× | add-cbrt-cube_binary64 |
| 164× | add-log-exp_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 16 | 77 |
| 1 | 352 | 69 |
| 1× | node limit |
4 calls:
| 41.0ms | (/.f64 x (+.f64 (+.f64 1 a) (*.f64 (/.f64 y t) b))) |
| 41.0ms | (/.f64 y (+.f64 (+.f64 1 a) (*.f64 (/.f64 y t) b))) |
| 41.0ms | (*.f64 (/.f64 y t) b) |
| 41.0ms | (fma.f64 (/.f64 y (+.f64 (+.f64 1 a) (*.f64 (/.f64 y t) b))) (/.f64 z t) (/.f64 x (+.f64 (+.f64 1 a) (*.f64 (/.f64 y t) b)))) |
| 1× | egg-herbie |
| 642× | associate-/l*_binary64 |
| 519× | associate-/r*_binary64 |
| 282× | fma-def_binary64 |
| 258× | associate-*r*_binary64 |
| 225× | associate-*l*_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 450 | 14399 |
| 1 | 1753 | 13747 |
| 1× | node limit |
9 alts after pruning (6 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 258 | 0 | 258 |
| Fresh | 0 | 6 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 258 | 9 | 267 |
| Status | Error | Program |
| ✓ | 15.5b | (/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))) |
| ✓ | 16.9b | (fma.f64 (/.f64 y (+.f64 (+.f64 1 a) (*.f64 (/.f64 y t) b))) (/.f64 z t) (/.f64 x (+.f64 (+.f64 1 a) (*.f64 (/.f64 y t) b)))) |
| 28.9b | (+.f64 (/.f64 z b) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))))) | |
| ✓ | 13.8b | (+.f64 (/.f64 (*.f64 y z) (*.f64 (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))) t)) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))))) |
| ▶ | 21.7b | (+.f64 (*.f64 (/.f64 y (fma.f64 a t t)) z) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))))) |
| 30.9b | (*.f64 (/.f64 1 (sqrt.f64 (+.f64 (+.f64 a 1) (*.f64 (/.f64 y t) b)))) (/.f64 (+.f64 x (*.f64 (/.f64 y t) z)) (sqrt.f64 (+.f64 (+.f64 a 1) (*.f64 (/.f64 y t) b))))) | |
| 44.5b | (-.f64 (+.f64 (/.f64 z b) (/.f64 (*.f64 t x) (*.f64 y b))) (+.f64 (/.f64 (*.f64 t z) (*.f64 y (pow.f64 b 2))) (/.f64 (*.f64 a (*.f64 t z)) (*.f64 y (pow.f64 b 2))))) | |
| 38.3b | (/.f64 (+.f64 x (*.f64 (/.f64 y (sqrt.f64 t)) (/.f64 z (sqrt.f64 t)))) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))) | |
| 29.5b | (+.f64 (*.f64 (/.f64 y t) (/.f64 z a)) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))))) |
Compiled 13971 to 6710 computations (52% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 1.9b | (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t)))) | |
| ✓ | 3.9b | (/.f64 y (fma.f64 a t t)) |
| 4.4b | (/.f64 (*.f64 y b) t) | |
| ✓ | 5.4b | (*.f64 (/.f64 y (fma.f64 a t t)) z) |
2 calls:
| 40.0ms | (*.f64 (/.f64 y (fma.f64 a t t)) z) |
| 22.0ms | (/.f64 y (fma.f64 a t t)) |
| 1× | batch-egg-rewrite |
| 820× | log1p-expm1-u_binary64 |
| 820× | expm1-log1p-u_binary64 |
| 86× | add-sqr-sqrt_binary64 |
| 82× | prod-diff_binary64 |
| 79× | add-log-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 19 |
| 1 | 165 | 19 |
| 2 | 2189 | 19 |
| 1× | node limit |
2 calls:
| 51.0ms | (/.f64 y (fma.f64 a t t)) |
| 51.0ms | (*.f64 (/.f64 y (fma.f64 a t t)) z) |
| 1× | egg-herbie |
| 621× | fma-def_binary64 |
| 504× | cancel-sign-sub-inv_binary64 |
| 428× | fma-neg_binary64 |
| 355× | associate-/l/_binary64 |
| 184× | associate-/l*_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 66 | 1356 |
| 1 | 195 | 1184 |
| 2 | 581 | 1140 |
| 3 | 1977 | 1116 |
| 1× | node limit |
8 alts after pruning (5 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 191 | 1 | 192 |
| Fresh | 1 | 4 | 5 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 3 | 3 |
| Total | 193 | 8 | 201 |
| Status | Error | Program |
| ✓ | 15.5b | (/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))) |
| ✓ | 16.9b | (fma.f64 (/.f64 y (+.f64 (+.f64 1 a) (*.f64 (/.f64 y t) b))) (/.f64 z t) (/.f64 x (+.f64 (+.f64 1 a) (*.f64 (/.f64 y t) b)))) |
| 28.9b | (+.f64 (/.f64 z b) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))))) | |
| 29.5b | (+.f64 (*.f64 (/.f64 y t) (/.f64 z a)) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))))) | |
| 29.1b | (+.f64 (/.f64 y (*.f64 (/.f64 a z) t)) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))))) | |
| ✓ | 13.8b | (+.f64 (/.f64 (*.f64 y z) (*.f64 (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))) t)) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))))) |
| 30.9b | (*.f64 (/.f64 1 (sqrt.f64 (+.f64 (+.f64 a 1) (*.f64 (/.f64 y t) b)))) (/.f64 (+.f64 x (*.f64 (/.f64 y t) z)) (sqrt.f64 (+.f64 (+.f64 a 1) (*.f64 (/.f64 y t) b))))) | |
| 44.5b | (-.f64 (+.f64 (/.f64 z b) (/.f64 (*.f64 t x) (*.f64 y b))) (+.f64 (/.f64 (*.f64 t z) (*.f64 y (pow.f64 b 2))) (/.f64 (*.f64 a (*.f64 t z)) (*.f64 y (pow.f64 b 2))))) |
Compiled 6122 to 2345 computations (61.7% saved)
Total 8.0b remaining (93.8%)
Threshold costs 0b (0%)
Compiled 64340 to 41008 computations (36.3% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 8 | 1.027253783542909e+253 | 1.566507647829511e+256 | 1.837792064448072e+253 |
| 8 | 4.038021226960458e+89 | 1.0736109052986557e+94 | 6.457215214193913e+92 |
| 5 | -7.784884234604926e+41 | -3.2358632087830832e+41 | -4.153248664088116e+41 |
| 9 | -3.38552403447906e+219 | -6.501378683093421e+213 | -2.92358255090034e+218 |
Compiled 7 to 6 computations (14.3% saved)
| 1× | egg-herbie |
| 8× | +-commutative_binary64 |
| 3× | *-commutative_binary64 |
| 1× | 1-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 47 | 161 |
| 1 | 60 | 161 |
| 1× | saturated |
Compiled 469 to 252 computations (46.3% saved)
Loading profile data...