Details

sample18.0ms

Algorithm

intervals

Results

6.0ms	235×	body	80	valid
1.0ms	8×	body	1280	valid
0.0ms	4×	body	2560	valid
0.0ms	4×	body	640	valid
0.0ms	4×	body	320	valid
0.0ms	1×	body	160	valid

simplify159.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	12	7
2	19	7
3	29	7
4	40	7
5	45	7
6	49	7
7	58	7
8	74	7
9	90	7
10	101	7
11	103	7
12	107	7
13	108	7
done	108	7

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize7.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
done	0	0

prune2.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.1b

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	7	7
done	7	7

end0.0ms

sample648.0ms

Algorithm

intervals

Results

300.0ms	7413×	body	80	valid
56.0ms	218×	body	1280	valid
14.0ms	134×	body	640	valid
12.0ms	77×	body	2560	valid
9.0ms	104×	body	320	valid
3.0ms	57×	body	160	valid