Details

sample23.0ms

Algorithm

intervals

Results

11.0ms

301×

body

valid

simplify775.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	19	7
3	31	7
4	37	7
5	41	7
6	49	7
7	69	7
8	103	7
9	178	7
10	210	7
11	247	7
12	277	7
13	336	7
14	509	7
15	592	7
16	742	7
17	750	7
done	750	7

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.0b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(* (+ x 1.0) y)

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 21

Calls

1 calls:

7.0ms

(* (+ x 1.0) y)

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(* (+ x 1.0) y)

simplify18.3s

Counts

24 → 24

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	7	5
2	15	5
done	15	5
0	7	7
1	9	7
done	9	7
0	6	6
1	11	6
2	20	6
done	20	6
0	6	6
1	10	6
2	28	6
3	40	6
4	67	6
5	133	6
6	333	6
7	949	6
8	3387	6
done	5000	6
0	9	17
1	29	17
2	90	9
3	256	9
4	979	7
5	3629	7
done	5000	7
0	7	13
1	9	13
2	17	13
done	17	13
0	6	6
1	8	6
2	16	6
done	16	6
0	7	17
1	19	17
2	80	7
3	291	7
4	726	7
5	1840	7
6	4312	7
done	5000	7
0	6	6
1	8	6
2	16	6
done	16	6
0	6	6
1	8	6
2	16	6
done	16	6
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	9
1	11	9
2	21	9
3	33	9
4	35	9
done	35	9
0	6	6
1	8	6
2	16	6
done	16	6
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	5	5
1	7	5
2	15	5
done	15	5
0	5	5
1	7	5
2	15	5
done	15	5
0	8	9
1	23	9
2	40	9
3	81	9
4	157	9
5	382	9
6	1272	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	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5

prune33.0ms

Filtered

