Details

sample22.0ms

Algorithm

intervals

Results

9.0ms

344×

body

valid

simplify5.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	11	7
done	11	7

prune3.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: 5.9b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

13.2b

(/ x (* y y))

rewrite6.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 y))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(/ x (* y y))

simplify20.9s

Counts

24 → 24

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	8
1	12	7
2	22	7
3	29	7
4	35	7
5	44	7
6	57	7
7	73	7
8	76	7
done	76	7
0	6	7
1	10	7
2	17	7
3	27	7
4	35	7
5	43	7
6	55	7
7	69	7
8	84	7
done	84	7
0	5	6
1	10	6
2	16	6
3	24	6
4	36	6
5	44	6
6	53	6
7	66	6
8	82	6
9	85	6
done	85	6
0	5	6
1	7	6
done	7	6
0	8	17
1	23	17
2	90	11
3	323	7
4	746	7
5	1849	7
done	5000	7
0	8	17
1	24	17
2	93	9
3	339	7
4	806	7
5	1926	7
done	5000	7
0	6	13
1	8	13
done	8	13
0	5	6
1	7	6
done	7	6
0	6	17
1	15	17
2	52	7
3	188	7
4	512	7
5	850	7
6	1977	7
done	5000	7
0	5	6
1	7	6
done	7	6
0	5	6
1	7	6
done	7	6
0	2	2
done	2	2
0	3	4
1	6	4
done	6	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	4	5
1	8	5
done	8	5
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	3	3
done	3	3
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5

prune56.0ms

Filtered

20 candidates to 24 candidates (-20.0%)

Pruning

6 alts after pruning (6 fresh and 0 done)

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

Merged error: 0.0b

Counts

25 → 6

localize5.0ms

Local error

Found 1 expressions with local error:

0.2b	(/ (/ x y) y)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 70

Calls

1 calls:

7.0ms

(/ (/ x y) y)

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(/ (/ x y) y)

simplify27.3s

Counts

