Details

sample17.0ms

Algorithm

intervals

Results

6.0ms

299×

body

valid

simplify4.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	8	5
2	10	5
done	10	5

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.2b

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.2b	(/ x (* y 3.0))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-exp-log` `add-cbrt-cube`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `times-frac` `associate-/l`
2×	`cbrt-undiv` `div-exp`
1×	`pow1` `frac-2neg` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `div-inv` `add-log-exp`

Counts

1 → 21

Calls

1 calls:

5.0ms

(/ x (* y 3.0))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(/ x (* y 3.0))

simplify21.4s

Counts

24 → 24

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	13	8
2	22	8
3	32	8
4	42	8
5	58	8
6	77	8
7	93	8
8	98	8
done	98	8
0	7	7
1	13	7
2	20	7
3	28	7
4	37	7
5	49	7
6	68	7
7	94	7
8	104	7
done	104	7
0	6	6
1	12	6
2	22	6
3	34	6
4	47	6
5	58	6
6	74	6
7	93	6
8	109	6
9	114	6
done	114	6
0	6	6
1	9	6
2	11	6
done	11	6
0	11	17
1	26	17
2	114	11
3	524	11
4	1884	9
done	5000	9
0	9	17
1	28	17
2	130	9
3	669	7
4	2190	7
5	4057	7
done	5000	7
0	7	13
1	10	13
2	12	13
done	12	13
0	6	6
1	9	6
2	11	6
done	11	6
0	7	17
1	17	17
2	65	7
3	321	7
4	1205	7
5	2718	7
6	4513	7
done	5000	7
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	4	4
1	9	4
2	11	4
done	11	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	3	3
done	3	3
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5

prune54.0ms

Filtered

20 candidates to 24 candidates (-20.0%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	18	6	24
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	7	25

Merged error: 0.0b

Counts

25 → 7

localize5.0ms

Local error

Found 1 expressions with local error:

0.3b	(* (/ 1 y) (/ x 3.0))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-sqr-sqrt`
25×	`times-frac`
23×	`add-exp-log`
17×	`*-un-lft-identity`
15×	`add-cube-cbrt`
13×	`associate-r` `associate-l` `add-cbrt-cube`
8×	`div-exp` `prod-exp`
6×	`unswap-sqr`
4×	`cbrt-undiv` `cbrt-unprod`
3×	`pow1`
2×	`rec-exp` `1-exp` `div-inv`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `add-log-exp`

Counts

1 → 56

Calls

1 calls:

12.0ms

(* (/ 1 y) (/ x 3.0))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(* (/ 1 y) (/ x 3.0))

simplify28.6s

Counts

