Details

sample39.0ms

Algorithm

intervals

Results

12.0ms	256×	pre	80	true
7.0ms	256×	body	80	valid

simplify256.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	19	9
2	55	9
3	154	9
4	237	9
5	238	9
done	238	9

prune4.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.4b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.2b	(+ (+ e d) c)
0.2b	(+ (+ (+ e d) c) b)
0.2b	(+ (+ (+ (+ e d) c) b) a)

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

31×	`*-un-lft-identity` `add-log-exp`
19×	`sum-log` `distribute-lft-out`
3×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `associate-+l+` `flip3-+` `add-cbrt-cube` `flip-+`

Counts

3 → 51

Calls

3 calls:

7.0ms	(+ (+ e d) c)
10.0ms	(+ (+ (+ e d) c) b)
19.0ms	(+ (+ (+ (+ e d) c) b) a)

series34.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(+ (+ e d) c)
10.0ms	(+ (+ (+ e d) c) b)
18.0ms	(+ (+ (+ (+ e d) c) b) a)

simplify33.3s

Counts

60 → 60

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	14
1	26	13
2	73	11
3	221	10
4	416	10
5	507	10
done	507	10
0	13	13
1	26	12
2	66	11
3	197	10
4	421	10
5	530	10
6	531	10
done	531	10
0	12	12
1	25	11
2	63	10
3	176	10
4	437	10
5	582	10
done	582	10
0	11	11
1	24	10
2	65	10
3	201	10
4	493	10
5	615	10
done	615	10
0	10	10
1	20	10
2	56	10
3	156	10
4	233	10
5	234	10
done	234	10
0	10	10
1	23	10
2	69	10
3	225	10
4	493	10
5	666	10
done	666	10
0	11	21
1	21	21
2	57	21
3	157	21
4	249	21
done	249	21
0	10	10
1	20	10
2	56	10
3	156	10
4	233	10
5	234	10
done	234	10
0	11	29
1	34	29
2	150	11
3	1187	11
done	5001	11
0	10	10
1	20	10
2	56	10
3	156	10
4	233	10
5	234	10
done	234	10
0	10	10
1	20	10
2	56	10
3	156	10
4	233	10
5	234	10
done	234	10
0	12	13
1	33	13
2	90	13
3	457	13
4	3216	13
done	5001	13
0	13	29
1	34	27
2	138	27
3	807	21
done	5000	21
0	11	19
1	29	19
2	115	19
3	699	19
4	4846	19
done	5000	19
0	9	9
1	20	9
2	57	9
3	174	9
4	311	9
5	436	9
6	697	9
7	1534	9
8	1871	9
9	2246	9
10	2482	9
done	2482	9
0	9	9
1	19	9
2	55	9
3	154	9
4	237	9
5	238	9
done	238	9
0	9	9
1	19	9
2	55	9
3	154	9
4	237	9
5	238	9
done	238	9
0	9	9
1	19	9
2	55	9
3	154	9
4	237	9
5	238	9
done	238	9
0	9	9
1	19	9
2	55	9
3	154	9
4	237	9
5	238	9
done	238	9
0	3	3
1	4	3
done	4	3
0	11	11
1	20	10
2	49	9
3	102	8
4	135	8
5	136	8
done	136	8
0	10	10
1	20	9
2	44	8
3	98	8
4	145	8
5	146	8
done	146	8
0	9	9
1	19	8
2	43	8
3	100	8
4	159	8
5	160	8
done	160	8
0	8	8
1	15	8
2	35	8
3	60	8
4	63	8
done	63	8
0	8	8
1	18	8
2	48	8
3	104	8
4	157	8
5	159	8
done	159	8
0	9	17
1	16	17
2	36	17
3	59	17
4	62	17
done	62	17
0	8	8
1	15	8
2	35	8
3	60	8
4	63	8
done	63	8
0	9	23
1	29	23
2	129	9
3	839	9
done	5001	9
0	8	8
1	15	8
2	35	8
3	60	8
4	63	8
done	63	8
0	8	8
1	15	8
2	35	8
3	60	8
4	63	8
done	63	8
0	10	11
1	28	11
2	71	11
3	278	11
4	1250	11
done	5000	11
0	11	23
1	29	21
2	113	21
3	438	17
4	2698	17
done	5001	17
0	9	15
1	24	15
2	90	15
3	354	15
4	1964	15
done	5000	15
0	7	7
1	15	7
2	36	7
3	73	7
4	98	7
5	133	7
6	197	7
7	378	7
8	453	7
9	551	7
10	621	7
done	621	7
0	7	7
1	14	7
2	34	7
3	57	7
4	60	7
done	60	7
0	7	7
1	14	7
2	34	7
3	57	7
4	60	7
done	60	7
0	7	7
1	14	7
2	34	7
3	57	7
4	60	7
done	60	7
0	3	3
1	4	3
done	4	3
0	8	8
1	14	7
2	27	6
3	36	6
done	36	6
0	7	7
1	14	6
2	24	6
3	36	6
done	36	6
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
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	24	17
2	98	7
3	426	7
4	2183	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	8	9
1	23	9
2	48	9
3	105	9
4	242	9
5	711	9
6	2658	9
done	5000	9
0	9	17
1	24	15
2	70	15
3	182	13
4	725	13
5	2301	13
done	5000	13
0	7	11
1	19	11
2	51	11
3	135	11
4	442	11
5	1286	11
done	5000	11
0	5	5
1	10	5
2	17	5
3	23	5
4	29	5
5	38	5
6	51	5
7	64	5
8	73	5
9	82	5
10	97	5
11	102	5
12	106	5
13	107	5
done	107	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	3	3
1	4	3
done	4	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	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	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