73 → 73

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	8
1	11	8
2	23	7
3	35	7
4	44	7
5	53	7
6	67	7
7	77	7
8	80	7
done	80	7
0	6	7
1	10	7
2	16	7
3	29	7
4	42	7
5	49	7
6	59	7
7	67	7
8	77	7
9	80	7
done	80	7
0	5	6
1	10	6
2	16	6
3	24	6
4	36	6
5	47	6
6	54	6
7	64	6
8	72	6
9	82	6
10	85	6
done	85	6
0	5	6
1	7	6
done	7	6
0	8	17
1	21	17
2	91	11
3	327	7
4	782	7
5	1908	7
done	5000	7
0	8	17
1	23	17
2	78	9
3	265	7
4	655	7
5	1459	7
6	4733	7
done	5000	7
0	6	13
1	8	13
done	8	13
0	5	6
1	7	6
done	7	6
0	6	17
1	15	17
2	46	7
3	141	7
4	426	7
5	815	7
6	1834	7
done	5001	7
0	5	6
1	7	6
done	7	6
0	5	6
1	7	6
done	7	6
0	4	4
1	6	4
done	6	4
0	2	2
done	2	2
0	8	15
1	14	15
2	23	15
3	29	15
done	29	15
0	6	7
done	6	7
0	7	12
1	9	12
2	11	12
3	12	12
done	12	12
0	6	7
done	6	7
0	7	11
1	11	9
2	17	9
3	22	9
done	22	9
0	5	6
done	5	6
0	7	10
1	9	10
done	9	10
0	6	7
done	6	7
0	6	7
done	6	7
0	6	7
done	6	7
0	6	6
1	8	4
2	10	4
done	10	4
0	5	6
done	5	6
0	8	17
1	18	17
2	46	17
3	89	13
4	113	10
5	122	10
6	139	10
7	192	10
8	386	10
9	959	10
10	3182	10
done	5000	10
0	6	8
1	8	8
done	8	8
0	9	14
1	17	14
2	40	14
3	77	14
4	118	14
5	123	14
done	123	14
0	7	8
1	9	8
2	12	8
done	12	8
0	9	13
1	19	11
2	46	11
3	95	11
4	125	11
done	125	11
0	6	7
1	8	7
2	11	7
done	11	7
0	9	14
1	15	14
2	31	14
3	67	14
4	109	14
5	119	14
done	119	14
0	7	8
1	9	8
2	12	8
done	12	8
0	7	11
1	11	11
2	18	7
3	23	7
4	28	7
5	29	7
done	29	7
0	6	8
1	8	8
done	8	4
0	8	10
1	14	8
2	29	8
3	46	8
4	56	8
done	56	8
0	6	7
1	8	7
2	11	7
done	11	7
0	9	13
1	17	11
2	46	11
3	103	11
4	121	11
done	121	11
0	6	7
1	8	7
2	11	7
done	11	7
0	8	10
1	14	8
2	34	8
3	56	8
4	57	8
done	57	8
0	6	7
1	8	7
2	11	7
done	11	7
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	5	6
1	7	6
done	7	6
0	7	14
1	13	14
2	20	14
3	24	10
4	33	7
5	42	7
6	55	7
7	85	7
8	165	7
9	341	7
10	1122	7
done	5000	7
0	6	8
1	8	8
done	8	8
0	8	11
1	12	11
2	18	11
3	26	11
done	26	11
0	7	8
1	9	8
2	12	8
done	12	8
0	8	10
1	14	8
2	24	8
3	40	8
done	40	8
0	6	7
1	8	7
2	11	7
done	11	7
0	8	11
1	12	11
2	18	11
3	24	11
done	24	11
0	7	8
1	9	8
2	12	8
done	12	8
0	6	8
1	8	8
done	8	4
0	6	8
1	8	8
done	8	4
0	7	7
1	11	5
2	18	5
3	20	5
done	20	5
0	6	7
1	8	7
2	11	7
done	11	7
0	8	10
1	14	8
2	23	8
3	31	8
done	31	8
0	6	7
1	8	7
2	11	7
done	11	7
0	7	7
1	11	5
2	17	5
done	17	5
0	6	7
1	8	7
2	11	7
done	11	7
0	5	6
1	9	2
done	9	2
0	5	6
1	7	6
done	7	6
0	6	13
1	14	13
2	21	13
3	23	9
4	31	6
5	38	6
6	51	6
7	81	6
8	160	6
9	340	6
10	1127	6
done	5001	6
0	5	7
1	7	7
done	7	7
0	7	10
1	13	10
2	19	10
3	27	10
done	27	10
0	6	7
1	8	7
2	11	7
done	11	7
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	5	6
1	7	6
2	10	6
done	10	6
0	7	10
1	13	10
2	19	10
3	25	10
done	25	10
0	6	7
1	8	7
2	11	7
done	11	7
0	5	7
1	9	7
done	9	3
0	5	7
1	7	7
done	7	3
0	5	6
1	9	4
2	16	4
done	16	4
0	5	6
1	7	6
2	10	6
done	10	6
0	6	9
1	12	7
2	16	7
3	26	7
4	28	7
done	28	7
0	5	6
1	7	6
2	10	6
done	10	6
0	5	6
1	9	4
2	11	4
3	15	4
done	15	4
0	5	6
1	7	6
2	10	6
done	10	6
0	3	5
1	7	1
done	7	1
0	4	5
1	6	5
done	6	5
0	5	7
1	9	7
done	9	7
0	5	6
1	7	6
2	10	6
done	10	6
0	4	4
1	6	4
done	6	4
0	5	6
1	7	6
2	10	6
done	10	6
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
done	6	5
0	5	7
1	7	7
done	7	7
0	5	6
1	9	6
2	12	6
done	12	6
0	4	4
done	4	4
0	5	6
1	9	6
2	12	6
done	12	6
0	3	3
1	5	1
done	5	1
0	4	5
1	8	5
done	8	5
0	3	3
1	5	3
done	5	3
0	4	5
1	6	5
2	9	5
done	9	5
0	6	9
1	10	9
2	16	9
3	22	9
done	22	9
0	5	6
1	7	6
2	10	6
done	10	6
0	5	5
1	9	3
2	16	3
done	16	3
0	5	6
done	5	6
0	5	6
done	5	6
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	5	6
1	7	6
2	10	6
done	10	6
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	5	6
1	7	6
2	10	6
done	10	6
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	4	5
1	6	5
2	9	5
done	9	5
0	4	5
1	6	5
2	9	5
done	9	5
0	4	5
1	8	5
2	11	3
done	11	3
0	2	3
done	2	3
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5

