Time bar (total: 5.9s)
| 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 |
| 4.7% | 95.1% | 0.2% | 10 |
| 12.7% | 87.1% | 0.2% | 11 |
| 15.9% | 83.9% | 0.2% | 12 |
| 24.9% | 74.9% | 0.2% | 13 |
| 26.2% | 73.6% | 0.2% | 14 |
Compiled 12 to 11 computations (8.3% saved)
| 1× | intervals |
| 13.0ms | 256× | body | 128 | valid |
| 1.0ms | 21× | body | 128 | invalid |
Compiled 23 to 26 computations (-13% saved)
| 1× | egg-herbie |
Useful iterations: 0 (371.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5693 | 16 |
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: 11.3b
Compiled 22 to 20 computations (9.1% saved)
Found 3 expressions with local error:
| 0.0b | (+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 a t))) |
| 0.0b | (*.f64 y (-.f64 z t)) |
| 11.3b | (/.f64 (*.f64 y (-.f64 z t)) (-.f64 a t)) |
| 1× | rewrite-expression-head |
| 17× | *-un-lft-identity_binary64_17469 add-sqr-sqrt_binary64_17491 |
| 10× | add-exp-log_binary64_17507 add-cbrt-cube_binary64_17505 |
| 9× | add-cube-cbrt_binary64_17504 |
| 6× | cancel-sign-sub-inv_binary64_17435 |
| 5× | associate-/r*_binary64_17413 times-frac_binary64_17475 add-log-exp_binary64_17508 pow1_binary64_17530 associate-*r*_binary64_17409 |
| 4× | distribute-rgt-in_binary64_17419 associate-*r/_binary64_17411 distribute-lft-in_binary64_17418 |
| 3× | associate-*l*_binary64_17410 difference-of-squares_binary64_17438 distribute-lft-out--_binary64_17421 flip3--_binary64_17473 flip--_binary64_17444 |
| 2× | sub-neg_binary64_17462 associate-/l/_binary64_17416 prod-exp_binary64_17518 associate-/r/_binary64_17415 div-exp_binary64_17520 cbrt-undiv_binary64_17503 cbrt-unprod_binary64_17502 |
| 1× | associate-/l*_binary64_17414 distribute-lft-out_binary64_17420 *-commutative_binary64_17400 frac-2neg_binary64_17480 flip3-+_binary64_17472 flip-+_binary64_17443 unswap-sqr_binary64_17437 clear-num_binary64_17468 pow-prod-down_binary64_17540 +-commutative_binary64_17399 div-inv_binary64_17466 sum-log_binary64_17560 |
3 calls:
| 16.0ms | (+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 a t))) |
| 11.0ms | (/.f64 (*.f64 y (-.f64 z t)) (-.f64 a t)) |
| 8.0ms | (*.f64 y (-.f64 z t)) |
3 calls:
| 164.0ms | (+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 a t))) |
| 121.0ms | (/.f64 (*.f64 y (-.f64 z t)) (-.f64 a t)) |
| 37.0ms | (*.f64 y (-.f64 z t)) |
| 1× | egg-herbie |
Useful iterations: 0 (58.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4983 | 1097 |
| 1 | 4983 | 1097 |
5 alts after pruning (5 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 75 | 5 | 80 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 76 | 5 | 81 |
Merged error: 0.0b
Compiled 1323 to 324 computations (75.5% saved)
Found 3 expressions with local error:
| 0.0b | (+.f64 x (/.f64 y (/.f64 (-.f64 a t) (-.f64 z t)))) |
| 0.0b | (/.f64 (-.f64 a t) (-.f64 z t)) |
| 2.7b | (/.f64 y (/.f64 (-.f64 a t) (-.f64 z t))) |
| 1× | rewrite-expression-head |
| 218× | times-frac_binary64_17475 |
| 197× | *-un-lft-identity_binary64_17469 |
| 195× | add-sqr-sqrt_binary64_17491 |
| 91× | add-cube-cbrt_binary64_17504 |
| 52× | difference-of-squares_binary64_17438 distribute-lft-out--_binary64_17421 |
| 36× | associate-/r*_binary64_17413 |
| 11× | associate-/r/_binary64_17415 |
| 10× | add-exp-log_binary64_17507 add-cbrt-cube_binary64_17505 |
| 8× | associate-/l*_binary64_17414 |
| 6× | div-inv_binary64_17466 flip3--_binary64_17473 flip--_binary64_17444 |
| 5× | add-log-exp_binary64_17508 |
| 4× | div-exp_binary64_17520 cbrt-undiv_binary64_17503 |
| 3× | pow1_binary64_17530 |
| 2× | associate-/l/_binary64_17416 frac-2neg_binary64_17480 clear-num_binary64_17468 |
| 1× | distribute-lft-out_binary64_17420 div-sub_binary64_17474 flip3-+_binary64_17472 flip-+_binary64_17443 +-commutative_binary64_17399 sum-log_binary64_17560 |
3 calls:
| 36.0ms | (+.f64 x (/.f64 y (/.f64 (-.f64 a t) (-.f64 z t)))) |
| 24.0ms | (/.f64 y (/.f64 (-.f64 a t) (-.f64 z t))) |
| 16.0ms | (/.f64 (-.f64 a t) (-.f64 z t)) |
3 calls:
| 175.0ms | (+.f64 x (/.f64 y (/.f64 (-.f64 a t) (-.f64 z t)))) |
| 165.0ms | (/.f64 y (/.f64 (-.f64 a t) (-.f64 z t))) |
| 49.0ms | (/.f64 (-.f64 a t) (-.f64 z t)) |
| 1× | egg-herbie |
Useful iterations: 0 (47.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4992 | 5201 |
| 1 | 4992 | 5201 |
6 alts after pruning (5 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 213 | 2 | 215 |
| Fresh | 1 | 3 | 4 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 214 | 6 | 220 |
Merged error: 0b
Compiled 4570 to 769 computations (83.2% saved)
Found 3 expressions with local error:
| 0.0b | (+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t)))) |
| 0.0b | (/.f64 (-.f64 z t) (-.f64 a t)) |
| 2.8b | (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t))) |
| 1× | rewrite-expression-head |
| 76× | add-sqr-sqrt_binary64_17491 |
| 71× | *-un-lft-identity_binary64_17469 |
| 51× | times-frac_binary64_17475 |
| 31× | associate-*r*_binary64_17409 |
| 27× | add-cube-cbrt_binary64_17504 |
| 22× | difference-of-squares_binary64_17438 distribute-lft-out--_binary64_17421 |
| 10× | add-exp-log_binary64_17507 add-cbrt-cube_binary64_17505 |
| 5× | associate-/l*_binary64_17414 associate-/r*_binary64_17413 add-log-exp_binary64_17508 pow1_binary64_17530 |
| 4× | associate-/r/_binary64_17415 |
| 3× | associate-*l*_binary64_17410 flip3--_binary64_17473 flip--_binary64_17444 |
| 2× | associate-/l/_binary64_17416 prod-exp_binary64_17518 unswap-sqr_binary64_17437 div-exp_binary64_17520 cbrt-undiv_binary64_17503 cbrt-unprod_binary64_17502 div-inv_binary64_17466 |
| 1× | *-commutative_binary64_17400 div-sub_binary64_17474 associate-*r/_binary64_17411 frac-2neg_binary64_17480 flip3-+_binary64_17472 flip-+_binary64_17443 clear-num_binary64_17468 pow-prod-down_binary64_17540 +-commutative_binary64_17399 sum-log_binary64_17560 |
3 calls:
| 16.0ms | (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t))) |
| 9.0ms | (/.f64 (-.f64 z t) (-.f64 a t)) |
| 3.0ms | (+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t)))) |
3 calls:
| 132.0ms | (+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t)))) |
| 123.0ms | (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t))) |
| 47.0ms | (/.f64 (-.f64 z t) (-.f64 a t)) |
| 1× | egg-herbie |
Useful iterations: 0 (67.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5160 | 2068 |
6 alts after pruning (4 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 122 | 0 | 122 |
| Fresh | 0 | 4 | 4 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 122 | 6 | 128 |
Merged error: 0b
Compiled 2282 to 475 computations (79.2% saved)
Found 3 expressions with local error:
| 0.0b | (/.f64 y (-.f64 a t)) |
| 0.0b | (+.f64 x (*.f64 (/.f64 y (-.f64 a t)) (-.f64 z t))) |
| 9.3b | (*.f64 (/.f64 y (-.f64 a t)) (-.f64 z t)) |
| 1× | rewrite-expression-head |
| 48× | add-sqr-sqrt_binary64_17491 |
| 43× | *-un-lft-identity_binary64_17469 |
| 31× | times-frac_binary64_17475 |
| 27× | add-cube-cbrt_binary64_17504 |
| 21× | associate-*l*_binary64_17410 |
| 12× | cancel-sign-sub-inv_binary64_17435 |
| 10× | add-exp-log_binary64_17507 add-cbrt-cube_binary64_17505 |
| 8× | associate-+r+_binary64_17401 distribute-rgt-in_binary64_17419 difference-of-squares_binary64_17438 distribute-lft-out--_binary64_17421 distribute-lft-in_binary64_17418 |
| 5× | associate-/r*_binary64_17413 add-log-exp_binary64_17508 pow1_binary64_17530 associate-*r*_binary64_17409 |
| 4× | sub-neg_binary64_17462 associate-/r/_binary64_17415 flip3--_binary64_17473 flip--_binary64_17444 |
| 3× | associate-/l*_binary64_17414 |
| 2× | associate-*r/_binary64_17411 prod-exp_binary64_17518 unswap-sqr_binary64_17437 frac-times_binary64_17479 div-exp_binary64_17520 cbrt-undiv_binary64_17503 cbrt-unprod_binary64_17502 div-inv_binary64_17466 |
| 1× | *-commutative_binary64_17400 frac-2neg_binary64_17480 flip3-+_binary64_17472 flip-+_binary64_17443 clear-num_binary64_17468 associate-*l/_binary64_17412 pow-prod-down_binary64_17540 +-commutative_binary64_17399 sum-log_binary64_17560 |
3 calls:
| 15.0ms | (*.f64 (/.f64 y (-.f64 a t)) (-.f64 z t)) |
| 6.0ms | (/.f64 y (-.f64 a t)) |
| 4.0ms | (+.f64 x (*.f64 (/.f64 y (-.f64 a t)) (-.f64 z t))) |
3 calls:
| 215.0ms | (+.f64 x (*.f64 (/.f64 y (-.f64 a t)) (-.f64 z t))) |
| 167.0ms | (*.f64 (/.f64 y (-.f64 a t)) (-.f64 z t)) |
| 35.0ms | (/.f64 y (-.f64 a t)) |
| 1× | egg-herbie |
Useful iterations: 0 (45.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5544 | 1874 |
6 alts after pruning (3 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 119 | 0 | 119 |
| Fresh | 0 | 3 | 3 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 119 | 6 | 125 |
Merged error: 0b
Compiled 2116 to 440 computations (79.2% saved)
Compiled 2982 to 2168 computations (27.3% saved)
| 1× | egg-herbie |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 31 | 46 |
| 1 | 31 | 46 |
| 1× | intervals |
| 411.0ms | 8000× | body | 128 | valid |
| 33.0ms | 675× | body | 128 | invalid |
Compiled 456 to 328 computations (28.1% saved)
Loading profile data...