Details
sample
4.5s (61.6%)
Algorithm
6×
intervals
Results
1.7s
7654×
body
1280
valid
1.2s
2939×
body
2560
valid
595.0ms
4216×
body
640
valid
310.0ms
10117×
body
80
valid
188.0ms
1754×
body
320
valid
43.0ms
864×
body
160
valid
simplify
2.8s (37.7%)
prune
41.0ms (0.6%)
localize
13.0ms (0.2%)
rewrite
2.0ms (0.0%)
Algorithm
3×
rewrite-expression-head
Calls
0 calls:
Slowest
Rules
series
0.0ms (0.0%)
Calls
0 calls:
Slowest
end
0.0ms (0.0%)