Details

sample13.0ms

Algorithm

intervals

Results

4.0ms	256×	body	80	valid
3.0ms	256×	pre	80	true

simplify18.9s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	81
1	7	81
2	11	81
3	17	81
4	26	81
5	62	81
6	124	81
7	207	81
8	358	81
9	553	81
10	803	81
11	959	81
12	1352	81
13	1537	81
14	2088	81
15	2305	81
16	3049	81
17	3297	81
18	4264	81
19	4547	81
done	5000	81

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

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

prune3.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	81
1	4	81
done	4	81

end0.0ms

sample486.0ms

Algorithm

intervals

Results

206.0ms	8000×	body	80	valid
112.0ms	8000×	pre	80	true