Time bar (total: 6.5s)
| 1× | search |
| 2× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5216 | 32 |
| 0 | 2 | 2 |
| 1 | 2 | 2 |
| 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 |
| 25% | 74.9% | 0.1% | 5 |
| 31.2% | 68.7% | 0.1% | 6 |
| 67.1% | 32.8% | 0.1% | 7 |
| 71% | 28.9% | 0.1% | 8 |
| 82.3% | 17.6% | 0.1% | 9 |
| 84.9% | 15% | 0.1% | 10 |
| 90.8% | 9.1% | 0.1% | 11 |
| 92.2% | 7.7% | 0.1% | 12 |
| 95.3% | 4.6% | 0.1% | 13 |
| 96% | 3.9% | 0.1% | 14 |
Compiled 12 to 11 computations (8.3% saved)
| 1× | intervals |
| 8.0ms | 198× | body | 128 | valid |
| 3.0ms | 23× | body | 1024 | valid |
| 2.0ms | 22× | body | 512 | valid |
| 1.0ms | 13× | body | 256 | valid |
Compiled 23 to 23 computations (0% saved)
| 1× | egg-herbie |
Useful iterations: 0 (220.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4852 | 16 |
| 1 | 4852 | 16 |
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 |
Compiled 22 to 20 computations (9.1% saved)
Found 3 expressions with local error:
| 0.0b | (*.f64 (-.f64 1 x) y) |
| 2.2b | (-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))) |
| 9.3b | (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)) |
| 1× | rewrite-expression-head |
| 21× | *-un-lft-identity_binary64_16446 |
| 17× | add-sqr-sqrt_binary64_16468 |
| 10× | add-exp-log_binary64_16484 add-cbrt-cube_binary64_16482 cancel-sign-sub-inv_binary64_16412 |
| 9× | add-cube-cbrt_binary64_16481 |
| 8× | times-frac_binary64_16452 |
| 6× | associate-*l*_binary64_16387 |
| 5× | pow1_binary64_16507 add-log-exp_binary64_16485 |
| 4× | associate-*l/_binary64_16389 associate-/r/_binary64_16392 associate-/r*_binary64_16390 difference-of-squares_binary64_16415 |
| 3× | distribute-lft-out_binary64_16397 flip3--_binary64_16450 flip--_binary64_16421 associate-*r*_binary64_16386 |
| 2× | prod-exp_binary64_16495 div-exp_binary64_16497 cbrt-undiv_binary64_16480 cbrt-unprod_binary64_16479 div-inv_binary64_16443 associate-/l/_binary64_16393 flip3-+_binary64_16449 flip-+_binary64_16420 distribute-lft-out--_binary64_16398 |
| 1× | frac-2neg_binary64_16457 clear-num_binary64_16445 associate-/l*_binary64_16391 diff-log_binary64_16538 sub-neg_binary64_16439 pow-prod-down_binary64_16517 unswap-sqr_binary64_16414 *-commutative_binary64_16377 |
3 calls:
| 11.0ms | (-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))) |
| 10.0ms | (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)) |
| 7.0ms | (*.f64 (-.f64 1 x) y) |
Compiled 1435 to 1072 computations (25.3% saved)
3 calls:
| 153.0ms | (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)) |
| 136.0ms | (-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))) |
| 64.0ms | (*.f64 (-.f64 1 x) y) |
Compiled 1482 to 1094 computations (26.2% saved)
| 1× | egg-herbie |
Useful iterations: 0 (55.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5272 | 1940 |
5 alts after pruning (5 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 114 | 5 | 119 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 115 | 5 | 120 |
Compiled 1939 to 1177 computations (39.3% saved)
Found 3 expressions with local error:
| 0.0b | (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x)) |
| 0.0b | (/.f64 y (+.f64 y 1)) |
| 2.2b | (-.f64 1 (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x))) |
| 1× | rewrite-expression-head |
| 42× | *-un-lft-identity_binary64_16446 |
| 33× | add-sqr-sqrt_binary64_16468 |
| 25× | add-cube-cbrt_binary64_16481 times-frac_binary64_16452 |
| 18× | associate-*l*_binary64_16387 |
| 13× | cancel-sign-sub-inv_binary64_16412 |
| 10× | add-exp-log_binary64_16484 add-cbrt-cube_binary64_16482 |
| 8× | distribute-rgt-in_binary64_16396 associate--r+_binary64_16382 distribute-lft-in_binary64_16395 |
| 7× | distribute-lft-out_binary64_16397 |
| 6× | associate-*r*_binary64_16386 |
| 5× | add-log-exp_binary64_16485 pow1_binary64_16507 sub-neg_binary64_16439 |
| 4× | associate-/r/_binary64_16392 associate-/r*_binary64_16390 |
| 3× | flip3--_binary64_16450 flip--_binary64_16421 associate-/l*_binary64_16391 |
| 2× | div-exp_binary64_16497 cbrt-undiv_binary64_16480 div-inv_binary64_16443 flip3-+_binary64_16449 flip-+_binary64_16420 prod-exp_binary64_16495 cbrt-unprod_binary64_16479 frac-times_binary64_16456 unswap-sqr_binary64_16414 associate-*r/_binary64_16388 difference-of-squares_binary64_16415 |
| 1× | diff-log_binary64_16538 frac-2neg_binary64_16457 clear-num_binary64_16445 pow-prod-down_binary64_16517 associate-*l/_binary64_16389 distribute-lft-out--_binary64_16398 *-commutative_binary64_16377 |
3 calls:
| 14.0ms | (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x)) |
| 5.0ms | (/.f64 y (+.f64 y 1)) |
| 5.0ms | (-.f64 1 (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x))) |
Compiled 2095 to 1479 computations (29.4% saved)
3 calls:
| 142.0ms | (-.f64 1 (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x))) |
| 124.0ms | (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x)) |
| 29.0ms | (/.f64 y (+.f64 y 1)) |
Compiled 1562 to 1186 computations (24.1% saved)
| 1× | egg-herbie |
Useful iterations: 0 (51.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4963 | 2490 |
| 1 | 4963 | 2490 |
5 alts after pruning (4 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 153 | 0 | 153 |
| Fresh | 0 | 4 | 4 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 153 | 5 | 158 |
Compiled 2646 to 1785 computations (32.5% saved)
Found 1 expressions with local error:
| 0.0b | (-.f64 (+.f64 x (/.f64 1 y)) (/.f64 x y)) |
| 1× | rewrite-expression-head |
| 15× | *-un-lft-identity_binary64_16446 |
| 13× | add-sqr-sqrt_binary64_16468 cancel-sign-sub-inv_binary64_16412 |
| 10× | times-frac_binary64_16452 |
| 8× | add-cube-cbrt_binary64_16481 |
| 6× | add-log-exp_binary64_16485 |
| 3× | distribute-lft-out--_binary64_16398 |
| 2× | diff-log_binary64_16538 frac-sub_binary64_16455 difference-of-squares_binary64_16415 div-inv_binary64_16443 distribute-lft-out_binary64_16397 |
| 1× | sum-log_binary64_16537 pow1_binary64_16507 add-exp-log_binary64_16484 add-cbrt-cube_binary64_16482 flip3-+_binary64_16449 flip-+_binary64_16420 flip3--_binary64_16450 sub-neg_binary64_16439 flip--_binary64_16421 associate--l+_binary64_16383 |
1 calls:
| 15.0ms | (-.f64 (+.f64 x (/.f64 1 y)) (/.f64 x y)) |
Compiled 633 to 331 computations (47.7% saved)
1 calls:
| 101.0ms | (-.f64 (+.f64 x (/.f64 1 y)) (/.f64 x y)) |
Compiled 214 to 157 computations (26.6% saved)
| 1× | egg-herbie |
Useful iterations: 0 (112.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4911 | 572 |
| 1 | 4911 | 572 |
5 alts after pruning (3 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 45 | 0 | 45 |
| Fresh | 0 | 3 | 3 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 45 | 5 | 50 |
Compiled 589 to 336 computations (43% saved)
Found 3 expressions with local error:
| 0.0b | (+.f64 y (*.f64 y (-.f64 (*.f64 y x) (+.f64 x y)))) |
| 0.0b | (-.f64 (*.f64 y x) (+.f64 x y)) |
| 0.0b | (*.f64 y (-.f64 (*.f64 y x) (+.f64 x y))) |
| 1× | rewrite-expression-head |
| 20× | *-un-lft-identity_binary64_16446 cancel-sign-sub-inv_binary64_16412 |
| 12× | add-sqr-sqrt_binary64_16468 |
| 10× | add-log-exp_binary64_16485 add-cube-cbrt_binary64_16481 distribute-rgt-in_binary64_16396 distribute-lft-in_binary64_16395 associate-+r+_binary64_16378 |
| 5× | pow1_binary64_16507 add-exp-log_binary64_16484 add-cbrt-cube_binary64_16482 sub-neg_binary64_16439 distribute-lft-out_binary64_16397 |
| 3× | associate-*l*_binary64_16387 associate-*r*_binary64_16386 |
| 2× | flip3--_binary64_16450 associate-*r/_binary64_16388 flip--_binary64_16421 sum-log_binary64_16537 diff-log_binary64_16538 |
| 1× | pow-prod-down_binary64_16517 prod-exp_binary64_16495 cbrt-unprod_binary64_16479 unswap-sqr_binary64_16414 *-commutative_binary64_16377 associate--r+_binary64_16382 flip3-+_binary64_16449 flip-+_binary64_16420 +-commutative_binary64_16376 |
3 calls:
| 11.0ms | (+.f64 y (*.f64 y (-.f64 (*.f64 y x) (+.f64 x y)))) |
| 10.0ms | (*.f64 y (-.f64 (*.f64 y x) (+.f64 x y))) |
| 8.0ms | (-.f64 (*.f64 y x) (+.f64 x y)) |
Compiled 1492 to 413 computations (72.3% saved)
3 calls:
| 200.0ms | (+.f64 y (*.f64 y (-.f64 (*.f64 y x) (+.f64 x y)))) |
| 138.0ms | (*.f64 y (-.f64 (*.f64 y x) (+.f64 x y))) |
| 94.0ms | (-.f64 (*.f64 y x) (+.f64 x y)) |
Compiled 1214 to 856 computations (29.5% saved)
| 1× | egg-herbie |
Useful iterations: 0 (78.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4934 | 1462 |
| 1 | 4934 | 1462 |
5 alts after pruning (2 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 104 | 0 | 104 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 104 | 5 | 109 |
Compiled 1729 to 479 computations (72.3% saved)
Total 0.0b remaining (27.7%)
Threshold costs 0.0b (27.7%)
Compiled 5084 to 4260 computations (16.2% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 3575721.5253420603 | 32595137043775.008 | 89866444.08949669 |
| 10 | -1.2505815244524027e+27 | -1137843880.770242 | -1169275214.8150542 |
Compiled 1 to 2 computations (-100% saved)
| 1× | egg-herbie |
Useful iterations: 0 (7.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 270 | 58 |
| 1 | 270 | 58 |
| 1× | intervals |
| 257.0ms | 6313× | body | 128 | valid |
| 82.0ms | 581× | body | 1024 | valid |
| 75.0ms | 668× | body | 512 | valid |
| 31.0ms | 432× | body | 256 | valid |
| 1.0ms | 6× | body | 2048 | valid |
Compiled 1010 to 835 computations (17.3% saved)
Loading profile data...