Details
sample
4.5s (63.8%)
Algorithm
6×
intervals
Results
1.7s
7708×
body
1280
valid
816.0ms
2933×
body
2560
valid
788.0ms
4155×
body
640
valid
619.0ms
10123×
body
80
valid
128.0ms
1797×
body
320
valid
38.0ms
824×
body
160
valid
simplify
2.5s (35.6%)
prune
30.0ms (0.4%)
localize
15.0ms (0.2%)
rewrite
2.0ms (0.0%)
Algorithm
3×
rewrite-expression-head
Rules
series
0.0ms (0.0%)
end
0.0ms (0.0%)