Details

sample30.0ms

Algorithm

intervals

Results

11.0ms

304×

body

valid

simplify4.0s

Counts

1 → 1

Iterations

Useful iterations: 3 (12.0ms)

Iter	Nodes	Cost
0	8	9
1	16	9
2	40	7
3	98	5
4	411	5
5	2446	5
done	5000	5

prune19.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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

Counts

2 → 2

localize4.0ms

Local error

Found 1 expressions with local error:

7.1b	(* x (/ y z))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
13×	`associate-r`
10×	`times-frac`
9×	`add-cube-cbrt` `*-un-lft-identity`
6×	`add-exp-log` `add-cbrt-cube`
3×	`pow1` `associate-l`
2×	`prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `associate-r/` `div-exp` `pow-prod-down` `-commutative` `div-inv` `add-log-exp`

Counts

1 → 32

Calls

1 calls:

7.0ms

(* x (/ y z))

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(* x (/ y z))

simplify20.7s

Counts

35 → 35

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	8	8
1	13	8
2	20	8
3	29	8
4	35	8
5	45	8
6	52	8
7	64	8
8	87	8
9	101	8
10	107	8
done	107	8
0	7	7
1	11	7
2	17	7
3	26	7
4	36	7
5	45	7
6	50	7
7	59	7
8	76	7
9	95	7
10	103	7
done	103	7
0	6	6
1	12	6
2	21	6
3	35	6
4	55	6
5	69	6
6	81	6
7	99	6
8	115	6
9	122	6
10	139	6
11	141	6
done	141	6
0	6	6
1	11	6
2	20	6
3	34	6
4	67	6
5	148	6
6	360	6
7	1389	6
done	5000	6
0	11	17
1	26	17
2	104	11
3	444	9
4	1700	9
done	5000	9
0	9	17
1	22	17
2	71	9
3	225	9
4	778	7
5	2424	7
done	5001	7
0	7	13
1	10	13
2	13	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	7	17
1	20	17
2	74	7
3	270	7
4	827	7
5	2540	7
done	5000	7
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	7	11
1	10	11
2	12	11
done	12	11
0	6	6
1	7	6
done	7	6
0	9	13
1	18	13
2	47	13
3	86	13
4	142	13
5	158	13
done	158	13
0	8	10
1	13	10
2	23	10
3	38	10
4	51	10
5	53	10
done	53	10
0	7	9
1	14	7
2	31	7
3	68	7
4	98	7
done	98	7
0	8	10
1	13	10
2	24	10
3	38	10
4	50	10
done	50	10
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	6	6
1	11	4
2	18	4
3	27	4
4	33	4
done	33	4
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	3	3
1	4	3
done	4	3
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	3	3
1	4	3
done	4	3
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	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5

prune82.0ms

Filtered

27 candidates to 35 candidates (-29.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	27	8	35
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	28	9	37

Merged error: 0.0b

Counts

37 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)
2.0b	(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-exp-log`
14×	`add-cbrt-cube`
12×	`add-sqr-sqrt`
9×	`cbrt-prod` `add-cube-cbrt` `*-un-lft-identity` `prod-exp` `cbrt-unprod`
6×	`pow1`
5×	`associate-r`
4×	`cbrt-undiv` `div-exp` `add-log-exp`
3×	`pow1/3` `associate-l`
2×	`times-frac` `unswap-sqr`
1×	`associate-r/` `pow-prod-down` `-commutative` `div-inv`

Counts

4 → 63

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)
13.0ms	(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))

series107.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(cbrt y)
25.0ms	(cbrt y)
24.0ms	(cbrt y)
34.0ms	(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))

simplify1.3min

Counts

