Details
sample
2.3s (94.8%)
Algorithm
4×
intervals
Results
1.1s
2890×
body
2560
valid
686.0ms
3818×
body
1280
valid
125.0ms
1371×
body
640
valid
27.0ms
376×
body
320
valid
6.0ms
311×
body
80
valid
3.0ms
81×
body
160
valid
simplify
119.0ms (4.8%)
prune
6.0ms (0.3%)
localize
2.0ms (0.1%)
rewrite
1.0ms (0.0%)
Algorithm
1×
rewrite-expression-head
Rules
series
0.0ms (0.0%)
end
0.0ms (0.0%)