Time bar (total: 14.4s)
| 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% | 68.6% | 31.4% | 5 |
| 0% | 65.5% | 34.5% | 6 |
| 0% | 59.2% | 40.8% | 7 |
| 0% | 51.4% | 48.6% | 8 |
| 0% | 41.3% | 58.7% | 9 |
| 0% | 28.4% | 71.6% | 10 |
| 2.3% | 22.3% | 75.4% | 11 |
| 2.3% | 21% | 76.7% | 12 |
| 2.7% | 18% | 79.3% | 13 |
| 2.7% | 16.4% | 80.8% | 14 |
Compiled 17 to 16 computations (5.9% saved)
| 1× | intervals |
| 20.0ms | 256× | body | 128 | valid |
| 9.0ms | 135× | body | 128 | nan |
| 0.0ms | 1× | body | 128 | invalid |
Compiled 33 to 36 computations (-9.1% saved)
| 1× | egg-herbie |
Useful iterations: 0 (144.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5309 | 25 |
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 |
Compiled 32 to 30 computations (6.3% saved)
Found 8 expressions with local error:
| 0.6b | (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) |
| 0.2b | (*.f64 (-.f64 a 1/2) (log.f64 t)) |
| 0.1b | (+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t))) |
| 0.0b | (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) |
| 0.0b | (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) |
| 0.1b | (+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t))) |
| 0.2b | (*.f64 (-.f64 a 1/2) (log.f64 t)) |
| 0.6b | (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) |
| 1× | rewrite-expression-head |
| 32× | *-un-lft-identity_binary64_11672 |
| 20× | add-sqr-sqrt_binary64_11694 |
| 19× | log-prod_binary64_11758 |
| 15× | pow1_binary64_11733 |
| 14× | add-log-exp_binary64_11711 add-cube-cbrt_binary64_11707 |
| 9× | log-pow_binary64_11761 associate-+l+_binary64_11605 associate-+r+_binary64_11604 distribute-lft-out_binary64_11623 |
| 6× | distribute-lft-out--_binary64_11624 cancel-sign-sub-inv_binary64_11638 sum-log_binary64_11763 associate-*l/_binary64_11615 distribute-lft-in_binary64_11621 flip3--_binary64_11676 add-exp-log_binary64_11710 flip--_binary64_11647 distribute-rgt-in_binary64_11622 add-cbrt-cube_binary64_11708 |
| 5× | associate-+l-_binary64_11607 associate-*l*_binary64_11613 |
| 4× | associate-*r*_binary64_11612 flip-+_binary64_11646 flip3-+_binary64_11675 log-div_binary64_11759 frac-add_binary64_11680 diff-log_binary64_11764 |
| 2× | associate--l+_binary64_11609 +-commutative_binary64_11602 associate--l-_binary64_11610 difference-of-squares_binary64_11641 sub-neg_binary64_11665 |
| 1× | cbrt-unprod_binary64_11705 unswap-sqr_binary64_11640 prod-exp_binary64_11721 *-commutative_binary64_11603 pow-prod-down_binary64_11743 |
8 calls:
| 14.0ms | (+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t))) |
| 11.0ms | (*.f64 (-.f64 a 1/2) (log.f64 t)) |
| 8.0ms | (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) |
| 8.0ms | (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) |
| 0.0ms | (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) |
4 calls:
| 767.0ms | (+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t))) |
| 285.0ms | (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) |
| 161.0ms | (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) |
| 160.0ms | (*.f64 (-.f64 a 1/2) (log.f64 t)) |
Compiled 2121 to 1920 computations (9.5% saved)
| 1× | egg-herbie |
Useful iterations: 0 (47.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5019 | 3257 |
10 alts after pruning (10 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 162 | 10 | 172 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 163 | 10 | 173 |
Compiled 3784 to 1381 computations (63.5% saved)
Found 8 expressions with local error:
| 0.0b | (sqrt.f64 (+.f64 x y)) |
| 0.0b | (-.f64 (+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y))))) t) |
| 0.0b | (log.f64 (sqrt.f64 (+.f64 x y))) |
| 0.0b | (log.f64 (sqrt.f64 (+.f64 x y))) |
| 0.1b | (+.f64 (-.f64 (+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y))))) t) (*.f64 (-.f64 a 1/2) (log.f64 t))) |
| 0.2b | (*.f64 (-.f64 a 1/2) (log.f64 t)) |
| 0.4b | (+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y))))) |
| 0.5b | (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y)))) |
| 1× | rewrite-expression-head |
| 41× | *-un-lft-identity_binary64_11672 |
| 29× | log-prod_binary64_11758 |
| 24× | pow1_binary64_11733 distribute-lft-out_binary64_11623 |
| 20× | add-sqr-sqrt_binary64_11694 |
| 18× | log-pow_binary64_11761 |
| 16× | add-cube-cbrt_binary64_11707 |
| 15× | add-log-exp_binary64_11711 associate-+l+_binary64_11605 |
| 14× | associate-+r+_binary64_11604 |
| 11× | sum-log_binary64_11763 |
| 8× | sqrt-prod_binary64_11688 |
| 6× | sqrt-div_binary64_11689 associate-*l/_binary64_11615 associate-+r-_binary64_11606 flip-+_binary64_11646 flip3-+_binary64_11675 distribute-lft-in_binary64_11621 add-exp-log_binary64_11710 log-div_binary64_11759 distribute-rgt-in_binary64_11622 add-cbrt-cube_binary64_11708 |
| 5× | flip3--_binary64_11676 flip--_binary64_11647 associate-*l*_binary64_11613 |
| 4× | associate-*r*_binary64_11612 frac-add_binary64_11680 |
| 3× | cancel-sign-sub-inv_binary64_11638 +-commutative_binary64_11602 associate-+l-_binary64_11607 diff-log_binary64_11764 |
| 1× | cbrt-unprod_binary64_11705 distribute-lft-out--_binary64_11624 associate--l+_binary64_11609 unswap-sqr_binary64_11640 prod-exp_binary64_11721 difference-of-squares_binary64_11641 *-commutative_binary64_11603 pow-prod-down_binary64_11743 sub-neg_binary64_11665 |
8 calls:
| 21.0ms | (+.f64 (-.f64 (+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y))))) t) (*.f64 (-.f64 a 1/2) (log.f64 t))) |
| 14.0ms | (+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y))))) |
| 8.0ms | (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y)))) |
| 7.0ms | (*.f64 (-.f64 a 1/2) (log.f64 t)) |
| 0.0ms | (log.f64 (sqrt.f64 (+.f64 x y))) |
4 calls:
| 838.0ms | (+.f64 (-.f64 (+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y))))) t) (*.f64 (-.f64 a 1/2) (log.f64 t))) |
| 190.0ms | (+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y))))) |
| 167.0ms | (*.f64 (-.f64 a 1/2) (log.f64 t)) |
| 159.0ms | (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y)))) |
Compiled 2172 to 1876 computations (13.6% saved)
| 1× | egg-herbie |
Useful iterations: 0 (46.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5074 | 3682 |
10 alts after pruning (9 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 173 | 0 | 173 |
| Fresh | 0 | 9 | 9 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 173 | 10 | 183 |
Compiled 4760 to 1761 computations (63% saved)
Found 8 expressions with local error:
| 0.1b | (+.f64 (*.f64 (-.f64 a 1/2) (*.f64 2 (log.f64 (cbrt.f64 t)))) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)) |
| 0.0b | (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) |
| 0.0b | (log.f64 (cbrt.f64 t)) |
| 0.0b | (log.f64 (cbrt.f64 t)) |
| 0.2b | (+.f64 (+.f64 (*.f64 (-.f64 a 1/2) (*.f64 2 (log.f64 (cbrt.f64 t)))) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)) (*.f64 (log.f64 (cbrt.f64 t)) (-.f64 a 1/2))) |
| 0.6b | (cbrt.f64 t) |
| 0.6b | (cbrt.f64 t) |
| 0.6b | (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) |
| 1× | rewrite-expression-head |
| 20× | frac-add_binary64_11680 |
| 16× | add-log-exp_binary64_11711 *-un-lft-identity_binary64_11672 |
| 14× | flip3--_binary64_11676 flip--_binary64_11647 |
| 12× | associate-*r/_binary64_11614 |
| 11× | associate-+r+_binary64_11604 |
| 10× | add-cube-cbrt_binary64_11707 add-sqr-sqrt_binary64_11694 |
| 9× | sum-log_binary64_11763 |
| 8× | pow1_binary64_11733 associate-*l/_binary64_11615 |
| 7× | log-prod_binary64_11758 |
| 6× | cancel-sign-sub-inv_binary64_11638 cbrt-prod_binary64_11703 |
| 5× | associate-+l+_binary64_11605 flip-+_binary64_11646 flip3-+_binary64_11675 distribute-lft-out_binary64_11623 |
| 4× | log-pow_binary64_11761 distribute-lft-in_binary64_11621 add-exp-log_binary64_11710 distribute-rgt-in_binary64_11622 add-cbrt-cube_binary64_11708 |
| 3× | associate-+l-_binary64_11607 |
| 2× | +-commutative_binary64_11602 log-div_binary64_11759 pow1/3_binary64_11754 sub-neg_binary64_11665 diff-log_binary64_11764 |
| 1× | associate-+r-_binary64_11606 |
8 calls:
| 22.0ms | (+.f64 (+.f64 (*.f64 (-.f64 a 1/2) (*.f64 2 (log.f64 (cbrt.f64 t)))) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)) (*.f64 (log.f64 (cbrt.f64 t)) (-.f64 a 1/2))) |
| 7.0ms | (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) |
| 2.0ms | (cbrt.f64 t) |
| 1.0ms | (cbrt.f64 t) |
| 0.0ms | (log.f64 (cbrt.f64 t)) |
4 calls:
| 1.2s | (+.f64 (+.f64 (*.f64 (-.f64 a 1/2) (*.f64 2 (log.f64 (cbrt.f64 t)))) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)) (*.f64 (log.f64 (cbrt.f64 t)) (-.f64 a 1/2))) |
| 161.0ms | (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) |
| 82.0ms | (cbrt.f64 t) |
| 79.0ms | (cbrt.f64 t) |
Compiled 2042 to 1819 computations (10.9% saved)
| 1× | egg-herbie |
Useful iterations: 0 (56.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4933 | 4720 |
| 1 | 4933 | 4720 |
10 alts after pruning (9 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 123 | 2 | 125 |
| Fresh | 1 | 7 | 8 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 125 | 10 | 135 |
Compiled 5014 to 2085 computations (58.4% saved)
Found 8 expressions with local error:
| 0.1b | (+.f64 (*.f64 (-.f64 a 1/2) (*.f64 2 (log.f64 (cbrt.f64 t)))) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)) |
| 0.0b | (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) |
| 0.0b | (log.f64 (pow.f64 t 1/3)) |
| 0.0b | (log.f64 (cbrt.f64 t)) |
| 0.2b | (+.f64 (+.f64 (*.f64 (-.f64 a 1/2) (*.f64 2 (log.f64 (cbrt.f64 t)))) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)) (*.f64 (log.f64 (pow.f64 t 1/3)) (-.f64 a 1/2))) |
| 0.6b | (cbrt.f64 t) |
| 0.6b | (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) |
| 5.1b | (pow.f64 t 1/3) |
| 1× | rewrite-expression-head |
| 20× | frac-add_binary64_11680 |
| 17× | *-un-lft-identity_binary64_11672 |
| 16× | add-log-exp_binary64_11711 |
| 14× | flip3--_binary64_11676 flip--_binary64_11647 |
| 12× | associate-*r/_binary64_11614 |
| 11× | add-cube-cbrt_binary64_11707 add-sqr-sqrt_binary64_11694 associate-+r+_binary64_11604 |
| 9× | pow1_binary64_11733 sum-log_binary64_11763 |
| 8× | associate-*l/_binary64_11615 |
| 7× | log-prod_binary64_11758 |
| 6× | cancel-sign-sub-inv_binary64_11638 |
| 5× | associate-+l+_binary64_11605 flip-+_binary64_11646 flip3-+_binary64_11675 add-exp-log_binary64_11710 distribute-lft-out_binary64_11623 |
| 4× | log-pow_binary64_11761 distribute-lft-in_binary64_11621 distribute-rgt-in_binary64_11622 add-cbrt-cube_binary64_11708 |
| 3× | unpow-prod-down_binary64_11751 associate-+l-_binary64_11607 cbrt-prod_binary64_11703 pow-unpow_binary64_11749 |
| 2× | +-commutative_binary64_11602 log-div_binary64_11759 sub-neg_binary64_11665 diff-log_binary64_11764 |
| 1× | pow-exp_binary64_11740 pow-to-exp_binary64_11741 associate-+r-_binary64_11606 sqr-pow_binary64_11644 pow-pow_binary64_11744 pow1/3_binary64_11754 unpow1/3_binary64_11739 |
8 calls:
| 22.0ms | (+.f64 (+.f64 (*.f64 (-.f64 a 1/2) (*.f64 2 (log.f64 (cbrt.f64 t)))) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)) (*.f64 (log.f64 (pow.f64 t 1/3)) (-.f64 a 1/2))) |
| 7.0ms | (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) |
| 3.0ms | (pow.f64 t 1/3) |
| 1.0ms | (cbrt.f64 t) |
| 0.0ms | (log.f64 (cbrt.f64 t)) |
4 calls:
| 1.3s | (+.f64 (+.f64 (*.f64 (-.f64 a 1/2) (*.f64 2 (log.f64 (cbrt.f64 t)))) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)) (*.f64 (log.f64 (pow.f64 t 1/3)) (-.f64 a 1/2))) |
| 173.0ms | (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) |
| 79.0ms | (cbrt.f64 t) |
| 75.0ms | (pow.f64 t 1/3) |
Compiled 2100 to 1918 computations (8.7% saved)
| 1× | egg-herbie |
Useful iterations: 0 (55.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4956 | 4747 |
| 1 | 4956 | 4747 |
10 alts after pruning (8 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 132 | 0 | 132 |
| Fresh | 0 | 8 | 8 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 132 | 10 | 142 |
Compiled 5054 to 2134 computations (57.8% saved)
| 1× | egg-herbie |
Useful iterations: 0 (94.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 2791 | 1848 |
| 1 | 2791 | 1848 |
Compiled 11483 to 9293 computations (19.1% saved)
Compiled 1654 to 1884 computations (-13.9% saved)
Compiled 1452 to 1808 computations (-24.5% saved)
Compiled 3 to 7 computations (-133.3% saved)
Compiled 593 to 900 computations (-51.8% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 8 | 8.042991094756742e-106 | 2.160675656841878e-103 | 1.0535220162098499e-105 |
Compiled 1 to 5 computations (-400% saved)
Compiled 467 to 774 computations (-65.7% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 5.484579882243637e+166 | 4.945492941683914e+171 | 8.75993593636454e+166 |
| 8 | 2.56858674738924e-92 | 1.8537898810215282e-88 | 4.319119741426114e-90 |
Compiled 1 to 5 computations (-400% saved)
Compiled 246 to 461 computations (-87.4% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 6 | 220542932.2669815 | 2539635545.460418 | 506673596.9651076 |
| 9 | 1.414093967515525e-43 | 4.300958931574863e-37 | 5.709540516196257e-42 |
| 10 | 3.975592574598532e-151 | 3.276885081160779e-136 | 3.8285228051860155e-137 |
| 7 | -9.831024109928509e-17 | -1.952334130954218e-18 | -9.708605631387478e-17 |
Compiled 1 to 5 computations (-400% saved)
Compiled 118 to 310 computations (-162.7% saved)
Compiled 55 to 205 computations (-272.7% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 2539635545.460418 | 3.809831766995785e+18 | 66650640802147256.0 |
| 5 | -4.962635882960824e+25 | -2.0434874599910597e+25 | -2.7477081485001602e+25 |
Compiled 1 to 5 computations (-400% saved)
Compiled 35 to 170 computations (-385.7% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 6 | 3291.3834219563146 | 22809.2947439165 | 3335.9441908706367 |
Compiled 1 to 5 computations (-400% saved)
Total 0.2b remaining (96.1%)
Threshold costs 0.2b (96.1%)
Compiled 25 to 140 computations (-460% saved)
Compiled 258 to 201 computations (22.1% saved)
| 1× | egg-herbie |
Useful iterations: 0 (7.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 273 | 337 |
| 1 | 273 | 337 |
| 1× | intervals |
| 628.0ms | 8000× | body | 128 | valid |
| 290.0ms | 4243× | body | 128 | nan |
| 2.0ms | 27× | body | 128 | invalid |
Compiled 1421 to 1158 computations (18.5% saved)
0.5817634270325764
Loading profile data...