prune93.0ms

Filtered

61 candidates to 73 candidates (-19.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	71	2	73
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	71	8	79

Merged error: 0b

Counts

79 → 8

localize7.0ms

Local error

Found 1 expressions with local error:

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

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 y))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

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

simplify48.5s

Counts

59 → 59

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	13	7
2	21	5
3	62	5
4	105	5
5	107	5
done	107	5
0	7	9
1	11	9
2	15	8
3	26	8
4	35	7
5	44	7
6	58	7
7	68	7
8	71	7
done	71	7
0	7	8
1	10	8
2	16	7
3	26	7
4	38	7
5	46	7
6	56	7
7	64	7
8	74	7
9	77	7
done	77	7
0	8	10
1	16	9
2	40	8
3	103	8
4	211	7
5	273	7
6	287	7
done	287	7
0	8	9
1	15	8
2	35	7
3	77	7
4	198	7
5	285	7
6	304	7
done	304	7
0	9	11
1	19	10
2	41	8
3	103	8
4	240	7
5	332	7
6	348	7
done	348	7
0	9	10
1	18	9
2	35	8
3	79	7
4	197	7
5	274	7
6	290	7
7	305	7
done	305	7
0	9	10
1	18	9
2	31	8
3	79	8
4	151	7
5	206	7
6	224	7
done	224	7
0	8	9
1	17	8
2	28	7
3	60	7
4	136	7
5	198	7
6	253	7
done	253	7
0	7	8
1	17	8
2	33	6
3	92	6
4	187	6
5	304	6
6	377	6
7	436	6
done	436	6
0	7	8
1	16	8
2	30	6
3	96	6
4	209	6
5	393	6
6	1044	6
7	3977	6
done	5000	6
0	12	23
1	35	19
2	133	11
3	829	9
4	3024	7
done	5000	7
0	12	23
1	34	19
2	105	9
3	444	9
4	1766	9
5	4213	7
done	5001	7
0	12	23
1	35	23
2	137	13
3	595	9
4	2178	9
done	5000	9
0	10	23
1	31	23
2	104	11
3	365	11
4	1292	7
5	4145	7
done	5001	7
0	8	17
1	15	17
2	23	13
3	64	13
4	105	13
5	108	13
done	108	13
0	7	8
1	14	8
2	22	6
3	63	6
4	105	6
5	107	6
done	107	6
0	8	23
1	25	23
2	104	7
3	397	7
4	1112	7
5	2743	7
done	5001	7
0	7	8
1	14	8
2	22	6
3	63	6
4	105	6
5	107	6
done	107	6
0	7	8
1	14	8
2	22	6
3	63	6
4	105	6
5	107	6
done	107	6
0	3	3
1	6	1
done	6	1
0	2	3
done	2	3
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	9	10
1	14	10
2	17	10
3	21	10
4	22	10
done	22	10
0	9	10
1	14	10
2	17	10
3	21	10
4	22	10
done	22	10
0	9	10
1	14	9
2	17	9
3	19	7
4	33	7
5	35	7
done	35	7
0	9	10
1	14	9
2	17	9
3	19	7
4	33	7
5	35	7
done	35	7
0	9	11
1	16	10
2	24	10
3	36	8
4	86	4
5	94	4
done	94	4
0	9	11
1	16	10
2	24	10
3	36	8
4	86	4
5	94	4
done	94	4
0	8	9
1	13	9
2	16	7
3	29	7
4	36	7
done	36	7
0	8	9
1	13	9
2	16	7
3	29	7
4	36	7
done	36	7
0	8	10
1	15	10
2	23	8
3	64	8
4	118	4
5	119	4
done	119	4
0	8	10
1	15	10
2	23	8
3	64	8
4	118	4
5	119	4
done	119	4
0	8	13
1	15	13
2	23	11
3	51	11
4	64	11
done	64	11
0	7	8
1	12	8
2	15	6
3	28	6
4	33	6
done	33	6
0	10	15
1	23	15
2	64	13
3	216	13
4	525	13
5	836	13
6	858	13
done	858	13
0	9	12
1	18	12
2	36	10
3	113	10
4	233	10
5	306	10
6	323	10
done	323	10
0	8	11
1	17	9
2	43	7
3	168	7
4	243	7
5	249	7
done	249	7
0	9	12
1	18	12
2	37	10
3	109	10
4	245	10
5	418	10
6	432	10
done	432	10
0	8	9
1	15	9
2	24	7
3	63	7
4	114	7
5	153	7
6	162	7
done	162	7
0	7	8
1	14	6
2	27	4
3	71	4
4	95	4
5	99	4
done	99	4
0	7	11
1	16	11
2	34	9
3	79	9
4	127	9
done	127	9
0	6	8
1	13	8
2	22	6
3	41	6
4	50	6
done	50	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	7	8
1	12	8
2	15	8
3	19	8
4	20	8
done	20	8
0	7	8
1	12	8
2	15	8
3	19	8
4	20	8
done	20	8
0	8	9
1	15	8
2	24	8
3	41	6
4	71	6
5	98	6
6	109	6
7	110	6
done	110	6
0	8	9
1	15	8
2	24	8
3	41	6
4	71	6
5	98	6
6	109	6
7	110	6
done	110	6
0	7	8
1	14	7
2	22	7
3	34	5
4	70	5
5	83	5
6	85	5
done	85	5
0	8	9
1	15	8
2	24	8
3	41	6
4	71	6
5	98	6
6	109	6
7	110	6
done	110	6
0	8	9
1	15	8
2	24	8
3	41	6
4	71	6
5	98	6
6	109	6
7	110	6
done	110	6
0	7	8
1	14	7
2	22	7
3	34	5
4	70	5
5	83	5
6	85	5
done	85	5
0	7	8
1	14	8
2	23	6
3	62	6
4	90	6
5	121	6
6	136	6
done	136	6
0	7	8
1	14	8
2	23	6
3	62	6
4	90	6
5	121	6
6	136	6
done	136	6
0	6	7
1	13	7
2	21	5
3	62	5
4	105	5
5	107	5
done	107	5
0	6	7
1	13	7
2	21	5
3	62	5
4	105	5
5	107	5
done	107	5
0	6	7
1	13	7
2	21	5
3	62	5
4	105	5
5	107	5
done	107	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	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5

