Details

sample20.0ms

Algorithm

intervals

Results

8.0ms

344×

body

valid

simplify21.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	13	7
2	27	7
3	39	7
4	40	7
done	40	7

prune10.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.3b

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.2b	(* (* (* x 3.0) y) y)
0.2b	(* (* x 3.0) y)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`associate-r`
4×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
2×	`associate-l` `*-commutative` `add-log-exp`

Counts

2 → 39

Calls

2 calls:

8.0ms	(* (* (* x 3.0) y) y)
6.0ms	(* (* x 3.0) y)

series13.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(* (* (* x 3.0) y) y)
4.0ms	(* (* x 3.0) y)

simplify1.2min

Counts

45 → 45

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	6	7
1	13	7
2	27	7
3	39	7
4	40	7
done	40	7
0	6	7
1	13	7
2	27	7
3	39	7
4	40	7
done	40	7
0	6	7
1	13	7
2	27	7
3	39	7
4	40	7
done	40	7
0	9	11
1	16	11
2	32	10
3	47	10
4	48	10
done	48	10
0	8	10
1	16	10
2	26	9
3	42	9
4	46	9
done	46	9
0	8	9
1	15	9
2	30	9
3	52	9
4	71	9
done	71	9
0	7	8
1	17	8
2	40	8
3	74	8
4	100	8
5	101	8
done	101	8
0	7	8
1	16	8
2	42	8
3	86	8
4	177	8
5	413	8
6	1002	8
7	2637	8
done	5000	8
0	12	23
1	30	23
2	131	15
3	608	11
4	2477	9
done	5000	9
0	10	23
1	32	23
2	133	13
3	694	9
4	2851	9
done	5001	9
0	10	23
1	29	23
2	137	11
3	801	11
4	3268	9
done	5001	9
0	8	17
1	15	17
2	29	17
3	41	17
done	41	17
0	7	8
1	14	8
2	28	8
3	40	8
4	41	8
done	41	8
0	8	23
1	24	23
2	103	9
3	550	9
4	2426	9
done	5000	9
0	7	8
1	14	8
2	28	8
3	40	8
4	41	8
done	41	8
0	7	8
1	14	8
2	28	8
3	40	8
4	41	8
done	41	8
0	8	11
1	17	11
2	46	11
3	110	11
4	153	11
done	153	11
0	7	8
1	14	8
2	34	8
3	57	8
4	58	8
done	58	8
0	7	7
1	16	5
2	42	5
3	67	5
4	79	5
done	79	5
0	2	3
done	2	3
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	100	7
7	166	7
8	376	7
9	1321	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	100	7
7	166	7
8	376	7
9	1321	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	100	7
7	166	7
8	376	7
9	1321	7
done	5000	7

prune80.0ms

Filtered

