Details

Time bar (total: 3.2s)

analyze782.0ms (24.4%)

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)

sample85.0ms (2.7%)

Algorithm
intervals
Results
44.0ms99×body1024valid
9.0ms37×body512valid
6.0ms10×body2048valid
5.0ms88×body128valid
3.0ms22×body256valid
Compiler

Compiled 25 to 24 computations (4% saved)

simplify211.0ms (6.6%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (79.0ms)

IterNodesCost
048408
148408

prune11.0ms (0.3%)

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.3%)

Local error

Found 1 expressions with local error:

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

rewrite16.0ms (0.5%)

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

1 calls:

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

Compiled 133 to 90 computations (32.3% saved)

series35.0ms (1.1%)

Error
0b
Counts
1 → 6
Calls

1 calls:

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

Compiled 94 to 84 computations (10.6% saved)

simplify109.0ms (3.4%)

Algorithm
egg-herbie
Counts
18 → 18
Iterations

Useful iterations: 0 (94.0ms)

IterNodesCost
04904168
14904168

prune13.0ms (0.4%)

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)

regimes70.0ms (2.2%)

Accuracy

Total 0.0b remaining (15.1%)

Threshold costs 0.0b (15.1%)

Compiler

Compiled 203 to 195 computations (3.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
088
188

end0.0ms (0%)

sample1.9s (58.1%)

Algorithm
intervals
Results
916.0ms2682×body1024valid
239.0ms1268×body512valid
156.0ms3060×body128valid
116.0ms272×body2048valid
88.0ms718×body256valid
0.0msbody128invalid
Compiler

Compiled 45 to 45 computations (0% saved)

Profiling

Loading profile data...