Details

sample219.0ms

Algorithm

intervals

Results

133.0ms	461×	body	80	valid
40.0ms	19×	body	320	valid
15.0ms	12×	body	640	valid
1.0ms	3×	body	160	valid
1.0ms	1×	body	1280	valid

simplify907.0ms

Counts

1 → 1

Iterations

Useful iterations: 3 (151.0ms)

Iter	Nodes	Cost
0	35	127
1	103	127
2	352	125
3	1575	121
done	5001	121

prune18.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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

Counts

2 → 2

localize45.0ms

Local error

Found 4 expressions with local error:

2.6b	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
3.8b	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
4.7b	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
4.8b	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

rewrite114.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-exp-log` `add-cbrt-cube`
26×	`add-sqr-sqrt`
24×	`associate-r`
23×	`associate-*r/`
22×	`*-un-lft-identity`
18×	`pow1`
16×	`times-frac`
15×	`prod-exp` `cbrt-unprod`
14×	`add-cube-cbrt`
11×	`flip3--` `flip--`
10×	`frac-add`
9×	`pow-prod-down`
8×	`add-log-exp`
7×	`sub-neg`
6×	`distribute-rgt-in` `distribute-lft-in`
5×	`difference-of-squares`
4×	`frac-times` `associate-+l+` `associate-+r+` `distribute-lft-out--`
3×	`cbrt-undiv` `div-exp`
2×	`flip3-+` `associate-l` `associate-l/` `associate-/r/` `-commutative` `flip-+`
1×	`+-commutative` `associate--l-` `diff-log` `div-sub` `sum-log` `div-inv` `unswap-sqr`

Counts

4 → 116

Calls

4 calls:

20.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
42.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
21.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
24.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series153.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
89.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
12.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
35.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify7.8min

Counts

128 → 128

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	25
1	39	25
2	79	25
3	167	25
4	419	25
5	1047	25
6	2168	25
7	4449	25
done	5000	25
0	18	25
1	39	25
2	79	25
3	167	25
4	419	25
5	1047	25
6	2168	25
7	4449	25
done	5000	25
0	21	28
1	44	27
2	73	27
3	123	27
4	208	27
5	361	27
6	636	27
7	1226	27
8	2194	27
9	3616	27
done	5000	27
0	20	27
1	41	27
2	73	27
3	124	27
4	209	27
5	362	27
6	629	27
7	1219	27
8	2167	27
9	3597	27
done	5001	27
0	19	26
1	43	26
2	88	26
3	183	26
4	429	26
5	1051	26
6	2182	26
7	4449	26
done	5000	26
0	19	26
1	42	26
2	91	26
3	207	26
4	548	26
5	1518	26
6	4390	26
done	5001	26
0	22	77
1	53	77
2	148	31
3	571	27
4	2879	27
done	5000	27
0	22	77
1	54	77
2	149	29
3	570	27
4	2931	27
done	5001	27
0	20	53
1	41	53
2	81	53
3	169	53
4	421	53
5	1042	53
6	2177	53
7	4461	53
done	5000	53
0	19	26
1	40	26
2	80	26
3	168	26
4	406	26
5	1025	26
6	2117	26
7	4372	26
done	5000	26
0	20	77
1	51	77
2	158	27
3	634	27
4	3070	27
done	5000	27
0	19	26
1	40	26
2	80	26
3	168	26
4	406	26
5	1025	26
6	2117	26
7	4372	26
done	5000	26
0	19	26
1	40	26
2	80	26
3	168	26
4	406	26
5	1025	26
6	2117	26
7	4372	26
done	5000	26
0	19	24
1	38	24
2	64	24
3	114	24
4	199	24
5	352	24
6	629	24
7	1219	24
8	2183	24
9	3586	24
done	5001	24
0	19	24
1	38	24
2	64	24
3	114	24
4	199	24
5	352	24
6	629	24
7	1219	24
8	2183	24
9	3586	24
done	5001	24
0	16	23
1	37	23
2	83	23
3	233	23
4	626	23
5	1249	23
6	2225	23
7	4198	23
done	5000	23
0	5	6
1	10	6
2	18	6
3	26	6
4	28	6
done	28	6
0	16	23
1	37	23
2	83	23
3	233	23
4	626	23
5	1249	23
6	2225	23
7	4198	23
done	5000	23
0	5	6
1	10	6
2	18	6
3	26	6
4	28	6
done	28	6
0	16	23
1	37	23
2	83	23
3	191	23
4	505	23
5	1156	23
6	2231	23
7	4215	23
done	5001	23
0	5	6
1	10	6
2	18	6
3	26	6
4	28	6
done	28	6
0	16	23
1	37	23
2	83	23
3	191	23
4	505	23
5	1156	23
6	2231	23
7	4215	23
done	5001	23
0	5	6
1	10	6
2	18	6
3	26	6
4	28	6
done	28	6
0	20	49
1	45	49
2	82	49
3	132	49
4	213	49
5	368	49
6	637	49
7	1227	49
8	2188	49
9	3619	49
done	5000	49
0	19	26
1	40	26
2	68	26
3	118	26
4	199	26
5	352	26
6	619	26
7	1209	26
8	2185	26
9	3612	26
done	5001	26
0	4	5
1	9	3
2	17	3
done	17	3
0	18	23
1	37	23
2	69	23
3	136	23
4	292	23
5	647	23
6	1299	23
7	2602	23
8	4707	23
done	5000	23
0	21	29
1	58	29
2	161	29
3	641	29
4	3787	29
done	5000	29
0	20	47
1	51	47
2	130	47
3	478	47
4	2277	47
done	5000	47
0	14	23
1	32	23
2	77	23
3	287	23
4	633	23
5	1130	23
6	2408	23
done	5001	23
0	14	23
1	32	23
2	77	23
3	287	23
4	633	23
5	1130	23
6	2408	23
done	5001	23
0	14	23
1	32	23
2	77	23
3	287	23
4	633	23
5	1130	23
6	2408	23
done	5001	23
0	20	28
1	41	28
2	81	27
3	164	27
4	262	27
5	418	27
6	829	27
7	1172	27
8	1601	27
9	1813	27
10	1842	27
11	1922	27
12	2078	27
13	2100	27
done	2100	27
0	19	27
1	42	27
2	77	26
3	141	26
4	257	26
5	435	26
6	840	26
7	1192	26
8	1737	26
9	2305	26
10	2560	26
11	3295	26
done	5000	26
0	19	27
1	39	27
2	71	27
3	143	27
4	254	27
5	410	27
6	823	27
7	1152	27
8	1581	27
9	1909	27
10	2364	27
11	3227	27
12	4036	27
done	5000	27
0	18	26
1	40	26
2	69	26
3	129	26
4	243	26
5	415	26
6	826	26
7	1171	26
8	1726	26
9	2424	26
10	3122	26
11	4650	26
done	5001	26
0	17	26
1	35	26
2	62	26
3	130	26
4	241	26
5	387	26
6	764	26
7	1091	26
8	1654	26
9	2262	26
10	3059	26
11	3404	26
12	4041	26
done	5000	26
0	16	25
1	36	25
2	62	25
3	114	25
4	221	25
5	388	25
6	755	25
7	1084	25
8	1742	25
9	2666	25
10	3673	25
11	4687	25
done	5001	25
0	15	24
1	36	24
2	96	24
3	346	24
4	817	24
5	1524	24
6	3073	24
done	5000	24
0	15	24
1	35	24
2	93	24
3	344	24
4	825	24
5	1795	24
6	4739	24
done	5000	24
0	23	71
1	71	71
2	297	33
3	1892	27
done	5000	27
0	21	71
1	58	71
2	215	31
3	1196	27
done	5000	27
0	22	71
1	72	71
2	303	31
3	1990	29
done	5000	29
0	20	71
1	59	71
2	220	29
3	1302	29
done	5000	29
0	20	71
1	65	71
2	283	29
3	1754	27
done	5000	27
0	18	71
1	52	71
2	200	27
3	1097	27
done	5001	27
0	16	49
1	34	49
2	79	49
3	288	49
4	632	49
5	1135	49
6	2416	49
done	5001	49
0	15	24
1	33	24
2	78	24
3	288	24
4	635	24
5	1145	24
6	2407	24
done	5000	24
0	16	71
1	44	71
2	186	25
3	1318	25
done	5000	25
0	15	24
1	33	24
2	78	24
3	288	24
4	635	24
5	1145	24
6	2407	24
done	5000	24
0	15	24
1	33	24
2	78	24
3	288	24
4	635	24
5	1145	24
6	2407	24
done	5000	24
0	16	43
1	34	43
2	67	43
3	109	43
4	127	43
5	157	43
6	231	43
7	453	43
8	752	43
9	1094	43
10	1659	43
11	2529	43
done	5000	43
0	15	24
1	31	24
2	55	24
3	74	24
4	83	24
5	113	24
6	187	24
7	365	24
8	599	24
9	836	24
10	1150	24
11	1950	24
done	5000	24
0	18	45
1	39	45
2	103	45
3	318	45
4	848	45
5	1603	45
6	1834	45
7	2404	45
8	3738	45
done	5000	45
0	17	38
1	34	38
2	75	38
3	183	38
4	365	38
5	548	38
6	642	38
7	986	38
8	1531	38
9	2410	38
10	4267	38
11	4945	38
done	5000	38
0	14	33
1	33	31
2	78	31
3	229	31
4	562	31
5	1142	31
6	1255	31
7	1648	31
8	2276	31
9	3031	31
10	4509	31
done	5000	31
0	17	32
1	34	32
2	76	32
3	193	32
4	391	32
5	655	32
6	779	32
7	1126	32
8	1780	32
9	2757	32
10	4527	32
done	5000	32
0	16	25
1	31	25
2	63	25
3	120	25
4	181	25
5	256	25
6	325	25
7	543	25
8	836	25
9	1209	25
10	1668	25
11	2080	25
12	3913	25
13	4570	25
14	4997	25
done	4997	25
0	13	20
1	30	18
2	62	18
3	131	18
4	256	18
5	512	18
6	612	18
7	889	18
8	1168	18
9	1449	18
10	1830	18
11	2559	18
done	5000	18
0	12	21
1	25	21
2	59	19
3	222	19
4	456	19
5	514	19
6	547	19
done	547	19
0	11	14
1	22	14
2	47	12
3	139	12
4	203	12
5	207	12
6	211	12
done	211	12
0	7	9
1	18	7
2	40	5
3	84	5
4	155	5
5	220	5
6	222	5
done	222	5
0	18	33
1	32	33
2	75	33
3	230	33
4	463	33
5	826	33
6	1349	33
7	1782	33
8	1884	33
9	1936	33
10	1955	33
11	1961	33
12	1966	33
done	1966	33
0	17	26
1	29	26
2	62	26
3	155	26
4	262	26
5	360	26
6	553	26
7	643	26
8	657	26
9	675	26
10	679	26
done	679	26
0	14	21
1	28	19
2	69	19
3	184	19
4	332	19
5	613	19
6	761	19
7	1078	19
8	1212	19
done	1212	19
0	12	21
1	25	21
2	59	19
3	222	19
4	456	19
5	514	19
6	547	19
done	547	19
0	11	14
1	22	14
2	47	12
3	139	12
4	203	12
5	207	12
6	211	12
done	211	12
0	7	9
1	18	7
2	40	5
3	84	5
4	155	5
5	220	5
6	222	5
done	222	5
0	6	7
1	15	5
2	36	5
3	50	5
done	50	5
0	10	17
1	23	17
2	68	17
3	238	17
4	425	17
5	583	17
6	785	17
7	1867	17
8	4382	17
done	5000	17
0	17	27
1	50	27
2	119	25
3	363	25
4	806	25
5	1670	25
6	4995	25
done	5000	25
0	16	29
1	42	29
2	107	27
3	418	25
4	1252	25
5	3757	25
done	5000	25
0	14	19
1	30	19
2	55	19
3	93	19
4	159	19
5	259	19
6	452	19
7	886	19
8	1572	19
9	3050	19
done	5000	19
0	10	17
1	23	17
2	68	17
3	238	17
4	425	17
5	583	17
6	785	17
7	1867	17
8	4382	17
done	5000	17
0	25	69
1	64	68
2	187	68
3	715	66
4	2876	54
done	5000	54
0	24	68
1	57	68
2	158	68
3	586	66
4	2338	54
done	5000	54
0	24	68
1	60	68
2	174	68
3	667	66
4	2729	54
done	5000	54
0	25	137
1	58	137
2	159	137
3	587	133
4	2326	109
done	5001	109
0	24	68
1	57	68
2	158	68
3	586	66
4	2335	54
done	5000	54
0	25	203
1	71	203
2	252	69
3	1513	67
done	5001	67
0	24	68
1	57	68
2	158	68
3	586	66
4	2335	54
done	5000	54
0	24	68
1	57	68
2	158	68
3	586	66
4	2335	54
done	5000	54
0	41	201
1	145	197
2	582	197
3	3830	163
done	5001	163
0	28	131
1	88	127
2	320	127
3	1931	93
done	5000	93
0	37	175
1	125	173
2	475	173
3	2861	157
done	5000	157
0	24	87
1	70	85
2	231	85
3	1189	69
done	5000	69
0	37	177
1	125	175
2	510	175
3	3444	157
done	5001	157
0	24	91
1	73	89
2	259	89
3	1349	71
done	5000	71
0	32	151
1	100	151
2	396	151
3	2494	151
done	5001	151
0	20	47
1	54	47
2	167	47
3	653	47
4	3271	43
done	5000	43
0	40	201
1	137	197
2	522	197
3	3446	163
done	5001	163
0	27	125
1	78	121
2	253	121
3	1334	87
done	5000	87
0	36	175
1	117	173
2	415	173
3	2457	157
done	5000	157
0	23	81
1	60	79
2	170	79
3	692	63
4	3003	63
done	5001	63
0	36	177
1	117	175
2	464	160
3	3168	142
done	5000	141
0	23	85
1	63	83
2	196	83
3	767	65
4	3949	65
done	5000	65
0	31	151
1	92	151
2	352	151
3	2159	136
done	5000	135
0	19	41
1	44	41
2	110	41
3	291	41
4	1137	41
done	5001	41
0	33	137
1	106	135
2	420	135
3	2700	117
done	5000	117
0	22	71
1	61	69
2	190	69
3	761	51
4	3485	51
done	5000	51
0	28	111
1	81	111
2	306	111
3	1769	111
done	5000	111
0	18	27
1	42	27
2	104	27
3	263	27
4	737	23
5	2225	21
done	5001	21
0	26	71
1	78	71
2	283	71
3	1630	71
done	5000	71
0	27	203
1	85	177
2	365	177
3	2373	157
done	5000	157
0	25	135
1	76	135
2	298	135
3	1687	131
done	5001	131
0	23	67
1	57	67
2	168	67
3	631	65
4	2510	53
done	5000	53
0	21	65
1	54	65
2	160	65
3	647	47
4	2514	45
done	5001	45
0	21	65
1	54	65
2	160	65
3	647	47
4	2514	45
done	5001	45
0	21	65
1	54	65
2	160	65
3	612	47
4	2425	45
done	5001	45
0	21	65
1	54	65
2	160	65
3	612	47
4	2425	45
done	5001	45
0	23	50
1	56	50
2	154	49
3	520	48
4	1570	36
5	4440	32
done	5000	31
0	23	50
1	56	50
2	154	49
3	520	48
4	1570	36
5	4440	32
done	5000	31
0	23	50
1	56	50
2	153	49
3	556	49
4	1801	36
5	4884	32
done	5000	32
0	23	50
1	56	50
2	153	49
3	556	49
4	1801	36
5	4884	32
done	5000	32
0	16	21
1	31	20
2	48	20
3	74	20
4	117	20
5	200	20
6	368	20
7	662	20
8	1180	20
9	1936	20
10	4653	20
done	5000	20
0	15	20
1	30	20
2	45	20
3	67	20
4	90	20
5	129	20
6	231	20
7	407	20
8	674	20
9	937	20
10	1213	20
11	2022	20
done	5000	20
0	15	20
1	33	20
2	53	20
3	88	20
4	137	20
5	215	20
6	423	20
7	720	20
8	1261	20
9	2034	20
10	4788	20
done	5000	20
0	16	41
1	31	41
2	46	41
3	68	41
4	91	41
5	130	41
6	232	41
7	406	41
8	673	41
9	933	41
10	1207	41
11	2002	41
12	4887	41
done	5000	41
0	15	20
1	30	20
2	45	20
3	67	20
4	90	20
5	129	20
6	231	20
7	407	20
8	674	20
9	937	20
10	1213	20
11	2022	20
done	5000	20
0	16	59
1	32	59
2	61	21
3	146	21
4	631	21
5	3273	21
done	5001	21
0	15	20
1	30	20
2	45	20
3	67	20
4	90	20
5	129	20
6	231	20
7	407	20
8	674	20
9	937	20
10	1213	20
11	2022	20
done	5000	20
0	15	20
1	30	20
2	45	20
3	67	20
4	90	20
5	129	20
6	231	20
7	407	20
8	674	20
9	937	20
10	1213	20
11	2022	20
done	5000	20
0	17	23
1	48	23
2	98	23
3	310	23
4	1305	23
done	5000	23
0	18	59
1	44	57
2	85	57
3	241	41
4	776	41
5	2670	41
done	5001	41
0	2	2
done	2	2
0	16	39
1	38	39
2	77	39
3	228	39
4	808	39
5	2958	39
done	5001	39
0	14	19
1	28	19
2	42	19
3	58	19
4	77	19
5	121	19
6	218	19
7	388	19
8	650	19
9	926	19
10	1226	19
11	2037	19
12	4522	19
done	5000	19
0	16	21
1	30	21
2	40	21
3	48	21
4	57	21
5	87	21
6	161	21
7	295	21
8	477	21
9	655	21
10	896	21
11	1629	21
12	4284	21
done	5001	21
0	16	21
1	31	21
2	42	21
3	50	21
4	59	21
5	89	21
6	163	21
7	297	21
8	479	21
9	657	21
10	898	21
11	1633	21
12	4495	21
done	5000	21
0	17	22
1	28	22
2	36	22
3	42	22
4	48	22
5	68	22
6	118	22
7	192	22
8	232	22
9	265	22
10	289	22
11	373	22
12	533	22
13	555	22
done	555	22
0	17	22
1	29	22
2	38	22
3	44	22
4	50	22
5	70	22
6	120	22
7	194	22
8	234	22
9	267	22
10	291	22
11	371	22
12	524	22
13	552	22
done	552	22
0	14	19
1	29	19
2	44	19
3	66	19
4	89	19
5	128	19
6	230	19
7	406	19
8	671	19
9	932	19
10	1206	19
11	2002	19
12	4839	19
done	5000	19
0	7	9
1	9	9
done	9	9
0	2	2
done	2	2
0	15	19
1	37	19
2	104	19
3	197	15
4	430	13
5	918	13
6	2596	13
done	5000	13
0	12	13
1	25	13
2	54	13
3	65	13
4	83	11
5	113	11
6	174	11
7	302	11
8	576	11
9	1513	11
done	5001	11
0	12	13
1	25	13
2	54	13
3	65	13
4	83	11
5	113	11
6	174	11
7	302	11
8	576	11
9	1513	11
done	5001	11
0	17	19
1	42	19
2	119	19
3	233	17
4	508	15
5	1246	15
6	3954	15
done	5000	15
0	12	13
1	25	13
2	54	13
3	65	13
4	83	11
5	113	11
6	174	11
7	302	11
8	576	11
9	1513	11
done	5001	11
0	12	13
1	25	13
2	54	13
3	65	13
4	83	11
5	113	11
6	174	11
7	302	11
8	576	11
9	1513	11
done	5001	11
0	16	19
1	42	19
2	99	19
3	198	17
4	421	15
5	895	15
6	3084	15
done	5001	15
0	12	13
1	25	13
2	54	13
3	65	13
4	83	11
5	113	11
6	174	11
7	302	11
8	576	11
9	1513	11
done	5001	11
0	12	13
1	25	13
2	54	13
3	65	13
4	83	11
5	113	11
6	174	11
7	302	11
8	576	11
9	1513	11
done	5001	11
0	9	9
1	16	9
2	25	9
3	41	9
4	53	9
5	77	9
6	112	9
7	133	9
8	150	9
9	154	9
10	158	9
done	158	9
0	14	19
1	31	19
2	73	17
3	181	17
4	484	17
5	1692	15
done	5000	15
0	14	19
1	31	19
2	73	17
3	181	17
4	484	17
5	1692	15
done	5000	15

prune1.0s

Filtered

102 candidates to 128 candidates (-25.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	118	10	128
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	119	11	130

Merged error: 0.4b

Counts

130 → 11

localize41.0ms

Local error

Found 4 expressions with local error:

2.6b	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
3.8b	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) (neg 6.0))))
4.7b	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
4.7b	(* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))))

rewrite136.0ms

Algorithm

rewrite-expression-head

Rules

46×	`add-exp-log` `add-cbrt-cube`
25×	`pow1` `prod-exp` `cbrt-unprod`
24×	`add-sqr-sqrt`
22×	`associate-r`
21×	`*-un-lft-identity`
16×	`times-frac`
14×	`pow-prod-down`
13×	`add-cube-cbrt` `associate-*r/`
11×	`add-log-exp`
10×	`frac-add`
7×	`flip3-+` `flip-+`
5×	`cbrt-undiv` `flip3--` `div-exp` `flip--` `difference-of-squares`
4×	`frac-times` `associate-+l+` `distribute-lft-out--`
3×	`sub-neg` `sum-log`
2×	`distribute-rgt-in` `associate-+r-` `distribute-lft-in` `associate-l` `associate-l/` `associate-/r/` `-commutative` `distribute-rgt-neg-out`
1×	`+-commutative` `associate--l-` `associate-+r+` `diff-log` `div-sub` `unsub-neg` `div-inv`

Counts

4 → 118

Calls

4 calls:

20.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
68.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) (neg 6.0))))
21.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
20.0ms	(* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))))

series133.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
91.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) (neg 6.0))))
13.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
12.0ms	(* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))))

simplify7.7min

Counts

130 → 130

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	23
1	37	23
2	83	23
3	233	23
4	626	23
5	1249	23
6	2225	23
7	4198	23
done	5000	23
0	16	23
1	37	23
2	83	23
3	233	23
4	626	23
5	1249	23
6	2225	23
7	4198	23
done	5000	23
0	16	23
1	37	23
2	83	23
3	233	23
4	626	23
5	1249	23
6	2225	23
7	4198	23
done	5000	23
0	16	23
1	37	23
2	83	23
3	233	23
4	626	23
5	1249	23
6	2225	23
7	4198	23
done	5000	23
0	21	28
1	43	27
2	81	27
3	169	27
4	290	27
5	497	27
6	846	27
7	1205	27
8	1610	27
9	1858	27
10	1880	27
11	1964	27
12	2120	27
13	2150	27
done	2150	27
0	20	27
1	44	26
2	76	26
3	136	26
4	254	26
5	452	26
6	772	26
7	1111	26
8	1624	26
9	2130	26
10	2388	26
11	3127	26
done	5001	26
0	19	26
1	43	25
2	83	25
3	169	25
4	342	25
5	633	25
6	1124	25
7	1865	25
8	2996	25
9	4464	25
done	5000	25
0	20	27
1	40	27
2	76	27
3	158	27
4	284	27
5	486	27
6	825	27
7	1158	27
8	1566	27
9	1880	27
10	2114	27
11	2607	27
12	3347	27
done	5001	27
0	19	26
1	41	26
2	73	26
3	133	26
4	251	26
5	451	26
6	764	26
7	1104	26
8	1620	26
9	2200	26
10	2678	26
11	3813	26
done	5000	26
0	18	25
1	40	25
2	81	25
3	167	25
4	344	25
5	630	25
6	1108	25
7	1850	25
8	2974	25
9	4519	25
done	5000	25
0	17	24
1	41	24
2	101	24
3	293	24
4	771	24
5	1602	24
6	2820	24
done	5000	24
0	17	24
1	40	24
2	97	24
3	285	24
4	832	24
5	2158	24
done	5001	24
0	24	71
1	73	71
2	293	33
3	1826	27
done	5000	27
0	22	71
1	60	71
2	209	31
3	1183	27
done	5000	27
0	20	71
1	58	71
2	199	29
3	1189	25
done	5001	25
0	24	71
1	74	71
2	295	31
3	1826	27
done	5000	27
0	22	71
1	61	71
2	211	29
3	1196	27
done	5000	27
0	20	71
1	59	71
2	202	27
3	1191	25
done	5000	25
0	18	49
1	39	49
2	85	49
3	237	49
4	623	49
5	1277	49
6	2250	49
7	4198	49
done	5000	49
0	17	24
1	38	24
2	84	24
3	234	24
4	619	24
5	1280	24
6	2238	24
7	4218	24
done	5000	24
0	18	71
1	49	71
2	190	25
3	1172	25
done	5000	25
0	17	24
1	38	24
2	84	24
3	234	24
4	619	24
5	1280	24
6	2238	24
7	4218	24
done	5000	24
0	17	24
1	38	24
2	84	24
3	234	24
4	619	24
5	1280	24
6	2238	24
7	4218	24
done	5000	24
0	4	5
1	7	5
2	9	5
done	9	5
0	16	21
1	35	21
2	72	21
3	180	21
4	392	21
5	716	21
6	1241	21
7	2370	21
8	4442	21
done	5000	21
0	13	17
1	28	17
2	73	17
3	248	17
4	459	17
5	598	17
6	769	17
7	1297	17
8	2728	17
done	5001	17
0	14	23
1	32	23
2	77	23
3	287	23
4	633	23
5	1130	23
6	2408	23
done	5001	23
0	14	23
1	32	23
2	77	23
3	287	23
4	633	23
5	1130	23
6	2408	23
done	5001	23
0	14	23
1	32	23
2	77	23
3	287	23
4	633	23
5	1130	23
6	2408	23
done	5001	23
0	20	28
1	41	28
2	81	27
3	164	27
4	262	27
5	418	27
6	829	27
7	1172	27
8	1601	27
9	1813	27
10	1842	27
11	1922	27
12	2078	27
13	2100	27
done	2100	27
0	19	27
1	42	27
2	77	26
3	141	26
4	257	26
5	435	26
6	840	26
7	1192	26
8	1737	26
9	2305	26
10	2560	26
11	3295	26
done	5000	26
0	19	27
1	39	27
2	71	27
3	143	27
4	254	27
5	410	27
6	823	27
7	1152	27
8	1581	27
9	1909	27
10	2364	27
11	3227	27
12	4036	27
done	5000	27
0	18	26
1	40	26
2	69	26
3	129	26
4	243	26
5	415	26
6	826	26
7	1171	26
8	1726	26
9	2424	26
10	3122	26
11	4650	26
done	5001	26
0	17	26
1	35	26
2	62	26
3	130	26
4	241	26
5	387	26
6	764	26
7	1091	26
8	1654	26
9	2262	26
10	3059	26
11	3404	26
12	4041	26
done	5000	26
0	16	25
1	36	25
2	62	25
3	114	25
4	221	25
5	388	25
6	755	25
7	1084	25
8	1742	25
9	2666	25
10	3673	25
11	4687	25
done	5001	25
0	15	24
1	36	24
2	96	24
3	346	24
4	817	24
5	1524	24
6	3073	24
done	5000	24
0	15	24
1	35	24
2	93	24
3	344	24
4	825	24
5	1795	24
6	4739	24
done	5000	24
0	23	71
1	71	71
2	297	33
3	1892	27
done	5000	27
0	21	71
1	58	71
2	215	31
3	1196	27
done	5000	27
0	22	71
1	72	71
2	303	31
3	1990	29
done	5000	29
0	20	71
1	59	71
2	220	29
3	1302	29
done	5000	29
0	20	71
1	65	71
2	283	29
3	1754	27
done	5000	27
0	18	71
1	52	71
2	200	27
3	1097	27
done	5001	27
0	16	49
1	34	49
2	79	49
3	288	49
4	632	49
5	1135	49
6	2416	49
done	5001	49
0	15	24
1	33	24
2	78	24
3	288	24
4	635	24
5	1145	24
6	2407	24
done	5000	24
0	16	71
1	44	71
2	186	25
3	1318	25
done	5000	25
0	15	24
1	33	24
2	78	24
3	288	24
4	635	24
5	1145	24
6	2407	24
done	5000	24
0	15	24
1	33	24
2	78	24
3	288	24
4	635	24
5	1145	24
6	2407	24
done	5000	24
0	16	43
1	34	43
2	67	43
3	109	43
4	127	43
5	157	43
6	231	43
7	453	43
8	752	43
9	1094	43
10	1659	43
11	2529	43
done	5000	43
0	15	24
1	31	24
2	55	24
3	74	24
4	83	24
5	113	24
6	187	24
7	365	24
8	599	24
9	836	24
10	1150	24
11	1950	24
done	5000	24
0	18	45
1	39	45
2	103	45
3	318	45
4	848	45
5	1603	45
6	1834	45
7	2404	45
8	3738	45
done	5000	45
0	17	38
1	34	38
2	75	38
3	183	38
4	365	38
5	548	38
6	642	38
7	986	38
8	1531	38
9	2410	38
10	4267	38
11	4945	38
done	5000	38
0	14	33
1	33	31
2	78	31
3	229	31
4	562	31
5	1142	31
6	1255	31
7	1648	31
8	2276	31
9	3031	31
10	4509	31
done	5000	31
0	17	32
1	34	32
2	76	32
3	193	32
4	391	32
5	655	32
6	779	32
7	1126	32
8	1780	32
9	2757	32
10	4527	32
done	5000	32
0	16	25
1	31	25
2	63	25
3	120	25
4	181	25
5	256	25
6	325	25
7	543	25
8	836	25
9	1209	25
10	1668	25
11	2080	25
12	3913	25
13	4570	25
14	4997	25
done	4997	25
0	13	20
1	30	18
2	62	18
3	131	18
4	256	18
5	512	18
6	612	18
7	889	18
8	1168	18
9	1449	18
10	1830	18
11	2559	18
done	5000	18
0	12	21
1	25	21
2	59	19
3	222	19
4	456	19
5	514	19
6	547	19
done	547	19
0	11	14
1	22	14
2	47	12
3	139	12
4	203	12
5	207	12
6	211	12
done	211	12
0	7	9
1	18	7
2	40	5
3	84	5
4	155	5
5	220	5
6	222	5
done	222	5
0	18	33
1	32	33
2	75	33
3	230	33
4	463	33
5	826	33
6	1349	33
7	1782	33
8	1884	33
9	1936	33
10	1955	33
11	1961	33
12	1966	33
done	1966	33
0	17	26
1	29	26
2	62	26
3	155	26
4	262	26
5	360	26
6	553	26
7	643	26
8	657	26
9	675	26
10	679	26
done	679	26
0	14	21
1	28	19
2	69	19
3	184	19
4	332	19
5	613	19
6	761	19
7	1078	19
8	1212	19
done	1212	19
0	12	21
1	25	21
2	59	19
3	222	19
4	456	19
5	514	19
6	547	19
done	547	19
0	11	14
1	22	14
2	47	12
3	139	12
4	203	12
5	207	12
6	211	12
done	211	12
0	7	9
1	18	7
2	40	5
3	84	5
4	155	5
5	220	5
6	222	5
done	222	5
0	6	7
1	15	5
2	36	5
3	50	5
done	50	5
0	10	17
1	23	17
2	68	17
3	238	17
4	425	17
5	583	17
6	785	17
7	1867	17
8	4382	17
done	5000	17
0	17	27
1	50	27
2	119	25
3	363	25
4	806	25
5	1670	25
6	4995	25
done	5000	25
0	16	29
1	42	29
2	107	27
3	418	25
4	1252	25
5	3757	25
done	5000	25
0	14	19
1	30	19
2	55	19
3	93	19
4	159	19
5	259	19
6	452	19
7	886	19
8	1572	19
9	3050	19
done	5000	19
0	10	17
1	23	17
2	68	17
3	238	17
4	425	17
5	583	17
6	785	17
7	1867	17
8	4382	17
done	5000	17
0	28	75
1	76	74
2	240	69
3	937	54
4	3978	50
done	5000	50
0	27	74
1	75	69
2	238	68
3	882	54
4	3586	50
done	5001	50
0	26	73
1	69	69
2	200	68
3	716	54
4	2702	50
done	5000	50
0	26	73
1	72	69
2	218	68
3	821	54
4	3183	50
done	5000	50
0	27	147
1	70	139
2	201	137
3	716	109
4	2675	101
done	5000	101
0	26	73
1	69	69
2	200	68
3	716	54
4	2699	50
done	5000	50
0	27	218
1	83	206
2	314	69
3	2141	55
done	5001	55
0	26	73
1	69	69
2	200	68
3	716	54
4	2699	50
done	5000	50
0	26	73
1	69	69
2	200	68
3	716	54
4	2699	50
done	5000	50
0	43	233
1	169	224
2	821	218
done	5000	182
0	31	158
1	110	149
2	491	145
3	3359	105
done	5001	105
0	39	198
1	136	188
2	574	182
3	3611	139
done	5000	139
0	27	96
1	80	90
2	257	90
3	1282	73
done	5000	73
0	39	209
1	148	202
2	748	196
done	5000	176
0	27	118
1	94	111
2	427	107
3	2825	83
done	5000	83
0	34	174
1	111	166
2	493	160
3	3186	133
done	5000	133
0	23	56
1	64	52
2	191	52
3	830	51
4	4652	47
done	5000	47
0	42	233
1	161	224
2	764	218
done	5001	182
0	30	152
1	100	143
2	430	139
3	2869	99
done	5000	99
0	38	198
1	128	188
2	513	182
3	3143	139
done	5001	139
0	26	90
1	70	84
2	193	84
3	812	67
4	3569	67
done	5000	67
0	38	209
1	140	202
2	697	196
done	5002	176
0	26	112
1	84	105
2	372	101
3	2244	77
done	5001	77
0	33	174
1	103	166
2	450	160
3	2806	118
done	5001	117
0	22	50
1	54	46
2	145	46
3	500	45
4	1933	45
done	5000	45
0	35	169
1	128	162
2	653	156
done	5000	136
0	25	98
1	82	91
2	365	87
3	2205	63
done	5001	63
0	30	134
1	91	126
2	405	120
3	2473	93
done	5000	93
0	21	36
1	52	32
2	139	32
3	481	31
4	1514	31
5	4882	27
done	5000	27
0	28	76
1	85	72
2	300	71
3	1749	71
done	5001	71
0	29	218
1	98	179
2	462	177
3	3521	148
done	5000	147
0	27	145
1	85	137
2	350	135
3	2138	107
done	5001	107
0	25	72
1	69	68
2	205	67
3	769	53
4	2980	49
done	5000	49
0	21	65
1	54	65
2	160	65
3	647	47
4	2514	45
done	5001	45
0	25	55
1	68	51
2	196	49
3	643	36
4	1872	32
5	4967	31
done	5000	31
0	25	55
1	68	51
2	196	49
3	643	36
4	1872	32
5	4967	31
done	5000	31
0	25	55
1	68	51
2	197	36
3	676	36
4	2109	33
done	5000	31
0	25	55
1	68	51
2	197	36
3	676	36
4	2109	33
done	5000	31
0	21	65
1	54	65
2	160	65
3	647	47
4	2514	45
done	5001	45
0	21	65
1	54	65
2	160	65
3	647	47
4	2514	45
done	5001	45
0	16	21
1	31	20
2	48	20
3	74	20
4	117	20
5	200	20
6	368	20
7	662	20
8	1180	20
9	1936	20
10	4653	20
done	5000	20
0	15	20
1	30	20
2	45	20
3	67	20
4	90	20
5	129	20
6	231	20
7	407	20
8	674	20
9	937	20
10	1213	20
11	2022	20
done	5000	20
0	15	20
1	33	20
2	53	20
3	88	20
4	137	20
5	215	20
6	423	20
7	720	20
8	1261	20
9	2034	20
10	4788	20
done	5000	20
0	16	41
1	31	41
2	46	41
3	68	41
4	91	41
5	130	41
6	232	41
7	406	41
8	673	41
9	933	41
10	1207	41
11	2002	41
12	4887	41
done	5000	41
0	15	20
1	30	20
2	45	20
3	67	20
4	90	20
5	129	20
6	231	20
7	407	20
8	674	20
9	937	20
10	1213	20
11	2022	20
done	5000	20
0	16	59
1	32	59
2	61	21
3	146	21
4	631	21
5	3273	21
done	5001	21
0	15	20
1	30	20
2	45	20
3	67	20
4	90	20
5	129	20
6	231	20
7	407	20
8	674	20
9	937	20
10	1213	20
11	2022	20
done	5000	20
0	15	20
1	30	20
2	45	20
3	67	20
4	90	20
5	129	20
6	231	20
7	407	20
8	674	20
9	937	20
10	1213	20
11	2022	20
done	5000	20
0	17	23
1	48	23
2	98	23
3	310	23
4	1305	23
done	5000	23
0	18	59
1	44	57
2	85	57
3	241	41
4	776	41
5	2670	41
done	5001	41
0	2	2
done	2	2
0	16	39
1	38	39
2	77	39
3	228	39
4	808	39
5	2958	39
done	5001	39
0	14	19
1	28	19
2	42	19
3	58	19
4	77	19
5	121	19
6	218	19
7	388	19
8	650	19
9	926	19
10	1226	19
11	2037	19
12	4522	19
done	5000	19
0	16	21
1	30	21
2	40	21
3	48	21
4	57	21
5	87	21
6	161	21
7	295	21
8	477	21
9	655	21
10	896	21
11	1629	21
12	4284	21
done	5001	21
0	16	21
1	31	21
2	42	21
3	50	21
4	59	21
5	89	21
6	163	21
7	297	21
8	479	21
9	657	21
10	898	21
11	1633	21
12	4495	21
done	5000	21
0	17	22
1	28	22
2	36	22
3	42	22
4	48	22
5	68	22
6	118	22
7	192	22
8	232	22
9	265	22
10	289	22
11	373	22
12	533	22
13	555	22
done	555	22
0	17	22
1	29	22
2	38	22
3	44	22
4	50	22
5	70	22
6	120	22
7	194	22
8	234	22
9	267	22
10	291	22
11	371	22
12	524	22
13	552	22
done	552	22
0	14	19
1	29	19
2	44	19
3	66	19
4	89	19
5	128	19
6	230	19
7	406	19
8	671	19
9	932	19
10	1206	19
11	2002	19
12	4839	19
done	5000	19
0	7	9
1	9	9
done	9	9
0	2	2
done	2	2
0	17	19
1	42	19
2	119	19
3	233	17
4	508	15
5	1246	15
6	3954	15
done	5000	15
0	12	13
1	25	13
2	54	13
3	65	13
4	83	11
5	113	11
6	174	11
7	302	11
8	576	11
9	1513	11
done	5001	11
0	12	13
1	25	13
2	54	13
3	65	13
4	83	11
5	113	11
6	174	11
7	302	11
8	576	11
9	1513	11
done	5001	11
0	17	19
1	42	19
2	119	19
3	233	17
4	508	15
5	1246	15
6	3954	15
done	5000	15
0	12	13
1	25	13
2	54	13
3	65	13
4	83	11
5	113	11
6	174	11
7	302	11
8	576	11
9	1513	11
done	5001	11
0	12	13
1	25	13
2	54	13
3	65	13
4	83	11
5	113	11
6	174	11
7	302	11
8	576	11
9	1513	11
done	5001	11
0	16	19
1	42	19
2	99	19
3	198	17
4	421	15
5	895	15
6	3084	15
done	5001	15
0	12	13
1	25	13
2	54	13
3	65	13
4	83	11
5	113	11
6	174	11
7	302	11
8	576	11
9	1513	11
done	5001	11
0	12	13
1	25	13
2	54	13
3	65	13
4	83	11
5	113	11
6	174	11
7	302	11
8	576	11
9	1513	11
done	5001	11
0	9	9
1	16	9
2	25	9
3	41	9
4	53	9
5	77	9
6	112	9
7	133	9
8	150	9
9	154	9
10	158	9
done	158	9
0	14	19
1	31	19
2	73	17
3	181	17
4	484	17
5	1692	15
done	5000	15
0	14	19
1	31	19
2	73	17
3	181	17
4	484	17
5	1692	15
done	5000	15

prune925.0ms

Filtered

104 candidates to 130 candidates (-25.0%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	129	12	141

Merged error: 0.4b

Counts

141 → 12

localize54.0ms

Local error

Found 4 expressions with local error:

4.7b	(* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))))
26.0b	(cbrt (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))))
26.0b	(cbrt (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))))
26.0b	(cbrt (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-exp-log` `add-cbrt-cube`
16×	`pow1`
13×	`prod-exp` `cbrt-unprod`
8×	`associate-*r/` `pow-prod-down`
4×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
3×	`cbrt-prod` `cbrt-div` `pow1/3`
2×	`cbrt-undiv` `div-exp`
1×	`associate-r` `associate-l` `*-commutative`

