Details

sample27.0ms

Algorithm

intervals

Results

10.0ms

320×

body

valid

simplify284.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	13	9
2	20	9
3	29	9
4	38	9
5	45	9
6	56	9
7	77	9
8	114	9
9	162	9
10	194	9
11	204	9
12	230	9
13	239	9
14	240	9
done	240	9

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: 0.0b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (- 1.0 x) z)
0.0b	(+ (* x y) (* (- 1.0 x) z))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
6×	`*-un-lft-identity`
5×	`associate-l`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube` `add-log-exp`
3×	`associate-r`
2×	`associate-*l/`
1×	`+-commutative` `flip3--` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `flip--` `cbrt-unprod` `flip-+` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

2 → 33

Calls

2 calls:

7.0ms	(* (- 1.0 x) z)
5.0ms	(+ (* x y) (* (- 1.0 x) z))

series15.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(* (- 1.0 x) z)
9.0ms	(+ (* x y) (* (- 1.0 x) z))

simplify30.0s

Counts

39 → 39

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	21	10
2	44	10
3	87	10
4	243	10
5	776	10
6	3642	10
done	5001	10
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	9	10
1	17	10
2	33	10
3	63	10
4	143	10
5	410	10
6	1584	10
done	5000	10
0	10	21
1	15	21
2	22	21
3	31	21
4	40	21
5	47	21
6	58	21
7	79	21
8	116	21
9	164	21
10	196	21
11	206	21
12	232	21
13	241	21
14	242	21
done	242	21
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	10	29
1	28	29
2	99	11
3	419	11
4	1907	11
done	5001	11
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	11	13
1	35	13
2	109	13
3	341	13
4	961	13
5	2793	13
done	5001	13
0	12	29
1	42	23
2	136	23
3	427	23
4	1100	23
5	2773	23
done	5000	23
0	10	19
1	33	19
2	93	19
3	263	19
4	760	19
5	1983	19
done	5001	19
0	8	9
1	14	9
2	28	9
3	50	9
4	81	9
5	91	9
6	114	9
7	140	9
8	188	9
9	235	9
10	236	9
done	236	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	29	6
3	48	6
4	91	6
5	174	6
6	425	6
7	1317	6
done	5000	6
0	9	17
1	18	17
2	56	9
3	180	9
4	619	7
5	2374	7
done	5000	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	285	7
4	864	7
5	2739	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	7	9
1	12	9
2	21	9
3	38	9
4	50	9
5	58	9
done	58	9
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	308	9
5	980	9
6	4487	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	395	9
7	764	9
8	3363	9
done	5000	9
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5

prune54.0ms

Filtered

28 candidates to 39 candidates (-39.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	37	2	39
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	37	3	40

Merged error: 0b

Counts

40 → 3

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* 1.0 z) (* x (- y z)))
0.0b	(* x (- y z))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
6×	`*-un-lft-identity`
5×	`associate-r`
4×	`pow1` `add-exp-log` `distribute-rgt-in` `add-cube-cbrt` `sub-neg` `associate-+r+` `distribute-lft-in` `add-cbrt-cube` `add-log-exp`
3×	`associate-l`
2×	`associate-*r/`
1×	`+-commutative` `flip3--` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `flip--` `cbrt-unprod` `flip-+` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

2 → 41

Calls

2 calls:

5.0ms	(+ (* 1.0 z) (* x (- y z)))
7.0ms	(* x (- y z))

series18.0ms

Counts

2 → 6

Calls

2 calls:

10.0ms	(+ (* 1.0 z) (* x (- y z)))
8.0ms	(* x (- y z))

simplify31.0s

Counts

47 → 47

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	24	6
3	49	6
4	90	6
5	192	6
6	441	6
7	1402	6
done	5001	6
0	9	17
1	18	17
2	62	9
3	243	9
4	855	7
5	2965	7
done	5001	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	266	7
4	818	7
5	2511	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	7	11
1	12	11
2	15	11
done	15	11
0	6	6
1	9	6
2	10	6
done	10	6
0	3	3
1	6	1
done	6	1
0	7	7
1	15	7
2	16	7
done	16	7
0	3	3
1	6	1
done	6	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
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	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	10	11
1	21	10
2	40	10
3	87	10
4	238	10
5	801	10
6	3660	10
done	5001	10
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	9	10
1	17	10
2	33	10
3	63	10
4	143	10
5	410	10
6	1584	10
done	5000	10
0	10	21
1	15	21
2	22	21
3	31	21
4	40	21
5	47	21
6	58	21
7	79	21
8	116	21
9	164	21
10	196	21
11	206	21
12	232	21
13	241	21
14	242	21
done	242	21
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	10	29
1	28	29
2	99	11
3	419	11
4	1906	11
done	5001	11
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	11	13
1	35	13
2	109	13
3	341	13
4	966	13
5	2798	13
done	5000	13
0	12	29
1	42	23
2	137	23
3	440	23
4	1221	23
5	2948	23
done	5000	23
0	10	19
1	33	19
2	93	19
3	268	19
4	793	19
5	2087	19
done	5001	19
0	8	9
1	14	9
2	28	9
3	50	9
4	81	9
5	91	9
6	114	9
7	140	9
8	188	9
9	235	9
10	236	9
done	236	9
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9

prune51.0ms

Filtered

32 candidates to 47 candidates (-46.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	47	0	47
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	47	3	50

Merged error: 0b

Counts

50 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (+ (* x y) (* (- 1.0 x) z))))
0.5b	(cbrt (+ (* x y) (* (- 1.0 x) z)))
0.5b	(cbrt (+ (* x y) (* (- 1.0 x) z)))
0.5b	(cbrt (+ (* x y) (* (- 1.0 x) z)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3-+` `pow1/3` `flip-+`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

