Details

sample31.0ms

Algorithm

intervals

Results

14.0ms

330×

body

valid

simplify4.2s

Counts

1 → 1

Iterations

Useful iterations: 7 (322.0ms)

Iter	Nodes	Cost
0	12	13
1	22	13
2	45	13
3	97	13
4	186	13
5	302	13
6	457	13
7	676	11
8	1190	11
9	3237	11
done	5000	11

prune8.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.0b

Counts

2 → 1

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b	(- 0.25 (/ (- z x) y))
0.0b	(+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0)
0.0b	(/ (- z x) y)

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
23×	`*-un-lft-identity`
16×	`times-frac`
13×	`add-cube-cbrt`
7×	`add-log-exp`
6×	`difference-of-squares`
5×	`add-exp-log` `add-cbrt-cube` `associate-/l*` `distribute-lft-out--`
3×	`pow1` `associate-/r*`
2×	`flip3--` `div-sub` `flip--` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `frac-2neg` `flip3-+` `diff-log` `div-exp` `clear-num` `sum-log` `flip-+` `div-inv` `associate--r-`

Counts

3 → 65

Calls

3 calls:

11.0ms	(- 0.25 (/ (- z x) y))
13.0ms	(+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0)
7.0ms	(/ (- z x) y)

series22.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(- 0.25 (/ (- z x) y))
9.0ms	(+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0)
7.0ms	(/ (- z x) y)

simplify35.0s

Counts

