Details

sample86.0ms

Algorithm

intervals

Results

43.0ms	90×	body	1280	valid
15.0ms	28×	body	2560	valid
11.0ms	40×	body	640	valid
3.0ms	19×	body	320	valid
3.0ms	65×	body	80	valid
2.0ms	14×	body	160	valid

simplify3.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	9	9
done	9	9

prune3.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: 53.3b

Counts

2 → 1

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x x) 1.0)
0.4b	(+ x (sqrt (+ (* x x) 1.0)))
3.1b	(log (+ x (sqrt (+ (* x x) 1.0))))
15.0b	(sqrt (+ (* x x) 1.0))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

10×	`*-un-lft-identity`
8×	`add-log-exp`
7×	`add-sqr-sqrt`
6×	`pow1` `add-cube-cbrt`
5×	`add-exp-log`
4×	`log-prod` `flip3-+` `add-cbrt-cube` `flip-+`
3×	`sqrt-prod`
2×	`+-commutative` `log-div` `sqrt-div` `sum-log` `distribute-lft-out`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `rem-log-exp` `log-pow`

Counts

4 → 53

Calls

4 calls:

5.0ms	(+ (* x x) 1.0)
6.0ms	(+ x (sqrt (+ (* x x) 1.0)))
7.0ms	(log (+ x (sqrt (+ (* x x) 1.0))))
5.0ms	(sqrt (+ (* x x) 1.0))

series26.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(+ (* x x) 1.0)
6.0ms	(+ x (sqrt (+ (* x x) 1.0)))
11.0ms	(log (+ x (sqrt (+ (* x x) 1.0))))
5.0ms	(sqrt (+ (* x x) 1.0))

simplify1.7min

Counts

65 → 65

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	7	15
1	8	15
done	8	15
0	6	7
1	7	7
done	7	7
0	7	20
1	9	12
2	20	8
3	29	8
4	35	8
5	45	8
6	66	8
7	129	8
8	345	8
9	1263	8
done	5000	8
0	7	14
1	9	7
done	9	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	2	2
1	4	1
done	4	1
0	5	6
1	6	6
done	6	6
0	8	10
1	24	10
2	48	8
3	84	8
4	175	8
5	463	8
6	1477	8
done	5001	8
0	9	18
1	23	16
2	48	14
3	86	12
4	139	12
5	238	12
6	486	12
7	1217	12
8	4797	12
done	5000	12
0	7	12
1	16	12
2	27	10
3	51	8
4	99	8
5	189	8
6	350	8
7	832	8
8	3577	8
done	5001	8
0	5	6
1	7	6
2	8	6
done	8	6
0	3	3
1	6	1
done	6	1
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	9	20
1	13	20
2	15	12
3	16	12
done	16	12
0	8	10
1	10	10
done	10	10
0	8	10
1	10	10
done	10	10
0	8	10
1	10	10
done	10	10
0	2	2
1	4	1
done	4	1
0	7	9
1	9	9
done	9	9
0	2	2
1	4	1
done	4	1
0	7	9
1	9	9
done	9	9
0	10	13
1	24	13
2	33	13
3	59	13
4	112	13
5	247	13
6	661	13
7	2508	13
done	5000	13
0	10	27
1	19	19
2	45	19
3	78	17
4	123	15
5	192	15
6	322	15
7	432	15
8	557	15
9	633	15
done	633	15
0	8	18
1	14	10
2	33	10
3	67	4
4	104	3
5	352	3
6	3307	3
done	5000	3
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	9	9
done	9	9
0	8	10
1	10	10
done	10	10
0	8	10
1	10	8
done	10	8
0	9	21
1	11	21
done	11	21
0	8	10
1	10	10
done	10	10
0	9	29
1	12	29
2	14	11
3	19	11
4	25	11
5	35	11
6	56	11
7	117	11
8	343	11
9	1289	11
done	5000	11
0	8	10
1	10	10
done	10	10
0	8	10
1	10	10
done	10	10
0	8	10
1	12	9
2	13	9
done	13	9
0	7	9
1	9	9
done	9	9
0	7	9
1	12	9
2	13	9
done	13	9
0	8	19
1	10	19
done	10	19
0	7	9
1	9	9
done	9	9
0	8	26
1	23	26
2	54	10
3	119	10
4	319	10
5	1175	10
6	4273	10
done	5000	10
0	7	9
1	9	9
done	9	9
0	7	9
1	9	9
done	9	9
0	9	12
1	23	12
2	32	12
3	58	12
4	111	12
5	245	12
6	667	12
7	2494	12
done	5000	12
0	9	26
1	18	18
2	44	18
3	77	16
4	123	14
5	192	14
6	322	14
7	432	14
8	558	14
9	634	14
done	634	14
0	7	17
1	13	9
2	29	9
3	62	3
4	101	2
5	349	2
6	3307	2
done	5000	2
0	6	8
1	9	8
2	10	8
done	10	8
0	6	8
1	8	8
done	8	8
0	6	7
1	11	6
2	16	6
3	25	6
4	53	6
5	121	6
6	313	6
7	1010	6
8	3782	6
done	5000	6
0	5	6
1	6	6
done	6	6
0	5	6
1	9	6
2	12	6
3	16	6
4	25	6
5	51	6
6	117	6
7	306	6
8	1004	6
9	3787	6
done	5000	6
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	20	17
2	62	7
3	166	7
4	413	7
5	1137	7
6	2577	7
7	4034	7
done	5000	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	7	9
1	23	9
2	47	7
3	87	7
4	180	7
5	455	7
6	1467	7
done	5000	7
0	8	17
1	22	15
2	47	13
3	85	11
4	138	11
5	237	11
6	485	11
7	1244	11
8	4856	11
done	5000	11
0	6	11
1	15	11
2	26	9
3	50	7
4	98	7
5	186	7
6	349	7
7	830	7
8	3556	7
done	5001	7
0	4	5
1	6	5
2	7	5
done	7	5
0	17	22
1	43	22
2	127	22
3	408	22
4	1750	19
done	5000	19
0	12	15
1	33	15
2	74	11
3	172	11
4	424	11
5	1361	11
done	5000	11
0	12	15
1	33	15
2	68	11
3	134	11
4	292	11
5	788	11
6	2970	11
done	5000	11
0	13	19
1	34	19
2	109	19
3	520	19
4	2403	18
done	5001	18
0	18	23
1	45	22
2	114	17
3	316	17
4	1030	17
5	3273	17
done	5000	17
0	26	35
1	63	35
2	190	29
3	786	27
4	3950	27
done	5000	27
0	10	13
1	22	13
2	46	13
3	63	13
4	86	13
5	107	13
6	133	13
7	205	13
8	432	13
9	1377	13
done	5000	13
0	14	17
1	35	17
2	76	13
3	175	13
4	431	13
5	1401	13
done	5000	13
0	17	21
1	45	21
2	94	15
3	202	15
4	501	15
5	1683	15
done	5000	15
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5

prune147.0ms

Filtered

