Details

sample264.0ms

Algorithm

intervals

Results

70.0ms	130×	body	1280	valid
42.0ms	41×	body	1280	nan
40.0ms	50×	body	640	valid
20.0ms	31×	body	640	nan
18.0ms	114×	body	80	overflowed
11.0ms	87×	body	80	valid
9.0ms	32×	body	320	valid
9.0ms	185×	body	80	nan
9.0ms	21×	body	320	nan
2.0ms	11×	body	160	valid
1.0ms	3×	body	160	nan

simplify2.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	8	13
1	17	13
2	34	13
3	81	13
4	209	13
5	656	13
6	3057	13
done	5000	13

prune5.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: 31.3b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(pow (+ x 1.0) (/ 1.0 n))
0.0b	(pow x (/ 1.0 n))
2.2b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-sqr-sqrt`
28×	`*-un-lft-identity`
26×	`pow-unpow`
19×	`add-cube-cbrt`
18×	`times-frac`
17×	`unpow-prod-down`
9×	`difference-of-squares`
8×	`sqr-pow`
5×	`pow1` `add-exp-log` `add-log-exp`
3×	`add-cbrt-cube` `distribute-lft-out--`
2×	`pow-to-exp` `pow-pow` `pow-exp` `div-inv` `distribute-lft-out`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

3 → 79

Calls

3 calls:

6.0ms	(pow (+ x 1.0) (/ 1.0 n))
4.0ms	(pow x (/ 1.0 n))
12.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

series98.0ms

Counts

3 → 9

Calls

3 calls:

20.0ms	(pow (+ x 1.0) (/ 1.0 n))
20.0ms	(pow x (/ 1.0 n))
57.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

simplify9.0min

Counts

88 → 88

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	10	15
1	19	14
2	38	14
3	96	14
4	267	14
5	894	14
6	4358	14
done	5000	14
0	9	14
1	18	14
2	35	14
3	85	14
4	216	14
5	677	14
6	3118	14
done	5001	14
0	9	14
1	21	14
2	44	14
3	109	14
4	304	14
5	1041	14
done	5001	14
0	10	29
1	19	29
2	36	29
3	83	29
4	210	29
5	654	29
6	3060	29
done	5000	29
0	9	14
1	18	14
2	35	14
3	82	14
4	209	14
5	655	14
6	3044	14
done	5000	14
0	10	41
1	20	41
2	51	15
3	188	15
4	1006	15
done	5000	15
0	9	14
1	18	14
2	35	14
3	82	14
4	209	14
5	655	14
6	3044	14
done	5000	14
0	9	14
1	18	14
2	35	14
3	82	14
4	209	14
5	655	14
6	3044	14
done	5000	14
0	11	17
1	32	17
2	91	17
3	279	17
4	1005	17
5	4227	17
done	5000	17
0	12	41
1	29	29
2	77	29
3	203	29
4	615	29
5	2616	29
done	5000	29
0	6	6
1	10	6
2	20	6
3	52	6
4	134	6
5	384	6
6	1540	6
done	5001	6
0	10	27
1	25	17
2	61	17
3	163	17
4	539	17
5	2526	17
done	5000	17
0	8	13
1	16	13
2	26	13
3	60	13
4	142	13
5	371	13
6	1430	13
done	5000	13
0	10	15
1	18	15
2	28	15
3	62	15
4	146	15
5	380	15
6	1442	15
done	5000	15
0	10	15
1	19	15
2	36	15
3	83	15
4	212	15
5	662	15
6	3059	15
done	5001	15
0	10	15
1	18	15
2	29	15
3	63	15
4	145	15
5	381	15
6	1445	15
done	5001	15
0	10	15
1	19	15
2	31	15
3	65	15
4	147	15
5	382	15
6	1441	15
done	5000	15
0	11	16
1	20	16
2	37	16
3	77	16
4	187	16
5	515	16
6	2202	16
done	5000	16
0	11	16
1	21	16
2	45	16
3	98	16
4	256	16
5	794	16
6	3808	16
done	5000	16
0	10	15
1	18	15
2	29	15
3	63	15
4	145	15
5	381	15
6	1448	15
done	5001	15
0	10	15
1	19	15
2	34	15
3	75	15
4	180	15
5	487	15
6	1851	15
done	5000	15
0	10	15
1	18	15
2	30	15
3	64	15
4	148	15
5	377	15
6	1447	15
done	5000	15
0	10	15
1	19	15
2	32	15
3	66	15
4	148	15
5	381	15
6	1450	15
done	5001	15
0	11	16
1	20	16
2	38	16
3	78	16
4	186	16
5	510	16
6	2202	16
done	5001	16
0	11	16
1	21	16
2	43	16
3	90	16
4	222	16
5	625	16
6	2625	16
done	5000	16
0	11	16
1	20	16
2	37	16
3	77	16
4	187	16
5	515	16
6	2205	16
done	5000	16
0	11	16
1	21	16
2	45	16
3	98	16
4	256	16
5	792	16
6	3809	16
done	5000	16
0	11	16
1	20	16
2	38	16
3	78	16
4	186	16
5	507	16
6	2212	16
done	5000	16
0	11	16
1	21	16
2	40	16
3	80	16
4	192	16
5	515	16
6	2202	16
done	5000	16
0	10	17
1	19	17
2	35	17
3	73	17
4	181	17
5	478	17
6	1886	17
done	5000	17
0	10	17
1	20	17
2	43	17
3	94	17
4	248	17
5	768	17
6	3489	17
done	5000	17
0	8	13
1	17	13
2	34	13
3	81	13
4	209	13
5	656	13
6	3057	13
done	5000	13
0	8	13
1	17	13
2	34	13
3	81	13
4	209	13
5	656	13
6	3057	13
done	5000	13
0	8	13
1	17	13
2	34	13
3	81	13
4	209	13
5	656	13
6	3057	13
done	5000	13
0	6	6
1	10	6
2	20	6
3	52	6
4	134	6
5	384	6
6	1540	6
done	5001	6
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
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	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	7	11
1	11	11
2	18	11
3	42	11
4	99	11
5	263	11
6	895	11
7	3356	11
done	5000	11
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	2195	6
done	5000	6
0	9	13
1	19	13
2	41	13
3	106	13
4	324	13
5	958	13
6	3911	13
done	5000	13
0	8	10
1	14	10
2	25	10
3	63	10
4	179	10
5	515	10
6	2184	10
done	5001	10
0	7	9
1	15	7
2	32	7
3	69	7
4	152	7
5	364	7
6	1347	7
7	4833	7
done	5000	7
0	8	10
1	14	10
2	23	10
3	57	10
4	151	10
5	416	10
6	1814	10
done	5000	10
0	7	7
1	11	7
2	18	7
3	43	7
4	104	7
5	276	7
6	1132	7
done	5000	7
0	6	6
1	12	4
2	21	4
3	39	4
4	81	4
5	177	4
6	622	4
7	2348	4
done	5000	4
0	7	9
1	15	9
2	24	9
3	59	9
4	143	9
5	442	9
6	1684	9
done	5001	9
0	6	6
1	12	6
2	19	6
3	45	6
4	102	6
5	270	6
6	820	6
7	2563	6
done	5000	6
0	4	5
1	11	3
2	18	1
3	24	1
4	34	1
5	56	1
6	117	1
7	326	1
8	1270	1
done	5000	1
0	3	3
1	10	1
2	15	1
3	21	1
4	31	1
5	55	1
6	114	1
7	324	1
8	1255	1
done	5000	1
0	3	3
1	7	3
2	12	3
3	30	3
4	72	3
5	183	3
6	568	3
7	1980	3
done	5001	3
0	7	9
1	11	9
2	18	9
3	43	9
4	104	9
5	276	9
6	1132	9
done	5000	9
0	6	6
1	10	6
2	17	6
3	42	6
4	105	6
5	272	6
6	1124	6
done	5000	6
0	6	6
1	10	6
2	17	6
3	42	6
4	105	6
5	272	6
6	1124	6
done	5000	6
0	6	6
1	10	6
2	17	6
3	42	6
4	105	6
5	272	6
6	1124	6
done	5000	6
0	5	5
1	11	1
2	16	1
3	27	1
4	40	1
5	63	1
6	96	1
7	140	1
8	197	1
9	263	1
10	334	1
11	417	1
12	507	1
13	610	1
14	718	1
15	835	1
16	961	1
17	1094	1
18	1241	1
19	1396	1
20	1557	1
21	1726	1
22	1910	1
23	2101	1
24	2304	1
25	2511	1
26	2731	1
27	2957	1
28	3190	1
29	3432	1
30	3708	1
31	3993	1
32	4261	1
33	4538	1
34	4826	1
done	5001	1
0	5	5
1	9	5
2	16	5
3	41	5
4	102	5
5	270	5
6	1122	5
done	5000	5
0	6	6
1	12	6
2	24	6
3	57	6
4	151	6
5	468	6
6	2176	6
done	5000	6
0	6	6
1	10	6
2	19	6
3	49	6
4	127	6
5	354	6
6	1455	6
done	5001	6
0	7	13
1	11	13
2	18	13
3	43	13
4	104	13
5	274	13
6	1135	13
done	5000	13
0	6	6
1	10	6
2	17	6
3	42	6
4	103	6
5	268	6
6	1128	6
done	5000	6
0	7	17
1	14	13
2	39	7
3	101	7
4	278	7
5	1082	7
done	5000	7
0	6	6
1	10	6
2	18	6
3	43	6
4	104	6
5	274	6
6	1133	6
done	5000	6
0	6	6
1	10	6
2	18	6
3	43	6
4	104	6
5	274	6
6	1133	6
done	5000	6
0	7	7
1	12	7
2	25	7
3	54	7
4	137	7
5	382	7
6	1586	7
done	5001	7
0	7	7
1	12	7
2	25	7
3	54	7
4	137	7
5	382	7
6	1586	7
done	5001	7
0	7	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	7	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	8	13
1	13	13
2	20	13
3	44	13
4	103	13
5	262	13
6	872	13
7	3264	13
done	5000	13
0	7	8
1	12	8
2	17	8
3	35	8
4	75	8
5	184	8
6	562	8
7	2185	8
done	5000	8
0	10	15
1	21	15
2	43	15
3	108	15
4	328	15
5	959	15
6	3871	15
done	5000	15
0	9	12
1	16	12
2	27	12
3	65	12
4	183	12
5	518	12
6	2180	12
done	5000	12
0	8	11
1	17	9
2	34	9
3	71	9
4	154	9
5	375	9
6	1360	9
7	4806	9
done	5000	9
0	9	12
1	16	12
2	25	12
3	59	12
4	153	12
5	416	12
6	1804	12
done	5000	12
0	8	9
1	13	9
2	20	9
3	45	9
4	106	9
5	275	9
6	1128	9
done	5000	9
0	7	8
1	14	6
2	23	6
3	41	6
4	83	6
5	180	6
6	621	6
7	2342	6
done	5000	6
0	9	11
1	18	11
2	27	11
3	62	11
4	146	11
5	447	11
6	1683	11
done	5000	11
0	8	8
1	15	8
2	22	8
3	48	8
4	103	8
5	272	8
6	825	8
7	2539	8
done	5000	8
0	6	7
1	14	5
2	21	3
3	32	3
4	56	3
5	122	3
6	338	3
7	1278	3
done	5000	3
0	5	5
1	13	3
2	20	3
3	31	3
4	53	3
5	117	3
6	322	3
7	1262	3
done	5000	3
0	4	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	556	5
7	1969	5
done	5001	5
0	8	13
1	13	13
2	20	13
3	45	13
4	106	13
5	275	13
6	1128	13
done	5000	13
0	7	8
1	12	8
2	19	8
3	44	8
4	105	8
5	269	8
6	1124	8
done	5000	8
0	7	8
1	12	8
2	19	8
3	44	8
4	105	8
5	269	8
6	1124	8
done	5000	8
0	7	8
1	12	8
2	19	8
3	44	8
4	105	8
5	269	8
6	1124	8
done	5000	8
0	5	5
1	11	1
2	16	1
3	27	1
4	40	1
5	63	1
6	96	1
7	140	1
8	197	1
9	263	1
10	334	1
11	417	1
12	507	1
13	610	1
14	718	1
15	835	1
16	961	1
17	1094	1
18	1241	1
19	1396	1
20	1557	1
21	1726	1
22	1910	1
23	2101	1
24	2304	1
25	2511	1
26	2731	1
27	2957	1
28	3190	1
29	3432	1
30	3708	1
31	3993	1
32	4261	1
33	4538	1
34	4826	1
done	5001	1
0	6	7
1	11	7
2	18	7
3	43	7
4	104	7
5	275	7
6	1132	7
done	5000	7
0	5	5
1	11	1
2	16	1
3	27	1
4	40	1
5	63	1
6	96	1
7	140	1
8	197	1
9	263	1
10	334	1
11	417	1
12	507	1
13	610	1
14	718	1
15	835	1
16	961	1
17	1094	1
18	1241	1
19	1396	1
20	1557	1
21	1726	1
22	1910	1
23	2101	1
24	2304	1
25	2511	1
26	2731	1
27	2957	1
28	3190	1
29	3432	1
30	3708	1
31	3993	1
32	4261	1
33	4538	1
34	4826	1
done	5001	1
0	6	7
1	11	7
2	18	7
3	43	7
4	104	7
5	275	7
6	1132	7
done	5000	7
0	7	8
1	14	8
2	26	8
3	59	8
4	153	8
5	471	8
6	2193	8
done	5000	8
0	7	8
1	12	8
2	21	8
3	51	8
4	129	8
5	355	8
6	1455	8
done	5000	8
0	8	17
1	13	17
2	20	17
3	45	17
4	106	17
5	276	17
6	1131	17
done	5000	17
0	7	8
1	12	8
2	19	8
3	44	8
4	107	8
5	271	8
6	1129	8
done	5000	8
0	8	23
1	16	17
2	41	9
3	101	9
4	282	9
5	1081	9
done	5000	9
0	7	8
1	12	8
2	20	8
3	45	8
4	106	8
5	276	8
6	1129	8
done	5001	8
0	7	8
1	12	8
2	20	8
3	45	8
4	106	8
5	276	8
6	1129	8
done	5001	8
0	8	9
1	14	9
2	27	9
3	56	9
4	139	9
5	377	9
6	1592	9
done	5001	9
0	8	9
1	14	9
2	27	9
3	56	9
4	139	9
5	377	9
6	1592	9
done	5001	9
0	15	18
1	29	17
2	55	15
3	91	15
4	181	15
5	413	11
6	1191	11
done	5001	11
0	25	41
1	69	37
2	196	27
3	528	23
4	1873	21
done	5001	21
0	38	74
1	100	67
2	274	65
3	1124	7
4	4393	5
done	5000	5
0	10	10
1	18	9
2	35	7
3	55	7
4	94	7
5	189	5
6	440	5
7	1539	5
done	5000	5
0	28	55
1	79	45
2	259	27
3	818	21
4	2116	17
done	5001	17
0	29	55
1	77	53
2	242	53
3	961	46
4	3902	40
done	5001	40
0	6	7
1	11	7
2	20	7
3	34	7
4	67	7
5	149	5
6	363	5
7	1396	5
done	5000	5
0	17	25
1	41	23
2	98	15
3	180	14
4	323	13
5	655	12
6	1287	12
7	2328	12
8	2686	12
9	2865	12
10	3902	12
done	5001	12
0	19	26
1	44	25
2	99	23
3	179	21
4	328	19
5	820	16
6	2545	12
done	5000	12

prune214.0ms

Filtered

71 candidates to 88 candidates (-23.9%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	82	6	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	83	6	89

Merged error: 19.7b

Counts

89 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow (+ x 1.0) (/ 1.0 n))
0.0b	(pow x (/ 1.0 n))
2.2b	(log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
2.2b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

46×	`add-sqr-sqrt`
38×	`*-un-lft-identity`
27×	`unpow-prod-down`
26×	`pow-unpow`
22×	`add-cube-cbrt`
18×	`times-frac` `difference-of-squares`
16×	`log-pow`
15×	`exp-prod`
14×	`sqr-pow`
7×	`pow1`
6×	`add-exp-log` `distribute-lft-out--` `add-log-exp`
5×	`log-prod`
4×	`add-cbrt-cube`
3×	`distribute-lft-out`
2×	`pow-to-exp` `sub-neg` `pow-pow` `exp-sum` `pow-exp` `div-inv`
1×	`log-div` `flip3--` `exp-diff` `diff-log` `rem-log-exp` `flip--`

Counts

4 → 109

Calls

4 calls:

6.0ms	(pow (+ x 1.0) (/ 1.0 n))
4.0ms	(pow x (/ 1.0 n))
12.0ms	(log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
11.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

series129.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(pow (+ x 1.0) (/ 1.0 n))
14.0ms	(pow x (/ 1.0 n))
50.0ms	(log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
45.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

simplify12.4min

Counts

121 → 121

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	15
1	19	14
2	38	14
3	96	14
4	267	14
5	894	14
6	4358	14
done	5000	14
0	9	14
1	18	14
2	35	14
3	85	14
4	216	14
5	677	14
6	3118	14
done	5001	14
0	9	14
1	21	14
2	44	14
3	109	14
4	304	14
5	1041	14
done	5001	14
0	10	29
1	19	29
2	36	29
3	83	29
4	210	29
5	654	29
6	3060	29
done	5000	29
0	9	14
1	18	14
2	35	14
3	82	14
4	209	14
5	655	14
6	3044	14
done	5000	14
0	10	41
1	20	41
2	51	15
3	188	15
4	1006	15
done	5000	15
0	9	14
1	18	14
2	35	14
3	82	14
4	209	14
5	655	14
6	3044	14
done	5000	14
0	9	14
1	18	14
2	35	14
3	82	14
4	209	14
5	655	14
6	3044	14
done	5000	14
0	11	17
1	32	17
2	91	17
3	279	17
4	1005	17
5	4227	17
done	5000	17
0	12	41
1	29	29
2	77	29
3	203	29
4	615	29
5	2616	29
done	5000	29
0	6	6
1	10	6
2	20	6
3	52	6
4	134	6
5	384	6
6	1540	6
done	5001	6
0	10	27
1	25	17
2	61	17
3	163	17
4	539	17
5	2526	17
done	5000	17
0	8	13
1	16	13
2	26	13
3	60	13
4	142	13
5	371	13
6	1430	13
done	5000	13
0	10	15
1	18	15
2	28	15
3	62	15
4	146	15
5	380	15
6	1442	15
done	5000	15
0	10	15
1	19	15
2	36	15
3	83	15
4	212	15
5	662	15
6	3059	15
done	5001	15
0	10	15
1	18	15
2	29	15
3	63	15
4	145	15
5	381	15
6	1445	15
done	5001	15
0	10	15
1	19	15
2	31	15
3	65	15
4	147	15
5	382	15
6	1441	15
done	5000	15
0	11	16
1	20	16
2	37	16
3	77	16
4	187	16
5	515	16
6	2202	16
done	5000	16
0	11	16
1	21	16
2	45	16
3	98	16
4	256	16
5	794	16
6	3808	16
done	5000	16
0	10	15
1	18	15
2	29	15
3	63	15
4	145	15
5	381	15
6	1448	15
done	5001	15
0	10	15
1	19	15
2	34	15
3	75	15
4	180	15
5	487	15
6	1851	15
done	5000	15
0	10	15
1	18	15
2	30	15
3	64	15
4	148	15
5	377	15
6	1447	15
done	5000	15
0	10	15
1	19	15
2	32	15
3	66	15
4	148	15
5	381	15
6	1450	15
done	5001	15
0	11	16
1	20	16
2	38	16
3	78	16
4	186	16
5	510	16
6	2202	16
done	5001	16
0	11	16
1	21	16
2	43	16
3	90	16
4	222	16
5	625	16
6	2625	16
done	5000	16
0	11	16
1	20	16
2	37	16
3	77	16
4	187	16
5	515	16
6	2205	16
done	5000	16
0	11	16
1	21	16
2	45	16
3	98	16
4	256	16
5	792	16
6	3809	16
done	5000	16
0	11	16
1	20	16
2	38	16
3	78	16
4	186	16
5	507	16
6	2212	16
done	5000	16
0	11	16
1	21	16
2	40	16
3	80	16
4	192	16
5	515	16
6	2202	16
done	5000	16
0	10	17
1	19	17
2	35	17
3	73	17
4	181	17
5	478	17
6	1886	17
done	5000	17
0	10	17
1	20	17
2	43	17
3	94	17
4	248	17
5	768	17
6	3489	17
done	5000	17
0	8	13
1	17	13
2	34	13
3	81	13
4	209	13
5	656	13
6	3057	13
done	5000	13
0	8	13
1	17	13
2	34	13
3	81	13
4	209	13
5	656	13
6	3057	13
done	5000	13
0	8	13
1	17	13
2	34	13
3	81	13
4	209	13
5	656	13
6	3057	13
done	5000	13
0	6	6
1	10	6
2	20	6
3	52	6
4	134	6
5	384	6
6	1540	6
done	5001	6
0	8	9
1	13	7
2	22	7
3	54	7
4	139	7
5	389	7
6	1644	7
done	5000	7
0	8	8
1	15	6
2	33	6
3	76	6
4	206	6
5	632	6
6	2495	6
done	5000	6
0	8	9
1	13	7
2	22	7
3	54	7
4	139	7
5	389	7
6	1644	7
done	5000	7
0	8	8
1	15	6
2	33	6
3	76	6
4	206	6
5	632	6
6	2495	6
done	5000	6
0	12	32
1	26	32
2	50	18
3	116	18
4	312	18
5	1046	18
done	5001	18
0	11	16
1	23	16
2	46	16
3	111	16
4	310	16
5	1044	16
done	5000	16
0	11	16
1	23	16
2	46	16
3	111	16
4	310	16
5	1046	16
done	5000	16
0	11	16
1	23	16
2	46	16
3	111	16
4	310	16
5	1046	16
done	5000	16
0	2	2
1	4	1
done	4	1
0	10	15
1	22	13
2	48	13
3	121	13
4	338	13
5	1201	13
done	5000	13
0	8	9
1	13	7
2	22	7
3	54	7
4	139	7
5	389	7
6	1644	7
done	5000	7
0	7	7
1	11	5
2	20	5
3	52	5
4	135	5
5	389	5
6	1643	5
done	5000	5
0	10	15
1	22	13
2	48	13
3	121	13
4	338	13
5	1201	13
done	5000	13
0	12	31
1	23	29
2	45	29
3	100	29
4	252	29
5	762	29
6	3346	29
done	5000	29
0	11	16
1	20	14
2	37	14
3	84	14
4	213	14
5	660	14
6	3064	14
done	5000	14
0	3	3
1	6	1
done	6	1
0	12	17
1	23	15
2	41	15
3	90	15
4	228	15
5	680	15
6	2948	15
done	5000	15
0	12	17
1	23	15
2	40	15
3	82	15
4	192	15
5	521	15
6	2040	15
done	5001	15
0	13	18
1	25	16
2	50	16
3	105	16
4	271	16
5	810	16
6	3685	16
done	5000	16
0	12	17
1	23	15
2	40	15
3	82	15
4	190	15
5	521	15
6	2047	15
done	5000	15
0	12	17
1	23	15
2	39	15
3	74	15
4	156	15
5	390	15
6	1444	15
done	5000	15
0	13	18
1	25	16
2	49	16
3	97	16
4	233	16
5	657	16
6	2806	16
done	5000	16
0	13	18
1	25	16
2	50	16
3	105	16
4	271	16
5	808	16
6	3671	16
done	5000	16
0	13	18
1	25	16
2	49	16
3	97	16
4	233	16
5	658	16
6	2814	16
done	5000	16
0	12	19
1	24	17
2	48	17
3	101	17
4	263	17
5	784	17
6	3371	17
done	5001	17
0	7	7
1	13	1
2	19	1
3	30	1
4	43	1
5	66	1
6	97	1
7	140	1
8	196	1
9	263	1
10	333	1
11	416	1
12	506	1
13	607	1
14	719	1
15	837	1
16	963	1
17	1109	1
18	1254	1
19	1419	1
20	1586	1
21	1758	1
22	1938	1
23	2144	1
24	2363	1
25	2575	1
26	2789	1
27	3014	1
28	3250	1
29	3501	1
30	3754	1
31	4023	1
32	4294	1
33	4571	1
34	4859	1
done	5000	1
0	7	7
1	13	1
2	19	1
3	30	1
4	43	1
5	66	1
6	97	1
7	140	1
8	196	1
9	263	1
10	333	1
11	416	1
12	506	1
13	607	1
14	719	1
15	837	1
16	963	1
17	1109	1
18	1254	1
19	1419	1
20	1586	1
21	1758	1
22	1938	1
23	2144	1
24	2363	1
25	2575	1
26	2789	1
27	3014	1
28	3250	1
29	3501	1
30	3754	1
31	4023	1
32	4294	1
33	4571	1
34	4859	1
done	5000	1
0	3	3
1	6	1
done	6	1
0	11	16
1	23	14
2	49	14
3	125	14
4	346	14
5	1215	14
done	5000	14
0	11	16
1	23	14
2	49	14
3	122	14
4	339	14
5	1202	14
done	5000	14
0	12	33
1	24	29
2	50	29
3	123	29
4	342	29
5	1199	29
done	5000	29
0	11	16
1	23	14
2	49	14
3	122	14
4	339	14
5	1202	14
done	5000	14
0	12	47
1	25	41
2	65	15
3	228	15
4	1208	15
done	5001	15
0	11	16
1	23	14
2	49	14
3	122	14
4	339	14
5	1202	14
done	5000	14
0	11	16
1	23	14
2	49	14
3	122	14
4	339	14
5	1202	14
done	5000	14
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
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	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	7	11
1	11	11
2	18	11
3	42	11
4	99	11
5	263	11
6	895	11
7	3356	11
done	5000	11
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	2195	6
done	5000	6
0	9	13
1	19	13
2	41	13
3	106	13
4	324	13
5	958	13
6	3911	13
done	5000	13
0	8	10
1	14	10
2	25	10
3	63	10
4	179	10
5	515	10
6	2184	10
done	5001	10
0	7	9
1	15	7
2	32	7
3	69	7
4	152	7
5	364	7
6	1347	7
7	4833	7
done	5000	7
0	8	10
1	14	10
2	23	10
3	57	10
4	151	10
5	416	10
6	1814	10
done	5000	10
0	7	7
1	11	7
2	18	7
3	43	7
4	104	7
5	276	7
6	1132	7
done	5000	7
0	6	6
1	12	4
2	21	4
3	39	4
4	81	4
5	177	4
6	622	4
7	2348	4
done	5000	4
0	7	9
1	15	9
2	24	9
3	59	9
4	143	9
5	442	9
6	1684	9
done	5001	9
0	6	6
1	12	6
2	19	6
3	45	6
4	102	6
5	270	6
6	820	6
7	2563	6
done	5000	6
0	4	5
1	11	3
2	18	1
3	24	1
4	34	1
5	56	1
6	117	1
7	326	1
8	1270	1
done	5000	1
0	3	3
1	10	1
2	15	1
3	21	1
4	31	1
5	55	1
6	114	1
7	324	1
8	1255	1
done	5000	1
0	3	3
1	7	3
2	12	3
3	30	3
4	72	3
5	183	3
6	568	3
7	1980	3
done	5001	3
0	7	9
1	11	9
2	18	9
3	43	9
4	104	9
5	276	9
6	1132	9
done	5000	9
0	6	6
1	10	6
2	17	6
3	42	6
4	105	6
5	272	6
6	1124	6
done	5000	6
0	6	6
1	10	6
2	17	6
3	42	6
4	105	6
5	272	6
6	1124	6
done	5000	6
0	6	6
1	10	6
2	17	6
3	42	6
4	105	6
5	272	6
6	1124	6
done	5000	6
0	5	5
1	11	1
2	16	1
3	27	1
4	40	1
5	63	1
6	96	1
7	140	1
8	197	1
9	263	1
10	334	1
11	417	1
12	507	1
13	610	1
14	718	1
15	835	1
16	961	1
17	1094	1
18	1241	1
19	1396	1
20	1557	1
21	1726	1
22	1910	1
23	2101	1
24	2304	1
25	2511	1
26	2731	1
27	2957	1
28	3190	1
29	3432	1
30	3708	1
31	3993	1
32	4261	1
33	4538	1
34	4826	1
done	5001	1
0	5	5
1	9	5
2	16	5
3	41	5
4	102	5
5	270	5
6	1122	5
done	5000	5
0	6	6
1	12	6
2	24	6
3	57	6
4	151	6
5	468	6
6	2176	6
done	5000	6
0	6	6
1	10	6
2	19	6
3	49	6
4	127	6
5	354	6
6	1455	6
done	5001	6
0	7	13
1	11	13
2	18	13
3	43	13
4	104	13
5	274	13
6	1135	13
done	5000	13
0	6	6
1	10	6
2	17	6
3	42	6
4	103	6
5	268	6
6	1128	6
done	5000	6
0	7	17
1	14	13
2	39	7
3	101	7
4	278	7
5	1082	7
done	5000	7
0	6	6
1	10	6
2	18	6
3	43	6
4	104	6
5	274	6
6	1133	6
done	5000	6
0	6	6
1	10	6
2	18	6
3	43	6
4	104	6
5	274	6
6	1133	6
done	5000	6
0	7	7
1	12	7
2	25	7
3	54	7
4	137	7
5	382	7
6	1586	7
done	5001	7
0	7	7
1	12	7
2	25	7
3	54	7
4	137	7
5	382	7
6	1586	7
done	5001	7
0	7	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	7	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	8	13
1	13	13
2	20	13
3	44	13
4	103	13
5	262	13
6	872	13
7	3264	13
done	5000	13
0	7	8
1	12	8
2	17	8
3	35	8
4	75	8
5	184	8
6	562	8
7	2185	8
done	5000	8
0	10	15
1	21	15
2	43	15
3	108	15
4	328	15
5	959	15
6	3871	15
done	5000	15
0	9	12
1	16	12
2	27	12
3	65	12
4	183	12
5	518	12
6	2180	12
done	5000	12
0	8	11
1	17	9
2	34	9
3	71	9
4	154	9
5	375	9
6	1360	9
7	4806	9
done	5000	9
0	9	12
1	16	12
2	25	12
3	59	12
4	153	12
5	416	12
6	1804	12
done	5000	12
0	8	9
1	13	9
2	20	9
3	45	9
4	106	9
5	275	9
6	1128	9
done	5000	9
0	7	8
1	14	6
2	23	6
3	41	6
4	83	6
5	180	6
6	621	6
7	2342	6
done	5000	6
0	9	11
1	18	11
2	27	11
3	62	11
4	146	11
5	447	11
6	1683	11
done	5000	11
0	8	8
1	15	8
2	22	8
3	48	8
4	103	8
5	272	8
6	825	8
7	2539	8
done	5000	8
0	6	7
1	14	5
2	21	3
3	32	3
4	56	3
5	122	3
6	338	3
7	1278	3
done	5000	3
0	5	5
1	13	3
2	20	3
3	31	3
4	53	3
5	117	3
6	322	3
7	1262	3
done	5000	3
0	4	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	556	5
7	1969	5
done	5001	5
0	8	13
1	13	13
2	20	13
3	45	13
4	106	13
5	275	13
6	1128	13
done	5000	13
0	7	8
1	12	8
2	19	8
3	44	8
4	105	8
5	269	8
6	1124	8
done	5000	8
0	7	8
1	12	8
2	19	8
3	44	8
4	105	8
5	269	8
6	1124	8
done	5000	8
0	7	8
1	12	8
2	19	8
3	44	8
4	105	8
5	269	8
6	1124	8
done	5000	8
0	5	5
1	11	1
2	16	1
3	27	1
4	40	1
5	63	1
6	96	1
7	140	1
8	197	1
9	263	1
10	334	1
11	417	1
12	507	1
13	610	1
14	718	1
15	835	1
16	961	1
17	1094	1
18	1241	1
19	1396	1
20	1557	1
21	1726	1
22	1910	1
23	2101	1
24	2304	1
25	2511	1
26	2731	1
27	2957	1
28	3190	1
29	3432	1
30	3708	1
31	3993	1
32	4261	1
33	4538	1
34	4826	1
done	5001	1
0	6	7
1	11	7
2	18	7
3	43	7
4	104	7
5	275	7
6	1132	7
done	5000	7
0	5	5
1	11	1
2	16	1
3	27	1
4	40	1
5	63	1
6	96	1
7	140	1
8	197	1
9	263	1
10	334	1
11	417	1
12	507	1
13	610	1
14	718	1
15	835	1
16	961	1
17	1094	1
18	1241	1
19	1396	1
20	1557	1
21	1726	1
22	1910	1
23	2101	1
24	2304	1
25	2511	1
26	2731	1
27	2957	1
28	3190	1
29	3432	1
30	3708	1
31	3993	1
32	4261	1
33	4538	1
34	4826	1
done	5001	1
0	6	7
1	11	7
2	18	7
3	43	7
4	104	7
5	275	7
6	1132	7
done	5000	7
0	7	8
1	14	8
2	26	8
3	59	8
4	153	8
5	471	8
6	2193	8
done	5000	8
0	7	8
1	12	8
2	21	8
3	51	8
4	129	8
5	355	8
6	1455	8
done	5000	8
0	8	17
1	13	17
2	20	17
3	45	17
4	106	17
5	276	17
6	1131	17
done	5000	17
0	7	8
1	12	8
2	19	8
3	44	8
4	107	8
5	271	8
6	1129	8
done	5000	8
0	8	23
1	16	17
2	41	9
3	101	9
4	282	9
5	1081	9
done	5000	9
0	7	8
1	12	8
2	20	8
3	45	8
4	106	8
5	276	8
6	1129	8
done	5001	8
0	7	8
1	12	8
2	20	8
3	45	8
4	106	8
5	276	8
6	1129	8
done	5001	8
0	8	9
1	14	9
2	27	9
3	56	9
4	139	9
5	377	9
6	1592	9
done	5001	9
0	8	9
1	14	9
2	27	9
3	56	9
4	139	9
5	377	9
6	1592	9
done	5001	9
0	15	18
1	29	17
2	55	15
3	91	15
4	181	15
5	413	11
6	1191	11
done	5001	11
0	25	41
1	69	37
2	196	27
3	528	23
4	1873	21
done	5001	21
0	38	74
1	100	67
2	274	65
3	1124	7
4	4393	5
done	5000	5
0	15	18
1	29	17
2	55	15
3	91	15
4	181	15
5	413	11
6	1191	11
done	5001	11
0	25	41
1	69	37
2	196	27
3	528	23
4	1873	21
done	5001	21
0	38	74
1	100	67
2	274	65
3	1124	7
4	4393	5
done	5000	5
0	10	10
1	18	9
2	35	7
3	55	7
4	94	7
5	189	5
6	440	5
7	1539	5
done	5000	5
0	28	55
1	79	45
2	259	27
3	818	21
4	2116	17
done	5001	17
0	29	55
1	77	53
2	242	53
3	961	46
4	3902	40
done	5001	40
0	6	7
1	11	7
2	20	7
3	34	7
4	67	7
5	149	5
6	363	5
7	1396	5
done	5000	5
0	17	25
1	41	23
2	98	15
3	180	14
4	323	13
5	655	12
6	1287	12
7	2328	12
8	2686	12
9	2865	12
10	3902	12
done	5001	12
0	19	26
1	44	25
2	99	23
3	179	21
4	328	19
5	820	16
6	2545	12
done	5000	12

prune317.0ms

Filtered

95 candidates to 121 candidates (-27.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	119	2	121
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	120	7	127

Merged error: 19.7b

Counts

127 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

2.2b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
2.2b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
2.2b	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
2.2b	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-sqr-sqrt`
22×	`*-un-lft-identity`
20×	`unpow-prod-down`
18×	`difference-of-squares`
16×	`log-prod`
12×	`sqr-pow`
10×	`cbrt-prod`
8×	`add-cube-cbrt` `add-log-exp`
6×	`pow1` `add-exp-log` `distribute-lft-out--`
4×	`sub-neg` `exp-sum` `log-pow` `add-cbrt-cube`
2×	`log-div` `cbrt-div` `flip3--` `exp-diff` `pow1/3` `diff-log` `rem-log-exp` `flip--` `distribute-lft-out`

