Details

sample22.0ms

Algorithm

intervals

Results

10.0ms

257×

body

80

valid

simplify58.5s

Counts

1 → 1

Iterations

Useful iterations: 3 (21.0ms)

Iter	Nodes	Cost
0	5	161
1	12	121
2	22	82
3	36	42
4	48	42
5	119	42
6	346	42
7	911	42
8	1504	42
9	1656	42
10	1891	42
11	2111	42
12	2223	42
13	2277	42
14	2388	42
15	2478	42
16	2529	42
17	2583	42
18	2637	42
19	2687	42
20	2740	42
21	2790	42
22	2839	42
23	2888	42
24	2938	42
25	2987	42
26	3037	42
27	3087	42
28	3137	42
29	3186	42
30	3237	42
31	3287	42
32	3336	42
33	3386	42
34	3437	42
35	3486	42
36	3536	42
37	3587	42
38	3638	42
39	3688	42
40	3736	42
41	3780	42
42	3829	42
43	3903	42
44	3955	42
45	4031	42
46	4137	42
47	4231	42
48	4352	42
49	4438	42
50	4492	42
51	4547	42
52	4598	42
53	4651	42
54	4701	42
55	4756	42
56	4827	42
57	4908	42
done	5000	42

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

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

prune6.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	42
1	4	42
done	4	42

end0.0ms

sample460.0ms

Algorithm

intervals

Results

310.0ms

8011×

body

80

valid