Details

Time bar (total: 14.1s)

sample112.0ms

Algorithm
intervals
Results
40.0ms79×body1280valid
22.0ms55×body640valid
19.0ms31×body2560valid
7.0ms22×body320valid
6.0ms55×body80valid
3.0ms14×body160valid

simplify10.4s

Counts
1 → 1
Iterations
IterNodes
69520
5986
4265
3136
259
120
09

prune24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize1.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

prune4.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Iterations
IterNodes
11
01

end0.0ms

sample3.5s

Algorithm
intervals
Results
1.8s2685×body1280valid
663.0ms1585×body640valid
327.0ms604×body2560valid
262.0ms750×body320valid
241.0ms2012×body80valid
57.0ms364×body160valid