Details

sample25.0ms

Algorithm

intervals

Results

10.0ms	256×	body	80	valid
7.0ms	256×	pre	80	true

simplify11.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	2000
124	2000
123	1986
122	1968
121	1954
120	1936
119	1922
118	1904
117	1890
116	1872
115	1858
114	1840
113	1826
112	1808
111	1794
110	1776
109	1762
108	1744
107	1730
106	1712
105	1698
104	1680
103	1666
102	1648
101	1634
100	1616
99	1602
98	1584
97	1570
96	1552
95	1538
94	1520
93	1506
92	1488
91	1474
90	1456
89	1442
88	1424
87	1410
86	1392
85	1378
84	1360
83	1346
82	1328
81	1314
80	1296
79	1282
78	1264
77	1250
76	1232
75	1218
74	1200
73	1186
72	1168
71	1154
70	1136
69	1122
68	1104
67	1090
66	1072
65	1058
64	1040
63	1026
62	1008
61	994
60	976
59	962
58	944
57	930
56	912
55	898
54	880
53	866
52	848
51	834
50	816
49	802
48	784
47	770
46	752
45	738
44	720
43	706
42	688
41	674
40	656
39	642
38	624
37	610
36	592
35	578
34	560
33	546
32	528
31	514
30	496
29	482
28	464
27	450
26	432
25	418
24	400
23	386
22	368
21	354
20	336
19	322
18	304
17	290
16	272
15	258
14	240
13	226
12	208
11	194
10	176
9	162
8	144
7	120
6	94
5	74
4	31
3	18
2	12
1	7
0	3

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

prune3.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Iterations

Iter	Nodes
done	2
0	2

end0.0ms

sample676.0ms

Algorithm

intervals

Results

315.0ms	8000×	body	80	valid
247.0ms	8000×	pre	80	true