12.0ms	(* (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (+ (* x y) (* (- 1.0 x) z))))
4.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))
4.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))
4.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))

series244.0ms

Counts

4 → 12

Calls

4 calls:

86.0ms	(* (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (+ (* x y) (* (- 1.0 x) z))))
53.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))
51.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))
54.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))

simplify2.0min

Counts

99 → 99

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	11	22
1	16	22
2	23	22
3	32	22
4	41	22
5	48	22
6	59	22
7	80	22
8	117	22
9	165	22
10	197	22
11	207	22
12	233	22
13	242	22
14	243	22
done	243	22
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	2	2
1	4	1
done	4	1
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	12	14
1	36	14
2	110	14
3	334	14
4	939	14
5	2795	14
done	5000	14
0	13	30
1	43	24
2	137	24
3	427	24
4	1108	24
5	2777	24
done	5000	24
0	11	20
1	34	20
2	94	20
3	264	20
4	761	20
5	1977	20
done	5000	20
0	9	10
1	15	10
2	29	10
3	51	10
4	82	10
5	95	10
6	118	10
7	144	10
8	192	10
9	239	10
10	240	10
done	240	10
0	11	23
1	16	23
2	23	23
3	32	23
4	41	23
5	48	23
6	59	23
7	80	23
8	117	23
9	165	23
10	197	23
11	207	23
12	233	23
13	242	23
14	243	23
done	243	23
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	11	32
1	17	32
2	26	12
3	40	9
4	55	9
5	72	9
6	104	9
7	187	9
8	427	9
9	1413	9
done	5001	9
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	11	22
1	16	22
2	23	22
3	32	22
4	41	22
5	48	22
6	59	22
7	80	22
8	117	22
9	165	22
10	197	22
11	207	22
12	233	22
13	242	22
14	243	22
done	243	22
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	2	2
1	4	1
done	4	1
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	12	14
1	36	14
2	110	14
3	334	14
4	939	14
5	2795	14
done	5000	14
0	13	30
1	43	24
2	137	24
3	427	24
4	1108	24
5	2777	24
done	5000	24
0	11	20
1	34	20
2	94	20
3	264	20
4	761	20
5	1977	20
done	5000	20
0	9	10
1	15	10
2	29	10
3	51	10
4	82	10
5	95	10
6	118	10
7	144	10
8	192	10
9	239	10
10	240	10
done	240	10
0	11	23
1	16	23
2	23	23
3	32	23
4	41	23
5	48	23
6	59	23
7	80	23
8	117	23
9	165	23
10	197	23
11	207	23
12	233	23
13	242	23
14	243	23
done	243	23
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	11	32
1	17	32
2	26	12
3	40	9
4	55	9
5	72	9
6	104	9
7	187	9
8	427	9
9	1413	9
done	5001	9
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	11	22
1	16	22
2	23	22
3	32	22
4	41	22
5	48	22
6	59	22
7	80	22
8	117	22
9	165	22
10	197	22
11	207	22
12	233	22
13	242	22
14	243	22
done	243	22
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	2	2
1	4	1
done	4	1
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	12	14
1	36	14
2	110	14
3	334	14
4	939	14
5	2795	14
done	5000	14
0	13	30
1	43	24
2	137	24
3	427	24
4	1108	24
5	2777	24
done	5000	24
0	11	20
1	34	20
2	94	20
3	264	20
4	761	20
5	1977	20
done	5000	20
0	9	10
1	15	10
2	29	10
3	51	10
4	82	10
5	95	10
6	118	10
7	144	10
8	192	10
9	239	10
10	240	10
done	240	10
0	11	23
1	16	23
2	23	23
3	32	23
4	41	23
5	48	23
6	59	23
7	80	23
8	117	23
9	165	23
10	197	23
11	207	23
12	233	23
13	242	23
14	243	23
done	243	23
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	11	32
1	17	32
2	26	12
3	40	9
4	55	9
5	72	9
6	104	9
7	187	9
8	427	9
9	1413	9
done	5001	9
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	10	11
1	15	11
2	22	11
3	31	11
4	40	11
5	47	11
6	58	11
7	79	11
8	116	11
9	164	11
10	196	11
11	206	11
12	232	11
13	241	11
14	242	11
done	242	11
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	9	19
1	20	19
2	56	19
3	173	19
4	560	19
5	1802	19
done	5000	19
0	10	21
1	15	21
2	22	21
3	31	21
4	40	21
5	47	21
6	58	21
7	79	21
8	116	21
9	164	21
10	196	21
11	206	21
12	232	21
13	241	21
14	242	21
done	242	21
0	2	3
1	6	1
done	6	1
0	11	23
1	18	13
2	26	13
3	35	13
4	44	13
5	51	13
6	62	13
7	83	13
8	120	13
9	168	13
10	200	13
11	210	13
12	236	13
13	245	13
14	246	13
done	246	13
0	11	22
1	18	22
2	27	13
3	37	13
4	46	13
5	53	13
6	64	13
7	85	13
8	122	13
9	170	13
10	202	13
11	212	13
12	238	13
13	247	13
14	248	13
done	248	13
0	11	22
1	18	22
2	29	22
3	43	22
4	70	22
5	117	22
6	232	22
7	627	22
8	2344	22
done	5001	22
0	9	19
1	20	19
2	56	19
3	173	19
4	560	19
5	1802	19
done	5000	19
0	12	45
1	17	45
2	24	45
3	33	45
4	42	45
5	49	45
6	60	45
7	81	45
8	118	45
9	166	45
10	198	45
11	208	45
12	234	45
13	243	45
14	244	45
done	244	45
0	11	22
1	16	22
2	23	22
3	32	22
4	41	22
5	48	22
6	59	22
7	80	22
8	117	22
9	165	22
10	197	22
11	207	22
12	233	22
13	242	22
14	243	22
done	243	22
0	12	65
1	25	65
2	39	23
3	62	12
4	165	12
5	575	12
6	1991	12
done	5000	12
0	11	22
1	17	11
2	24	11
3	33	11
4	42	11
5	49	11
6	60	11
7	81	11
8	118	11
9	166	11
10	198	11
11	208	11
12	234	11
13	243	11
14	244	11
done	244	11
0	11	22
1	17	11
2	24	11
3	33	11
4	42	11
5	49	11
6	60	11
7	81	11
8	118	11
9	166	11
10	198	11
11	208	11
12	234	11
13	243	11
14	244	11
done	244	11
0	13	29
1	37	29
2	111	29
3	341	29
4	966	29
5	2813	29
done	5001	29
0	14	61
1	44	49
2	138	49
3	430	49
4	1110	49
5	2771	49
done	5001	49
0	17	35
1	59	35
2	180	35
3	544	35
4	1577	35
done	5001	35
0	16	41
1	49	35
2	148	35
3	451	35
4	1186	35
5	2735	35
done	5001	35
0	17	35
1	59	35
2	180	35
3	532	35
4	1570	35
done	5000	35
0	16	41
1	49	35
2	148	35
3	447	35
4	1184	35
5	2746	35
done	5000	35
0	12	41
1	35	41
2	95	41
3	265	41
4	762	41
5	1976	41
done	5001	41
0	10	21
1	16	21
2	30	21
3	52	21
4	83	21
5	95	21
6	118	21
7	144	21
8	192	21
9	239	21
10	240	21
done	240	21
0	12	45
1	17	45
2	24	45
3	33	45
4	42	45
5	49	45
6	60	45
7	81	45
8	118	45
9	166	45
10	198	45
11	208	45
12	234	45
13	243	45
14	244	45
done	244	45
0	11	23
1	16	23
2	23	23
3	32	23
4	41	23
5	48	23
6	59	23
7	80	23
8	117	23
9	165	23
10	197	23
11	207	23
12	233	23
13	242	23
14	243	23
done	243	23
0	11	23
1	16	23
2	23	23
3	32	23
4	41	23
5	48	23
6	59	23
7	80	23
8	117	23
9	165	23
10	197	23
11	207	23
12	233	23
13	242	23
14	243	23
done	243	23
0	11	23
1	16	23
2	23	23
3	32	23
4	41	23
5	48	23
6	59	23
7	80	23
8	117	23
9	165	23
10	197	23
11	207	23
12	233	23
13	242	23
14	243	23
done	243	23
0	3	5
1	5	3
done	5	1
0	10	21
1	15	21
2	22	21
3	31	21
4	40	21
5	47	21
6	58	21
7	79	21
8	116	21
9	164	21
10	196	21
11	206	21
12	232	21
13	241	21
14	242	21
done	242	21
0	12	47
1	21	47
2	30	25
3	48	13
4	72	13
5	105	13
6	187	13
7	413	13
8	1356	13
done	5000	13
0	11	23
1	16	23
2	23	23
3	32	23
4	41	23
5	48	23
6	59	23
7	80	23
8	117	23
9	165	23
10	197	23
11	207	23
12	233	23
13	242	23
14	243	23
done	243	23
0	11	23
1	16	10
2	24	10
3	33	10
4	42	10
5	49	10
6	60	10
7	81	10
8	118	10
9	166	10
10	198	10
11	208	10
12	234	10
13	243	10
14	244	10
done	244	10
0	11	23
1	16	10
2	24	10
3	33	10
4	42	10
5	49	10
6	60	10
7	81	10
8	118	10
9	166	10
10	198	10
11	208	10
12	234	10
13	243	10
14	244	10
done	244	10
0	2	3
1	4	1
done	4	1
0	10	21
1	15	21
2	22	21
3	31	21
4	40	21
5	47	21
6	58	21
7	79	21
8	116	21
9	164	21
10	196	21
11	206	21
12	232	21
13	241	21
14	242	21
done	242	21
0	11	23
1	16	23
2	23	23
3	32	23
4	41	23
5	48	23
6	59	23
7	80	23
8	117	23
9	165	23
10	197	23
11	207	23
12	233	23
13	242	23
14	243	23
done	243	23
0	11	23
1	16	23
2	23	23
3	32	23
4	41	23
5	48	23
6	59	23
7	80	23
8	117	23
9	165	23
10	197	23
11	207	23
12	233	23
13	242	23
14	243	23
done	243	23
0	13	23
1	19	23
2	26	23
3	35	23
4	44	23
5	51	23
6	62	23
7	83	23
8	120	23
9	168	23
10	200	23
11	210	23
12	236	23
13	245	23
14	246	23
done	246	23
0	13	23
1	19	23
2	26	23
3	35	23
4	44	23
5	51	23
6	62	23
7	83	23
8	120	23
9	168	23
10	200	23
11	210	23
12	236	23
13	245	23
14	246	23
done	246	23
0	13	23
1	19	23
2	26	23
3	35	23
4	44	23
5	51	23
6	62	23
7	83	23
8	120	23
9	168	23
10	200	23
11	210	23
12	236	23
13	245	23
14	246	23
done	246	23
0	13	23
1	19	23
2	26	23
3	35	23
4	44	23
5	51	23
6	62	23
7	83	23
8	120	23
9	168	23
10	200	23
11	210	23
12	236	23
13	245	23
14	246	23
done	246	23
0	11	23
1	16	10
2	24	10
3	33	10
4	42	10
5	49	10
6	60	10
7	81	10
8	118	10
9	166	10
10	198	10
11	208	10
12	234	10
13	243	10
14	244	10
done	244	10
0	11	23
1	16	10
2	24	10
3	33	10
4	42	10
5	49	10
6	60	10
7	81	10
8	118	10
9	166	10
10	198	10
11	208	10
12	234	10
13	243	10
14	244	10
done	244	10
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	12	33
1	18	33
2	25	33
3	34	33
4	43	33
5	50	33
6	61	33
7	82	33
8	119	33
9	167	33
10	199	33
11	209	33
12	235	33
13	244	33
14	245	33
done	245	33
0	12	22
1	18	22
2	25	22
3	34	22
4	43	22
5	50	22
6	61	22
7	82	22
8	119	22
9	167	22
10	199	22
11	209	22
12	235	22
13	244	22
14	245	22
done	245	22
0	12	13
1	20	12
2	27	12
3	36	10
4	48	10
5	55	10
6	66	10
7	87	10
8	124	10
9	172	10
10	204	10
11	214	10
12	240	10
13	249	10
14	250	10
done	250	10
0	12	34
1	20	34
2	29	34
3	38	34
4	47	34
5	54	34
6	65	34
7	86	34
8	123	34
9	171	34
10	203	34
11	213	34
12	239	34
13	248	34
14	249	34
done	249	34
0	11	22
1	17	22
2	24	22
3	33	22
4	42	22
5	49	22
6	60	22
7	81	22
8	118	22
9	166	22
10	198	22
11	208	22
12	234	22
13	243	22
14	244	22
done	244	22
0	11	12
1	19	10
2	29	10
3	38	10
4	47	10
5	54	10
6	65	10
7	86	10
8	123	10
9	171	10
10	203	10
11	213	10
12	239	10
13	248	10
14	249	10
done	249	10
0	11	22
1	17	22
2	24	22
3	33	22
4	42	22
5	49	22
6	60	22
7	81	22
8	118	22
9	166	22
10	198	22
11	208	22
12	234	22
13	243	22
14	244	22
done	244	22
0	12	22
1	18	22
2	25	22
3	34	22
4	43	22
5	50	22
6	61	22
7	82	22
8	119	22
9	167	22
10	199	22
11	209	22
12	235	22
13	244	22
14	245	22
done	245	22
0	10	21
1	15	21
2	22	21
3	31	21
4	40	21
5	47	21
6	58	21
7	79	21
8	116	21
9	164	21
10	196	21
11	206	21
12	232	21
13	241	21
14	242	21
done	242	21
0	11	22
1	17	22
2	24	22
3	33	22
4	42	22
5	49	22
6	60	22
7	81	22
8	118	22
9	166	22
10	198	22
11	208	22
12	234	22
13	243	22
14	244	22
done	244	22
0	11	22
1	17	22
2	24	22
3	33	22
4	42	22
5	49	22
6	60	22
7	81	22
8	118	22
9	166	22
10	198	22
11	208	22
12	234	22
13	243	22
14	244	22
done	244	22
0	10	21
1	15	21
2	22	21
3	31	21
4	40	21
5	47	21
6	58	21
7	79	21
8	116	21
9	164	21
10	196	21
11	206	21
12	232	21
13	241	21
14	242	21
done	242	21
0	15	25
1	41	25
2	115	25
3	333	25
4	926	25
5	2811	25
done	5000	25
0	14	31
1	38	31
2	97	31
3	268	31
4	769	31
5	2000	31
done	5001	31
0	15	25
1	41	25
2	115	25
3	352	25
4	950	25
5	2823	25
done	5000	25
0	14	31
1	38	31
2	97	31
3	267	31
4	763	31
5	1982	31
done	5001	31
0	19	36
1	47	36
2	95	36
3	239	25
4	833	17
5	3628	16
done	5000	16
0	13	15
1	29	12
2	70	10
3	184	7
4	308	4
5	553	4
6	1027	4
7	2475	4
done	5000	4
0	14	15
1	29	14
2	66	13
3	200	12
4	631	10
5	1739	8
6	3674	4
done	5000	4
0	19	36
1	47	36
2	95	36
3	239	25
4	833	17
5	3628	16
done	5000	16
0	13	15
1	29	12
2	70	10
3	184	7
4	308	4
5	553	4
6	1027	4
7	2475	4
done	5000	4
0	14	15
1	29	14
2	66	13
3	200	12
4	631	10
5	1739	8
6	3674	4
done	5000	4
0	19	36
1	47	36
2	95	36
3	239	25
4	833	17
5	3628	16
done	5000	16
0	13	15
1	29	12
2	70	10
3	184	7
4	308	4
5	553	4
6	1027	4
7	2475	4
done	5000	4
0	14	15
1	29	14
2	66	13
3	200	12
4	631	10
5	1739	8
6	3674	4
done	5000	4
0	20	42
1	49	42
2	110	31
3	265	25
4	922	18
5	4567	17
done	5000	17
0	16	19
1	36	14
2	80	11
3	227	8
4	643	8
5	1336	5
6	3594	5
done	5000	5
0	17	19
1	36	16
2	71	14
3	208	12
4	631	12
5	2192	9
done	5001	9

prune228.0ms

Filtered

75 candidates to 99 candidates (-32.0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	99	3	102

Merged error: 0b

Counts

102 → 3

regimes183.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	8	9
1	11	9
done	11	9

end0.0ms

sample775.0ms

Algorithm

intervals

Results

339.0ms

10170×

body

valid

Details

sample27.0ms

simplify284.0ms

prune3.0ms

localize7.0ms

rewrite13.0ms

series15.0ms

simplify30.0s

prune54.0ms

localize7.0ms

rewrite13.0ms

series18.0ms

simplify31.0s

prune51.0ms

localize12.0ms

rewrite28.0ms

series244.0ms

simplify2.0min

prune228.0ms

regimes183.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample775.0ms

Profiling