Details

Time bar (total: 9.5s)

analyze1.5s (15.9%)

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
25%62.4%12.6%5
25%56.2%18.8%6
28.1%50%22%7
28.1%46.8%25.1%8
29.7%41.4%29%9
29.7%39.4%30.9%10
31.1%35.8%33.1%11
31.1%34.4%34.5%12
31.5%32.9%35.6%13
31.5%32.1%36.4%14
Compiler

Compiled 14 to 12 computations (14.3% saved)

sample276.0ms (2.9%)

Algorithm
intervals
Results
69.0ms86×body1024valid
64.0ms64×body1024nan
51.0ms70×body2048valid
20.0ms83×body128overflowed
17.0ms34×body512valid
8.0ms15×body512nan
7.0ms10×body512invalid
6.0msbody1024invalid
5.0ms46×body128valid
5.0ms20×body256valid
3.0ms10×body256nan
2.0ms23×body128nan
1.0msbody256invalid
1.0msbody128invalid
Compiler

Compiled 27 to 25 computations (7.4% saved)

prune5.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
30.1b
Counts
2 → 1
Compiler

Compiled 13 to 11 computations (15.4% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.7b
(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))
0.0b
(pow.f64 x (/.f64 1 n))
0.0b
(pow.f64 x (/.f64 1 n))
0.7b
(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))

rewrite1.0ms (0%)

Algorithm
rewrite-expression-head
Rules
Counts
2 → 0
Calls

4 calls:

1.0ms
(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))
0.0ms
(pow.f64 x (/.f64 1 n))
0.0ms
(pow.f64 x (/.f64 1 n))
0.0ms
(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))

prune1.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked000
Done011
Total011
Error
30.1b
Counts
1 → 1
Compiler

Compiled 13 to 11 computations (15.4% saved)

sample7.7s (81%)

Algorithm
intervals
Results
1.9s2677×body1024valid
1.4s1483×body1024nan
1.3s1789×body2048valid
621.0ms2584×body128overflowed
552.0ms1196×body512valid
385.0ms678×body512nan
210.0ms1754×body128valid
184.0ms158×body1024invalid
168.0ms584×body256valid
160.0ms249×body512invalid
114.0ms359×body256nan
64.0ms815×body128nan
56.0ms147×body256invalid
40.0ms256×body128invalid
7.0msbody2048nan
Compiler

Compiled 40 to 36 computations (10% saved)

Pareto

0

Profiling

Loading profile data...