Counts

4 → 86

Calls

4 calls:

11.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
11.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
12.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
12.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

series305.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
49.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
105.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
106.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

simplify4.6min

Counts

98 → 98

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	14	10
2	23	10
3	53	10
4	131	10
5	352	10
6	1448	10
done	5000	10
0	9	9
1	16	9
2	30	9
3	70	9
4	180	9
5	536	9
6	2046	9
done	5000	9
0	9	10
1	14	10
2	23	10
3	53	10
4	131	10
5	352	10
6	1448	10
done	5000	10
0	9	9
1	16	9
2	30	9
3	70	9
4	180	9
5	536	9
6	2046	9
done	5000	9
0	13	33
1	25	33
2	48	33
3	113	33
4	311	33
5	1040	33
done	5000	33
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1042	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1042	17
done	5000	17
0	3	3
1	5	2
done	5	2
0	11	16
1	23	16
2	46	16
3	111	16
4	310	16
5	1044	16
done	5000	16
0	13	34
1	27	34
2	51	19
3	117	19
4	313	19
5	1045	19
done	5001	19
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	2	2
1	4	1
done	4	1
0	11	16
1	23	16
2	46	16
3	111	16
4	310	16
5	1044	16
done	5000	16
0	9	10
1	14	10
2	23	10
3	53	10
4	131	10
5	352	10
6	1448	10
done	5000	10
0	8	8
1	12	8
2	21	8
3	51	8
4	127	8
5	356	8
6	1458	8
done	5000	8
0	10	15
1	22	13
2	48	13
3	121	13
4	338	13
5	1201	13
done	5000	13
0	11	16
1	23	16
2	46	16
3	111	16
4	310	16
5	1044	16
done	5000	16
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	15
2	47	15
3	112	15
4	308	15
5	1040	15
done	5001	15
0	13	35
1	25	35
2	48	35
3	113	35
4	311	35
5	1040	35
done	5000	35
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	13	50
1	26	50
2	51	18
3	120	18
4	319	18
5	1053	18
done	5000	18
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	9	10
1	14	10
2	23	10
3	53	10
4	131	10
5	352	10
6	1448	10
done	5000	10
0	9	9
1	16	9
2	30	9
3	70	9
4	180	9
5	536	9
6	2046	9
done	5000	9
0	9	10
1	14	10
2	23	10
3	53	10
4	131	10
5	352	10
6	1448	10
done	5000	10
0	9	9
1	16	9
2	30	9
3	70	9
4	180	9
5	536	9
6	2046	9
done	5000	9
0	13	33
1	25	33
2	48	33
3	113	33
4	311	33
5	1040	33
done	5000	33
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1042	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1042	17
done	5000	17
0	3	3
1	5	2
done	5	2
0	11	16
1	23	16
2	46	16
3	111	16
4	310	16
5	1044	16
done	5000	16
0	13	34
1	27	34
2	51	19
3	117	19
4	313	19
5	1045	19
done	5001	19
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	2	2
1	4	1
done	4	1
0	11	16
1	23	16
2	46	16
3	111	16
4	310	16
5	1044	16
done	5000	16
0	9	10
1	14	10
2	23	10
3	53	10
4	131	10
5	352	10
6	1448	10
done	5000	10
0	8	8
1	12	8
2	21	8
3	51	8
4	127	8
5	356	8
6	1458	8
done	5000	8
0	10	15
1	22	13
2	48	13
3	121	13
4	338	13
5	1201	13
done	5000	13
0	11	16
1	23	16
2	46	16
3	111	16
4	310	16
5	1044	16
done	5000	16
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	15
2	47	15
3	112	15
4	308	15
5	1040	15
done	5001	15
0	13	35
1	25	35
2	48	35
3	113	35
4	311	35
5	1040	35
done	5000	35
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	13	50
1	26	50
2	51	18
3	120	18
4	319	18
5	1053	18
done	5000	18
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	10	15
1	19	14
2	38	14
3	96	14
4	267	14
5	894	14
6	4358	14
done	5000	14
0	9	14
1	18	14
2	35	14
3	85	14
4	216	14
5	677	14
6	3118	14
done	5001	14
0	9	14
1	21	14
2	44	14
3	109	14
4	304	14
5	1041	14
done	5001	14
0	10	29
1	19	29
2	36	29
3	83	29
4	210	29
5	654	29
6	3060	29
done	5000	29
0	9	14
1	18	14
2	35	14
3	82	14
4	209	14
5	655	14
6	3044	14
done	5000	14
0	10	41
1	20	41
2	51	15
3	188	15
4	1006	15
done	5000	15
0	9	14
1	18	14
2	35	14
3	82	14
4	209	14
5	655	14
6	3044	14
done	5000	14
0	9	14
1	18	14
2	35	14
3	82	14
4	209	14
5	655	14
6	3044	14
done	5000	14
0	11	17
1	32	17
2	91	17
3	279	17
4	1005	17
5	4227	17
done	5000	17
0	12	41
1	29	29
2	77	29
3	203	29
4	615	29
5	2616	29
done	5000	29
0	6	6
1	10	6
2	20	6
3	52	6
4	134	6
5	384	6
6	1540	6
done	5001	6
0	10	27
1	25	17
2	61	17
3	163	17
4	539	17
5	2526	17
done	5000	17
0	8	13
1	16	13
2	26	13
3	60	13
4	142	13
5	371	13
6	1430	13
done	5000	13
0	10	15
1	18	15
2	28	15
3	62	15
4	146	15
5	380	15
6	1442	15
done	5000	15
0	10	15
1	19	15
2	36	15
3	83	15
4	212	15
5	662	15
6	3059	15
done	5001	15
0	10	15
1	18	15
2	29	15
3	63	15
4	145	15
5	381	15
6	1445	15
done	5001	15
0	10	15
1	19	15
2	31	15
3	65	15
4	147	15
5	382	15
6	1441	15
done	5000	15
0	11	16
1	20	16
2	37	16
3	77	16
4	187	16
5	515	16
6	2202	16
done	5000	16
0	11	16
1	21	16
2	45	16
3	98	16
4	256	16
5	794	16
6	3808	16
done	5000	16
0	10	15
1	18	15
2	29	15
3	63	15
4	145	15
5	381	15
6	1448	15
done	5001	15
0	10	15
1	19	15
2	34	15
3	75	15
4	180	15
5	487	15
6	1851	15
done	5000	15
0	10	15
1	18	15
2	30	15
3	64	15
4	148	15
5	377	15
6	1447	15
done	5000	15
0	10	15
1	19	15
2	32	15
3	66	15
4	148	15
5	381	15
6	1450	15
done	5001	15
0	11	16
1	20	16
2	38	16
3	78	16
4	186	16
5	510	16
6	2202	16
done	5001	16
0	11	16
1	21	16
2	43	16
3	90	16
4	222	16
5	625	16
6	2625	16
done	5000	16
0	11	16
1	20	16
2	37	16
3	77	16
4	187	16
5	515	16
6	2205	16
done	5000	16
0	11	16
1	21	16
2	45	16
3	98	16
4	256	16
5	792	16
6	3809	16
done	5000	16
0	11	16
1	20	16
2	38	16
3	78	16
4	186	16
5	507	16
6	2212	16
done	5000	16
0	11	16
1	21	16
2	40	16
3	80	16
4	192	16
5	515	16
6	2202	16
done	5000	16
0	10	17
1	19	17
2	35	17
3	73	17
4	181	17
5	478	17
6	1886	17
done	5000	17
0	10	17
1	20	17
2	43	17
3	94	17
4	248	17
5	768	17
6	3489	17
done	5000	17
0	8	13
1	17	13
2	34	13
3	81	13
4	209	13
5	656	13
6	3057	13
done	5000	13
0	8	13
1	17	13
2	34	13
3	81	13
4	209	13
5	656	13
6	3057	13
done	5000	13
0	8	13
1	17	13
2	34	13
3	81	13
4	209	13
5	656	13
6	3057	13
done	5000	13
0	6	6
1	10	6
2	20	6
3	52	6
4	134	6
5	384	6
6	1540	6
done	5001	6
0	10	15
1	19	14
2	38	14
3	96	14
4	267	14
5	894	14
6	4358	14
done	5000	14
0	9	14
1	18	14
2	35	14
3	85	14
4	216	14
5	677	14
6	3118	14
done	5001	14
0	9	14
1	21	14
2	44	14
3	109	14
4	304	14
5	1041	14
done	5001	14
0	10	29
1	19	29
2	36	29
3	83	29
4	210	29
5	654	29
6	3060	29
done	5000	29
0	9	14
1	18	14
2	35	14
3	82	14
4	209	14
5	655	14
6	3044	14
done	5000	14
0	10	41
1	20	41
2	51	15
3	188	15
4	1006	15
done	5000	15
0	9	14
1	18	14
2	35	14
3	82	14
4	209	14
5	655	14
6	3044	14
done	5000	14
0	9	14
1	18	14
2	35	14
3	82	14
4	209	14
5	655	14
6	3044	14
done	5000	14
0	11	17
1	32	17
2	91	17
3	279	17
4	1005	17
5	4227	17
done	5000	17
0	12	41
1	29	29
2	77	29
3	203	29
4	615	29
5	2616	29
done	5000	29
0	6	6
1	10	6
2	20	6
3	52	6
4	134	6
5	384	6
6	1540	6
done	5001	6
0	10	27
1	25	17
2	61	17
3	163	17
4	539	17
5	2526	17
done	5000	17
0	8	13
1	16	13
2	26	13
3	60	13
4	142	13
5	371	13
6	1430	13
done	5000	13
0	10	15
1	18	15
2	28	15
3	62	15
4	146	15
5	380	15
6	1442	15
done	5000	15
0	10	15
1	19	15
2	36	15
3	83	15
4	212	15
5	662	15
6	3059	15
done	5001	15
0	10	15
1	18	15
2	29	15
3	63	15
4	145	15
5	381	15
6	1445	15
done	5001	15
0	10	15
1	19	15
2	31	15
3	65	15
4	147	15
5	382	15
6	1441	15
done	5000	15
0	11	16
1	20	16
2	37	16
3	77	16
4	187	16
5	515	16
6	2202	16
done	5000	16
0	11	16
1	21	16
2	45	16
3	98	16
4	256	16
5	794	16
6	3808	16
done	5000	16
0	10	15
1	18	15
2	29	15
3	63	15
4	145	15
5	381	15
6	1448	15
done	5001	15
0	10	15
1	19	15
2	34	15
3	75	15
4	180	15
5	487	15
6	1851	15
done	5000	15
0	10	15
1	18	15
2	30	15
3	64	15
4	148	15
5	377	15
6	1447	15
done	5000	15
0	10	15
1	19	15
2	32	15
3	66	15
4	148	15
5	381	15
6	1450	15
done	5001	15
0	11	16
1	20	16
2	38	16
3	78	16
4	186	16
5	510	16
6	2202	16
done	5001	16
0	11	16
1	21	16
2	43	16
3	90	16
4	222	16
5	625	16
6	2625	16
done	5000	16
0	11	16
1	20	16
2	37	16
3	77	16
4	187	16
5	515	16
6	2205	16
done	5000	16
0	11	16
1	21	16
2	45	16
3	98	16
4	256	16
5	792	16
6	3809	16
done	5000	16
0	11	16
1	20	16
2	38	16
3	78	16
4	186	16
5	507	16
6	2212	16
done	5000	16
0	11	16
1	21	16
2	40	16
3	80	16
4	192	16
5	515	16
6	2202	16
done	5000	16
0	10	17
1	19	17
2	35	17
3	73	17
4	181	17
5	478	17
6	1886	17
done	5000	17
0	10	17
1	20	17
2	43	17
3	94	17
4	248	17
5	768	17
6	3489	17
done	5000	17
0	8	13
1	17	13
2	34	13
3	81	13
4	209	13
5	656	13
6	3057	13
done	5000	13
0	8	13
1	17	13
2	34	13
3	81	13
4	209	13
5	656	13
6	3057	13
done	5000	13
0	8	13
1	17	13
2	34	13
3	81	13
4	209	13
5	656	13
6	3057	13
done	5000	13
0	6	6
1	10	6
2	20	6
3	52	6
4	134	6
5	384	6
6	1540	6
done	5001	6
0	17	20
1	32	19
2	64	17
3	109	17
4	234	17
5	599	13
6	1953	13
done	5001	13
0	18	22
1	47	19
2	106	13
3	249	13
4	766	13
5	2815	11
done	5001	11
0	38	74
1	100	67
2	274	65
3	1124	7
4	4393	5
done	5000	5
0	17	20
1	32	19
2	64	17
3	109	17
4	234	17
5	599	13
6	1953	13
done	5001	13
0	18	22
1	47	19
2	106	13
3	249	13
4	766	13
5	2815	11
done	5001	11
0	38	74
1	100	67
2	274	65
3	1124	7
4	4393	5
done	5000	5
0	15	18
1	29	17
2	55	15
3	91	15
4	181	15
5	413	11
6	1191	11
done	5001	11
0	25	41
1	69	37
2	196	27
3	528	23
4	1873	21
done	5001	21
0	38	74
1	100	67
2	274	65
3	1124	7
4	4393	5
done	5000	5
0	15	18
1	29	17
2	55	15
3	91	15
4	181	15
5	413	11
6	1191	11
done	5001	11
0	25	41
1	69	37
2	196	27
3	528	23
4	1873	21
done	5001	21
0	38	74
1	100	67
2	274	65
3	1124	7
4	4393	5
done	5000	5

