Details

sample81.0ms

Algorithm

intervals

Results

33.0ms	48×	body	1280	valid
16.0ms	148×	body	80	valid
15.0ms	35×	body	640	valid
4.0ms	14×	body	320	valid
2.0ms	11×	body	160	valid

simplify245.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	16
1	20	16
2	42	16
3	90	16
4	168	16
5	237	16
6	255	16
done	255	16

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 18.9b

Counts

2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b	(sin x)
0.2b	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))
0.4b	(* (/ 8.0 3.0) (sin (* x 0.5)))
18.7b	(/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-exp-log` `add-cbrt-cube`
20×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
14×	`associate-l`
13×	`times-frac`
12×	`prod-exp` `cbrt-unprod`
11×	`pow1`
7×	`cbrt-undiv` `div-exp`
6×	`associate-r`
5×	`associate-*l/`
4×	`pow-prod-down` `add-log-exp`
3×	`associate-/r*`
2×	`*-commutative` `div-inv` `unswap-sqr`
1×	`frac-2neg` `clear-num` `associate-/l/` `associate-/l*`

Counts

4 → 86

Calls

4 calls:

2.0ms	(sin x)
10.0ms	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))
8.0ms	(* (/ 8.0 3.0) (sin (* x 0.5)))
12.0ms	(/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))

series27.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(sin x)
7.0ms	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))
4.0ms	(* (/ 8.0 3.0) (sin (* x 0.5)))
14.0ms	(/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))

simplify1.8min

Counts

98 → 98

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	21
1	28	21
2	65	17
3	185	17
4	456	17
5	722	17
6	1049	17
7	1336	17
8	1344	17
done	1344	17
0	14	20
1	26	20
2	52	16
3	125	16
4	325	16
5	670	16
6	928	16
7	1200	16
8	1245	16
done	1245	16
0	14	19
1	25	19
2	45	19
3	96	16
4	232	16
5	516	16
6	919	16
7	1177	16
8	1286	16
9	1289	16
done	1289	16
0	13	18
1	25	18
2	49	18
3	96	18
4	208	16
5	441	16
6	851	16
7	1194	16
8	1463	16
9	1477	16
done	1477	16
0	12	17
1	24	17
2	57	17
3	142	17
4	348	15
5	749	15
6	1311	15
7	1676	15
8	1976	15
9	1993	15
done	1993	15
0	12	17
1	21	17
2	43	17
3	93	17
4	185	17
5	290	17
6	442	17
7	849	17
8	1938	17
done	5000	17
0	19	50
1	48	50
2	240	26
3	1952	17
done	5000	17
0	17	50
1	44	50
2	208	24
3	1416	17
done	5000	17
0	17	50
1	44	50
2	212	22
3	1570	22
done	5000	22
0	15	50
1	39	50
2	193	20
3	1492	18
done	5000	18
0	13	35
1	22	35
2	44	35
3	92	35
4	170	35
5	239	35
6	257	35
done	257	35
0	12	17
1	21	17
2	43	17
3	91	17
4	169	17
5	237	17
6	255	17
done	255	17
0	13	50
1	29	50
2	94	18
3	527	18
4	4029	18
done	5000	18
0	12	17
1	21	17
2	43	17
3	91	17
4	169	17
5	237	17
6	255	17
done	255	17
0	12	17
1	21	17
2	43	17
3	91	17
4	169	17
5	237	17
6	255	17
done	255	17
0	10	14
1	21	14
2	48	14
3	85	14
4	119	14
5	150	14
6	175	14
7	176	14
done	176	14
0	3	3
done	3	3
0	12	16
1	23	16
2	47	16
3	104	16
4	182	16
5	212	16
done	212	16
0	7	8
1	8	8
done	8	8
0	11	12
1	17	12
2	28	12
3	51	12
4	71	12
5	79	12
done	79	12
0	7	8
1	8	8
done	8	8
0	10	10
1	18	8
2	33	8
3	68	8
4	94	8
5	100	8
6	103	8
7	104	8
done	104	8
0	6	7
1	7	7
done	7	7
0	4	4
1	6	4
done	6	4
0	11	16
1	20	16
2	38	16
3	68	16
4	117	16
5	172	16
6	206	16
7	217	16
done	217	16
0	13	21
1	27	21
2	69	21
3	192	21
4	456	21
5	661	21
6	689	21
done	689	21
0	12	17
1	21	17
2	43	17
3	91	17
4	169	17
5	241	17
6	260	17
done	260	17
0	11	15
1	22	13
2	48	13
3	119	13
4	271	13
5	364	13
done	364	13
0	6	7
1	7	7
done	7	7
0	4	4
1	5	4
done	5	4
0	8	8
1	12	8
2	15	8
3	17	8
4	19	8
5	20	8
done	20	8
0	11	11
1	17	11
2	27	11
3	36	11
4	45	11
5	50	11
6	59	11
7	76	11
8	95	11
9	103	11
done	103	11
0	10	10
1	15	10
2	21	10
3	30	10
4	40	10
5	49	10
6	54	10
7	63	10
8	80	10
9	99	10
10	107	10
done	107	10
0	9	9
1	16	9
2	25	9
3	37	9
4	55	9
5	68	9
6	80	9
7	92	9
8	115	9
9	125	9
10	141	9
11	143	9
done	143	9
0	9	9
1	15	9
2	24	9
3	34	9
4	61	9
5	127	9
6	298	9
7	833	9
8	3514	9
done	5000	9
0	14	26
1	30	26
2	107	14
3	458	12
4	1799	12
done	5000	12
0	12	26
1	26	26
2	75	12
3	233	12
4	809	10
5	2650	10
done	5000	10
0	10	19
1	14	19
2	17	19
3	19	19
4	21	19
5	22	19
done	22	19
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	10	26
1	24	26
2	78	10
3	297	10
4	843	10
5	2454	10
done	5000	10
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	10	10
1	12	10
done	12	10
0	10	10
1	12	10
done	12	10
0	11	11
1	15	11
2	18	11
3	20	11
4	22	11
5	23	11
done	23	11
0	11	11
1	15	11
2	18	11
3	20	11
4	22	11
5	23	11
done	23	11
0	10	15
1	16	15
2	24	15
3	32	15
4	41	15
5	47	15
6	52	15
done	52	15
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	5	5
1	10	3
2	20	3
done	20	3
0	9	9
1	11	9
done	11	9
0	9	9
1	11	9
done	11	9
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	8	8
1	12	8
2	15	8
3	17	8
4	19	8
5	20	8
done	20	8
0	8	8
1	12	8
2	15	8
3	17	8
4	19	8
5	20	8
done	20	8
0	8	8
1	14	8
2	17	6
3	30	6
4	35	6
done	35	6
0	6	6
1	8	6
done	8	6
0	9	13
1	16	13
2	26	13
3	34	13
4	43	13
5	53	13
6	56	13
done	56	13
0	9	13
1	16	13
2	26	13
3	34	13
4	43	13
5	53	13
6	56	13
done	56	13
0	12	17
1	21	17
2	41	13
3	77	13
4	129	13
5	160	13
6	197	13
7	258	13
8	332	13
9	340	13
10	341	13
done	341	13
0	11	16
1	19	16
2	30	12
3	53	12
4	93	12
5	144	12
6	164	12
7	209	12
8	278	12
9	362	12
10	367	12
done	367	12
0	11	15
1	18	15
2	29	15
3	49	12
4	86	12
5	132	12
6	197	12
7	241	12
8	306	12
9	355	12
10	401	12
done	401	12
0	10	14
1	20	14
2	39	14
3	65	14
4	111	12
5	172	12
6	247	12
7	307	12
8	384	12
9	428	12
10	474	12
done	474	12
0	10	14
1	19	14
2	39	14
3	65	14
4	125	14
5	282	14
6	700	14
7	1938	14
done	5000	14
0	15	41
1	36	41
2	150	21
3	774	12
4	3950	12
done	5001	12
0	13	41
1	32	41
2	115	19
3	445	12
4	1793	12
done	5000	12
0	13	41
1	32	41
2	124	17
3	574	17
4	2164	15
done	5001	15
0	11	29
1	18	29
2	28	29
3	36	29
4	45	29
5	55	29
6	59	29
done	59	29
0	10	14
1	17	14
2	27	14
3	35	14
4	44	14
5	54	14
6	57	14
done	57	14
0	11	41
1	27	41
2	101	15
3	444	15
4	1595	15
done	5000	15
0	10	14
1	17	14
2	27	14
3	35	14
4	44	14
5	54	14
6	57	14
done	57	14
0	10	14
1	17	14
2	27	14
3	35	14
4	44	14
5	54	14
6	57	14
done	57	14
0	11	20
1	20	20
2	44	20
3	87	20
4	140	20
5	187	20
6	221	20
7	227	20
done	227	20
0	10	14
1	17	14
2	32	14
3	50	14
4	69	14
5	85	14
6	94	14
done	94	14
0	10	10
1	19	8
2	40	8
3	70	8
4	109	8
5	122	8
6	129	8
done	129	8
0	5	9
1	6	9
done	6	9
0	7	11
1	12	11
2	13	11
done	13	11
0	3	3
done	3	3
0	3	3
done	3	3
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	4
4	18	4
5	28	4
6	49	4
7	108	4
8	316	4
9	1236	4
done	5000	4
0	3	3
done	3	3
0	3	3
done	3	3
0	13	15
1	32	15
2	66	15
3	114	15
4	209	15
5	504	15
6	1563	15
done	5000	15
0	10	11
1	19	11
2	38	11
3	67	11
4	160	11
5	506	11
6	1882	11
done	5000	11
0	10	11
1	19	11
2	38	11
3	67	11
4	160	11
5	506	11
6	1882	11
done	5000	11
0	13	15
1	33	15
2	74	15
3	157	15
4	346	15
5	860	15
6	2867	15
done	5000	15
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	15	17
1	35	17
2	92	17
3	193	17
4	490	17
5	1214	17
6	3773	17
done	5000	17
0	8	8
1	15	8
2	31	8
3	50	8
4	100	8
5	249	8
6	782	8
7	3241	8
done	5001	8
0	8	8
1	15	8
2	31	8
3	50	8
4	100	8
5	249	8
6	782	8
7	3241	8
done	5001	8
0	11	13
1	30	13
2	72	13
3	158	13
4	345	13
5	852	13
6	2834	13
done	5001	13
0	2	2
done	2	2
0	2	2
done	2	2

prune267.0ms

Filtered

81 candidates to 98 candidates (-21.0%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	86	12	98
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	87	12	99

Merged error: 0.1b

Counts

99 → 12

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(sin x)
0.1b	(/ (sin (* x 0.5)) (sin x))
0.2b	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (/ (sin (* x 0.5)) (sin x)))
0.4b	(* (/ 8.0 3.0) (sin (* x 0.5)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-exp-log` `add-sqr-sqrt` `add-cbrt-cube`
28×	`times-frac`
27×	`add-cube-cbrt` `*-un-lft-identity`
16×	`associate-r`
14×	`associate-l`
12×	`prod-exp` `cbrt-unprod`
11×	`pow1`
7×	`cbrt-undiv` `div-exp`
4×	`pow-prod-down` `associate-*l/` `add-log-exp`
3×	`associate-/r` `div-inv` `associate-/l`
2×	`*-commutative` `unswap-sqr`
1×	`frac-times` `frac-2neg` `associate-*r/` `clear-num`

Counts

4 → 105

Calls

4 calls:

2.0ms	(sin x)
5.0ms	(/ (sin (* x 0.5)) (sin x))
14.0ms	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (/ (sin (* x 0.5)) (sin x)))
9.0ms	(* (/ 8.0 3.0) (sin (* x 0.5)))