75 → 75

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	13
1	18	13
2	47	13
3	86	13
4	142	13
5	158	13
done	158	13
0	12	18
1	24	14
2	58	12
3	112	12
4	214	12
5	397	12
6	648	12
7	777	12
8	798	12
done	798	12
0	12	17
1	23	15
2	47	14
3	96	12
4	183	12
5	351	12
6	633	12
7	784	12
8	838	12
done	838	12
0	12	17
1	23	15
2	54	14
3	111	12
4	197	12
5	365	12
6	573	12
7	830	12
8	865	12
9	866	12
done	866	12
0	12	16
1	21	16
2	43	14
3	92	12
4	159	12
5	299	12
6	509	12
7	778	12
8	842	12
9	845	12
done	845	12
0	11	15
1	21	15
2	46	15
3	101	11
4	196	11
5	365	11
6	591	11
7	748	11
8	832	11
9	836	11
done	836	11
0	10	14
1	22	14
2	65	14
3	155	11
4	337	11
5	590	11
6	926	11
7	1075	11
8	1154	11
9	1155	11
done	1155	11
0	10	14
1	21	14
2	56	14
3	124	14
4	280	14
5	610	14
6	1404	14
7	4965	14
done	5000	14
0	9	13
1	21	13
2	71	11
3	213	11
4	547	11
5	1081	11
6	1938	11
7	4968	11
done	5000	11
0	12	27
1	33	27
2	132	15
3	707	11
4	3215	11
done	5000	11
0	12	27
1	33	27
2	125	15
3	564	11
4	2202	11
done	5001	11
0	15	41
1	44	41
2	234	19
3	1968	11
done	5001	11
0	13	41
1	32	41
2	149	17
3	886	17
done	5001	17
0	11	29
1	20	29
2	49	29
3	89	29
4	145	29
5	161	29
done	161	29
0	10	14
1	19	14
2	48	14
3	89	14
4	145	14
5	161	14
done	161	14
0	11	41
1	30	41
2	140	15
3	882	15
done	5000	15
0	10	14
1	19	14
2	48	14
3	89	14
4	145	14
5	161	14
done	161	14
0	10	14
1	19	14
2	48	14
3	89	14
4	145	14
5	161	14
done	161	14
0	11	15
1	18	15
2	28	9
3	34	9
done	34	9
0	11	15
1	18	15
2	28	9
3	34	9
done	34	9
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	11	27
1	20	27
2	31	27
3	37	27
done	37	27
0	10	14
1	17	14
2	27	8
3	33	8
done	33	8
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	3	3
1	6	1
done	6	1
0	5	7
1	8	7
2	10	7
done	10	7
0	10	14
1	19	14
2	48	14
3	90	14
4	146	14
5	162	14
done	162	14
0	10	14
1	19	14
2	48	14
3	90	14
4	146	14
5	162	14
done	162	14
0	9	13
1	18	13
2	47	13
3	86	13
4	142	13
5	158	13
done	158	13
0	5	7
1	8	7
2	10	7
done	10	7
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
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	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
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	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
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	3	3
done	3	3
0	3	3
done	3	3
0	16	17
1	29	16
2	60	14
3	142	11
4	304	9
5	701	9
6	2388	7
done	5001	7
0	18	21
1	37	18
2	80	14
3	212	11
4	506	10
5	1227	7
6	3766	7
done	5001	7
0	19	21
1	37	20
2	74	16
3	194	14
4	542	13
5	1721	11
done	5000	10
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2

prune108.0ms

Filtered

