Details

sample12.0ms

Algorithm

intervals

Results

5.0ms

256×

body

80

valid

simplify1.5s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
46	4874
45	4761
44	4631
43	4518
42	4388
41	4275
40	4145
39	4032
38	3902
37	3789
36	3659
35	3546
34	3416
33	3303
32	3173
31	3060
30	2930
29	2817
28	2687
27	2574
26	2444
25	2331
24	2201
23	2088
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

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

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

sample381.0ms

Algorithm

intervals

Results

226.0ms	7993×	body	80	valid
0.0ms	4×	body	1280	valid
0.0ms	2×	body	640	valid
0.0ms	1×	body	320	valid