Counts

4 → 57

Calls

4 calls:

21.0ms	(* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))))
19.0ms	(cbrt (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))))
18.0ms	(cbrt (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))))
18.0ms	(cbrt (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))))

series314.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))))
101.0ms	(cbrt (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))))
101.0ms	(cbrt (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))))
99.0ms	(cbrt (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))))

simplify4.2min

Counts

69 → 69

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	25
1	39	25
2	85	25
3	237	25
4	623	25
5	1277	25
6	2250	25
7	4198	25
done	5000	25
0	18	25
1	39	25
2	85	25
3	237	25
4	623	25
5	1277	25
6	2250	25
7	4198	25
done	5000	25
0	3	4
done	3	4
0	16	20
1	32	20
2	57	20
3	107	20
4	188	20
5	296	20
6	503	20
7	1010	20
8	1912	20
9	3170	20
10	4703	20
done	5000	20
0	14	18
1	29	18
2	74	18
3	247	18
4	448	18
5	593	18
6	764	18
7	1298	18
8	2727	18
done	5000	18
0	5	6
1	6	6
done	6	6
0	19	51
1	40	51
2	86	51
3	238	51
4	629	51
5	1293	51
6	2262	51
7	4243	51
done	5000	51
0	18	25
1	39	25
2	85	25
3	237	25
4	623	25
5	1277	25
6	2250	25
7	4198	25
done	5000	25
0	19	74
1	41	74
2	89	26
3	246	23
4	636	23
5	1270	23
6	2234	23
7	4274	23
done	5000	23
0	18	25
1	39	25
2	85	25
3	237	25
4	623	25
5	1277	25
6	2250	25
7	4198	25
done	5000	25
0	18	25
1	39	25
2	85	25
3	237	25
4	623	25
5	1277	25
6	2250	25
7	4198	25
done	5000	25
0	18	25
1	39	25
2	85	25
3	237	25
4	623	25
5	1277	25
6	2250	25
7	4198	25
done	5000	25
0	18	25
1	39	25
2	85	25
3	237	25
4	623	25
5	1277	25
6	2250	25
7	4198	25
done	5000	25
0	3	4
done	3	4
0	16	20
1	32	20
2	57	20
3	107	20
4	188	20
5	296	20
6	503	20
7	1010	20
8	1912	20
9	3170	20
10	4703	20
done	5000	20
0	14	18
1	29	18
2	74	18
3	247	18
4	448	18
5	593	18
6	764	18
7	1298	18
8	2727	18
done	5000	18
0	5	6
1	6	6
done	6	6
0	19	51
1	40	51
2	86	51
3	238	51
4	629	51
5	1293	51
6	2262	51
7	4243	51
done	5000	51
0	18	25
1	39	25
2	85	25
3	237	25
4	623	25
5	1277	25
6	2250	25
7	4198	25
done	5000	25
0	19	74
1	41	74
2	89	26
3	246	23
4	636	23
5	1270	23
6	2234	23
7	4274	23
done	5000	23
0	18	25
1	39	25
2	85	25
3	237	25
4	623	25
5	1277	25
6	2250	25
7	4198	25
done	5000	25
0	18	25
1	39	25
2	85	25
3	237	25
4	623	25
5	1277	25
6	2250	25
7	4198	25
done	5000	25
0	18	25
1	39	25
2	85	25
3	237	25
4	623	25
5	1277	25
6	2250	25
7	4198	25
done	5000	25
0	18	25
1	39	25
2	85	25
3	237	25
4	623	25
5	1277	25
6	2250	25
7	4198	25
done	5000	25
0	3	4
done	3	4
0	16	20
1	32	20
2	57	20
3	107	20
4	188	20
5	296	20
6	503	20
7	1010	20
8	1912	20
9	3170	20
10	4703	20
done	5000	20
0	14	18
1	29	18
2	74	18
3	247	18
4	448	18
5	593	18
6	764	18
7	1298	18
8	2727	18
done	5000	18
0	5	6
1	6	6
done	6	6
0	19	51
1	40	51
2	86	51
3	238	51
4	629	51
5	1293	51
6	2262	51
7	4243	51
done	5000	51
0	18	25
1	39	25
2	85	25
3	237	25
4	623	25
5	1277	25
6	2250	25
7	4198	25
done	5000	25
0	19	74
1	41	74
2	89	26
3	246	23
4	636	23
5	1270	23
6	2234	23
7	4274	23
done	5000	23
0	18	25
1	39	25
2	85	25
3	237	25
4	623	25
5	1277	25
6	2250	25
7	4198	25
done	5000	25
0	18	25
1	39	25
2	85	25
3	237	25
4	623	25
5	1277	25
6	2250	25
7	4198	25
done	5000	25
0	16	23
1	37	23
2	83	23
3	233	23
4	626	23
5	1249	23
6	2225	23
7	4198	23
done	5000	23
0	16	23
1	37	23
2	83	23
3	233	23
4	626	23
5	1249	23
6	2225	23
7	4198	23
done	5000	23
0	16	23
1	37	23
2	83	23
3	233	23
4	626	23
5	1249	23
6	2225	23
7	4198	23
done	5000	23
0	16	23
1	37	23
2	83	23
3	233	23
4	626	23
5	1249	23
6	2225	23
7	4198	23
done	5000	23
0	21	28
1	43	27
2	81	27
3	169	27
4	290	27
5	497	27
6	846	27
7	1205	27
8	1610	27
9	1858	27
10	1880	27
11	1964	27
12	2120	27
13	2150	27
done	2150	27
0	20	27
1	44	26
2	76	26
3	136	26
4	254	26
5	452	26
6	772	26
7	1111	26
8	1624	26
9	2130	26
10	2388	26
11	3127	26
done	5001	26
0	19	26
1	43	25
2	83	25
3	169	25
4	342	25
5	633	25
6	1124	25
7	1865	25
8	2996	25
9	4464	25
done	5000	25
0	20	27
1	40	27
2	76	27
3	158	27
4	284	27
5	486	27
6	825	27
7	1158	27
8	1566	27
9	1880	27
10	2114	27
11	2607	27
12	3347	27
done	5001	27
0	19	26
1	41	26
2	73	26
3	133	26
4	251	26
5	451	26
6	764	26
7	1104	26
8	1620	26
9	2200	26
10	2678	26
11	3813	26
done	5000	26
0	18	25
1	40	25
2	81	25
3	167	25
4	344	25
5	630	25
6	1108	25
7	1850	25
8	2974	25
9	4519	25
done	5000	25
0	17	24
1	41	24
2	101	24
3	293	24
4	771	24
5	1602	24
6	2820	24
done	5000	24
0	17	24
1	40	24
2	97	24
3	285	24
4	832	24
5	2158	24
done	5001	24
0	24	71
1	73	71
2	293	33
3	1826	27
done	5000	27
0	22	71
1	60	71
2	209	31
3	1183	27
done	5000	27
0	20	71
1	58	71
2	199	29
3	1189	25
done	5001	25
0	24	71
1	74	71
2	295	31
3	1826	27
done	5000	27
0	22	71
1	61	71
2	211	29
3	1196	27
done	5000	27
0	20	71
1	59	71
2	202	27
3	1191	25
done	5000	25
0	18	49
1	39	49
2	85	49
3	237	49
4	623	49
5	1277	49
6	2250	49
7	4198	49
done	5000	49
0	17	24
1	38	24
2	84	24
3	234	24
4	619	24
5	1280	24
6	2238	24
7	4218	24
done	5000	24
0	18	71
1	49	71
2	190	25
3	1172	25
done	5000	25
0	17	24
1	38	24
2	84	24
3	234	24
4	619	24
5	1280	24
6	2238	24
7	4218	24
done	5000	24
0	17	24
1	38	24
2	84	24
3	234	24
4	619	24
5	1280	24
6	2238	24
7	4218	24
done	5000	24
0	4	5
1	7	5
2	9	5
done	9	5
0	16	21
1	35	21
2	72	21
3	180	21
4	392	21
5	716	21
6	1241	21
7	2370	21
8	4442	21
done	5000	21
0	13	17
1	28	17
2	73	17
3	248	17
4	459	17
5	598	17
6	769	17
7	1297	17
8	2728	17
done	5001	17
0	22	39
1	50	39
2	128	39
3	387	24
4	1523	20
done	5000	20
0	24	57
1	56	54
2	143	54
3	446	33
4	1969	27
done	5000	27
0	24	57
1	54	57
2	140	57
3	357	37
4	1225	31
done	5001	31
0	22	39
1	50	39
2	128	39
3	387	24
4	1523	20
done	5000	20
0	24	57
1	56	54
2	143	54
3	446	33
4	1969	27
done	5000	27
0	24	57
1	54	57
2	140	57
3	357	37
4	1225	31
done	5001	31
0	22	39
1	50	39
2	128	39
3	387	24
4	1523	20
done	5000	20
0	24	57
1	56	54
2	143	54
3	446	33
4	1969	27
done	5000	27
0	24	57
1	54	57
2	140	57
3	357	37
4	1225	31
done	5001	31
0	17	19
1	42	19
2	119	19
3	233	17
4	508	15
5	1246	15
6	3954	15
done	5000	15
0	12	13
1	25	13
2	54	13
3	65	13
4	83	11
5	113	11
6	174	11
7	302	11
8	576	11
9	1513	11
done	5001	11
0	12	13
1	25	13
2	54	13
3	65	13
4	83	11
5	113	11
6	174	11
7	302	11
8	576	11
9	1513	11
done	5001	11

