Details

Time bar (total: 11.2s)

sample112.0ms

Algorithm
intervals
Results
40.0ms88×body1280valid
32.0ms44×body640valid
9.0ms17×body2560valid
7.0ms24×body320valid
6.0ms67×body80valid
3.0ms16×body160valid

simplify7.0s

Counts
1 → 1
Iterations
IterNodes
66811
5923
4265
3135
257
118
09

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize0.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
10
00

prune2.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify0.0ms

Iterations
IterNodes
11
01

end0.0ms

sample4.1s

Algorithm
intervals
Results
2.2s2607×body1280valid
682.0ms1601×body640valid
314.0ms556×body2560valid
272.0ms775×body320valid
264.0ms2123×body80valid
58.0ms338×body160valid