Details

sample53.0ms

Algorithm

intervals

Results

20.0ms	87×	body	1280	valid
9.0ms	63×	body	640	valid
4.0ms	19×	body	2560	valid
3.0ms	63×	body	80	valid
2.0ms	17×	body	320	valid
0.0ms	7×	body	160	valid

simplify724.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	12
1	18	12
2	42	12
3	82	12
4	160	12
5	281	12
6	507	12
7	651	12
8	676	12
done	676	12

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

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ 1.0 (+ (* x y) z))
0.0b	(+ (* x y) z)
9.9b	(- (fma x y z) (+ 1.0 (+ (* x y) z)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-log-exp`
10×	`*-un-lft-identity`
7×	`sum-log`
5×	`add-sqr-sqrt`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `diff-log` `add-cbrt-cube`
2×	`+-commutative` `flip3-+` `flip-+` `distribute-lft-out` `distribute-lft-out--`
1×	`sub-neg` `associate-+r+` `flip3--` `flip--` `associate--r+` `difference-of-squares`

Counts

3 → 43

Calls

3 calls:

6.0ms	(+ 1.0 (+ (* x y) z))
9.0ms	(+ (* x y) z)
9.0ms	(- (fma x y z) (+ 1.0 (+ (* x y) z)))

series25.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(+ 1.0 (+ (* x y) z))
6.0ms	(+ (* x y) z)
12.0ms	(- (fma x y z) (+ 1.0 (+ (* x y) z)))

simplify1.2min

Counts

52 → 52

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	16
1	24	15
2	53	14
3	108	13
4	244	13
5	665	13
6	2345	13
done	5001	13
0	12	15
1	22	14
2	44	13
3	85	13
4	180	13
5	465	13
6	1429	13
done	5001	13
0	11	14
1	21	13
2	44	13
3	109	13
4	220	13
5	466	13
6	1144	13
7	4096	13
done	5000	13
0	10	13
1	19	13
2	43	13
3	83	13
4	166	13
5	287	13
6	515	13
7	660	13
8	685	13
done	685	13
0	10	13
1	22	13
2	57	13
3	132	13
4	302	13
5	628	13
6	1343	13
7	3360	13
done	5000	13
0	11	27
1	20	27
2	44	27
3	84	27
4	167	27
5	290	27
6	518	27
7	660	27
8	683	27
done	683	27
0	10	13
1	19	13
2	43	13
3	83	13
4	166	13
5	287	13
6	515	13
7	660	13
8	685	13
done	685	13
0	11	38
1	21	38
2	59	14
3	192	14
4	1119	14
done	5001	14
0	10	13
1	19	13
2	43	13
3	83	13
4	166	13
5	287	13
6	515	13
7	660	13
8	685	13
done	685	13
0	10	13
1	19	13
2	43	13
3	83	13
4	166	13
5	287	13
6	515	13
7	660	13
8	685	13
done	685	13
0	12	16
1	32	16
2	88	16
3	372	16
4	1921	16
done	5000	16
0	13	38
1	37	30
2	119	30
3	497	30
4	3290	30
done	5001	30
0	8	8
1	16	8
2	30	8
3	56	8
4	65	8
5	80	8
6	106	8
7	141	8
8	158	8
9	165	8
10	168	8
done	168	8
0	11	25
1	27	25
2	94	25
3	392	25
4	1960	25
done	5000	25
0	9	12
1	17	12
2	37	12
3	59	12
4	60	12
done	60	12
0	11	14
1	17	14
2	23	14
3	25	14
done	25	14
0	11	14
1	18	14
2	25	14
3	27	14
done	27	14
0	9	12
1	18	12
2	42	12
3	82	12
4	160	12
5	281	12
6	507	12
7	651	12
8	676	12
done	676	12
0	9	12
1	18	12
2	42	12
3	82	12
4	160	12
5	281	12
6	507	12
7	651	12
8	676	12
done	676	12
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	16	8
2	30	8
3	56	8
4	65	8
5	80	8
6	106	8
7	141	8
8	158	8
9	165	8
10	168	8
done	168	8
0	7	7
1	13	6
2	20	6
3	32	6
4	67	6
5	154	6
6	405	6
7	1261	6
8	4687	6
done	5000	6
0	6	6
1	8	6
done	8	6
0	6	6
1	11	6
2	16	6
3	23	6
4	41	6
5	95	6
6	220	6
7	590	6
8	1950	6
done	5000	6
0	7	13
1	9	13
done	9	13
0	6	6
1	8	6
done	8	6
0	7	17
1	22	17
2	70	7
3	223	7
4	603	7
5	1509	7
6	3228	7
done	5001	7
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	8	9
1	26	9
2	64	9
3	141	9
4	268	9
5	709	9
6	2669	9
done	5000	9
0	9	17
1	27	15
2	63	15
3	107	13
4	181	13
5	307	13
6	470	13
7	527	13
8	626	13
9	730	13
done	730	13
0	7	11
1	20	11
2	38	11
3	53	11
4	94	11
5	171	11
6	259	11
7	487	11
8	1905	11
done	5001	11
0	5	5
1	8	5
2	9	5
done	9	5
0	10	10
1	19	9
2	38	8
3	69	8
4	140	8
5	331	8
6	908	8
7	2906	8
done	5001	8
0	9	9
1	17	8
2	31	8
3	50	8
4	84	8
5	184	8
6	456	8
7	1321	8
8	4526	8
done	5000	8
0	8	8
1	13	8
2	19	8
done	19	8
0	8	8
1	16	8
2	29	8
3	45	8
4	52	8
5	86	8
6	188	8
7	461	8
8	1335	8
9	4531	8
done	5000	8
0	9	17
1	14	17
2	20	17
done	20	17
0	8	8
1	13	8
2	19	8
done	19	8
0	9	23
1	27	23
2	101	9
3	445	9
4	2476	9
done	5000	9
0	8	8
1	13	8
2	19	8
done	19	8
0	8	8
1	13	8
2	19	8
done	19	8
0	10	11
1	26	11
2	51	11
3	124	11
4	353	11
5	1068	11
6	3351	11
done	5001	11
0	11	23
1	33	17
2	95	17
3	279	17
4	918	17
5	2857	17
done	5001	17
0	9	15
1	22	15
2	63	15
3	193	15
4	578	15
5	1688	15
done	5000	15
0	7	7
1	13	7
2	22	7
3	38	7
4	48	7
5	64	7
6	89	7
7	112	7
8	119	7
9	126	7
10	131	7
done	131	7
0	7	7
1	12	7
2	18	7
done	18	7
0	5	5
1	7	5
done	7	5
0	9	12
1	18	12
2	42	12
3	88	12
4	164	12
5	289	12
6	516	12
7	655	12
8	673	12
done	673	12
0	9	12
1	18	12
2	42	12
3	88	12
4	164	12
5	289	12
6	516	12
7	655	12
8	673	12
done	673	12
0	9	12
1	18	12
2	42	12
3	88	12
4	164	12
5	289	12
6	516	12
7	655	12
8	673	12
done	673	12
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	7	7
1	12	7
2	18	7
done	18	7
0	7	7
1	12	7
2	18	7
done	18	7
0	7	7
1	12	7
2	18	7
done	18	7

prune87.0ms

Filtered

35 candidates to 52 candidates (-48.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	45	7	52
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	46	7	53

Merged error: 46.2b

Counts

53 → 7

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x y) z)
9.9b	(- (- (fma x y z) 1.0) (+ (* x y) z))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-log-exp`
7×	`*-un-lft-identity`
6×	`diff-log`
4×	`add-sqr-sqrt` `frac-sub`
3×	`flip3--` `flip3-+` `sum-log` `flip--` `flip-+` `distribute-lft-out--`
2×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `associate--l+` `add-cbrt-cube`
1×	`+-commutative` `associate--l-` `associate--r+` `difference-of-squares`

Counts

2 → 37

Calls

2 calls:

5.0ms	(+ (* x y) z)
11.0ms	(- (- (fma x y z) 1.0) (+ (* x y) z))

series17.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(+ (* x y) z)
11.0ms	(- (- (fma x y z) 1.0) (+ (* x y) z))

simplify1.2min

Counts

43 → 43

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	16
1	25	14
2	50	13
3	109	13
4	288	13
5	866	13
6	3300	13
done	5000	13
0	12	15
1	21	14
2	39	13
3	81	13
4	199	13
5	547	13
6	1871	13
done	5000	13
0	12	15
1	25	14
2	45	13
3	115	13
4	341	13
5	1106	13
6	4635	13
done	5000	13
0	11	14
1	23	13
2	45	13
3	121	13
4	328	13
5	914	13
6	3260	13
done	5001	13
0	10	13
1	20	13
2	46	13
3	112	13
4	210	13
5	358	13
6	513	13
7	619	13
8	639	13
9	640	13
done	640	13
0	10	13
1	23	13
2	64	13
3	177	13
4	416	13
5	922	13
6	2321	13
done	5000	13
0	11	27
1	21	27
2	47	27
3	113	27
4	214	27
5	359	27
6	514	27
7	620	27
8	642	27
9	643	27
done	643	27
0	10	13
1	20	13
2	46	13
3	112	13
4	210	13
5	358	13
6	513	13
7	619	13
8	639	13
9	640	13
done	640	13
0	11	38
1	22	38
2	62	14
3	259	14
4	1421	14
done	5001	14
0	10	13
1	20	13
2	46	13
3	112	13
4	210	13
5	358	13
6	513	13
7	619	13
8	639	13
9	640	13
done	640	13
0	10	13
1	20	13
2	46	13
3	112	13
4	210	13
5	358	13
6	513	13
7	619	13
8	639	13
9	640	13
done	640	13
0	26	59
1	92	55
2	322	55
3	1681	50
done	5000	50
0	17	38
1	49	34
2	162	34
3	750	29
4	2861	29
done	5000	29
0	22	49
1	60	47
2	156	47
3	650	38
4	3493	38
done	5001	38
0	13	26
1	24	24
2	53	24
3	166	21
4	461	21
5	1111	21
6	2207	21
7	4209	21
done	5000	21
0	22	48
1	76	46
2	278	46
3	1263	37
done	5000	37
0	13	24
1	39	22
2	126	22
3	409	20
4	1043	20
5	2170	20
6	3923	20
done	5000	20
0	17	38
1	40	38
2	109	38
3	436	31
4	1973	25
done	5001	25
0	9	12
1	14	12
2	29	12
3	66	12
4	138	12
5	198	12
6	236	12
7	322	12
8	543	12
9	912	12
10	1172	12
11	1184	12
done	1184	12
0	12	16
1	31	16
2	82	16
3	240	16
4	815	16
5	3042	16
done	5000	16
0	13	38
1	36	32
2	118	32
3	406	31
4	1858	31
done	5000	31
0	6	6
1	11	6
2	19	6
3	20	6
done	20	6
0	11	25
1	26	25
2	82	25
3	302	25
4	1218	25
done	5000	25
0	9	12
1	18	12
2	41	12
3	87	12
4	144	12
5	259	12
6	338	12
7	454	12
8	603	12
9	615	12
done	615	12
0	11	14
1	16	14
2	17	14
done	17	14
0	11	14
1	17	14
2	19	14
done	19	14
0	9	12
1	19	12
2	45	12
3	111	12
4	211	12
5	355	12
6	508	12
7	614	12
8	636	12
9	637	12
done	637	12
0	9	12
1	19	12
2	45	12
3	111	12
4	211	12
5	355	12
6	508	12
7	614	12
8	636	12
9	637	12
done	637	12
0	8	10
1	15	10
2	32	10
3	48	10
4	65	10
5	83	10
6	98	10
7	124	10
8	132	10
9	136	10
10	140	10
done	140	10
0	8	8
1	14	8
2	25	8
3	48	8
4	67	8
5	89	8
6	123	8
7	139	8
8	147	8
9	153	8
done	153	8
0	8	8
1	14	8
2	25	8
3	48	8
4	67	8
5	89	8
6	123	8
7	139	8
8	147	8
9	153	8
done	153	8
0	7	7
1	12	7
2	18	7
done	18	7
0	6	6
1	11	6
2	19	6
3	20	6
done	20	6
0	7	7
1	13	6
2	20	6
3	32	6
4	67	6
5	154	6
6	405	6
7	1261	6
8	4687	6
done	5000	6
0	6	6
1	8	6
done	8	6
0	6	6
1	11	6
2	16	6
3	23	6
4	41	6
5	95	6
6	220	6
7	590	6
8	1950	6
done	5000	6
0	7	13
1	9	13
done	9	13
0	6	6
1	8	6
done	8	6
0	7	17
1	22	17
2	70	7
3	223	7
4	603	7
5	1509	7
6	3228	7
done	5001	7
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	8	9
1	26	9
2	64	9
3	141	9
4	268	9
5	709	9
6	2669	9
done	5000	9
0	9	17
1	27	15
2	63	15
3	107	13
4	181	13
5	307	13
6	470	13
7	527	13
8	626	13
9	730	13
done	730	13
0	7	11
1	20	11
2	38	11
3	53	11
4	94	11
5	171	11
6	259	11
7	487	11
8	1905	11
done	5001	11
0	5	5
1	8	5
2	9	5
done	9	5
0	9	12
1	18	12
2	42	12
3	88	12
4	164	12
5	289	12
6	516	12
7	655	12
8	673	12
done	673	12
0	9	12
1	18	12
2	42	12
3	88	12
4	164	12
5	289	12
6	516	12
7	655	12
8	673	12
done	673	12
0	9	12
1	18	12
2	42	12
3	88	12
4	164	12
5	289	12
6	516	12
7	655	12
8	673	12
done	673	12
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5

prune88.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	40	3	43
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	40	10	50

Merged error: 46.0b

Counts

50 → 10

localize10.0ms

Local error

Found 2 expressions with local error:

0.5b	(- (- (- (fma x y z) 1.0) (* x y)) z)
10.3b	(- (- (fma x y z) 1.0) (* x y))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-log-exp`
9×	`diff-log`
8×	`associate--l+`
5×	`sub-neg`
4×	`add-sqr-sqrt` `*-un-lft-identity`
2×	`pow1` `add-exp-log` `associate--l-` `add-cube-cbrt` `flip3--` `add-cbrt-cube` `flip--`
1×	`distribute-lft-out--` `difference-of-squares`

Counts

2 → 37

Calls

2 calls:

11.0ms	(- (- (- (fma x y z) 1.0) (* x y)) z)
7.0ms	(- (- (fma x y z) 1.0) (* x y))

series23.0ms

Counts

2 → 6

Calls

2 calls:

11.0ms	(- (- (- (fma x y z) 1.0) (* x y)) z)
12.0ms	(- (- (fma x y z) 1.0) (* x y))

simplify40.9s

Counts

43 → 43

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	13
1	18	12
2	33	11
3	60	11
4	142	11
5	379	11
6	1244	11
done	5001	11
0	10	12
1	20	11
2	37	11
3	84	11
4	193	11
5	514	11
6	1974	11
done	5000	11
0	9	11
1	16	11
2	33	11
3	49	11
4	66	11
5	84	11
6	99	11
7	125	11
8	133	11
9	137	11
10	141	11
done	141	11
0	9	11
1	19	11
2	49	11
3	96	11
4	201	11
5	534	11
6	1895	11
done	5000	11
0	10	23
1	17	23
2	34	23
3	50	23
4	67	23
5	85	23
6	100	23
7	126	23
8	134	23
9	138	23
10	142	23
done	142	23
0	9	11
1	16	11
2	33	11
3	49	11
4	66	11
5	84	11
6	99	11
7	125	11
8	133	11
9	137	11
10	141	11
done	141	11
0	10	32
1	18	32
2	49	12
3	192	12
4	979	12
done	5000	12
0	9	11
1	16	11
2	33	11
3	49	11
4	66	11
5	84	11
6	99	11
7	125	11
8	133	11
9	137	11
10	141	11
done	141	11
0	9	11
1	16	11
2	33	11
3	49	11
4	66	11
5	84	11
6	99	11
7	125	11
8	133	11
9	137	11
10	141	11
done	141	11
0	11	14
1	32	14
2	100	14
3	341	14
4	885	14
5	2433	14
done	5000	14
0	12	32
1	31	28
2	80	28
3	183	25
4	415	25
5	1094	25
6	3267	25
done	5000	25
0	4	4
1	9	4
2	11	4
done	11	4
0	10	21
1	25	21
2	70	21
3	185	21
4	498	21
5	1588	21
done	5000	21
0	8	10
1	14	10
2	24	10
3	39	10
4	56	10
5	71	10
6	80	10
7	97	10
8	116	10
9	123	10
10	127	10
11	131	10
done	131	10
0	6	6
1	9	6
2	18	6
3	20	6
done	20	6
0	6	6
1	9	6
2	18	6
3	20	6
done	20	6
0	5	5
1	7	5
done	7	5
0	4	4
1	9	4
2	11	4
done	11	4
0	13	16
1	22	15
2	46	14
3	101	13
4	277	13
5	861	13
6	3298	13
done	5000	13
0	12	15
1	24	14
2	50	13
3	134	13
4	390	13
5	1273	13
done	5001	13
0	11	14
1	23	13
2	63	13
3	175	13
4	474	13
5	1357	13
done	5000	13
0	10	13
1	21	13
2	56	13
3	141	13
4	261	13
5	346	13
6	462	13
7	634	13
8	649	13
done	649	13
0	10	13
1	24	13
2	71	13
3	205	13
4	478	13
5	1075	13
6	3341	13
done	5001	13
0	11	27
1	22	27
2	57	27
3	142	27
4	261	27
5	343	27
6	459	27
7	630	27
8	645	27
done	645	27
0	10	13
1	21	13
2	56	13
3	141	13
4	261	13
5	346	13
6	462	13
7	634	13
8	649	13
done	649	13
0	11	38
1	23	38
2	72	14
3	292	14
4	1610	14
done	5001	14
0	10	13
1	21	13
2	56	13
3	141	13
4	261	13
5	346	13
6	462	13
7	634	13
8	649	13
done	649	13
0	10	13
1	21	13
2	56	13
3	141	13
4	261	13
5	346	13
6	462	13
7	634	13
8	649	13
done	649	13
0	12	16
1	34	16
2	85	16
3	263	16
4	1168	16
done	5001	16
0	13	38
1	27	36
2	69	36
3	247	27
4	999	27
5	4927	27
done	5000	27
0	2	2
done	2	2
0	11	25
1	23	25
2	65	25
3	263	25
4	1288	25
done	5001	25
0	9	12
1	19	12
2	53	12
3	117	12
4	222	12
5	298	12
6	400	12
7	543	12
8	564	12
done	564	12
0	11	14
1	19	14
2	36	14
3	52	14
4	69	14
5	87	14
6	102	14
7	128	14
8	136	14
9	142	14
10	146	14
done	146	14
0	11	14
1	20	14
2	38	14
3	54	14
4	71	14
5	89	14
6	104	14
7	130	14
8	138	14
9	144	14
10	148	14
done	148	14
0	9	12
1	20	12
2	55	12
3	140	12
4	257	12
5	338	12
6	454	12
7	626	12
8	641	12
done	641	12
0	6	6
1	13	6
2	18	6
3	20	6
done	20	6
0	8	8
1	15	8
2	34	8
3	59	8
4	83	8
5	97	8
6	120	8
7	149	8
8	165	8
9	168	8
done	168	8
0	8	8
1	15	8
2	34	8
3	59	8
4	83	8
5	97	8
6	120	8
7	149	8
8	165	8
9	168	8
done	168	8
0	6	6
1	13	6
2	18	6
3	20	6
done	20	6
0	5	5
1	7	5
done	7	5
0	2	2
done	2	2
0	8	10
1	14	10
2	23	10
3	39	10
4	51	10
5	67	10
6	92	10
7	115	10
8	122	10
9	127	10
10	134	10
done	134	10
0	8	10
1	14	10
2	23	10
3	39	10
4	51	10
5	67	10
6	92	10
7	115	10
8	122	10
9	127	10
10	134	10
done	134	10
0	8	10
1	14	10
2	23	10
3	39	10
4	51	10
5	67	10
6	92	10
7	115	10
8	122	10
9	127	10
10	134	10
done	134	10
0	9	12
1	18	12
2	42	12
3	88	12
4	164	12
5	289	12
6	516	12
7	655	12
8	673	12
done	673	12
0	9	12
1	18	12
2	42	12
3	88	12
4	164	12
5	289	12
6	516	12
7	655	12
8	673	12
done	673	12
0	9	12
1	18	12
2	42	12
3	88	12
4	164	12
5	289	12
6	516	12
7	655	12
8	673	12
done	673	12

prune125.0ms

Filtered

27 candidates to 43 candidates (-59.3%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	33	10	43
Fresh	0	8	8
Picked	1	0	1
Done	0	1	1
Total	34	19	53

Merged error: 45.9b

Counts

53 → 19

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(- (- (- (fma x y z) 1.0) (* x y)) z)
10.3b	(- (- (fma x y z) 1.0) (* x y))
10.3b	(- (- (fma x y z) 1.0) (* x y))
10.3b	(- (- (fma x y z) 1.0) (* x y))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-log-exp`
15×	`diff-log`
12×	`associate--l+`
9×	`sub-neg`
6×	`add-sqr-sqrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `associate--l-` `add-cube-cbrt` `flip3--` `add-cbrt-cube` `flip--`
1×	`distribute-lft-out--` `difference-of-squares`

Counts

4 → 69

Calls

4 calls:

10.0ms	(- (- (- (fma x y z) 1.0) (* x y)) z)
8.0ms	(- (- (fma x y z) 1.0) (* x y))
8.0ms	(- (- (fma x y z) 1.0) (* x y))
7.0ms	(- (- (fma x y z) 1.0) (* x y))

series40.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(- (- (- (fma x y z) 1.0) (* x y)) z)
8.0ms	(- (- (fma x y z) 1.0) (* x y))
8.0ms	(- (- (fma x y z) 1.0) (* x y))
9.0ms	(- (- (fma x y z) 1.0) (* x y))

simplify1.2min

Counts

81 → 81

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	13
1	18	12
2	33	11
3	60	11
4	142	11
5	379	11
6	1244	11
done	5001	11
0	10	12
1	20	11
2	37	11
3	84	11
4	193	11
5	514	11
6	1974	11
done	5000	11
0	9	11
1	16	11
2	33	11
3	49	11
4	66	11
5	84	11
6	99	11
7	125	11
8	133	11
9	137	11
10	141	11
done	141	11
0	9	11
1	19	11
2	49	11
3	96	11
4	201	11
5	534	11
6	1895	11
done	5000	11
0	10	23
1	17	23
2	34	23
3	50	23
4	67	23
5	85	23
6	100	23
7	126	23
8	134	23
9	138	23
10	142	23
done	142	23
0	9	11
1	16	11
2	33	11
3	49	11
4	66	11
5	84	11
6	99	11
7	125	11
8	133	11
9	137	11
10	141	11
done	141	11
0	10	32
1	18	32
2	49	12
3	192	12
4	979	12
done	5000	12
0	9	11
1	16	11
2	33	11
3	49	11
4	66	11
5	84	11
6	99	11
7	125	11
8	133	11
9	137	11
10	141	11
done	141	11
0	9	11
1	16	11
2	33	11
3	49	11
4	66	11
5	84	11
6	99	11
7	125	11
8	133	11
9	137	11
10	141	11
done	141	11
0	11	14
1	32	14
2	100	14
3	341	14
4	885	14
5	2433	14
done	5000	14
0	12	32
1	31	28
2	80	28
3	183	25
4	415	25
5	1094	25
6	3267	25
done	5000	25
0	4	4
1	9	4
2	11	4
done	11	4
0	10	21
1	25	21
2	70	21
3	185	21
4	498	21
5	1588	21
done	5000	21
0	8	10
1	14	10
2	24	10
3	39	10
4	56	10
5	71	10
6	80	10
7	97	10
8	116	10
9	123	10
10	127	10
11	131	10
done	131	10
0	6	6
1	9	6
2	18	6
3	20	6
done	20	6
0	6	6
1	9	6
2	18	6
3	20	6
done	20	6
0	5	5
1	7	5
done	7	5
0	4	4
1	9	4
2	11	4
done	11	4
0	11	13
1	18	12
2	33	11
3	60	11
4	142	11
5	379	11
6	1244	11
done	5001	11
0	10	12
1	20	11
2	37	11
3	84	11
4	193	11
5	514	11
6	1974	11
done	5000	11
0	9	11
1	16	11
2	33	11
3	49	11
4	66	11
5	84	11
6	99	11
7	125	11
8	133	11
9	137	11
10	141	11
done	141	11
0	9	11
1	19	11
2	49	11
3	96	11
4	201	11
5	534	11
6	1895	11
done	5000	11
0	10	23
1	17	23
2	34	23
3	50	23
4	67	23
5	85	23
6	100	23
7	126	23
8	134	23
9	138	23
10	142	23
done	142	23
0	9	11
1	16	11
2	33	11
3	49	11
4	66	11
5	84	11
6	99	11
7	125	11
8	133	11
9	137	11
10	141	11
done	141	11
0	10	32
1	18	32
2	49	12
3	192	12
4	979	12
done	5000	12
0	9	11
1	16	11
2	33	11
3	49	11
4	66	11
5	84	11
6	99	11
7	125	11
8	133	11
9	137	11
10	141	11
done	141	11
0	9	11
1	16	11
2	33	11
3	49	11
4	66	11
5	84	11
6	99	11
7	125	11
8	133	11
9	137	11
10	141	11
done	141	11
0	11	14
1	32	14
2	100	14
3	341	14
4	885	14
5	2433	14
done	5000	14
0	12	32
1	31	28
2	80	28
3	183	25
4	415	25
5	1094	25
6	3267	25
done	5000	25
0	4	4
1	9	4
2	11	4
done	11	4
0	10	21
1	25	21
2	70	21
3	185	21
4	498	21
5	1588	21
done	5000	21
0	8	10
1	14	10
2	24	10
3	39	10
4	56	10
5	71	10
6	80	10
7	97	10
8	116	10
9	123	10
10	127	10
11	131	10
done	131	10
0	6	6
1	9	6
2	18	6
3	20	6
done	20	6
0	6	6
1	9	6
2	18	6
3	20	6
done	20	6
0	5	5
1	7	5
done	7	5
0	4	4
1	9	4
2	11	4
done	11	4
0	11	13
1	18	12
2	33	11
3	60	11
4	142	11
5	379	11
6	1244	11
done	5001	11
0	10	12
1	20	11
2	37	11
3	84	11
4	193	11
5	514	11
6	1974	11
done	5000	11
0	9	11
1	16	11
2	33	11
3	49	11
4	66	11
5	84	11
6	99	11
7	125	11
8	133	11
9	137	11
10	141	11
done	141	11
0	9	11
1	19	11
2	49	11
3	96	11
4	201	11
5	534	11
6	1895	11
done	5000	11
0	10	23
1	17	23
2	34	23
3	50	23
4	67	23
5	85	23
6	100	23
7	126	23
8	134	23
9	138	23
10	142	23
done	142	23
0	9	11
1	16	11
2	33	11
3	49	11
4	66	11
5	84	11
6	99	11
7	125	11
8	133	11
9	137	11
10	141	11
done	141	11
0	10	32
1	18	32
2	49	12
3	192	12
4	979	12
done	5000	12
0	9	11
1	16	11
2	33	11
3	49	11
4	66	11
5	84	11
6	99	11
7	125	11
8	133	11
9	137	11
10	141	11
done	141	11
0	9	11
1	16	11
2	33	11
3	49	11
4	66	11
5	84	11
6	99	11
7	125	11
8	133	11
9	137	11
10	141	11
done	141	11
0	11	14
1	32	14
2	100	14
3	341	14
4	885	14
5	2433	14
done	5000	14
0	12	32
1	31	28
2	80	28
3	183	25
4	415	25
5	1094	25
6	3267	25
done	5000	25
0	4	4
1	9	4
2	11	4
done	11	4
0	10	21
1	25	21
2	70	21
3	185	21
4	498	21
5	1588	21
done	5000	21
0	8	10
1	14	10
2	24	10
3	39	10
4	56	10
5	71	10
6	80	10
7	97	10
8	116	10
9	123	10
10	127	10
11	131	10
done	131	10
0	6	6
1	9	6
2	18	6
3	20	6
done	20	6
0	6	6
1	9	6
2	18	6
3	20	6
done	20	6
0	5	5
1	7	5
done	7	5
0	4	4
1	9	4
2	11	4
done	11	4
0	13	16
1	22	15
2	46	14
3	101	13
4	277	13
5	861	13
6	3298	13
done	5000	13
0	12	15
1	24	14
2	50	13
3	134	13
4	390	13
5	1273	13
done	5001	13
0	11	14
1	23	13
2	63	13
3	175	13
4	474	13
5	1357	13
done	5000	13
0	10	13
1	21	13
2	56	13
3	141	13
4	261	13
5	346	13
6	462	13
7	634	13
8	649	13
done	649	13
0	10	13
1	24	13
2	71	13
3	205	13
4	478	13
5	1075	13
6	3341	13
done	5001	13
0	11	27
1	22	27
2	57	27
3	142	27
4	261	27
5	343	27
6	459	27
7	630	27
8	645	27
done	645	27
0	10	13
1	21	13
2	56	13
3	141	13
4	261	13
5	346	13
6	462	13
7	634	13
8	649	13
done	649	13
0	11	38
1	23	38
2	72	14
3	292	14
4	1610	14
done	5001	14
0	10	13
1	21	13
2	56	13
3	141	13
4	261	13
5	346	13
6	462	13
7	634	13
8	649	13
done	649	13
0	10	13
1	21	13
2	56	13
3	141	13
4	261	13
5	346	13
6	462	13
7	634	13
8	649	13
done	649	13
0	12	16
1	34	16
2	85	16
3	263	16
4	1168	16
done	5001	16
0	13	38
1	27	36
2	69	36
3	247	27
4	999	27
5	4927	27
done	5000	27
0	2	2
done	2	2
0	11	25
1	23	25
2	65	25
3	263	25
4	1288	25
done	5001	25
0	9	12
1	19	12
2	53	12
3	117	12
4	222	12
5	298	12
6	400	12
7	543	12
8	564	12
done	564	12
0	11	14
1	19	14
2	36	14
3	52	14
4	69	14
5	87	14
6	102	14
7	128	14
8	136	14
9	142	14
10	146	14
done	146	14
0	11	14
1	20	14
2	38	14
3	54	14
4	71	14
5	89	14
6	104	14
7	130	14
8	138	14
9	144	14
10	148	14
done	148	14
0	9	12
1	20	12
2	55	12
3	140	12
4	257	12
5	338	12
6	454	12
7	626	12
8	641	12
done	641	12
0	6	6
1	13	6
2	18	6
3	20	6
done	20	6
0	8	8
1	15	8
2	34	8
3	59	8
4	83	8
5	97	8
6	120	8
7	149	8
8	165	8
9	168	8
done	168	8
0	8	8
1	15	8
2	34	8
3	59	8
4	83	8
5	97	8
6	120	8
7	149	8
8	165	8
9	168	8
done	168	8
0	6	6
1	13	6
2	18	6
3	20	6
done	20	6
0	5	5
1	7	5
done	7	5
0	2	2
done	2	2
0	8	10
1	14	10
2	23	10
3	39	10
4	51	10
5	67	10
6	92	10
7	115	10
8	122	10
9	127	10
10	134	10
done	134	10
0	8	10
1	14	10
2	23	10
3	39	10
4	51	10
5	67	10
6	92	10
7	115	10
8	122	10
9	127	10
10	134	10
done	134	10
0	8	10
1	14	10
2	23	10
3	39	10
4	51	10
5	67	10
6	92	10
7	115	10
8	122	10
9	127	10
10	134	10
done	134	10
0	8	10
1	14	10
2	23	10
3	39	10
4	51	10
5	67	10
6	92	10
7	115	10
8	122	10
9	127	10
10	134	10
done	134	10
0	8	10
1	14	10
2	23	10
3	39	10
4	51	10
5	67	10
6	92	10
7	115	10
8	122	10
9	127	10
10	134	10
done	134	10
0	8	10
1	14	10
2	23	10
3	39	10
4	51	10
5	67	10
6	92	10
7	115	10
8	122	10
9	127	10
10	134	10
done	134	10
0	8	10
1	14	10
2	23	10
3	39	10
4	51	10
5	67	10
6	92	10
7	115	10
8	122	10
9	127	10
10	134	10
done	134	10
0	8	10
1	14	10
2	23	10
3	39	10
4	51	10
5	67	10
6	92	10
7	115	10
8	122	10
9	127	10
10	134	10
done	134	10
0	8	10
1	14	10
2	23	10
3	39	10
4	51	10
5	67	10
6	92	10
7	115	10
8	122	10
9	127	10
10	134	10
done	134	10
0	9	12
1	18	12
2	42	12
3	88	12
4	164	12
5	289	12
6	516	12
7	655	12
8	673	12
done	673	12
0	9	12
1	18	12
2	42	12
3	88	12
4	164	12
5	289	12
6	516	12
7	655	12
8	673	12
done	673	12
0	9	12
1	18	12
2	42	12
3	88	12
4	164	12
5	289	12
6	516	12
7	655	12
8	673	12
done	673	12

prune140.0ms

Filtered

54 candidates to 81 candidates (-50.0%)

Pruning

19 alts after pruning (17 fresh and 2 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	17	17
Picked	0	1	1
Done	0	1	1
Total	81	19	100

Merged error: 45.9b

Counts

100 → 19

regimes367.0ms

Accuracy

0% (0.7b remaining)

Error of 44.8b against oracle of 44.1b and baseline of 44.8b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	41
1	14	41
done	14	41

end0.0ms

sample1.4s

Algorithm

intervals

Results

458.0ms	2561×	body	1280	valid
237.0ms	1607×	body	640	valid
129.0ms	606×	body	2560	valid
89.0ms	2125×	body	80	valid
86.0ms	755×	body	320	valid
26.0ms	346×	body	160	valid

Details

sample53.0ms

simplify724.0ms

prune4.0ms

localize9.0ms

rewrite26.0ms

series25.0ms

simplify1.2min

prune87.0ms

localize9.0ms

rewrite17.0ms

series17.0ms

simplify1.2min

prune88.0ms

localize10.0ms

rewrite19.0ms

series23.0ms

simplify40.9s

prune125.0ms

localize13.0ms

rewrite36.0ms

series40.0ms

simplify1.2min

prune140.0ms

regimes367.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.4s

Profiling