Details
sample
4.7s (61.5%)
Algorithm
6×
intervals
Results
1.8s
7708×
body
1280
valid
1.3s
2933×
body
2560
valid
549.0ms
4155×
body
640
valid
366.0ms
10123×
body
80
valid
155.0ms
1797×
body
320
valid
40.0ms
824×
body
160
valid
simplify
2.9s (37.9%)
prune
30.0ms (0.4%)
localize
14.0ms (0.2%)
rewrite
2.0ms (0.0%)
Algorithm
3×
rewrite-expression-head
Rules
series
0.0ms (0.0%)
end
0.0ms (0.0%)