prune111.0ms

Filtered

41 candidates to 60 candidates (-46.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	51	9	60
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	52	9	61

Merged error: 0.0b

Counts

61 → 9

localize8.0ms

Local error

Found 2 expressions with local error:

0.2b	(+ (+ (+ e d) (+ c b)) a)
0.3b	(+ (+ e d) (+ c b))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

32×	`*-un-lft-identity` `add-log-exp`
21×	`sum-log` `distribute-lft-out`
6×	`flip3-+` `flip-+`
4×	`frac-add`
2×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `associate-+l+` `add-cbrt-cube`
1×	`associate-+r+`

Counts

2 → 45

Calls

2 calls:

17.0ms	(+ (+ (+ e d) (+ c b)) a)
9.0ms	(+ (+ e d) (+ c b))

series29.0ms

Counts

2 → 6

Calls

2 calls:

18.0ms	(+ (+ (+ e d) (+ c b)) a)
11.0ms	(+ (+ e d) (+ c b))

simplify42.6s

Counts

51 → 51

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	22	9
2	51	8
3	100	8
4	130	8
5	133	8
done	133	8
0	10	10
1	20	9
2	40	8
3	87	8
4	124	8
5	128	8
done	128	8
0	10	10
1	20	9
2	40	8
3	88	8
4	127	8
5	129	8
done	129	8
0	9	9
1	20	8
2	39	8
3	89	8
4	130	8
5	131	8
done	131	8
0	8	8
1	15	8
2	34	8
3	55	8
4	58	8
done	58	8
0	8	8
1	18	8
2	50	8
3	102	8
4	151	8
5	152	8
done	152	8
0	9	17
1	16	17
2	35	17
3	56	17
4	57	17
done	57	17
0	8	8
1	15	8
2	34	8
3	55	8
4	58	8
done	58	8
0	9	23
1	29	23
2	152	9
3	952	9
done	5000	9
0	8	8
1	15	8
2	34	8
3	55	8
4	58	8
done	58	8
0	8	8
1	15	8
2	34	8
3	55	8
4	58	8
done	58	8
0	24	39
1	76	35
2	217	35
3	850	35
4	4025	35
done	5000	35
0	15	23
1	38	19
2	107	19
3	398	19
4	1562	19
done	5000	19
0	20	31
1	49	29
2	117	29
3	408	25
4	1811	25
done	5000	25
0	11	15
1	22	13
2	52	13
3	146	13
4	407	13
5	1078	13
6	2601	13
done	5000	13
0	20	31
1	61	29
2	192	29
3	760	25
4	3240	25
done	5000	25
0	11	15
1	28	13
2	77	13
3	226	13
4	574	13
5	1464	13
6	3331	13
done	5000	13
0	15	23
1	30	23
2	86	23
3	350	19
4	1306	15
done	5000	15
0	7	7
1	12	7
2	26	7
3	60	7
4	124	7
5	216	7
6	291	7
7	415	7
8	653	7
9	812	7
10	819	7
done	819	7
0	10	11
1	26	11
2	67	11
3	164	11
4	429	11
5	1657	11
done	5000	11
0	11	23
1	39	19
2	132	19
3	449	19
4	2926	19
done	5000	19
0	9	15
1	28	15
2	86	15
3	278	15
4	1313	15
done	5000	15
0	7	7
1	15	7
2	37	7
3	74	7
4	131	7
5	223	7
6	371	7
7	476	7
8	508	7
9	521	7
10	538	7
done	538	7
0	7	7
1	14	7
2	33	7
3	54	7
4	57	7
done	57	7
0	7	7
1	14	7
2	33	7
3	54	7
4	57	7
done	57	7
0	7	7
1	14	7
2	33	7
3	54	7
4	57	7
done	57	7
0	7	7
1	14	7
2	33	7
3	54	7
4	57	7
done	57	7
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	14	14
1	28	12
2	80	11
3	218	10
4	443	10
5	616	10
6	635	10
done	635	10
0	13	13
1	26	12
2	64	11
3	187	10
4	399	10
5	582	10
6	618	10
done	618	10
0	13	13
1	26	12
2	63	11
3	185	10
4	397	10
5	563	10
6	589	10
done	589	10
0	12	12
1	26	11
2	61	10
3	185	10
4	389	10
5	592	10
6	617	10
done	617	10
0	11	11
1	24	10
2	69	10
3	212	10
4	491	10
5	711	10
6	721	10
done	721	10
0	10	10
1	20	10
2	60	10
3	143	10
4	281	10
5	305	10
done	305	10
0	10	10
1	23	10
2	76	10
3	220	10
4	511	10
5	726	10
6	752	10
done	752	10
0	11	21
1	21	21
2	61	21
3	147	21
4	273	21
5	299	21
done	299	21
0	10	10
1	20	10
2	60	10
3	143	10
4	281	10
5	305	10
done	305	10
0	11	29
1	34	29
2	166	11
3	1340	11
done	5000	11
0	10	10
1	20	10
2	60	10
3	143	10
4	281	10
5	305	10
done	305	10
0	10	10
1	20	10
2	60	10
3	143	10
4	281	10
5	305	10
done	305	10
0	12	13
1	33	13
2	101	13
3	587	13
4	4487	13
done	5000	13
0	13	29
1	34	27
2	163	27
3	873	21
done	5001	21
0	11	19
1	29	19
2	136	19
3	755	19
done	5000	19
0	9	9
1	20	9
2	61	9
3	155	9
4	323	9
5	486	9
6	754	9
7	1562	9
8	1982	9
9	2342	9
10	2606	9
done	2606	9
0	9	9
1	19	9
2	59	9
3	142	9
4	269	9
5	299	9
done	299	9
0	9	9
1	19	9
2	59	9
3	142	9
4	269	9
5	299	9
done	299	9
0	9	9
1	19	9
2	59	9
3	142	9
4	269	9
5	299	9
done	299	9
0	9	9
1	19	9
2	59	9
3	142	9
4	269	9
5	299	9
done	299	9
0	9	9
1	19	9
2	59	9
3	142	9
4	269	9
5	299	9
done	299	9
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	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	5	5
1	9	5
2	15	5
done	15	5

prune87.0ms

Filtered

34 candidates to 51 candidates (-50.0%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	46	5	51
Fresh	6	2	8
Picked	1	0	1
Done	0	0	0
Total	53	7	60

Merged error: 0b

Counts

60 → 7

localize12.0ms

Local error

Found 2 expressions with local error:

0.2b	(+ (+ c b) a)
0.2b	(+ (+ e d) (+ (+ c b) a))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

28×	`*-un-lft-identity` `add-log-exp`
18×	`sum-log` `distribute-lft-out`
6×	`flip3-+` `flip-+`
4×	`frac-add`
2×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `associate-+l+` `add-cbrt-cube`
1×	`associate-+r+`

Counts

2 → 43

Calls

2 calls:

7.0ms	(+ (+ c b) a)
14.0ms	(+ (+ e d) (+ (+ c b) a))

series23.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(+ (+ c b) a)
18.0ms	(+ (+ e d) (+ (+ c b) a))

simplify43.6s

Counts

49 → 49

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	14
1	28	12
2	72	11
3	215	10
4	407	10
5	482	10
done	482	10
0	13	13
1	28	11
2	68	10
3	194	10
4	399	10
5	475	10
done	475	10
0	12	12
1	25	11
2	57	10
3	162	10
4	403	10
5	516	10
done	516	10
0	13	13
1	26	12
2	61	11
3	176	10
4	365	10
5	458	10
6	464	10
done	464	10
0	12	12
1	26	11
2	57	10
3	164	10
4	378	10
5	503	10
done	503	10
0	11	11
1	25	10
2	58	10
3	180	10
4	435	10
5	552	10
done	552	10
0	10	10
1	20	10
2	54	10
3	148	10
4	231	10
done	231	10
0	10	10
1	23	10
2	73	10
3	224	10
4	488	10
5	659	10
done	659	10
0	11	21
1	21	21
2	55	21
3	151	21
4	236	21
done	236	21
0	10	10
1	20	10
2	54	10
3	148	10
4	231	10
done	231	10
0	11	29
1	34	29
2	184	11
3	1492	11
done	5000	11
0	10	10
1	20	10
2	54	10
3	148	10
4	231	10
done	231	10
0	10	10
1	20	10
2	54	10
3	148	10
4	231	10
done	231	10
0	26	47
1	85	43
2	277	43
3	1201	41
done	5001	41
0	17	29
1	47	25
2	153	25
3	648	23
4	3855	23
done	5000	23
0	22	37
1	60	35
2	167	35
3	705	29
4	4475	29
done	5000	29
0	13	17
1	27	15
2	69	15
3	242	15
4	857	15
5	3509	15
done	5000	15
0	22	39
1	70	37
2	252	37
3	1137	31
done	5000	31
0	13	21
1	37	19
2	123	19
3	454	17
4	2074	17
done	5001	17
0	17	29
1	41	29
2	136	29
3	681	23
4	3414	19
done	5000	19
0	9	9
1	17	9
2	43	9
3	132	9
4	304	9
5	900	9
6	2276	9
7	4937	9
done	5000	9
0	12	13
1	31	13
2	90	13
3	339	13
4	1468	13
done	5001	13
0	13	29
1	44	23
2	181	23
3	816	23
done	5000	23
0	11	19
1	33	19
2	125	19
3	558	19
4	3365	19
done	5000	19
0	9	9
1	20	9
2	58	9
3	161	9
4	411	9
5	881	9
6	1709	9
7	2347	9
8	2541	9
9	2550	9
done	2550	9
0	9	9
1	19	9
2	53	9
3	150	9
4	233	9
done	233	9
0	9	9
1	19	9
2	53	9
3	150	9
4	233	9
done	233	9
0	9	9
1	19	9
2	53	9
3	150	9
4	233	9
done	233	9
0	9	9
1	19	9
2	53	9
3	150	9
4	233	9
done	233	9
0	9	9
1	19	9
2	53	9
3	150	9
4	233	9
done	233	9
0	9	9
1	19	9
2	53	9
3	150	9
4	233	9
done	233	9
0	7	7
1	14	7
2	33	7
3	54	7
4	57	7
done	57	7
0	7	7
1	14	7
2	33	7
3	58	7
4	60	7
done	60	7
0	8	8
1	14	7
2	27	6
3	36	6
done	36	6
0	7	7
1	14	6
2	24	6
3	36	6
done	36	6
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
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	24	17
2	98	7
3	426	7
4	2183	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	8	9
1	23	9
2	48	9
3	105	9
4	242	9
5	711	9
6	2658	9
done	5000	9
0	9	17
1	24	15
2	70	15
3	182	13
4	725	13
5	2301	13
done	5000	13
0	7	11
1	19	11
2	51	11
3	135	11
4	442	11
5	1286	11
done	5000	11
0	5	5
1	10	5
2	17	5
3	23	5
4	29	5
5	38	5
6	51	5
7	64	5
8	73	5
9	82	5
10	97	5
11	102	5
12	106	5
13	107	5
done	107	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	3	3
1	4	3
done	4	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	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

prune75.0ms

Filtered

32 candidates to 49 candidates (-53.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	49	0	49
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	49	7	56

Merged error: 0b

Counts

56 → 7

localize8.0ms

Local error

Found 3 expressions with local error:

0.2b	(+ d (+ c b))
0.2b	(+ e (+ d (+ c b)))
0.2b	(+ (+ e (+ d (+ c b))) a)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

31×	`*-un-lft-identity` `add-log-exp`
19×	`sum-log` `distribute-lft-out`
3×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `flip3-+` `add-cbrt-cube` `flip-+`
2×	`associate-+r+`
1×	`associate-+l+`

Counts

3 → 51

Calls

3 calls:

6.0ms	(+ d (+ c b))
9.0ms	(+ e (+ d (+ c b)))
14.0ms	(+ (+ e (+ d (+ c b))) a)

series38.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(+ d (+ c b))
11.0ms	(+ e (+ d (+ c b)))
22.0ms	(+ (+ e (+ d (+ c b))) a)

simplify35.7s

Counts

60 → 60

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	14
1	26	13
2	70	12
3	222	11
4	432	10
5	521	10
done	521	10
0	13	13
1	26	12
2	65	11
3	197	10
4	418	10
5	505	10
done	505	10
0	12	12
1	25	11
2	63	10
3	185	10
4	458	10
5	590	10
done	590	10
0	11	11
1	24	10
2	65	10
3	201	10
4	492	10
5	621	10
done	621	10
0	10	10
1	20	10
2	55	10
3	161	10
4	259	10
5	260	10
done	260	10
0	10	10
1	23	10
2	68	10
3	224	10
4	529	10
5	679	10
done	679	10
0	11	21
1	21	21
2	56	21
3	162	21
4	271	21
5	273	21
done	273	21
0	10	10
1	20	10
2	55	10
3	161	10
4	259	10
5	260	10
done	260	10
0	11	29
1	34	29
2	149	11
3	1096	11
done	5000	11
0	10	10
1	20	10
2	55	10
3	161	10
4	259	10
5	260	10
done	260	10
0	10	10
1	20	10
2	55	10
3	161	10
4	259	10
5	260	10
done	260	10
0	12	13
1	33	13
2	90	13
3	456	13
4	3215	13
done	5001	13
0	13	29
1	34	27
2	138	27
3	809	21
done	5000	21
0	11	19
1	29	19
2	115	19
3	702	19
4	4955	19
done	5000	19
0	9	9
1	20	9
2	56	9
3	164	9
4	304	9
5	426	9
6	704	9
7	1257	9
8	1985	9
9	2233	9
10	2657	9
11	2658	9
done	2658	9
0	9	9
1	19	9
2	54	9
3	161	9
4	255	9
5	256	9
done	256	9
0	9	9
1	19	9
2	54	9
3	161	9
4	255	9
5	256	9
done	256	9
0	9	9
1	19	9
2	54	9
3	161	9
4	255	9
5	256	9
done	256	9
0	9	9
1	19	9
2	54	9
3	161	9
4	255	9
5	256	9
done	256	9
0	7	7
1	14	7
2	33	7
3	59	7
4	61	7
done	61	7
0	11	11
1	20	10
2	49	9
3	103	8
4	135	8
5	136	8
done	136	8
0	10	10
1	20	9
2	44	8
3	95	8
4	138	8
5	140	8
done	140	8
0	9	9
1	19	8
2	43	8
3	101	8
4	159	8
5	160	8
done	160	8
0	8	8
1	15	8
2	35	8
3	59	8
4	60	8
done	60	8
0	8	8
1	18	8
2	48	8
3	103	8
4	154	8
5	157	8
done	157	8
0	9	17
1	16	17
2	36	17
3	60	17
4	63	17
done	63	17
0	8	8
1	15	8
2	35	8
3	59	8
4	60	8
done	60	8
0	9	23
1	29	23
2	129	9
3	839	9
done	5000	9
0	8	8
1	15	8
2	35	8
3	59	8
4	60	8
done	60	8
0	8	8
1	15	8
2	35	8
3	59	8
4	60	8
done	60	8
0	10	11
1	28	11
2	71	11
3	278	11
4	1250	11
done	5000	11
0	11	23
1	35	17
2	125	17
3	518	17
4	3258	17
done	5000	17
0	9	15
1	24	15
2	91	15
3	381	15
4	1842	15
done	5001	15
0	7	7
1	15	7
2	39	7
3	79	7
4	151	7
5	272	7
6	491	7
7	624	7
8	654	7
done	654	7
0	7	7
1	14	7
2	34	7
3	56	7
4	57	7
done	57	7
0	7	7
1	14	7
2	34	7
3	56	7
4	57	7
done	57	7
0	7	7
1	14	7
2	34	7
3	56	7
4	57	7
done	57	7
0	3	3
1	4	3
done	4	3
0	8	8
1	14	7
2	27	6
3	36	6
done	36	6
0	7	7
1	14	6
2	24	6
3	36	6
done	36	6
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
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	24	17
2	98	7
3	426	7
4	2182	7
done	5001	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	8	9
1	23	9
2	48	9
3	105	9
4	244	9
5	708	9
6	2688	9
done	5000	9
0	9	17
1	30	13
2	76	13
3	218	13
4	790	13
5	2680	13
done	5000	13
0	7	11
1	19	11
2	52	11
3	142	11
4	442	11
5	1316	11
done	5001	11
0	5	5
1	10	5
2	19	5
3	29	5
4	41	5
5	57	5
6	74	5
7	85	5
8	92	5
9	100	5
10	105	5
11	107	5
12	111	5
done	111	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	3	3
1	4	3
done	4	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	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	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

prune60.0ms

Filtered

42 candidates to 60 candidates (-42.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	59	1	60
Fresh	2	3	5
Picked	0	1	1
Done	0	1	1
Total	61	6	67

Merged error: 0b

Counts

67 → 6

regimes473.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	9	9
1	13	9
done	13	9

end0.0ms

sample1.1s

Algorithm

intervals

Results

379.0ms	8000×	pre	80	true
243.0ms	8000×	body	80	valid

Details

sample39.0ms

simplify256.0ms

prune4.0ms

localize7.0ms

rewrite38.0ms

series34.0ms

simplify33.3s

prune111.0ms

localize8.0ms

rewrite28.0ms

series29.0ms

simplify42.6s

prune87.0ms

localize12.0ms

rewrite22.0ms

series23.0ms

simplify43.6s

prune75.0ms

localize8.0ms

rewrite30.0ms

series38.0ms

simplify35.7s

prune60.0ms

regimes473.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling