Details
sample
4.4s (57.4%)
Algorithm
6×
intervals
Results
1.7s
7708×
body
1280
valid
1.1s
2933×
body
2560
valid
584.0ms
4155×
body
640
valid
310.0ms
10123×
body
80
valid
155.0ms
1797×
body
320
valid
39.0ms
824×
body
160
valid
simplify
3.2s (42.0%)
prune
30.0ms (0.4%)
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%)