Time bar (total: 27.4s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 28.1% | 71.9% | 0 |
| 0% | 28.1% | 71.9% | 1 |
| 0% | 28.1% | 71.9% | 2 |
| 0% | 28.1% | 71.9% | 3 |
| 3.5% | 24.6% | 71.9% | 4 |
| 5.3% | 22.8% | 71.9% | 5 |
| 10.5% | 17.5% | 71.9% | 6 |
| 14% | 14% | 71.9% | 7 |
| 19.1% | 9% | 71.9% | 8 |
| 24.6% | 3.5% | 71.9% | 9 |
| 25.1% | 3% | 71.9% | 10 |
| 25.8% | 2.3% | 71.9% | 11 |
| 26.3% | 1.8% | 71.9% | 12 |
| 26.6% | 1.5% | 71.9% | 13 |
| 26.9% | 1.2% | 71.9% | 14 |
Compiled 39 to 27 computations (30.8% saved)
| 1× | intervals |
| 11.0ms | 205× | body | 128 | valid |
| 6.0ms | 25× | body | 1024 | valid |
| 6.0ms | 256× | pre | 128 | true |
| 2.0ms | 15× | body | 512 | valid |
| 1.0ms | 9× | body | 256 | valid |
| 1.0ms | 2× | body | 2048 | valid |
Compiled 68 to 50 computations (26.5% saved)
| 1× | egg-herbie |
Useful iterations: 0 (69.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5371 | 43 |
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 58 to 40 computations (31% saved)
Found 3 expressions with local error:
| 0.1b | (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) |
| 1.5b | (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1) |
| 20.3b | (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) |
| 1× | rewrite-expression-head |
| 54× | times-frac_binary64_2471 |
| 47× | *-un-lft-identity_binary64_2465 |
| 25× | add-cube-cbrt_binary64_2500 add-sqr-sqrt_binary64_2487 |
| 17× | add-exp-log_binary64_2503 add-cbrt-cube_binary64_2501 |
| 14× | associate-/r/_binary64_2411 |
| 11× | flip3-+_binary64_2468 flip-+_binary64_2439 distribute-lft-out_binary64_2416 |
| 10× | associate-/l*_binary64_2410 |
| 9× | associate-/l/_binary64_2412 |
| 7× | div-exp_binary64_2516 cbrt-undiv_binary64_2499 div-inv_binary64_2462 associate-/r*_binary64_2409 |
| 5× | add-log-exp_binary64_2504 |
| 4× | frac-times_binary64_2475 |
| 3× | pow1_binary64_2526 flip3--_binary64_2469 flip--_binary64_2440 |
| 2× | prod-exp_binary64_2514 cbrt-unprod_binary64_2498 frac-2neg_binary64_2476 clear-num_binary64_2464 associate-*l/_binary64_2408 associate-*r/_binary64_2407 |
| 1× | sum-log_binary64_2556 +-commutative_binary64_2395 |
3 calls:
| 33.0ms | (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1) |
| 24.0ms | (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) |
| 14.0ms | (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) |
Compiled 5370 to 2710 computations (49.5% saved)
3 calls:
| 1.8s | (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1) |
| 1.2s | (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) |
| 213.0ms | (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) |
Compiled 14539 to 11194 computations (23% saved)
| 1× | egg-herbie |
Useful iterations: 0 (26.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5048 | 11951 |
9 alts after pruning (9 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 176 | 9 | 185 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 177 | 9 | 186 |
Compiled 10475 to 5752 computations (45.1% saved)
Found 4 expressions with local error:
| 0.0b | (/.f64 (-.f64 beta alpha) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) |
| 0.1b | (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha)))) |
| 1.1b | (*.f64 (+.f64 beta alpha) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha))))) |
| 3.0b | (+.f64 (*.f64 (+.f64 beta alpha) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha))))) 1) |
| 1× | rewrite-expression-head |
| 321× | times-frac_binary64_2471 |
| 290× | *-un-lft-identity_binary64_2465 |
| 211× | add-sqr-sqrt_binary64_2487 |
| 140× | add-cube-cbrt_binary64_2500 |
| 90× | associate-*r*_binary64_2405 |
| 44× | distribute-lft-out_binary64_2416 |
| 31× | difference-of-squares_binary64_2434 distribute-lft-out--_binary64_2417 |
| 26× | associate-/l*_binary64_2410 |
| 24× | associate-/r/_binary64_2411 |
| 20× | add-exp-log_binary64_2503 add-cbrt-cube_binary64_2501 |
| 15× | flip3-+_binary64_2468 flip-+_binary64_2439 |
| 12× | div-inv_binary64_2462 |
| 7× | div-exp_binary64_2516 cbrt-undiv_binary64_2499 associate-/r*_binary64_2409 |
| 6× | add-log-exp_binary64_2504 pow1_binary64_2526 |
| 4× | associate-*l*_binary64_2406 |
| 3× | prod-exp_binary64_2514 cbrt-unprod_binary64_2498 unswap-sqr_binary64_2433 div-sub_binary64_2470 associate-/l/_binary64_2412 |
| 2× | frac-times_binary64_2475 associate-*l/_binary64_2408 frac-2neg_binary64_2476 clear-num_binary64_2464 |
| 1× | sum-log_binary64_2556 +-commutative_binary64_2395 pow-prod-down_binary64_2536 associate-*r/_binary64_2407 *-commutative_binary64_2396 flip3--_binary64_2469 flip--_binary64_2440 |
4 calls:
| 43.0ms | (*.f64 (+.f64 beta alpha) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha))))) |
| 27.0ms | (+.f64 (*.f64 (+.f64 beta alpha) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha))))) 1) |
| 20.0ms | (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha)))) |
| 11.0ms | (/.f64 (-.f64 beta alpha) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) |
Compiled 14908 to 7929 computations (46.8% saved)
4 calls:
| 1.8s | (+.f64 (*.f64 (+.f64 beta alpha) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha))))) 1) |
| 1.2s | (*.f64 (+.f64 beta alpha) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha))))) |
| 876.0ms | (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha)))) |
| 219.0ms | (/.f64 (-.f64 beta alpha) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) |
Compiled 19962 to 15184 computations (23.9% saved)
| 1× | egg-herbie |
Useful iterations: 0 (72.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4977 | 22369 |
| 1 | 4977 | 22369 |
8 alts after pruning (7 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 394 | 2 | 396 |
| Fresh | 3 | 5 | 8 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 397 | 8 | 405 |
Compiled 21444 to 11677 computations (45.5% saved)
Found 4 expressions with local error:
| 0.0b | (+.f64 (*.f64 (+.f64 beta alpha) (/.f64 beta (*.f64 (+.f64 (*.f64 2 i) (+.f64 2 beta)) (+.f64 (*.f64 2 i) beta)))) 1) |
| 0.0b | (*.f64 (+.f64 (*.f64 2 i) (+.f64 2 beta)) (+.f64 (*.f64 2 i) beta)) |
| 2.2b | (*.f64 (+.f64 beta alpha) (/.f64 beta (*.f64 (+.f64 (*.f64 2 i) (+.f64 2 beta)) (+.f64 (*.f64 2 i) beta)))) |
| 9.1b | (/.f64 beta (*.f64 (+.f64 (*.f64 2 i) (+.f64 2 beta)) (+.f64 (*.f64 2 i) beta))) |
| 1× | rewrite-expression-head |
| 21× | flip3-+_binary64_2468 flip-+_binary64_2439 |
| 20× | add-exp-log_binary64_2503 add-cbrt-cube_binary64_2501 |
| 18× | associate-*r*_binary64_2405 |
| 16× | associate-/r/_binary64_2411 |
| 15× | add-sqr-sqrt_binary64_2487 |
| 14× | frac-times_binary64_2475 |
| 13× | *-un-lft-identity_binary64_2465 |
| 11× | add-cube-cbrt_binary64_2500 |
| 8× | pow1_binary64_2526 associate-*l/_binary64_2408 |
| 7× | associate-*r/_binary64_2407 associate-*l*_binary64_2406 |
| 6× | prod-exp_binary64_2514 add-log-exp_binary64_2504 cbrt-unprod_binary64_2498 times-frac_binary64_2471 |
| 4× | div-exp_binary64_2516 cbrt-undiv_binary64_2499 |
| 3× | associate-/l*_binary64_2410 |
| 2× | div-inv_binary64_2462 pow-prod-down_binary64_2536 unswap-sqr_binary64_2433 *-commutative_binary64_2396 |
| 1× | frac-2neg_binary64_2476 clear-num_binary64_2464 associate-/r*_binary64_2409 distribute-lft-out_binary64_2416 distribute-rgt-in_binary64_2415 distribute-lft-in_binary64_2414 sum-log_binary64_2556 +-commutative_binary64_2395 |
4 calls:
| 19.0ms | (*.f64 (+.f64 beta alpha) (/.f64 beta (*.f64 (+.f64 (*.f64 2 i) (+.f64 2 beta)) (+.f64 (*.f64 2 i) beta)))) |
| 17.0ms | (+.f64 (*.f64 (+.f64 beta alpha) (/.f64 beta (*.f64 (+.f64 (*.f64 2 i) (+.f64 2 beta)) (+.f64 (*.f64 2 i) beta)))) 1) |
| 15.0ms | (/.f64 beta (*.f64 (+.f64 (*.f64 2 i) (+.f64 2 beta)) (+.f64 (*.f64 2 i) beta))) |
| 12.0ms | (*.f64 (+.f64 (*.f64 2 i) (+.f64 2 beta)) (+.f64 (*.f64 2 i) beta)) |
Compiled 4248 to 2824 computations (33.5% saved)
4 calls:
| 427.0ms | (+.f64 (*.f64 (+.f64 beta alpha) (/.f64 beta (*.f64 (+.f64 (*.f64 2 i) (+.f64 2 beta)) (+.f64 (*.f64 2 i) beta)))) 1) |
| 401.0ms | (*.f64 (+.f64 beta alpha) (/.f64 beta (*.f64 (+.f64 (*.f64 2 i) (+.f64 2 beta)) (+.f64 (*.f64 2 i) beta)))) |
| 176.0ms | (*.f64 (+.f64 (*.f64 2 i) (+.f64 2 beta)) (+.f64 (*.f64 2 i) beta)) |
| 150.0ms | (/.f64 beta (*.f64 (+.f64 (*.f64 2 i) (+.f64 2 beta)) (+.f64 (*.f64 2 i) beta))) |
Compiled 6818 to 5324 computations (21.9% saved)
| 1× | egg-herbie |
Useful iterations: 0 (40.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4998 | 6284 |
| 1 | 4998 | 6284 |
8 alts after pruning (6 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 179 | 1 | 180 |
| Fresh | 1 | 5 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 180 | 8 | 188 |
Compiled 6735 to 4280 computations (36.5% saved)
Found 4 expressions with local error:
| 19.0b | (/.f64 (*.f64 (/.f64 (pow.f64 (+.f64 beta alpha) 2) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) (/.f64 (*.f64 (-.f64 beta alpha) (-.f64 beta alpha)) (+.f64 (*.f64 2 i) (+.f64 beta alpha)))) (*.f64 (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha))))) |
| 20.3b | (/.f64 (*.f64 (-.f64 beta alpha) (-.f64 beta alpha)) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) |
| 20.3b | (/.f64 (*.f64 (-.f64 beta alpha) (+.f64 beta alpha)) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) |
| 20.3b | (/.f64 (pow.f64 (+.f64 beta alpha) 2) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) |
| 1× | rewrite-expression-head |
| 144× | add-exp-log_binary64_2503 |
| 81× | add-cbrt-cube_binary64_2501 |
| 67× | div-exp_binary64_2516 |
| 47× | prod-exp_binary64_2514 |
| 34× | times-frac_binary64_2471 *-un-lft-identity_binary64_2465 |
| 33× | cbrt-undiv_binary64_2499 |
| 26× | add-cube-cbrt_binary64_2500 add-sqr-sqrt_binary64_2487 |
| 25× | cbrt-unprod_binary64_2498 |
| 19× | associate-/l/_binary64_2412 |
| 16× | unpow-prod-down_binary64_2544 |
| 14× | associate-/r/_binary64_2411 |
| 13× | frac-times_binary64_2475 |
| 12× | flip3-+_binary64_2468 flip-+_binary64_2439 associate-/l*_binary64_2410 |
| 10× | associate-/r*_binary64_2409 |
| 9× | flip3--_binary64_2469 flip--_binary64_2440 |
| 7× | pow-to-exp_binary64_2534 pow-exp_binary64_2533 associate-*l/_binary64_2408 associate-*r/_binary64_2407 |
| 4× | pow1_binary64_2526 add-log-exp_binary64_2504 frac-2neg_binary64_2476 distribute-lft-out_binary64_2416 unpow2_binary64_2530 sqr-pow_binary64_2437 clear-num_binary64_2464 div-inv_binary64_2462 |
4 calls:
| 45.0ms | (/.f64 (*.f64 (/.f64 (pow.f64 (+.f64 beta alpha) 2) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) (/.f64 (*.f64 (-.f64 beta alpha) (-.f64 beta alpha)) (+.f64 (*.f64 2 i) (+.f64 beta alpha)))) (*.f64 (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha))))) |
| 15.0ms | (/.f64 (*.f64 (-.f64 beta alpha) (-.f64 beta alpha)) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) |
| 14.0ms | (/.f64 (*.f64 (-.f64 beta alpha) (+.f64 beta alpha)) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) |
| 12.0ms | (/.f64 (pow.f64 (+.f64 beta alpha) 2) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) |
Compiled 18418 to 9200 computations (50% saved)
4 calls:
| 3.0s | (/.f64 (*.f64 (/.f64 (pow.f64 (+.f64 beta alpha) 2) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) (/.f64 (*.f64 (-.f64 beta alpha) (-.f64 beta alpha)) (+.f64 (*.f64 2 i) (+.f64 beta alpha)))) (*.f64 (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 beta alpha))))) |
| 257.0ms | (/.f64 (*.f64 (-.f64 beta alpha) (-.f64 beta alpha)) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) |
| 255.0ms | (/.f64 (*.f64 (-.f64 beta alpha) (+.f64 beta alpha)) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) |
| 211.0ms | (/.f64 (pow.f64 (+.f64 beta alpha) 2) (+.f64 (*.f64 2 i) (+.f64 beta alpha))) |
Compiled 22349 to 14783 computations (33.9% saved)
| 1× | egg-herbie |
Useful iterations: 0 (29.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4957 | 12135 |
| 1 | 4957 | 12135 |
8 alts after pruning (6 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 261 | 1 | 262 |
| Fresh | 0 | 5 | 5 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 2 | 2 |
| Total | 262 | 8 | 270 |
Compiled 23701 to 12458 computations (47.4% saved)
Total 1.5b remaining (98%)
Threshold costs 0b (0%)
Compiled 39655 to 27070 computations (31.7% saved)
Compiled 25 to 16 computations (36% saved)
| 1× | egg-herbie |
Useful iterations: 0 (4.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 270 | 185 |
| 1 | 270 | 185 |
| 1× | intervals |
| 367.0ms | 6439× | body | 128 | valid |
| 178.0ms | 8000× | pre | 128 | true |
| 163.0ms | 712× | body | 1024 | valid |
| 90.0ms | 507× | body | 512 | valid |
| 32.0ms | 288× | body | 256 | valid |
| 22.0ms | 54× | body | 2048 | valid |
Compiled 5718 to 3888 computations (32% saved)
Loading profile data...