Details

sample194.0ms

Algorithm

intervals

Results

72.0ms	57×	body	2560	valid
51.0ms	69×	body	1280	valid
23.0ms	46×	body	640	valid
9.0ms	23×	body	320	valid
6.0ms	54×	body	80	valid
3.0ms	1×	body	5120	valid
2.0ms	6×	body	160	valid

simplify1.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	27
1	42	27
2	96	27
3	197	27
4	343	27
5	516	27
6	732	27
7	964	27
8	1066	27
9	1116	27
10	1120	27
done	1120	27

prune6.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: 48.1b

Counts

2 → 1

localize29.0ms

Local error

Found 4 expressions with local error:

3.2b	(* (* (+ (* y 2.0) 1.0) z) t)
3.2b	(* (* (+ (* a 2.0) 1.0) b) t)
36.2b	(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
36.2b	(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1` `add-exp-log` `add-cbrt-cube`
8×	`associate-*l/`
6×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r*` `pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-log-exp`
2×	`flip3-+` `associate-l` `*-commutative` `flip-+`

Counts

4 → 54

Calls

4 calls:

10.0ms	(* (* (+ (* y 2.0) 1.0) z) t)
9.0ms	(* (* (+ (* a 2.0) 1.0) b) t)
3.0ms	(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
3.0ms	(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

series48.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (* (+ (* y 2.0) 1.0) z) t)
11.0ms	(* (* (+ (* a 2.0) 1.0) b) t)
13.0ms	(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
14.0ms	(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

simplify55.8s

Counts

66 → 66

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	13
1	21	13
2	45	13
3	96	13
4	168	13
5	258	13
6	357	13
7	473	13
8	525	13
9	551	13
10	553	13
done	553	13
0	13	13
1	21	13
2	45	13
3	96	13
4	168	13
5	258	13
6	357	13
7	473	13
8	525	13
9	551	13
10	553	13
done	553	13
0	14	27
1	22	27
2	46	27
3	99	27
4	173	27
5	261	27
6	353	27
7	467	27
8	519	27
9	545	27
10	547	27
done	547	27
0	13	13
1	21	13
2	45	13
3	96	13
4	168	13
5	258	13
6	357	13
7	473	13
8	525	13
9	551	13
10	553	13
done	553	13
0	14	38
1	23	38
2	49	14
3	105	14
4	187	14
5	289	14
6	422	14
7	605	14
8	858	14
9	1800	14
done	5001	14
0	13	13
1	21	13
2	45	13
3	96	13
4	168	13
5	258	13
6	357	13
7	473	13
8	525	13
9	551	13
10	553	13
done	553	13
0	13	13
1	21	13
2	45	13
3	96	13
4	168	13
5	258	13
6	357	13
7	473	13
8	525	13
9	551	13
10	553	13
done	553	13
0	13	13
1	21	13
2	45	13
3	96	13
4	168	13
5	258	13
6	357	13
7	473	13
8	525	13
9	551	13
10	553	13
done	553	13
0	13	13
1	21	13
2	45	13
3	96	13
4	168	13
5	258	13
6	357	13
7	473	13
8	525	13
9	551	13
10	553	13
done	553	13
0	14	27
1	22	27
2	46	27
3	99	27
4	173	27
5	261	27
6	353	27
7	467	27
8	519	27
9	545	27
10	547	27
done	547	27
0	13	13
1	21	13
2	45	13
3	96	13
4	168	13
5	258	13
6	357	13
7	473	13
8	525	13
9	551	13
10	553	13
done	553	13
0	14	38
1	23	38
2	49	14
3	105	14
4	187	14
5	289	14
6	422	14
7	605	14
8	858	14
9	1800	14
done	5001	14
0	13	13
1	21	13
2	45	13
3	96	13
4	168	13
5	258	13
6	357	13
7	473	13
8	525	13
9	551	13
10	553	13
done	553	13
0	13	13
1	21	13
2	45	13
3	96	13
4	168	13
5	258	13
6	357	13
7	473	13
8	525	13
9	551	13
10	553	13
done	553	13
0	9	9
1	15	9
2	29	9
3	63	9
4	97	9
5	121	9
done	121	9
0	9	9
1	15	9
2	29	9
3	63	9
4	97	9
5	121	9
done	121	9
0	12	12
1	18	12
2	24	12
done	24	12
0	11	11
1	18	11
2	31	11
3	43	11
done	43	11
0	10	10
1	19	10
2	40	10
3	84	10
4	118	10
5	141	10
done	141	10
0	10	10
1	18	10
2	43	10
3	105	10
4	215	10
5	434	10
6	1027	10
7	3206	10
done	5000	10
0	15	29
1	42	29
2	159	15
3	667	15
4	3459	13
done	5001	13
0	13	29
1	32	29
2	131	13
3	638	13
4	2878	11
done	5000	11
0	11	21
1	17	21
2	31	21
3	65	21
4	97	21
5	115	21
done	115	21
0	10	10
1	16	10
2	30	10
3	62	10
4	94	10
5	118	10
done	118	10
0	11	29
1	27	29
2	105	11
3	607	11
4	3002	11
done	5000	11
0	10	10
1	16	10
2	30	10
3	62	10
4	94	10
5	118	10
done	118	10
0	10	10
1	16	10
2	30	10
3	62	10
4	94	10
5	118	10
done	118	10
0	11	13
1	19	13
2	40	13
3	90	13
4	172	13
5	245	13
6	249	13
done	249	13
0	10	10
1	16	10
2	30	10
3	64	10
4	96	10
5	113	10
done	113	10
0	9	9
1	17	7
2	37	7
3	67	7
4	99	7
5	124	7
done	124	7
0	3	3
1	4	3
done	4	3
0	12	13
1	34	13
2	86	13
3	233	13
4	928	13
5	3576	13
done	5001	13
0	11	15
1	28	15
2	64	15
3	177	15
4	577	15
5	1212	15
6	2041	15
7	3199	15
done	5000	15
0	9	9
1	15	9
2	29	9
3	63	9
4	97	9
5	121	9
done	121	9
0	9	9
1	15	9
2	29	9
3	63	9
4	97	9
5	121	9
done	121	9
0	12	12
1	18	12
2	24	12
done	24	12
0	11	11
1	18	11
2	31	11
3	43	11
done	43	11
0	10	10
1	19	10
2	40	10
3	84	10
4	118	10
5	141	10
done	141	10
0	10	10
1	18	10
2	43	10
3	105	10
4	215	10
5	434	10
6	1027	10
7	3206	10
done	5000	10
0	15	29
1	42	29
2	159	15
3	667	15
4	3459	13
done	5001	13
0	13	29
1	32	29
2	131	13
3	638	13
4	2878	11
done	5000	11
0	11	21
1	17	21
2	31	21
3	65	21
4	97	21
5	115	21
done	115	21
0	10	10
1	16	10
2	30	10
3	62	10
4	94	10
5	118	10
done	118	10
0	11	29
1	27	29
2	105	11
3	607	11
4	3002	11
done	5000	11
0	10	10
1	16	10
2	30	10
3	62	10
4	94	10
5	118	10
done	118	10
0	10	10
1	16	10
2	30	10
3	62	10
4	94	10
5	118	10
done	118	10
0	11	13
1	19	13
2	40	13
3	90	13
4	172	13
5	245	13
6	249	13
done	249	13
0	10	10
1	16	10
2	30	10
3	64	10
4	96	10
5	113	10
done	113	10
0	9	9
1	17	7
2	37	7
3	67	7
4	99	7
5	124	7
done	124	7
0	3	3
1	4	3
done	4	3
0	12	13
1	34	13
2	86	13
3	233	13
4	928	13
5	3576	13
done	5001	13
0	11	15
1	28	15
2	64	15
3	177	15
4	577	15
5	1212	15
6	2041	15
7	3199	15
done	5000	15
0	1	1
1	3	1
done	3	1
0	12	12
1	27	12
2	76	12
3	193	12
4	308	12
5	368	12
done	368	12
0	12	12
1	27	12
2	76	12
3	193	12
4	308	12
5	368	12
done	368	12
0	1	1
1	3	1
done	3	1
0	12	12
1	21	12
2	57	12
3	161	12
4	294	12
5	387	12
done	387	12
0	12	12
1	21	12
2	57	12
3	161	12
4	294	12
5	387	12
done	387	12
0	1	1
done	1	1
0	11	13
1	23	13
2	47	13
3	79	11
4	94	9
5	100	9
done	100	9
0	11	13
1	23	13
2	47	13
3	79	11
4	94	9
5	100	9
done	100	9
0	1	1
done	1	1
0	11	13
1	22	13
2	48	13
3	87	9
4	103	9
5	105	9
done	105	9
0	11	13
1	22	13
2	48	13
3	87	9
4	103	9
5	105	9
done	105	9

prune311.0ms

Filtered

54 candidates to 66 candidates (-22.2%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	47	19	66
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	48	19	67

Merged error: 43.0b

Counts

67 → 19

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ (* a 2.0) 1.0) b)
0.2b	(* (* x 1) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
3.2b	(* (* (+ (* a 2.0) 1.0) b) t)
36.2b	(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 66

Calls

4 calls:

8.0ms	(* (+ (* a 2.0) 1.0) b)
6.0ms	(* (* x 1) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
9.0ms	(* (* (+ (* a 2.0) 1.0) b) t)
3.0ms	(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

series60.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* (+ (* a 2.0) 1.0) b)
30.0ms	(* (* x 1) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
10.0ms	(* (* (+ (* a 2.0) 1.0) b) t)
14.0ms	(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

simplify1.2min

Counts

78 → 78

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	13	13
1	21	13
2	45	13
3	96	13
4	168	13
5	258	13
6	357	13
7	473	13
8	525	13
9	551	13
10	553	13
done	553	13
0	13	13
1	21	13
2	45	13
3	96	13
4	168	13
5	258	13
6	357	13
7	473	13
8	525	13
9	551	13
10	553	13
done	553	13
0	14	27
1	22	27
2	46	27
3	99	27
4	173	27
5	261	27
6	353	27
7	467	27
8	519	27
9	545	27
10	547	27
done	547	27
0	13	13
1	21	13
2	45	13
3	96	13
4	168	13
5	258	13
6	357	13
7	473	13
8	525	13
9	551	13
10	553	13
done	553	13
0	14	38
1	23	38
2	49	14
3	105	14
4	187	14
5	289	14
6	422	14
7	605	14
8	858	14
9	1800	14
done	5001	14
0	13	13
1	21	13
2	45	13
3	96	13
4	168	13
5	258	13
6	357	13
7	473	13
8	525	13
9	551	13
10	553	13
done	553	13
0	13	13
1	21	13
2	45	13
3	96	13
4	168	13
5	258	13
6	357	13
7	473	13
8	525	13
9	551	13
10	553	13
done	553	13
0	9	9
1	15	9
2	29	9
3	63	9
4	97	9
5	121	9
done	121	9
0	9	9
1	15	9
2	29	9
3	63	9
4	97	9
5	121	9
done	121	9
0	12	12
1	18	12
2	24	12
done	24	12
0	11	11
1	18	11
2	31	11
3	43	11
done	43	11
0	10	10
1	19	10
2	40	10
3	84	10
4	118	10
5	141	10
done	141	10
0	10	10
1	18	10
2	43	10
3	105	10
4	215	10
5	434	10
6	1027	10
7	3206	10
done	5000	10
0	15	29
1	42	29
2	159	15
3	667	15
4	3459	13
done	5001	13
0	13	29
1	32	29
2	131	13
3	638	13
4	2878	11
done	5000	11
0	11	21
1	17	21
2	31	21
3	65	21
4	97	21
5	115	21
done	115	21
0	10	10
1	16	10
2	30	10
3	62	10
4	94	10
5	118	10
done	118	10
0	11	29
1	27	29
2	105	11
3	607	11
4	3002	11
done	5000	11
0	10	10
1	16	10
2	30	10
3	62	10
4	94	10
5	118	10
done	118	10
0	10	10
1	16	10
2	30	10
3	62	10
4	94	10
5	118	10
done	118	10
0	11	13
1	19	13
2	40	13
3	90	13
4	172	13
5	245	13
6	249	13
done	249	13
0	10	10
1	16	10
2	30	10
3	64	10
4	96	10
5	113	10
done	113	10
0	9	9
1	17	7
2	37	7
3	67	7
4	99	7
5	124	7
done	124	7
0	3	3
1	4	3
done	4	3
0	12	13
1	34	13
2	86	13
3	233	13
4	928	13
5	3576	13
done	5001	13
0	11	15
1	28	15
2	64	15
3	177	15
4	577	15
5	1212	15
6	2041	15
7	3199	15
done	5000	15
0	16	16
1	30	14
2	56	14
3	112	14
4	188	14
5	277	14
6	370	14
7	490	14
8	542	14
9	568	14
10	570	14
done	570	14
0	16	16
1	30	14
2	56	14
3	112	14
4	188	14
5	277	14
6	370	14
7	490	14
8	542	14
9	568	14
10	570	14
done	570	14
0	18	18
1	30	16
2	63	16
3	114	16
4	188	16
5	279	16
6	372	16
7	492	16
8	544	16
9	570	16
10	572	16
done	572	16
0	19	19
1	33	18
2	63	16
3	121	16
4	193	16
5	280	16
6	378	16
7	500	16
8	552	16
9	578	16
10	580	16
done	580	16
0	18	18
1	32	16
2	62	16
3	120	16
4	196	16
5	281	16
6	376	16
7	496	16
8	548	16
9	574	16
10	576	16
done	576	16
0	17	17
1	34	15
2	61	15
3	120	15
4	205	15
5	299	15
6	405	15
7	523	15
8	575	15
9	601	15
10	603	15
done	603	15
0	17	17
1	33	15
2	65	15
3	136	15
4	248	15
5	428	15
6	812	15
7	1841	15
done	5000	15
0	22	50
1	45	46
2	116	18
3	252	18
4	419	18
5	723	16
6	1416	16
7	3775	16
done	5000	16
0	20	50
1	47	44
2	105	18
3	246	18
4	448	16
5	762	16
6	1499	16
7	3885	16
done	5001	16
0	18	35
1	32	31
2	58	31
3	114	31
4	186	31
5	267	31
6	370	31
7	494	31
8	546	31
9	572	31
10	574	31
done	574	31
0	17	17
1	31	15
2	57	15
3	113	15
4	189	15
5	277	15
6	370	15
7	496	15
8	548	15
9	574	15
10	576	15
done	576	15
0	18	50
1	42	44
2	106	16
3	230	16
4	363	16
5	524	16
6	870	16
7	1700	16
8	4306	16
done	5000	16
0	17	17
1	31	15
2	57	15
3	113	15
4	189	15
5	277	15
6	370	15
7	496	15
8	548	15
9	574	15
10	576	15
done	576	15
0	17	17
1	31	15
2	57	15
3	113	15
4	189	15
5	277	15
6	370	15
7	496	15
8	548	15
9	574	15
10	576	15
done	576	15
0	18	31
1	34	29
2	64	29
3	128	29
4	205	29
5	282	29
6	390	29
7	508	29
8	560	29
9	586	29
10	588	29
done	588	29
0	17	17
1	31	15
2	57	15
3	113	15
4	187	15
5	278	15
6	386	15
7	500	15
8	552	15
9	578	15
10	580	15
done	580	15
0	4	5
1	10	1
done	10	1
0	14	14
1	25	12
2	52	12
3	105	12
4	181	12
5	258	12
6	370	12
7	494	12
8	546	12
9	572	12
10	574	12
done	574	12
0	7	7
1	10	7
2	18	7
3	26	7
done	26	7
0	9	9
1	12	9
done	12	9
0	8	8
1	14	8
2	23	8
3	31	8
done	31	8
0	8	8
1	13	8
2	31	8
3	55	8
4	98	8
5	198	8
6	526	8
7	1566	8
done	5001	8
0	11	23
1	32	23
2	109	11
3	373	11
4	1520	9
done	5001	9
0	9	17
1	12	17
2	20	17
3	28	17
done	28	17
0	8	8
1	11	8
2	19	8
3	27	8
done	27	8
0	9	23
1	22	23
2	83	9
3	329	9
4	1061	9
5	3587	9
done	5000	9
0	8	8
1	11	8
2	19	8
3	27	8
done	27	8
0	8	8
1	11	8
2	19	8
3	27	8
done	27	8
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	9	11
1	14	11
2	24	11
3	44	11
4	58	11
5	66	11
done	66	11
0	8	8
1	11	8
2	19	8
3	27	8
done	27	8
0	7	7
1	12	5
2	23	5
3	39	5
4	49	5
done	49	5
0	8	8
1	11	8
done	11	8
0	8	8
1	11	8
done	11	8
0	7	7
1	10	7
2	18	7
3	26	7
done	26	7
0	10	11
1	29	11
2	75	11
3	199	11
4	559	11
5	1559	11
done	5001	11
0	9	13
1	23	13
2	51	13
3	121	13
4	290	13
5	490	13
6	743	13
7	1310	13
8	4463	13
done	5000	13
0	1	1
1	3	1
done	3	1
0	12	12
1	21	12
2	57	12
3	161	12
4	294	12
5	387	12
done	387	12
0	12	12
1	21	12
2	57	12
3	161	12
4	294	12
5	387	12
done	387	12
0	1	1
done	1	1
0	11	13
1	23	13
2	47	13
3	79	11
4	94	9
5	100	9
done	100	9
0	11	13
1	23	13
2	47	13
3	79	11
4	94	9
5	100	9
done	100	9
0	1	1
done	1	1
0	14	14
1	24	14
2	60	14
3	162	14
4	295	14
5	441	14
done	441	14
0	14	14
1	24	14
2	60	14
3	162	14
4	295	14
5	441	14
done	441	14
0	8	9
1	14	9
2	24	7
3	26	7
done	26	7
0	8	9
1	14	9
2	24	7
3	26	7
done	26	7
0	8	9
1	14	9
2	24	7
3	26	7
done	26	7

prune361.0ms

Filtered

61 candidates to 78 candidates (-27.9%)

Pruning

35 alts after pruning (35 fresh and 0 done)

	Pruned	Kept	Total
New	59	19	78
Fresh	2	16	18
Picked	1	0	1
Done	0	0	0
Total	62	35	97

Merged error: 41.1b

Counts

97 → 35

localize1.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts: 0 → 0

prune194.0ms

Pruning

35 alts after pruning (34 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	34	34
Picked	1	1
Done	0	0
Total	35	35

Merged error: 41.1b

Counts

35 → 35

localize14.0ms

Local error

Found 3 expressions with local error:

0.2b	(* (* x 1) (cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0)))
2.5b	(* (+ (* a 2.0) 1.0) (* b t))
36.2b	(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 46

Calls

3 calls:

9.0ms	(* (* x 1) (cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0)))
9.0ms	(* (+ (* a 2.0) 1.0) (* b t))
3.0ms	(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

series48.0ms

Counts

3 → 9

Calls

3 calls:

25.0ms	(* (* x 1) (cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0)))
10.0ms	(* (+ (* a 2.0) 1.0) (* b t))
13.0ms	(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

simplify1.0min

Counts

55 → 55

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	13	13
1	21	13
2	44	13
3	100	13
4	155	13
5	202	13
6	338	13
7	470	13
8	532	13
9	556	13
10	558	13
done	558	13
0	13	13
1	21	13
2	44	13
3	100	13
4	155	13
5	202	13
6	338	13
7	470	13
8	532	13
9	556	13
10	558	13
done	558	13
0	14	27
1	22	27
2	45	27
3	101	27
4	158	27
5	205	27
6	337	27
7	476	27
8	538	27
9	562	27
10	564	27
done	564	27
0	13	13
1	21	13
2	44	13
3	100	13
4	155	13
5	202	13
6	338	13
7	470	13
8	532	13
9	556	13
10	558	13
done	558	13
0	14	38
1	23	38
2	48	14
3	111	14
4	180	14
5	237	14
6	390	14
7	589	14
8	853	14
9	1805	14
done	5000	14
0	13	13
1	21	13
2	44	13
3	100	13
4	155	13
5	202	13
6	338	13
7	470	13
8	532	13
9	556	13
10	558	13
done	558	13
0	13	13
1	21	13
2	44	13
3	100	13
4	155	13
5	202	13
6	338	13
7	470	13
8	532	13
9	556	13
10	558	13
done	558	13
0	9	9
1	15	9
2	29	9
3	63	9
4	89	9
5	105	9
done	105	9
0	9	9
1	15	9
2	29	9
3	63	9
4	89	9
5	105	9
done	105	9
0	12	12
1	18	12
2	24	12
done	24	12
0	11	11
1	18	11
2	23	11
3	27	11
done	27	11
0	10	10
1	19	10
2	40	10
3	84	10
4	114	10
5	126	10
done	126	10
0	10	10
1	18	10
2	44	10
3	109	10
4	224	10
5	463	10
6	1366	10
7	4769	10
done	5000	10
0	15	29
1	42	29
2	160	15
3	701	15
4	4047	13
done	5000	13
0	13	29
1	44	29
2	164	13
3	731	13
4	4143	11
done	5001	11
0	11	21
1	17	21
2	31	21
3	65	21
4	89	21
5	103	21
done	103	21
0	10	10
1	16	10
2	30	10
3	62	10
4	86	10
5	100	10
done	100	10
0	11	29
1	27	29
2	130	11
3	744	11
4	3953	11
done	5000	11
0	10	10
1	16	10
2	30	10
3	62	10
4	86	10
5	100	10
done	100	10
0	10	10
1	16	10
2	30	10
3	62	10
4	86	10
5	100	10
done	100	10
0	7	7
1	10	7
2	18	7
3	26	7
done	26	7
0	10	10
1	16	10
2	22	10
3	24	10
done	24	10
0	10	10
1	16	10
2	22	10
3	24	10
done	24	10
0	9	9
1	15	9
2	29	9
3	63	9
4	89	9
5	105	9
done	105	9
0	12	13
1	34	13
2	86	13
3	233	13
4	903	13
5	3323	13
done	5001	13
0	11	15
1	28	15
2	64	15
3	178	15
4	557	15
5	1248	15
6	2172	15
7	3579	15
done	5000	15
0	16	16
1	30	14
2	55	14
3	116	14
4	177	14
5	222	14
6	356	14
7	494	14
8	556	14
9	580	14
10	582	14
done	582	14
0	16	16
1	30	14
2	55	14
3	116	14
4	177	14
5	222	14
6	356	14
7	494	14
8	556	14
9	580	14
10	582	14
done	582	14
0	18	18
1	30	16
2	62	16
3	118	16
4	183	16
5	230	16
6	364	16
7	500	16
8	562	16
9	586	16
10	588	16
done	588	16
0	19	19
1	33	18
2	62	16
3	127	16
4	190	16
5	237	16
6	369	16
7	513	16
8	575	16
9	599	16
10	601	16
done	601	16
0	18	18
1	32	16
2	61	16
3	124	16
4	189	16
5	236	16
6	368	16
7	511	16
8	573	16
9	597	16
10	599	16
done	599	16
0	17	17
1	34	15
2	60	15
3	124	15
4	196	15
5	255	15
6	389	15
7	532	15
8	594	15
9	618	15
10	620	15
done	620	15
0	17	17
1	33	15
2	64	15
3	140	15
4	235	15
5	375	15
6	787	15
7	1848	15
done	5001	15
0	22	50
1	45	46
2	115	18
3	251	18
4	407	18
5	686	16
6	1417	16
7	3861	16
done	5001	16
0	20	50
1	47	44
2	104	18
3	250	18
4	428	16
5	701	16
6	1430	16
7	3913	16
done	5001	16
0	18	35
1	32	31
2	57	31
3	118	31
4	175	31
5	222	31
6	356	31
7	495	31
8	557	31
9	581	31
10	583	31
done	583	31
0	17	17
1	31	15
2	56	15
3	117	15
4	178	15
5	229	15
6	365	15
7	510	15
8	572	15
9	596	15
10	598	15
done	598	15
0	18	50
1	42	44
2	105	16
3	236	16
4	372	16
5	487	16
6	874	16
7	1723	16
8	4346	16
done	5001	16
0	17	17
1	31	15
2	56	15
3	117	15
4	178	15
5	229	15
6	365	15
7	510	15
8	572	15
9	596	15
10	598	15
done	598	15
0	17	17
1	31	15
2	56	15
3	117	15
4	178	15
5	229	15
6	365	15
7	510	15
8	572	15
9	596	15
10	598	15
done	598	15
0	18	31
1	34	29
2	63	29
3	132	29
4	198	29
5	245	29
6	379	29
7	516	29
8	578	29
9	602	29
10	604	29
done	604	29
0	17	17
1	31	15
2	56	15
3	117	15
4	178	15
5	229	15
6	365	15
7	510	15
8	572	15
9	596	15
10	598	15
done	598	15
0	4	5
1	10	1
done	10	1
0	14	14
1	25	12
2	51	12
3	109	12
4	166	12
5	215	12
6	347	12
7	489	12
8	551	12
9	575	12
10	577	12
done	577	12
0	1	1
1	3	1
done	3	1
0	12	12
1	21	12
2	57	12
3	161	12
4	294	12
5	387	12
done	387	12
0	12	12
1	21	12
2	57	12
3	161	12
4	294	12
5	387	12
done	387	12
0	1	1
done	1	1
0	11	13
1	23	13
2	47	13
3	79	11
4	94	9
5	100	9
done	100	9
0	11	13
1	23	13
2	47	13
3	79	11
4	94	9
5	100	9
done	100	9
0	1	1
done	1	1
0	14	14
1	24	14
2	60	14
3	162	14
4	295	14
5	441	14
done	441	14
0	14	14
1	24	14
2	60	14
3	162	14
4	295	14
5	441	14
done	441	14

prune99.0ms

Filtered

43 candidates to 55 candidates (-27.9%)

Pruning

38 alts after pruning (37 fresh and 1 done)

	Pruned	Kept	Total
New	46	9	55
Fresh	5	28	33
Picked	1	0	1
Done	0	1	1
Total	52	38	90

Merged error: 41.0b

Counts

90 → 38

regimes3.4s

Accuracy

0% (4.4b remaining)

Error of 44.3b against oracle of 39.9b and baseline of 44.3b

bsearch0.0ms

simplify0.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	1
done	1	1

end0.0ms

sample5.7s

Algorithm

intervals

Results

2.3s	1903×	body	2560	valid
1.6s	2238×	body	1280	valid
601.0ms	1182×	body	640	valid
223.0ms	1887×	body	80	valid
183.0ms	517×	body	320	valid
78.0ms	33×	body	5120	valid
64.0ms	240×	body	160	valid

Details

sample194.0ms

simplify1.8s

prune6.0ms

localize29.0ms

rewrite27.0ms

series48.0ms

simplify55.8s

prune311.0ms

localize15.0ms

rewrite28.0ms

series60.0ms

simplify1.2min

prune361.0ms

localize1.0ms

rewrite0.0ms

series0.0ms

simplify0.0ms

prune194.0ms

localize14.0ms

rewrite23.0ms

series48.0ms

simplify1.0min

prune99.0ms

regimes3.4s

bsearch0.0ms

simplify0.0ms

end0.0ms

sample5.7s

Profiling