Time bar (total: 4.4s)
| 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 |
| 14% | 85.8% | 0.1% | 7 |
| 22.6% | 77.2% | 0.1% | 8 |
| 23.8% | 74.5% | 1.7% | 9 |
| 40% | 56% | 4% | 10 |
| 47.3% | 48.7% | 4% | 11 |
| 48.4% | 45.8% | 5.8% | 12 |
| 58.6% | 32.4% | 9% | 13 |
| 63.4% | 27.5% | 9% | 14 |
Compiled 8 to 7 computations (12.5% saved)
| 1× | intervals |
| 13.0ms | 256× | body | 128 | valid |
| 1.0ms | 22× | body | 128 | invalid |
Compiled 15 to 16 computations (-6.7% saved)
| 1× | egg-herbie |
Useful iterations: 0 (286.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4907 | 10 |
| 1 | 4907 | 10 |
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 |
Merged error: 12.8b
Compiled 14 to 12 computations (14.3% saved)
Found 2 expressions with local error:
| 0.0b | (*.f64 x (+.f64 y z)) |
| 12.2b | (/.f64 (*.f64 x (+.f64 y z)) z) |
| 1× | rewrite-expression-head |
| 9× | add-exp-log_binary64_11369 add-cbrt-cube_binary64_11367 |
| 8× | *-un-lft-identity_binary64_11331 add-sqr-sqrt_binary64_11353 |
| 6× | add-cube-cbrt_binary64_11366 |
| 4× | pow1_binary64_11392 associate-*r*_binary64_11271 associate-*r/_binary64_11273 |
| 3× | associate-/r*_binary64_11275 associate-*l*_binary64_11272 times-frac_binary64_11337 |
| 2× | cbrt-unprod_binary64_11364 div-exp_binary64_11382 associate-/l/_binary64_11278 cbrt-undiv_binary64_11365 add-log-exp_binary64_11370 prod-exp_binary64_11380 flip3-+_binary64_11334 flip-+_binary64_11305 |
| 1× | *-commutative_binary64_11262 distribute-lft-in_binary64_11280 associate-/l*_binary64_11276 div-inv_binary64_11328 unswap-sqr_binary64_11299 frac-2neg_binary64_11342 distribute-lft-out_binary64_11282 distribute-rgt-in_binary64_11281 pow-prod-down_binary64_11402 clear-num_binary64_11330 |
2 calls:
| 13.0ms | (/.f64 (*.f64 x (+.f64 y z)) z) |
| 12.0ms | (*.f64 x (+.f64 y z)) |
2 calls:
| 64.0ms | (/.f64 (*.f64 x (+.f64 y z)) z) |
| 44.0ms | (*.f64 x (+.f64 y z)) |
| 1× | egg-herbie |
Useful iterations: 0 (119.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4981 | 553 |
| 1 | 4981 | 553 |
7 alts after pruning (6 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 46 | 6 | 52 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 46 | 7 | 53 |
Merged error: 0.0b
Compiled 647 to 194 computations (70% saved)
Found 2 expressions with local error:
| 0.0b | (/.f64 z (+.f64 y z)) |
| 3.2b | (/.f64 x (/.f64 z (+.f64 y z))) |
| 1× | rewrite-expression-head |
| 114× | times-frac_binary64_11337 |
| 94× | *-un-lft-identity_binary64_11331 |
| 62× | add-cube-cbrt_binary64_11366 add-sqr-sqrt_binary64_11353 |
| 22× | associate-/r*_binary64_11275 |
| 16× | distribute-lft-out_binary64_11282 |
| 11× | associate-/r/_binary64_11277 |
| 9× | add-exp-log_binary64_11369 add-cbrt-cube_binary64_11367 |
| 6× | associate-/l*_binary64_11276 div-inv_binary64_11328 |
| 5× | flip3-+_binary64_11334 flip-+_binary64_11305 |
| 4× | div-exp_binary64_11382 cbrt-undiv_binary64_11365 |
| 2× | pow1_binary64_11392 add-log-exp_binary64_11370 frac-2neg_binary64_11342 clear-num_binary64_11330 |
2 calls:
| 18.0ms | (/.f64 x (/.f64 z (+.f64 y z))) |
| 10.0ms | (/.f64 z (+.f64 y z)) |
2 calls:
| 88.0ms | (/.f64 x (/.f64 z (+.f64 y z))) |
| 48.0ms | (/.f64 z (+.f64 y z)) |
| 1× | egg-herbie |
Useful iterations: 0 (90.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4958 | 2386 |
| 1 | 4958 | 2386 |
7 alts after pruning (5 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 127 | 2 | 129 |
| Fresh | 2 | 3 | 5 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 129 | 7 | 136 |
Merged error: 0b
Compiled 1990 to 401 computations (79.8% saved)
Found 2 expressions with local error:
| 0.0b | (/.f64 (+.f64 y z) z) |
| 3.4b | (*.f64 x (/.f64 (+.f64 y z) z)) |
| 1× | rewrite-expression-head |
| 34× | *-un-lft-identity_binary64_11331 |
| 25× | add-sqr-sqrt_binary64_11353 times-frac_binary64_11337 |
| 20× | add-cube-cbrt_binary64_11366 |
| 16× | associate-*r*_binary64_11271 |
| 9× | add-exp-log_binary64_11369 add-cbrt-cube_binary64_11367 |
| 7× | distribute-lft-out_binary64_11282 |
| 4× | pow1_binary64_11392 associate-/l*_binary64_11276 |
| 3× | associate-/r*_binary64_11275 associate-*l*_binary64_11272 |
| 2× | cbrt-unprod_binary64_11364 div-exp_binary64_11382 associate-/l/_binary64_11278 div-inv_binary64_11328 cbrt-undiv_binary64_11365 add-log-exp_binary64_11370 unswap-sqr_binary64_11299 prod-exp_binary64_11380 |
| 1× | *-commutative_binary64_11262 frac-2neg_binary64_11342 flip3-+_binary64_11334 associate-*r/_binary64_11273 pow-prod-down_binary64_11402 flip-+_binary64_11305 clear-num_binary64_11330 |
2 calls:
| 18.0ms | (*.f64 x (/.f64 (+.f64 y z) z)) |
| 10.0ms | (/.f64 (+.f64 y z) z) |
2 calls:
| 70.0ms | (*.f64 x (/.f64 (+.f64 y z) z)) |
| 31.0ms | (/.f64 (+.f64 y z) z) |
| 1× | egg-herbie |
Useful iterations: 0 (44.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5033 | 932 |
6 alts after pruning (4 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 73 | 1 | 74 |
| Fresh | 1 | 3 | 4 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 2 | 2 |
| Total | 75 | 6 | 81 |
Merged error: 0b
Compiled 976 to 239 computations (75.5% saved)
Found 2 expressions with local error:
| 0.2b | (*.f64 (+.f64 y z) (/.f64 1 z)) |
| 3.4b | (*.f64 x (*.f64 (+.f64 y z) (/.f64 1 z))) |
| 1× | rewrite-expression-head |
| 26× | add-exp-log_binary64_11369 |
| 18× | add-sqr-sqrt_binary64_11353 |
| 16× | add-cbrt-cube_binary64_11367 |
| 14× | *-un-lft-identity_binary64_11331 associate-*r*_binary64_11271 |
| 13× | prod-exp_binary64_11380 |
| 11× | add-cube-cbrt_binary64_11366 times-frac_binary64_11337 |
| 9× | pow1_binary64_11392 |
| 8× | associate-*r/_binary64_11273 |
| 7× | cbrt-unprod_binary64_11364 associate-*l*_binary64_11272 |
| 4× | div-exp_binary64_11382 associate-*l/_binary64_11274 frac-times_binary64_11341 flip3-+_binary64_11334 pow-prod-down_binary64_11402 flip-+_binary64_11305 |
| 3× | unswap-sqr_binary64_11299 |
| 2× | *-commutative_binary64_11262 1-exp_binary64_11375 rec-exp_binary64_11381 cbrt-undiv_binary64_11365 add-log-exp_binary64_11370 un-div-inv_binary64_11329 |
| 1× | div-inv_binary64_11328 distribute-lft-out_binary64_11282 |
2 calls:
| 24.0ms | (*.f64 (+.f64 y z) (/.f64 1 z)) |
| 21.0ms | (*.f64 x (*.f64 (+.f64 y z) (/.f64 1 z))) |
2 calls:
| 74.0ms | (*.f64 x (*.f64 (+.f64 y z) (/.f64 1 z))) |
| 36.0ms | (*.f64 (+.f64 y z) (/.f64 1 z)) |
| 1× | egg-herbie |
Useful iterations: 0 (84.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4975 | 842 |
| 1 | 4975 | 842 |
6 alts after pruning (3 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 75 | 0 | 75 |
| Fresh | 0 | 3 | 3 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 75 | 6 | 81 |
Merged error: 0b
Compiled 910 to 282 computations (69% saved)
Compiled 766 to 542 computations (29.2% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 5 | 1.751898409867082e-99 | 5.178970935109533e-99 | 3.2609574170760183e-99 |
| 10 | 7.857698035158287e-240 | 7.956714888065188e-227 | 5.046753511079363e-233 |
| 9 | -1.1384112638689675e-185 | -3.713299821895804e-195 | -2.590230819832462e-190 |
| 9 | -1.0952295141626294e+44 | -1.594159067857634e+35 | -5.140138329347149e+39 |
Compiled 1 to 3 computations (-200% saved)
| 1× | egg-herbie |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 33 | 86 |
| 1 | 33 | 86 |
| 1× | intervals |
| 402.0ms | 8000× | body | 128 | valid |
| 37.0ms | 747× | body | 128 | invalid |
Compiled 241 to 160 computations (33.6% saved)
Loading profile data...