Time bar (total: 24.1s)
| 1× | search |
| 2× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5256 | 550 |
| 0 | 7 | 7 |
| 1 | 7 | 7 |
| 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 |
| 0% | 99.7% | 0.3% | 11 |
| 0% | 99.7% | 0.3% | 12 |
| 1.2% | 98.5% | 0.3% | 13 |
| 1.8% | 97.9% | 0.3% | 14 |
(sort x y)
(sort z t)
(sort a b)
Compiled 18 to 18 computations (0% saved)
| 1× | intervals |
| 13.0ms | 256× | body | 128 | valid |
| 7.0ms | 133× | body | 128 | invalid |
Compiled 35 to 42 computations (-20% saved)
| 1× | egg-herbie |
Useful iterations: 0 (64.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 937 | 25 |
| 1 | 937 | 25 |
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 |
Compiled 34 to 34 computations (0% saved)
Found 4 expressions with local error:
| 0.0b | (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) |
| 0.0b | (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) |
| 0.0b | (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c) |
| 0.2b | (/.f64 (*.f64 z t) 16) |
| 1× | rewrite-expression-head |
| 20× | add-log-exp_binary64_7619 |
| 17× | *-un-lft-identity_binary64_7580 |
| 14× | cancel-sign-sub-inv_binary64_7546 |
| 12× | add-sqr-sqrt_binary64_7602 |
| 10× | add-cube-cbrt_binary64_7615 |
| 9× | add-exp-log_binary64_7618 add-cbrt-cube_binary64_7616 times-frac_binary64_7586 associate-+l+_binary64_7513 |
| 6× | sum-log_binary64_7671 |
| 4× | pow1_binary64_7641 diff-log_binary64_7672 |
| 3× | div-inv_binary64_7577 associate-/r*_binary64_7524 flip3-+_binary64_7583 flip-+_binary64_7554 |
| 2× | div-exp_binary64_7631 cbrt-undiv_binary64_7614 distribute-lft-out_binary64_7531 distribute-lft-out--_binary64_7532 sub-neg_binary64_7573 associate--l+_binary64_7517 +-commutative_binary64_7510 frac-sub_binary64_7589 |
| 1× | prod-exp_binary64_7629 cbrt-unprod_binary64_7613 frac-2neg_binary64_7591 clear-num_binary64_7579 associate-/l*_binary64_7525 associate-+l-_binary64_7515 flip3--_binary64_7584 flip--_binary64_7555 difference-of-squares_binary64_7549 |
4 calls:
| 14.0ms | (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c) |
| 10.0ms | (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) |
| 6.0ms | (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) |
| 5.0ms | (/.f64 (*.f64 z t) 16) |
Compiled 2165 to 1041 computations (51.9% saved)
4 calls:
| 830.0ms | (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c) |
| 661.0ms | (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) |
| 286.0ms | (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) |
| 80.0ms | (/.f64 (*.f64 z t) 16) |
Compiled 2560 to 2621 computations (-2.4% saved)
| 1× | egg-herbie |
Useful iterations: 0 (41.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4931 | 3291 |
| 1 | 4931 | 3291 |
4 alts after pruning (4 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 185 | 4 | 189 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 186 | 4 | 190 |
Compiled 1831 to 886 computations (51.6% saved)
Found 3 expressions with local error:
| 0.0b | (-.f64 (+.f64 (*.f64 x y) (*.f64 z (/.f64 t 16))) (/.f64 (*.f64 a b) 4)) |
| 0.0b | (+.f64 (*.f64 x y) (*.f64 z (/.f64 t 16))) |
| 0.0b | (+.f64 (-.f64 (+.f64 (*.f64 x y) (*.f64 z (/.f64 t 16))) (/.f64 (*.f64 a b) 4)) c) |
| 1× | rewrite-expression-head |
| 19× | add-log-exp_binary64_7619 |
| 14× | *-un-lft-identity_binary64_7580 cancel-sign-sub-inv_binary64_7546 |
| 9× | add-sqr-sqrt_binary64_7602 associate-+l+_binary64_7513 |
| 7× | add-cube-cbrt_binary64_7615 |
| 6× | sum-log_binary64_7671 times-frac_binary64_7586 |
| 4× | diff-log_binary64_7672 |
| 3× | pow1_binary64_7641 add-exp-log_binary64_7618 add-cbrt-cube_binary64_7616 flip3-+_binary64_7583 flip-+_binary64_7554 |
| 2× | distribute-lft-out_binary64_7531 distribute-lft-out--_binary64_7532 sub-neg_binary64_7573 div-inv_binary64_7577 associate--l+_binary64_7517 +-commutative_binary64_7510 frac-sub_binary64_7589 |
| 1× | associate-+l-_binary64_7515 flip3--_binary64_7584 flip--_binary64_7555 difference-of-squares_binary64_7549 |
3 calls:
| 12.0ms | (+.f64 (-.f64 (+.f64 (*.f64 x y) (*.f64 z (/.f64 t 16))) (/.f64 (*.f64 a b) 4)) c) |
| 9.0ms | (-.f64 (+.f64 (*.f64 x y) (*.f64 z (/.f64 t 16))) (/.f64 (*.f64 a b) 4)) |
| 4.0ms | (+.f64 (*.f64 x y) (*.f64 z (/.f64 t 16))) |
Compiled 1699 to 900 computations (47% saved)
3 calls:
| 815.0ms | (+.f64 (-.f64 (+.f64 (*.f64 x y) (*.f64 z (/.f64 t 16))) (/.f64 (*.f64 a b) 4)) c) |
| 668.0ms | (-.f64 (+.f64 (*.f64 x y) (*.f64 z (/.f64 t 16))) (/.f64 (*.f64 a b) 4)) |
| 286.0ms | (+.f64 (*.f64 x y) (*.f64 z (/.f64 t 16))) |
Compiled 2356 to 2417 computations (-2.6% saved)
| 1× | egg-herbie |
Useful iterations: 0 (40.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5012 | 3065 |
4 alts after pruning (3 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 161 | 1 | 162 |
| Fresh | 1 | 2 | 3 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 162 | 4 | 166 |
Compiled 1454 to 760 computations (47.7% saved)
Found 4 expressions with local error:
| 0.0b | (-.f64 (+.f64 (*.f64 x y) (/.f64 z (/.f64 16 t))) (/.f64 (*.f64 a b) 4)) |
| 0.0b | (+.f64 (*.f64 x y) (/.f64 z (/.f64 16 t))) |
| 0.0b | (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 z (/.f64 16 t))) (/.f64 (*.f64 a b) 4)) c) |
| 0.3b | (/.f64 z (/.f64 16 t)) |
| 1× | rewrite-expression-head |
| 81× | times-frac_binary64_7586 |
| 57× | *-un-lft-identity_binary64_7580 |
| 52× | add-sqr-sqrt_binary64_7602 |
| 50× | add-cube-cbrt_binary64_7615 |
| 20× | add-log-exp_binary64_7619 |
| 14× | cancel-sign-sub-inv_binary64_7546 |
| 13× | associate-/r*_binary64_7524 |
| 9× | add-exp-log_binary64_7618 add-cbrt-cube_binary64_7616 associate-+l+_binary64_7513 |
| 7× | div-inv_binary64_7577 |
| 6× | sum-log_binary64_7671 |
| 4× | pow1_binary64_7641 diff-log_binary64_7672 |
| 3× | div-exp_binary64_7631 cbrt-undiv_binary64_7614 associate-/l*_binary64_7525 flip3-+_binary64_7583 flip-+_binary64_7554 |
| 2× | distribute-lft-out_binary64_7531 distribute-lft-out--_binary64_7532 sub-neg_binary64_7573 associate--l+_binary64_7517 +-commutative_binary64_7510 frac-sub_binary64_7589 |
| 1× | frac-2neg_binary64_7591 clear-num_binary64_7579 associate-/r/_binary64_7526 associate-+l-_binary64_7515 flip3--_binary64_7584 flip--_binary64_7555 difference-of-squares_binary64_7549 |
4 calls:
| 23.0ms | (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 z (/.f64 16 t))) (/.f64 (*.f64 a b) 4)) c) |
| 17.0ms | (-.f64 (+.f64 (*.f64 x y) (/.f64 z (/.f64 16 t))) (/.f64 (*.f64 a b) 4)) |
| 11.0ms | (+.f64 (*.f64 x y) (/.f64 z (/.f64 16 t))) |
| 6.0ms | (/.f64 z (/.f64 16 t)) |
Compiled 3531 to 1850 computations (47.6% saved)
4 calls:
| 841.0ms | (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 z (/.f64 16 t))) (/.f64 (*.f64 a b) 4)) c) |
| 687.0ms | (-.f64 (+.f64 (*.f64 x y) (/.f64 z (/.f64 16 t))) (/.f64 (*.f64 a b) 4)) |
| 277.0ms | (+.f64 (*.f64 x y) (/.f64 z (/.f64 16 t))) |
| 76.0ms | (/.f64 z (/.f64 16 t)) |
Compiled 2560 to 2621 computations (-2.4% saved)
| 1× | egg-herbie |
Useful iterations: 0 (44.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4931 | 4223 |
| 1 | 4931 | 4223 |
4 alts after pruning (2 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 237 | 1 | 238 |
| Fresh | 1 | 1 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 238 | 4 | 242 |
Compiled 2966 to 1424 computations (52% saved)
Found 4 expressions with local error:
| 0.0b | (sqrt.f64 (+.f64 (-.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) c) (*.f64 1/4 (*.f64 a b))) (*.f64 x y))) |
| 0.2b | (*.f64 1/16 (*.f64 t z)) |
| 0.2b | (*.f64 1/16 (*.f64 t z)) |
| 0.2b | (*.f64 (sqrt.f64 (+.f64 (-.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) c) (*.f64 1/4 (*.f64 a b))) (*.f64 x y))) (sqrt.f64 (+.f64 (-.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) c) (*.f64 1/4 (*.f64 a b))) (*.f64 x y)))) |
| 1× | rewrite-expression-head |
| 30× | pow1_binary64_7641 add-sqr-sqrt_binary64_7602 |
| 21× | sqrt-prod_binary64_7596 |
| 16× | add-exp-log_binary64_7618 add-cbrt-cube_binary64_7616 |
| 15× | add-cube-cbrt_binary64_7615 *-un-lft-identity_binary64_7580 |
| 14× | sqrt-div_binary64_7597 |
| 12× | associate-*l*_binary64_7521 |
| 9× | pow1/2_binary64_7660 pow-prod-down_binary64_7651 sqrt-pow1_binary64_7598 |
| 8× | swap-sqr_binary64_7547 associate-*r*_binary64_7520 |
| 7× | prod-exp_binary64_7629 cbrt-unprod_binary64_7613 flip3-+_binary64_7583 flip-+_binary64_7554 |
| 5× | pow-prod-up_binary64_7650 |
| 4× | add-log-exp_binary64_7619 frac-times_binary64_7590 unswap-sqr_binary64_7548 |
| 3× | rem-sqrt-square_binary64_7593 pow-sqr_binary64_7553 *-commutative_binary64_7511 |
| 2× | associate-*l/_binary64_7523 associate-*r/_binary64_7522 |
| 1× | pow2_binary64_7661 pow-plus_binary64_7643 sqrt-unprod_binary64_7600 sqr-abs_binary64_7595 rem-square-sqrt_binary64_7592 |
4 calls:
| 27.0ms | (*.f64 (sqrt.f64 (+.f64 (-.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) c) (*.f64 1/4 (*.f64 a b))) (*.f64 x y))) (sqrt.f64 (+.f64 (-.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) c) (*.f64 1/4 (*.f64 a b))) (*.f64 x y)))) |
| 11.0ms | (sqrt.f64 (+.f64 (-.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) c) (*.f64 1/4 (*.f64 a b))) (*.f64 x y))) |
| 5.0ms | (*.f64 1/16 (*.f64 t z)) |
| 5.0ms | (*.f64 1/16 (*.f64 t z)) |
Compiled 4856 to 2358 computations (51.4% saved)
4 calls:
| 884.0ms | (*.f64 (sqrt.f64 (+.f64 (-.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) c) (*.f64 1/4 (*.f64 a b))) (*.f64 x y))) (sqrt.f64 (+.f64 (-.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) c) (*.f64 1/4 (*.f64 a b))) (*.f64 x y)))) |
| 550.0ms | (sqrt.f64 (+.f64 (-.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) c) (*.f64 1/4 (*.f64 a b))) (*.f64 x y))) |
| 92.0ms | (*.f64 1/16 (*.f64 t z)) |
| 82.0ms | (*.f64 1/16 (*.f64 t z)) |
Compiled 4473 to 3492 computations (21.9% saved)
| 1× | egg-herbie |
Useful iterations: 0 (67.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4915 | 4419 |
| 1 | 4915 | 4419 |
4 alts after pruning (1 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 191 | 0 | 191 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 191 | 4 | 195 |
Compiled 3207 to 1515 computations (52.8% saved)
Total 0.0b remaining (7.8%)
Threshold costs 0.0b (7.8%)
Compiled 109335 to 103358 computations (5.5% saved)
| 1× | egg-herbie |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 56 | 25 |
| 1 | 56 | 25 |
(sort a b)
(sort z t)
(sort x y)
Compiled 119 to 119 computations (0% saved)
| 1× | intervals |
| 430.0ms | 8000× | body | 128 | valid |
| 211.0ms | 3982× | body | 128 | invalid |
Compiled 128 to 146 computations (-14.1% saved)
Loading profile data...