74 → 74

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	14	6
2	19	6
3	22	6
done	22	6
0	6	6
1	11	6
2	17	6
3	21	6
4	24	6
5	30	6
6	34	6
7	50	6
8	54	6
9	61	6
10	70	6
11	90	6
12	111	6
13	129	6
14	136	6
15	142	6
16	145	6
done	145	6
0	9	17
1	20	17
2	68	9
3	203	7
4	562	7
5	2030	7
done	5000	7
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	7	17
1	19	17
2	50	7
3	176	7
4	571	7
5	1720	7
done	5001	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	2	2
done	2	2
0	3	3
done	3	3
0	3	3
done	3	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	12
1	12	12
2	15	12
3	16	12
done	16	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	6
1	8	6
2	9	6
done	9	6
0	8	10
1	12	10
2	13	10
done	13	10
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	6	6
1	10	4
2	13	4
done	13	4
0	6	6
1	8	6
2	9	6
done	9	6
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	9	11
1	12	11
done	12	11
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	8	8
1	9	8
done	9	8
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	7	7
1	10	5
2	12	5
done	12	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	3	3
1	5	3
done	5	3
0	5	5
1	7	5
2	8	5
done	8	5
0	7	9
1	14	9
2	22	9
3	27	9
4	30	9
done	30	9
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	12	3
2	17	3
done	17	3
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	9	7
2	10	7
done	10	7
0	5	5
1	7	5
2	8	5
done	8	5
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	5	5
1	13	5
2	14	5
done	14	5
0	13	13
1	26	12
2	52	12
3	108	12
4	255	12
5	546	12
6	1340	12
7	3969	12
done	5000	12
0	12	12
1	21	12
2	35	12
3	66	12
4	135	12
5	217	12
6	352	12
7	474	12
8	701	12
9	886	12
10	944	12
11	945	12
done	945	12
0	12	12
1	24	12
2	43	12
3	93	12
4	217	12
5	450	12
6	1078	12
7	3198	12
done	5000	12
0	13	25
1	22	25
2	36	25
3	67	25
4	136	25
5	217	25
6	352	25
7	474	25
8	701	25
9	886	25
10	944	25
11	945	25
done	945	25
0	12	12
1	21	12
2	35	12
3	66	12
4	135	12
5	217	12
6	352	12
7	474	12
8	701	12
9	886	12
10	944	12
11	945	12
done	945	12
0	13	35
1	35	35
2	97	13
3	369	13
4	1972	13
done	5000	13
0	12	12
1	21	12
2	35	12
3	66	12
4	135	12
5	217	12
6	352	12
7	474	12
8	701	12
9	886	12
10	944	12
11	945	12
done	945	12
0	12	12
1	21	12
2	35	12
3	66	12
4	135	12
5	217	12
6	352	12
7	474	12
8	701	12
9	886	12
10	944	12
11	945	12
done	945	12
0	14	15
1	39	15
2	91	15
3	307	15
4	1392	15
done	5000	15
0	15	35
1	40	33
2	102	33
3	351	25
4	1412	25
done	5000	25
0	13	23
1	33	23
2	77	23
3	255	23
4	1059	23
5	4471	23
done	5000	23
0	11	11
1	21	11
2	36	11
3	69	11
4	145	11
5	239	11
6	422	11
7	602	11
8	887	11
9	1017	11
10	1022	11
done	1022	11
0	9	9
1	16	8
2	26	8
3	45	8
4	77	8
5	117	8
6	187	8
7	328	8
8	406	8
9	418	8
done	418	8
0	8	8
1	15	8
2	23	8
3	35	8
4	52	8
5	56	8
6	64	8
7	79	8
8	107	8
9	120	8
10	122	8
done	122	8
0	8	8
1	18	8
2	31	8
3	52	8
4	88	8
5	139	8
6	237	8
7	375	8
8	438	8
9	448	8
done	448	8
0	9	17
1	16	17
2	24	17
3	36	17
4	53	17
5	57	17
6	65	17
7	80	17
8	108	17
9	121	17
10	123	17
done	123	17
0	8	8
1	15	8
2	23	8
3	35	8
4	52	8
5	56	8
6	64	8
7	79	8
8	107	8
9	120	8
10	122	8
done	122	8
0	9	23
1	17	23
2	39	9
3	126	9
4	563	9
5	3089	9
done	5001	9
0	8	8
1	15	8
2	23	8
3	35	8
4	52	8
5	56	8
6	64	8
7	79	8
8	107	8
9	120	8
10	122	8
done	122	8
0	8	8
1	15	8
2	23	8
3	35	8
4	52	8
5	56	8
6	64	8
7	79	8
8	107	8
9	120	8
10	122	8
done	122	8
0	10	11
1	33	11
2	78	11
3	249	11
4	964	11
5	3693	11
done	5000	11
0	11	23
1	29	17
2	64	17
3	156	17
4	441	17
5	1279	17
6	3493	17
done	5001	17
0	6	6
1	13	6
2	19	6
3	26	6
4	30	5
5	31	5
done	31	5
0	9	15
1	23	15
2	51	15
3	161	15
4	522	15
5	1511	15
6	4831	15
done	5000	15
0	7	7
1	13	7
2	20	7
3	30	7
4	40	7
5	49	7
6	54	7
7	63	7
8	80	7
9	103	7
10	116	7
11	118	7
12	122	7
13	125	7
done	125	7
0	9	9
1	15	9
2	18	9
3	20	9
done	20	9
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	10	10
1	13	10
2	14	10
done	14	10
0	10	10
1	14	10
2	18	10
done	18	10
0	7	7
1	14	7
2	22	7
3	34	7
4	51	7
5	55	7
6	63	7
7	78	7
8	106	7
9	119	7
10	121	7
done	121	7
0	5	5
1	7	5
2	10	5
done	10	5
0	6	6
1	13	6
2	19	6
3	26	6
4	30	5
5	31	5
done	31	5
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	11	13
1	22	13
2	43	13
3	68	11
4	95	9
5	139	9
6	210	9
7	301	9
8	335	9
9	399	9
10	477	9
11	478	9
done	478	9
0	11	13
1	22	13
2	43	13
3	68	11
4	95	9
5	139	9
6	210	9
7	301	9
8	335	9
9	399	9
10	477	9
11	478	9
done	478	9
0	11	13
1	22	13
2	43	13
3	68	11
4	95	9
5	139	9
6	210	9
7	301	9
8	335	9
9	399	9
10	477	9
11	478	9
done	478	9
0	8	9
1	13	9
2	22	9
3	28	9
4	34	9
5	45	9
6	60	9
7	80	9
8	96	9
9	104	9
10	121	9
11	125	9
done	125	9
0	8	9
1	13	9
2	22	9
3	28	9
4	34	9
5	45	9
6	60	9
7	80	9
8	96	9
9	104	9
10	121	9
11	125	9
done	125	9
0	8	9
1	13	9
2	22	9
3	28	9
4	34	9
5	45	9
6	60	9
7	80	9
8	96	9
9	104	9
10	121	9
11	125	9
done	125	9

