Details

sample23.1s (66.5%)

Algorithm
272×intervals
Results
9.0s99150×body80valid
3.5s19143×body80nan
1.1s1467×body1280valid
653.0ms1416×body640valid
226.0ms820×body320valid
209.0ms174×body2560valid
73.0ms440×body160valid
50.0ms65×body10240exit
8.0msbody5120valid
3.0msbody1280nan
3.0ms12×body640nan
3.0ms13×body320nan
1.0msbody160nan

simplify11.6s (33.5%)

prune24.0ms (0.1%)

localize5.0ms (0.0%)

rewrite2.0ms (0.0%)

Algorithm
rewrite-expression-head
Rules

series0.0ms (0.0%)

end0.0ms (0.0%)