Details

Time bar (total: 14.1s)

sample127.0ms

Algorithm
intervals
Results
41.0ms78×body1280valid
31.0ms23×body2560valid
19.0ms48×body640valid
7.0ms24×body320valid
7.0ms69×body80valid
4.0ms14×body160valid

simplify10.4s

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

prune15.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.4s2569×body1280valid
997.0ms1520×body640valid
352.0ms628×body2560valid
280.0ms2152×body80valid
215.0ms771×body320valid
60.0ms360×body160valid