53 candidates to 65 candidates (-22.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	61	4	65
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	62	4	66

Merged error: 0.0b

Counts

66 → 4

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (+ (* -1/6 (/ (* x x) 1.0)) 1) (/ x (sqrt 1.0)))
0.1b	(* -1/6 (/ (* x x) 1.0))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-sqr-sqrt`
29×	`associate-r`
24×	`times-frac`
19×	`add-cube-cbrt` `*-un-lft-identity`
16×	`add-exp-log` `add-cbrt-cube`
10×	`sqrt-prod`
6×	`pow1` `associate-l` `prod-exp` `cbrt-unprod`
5×	`unswap-sqr`
3×	`cbrt-undiv` `div-exp`
2×	`frac-times` `flip3-+` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `flip-+` `div-inv` `add-log-exp`

Counts

2 → 74

Calls

2 calls:

16.0ms	(* (+ (* -1/6 (/ (* x x) 1.0)) 1) (/ x (sqrt 1.0)))
8.0ms	(* -1/6 (/ (* x x) 1.0))

series21.0ms

Counts

2 → 6

Calls

2 calls:

17.0ms	(* (+ (* -1/6 (/ (* x x) 1.0)) 1) (/ x (sqrt 1.0)))
4.0ms	(* -1/6 (/ (* x x) 1.0))

simplify4.2min

Counts

80 → 80

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	11	7
2	21	7
3	36	7
4	49	7
5	51	7
done	51	7
0	9	11
1	18	10
2	33	10
3	53	10
4	78	10
5	123	10
6	179	10
7	240	10
8	290	10
9	352	10
10	354	10
done	354	10
0	9	10
1	16	10
2	31	10
3	53	10
4	75	10
5	108	10
6	154	10
7	229	10
8	284	10
9	342	10
10	346	10
done	346	10
0	8	9
1	14	9
2	26	9
3	54	9
4	93	9
5	141	9
6	190	9
7	249	9
8	310	9
9	373	9
10	375	9
done	375	9
0	7	8
1	15	8
2	34	8
3	72	8
4	144	8
5	206	8
6	282	8
7	333	8
8	381	8
9	434	8
10	435	8
done	435	8
0	7	8
1	14	8
2	30	8
3	62	8
4	135	8
5	295	8
6	707	8
7	2682	8
done	5000	8
0	12	23
1	35	19
2	148	13
3	778	9
4	3177	9
done	5001	9
0	12	23
1	36	19
2	146	11
3	764	9
4	3231	9
done	5000	9
0	10	23
1	27	19
2	86	9
3	351	9
4	1520	9
done	5000	9
0	8	17
1	13	17
2	23	17
3	38	17
4	51	17
5	53	17
done	53	17
0	7	8
1	12	8
2	22	8
3	37	8
4	50	8
5	52	8
done	52	8
0	8	23
1	24	21
2	93	9
3	451	9
4	2115	9
done	5000	9
0	7	8
1	12	8
2	22	8
3	37	8
4	50	8
5	52	8
done	52	8
0	7	8
1	12	8
2	22	8
3	37	8
4	50	8
5	52	8
done	52	8
0	8	9
1	11	9
2	13	9
3	14	9
done	14	9
0	8	9
1	11	9
2	13	9
3	14	9
done	14	9
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	8	15
1	13	15
2	17	15
3	18	15
done	18	15
0	7	8
1	10	8
2	12	8
3	13	8
done	13	8
0	7	9
1	12	9
2	23	9
3	36	9
4	48	9
done	48	9
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	17	3
3	23	3
4	26	3
done	26	3
0	3	3
1	6	1
done	6	1
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	12	8
2	22	8
3	37	8
4	50	8
5	52	8
done	52	8
0	7	8
1	12	8
2	22	8
3	37	8
4	50	8
5	52	8
done	52	8
0	6	7
1	11	7
2	21	7
3	36	7
4	49	7
5	51	7
done	51	7
0	4	5
1	7	5
2	9	5
done	9	5
0	11	14
1	22	14
2	43	14
3	92	14
4	272	14
5	661	12
6	1236	12
7	1674	12
8	2141	12
9	3240	12
done	5000	12
0	14	17
1	27	17
2	44	17
3	68	17
4	87	17
5	99	17
6	106	17
7	118	17
8	141	17
9	155	17
10	161	17
done	161	17
0	13	16
1	25	16
2	41	16
3	65	16
4	88	16
5	99	16
6	104	16
7	113	16
8	130	16
9	149	16
10	157	16
done	157	16
0	12	15
1	26	15
2	53	15
3	112	15
4	317	15
5	762	13
6	1434	13
7	1979	13
8	2484	13
9	3611	13
done	5001	13
0	12	15
1	25	15
2	56	15
3	123	15
4	371	15
5	983	13
6	2812	13
done	5001	13
0	16	44
1	51	40
2	190	20
3	947	20
done	5001	20
0	15	44
1	48	44
2	166	18
3	763	18
4	4486	15
done	5001	15
0	13	31
1	24	31
2	45	31
3	94	31
4	279	31
5	694	27
6	1285	27
7	1698	27
8	2182	27
9	3271	27
done	5000	27
0	12	15
1	23	15
2	44	15
3	93	15
4	273	15
5	677	13
6	1244	13
7	1644	13
8	2139	13
9	3246	13
done	5000	13
0	13	44
1	34	44
2	130	16
3	636	16
4	3633	16
done	5000	16
0	12	15
1	23	15
2	44	15
3	93	15
4	273	15
5	677	13
6	1244	13
7	1644	13
8	2139	13
9	3246	13
done	5000	13
0	12	15
1	23	15
2	44	15
3	93	15
4	273	15
5	677	13
6	1244	13
7	1644	13
8	2139	13
9	3246	13
done	5000	13
0	12	15
1	38	13
2	106	13
3	419	13
4	2308	13
done	5001	13
0	14	32
1	40	26
2	147	26
3	613	20
4	2172	20
done	5000	20
0	11	21
1	33	17
2	90	17
3	304	17
4	1096	15
5	2796	15
6	4916	13
done	5000	13
0	10	12
1	21	12
2	38	12
3	73	12
4	157	12
5	238	12
6	256	12
7	260	12
done	260	12
0	13	16
1	22	16
2	32	16
3	47	16
4	60	16
5	62	16
done	62	16
0	13	16
1	22	16
2	32	16
3	47	16
4	60	16
5	62	16
done	62	16
0	14	17
1	25	17
2	38	17
3	57	17
4	71	17
5	73	17
done	73	17
0	14	17
1	25	17
2	38	17
3	57	17
4	71	17
5	73	17
done	73	17
0	14	17
1	25	17
2	38	17
3	57	17
4	71	17
5	73	17
done	73	17
0	14	17
1	25	17
2	38	17
3	57	17
4	71	17
5	73	17
done	73	17
0	13	21
1	24	21
2	44	21
3	89	21
4	294	21
5	704	21
6	1266	21
7	1375	21
8	1422	21
done	1422	21
0	12	15
1	21	15
2	39	15
3	72	15
4	194	15
5	435	15
6	742	15
7	795	15
8	822	15
done	822	15
0	15	23
1	32	23
2	79	23
3	205	23
4	840	23
5	3035	23
done	5000	23
0	15	22
1	29	19
2	57	19
3	135	19
4	515	19
5	1664	19
6	4180	19
done	5000	19
0	14	19
1	27	19
2	55	19
3	133	19
4	518	19
5	1661	19
6	4166	19
done	5000	19
0	13	18
1	26	17
2	54	17
3	132	15
4	455	15
5	1551	15
6	4746	15
done	5001	15
0	14	19
1	27	19
2	55	19
3	133	19
4	518	19
5	1661	19
6	4166	19
done	5000	19
0	12	17
1	25	15
2	60	15
3	158	15
4	499	15
5	1703	15
done	5000	15
0	14	20
1	27	20
2	56	20
3	126	20
4	418	20
5	1483	20
6	4646	20
done	5001	20
0	14	19
1	26	16
2	47	16
3	96	16
4	292	16
5	843	16
6	2028	16
7	2884	16
8	3130	16
9	3135	16
done	3135	16
0	13	16
1	24	16
2	45	16
3	94	16
4	294	16
5	858	16
6	2031	16
7	2900	16
8	3160	16
9	3169	16
done	3169	16
0	12	15
1	23	14
2	44	14
3	93	12
4	297	12
5	747	12
6	2431	12
7	3816	12
8	4066	12
done	4066	12
0	13	16
1	24	16
2	45	16
3	94	16
4	294	16
5	858	16
6	2031	16
7	2900	16
8	3160	16
9	3169	16
done	3169	16
0	11	14
1	22	12
2	47	12
3	91	12
4	256	12
5	854	12
6	2453	12
7	3355	12
8	3392	12
done	3392	12
0	13	19
1	26	19
2	54	17
3	133	17
4	370	17
5	1091	17
6	1915	17
7	2344	17
8	2538	17
done	2538	17
0	13	18
1	25	15
2	46	13
3	101	13
4	257	13
5	623	13
6	870	13
7	1029	13
8	1074	13
done	1074	13
0	12	15
1	23	15
2	44	13
3	99	13
4	250	13
5	613	13
6	874	13
7	1024	13
8	1067	13
done	1067	13
0	11	14
1	22	13
2	42	11
3	97	9
4	206	9
5	485	9
6	768	9
7	1006	9
8	1007	9
done	1007	9
0	12	15
1	23	15
2	44	13
3	99	13
4	250	13
5	613	13
6	874	13
7	1024	13
8	1067	13
done	1067	13
0	10	13
1	21	11
2	42	9
3	85	9
4	155	9
5	273	9
6	293	9
7	304	9
done	304	9
0	9	11
1	18	9
2	37	9
3	76	9
4	144	9
5	273	9
6	293	9
7	304	9
done	304	9
0	9	11
1	18	11
2	36	11
3	63	11
4	108	11
5	121	9
6	126	9
7	145	9
8	191	9
9	326	9
10	770	9
11	2494	9
done	5000	9
0	12	15
1	23	15
2	36	15
3	55	15
4	69	15
5	71	15
done	71	15
0	12	15
1	23	15
2	36	15
3	55	15
4	69	15
5	71	15
done	71	15
0	11	14
1	22	14
2	43	14
3	92	14
4	272	14
5	661	12
6	1236	12
7	1674	12
8	2141	12
9	3240	12
done	5000	12
0	9	11
1	18	11
2	36	11
3	63	11
4	108	11
5	121	9
6	126	9
7	145	9
8	191	9
9	326	9
10	770	9
11	2494	9
done	5000	9
0	14	18
1	42	16
2	113	16
3	456	16
4	2804	16
done	5001	16
0	13	24
1	37	20
2	99	20
3	358	20
4	1486	18
done	5000	18
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	10	13
1	23	13
2	53	13
3	132	13
4	406	13
5	1245	13
6	4533	13
done	5000	13
0	10	13
1	23	13
2	53	13
3	132	13
4	406	13
5	1245	13
6	4533	13
done	5000	13
0	10	13
1	23	13
2	53	13
3	132	13
4	406	13
5	1245	13
6	4533	13
done	5000	13

prune203.0ms

Filtered

65 candidates to 80 candidates (-23.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	79	1	80
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	79	5	84

Merged error: 0.0b

Counts

84 → 5

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (+ (* -1/6 (/ (* x x) 1.0)) 1))
0.0b	(* (sqrt (+ (* -1/6 (/ (* x x) 1.0)) 1)) (* (sqrt (+ (* -1/6 (/ (* x x) 1.0)) 1)) (/ x (sqrt 1.0))))
0.1b	(* -1/6 (/ (* x x) 1.0))
0.1b	(* -1/6 (/ (* x x) 1.0))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-exp-log` `add-cbrt-cube`
26×	`sqrt-div`
22×	`add-sqr-sqrt`
16×	`frac-times`
15×	`associate-r`
14×	`pow1`
13×	`add-cube-cbrt` `*-un-lft-identity` `flip3-+` `prod-exp` `cbrt-unprod` `flip-+`
12×	`associate-l`
10×	`associate-*r/`
8×	`times-frac` `associate-*l/`
6×	`sqrt-prod`
5×	`cbrt-undiv` `div-exp` `pow-prod-down`
4×	`add-log-exp` `unswap-sqr`
3×	`*-commutative`
2×	`div-inv`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`

Counts

4 → 111

Calls

4 calls:

7.0ms	(sqrt (+ (* -1/6 (/ (* x x) 1.0)) 1))
31.0ms	(* (sqrt (+ (* -1/6 (/ (* x x) 1.0)) 1)) (* (sqrt (+ (* -1/6 (/ (* x x) 1.0)) 1)) (/ x (sqrt 1.0))))
8.0ms	(* -1/6 (/ (* x x) 1.0))
8.0ms	(* -1/6 (/ (* x x) 1.0))

series30.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(sqrt (+ (* -1/6 (/ (* x x) 1.0)) 1))
17.0ms	(* (sqrt (+ (* -1/6 (/ (* x x) 1.0)) 1)) (* (sqrt (+ (* -1/6 (/ (* x x) 1.0)) 1)) (/ x (sqrt 1.0))))
3.0ms	(* -1/6 (/ (* x x) 1.0))
4.0ms	(* -1/6 (/ (* x x) 1.0))

simplify4.7min

Counts

123 → 123

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	11	7
2	21	7
3	36	7
4	49	7
5	51	7
done	51	7
0	9	11
1	18	10
2	33	10
3	53	10
4	78	10
5	123	10
6	179	10
7	240	10
8	290	10
9	352	10
10	354	10
done	354	10
0	9	10
1	16	10
2	31	10
3	53	10
4	75	10
5	108	10
6	154	10
7	229	10
8	284	10
9	342	10
10	346	10
done	346	10
0	8	9
1	14	9
2	26	9
3	54	9
4	93	9
5	141	9
6	190	9
7	249	9
8	310	9
9	373	9
10	375	9
done	375	9
0	7	8
1	15	8
2	34	8
3	72	8
4	144	8
5	206	8
6	282	8
7	333	8
8	381	8
9	434	8
10	435	8
done	435	8
0	7	8
1	14	8
2	30	8
3	62	8
4	135	8
5	295	8
6	707	8
7	2682	8
done	5000	8
0	12	23
1	35	19
2	148	13
3	778	9
4	3177	9
done	5001	9
0	12	23
1	36	19
2	146	11
3	764	9
4	3231	9
done	5000	9
0	10	23
1	27	19
2	86	9
3	351	9
4	1520	9
done	5000	9
0	8	17
1	13	17
2	23	17
3	38	17
4	51	17
5	53	17
done	53	17
0	7	8
1	12	8
2	22	8
3	37	8
4	50	8
5	52	8
done	52	8
0	8	23
1	24	21
2	93	9
3	451	9
4	2115	9
done	5000	9
0	7	8
1	12	8
2	22	8
3	37	8
4	50	8
5	52	8
done	52	8
0	7	8
1	12	8
2	22	8
3	37	8
4	50	8
5	52	8
done	52	8
0	8	9
1	11	9
2	13	9
3	14	9
done	14	9
0	8	9
1	11	9
2	13	9
3	14	9
done	14	9
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	8	15
1	13	15
2	17	15
3	18	15
done	18	15
0	7	8
1	10	8
2	12	8
3	13	8
done	13	8
0	7	9
1	12	9
2	23	9
3	36	9
4	48	9
done	48	9
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	17	3
3	23	3
4	26	3
done	26	3
0	3	3
1	6	1
done	6	1
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	12	8
2	22	8
3	37	8
4	50	8
5	52	8
done	52	8
0	7	8
1	12	8
2	22	8
3	37	8
4	50	8
5	52	8
done	52	8
0	6	7
1	11	7
2	21	7
3	36	7
4	49	7
5	51	7
done	51	7
0	4	5
1	7	5
2	9	5
done	9	5
0	6	7
1	11	7
2	21	7
3	36	7
4	49	7
5	51	7
done	51	7
0	9	11
1	18	10
2	33	10
3	53	10
4	78	10
5	123	10
6	179	10
7	240	10
8	290	10
9	352	10
10	354	10
done	354	10
0	9	10
1	16	10
2	31	10
3	53	10
4	75	10
5	108	10
6	154	10
7	229	10
8	284	10
9	342	10
10	346	10
done	346	10
0	8	9
1	14	9
2	26	9
3	54	9
4	93	9
5	141	9
6	190	9
7	249	9
8	310	9
9	373	9
10	375	9
done	375	9
0	7	8
1	15	8
2	34	8
3	72	8
4	144	8
5	206	8
6	282	8
7	333	8
8	381	8
9	434	8
10	435	8
done	435	8
0	7	8
1	14	8
2	30	8
3	62	8
4	135	8
5	295	8
6	707	8
7	2682	8
done	5000	8
0	12	23
1	35	19
2	148	13
3	778	9
4	3177	9
done	5001	9
0	12	23
1	36	19
2	146	11
3	764	9
4	3231	9
done	5000	9
0	10	23
1	27	19
2	86	9
3	351	9
4	1520	9
done	5000	9
0	8	17
1	13	17
2	23	17
3	38	17
4	51	17
5	53	17
done	53	17
0	7	8
1	12	8
2	22	8
3	37	8
4	50	8
5	52	8
done	52	8
0	8	23
1	24	21
2	93	9
3	451	9
4	2115	9
done	5000	9
0	7	8
1	12	8
2	22	8
3	37	8
4	50	8
5	52	8
done	52	8
0	7	8
1	12	8
2	22	8
3	37	8
4	50	8
5	52	8
done	52	8
0	8	9
1	11	9
2	13	9
3	14	9
done	14	9
0	8	9
1	11	9
2	13	9
3	14	9
done	14	9
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	8	15
1	13	15
2	17	15
3	18	15
done	18	15
0	7	8
1	10	8
2	12	8
3	13	8
done	13	8
0	7	9
1	12	9
2	23	9
3	36	9
4	48	9
done	48	9
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	17	3
3	23	3
4	26	3
done	26	3
0	3	3
1	6	1
done	6	1
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	12	8
2	22	8
3	37	8
4	50	8
5	52	8
done	52	8
0	7	8
1	12	8
2	22	8
3	37	8
4	50	8
5	52	8
done	52	8
0	6	7
1	11	7
2	21	7
3	36	7
4	49	7
5	51	7
done	51	7
0	4	5
1	7	5
2	9	5
done	9	5
0	13	26
1	27	26
2	47	14
3	80	14
4	154	14
5	395	14
6	854	12
7	1401	12
8	1854	12
9	2327	12
10	3434	12
done	5001	12
0	13	26
1	27	26
2	47	14
3	80	14
4	154	14
5	395	14
6	854	12
7	1401	12
8	1854	12
9	2327	12
10	3434	12
done	5001	12
0	16	30
1	32	30
2	58	20
3	101	20
4	142	20
5	198	20
6	249	20
7	308	20
8	383	20
9	435	20
done	435	20
0	15	29
1	30	29
2	51	19
3	87	19
4	134	19
5	186	19
6	219	19
7	263	19
8	332	19
9	416	19
10	422	19
done	422	19
0	15	28
1	29	28
2	50	28
3	87	19
4	138	19
5	190	19
6	256	19
7	320	19
8	374	19
9	416	19
10	459	19
done	459	19
0	14	27
1	31	27
2	60	15
3	111	15
4	224	15
5	528	15
6	1074	13
7	1881	13
8	2559	13
9	3100	13
10	4336	13
done	5001	13
0	14	27
1	30	27
2	58	15
3	119	15
4	282	15
5	820	15
6	2510	13
done	5000	13
0	18	80
1	46	52
2	174	34
3	913	20
done	5000	20
0	17	80
1	43	56
2	146	32
3	631	18
4	3168	18
done	5000	18
0	17	80
1	43	56
2	155	30
3	674	30
4	3545	16
done	5000	16
0	15	55
1	29	55
2	49	31
3	82	31
4	156	31
5	393	31
6	873	27
7	1386	27
8	1833	27
9	2344	27
10	3497	27
done	5000	27
0	14	27
1	28	27
2	48	15
3	81	15
4	155	15
5	400	15
6	869	13
7	1381	13
8	1808	13
9	2306	13
10	3442	13
done	5001	13
0	15	80
1	38	80
2	122	16
3	506	16
4	2577	16
done	5000	16
0	14	27
1	28	27
2	48	15
3	81	15
4	155	15
5	400	15
6	869	13
7	1381	13
8	1808	13
9	2306	13
10	3442	13
done	5001	13
0	14	27
1	28	27
2	48	15
3	81	15
4	155	15
5	400	15
6	869	13
7	1381	13
8	1808	13
9	2306	13
10	3442	13
done	5001	13
0	14	31
1	43	27
2	104	13
3	397	13
4	2046	13
done	5000	13
0	16	64
1	45	52
2	145	26
3	568	20
4	1730	20
done	5000	20
0	18	37
1	57	31
2	152	31
3	578	29
4	2627	29
done	5000	29
0	18	44
1	50	38
2	154	38
3	554	32
4	1564	32
5	4253	32
done	5001	32
0	16	27
1	46	25
2	112	25
3	398	25
4	1991	25
done	5000	25
0	15	33
1	41	27
2	140	27
3	541	21
4	1561	21
5	4227	21
done	5001	21
0	16	34
1	47	30
2	117	16
3	420	16
4	2140	16
done	5001	16
0	14	61
1	39	23
2	139	23
3	541	17
4	1559	17
5	4224	17
done	5001	17
0	20	40
1	61	34
2	165	34
3	608	32
4	2678	32
done	5000	32
0	16	41
1	45	35
2	143	35
3	544	29
4	1565	29
5	4255	29
done	5001	29
0	18	37
1	57	31
2	152	31
3	575	29
4	2634	29
done	5001	29
0	18	44
1	50	38
2	154	38
3	557	32
4	1571	32
5	4263	32
done	5000	32
0	13	43
1	38	35
2	86	17
3	271	17
4	890	15
5	2396	13
6	4653	13
done	5001	13
0	12	24
1	26	24
2	38	12
3	62	12
4	111	12
5	192	12
6	238	12
7	243	12
8	247	12
done	247	12
0	15	33
1	40	29
2	92	29
3	258	29
4	816	27
5	1850	25
6	3450	25
done	5001	25
0	11	13
1	22	13
2	33	13
3	48	13
4	61	13
5	63	13
done	63	13
0	20	40
1	61	34
2	165	34
3	606	32
4	2682	32
done	5001	32
0	16	41
1	45	35
2	143	35
3	543	29
4	1553	29
5	4230	29
done	5000	29
0	15	46
1	42	38
2	99	20
3	297	20
4	1007	18
5	3331	16
done	5000	16
0	10	21
1	20	9
2	32	9
3	47	9
4	60	9
5	62	9
done	62	9
0	10	21
1	18	9
2	29	9
3	44	9
4	57	9
5	59	9
done	59	9
0	14	27
1	28	27
2	53	27
3	85	27
4	122	27
5	138	27
6	141	27
done	141	27
0	15	27
1	29	27
2	54	27
3	86	27
4	123	27
5	139	27
6	142	27
done	142	27
0	14	27
1	28	27
2	53	27
3	85	27
4	122	27
5	138	27
6	141	27
done	141	27
0	13	26
1	27	26
2	47	14
3	80	14
4	154	14
5	395	14
6	854	12
7	1401	12
8	1854	12
9	2327	12
10	3434	12
done	5001	12
0	14	27
1	28	27
2	53	27
3	85	27
4	122	27
5	138	27
6	141	27
done	141	27
0	13	26
1	27	26
2	47	14
3	80	14
4	154	14
5	395	14
6	854	12
7	1401	12
8	1854	12
9	2327	12
10	3434	12
done	5001	12
0	16	27
1	46	25
2	112	25
3	395	25
4	1982	25
done	5000	25
0	15	33
1	40	29
2	92	29
3	263	29
4	816	27
5	1844	25
6	3445	25
done	5000	25
0	11	23
1	23	23
2	34	11
3	58	11
4	93	11
5	130	9
6	138	9
7	157	9
8	201	9
9	336	9
10	786	9
11	2555	9
done	5000	9
0	18	30
1	50	28
2	125	28
3	425	28
4	2010	28
done	5001	28
0	17	36
1	44	32
2	105	32
3	293	32
4	875	30
5	1895	28
6	3482	28
done	5000	28
0	18	30
1	50	28
2	125	28
3	431	28
4	2018	28
done	5000	28
0	17	36
1	44	32
2	105	32
3	290	32
4	873	30
5	1887	28
6	3497	28
done	5000	28
0	10	11
1	18	11
2	28	11
3	43	11
4	56	11
5	58	11
done	58	11
0	10	11
1	18	11
2	28	11
3	43	11
4	56	11
5	58	11
done	58	11
0	11	23
1	19	23
2	29	23
3	44	23
4	57	23
5	59	23
done	59	23
0	10	11
1	18	11
2	28	11
3	43	11
4	56	11
5	58	11
done	58	11
0	11	32
1	20	20
2	41	12
3	79	12
4	210	12
5	447	12
6	807	12
7	967	12
8	1321	12
9	2692	12
done	5000	12
0	11	22
1	20	11
2	30	11
3	45	11
4	58	11
5	60	11
done	60	11
0	10	11
1	18	11
2	28	11
3	43	11
4	56	11
5	58	11
done	58	11
0	10	11
1	18	11
2	28	11
3	43	11
4	56	11
5	58	11
done	58	11
0	10	11
1	18	11
2	28	11
3	43	11
4	56	11
5	58	11
done	58	11
0	2	2
1	4	1
done	4	1
0	9	10
1	17	10
2	27	10
3	42	10
4	55	10
5	57	10
done	57	10
0	12	14
1	37	12
2	95	12
3	372	12
4	1966	12
done	5001	12
0	13	30
1	38	24
2	137	24
3	539	18
4	1551	18
5	4235	18
done	5001	18
0	11	20
1	32	16
2	79	16
3	247	16
4	804	14
5	1827	12
6	3401	12
done	5000	12
0	9	10
1	19	10
2	30	10
3	45	10
4	58	10
5	60	10
done	60	10
0	3	3
1	6	1
done	6	1
0	10	11
1	18	11
2	28	11
3	43	11
4	56	11
5	58	11
done	58	11
0	10	11
1	18	11
2	28	11
3	43	11
4	56	11
5	58	11
done	58	11
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	10	13
1	23	13
2	53	13
3	132	13
4	406	13
5	1245	13
6	4533	13
done	5000	13
0	10	13
1	23	13
2	53	13
3	132	13
4	406	13
5	1245	13
6	4533	13
done	5000	13
0	10	13
1	23	13
2	53	13
3	132	13
4	406	13
5	1245	13
6	4533	13
done	5000	13
0	12	13
1	28	13
2	69	13
3	195	13
4	700	13
5	2012	13
done	5000	13
0	18	29
1	50	25
2	137	25
3	484	25
4	2094	25
done	5001	25
0	18	29
1	50	25
2	131	25
3	439	25
4	1514	25
done	5000	25

prune400.0ms

Filtered

106 candidates to 123 candidates (-16.0%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	123	0	123
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	123	5	128

Merged error: 0.0b

Counts

128 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (/ 0.5 x) x) (/ 0.125 (pow x 3)))
0.0b	(+ x (- (+ (/ 0.5 x) x) (/ 0.125 (pow x 3))))
0.2b	(/ 0.125 (pow x 3))
13.1b	(log (+ x (- (+ (/ 0.5 x) x) (/ 0.125 (pow x 3)))))

rewrite89.0ms

Algorithm

rewrite-expression-head

Rules

53×	`*-un-lft-identity`
43×	`add-sqr-sqrt`
40×	`times-frac`
30×	`add-cube-cbrt`
18×	`add-log-exp`
13×	`unpow-prod-down` `cube-prod`
12×	`associate-/r*`
10×	`add-exp-log`
9×	`distribute-lft-out`
6×	`log-prod` `add-cbrt-cube` `distribute-lft-out--`
5×	`pow1` `sum-log` `difference-of-squares` `sqr-pow`
4×	`cube-mult` `diff-log` `unpow3`
3×	`associate-+r+` `flip3-+` `div-exp` `flip-+` `associate-/l*`
2×	`sub-neg` `log-div` `associate--l+` `frac-sub`
1×	`cbrt-undiv` `+-commutative` `pow-to-exp` `associate-+r-` `flip3--` `frac-2neg` `rem-log-exp` `pow-exp` `clear-num` `log-pow` `flip--` `div-inv`

Counts

4 → 125

Calls

4 calls:

21.0ms	(- (+ (/ 0.5 x) x) (/ 0.125 (pow x 3)))
25.0ms	(+ x (- (+ (/ 0.5 x) x) (/ 0.125 (pow x 3))))
6.0ms	(/ 0.125 (pow x 3))
27.0ms	(log (+ x (- (+ (/ 0.5 x) x) (/ 0.125 (pow x 3)))))

series25.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(- (+ (/ 0.5 x) x) (/ 0.125 (pow x 3)))
5.0ms	(+ x (- (+ (/ 0.5 x) x) (/ 0.125 (pow x 3))))
4.0ms	(/ 0.125 (pow x 3))
11.0ms	(log (+ x (- (+ (/ 0.5 x) x) (/ 0.125 (pow x 3)))))

simplify8.6min

Counts

137 → 137

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	13	30
1	31	30
2	64	17
3	114	17
4	192	17
5	386	17
6	916	17
7	2945	17
done	5000	17
0	12	15
1	28	15
2	60	15
3	108	15
4	185	15
5	377	15
6	909	15
7	2923	15
done	5000	15
0	12	15
1	28	15
2	60	15
3	108	15
4	185	15
5	377	15
6	909	15
7	2923	15
done	5000	15
0	12	15
1	28	15
2	60	15
3	108	15
4	185	15
5	377	15
6	909	15
7	2923	15
done	5000	15
0	2	2
1	4	1
done	4	1
0	11	14
1	27	14
2	59	14
3	108	14
4	185	14
5	377	14
6	901	14
7	2920	14
done	5000	14
0	2	2
1	4	1
done	4	1
0	11	14
1	27	14
2	59	14
3	108	14
4	185	14
5	377	14
6	901	14
7	2920	14
done	5000	14
0	2	2
1	4	1
done	4	1
0	11	14
1	27	14
2	59	14
3	108	14
4	185	14
5	377	14
6	901	14
7	2920	14
done	5000	14
0	2	2
1	4	1
done	4	1
0	11	14
1	27	14
2	59	14
3	108	14
4	185	14
5	377	14
6	901	14
7	2920	14
done	5000	14
0	12	18
1	31	18
2	79	18
3	307	18
4	1818	18
done	5001	18
0	15	42
1	35	30
2	101	30
3	388	30
4	2125	30
done	5000	30
0	13	28
1	30	28
2	82	28
3	319	28
4	1602	26
done	5000	26
0	11	14
1	28	14
2	64	14
3	138	12
4	271	10
5	818	10
6	4403	10
done	5000	10
0	11	14
1	27	14
2	59	14
3	108	14
4	185	14
5	377	14
6	901	14
7	2920	14
done	5000	14
0	12	15
1	28	15
2	60	15
3	108	15
4	185	15
5	377	15
6	909	15
7	2923	15
done	5000	15
0	12	15
1	28	13
2	60	13
3	108	13
4	185	13
5	377	13
6	909	13
7	2923	13
done	5000	13
0	13	31
1	29	31
2	61	31
3	109	31
4	187	31
5	381	31
6	916	31
7	2923	31
done	5000	31
0	12	15
1	28	15
2	60	15
3	108	15
4	185	15
5	377	15
6	909	15
7	2923	15
done	5000	15
0	13	44
1	30	44
2	63	16
3	114	16
4	194	16
5	390	16
6	924	16
7	2993	16
done	5000	16
0	12	15
1	28	15
2	60	15
3	108	15
4	185	15
5	377	15
6	909	15
7	2923	15
done	5000	15
0	12	15
1	28	15
2	60	15
3	108	15
4	185	15
5	377	15
6	909	15
7	2923	15
done	5000	15
0	7	7
1	10	7
2	18	7
done	18	7
0	7	7
1	10	7
2	18	7
done	18	7
0	7	7
1	19	7
2	37	7
3	65	7
4	136	7
5	343	7
6	1061	7
7	4175	7
done	5000	7
0	6	6
1	17	6
2	38	6
3	83	6
4	178	6
5	435	6
6	1302	6
done	5000	6
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	482	6
7	1830	6
done	5001	6
0	9	17
1	29	13
2	110	9
3	617	7
4	3726	7
done	5001	7
0	7	13
1	15	13
2	27	13
3	43	13
4	75	13
5	166	13
6	483	13
7	1825	13
done	5000	13
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	482	6
7	1830	6
done	5001	6
0	7	17
1	22	17
2	76	7
3	471	7
4	3031	7
done	5000	7
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	482	6
7	1830	6
done	5001	6
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	482	6
7	1830	6
done	5001	6
0	2	2
done	2	2
0	4	4
1	12	4
2	27	4
3	48	4
4	92	4
5	228	4
6	752	4
7	3059	4
done	5000	4
0	9	13
1	21	13
2	64	9
3	161	9
4	325	9
5	658	9
6	1754	9
done	5000	9
0	7	7
1	15	4
2	19	4
3	25	4
4	35	4
5	58	4
6	121	4
7	342	4
8	1286	4
done	5001	4
0	8	10
1	18	10
2	41	10
3	85	10
4	161	10
5	414	10
6	1498	10
done	5001	10
0	7	7
1	15	7
2	27	7
3	41	7
4	75	7
5	165	7
6	483	7
7	1833	7
done	5000	7
0	7	9
1	19	7
2	21	5
3	25	5
4	30	5
done	30	5
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	479	6
7	1831	6
done	5000	6
0	6	9
1	12	9
2	21	9
3	27	9
done	27	9
0	4	4
done	4	4
0	9	15
1	22	9
2	37	9
3	53	9
4	74	9
5	141	9
6	356	9
7	1269	9
done	5000	9
0	7	7
1	15	4
2	21	4
3	31	4
4	52	4
5	115	4
6	323	4
7	1257	4
done	5000	4
0	9	13
1	21	13
2	64	9
3	161	9
4	325	9
5	658	9
6	1754	9
done	5000	9
0	7	7
1	15	4
2	19	4
3	25	4
4	35	4
5	58	4
6	121	4
7	342	4
8	1286	4
done	5001	4
0	8	10
1	18	10
2	41	10
3	85	10
4	161	10
5	414	10
6	1498	10
done	5001	10
0	7	7
1	15	7
2	27	7
3	41	7
4	75	7
5	165	7
6	483	7
7	1833	7
done	5000	7
0	7	9
1	19	7
2	21	5
3	25	5
4	30	5
done	30	5
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	479	6
7	1831	6
done	5000	6
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	5	6
1	7	6
done	7	6
0	8	10
1	18	10
2	27	10
3	38	10
4	59	10
5	120	10
6	324	10
7	1255	10
done	5000	10
0	7	7
1	15	7
2	22	7
3	32	7
4	53	7
5	114	7
6	323	7
7	1262	7
done	5000	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	479	6
7	1831	6
done	5000	6
0	9	11
1	16	9
2	29	9
3	57	9
4	131	9
5	384	9
6	1459	9
done	5001	9
0	8	8
1	13	6
2	21	6
3	35	6
4	67	6
5	163	6
6	481	6
7	1850	6
done	5000	6
0	8	10
1	18	10
2	47	6
3	83	6
4	120	6
5	218	6
6	546	6
7	1942	6
done	5001	6
0	7	7
1	15	4
2	19	4
3	25	4
4	35	4
5	58	4
6	121	4
7	342	4
8	1286	4
done	5001	4
0	7	7
1	15	7
2	27	7
3	41	7
4	75	7
5	165	7
6	483	7
7	1833	7
done	5000	7
0	7	7
1	15	7
2	27	7
3	41	7
4	75	7
5	165	7
6	483	7
7	1833	7
done	5000	7
0	6	6
1	16	4
2	20	2
done	20	2
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	479	6
7	1831	6
done	5000	6
0	5	6
1	7	6
done	7	6
0	4	4
done	4	4
0	8	12
1	17	6
2	23	6
3	33	6
4	54	6
5	115	6
6	324	6
7	1245	6
done	5001	6
0	7	7
1	15	4
2	21	4
3	31	4
4	52	4
5	115	4
6	323	4
7	1257	4
done	5000	4
0	8	10
1	18	10
2	47	6
3	83	6
4	120	6
5	218	6
6	546	6
7	1942	6
done	5001	6
0	7	7
1	15	4
2	19	4
3	25	4
4	35	4
5	58	4
6	121	4
7	342	4
8	1286	4
done	5001	4
0	7	7
1	15	7
2	27	7
3	41	7
4	75	7
5	165	7
6	483	7
7	1833	7
done	5000	7
0	7	7
1	15	7
2	27	7
3	41	7
4	75	7
5	165	7
6	483	7
7	1833	7
done	5000	7
0	6	6
1	16	4
2	20	2
done	20	2
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	479	6
7	1831	6
done	5000	6
0	4	4
done	4	4
0	5	6
1	7	6
done	7	6
0	7	7
1	15	7
2	22	7
3	32	7
4	53	7
5	114	7
6	323	7
7	1262	7
done	5000	7
0	7	7
1	15	7
2	22	7
3	32	7
4	53	7
5	114	7
6	323	7
7	1262	7
done	5000	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	479	6
7	1831	6
done	5000	6
0	8	8
1	13	6
2	21	6
3	35	6
4	67	6
5	163	6
6	481	6
7	1850	6
done	5000	6
0	8	8
1	13	6
2	21	6
3	35	6
4	67	6
5	163	6
6	481	6
7	1850	6
done	5000	6
0	7	9
1	19	9
2	48	5
3	86	5
4	123	5
5	220	5
6	553	5
7	1964	5
done	5001	5
0	6	6
1	14	3
2	18	3
3	24	3
4	34	3
5	55	3
6	120	3
7	342	3
8	1273	3
done	5000	3
0	6	6
1	16	6
2	28	6
3	42	6
4	74	6
5	164	6
6	480	6
7	1837	6
done	5000	6
0	6	6
1	14	6
2	26	6
3	40	6
4	72	6
5	164	6
6	477	6
7	1821	6
done	5001	6
0	4	5
1	14	1
2	18	1
done	18	1
0	5	5
1	13	5
2	25	5
3	40	5
4	72	5
5	164	5
6	486	5
7	1827	5
done	5000	5
0	4	5
1	8	5
done	8	5
0	3	3
done	3	3
0	7	11
1	18	5
2	24	5
3	34	5
4	55	5
5	118	5
6	321	5
7	1256	5
done	5001	5
0	6	6
1	14	3
2	20	3
3	30	3
4	51	3
5	113	3
6	327	3
7	1247	3
done	5000	3
0	7	9
1	19	9
2	48	5
3	86	5
4	123	5
5	220	5
6	553	5
7	1964	5
done	5001	5
0	6	6
1	14	3
2	18	3
3	24	3
4	34	3
5	55	3
6	120	3
7	342	3
8	1273	3
done	5000	3
0	6	6
1	16	6
2	28	6
3	42	6
4	74	6
5	164	6
6	480	6
7	1837	6
done	5000	6
0	6	6
1	14	6
2	26	6
3	40	6
4	72	6
5	164	6
6	477	6
7	1821	6
done	5001	6
0	4	5
1	14	1
2	18	1
done	18	1
0	5	5
1	13	5
2	25	5
3	40	5
4	72	5
5	164	5
6	486	5
7	1827	5
done	5000	5
0	3	3
1	5	3
done	5	3
0	4	5
1	6	5
done	6	5
0	6	6
1	16	6
2	23	6
3	33	6
4	54	6
5	111	6
6	317	6
7	1250	6
done	5001	6
0	6	6
1	14	6
2	21	6
3	31	6
4	52	6
5	114	6
6	317	6
7	1256	6
done	5000	6
0	2	3
1	4	1
done	4	1
0	5	5
1	13	5
2	25	5
3	40	5
4	72	5
5	164	5
6	486	5
7	1827	5
done	5000	5
0	7	7
1	14	5
2	22	5
3	36	5
4	68	5
5	156	5
6	474	5
7	1845	5
done	5000	5
0	7	7
1	12	5
2	20	5
3	34	5
4	66	5
5	158	5
6	475	5
7	1836	5
done	5000	5
0	5	5
1	15	5
2	27	5
3	43	5
4	75	5
5	165	5
6	476	5
7	1834	5
done	5000	5
0	5	5
1	13	5
2	25	5
3	47	5
4	95	5
5	230	5
6	748	5
7	3127	5
done	5000	5
0	7	9
1	17	9
2	46	5
3	85	5
4	122	5
5	222	5
6	548	5
7	1954	5
done	5001	5
0	6	6
1	14	6
2	26	6
3	40	6
4	72	6
5	164	6
6	477	6
7	1821	6
done	5001	6
0	5	5
1	15	3
done	15	1
0	4	5
1	6	5
done	6	5
0	7	11
1	16	5
2	22	5
3	32	5
4	53	5
5	113	5
6	323	5
7	1248	5
done	5001	5
0	7	9
1	17	9
2	46	5
3	85	5
4	122	5
5	222	5
6	548	5
7	1954	5
done	5001	5
0	6	6
1	14	6
2	26	6
3	40	6
4	72	6
5	164	6
6	477	6
7	1821	6
done	5001	6
0	5	5
1	15	3
done	15	1
0	3	3
done	3	3
0	6	6
1	14	6
2	21	6
3	31	6
4	52	6
5	114	6
6	317	6
7	1256	6
done	5000	6
0	3	3
1	5	1
done	5	1
0	7	7
1	12	5
2	20	5
3	34	5
4	66	5
5	158	5
6	475	5
7	1836	5
done	5000	5
0	6	6
1	14	6
2	26	6
3	48	6
4	96	6
5	231	6
6	755	6
7	3136	6
done	5000	6
0	6	6
1	14	6
2	26	6
3	48	6
4	96	6
5	231	6
6	755	6
7	3136	6
done	5000	6
0	5	5
1	13	5
2	25	5
3	47	5
4	95	5
5	230	5
6	748	5
7	3127	5
done	5000	5
0	13	17
1	29	16
2	58	15
3	113	14
4	213	14
5	448	14
6	1100	14
7	3291	14
done	5000	14
0	13	16
1	29	15
2	59	14
3	122	14
4	234	14
5	439	14
6	1040	14
7	3337	14
done	5000	14
0	12	15
1	31	14
2	68	14
3	145	14
4	265	14
5	485	14
6	1173	14
7	3502	14
done	5000	14
0	11	14
1	27	14
2	59	14
3	108	14
4	185	14
5	377	14
6	901	14
7	2920	14
done	5000	14
0	11	14
1	30	14
2	73	14
3	148	14
4	277	14
5	537	14
6	1306	14
7	3698	14
done	5000	14
0	12	29
1	28	29
2	60	29
3	108	29
4	185	29
5	377	29
6	909	29
7	2923	29
done	5000	29
0	11	14
1	27	14
2	59	14
3	108	14
4	185	14
5	377	14
6	901	14
7	2920	14
done	5000	14
0	12	41
1	41	41
2	127	15
3	548	15
4	4054	15
done	5000	15
0	11	14
1	27	14
2	59	14
3	108	14
4	185	14
5	377	14
6	901	14
7	2920	14
done	5000	14
0	11	14
1	27	14
2	59	14
3	108	14
4	185	14
5	377	14
6	901	14
7	2920	14
done	5000	14
0	11	17
1	30	17
2	78	17
3	307	17
4	1818	17
done	5001	17
0	14	41
1	34	29
2	100	29
3	386	29
4	2125	29
done	5000	29
0	12	27
1	29	27
2	78	27
3	313	27
4	1600	25
done	5001	25
0	10	13
1	27	13
2	63	13
3	137	11
4	277	9
5	814	9
6	4350	9
done	5000	9
0	10	13
1	26	13
2	58	13
3	107	13
4	184	13
5	378	13
6	907	13
7	2931	13
done	5000	13
0	10	13
1	26	13
2	58	13
3	107	13
4	184	13
5	378	13
6	907	13
7	2931	13
done	5000	13
0	10	13
1	26	13
2	58	13
3	107	13
4	184	13
5	378	13
6	907	13
7	2931	13
done	5000	13
0	5	7
1	7	7
2	10	7
3	12	7
4	13	7
done	13	7
0	4	5
1	5	5
done	5	5
0	5	7
1	7	7
2	10	7
3	12	7
4	13	7
done	13	7
0	5	7
1	7	7
2	10	7
3	12	7
4	13	7
done	13	7
0	12	14
1	25	13
2	46	12
3	78	12
4	140	12
5	297	12
6	782	12
7	2722	12
done	5000	12
0	11	13
1	25	12
2	46	12
3	87	12
4	159	12
5	313	12
6	813	12
7	2874	12
done	5000	12
0	10	12
1	23	12
2	44	12
3	77	12
4	131	12
5	278	12
6	761	12
7	2769	12
done	5000	12
0	10	12
1	26	12
2	55	12
3	104	12
4	179	12
5	346	12
6	880	12
7	2937	12
done	5000	12
0	11	25
1	24	25
2	45	25
3	78	25
4	132	25
5	272	25
6	745	25
7	2745	25
done	5000	25
0	10	12
1	23	12
2	44	12
3	77	12
4	131	12
5	278	12
6	761	12
7	2769	12
done	5000	12
0	11	35
1	25	35
2	71	13
3	286	13
4	1731	13
done	5000	13
0	10	12
1	23	12
2	44	12
3	77	12
4	131	12
5	278	12
6	761	12
7	2769	12
done	5000	12
0	10	12
1	23	12
2	44	12
3	77	12
4	131	12
5	278	12
6	761	12
7	2769	12
done	5000	12
0	16	33
1	48	31
2	135	31
3	434	29
4	1779	29
done	5000	29
0	11	21
1	33	19
2	85	19
3	246	17
4	799	15
5	3394	15
done	5000	15
0	13	23
1	34	23
2	93	23
3	322	17
4	1109	17
5	3963	17
done	5001	17
0	7	9
1	18	9
2	43	9
3	108	9
4	257	9
5	748	9
6	2862	9
done	5000	9
0	11	15
1	35	15
2	107	15
3	447	15
4	2719	15
done	5000	15
0	13	35
1	41	29
2	132	29
3	517	29
4	1815	25
done	5001	25
0	6	6
1	16	6
2	34	6
3	62	6
4	109	6
5	235	6
6	669	6
7	2496	6
done	5000	6
0	11	23
1	35	23
2	105	23
3	396	23
4	1534	19
done	5001	19
0	9	11
1	21	11
2	39	11
3	54	11
4	86	11
5	178	11
6	492	11
7	1850	11
done	5000	11
0	11	13
1	21	13
2	33	13
3	49	13
4	81	13
5	174	13
6	487	13
7	1835	13
done	5001	13
0	11	13
1	22	13
2	35	13
3	51	13
4	83	13
5	180	13
6	506	13
7	1878	13
done	5000	13
0	12	14
1	22	14
2	34	14
3	48	14
4	82	14
5	176	14
6	497	14
7	1863	14
done	5001	14
0	12	14
1	23	14
2	38	14
3	64	14
4	111	14
5	246	14
6	711	14
7	2655	14
done	5000	14
0	12	14
1	22	14
2	34	14
3	48	14
4	82	14
5	176	14
6	497	14
7	1863	14
done	5001	14
0	12	14
1	23	14
2	38	14
3	64	14
4	111	14
5	246	14
6	711	14
7	2655	14
done	5000	14
0	12	14
1	22	14
2	29	14
3	39	14
4	60	14
5	120	14
6	340	14
7	1282	14
done	5000	14
0	12	14
1	23	14
2	33	14
3	43	14
4	64	14
5	124	14
6	330	14
7	1263	14
done	5000	14
0	13	15
1	20	13
2	28	13
3	42	13
4	74	13
5	167	13
6	486	13
7	1846	13
done	5000	13
0	13	15
1	20	13
2	31	13
3	54	13
4	99	13
5	229	13
6	691	13
7	2665	13
done	5001	13
0	9	11
1	22	11
2	43	11
3	76	11
4	130	11
5	275	11
6	754	11
7	2738	11
done	5001	11
0	9	11
1	22	11
2	43	11
3	76	11
4	130	11
5	275	11
6	754	11
7	2738	11
done	5001	11
0	6	7
1	16	7
2	31	7
3	58	7
4	107	7
5	239	7
6	704	7
7	2632	7
done	5000	7
0	6	6
1	16	6
2	34	6
3	62	6
4	109	6
5	235	6
6	669	6
7	2496	6
done	5000	6
0	23	30
1	51	30
2	151	30
3	378	30
4	980	26
5	2323	26
done	5000	26
0	18	23
1	45	22
2	114	17
3	316	17
4	1030	17
5	3273	17
done	5000	17
0	20	24
1	47	23
2	117	19
3	317	19
4	1047	19
5	3434	19
done	5000	19
0	5	5
1	13	5
2	25	5
3	40	5
4	72	5
5	164	5
6	486	5
7	1827	5
done	5000	5
0	5	5
1	13	5
2	25	5
3	40	5
4	72	5
5	164	5
6	486	5
7	1827	5
done	5000	5
0	5	5
1	13	5
2	25	5
3	40	5
4	72	5
5	164	5
6	486	5
7	1827	5
done	5000	5
0	14	17
1	35	17
2	76	13
3	175	13
4	431	13
5	1401	13
done	5000	13
0	14	17
1	35	17
2	76	13
3	175	13
4	431	13
5	1401	13
done	5000	13
0	14	17
1	35	17
2	76	13
3	175	13
4	431	13
5	1401	13
done	5000	13
0	12	15
1	33	15
2	74	11
3	172	11
4	424	11
5	1361	11
done	5000	11
0	12	15
1	33	15
2	74	11
3	172	11
4	424	11
5	1361	11
done	5000	11
0	12	15
1	33	15
2	74	11
3	172	11
4	424	11
5	1361	11
done	5000	11

prune201.0ms

Filtered

86 candidates to 137 candidates (-59.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	137	0	137
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	137	5	142

Merged error: 0.0b

Counts

142 → 5

regimes50.0ms

Accuracy

99.3% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 32.0b

bsearch28.0ms

Steps

Iters	Range		Point
9	2.685778245287387e-07	280.39199233801065	0.87717992143343
8	-1.1417122487016937	-0.00029558442529086166	-1.025198592034601

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	36	56
1	44	56
done	44	56

end0.0ms

sample2.2s

Algorithm

intervals

Results

1.0s	2369×	body	1280	valid
430.0ms	1600×	body	640	valid
270.0ms	800×	body	2560	valid
125.0ms	753×	body	320	valid
94.0ms	2096×	body	80	valid
37.0ms	382×	body	160	valid

Details

sample86.0ms

simplify3.0ms

prune3.0ms

localize7.0ms

rewrite24.0ms

series26.0ms

simplify1.7min

prune147.0ms

localize12.0ms

rewrite27.0ms

series21.0ms

simplify4.2min

prune203.0ms

localize15.0ms

rewrite59.0ms

series30.0ms

simplify4.7min

prune400.0ms

localize11.0ms

rewrite89.0ms

series25.0ms

simplify8.6min

prune201.0ms

regimes50.0ms

bsearch28.0ms

simplify6.0ms

end0.0ms

sample2.2s

Profiling