33 candidates to 45 candidates (-36.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	39	6	45
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	39	7	46

Merged error: 0.0b

Counts

46 → 7

localize5.0ms

Local error

Found 2 expressions with local error:

0.2b	(* (* 3.0 (* x y)) y)
0.2b	(* 3.0 (* x y))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*`
2×	`*-commutative` `add-log-exp`

Counts

2 → 39

Calls

2 calls:

7.0ms	(* (* 3.0 (* x y)) y)
10.0ms	(* 3.0 (* x y))

series12.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(* (* 3.0 (* x y)) y)
4.0ms	(* 3.0 (* x y))

simplify1.0min

Counts

45 → 45

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	26	6
3	51	6
4	108	6
5	245	6
6	602	6
7	1789	6
done	5000	6
0	11	17
1	24	17
2	90	11
3	328	11
4	1011	9
5	3067	9
done	5000	9
0	9	17
1	26	17
2	94	9
3	375	9
4	1093	7
5	2048	7
6	4895	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	92	7
3	407	7
4	1210	7
5	1693	7
6	3142	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	3	3
1	4	3
done	4	3
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	7
1	13	7
2	26	7
3	38	7
4	40	7
done	40	7
0	6	7
1	13	7
2	26	7
3	38	7
4	40	7
done	40	7
0	6	7
1	13	7
2	26	7
3	38	7
4	40	7
done	40	7
0	9	11
1	16	11
2	29	11
3	43	10
4	46	10
done	46	10
0	9	10
1	16	10
2	28	10
3	44	10
4	49	10
done	49	10
0	8	9
1	16	9
2	32	9
3	51	9
4	66	9
5	67	9
done	67	9
0	7	8
1	17	8
2	39	8
3	80	8
4	109	8
5	112	8
done	112	8
0	7	8
1	16	8
2	42	8
3	89	8
4	187	8
5	432	8
6	1045	8
7	2734	8
done	5001	8
0	12	23
1	30	23
2	133	15
3	651	11
4	2872	11
done	5001	11
0	12	23
1	34	23
2	144	13
3	769	13
4	2985	11
done	5001	11
0	10	23
1	30	23
2	140	11
3	828	11
4	3543	9
done	5001	9
0	8	17
1	15	17
2	28	17
3	40	17
4	42	17
done	42	17
0	7	8
1	14	8
2	27	8
3	41	8
4	43	8
done	43	8
0	8	23
1	25	23
2	112	9
3	641	9
4	2503	9
5	4959	9
done	5000	9
0	7	8
1	14	8
2	27	8
3	41	8
4	43	8
done	43	8
0	7	8
1	14	8
2	27	8
3	41	8
4	43	8
done	43	8
0	8	11
1	17	11
2	45	11
3	109	11
4	149	11
done	149	11
0	7	8
1	14	8
2	33	8
3	59	8
4	61	8
done	61	8
0	7	7
1	16	5
2	41	5
3	88	5
done	88	5
0	4	5
1	8	5
2	9	5
done	9	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	100	7
7	166	7
8	376	7
9	1321	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	100	7
7	166	7
8	376	7
9	1321	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	100	7
7	166	7
8	376	7
9	1321	7
done	5000	7

prune73.0ms

Filtered

31 candidates to 45 candidates (-45.2%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	43	2	45
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	44	8	52

Merged error: 0.0b

Counts

52 → 8

localize5.0ms

Local error

Found 2 expressions with local error:

0.2b	(* (* x y) y)
0.2b	(* 3.0 (* (* x y) y))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*`
2×	`*-commutative` `add-log-exp`

Counts

2 → 39

Calls

2 calls:

7.0ms	(* (* x y) y)
7.0ms	(* 3.0 (* (* x y) y))

series16.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(* (* x y) y)
8.0ms	(* 3.0 (* (* x y) y))

simplify1.1min

Counts

45 → 45

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	13	7
2	26	7
3	38	7
4	39	7
done	39	7
0	6	7
1	13	7
2	26	7
3	38	7
4	39	7
done	39	7
0	6	7
1	13	7
2	26	7
3	38	7
4	39	7
done	39	7
0	9	11
1	16	11
2	31	10
3	42	10
4	43	10
done	43	10
0	9	10
1	16	10
2	27	10
3	41	10
4	47	10
done	47	10
0	8	9
1	16	9
2	27	9
3	45	9
4	54	9
5	55	9
done	55	9
0	7	8
1	17	8
2	40	8
3	78	8
4	104	8
5	105	8
done	105	8
0	7	8
1	16	8
2	37	8
3	87	8
4	186	8
5	443	8
6	1107	8
7	3235	8
done	5000	8
0	12	23
1	30	23
2	131	15
3	604	11
4	2487	11
done	5000	11
0	12	23
1	34	23
2	142	13
3	698	13
4	2819	11
done	5000	11
0	10	23
1	29	23
2	126	11
3	588	11
4	2340	9
done	5000	9
0	8	17
1	15	17
2	28	17
3	40	17
4	41	17
done	41	17
0	7	8
1	14	8
2	27	8
3	38	8
4	39	8
done	39	8
0	8	23
1	25	23
2	115	9
3	623	9
4	2491	9
done	5001	9
0	7	8
1	14	8
2	27	8
3	38	8
4	39	8
done	39	8
0	7	8
1	14	8
2	27	8
3	38	8
4	39	8
done	39	8
0	5	5
1	9	5
2	15	5
done	15	5
0	7	8
1	14	8
2	27	8
3	37	8
done	37	8
0	7	8
1	14	8
2	27	8
3	37	8
done	37	8
0	6	7
1	13	7
2	26	7
3	38	7
4	39	7
done	39	7
0	4	5
1	8	5
2	9	5
done	9	5
0	4	5
1	8	5
2	9	5
done	9	5
0	6	8
1	10	8
2	13	7
3	14	7
done	14	7
0	6	7
1	10	7
2	13	7
3	16	7
4	17	7
done	17	7
0	5	6
1	12	6
2	19	6
3	23	6
4	25	6
5	26	6
done	26	6
0	5	6
1	11	6
2	22	6
3	40	6
4	84	6
5	194	6
6	475	6
7	1303	6
done	5000	6
0	8	17
1	20	17
2	77	11
3	219	7
4	454	7
5	1201	7
6	4018	7
done	5001	7
0	8	17
1	24	17
2	89	9
3	270	9
4	451	7
5	1025	7
6	3081	7
done	5001	7
0	6	13
1	10	13
2	11	13
done	11	13
0	5	6
1	9	6
2	10	6
done	10	6
0	6	17
1	19	17
2	72	7
3	211	7
4	361	7
5	532	7
6	1355	7
7	4489	7
done	5000	7
0	5	6
1	9	6
2	10	6
done	10	6
0	5	6
1	9	6
2	10	6
done	10	6
0	6	9
1	12	9
2	25	9
3	37	9
done	37	9
0	5	6
1	9	6
2	15	6
done	15	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	2	3
done	2	3
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	100	7
7	166	7
8	376	7
9	1321	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	100	7
7	166	7
8	376	7
9	1321	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	100	7
7	166	7
8	376	7
9	1321	7
done	5000	7
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5

prune67.0ms

Filtered

30 candidates to 45 candidates (-50.0%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	44	1	45
Fresh	2	3	5
Picked	0	1	1
Done	0	2	2
Total	46	7	53

Merged error: 0.0b

Counts

53 → 7

localize9.0ms

Local error

Found 3 expressions with local error:

0.2b	(* (* x y) y)
0.2b	(* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y)))
0.3b	(* (cbrt 3.0) (* (* x y) y))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