series28.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(sin x)
8.0ms	(/ (sin (* x 0.5)) (sin x))
13.0ms	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (/ (sin (* x 0.5)) (sin x)))
4.0ms	(* (/ 8.0 3.0) (sin (* x 0.5)))

simplify1.8min

Counts

117 → 117

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	12	8
2	15	8
3	17	8
4	19	8
5	20	8
done	20	8
0	11	11
1	17	11
2	27	11
3	36	11
4	45	11
5	50	11
6	59	11
7	76	11
8	95	11
9	103	11
done	103	11
0	10	10
1	15	10
2	21	10
3	30	10
4	40	10
5	49	10
6	54	10
7	63	10
8	80	10
9	99	10
10	107	10
done	107	10
0	9	9
1	16	9
2	25	9
3	37	9
4	55	9
5	68	9
6	80	9
7	92	9
8	115	9
9	125	9
10	141	9
11	143	9
done	143	9
0	9	9
1	15	9
2	24	9
3	34	9
4	61	9
5	127	9
6	298	9
7	833	9
8	3514	9
done	5000	9
0	14	26
1	30	26
2	107	14
3	458	12
4	1799	12
done	5000	12
0	12	26
1	26	26
2	75	12
3	233	12
4	809	10
5	2650	10
done	5000	10
0	10	19
1	14	19
2	17	19
3	19	19
4	21	19
5	22	19
done	22	19
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	10	26
1	24	26
2	78	10
3	297	10
4	843	10
5	2454	10
done	5000	10
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	10	10
1	12	10
done	12	10
0	10	10
1	12	10
done	12	10
0	11	11
1	15	11
2	18	11
3	20	11
4	22	11
5	23	11
done	23	11
0	11	11
1	15	11
2	18	11
3	20	11
4	22	11
5	23	11
done	23	11
0	10	15
1	16	15
2	24	15
3	32	15
4	41	15
5	47	15
6	52	15
done	52	15
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	5	5
1	10	3
2	20	3
done	20	3
0	9	9
1	11	9
done	11	9
0	9	9
1	11	9
done	11	9
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	8	8
1	12	8
2	15	8
3	17	8
4	19	8
5	20	8
done	20	8
0	8	8
1	12	8
2	15	8
3	17	8
4	19	8
5	20	8
done	20	8
0	8	8
1	14	8
2	17	6
3	30	6
4	35	6
done	35	6
0	6	6
1	8	6
done	8	6
0	11	16
1	20	16
2	43	16
3	85	16
4	167	16
5	236	16
6	263	16
done	263	16
0	11	16
1	20	16
2	43	16
3	85	16
4	167	16
5	236	16
6	263	16
done	263	16
0	15	21
1	28	21
2	65	21
3	186	17
4	480	17
5	844	17
6	1138	17
7	1210	17
done	1210	17
0	15	20
1	26	20
2	58	20
3	158	17
4	426	17
5	792	17
6	1089	17
7	1161	17
done	1161	17
0	14	20
1	26	20
2	51	20
3	129	16
4	324	16
5	707	16
6	972	16
7	1096	16
8	1106	16
done	1106	16
0	14	19
1	24	19
2	46	19
3	113	16
4	293	16
5	683	16
6	938	16
7	1058	16
8	1068	16
done	1068	16
0	14	19
1	25	19
2	47	19
3	104	16
4	251	16
5	538	16
6	1025	16
7	1244	16
8	1307	16
done	1307	16
0	13	18
1	23	18
2	42	18
3	89	18
4	219	16
5	483	16
6	964	16
7	1215	16
8	1288	16
done	1288	16
0	12	17
1	24	17
2	61	17
3	144	17
4	347	17
5	736	15
6	1311	15
7	1699	15
8	1825	15
9	1838	15
done	1838	15
0	12	17
1	23	17
2	57	17
3	123	17
4	275	17
5	568	17
6	1279	17
done	5000	17
0	19	50
1	48	50
2	219	26
3	1526	17
done	5000	17
0	19	50
1	47	50
2	190	24
3	1184	22
done	5001	22
0	17	50
1	44	50
2	185	24
3	1118	17
done	5001	17
0	17	50
1	43	50
2	156	22
3	784	22
done	5000	22
0	17	50
1	44	50
2	191	22
3	1244	20
done	5000	20
0	15	50
1	41	50
2	157	20
3	891	20
done	5000	20
0	13	35
1	22	35
2	45	35
3	87	35
4	166	35
5	235	35
6	262	35
done	262	35
0	12	17
1	21	17
2	44	17
3	86	17
4	166	17
5	235	17
6	262	17
done	262	17
0	13	50
1	32	50
2	145	18
3	977	18
done	5000	18
0	12	17
1	21	17
2	44	17
3	86	17
4	166	17
5	235	17
6	262	17
done	262	17
0	12	17
1	21	17
2	44	17
3	86	17
4	166	17
5	235	17
6	262	17
done	262	17
0	7	11
1	12	11
2	13	11
done	13	11
0	4	4
1	5	4
done	5	4
0	13	26
1	22	26
2	46	26
3	91	26
4	144	26
5	191	26
6	225	26
7	232	26
done	232	26
0	12	17
1	19	17
2	34	17
3	52	17
4	71	17
5	87	17
6	96	17
done	96	17
0	15	28
1	30	28
2	87	28
3	291	28
4	861	28
5	2178	28
6	3169	28
7	3265	28
done	3265	28
0	14	24
1	25	24
2	59	24
3	163	24
4	409	24
5	836	24
6	1148	24
7	1196	24
done	1196	24
0	13	22
1	26	20
2	64	20
3	203	20
4	570	20
5	1190	20
6	1391	20
7	1404	20
done	1404	20
0	14	22
1	25	22
2	60	22
3	170	22
4	427	22
5	910	22
6	1191	22
7	1210	22
done	1210	22
0	13	18
1	22	18
2	47	18
3	102	18
4	214	18
5	351	18
6	421	18
7	430	18
done	430	18
0	12	16
1	23	14
2	48	14
3	111	14
4	278	14
5	476	14
6	529	14
7	530	14
done	530	14
0	14	18
1	27	18
2	61	16
3	225	16
4	552	16
5	856	16
6	1089	16
done	1089	16
0	13	14
1	24	14
2	49	12
3	147	12
4	284	12
5	381	12
6	438	12
done	438	12
0	11	12
1	22	10
2	44	8
3	104	8
4	253	8
5	357	8
6	414	8
7	429	8
done	429	8
0	10	10
1	19	8
2	40	8
3	70	8
4	109	8
5	122	8
6	129	8
done	129	8
0	9	13
1	16	13
2	26	13
3	34	13
4	43	13
5	53	13
6	56	13
done	56	13
0	7	12
1	11	12
2	13	12
done	13	12
0	9	13
1	16	13
2	26	13
3	34	13
4	43	13
5	53	13
6	56	13
done	56	13
0	9	14
1	16	14
2	28	14
3	40	14
4	48	14
5	50	14
6	51	14
done	51	14
0	8	9
1	11	9
2	12	9
done	12	9
0	7	8
1	11	8
2	13	8
3	14	8
done	14	8
0	7	8
1	8	8
done	8	8
0	10	23
1	20	23
2	52	11
3	119	9
4	198	9
5	316	9
6	779	9
7	3364	9
done	5001	9
0	8	17
1	9	17
done	9	17
0	7	8
1	8	8
done	8	8
0	8	23
1	16	23
2	32	9
3	70	9
4	137	9
5	201	9
6	327	9
7	828	9
8	3568	9
done	5000	9
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	5	5
1	6	5
done	6	5
0	3	3
done	3	3
0	10	19
1	17	19
2	26	19
3	32	19
done	32	19
0	8	9
1	9	9
done	9	9
0	9	15
1	12	15
2	14	15
3	15	15
done	15	15
0	8	9
1	9	9
done	9	9
0	8	13
1	13	11
2	19	11
3	24	11
done	24	11
0	7	8
1	8	8
done	8	8
0	9	13
1	12	13
done	12	13
0	8	9
1	9	9
done	9	9
0	8	9
1	9	9
done	9	9
0	8	9
1	9	9
done	9	9
0	7	7
1	10	5
2	12	5
done	12	5
0	7	8
1	8	8
done	8	8
0	6	9
1	10	9
done	10	9
0	7	8
1	8	8
done	8	8
0	5	5
1	7	5
done	7	5
0	7	8
1	8	8
done	8	8
0	2	3
1	4	1
done	4	1
0	6	7
1	7	7
done	7	7
0	4	4
1	6	4
done	6	4
0	6	7
1	7	7
done	7	7
0	8	12
1	11	12
done	11	12
0	7	8
1	8	8
done	8	8
0	6	6
1	9	4
2	11	4
done	11	4
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	6	7
1	7	7
done	7	7
0	3	3
done	3	3
0	3	3
done	3	3
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	4
4	18	4
5	28	4
6	49	4
7	108	4
8	316	4
9	1236	4
done	5000	4
0	3	3
done	3	3
0	3	3
done	3	3
0	13	15
1	33	15
2	74	15
3	157	15
4	346	15
5	860	15
6	2867	15
done	5000	15
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	13	15
1	32	15
2	66	15
3	114	15
4	209	15
5	504	15
6	1563	15
done	5000	15
0	10	11
1	19	11
2	38	11
3	67	11
4	160	11
5	506	11
6	1882	11
done	5000	11
0	10	11
1	19	11
2	38	11
3	67	11
4	160	11
5	506	11
6	1882	11
done	5000	11
0	12	13
1	26	13
2	66	13
3	97	13
4	125	13
5	157	13
6	229	13
7	413	13
8	1060	13
9	3807	13
done	5000	13
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	11	13
1	30	13
2	72	13
3	158	13
4	345	13
5	852	13
6	2834	13
done	5001	13
0	2	2
done	2	2
0	2	2
done	2	2

