Time bar (total: 4.5s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.8% | 0.2% | 0 |
| 0% | 99.8% | 0.2% | 1 |
| 0% | 99.8% | 0.2% | 2 |
| 0% | 99.8% | 0.2% | 3 |
| 0% | 99.8% | 0.2% | 4 |
| 0% | 99.8% | 0.2% | 5 |
| 0% | 99.8% | 0.2% | 6 |
| 0% | 99.8% | 0.2% | 7 |
| 0% | 99.8% | 0.2% | 8 |
| 0% | 99.8% | 0.2% | 9 |
| 3.5% | 96.2% | 0.2% | 10 |
| 9.8% | 89.9% | 0.2% | 11 |
| 14.1% | 85.7% | 0.2% | 12 |
| 22.6% | 77.1% | 0.2% | 13 |
| 23.7% | 76% | 0.2% | 14 |
| 1× | intervals |
| 12.0ms | 212× | body | 80 | valid |
| 4.0ms | 17× | body | 640 | valid |
| 2.0ms | 14× | body | 320 | valid |
| 2.0ms | 5× | body | 1280 | valid |
| 2.0ms | 30× | body | 80 | invalid |
| 1.0ms | 7× | body | 160 | valid |
| 1.0ms | 1× | body | 2560 | valid |
| 1× | egg-herbie |
Useful iterations: 0 (111.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4893 | 13 |
| 1 | 4893 | 13 |
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 |
Merged error: 16.8b
Found 3 expressions with local error:
| 0.0b | (*.f64 (-.f64 z t) y) |
| 1.8b | (-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))) |
| 10.3b | (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)) |
| 1× | rewrite-expression-head |
| 18× | *-un-lft-identity_binary64 |
| 17× | add-sqr-sqrt_binary64 |
| 10× | add-exp-log_binary64 add-cbrt-cube_binary64 |
| 8× | add-log-exp_binary64 |
| 7× | add-cube-cbrt_binary64 |
| 5× | associate-/r*_binary64 pow1_binary64 associate-*l*_binary64 distribute-lft-out--_binary64 times-frac_binary64 |
| 4× | flip3--_binary64 difference-of-squares_binary64 flip--_binary64 associate-*l/_binary64 |
| 3× | associate-*r*_binary64 |
| 2× | associate-/l/_binary64 diff-log_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 associate-/r/_binary64 prod-exp_binary64 div-exp_binary64 frac-sub_binary64 |
| 1× | pow-prod-down_binary64 flip3-+_binary64 sub-neg_binary64 distribute-lft-out_binary64 unswap-sqr_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 div-inv_binary64 flip-+_binary64 associate--l+_binary64 sum-log_binary64 *-commutative_binary64 |
3 calls:
| 11.0ms | (-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))) |
| 10.0ms | (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)) |
| 7.0ms | (*.f64 (-.f64 z t) y) |
3 calls:
| 44.0ms | (-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))) |
| 19.0ms | (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)) |
| 9.0ms | (*.f64 (-.f64 z t) y) |
| 1× | egg-herbie |
Useful iterations: 0 (33.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4992 | 863 |
| 1 | 4992 | 863 |
12 alts after pruning (12 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 66 | 12 | 78 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 67 | 12 | 79 |
Merged error: 2.9b
Found 4 expressions with local error:
| 0.6b | (cbrt.f64 (-.f64 a t)) |
| 0.6b | (cbrt.f64 (-.f64 a t)) |
| 3.8b | (*.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 y (cbrt.f64 (-.f64 a t)))) |
| 8.2b | (-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 y (cbrt.f64 (-.f64 a t))))) |
| 1× | rewrite-expression-head |
| 51× | add-sqr-sqrt_binary64 |
| 36× | times-frac_binary64 |
| 35× | *-un-lft-identity_binary64 |
| 30× | associate-*r*_binary64 |
| 27× | cbrt-prod_binary64 |
| 25× | add-exp-log_binary64 |
| 23× | add-cube-cbrt_binary64 |
| 18× | cbrt-div_binary64 add-cbrt-cube_binary64 |
| 17× | associate-*l*_binary64 |
| 10× | flip3--_binary64 associate-/r/_binary64 flip--_binary64 |
| 9× | add-log-exp_binary64 |
| 8× | cbrt-unprod_binary64 prod-exp_binary64 |
| 7× | cbrt-undiv_binary64 div-exp_binary64 frac-times_binary64 |
| 6× | pow1_binary64 unswap-sqr_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64 frac-sub_binary64 |
| 5× | associate-*r/_binary64 associate-*l/_binary64 |
| 3× | flip3-+_binary64 flip-+_binary64 |
| 2× | diff-log_binary64 pow1/3_binary64 div-inv_binary64 |
| 1× | pow-prod-down_binary64 sub-neg_binary64 associate--l+_binary64 sum-log_binary64 *-commutative_binary64 |
4 calls:
| 29.0ms | (*.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 y (cbrt.f64 (-.f64 a t)))) |
| 7.0ms | (-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 y (cbrt.f64 (-.f64 a t))))) |
| 3.0ms | (cbrt.f64 (-.f64 a t)) |
| 3.0ms | (cbrt.f64 (-.f64 a t)) |
4 calls:
| 46.0ms | (-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 y (cbrt.f64 (-.f64 a t))))) |
| 30.0ms | (cbrt.f64 (-.f64 a t)) |
| 28.0ms | (*.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 y (cbrt.f64 (-.f64 a t)))) |
| 28.0ms | (cbrt.f64 (-.f64 a t)) |
| 1× | egg-herbie |
Useful iterations: 0 (26.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5704 | 2301 |
11 alts after pruning (11 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 133 | 5 | 138 |
| Fresh | 5 | 6 | 11 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 139 | 11 | 150 |
Merged error: 2.9b
Found 4 expressions with local error:
| 0.6b | (cbrt.f64 (-.f64 a t)) |
| 0.6b | (cbrt.f64 (-.f64 a t)) |
| 2.0b | (*.f64 (/.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))) (/.f64 y (cbrt.f64 (cbrt.f64 (-.f64 a t))))) |
| 8.4b | (-.f64 (+.f64 x y) (*.f64 (/.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))) (/.f64 y (cbrt.f64 (cbrt.f64 (-.f64 a t)))))) |
| 1× | rewrite-expression-head |
| 160× | times-frac_binary64 |
| 134× | add-sqr-sqrt_binary64 |
| 89× | cbrt-prod_binary64 |
| 80× | associate-*l*_binary64 |
| 76× | cbrt-div_binary64 |
| 71× | *-un-lft-identity_binary64 |
| 53× | add-cube-cbrt_binary64 |
| 42× | associate-/r/_binary64 |
| 39× | associate-*r*_binary64 |
| 36× | add-exp-log_binary64 |
| 34× | flip3--_binary64 flip--_binary64 |
| 23× | frac-times_binary64 |
| 22× | add-cbrt-cube_binary64 |
| 20× | unswap-sqr_binary64 |
| 14× | cbrt-undiv_binary64 div-exp_binary64 |
| 13× | associate-*r/_binary64 associate-*l/_binary64 |
| 10× | cbrt-unprod_binary64 prod-exp_binary64 |
| 9× | add-log-exp_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64 |
| 6× | pow1_binary64 div-inv_binary64 frac-sub_binary64 |
| 3× | flip3-+_binary64 flip-+_binary64 |
| 2× | diff-log_binary64 pow1/3_binary64 |
| 1× | pow-prod-down_binary64 sub-neg_binary64 associate--l+_binary64 sum-log_binary64 *-commutative_binary64 |
4 calls:
| 72.0ms | (*.f64 (/.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))) (/.f64 y (cbrt.f64 (cbrt.f64 (-.f64 a t))))) |
| 7.0ms | (-.f64 (+.f64 x y) (*.f64 (/.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))) (/.f64 y (cbrt.f64 (cbrt.f64 (-.f64 a t)))))) |
| 3.0ms | (cbrt.f64 (-.f64 a t)) |
| 3.0ms | (cbrt.f64 (-.f64 a t)) |
4 calls:
| 48.0ms | (-.f64 (+.f64 x y) (*.f64 (/.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))) (/.f64 y (cbrt.f64 (cbrt.f64 (-.f64 a t)))))) |
| 29.0ms | (cbrt.f64 (-.f64 a t)) |
| 29.0ms | (*.f64 (/.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))) (/.f64 y (cbrt.f64 (cbrt.f64 (-.f64 a t))))) |
| 28.0ms | (cbrt.f64 (-.f64 a t)) |
| 1× | egg-herbie |
Useful iterations: 0 (40.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4992 | 6212 |
| 1 | 4992 | 6212 |
11 alts after pruning (10 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 227 | 1 | 228 |
| Fresh | 1 | 9 | 10 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 228 | 11 | 239 |
Merged error: 2.9b
Found 4 expressions with local error:
| 0.6b | (cbrt.f64 (-.f64 a t)) |
| 0.9b | (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) 4) |
| 1.5b | (*.f64 (/.f64 (-.f64 z t) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 a t)))) (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 a t))))) (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) 4))) (/.f64 y (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 a t)))))) |
| 9.2b | (-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 a t)))) (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 a t))))) (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) 4))) (/.f64 y (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 a t))))))) |
| 1× | rewrite-expression-head |
| 84× | cbrt-prod_binary64 |
| 73× | add-exp-log_binary64 |
| 60× | add-sqr-sqrt_binary64 |
| 51× | times-frac_binary64 |
| 48× | associate-*r*_binary64 |
| 46× | *-un-lft-identity_binary64 |
| 44× | cbrt-div_binary64 |
| 36× | add-cube-cbrt_binary64 |
| 34× | prod-exp_binary64 |
| 28× | add-cbrt-cube_binary64 |
| 22× | div-exp_binary64 |
| 17× | associate-*l*_binary64 |
| 14× | cbrt-unprod_binary64 |
| 13× | associate-*l/_binary64 |
| 10× | cbrt-undiv_binary64 associate-/r/_binary64 |
| 9× | add-log-exp_binary64 flip3--_binary64 flip--_binary64 |
| 7× | pow1_binary64 frac-times_binary64 |
| 6× | frac-sub_binary64 |
| 5× | pow-to-exp_binary64 associate-*r/_binary64 unswap-sqr_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64 pow-exp_binary64 |
| 4× | unpow-prod-down_binary64 |
| 3× | flip3-+_binary64 pow-unpow_binary64 flip-+_binary64 |
| 2× | diff-log_binary64 pow1/3_binary64 pow-pow_binary64 div-inv_binary64 |
| 1× | pow-prod-down_binary64 sub-neg_binary64 sqr-pow_binary64 associate--l+_binary64 sum-log_binary64 *-commutative_binary64 |
4 calls:
| 48.0ms | (*.f64 (/.f64 (-.f64 z t) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 a t)))) (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 a t))))) (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) 4))) (/.f64 y (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 a t)))))) |
| 8.0ms | (-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 a t)))) (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 a t))))) (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) 4))) (/.f64 y (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 a t))))))) |
| 5.0ms | (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) 4) |
| 3.0ms | (cbrt.f64 (-.f64 a t)) |
4 calls:
| 68.0ms | (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) 4) |
| 49.0ms | (-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 a t)))) (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 a t))))) (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) 4))) (/.f64 y (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 a t))))))) |
| 31.0ms | (*.f64 (/.f64 (-.f64 z t) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 a t)))) (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 a t))))) (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) 4))) (/.f64 y (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 a t)))))) |
| 29.0ms | (cbrt.f64 (-.f64 a t)) |
| 1× | egg-herbie |
Useful iterations: 0 (32.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4991 | 5183 |
| 1 | 4991 | 5183 |
11 alts after pruning (10 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 170 | 1 | 171 |
| Fresh | 0 | 9 | 9 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 171 | 11 | 182 |
Merged error: 2.9b
Total 6.4b remaining (64.3%)
Threshold costs 0b (0%)
| Iters | Range | Point | |
|---|---|---|---|
| 7 | 7.792565752535892e+75 | 9.93190089192877e+77 | 6.426053483705132e+76 |
| 9 | -6.546600610199293e+42 | -5.1834039724105775e+36 | -6.436488181590957e+42 |
| 7 | -1.9836451922868956e+83 | -1.4304905568371408e+81 | -2.5969526405097103e+82 |
| 9 | -1.2369412991176976e+230 | -3.9047884279804977e+222 | -6.671541700787339e+222 |
| 1× | egg-herbie |
Useful iterations: 0 (8.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 366 | 98 |
| 1 | 366 | 98 |
| 1× | intervals |
| 283.0ms | 6686× | body | 80 | valid |
| 69.0ms | 447× | body | 640 | valid |
| 45.0ms | 245× | body | 1280 | valid |
| 40.0ms | 357× | body | 320 | valid |
| 29.0ms | 744× | body | 80 | invalid |
| 19.0ms | 251× | body | 160 | valid |
| 3.0ms | 14× | body | 2560 | valid |
Loading profile data...