prune91.0ms

Filtered

55 candidates to 74 candidates (-34.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	72	2	74
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	73	2	75

Merged error: 0.0b

Counts

75 → 2

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(- 0.25 (- (/ z y) (/ x y)))
0.0b	(+ (* (- 0.25 (- (/ z y) (/ x y))) 4.0) 1.0)
0.0b	(- (/ z y) (/ x y))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
18×	`*-un-lft-identity`
12×	`add-log-exp`
10×	`times-frac`
7×	`distribute-lft-out--`
5×	`add-cube-cbrt` `difference-of-squares`
4×	`diff-log`
3×	`pow1` `add-exp-log` `sub-neg` `add-cbrt-cube`
2×	`flip3--` `flip--` `div-inv` `associate--r+`
1×	`+-commutative` `distribute-rgt-out--` `flip3-+` `sum-log` `frac-sub` `flip-+` `sub-div` `associate--r-`

Counts

3 → 53

Calls

3 calls:

17.0ms	(- 0.25 (- (/ z y) (/ x y)))
21.0ms	(+ (* (- 0.25 (- (/ z y) (/ x y))) 4.0) 1.0)
18.0ms	(- (/ z y) (/ x y))

series21.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(- 0.25 (- (/ z y) (/ x y)))
9.0ms	(+ (* (- 0.25 (- (/ z y) (/ x y))) 4.0) 1.0)
7.0ms	(- (/ z y) (/ x y))

simplify42.8s

Counts

62 → 62

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	10	8
2	12	8
3	17	8
4	20	8
5	26	8
6	30	8
7	46	8
8	50	8
9	57	8
10	66	8
11	86	8
12	107	8
13	121	8
14	126	8
15	128	8
done	128	8
0	7	8
1	9	8
2	12	8
done	12	8
0	7	8
1	12	8
2	17	8
3	20	8
4	26	8
5	30	8
6	46	8
7	50	8
8	57	8
9	66	8
10	86	8
11	107	8
12	121	8
13	126	8
14	128	8
done	128	8
0	8	17
1	10	17
2	13	17
done	13	17
0	7	8
1	9	8
2	12	8
done	12	8
0	8	23
1	11	23
2	28	9
3	87	9
4	292	9
5	986	9
6	3239	9
done	5001	9
0	7	8
1	9	8
2	12	8
done	12	8
0	7	8
1	9	8
2	12	8
done	12	8
0	3	3
1	5	3
2	6	3
done	6	3
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	2	3
done	2	3
0	9	11
1	29	11
2	84	11
3	240	11
4	774	11
5	2602	11
done	5000	11
0	10	23
1	29	19
2	57	19
3	85	19
4	114	17
5	137	17
6	160	17
7	177	17
8	187	17
9	188	17
done	188	17
0	4	4
1	6	4
done	6	4
0	8	15
1	21	15
2	42	15
3	82	15
4	149	15
5	247	15
6	348	15
7	579	13
8	2083	13
done	5000	13
0	6	7
1	7	7
done	7	7
0	8	9
1	9	9
done	9	9
0	8	9
1	10	9
2	11	9
done	11	9
0	9	10
1	10	10
done	10	10
0	9	10
1	11	10
2	14	10
done	14	10
0	9	10
1	10	10
done	10	10
0	9	10
1	11	10
2	12	10
done	12	10
0	9	11
1	10	11
done	10	11
0	9	11
1	11	11
2	14	11
done	14	11
0	7	9
1	9	9
2	12	9
done	12	9
0	7	9
1	9	9
2	12	9
done	12	9
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	3	3
1	5	3
2	6	3
done	6	3
0	4	4
1	6	4
done	6	4
0	14	15
1	26	14
2	63	14
3	138	14
4	301	14
5	623	14
6	1549	14
done	5001	14
0	13	14
1	21	14
2	43	14
3	86	14
4	143	14
5	224	14
6	312	14
7	479	14
8	687	14
9	835	14
10	873	14
11	880	14
12	902	12
done	902	12
0	13	14
1	24	14
2	51	14
3	119	14
4	253	14
5	527	14
6	1320	14
7	4466	14
done	5000	14
0	14	29
1	22	29
2	44	29
3	87	29
4	144	29
5	225	29
6	312	29
7	479	29
8	689	29
9	837	29
10	875	29
11	882	29
12	904	25
done	904	25
0	13	14
1	21	14
2	43	14
3	86	14
4	143	14
5	224	14
6	312	14
7	479	14
8	687	14
9	835	14
10	873	14
11	880	14
12	902	12
done	902	12
0	14	41
1	35	41
2	105	15
3	437	15
4	2613	15
done	5000	15
0	13	14
1	21	14
2	43	14
3	86	14
4	143	14
5	224	14
6	312	14
7	479	14
8	687	14
9	835	14
10	873	14
11	880	14
12	902	12
done	902	12
0	13	14
1	21	14
2	43	14
3	86	14
4	143	14
5	224	14
6	312	14
7	479	14
8	687	14
9	835	14
10	873	14
11	880	14
12	902	12
done	902	12
0	15	17
1	39	17
2	99	17
3	354	17
4	1766	17
done	5000	17
0	16	41
1	40	39
2	122	39
3	502	29
4	2038	29
done	5000	29
0	14	27
1	33	27
2	97	27
3	391	27
4	1612	27
done	5000	27
0	12	13
1	21	13
2	44	13
3	91	13
4	156	13
5	261	13
6	386	13
7	620	13
8	841	13
9	908	13
10	923	13
11	930	13
12	952	11
done	952	11
0	11	12
1	15	11
2	24	10
3	40	10
4	67	10
5	108	10
6	155	10
7	296	10
8	417	10
9	450	10
done	450	10
0	10	11
1	17	10
2	29	10
3	51	10
4	89	10
5	128	10
6	246	10
7	367	10
8	409	10
9	410	10
done	410	10
0	9	10
1	15	10
2	25	10
3	42	10
4	48	10
5	56	10
6	71	10
7	99	10
8	110	10
done	110	10
0	9	10
1	18	10
2	37	10
3	66	10
4	107	10
5	181	10
6	323	10
7	399	10
8	407	10
done	407	10
0	10	21
1	16	21
2	26	21
3	43	21
4	49	21
5	57	21
6	72	21
7	100	21
8	111	21
done	111	21
0	9	10
1	15	10
2	25	10
3	42	10
4	48	10
5	56	10
6	71	10
7	99	10
8	110	10
done	110	10
0	10	29
1	17	29
2	53	11
3	215	11
4	1053	11
done	5000	11
0	9	10
1	15	10
2	25	10
3	42	10
4	48	10
5	56	10
6	71	10
7	99	10
8	110	10
done	110	10
0	9	10
1	15	10
2	25	10
3	42	10
4	48	10
5	56	10
6	71	10
7	99	10
8	110	10
done	110	10
0	11	13
1	28	13
2	65	13
3	179	13
4	613	13
5	2175	13
done	5000	13
0	12	29
1	21	21
2	48	21
3	134	21
4	429	21
5	1389	21
6	3863	21
done	5000	21
0	7	8
1	9	8
2	15	8
3	21	8
4	24	7
done	24	7
0	10	19
1	17	19
2	39	19
3	121	19
4	458	19
5	1502	19
done	5000	19
0	8	9
1	13	9
2	22	9
3	31	9
4	37	9
5	47	9
6	54	9
7	66	9
8	86	9
9	107	9
10	117	9
done	117	9
0	10	11
1	13	11
2	16	11
done	16	11
0	10	11
1	14	11
2	18	11
done	18	11
0	8	9
1	14	9
2	24	9
3	41	9
4	47	9
5	55	9
6	70	9
7	98	9
8	109	9
done	109	9
0	8	9
1	14	9
2	24	9
3	41	9
4	47	9
5	55	9
6	70	9
7	98	9
8	109	9
done	109	9
0	5	5
1	7	5
2	10	5
done	10	5
0	5	5
1	7	5
2	10	5
done	10	5
0	5	5
1	7	5
2	10	5
done	10	5
0	7	8
1	9	8
2	15	8
3	21	8
4	24	7
done	24	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	11	13
1	22	13
2	45	11
3	68	11
4	89	9
5	111	9
6	155	9
7	224	9
8	309	9
9	340	9
10	399	9
11	477	9
12	478	9
done	478	9
0	11	13
1	22	13
2	45	11
3	68	11
4	89	9
5	111	9
6	155	9
7	224	9
8	309	9
9	340	9
10	399	9
11	477	9
12	478	9
done	478	9
0	11	13
1	22	13
2	45	11
3	68	11
4	89	9
5	111	9
6	155	9
7	224	9
8	309	9
9	340	9
10	399	9
11	477	9
12	478	9
done	478	9
0	8	9
1	13	9
2	22	9
3	28	9
4	34	9
5	43	9
6	58	9
7	73	9
8	88	9
9	102	9
10	117	9
11	123	9
done	123	9
0	8	9
1	13	9
2	22	9
3	28	9
4	34	9
5	43	9
6	58	9
7	73	9
8	88	9
9	102	9
10	117	9
11	123	9
done	123	9
0	8	9
1	13	9
2	22	9
3	28	9
4	34	9
5	43	9
6	58	9
7	73	9
8	88	9
9	102	9
10	117	9
11	123	9
done	123	9

prune72.0ms

Filtered

44 candidates to 62 candidates (-40.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	62	2	64

Merged error: 0.0b

Counts

64 → 2

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ 2.0 (* (/ 4.0 y) (- x z)))
0.3b	(* (/ 4.0 y) (- x z))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
13×	`associate-l`
12×	`*-un-lft-identity`
10×	`add-cube-cbrt` `times-frac`
7×	`add-exp-log` `add-cbrt-cube`
5×	`associate-r`
4×	`pow1` `distribute-rgt-in` `sub-neg` `associate-+r+` `distribute-lft-in` `add-log-exp`
2×	`frac-times` `flip3--` `associate-*r/` `prod-exp` `flip--` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `flip3-+` `div-exp` `pow-prod-down` `associate-l/` `sum-log` `-commutative` `flip-+` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 57

Calls

2 calls:

4.0ms	(+ 2.0 (* (/ 4.0 y) (- x z)))
11.0ms	(* (/ 4.0 y) (- x z))

series19.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(+ 2.0 (* (/ 4.0 y) (- x z)))
11.0ms	(* (/ 4.0 y) (- x z))

simplify40.8s

Counts

63 → 63

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	12	7
2	28	7
3	42	7
4	61	7
5	77	7
6	87	7
7	89	7
done	89	7
0	10	10
1	17	10
2	28	10
3	37	10
4	46	10
5	51	10
6	60	10
7	77	10
8	96	10
9	104	10
done	104	10
0	9	9
1	15	9
2	22	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	81	9
9	100	9
10	108	9
done	108	9
0	8	8
1	16	8
2	38	8
3	62	8
4	97	8
5	125	8
6	147	8
7	161	8
8	184	8
9	194	8
10	210	8
11	212	8
done	212	8
0	8	8
1	15	8
2	37	8
3	71	8
4	129	8
5	256	8
6	543	8
7	1604	8
done	5000	8
0	13	23
1	30	23
2	126	13
3	664	11
4	3550	11
done	5000	11
0	11	23
1	26	23
2	94	11
3	416	11
4	2089	9
done	5000	9
0	9	17
1	14	17
2	30	17
3	44	17
4	63	17
5	79	17
6	89	17
7	91	17
done	91	17
0	8	8
1	13	8
2	29	8
3	43	8
4	62	8
5	78	8
6	88	8
7	90	8
done	90	8
0	9	23
1	24	23
2	109	9
3	533	9
4	2368	9
done	5000	9
0	8	8
1	13	8
2	29	8
3	43	8
4	62	8
5	78	8
6	88	8
7	90	8
done	90	8
0	8	8
1	13	8
2	29	8
3	43	8
4	62	8
5	78	8
6	88	8
7	90	8
done	90	8
0	8	9
1	24	9
2	52	9
3	131	9
4	309	9
5	988	9
6	4466	9
done	5000	9
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	5	5
1	13	5
2	14	5
done	14	5
0	9	9
1	12	9
2	13	9
done	13	9
0	9	9
1	12	9
2	13	9
done	13	9
0	10	10
1	15	10
2	19	10
3	21	10
4	23	10
5	24	10
done	24	10
0	10	10
1	15	10
2	19	10
3	21	10
4	23	10
5	24	10
done	24	10
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	6	6
1	11	6
2	20	6
3	29	6
4	34	6
5	40	6
6	42	6
7	43	6
done	43	6
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	6	6
1	11	6
2	20	6
3	29	6
4	34	6
5	40	6
6	42	6
7	43	6
done	43	6
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	6	6
1	11	6
2	20	6
3	30	6
4	39	6
5	42	6
6	43	6
done	43	6
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	6	6
1	11	6
2	20	6
3	30	6
4	39	6
5	42	6
6	43	6
done	43	6
0	9	13
1	16	13
2	25	13
3	33	13
4	42	13
5	48	13
6	53	13
7	54	13
done	54	13
0	8	8
1	13	8
2	17	8
3	19	8
4	21	8
5	22	8
done	22	8
0	5	5
1	10	3
2	20	3
done	20	3
0	9	9
1	19	9
2	35	9
3	43	9
4	49	9
5	56	9
6	58	9
done	58	9
0	5	5
1	10	3
2	20	3
done	20	3
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	9	9
1	14	9
2	30	9
3	44	9
4	63	9
5	79	9
6	89	9
7	91	9
done	91	9
0	9	9
1	14	9
2	30	9
3	44	9
4	63	9
5	79	9
6	89	9
7	91	9
done	91	9
0	8	8
1	13	8
2	29	8
3	43	8
4	62	8
5	78	8
6	88	8
7	90	8
done	90	8
0	9	9
1	14	9
2	30	9
3	44	9
4	63	9
5	79	9
6	89	9
7	91	9
done	91	9
0	9	9
1	14	9
2	30	9
3	44	9
4	63	9
5	79	9
6	89	9
7	91	9
done	91	9
0	8	8
1	13	8
2	29	8
3	43	8
4	62	8
5	78	8
6	88	8
7	90	8
done	90	8
0	8	8
1	13	8
2	29	8
3	43	8
4	62	8
5	78	8
6	88	8
7	90	8
done	90	8
0	8	8
1	13	8
2	29	8
3	43	8
4	62	8
5	78	8
6	88	8
7	90	8
done	90	8
0	7	7
1	12	7
2	28	7
3	42	7
4	61	7
5	77	7
6	87	7
7	89	7
done	89	7
0	7	7
1	12	7
2	28	7
3	42	7
4	61	7
5	77	7
6	87	7
7	89	7
done	89	7
0	7	7
1	14	7
2	30	5
3	69	5
4	105	5
5	130	5
6	134	5
7	136	5
done	136	5
0	10	11
1	28	11
2	65	11
3	195	11
4	546	11
5	1911	11
done	5000	11
0	9	11
1	17	11
2	45	11
3	135	11
4	325	11
5	546	11
6	955	11
7	1786	11
done	5000	11
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	11	11
1	21	10
2	44	10
3	86	10
4	169	10
5	345	10
6	800	10
7	2666	10
done	5001	10
0	10	10
1	16	10
2	32	10
3	50	10
4	74	10
5	93	10
6	109	10
7	124	10
8	163	10
9	229	10
10	312	10
11	342	10
12	401	10
13	479	10
14	480	10
done	480	10
0	10	10
1	19	10
2	40	10
3	74	10
4	138	10
5	263	10
6	585	10
7	1890	10
done	5000	10
0	11	21
1	17	21
2	33	21
3	51	21
4	75	21
5	94	21
6	110	21
7	125	21
8	164	21
9	230	21
10	313	21
11	343	21
12	402	21
13	480	21
14	481	21
done	481	21
0	10	10
1	16	10
2	32	10
3	50	10
4	74	10
5	93	10
6	109	10
7	124	10
8	163	10
9	229	10
10	312	10
11	342	10
12	401	10
13	479	10
14	480	10
done	480	10
0	11	29
1	30	29
2	102	11
3	436	11
4	2225	11
done	5000	11
0	10	10
1	16	10
2	32	10
3	50	10
4	74	10
5	93	10
6	109	10
7	124	10
8	163	10
9	229	10
10	312	10
11	342	10
12	401	10
13	479	10
14	480	10
done	480	10
0	10	10
1	16	10
2	32	10
3	50	10
4	74	10
5	93	10
6	109	10
7	124	10
8	163	10
9	229	10
10	312	10
11	342	10
12	401	10
13	479	10
14	480	10
done	480	10
0	12	13
1	34	13
2	101	13
3	398	13
4	1878	13
done	5000	13
0	13	29
1	35	21
2	135	21
3	492	21
4	1552	21
5	4288	21
done	5001	21
0	11	19
1	28	19
2	102	19
3	405	19
4	1572	19
5	4955	19
done	5000	19
0	9	9
1	16	9
2	41	9
3	84	9
4	158	9
5	201	9
6	249	9
7	281	9
8	355	9
9	440	9
10	441	9
done	441	9
0	7	7
1	11	7
2	14	7
3	16	7
4	18	7
5	19	7
done	19	7
0	7	7
1	11	7
2	14	7
3	16	7
4	18	7
5	19	7
done	19	7
0	7	7
1	11	7
2	14	7
3	18	7
4	19	7
done	19	7
0	7	7
1	11	7
2	14	7
3	18	7
4	19	7
done	19	7
0	9	11
1	19	9
2	36	9
3	52	9
4	66	7
5	75	7
6	80	7
7	83	7
8	85	7
9	86	7
done	86	7
0	9	11
1	19	9
2	36	9
3	52	9
4	66	7
5	75	7
6	80	7
7	83	7
8	85	7
9	86	7
done	86	7
0	9	11
1	19	9
2	36	9
3	52	9
4	66	7
5	75	7
6	80	7
7	83	7
8	85	7
9	86	7
done	86	7
0	11	13
1	22	13
2	43	13
3	68	11
4	95	9
5	139	9
6	210	9
7	301	9
8	335	9
9	399	9
10	477	9
11	478	9
done	478	9
0	11	13
1	22	13
2	43	13
3	68	11
4	95	9
5	139	9
6	210	9
7	301	9
8	335	9
9	399	9
10	477	9
11	478	9
done	478	9
0	11	13
1	22	13
2	43	13
3	68	11
4	95	9
5	139	9
6	210	9
7	301	9
8	335	9
9	399	9
10	477	9
11	478	9
done	478	9

prune77.0ms

Filtered

47 candidates to 63 candidates (-34.0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	63	0	63
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	63	2	65

Merged error: 0.0b

Counts

65 → 2

regimes126.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	13
1	14	13
done	14	13

end0.0ms

sample863.0ms

Algorithm

intervals

Results

430.0ms

10179×

body

valid

Details

sample31.0ms

simplify4.2s

prune8.0ms

localize13.0ms

rewrite33.0ms

series22.0ms

simplify35.0s

prune91.0ms

localize10.0ms

rewrite58.0ms

series21.0ms

simplify42.8s

prune72.0ms

localize8.0ms

rewrite17.0ms

series19.0ms

simplify40.8s

prune77.0ms

regimes126.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample863.0ms

Profiling