Details

Time bar (total: 2.0s)

analyze1.3s (65.5%)

Algorithm
search
Search
TrueOtherFalseIter
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%99.8%0.2%5
9.4%90.4%0.2%6
17.2%82.7%0.2%7
19.5%80.3%0.2%8
30.8%69%0.2%9
35.5%64.3%0.2%10
42.4%57.4%0.2%11
47.1%52.7%0.2%12
49%50.8%0.2%13
50.1%49.7%0.2%14
Compiler

Compiled 38 to 20 computations (47.4% saved)

sample148.0ms (7.3%)

Algorithm
intervals
Results
56.0ms66×body1280invalid
28.0ms240×body80valid
23.0ms43×body640invalid
5.0msbody2560invalid
3.0msbody320invalid
3.0msbody1280valid
3.0msbody640valid
2.0ms15×body80invalid
2.0msbody160invalid
1.0msbody320valid
1.0msbody160valid
Compiler

Compiled 75 to 43 computations (42.7% saved)

simplify549.0ms (27.1%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
0493872
1493872

prune1.0ms (0%)

Profiling

Loading profile data...