prune477.0ms

Filtered

82 candidates to 98 candidates (-19.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	95	3	98
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	97	8	105

Merged error: 19.6b

Counts

105 → 8

localize19.0ms

Local error

Found 4 expressions with local error:

2.2b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
2.2b	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
2.2b	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
2.2b	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

24×	`log-prod`
22×	`add-sqr-sqrt`
17×	`*-un-lft-identity`
15×	`cbrt-prod`
10×	`add-cube-cbrt` `unpow-prod-down`
9×	`difference-of-squares`
7×	`pow1` `add-exp-log`
6×	`exp-sum` `log-pow` `add-log-exp` `sqr-pow`
4×	`sub-neg` `add-cbrt-cube`
3×	`log-div` `cbrt-div` `exp-diff` `pow1/3` `rem-log-exp` `distribute-lft-out--`
1×	`flip3--` `diff-log` `flip--` `distribute-lft-out`

Counts

4 → 81

Calls

4 calls:

11.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
12.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
15.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
11.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

series359.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
108.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
102.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
104.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

simplify3.6min

Counts

93 → 93

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	14	10
2	23	10
3	53	10
4	131	10
5	352	10
6	1448	10
done	5000	10
0	9	9
1	16	9
2	30	9
3	70	9
4	180	9
5	536	9
6	2046	9
done	5000	9
0	9	10
1	14	10
2	23	10
3	53	10
4	131	10
5	352	10
6	1448	10
done	5000	10
0	9	9
1	16	9
2	30	9
3	70	9
4	180	9
5	536	9
6	2046	9
done	5000	9
0	13	33
1	25	33
2	48	33
3	113	33
4	311	33
5	1040	33
done	5000	33
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1042	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1042	17
done	5000	17
0	3	3
1	5	2
done	5	2
0	11	16
1	23	16
2	46	16
3	111	16
4	310	16
5	1044	16
done	5000	16
0	13	34
1	27	34
2	51	19
3	117	19
4	313	19
5	1045	19
done	5001	19
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	2	2
1	4	1
done	4	1
0	11	16
1	23	16
2	46	16
3	111	16
4	310	16
5	1044	16
done	5000	16
0	9	10
1	14	10
2	23	10
3	53	10
4	131	10
5	352	10
6	1448	10
done	5000	10
0	8	8
1	12	8
2	21	8
3	51	8
4	127	8
5	356	8
6	1458	8
done	5000	8
0	10	15
1	22	13
2	48	13
3	121	13
4	338	13
5	1201	13
done	5000	13
0	11	16
1	23	16
2	46	16
3	111	16
4	310	16
5	1044	16
done	5000	16
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	15
2	47	15
3	112	15
4	308	15
5	1040	15
done	5001	15
0	13	35
1	25	35
2	48	35
3	113	35
4	311	35
5	1040	35
done	5000	35
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	13	50
1	26	50
2	51	18
3	120	18
4	319	18
5	1053	18
done	5000	18
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	9	10
1	14	10
2	23	10
3	53	10
4	131	10
5	352	10
6	1448	10
done	5000	10
0	9	9
1	16	9
2	30	9
3	70	9
4	180	9
5	536	9
6	2046	9
done	5000	9
0	9	10
1	14	10
2	23	10
3	53	10
4	131	10
5	352	10
6	1448	10
done	5000	10
0	9	9
1	16	9
2	30	9
3	70	9
4	180	9
5	536	9
6	2046	9
done	5000	9
0	13	33
1	25	33
2	48	33
3	113	33
4	311	33
5	1040	33
done	5000	33
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1042	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1042	17
done	5000	17
0	3	3
1	5	2
done	5	2
0	11	16
1	23	16
2	46	16
3	111	16
4	310	16
5	1044	16
done	5000	16
0	13	34
1	27	34
2	51	19
3	117	19
4	313	19
5	1045	19
done	5001	19
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	2	2
1	4	1
done	4	1
0	11	16
1	23	16
2	46	16
3	111	16
4	310	16
5	1044	16
done	5000	16
0	9	10
1	14	10
2	23	10
3	53	10
4	131	10
5	352	10
6	1448	10
done	5000	10
0	8	8
1	12	8
2	21	8
3	51	8
4	127	8
5	356	8
6	1458	8
done	5000	8
0	10	15
1	22	13
2	48	13
3	121	13
4	338	13
5	1201	13
done	5000	13
0	11	16
1	23	16
2	46	16
3	111	16
4	310	16
5	1044	16
done	5000	16
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	15
2	47	15
3	112	15
4	308	15
5	1040	15
done	5001	15
0	13	35
1	25	35
2	48	35
3	113	35
4	311	35
5	1040	35
done	5000	35
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	13	50
1	26	50
2	51	18
3	120	18
4	319	18
5	1053	18
done	5000	18
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	9	10
1	14	10
2	23	10
3	53	10
4	131	10
5	352	10
6	1448	10
done	5000	10
0	9	9
1	16	9
2	30	9
3	70	9
4	180	9
5	536	9
6	2046	9
done	5000	9
0	9	10
1	14	10
2	23	10
3	53	10
4	131	10
5	352	10
6	1448	10
done	5000	10
0	9	9
1	16	9
2	30	9
3	70	9
4	180	9
5	536	9
6	2046	9
done	5000	9
0	13	33
1	25	33
2	48	33
3	113	33
4	311	33
5	1040	33
done	5000	33
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1042	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1042	17
done	5000	17
0	3	3
1	5	2
done	5	2
0	11	16
1	23	16
2	46	16
3	111	16
4	310	16
5	1044	16
done	5000	16
0	13	34
1	27	34
2	51	19
3	117	19
4	313	19
5	1045	19
done	5001	19
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	2	2
1	4	1
done	4	1
0	11	16
1	23	16
2	46	16
3	111	16
4	310	16
5	1044	16
done	5000	16
0	9	10
1	14	10
2	23	10
3	53	10
4	131	10
5	352	10
6	1448	10
done	5000	10
0	8	8
1	12	8
2	21	8
3	51	8
4	127	8
5	356	8
6	1458	8
done	5000	8
0	10	15
1	22	13
2	48	13
3	121	13
4	338	13
5	1201	13
done	5000	13
0	11	16
1	23	16
2	46	16
3	111	16
4	310	16
5	1044	16
done	5000	16
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	15
2	47	15
3	112	15
4	308	15
5	1040	15
done	5001	15
0	13	35
1	25	35
2	48	35
3	113	35
4	311	35
5	1040	35
done	5000	35
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	13	50
1	26	50
2	51	18
3	120	18
4	319	18
5	1053	18
done	5000	18
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	12	17
1	24	17
2	47	17
3	112	17
4	308	17
5	1040	17
done	5000	17
0	10	15
1	19	14
2	38	14
3	96	14
4	267	14
5	894	14
6	4358	14
done	5000	14
0	9	14
1	18	14
2	35	14
3	85	14
4	216	14
5	677	14
6	3118	14
done	5001	14
0	9	14
1	21	14
2	44	14
3	109	14
4	304	14
5	1041	14
done	5001	14
0	10	29
1	19	29
2	36	29
3	83	29
4	210	29
5	654	29
6	3060	29
done	5000	29
0	9	14
1	18	14
2	35	14
3	82	14
4	209	14
5	655	14
6	3044	14
done	5000	14
0	10	41
1	20	41
2	51	15
3	188	15
4	1006	15
done	5000	15
0	9	14
1	18	14
2	35	14
3	82	14
4	209	14
5	655	14
6	3044	14
done	5000	14
0	9	14
1	18	14
2	35	14
3	82	14
4	209	14
5	655	14
6	3044	14
done	5000	14
0	11	17
1	32	17
2	91	17
3	279	17
4	1005	17
5	4227	17
done	5000	17
0	12	41
1	29	29
2	77	29
3	203	29
4	615	29
5	2616	29
done	5000	29
0	6	6
1	10	6
2	20	6
3	52	6
4	134	6
5	384	6
6	1540	6
done	5001	6
0	10	27
1	25	17
2	61	17
3	163	17
4	539	17
5	2526	17
done	5000	17
0	8	13
1	16	13
2	26	13
3	60	13
4	142	13
5	371	13
6	1430	13
done	5000	13
0	10	15
1	18	15
2	28	15
3	62	15
4	146	15
5	380	15
6	1442	15
done	5000	15
0	10	15
1	19	15
2	36	15
3	83	15
4	212	15
5	662	15
6	3059	15
done	5001	15
0	10	15
1	18	15
2	29	15
3	63	15
4	145	15
5	381	15
6	1445	15
done	5001	15
0	10	15
1	19	15
2	31	15
3	65	15
4	147	15
5	382	15
6	1441	15
done	5000	15
0	11	16
1	20	16
2	37	16
3	77	16
4	187	16
5	515	16
6	2202	16
done	5000	16
0	11	16
1	21	16
2	45	16
3	98	16
4	256	16
5	794	16
6	3808	16
done	5000	16
0	10	15
1	18	15
2	29	15
3	63	15
4	145	15
5	381	15
6	1448	15
done	5001	15
0	10	15
1	19	15
2	34	15
3	75	15
4	180	15
5	487	15
6	1851	15
done	5000	15
0	10	15
1	18	15
2	30	15
3	64	15
4	148	15
5	377	15
6	1447	15
done	5000	15
0	10	15
1	19	15
2	32	15
3	66	15
4	148	15
5	381	15
6	1450	15
done	5001	15
0	11	16
1	20	16
2	38	16
3	78	16
4	186	16
5	510	16
6	2202	16
done	5001	16
0	11	16
1	21	16
2	43	16
3	90	16
4	222	16
5	625	16
6	2625	16
done	5000	16
0	11	16
1	20	16
2	37	16
3	77	16
4	187	16
5	515	16
6	2205	16
done	5000	16
0	11	16
1	21	16
2	45	16
3	98	16
4	256	16
5	792	16
6	3809	16
done	5000	16
0	11	16
1	20	16
2	38	16
3	78	16
4	186	16
5	507	16
6	2212	16
done	5000	16
0	11	16
1	21	16
2	40	16
3	80	16
4	192	16
5	515	16
6	2202	16
done	5000	16
0	10	17
1	19	17
2	35	17
3	73	17
4	181	17
5	478	17
6	1886	17
done	5000	17
0	10	17
1	20	17
2	43	17
3	94	17
4	248	17
5	768	17
6	3489	17
done	5000	17
0	8	13
1	17	13
2	34	13
3	81	13
4	209	13
5	656	13
6	3057	13
done	5000	13
0	8	13
1	17	13
2	34	13
3	81	13
4	209	13
5	656	13
6	3057	13
done	5000	13
0	8	13
1	17	13
2	34	13
3	81	13
4	209	13
5	656	13
6	3057	13
done	5000	13
0	6	6
1	10	6
2	20	6
3	52	6
4	134	6
5	384	6
6	1540	6
done	5001	6
0	17	20
1	32	19
2	64	17
3	109	17
4	234	17
5	599	13
6	1953	13
done	5001	13
0	18	22
1	47	19
2	106	13
3	249	13
4	766	13
5	2815	11
done	5001	11
0	38	74
1	100	67
2	274	65
3	1124	7
4	4393	5
done	5000	5
0	17	20
1	32	19
2	64	17
3	109	17
4	234	17
5	599	13
6	1953	13
done	5001	13
0	18	22
1	47	19
2	106	13
3	249	13
4	766	13
5	2815	11
done	5001	11
0	38	74
1	100	67
2	274	65
3	1124	7
4	4393	5
done	5000	5
0	17	20
1	32	19
2	64	17
3	109	17
4	234	17
5	599	13
6	1953	13
done	5001	13
0	18	22
1	47	19
2	106	13
3	249	13
4	766	13
5	2815	11
done	5001	11
0	38	74
1	100	67
2	274	65
3	1124	7
4	4393	5
done	5000	5
0	15	18
1	29	17
2	55	15
3	91	15
4	181	15
5	413	11
6	1191	11
done	5001	11
0	25	41
1	69	37
2	196	27
3	528	23
4	1873	21
done	5001	21
0	38	74
1	100	67
2	274	65
3	1124	7
4	4393	5
done	5000	5

prune592.0ms

Filtered

77 candidates to 93 candidates (-20.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	93	8	101

Merged error: 19.6b

Counts

101 → 8

regimes389.0ms

Accuracy

86.6% (1.5b remaining)

Error of 23.6b against oracle of 22.1b and baseline of 33.3b

bsearch2.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	102
1	35	102
done	35	102

end0.0ms

sample7.6s

Algorithm

intervals

Results

2.1s	3896×	body	1280	valid
1.2s	1096×	body	1280	nan
930.0ms	1822×	body	640	valid
637.0ms	4128×	body	80	overflowed
602.0ms	888×	body	640	nan
333.0ms	3163×	body	80	valid
325.0ms	6431×	body	80	nan
279.0ms	871×	body	320	valid
193.0ms	440×	body	320	nan
88.0ms	441×	body	160	valid
54.0ms	218×	body	160	nan

Details

sample264.0ms

simplify2.2s

prune5.0ms

localize10.0ms

rewrite28.0ms

series98.0ms

simplify9.0min

prune214.0ms

localize11.0ms

rewrite38.0ms

series129.0ms

simplify12.4min

prune317.0ms

localize15.0ms

rewrite49.0ms

series305.0ms

simplify4.6min

prune477.0ms

localize19.0ms

rewrite53.0ms

series359.0ms

simplify3.6min

prune592.0ms

regimes389.0ms

bsearch2.0ms

simplify6.0ms

end0.0ms

sample7.6s

Profiling