Details

Time bar (total: 3.1s)

sample121.0ms

Algorithm
intervals
Results
17.0ms97×body2560valid
14.0ms110×body1280valid
4.0ms37×body640valid
1.0msbody320valid
0.0msbody160valid

simplify656.0ms

Counts
1 → 1

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize2.0ms

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify11.0ms

Counts
0 → 0

prune1.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify11.0ms

end0.0ms

sample2.3s

Algorithm
intervals
Results
840.0ms2882×body2560valid
626.0ms3575×body1280valid
321.0ms305×body320valid
272.0ms1179×body640valid
3.0ms55×body160valid
0.0msbody80valid