Details

sample168.0ms

Algorithm

intervals

Results

105.0ms	122×	body	1280	valid
28.0ms	68×	body	640	valid
15.0ms	45×	body	320	valid
5.0ms	256×	pre	80	true
2.0ms	15×	body	160	valid
0.0ms	6×	body	80	valid

simplify4.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	10	9
2	11	9
done	11	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: 61.9b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (log (- 1.0 x)) (log (+ 1.0 x)))
4.8b	(log (+ 1.0 x))
4.8b	(log (- 1.0 x))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

19×	`*-un-lft-identity`
17×	`add-sqr-sqrt`
16×	`times-frac`
15×	`pow1` `add-cube-cbrt`
12×	`log-pow`
9×	`log-prod`
7×	`add-exp-log`
6×	`log-div`
5×	`add-cbrt-cube`
4×	`associate-/r` `associate-/l`
3×	`add-log-exp`
2×	`flip3--` `div-sub` `rem-log-exp` `flip--`
1×	`cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip-+` `div-inv` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`

Counts

3 → 69

Calls

3 calls:

7.0ms	(/ (log (- 1.0 x)) (log (+ 1.0 x)))
4.0ms	(log (+ 1.0 x))
4.0ms	(log (- 1.0 x))

series24.0ms

Counts

3 → 9

Calls

3 calls:

17.0ms	(/ (log (- 1.0 x)) (log (+ 1.0 x)))
3.0ms	(log (+ 1.0 x))
3.0ms	(log (- 1.0 x))

simplify1.1min

Counts

78 → 78

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	10
1	10	10
2	13	7
3	14	7
done	14	7
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	81	8
4	172	8
5	521	8
6	2302	8
done	5001	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	21	8
3	37	8
4	62	8
5	103	8
6	161	8
7	329	8
8	1610	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	3
2	8	3
done	8	3
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	6
4	23	6
5	33	6
6	56	6
7	116	6
8	332	6
9	1267	6
done	5000	6
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	9	10
2	11	7
3	12	7
done	12	7
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	6	8
1	11	8
2	21	8
3	37	8
4	62	8
5	103	8
6	161	8
7	329	8
8	1610	8
done	5000	8
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	5	4
done	5	4
0	5	5
1	6	5
done	6	5
0	5	5
1	6	3
done	6	3
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	6
4	21	6
5	31	6
6	54	6
7	110	6
8	319	6
9	1259	6
done	5001	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	9	11
1	14	11
2	16	11
done	16	11
0	8	10
1	14	10
2	17	10
3	18	10
done	18	10
0	8	10
1	11	10
2	12	10
done	12	10
0	11	29
1	23	29
2	56	13
3	123	11
4	200	11
5	316	11
6	777	11
7	3387	11
done	5001	11
0	9	21
1	12	21
2	13	21
done	13	21
0	8	10
1	11	10
2	12	10
done	12	10
0	9	29
1	19	29
2	36	11
3	74	11
4	141	11
5	208	11
6	336	11
7	829	11
8	3561	11
done	5001	11
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	10
2	12	10
done	12	10
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	10	13
1	26	13
2	48	13
3	85	13
4	176	13
5	514	13
6	2315	13
done	5000	13
0	11	17
1	18	15
2	25	15
3	26	15
4	27	15
done	27	15
0	9	13
1	14	13
2	22	13
3	38	13
4	63	13
5	104	13
6	160	13
7	328	13
8	1650	13
done	5000	13
0	5	9
1	7	1
2	9	1
done	9	1
0	2	3
1	4	1
done	4	1
0	7	9
1	10	9
2	11	9
done	11	9
0	8	13
1	13	13
done	13	13
0	8	10
1	11	10
2	12	10
done	12	10
0	7	7
1	10	7
done	10	7
0	8	10
1	11	10
2	12	10
done	12	10
0	2	3
1	4	1
done	4	1
0	7	9
1	10	9
2	11	9
done	11	9
0	8	13
1	14	11
2	21	11
3	26	11
done	26	11
0	8	10
1	11	10
2	12	10
done	12	10
0	11	23
1	20	23
2	30	23
3	36	23
done	36	23
0	9	11
1	12	11
2	13	11
done	13	11
0	10	17
1	15	17
2	18	17
3	19	17
done	19	17
0	9	11
1	12	11
2	13	11
done	13	11
0	8	13
1	14	11
2	21	11
3	26	11
done	26	11
0	8	10
1	11	10
2	12	10
done	12	10
0	7	7
1	11	5
2	14	5
done	14	5
0	8	10
1	11	10
2	12	10
done	12	10
0	10	17
1	15	17
2	16	17
done	16	17
0	9	11
1	12	11
2	13	11
done	13	11
0	9	11
1	12	11
2	13	11
done	13	11
0	9	11
1	12	11
2	13	11
done	13	11
0	7	7
1	11	5
2	14	5
done	14	5
0	8	10
1	11	10
2	12	10
done	12	10
0	2	3
1	4	1
done	4	1
0	7	9
1	10	9
2	11	9
done	11	9
0	8	13
1	13	13
done	13	13
0	8	10
1	11	10
2	12	10
done	12	10
0	7	7
1	10	7
done	10	7
0	8	10
1	11	10
2	12	10
done	12	10
0	2	3
1	4	1
done	4	1
0	7	9
1	10	9
2	11	9
done	11	9
0	6	6
1	9	6
done	9	6
0	7	9
1	10	9
2	11	9
done	11	9
0	6	6
1	10	4
2	13	4
done	13	4
0	9	16
1	14	16
2	15	16
done	15	16
0	8	10
1	11	10
2	12	10
done	12	10
0	6	6
1	10	4
2	13	4
done	13	4
0	7	9
1	10	9
2	11	9
done	11	9
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	10
2	12	10
done	12	10
0	7	9
1	10	9
2	11	9
done	11	9
0	12	16
1	29	16
2	79	16
3	156	16
4	303	16
5	532	14
6	799	14
7	1185	14
8	1630	14
9	3483	14
done	5001	14
0	16	22
1	41	20
2	95	15
3	238	15
4	572	15
5	1542	13
done	5000	13
0	17	21
1	40	20
2	93	15
3	255	15
4	750	14
5	1930	13
done	5000	13
0	12	16
1	29	16
2	86	16
3	175	16
4	337	16
5	535	14
6	648	14
7	794	14
8	1245	14
9	3100	14
done	5000	14
0	15	21
1	38	19
2	89	12
3	217	12
4	466	12
5	1280	10
done	5000	10
0	18	22
1	41	21
2	92	17
3	224	17
4	575	14
5	1648	10
done	5000	10
0	14	19
1	34	19
2	90	19
3	262	17
4	1001	15
5	4854	15
done	5000	15
0	50	191
1	147	157
2	586	122
3	3236	114
done	5000	112
0	51	198
1	146	181
2	582	119
3	2590	80
done	5000	78

prune200.0ms

Filtered

57 candidates to 78 candidates (-36.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	70	8	78
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	71	8	79

Merged error: 59.8b

Counts

79 → 8

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(* x (- 1.0 (* (/ 1/2 (pow 1.0 2)) x)))
0.0b	(/ (log (- 1.0 x)) (+ (log 1.0) (* x (- 1.0 (* (/ 1/2 (pow 1.0 2)) x)))))
4.8b	(log (- 1.0 x))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
17×	`*-un-lft-identity`
15×	`add-cube-cbrt`
12×	`times-frac`
10×	`pow1`
8×	`add-exp-log`
7×	`add-cbrt-cube`
5×	`log-prod` `log-pow`
4×	`log-div` `associate-/l*`
3×	`flip3--` `associate-r` `associate-l` `associate-/r*` `flip--` `add-log-exp`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `div-sub` `associate-*r/` `associate-/r/`
1×	`cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `rem-log-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `flip-+` `div-inv` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

3 → 75

Calls

3 calls:

6.0ms	(* x (- 1.0 (* (/ 1/2 (pow 1.0 2)) x)))
9.0ms	(/ (log (- 1.0 x)) (+ (log 1.0) (* x (- 1.0 (* (/ 1/2 (pow 1.0 2)) x)))))
7.0ms	(log (- 1.0 x))

series26.0ms

Counts

3 → 9

Calls

3 calls:

10.0ms	(* x (- 1.0 (* (/ 1/2 (pow 1.0 2)) x)))
13.0ms	(/ (log (- 1.0 x)) (+ (log 1.0) (* x (- 1.0 (* (/ 1/2 (pow 1.0 2)) x)))))
4.0ms	(log (- 1.0 x))

simplify4.3min

Counts

84 → 84

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	10
1	10	10
2	13	7
3	14	7
done	14	7
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	81	8
4	172	8
5	521	8
6	2302	8
done	5001	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	21	8
3	37	8
4	62	8
5	103	8
6	161	8
7	329	8
8	1610	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	3
2	8	3
done	8	3
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	6
4	23	6
5	33	6
6	56	6
7	116	6
8	332	6
9	1267	6
done	5000	6
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	16	21
1	32	21
2	70	21
3	134	21
4	250	21
5	411	21
6	572	21
7	653	21
8	887	21
9	1862	21
done	5001	21
0	15	20
1	32	20
2	71	20
3	136	20
4	258	20
5	415	20
6	568	20
7	651	20
8	886	20
9	1853	20
done	5000	20
0	15	20
1	29	20
2	66	20
3	130	20
4	252	20
5	417	20
6	580	20
7	664	20
8	905	20
9	1880	20
done	5000	20
0	18	59
1	53	59
2	168	23
3	513	21
4	2144	21
done	5000	21
0	16	41
1	30	41
2	67	41
3	131	41
4	249	41
5	411	41
6	573	41
7	663	41
8	900	41
9	1872	41
done	5000	41
0	15	20
1	29	20
2	66	20
3	130	20
4	252	20
5	417	20
6	580	20
7	664	20
8	905	20
9	1880	20
done	5000	20
0	16	59
1	37	59
2	90	21
3	191	21
4	416	21
5	1169	21
done	5000	21
0	15	20
1	29	20
2	66	20
3	130	20
4	252	20
5	417	20
6	580	20
7	664	20
8	905	20
9	1880	20
done	5000	20
0	15	20
1	29	20
2	66	20
3	130	20
4	252	20
5	417	20
6	580	20
7	664	20
8	905	20
9	1880	20
done	5000	20
0	5	5
1	7	5
2	8	5
done	8	5
0	12	15
1	27	15
2	71	15
3	153	15
4	370	14
5	770	14
6	1029	14
7	1138	14
8	1382	14
9	2324	14
done	5000	14
0	17	23
1	42	23
2	106	23
3	204	23
4	414	23
5	919	23
6	2865	23
done	5000	23
0	18	27
1	36	25
2	79	25
3	142	25
4	262	25
5	430	25
6	590	25
7	671	25
8	911	25
9	1880	25
done	5000	25
0	16	23
1	32	23
2	81	23
3	158	23
4	294	23
5	497	23
6	709	23
7	964	23
8	2514	23
done	5001	23
0	14	19
1	27	19
2	64	19
3	128	19
4	249	19
5	415	19
6	577	19
7	660	19
8	889	19
9	1864	19
done	5000	19
0	15	33
1	30	33
2	65	33
3	172	33
4	540	33
5	1901	33
done	5000	33
0	15	20
1	29	20
2	66	20
3	130	20
4	252	20
5	417	20
6	580	20
7	664	20
8	905	20
9	1880	20
done	5000	20
0	14	17
1	27	17
2	62	17
3	169	17
4	533	17
5	1897	17
done	5001	17
0	15	20
1	29	20
2	66	20
3	130	20
4	252	20
5	417	20
6	580	20
7	664	20
8	905	20
9	1880	20
done	5000	20
0	2	3
1	4	1
done	4	1
0	14	19
1	28	19
2	65	19
3	129	19
4	250	19
5	414	19
6	571	19
7	650	19
8	878	19
9	1837	19
done	5000	19
0	18	43
1	38	43
2	84	43
3	154	43
4	270	43
5	430	43
6	586	43
7	667	43
8	905	43
9	1864	43
done	5000	43
0	16	21
1	30	21
2	67	21
3	131	21
4	248	21
5	411	21
6	568	21
7	658	21
8	899	21
9	1877	21
done	5000	21
0	17	27
1	33	27
2	72	27
3	137	27
4	257	27
5	417	27
6	579	27
7	661	27
8	887	27
9	1856	27
done	5000	27
0	16	21
1	30	21
2	67	21
3	131	21
4	248	21
5	411	21
6	568	21
7	658	21
8	899	21
9	1877	21
done	5000	21
0	8	13
1	14	11
2	21	11
3	26	11
done	26	11
0	15	20
1	29	20
2	66	20
3	130	20
4	251	20
5	415	20
6	577	20
7	661	20
8	891	20
9	1870	20
done	5000	20
0	17	37
1	33	37
2	70	37
3	134	37
4	250	37
5	410	37
6	569	37
7	654	37
8	878	37
9	1838	37
done	5000	37
0	16	21
1	30	21
2	67	21
3	131	21
4	248	21
5	411	21
6	568	21
7	658	21
8	899	21
9	1877	21
done	5000	21
0	16	21
1	30	21
2	67	21
3	131	21
4	248	21
5	411	21
6	568	21
7	658	21
8	899	21
9	1877	21
done	5000	21
0	16	21
1	30	21
2	67	21
3	131	21
4	248	21
5	411	21
6	568	21
7	658	21
8	899	21
9	1877	21
done	5000	21
0	7	7
1	11	5
2	14	5
done	14	5
0	15	20
1	29	20
2	66	20
3	130	20
4	251	20
5	415	20
6	577	20
7	661	20
8	891	20
9	1870	20
done	5000	20
0	15	33
1	30	33
2	65	33
3	172	33
4	540	33
5	1901	33
done	5000	33
0	15	20
1	29	20
2	66	20
3	130	20
4	252	20
5	417	20
6	580	20
7	664	20
8	905	20
9	1880	20
done	5000	20
0	14	17
1	27	17
2	62	17
3	169	17
4	533	17
5	1897	17
done	5001	17
0	15	20
1	29	20
2	66	20
3	130	20
4	252	20
5	417	20
6	580	20
7	664	20
8	905	20
9	1880	20
done	5000	20
0	2	3
1	4	1
done	4	1
0	14	19
1	28	19
2	65	19
3	129	19
4	250	19
5	414	19
6	571	19
7	650	19
8	878	19
9	1837	19
done	5000	19
0	13	16
1	26	16
2	61	16
3	168	16
4	532	16
5	1896	16
done	5000	16
0	14	19
1	28	19
2	65	19
3	129	19
4	250	19
5	418	19
6	630	19
7	929	19
8	1790	19
9	3618	19
done	5000	19
0	16	36
1	32	36
2	69	36
3	133	36
4	253	36
5	412	36
6	569	36
7	650	36
8	876	36
9	1827	36
done	5000	36
0	15	20
1	29	20
2	66	20
3	130	20
4	252	20
5	417	20
6	580	20
7	664	20
8	905	20
9	1880	20
done	5000	20
0	6	6
1	10	4
2	13	4
done	13	4
0	14	19
1	28	19
2	65	19
3	129	19
4	250	19
5	418	19
6	630	19
7	929	19
8	1790	19
9	3618	19
done	5000	19
0	15	20
1	29	20
2	66	20
3	130	20
4	252	20
5	420	20
6	628	20
7	930	20
8	1805	20
9	3612	20
done	5000	20
0	15	20
1	29	20
2	66	20
3	130	20
4	252	20
5	420	20
6	628	20
7	930	20
8	1805	20
9	3612	20
done	5000	20
0	14	19
1	28	19
2	65	19
3	129	19
4	250	19
5	418	19
6	630	19
7	929	19
8	1790	19
9	3618	19
done	5000	19
0	17	23
1	46	23
2	121	23
3	335	23
4	1239	23
done	5000	23
0	16	34
1	41	34
2	121	34
3	384	34
4	1563	34
done	5000	34
0	9	11
1	20	11
2	57	11
3	117	11
4	228	11
5	387	11
6	545	11
7	615	11
8	832	11
9	1761	11
done	5000	11
0	11	13
1	22	13
2	53	13
3	95	13
4	135	13
5	169	13
6	200	13
7	257	13
8	473	13
9	1400	13
done	5000	13
0	10	12
1	24	12
2	62	12
3	122	12
4	236	12
5	394	12
6	547	12
7	620	12
8	836	12
9	1784	12
done	5000	12
0	10	12
1	23	12
2	65	12
3	145	12
4	338	12
5	729	12
6	1755	12
done	5000	12
0	13	35
1	30	35
2	104	15
3	376	15
4	1964	13
done	5000	13
0	11	25
1	22	25
2	59	25
3	119	25
4	233	25
5	392	25
6	544	25
7	619	25
8	836	25
9	1768	25
done	5000	25
0	10	12
1	21	12
2	58	12
3	118	12
4	230	12
5	383	12
6	533	12
7	606	12
8	823	12
9	1742	12
done	5000	12
0	11	35
1	32	35
2	116	13
3	414	13
4	1878	13
done	5000	13
0	10	12
1	21	12
2	58	12
3	118	12
4	230	12
5	383	12
6	533	12
7	606	12
8	823	12
9	1742	12
done	5000	12
0	10	12
1	21	12
2	58	12
3	118	12
4	230	12
5	383	12
6	533	12
7	606	12
8	823	12
9	1742	12
done	5000	12
0	11	13
1	22	13
2	53	13
3	95	13
4	135	13
5	169	13
6	200	13
7	257	13
8	473	13
9	1400	13
done	5000	13
0	11	13
1	22	13
2	53	13
3	95	13
4	135	13
5	169	13
6	200	13
7	257	13
8	473	13
9	1400	13
done	5000	13
0	3	3
1	4	3
done	4	3
0	9	10
1	24	10
2	65	9
3	162	9
4	306	9
5	470	9
6	557	9
7	619	9
8	826	9
9	1762	9
done	5000	9
0	3	3
1	4	3
done	4	3
0	9	10
1	24	10
2	65	9
3	162	9
4	306	9
5	470	9
6	557	9
7	619	9
8	826	9
9	1762	9
done	5000	9
0	3	3
1	4	3
done	4	3
0	9	10
1	24	10
2	64	9
3	155	9
4	300	9
5	463	9
6	546	9
7	611	9
8	828	9
9	1749	9
done	5001	9
0	3	3
1	4	3
done	4	3
0	9	10
1	24	10
2	64	9
3	155	9
4	300	9
5	463	9
6	546	9
7	611	9
8	828	9
9	1749	9
done	5001	9
0	11	23
1	24	23
2	57	23
3	99	23
4	140	23
5	174	23
6	205	23
7	262	23
8	467	23
9	1394	23
done	5000	23
0	10	12
1	21	12
2	52	12
3	94	12
4	134	12
5	168	12
6	197	12
7	261	12
8	474	12
9	1408	12
done	5000	12
0	3	3
1	6	1
done	6	1
0	10	12
1	21	12
2	58	12
3	125	12
4	257	12
5	507	12
6	809	12
7	983	12
8	1216	12
9	2155	12
done	5000	12
0	10	12
1	21	12
2	58	12
3	125	12
4	257	12
5	507	12
6	809	12
7	983	12
8	1216	12
9	2155	12
done	5000	12
0	9	11
1	20	11
2	57	11
3	117	11
4	228	11
5	387	11
6	545	11
7	615	11
8	832	11
9	1761	11
done	5000	11
0	12	15
1	37	15
2	140	15
3	629	15
4	3748	15
done	5001	15
0	11	21
1	31	21
2	112	21
3	415	19
4	1726	19
done	5001	19
0	12	16
1	29	16
2	79	16
3	156	16
4	303	16
5	532	14
6	799	14
7	1185	14
8	1630	14
9	3483	14
done	5001	14
0	16	22
1	41	20
2	95	15
3	238	15
4	572	15
5	1542	13
done	5000	13
0	17	21
1	40	20
2	93	15
3	255	15
4	750	14
5	1930	13
done	5000	13
0	24	41
1	61	41
2	193	41
3	783	35
4	3842	28
done	5001	28
0	49	105
1	131	97
2	438	93
3	2263	84
done	5000	83
0	49	101
1	131	95
2	430	58
3	1463	51
done	5000	51
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7

prune235.0ms

Filtered

64 candidates to 84 candidates (-31.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	83	1	84
Fresh	4	3	7
Picked	1	0	1
Done	0	0	0
Total	88	4	92

Merged error: 0.0b

Counts

92 → 4

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b	(* x (+ (* (/ 1/2 (pow 1.0 2)) x) 1.0))
0.0b	(* x (- 1.0 (* (/ 1/2 (pow 1.0 2)) x)))
0.0b	(/ (- (log 1.0) (* x (+ (* (/ 1/2 (pow 1.0 2)) x) 1.0))) (+ (log 1.0) (* x (- 1.0 (* (/ 1/2 (pow 1.0 2)) x)))))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
9×	`add-exp-log` `times-frac` `add-cbrt-cube`
7×	`pow1`
6×	`associate-r` `associate-l`
4×	`associate-*r/`
3×	`distribute-rgt-in` `distribute-lft-in` `associate-/r` `associate-/l` `add-log-exp`
2×	`sub-neg` `flip3--` `flip3-+` `pow-prod-down` `prod-exp` `associate-/r/` `*-commutative` `flip--` `cbrt-unprod` `flip-+` `associate-/l/` `unswap-sqr`
1×	`cbrt-undiv` `frac-2neg` `div-sub` `div-exp` `clear-num` `div-inv`

Counts

3 → 78

Calls

3 calls:

17.0ms	(* x (+ (* (/ 1/2 (pow 1.0 2)) x) 1.0))
7.0ms	(* x (- 1.0 (* (/ 1/2 (pow 1.0 2)) x)))
8.0ms	(/ (- (log 1.0) (* x (+ (* (/ 1/2 (pow 1.0 2)) x) 1.0))) (+ (log 1.0) (* x (- 1.0 (* (/ 1/2 (pow 1.0 2)) x)))))

series31.0ms

Counts

3 → 9

Calls

3 calls:

10.0ms	(* x (+ (* (/ 1/2 (pow 1.0 2)) x) 1.0))
10.0ms	(* x (- 1.0 (* (/ 1/2 (pow 1.0 2)) x)))
11.0ms	(/ (- (log 1.0) (* x (+ (* (/ 1/2 (pow 1.0 2)) x) 1.0))) (+ (log 1.0) (* x (- 1.0 (* (/ 1/2 (pow 1.0 2)) x)))))

simplify5.1min

Counts

87 → 87

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	17	31
1	41	31
2	96	31
3	201	31
4	359	31
5	532	31
6	680	31
7	884	31
8	1414	31
9	2387	31
done	5000	31
0	16	30
1	44	30
2	106	30
3	223	30
4	416	30
5	771	30
6	1996	30
done	5000	30
0	16	30
1	41	30
2	104	30
3	222	30
4	419	30
5	806	30
6	2143	30
done	5000	30
0	19	89
1	62	89
2	209	33
3	727	31
4	3498	31
done	5001	31
0	17	61
1	42	61
2	102	61
3	218	61
4	408	61
5	765	61
6	1982	61
done	5000	61
0	16	30
1	41	30
2	101	30
3	217	30
4	405	30
5	756	30
6	1971	30
done	5001	30
0	17	89
1	49	89
2	137	31
3	423	31
4	1683	31
done	5000	31
0	16	30
1	41	30
2	101	30
3	217	30
4	405	30
5	756	30
6	1971	30
done	5001	30
0	16	30
1	41	30
2	101	30
3	217	30
4	405	30
5	756	30
6	1971	30
done	5001	30
0	12	15
1	30	15
2	75	15
3	161	15
4	370	14
5	700	14
6	1019	14
7	1173	14
8	1387	14
9	2337	14
done	5001	14
0	12	15
1	27	15
2	71	15
3	153	15
4	370	14
5	770	14
6	1029	14
7	1138	14
8	1382	14
9	2324	14
done	5000	14
0	12	17
1	24	17
2	61	17
3	125	17
4	247	17
5	411	17
6	574	17
7	658	17
8	893	17
9	1859	17
done	5000	17
0	14	26
1	36	26
2	83	26
3	176	26
4	345	26
5	619	26
6	1165	26
7	2851	26
done	5001	26
0	19	63
1	47	63
2	110	63
3	221	63
4	377	63
5	552	63
6	706	63
7	908	63
8	1438	63
9	2380	63
done	5000	63
0	17	31
1	39	31
2	93	31
3	198	31
4	352	31
5	521	31
6	669	31
7	879	31
8	1410	31
9	2370	31
done	5000	31
0	18	47
1	42	47
2	98	47
3	204	47
4	361	47
5	532	47
6	679	47
7	884	47
8	1415	47
9	2365	47
done	5000	47
0	17	31
1	39	31
2	93	31
3	198	31
4	352	31
5	521	31
6	669	31
7	879	31
8	1410	31
9	2370	31
done	5000	31
0	15	33
1	36	31
2	82	31
3	205	31
4	593	31
5	2018	31
done	5001	31
0	16	30
1	38	30
2	92	30
3	197	30
4	350	30
5	517	30
6	665	30
7	871	30
8	1402	30
9	2363	30
done	5001	30
0	18	47
1	42	47
2	96	47
3	201	47
4	358	47
5	529	47
6	677	47
7	884	47
8	1415	47
9	2376	47
done	5000	47
0	17	31
1	39	31
2	93	31
3	198	31
4	352	31
5	521	31
6	669	31
7	879	31
8	1410	31
9	2370	31
done	5000	31
0	17	31
1	39	31
2	93	31
3	198	31
4	352	31
5	521	31
6	669	31
7	879	31
8	1410	31
9	2370	31
done	5000	31
0	17	31
1	39	31
2	93	31
3	198	31
4	352	31
5	521	31
6	669	31
7	879	31
8	1410	31
9	2370	31
done	5000	31
0	14	17
1	33	15
2	75	15
3	193	15
4	583	15
5	2013	15
done	5001	15
0	16	30
1	38	30
2	92	30
3	197	30
4	350	30
5	517	30
6	665	30
7	871	30
8	1402	30
9	2363	30
done	5001	30
0	15	33
1	30	33
2	65	33
3	172	33
4	540	33
5	1901	33
done	5000	33
0	16	30
1	41	30
2	101	30
3	217	30
4	405	30
5	741	30
6	1579	30
7	2654	30
8	3564	30
done	5000	30
0	14	17
1	27	17
2	62	17
3	169	17
4	533	17
5	1897	17
done	5001	17
0	16	30
1	41	30
2	101	30
3	217	30
4	405	30
5	741	30
6	1579	30
7	2654	30
8	3564	30
done	5000	30
0	2	3
1	4	1
done	4	1
0	15	29
1	40	29
2	100	29
3	216	29
4	404	29
5	756	29
6	1979	29
done	5001	29
0	13	16
1	26	16
2	61	16
3	168	16
4	532	16
5	1896	16
done	5000	16
0	15	29
1	37	29
2	91	29
3	196	29
4	349	29
5	523	29
6	725	29
7	1427	29
done	5001	29
0	17	46
1	44	46
2	113	46
3	255	46
4	491	46
5	1013	46
6	2651	46
done	5000	46
0	16	30
1	41	30
2	101	30
3	217	30
4	405	30
5	741	30
6	1579	30
7	2654	30
8	3564	30
done	5000	30
0	13	16
1	35	14
2	83	14
3	215	14
4	648	14
5	2225	14
done	5000	14
0	16	30
1	38	30
2	92	30
3	197	30
4	350	30
5	521	30
6	723	30
7	1165	30
8	2397	30
9	4812	30
done	5000	30
0	16	30
1	38	30
2	92	30
3	197	30
4	350	30
5	521	30
6	723	30
7	1165	30
8	2397	30
9	4812	30
done	5000	30
0	15	29
1	37	29
2	91	29
3	196	29
4	349	29
5	523	29
6	725	29
7	1427	29
done	5001	29
0	18	33
1	58	33
2	155	33
3	418	33
4	1435	33
done	5000	33
0	17	44
1	53	44
2	165	44
3	519	44
4	1918	44
done	5000	44
0	19	59
1	62	47
2	226	47
3	858	47
4	4283	47
done	5000	47
0	15	29
1	43	29
2	128	29
3	378	29
4	1374	29
done	5001	29
0	9	11
1	20	11
2	57	11
3	117	11
4	228	11
5	387	11
6	545	11
7	615	11
8	832	11
9	1761	11
done	5000	11
0	11	13
1	22	13
2	53	13
3	95	13
4	135	13
5	169	13
6	200	13
7	257	13
8	473	13
9	1400	13
done	5000	13
0	10	12
1	24	12
2	62	12
3	122	12
4	236	12
5	394	12
6	547	12
7	620	12
8	836	12
9	1784	12
done	5000	12
0	10	12
1	23	12
2	65	12
3	145	12
4	338	12
5	729	12
6	1755	12
done	5000	12
0	13	35
1	30	35
2	104	15
3	376	15
4	1964	13
done	5000	13
0	11	25
1	22	25
2	59	25
3	119	25
4	233	25
5	392	25
6	544	25
7	619	25
8	836	25
9	1768	25
done	5000	25
0	10	12
1	21	12
2	58	12
3	118	12
4	230	12
5	383	12
6	533	12
7	606	12
8	823	12
9	1742	12
done	5000	12
0	11	35
1	32	35
2	116	13
3	414	13
4	1878	13
done	5000	13
0	10	12
1	21	12
2	58	12
3	118	12
4	230	12
5	383	12
6	533	12
7	606	12
8	823	12
9	1742	12
done	5000	12
0	10	12
1	21	12
2	58	12
3	118	12
4	230	12
5	383	12
6	533	12
7	606	12
8	823	12
9	1742	12
done	5000	12
0	11	13
1	22	13
2	53	13
3	95	13
4	135	13
5	169	13
6	200	13
7	257	13
8	473	13
9	1400	13
done	5000	13
0	11	13
1	22	13
2	53	13
3	95	13
4	135	13
5	169	13
6	200	13
7	257	13
8	473	13
9	1400	13
done	5000	13
0	3	3
1	4	3
done	4	3
0	9	10
1	24	10
2	65	9
3	162	9
4	306	9
5	470	9
6	557	9
7	619	9
8	826	9
9	1762	9
done	5000	9
0	3	3
1	4	3
done	4	3
0	9	10
1	24	10
2	65	9
3	162	9
4	306	9
5	470	9
6	557	9
7	619	9
8	826	9
9	1762	9
done	5000	9
0	3	3
1	4	3
done	4	3
0	9	10
1	24	10
2	64	9
3	155	9
4	300	9
5	463	9
6	546	9
7	611	9
8	828	9
9	1749	9
done	5001	9
0	3	3
1	4	3
done	4	3
0	9	10
1	24	10
2	64	9
3	155	9
4	300	9
5	463	9
6	546	9
7	611	9
8	828	9
9	1749	9
done	5001	9
0	11	23
1	24	23
2	57	23
3	99	23
4	140	23
5	174	23
6	205	23
7	262	23
8	467	23
9	1394	23
done	5000	23
0	10	12
1	21	12
2	52	12
3	94	12
4	134	12
5	168	12
6	197	12
7	261	12
8	474	12
9	1408	12
done	5000	12
0	3	3
1	6	1
done	6	1
0	10	12
1	21	12
2	58	12
3	125	12
4	257	12
5	507	12
6	809	12
7	983	12
8	1216	12
9	2155	12
done	5000	12
0	10	12
1	21	12
2	58	12
3	125	12
4	257	12
5	507	12
6	809	12
7	983	12
8	1216	12
9	2155	12
done	5000	12
0	9	11
1	20	11
2	57	11
3	117	11
4	228	11
5	387	11
6	545	11
7	615	11
8	832	11
9	1761	11
done	5000	11
0	12	15
1	37	15
2	140	15
3	629	15
4	3748	15
done	5001	15
0	11	21
1	31	21
2	112	21
3	415	19
4	1726	19
done	5001	19
0	9	11
1	25	11
2	55	11
3	96	11
4	146	11
5	203	11
6	231	11
7	295	11
8	508	11
9	1437	11
done	5000	11
0	11	13
1	21	13
2	43	13
3	62	13
4	79	13
5	93	13
6	117	13
7	181	13
8	402	13
9	1337	13
done	5000	13
0	10	12
1	29	12
2	60	12
3	101	12
4	151	12
5	208	12
6	238	12
7	302	12
8	519	12
9	1437	12
done	5000	12
0	10	12
1	28	12
2	66	12
3	128	12
4	227	12
5	482	12
6	1225	12
7	4065	12
done	5000	12
0	13	35
1	41	35
2	165	15
3	739	15
4	3799	13
done	5000	13
0	11	25
1	27	25
2	57	25
3	98	25
4	147	25
5	203	25
6	232	25
7	293	25
8	514	25
9	1462	25
done	5000	25
0	10	12
1	26	12
2	56	12
3	97	12
4	147	12
5	204	12
6	232	12
7	293	12
8	509	12
9	1446	12
done	5000	12
0	11	35
1	37	35
2	137	13
3	520	13
4	2104	13
done	5000	13
0	10	12
1	26	12
2	56	12
3	97	12
4	147	12
5	204	12
6	232	12
7	293	12
8	509	12
9	1446	12
done	5000	12
0	10	12
1	26	12
2	56	12
3	97	12
4	147	12
5	204	12
6	232	12
7	293	12
8	509	12
9	1446	12
done	5000	12
0	11	13
1	21	13
2	43	13
3	62	13
4	79	13
5	93	13
6	117	13
7	181	13
8	402	13
9	1337	13
done	5000	13
0	11	13
1	21	13
2	43	13
3	62	13
4	79	13
5	93	13
6	117	13
7	181	13
8	402	13
9	1337	13
done	5000	13
0	8	9
1	17	9
2	46	9
3	87	9
4	136	9
5	191	9
6	219	9
7	276	9
8	483	9
9	1405	9
done	5001	9
0	3	3
1	4	3
done	4	3
0	8	9
1	19	9
2	48	9
3	92	9
4	143	9
5	195	9
6	224	9
7	285	9
8	500	9
9	1415	9
done	5000	9
0	3	3
1	4	3
done	4	3
0	11	23
1	23	23
2	47	23
3	66	23
4	83	23
5	97	23
6	121	23
7	181	23
8	395	23
9	1303	23
done	5000	23
0	10	12
1	20	12
2	42	12
3	61	12
4	78	12
5	92	12
6	114	12
7	178	12
8	390	12
9	1322	12
done	5000	12
0	3	3
1	6	1
done	6	1
0	10	12
1	26	12
2	61	12
3	118	12
4	200	12
5	300	12
6	343	12
7	405	12
8	629	12
9	1578	12
done	5000	12
0	10	12
1	26	12
2	61	12
3	118	12
4	200	12
5	300	12
6	343	12
7	405	12
8	629	12
9	1578	12
done	5000	12
0	9	11
1	25	11
2	55	11
3	96	11
4	146	11
5	203	11
6	231	11
7	295	11
8	508	11
9	1437	11
done	5000	11
0	12	15
1	42	15
2	147	15
3	542	15
4	2597	15
done	5001	15
0	11	21
1	31	21
2	103	21
3	319	19
4	1079	19
5	3003	15
done	5000	15
0	14	19
1	34	19
2	90	19
3	262	17
4	1001	15
5	4854	15
done	5000	15
0	13	15
1	29	15
2	56	11
3	97	11
4	212	11
5	571	9
6	2688	9
done	5000	9
0	13	15
1	29	15
2	56	11
3	97	11
4	212	11
5	571	9
6	2688	9
done	5000	9
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7

prune305.0ms

Filtered

69 candidates to 87 candidates (-26.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	86	1	87
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	88	3	91

Merged error: 0.0b

Counts

91 → 3

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (/ -1/2 (pow 1.0 2)) (* x x))
0.0b	(* x (+ (* (/ 1/2 (pow 1.0 2)) x) 1.0))
0.0b	(/ (- (log 1.0) (* x (+ (* (/ 1/2 (pow 1.0 2)) x) 1.0))) (+ (log 1.0) (+ (* x 1.0) (* (/ -1/2 (pow 1.0 2)) (* x x)))))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

43×	`times-frac`
42×	`*-un-lft-identity`
39×	`add-sqr-sqrt`
31×	`add-exp-log` `associate-l`
30×	`add-cube-cbrt`
19×	`add-cbrt-cube`
14×	`pow1`
13×	`prod-exp`
10×	`unpow-prod-down`
8×	`distribute-lft-out`
7×	`div-exp` `cbrt-unprod`
6×	`unswap-sqr`
5×	`associate-/r*`
4×	`associate-r` `pow-prod-down` `log-pow` `unpow2` `sqr-pow`
3×	`cbrt-undiv` `associate-/l*` `add-log-exp`
2×	`pow-to-exp` `flip3-+` `associate-r/` `pow-exp` `associate-/r/` `-commutative` `flip-+` `div-inv` `associate-/l/`
1×	`distribute-rgt-in` `flip3--` `frac-2neg` `distribute-lft-in` `div-sub` `associate-*l/` `clear-num` `flip--`

Counts

3 → 119

Calls

3 calls:

13.0ms	(* (/ -1/2 (pow 1.0 2)) (* x x))
12.0ms	(* x (+ (* (/ 1/2 (pow 1.0 2)) x) 1.0))
11.0ms	(/ (- (log 1.0) (* x (+ (* (/ 1/2 (pow 1.0 2)) x) 1.0))) (+ (log 1.0) (+ (* x 1.0) (* (/ -1/2 (pow 1.0 2)) (* x x)))))

series31.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(* (/ -1/2 (pow 1.0 2)) (* x x))
10.0ms	(* x (+ (* (/ 1/2 (pow 1.0 2)) x) 1.0))
15.0ms	(/ (- (log 1.0) (* x (+ (* (/ 1/2 (pow 1.0 2)) x) 1.0))) (+ (log 1.0) (+ (* x 1.0) (* (/ -1/2 (pow 1.0 2)) (* x x)))))

simplify7.1min

Counts

128 → 128

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	21	33
1	49	33
2	121	31
3	228	31
4	401	31
5	593	31
6	733	31
7	941	31
8	1477	31
9	2446	31
done	5000	31
0	20	32
1	52	32
2	131	30
3	248	30
4	455	30
5	840	30
6	1804	30
done	5000	30
0	20	32
1	49	32
2	129	30
3	247	30
4	465	30
5	873	30
6	1942	30
done	5000	30
0	23	95
1	70	95
2	254	33
3	1050	31
done	5000	31
0	21	65
1	50	65
2	127	61
3	243	61
4	447	61
5	827	61
6	1783	61
done	5000	61
0	20	32
1	49	32
2	126	30
3	242	30
4	452	30
5	828	30
6	1790	30
done	5000	30
0	21	95
1	57	95
2	162	31
3	448	31
4	1712	31
done	5000	31
0	20	32
1	49	32
2	126	30
3	242	30
4	452	30
5	828	30
6	1790	30
done	5000	30
0	20	32
1	49	32
2	126	30
3	242	30
4	452	30
5	828	30
6	1790	30
done	5000	30
0	12	15
1	30	15
2	75	15
3	161	15
4	370	14
5	700	14
6	1019	14
7	1173	14
8	1387	14
9	2337	14
done	5001	14
0	13	17
1	31	17
2	77	15
3	167	15
4	319	14
5	483	14
6	641	14
7	847	14
8	1450	14
9	2406	14
done	5000	14
0	13	19
1	28	19
2	66	17
3	106	17
4	161	17
5	200	17
6	234	17
7	296	17
8	513	17
9	1456	17
done	5000	17
0	18	28
1	44	28
2	107	26
3	191	26
4	311	26
5	482	26
6	787	26
7	1178	26
8	2456	26
done	5001	26
0	23	67
1	55	67
2	135	63
3	248	63
4	421	63
5	618	63
6	759	63
7	964	63
8	1505	63
9	2455	63
done	5000	63
0	21	33
1	47	33
2	118	31
3	223	31
4	394	31
5	585	31
6	723	31
7	930	31
8	1456	31
9	2410	31
done	5000	31
0	22	49
1	50	49
2	123	47
3	229	47
4	400	47
5	599	47
6	739	47
7	945	47
8	1482	47
9	2444	47
done	5000	47
0	21	33
1	47	33
2	118	31
3	223	31
4	394	31
5	585	31
6	723	31
7	930	31
8	1456	31
9	2410	31
done	5000	31
0	15	33
1	36	31
2	82	31
3	205	31
4	593	31
5	2018	31
done	5001	31
0	20	32
1	46	32
2	117	30
3	224	30
4	396	30
5	597	30
6	741	30
7	948	30
8	1498	30
9	2444	30
done	5000	30
0	15	33
1	36	31
2	82	31
3	205	31
4	593	31
5	2018	31
done	5001	31
0	20	32
1	46	32
2	117	30
3	224	30
4	396	30
5	597	30
6	741	30
7	948	30
8	1498	30
9	2444	30
done	5000	30
0	15	33
1	36	31
2	82	31
3	205	31
4	593	31
5	2018	31
done	5001	31
0	20	32
1	46	32
2	117	30
3	224	30
4	396	30
5	597	30
6	741	30
7	948	30
8	1498	30
9	2444	30
done	5000	30
0	22	51
1	50	51
2	121	47
3	228	47
4	401	47
5	595	47
6	735	47
7	944	47
8	1479	47
9	2445	47
done	5000	47
0	21	33
1	47	33
2	118	31
3	223	31
4	394	31
5	585	31
6	723	31
7	930	31
8	1456	31
9	2410	31
done	5000	31
0	21	33
1	47	33
2	118	31
3	223	31
4	394	31
5	585	31
6	723	31
7	930	31
8	1456	31
9	2410	31
done	5000	31
0	21	33
1	47	33
2	118	31
3	223	31
4	394	31
5	585	31
6	723	31
7	930	31
8	1456	31
9	2410	31
done	5000	31
0	14	17
1	33	15
2	75	15
3	193	15
4	583	15
5	2013	15
done	5001	15
0	20	32
1	46	32
2	117	30
3	224	30
4	396	30
5	597	30
6	741	30
7	948	30
8	1498	30
9	2444	30
done	5000	30
0	14	17
1	33	15
2	75	15
3	193	15
4	583	15
5	2013	15
done	5001	15
0	20	32
1	46	32
2	117	30
3	224	30
4	396	30
5	597	30
6	741	30
7	948	30
8	1498	30
9	2444	30
done	5000	30
0	14	17
1	33	15
2	75	15
3	193	15
4	583	15
5	2013	15
done	5001	15
0	20	32
1	46	32
2	117	30
3	224	30
4	396	30
5	597	30
6	741	30
7	948	30
8	1498	30
9	2444	30
done	5000	30
0	16	37
1	34	37
2	70	33
3	157	33
4	420	33
5	1341	33
done	5000	33
0	20	32
1	49	32
2	126	30
3	242	30
4	452	30
5	828	30
6	1664	30
7	2736	30
8	3628	30
done	5000	30
0	15	19
1	31	19
2	67	17
3	154	17
4	413	17
5	1344	17
done	5000	17
0	20	32
1	49	32
2	126	30
3	242	30
4	452	30
5	828	30
6	1664	30
7	2736	30
8	3628	30
done	5000	30
0	2	3
1	4	1
done	4	1
0	19	31
1	48	31
2	125	29
3	241	29
4	448	29
5	823	29
6	1783	29
done	5000	29
0	2	3
1	4	1
done	4	1
0	19	31
1	48	31
2	125	29
3	241	29
4	448	29
5	823	29
6	1783	29
done	5000	29
0	2	3
1	4	1
done	4	1
0	19	31
1	48	31
2	125	29
3	241	29
4	448	29
5	823	29
6	1783	29
done	5000	29
0	14	18
1	30	18
2	66	16
3	153	16
4	414	16
5	1341	16
done	5001	16
0	19	31
1	45	31
2	116	29
3	221	29
4	396	29
5	598	29
6	747	29
7	1011	29
8	2160	29
done	5000	29
0	21	50
1	52	50
2	138	46
3	280	46
4	538	46
5	1098	46
6	2721	46
done	5000	46
0	20	32
1	49	32
2	126	30
3	242	30
4	452	30
5	828	30
6	1664	30
7	2736	30
8	3628	30
done	5000	30
0	13	16
1	35	14
2	83	14
3	215	14
4	648	14
5	2225	14
done	5000	14
0	13	16
1	35	14
2	83	14
3	215	14
4	648	14
5	2225	14
done	5000	14
0	13	16
1	35	14
2	83	14
3	215	14
4	648	14
5	2225	14
done	5000	14
0	20	32
1	46	32
2	117	30
3	222	30
4	394	30
5	596	30
6	744	30
7	1007	30
8	1882	30
9	3950	30
done	5001	30
0	20	32
1	46	32
2	117	30
3	222	30
4	394	30
5	596	30
6	744	30
7	1007	30
8	1882	30
9	3950	30
done	5001	30
0	19	31
1	45	31
2	116	29
3	221	29
4	396	29
5	598	29
6	747	29
7	1011	29
8	2160	29
done	5000	29
0	22	35
1	61	35
2	157	33
3	425	33
4	1665	33
done	5001	33
0	21	48
1	58	48
2	197	44
3	679	44
4	2787	44
done	5001	44
0	23	61
1	69	49
2	267	47
3	1156	47
done	5000	47
0	19	31
1	51	31
2	169	29
3	628	29
4	2618	29
done	5000	29
0	9	11
1	25	11
2	55	11
3	96	11
4	146	11
5	203	11
6	231	11
7	295	11
8	508	11
9	1437	11
done	5000	11
0	11	13
1	21	13
2	43	13
3	62	13
4	79	13
5	93	13
6	117	13
7	181	13
8	402	13
9	1337	13
done	5000	13
0	10	12
1	29	12
2	60	12
3	101	12
4	151	12
5	208	12
6	238	12
7	302	12
8	519	12
9	1437	12
done	5000	12
0	10	12
1	28	12
2	66	12
3	128	12
4	227	12
5	482	12
6	1225	12
7	4065	12
done	5000	12
0	13	35
1	41	35
2	165	15
3	739	15
4	3799	13
done	5000	13
0	11	25
1	27	25
2	57	25
3	98	25
4	147	25
5	203	25
6	232	25
7	293	25
8	514	25
9	1462	25
done	5000	25
0	10	12
1	26	12
2	56	12
3	97	12
4	147	12
5	204	12
6	232	12
7	293	12
8	509	12
9	1446	12
done	5000	12
0	11	35
1	37	35
2	137	13
3	520	13
4	2104	13
done	5000	13
0	10	12
1	26	12
2	56	12
3	97	12
4	147	12
5	204	12
6	232	12
7	293	12
8	509	12
9	1446	12
done	5000	12
0	10	12
1	26	12
2	56	12
3	97	12
4	147	12
5	204	12
6	232	12
7	293	12
8	509	12
9	1446	12
done	5000	12
0	11	13
1	21	13
2	43	13
3	62	13
4	79	13
5	93	13
6	117	13
7	181	13
8	402	13
9	1337	13
done	5000	13
0	11	13
1	21	13
2	43	13
3	62	13
4	79	13
5	93	13
6	117	13
7	181	13
8	402	13
9	1337	13
done	5000	13
0	8	9
1	17	9
2	46	9
3	87	9
4	136	9
5	191	9
6	219	9
7	276	9
8	483	9
9	1405	9
done	5001	9
0	3	3
1	4	3
done	4	3
0	8	9
1	19	9
2	48	9
3	92	9
4	143	9
5	195	9
6	224	9
7	285	9
8	500	9
9	1415	9
done	5000	9
0	3	3
1	4	3
done	4	3
0	11	23
1	23	23
2	47	23
3	66	23
4	83	23
5	97	23
6	121	23
7	181	23
8	395	23
9	1303	23
done	5000	23
0	10	12
1	20	12
2	42	12
3	61	12
4	78	12
5	92	12
6	114	12
7	178	12
8	390	12
9	1322	12
done	5000	12
0	3	3
1	6	1
done	6	1
0	10	12
1	26	12
2	61	12
3	118	12
4	200	12
5	300	12
6	343	12
7	405	12
8	629	12
9	1578	12
done	5000	12
0	10	12
1	26	12
2	61	12
3	118	12
4	200	12
5	300	12
6	343	12
7	405	12
8	629	12
9	1578	12
done	5000	12
0	9	11
1	25	11
2	55	11
3	96	11
4	146	11
5	203	11
6	231	11
7	295	11
8	508	11
9	1437	11
done	5000	11
0	12	15
1	42	15
2	147	15
3	542	15
4	2597	15
done	5001	15
0	11	21
1	31	21
2	103	21
3	319	19
4	1079	19
5	3003	15
done	5000	15
0	8	9
1	18	9
2	46	9
3	84	9
4	138	9
5	175	9
6	208	9
7	273	9
8	486	9
9	1412	9
done	5000	9
0	8	9
1	18	9
2	46	9
3	84	9
4	138	9
5	175	9
6	208	9
7	273	9
8	486	9
9	1412	9
done	5000	9
0	11	13
1	20	12
2	47	10
3	85	10
4	130	10
5	191	10
6	229	10
7	296	10
8	405	10
9	432	10
done	432	10
0	11	12
1	19	12
2	43	12
3	76	10
4	122	10
5	191	10
6	231	10
7	302	10
8	411	10
9	438	10
done	438	10
0	11	13
1	20	12
2	47	10
3	85	10
4	130	10
5	191	10
6	229	10
7	296	10
8	405	10
9	432	10
done	432	10
0	11	12
1	19	12
2	43	12
3	76	10
4	122	10
5	191	10
6	231	10
7	302	10
8	411	10
9	438	10
done	438	10
0	11	13
1	26	12
2	61	10
3	116	10
4	210	10
5	366	10
6	514	10
7	835	10
8	1232	10
9	2173	10
done	5000	10
0	11	12
1	25	12
2	57	12
3	107	10
4	196	10
5	355	10
6	501	10
7	822	10
8	1207	10
9	2142	10
done	5001	10
0	10	12
1	22	11
2	48	11
3	92	10
4	180	10
5	331	10
6	450	10
7	723	10
8	1088	10
9	2065	10
done	5001	10
0	10	11
1	21	11
2	47	11
3	90	10
4	169	10
5	289	10
6	493	10
7	752	10
8	1131	10
9	2104	10
done	5000	10
0	9	10
1	22	10
2	60	10
3	126	10
4	261	10
5	451	9
6	694	9
7	1111	9
8	1542	9
9	2546	9
done	5001	9
0	9	10
1	21	10
2	56	10
3	114	10
4	221	10
5	416	10
6	885	10
7	2591	10
done	5001	10
0	14	29
1	45	21
2	172	15
3	846	11
done	5000	9
0	14	29
1	46	21
2	171	13
3	832	11
done	5000	9
0	12	29
1	36	29
2	141	15
3	622	11
4	3386	11
done	5001	11
0	12	29
1	37	29
2	141	13
3	623	11
4	3461	11
done	5000	11
0	10	21
1	20	21
2	48	21
3	86	21
4	141	21
5	178	21
6	212	21
7	275	21
8	482	21
9	1411	21
done	5000	21
0	9	10
1	19	10
2	47	10
3	85	10
4	139	10
5	176	10
6	210	10
7	272	10
8	490	10
9	1436	10
done	5000	10
0	10	29
1	30	29
2	129	11
3	703	11
4	4305	11
done	5000	11
0	9	10
1	19	10
2	47	10
3	85	10
4	139	10
5	176	10
6	210	10
7	272	10
8	490	10
9	1436	10
done	5000	10
0	9	10
1	19	10
2	47	10
3	85	10
4	139	10
5	176	10
6	210	10
7	272	10
8	490	10
9	1436	10
done	5000	10
0	8	8
1	14	8
2	26	8
3	31	8
4	37	8
5	47	8
6	69	8
7	126	8
8	331	8
9	1253	8
done	5000	8
0	8	8
1	14	8
2	26	8
3	31	8
4	37	8
5	47	8
6	69	8
7	126	8
8	331	8
9	1253	8
done	5000	8
0	9	9
1	17	9
2	40	6
3	72	6
4	167	6
5	536	6
6	2216	6
done	5001	6
0	9	9
1	17	9
2	40	6
3	72	6
4	167	6
5	536	6
6	2216	6
done	5001	6
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	9	9
1	17	9
2	30	7
3	37	7
4	45	7
5	56	7
6	80	7
7	139	7
8	349	7
9	1279	7
done	5000	7
0	9	9
1	17	9
2	30	7
3	37	7
4	45	7
5	56	7
6	80	7
7	139	7
8	349	7
9	1279	7
done	5000	7
0	9	10
1	17	8
2	35	6
3	66	6
4	160	6
5	526	6
6	2190	6
done	5000	6
0	9	10
1	17	8
2	35	6
3	66	6
4	160	6
5	526	6
6	2190	6
done	5000	6
0	7	7
1	15	7
2	38	7
3	57	7
4	73	7
5	87	7
6	109	7
7	172	7
8	379	7
9	1310	7
done	5000	7
0	9	10
1	17	10
2	31	10
3	36	10
4	42	10
5	52	10
6	74	10
7	137	10
8	350	10
9	1278	10
done	5001	10
0	9	10
1	17	10
2	31	10
3	36	10
4	42	10
5	52	10
6	74	10
7	137	10
8	350	10
9	1278	10
done	5001	10
0	10	11
1	20	11
2	48	11
3	108	11
4	338	11
5	1327	11
done	5001	11
0	10	11
1	20	11
2	48	8
3	97	8
4	276	8
5	1081	8
done	5001	8
0	9	10
1	19	10
2	47	10
3	85	10
4	140	10
5	179	10
6	213	10
7	279	10
8	488	10
9	1440	10
done	5000	10
0	7	8
1	12	8
2	20	8
3	28	8
4	37	8
5	43	8
6	48	8
done	48	8
0	10	11
1	20	11
2	36	11
3	49	11
4	64	11
5	80	11
6	109	11
7	170	11
8	378	11
9	1296	11
done	5000	11
0	10	11
1	20	11
2	38	9
3	51	9
4	66	9
5	82	9
6	111	9
7	175	9
8	384	9
9	1296	9
done	5001	9
0	9	10
1	19	10
2	47	10
3	85	10
4	140	10
5	179	10
6	213	10
7	279	10
8	488	10
9	1440	10
done	5000	10
0	10	12
1	20	10
2	43	8
3	91	8
4	269	8
5	1085	8
done	5000	8
0	10	11
1	20	11
2	48	11
3	108	11
4	338	11
5	1327	11
done	5001	11
0	10	11
1	20	11
2	48	8
3	97	8
4	276	8
5	1081	8
done	5001	8
0	9	10
1	19	10
2	47	10
3	85	10
4	140	10
5	179	10
6	213	10
7	279	10
8	488	10
9	1440	10
done	5000	10
0	7	8
1	12	8
2	20	8
3	28	8
4	37	8
5	43	8
6	48	8
done	48	8
0	10	11
1	20	11
2	36	11
3	49	11
4	64	11
5	80	11
6	109	11
7	170	11
8	378	11
9	1296	11
done	5000	11
0	10	11
1	20	11
2	38	9
3	51	9
4	66	9
5	82	9
6	111	9
7	175	9
8	384	9
9	1296	9
done	5001	9
0	9	10
1	19	10
2	47	10
3	85	10
4	140	10
5	179	10
6	213	10
7	279	10
8	488	10
9	1440	10
done	5000	10
0	10	12
1	20	10
2	43	8
3	91	8
4	269	8
5	1085	8
done	5000	8
0	9	10
1	19	10
2	47	10
3	107	10
4	335	10
5	1327	10
done	5000	10
0	9	10
1	19	10
2	47	7
3	96	7
4	275	7
5	1089	7
done	5000	7
0	8	9
1	18	9
2	46	9
3	84	9
4	138	9
5	175	9
6	208	9
7	273	9
8	486	9
9	1412	9
done	5000	9
0	6	7
1	11	7
2	19	7
3	27	7
4	36	7
5	42	7
6	47	7
7	48	7
done	48	7
0	9	10
1	19	10
2	35	10
3	48	10
4	63	10
5	79	10
6	106	10
7	171	10
8	395	10
9	1325	10
done	5000	10
0	9	10
1	19	10
2	37	8
3	50	8
4	65	8
5	81	8
6	110	8
7	172	8
8	378	8
9	1286	8
done	5000	8
0	8	9
1	18	9
2	46	9
3	84	9
4	138	9
5	175	9
6	208	9
7	273	9
8	486	9
9	1412	9
done	5000	9
0	9	11
1	19	9
2	42	7
3	90	7
4	268	7
5	1069	7
done	5000	7
0	8	9
1	18	9
2	46	9
3	84	9
4	138	9
5	175	9
6	208	9
7	273	9
8	486	9
9	1412	9
done	5000	9
0	8	9
1	19	9
2	43	7
3	146	7
4	451	7
5	1348	7
done	5000	7
0	4	5
1	7	5
2	9	5
done	9	5
0	14	19
1	34	19
2	90	19
3	262	17
4	1001	15
5	4854	15
done	5000	15
0	13	15
1	29	15
2	56	11
3	97	11
4	212	11
5	571	9
6	2688	9
done	5000	9
0	13	15
1	29	15
2	56	11
3	97	11
4	212	11
5	571	9
6	2688	9
done	5000	9
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
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

prune414.0ms

Filtered

96 candidates to 128 candidates (-33.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	128	3	131

Merged error: 0.0b

Counts

131 → 3

regimes33.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	31
1	26	31
done	26	31

end0.0ms

sample4.7s

Algorithm

intervals

Results

2.9s	3381×	body	1280	valid
1.1s	2541×	body	640	valid
278.0ms	1249×	body	320	valid
143.0ms	8000×	pre	80	true
81.0ms	615×	body	160	valid
13.0ms	214×	body	80	valid

Details

sample168.0ms

simplify4.0ms

prune3.0ms

localize7.0ms

rewrite17.0ms

series24.0ms

simplify1.1min

prune200.0ms

localize14.0ms

rewrite25.0ms

series26.0ms

simplify4.3min

prune235.0ms

localize15.0ms

rewrite34.0ms

series31.0ms

simplify5.1min

prune305.0ms

localize19.0ms

rewrite42.0ms

series31.0ms

simplify7.1min

prune414.0ms

regimes33.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample4.7s

Profiling