prune69.0ms

Filtered

38 candidates to 59 candidates (-55.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	59	0	59
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	59	8	67

Merged error: 0b

Counts

67 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (/ x y)) (cbrt (/ x y)))
9.7b	(cbrt (/ x y))
9.7b	(cbrt (/ x y))
9.7b	(cbrt (/ x y))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

103×	`cbrt-prod`
81×	`add-sqr-sqrt`
69×	`times-frac`
57×	`add-cube-cbrt` `*-un-lft-identity`
16×	`swap-sqr` `associate-r` `associate-l`
11×	`pow1`
9×	`pow1/3` `unswap-sqr`
7×	`cbrt-div` `div-inv`
6×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 144

Calls

4 calls:

14.0ms	(* (cbrt (/ x y)) (cbrt (/ x y)))
3.0ms	(cbrt (/ x y))
3.0ms	(cbrt (/ x y))
3.0ms	(cbrt (/ x y))

series71.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(* (cbrt (/ x y)) (cbrt (/ x y)))
15.0ms	(cbrt (/ x y))
14.0ms	(cbrt (/ x y))
14.0ms	(cbrt (/ x y))

simplify46.1s

Counts

156 → 156

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
done	5	5
0	5	5
done	5	5
0	6	10
done	6	10
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	8	12
1	14	12
2	23	12
3	29	12
done	29	12
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	5	5
done	5	5
0	7	9
1	9	9
done	9	9
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	3
2	9	3
done	9	3
0	5	5
done	5	5
0	6	8
1	10	8
done	10	8
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	1
done	5	1
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	4	4
done	4	4
0	2	2
done	2	2
0	4	4
1	6	4
done	6	4
0	2	2
done	2	2
0	2	2
done	2	2
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	7	14
2	9	6
3	14	3
4	20	3
5	30	3
6	53	3
7	118	3
8	324	3
9	1243	3
done	5000	3
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	6	10
done	6	10
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	8	12
1	14	12
2	23	12
3	29	12
done	29	12
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	5	5
done	5	5
0	7	9
1	9	9
done	9	9
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	3
2	9	3
done	9	3
0	5	5
done	5	5
0	6	8
1	10	8
done	10	8
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	1
done	5	1
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	4	4
done	4	4
0	2	2
done	2	2
0	4	4
1	6	4
done	6	4
0	2	2
done	2	2
0	2	2
done	2	2
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	7	14
2	9	6
3	14	3
4	20	3
5	30	3
6	53	3
7	118	3
8	324	3
9	1243	3
done	5000	3
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	6	10
done	6	10
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	8	12
1	14	12
2	23	12
3	29	12
done	29	12
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	5	5
done	5	5
0	7	9
1	9	9
done	9	9
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	3
2	9	3
done	9	3
0	5	5
done	5	5
0	6	8
1	10	8
done	10	8
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	1
done	5	1
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	4	4
done	4	4
0	2	2
done	2	2
0	4	4
1	6	4
done	6	4
0	2	2
done	2	2
0	2	2
done	2	2
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	7	14
2	9	6
3	14	3
4	20	3
5	30	3
6	53	3
7	118	3
8	324	3
9	1243	3
done	5000	3
0	5	5
done	5	5
0	5	5
done	5	5
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	5	9
done	5	9
0	2	3
1	6	1
done	6	1
0	6	11
1	8	7
2	9	7
done	9	7
0	6	10
1	8	10
2	10	7
3	11	7
done	11	7
0	6	10
1	8	10
2	12	10
3	17	10
4	35	10
5	75	10
6	181	10
7	552	10
8	2249	10
done	5000	10
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	7	21
done	7	21
0	6	10
done	6	10
0	7	29
1	15	29
2	24	11
3	38	6
4	84	6
5	195	6
6	504	6
7	1764	6
done	5000	6
0	6	10
1	7	5
done	7	5
0	6	10
1	7	5
done	7	5
0	3	5
done	3	5
0	3	5
done	3	5
0	7	21
done	7	21
0	6	11
done	6	11
0	6	11
done	6	11
0	6	11
done	6	11
0	9	25
1	15	25
2	24	25
3	30	25
done	30	25
0	7	13
done	7	13
0	8	19
1	10	19
2	12	19
3	13	19
done	13	19
0	7	13
done	7	13
0	7	17
1	11	13
2	17	13
3	22	13
done	22	13
0	6	11
done	6	11
0	8	19
1	10	19
done	10	19
0	7	13
done	7	13
0	7	13
done	7	13
0	7	13
done	7	13
0	6	11
1	8	7
2	10	7
done	10	7
0	6	11
done	6	11
0	7	17
1	11	17
done	11	17
0	6	11
done	6	11
0	6	11
1	8	11
done	8	11
0	6	11
done	6	11
0	4	9
1	6	3
done	6	1
0	5	9
done	5	9
0	3	5
1	5	3
done	5	1
0	5	9
done	5	9
0	3	5
done	3	5
0	5	9
1	7	9
done	7	9
0	7	23
1	11	23
2	13	13
3	22	7
4	37	7
5	63	7
6	137	7
7	361	7
8	1276	7
done	5000	7
0	6	11
done	6	11
0	6	11
done	6	4
0	6	11
done	6	4
0	2	3
1	4	1
done	4	1
0	5	9
done	5	9
0	6	11
done	6	11
0	6	11
done	6	11
0	10	12
1	11	12
done	11	12
0	10	12
1	11	12
done	11	12
0	8	11
1	9	11
done	9	11
0	8	11
1	9	11
done	9	11
0	10	12
1	11	12
done	11	12
0	10	12
1	11	12
done	11	12
0	7	13
done	7	13
0	7	13
done	7	13
0	10	12
1	11	12
done	11	12
0	10	12
1	11	12
done	11	12
0	8	11
1	9	11
done	9	11
0	8	11
1	9	11
done	9	11
0	10	12
1	11	12
done	11	12
0	10	12
1	11	12
done	11	12
0	6	11
done	6	4
0	6	11
done	6	4
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	7	15
1	8	15
done	8	15
0	7	10
1	8	10
done	8	10
0	11	17
1	18	17
2	27	17
3	33	17
done	33	17
0	10	14
1	13	14
2	15	14
3	16	14
done	16	14
0	10	13
1	15	11
2	21	11
3	26	11
done	26	11
0	10	14
1	13	14
done	13	14
0	9	11
1	10	11
done	10	11
0	9	10
1	12	8
2	14	8
done	14	8
0	10	13
1	15	13
done	15	13
0	9	10
1	12	10
done	12	10
0	8	9
1	11	6
done	11	6
0	7	7
1	10	6
done	10	6
0	6	7
1	7	7
done	7	7
0	7	16
1	10	16
2	12	16
done	12	16
0	6	10
1	7	10
done	7	10
0	6	6
1	9	4
2	12	4
done	12	4
0	6	10
1	7	10
done	7	10
0	7	10
1	8	10
done	8	10
0	9	11
1	10	11
done	10	11
0	9	11
1	10	11
done	10	11
0	8	10
1	9	10
done	9	10
0	9	11
1	10	11
done	10	11
0	9	11
1	10	11
done	10	11
0	8	10
1	9	10
done	9	10
0	8	10
1	9	10
done	9	10
0	8	10
1	9	10
done	9	10
0	5	9
done	5	9
0	5	9
done	5	9
0	8	9
1	11	9
done	11	9
0	6	10
1	7	10
done	7	10
0	6	10
1	7	10
done	7	10
0	5	9
done	5	9
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	11	11
1	21	10
2	46	8
3	99	7
4	179	4
5	334	4
6	715	4
7	2141	4
done	5001	4
0	13	15
1	29	12
2	60	9
3	160	7
4	281	6
5	542	4
6	1075	4
7	3093	4
done	5000	4
0	14	15
1	29	14
2	68	12
3	209	11
4	586	8
5	1441	4
6	3675	4
done	5001	4
0	11	11
1	21	10
2	46	8
3	99	7
4	179	4
5	334	4
6	715	4
7	2141	4
done	5001	4
0	13	15
1	29	12
2	60	9
3	160	7
4	281	6
5	542	4
6	1075	4
7	3093	4
done	5000	4
0	14	15
1	29	14
2	68	12
3	209	11
4	586	8
5	1441	4
6	3675	4
done	5001	4
0	11	11
1	21	10
2	46	8
3	99	7
4	179	4
5	334	4
6	715	4
7	2141	4
done	5001	4
0	13	15
1	29	12
2	60	9
3	160	7
4	281	6
5	542	4
6	1075	4
7	3093	4
done	5000	4
0	14	15
1	29	14
2	68	12
3	209	11
4	586	8
5	1441	4
6	3675	4
done	5001	4
0	14	15
1	26	14
2	59	10
3	147	8
4	301	7
5	667	5
6	2047	5
done	5000	5
0	16	19
1	34	16
2	77	12
3	205	9
4	480	8
5	1115	5
6	3287	5
done	5000	5
0	17	19
1	34	18
2	71	14
3	187	12
4	514	11
5	1602	9
done	5000	8

prune149.0ms

Filtered

119 candidates to 156 candidates (-31.1%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	156	0	156
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	156	8	164

Merged error: 0b

Counts

164 → 8

regimes238.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
done	6	7

end0.0ms

sample631.0ms

Algorithm

intervals

Results

301.0ms

10705×

body

valid

Details

sample22.0ms

simplify5.0ms

prune3.0ms

localize5.0ms

rewrite6.0ms

series6.0ms

simplify20.9s

prune56.0ms

localize5.0ms

rewrite11.0ms

series6.0ms

simplify27.3s

prune93.0ms

localize7.0ms

rewrite15.0ms

series4.0ms

simplify48.5s

prune69.0ms

localize13.0ms

rewrite31.0ms

series71.0ms

simplify46.1s

prune149.0ms

regimes238.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample631.0ms

Profiling