54 candidates to 75 candidates (-38.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	73	2	75
Fresh	1	6	7
Picked	1	0	1
Done	0	1	1
Total	75	9	84

Merged error: 0b

Counts

84 → 9

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)
3.2b	(sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod` `add-sqr-sqrt`
8×	`add-cube-cbrt` `*-un-lft-identity`
5×	`pow1` `sqrt-prod`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`pow1/3`
2×	`rem-sqrt-square` `times-frac`
1×	`sqrt-pow1` `pow1/2` `sqrt-div` `div-inv`

Counts

4 → 50

Calls

4 calls:

2.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)
9.0ms	(sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))

series95.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt y)
29.0ms	(cbrt y)
25.0ms	(cbrt y)
16.0ms	(sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))

simplify46.9s

Counts

62 → 62

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	13
1	15	13
2	25	7
3	31	7
done	31	7
0	9	13
1	15	13
2	25	7
3	31	7
done	31	7
0	10	27
1	16	27
2	26	15
3	32	15
done	32	15
0	9	13
1	15	13
2	25	7
3	31	7
done	31	7
0	10	38
1	17	24
2	46	8
3	90	8
4	153	8
5	187	8
6	211	8
7	276	8
8	481	8
9	1394	8
done	5000	8
0	10	26
1	17	13
2	26	13
3	32	13
done	32	13
0	9	13
1	15	13
2	24	13
3	30	13
done	30	13
0	9	13
1	15	13
2	25	7
3	31	7
done	31	7
0	9	13
1	15	13
2	25	7
3	31	7
done	31	7
0	6	6
done	6	6
0	6	6
done	6	6
0	2	2
1	4	1
done	4	1
0	8	12
1	14	12
2	24	6
3	30	6
done	30	6
0	4	6
1	5	3
done	5	3
0	6	8
1	10	8
done	10	8
0	4	6
1	5	3
done	5	3
0	4	6
1	5	3
done	5	3
0	3	3
1	6	1
done	6	1
0	9	13
1	15	13
2	25	7
3	31	7
done	31	7
0	9	13
1	15	13
2	25	7
3	31	7
done	31	7
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
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	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
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	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
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	3	3
done	3	3
0	3	3
done	3	3
0	11	11
1	21	10
2	46	8
3	94	7
4	167	4
5	315	4
6	762	4
7	2220	4
done	5000	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	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2

prune89.0ms

Filtered

43 candidates to 62 candidates (-44.2%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	62	9	71

Merged error: 0b

Counts

71 → 9

localize25.0ms

Local error

Found 4 expressions with local error:

2.0b	(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
8.9b	(cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
8.9b	(cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
8.9b	(cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-exp-log`
14×	`add-cbrt-cube`
9×	`add-sqr-sqrt` `prod-exp` `cbrt-unprod`
6×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
5×	`associate-r`
4×	`cbrt-undiv` `associate-*r/` `div-exp` `add-log-exp`
3×	`cbrt-prod` `cbrt-div` `pow1/3` `associate-l`
2×	`times-frac` `unswap-sqr`
1×	`pow-prod-down` `*-commutative` `div-inv`

Counts

4 → 60

Calls

4 calls:

14.0ms	(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
10.0ms	(cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
10.0ms	(cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
10.0ms	(cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))

series178.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
47.0ms	(cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
46.0ms	(cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
52.0ms	(cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))

simplify1.2min

Counts

72 → 72

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	15
1	20	15
2	49	15
3	89	15
4	145	15
5	161	15
done	161	15
0	11	15
1	20	15
2	49	15
3	89	15
4	145	15
5	161	15
done	161	15
0	2	2
done	2	2
0	8	12
1	14	12
2	23	12
3	29	12
done	29	12
0	6	8
1	9	8
2	11	8
done	11	8
0	4	6
done	4	6
0	12	31
1	21	31
2	50	31
3	90	31
4	146	31
5	160	31
done	160	31
0	11	15
1	20	15
2	49	15
3	89	15
4	145	15
5	161	15
done	161	15
0	12	44
1	22	44
2	53	16
3	97	13
4	159	13
5	181	13
6	202	13
7	262	13
8	473	13
9	1406	13
done	5000	13
0	11	15
1	20	15
2	49	15
3	89	15
4	145	15
5	161	15
done	161	15
0	11	15
1	20	15
2	49	15
3	89	15
4	145	15
5	161	15
done	161	15
0	11	15
1	20	15
2	49	15
3	89	15
4	145	15
5	161	15
done	161	15
0	11	15
1	20	15
2	49	15
3	89	15
4	145	15
5	161	15
done	161	15
0	2	2
done	2	2
0	8	12
1	14	12
2	23	12
3	29	12
done	29	12
0	6	8
1	9	8
2	11	8
done	11	8
0	4	6
done	4	6
0	12	31
1	21	31
2	50	31
3	90	31
4	146	31
5	160	31
done	160	31
0	11	15
1	20	15
2	49	15
3	89	15
4	145	15
5	161	15
done	161	15
0	12	44
1	22	44
2	53	16
3	97	13
4	159	13
5	181	13
6	202	13
7	262	13
8	473	13
9	1406	13
done	5000	13
0	11	15
1	20	15
2	49	15
3	89	15
4	145	15
5	161	15
done	161	15
0	11	15
1	20	15
2	49	15
3	89	15
4	145	15
5	161	15
done	161	15
0	11	15
1	20	15
2	49	15
3	89	15
4	145	15
5	161	15
done	161	15
0	11	15
1	20	15
2	49	15
3	89	15
4	145	15
5	161	15
done	161	15
0	2	2
done	2	2
0	8	12
1	14	12
2	23	12
3	29	12
done	29	12
0	6	8
1	9	8
2	11	8
done	11	8
0	4	6
done	4	6
0	12	31
1	21	31
2	50	31
3	90	31
4	146	31
5	160	31
done	160	31
0	11	15
1	20	15
2	49	15
3	89	15
4	145	15
5	161	15
done	161	15
0	12	44
1	22	44
2	53	16
3	97	13
4	159	13
5	181	13
6	202	13
7	262	13
8	473	13
9	1406	13
done	5000	13
0	11	15
1	20	15
2	49	15
3	89	15
4	145	15
5	161	15
done	161	15
0	11	15
1	20	15
2	49	15
3	89	15
4	145	15
5	161	15
done	161	15
0	9	13
1	18	13
2	47	13
3	86	13
4	142	13
5	158	13
done	158	13
0	12	18
1	24	14
2	58	12
3	112	12
4	214	12
5	397	12
6	648	12
7	777	12
8	798	12
done	798	12
0	12	17
1	23	15
2	47	14
3	96	12
4	183	12
5	351	12
6	633	12
7	784	12
8	838	12
done	838	12
0	12	17
1	23	15
2	54	14
3	111	12
4	197	12
5	365	12
6	573	12
7	830	12
8	865	12
9	866	12
done	866	12
0	12	16
1	21	16
2	43	14
3	92	12
4	159	12
5	299	12
6	509	12
7	778	12
8	842	12
9	845	12
done	845	12
0	11	15
1	21	15
2	46	15
3	101	11
4	196	11
5	365	11
6	591	11
7	748	11
8	832	11
9	836	11
done	836	11
0	10	14
1	22	14
2	65	14
3	155	11
4	337	11
5	590	11
6	926	11
7	1075	11
8	1154	11
9	1155	11
done	1155	11
0	10	14
1	21	14
2	56	14
3	124	14
4	280	14
5	610	14
6	1404	14
7	4965	14
done	5000	14
0	9	13
1	21	13
2	71	11
3	213	11
4	547	11
5	1081	11
6	1938	11
7	4968	11
done	5000	11
0	12	27
1	33	27
2	132	15
3	707	11
4	3215	11
done	5000	11
0	12	27
1	33	27
2	125	15
3	564	11
4	2202	11
done	5001	11
0	15	41
1	44	41
2	234	19
3	1968	11
done	5001	11
0	13	41
1	32	41
2	149	17
3	886	17
done	5001	17
0	11	29
1	20	29
2	49	29
3	89	29
4	145	29
5	161	29
done	161	29
0	10	14
1	19	14
2	48	14
3	89	14
4	145	14
5	161	14
done	161	14
0	11	41
1	30	41
2	140	15
3	882	15
done	5000	15
0	10	14
1	19	14
2	48	14
3	89	14
4	145	14
5	161	14
done	161	14
0	10	14
1	19	14
2	48	14
3	89	14
4	145	14
5	161	14
done	161	14
0	11	15
1	18	15
2	28	9
3	34	9
done	34	9
0	11	15
1	18	15
2	28	9
3	34	9
done	34	9
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	11	27
1	20	27
2	31	27
3	37	27
done	37	27
0	10	14
1	17	14
2	27	8
3	33	8
done	33	8
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	3	3
1	6	1
done	6	1
0	5	7
1	8	7
2	10	7
done	10	7
0	10	14
1	19	14
2	48	14
3	90	14
4	146	14
5	162	14
done	162	14
0	10	14
1	19	14
2	48	14
3	90	14
4	146	14
5	162	14
done	162	14
0	9	13
1	18	13
2	47	13
3	86	13
4	142	13
5	158	13
done	158	13
0	5	7
1	8	7
2	10	7
done	10	7
0	21	24
1	46	21
2	87	17
3	211	13
4	519	10
5	1572	10
done	5000	10
0	24	30
1	53	24
2	112	17
3	291	12
4	721	11
5	2129	8
done	5000	8
0	27	33
1	55	31
2	116	25
3	312	23
4	963	21
5	3814	17
done	5000	17
0	21	24
1	46	21
2	87	17
3	211	13
4	519	10
5	1572	10
done	5000	10
0	24	30
1	53	24
2	112	17
3	291	12
4	721	11
5	2129	8
done	5000	8
0	27	33
1	55	31
2	116	25
3	312	23
4	963	21
5	3814	17
done	5000	17
0	21	24
1	46	21
2	87	17
3	211	13
4	519	10
5	1572	10
done	5000	10
0	24	30
1	53	24
2	112	17
3	291	12
4	721	11
5	2129	8
done	5000	8
0	27	33
1	55	31
2	116	25
3	312	23
4	963	21
5	3814	17
done	5000	17
0	16	17
1	29	16
2	60	14
3	142	11
4	304	9
5	701	9
6	2388	7
done	5001	7
0	18	21
1	37	18
2	80	14
3	212	11
4	506	10
5	1227	7
6	3766	7
done	5001	7
0	19	21
1	37	20
2	74	16
3	194	14
4	542	13
5	1721	11
done	5000	10

prune99.0ms

Filtered

63 candidates to 72 candidates (-14.3%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	72	0	72
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	72	9	81

Merged error: 0b

Counts

81 → 9

regimes443.0ms

Accuracy

0% (2.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	27
1	17	27
done	17	27

end0.0ms

sample894.0ms

Algorithm

intervals

Results

384.0ms

9577×

body

valid

Details

sample30.0ms

simplify4.0s

prune19.0ms

localize4.0ms

rewrite8.0ms

series5.0ms

simplify20.7s

prune82.0ms

localize12.0ms

rewrite19.0ms

series107.0ms

simplify1.3min

prune108.0ms

localize17.0ms

rewrite15.0ms

series95.0ms

simplify46.9s

prune89.0ms

localize25.0ms

rewrite46.0ms

series178.0ms

simplify1.2min

prune99.0ms

regimes443.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample894.0ms

Profiling