Details

sample17.0ms

Algorithm

intervals

Results

8.0ms

256×

body

80

valid

simplify649.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	2000
22	1958
21	1845
20	1715
19	1602
18	1472
17	1359
16	1229
15	1116
14	986
13	865
12	735
11	622
10	491
9	352
8	216
7	144
6	109
5	88
4	57
3	35
2	20
1	11
0	5

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize11.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts

0 → 0

Iterations

Iter	Nodes
done	0
0	0

prune4.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Iterations

Iter	Nodes
done	5
0	5

end0.0ms

sample450.0ms

Algorithm

intervals

Results

305.0ms	7992×	body	80	valid
1.0ms	5×	body	1280	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	320	valid
0.0ms	1×	body	160	valid