Details
sample
4.6s (62.0%)
Algorithm
6×
intervals
Results
1.7s
7708×
body
1280
valid
1.1s
2933×
body
2560
valid
482.0ms
1797×
body
320
valid
479.0ms
4155×
body
640
valid
374.0ms
10123×
body
80
valid
40.0ms
824×
body
160
valid
simplify
2.8s (37.3%)
prune
39.0ms (0.5%)
localize
10.0ms (0.1%)
rewrite
2.0ms (0.0%)
Algorithm
3×
rewrite-expression-head
Rules
series
0.0ms (0.0%)
end
0.0ms (0.0%)