49×	`pow1` `add-exp-log`
33×	`pow-prod-down` `prod-exp` `cbrt-unprod`
32×	`add-cbrt-cube`
8×	`associate-l`
6×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
5×	`associate-r`
3×	`cbrt-prod` `*-commutative` `add-log-exp`

Counts

3 → 76

Calls

3 calls:

6.0ms	(* (* x y) y)
16.0ms	(* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y)))
9.0ms	(* (cbrt 3.0) (* (* x y) y))

series40.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(* (* x y) y)
15.0ms	(* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (* x y) y)))
18.0ms	(* (cbrt 3.0) (* (* x y) y))

simplify2.7min

Counts

85 → 85

Iterations

Useful iterations: 3 (3.0ms)

Iter	Nodes	Cost
0	7	8
1	14	8
2	27	8
3	37	8
done	37	8
0	7	8
1	14	8
2	27	8
3	37	8
done	37	8
0	7	8
1	14	8
2	27	8
3	37	8
done	37	8
0	10	12
1	17	12
2	32	11
3	45	11
done	45	11
0	10	11
1	17	11
2	28	11
3	44	11
4	50	11
done	50	11
0	9	10
1	17	10
2	28	10
3	46	10
4	56	10
5	57	10
done	57	10
0	8	9
1	18	9
2	41	9
3	76	9
4	101	9
5	103	9
done	103	9
0	8	9
1	17	9
2	38	9
3	85	9
4	183	9
5	440	9
6	1091	9
7	3240	9
done	5000	9
0	10	19
1	25	19
2	106	13
3	401	9
4	1254	9
5	3426	9
done	5001	9
0	10	19
1	29	19
2	117	11
3	483	11
4	1186	9
5	2667	9
done	5001	9
0	8	19
1	24	19
2	101	9
3	395	9
4	1093	9
5	1564	9
6	3658	9
done	5001	9
0	9	19
1	16	19
2	29	19
3	39	19
done	39	19
0	8	9
1	15	9
2	28	9
3	37	9
done	37	9
0	9	26
1	26	26
2	116	10
3	641	10
4	2540	9
done	5000	9
0	8	9
1	15	9
2	28	9
3	37	9
done	37	9
0	8	9
1	15	9
2	28	9
3	37	9
done	37	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	8	9
1	15	9
2	28	9
3	37	9
done	37	9
0	8	9
1	15	9
2	28	9
3	37	9
done	37	9
0	7	8
1	14	8
2	27	8
3	37	8
done	37	8
0	8	9
1	15	9
2	28	9
3	37	9
done	37	9
0	8	9
1	15	9
2	28	9
3	37	9
done	37	9
0	7	8
1	14	8
2	27	8
3	37	8
done	37	8
0	9	14
1	21	14
2	53	14
3	131	10
4	188	7
5	194	7
6	200	7
7	210	7
8	231	7
9	289	7
10	508	7
11	1426	7
done	5001	7
0	9	14
1	21	14
2	53	14
3	131	10
4	188	7
5	194	7
6	200	7
7	210	7
8	231	7
9	289	7
10	508	7
11	1426	7
done	5001	7
0	9	14
1	21	14
2	53	14
3	131	10
4	188	7
5	194	7
6	200	7
7	210	7
8	231	7
9	289	7
10	508	7
11	1426	7
done	5001	7
0	9	14
1	21	14
2	53	14
3	131	10
4	188	7
5	194	7
6	200	7
7	210	7
8	231	7
9	289	7
10	508	7
11	1426	7
done	5001	7
0	9	14
1	21	14
2	53	14
3	131	10
4	188	7
5	194	7
6	200	7
7	210	7
8	231	7
9	289	7
10	508	7
11	1426	7
done	5001	7
0	9	14
1	21	14
2	53	14
3	131	10
4	188	7
5	194	7
6	200	7
7	210	7
8	231	7
9	289	7
10	508	7
11	1426	7
done	5001	7
0	9	14
1	21	14
2	53	14
3	131	10
4	188	7
5	194	7
6	200	7
7	210	7
8	231	7
9	289	7
10	508	7
11	1426	7
done	5001	7
0	9	14
1	21	14
2	53	14
3	131	10
4	188	7
5	194	7
6	200	7
7	210	7
8	231	7
9	289	7
10	508	7
11	1426	7
done	5001	7
0	12	20
1	26	18
2	64	13
3	144	13
4	191	13
5	192	13
done	192	13
0	12	19
1	26	17
2	59	13
3	124	13
4	192	13
5	195	13
done	195	13
0	11	18
1	26	16
2	51	12
3	107	12
4	171	12
5	194	12
6	195	12
done	195	12
0	11	17
1	25	15
2	56	15
3	122	12
4	245	12
5	278	12
6	279	12
done	279	12
0	13	19
1	24	19
2	60	17
3	141	13
4	197	13
5	198	13
done	198	13
0	13	18
1	24	18
2	55	17
3	123	13
4	199	13
5	207	13
done	207	13
0	12	17
1	24	17
2	49	16
3	107	12
4	170	12
5	192	12
6	193	12
done	193	12
0	11	16
1	23	16
2	56	15
3	121	12
4	245	12
5	285	12
6	287	12
done	287	12
0	10	15
1	25	15
2	70	15
3	200	11
4	390	8
5	470	8
6	479	8
7	490	8
8	513	8
9	572	8
10	779	8
11	1686	8
done	5000	8
0	10	15
1	24	15
2	67	15
3	211	11
4	522	8
5	1344	8
6	3404	8
done	5001	8
0	12	23
1	32	23
2	135	17
3	631	11
4	2674	11
done	5000	11
0	12	23
1	36	23
2	146	15
3	730	13
4	2859	11
done	5001	11
0	10	23
1	31	23
2	127	13
3	631	11
4	2392	11
done	5000	11
0	11	30
1	33	30
2	156	14
3	1062	14
done	5000	14
0	15	37
1	43	37
2	183	21
3	1003	13
done	5000	13
0	15	37
1	47	37
2	193	19
3	1111	15
done	5000	15
0	13	37
1	42	37
2	178	17
3	938	13
done	5000	13
0	13	44
1	42	44
2	199	18
3	1315	13
done	5000	13
0	11	31
1	23	31
2	55	31
3	134	23
4	186	17
5	190	17
6	196	17
7	206	17
8	227	17
9	292	17
10	506	17
11	1440	17
done	5000	17
0	10	15
1	22	15
2	54	15
3	135	11
4	185	8
5	191	8
6	197	8
7	207	8
8	228	8
9	295	8
10	508	8
11	1437	8
done	5000	8
0	11	44
1	33	44
2	158	16
3	1090	12
done	5000	12
0	10	15
1	22	15
2	54	15
3	135	11
4	185	8
5	191	8
6	197	8
7	207	8
8	228	8
9	295	8
10	508	8
11	1437	8
done	5000	8
0	10	15
1	22	15
2	54	15
3	135	11
4	185	8
5	191	8
6	197	8
7	207	8
8	228	8
9	295	8
10	508	8
11	1437	8
done	5000	8
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	8	11
1	18	11
2	41	11
3	76	11
4	90	11
done	90	11
0	4	5
1	8	5
2	9	5
done	9	5
0	4	5
1	8	5
2	9	5
done	9	5
0	6	8
1	10	8
2	13	7
3	14	7
done	14	7
0	6	7
1	10	7
2	13	7
3	16	7
4	17	7
done	17	7
0	5	6
1	12	6
2	19	6
3	23	6
4	25	6
5	26	6
done	26	6
0	5	6
1	11	6
2	22	6
3	40	6
4	84	6
5	194	6
6	475	6
7	1303	6
done	5000	6
0	8	17
1	20	17
2	77	11
3	219	7
4	454	7
5	1201	7
6	4018	7
done	5001	7
0	8	17
1	24	17
2	89	9
3	270	9
4	451	7
5	1025	7
6	3081	7
done	5001	7
0	6	13
1	10	13
2	11	13
done	11	13
0	5	6
1	9	6
2	10	6
done	10	6
0	6	17
1	19	17
2	72	7
3	211	7
4	361	7
5	532	7
6	1355	7
7	4489	7
done	5000	7
0	5	6
1	9	6
2	10	6
done	10	6
0	5	6
1	9	6
2	10	6
done	10	6
0	6	9
1	12	9
2	25	9
3	37	9
done	37	9
0	5	6
1	9	6
2	15	6
done	15	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	2	3
done	2	3
0	8	8
1	17	8
2	43	8
3	60	8
4	67	8
5	77	8
6	99	8
7	160	8
8	373	8
9	1311	8
done	5000	8
0	8	8
1	17	8
2	43	8
3	60	8
4	67	8
5	77	8
6	99	8
7	160	8
8	373	8
9	1311	8
done	5000	8
0	8	8
1	17	8
2	43	8
3	60	8
4	67	8
5	77	8
6	99	8
7	160	8
8	373	8
9	1311	8
done	5000	8
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	100	7
7	166	7
8	376	7
9	1321	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	100	7
7	166	7
8	376	7
9	1321	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	100	7
7	166	7
8	376	7
9	1321	7
done	5000	7
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5

prune135.0ms

Filtered

58 candidates to 85 candidates (-46.6%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	1	2	3
Picked	0	1	1
Done	0	3	3
Total	85	7	92

Merged error: 0.0b

Counts

92 → 7

regimes284.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	9	7
done	9	7

end0.0ms

sample589.0ms

Algorithm

intervals

Results

281.0ms

10602×

body

valid

Details

sample20.0ms

simplify21.0ms

prune10.0ms

localize5.0ms

rewrite15.0ms

series13.0ms

simplify1.2min

prune80.0ms

localize5.0ms

rewrite19.0ms

series12.0ms

simplify1.0min

prune73.0ms

localize5.0ms

rewrite16.0ms

series16.0ms

simplify1.1min

prune67.0ms

localize9.0ms

rewrite34.0ms

series40.0ms

simplify2.7min

prune135.0ms

regimes284.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample589.0ms

Profiling