59 → 59

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	14	7
2	23	5
3	62	5
4	90	5
5	123	5
6	137	5
done	137	5
0	9	9
1	14	9
2	22	8
3	36	8
4	47	8
5	57	8
6	74	8
7	96	8
8	103	8
done	103	8
0	8	8
1	12	8
2	19	7
3	32	7
4	47	7
5	52	7
6	62	7
7	79	7
8	101	7
9	108	7
done	108	7
0	10	10
1	19	9
2	44	8
3	105	8
4	259	8
5	358	8
6	376	8
done	376	8
0	9	9
1	17	8
2	38	7
3	88	7
4	220	7
5	314	7
6	324	7
done	324	7
0	11	11
1	22	10
2	45	9
3	114	8
4	264	8
5	358	8
6	371	8
done	371	8
0	10	10
1	20	9
2	38	8
3	91	7
4	220	7
5	314	7
6	326	7
done	326	7
0	10	10
1	21	9
2	36	8
3	82	8
4	177	8
5	299	8
6	308	8
done	308	8
0	9	9
1	19	8
2	31	7
3	66	7
4	149	7
5	272	7
6	360	7
7	363	7
done	363	7
0	8	8
1	18	8
2	38	6
3	99	6
4	199	6
5	387	6
6	533	6
7	596	6
done	596	6
0	8	8
1	17	8
2	32	6
3	89	6
4	170	6
5	353	6
6	945	6
7	3850	6
done	5000	6
0	15	23
1	39	19
2	139	11
3	840	9
4	4477	9
done	5000	9
0	13	23
1	35	19
2	106	9
3	468	9
4	2175	9
done	5000	9
0	13	23
1	36	23
2	138	13
3	621	11
4	3212	9
done	5000	9
0	11	23
1	32	23
2	105	11
3	366	11
4	1499	7
done	5001	7
0	9	17
1	16	17
2	25	13
3	64	13
4	99	13
5	132	13
6	146	13
done	146	13
0	8	8
1	15	8
2	24	6
3	63	6
4	91	6
5	122	6
6	136	6
done	136	6
0	9	23
1	26	23
2	108	7
3	509	7
4	1843	7
done	5000	7
0	8	8
1	15	8
2	24	6
3	63	6
4	91	6
5	122	6
6	136	6
done	136	6
0	8	8
1	15	8
2	24	6
3	63	6
4	91	6
5	122	6
6	136	6
done	136	6
0	3	3
1	6	1
done	6	1
0	3	3
1	4	3
done	4	3
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	10	10
1	15	10
2	18	10
3	22	10
4	23	10
done	23	10
0	10	10
1	15	10
2	18	10
3	22	10
4	23	10
done	23	10
0	10	10
1	15	9
2	18	9
3	20	7
4	34	7
done	34	7
0	10	10
1	15	9
2	18	9
3	20	7
4	34	7
done	34	7
0	11	11
1	18	10
2	27	10
3	44	8
4	97	8
5	138	8
6	142	8
done	142	8
0	11	11
1	18	10
2	27	10
3	44	8
4	97	8
5	138	8
6	142	8
done	142	8
0	9	9
1	14	9
2	17	7
3	30	7
4	35	7
done	35	7
0	9	9
1	14	9
2	17	7
3	30	7
4	35	7
done	35	7
0	10	10
1	17	10
2	26	8
3	65	8
4	116	8
5	160	8
6	167	8
done	167	8
0	10	10
1	17	10
2	26	8
3	65	8
4	116	8
5	160	8
6	167	8
done	167	8
0	9	13
1	16	13
2	24	11
3	52	11
4	67	11
done	67	11
0	8	8
1	13	8
2	16	6
3	29	6
4	36	6
done	36	6
0	11	15
1	24	15
2	65	13
3	212	13
4	506	13
5	797	13
6	815	13
done	815	13
0	10	12
1	19	12
2	37	10
3	114	10
4	243	10
5	311	10
6	328	10
done	328	10
0	8	11
1	17	9
2	43	7
3	168	7
4	243	7
5	249	7
done	249	7
0	10	12
1	19	12
2	38	10
3	112	10
4	248	10
5	417	10
6	432	10
done	432	10
0	9	9
1	16	9
2	25	7
3	64	7
4	115	7
5	158	7
6	166	7
done	166	7
0	7	8
1	14	6
2	27	4
3	71	4
4	95	4
5	99	4
done	99	4
0	8	11
1	17	11
2	35	9
3	80	9
4	128	9
done	128	9
0	7	8
1	14	8
2	23	6
3	42	6
4	51	6
done	51	6
0	5	7
1	12	3
2	16	3
3	23	3
done	23	3
0	4	5
1	9	3
done	9	3
0	5	5
1	10	5
2	13	3
done	13	3
0	8	8
1	13	8
2	16	8
3	20	8
4	21	8
done	21	8
0	8	8
1	13	8
2	16	8
3	20	8
4	21	8
done	21	8
0	9	9
1	16	8
2	25	8
3	42	6
4	72	6
5	101	6
6	116	6
7	117	6
done	117	6
0	9	9
1	16	8
2	25	8
3	42	6
4	72	6
5	101	6
6	116	6
7	117	6
done	117	6
0	8	8
1	15	7
2	24	7
3	41	5
4	71	5
5	101	5
6	118	5
7	119	5
done	119	5
0	9	9
1	16	8
2	25	8
3	42	6
4	72	6
5	101	6
6	116	6
7	117	6
done	117	6
0	9	9
1	16	8
2	25	8
3	42	6
4	72	6
5	101	6
6	116	6
7	117	6
done	117	6
0	8	8
1	15	7
2	24	7
3	41	5
4	71	5
5	101	5
6	118	5
7	119	5
done	119	5
0	8	8
1	15	8
2	24	6
3	63	6
4	98	6
5	129	6
6	144	6
done	144	6
0	8	8
1	15	8
2	24	6
3	63	6
4	98	6
5	129	6
6	144	6
done	144	6
0	7	7
1	14	7
2	23	5
3	62	5
4	90	5
5	123	5
6	137	5
done	137	5
0	7	7
1	14	7
2	23	5
3	62	5
4	90	5
5	123	5
6	137	5
done	137	5
0	7	7
1	14	7
2	23	5
3	62	5
4	90	5
5	123	5
6	137	5
done	137	5
0	5	5
1	10	5
2	13	3
done	13	3
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5

