Details

sample19.0ms

Algorithm

intervals

Results

11.0ms

256×

body

80

valid

simplify3.0s

Counts

1 → 1

Iterations

Iter	Nodes
done	2000
50	1991
49	1946
48	1910
47	1881
46	1845
45	1816
44	1780
43	1751
42	1715
41	1686
40	1650
39	1621
38	1585
37	1556
36	1520
35	1491
34	1455
33	1426
32	1390
31	1361
30	1325
29	1296
28	1260
27	1231
26	1195
25	1166
24	1130
23	1101
22	1065
21	1036
20	1000
19	961
18	908
17	862
16	823
15	780
14	740
13	684
12	632
11	585
10	483
9	408
8	336
7	227
6	94
5	58
4	50
3	35
2	24
1	12
0	5

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize3.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	4
1	4
0	3

end0.0ms

sample675.0ms

Algorithm

intervals

Results

603.0ms

8010×

body

80

valid