Details

Time bar (total: 7.5s)

analyze651.0ms (8.7%)

Algorithm
search
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0498648
1498648
033
133
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%5
9.4%65.5%25.1%6
9.4%65.5%25.1%6
14%60.8%25.1%7
14%60.8%25.1%7
14%56.2%29.8%8
14%56.2%29.8%8
14%36.7%49.3%9
14%36.7%49.3%9
14.8%30.4%54.8%10
14.8%30.4%54.8%10
15.5%28.3%56.2%11
15.5%28.3%56.2%11
16.4%18.3%65.2%12
16.4%18.3%65.2%12
17.2%15.2%67.6%13
17.2%15.2%67.6%13
17.7%14.2%68.1%14
17.7%14.2%68.1%14
Compiler

Compiled 20 to 18 computations (10% saved)

sample3.4s (45.5%)

Algorithm
intervals
Results
48.0ms1250×body128nan
38.0ms688×body128invalid
26.0ms512×body128valid
Compiler

Compiled 12069 to 14480 computations (-20% saved)

simplify70.0ms (0.9%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
0500712

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
0b
Counts
2 → 1
Compiler

Compiled 17 to 15 computations (11.8% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 x (*.f64 y (log.f64 y)))
0.3b
(*.f64 y (log.f64 y))

rewrite48.0ms (0.6%)

Algorithm
rewrite-expression-head
Error
0b
Rules
12×log-prod_binary64_9030
10×add-sqr-sqrt_binary64_8966
add-cube-cbrt_binary64_8979 *-un-lft-identity_binary64_8944
distribute-rgt-in_binary64_8894 distribute-lft-in_binary64_8893 associate-+r+_binary64_8876
pow1_binary64_9005
add-exp-log_binary64_8982 add-log-exp_binary64_8983 add-cbrt-cube_binary64_8980 associate-*r*_binary64_8884
associate-*l*_binary64_8885
pow-prod-down_binary64_9015 prod-exp_binary64_8993 cbrt-unprod_binary64_8977 unswap-sqr_binary64_8912 log-pow_binary64_9033 *-commutative_binary64_8875 sum-log_binary64_9035 flip3-+_binary64_8947 flip-+_binary64_8918 +-commutative_binary64_8874
Counts
2 → 42
Calls

2 calls:

7.0ms
(*.f64 y (log.f64 y))
4.0ms
(+.f64 x (*.f64 y (log.f64 y)))
Compiler

Compiled 652 to 239 computations (63.3% saved)

series333.0ms (4.5%)

Error
0b
Counts
2 → 14
Calls

2 calls:

218.0ms
(+.f64 x (*.f64 y (log.f64 y)))
102.0ms
(*.f64 y (log.f64 y))
Compiler

Compiled 353 to 268 computations (24.1% saved)

simplify64.0ms (0.9%)

Algorithm
egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
05010564

prune40.0ms (0.5%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New56056
Fresh000
Picked011
Done000
Total56157
Error
0b
Counts
57 → 1
Compiler

Compiled 710 to 226 computations (68.2% saved)

regimes87.0ms (1.2%)

Accuracy

Total 0.0b remaining (83.3%)

Threshold costs 0.0b (83.3%)

Compiler

Compiled 305 to 308 computations (-1% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02114
12114

end0.0ms (0%)

sample2.8s (37.1%)

Algorithm
intervals
Results
632.0ms19053×body128nan
506.0ms11059×body128invalid
359.0ms8000×body128valid
Compiler

Compiled 63 to 62 computations (1.6% saved)

Profiling

Loading profile data...