prune618.0ms

Filtered

58 candidates to 69 candidates (-19.0%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	69	0	69
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	69	12	81

Merged error: 0.4b

Counts

81 → 12

localize49.0ms

Local error

Found 4 expressions with local error:

2.6b	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
3.0b	(* (* x1 x1) (* (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
4.7b	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
9.6b	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* (* x1 x1) (* (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))

rewrite176.0ms

Algorithm

rewrite-expression-head

Rules

301×	`associate-*r/`
282×	`cbrt-div`
196×	`frac-times`
194×	`flip3--` `flip--`
130×	`frac-add`
98×	`associate-*l/`
41×	`pow1`
37×	`add-exp-log`
33×	`add-cbrt-cube`
24×	`add-sqr-sqrt`
22×	`associate-r`
21×	`*-un-lft-identity`
20×	`pow-prod-down` `prod-exp` `cbrt-unprod`
16×	`times-frac`
13×	`add-cube-cbrt`
8×	`add-log-exp`
5×	`difference-of-squares`
4×	`associate-+l+` `pow-plus` `pow-prod-up` `distribute-lft-out--`
3×	`cbrt-undiv` `sub-neg` `div-exp`
2×	`pow2` `distribute-rgt-in` `distribute-lft-in` `flip3-+` `associate-l` `associate-/r/` `pow-sqr` `*-commutative` `flip-+`
1×	`+-commutative` `associate--l-` `diff-log` `div-sub` `sum-log` `div-inv` `unswap-sqr`

Counts

4 → 244

Calls

4 calls:

21.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
51.0ms	(* (* x1 x1) (* (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
21.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
51.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* (* x1 x1) (* (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))

series170.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
45.0ms	(* (* x1 x1) (* (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
12.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
97.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* (* x1 x1) (* (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))

simplify14.7min

Counts

256 → 256

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	28	116
1	74	115
2	212	115
3	728	69
4	2753	66
done	5000	66
0	27	115
1	67	115
2	176	115
3	578	69
4	2149	66
done	5001	66
0	27	115
1	70	115
2	192	115
3	664	69
4	2569	66
done	5000	66
0	28	231
1	68	231
2	177	231
3	577	139
4	2141	133
done	5000	133
0	27	115
1	67	115
2	176	115
3	578	69
4	2146	66
done	5001	66
0	28	344
1	81	344
2	269	116
3	1613	70
done	5000	70
0	27	115
1	67	115
2	176	115
3	578	69
4	2146	66
done	5001	66
0	27	115
1	67	115
2	176	115
3	578	69
4	2146	66
done	5001	66
0	47	391
1	155	383
2	547	255
3	2755	166
done	5001	166
0	31	266
1	88	258
2	265	130
3	1056	93
done	5000	93
0	51	365
1	165	359
2	578	359
3	2982	307
done	5000	307
0	33	222
1	92	216
2	274	216
3	1132	164
done	5000	164
0	51	365
1	163	359
2	566	359
3	2888	307
done	5000	307
0	33	222
1	91	216
2	270	216
3	1111	164
done	5001	164
0	51	339
1	165	335
2	570	335
3	2913	301
done	5001	301
0	33	178
1	93	174
2	275	174
3	1129	140
done	5001	140
0	51	365
1	165	359
2	570	359
3	2909	307
done	5000	307
0	33	222
1	93	216
2	275	216
3	1128	164
done	5000	164
0	51	339
1	163	335
2	566	335
3	2879	301
done	5000	301
0	33	178
1	91	174
2	270	174
3	1109	140
done	5002	140
0	51	339
1	165	335
2	578	335
3	2994	301
done	5000	301
0	33	178
1	92	174
2	274	174
3	1128	140
done	5000	140
0	43	313
1	135	311
2	458	267
3	2331	160
done	5001	160
0	27	134
1	70	132
2	202	88
3	815	69
4	3862	65
done	5000	65
0	48	320
1	156	314
2	543	314
3	2728	262
done	5001	262
0	30	199
1	86	193
2	254	193
3	999	141
4	4418	137
done	5000	137
0	52	294
1	164	290
2	571	290
3	2908	256
done	5000	256
0	32	155
1	89	151
2	262	151
3	1044	117
4	4782	113
done	5000	113
0	52	294
1	164	290
2	571	290
3	2901	256
done	5000	256
0	32	155
1	89	151
2	262	151
3	1042	117
4	4770	113
done	5000	113
0	44	268
1	135	266
2	458	266
3	2334	250
done	5001	250
0	26	111
1	68	109
2	191	109
3	760	93
4	3145	89
done	5001	89
0	48	320
1	156	314
2	544	314
3	2723	262
done	5000	262
0	30	199
1	86	193
2	254	193
3	999	141
4	4418	137
done	5000	137
0	52	294
1	164	290
2	571	290
3	2907	256
done	5001	256
0	32	155
1	89	151
2	262	151
3	1044	117
4	4782	113
done	5000	113
0	52	294
1	164	290
2	571	290
3	2903	256
done	5001	256
0	32	155
1	89	151
2	262	151
3	1042	117
4	4770	113
done	5000	113
0	44	268
1	135	266
2	459	266
3	2328	250
done	5001	250
0	26	111
1	68	109
2	191	109
3	760	93
4	3145	89
done	5001	89
0	47	249
1	154	245
2	540	245
3	2712	211
done	5001	211
0	29	132
1	83	128
2	244	128
3	956	94
4	4062	90
done	5000	90
0	43	223
1	133	221
2	455	221
3	2326	205
done	5000	205
0	25	88
1	65	86
2	181	86
3	716	70
4	2788	66
done	5000	66
0	48	320
1	157	314
2	552	314
3	2800	262
done	5000	262
0	30	199
1	86	193
2	254	193
3	999	141
4	4418	137
done	5000	137
0	52	294
1	164	290
2	571	290
3	2909	256
done	5000	256
0	32	155
1	89	151
2	262	151
3	1044	117
4	4782	113
done	5000	113
0	52	294
1	164	290
2	571	290
3	2903	256
done	5001	256
0	32	155
1	89	151
2	262	151
3	1042	117
4	4770	113
done	5000	113
0	44	268
1	136	266
2	467	266
3	2406	250
done	5000	250
0	26	111
1	68	109
2	191	109
3	760	93
4	3145	89
done	5001	89
0	47	249
1	153	245
2	532	245
3	2629	211
done	5001	211
0	29	132
1	83	128
2	244	128
3	956	94
4	4062	90
done	5000	90
0	43	223
1	132	221
2	447	221
3	2247	205
done	5000	205
0	25	88
1	65	86
2	181	86
3	716	70
4	2788	66
done	5000	66
0	47	249
1	153	245
2	531	245
3	2639	211
done	5001	211
0	29	132
1	83	128
2	244	128
3	956	94
4	4062	90
done	5000	90
0	43	223
1	132	221
2	446	221
3	2254	205
done	5001	205
0	25	88
1	65	86
2	181	86
3	716	70
4	2788	66
done	5000	66
0	43	367
1	135	361
2	475	233
3	2317	160
done	5000	150
0	27	226
1	73	220
2	204	92
3	671	71
4	3204	67
done	5000	67
0	47	341
1	145	337
2	506	337
3	2561	301
done	5001	291
0	29	182
1	77	178
2	213	178
3	739	142
4	3161	138
done	5000	138
0	47	341
1	143	337
2	494	337
3	2445	301
done	5000	291
0	29	182
1	76	178
2	209	178
3	726	142
4	3143	138
done	5001	138
0	47	315
1	145	313
2	498	313
3	2477	295
done	5001	285
0	29	138
1	78	136
2	214	136
3	740	118
4	3174	114
done	5000	114
0	47	341
1	145	337
2	498	337
3	2481	301
done	5000	291
0	29	182
1	78	178
2	214	178
3	739	142
4	3161	138
done	5000	138
0	47	315
1	143	313
2	494	313
3	2444	295
done	5000	285
0	29	138
1	76	136
2	209	136
3	728	118
4	3150	114
done	5000	114
0	47	315
1	145	313
2	506	313
3	2569	295
done	5000	285
0	29	138
1	77	136
2	213	136
3	740	118
4	3157	114
done	5000	114
0	38	289
1	110	289
2	381	245
3	1929	154
done	5001	154
0	23	94
1	54	94
2	138	50
3	414	47
4	1542	43
done	5002	43
0	44	296
1	136	292
2	471	292
3	2279	256
done	5000	246
0	26	159
1	71	155
2	193	155
3	624	119
4	2511	115
done	5000	115
0	48	270
1	144	268
2	499	268
3	2459	250
done	5000	240
0	28	115
1	74	113
2	201	113
3	661	95
4	2726	91
done	5001	91
0	48	270
1	144	268
2	499	268
3	2466	250
done	5001	240
0	28	115
1	74	113
2	201	113
3	665	95
4	2725	91
done	5000	91
0	39	244
1	110	244
2	379	244
3	1929	244
done	5000	244
0	22	71
1	52	71
2	127	71
3	359	71
4	1116	67
5	3472	65
done	5000	65
0	44	296
1	136	292
2	472	292
3	2268	256
done	5001	246
0	26	159
1	71	155
2	193	155
3	624	119
4	2511	115
done	5000	115
0	48	270
1	144	268
2	499	268
3	2459	250
done	5000	240
0	28	115
1	74	113
2	201	113
3	661	95
4	2726	91
done	5001	91
0	48	270
1	144	268
2	499	268
3	2466	250
done	5001	240
0	28	115
1	74	113
2	201	113
3	665	95
4	2725	91
done	5000	91
0	39	244
1	110	244
2	380	244
3	1931	244
done	5000	244
0	22	71
1	52	71
2	127	71
3	359	71
4	1116	67
5	3472	65
done	5000	65
0	43	225
1	134	223
2	468	223
3	2254	205
done	5001	195
0	25	92
1	68	90
2	183	90
3	586	72
4	2313	68
done	5000	68
0	38	199
1	108	199
2	376	199
3	1913	199
done	5001	199
0	21	48
1	49	48
2	117	48
3	319	48
4	907	44
5	2575	42
done	5000	42
0	44	296
1	137	292
2	480	292
3	2360	256
done	5000	246
0	26	159
1	71	155
2	193	155
3	624	119
4	2511	115
done	5000	115
0	48	270
1	144	268
2	499	268
3	2459	250
done	5001	240
0	28	115
1	74	113
2	201	113
3	661	95
4	2726	91
done	5001	91
0	48	270
1	144	268
2	499	268
3	2458	250
done	5001	240
0	28	115
1	74	113
2	201	113
3	665	95
4	2725	91
done	5000	91
0	39	244
1	111	244
2	388	244
3	2010	244
done	5000	244
0	22	71
1	52	71
2	127	71
3	359	71
4	1116	67
5	3472	65
done	5000	65
0	43	225
1	133	223
2	460	223
3	2171	205
done	5001	195
0	25	92
1	68	90
2	183	90
3	586	72
4	2313	68
done	5000	68
0	38	199
1	107	199
2	368	199
3	1825	199
done	5001	199
0	21	48
1	49	48
2	117	48
3	319	48
4	907	44
5	2575	42
done	5000	42
0	43	225
1	133	223
2	459	223
3	2160	205
done	5000	195
0	25	92
1	68	90
2	183	90
3	586	72
4	2313	68
done	5000	68
0	38	199
1	107	199
2	367	199
3	1829	199
done	5000	199
0	21	48
1	49	48
2	117	48
3	319	48
4	907	44
5	2575	42
done	5000	42
0	46	391
1	147	383
2	488	255
3	2376	166
done	5001	166
0	30	260
1	78	252
2	201	124
3	698	87
4	3117	87
done	5001	87
0	50	365
1	157	359
2	518	359
3	2620	307
done	5000	307
0	32	216
1	82	210
2	208	210
3	757	158
4	3023	158
done	5001	158
0	50	365
1	155	359
2	506	359
3	2505	307
done	5001	307
0	32	216
1	81	210
2	206	210
3	740	158
4	3017	158
done	5000	158
0	50	339
1	157	335
2	510	335
3	2533	301
done	5000	301
0	32	172
1	83	168
2	209	168
3	758	134
4	2995	134
done	5001	134
0	50	365
1	157	359
2	510	359
3	2561	307
done	5000	307
0	32	216
1	83	210
2	209	210
3	755	158
4	3005	158
done	5000	158
0	50	339
1	155	335
2	506	335
3	2503	301
done	5000	301
0	32	172
1	81	168
2	206	168
3	743	134
4	3026	134
done	5000	134
0	50	339
1	157	335
2	518	335
3	2615	301
done	5001	301
0	32	172
1	82	168
2	208	168
3	756	134
4	2997	134
done	5001	134
0	42	313
1	127	311
2	399	267
3	1970	160
done	5001	160
0	26	128
1	60	126
2	138	82
3	457	63
4	1607	63
done	5000	63
0	47	320
1	148	314
2	483	314
3	2346	262
done	5001	262
0	29	193
1	76	187
2	192	187
3	651	135
4	2603	135
done	5000	135
0	51	294
1	156	290
2	511	290
3	2534	256
done	5000	256
0	31	149
1	79	145
2	198	145
3	690	111
4	2710	111
done	5001	111
0	51	294
1	156	290
2	511	290
3	2533	256
done	5000	256
0	31	149
1	79	145
2	198	145
3	685	111
4	2692	111
done	5001	111
0	43	268
1	127	266
2	398	266
3	1951	250
done	5000	250
0	25	105
1	58	103
2	129	103
3	412	87
4	1306	87
5	4625	87
done	5000	87
0	47	320
1	148	314
2	484	314
3	2347	262
done	5000	262
0	29	193
1	76	187
2	192	187
3	651	135
4	2603	135
done	5000	135
0	51	294
1	156	290
2	511	290
3	2515	256
done	5001	256
0	31	149
1	79	145
2	198	145
3	690	111
4	2710	111
done	5001	111
0	51	294
1	156	290
2	511	290
3	2531	256
done	5000	256
0	31	149
1	79	145
2	198	145
3	685	111
4	2692	111
done	5001	111
0	43	268
1	127	266
2	399	266
3	1949	250
done	5000	250
0	25	105
1	58	103
2	129	103
3	412	87
4	1306	87
5	4625	87
done	5000	87
0	46	249
1	146	245
2	480	245
3	2313	211
done	5001	211
0	28	126
1	73	122
2	187	122
3	615	88
4	2464	88
done	5000	88
0	42	223
1	125	221
2	395	221
3	1937	205
done	5000	205
0	24	82
1	55	80
2	124	80
3	371	64
4	1164	64
5	3900	64
done	5001	64
0	47	320
1	149	314
2	492	314
3	2421	262
done	5001	262
0	29	193
1	76	187
2	192	187
3	651	135
4	2603	135
done	5000	135
0	51	294
1	156	290
2	511	290
3	2515	256
done	5000	256
0	31	149
1	79	145
2	198	145
3	690	111
4	2710	111
done	5001	111
0	51	294
1	156	290
2	511	290
3	2523	256
done	5000	256
0	31	149
1	79	145
2	198	145
3	685	111
4	2692	111
done	5001	111
0	43	268
1	128	266
2	407	266
3	2027	250
done	5000	250
0	25	105
1	58	103
2	129	103
3	412	87
4	1306	87
5	4625	87
done	5000	87
0	46	249
1	145	245
2	472	245
3	2251	211
done	5001	211
0	28	126
1	73	122
2	187	122
3	615	88
4	2464	88
done	5000	88
0	42	223
1	124	221
2	387	221
3	1852	205
done	5000	205
0	24	82
1	55	80
2	124	80
3	371	64
4	1164	64
5	3900	64
done	5001	64
0	46	249
1	145	245
2	471	245
3	2261	211
done	5001	211
0	28	126
1	73	122
2	187	122
3	615	88
4	2464	88
done	5000	88
0	42	223
1	124	221
2	386	221
3	1856	205
done	5000	205
0	24	82
1	55	80
2	124	80
3	371	64
4	1164	64
5	3900	64
done	5001	64
0	42	367
1	127	361
2	430	218
3	1980	145
done	5000	144
0	26	220
1	63	214
2	156	86
3	453	65
4	1978	65
done	5000	65
0	46	341
1	137	337
2	460	322
3	2217	286
done	5001	285
0	28	176
1	67	172
2	163	172
3	483	136
4	1906	136
done	5001	136
0	46	341
1	135	337
2	448	322
3	2112	286
done	5000	285
0	28	176
1	66	172
2	161	172
3	483	136
4	1931	136
done	5000	136
0	46	315
1	137	313
2	452	298
3	2148	280
done	5000	279
0	28	132
1	68	130
2	164	130
3	480	112
4	1910	112
done	5000	112
0	46	341
1	137	337
2	452	322
3	2162	286
done	5000	285
0	28	176
1	68	172
2	164	172
3	483	136
4	1906	136
done	5000	136
0	46	315
1	135	313
2	448	298
3	2122	280
done	5001	279
0	28	132
1	66	130
2	161	130
3	480	112
4	1919	112
done	5000	112
0	46	315
1	137	313
2	460	298
3	2223	280
done	5000	279
0	28	132
1	67	130
2	163	130
3	486	112
4	1914	112
done	5001	112
0	37	289
1	102	289
2	336	245
3	1628	139
done	5001	138
0	22	88
1	44	88
2	90	44
3	188	41
4	487	41
5	1702	41
done	5000	41
0	43	296
1	128	292
2	425	277
3	1947	241
done	5000	240
0	25	153
1	61	149
2	147	149
3	427	113
4	1734	113
done	5000	113
0	47	270
1	136	268
2	453	253
3	2136	235
done	5000	234
0	27	109
1	64	107
2	153	107
3	443	89
4	1779	89
done	5000	89
0	47	270
1	136	268
2	453	253
3	2119	235
done	5000	234
0	27	109
1	64	107
2	153	107
3	445	89
4	1784	89
done	5000	89
0	38	244
1	102	244
2	335	244
3	1621	229
done	5000	228
0	21	65
1	42	65
2	81	65
3	161	65
4	337	65
5	647	65
6	1187	65
7	2419	65
8	4867	65
done	5000	65
0	43	296
1	128	292
2	426	277
3	1944	241
done	5000	240
0	25	153
1	61	149
2	147	149
3	427	113
4	1734	113
done	5000	113
0	47	270
1	136	268
2	453	253
3	2131	235
done	5000	234
0	27	109
1	64	107
2	153	107
3	443	89
4	1779	89
done	5000	89
0	47	270
1	136	268
2	453	253
3	2119	235
done	5001	234
0	27	109
1	64	107
2	153	107
3	445	89
4	1784	89
done	5000	89
0	38	244
1	102	244
2	336	244
3	1611	229
done	5000	228
0	21	65
1	42	65
2	81	65
3	161	65
4	337	65
5	647	65
6	1187	65
7	2419	65
8	4867	65
done	5000	65
0	42	225
1	126	223
2	422	208
3	1882	190
done	5000	189
0	24	86
1	58	84
2	142	84
3	410	66
4	1689	66
done	5000	66
0	37	199
1	100	199
2	332	199
3	1550	184
done	5001	183
0	20	42
1	39	42
2	76	42
3	144	42
4	293	42
5	517	42
6	906	42
7	1800	42
8	3483	42
done	5000	42
0	43	296
1	129	292
2	434	277
3	2003	241
done	5001	240
0	25	153
1	61	149
2	147	149
3	427	113
4	1734	113
done	5000	113
0	47	270
1	136	268
2	453	253
3	2133	235
done	5000	234
0	27	109
1	64	107
2	153	107
3	443	89
4	1779	89
done	5000	89
0	47	270
1	136	268
2	453	253
3	2126	235
done	5000	234
0	27	109
1	64	107
2	153	107
3	445	89
4	1784	89
done	5000	89
0	38	244
1	103	244
2	344	244
3	1662	229
done	5000	228
0	21	65
1	42	65
2	81	65
3	161	65
4	337	65
5	647	65
6	1187	65
7	2419	65
8	4867	65
done	5000	65
0	42	225
1	125	223
2	414	208
3	1829	190
done	5000	189
0	24	86
1	58	84
2	142	84
3	410	66
4	1689	66
done	5000	66
0	37	199
1	99	199
2	324	199
3	1493	184
done	5000	183
0	20	42
1	39	42
2	76	42
3	144	42
4	293	42
5	517	42
6	906	42
7	1800	42
8	3483	42
done	5000	42
0	42	225
1	125	223
2	413	208
3	1827	190
done	5000	189
0	24	86
1	58	84
2	142	84
3	410	66
4	1689	66
done	5000	66
0	37	199
1	99	199
2	323	199
3	1500	184
done	5000	183
0	20	42
1	39	42
2	76	42
3	144	42
4	293	42
5	517	42
6	906	42
7	1800	42
8	3483	42
done	5000	42
0	39	327
1	116	321
2	386	193
3	1632	120
done	5000	120
0	25	206
1	61	200
2	150	72
3	432	51
4	1798	51
done	5000	51
0	43	301
1	126	297
2	416	297
3	1822	261
done	5001	261
0	27	162
1	65	158
2	157	158
3	463	122
4	1740	122
done	5000	122
0	43	301
1	124	297
2	404	297
3	1747	261
done	5000	261
0	27	162
1	64	158
2	155	158
3	460	122
4	1737	122
done	5000	122
0	43	275
1	126	273
2	408	273
3	1780	255
done	5001	255
0	27	118
1	66	116
2	158	116
3	462	98
4	1749	98
done	5000	98
0	43	301
1	126	297
2	408	297
3	1766	261
done	5001	261
0	27	162
1	66	158
2	158	158
3	465	122
4	1749	122
done	5000	122
0	43	275
1	124	273
2	404	273
3	1739	255
done	5001	255
0	27	118
1	64	116
2	155	116
3	461	98
4	1739	98
done	5000	98
0	43	275
1	126	273
2	416	273
3	1829	255
done	5001	255
0	27	118
1	65	116
2	157	116
3	463	98
4	1741	98
done	5000	98
0	34	249
1	91	249
2	291	205
3	1279	114
done	5000	112
0	21	74
1	42	74
2	84	30
3	168	27
4	322	27
5	767	27
6	2543	27
done	5000	27
0	40	256
1	117	252
2	381	252
3	1592	216
done	5000	216
0	24	139
1	59	135
2	141	135
3	408	99
4	1640	99
done	5000	99
0	44	230
1	125	228
2	409	228
3	1750	210
done	5001	210
0	26	95
1	62	93
2	147	93
3	424	75
4	1654	75
done	5001	75
0	44	230
1	125	228
2	409	228
3	1745	210
done	5000	210
0	26	95
1	62	93
2	147	93
3	429	75
4	1655	75
done	5001	75
0	35	204
1	91	204
2	289	204
3	1265	204
done	5001	202
0	20	51
1	40	51
2	75	51
3	145	51
4	232	51
5	371	51
6	623	51
7	1176	51
8	2102	51
9	3449	51
done	5000	51
0	40	256
1	117	252
2	382	252
3	1583	216
done	5000	216
0	24	139
1	59	135
2	141	135
3	408	99
4	1640	99
done	5000	99
0	44	230
1	125	228
2	409	228
3	1753	210
done	5000	210
0	26	95
1	62	93
2	147	93
3	424	75
4	1654	75
done	5001	75
0	44	230
1	125	228
2	409	228
3	1745	210
done	5000	210
0	26	95
1	62	93
2	147	93
3	429	75
4	1655	75
done	5001	75
0	35	204
1	91	204
2	290	204
3	1268	204
done	5001	202
0	20	51
1	40	51
2	75	51
3	145	51
4	232	51
5	371	51
6	623	51
7	1176	51
8	2102	51
9	3449	51
done	5000	51
0	39	185
1	115	183
2	378	183
3	1566	165
done	5001	163
0	23	72
1	56	70
2	136	70
3	385	52
4	1601	52
done	5000	52
0	34	159
1	89	159
2	286	159
3	1235	159
done	5000	157
0	19	28
1	37	28
2	70	28
3	124	28
4	211	28
5	350	28
6	606	28
7	1159	28
8	2115	28
9	3452	28
done	5000	28
0	40	256
1	118	252
2	390	252
3	1643	216
done	5000	216
0	24	139
1	59	135
2	141	135
3	408	99
4	1640	99
done	5000	99
0	44	230
1	125	228
2	409	228
3	1753	210
done	5001	210
0	26	95
1	62	93
2	147	93
3	424	75
4	1654	75
done	5001	75
0	44	230
1	125	228
2	409	228
3	1753	210
done	5001	210
0	26	95
1	62	93
2	147	93
3	429	75
4	1655	75
done	5001	75
0	35	204
1	92	204
2	298	204
3	1321	204
done	5000	202
0	20	51
1	40	51
2	75	51
3	145	51
4	232	51
5	371	51
6	623	51
7	1176	51
8	2102	51
9	3449	51
done	5000	51
0	39	185
1	114	183
2	370	183
3	1505	165
done	5000	163
0	23	72
1	56	70
2	136	70
3	385	52
4	1601	52
done	5000	52
0	34	159
1	88	159
2	278	159
3	1178	159
done	5000	157
0	19	28
1	37	28
2	70	28
3	124	28
4	211	28
5	350	28
6	606	28
7	1159	28
8	2115	28
9	3452	28
done	5000	28
0	39	185
1	114	183
2	369	183
3	1501	165
done	5000	163
0	23	72
1	56	70
2	136	70
3	385	52
4	1601	52
done	5000	52
0	34	159
1	88	159
2	277	159
3	1181	159
done	5001	157
0	19	28
1	37	28
2	70	28
3	124	28
4	211	28
5	350	28
6	606	28
7	1159	28
8	2115	28
9	3452	28
done	5000	28
0	29	118
1	88	118
2	307	71
3	1842	71
done	5000	71
0	30	344
1	94	271
2	411	271
3	2652	164
done	5001	164
0	28	229
1	85	229
2	342	229
3	1871	137
done	5001	137
0	26	114
1	67	114
2	187	114
3	650	68
4	2337	65
done	5000	65
0	26	97
1	66	97
2	172	96
3	510	51
4	1403	47
5	3746	47
done	5000	47
0	26	97
1	66	97
2	172	96
3	510	51
4	1403	47
5	3746	47
done	5000	47
0	26	97
1	66	97
2	171	96
3	544	52
4	1631	47
5	4177	47
done	5000	47
0	26	97
1	66	97
2	171	96
3	544	52
4	1631	47
5	4177	47
done	5000	47
0	14	23
1	32	23
2	77	23
3	287	23
4	633	23
5	1130	23
6	2408	23
done	5001	23
0	14	23
1	32	23
2	77	23
3	287	23
4	633	23
5	1130	23
6	2408	23
done	5001	23
0	14	23
1	32	23
2	77	23
3	287	23
4	633	23
5	1130	23
6	2408	23
done	5001	23
0	20	28
1	41	28
2	81	27
3	164	27
4	262	27
5	418	27
6	829	27
7	1172	27
8	1601	27
9	1813	27
10	1842	27
11	1922	27
12	2078	27
13	2100	27
done	2100	27
0	19	27
1	42	27
2	77	26
3	141	26
4	257	26
5	435	26
6	840	26
7	1192	26
8	1737	26
9	2305	26
10	2560	26
11	3295	26
done	5000	26
0	19	27
1	39	27
2	71	27
3	143	27
4	254	27
5	410	27
6	823	27
7	1152	27
8	1581	27
9	1909	27
10	2364	27
11	3227	27
12	4036	27
done	5000	27
0	18	26
1	40	26
2	69	26
3	129	26
4	243	26
5	415	26
6	826	26
7	1171	26
8	1726	26
9	2424	26
10	3122	26
11	4650	26
done	5001	26
0	17	26
1	35	26
2	62	26
3	130	26
4	241	26
5	387	26
6	764	26
7	1091	26
8	1654	26
9	2262	26
10	3059	26
11	3404	26
12	4041	26
done	5000	26
0	16	25
1	36	25
2	62	25
3	114	25
4	221	25
5	388	25
6	755	25
7	1084	25
8	1742	25
9	2666	25
10	3673	25
11	4687	25
done	5001	25
0	15	24
1	36	24
2	96	24
3	346	24
4	817	24
5	1524	24
6	3073	24
done	5000	24
0	15	24
1	35	24
2	93	24
3	344	24
4	825	24
5	1795	24
6	4739	24
done	5000	24
0	23	71
1	71	71
2	297	33
3	1892	27
done	5000	27
0	21	71
1	58	71
2	215	31
3	1196	27
done	5000	27
0	22	71
1	72	71
2	303	31
3	1990	29
done	5000	29
0	20	71
1	59	71
2	220	29
3	1302	29
done	5000	29
0	20	71
1	65	71
2	283	29
3	1754	27
done	5000	27
0	18	71
1	52	71
2	200	27
3	1097	27
done	5001	27
0	16	49
1	34	49
2	79	49
3	288	49
4	632	49
5	1135	49
6	2416	49
done	5001	49
0	15	24
1	33	24
2	78	24
3	288	24
4	635	24
5	1145	24
6	2407	24
done	5000	24
0	16	71
1	44	71
2	186	25
3	1318	25
done	5000	25
0	15	24
1	33	24
2	78	24
3	288	24
4	635	24
5	1145	24
6	2407	24
done	5000	24
0	15	24
1	33	24
2	78	24
3	288	24
4	635	24
5	1145	24
6	2407	24
done	5000	24
0	16	43
1	34	43
2	67	43
3	109	43
4	127	43
5	157	43
6	231	43
7	453	43
8	752	43
9	1094	43
10	1659	43
11	2529	43
done	5000	43
0	15	24
1	31	24
2	55	24
3	74	24
4	83	24
5	113	24
6	187	24
7	365	24
8	599	24
9	836	24
10	1150	24
11	1950	24
done	5000	24
0	18	45
1	39	45
2	103	45
3	318	45
4	848	45
5	1603	45
6	1834	45
7	2404	45
8	3738	45
done	5000	45
0	17	38
1	34	38
2	75	38
3	183	38
4	365	38
5	548	38
6	642	38
7	986	38
8	1531	38
9	2410	38
10	4267	38
11	4945	38
done	5000	38
0	14	33
1	33	31
2	78	31
3	229	31
4	562	31
5	1142	31
6	1255	31
7	1648	31
8	2276	31
9	3031	31
10	4509	31
done	5000	31
0	17	32
1	34	32
2	76	32
3	193	32
4	391	32
5	655	32
6	779	32
7	1126	32
8	1780	32
9	2757	32
10	4527	32
done	5000	32
0	16	25
1	31	25
2	63	25
3	120	25
4	181	25
5	256	25
6	325	25
7	543	25
8	836	25
9	1209	25
10	1668	25
11	2080	25
12	3913	25
13	4570	25
14	4997	25
done	4997	25
0	13	20
1	30	18
2	62	18
3	131	18
4	256	18
5	512	18
6	612	18
7	889	18
8	1168	18
9	1449	18
10	1830	18
11	2559	18
done	5000	18
0	12	21
1	25	21
2	59	19
3	222	19
4	456	19
5	514	19
6	547	19
done	547	19
0	11	14
1	22	14
2	47	12
3	139	12
4	203	12
5	207	12
6	211	12
done	211	12
0	7	9
1	18	7
2	40	5
3	84	5
4	155	5
5	220	5
6	222	5
done	222	5
0	18	33
1	32	33
2	75	33
3	230	33
4	463	33
5	826	33
6	1349	33
7	1782	33
8	1884	33
9	1936	33
10	1955	33
11	1961	33
12	1966	33
done	1966	33
0	17	26
1	29	26
2	62	26
3	155	26
4	262	26
5	360	26
6	553	26
7	643	26
8	657	26
9	675	26
10	679	26
done	679	26
0	14	21
1	28	19
2	69	19
3	184	19
4	332	19
5	613	19
6	761	19
7	1078	19
8	1212	19
done	1212	19
0	12	21
1	25	21
2	59	19
3	222	19
4	456	19
5	514	19
6	547	19
done	547	19
0	11	14
1	22	14
2	47	12
3	139	12
4	203	12
5	207	12
6	211	12
done	211	12
0	7	9
1	18	7
2	40	5
3	84	5
4	155	5
5	220	5
6	222	5
done	222	5
0	6	7
1	15	5
2	36	5
3	50	5
done	50	5
0	10	17
1	23	17
2	68	17
3	238	17
4	425	17
5	583	17
6	785	17
7	1867	17
8	4382	17
done	5000	17
0	17	27
1	50	27
2	119	25
3	363	25
4	806	25
5	1670	25
6	4995	25
done	5000	25
0	16	29
1	42	29
2	107	27
3	418	25
4	1252	25
5	3757	25
done	5000	25
0	14	19
1	30	19
2	55	19
3	93	19
4	159	19
5	259	19
6	452	19
7	886	19
8	1572	19
9	3050	19
done	5000	19
0	10	17
1	23	17
2	68	17
3	238	17
4	425	17
5	583	17
6	785	17
7	1867	17
8	4382	17
done	5000	17
0	19	24
1	38	24
2	64	24
3	114	24
4	199	24
5	352	24
6	629	24
7	1219	24
8	2183	24
9	3586	24
done	5001	24
0	19	24
1	38	24
2	64	24
3	114	24
4	199	24
5	352	24
6	629	24
7	1219	24
8	2183	24
9	3586	24
done	5001	24
0	20	49
1	45	49
2	82	49
3	132	49
4	213	49
5	368	49
6	637	49
7	1227	49
8	2188	49
9	3619	49
done	5000	49
0	20	49
1	45	49
2	82	49
3	132	49
4	213	49
5	368	49
6	637	49
7	1227	49
8	2188	49
9	3619	49
done	5000	49
0	19	24
1	38	24
2	64	24
3	114	24
4	199	24
5	352	24
6	629	24
7	1219	24
8	2183	24
9	3586	24
done	5001	24
0	19	24
1	38	24
2	64	24
3	114	24
4	199	24
5	352	24
6	629	24
7	1219	24
8	2183	24
9	3586	24
done	5001	24
0	19	24
1	38	24
2	64	24
3	114	24
4	199	24
5	352	24
6	629	24
7	1219	24
8	2183	24
9	3586	24
done	5001	24
0	20	49
1	45	49
2	82	49
3	132	49
4	213	49
5	368	49
6	637	49
7	1227	49
8	2188	49
9	3619	49
done	5000	49
0	20	49
1	45	49
2	82	49
3	132	49
4	213	49
5	368	49
6	637	49
7	1227	49
8	2188	49
9	3619	49
done	5000	49
0	19	24
1	38	24
2	64	24
3	114	24
4	199	24
5	352	24
6	629	24
7	1219	24
8	2183	24
9	3586	24
done	5001	24
0	23	53
1	49	30
2	87	28
3	142	28
4	235	28
5	386	28
6	659	28
7	1249	28
8	2186	28
9	3588	28
done	5000	28
0	23	52
1	48	51
2	84	30
3	143	28
4	230	28
5	381	28
6	644	28
7	1234	28
8	2194	28
9	3602	28
done	5000	28
0	22	52
1	47	30
2	83	30
3	141	28
4	222	28
5	377	28
6	656	28
7	1246	28
8	2184	28
9	3599	28
done	5000	28
0	22	51
1	45	51
2	82	30
3	142	28
4	226	28
5	381	28
6	643	28
7	1233	28
8	2178	28
9	3582	28
done	5000	28
0	21	50
1	49	50
2	97	50
3	165	27
4	250	27
5	405	27
6	676	27
7	1266	27
8	2248	27
9	3696	27
done	5001	27
0	21	50
1	48	50
2	98	50
3	180	50
4	351	50
5	710	50
6	1487	50
7	3606	50
done	5000	50
0	21	55
1	53	55
2	151	51
3	535	47
4	2331	47
done	5000	47
0	24	149
1	62	149
2	165	55
3	521	28
4	1533	28
done	5000	28
0	21	55
1	52	55
2	141	49
3	499	47
4	2164	47
done	5000	47
0	24	149
1	63	149
2	170	53
3	541	28
4	1588	28
done	5000	28
0	22	101
1	47	101
2	84	101
3	134	101
4	216	101
5	369	101
6	634	101
7	1224	101
8	2192	101
9	3648	101
done	5001	101
0	21	50
1	46	50
2	83	50
3	133	50
4	215	50
5	366	50
6	630	50
7	1220	50
8	2168	50
9	3588	50
done	5001	50
0	22	149
1	57	149
2	179	51
3	663	51
4	1316	26
5	2498	26
done	5001	26
0	21	50
1	46	50
2	84	25
3	134	25
4	214	25
5	367	25
6	636	25
7	1226	25
8	2188	25
9	3620	25
done	5001	25
0	21	50
1	46	50
2	84	25
3	134	25
4	214	25
5	367	25
6	636	25
7	1226	25
8	2188	25
9	3620	25
done	5001	25
0	19	24
1	38	24
2	64	24
3	114	24
4	199	24
5	352	24
6	629	24
7	1219	24
8	2183	24
9	3586	24
done	5001	24
0	19	24
1	38	24
2	64	24
3	114	24
4	199	24
5	352	24
6	629	24
7	1219	24
8	2183	24
9	3586	24
done	5001	24
0	19	26
1	40	26
2	68	26
3	118	26
4	199	26
5	352	26
6	619	26
7	1209	26
8	2185	26
9	3612	26
done	5001	26
0	20	47
1	41	47
2	69	47
3	119	47
4	198	47
5	349	47
6	608	47
7	1198	47
8	2159	47
9	3556	47
done	5000	47
0	23	57
1	64	57
2	164	57
3	485	57
4	2499	57
done	5000	57
0	27	75
1	77	75
2	204	75
3	658	75
4	3400	75
done	5001	75
0	27	75
1	77	75
2	204	75
3	661	75
4	3395	75
done	5000	75
0	22	93
1	57	93
2	127	93
3	341	93
4	1441	93
done	5000	93
0	25	53
1	67	53
2	169	53
3	499	53
4	2539	53
done	5000	53
0	24	71
1	59	71
2	136	71
3	387	71
4	1606	71
done	5000	71
0	25	53
1	67	53
2	169	53
3	501	53
4	2551	53
done	5001	53
0	24	71
1	59	71
2	136	71
3	385	71
4	1600	71
done	5000	71
0	16	21
1	31	20
2	48	20
3	74	20
4	117	20
5	200	20
6	368	20
7	662	20
8	1180	20
9	1936	20
10	4653	20
done	5000	20
0	15	20
1	30	20
2	45	20
3	67	20
4	90	20
5	129	20
6	231	20
7	407	20
8	674	20
9	937	20
10	1213	20
11	2022	20
done	5000	20
0	15	20
1	33	20
2	53	20
3	88	20
4	137	20
5	215	20
6	423	20
7	720	20
8	1261	20
9	2034	20
10	4788	20
done	5000	20
0	16	41
1	31	41
2	46	41
3	68	41
4	91	41
5	130	41
6	232	41
7	406	41
8	673	41
9	933	41
10	1207	41
11	2002	41
12	4887	41
done	5000	41
0	15	20
1	30	20
2	45	20
3	67	20
4	90	20
5	129	20
6	231	20
7	407	20
8	674	20
9	937	20
10	1213	20
11	2022	20
done	5000	20
0	16	59
1	32	59
2	61	21
3	146	21
4	631	21
5	3273	21
done	5001	21
0	15	20
1	30	20
2	45	20
3	67	20
4	90	20
5	129	20
6	231	20
7	407	20
8	674	20
9	937	20
10	1213	20
11	2022	20
done	5000	20
0	15	20
1	30	20
2	45	20
3	67	20
4	90	20
5	129	20
6	231	20
7	407	20
8	674	20
9	937	20
10	1213	20
11	2022	20
done	5000	20
0	17	23
1	48	23
2	98	23
3	310	23
4	1305	23
done	5000	23
0	18	59
1	44	57
2	85	57
3	241	41
4	776	41
5	2670	41
done	5001	41
0	2	2
done	2	2
0	16	39
1	38	39
2	77	39
3	228	39
4	808	39
5	2958	39
done	5001	39
0	14	19
1	28	19
2	42	19
3	58	19
4	77	19
5	121	19
6	218	19
7	388	19
8	650	19
9	926	19
10	1226	19
11	2037	19
12	4522	19
done	5000	19
0	16	21
1	30	21
2	40	21
3	48	21
4	57	21
5	87	21
6	161	21
7	295	21
8	477	21
9	655	21
10	896	21
11	1629	21
12	4284	21
done	5001	21
0	16	21
1	31	21
2	42	21
3	50	21
4	59	21
5	89	21
6	163	21
7	297	21
8	479	21
9	657	21
10	898	21
11	1633	21
12	4495	21
done	5000	21
0	17	22
1	28	22
2	36	22
3	42	22
4	48	22
5	68	22
6	118	22
7	192	22
8	232	22
9	265	22
10	289	22
11	373	22
12	533	22
13	555	22
done	555	22
0	17	22
1	29	22
2	38	22
3	44	22
4	50	22
5	70	22
6	120	22
7	194	22
8	234	22
9	267	22
10	291	22
11	371	22
12	524	22
13	552	22
done	552	22
0	14	19
1	29	19
2	44	19
3	66	19
4	89	19
5	128	19
6	230	19
7	406	19
8	671	19
9	932	19
10	1206	19
11	2002	19
12	4839	19
done	5000	19
0	7	9
1	9	9
done	9	9
0	2	2
done	2	2
0	16	19
1	42	19
2	99	19
3	198	17
4	421	15
5	895	15
6	3084	15
done	5001	15
0	12	13
1	25	13
2	54	13
3	65	13
4	83	11
5	113	11
6	174	11
7	302	11
8	576	11
9	1513	11
done	5001	11
0	12	13
1	25	13
2	54	13
3	65	13
4	83	11
5	113	11
6	174	11
7	302	11
8	576	11
9	1513	11
done	5001	11
0	17	19
1	42	19
2	119	19
3	233	17
4	508	15
5	1246	15
6	3954	15
done	5000	15
0	12	13
1	25	13
2	54	13
3	65	13
4	83	11
5	113	11
6	174	11
7	302	11
8	576	11
9	1513	11
done	5001	11
0	12	13
1	25	13
2	54	13
3	65	13
4	83	11
5	113	11
6	174	11
7	302	11
8	576	11
9	1513	11
done	5001	11
0	21	29
1	57	26
2	194	26
3	602	22
4	2338	20
done	5000	20
0	19	27
1	47	23
2	128	20
3	291	17
4	820	17
5	2877	15
done	5000	15
0	19	27
1	47	23
2	128	20
3	291	17
4	820	17
5	2877	15
done	5000	15
0	9	9
1	16	9
2	25	9
3	41	9
4	53	9
5	77	9
6	112	9
7	133	9
8	150	9
9	154	9
10	158	9
done	158	9
0	14	19
1	31	19
2	73	17
3	181	17
4	484	17
5	1692	15
done	5000	15
0	14	19
1	31	19
2	73	17
3	181	17
4	484	17
5	1692	15
done	5000	15

prune9.3s

Filtered

228 candidates to 256 candidates (-12.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	253	3	256
Fresh	3	6	9
Picked	1	0	1
Done	1	1	2
Total	258	10	268

Merged error: 0.4b

Counts

268 → 10

regimes412.0ms

Accuracy

0% (0.3b remaining)

Error of 0.7b against oracle of 0.4b and baseline of 0.7b

bsearch0.0ms

simplify12.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	40	183
1	65	183
2	68	183
3	72	183
done	72	183

end0.0ms

sample5.0s

Algorithm

intervals

Results

3.5s	13874×	body	80	valid
381.0ms	386×	body	640	valid
266.0ms	211×	body	1280	valid
220.0ms	299×	body	320	valid
87.0ms	167×	body	160	valid

Details

sample219.0ms

simplify907.0ms

prune18.0ms

localize45.0ms

rewrite114.0ms

series153.0ms

simplify7.8min

prune1.0s

localize41.0ms

rewrite136.0ms

series133.0ms

simplify7.7min

prune925.0ms

localize54.0ms

rewrite83.0ms

series314.0ms

simplify4.2min

prune618.0ms

localize49.0ms

rewrite176.0ms

series170.0ms

simplify14.7min

prune9.3s

regimes412.0ms

bsearch0.0ms

simplify12.0ms

end0.0ms

sample5.0s

Profiling