prune295.0ms

Filtered

95 candidates to 117 candidates (-23.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	114	3	117
Fresh	4	7	11
Picked	1	0	1
Done	0	0	0
Total	119	10	129

Merged error: 0b

Counts

129 → 10

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(sin x)
0.1b	(/ (* (* 8.0 (sin (* x 0.5))) (/ (sin (* x 0.5)) (sin x))) 3.0)
0.1b	(/ (sin (* x 0.5)) (sin x))
0.2b	(* (* 8.0 (sin (* x 0.5))) (/ (sin (* x 0.5)) (sin x)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

36×	`add-exp-log` `add-cbrt-cube`
21×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `times-frac`
13×	`associate-r`
12×	`prod-exp` `cbrt-unprod`
10×	`cbrt-undiv` `div-exp`
9×	`pow1`
6×	`associate-/r*`
4×	`associate-/l*` `add-log-exp`
3×	`pow-prod-down` `div-inv`
2×	`frac-2neg` `associate-*r/` `clear-num`
1×	`associate-l` `*-commutative` `associate-/l/`

Counts

4 → 95

Calls

4 calls:

2.0ms	(sin x)
11.0ms	(/ (* (* 8.0 (sin (* x 0.5))) (/ (sin (* x 0.5)) (sin x))) 3.0)
5.0ms	(/ (sin (* x 0.5)) (sin x))
10.0ms	(* (* 8.0 (sin (* x 0.5))) (/ (sin (* x 0.5)) (sin x)))

series36.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(sin x)
13.0ms	(/ (* (* 8.0 (sin (* x 0.5))) (/ (sin (* x 0.5)) (sin x))) 3.0)
7.0ms	(/ (sin (* x 0.5)) (sin x))
13.0ms	(* (* 8.0 (sin (* x 0.5))) (/ (sin (* x 0.5)) (sin x)))

simplify1.6min

Counts

107 → 107

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	14
1	16	14
2	28	14
3	40	14
4	48	14
5	50	14
6	51	14
done	51	14
0	9	14
1	16	14
2	28	14
3	40	14
4	48	14
5	50	14
6	51	14
done	51	14
0	12	18
1	21	18
2	38	18
3	64	14
4	87	14
5	128	14
6	232	14
7	295	14
8	369	14
9	398	14
done	398	14
0	12	17
1	19	17
2	33	17
3	58	14
4	86	14
5	126	14
6	226	14
7	290	14
8	379	14
9	413	14
done	413	14
0	12	17
1	21	17
2	35	17
3	63	14
4	90	14
5	127	14
6	226	14
7	287	14
8	368	14
9	403	14
done	403	14
0	11	16
1	19	16
2	30	16
3	54	16
4	84	14
5	121	14
6	220	14
7	283	14
8	362	14
9	397	14
done	397	14
0	10	15
1	20	15
2	43	15
3	80	15
4	128	15
5	174	13
6	227	13
7	348	13
8	404	13
9	467	13
10	498	13
done	498	13
0	10	15
1	19	15
2	42	15
3	78	15
4	151	15
5	330	15
6	796	15
7	3186	15
done	5001	15
0	15	44
1	36	44
2	151	22
3	863	15
4	4605	15
done	5000	15
0	15	44
1	35	44
2	122	20
3	531	20
4	2561	18
done	5000	18
0	15	44
1	40	44
2	160	20
3	888	18
4	4875	18
done	5000	18
0	13	44
1	37	44
2	126	18
3	565	18
4	2630	16
done	5001	16
0	11	31
1	18	31
2	30	31
3	42	31
4	50	31
5	52	31
6	53	31
done	53	31
0	10	15
1	17	15
2	29	15
3	41	15
4	49	15
5	51	15
6	52	15
done	52	15
0	11	44
1	28	44
2	120	16
3	651	16
4	2545	16
done	5001	16
0	10	15
1	17	15
2	29	15
3	41	15
4	49	15
5	51	15
6	52	15
done	52	15
0	10	15
1	17	15
2	29	15
3	41	15
4	49	15
5	51	15
6	52	15
done	52	15
0	11	24
1	18	24
2	31	24
3	41	24
done	41	24
0	10	15
1	15	15
2	21	15
done	21	15
0	13	26
1	26	26
2	72	26
3	190	26
4	423	26
5	639	26
6	665	26
done	665	26
0	12	22
1	21	22
2	44	22
3	95	22
4	165	22
5	201	22
6	208	22
done	208	22
0	11	20
1	22	18
2	51	18
3	138	18
4	294	18
5	441	18
6	442	18
done	442	18
0	12	20
1	21	20
2	45	20
3	99	20
4	178	20
5	235	20
6	241	20
done	241	20
0	11	16
1	18	16
2	32	16
3	50	16
4	70	16
5	78	16
6	80	16
done	80	16
0	10	14
1	19	12
2	35	12
3	67	12
4	123	12
5	177	12
done	177	12
0	12	16
1	23	16
2	46	14
3	141	14
4	222	14
5	239	14
6	246	14
done	246	14
0	11	12
1	20	12
2	34	10
3	83	10
4	97	10
5	99	10
6	100	10
done	100	10
0	9	10
1	18	8
2	31	6
3	56	6
4	87	6
5	104	6
done	104	6
0	8	8
1	15	6
2	27	6
3	35	6
done	35	6
0	7	11
1	12	11
2	13	11
done	13	11
0	7	12
1	11	12
2	13	12
done	13	12
0	7	11
1	12	11
2	13	11
done	13	11
0	8	9
1	11	9
2	12	9
done	12	9
0	7	8
1	11	8
2	13	8
3	14	8
done	14	8
0	7	8
1	8	8
done	8	8
0	10	23
1	20	23
2	52	11
3	119	9
4	198	9
5	316	9
6	779	9
7	3364	9
done	5001	9
0	8	17
1	9	17
done	9	17
0	7	8
1	8	8
done	8	8
0	8	23
1	16	23
2	32	9
3	70	9
4	137	9
5	201	9
6	327	9
7	828	9
8	3568	9
done	5000	9
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	5	5
1	6	5
done	6	5
0	3	3
done	3	3
0	10	19
1	17	19
2	26	19
3	32	19
done	32	19
0	8	9
1	9	9
done	9	9
0	9	15
1	12	15
2	14	15
3	15	15
done	15	15
0	8	9
1	9	9
done	9	9
0	8	13
1	13	11
2	19	11
3	24	11
done	24	11
0	7	8
1	8	8
done	8	8
0	9	13
1	12	13
done	12	13
0	8	9
1	9	9
done	9	9
0	8	9
1	9	9
done	9	9
0	8	9
1	9	9
done	9	9
0	7	7
1	10	5
2	12	5
done	12	5
0	7	8
1	8	8
done	8	8
0	6	9
1	10	9
done	10	9
0	7	8
1	8	8
done	8	8
0	5	5
1	7	5
done	7	5
0	7	8
1	8	8
done	8	8
0	2	3
1	4	1
done	4	1
0	6	7
1	7	7
done	7	7
0	4	4
1	6	4
done	6	4
0	6	7
1	7	7
done	7	7
0	8	12
1	11	12
done	11	12
0	7	8
1	8	8
done	8	8
0	6	6
1	9	4
2	11	4
done	11	4
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	6	7
1	7	7
done	7	7
0	15	21
1	28	21
2	67	21
3	176	17
4	387	17
5	647	17
6	1179	17
7	1497	17
8	1530	17
done	1530	17
0	15	20
1	26	20
2	57	20
3	146	17
4	337	17
5	658	17
6	1147	17
7	1497	17
8	1541	17
done	1541	17
0	15	20
1	28	20
2	58	20
3	164	17
4	352	17
5	585	17
6	1082	17
7	1419	17
8	1468	17
done	1468	17
0	14	19
1	26	19
2	48	19
3	128	19
4	293	17
5	600	17
6	1072	17
7	1410	17
8	1471	17
done	1471	17
0	13	18
1	25	18
2	53	18
3	119	18
4	264	18
5	528	16
6	826	16
7	1382	16
8	1701	16
9	1720	16
done	1720	16
0	12	17
1	24	17
2	64	17
3	171	17
4	430	17
5	809	15
6	1230	15
7	1768	15
8	1909	15
9	1926	15
done	1926	15
0	12	17
1	21	17
2	47	17
3	105	17
4	212	17
5	310	17
6	458	17
7	867	17
8	1980	17
done	5000	17
0	19	50
1	48	50
2	250	26
3	2219	19
done	5001	19
0	19	50
1	47	50
2	223	24
3	1689	24
done	5001	24
0	19	50
1	52	50
2	252	24
3	2250	22
done	5001	22
0	17	50
1	49	50
2	220	22
3	1719	22
done	5000	22
0	15	50
1	40	50
2	217	20
3	2004	18
done	5001	18
0	13	35
1	22	35
2	48	35
3	104	35
4	193	35
5	242	35
6	243	35
done	243	35
0	12	17
1	21	17
2	47	17
3	103	17
4	192	17
5	241	17
6	242	17
done	242	17
0	13	50
1	29	50
2	104	18
3	628	18
done	5000	18
0	12	17
1	21	17
2	47	17
3	103	17
4	192	17
5	241	17
6	242	17
done	242	17
0	12	17
1	21	17
2	47	17
3	103	17
4	192	17
5	241	17
6	242	17
done	242	17
0	10	15
1	21	15
2	53	15
3	99	15
4	131	15
5	148	15
6	156	15
done	156	15
0	2	2
done	2	2
0	10	12
1	19	12
2	33	12
3	46	12
4	50	12
done	50	12
0	9	10
1	12	10
2	15	10
done	15	10
0	9	9
1	13	9
2	17	9
3	20	9
4	21	9
done	21	9
0	9	10
1	12	10
2	15	10
done	15	10
0	8	8
1	14	6
2	22	6
3	31	6
4	36	6
done	36	6
0	8	9
1	11	9
2	14	9
done	14	9
0	3	3
1	5	3
done	5	3
0	11	16
1	20	16
2	43	16
3	78	16
4	119	16
5	167	16
6	203	16
7	218	16
done	218	16
0	13	20
1	27	20
2	75	20
3	215	20
4	497	20
5	692	20
6	700	20
done	700	20
0	12	17
1	21	17
2	47	17
3	103	17
4	192	17
5	241	17
6	242	17
done	242	17
0	11	16
1	22	14
2	52	14
3	127	14
4	239	14
5	301	14
done	301	14
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	4	4
1	5	4
done	5	4
0	3	3
done	3	3
0	3	3
done	3	3
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	4
4	18	4
5	28	4
6	49	4
7	108	4
8	316	4
9	1236	4
done	5000	4
0	3	3
done	3	3
0	3	3
done	3	3
0	13	15
1	32	15
2	66	15
3	114	15
4	209	15
5	504	15
6	1563	15
done	5000	15
0	10	11
1	19	11
2	38	11
3	67	11
4	160	11
5	506	11
6	1882	11
done	5000	11
0	10	11
1	19	11
2	38	11
3	67	11
4	160	11
5	506	11
6	1882	11
done	5000	11
0	12	13
1	26	13
2	66	13
3	97	13
4	125	13
5	157	13
6	229	13
7	413	13
8	1060	13
9	3807	13
done	5000	13
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	13	15
1	32	15
2	66	15
3	114	15
4	209	15
5	504	15
6	1563	15
done	5000	15
0	10	11
1	19	11
2	38	11
3	67	11
4	160	11
5	506	11
6	1882	11
done	5000	11
0	10	11
1	19	11
2	38	11
3	67	11
4	160	11
5	506	11
6	1882	11
done	5000	11
0	11	13
1	30	13
2	72	13
3	158	13
4	345	13
5	852	13
6	2834	13
done	5001	13
0	2	2
done	2	2
0	2	2
done	2	2

prune261.0ms

Filtered

90 candidates to 107 candidates (-18.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	106	1	107
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	107	10	117

Merged error: 0b

Counts

117 → 10

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (* (/ 8.0 (cbrt 3.0)) (sin (* x 0.5)))) (/ (sin (* x 0.5)) (sin x)))
0.3b	(* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (* (/ 8.0 (cbrt 3.0)) (sin (* x 0.5))))
0.4b	(* (/ 8.0 (cbrt 3.0)) (sin (* x 0.5)))
1.0b	(/ 8.0 (cbrt 3.0))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

313×	`add-exp-log`
178×	`prod-exp`
122×	`add-cbrt-cube`
81×	`div-exp`
76×	`cbrt-unprod`
50×	`add-sqr-sqrt` `times-frac`
42×	`add-cube-cbrt` `*-un-lft-identity`
39×	`cbrt-undiv`
30×	`associate-l`
22×	`cbrt-prod`
20×	`pow1`
18×	`rec-exp` `1-exp`
17×	`associate-r`
13×	`associate-*l/`
10×	`pow-prod-down`
6×	`frac-times` `associate-/r*`
4×	`associate-*r/` `div-inv` `add-log-exp`
3×	`-commutative` `associate-/l` `unswap-sqr`
1×	`frac-2neg` `clear-num`

Counts

4 → 228

Calls

4 calls:

35.0ms	(* (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (* (/ 8.0 (cbrt 3.0)) (sin (* x 0.5)))) (/ (sin (* x 0.5)) (sin x)))
18.0ms	(* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (* (/ 8.0 (cbrt 3.0)) (sin (* x 0.5))))
10.0ms	(* (/ 8.0 (cbrt 3.0)) (sin (* x 0.5)))
5.0ms	(/ 8.0 (cbrt 3.0))

series51.0ms

Counts

4 → 10

Calls

4 calls:

24.0ms	(* (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (* (/ 8.0 (cbrt 3.0)) (sin (* x 0.5)))) (/ (sin (* x 0.5)) (sin x)))
17.0ms	(* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (* (/ 8.0 (cbrt 3.0)) (sin (* x 0.5))))
10.0ms	(* (/ 8.0 (cbrt 3.0)) (sin (* x 0.5)))
0.0ms	(/ 8.0 (cbrt 3.0))

simplify14.5min

Counts

238 → 238

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
done	5	5
0	5	7
1	8	7
2	16	5
3	26	5
4	36	5
5	53	5
6	95	5
7	230	5
8	746	5
9	3143	5
done	5000	5
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	13	14
2	29	6
3	67	6
4	132	5
5	181	5
6	243	5
7	437	5
8	1198	5
9	4831	5
done	5000	5
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
done	2	2
0	3	3
done	3	3
0	8	12
1	10	12
2	12	12
3	13	12
done	13	12
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	5	5
done	5	5
0	8	13
1	14	13
2	23	13
3	29	13
done	29	13
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	5
done	5	5
0	7	9
done	7	9
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	4
done	7	4
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	5
done	5	5
0	6	8
1	8	8
done	8	8
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	3
done	5	3
0	4	4
done	4	4
0	6	9
1	10	9
done	10	9
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	4
done	4	4
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	6	8
done	6	8
0	5	5
done	5	5
0	4	4
1	6	3
done	6	3
0	6	9
1	8	9
done	8	9
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
done	4	4
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	12	12
1	18	12
2	28	12
3	37	12
4	46	12
5	51	12
6	60	12
7	77	12
8	96	12
9	104	12
done	104	12
0	11	11
1	16	11
2	22	11
3	31	11
4	41	11
5	50	11
6	55	11
7	64	11
8	81	11
9	100	11
10	108	11
done	108	11
0	10	10
1	17	10
2	26	10
3	38	10
4	56	10
5	70	10
6	82	10
7	94	10
8	117	10
9	129	10
10	145	10
11	147	10
done	147	10
0	10	10
1	16	10
2	25	10
3	35	10
4	62	10
5	130	10
6	301	10
7	840	10
8	3503	10
done	5001	10
0	12	22
1	22	22
2	55	12
3	145	12
4	365	12
5	777	10
6	1940	10
done	5000	10
0	13	29
1	27	29
2	76	13
3	234	13
4	804	11
5	2624	10
done	5000	10
0	11	21
1	15	21
2	18	21
3	20	21
4	22	21
5	23	21
done	23	21
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	11	29
1	25	29
2	79	11
3	296	11
4	855	10
5	2377	10
6	4525	10
done	5001	10
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	11	11
1	13	11
done	13	11
0	11	11
1	13	11
done	13	11
0	12	12
1	16	12
2	19	12
3	21	12
4	23	12
5	24	12
done	24	12
0	12	12
1	16	12
2	19	12
3	21	12
4	23	12
5	24	12
done	24	12
0	12	12
1	16	12
2	19	12
3	21	12
4	23	12
5	24	12
done	24	12
0	12	12
1	16	12
2	19	12
3	21	12
4	23	12
5	24	12
done	24	12
0	11	16
1	17	16
2	25	16
3	33	16
4	42	16
5	48	16
6	53	16
done	53	16
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	6	6
1	11	4
2	21	4
done	21	4
0	10	10
1	12	10
done	12	10
0	10	10
1	12	10
done	12	10
0	11	11
1	15	11
2	18	11
3	20	11
4	22	11
5	23	11
done	23	11
0	11	11
1	15	11
2	18	11
3	20	11
4	22	11
5	23	11
done	23	11
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	11	11
1	15	11
2	18	11
3	20	11
4	22	11
5	23	11
done	23	11
0	11	11
1	15	11
2	18	11
3	20	11
4	22	11
5	23	11
done	23	11
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	11	11
1	15	11
2	18	11
3	20	11
4	22	11
5	23	11
done	23	11
0	11	11
1	15	11
2	18	11
3	20	11
4	22	11
5	23	11
done	23	11
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	11	11
1	15	11
2	18	11
3	20	11
4	22	11
5	23	11
done	23	11
0	11	11
1	15	11
2	18	11
3	20	11
4	22	11
5	23	11
done	23	11
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	9	9
1	15	9
2	18	7
3	31	7
4	36	7
done	36	7
0	6	6
1	8	6
done	8	6
0	13	17
1	26	17
2	60	15
3	216	15
4	528	15
5	575	15
6	580	11
7	592	8
8	616	8
9	702	8
10	911	8
11	1489	8
12	3341	8
done	5000	8
0	13	17
1	26	17
2	60	15
3	216	15
4	528	15
5	575	15
6	580	11
7	592	8
8	616	8
9	702	8
10	911	8
11	1489	8
12	3341	8
done	5000	8
0	15	21
1	27	19
2	62	18
3	158	18
4	342	14
5	573	14
6	700	14
7	744	14
8	745	14
done	745	14
0	15	20
1	26	18
2	52	17
3	121	17
4	270	14
5	569	14
6	701	14
7	747	14
8	749	14
done	749	14
0	14	19
1	26	17
2	49	16
3	102	16
4	224	13
5	466	13
6	657	13
7	761	13
8	763	13
done	763	13
0	16	20
1	26	20
2	52	18
3	134	18
4	291	14
5	459	14
6	594	14
7	703	14
8	714	14
done	714	14
0	15	19
1	24	19
2	42	17
3	97	17
4	217	14
5	418	14
6	681	14
7	785	14
8	817	14
done	817	14
0	14	18
1	24	18
2	41	16
3	85	16
4	192	13
5	387	13
6	700	13
7	808	13
8	845	13
9	846	13
done	846	13
0	16	22
1	33	19
2	93	18
3	315	18
4	983	14
5	1353	14
6	1399	14
done	1399	14
0	16	21
1	31	18
2	81	17
3	242	17
4	784	14
5	1470	14
6	1754	14
7	1780	14
done	1780	14
0	15	20
1	31	17
2	74	16
3	185	16
4	573	13
5	1224	13
6	1613	13
7	1651	13
done	1651	13
0	17	21
1	31	20
2	81	18
3	297	18
4	949	14
5	1394	14
6	1445	14
7	1446	14
done	1446	14
0	16	20
1	29	19
2	69	17
3	224	17
4	719	14
5	1426	14
6	1693	14
7	1719	14
done	1719	14
0	15	19
1	29	18
2	64	16
3	179	16
4	548	13
5	1194	13
6	1585	13
7	1622	13
done	1622	13
0	17	23
1	36	20
2	92	18
3	317	18
4	985	15
5	1358	14
6	1399	14
7	1414	14
done	1414	14
0	17	22
1	34	19
2	80	17
3	247	17
4	768	15
5	1441	15
6	1716	14
7	1731	14
done	1731	14
0	16	21
1	34	18
2	72	16
3	188	16
4	566	16
5	1221	14
6	1613	13
7	1635	13
8	1650	13
done	1650	13
0	18	22
1	34	21
2	82	19
3	292	18
4	939	18
5	1379	14
6	1433	14
7	1448	14
done	1448	14
0	17	21
1	32	20
2	70	18
3	230	17
4	713	17
5	1419	14
6	1702	14
7	1717	14
done	1717	14
0	16	20
1	32	19
2	64	17
3	180	16
4	535	16
5	1176	13
6	1580	13
7	1609	13
done	1609	13
0	17	21
1	34	20
2	67	19
3	213	18
4	674	14
5	1303	14
6	1565	14
7	1569	14
done	1569	14
0	16	20
1	32	19
2	57	18
3	162	17
4	508	14
5	1158	14
6	1464	14
7	1511	14
done	1511	14
0	15	19
1	31	18
2	53	17
3	130	16
4	387	13
5	885	13
6	1331	13
7	1443	13
done	1443	13
0	14	18
1	30	18
2	81	16
3	286	16
4	809	16
5	1458	13
6	1990	12
7	2363	9
8	2391	9
9	2526	9
10	3081	9
11	4655	9
done	5001	9
0	14	18
1	29	18
2	71	16
3	268	16
4	720	16
5	1309	16
6	3340	12
done	5000	12
0	18	32
1	41	28
2	128	16
3	613	16
4	3072	16
done	5000	16
0	19	39
1	46	35
2	150	17
3	778	17
4	4805	15
done	5000	15
0	17	39
1	44	35
2	153	15
3	875	15
done	5001	15
0	21	46
1	53	42
2	175	20
3	1213	16
done	5000	16
0	21	53
1	57	49
2	198	21
3	1474	16
done	5000	16
0	19	53
1	55	49
2	197	19
3	1546	14
done	5000	14
0	19	46
1	45	46
2	165	22
3	855	22
done	5001	20
0	19	53
1	49	53
2	186	23
3	985	23
done	5000	21
0	17	53
1	47	53
2	187	21
3	1081	21
done	5000	19
0	15	37
1	28	37
2	62	33
3	218	33
4	527	33
5	583	33
6	588	25
7	600	19
8	624	19
9	714	19
10	929	19
11	1495	19
12	3305	19
done	5000	19
0	14	18
1	27	18
2	61	16
3	217	16
4	549	16
5	603	16
6	608	12
7	620	9
8	644	9
9	732	9
10	944	9
11	1509	9
12	3322	9
done	5001	9
0	15	53
1	38	53
2	179	17
3	1322	17
done	5000	17
0	14	18
1	27	18
2	61	16
3	217	16
4	549	16
5	603	16
6	608	12
7	620	9
8	644	9
9	732	9
10	944	9
11	1509	9
12	3322	9
done	5001	9
0	14	18
1	27	18
2	61	16
3	217	16
4	549	16
5	603	16
6	608	12
7	620	9
8	644	9
9	732	9
10	944	9
11	1509	9
12	3322	9
done	5001	9
0	8	8
1	15	6
2	27	6
3	33	6
done	33	6
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	8	12
1	17	12
2	35	10
3	102	10
4	201	6
5	221	3
6	227	3
7	235	3
8	257	3
9	319	3
10	471	3
11	907	3
12	2492	3
done	5000	3
0	14	18
1	25	18
2	40	18
3	59	18
4	79	18
5	97	18
6	104	18
done	104	18
0	14	18
1	25	18
2	40	18
3	59	18
4	79	18
5	97	18
6	104	18
done	104	18
0	13	15
1	24	14
2	49	14
3	93	12
4	256	12
5	288	12
6	290	12
done	290	12
0	13	15
1	24	14
2	49	14
3	93	12
4	256	12
5	288	12
6	290	12
done	290	12
0	12	14
1	23	14
2	48	12
3	134	12
4	277	12
5	297	12
6	299	12
done	299	12
0	13	17
1	26	17
2	60	15
3	216	15
4	528	15
5	575	15
6	580	11
7	592	8
8	616	8
9	702	8
10	911	8
11	1489	8
12	3341	8
done	5000	8
0	13	17
1	26	17
2	60	15
3	216	15
4	528	15
5	575	15
6	580	11
7	592	8
8	616	8
9	702	8
10	911	8
11	1489	8
12	3341	8
done	5000	8
0	12	14
1	23	14
2	46	12
3	139	12
4	259	12
5	273	12
done	273	12
0	11	11
1	20	9
2	41	9
3	76	9
4	96	9
5	112	9
6	113	9
done	113	9
0	16	25
1	34	25
2	102	23
3	489	23
4	1898	23
5	3725	23
6	4366	19
7	4416	16
8	4492	16
9	4984	16
done	5000	16
0	16	25
1	34	25
2	102	23
3	489	23
4	1898	23
5	3725	23
6	4366	19
7	4416	16
8	4492	16
9	4984	16
done	5000	16
0	16	25
1	34	25
2	102	23
3	489	23
4	1898	23
5	3725	23
6	4366	19
7	4416	16
8	4492	16
9	4984	16
done	5000	16
0	19	31
1	38	29
2	104	28
3	439	24
4	1850	20
5	4656	20
done	5000	20
0	19	30
1	36	28
2	96	27
3	377	27
4	1570	20
5	4192	20
done	5000	20
0	19	30
1	37	28
2	92	27
3	339	23
4	1368	20
5	4479	20
done	5000	20
0	19	29
1	35	27
2	84	26
3	293	26
4	1186	20
5	4087	20
done	5000	20
0	19	29
1	37	27
2	83	26
3	270	26
4	1042	20
5	3485	20
done	5000	20
0	18	28
1	35	26
2	76	25
3	233	25
4	909	20
5	3144	20
done	5000	20
0	20	30
1	37	30
2	92	28
3	379	24
4	1587	20
5	3859	20
done	5001	20
0	20	29
1	35	29
2	84	27
3	329	27
4	1354	20
5	3593	20
done	5000	20
0	19	29
1	35	29
2	80	27
3	280	23
4	1121	20
5	3658	20
done	5000	20
0	19	28
1	33	28
2	72	26
3	244	26
4	984	20
5	3380	20
done	5001	20
0	19	28
1	35	28
2	73	26
3	224	26
4	864	20
5	2862	20
done	5000	20
0	18	27
1	33	27
2	66	25
3	198	25
4	762	20
5	2652	20
done	5000	20
0	20	32
1	44	29
2	144	28
3	703	24
4	3689	20
done	5000	20
0	20	31
1	42	28
2	134	27
3	614	27
4	3019	20
done	5000	20
0	20	31
1	42	28
2	130	27
3	563	23
4	2902	20
done	5000	20
0	20	30
1	40	27
2	120	26
3	488	26
4	2415	20
done	5001	20
0	20	30
1	42	27
2	117	26
3	458	26
4	2180	20
done	5000	20
0	19	29
1	40	26
2	108	25
3	391	25
4	1798	20
done	5000	20
0	21	31
1	42	30
2	130	28
3	660	24
4	3565	20
done	5000	20
0	21	30
1	40	29
2	120	27
3	574	27
4	2981	20
done	5000	20
0	20	30
1	40	29
2	116	27
3	523	23
4	2647	20
done	5000	20
0	20	29
1	38	28
2	106	26
3	456	26
4	2240	20
done	5000	20
0	20	29
1	40	28
2	105	26
3	430	26
4	2057	20
done	5001	20
0	19	28
1	38	27
2	96	25
3	368	25
4	1674	20
done	5000	20
0	21	33
1	47	30
2	144	28
3	700	24
4	3683	21
done	5001	21
0	21	32
1	45	29
2	134	27
3	616	27
4	3035	21
done	5000	21
0	21	32
1	45	29
2	130	27
3	571	23
4	2871	21
done	5000	21
0	21	31
1	43	28
2	120	26
3	497	26
4	2411	21
done	5000	21
0	21	31
1	45	28
2	116	26
3	461	26
4	2171	23
done	5000	23
0	20	30
1	43	27
2	107	25
3	394	25
4	1779	23
done	5000	23
0	22	32
1	45	31
2	132	29
3	656	24
4	3570	22
done	5000	22
0	22	31
1	43	30
2	122	28
3	573	27
4	2927	24
done	5000	24
0	21	31
1	43	30
2	118	28
3	524	23
4	2602	21
done	5000	21
0	21	30
1	41	29
2	108	27
3	459	26
4	2238	23
done	5000	23
0	21	30
1	43	29
2	106	27
3	429	26
4	2036	23
done	5000	23
0	20	29
1	41	28
2	97	26
3	369	25
4	1684	23
done	5000	23
0	21	31
1	45	30
2	109	29
3	504	24
4	2599	20
done	5000	20
0	21	30
1	43	29
2	101	28
3	442	27
4	2297	20
done	5001	20
0	20	30
1	43	29
2	97	28
3	390	23
4	1887	20
done	5000	20
0	20	29
1	41	28
2	89	27
3	344	26
4	1679	20
done	5001	20
0	20	29
1	42	28
2	87	27
3	310	26
4	1389	20
5	4503	20
done	5000	20
0	19	28
1	40	27
2	80	26
3	271	25
4	1207	20
5	4291	20
done	5000	20
0	19	28
1	40	28
2	103	26
3	387	26
4	1478	23
5	4872	20
done	5000	20
0	18	27
1	38	27
2	98	25
3	362	25
4	1329	23
5	4255	20
done	5000	20
0	17	26
1	38	26
2	122	24
3	585	24
4	2506	24
done	5001	24
0	17	26
1	37	26
2	118	24
3	547	24
4	2192	24
done	5000	24
0	23	56
1	59	52
2	243	28
3	1813	21
done	5001	21
0	23	56
1	58	52
2	214	26
3	1411	26
done	5000	26
0	24	63
1	64	59
2	265	29
3	2067	22
done	5001	22
0	24	63
1	63	59
2	236	27
3	1664	27
done	5000	27
0	24	63
1	64	59
2	270	27
3	2145	25
done	5000	25
0	22	63
1	61	59
2	237	25
3	1704	25
done	5001	25
0	26	70
1	71	66
2	291	32
3	2723	21
done	5000	21
0	26	70
1	70	66
2	261	30
3	2291	26
done	5000	26
0	26	77
1	75	73
2	314	33
3	3102	21
done	5000	21
0	26	77
1	74	73
2	285	31
3	2608	26
done	5000	26
0	26	77
1	75	73
2	316	31
3	3151	24
done	5000	24
0	24	77
1	72	73
2	282	29
3	2637	24
done	5000	24
0	24	70
1	63	70
2	280	34
3	2129	27
done	5000	27
0	24	70
1	62	70
2	251	32
3	1728	32
done	5001	32
0	24	77
1	67	77
2	301	35
3	2391	28
done	5001	28
0	24	77
1	66	77
2	272	33
3	1923	33
done	5001	33
0	24	77
1	67	77
2	304	33
3	2449	31
done	5000	31
0	22	77
1	64	77
2	271	31
3	1986	31
done	5000	31
0	22	77
1	59	77
2	294	29
3	2690	27
done	5000	27
0	20	77
1	55	77
2	261	27
3	2292	27
done	5000	27
0	18	53
1	36	53
2	104	49
3	494	49
4	1903	49
5	3810	49
6	4456	41
7	4514	35
8	4590	35
done	5000	35
0	17	26
1	35	26
2	103	24
3	490	24
4	1895	24
5	3710	24
6	4322	20
7	4379	17
8	4455	17
9	4944	17
done	5000	17
0	18	77
1	46	77
2	220	25
3	2017	25
done	5000	25
0	17	26
1	35	26
2	103	24
3	490	24
4	1895	24
5	3710	24
6	4322	20
7	4379	17
8	4455	17
9	4944	17
done	5000	17
0	17	26
1	35	26
2	103	24
3	490	24
4	1895	24
5	3710	24
6	4322	20
7	4379	17
8	4455	17
9	4944	17
done	5000	17
0	9	13
1	19	11
2	40	11
3	61	11
4	63	11
done	63	11
0	7	11
1	11	11
2	21	7
3	28	4
4	32	4
5	38	4
6	48	4
7	71	4
8	128	4
9	345	4
10	1274	4
done	5000	4
0	13	19
1	27	19
2	65	17
3	216	17
4	446	17
5	514	17
done	514	17
0	5	5
1	6	5
done	6	5
0	12	16
1	24	14
2	58	14
3	140	14
4	191	14
5	226	14
6	240	14
done	240	14
0	6	8
1	9	8
2	11	8
done	11	8
0	18	35
1	36	35
2	104	33
3	487	33
4	1863	33
5	3171	33
6	3394	29
7	3407	26
8	3465	26
9	3807	26
10	4733	26
done	5000	26
0	17	26
1	33	26
2	90	24
3	384	24
4	1249	24
5	1736	24
6	1773	20
7	1786	17
8	1826	17
9	2020	17
10	2507	17
11	3959	17
done	5000	17
0	20	37
1	44	37
2	145	35
3	851	35
4	4975	35
done	5000	35
0	19	33
1	39	33
2	117	31
3	622	31
4	3091	31
done	5000	31
0	17	31
1	37	29
2	117	27
3	631	27
4	3296	27
done	5001	27
0	19	31
1	39	31
2	118	29
3	644	29
4	3325	29
done	5000	29
0	18	27
1	36	27
2	105	25
3	521	25
4	2243	25
done	5000	25
0	16	25
1	34	23
2	101	21
3	485	21
4	2317	21
5	3862	17
6	4195	14
7	4201	14
8	4326	14
done	5000	14
0	18	27
1	38	27
2	115	23
3	654	23
4	2559	23
5	4733	23
6	4982	19
7	4994	16
done	5000	16
0	17	23
1	35	23
2	103	19
3	520	19
4	1569	19
5	2129	19
6	2166	15
7	2178	12
8	2230	12
9	2504	12
10	3272	12
done	5001	12
0	15	21
1	33	19
2	93	15
3	357	15
4	1180	15
5	1522	11
6	1544	8
7	1550	8
8	1607	8
9	1975	8
10	3130	8
done	5001	8
0	14	19
1	30	17
2	88	15
3	285	15
4	669	15
5	721	11
6	731	8
7	737	8
8	763	8
9	854	8
10	1065	8
11	1663	8
12	3623	8
done	5000	8
0	14	22
1	30	22
2	81	20
3	324	20
4	896	20
5	1141	20
6	1155	16
7	1167	13
8	1201	13
9	1342	13
10	1695	13
11	2731	13
done	5000	13
0	12	17
1	21	17
2	44	17
3	86	17
4	168	17
5	236	17
6	263	17
done	263	17
0	14	22
1	30	22
2	81	20
3	324	20
4	896	20
5	1141	20
6	1155	16
7	1167	13
8	1201	13
9	1342	13
10	1695	13
11	2731	13
done	5000	13
0	11	16
1	23	14
2	62	14
3	136	14
4	171	14
5	218	14
6	229	14
done	229	14
0	15	22
1	31	22
2	86	20
3	357	20
4	1134	20
5	2029	20
6	2321	20
7	2330	20
done	2330	20
0	14	19
1	28	17
2	82	17
3	254	17
4	458	17
5	745	17
6	880	17
7	897	17
done	897	17
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	18	24
1	44	24
2	95	24
3	211	24
4	579	24
5	1799	21
done	5001	21
0	9	9
1	13	9
2	16	9
3	20	9
4	21	9
done	21	9
0	9	9
1	13	9
2	16	9
3	20	9
4	21	9
done	21	9
0	13	15
1	33	15
2	74	15
3	157	15
4	346	15
5	860	15
6	2867	15
done	5000	15
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	13	15
1	32	15
2	66	15
3	114	15
4	209	15
5	504	15
6	1563	15
done	5000	15
0	10	11
1	19	11
2	38	11
3	67	11
4	160	11
5	506	11
6	1882	11
done	5000	11
0	10	11
1	19	11
2	38	11
3	67	11
4	160	11
5	506	11
6	1882	11
done	5000	11

prune653.0ms

Filtered

179 candidates to 238 candidates (-33.0%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	238	0	238
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	238	10	248

Merged error: 0b

Counts

248 → 10

regimes150.0ms

Accuracy

0% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 0.3b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	14	16
done	14	16

end0.0ms

sample2.6s

Algorithm

intervals

Results

1.1s	1522×	body	1280	valid
593.0ms	1247×	body	640	valid
472.0ms	4304×	body	80	valid
210.0ms	625×	body	320	valid
75.0ms	302×	body	160	valid

Details

sample81.0ms

simplify245.0ms

prune4.0ms

localize21.0ms

rewrite36.0ms

series27.0ms

simplify1.8min

prune267.0ms

localize11.0ms

rewrite38.0ms

series28.0ms

simplify1.8min

prune295.0ms

localize20.0ms

rewrite33.0ms

series36.0ms

simplify1.6min

prune261.0ms

localize17.0ms

rewrite83.0ms

series51.0ms

simplify14.5min

prune653.0ms

regimes150.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.6s

Profiling