Details

sample29.0ms

Algorithm

intervals

Results

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

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

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize12.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify1.0ms

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
done	0	0

prune3.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.1b

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

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

end0.0ms

sample715.0ms

Algorithm

intervals

Results

331.0ms	7413×	body	80	valid
102.0ms	77×	body	2560	valid
39.0ms	218×	body	1280	valid
18.0ms	134×	body	640	valid
10.0ms	104×	body	320	valid
4.0ms	57×	body	160	valid