Details

sample20.0ms

Algorithm

intervals

Results

9.0ms	327×	body	80	valid
2.0ms	13×	body	1280	valid
1.0ms	6×	body	640	valid
0.0ms	2×	body	320	valid
0.0ms	1×	body	160	valid

simplify79.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	14	9
2	31	9
3	67	9
4	106	9
5	122	9
done	122	9

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

localize6.0ms

Local error

Found 2 expressions with local error:

0.1b	(* (* 3.0 (- 2.0 (* x 3.0))) x)
0.1b	(* 3.0 (- 2.0 (* x 3.0)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

9×	`pow1` `add-exp-log` `add-cbrt-cube`
7×	`add-sqr-sqrt`
6×	`associate-r`
5×	`add-cube-cbrt` `*-un-lft-identity`
4×	`associate-r/` `associate-l*` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`distribute-rgt-in` `sub-neg` `flip3--` `distribute-lft-in` `associate-l/` `-commutative` `flip--` `add-log-exp`
1×	`unswap-sqr`

Counts

2 → 44

Calls

2 calls:

8.0ms	(* (* 3.0 (- 2.0 (* x 3.0))) x)
12.0ms	(* 3.0 (- 2.0 (* x 3.0)))

series13.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(* (* 3.0 (- 2.0 (* x 3.0))) x)
6.0ms	(* 3.0 (- 2.0 (* x 3.0)))

simplify49.5s

Counts

50 → 50

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7
0	8	9
1	12	9
2	19	9
done	19	9
0	7	8
1	14	8
2	28	8
3	42	8
4	48	8
done	48	8
0	7	8
1	13	8
2	32	8
3	66	8
4	130	8
5	274	8
6	722	8
7	2452	8
done	5000	8
0	10	23
1	20	23
2	70	11
3	295	11
4	1320	9
done	5002	9
0	8	17
1	12	17
2	25	17
3	39	17
4	43	17
done	43	17
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	8	23
1	22	23
2	82	9
3	325	9
4	1203	9
5	4320	9
done	5000	9
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	8	9
1	12	9
2	19	9
done	19	9
0	8	9
1	12	9
2	19	9
done	19	9
0	3	3
1	4	3
done	4	3
0	5	6
1	13	6
2	23	6
3	28	6
done	28	6
0	3	3
1	4	3
done	4	3
0	5	6
1	13	6
2	23	6
3	28	6
done	28	6
0	3	3
1	4	3
done	4	3
0	5	6
1	13	6
2	22	6
3	28	6
done	28	6
0	3	3
1	4	3
done	4	3
0	5	6
1	13	6
2	22	6
3	28	6
done	28	6
0	8	15
1	14	15
2	23	15
done	23	15
0	7	8
1	11	8
2	18	8
done	18	8
0	3	3
1	6	1
done	6	1
0	7	8
1	11	8
2	24	8
3	45	8
4	63	8
5	71	8
done	71	8
0	7	8
1	11	8
2	24	8
3	45	8
4	63	8
5	71	8
done	71	8
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7
0	9	11
1	29	11
2	90	11
3	325	11
4	1018	11
5	3144	11
done	5000	11
0	8	13
1	22	13
2	62	13
3	161	13
4	315	13
5	503	13
6	727	13
7	1213	13
8	4143	13
done	5001	13
0	7	9
1	14	9
2	31	9
3	67	9
4	106	9
5	122	9
done	122	9
0	7	9
1	14	9
2	31	9
3	67	9
4	106	9
5	122	9
done	122	9
0	10	12
1	17	12
2	30	12
3	32	12
done	32	12
0	9	11
1	17	11
2	35	11
3	53	11
4	59	11
done	59	11
0	8	10
1	18	10
2	42	10
3	90	10
4	131	10
5	148	10
done	148	10
0	8	10
1	17	10
2	45	10
3	111	10
4	240	10
5	499	10
6	1257	10
7	4328	10
done	5001	10
0	13	29
1	29	29
2	119	15
3	570	15
4	2871	13
done	5000	13
0	11	29
1	31	29
2	129	13
3	651	13
4	3079	11
done	5000	11
0	9	21
1	16	21
2	33	21
3	69	21
4	111	21
5	128	21
done	128	21
0	8	10
1	15	10
2	32	10
3	68	10
4	110	10
5	125	10
done	125	10
0	9	29
1	26	29
2	107	11
3	594	11
4	2895	11
done	5001	11
0	8	10
1	15	10
2	32	10
3	68	10
4	110	10
5	125	10
done	125	10
0	8	10
1	15	10
2	32	10
3	68	10
4	110	10
5	125	10
done	125	10
0	9	13
1	18	13
2	44	13
3	98	13
4	220	13
5	352	13
6	405	13
done	405	13
0	8	10
1	15	10
2	34	10
3	70	10
4	135	10
5	183	10
6	201	10
done	201	10
0	8	9
1	17	7
2	42	7
3	84	7
4	133	7
5	196	7
6	224	7
7	251	7
done	251	7
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7
0	10	13
1	33	13
2	98	13
3	365	13
4	1363	13
done	5000	13
0	9	15
1	26	15
2	72	15
3	214	15
4	542	15
5	1014	13
6	1532	13
7	2310	13
done	5000	13
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7

prune98.0ms

Filtered

37 candidates to 50 candidates (-35.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	41	9	50
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	42	9	51

Merged error: 0.0b

Counts

51 → 9

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(- 6.0 (* 9.0 x))
0.1b	(* (- 6.0 (* 9.0 x)) x)

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`
3×	`associate-r` `associate-l`
2×	`flip3--` `associate-*l/` `flip--`
1×	`sub-neg` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

2 → 32

Calls

2 calls:

3.0ms	(- 6.0 (* 9.0 x))
12.0ms	(* (- 6.0 (* 9.0 x)) x)

series11.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(- 6.0 (* 9.0 x))
7.0ms	(* (- 6.0 (* 9.0 x)) x)

simplify47.9s

Counts

38 → 38

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	23	7
3	37	7
4	43	7
done	43	7
0	8	9
1	12	9
2	19	9
done	19	9
0	7	8
1	14	8
2	28	8
3	42	8
4	48	8
done	48	8
0	7	8
1	13	8
2	37	8
3	74	8
4	144	8
5	307	8
6	851	8
7	2984	8
done	5000	8
0	10	23
1	20	23
2	64	11
3	219	11
4	977	9
5	4354	9
done	5001	9
0	8	17
1	12	17
2	25	17
3	39	17
4	43	17
done	43	17
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	8	23
1	22	23
2	82	9
3	338	9
4	1255	9
5	4514	9
done	5000	9
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	8	9
1	12	9
2	19	9
done	19	9
0	8	9
1	12	9
2	19	9
done	19	9
0	8	11
1	14	11
2	29	11
3	62	11
4	102	11
5	148	11
6	172	11
done	172	11
0	7	8
1	11	8
2	24	8
3	45	8
4	63	8
5	71	8
done	71	8
0	7	7
1	13	5
2	29	5
3	56	5
4	95	5
5	109	5
6	117	5
done	117	5
0	7	8
1	11	8
2	18	8
done	18	8
0	7	8
1	11	8
2	18	8
done	18	8
0	6	7
1	10	7
2	23	7
3	37	7
4	43	7
done	43	7
0	9	11
1	29	11
2	90	11
3	322	11
4	1006	11
5	3033	11
done	5001	11
0	8	13
1	22	13
2	62	13
3	161	13
4	317	13
5	507	13
6	724	13
7	1212	13
8	4180	13
done	5000	13
0	7	7
1	12	6
2	20	6
3	39	6
4	77	6
5	177	6
6	500	6
7	1796	6
done	5000	6
0	6	6
1	9	6
2	16	6
done	16	6
0	6	6
1	12	6
2	25	6
3	41	6
4	77	6
5	181	6
6	555	6
7	2144	6
done	5001	6
0	7	13
1	10	13
2	17	13
done	17	13
0	6	6
1	9	6
2	16	6
done	16	6
0	7	17
1	11	17
2	32	7
3	107	7
4	402	7
5	1367	7
6	4003	7
done	5001	7
0	6	6
1	9	6
2	16	6
done	16	6
0	6	6
1	9	6
2	16	6
done	16	6
0	8	9
1	27	9
2	82	9
3	272	9
4	740	9
5	1888	9
done	5000	9
0	9	17
1	26	13
2	59	13
3	72	13
4	73	13
done	73	13
0	4	4
1	9	4
2	11	4
done	11	4
0	7	11
1	20	11
2	50	11
3	109	11
4	159	11
5	260	11
6	370	11
7	612	11
8	2075	11
done	5000	11
0	5	5
1	7	5
done	7	5
0	4	4
1	9	4
2	11	4
done	11	4
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5

prune74.0ms

Filtered

27 candidates to 38 candidates (-40.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	33	5	38
Fresh	4	4	8
Picked	0	1	1
Done	0	0	0
Total	37	10	47

Merged error: 0.0b

Counts

47 → 10

localize6.0ms

Local error

Found 2 expressions with local error:

0.1b	(* (- 2.0 (* x 3.0)) x)
0.1b	(* 3.0 (* (- 2.0 (* x 3.0)) x))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

9×	`pow1` `add-exp-log` `add-cbrt-cube`
7×	`add-sqr-sqrt`
6×	`associate-l`
5×	`add-cube-cbrt` `*-un-lft-identity`
4×	`associate-r` `pow-prod-down` `associate-*l/` `prod-exp` `cbrt-unprod`
2×	`flip3--` `associate-r/` `-commutative` `flip--` `add-log-exp`
1×	`unswap-sqr`

Counts

2 → 40

Calls

2 calls:

13.0ms	(* (- 2.0 (* x 3.0)) x)
7.0ms	(* 3.0 (* (- 2.0 (* x 3.0)) x))

series15.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(* (- 2.0 (* x 3.0)) x)
8.0ms	(* 3.0 (* (- 2.0 (* x 3.0)) x))

simplify57.7s

Counts

46 → 46

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	7	9
1	14	9
2	37	9
3	85	9
4	115	9
5	120	9
done	120	9
0	7	9
1	14	9
2	37	9
3	85	9
4	115	9
5	120	9
done	120	9
0	10	12
1	17	12
2	30	12
3	32	12
done	32	12
0	9	11
1	17	11
2	35	11
3	53	11
4	59	11
done	59	11
0	8	10
1	18	10
2	48	10
3	108	10
4	142	10
5	147	10
done	147	10
0	8	10
1	17	10
2	48	10
3	127	10
4	259	10
5	553	10
6	1516	10
done	5000	10
0	13	29
1	29	29
2	114	15
3	523	15
4	2761	13
done	5000	13
0	11	29
1	31	29
2	130	13
3	693	13
4	3440	11
done	5000	11
0	9	21
1	16	21
2	39	21
3	87	21
4	119	21
5	124	21
done	124	21
0	8	10
1	15	10
2	38	10
3	86	10
4	116	10
5	121	10
done	121	10
0	9	29
1	26	29
2	114	11
3	609	11
4	3143	11
done	5000	11
0	8	10
1	15	10
2	38	10
3	86	10
4	116	10
5	121	10
done	121	10
0	8	10
1	15	10
2	38	10
3	86	10
4	116	10
5	121	10
done	121	10
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7
0	8	10
1	15	10
2	40	10
3	93	10
4	155	10
5	183	10
6	188	10
done	188	10
0	8	10
1	15	10
2	40	10
3	93	10
4	155	10
5	183	10
6	188	10
done	188	10
0	7	9
1	14	9
2	37	9
3	85	9
4	115	9
5	120	9
done	120	9
0	10	13
1	33	13
2	104	13
3	409	13
4	1550	13
done	5001	13
0	9	15
1	26	15
2	78	15
3	256	15
4	631	15
5	1051	13
6	1570	13
7	2544	13
done	5001	13
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7
0	8	9
1	12	9
2	19	9
done	19	9
0	7	8
1	14	8
2	28	8
3	42	8
4	48	8
done	48	8
0	7	8
1	13	8
2	37	8
3	74	8
4	144	8
5	307	8
6	851	8
7	2985	8
done	5000	8
0	10	23
1	20	23
2	64	11
3	219	11
4	977	9
5	4340	9
done	5000	9
0	8	17
1	12	17
2	25	17
3	39	17
4	43	17
done	43	17
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	8	23
1	22	23
2	82	9
3	338	9
4	1249	9
5	4603	9
done	5000	9
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	8	9
1	12	9
2	19	9
done	19	9
0	8	9
1	12	9
2	19	9
done	19	9
0	8	11
1	14	11
2	29	11
3	62	11
4	102	11
5	148	11
6	172	11
done	172	11
0	7	8
1	11	8
2	24	8
3	45	8
4	63	8
5	71	8
done	71	8
0	7	7
1	13	5
2	29	5
3	56	5
4	95	5
5	109	5
6	117	5
done	117	5
0	7	8
1	11	8
2	18	8
done	18	8
0	7	8
1	11	8
2	18	8
done	18	8
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7
0	9	11
1	29	11
2	90	11
3	322	11
4	994	11
5	3062	11
done	5000	11
0	8	13
1	22	13
2	62	13
3	161	13
4	318	13
5	510	13
6	756	13
7	1292	13
8	4447	13
done	5000	13
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7

prune77.0ms

Filtered

33 candidates to 46 candidates (-39.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	45	1	46
Fresh	3	5	8
Picked	0	1	1
Done	0	1	1
Total	48	8	56

Merged error: 0.0b

Counts

56 → 8

localize10.0ms

Local error

Found 3 expressions with local error:

0.1b	(* (- 2.0 (* x 3.0)) x)
0.2b	(* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)))
0.3b	(* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

31×	`pow1` `add-exp-log`
19×	`pow-prod-down` `prod-exp` `add-cbrt-cube` `cbrt-unprod`
10×	`associate-l`
9×	`add-sqr-sqrt`
7×	`add-cube-cbrt` `*-un-lft-identity`
6×	`associate-r/` `associate-l/`
5×	`associate-r`
3×	`cbrt-prod` `flip3--` `*-commutative` `flip--` `add-log-exp`
1×	`unswap-sqr`

Counts

3 → 73

Calls

3 calls:

11.0ms	(* (- 2.0 (* x 3.0)) x)
16.0ms	(* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)))
8.0ms	(* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))

series38.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(* (- 2.0 (* x 3.0)) x)
18.0ms	(* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x)))
13.0ms	(* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))

simplify3.0min

Counts

82 → 82

Iterations

Useful iterations: 3 (3.0ms)

Iter	Nodes	Cost
0	8	10
1	15	10
2	40	10
3	93	10
4	155	10
5	183	10
6	188	10
done	188	10
0	8	10
1	15	10
2	40	10
3	93	10
4	155	10
5	183	10
6	188	10
done	188	10
0	11	13
1	18	13
2	31	13
done	31	13
0	10	12
1	18	12
2	36	12
3	54	12
4	58	12
done	58	12
0	9	11
1	19	11
2	51	11
3	116	11
4	178	11
5	206	11
6	211	11
done	211	11
0	9	11
1	18	11
2	51	11
3	135	11
4	304	11
5	646	11
6	1716	11
done	5000	11
0	11	25
1	24	25
2	88	13
3	338	13
4	1554	11
done	5000	11
0	9	25
1	26	25
2	106	11
3	509	11
4	2008	11
done	5000	11
0	10	23
1	17	23
2	42	23
3	95	23
4	158	23
5	186	23
6	191	23
done	191	23
0	9	11
1	16	11
2	41	11
3	94	11
4	158	11
5	184	11
6	187	11
done	187	11
0	10	32
1	27	32
2	117	12
3	622	12
4	3369	11
done	5000	11
0	9	11
1	16	11
2	41	11
3	94	11
4	158	11
5	184	11
6	187	11
done	187	11
0	9	11
1	16	11
2	41	11
3	94	11
4	158	11
5	184	11
6	187	11
done	187	11
0	7	8
1	11	8
2	24	8
3	45	8
4	63	8
5	71	8
done	71	8
0	9	11
1	16	11
2	41	11
3	96	11
4	156	11
5	184	11
6	189	11
done	189	11
0	9	11
1	16	11
2	41	11
3	96	11
4	156	11
5	184	11
6	189	11
done	189	11
0	8	10
1	15	10
2	40	10
3	93	10
4	155	10
5	183	10
6	188	10
done	188	10
0	9	11
1	16	11
2	41	11
3	96	11
4	156	11
5	184	11
6	189	11
done	189	11
0	9	11
1	16	11
2	41	11
3	96	11
4	156	11
5	184	11
6	189	11
done	189	11
0	8	10
1	15	10
2	40	10
3	93	10
4	155	10
5	183	10
6	188	10
done	188	10
0	11	14
1	34	14
2	107	14
3	429	14
4	1847	14
done	5000	14
0	10	16
1	27	16
2	81	16
3	275	16
4	820	16
5	1514	16
6	2295	16
7	3503	16
done	5001	16
0	10	16
1	22	16
2	65	16
3	195	12
4	452	9
5	721	9
6	923	9
7	944	9
8	967	9
9	1048	9
10	1322	9
11	2479	9
done	5001	9
0	10	16
1	22	16
2	65	16
3	195	12
4	452	9
5	721	9
6	923	9
7	944	9
8	967	9
9	1048	9
10	1322	9
11	2479	9
done	5001	9
0	10	16
1	22	16
2	65	16
3	195	12
4	452	9
5	721	9
6	923	9
7	944	9
8	967	9
9	1048	9
10	1322	9
11	2479	9
done	5001	9
0	10	16
1	22	16
2	65	16
3	195	12
4	452	9
5	721	9
6	923	9
7	944	9
8	967	9
9	1048	9
10	1322	9
11	2479	9
done	5001	9
0	10	16
1	22	16
2	65	16
3	195	12
4	452	9
5	721	9
6	923	9
7	944	9
8	967	9
9	1048	9
10	1322	9
11	2479	9
done	5001	9
0	10	16
1	22	16
2	65	16
3	195	12
4	452	9
5	721	9
6	923	9
7	944	9
8	967	9
9	1048	9
10	1322	9
11	2479	9
done	5001	9
0	13	21
1	27	19
2	63	15
3	96	15
4	97	15
done	97	15
0	12	20
1	27	18
2	60	14
3	106	14
4	124	14
done	124	14
0	12	19
1	26	17
2	66	17
3	157	14
4	268	14
5	296	14
6	301	14
done	301	14
0	14	20
1	25	20
2	58	19
3	96	15
4	108	15
done	108	15
0	13	19
1	25	19
2	57	18
3	105	14
4	133	14
done	133	14
0	12	18
1	24	18
2	66	17
3	156	14
4	269	14
5	297	14
6	302	14
done	302	14
0	11	17
1	26	17
2	82	17
3	250	13
4	575	10
5	878	10
6	1106	10
7	1131	10
8	1154	10
9	1234	10
10	1530	10
11	2703	10
done	5000	10
0	11	17
1	25	17
2	79	17
3	261	13
4	712	10
5	1710	10
6	4531	10
done	5001	10
0	13	29
1	31	29
2	117	17
3	542	15
4	2690	13
done	5000	13
0	11	29
1	33	29
2	132	15
3	722	13
4	3398	13
done	5001	13
0	12	36
1	34	36
2	157	16
3	1015	16
done	5000	16
0	16	43
1	42	43
2	164	21
3	915	17
done	5002	17
0	14	43
1	44	43
2	180	19
3	1048	15
done	5000	15
0	14	50
1	43	50
2	197	20
3	1264	15
done	5000	15
0	12	35
1	24	35
2	67	35
3	196	27
4	465	21
5	741	21
6	964	21
7	978	21
8	1001	21
9	1093	21
10	1387	21
11	2567	21
done	5000	21
0	11	17
1	23	17
2	65	17
3	195	13
4	455	10
5	690	10
6	904	10
7	917	10
8	940	10
9	1032	10
10	1325	10
11	2507	10
done	5000	10
0	12	50
1	34	50
2	170	18
3	1019	14
done	5000	14
0	11	17
1	23	17
2	65	17
3	195	13
4	455	10
5	690	10
6	904	10
7	917	10
8	940	10
9	1032	10
10	1325	10
11	2507	10
done	5000	10
0	11	17
1	23	17
2	65	17
3	195	13
4	455	10
5	690	10
6	904	10
7	917	10
8	940	10
9	1032	10
10	1325	10
11	2507	10
done	5000	10
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	9	13
1	19	13
2	52	13
3	144	13
4	299	13
5	387	13
6	427	13
done	427	13
0	13	20
1	41	20
2	132	20
3	525	16
4	2686	13
done	5001	13
0	12	22
1	34	22
2	106	22
3	401	18
4	1633	15
5	4268	15
done	5000	15
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7
0	8	9
1	12	9
2	19	9
done	19	9
0	7	8
1	14	8
2	28	8
3	42	8
4	48	8
done	48	8
0	7	8
1	13	8
2	37	8
3	74	8
4	144	8
5	307	8
6	851	8
7	2985	8
done	5000	8
0	10	23
1	20	23
2	64	11
3	219	11
4	977	9
5	4340	9
done	5000	9
0	8	17
1	12	17
2	25	17
3	39	17
4	43	17
done	43	17
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	8	23
1	22	23
2	82	9
3	338	9
4	1249	9
5	4603	9
done	5000	9
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	8	9
1	12	9
2	19	9
done	19	9
0	8	9
1	12	9
2	19	9
done	19	9
0	8	11
1	14	11
2	29	11
3	62	11
4	102	11
5	148	11
6	172	11
done	172	11
0	7	8
1	11	8
2	24	8
3	45	8
4	63	8
5	71	8
done	71	8
0	7	7
1	13	5
2	29	5
3	56	5
4	95	5
5	109	5
6	117	5
done	117	5
0	7	8
1	11	8
2	18	8
done	18	8
0	7	8
1	11	8
2	18	8
done	18	8
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7
0	9	11
1	29	11
2	90	11
3	322	11
4	994	11
5	3062	11
done	5000	11
0	8	13
1	22	13
2	62	13
3	161	13
4	318	13
5	510	13
6	756	13
7	1292	13
8	4447	13
done	5000	13
0	11	15
1	26	15
2	69	12
3	140	12
4	228	10
5	254	10
6	276	10
7	338	10
8	547	10
9	1487	10
done	5000	10
0	11	15
1	26	15
2	69	12
3	140	12
4	228	10
5	254	10
6	276	10
7	338	10
8	547	10
9	1487	10
done	5000	10
0	11	15
1	26	15
2	69	12
3	140	12
4	228	10
5	254	10
6	276	10
7	338	10
8	547	10
9	1487	10
done	5000	10
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7

prune145.0ms

Filtered

57 candidates to 82 candidates (-43.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	2	3	5
Picked	0	1	1
Done	1	1	2
Total	84	6	90

Merged error: 0b

Counts

90 → 6

regimes40.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	6	7
1	8	7
done	8	7

end0.0ms

sample562.0ms

Algorithm

intervals

Results

276.0ms	9887×	body	80	valid
37.0ms	316×	body	1280	valid
28.0ms	302×	body	640	valid
10.0ms	133×	body	320	valid
3.0ms	51×	body	160	valid

Details

sample20.0ms

simplify79.0ms

prune2.0ms

localize6.0ms

rewrite21.0ms

series13.0ms

simplify49.5s

prune98.0ms

localize5.0ms

rewrite16.0ms

series11.0ms

simplify47.9s

prune74.0ms

localize6.0ms

rewrite22.0ms

series15.0ms

simplify57.7s

prune77.0ms

localize10.0ms

rewrite38.0ms

series38.0ms

simplify3.0min

prune145.0ms

regimes40.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample562.0ms

Profiling