prune79.0ms

Filtered

40 candidates to 59 candidates (-47.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	58	1	59
Fresh	2	3	5
Picked	0	1	1
Done	0	1	1
Total	60	6	66

Merged error: 0.0b

Counts

66 → 6

localize5.0ms

Local error

Found 2 expressions with local error:

0.2b	(* x (/ 1 (* y 3.0)))
0.5b	(/ 1 (* y 3.0))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-exp-log`
16×	`add-cbrt-cube`
13×	`prod-exp`
9×	`add-sqr-sqrt`
8×	`div-exp`
7×	`pow1` `add-cube-cbrt` `-un-lft-identity` `associate-r*`
6×	`times-frac`
5×	`cbrt-unprod`
4×	`cbrt-undiv` `rec-exp` `1-exp`
3×	`associate-l` `associate-/l*`
2×	`pow-flip` `pow-prod-down` `div-inv` `add-log-exp`
1×	`frac-2neg` `associate-r/` `clear-num` `associate-/r` `un-div-inv` `*-commutative` `inv-pow` `unswap-sqr`

Counts

2 → 60

Calls

2 calls:

8.0ms	(* x (/ 1 (* y 3.0)))
6.0ms	(/ 1 (* y 3.0))

series6.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(* x (/ 1 (* y 3.0)))
2.0ms	(/ 1 (* y 3.0))

simplify41.5s

Counts

66 → 66

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	2
1	5	1
done	5	1
0	2	2
1	5	1
done	5	1
0	6	6
1	10	6
2	12	6
3	13	6
done	13	6
0	5	5
1	9	5
2	13	5
3	15	5
4	16	5
done	16	5
0	7	7
1	12	6
2	26	6
3	44	6
4	77	6
5	110	6
6	122	6
7	123	6
done	123	6
0	6	6
1	12	5
2	22	5
3	36	5
4	65	5
5	97	5
6	119	5
7	135	5
8	136	5
done	136	5
0	8	8
1	15	7
2	24	6
3	48	6
4	81	6
5	114	6
6	127	6
7	128	6
done	128	6
0	7	7
1	15	6
2	22	5
3	40	5
4	68	5
5	99	5
6	121	5
7	136	5
8	137	5
done	137	5
0	6	6
1	15	5
2	24	5
3	41	5
4	62	5
5	96	5
6	129	5
7	143	5
8	144	5
done	144	5
0	6	6
1	11	6
2	13	6
done	13	6
0	11	17
1	27	13
2	79	9
3	231	9
4	697	7
5	1767	7
6	4045	7
done	5001	7
0	9	17
1	29	13
2	84	7
3	276	7
4	786	7
5	1534	7
6	2154	7
7	4695	7
done	5000	7
0	7	13
1	12	13
2	14	13
done	14	13
0	6	6
1	11	6
2	13	6
done	13	6
0	7	17
1	19	17
2	63	7
3	285	7
4	882	7
5	1190	7
6	2055	7
done	5000	7
0	6	6
1	11	6
2	13	6
done	13	6
0	6	6
1	11	6
2	13	6
done	13	6
0	2	2
1	5	1
done	5	1
0	4	4
1	9	4
2	11	4
done	11	4
0	5	7
1	9	5
2	11	3
3	12	3
done	12	3
0	4	4
1	6	3
done	6	3
0	4	4
1	6	3
done	6	3
0	4	4
1	6	3
done	6	3
0	3	3
1	5	3
done	5	3
0	3	3
1	5	3
done	5	3
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	3	3
1	5	3
done	5	3
0	6	6
1	11	5
2	15	5
3	18	3
4	26	3
5	32	3
done	32	3
0	6	6
1	11	5
2	15	5
3	18	3
4	26	3
5	32	3
done	32	3
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	7	7
1	15	7
2	30	5
3	45	5
4	74	5
5	125	5
6	137	5
7	139	5
done	139	5
0	9	9
1	15	8
2	25	8
3	34	8
4	44	8
5	62	8
6	90	8
7	101	8
8	103	8
done	103	8
0	8	8
1	14	7
2	20	7
3	28	7
4	37	7
5	49	7
6	68	7
7	94	7
8	104	7
done	104	7
0	10	10
1	18	9
2	46	8
3	91	8
4	174	8
5	292	8
6	345	8
7	346	8
done	346	8
0	9	9
1	18	8
2	36	7
3	70	7
4	144	7
5	257	7
6	325	7
7	376	7
done	376	7
0	11	11
1	21	10
2	44	8
3	99	8
4	180	8
5	296	8
6	345	8
7	346	8
done	346	8
0	10	10
1	21	9
2	36	7
3	78	7
4	151	7
5	265	7
6	333	7
7	385	7
done	385	7
0	9	9
1	19	8
2	33	7
3	72	7
4	129	7
5	254	7
6	346	7
7	407	7
8	408	7
done	408	7
0	8	8
1	19	8
2	43	6
3	82	6
4	166	6
5	289	6
6	502	6
7	549	6
done	549	6
0	8	8
1	18	8
2	39	6
3	73	6
4	169	6
5	431	6
6	1046	6
7	3350	6
done	5001	6
0	15	23
1	37	19
2	129	11
3	662	11
4	3918	9
done	5000	9
0	13	23
1	39	19
2	131	9
3	711	9
4	4271	9
done	5001	9
0	11	23
1	29	23
2	108	11
3	607	11
4	2991	7
done	5001	7
0	9	17
1	17	17
2	32	13
3	47	13
4	76	13
5	126	13
6	136	13
7	137	13
done	137	13
0	8	8
1	16	8
2	31	6
3	46	6
4	75	6
5	125	6
6	135	6
7	136	6
done	136	6
0	9	23
1	27	23
2	103	7
3	529	7
4	2676	7
done	5000	7
0	8	8
1	16	8
2	31	6
3	46	6
4	75	6
5	125	6
6	135	6
7	136	6
done	136	6
0	8	8
1	16	8
2	31	6
3	46	6
4	75	6
5	125	6
6	135	6
7	136	6
done	136	6
0	9	9
1	15	9
2	17	9
done	17	9
0	9	9
1	15	9
2	17	9
done	17	9
0	9	15
1	17	15
2	21	15
done	21	15
0	8	8
1	14	8
2	16	8
done	16	8
0	7	9
1	14	7
2	24	5
3	37	3
4	38	3
done	38	3
0	6	6
1	11	5
2	14	5
3	18	3
4	24	3
5	26	3
done	26	3
0	5	5
1	10	5
2	13	3
3	14	3
4	19	3
5	21	3
done	21	3
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	8	8
1	16	8
2	31	6
3	72	6
4	123	6
5	132	6
done	132	6
0	8	8
1	16	8
2	31	6
3	72	6
4	123	6
5	132	6
done	132	6
0	7	7
1	15	7
2	30	5
3	45	5
4	74	5
5	125	5
6	137	5
7	139	5
done	139	5
0	3	3
1	6	1
done	6	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5

prune69.0ms

Filtered

38 candidates to 66 candidates (-73.7%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	64	2	66
Fresh	2	1	3
Picked	0	1	1
Done	0	2	2
Total	66	6	72

Merged error: 0b

Counts

72 → 6

localize7.0ms

Local error

Found 2 expressions with local error:

0.2b	(* x (/ (/ 1 y) 3.0))
0.3b	(/ (/ 1 y) 3.0)

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

146×	`times-frac`
92×	`add-sqr-sqrt`
81×	`*-un-lft-identity`
80×	`add-cube-cbrt`
43×	`associate-r`
26×	`add-exp-log`
16×	`add-cbrt-cube`
13×	`associate-/l*`
12×	`div-exp`
9×	`div-inv`
6×	`cbrt-undiv`
5×	`prod-exp`
4×	`pow1` `unswap-sqr`
3×	`associate-l` `associate-/r*` `cbrt-unprod`
2×	`rec-exp` `1-exp` `add-log-exp`
1×	`frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `-commutative` `associate-/l/`

Counts

2 → 140

Calls

2 calls:

16.0ms	(* x (/ (/ 1 y) 3.0))
7.0ms	(/ (/ 1 y) 3.0)

series13.0ms

Counts

2 → 6

Calls

2 calls:

11.0ms	(* x (/ (/ 1 y) 3.0))
2.0ms	(/ (/ 1 y) 3.0)

simplify46.6s

Counts

146 → 146

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	6
1	8	6
2	11	6
3	13	6
done	13	6
0	7	7
1	13	6
2	24	6
3	41	6
4	77	6
5	101	6
6	111	6
7	123	6
done	123	6
0	8	8
1	16	7
2	27	6
3	51	6
4	87	6
5	111	6
6	121	6
7	133	6
done	133	6
0	7	7
1	15	6
2	22	6
3	36	6
4	54	6
5	70	6
6	84	6
7	92	6
8	106	6
done	106	6
0	6	6
1	13	6
2	25	5
3	36	5
4	59	5
5	77	5
6	110	5
7	140	5
8	142	5
done	142	5
0	6	6
1	10	6
2	13	6
done	13	6
0	11	17
1	26	13
2	72	9
3	222	9
4	760	9
5	1442	7
6	3458	7
done	5000	7
0	9	17
1	26	17
2	83	9
3	358	7
4	1046	7
5	1781	7
6	3886	7
done	5000	7
0	7	13
1	11	13
2	14	13
done	14	13
0	6	6
1	10	6
2	13	6
done	13	6
0	7	17
1	18	17
2	52	7
3	192	7
4	794	7
5	1171	7
6	1869	7
done	5000	7
0	6	6
1	10	6
2	13	6
done	13	6
0	6	6
1	10	6
2	13	6
done	13	6
0	4	4
1	9	3
done	9	3
0	2	2
done	2	2
0	9	15
1	17	15
2	26	15
3	32	15
done	32	15
0	7	7
1	9	7
done	9	7
0	8	12
1	12	12
2	14	12
3	15	12
done	15	12
0	7	7
1	9	7
done	9	7
0	6	11
1	10	9
2	16	9
3	21	9
done	21	9
0	6	6
1	8	6
done	8	6
0	8	10
1	12	10
done	12	10
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	5	6
1	7	4
2	9	4
done	9	4
0	6	6
1	8	6
done	8	6
0	11	17
1	23	15
2	58	13
3	143	13
4	263	13
5	291	13
done	291	13
0	8	8
1	12	7
2	15	7
done	15	7
0	10	14
1	20	12
2	43	10
3	82	10
4	118	10
5	123	10
done	123	10
0	8	8
1	12	7
2	15	7
done	15	7
0	8	13
1	18	9
2	44	7
3	76	7
4	77	7
done	77	7
0	7	7
1	11	6
2	14	6
done	14	6
0	10	14
1	18	12
2	34	10
3	61	10
4	121	10
5	137	10
done	137	10
0	8	8
1	12	7
2	15	7
done	15	7
0	9	11
1	15	9
2	26	7
3	38	7
4	52	7
done	52	7
0	8	8
1	12	7
2	15	7
done	15	7
0	7	10
1	13	6
2	27	4
3	32	4
done	32	4
0	7	7
1	11	6
2	14	6
done	14	6
0	8	13
1	16	9
2	43	7
3	65	7
4	72	7
done	72	7
0	7	7
1	11	6
2	14	6
done	14	6
0	7	10
1	13	6
2	31	4
3	35	4
done	35	4
0	7	7
1	11	6
2	14	6
done	14	6
0	5	9
1	11	1
done	11	1
0	6	6
1	10	5
2	13	5
done	13	5
0	10	14
1	18	13
2	30	13
3	57	13
4	63	13
done	63	13
0	8	8
1	12	7
2	15	7
done	15	7
0	9	11
1	15	10
2	21	10
3	29	10
done	29	10
0	8	8
1	12	7
2	15	7
done	15	7
0	7	10
1	13	7
2	23	7
3	33	7
done	33	7
0	7	7
1	11	6
2	14	6
done	14	6
0	9	11
1	15	10
2	21	10
3	27	10
done	27	10
0	8	8
1	12	7
2	15	7
done	15	7
0	8	8
1	12	7
2	15	7
done	15	7
0	8	8
1	12	7
2	15	7
done	15	7
0	6	7
1	10	4
2	17	4
done	17	4
0	7	7
1	11	6
2	14	6
done	14	6
0	7	10
1	13	7
2	17	7
3	27	7
4	28	7
done	28	7
0	7	7
1	11	6
2	14	6
done	14	6
0	6	7
1	10	4
2	12	4
3	16	4
done	16	4
0	7	7
1	11	6
2	14	6
done	14	6
0	4	6
1	8	1
done	8	1
0	6	6
1	10	5
2	13	5
done	13	5
0	9	13
1	17	13
2	29	13
3	56	13
4	62	13
done	62	13
0	7	7
1	11	7
2	14	7
done	14	7
0	8	10
1	14	10
2	20	10
3	28	10
done	28	10
0	7	7
1	11	7
2	14	7
done	14	7
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	6	6
1	10	6
2	13	6
done	13	6
0	8	10
1	14	10
2	20	10
3	26	10
done	26	10
0	7	7
1	11	7
2	14	7
done	14	7
0	7	7
1	11	7
2	14	7
done	14	7
0	7	7
1	11	7
2	14	7
done	14	7
0	5	6
1	9	4
2	16	4
done	16	4
0	6	6
1	10	6
2	13	6
done	13	6
0	6	9
1	12	7
2	16	7
3	26	7
4	28	7
done	28	7
0	6	6
1	10	6
2	13	6
done	13	6
0	5	6
1	9	4
2	11	4
3	15	4
done	15	4
0	6	6
1	10	6
2	13	6
done	13	6
0	3	5
1	7	1
done	7	1
0	5	5
1	9	5
2	12	5
done	12	5
0	5	7
1	9	7
done	9	7
0	6	6
1	10	6
2	13	6
done	13	6
0	4	4
1	6	4
done	6	4
0	6	6
1	10	6
2	13	6
done	13	6
0	2	3
1	4	1
done	4	1
0	5	5
1	9	5
2	12	5
done	12	5
0	5	7
1	9	7
done	9	7
0	6	6
1	10	6
2	13	6
done	13	6
0	4	4
1	6	4
done	6	4
0	6	6
1	10	6
2	13	6
done	13	6
0	2	3
1	4	1
done	4	1
0	5	5
1	9	5
2	12	5
done	12	5
0	3	3
1	5	3
done	5	3
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	7	9
1	13	9
2	19	9
3	25	9
done	25	9
0	6	6
1	10	6
2	13	6
done	13	6
0	4	5
1	8	3
2	15	3
done	15	3
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	7	7
1	11	6
2	14	6
3	15	4
4	24	4
5	38	4
6	46	4
done	46	4
0	7	7
1	11	6
2	14	6
3	15	4
4	24	4
5	38	4
6	46	4
done	46	4
0	6	6
1	10	5
2	13	5
3	14	3
4	23	3
5	37	3
6	45	3
done	45	3
0	7	7
1	11	6
2	14	6
3	15	4
4	24	4
5	38	4
6	46	4
done	46	4
0	7	7
1	11	6
2	14	6
3	15	4
4	24	4
5	38	4
6	46	4
done	46	4
0	6	6
1	10	5
2	13	5
3	14	3
4	23	3
5	37	3
6	45	3
done	45	3
0	6	6
1	10	6
2	13	4
3	19	4
4	26	4
5	31	4
done	31	4
0	6	6
1	10	6
2	13	4
3	19	4
4	26	4
5	31	4
done	31	4
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	3	3
1	4	3
done	4	3
0	7	7
1	14	7
2	25	7
3	46	5
4	71	5
5	105	5
6	128	5
7	131	5
done	131	5
0	9	9
1	14	9
2	24	8
3	38	8
4	53	8
5	76	8
6	92	8
7	109	8
8	111	8
done	111	8
0	10	10
1	19	9
2	43	8
3	99	8
4	199	8
5	303	8
6	337	8
7	384	8
done	384	8
0	11	11
1	22	10
2	45	9
3	108	8
4	208	8
5	314	8
6	349	8
7	395	8
done	395	8
0	10	10
1	21	9
2	37	8
3	78	8
4	159	8
5	247	8
6	318	8
7	367	8
done	367	8
0	9	9
1	17	9
2	33	8
3	61	7
4	122	7
5	206	7
6	303	7
7	358	7
8	361	7
done	361	7
0	8	8
1	18	8
2	39	8
3	84	6
4	165	6
5	275	6
6	459	6
7	540	6
8	542	6
done	542	6
0	8	8
1	17	8
2	34	8
3	69	6
4	151	6
5	337	6
6	949	6
7	3434	6
done	5001	6
0	15	23
1	36	19
2	124	13
3	565	11
4	3098	11
done	5001	11
0	13	23
1	36	23
2	141	13
3	744	11
4	3591	9
done	5001	9
0	11	23
1	28	23
2	97	11
3	422	11
4	2246	7
done	5000	7
0	9	17
1	16	17
2	27	17
3	48	13
4	73	13
5	107	13
6	134	13
7	137	13
done	137	13
0	8	8
1	15	8
2	26	8
3	47	6
4	72	6
5	106	6
6	129	6
7	132	6
done	132	6
0	9	23
1	26	23
2	98	9
3	492	7
4	2187	7
done	5000	7
0	8	8
1	15	8
2	26	8
3	47	6
4	72	6
5	106	6
6	129	6
7	132	6
done	132	6
0	8	8
1	15	8
2	26	8
3	47	6
4	72	6
5	106	6
6	129	6
7	132	6
done	132	6
0	9	9
1	14	9
2	17	9
done	17	9
0	9	9
1	14	9
2	17	9
done	17	9
0	10	10
1	15	10
2	18	10
3	22	10
4	23	10
done	23	10
0	10	10
1	15	10
2	18	10
3	22	10
4	23	10
done	23	10
0	11	11
1	18	10
2	29	10
3	50	8
4	106	8
5	113	8
done	113	8
0	11	11
1	18	10
2	29	10
3	50	8
4	106	8
5	113	8
done	113	8
0	10	10
1	17	10
2	28	10
3	49	8
4	110	8
5	121	8
done	121	8
0	10	10
1	17	10
2	28	10
3	49	8
4	110	8
5	121	8
done	121	8
0	9	15
1	16	15
2	21	15
done	21	15
0	8	8
1	13	8
2	16	8
done	16	8
0	11	17
1	22	17
2	51	17
3	90	17
4	146	17
5	160	17
done	160	17
0	10	14
1	17	14
2	27	14
3	42	14
4	55	14
5	57	14
done	57	14
0	8	13
1	15	11
2	32	11
3	69	11
4	103	11
done	103	11
0	10	12
1	17	12
2	28	12
3	42	12
4	54	12
done	54	12
0	9	9
1	14	9
2	17	9
3	21	9
4	22	9
done	22	9
0	7	8
1	12	6
2	19	6
3	28	6
4	34	6
done	34	6
0	13	19
1	28	17
2	85	15
3	246	13
4	568	13
5	768	13
6	830	13
7	842	13
done	842	13
0	12	16
1	25	14
2	62	12
3	143	10
4	253	10
5	306	10
6	330	10
7	338	10
done	338	10
0	10	15
1	23	11
2	72	9
3	162	7
4	248	7
5	258	7
done	258	7
0	12	16
1	23	14
2	57	12
3	126	10
4	289	10
5	379	10
6	402	10
7	403	10
done	403	10
0	11	13
1	20	11
2	41	9
3	78	7
4	128	7
5	147	7
6	153	7
7	155	7
done	155	7
0	9	12
1	18	8
2	47	6
3	83	4
4	127	4
5	132	4
done	132	4
0	10	15
1	21	11
2	64	9
3	113	7
4	139	7
5	177	7
6	202	7
done	202	7
0	9	12
1	18	8
2	44	6
3	61	4
4	65	4
5	80	4
6	97	4
done	97	4
0	7	11
1	16	3
2	19	1
done	19	1
0	12	16
1	23	15
2	53	15
3	137	13
4	332	13
5	726	13
6	970	13
7	995	13
done	995	13
0	11	13
1	20	12
2	36	12
3	78	10
4	155	10
5	273	10
6	338	10
7	351	10
done	351	10
0	9	12
1	18	9
2	43	9
3	91	7
4	175	7
5	216	7
6	223	7
done	223	7
0	11	13
1	20	12
2	42	12
3	84	10
4	169	10
5	308	10
6	358	10
7	361	10
done	361	10
0	10	10
1	17	9
2	28	9
3	49	7
4	75	7
5	108	7
6	123	7
7	126	7
done	126	7
0	8	9
1	15	6
2	33	6
3	52	4
4	88	4
5	93	4
6	98	4
done	98	4
0	9	12
1	18	9
2	33	7
3	57	7
4	97	7
5	157	7
6	196	7
7	203	7
done	203	7
0	8	9
1	15	6
2	21	4
3	30	4
4	42	4
5	54	4
6	85	4
7	86	4
done	86	4
0	6	8
1	13	3
2	16	1
done	16	1
0	11	15
1	22	15
2	52	15
3	135	13
4	329	13
5	717	13
6	949	13
7	975	13
done	975	13
0	10	12
1	19	12
2	35	12
3	77	10
4	158	10
5	286	10
6	357	10
7	385	10
done	385	10
0	8	11
1	17	9
2	42	9
3	89	7
4	170	7
5	217	7
6	230	7
done	230	7
0	10	12
1	19	12
2	41	12
3	84	10
4	171	10
5	318	10
6	375	10
7	386	10
done	386	10
0	9	9
1	16	9
2	27	9
3	48	7
4	73	7
5	104	7
6	119	7
7	122	7
done	122	7
0	7	8
1	14	6
2	32	6
3	51	4
4	87	4
5	94	4
6	95	4
done	95	4
0	8	11
1	17	9
2	32	7
3	57	7
4	96	7
5	156	7
6	193	7
7	201	7
done	201	7
0	7	8
1	14	6
2	20	4
3	29	4
4	41	4
5	53	4
6	76	4
7	78	4
done	78	4
0	5	7
1	12	3
2	15	1
done	15	1
0	7	9
1	14	9
2	24	7
3	31	7
4	49	7
5	79	7
6	82	7
done	82	7
0	6	6
1	11	6
2	14	4
3	15	4
4	20	4
5	21	4
done	21	4
0	4	5
1	9	3
2	14	1
done	14	1
0	7	9
1	14	9
2	24	7
3	31	7
4	49	7
5	79	7
6	82	7
done	82	7
0	6	6
1	11	6
2	14	4
3	15	4
4	20	4
5	21	4
done	21	4
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	5	5
1	10	5
2	13	3
3	14	3
4	19	3
5	21	3
done	21	3
0	8	8
1	15	8
2	26	8
3	47	6
4	108	6
5	119	6
done	119	6
0	8	8
1	15	8
2	26	8
3	47	6
4	108	6
5	119	6
done	119	6
0	7	7
1	14	7
2	25	7
3	46	5
4	71	5
5	105	5
6	128	5
7	131	5
done	131	5
0	5	5
1	10	5
2	13	3
3	14	3
4	19	3
5	21	3
done	21	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5

prune169.0ms

Filtered

99 candidates to 146 candidates (-47.5%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	146	0	146
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	146	6	152

Merged error: 0b

Counts

152 → 6

regimes186.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	5

end0.0ms

sample477.0ms

Algorithm

intervals

Results

198.0ms

9147×

body

valid

Details

sample17.0ms

simplify4.0ms

prune2.0ms

localize4.0ms

rewrite5.0ms

series4.0ms

simplify21.4s

prune54.0ms

localize5.0ms

rewrite15.0ms

series4.0ms

simplify28.6s

prune79.0ms

localize5.0ms

rewrite16.0ms

series6.0ms

simplify41.5s

prune69.0ms

localize7.0ms

rewrite31.0ms

series13.0ms

simplify46.6s

prune169.0ms

regimes186.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample477.0ms

Profiling