16 candidates to 24 candidates (-50.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	22	2	24
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	22	3	25

Merged error: 0b

Counts

25 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
0.3b	(cbrt (+ x 1.0))
0.3b	(cbrt (+ x 1.0))
0.3b	(cbrt (+ x 1.0))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod`
35×	`*-un-lft-identity`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `swap-sqr` `flip-+` `distribute-lft-out`
7×	`associate-r` `associate-l`
6×	`add-exp-log`
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 → 95

Calls

4 calls:

11.0ms	(* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
4.0ms	(cbrt (+ x 1.0))
6.0ms	(cbrt (+ x 1.0))
3.0ms	(cbrt (+ x 1.0))

series29.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
7.0ms	(cbrt (+ x 1.0))
7.0ms	(cbrt (+ x 1.0))
7.0ms	(cbrt (+ x 1.0))

simplify1.7min

Counts

107 → 107

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	10
1	7	10
done	7	10
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	6	4
2	7	4
done	7	4
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	10
1	7	10
done	7	10
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	6	4
2	7	4
done	7	4
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	10
1	7	10
done	7	10
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	6	4
2	7	4
done	7	4
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	5	9
1	6	9
done	6	9
0	2	3
1	6	1
done	6	1
0	6	11
1	9	7
2	10	7
done	10	7
0	6	10
1	9	10
2	11	7
3	12	7
done	12	7
0	6	10
1	9	10
2	13	10
3	18	10
4	36	10
5	78	10
6	182	10
7	563	10
8	2238	10
done	5000	10
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	7	21
1	8	21
done	8	21
0	6	10
1	7	10
done	7	10
0	7	29
1	16	29
2	23	11
3	37	6
4	95	6
5	214	6
6	513	6
7	1724	6
done	5000	6
0	6	10
1	8	5
done	8	5
0	6	10
1	8	5
done	8	5
0	8	17
1	22	17
2	31	17
3	48	17
4	91	17
5	212	17
6	620	17
7	2445	17
done	5001	17
0	9	25
1	17	21
2	32	21
3	45	21
4	65	21
5	86	21
6	103	21
7	126	21
8	169	21
9	231	21
10	232	21
done	232	21
0	12	17
1	30	17
2	46	17
3	78	17
4	144	17
5	302	17
6	792	17
7	2807	17
done	5000	17
0	11	17
1	22	15
2	37	15
3	49	15
4	66	15
5	86	15
6	103	15
7	126	15
8	169	15
9	231	15
10	232	15
done	232	15
0	12	17
1	30	17
2	46	17
3	78	17
4	144	17
5	303	17
6	781	17
7	2797	17
done	5000	17
0	11	17
1	22	15
2	37	15
3	49	15
4	66	15
5	86	15
6	103	15
7	126	15
8	169	15
9	231	15
10	232	15
done	232	15
0	7	17
1	12	17
2	19	17
3	34	17
4	59	17
5	100	17
6	156	17
7	324	17
8	1653	17
done	5000	17
0	5	9
1	7	9
2	8	9
done	8	9
0	7	21
1	8	21
done	8	21
0	6	11
1	7	11
done	7	11
0	6	11
1	7	11
done	7	11
0	6	11
1	7	11
done	7	11
0	3	5
1	5	3
done	5	1
0	5	9
1	6	9
done	6	9
0	3	5
1	5	3
done	5	1
0	5	9
1	6	9
done	6	9
0	3	5
1	5	3
done	5	1
0	5	9
1	6	9
done	6	9
0	3	5
1	5	3
done	5	1
0	5	9
1	6	9
done	6	9
0	7	23
1	12	23
2	14	13
3	23	7
4	38	7
5	64	7
6	136	7
7	351	7
8	1269	7
done	5000	7
0	6	11
1	7	11
done	7	11
0	6	11
1	7	4
2	8	4
done	8	4
0	6	11
1	7	4
2	8	4
done	8	4
0	2	3
1	4	1
done	4	1
0	5	9
1	6	9
done	6	9
0	6	11
1	7	11
done	7	11
0	6	11
1	7	11
done	7	11
0	8	11
1	10	11
done	10	11
0	8	11
1	10	11
done	10	11
0	8	11
1	10	11
done	10	11
0	8	11
1	10	11
done	10	11
0	6	11
1	7	4
2	8	4
done	8	4
0	6	11
1	7	4
2	8	4
done	8	4
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	7	15
1	9	15
done	9	15
0	7	10
1	9	10
done	9	10
0	7	7
1	11	6
done	11	6
0	7	7
1	11	6
done	11	6
0	7	16
1	11	16
2	13	16
done	13	16
0	6	10
1	8	10
done	8	10
0	6	6
1	10	4
2	13	4
done	13	4
0	6	10
1	8	10
done	8	10
0	7	10
1	9	10
done	9	10
0	5	9
1	6	9
done	6	9
0	5	9
1	6	9
done	6	9
0	6	10
1	8	10
done	8	10
0	6	10
1	8	10
done	8	10
0	5	9
1	6	9
done	6	9
0	10	13
1	26	13
2	35	13
3	52	13
4	91	13
5	203	13
6	609	13
7	2446	13
done	5001	13
0	9	13
1	15	13
2	21	13
3	36	13
4	61	13
5	102	13
6	160	13
7	328	13
8	1596	13
done	5000	13
0	10	13
1	26	13
2	35	13
3	52	13
4	95	13
5	213	13
6	623	13
7	2447	13
done	5001	13
0	9	13
1	15	13
2	21	13
3	36	13
4	61	13
5	102	13
6	160	13
7	328	13
8	1585	13
done	5000	13
0	23	35
1	60	31
2	190	28
3	639	26
4	2541	25
done	5001	25
0	19	42
1	44	36
2	97	27
3	255	13
4	904	13
done	5000	13
0	21	45
1	46	42
2	100	42
3	263	21
4	947	13
done	5000	13
0	23	35
1	60	31
2	190	28
3	639	26
4	2541	25
done	5001	25
0	19	42
1	44	36
2	97	27
3	255	13
4	904	13
done	5000	13
0	21	45
1	46	42
2	100	42
3	263	21
4	947	13
done	5000	13
0	23	35
1	60	31
2	190	28
3	639	26
4	2541	25
done	5001	25
0	19	42
1	44	36
2	97	27
3	255	13
4	904	13
done	5000	13
0	21	45
1	46	42
2	100	42
3	263	21
4	947	13
done	5000	13
0	22	35
1	60	31
2	188	28
3	640	26
4	2536	25
done	5001	25
0	20	48
1	46	42
2	108	36
3	313	19
4	1065	15
done	5000	15
0	21	48
1	47	45
2	106	39
3	309	21
4	1102	19
done	5001	17

prune222.0ms

Filtered

78 candidates to 107 candidates (-37.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	107	3	110

Merged error: 0b

Counts

110 → 3

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (+ x 1.0) y)
0.2b	(pow (* (+ x 1.0) y) 3)
37.8b	(cbrt (pow (* (+ x 1.0) y) 3))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt` `*-un-lft-identity`
8×	`pow1` `add-exp-log` `cbrt-prod` `add-cbrt-cube`
7×	`add-cube-cbrt`
6×	`associate-*l/`
4×	`cube-div` `associate-l`
3×	`pow-unpow` `flip3-+` `associate-r` `flip-+` `add-log-exp`
2×	`cube-mult` `unpow-prod-down` `cbrt-div` `pow-pow` `unpow3` `cube-prod` `pow-prod-down` `pow-exp` `prod-exp` `cbrt-unprod` `rem-cube-cbrt` `sqr-pow`
1×	`pow-to-exp` `pow1/3` `*-commutative` `rem-cbrt-cube` `distribute-lft-out` `unswap-sqr`

Counts

3 → 64

Calls

3 calls:

7.0ms	(* (+ x 1.0) y)
7.0ms	(pow (* (+ x 1.0) y) 3)
3.0ms	(cbrt (pow (* (+ x 1.0) y) 3))

series23.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(* (+ x 1.0) y)
9.0ms	(pow (* (+ x 1.0) y) 3)
8.0ms	(cbrt (pow (* (+ x 1.0) y) 3))

simplify2.3min

Counts

73 → 73

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	22	6
2	69	6
3	224	6
4	674	6
5	1711	6
done	5001	6
0	9	9
1	22	6
2	69	6
3	238	6
4	702	6
5	1789	6
done	5001	6
0	6	6
1	15	3
2	37	3
3	79	3
4	166	3
5	408	3
6	1285	3
7	3357	3
done	5001	3
0	4	4
1	12	1
2	18	1
3	28	1
4	51	1
5	114	1
6	328	1
7	1249	1
done	5000	1
0	7	12
1	16	12
2	51	12
3	136	12
4	234	12
5	342	12
6	468	12
7	573	12
8	623	12
9	624	12
done	624	12
0	6	6
1	8	6
2	16	6
done	16	6
0	10	18
1	22	12
2	65	12
3	220	12
4	674	12
5	1763	12
done	5000	12
0	9	9
1	22	6
2	65	6
3	220	6
4	677	6
5	1776	6
done	5000	6
0	6	6
1	15	3
2	37	3
3	79	3
4	166	3
5	408	3
6	1285	3
7	3357	3
done	5001	3
0	4	4
1	12	1
2	18	1
3	28	1
4	51	1
5	114	1
6	328	1
7	1249	1
done	5000	1
0	6	6
1	8	6
2	16	6
done	16	6
0	7	12
1	16	12
2	51	12
3	136	12
4	234	12
5	342	12
6	468	12
7	573	12
8	623	12
9	624	12
done	624	12
0	9	9
1	22	9
2	66	9
3	221	9
4	685	9
5	1755	9
done	5000	9
0	9	9
1	22	9
2	66	9
3	221	9
4	685	9
5	1755	9
done	5000	9
0	2	2
1	4	1
done	4	1
0	8	8
1	21	5
2	64	5
3	218	5
4	676	5
5	1757	5
done	5001	5
0	10	10
1	16	8
2	30	8
3	40	8
4	61	8
5	124	8
6	337	8
7	1258	8
done	5000	8
0	10	10
1	16	8
2	30	8
3	40	8
4	61	8
5	124	8
6	337	8
7	1258	8
done	5000	8
0	10	12
1	33	9
2	82	9
3	284	9
4	1194	9
done	5001	9
0	10	14
1	26	9
2	63	9
3	200	9
4	1031	9
done	5000	9
0	10	12
1	27	9
2	82	9
3	372	9
4	2596	9
done	5000	9
0	6	6
1	16	3
2	35	3
3	83	3
4	207	3
5	583	3
6	1998	3
done	5000	3
0	10	19
1	23	13
2	66	13
3	224	13
4	683	13
5	1777	13
done	5000	13
0	9	9
1	22	6
2	65	6
3	220	6
4	677	6
5	1776	6
done	5000	6
0	10	26
1	21	7
2	64	7
3	220	7
4	667	7
5	1762	7
done	5001	7
0	9	9
1	22	6
2	65	6
3	220	6
4	677	6
5	1776	6
done	5000	6
0	9	9
1	22	6
2	65	6
3	220	6
4	677	6
5	1776	6
done	5000	6
0	9	9
1	12	9
2	20	9
done	20	9
0	8	8
1	14	8
2	29	8
3	30	8
done	30	8
0	8	8
1	14	8
2	29	8
3	30	8
done	30	8
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	9	11
1	15	11
2	30	11
3	54	11
4	110	11
5	272	11
6	886	11
7	3334	11
done	5000	11
0	8	8
1	14	8
2	27	8
3	45	8
4	84	8
5	195	8
6	570	8
7	2200	8
done	5000	8
0	7	7
1	16	5
2	31	5
3	42	5
4	64	5
5	121	5
6	333	5
7	1258	5
done	5000	5
0	5	5
1	14	5
2	36	5
3	78	5
4	165	5
5	406	5
6	1273	5
7	3304	5
done	5000	5
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	6	11
1	15	11
2	50	11
3	136	11
4	235	11
5	341	11
6	465	11
7	572	11
8	625	11
9	629	11
done	629	11
0	8	8
1	23	8
2	79	8
3	283	8
4	863	8
5	2138	8
done	5000	8
0	8	8
1	21	8
2	72	8
3	271	8
4	900	8
5	2635	8
done	5001	8
0	9	17
1	21	11
2	64	11
3	220	11
4	664	11
5	1746	11
done	5000	11
0	8	8
1	21	5
2	64	5
3	218	5
4	676	5
5	1757	5
done	5001	5
0	9	23
1	26	15
2	113	9
3	844	9
done	5000	9
0	5	5
1	14	5
2	36	5
3	78	5
4	165	5
5	406	5
6	1273	5
7	3304	5
done	5000	5
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	9	11
1	32	11
2	81	11
3	271	11
4	1175	11
done	5001	11
0	9	13
1	25	11
2	62	11
3	199	11
4	1031	11
done	5000	11
0	9	11
1	26	11
2	81	11
3	368	11
4	2564	11
done	5000	11
0	5	5
1	15	5
2	34	5
3	82	5
4	206	5
5	585	5
6	1983	5
done	5000	5
0	6	11
1	15	11
2	50	11
3	136	11
4	235	11
5	341	11
6	465	11
7	572	11
8	625	11
9	629	11
done	629	11
0	8	8
1	21	8
2	65	8
3	219	8
4	673	8
5	1758	8
done	5000	8
0	8	8
1	21	8
2	65	8
3	219	8
4	673	8
5	1758	8
done	5000	8
0	9	9
1	16	7
2	30	7
3	40	7
4	61	7
5	124	7
6	340	7
7	1261	7
done	5000	7
0	9	9
1	16	7
2	30	7
3	40	7
4	61	7
5	124	7
6	340	7
7	1261	7
done	5000	7
0	5	5
1	7	5
2	15	5
done	15	5
0	7	7
1	9	7
done	9	7
0	6	6
1	11	6
2	20	6
done	20	6
0	6	6
1	10	6
2	28	6
3	40	6
4	67	6
5	133	6
6	333	6
7	949	6
8	3387	6
done	5000	6
0	9	17
1	29	17
2	90	9
3	256	9
4	979	7
5	3629	7
done	5000	7
0	7	13
1	9	13
2	17	13
done	17	13
0	6	6
1	8	6
2	16	6
done	16	6
0	7	17
1	19	17
2	80	7
3	291	7
4	726	7
5	1840	7
6	4312	7
done	5000	7
0	6	6
1	8	6
2	16	6
done	16	6
0	6	6
1	8	6
2	16	6
done	16	6
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	9
1	11	9
2	21	9
3	33	9
4	35	9
done	35	9
0	6	6
1	8	6
2	16	6
done	16	6
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	5	5
1	7	5
2	15	5
done	15	5
0	5	5
1	7	5
2	15	5
done	15	5
0	8	9
1	23	9
2	40	9
3	81	9
4	157	9
5	382	9
6	1272	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	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5
0	11	14
1	21	14
2	58	9
3	130	9
4	204	9
5	221	9
done	221	9
0	15	23
1	40	23
2	139	19
3	360	15
4	906	13
5	2489	13
done	5001	13
0	15	25
1	46	23
2	170	19
3	519	15
4	1522	13
done	5000	13
0	15	25
1	46	23
2	170	19
3	519	15
4	1522	13
done	5000	13
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5

prune101.0ms

Filtered

51 candidates to 73 candidates (-43.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	73	0	73
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	73	3	76

Merged error: 0b

Counts

76 → 3

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

end0.0ms

sample494.0ms

Algorithm

intervals

Results

218.0ms	9125×	body	80	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	160	valid

Details

sample23.0ms

simplify775.0ms

prune2.0ms

localize5.0ms

rewrite7.0ms

series5.0ms

simplify18.3s

prune33.0ms

localize9.0ms

rewrite28.0ms

series29.0ms

simplify1.7min

prune222.0ms

localize11.0ms

rewrite19.0ms

series23.0ms

simplify2.3min

prune101.0ms

regimes112.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample494.0ms

Profiling