Time bar (total: 14.2s)
| 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 |
| 1.8% | 98% | 0.2% | 10 |
| 7.7% | 92.1% | 0.2% | 11 |
| 10.4% | 89.3% | 0.2% | 12 |
| 12.2% | 87.5% | 0.2% | 13 |
| 21.9% | 77.7% | 0.4% | 14 |
Compiled 14 to 12 computations (14.3% saved)
| 1× | intervals |
| 11.0ms | 209× | body | 128 | valid |
| 3.0ms | 19× | body | 512 | valid |
| 2.0ms | 11× | body | 1024 | valid |
| 2.0ms | 34× | body | 128 | invalid |
| 2.0ms | 15× | body | 256 | valid |
| 1.0ms | 2× | body | 2048 | valid |
Compiled 27 to 28 computations (-3.7% saved)
| 1× | egg-herbie |
Useful iterations: 0 (101.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5084 | 19 |
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: 15.5b
Compiled 26 to 22 computations (15.4% saved)
Found 3 expressions with local error:
| 0.0b | (/.f64 (-.f64 t x) (-.f64 a z)) |
| 4.0b | (+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))) |
| 5.6b | (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))) |
| 1× | rewrite-expression-head |
| 78× | add-sqr-sqrt_binary64_2487 |
| 73× | *-un-lft-identity_binary64_2465 |
| 51× | times-frac_binary64_2471 |
| 31× | associate-*r*_binary64_2405 |
| 27× | add-cube-cbrt_binary64_2500 |
| 23× | difference-of-squares_binary64_2434 distribute-lft-out--_binary64_2417 |
| 10× | add-exp-log_binary64_2503 add-cbrt-cube_binary64_2501 |
| 5× | add-log-exp_binary64_2504 associate-/r*_binary64_2409 flip--_binary64_2440 pow1_binary64_2526 flip3--_binary64_2469 associate-/l*_binary64_2410 associate-*l*_binary64_2406 |
| 4× | associate-/r/_binary64_2411 |
| 2× | associate-*l/_binary64_2408 frac-times_binary64_2475 associate-/l/_binary64_2412 cbrt-undiv_binary64_2499 unswap-sqr_binary64_2433 div-exp_binary64_2516 div-inv_binary64_2462 prod-exp_binary64_2514 cbrt-unprod_binary64_2498 |
| 1× | flip3-+_binary64_2468 *-commutative_binary64_2396 +-commutative_binary64_2395 sum-log_binary64_2556 flip-+_binary64_2439 associate-*r/_binary64_2407 clear-num_binary64_2464 div-sub_binary64_2470 frac-2neg_binary64_2476 pow-prod-down_binary64_2536 |
3 calls:
| 30.0ms | (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))) |
| 14.0ms | (/.f64 (-.f64 t x) (-.f64 a z)) |
| 9.0ms | (+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))) |
3 calls:
| 628.0ms | (+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))) |
| 452.0ms | (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))) |
| 146.0ms | (/.f64 (-.f64 t x) (-.f64 a z)) |
| 1× | egg-herbie |
Useful iterations: 0 (52.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5558 | 2420 |
12 alts after pruning (11 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 117 | 11 | 128 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 117 | 12 | 129 |
Merged error: 5.5b
Compiled 2879 to 634 computations (78% saved)
Found 4 expressions with local error:
| 0.5b | (cbrt.f64 (-.f64 t x)) |
| 0.6b | (*.f64 (-.f64 y z) (/.f64 (*.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x))) (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))))) |
| 0.6b | (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))) |
| 10.6b | (+.f64 x (*.f64 (*.f64 (-.f64 y z) (/.f64 (*.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x))) (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))))) (/.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 a z))))) |
| 1× | rewrite-expression-head |
| 38× | add-sqr-sqrt_binary64_2487 |
| 33× | *-un-lft-identity_binary64_2465 cbrt-prod_binary64_2496 |
| 26× | cbrt-div_binary64_2497 |
| 24× | add-exp-log_binary64_2503 |
| 21× | associate-*r*_binary64_2405 |
| 15× | flip--_binary64_2440 add-cube-cbrt_binary64_2500 flip3--_binary64_2469 |
| 14× | add-cbrt-cube_binary64_2501 |
| 13× | pow1_binary64_2526 associate-*l*_binary64_2406 |
| 10× | frac-times_binary64_2475 swap-sqr_binary64_2432 prod-exp_binary64_2514 cbrt-unprod_binary64_2498 |
| 8× | distribute-lft-out--_binary64_2417 associate-/r/_binary64_2411 |
| 7× | pow1/3_binary64_2547 |
| 6× | associate-*l/_binary64_2408 difference-of-squares_binary64_2434 add-log-exp_binary64_2504 unswap-sqr_binary64_2433 |
| 5× | associate-*r/_binary64_2407 |
| 4× | cbrt-undiv_binary64_2499 div-exp_binary64_2516 |
| 3× | pow-prod-down_binary64_2536 |
| 2× | *-commutative_binary64_2396 times-frac_binary64_2471 pow-sqr_binary64_2438 pow-prod-up_binary64_2535 |
| 1× | flip3-+_binary64_2468 +-commutative_binary64_2395 pow-plus_binary64_2528 sum-log_binary64_2556 flip-+_binary64_2439 div-inv_binary64_2462 pow2_binary64_2546 |
4 calls:
| 34.0ms | (*.f64 (-.f64 y z) (/.f64 (*.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x))) (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))))) |
| 25.0ms | (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))) |
| 7.0ms | (cbrt.f64 (-.f64 t x)) |
| 6.0ms | (+.f64 x (*.f64 (*.f64 (-.f64 y z) (/.f64 (*.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x))) (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))))) (/.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 a z))))) |
4 calls:
| 1.4s | (*.f64 (-.f64 y z) (/.f64 (*.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x))) (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))))) |
| 656.0ms | (+.f64 x (*.f64 (*.f64 (-.f64 y z) (/.f64 (*.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x))) (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))))) (/.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 a z))))) |
| 300.0ms | (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))) |
| 232.0ms | (cbrt.f64 (-.f64 t x)) |
| 1× | egg-herbie |
Useful iterations: 0 (119.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4948 | 3266 |
| 1 | 4948 | 3266 |
13 alts after pruning (11 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 137 | 1 | 138 |
| Fresh | 0 | 10 | 10 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 137 | 13 | 150 |
Merged error: 5.5b
Compiled 5715 to 1234 computations (78.4% saved)
Found 4 expressions with local error:
| 0.5b | (cbrt.f64 (-.f64 a z)) |
| 0.6b | (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))) |
| 1.6b | (*.f64 (/.f64 (-.f64 y z) (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 t x) (cbrt.f64 (-.f64 a z)))) |
| 8.4b | (+.f64 x (*.f64 (/.f64 (-.f64 y z) (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 t x) (cbrt.f64 (-.f64 a z))))) |
| 1× | rewrite-expression-head |
| 96× | add-sqr-sqrt_binary64_2487 |
| 78× | *-un-lft-identity_binary64_2465 |
| 60× | cbrt-prod_binary64_2496 |
| 54× | associate-*r*_binary64_2405 |
| 52× | times-frac_binary64_2471 |
| 34× | add-cube-cbrt_binary64_2500 |
| 28× | cbrt-div_binary64_2497 |
| 27× | add-exp-log_binary64_2503 |
| 25× | associate-*l*_binary64_2406 |
| 21× | distribute-lft-out--_binary64_2417 |
| 19× | difference-of-squares_binary64_2434 |
| 18× | add-cbrt-cube_binary64_2501 |
| 14× | flip--_binary64_2440 flip3--_binary64_2469 |
| 13× | pow1_binary64_2526 |
| 10× | swap-sqr_binary64_2432 unswap-sqr_binary64_2433 associate-/r/_binary64_2411 |
| 9× | frac-times_binary64_2475 prod-exp_binary64_2514 cbrt-unprod_binary64_2498 |
| 7× | cbrt-undiv_binary64_2499 pow1/3_binary64_2547 div-exp_binary64_2516 |
| 6× | add-log-exp_binary64_2504 |
| 5× | associate-*l/_binary64_2408 associate-*r/_binary64_2407 |
| 3× | pow-prod-down_binary64_2536 |
| 2× | *-commutative_binary64_2396 div-inv_binary64_2462 pow-sqr_binary64_2438 pow-prod-up_binary64_2535 |
| 1× | flip3-+_binary64_2468 +-commutative_binary64_2395 pow-plus_binary64_2528 sum-log_binary64_2556 flip-+_binary64_2439 pow2_binary64_2546 |
4 calls:
| 68.0ms | (*.f64 (/.f64 (-.f64 y z) (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 t x) (cbrt.f64 (-.f64 a z)))) |
| 16.0ms | (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))) |
| 9.0ms | (+.f64 x (*.f64 (/.f64 (-.f64 y z) (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 t x) (cbrt.f64 (-.f64 a z))))) |
| 3.0ms | (cbrt.f64 (-.f64 a z)) |
4 calls:
| 891.0ms | (*.f64 (/.f64 (-.f64 y z) (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 t x) (cbrt.f64 (-.f64 a z)))) |
| 724.0ms | (+.f64 x (*.f64 (/.f64 (-.f64 y z) (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 t x) (cbrt.f64 (-.f64 a z))))) |
| 310.0ms | (cbrt.f64 (-.f64 a z)) |
| 288.0ms | (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))) |
| 1× | egg-herbie |
Useful iterations: 0 (43.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5712 | 4478 |
13 alts after pruning (11 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 185 | 2 | 187 |
| Fresh | 1 | 9 | 10 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 2 | 2 |
| Total | 187 | 13 | 200 |
Merged error: 5.5b
Compiled 5779 to 1393 computations (75.9% saved)
Found 3 expressions with local error:
| 0.0b | (/.f64 (-.f64 y z) (-.f64 a z)) |
| 2.3b | (*.f64 (-.f64 t x) (/.f64 (-.f64 y z) (-.f64 a z))) |
| 2.6b | (+.f64 x (pow.f64 (*.f64 (-.f64 t x) (/.f64 (-.f64 y z) (-.f64 a z))) 1)) |
| 1× | rewrite-expression-head |
| 78× | add-sqr-sqrt_binary64_2487 |
| 75× | *-un-lft-identity_binary64_2465 |
| 51× | times-frac_binary64_2471 |
| 31× | associate-*r*_binary64_2405 |
| 27× | add-cube-cbrt_binary64_2500 |
| 23× | difference-of-squares_binary64_2434 distribute-lft-out--_binary64_2417 |
| 10× | add-exp-log_binary64_2503 add-cbrt-cube_binary64_2501 |
| 5× | add-log-exp_binary64_2504 associate-/r*_binary64_2409 flip--_binary64_2440 pow1_binary64_2526 flip3--_binary64_2469 associate-/l*_binary64_2410 associate-*l*_binary64_2406 |
| 4× | associate-/r/_binary64_2411 |
| 2× | associate-*l/_binary64_2408 frac-times_binary64_2475 associate-/l/_binary64_2412 cbrt-undiv_binary64_2499 unswap-sqr_binary64_2433 div-exp_binary64_2516 div-inv_binary64_2462 prod-exp_binary64_2514 cbrt-unprod_binary64_2498 |
| 1× | flip3-+_binary64_2468 *-commutative_binary64_2396 +-commutative_binary64_2395 sum-log_binary64_2556 flip-+_binary64_2439 associate-*r/_binary64_2407 clear-num_binary64_2464 div-sub_binary64_2470 frac-2neg_binary64_2476 pow-prod-down_binary64_2536 distribute-lft-out_binary64_2416 |
3 calls:
| 33.0ms | (*.f64 (-.f64 t x) (/.f64 (-.f64 y z) (-.f64 a z))) |
| 19.0ms | (/.f64 (-.f64 y z) (-.f64 a z)) |
| 5.0ms | (+.f64 x (pow.f64 (*.f64 (-.f64 t x) (/.f64 (-.f64 y z) (-.f64 a z))) 1)) |
3 calls:
| 645.0ms | (+.f64 x (pow.f64 (*.f64 (-.f64 t x) (/.f64 (-.f64 y z) (-.f64 a z))) 1)) |
| 423.0ms | (*.f64 (-.f64 t x) (/.f64 (-.f64 y z) (-.f64 a z))) |
| 135.0ms | (/.f64 (-.f64 y z) (-.f64 a z)) |
| 1× | egg-herbie |
Useful iterations: 0 (79.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4974 | 2424 |
| 1 | 4974 | 2424 |
13 alts after pruning (10 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 127 | 2 | 129 |
| Fresh | 2 | 8 | 10 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 129 | 13 | 142 |
Merged error: 5.5b
Compiled 2864 to 731 computations (74.5% saved)
Compiled 7826 to 4968 computations (36.5% saved)
Compiled 13 to 11 computations (15.4% saved)
| 1× | egg-herbie |
Useful iterations: 0 (2.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 72 | 85 |
| 1 | 72 | 85 |
| 1× | intervals |
| 350.0ms | 6752× | body | 128 | valid |
| 70.0ms | 385× | body | 1024 | valid |
| 63.0ms | 1222× | body | 128 | invalid |
| 61.0ms | 467× | body | 512 | valid |
| 33.0ms | 330× | body | 256 | valid |
| 15.0ms | 66× | body | 2048 | valid |
Compiled 1353 to 849 computations (37.3% saved)
Loading profile data...