Details

Time bar (total: 5.0s)

analyze1.1s (22.1%)

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
25%75%0%3
25%62.5%12.5%4
25%56.2%18.8%5
28.1%50%21.9%6
29.7%46.9%23.5%7
30.5%45.3%24.3%8
30.8%44.9%24.3%9
31.2%44.5%24.3%10
31.3%44.3%24.4%11
31.4%44.3%24.4%12
31.4%44%24.5%13
31.5%43.8%24.8%14
Compiler

Compiled 13 to 12 computations (7.7% saved)

sample105.0ms (2.1%)

Algorithm
intervals
Results
49.0ms94×body1024valid
13.0ms87×body128valid
12.0ms40×body512valid
9.0ms12×body2048valid
4.0ms23×body256valid
0.0msbody128invalid
Compiler

Compiled 25 to 24 computations (4% saved)

simplify265.0ms (5.3%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (100.0ms)

IterNodesCost
048408
148408

prune12.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
0b
Counts
2 → 1
Compiler

Compiled 10 to 10 computations (0% saved)

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 1 (exp.f64 x))
0.0b
(+.f64 1 (exp.f64 x))

rewrite12.0ms (0.2%)

Algorithm
rewrite-expression-head
Rules
*-un-lft-identity_binary64 add-log-exp_binary64
flip3-+_binary64 pow1_binary64 distribute-lft-out_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-sqr-sqrt_binary64 +-commutative_binary64 flip-+_binary64 sum-log_binary64
Counts
1 → 12
Calls

2 calls:

8.0ms
(+.f64 1 (exp.f64 x))
0.0ms
(+.f64 1 (exp.f64 x))

series51.0ms (1%)

Counts
1 → 6
Calls

1 calls:

51.0ms
(+.f64 1 (exp.f64 x))
Compiler

Compiled 52 to 50 computations (3.8% saved)

simplify131.0ms (2.6%)

Algorithm
egg-herbie
Counts
18 → 18
Iterations

Useful iterations: 0 (118.0ms)

IterNodesCost
04904168
14904168

prune30.0ms (0.6%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New18018
Fresh000
Picked011
Done000
Total18119
Error
0b
Counts
19 → 1
Compiler

Compiled 154 to 108 computations (29.9% saved)

simplify5.0ms (0.1%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04872
14872

regimes34.0ms (0.7%)

Accuracy

Total 0.0b remaining (16.4%)

Threshold costs 0.0b (16.4%)

Compiler

Compiled 52 to 50 computations (3.8% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
088
188

end0.0ms (0%)

sample3.3s (64.8%)

Algorithm
intervals
Results
1.4s2731×body1024valid
355.0ms1237×body512valid
243.0ms3089×body128valid
182.0ms284×body2048valid
115.0ms659×body256valid
0.0msbody128invalid
Compiler

Compiled 163 to 157 computations (3.7% saved)

Pareto

0.23366850530220018

Profiling

Loading profile data...