Details

Time bar (total: 13.6s)

sample94.0ms

Algorithm
intervals
Results
29.0ms87×body1280valid
12.0ms49×body640valid
5.0ms74×body80valid
5.0ms12×body2560valid
4.0ms23×body320valid
1.0ms11×body160valid

simplify10.7s

Counts
1 → 1
Iterations
IterNodes
done5000
51780
4411
3154
256
118
09

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize3.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune22.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify2.0ms

Iterations
IterNodes
done2
02

end0.0ms

sample2.7s

Algorithm
intervals
Results
925.0ms2612×body1280valid
692.0ms624×body2560valid
438.0ms1628×body640valid
163.0ms2098×body80valid
105.0ms698×body320valid
33.0ms340×body160valid