Details

sample63.0ms

Algorithm

intervals

Results

28.0ms

256×

body

valid

simplify7.7s

Counts

1 → 1

Iterations

Useful iterations: 4 (173.0ms)

Iter	Nodes	Cost
0	27	31
1	49	30
2	117	30
3	275	30
4	493	29
5	903	29
6	1523	29
7	2555	29
8	3394	29
9	4298	29
10	4646	29
done	4646	29

prune16.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.0b

Counts

2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
0.0b	(/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0))
0.0b	(/ NaChar (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))
0.0b	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

124×	`*-un-lft-identity`
66×	`times-frac`
59×	`add-sqr-sqrt`
45×	`add-cube-cbrt`
30×	`distribute-lft-out--`
25×	`exp-prod`
20×	`distribute-lft-out`
13×	`associate-/l*`
11×	`associate-/r*`
10×	`add-exp-log` `add-cbrt-cube`
7×	`difference-of-squares`
5×	`add-log-exp`
4×	`pow1` `associate-/r/` `div-inv`
3×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num`
2×	`flip3-+` `div-sub` `flip-+` `associate-/l/`
1×	`flip3--` `exp-diff` `flip--` `rem-exp-log`

Counts

4 → 146

Calls

4 calls:

12.0ms	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
25.0ms	(/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0))
15.0ms	(/ NaChar (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))
14.0ms	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))

series184.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
64.0ms	(/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0))
71.0ms	(/ NaChar (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))
25.0ms	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))

simplify6.6min

Counts

158 → 158

Iterations

Useful iterations: 2 (1.0ms)

Iter	Nodes	Cost
0	12	22
1	27	22
2	61	22
3	129	22
4	265	22
5	473	22
6	813	22
7	1452	22
8	3273	22
done	5000	22
0	11	11
1	24	11
2	54	11
3	117	11
4	235	11
5	403	11
6	632	11
7	890	11
8	1029	11
9	1049	11
done	1049	11
0	14	24
1	30	24
2	63	24
3	123	24
4	217	24
5	317	24
6	489	24
7	842	24
8	2191	24
done	5001	24
0	13	21
1	25	21
2	49	21
3	100	21
4	185	21
5	261	21
6	376	21
7	572	21
8	763	21
9	1338	21
10	4760	21
done	5000	21
0	12	20
1	26	18
2	56	18
3	113	18
4	199	18
5	286	18
6	420	18
7	652	18
8	1187	18
9	3533	18
done	5000	18
0	13	15
1	25	15
2	47	15
3	95	15
4	176	15
5	244	15
6	336	15
7	469	15
8	501	15
9	502	15
done	502	15
0	12	12
1	22	12
2	44	12
3	92	12
4	170	12
5	236	12
6	326	12
7	459	12
8	487	12
9	488	12
done	488	12
0	11	11
1	23	9
2	47	9
3	95	9
4	176	9
5	245	9
6	338	9
7	471	9
8	501	9
9	502	9
done	502	9
0	6	8
1	10	8
done	10	8
0	5	5
1	7	5
done	7	5
0	3	4
1	5	2
2	6	1
done	6	1
0	14	16
1	23	16
2	34	16
3	50	16
4	59	16
5	67	16
6	81	16
7	104	16
8	110	16
9	120	16
10	123	16
11	125	16
12	129	16
done	129	16
0	13	13
1	20	13
2	31	13
3	47	13
4	56	13
5	64	13
6	78	13
7	101	13
8	107	13
9	115	13
10	124	13
11	126	13
12	130	13
done	130	13
0	12	12
1	21	10
2	38	10
3	54	10
4	63	10
5	71	10
6	85	10
7	108	10
8	114	10
9	122	10
10	129	10
11	131	10
12	133	10
done	133	10
0	6	8
1	10	8
done	10	8
0	5	5
1	7	5
done	7	5
0	3	4
1	5	2
2	6	1
done	6	1
0	6	8
1	10	8
done	10	8
0	5	5
1	7	5
done	7	5
0	3	4
1	5	2
2	6	1
done	6	1
0	6	8
1	10	8
done	10	8
0	5	5
1	7	5
done	7	5
0	3	4
1	5	2
2	6	1
done	6	1
0	2	2
1	5	1
done	5	1
0	8	8
1	21	8
2	55	8
3	130	8
4	303	8
5	662	8
6	1266	8
7	1864	8
8	1885	8
done	1885	8
0	4	4
done	4	4
0	8	8
1	17	8
2	38	8
3	73	8
4	117	8
5	168	8
6	231	8
7	381	8
8	504	8
9	618	8
10	636	8
done	636	8
0	11	11
1	24	9
2	57	9
3	131	9
4	276	9
5	516	9
6	988	9
7	1839	9
8	2797	9
9	3041	9
done	3041	9
0	11	11
1	24	11
2	57	11
3	128	11
4	265	11
5	491	11
6	919	11
7	1695	11
8	2919	11
9	4896	11
done	5000	11
0	12	23
1	25	23
2	58	23
3	129	23
4	267	23
5	487	23
6	874	23
7	1492	23
8	2095	23
9	2166	23
done	2166	23
0	11	11
1	24	11
2	57	11
3	128	11
4	263	11
5	479	11
6	868	11
7	1475	11
8	2079	11
9	2151	11
done	2151	11
0	12	32
1	28	31
2	73	12
3	209	12
4	778	12
5	4185	12
done	5000	12
0	11	11
1	24	11
2	57	11
3	128	11
4	263	11
5	479	11
6	868	11
7	1475	11
8	2079	11
9	2151	11
done	2151	11
0	11	11
1	24	11
2	57	11
3	128	11
4	263	11
5	479	11
6	868	11
7	1475	11
8	2079	11
9	2151	11
done	2151	11
0	16	16
1	30	16
2	57	16
3	98	16
4	135	16
5	195	16
6	310	16
7	611	16
8	979	16
9	1635	16
10	2244	16
11	2493	16
done	2493	16
0	15	15
1	30	15
2	58	15
3	100	15
4	133	15
5	193	15
6	308	15
7	607	15
8	977	15
9	1630	15
10	2255	15
11	2523	15
done	2523	15
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	307	15
7	607	15
8	978	15
9	1633	15
10	2255	15
11	2506	15
done	2506	15
0	18	44
1	51	44
2	139	18
3	333	16
4	785	16
5	2216	16
done	5001	16
0	16	31
1	28	31
2	54	31
3	95	31
4	130	31
5	190	31
6	304	31
7	604	31
8	973	31
9	1630	31
10	2239	31
11	2525	31
done	2525	31
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	307	15
7	607	15
8	978	15
9	1633	15
10	2255	15
11	2506	15
done	2506	15
0	16	44
1	35	44
2	77	16
3	156	16
4	276	16
5	506	16
6	1143	16
7	3781	16
done	5000	16
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	307	15
7	607	15
8	978	15
9	1633	15
10	2255	15
11	2506	15
done	2506	15
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	307	15
7	607	15
8	978	15
9	1633	15
10	2255	15
11	2506	15
done	2506	15
0	2	2
done	2	2
0	13	13
1	28	13
2	56	13
3	100	13
4	136	13
5	203	13
6	327	13
7	665	13
8	1132	13
9	2220	13
10	3595	13
11	4659	13
12	4892	13
done	4892	13
0	18	33
1	36	33
2	71	33
3	120	33
4	151	33
5	211	33
6	324	33
7	623	33
8	996	33
9	1658	33
10	2264	33
11	2503	33
done	2503	33
0	16	16
1	28	16
2	54	16
3	95	16
4	130	16
5	190	16
6	304	16
7	605	16
8	977	16
9	1632	16
10	2258	16
11	2508	16
done	2508	16
0	17	19
1	31	19
2	59	19
3	103	19
4	134	19
5	194	19
6	307	19
7	606	19
8	973	19
9	1626	19
10	2237	19
11	2499	19
done	2499	19
0	16	16
1	28	16
2	54	16
3	95	16
4	130	16
5	190	16
6	304	16
7	605	16
8	977	16
9	1632	16
10	2258	16
11	2508	16
done	2508	16
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	308	15
7	608	15
8	975	15
9	1625	15
10	2241	15
11	2469	15
done	2469	15
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	308	15
7	608	15
8	975	15
9	1625	15
10	2241	15
11	2469	15
done	2469	15
0	17	30
1	31	30
2	57	30
3	98	30
4	135	30
5	195	30
6	310	30
7	611	30
8	979	30
9	1633	30
10	2242	30
11	2511	30
done	2511	30
0	16	16
1	28	16
2	54	16
3	95	16
4	130	16
5	190	16
6	304	16
7	605	16
8	977	16
9	1632	16
10	2258	16
11	2508	16
done	2508	16
0	16	16
1	28	16
2	54	16
3	95	16
4	130	16
5	190	16
6	304	16
7	605	16
8	977	16
9	1632	16
10	2258	16
11	2508	16
done	2508	16
0	16	16
1	28	16
2	54	16
3	95	16
4	130	16
5	190	16
6	304	16
7	605	16
8	977	16
9	1632	16
10	2258	16
11	2508	16
done	2508	16
0	4	4
1	6	2
2	8	2
done	8	2
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	308	15
7	608	15
8	975	15
9	1625	15
10	2241	15
11	2469	15
done	2469	15
0	4	4
1	6	2
2	8	2
done	8	2
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	308	15
7	608	15
8	975	15
9	1625	15
10	2241	15
11	2469	15
done	2469	15
0	16	29
1	32	29
2	58	29
3	99	29
4	133	29
5	191	29
6	306	29
7	605	29
8	972	29
9	1630	29
10	2236	29
11	2501	29
done	2501	29
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	307	15
7	607	15
8	978	15
9	1633	15
10	2255	15
11	2506	15
done	2506	15
0	15	15
1	29	15
2	55	15
3	96	15
4	130	15
5	188	15
6	302	15
7	601	15
8	970	15
9	1624	15
10	2234	15
11	2487	15
done	2487	15
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	307	15
7	607	15
8	978	15
9	1633	15
10	2255	15
11	2506	15
done	2506	15
0	2	3
1	4	1
done	4	1
0	14	14
1	26	14
2	52	14
3	93	14
4	126	14
5	186	14
6	300	14
7	601	14
8	968	14
9	1623	14
10	2235	14
11	2481	14
done	2481	14
0	2	3
1	4	1
done	4	1
0	14	14
1	26	14
2	52	14
3	93	14
4	126	14
5	186	14
6	300	14
7	601	14
8	968	14
9	1623	14
10	2235	14
11	2481	14
done	2481	14
0	14	14
1	28	14
2	54	14
3	95	14
4	129	14
5	187	14
6	302	14
7	603	14
8	972	14
9	1627	14
10	2235	14
11	2500	14
done	2500	14
0	14	14
1	26	14
2	52	14
3	93	14
4	124	14
5	184	14
6	298	14
7	599	14
8	967	14
9	1628	14
10	2236	14
11	2484	14
done	2484	14
0	16	29
1	30	29
2	56	29
3	97	29
4	132	29
5	192	29
6	306	29
7	606	29
8	976	29
9	1629	29
10	2246	29
11	2503	29
done	2503	29
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	307	15
7	607	15
8	978	15
9	1633	15
10	2255	15
11	2506	15
done	2506	15
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	308	15
7	608	15
8	978	15
9	1627	15
10	2248	15
11	2504	15
done	2504	15
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	308	15
7	608	15
8	978	15
9	1627	15
10	2248	15
11	2504	15
done	2504	15
0	14	14
1	26	14
2	52	14
3	93	14
4	124	14
5	184	14
6	298	14
7	599	14
8	967	14
9	1628	14
10	2236	14
11	2484	14
done	2484	14
0	17	18
1	42	18
2	79	18
3	162	18
4	334	18
5	916	18
6	3037	18
done	5001	18
0	16	27
1	34	26
2	75	18
3	172	18
4	392	18
5	846	18
6	2079	18
done	5000	18
0	16	16
1	32	16
2	66	16
3	137	16
4	275	16
5	496	16
6	886	16
7	1506	16
8	2097	16
9	2173	16
done	2173	16
0	15	15
1	32	15
2	67	15
3	139	15
4	277	15
5	497	15
6	886	15
7	1495	15
8	2081	15
9	2157	15
done	2157	15
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	487	15
6	879	15
7	1493	15
8	2094	15
9	2164	15
done	2164	15
0	18	44
1	53	44
2	148	18
3	372	16
4	967	16
5	3808	16
done	5001	16
0	16	31
1	30	31
2	63	31
3	134	31
4	271	31
5	491	31
6	882	31
7	1497	31
8	2111	31
9	2183	31
done	2183	31
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	487	15
6	879	15
7	1493	15
8	2094	15
9	2164	15
done	2164	15
0	16	44
1	37	44
2	86	16
3	195	16
4	412	16
5	831	16
6	2273	16
done	5000	16
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	487	15
6	879	15
7	1493	15
8	2094	15
9	2164	15
done	2164	15
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	487	15
6	879	15
7	1493	15
8	2094	15
9	2164	15
done	2164	15
0	2	2
done	2	2
0	13	13
1	30	13
2	65	13
3	139	13
4	281	13
5	528	13
6	1052	13
7	2051	13
8	3519	13
9	4299	13
10	4424	13
done	4424	13
0	18	33
1	38	33
2	80	33
3	157	33
4	293	33
5	514	33
6	908	33
7	1515	33
8	2110	33
9	2177	33
done	2177	33
0	16	16
1	30	16
2	63	16
3	134	16
4	272	16
5	488	16
6	880	16
7	1492	16
8	2097	16
9	2164	16
done	2164	16
0	17	19
1	33	19
2	68	19
3	140	19
4	278	19
5	498	19
6	892	19
7	1507	19
8	2115	19
9	2196	19
done	2196	19
0	16	16
1	30	16
2	63	16
3	134	16
4	272	16
5	488	16
6	880	16
7	1492	16
8	2097	16
9	2164	16
done	2164	16
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	488	15
6	877	15
7	1492	15
8	2085	15
9	2163	15
done	2163	15
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	488	15
6	877	15
7	1492	15
8	2085	15
9	2163	15
done	2163	15
0	17	30
1	33	30
2	66	30
3	137	30
4	275	30
5	495	30
6	888	30
7	1503	30
8	2109	30
9	2175	30
done	2175	30
0	16	16
1	30	16
2	63	16
3	134	16
4	272	16
5	488	16
6	880	16
7	1492	16
8	2097	16
9	2164	16
done	2164	16
0	16	16
1	30	16
2	63	16
3	134	16
4	272	16
5	488	16
6	880	16
7	1492	16
8	2097	16
9	2164	16
done	2164	16
0	16	16
1	30	16
2	63	16
3	134	16
4	272	16
5	488	16
6	880	16
7	1492	16
8	2097	16
9	2164	16
done	2164	16
0	4	4
1	6	2
2	8	2
done	8	2
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	488	15
6	877	15
7	1492	15
8	2085	15
9	2163	15
done	2163	15
0	4	4
1	6	2
2	8	2
done	8	2
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	488	15
6	877	15
7	1492	15
8	2085	15
9	2163	15
done	2163	15
0	16	29
1	34	29
2	67	29
3	138	29
4	275	29
5	493	29
6	886	29
7	1495	29
8	2081	29
9	2147	29
done	2147	29
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	487	15
6	879	15
7	1493	15
8	2094	15
9	2164	15
done	2164	15
0	15	15
1	31	15
2	64	15
3	135	15
4	270	15
5	486	15
6	880	15
7	1493	15
8	2103	15
9	2177	15
done	2177	15
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	487	15
6	879	15
7	1493	15
8	2094	15
9	2164	15
done	2164	15
0	2	3
1	4	1
done	4	1
0	14	14
1	28	14
2	61	14
3	132	14
4	270	14
5	488	14
6	879	14
7	1493	14
8	2080	14
9	2152	14
done	2152	14
0	2	3
1	4	1
done	4	1
0	14	14
1	28	14
2	61	14
3	132	14
4	270	14
5	488	14
6	879	14
7	1493	14
8	2080	14
9	2152	14
done	2152	14
0	14	14
1	30	14
2	63	14
3	134	14
4	270	14
5	486	14
6	877	14
7	1489	14
8	2101	14
9	2178	14
done	2178	14
0	14	14
1	28	14
2	61	14
3	132	14
4	270	14
5	491	14
6	881	14
7	1496	14
8	2082	14
9	2157	14
done	2157	14
0	16	29
1	32	29
2	65	29
3	136	29
4	272	29
5	490	29
6	880	29
7	1490	29
8	2090	29
9	2156	29
done	2156	29
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	487	15
6	879	15
7	1493	15
8	2094	15
9	2164	15
done	2164	15
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	15	15
1	29	15
2	62	15
3	133	15
4	270	15
5	487	15
6	878	15
7	1492	15
8	2100	15
9	2171	15
done	2171	15
0	15	15
1	29	15
2	62	15
3	133	15
4	270	15
5	487	15
6	878	15
7	1492	15
8	2100	15
9	2171	15
done	2171	15
0	14	14
1	28	14
2	61	14
3	132	14
4	270	14
5	491	14
6	881	14
7	1496	14
8	2082	14
9	2157	14
done	2157	14
0	17	18
1	44	18
2	88	18
3	199	18
4	556	18
5	2565	18
done	5000	18
0	16	27
1	36	26
2	84	18
3	211	18
4	620	18
5	2365	18
done	5000	18
0	11	11
1	21	11
2	43	11
3	80	11
4	105	11
5	140	11
6	204	11
7	384	11
8	459	11
9	553	11
10	623	11
done	623	11
0	10	10
1	24	10
2	49	10
3	89	10
4	119	10
5	170	10
6	263	10
7	515	10
8	748	10
9	1024	10
10	1185	10
11	1245	10
done	1245	10
0	10	10
1	21	10
2	47	10
3	88	10
4	125	10
5	185	10
6	299	10
7	600	10
8	969	10
9	1622	10
10	2227	10
11	2470	10
done	2470	10
0	13	29
1	30	29
2	110	13
3	564	11
4	3617	11
done	5001	11
0	11	21
1	22	21
2	45	21
3	84	21
4	114	21
5	165	21
6	258	21
7	509	21
8	743	21
9	1009	21
10	1170	21
11	1231	21
done	1231	21
0	10	10
1	21	10
2	44	10
3	83	10
4	111	10
5	162	10
6	256	10
7	506	10
8	739	10
9	1011	10
10	1176	10
11	1236	10
done	1236	10
0	11	29
1	29	29
2	92	11
3	419	11
4	2500	11
done	5000	11
0	10	10
1	21	10
2	44	10
3	83	10
4	111	10
5	162	10
6	256	10
7	506	10
8	739	10
9	1011	10
10	1176	10
11	1236	10
done	1236	10
0	10	10
1	21	10
2	44	10
3	83	10
4	111	10
5	162	10
6	256	10
7	506	10
8	739	10
9	1011	10
10	1176	10
11	1236	10
done	1236	10
0	8	8
1	16	8
2	43	8
3	104	8
4	209	7
5	302	7
6	485	7
7	601	7
8	630	7
done	630	7
0	2	2
done	2	2
0	7	7
1	11	7
2	17	7
done	17	7
0	3	3
done	3	3
0	13	23
1	27	23
2	57	23
3	100	23
4	129	23
5	164	23
6	228	23
7	408	23
8	483	23
9	579	23
10	650	23
done	650	23
0	11	11
1	19	11
2	40	11
3	77	11
4	102	11
5	137	11
6	200	11
7	382	11
8	457	11
9	552	11
10	623	11
done	623	11
0	12	20
1	22	20
2	45	20
3	83	20
4	110	20
5	145	20
6	210	20
7	390	20
8	465	20
9	560	20
10	630	20
done	630	20
0	11	11
1	19	11
2	40	11
3	77	11
4	102	11
5	137	11
6	200	11
7	382	11
8	457	11
9	552	11
10	623	11
done	623	11
0	11	19
1	23	17
2	50	17
3	92	17
4	119	17
5	154	17
6	218	17
7	398	17
8	473	17
9	566	17
10	636	17
done	636	17
0	10	10
1	18	10
2	39	10
3	76	10
4	101	10
5	136	10
6	201	10
7	381	10
8	456	10
9	552	10
10	622	10
done	622	10
0	12	14
1	22	14
2	43	14
3	80	14
4	107	14
5	142	14
6	205	14
7	386	14
8	461	14
9	555	14
10	626	14
done	626	14
0	11	11
1	19	11
2	40	11
3	77	11
4	102	11
5	137	11
6	200	11
7	382	11
8	457	11
9	552	11
10	623	11
done	623	11
0	11	11
1	19	11
2	40	11
3	77	11
4	102	11
5	137	11
6	200	11
7	382	11
8	457	11
9	552	11
10	623	11
done	623	11
0	11	11
1	19	11
2	40	11
3	77	11
4	102	11
5	137	11
6	200	11
7	382	11
8	457	11
9	552	11
10	623	11
done	623	11
0	10	10
1	20	8
2	43	8
3	80	8
4	105	8
5	140	8
6	203	8
7	383	8
8	458	8
9	552	8
10	621	8
done	621	8
0	10	10
1	18	10
2	39	10
3	76	10
4	101	10
5	136	10
6	201	10
7	381	10
8	456	10
9	552	10
10	622	10
done	622	10
0	5	7
1	9	7
done	9	7
0	10	10
1	21	10
2	44	10
3	83	10
4	113	10
5	164	10
6	258	10
7	508	10
8	740	10
9	1011	10
10	1175	10
11	1235	10
done	1235	10
0	4	4
1	6	4
done	6	4
0	10	10
1	21	10
2	44	10
3	83	10
4	113	10
5	164	10
6	258	10
7	508	10
8	740	10
9	1011	10
10	1175	10
11	1235	10
done	1235	10
0	2	3
1	4	1
done	4	1
0	9	9
1	20	9
2	43	9
3	82	9
4	110	9
5	161	9
6	255	9
7	505	9
8	739	9
9	1009	9
10	1170	9
11	1230	9
done	1230	9
0	13	15
1	20	15
2	26	15
done	26	15
0	12	12
1	21	12
2	30	12
3	32	12
done	32	12
0	12	12
1	17	12
2	23	12
done	23	12
0	12	12
1	21	12
2	30	12
3	32	12
done	32	12
0	11	11
1	18	9
2	26	9
done	26	9
0	11	11
1	20	11
2	29	11
3	31	11
done	31	11
0	5	7
1	9	7
done	9	7
0	10	10
1	21	10
2	44	10
3	83	10
4	113	10
5	164	10
6	258	10
7	508	10
8	740	10
9	1011	10
10	1175	10
11	1235	10
done	1235	10
0	4	4
1	6	4
done	6	4
0	10	10
1	21	10
2	44	10
3	83	10
4	113	10
5	164	10
6	258	10
7	508	10
8	740	10
9	1011	10
10	1175	10
11	1235	10
done	1235	10
0	2	3
1	4	1
done	4	1
0	9	9
1	20	9
2	43	9
3	82	9
4	110	9
5	161	9
6	255	9
7	505	9
8	739	9
9	1009	9
10	1170	9
11	1230	9
done	1230	9
0	5	7
1	9	7
done	9	7
0	10	10
1	21	10
2	44	10
3	83	10
4	113	10
5	164	10
6	258	10
7	508	10
8	740	10
9	1011	10
10	1175	10
11	1235	10
done	1235	10
0	4	4
1	6	4
done	6	4
0	10	10
1	21	10
2	44	10
3	83	10
4	113	10
5	164	10
6	258	10
7	508	10
8	740	10
9	1011	10
10	1175	10
11	1235	10
done	1235	10
0	2	3
1	4	1
done	4	1
0	9	9
1	20	9
2	43	9
3	82	9
4	110	9
5	161	9
6	255	9
7	505	9
8	739	9
9	1009	9
10	1170	9
11	1230	9
done	1230	9
0	5	7
1	9	7
done	9	7
0	10	10
1	21	10
2	44	10
3	83	10
4	113	10
5	164	10
6	258	10
7	508	10
8	740	10
9	1011	10
10	1175	10
11	1235	10
done	1235	10
0	4	4
1	6	4
done	6	4
0	10	10
1	21	10
2	44	10
3	83	10
4	113	10
5	164	10
6	258	10
7	508	10
8	740	10
9	1011	10
10	1175	10
11	1235	10
done	1235	10
0	2	3
1	4	1
done	4	1
0	9	9
1	20	9
2	43	9
3	82	9
4	110	9
5	161	9
6	255	9
7	505	9
8	739	9
9	1009	9
10	1170	9
11	1230	9
done	1230	9
0	3	3
1	5	3
done	5	3
0	9	9
1	17	9
2	38	9
3	77	9
4	102	9
5	137	9
6	201	9
7	382	9
8	457	9
9	553	9
10	623	9
done	623	9
0	11	13
1	24	13
2	52	13
3	94	13
4	130	13
5	199	13
6	333	13
7	663	13
8	1061	13
9	1520	13
10	1768	13
11	1891	13
done	1891	13
0	10	10
1	21	10
2	44	10
3	83	10
4	113	10
5	164	10
6	258	10
7	508	10
8	740	10
9	1011	10
10	1175	10
11	1235	10
done	1235	10
0	9	9
1	22	7
2	47	7
3	84	7
4	112	7
5	163	7
6	252	7
7	458	7
8	640	7
9	744	7
10	817	7
done	817	7
0	10	10
1	18	10
2	39	10
3	78	10
4	105	10
5	140	10
6	205	10
7	386	10
8	461	10
9	556	10
10	627	10
done	627	10
0	10	10
1	18	10
2	39	10
3	78	10
4	105	10
5	140	10
6	205	10
7	386	10
8	461	10
9	556	10
10	627	10
done	627	10
0	9	9
1	17	9
2	38	9
3	77	9
4	102	9
5	137	9
6	201	9
7	382	9
8	457	9
9	553	9
10	623	9
done	623	9
0	11	11
1	17	11
2	24	11
done	24	11
0	9	9
1	17	9
2	38	9
3	77	9
4	102	9
5	137	9
6	201	9
7	382	9
8	457	9
9	553	9
10	623	9
done	623	9
0	9	9
1	17	9
2	38	9
3	77	9
4	102	9
5	137	9
6	201	9
7	382	9
8	457	9
9	553	9
10	623	9
done	623	9
0	9	9
1	17	9
2	38	9
3	77	9
4	102	9
5	137	9
6	201	9
7	382	9
8	457	9
9	553	9
10	623	9
done	623	9
0	13	25
1	37	23
2	141	23
3	607	19
4	3555	19
done	5000	19
0	9	9
1	23	9
2	62	9
3	135	9
4	194	9
5	197	9
done	197	9
0	1	1
1	3	1
done	3	1
0	14	17
1	27	17
2	65	17
3	174	17
4	307	17
5	425	17
6	694	17
7	1250	17
8	1967	17
9	2234	17
10	2658	17
11	2661	17
done	2661	17
0	14	17
1	27	17
2	65	17
3	174	17
4	307	17
5	425	17
6	694	17
7	1250	17
8	1967	17
9	2234	17
10	2658	17
11	2661	17
done	2661	17
0	3	3
1	4	3
done	4	3
0	25	35
1	60	33
2	160	31
3	385	27
4	1064	21
5	2935	17
done	5000	17
0	25	35
1	60	33
2	160	31
3	385	27
4	1064	21
5	2935	17
done	5000	17
0	3	3
1	4	3
done	4	3
0	25	35
1	63	33
2	154	31
3	387	25
4	1031	21
5	2833	17
done	5000	17
0	25	35
1	63	33
2	154	31
3	387	25
4	1031	21
5	2833	17
done	5000	17
0	9	11
1	13	11
2	19	11
done	19	11
0	1	1
done	1	1
0	1	1
done	1	1

prune247.0ms

Filtered

110 candidates to 158 candidates (-43.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	155	3	158
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	155	4	159

Merged error: 0.0b

Counts

159 → 4

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0))
0.0b	(* NaChar (/ 1 (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)))))
0.0b	(/ 1 (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))
0.0b	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))

rewrite84.0ms

Algorithm

rewrite-expression-head

Rules

92×	`*-un-lft-identity`
59×	`times-frac`
55×	`add-sqr-sqrt`
42×	`add-cube-cbrt`
25×	`exp-prod`
19×	`add-exp-log`
18×	`associate-r` `distribute-lft-out--`
13×	`add-cbrt-cube`
11×	`distribute-lft-out`
8×	`associate-/r*`
7×	`pow1`
6×	`associate-/r/` `associate-/l*`
5×	`div-exp` `add-log-exp`
4×	`prod-exp` `div-inv`
3×	`cbrt-undiv` `flip3-+` `associate-l` `flip-+` `difference-of-squares` `unswap-sqr`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `cbrt-unprod`
1×	`pow-flip` `exp-diff` `div-sub` `associate-r/` `pow-prod-down` `un-div-inv` `-commutative` `rem-exp-log` `inv-pow`

Counts

4 → 145

Calls

4 calls:

19.0ms	(/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0))
22.0ms	(* NaChar (/ 1 (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)))))
24.0ms	(/ 1 (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))
13.0ms	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))

series233.0ms

Counts

4 → 12

Calls

4 calls:

65.0ms	(/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0))
74.0ms	(* NaChar (/ 1 (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)))))
68.0ms	(/ 1 (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))
25.0ms	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))

simplify7.8min

Counts

157 → 157

Iterations

Useful iterations: 2 (1.0ms)

Iter	Nodes	Cost
0	12	22
1	27	22
2	61	22
3	129	22
4	265	22
5	473	22
6	813	22
7	1452	22
8	3273	22
done	5000	22
0	11	11
1	24	11
2	54	11
3	117	11
4	235	11
5	403	11
6	632	11
7	890	11
8	1029	11
9	1049	11
done	1049	11
0	14	24
1	30	24
2	63	24
3	123	24
4	217	24
5	317	24
6	489	24
7	842	24
8	2191	24
done	5001	24
0	13	21
1	25	21
2	49	21
3	100	21
4	185	21
5	261	21
6	376	21
7	572	21
8	763	21
9	1338	21
10	4760	21
done	5000	21
0	12	20
1	26	18
2	56	18
3	113	18
4	199	18
5	286	18
6	420	18
7	652	18
8	1187	18
9	3533	18
done	5000	18
0	13	15
1	25	15
2	47	15
3	95	15
4	176	15
5	244	15
6	336	15
7	469	15
8	501	15
9	502	15
done	502	15
0	12	12
1	22	12
2	44	12
3	92	12
4	170	12
5	236	12
6	326	12
7	459	12
8	487	12
9	488	12
done	488	12
0	11	11
1	23	9
2	47	9
3	95	9
4	176	9
5	245	9
6	338	9
7	471	9
8	501	9
9	502	9
done	502	9
0	6	8
1	10	8
done	10	8
0	5	5
1	7	5
done	7	5
0	3	4
1	5	2
2	6	1
done	6	1
0	14	16
1	23	16
2	34	16
3	50	16
4	59	16
5	67	16
6	81	16
7	104	16
8	110	16
9	120	16
10	123	16
11	125	16
12	129	16
done	129	16
0	13	13
1	20	13
2	31	13
3	47	13
4	56	13
5	64	13
6	78	13
7	101	13
8	107	13
9	115	13
10	124	13
11	126	13
12	130	13
done	130	13
0	12	12
1	21	10
2	38	10
3	54	10
4	63	10
5	71	10
6	85	10
7	108	10
8	114	10
9	122	10
10	129	10
11	131	10
12	133	10
done	133	10
0	6	8
1	10	8
done	10	8
0	5	5
1	7	5
done	7	5
0	3	4
1	5	2
2	6	1
done	6	1
0	6	8
1	10	8
done	10	8
0	5	5
1	7	5
done	7	5
0	3	4
1	5	2
2	6	1
done	6	1
0	6	8
1	10	8
done	10	8
0	5	5
1	7	5
done	7	5
0	3	4
1	5	2
2	6	1
done	6	1
0	2	2
1	5	1
done	5	1
0	8	8
1	21	8
2	55	8
3	130	8
4	303	8
5	662	8
6	1266	8
7	1864	8
8	1885	8
done	1885	8
0	4	4
done	4	4
0	8	8
1	17	8
2	38	8
3	73	8
4	117	8
5	168	8
6	231	8
7	381	8
8	504	8
9	618	8
10	636	8
done	636	8
0	11	11
1	24	9
2	57	9
3	131	9
4	276	9
5	516	9
6	988	9
7	1839	9
8	2797	9
9	3041	9
done	3041	9
0	11	11
1	24	11
2	57	11
3	128	11
4	265	11
5	491	11
6	919	11
7	1695	11
8	2919	11
9	4896	11
done	5000	11
0	12	23
1	25	23
2	58	23
3	129	23
4	267	23
5	487	23
6	874	23
7	1492	23
8	2095	23
9	2166	23
done	2166	23
0	11	11
1	24	11
2	57	11
3	128	11
4	263	11
5	479	11
6	868	11
7	1475	11
8	2079	11
9	2151	11
done	2151	11
0	12	32
1	28	31
2	73	12
3	209	12
4	778	12
5	4185	12
done	5000	12
0	11	11
1	24	11
2	57	11
3	128	11
4	263	11
5	479	11
6	868	11
7	1475	11
8	2079	11
9	2151	11
done	2151	11
0	11	11
1	24	11
2	57	11
3	128	11
4	263	11
5	479	11
6	868	11
7	1475	11
8	2079	11
9	2151	11
done	2151	11
0	2	2
1	5	1
done	5	1
0	14	14
1	26	14
2	52	14
3	93	14
4	124	14
5	184	14
6	298	14
7	599	14
8	967	14
9	1628	14
10	2236	14
11	2484	14
done	2484	14
0	15	15
1	29	14
2	59	14
3	102	14
4	141	14
5	205	14
6	320	14
7	620	14
8	989	14
9	1652	14
10	2263	14
11	2496	14
done	2496	14
0	16	16
1	32	15
2	59	14
3	108	14
4	148	14
5	211	14
6	326	14
7	627	14
8	997	14
9	1658	14
10	2280	14
11	2525	14
done	2525	14
0	15	15
1	33	14
2	60	14
3	107	14
4	143	14
5	207	14
6	327	14
7	628	14
8	996	14
9	1650	14
10	2262	14
11	2517	14
done	2517	14
0	15	15
1	29	15
2	55	15
3	96	15
4	130	15
5	188	15
6	302	15
7	601	15
8	970	15
9	1624	15
10	2234	15
11	2487	15
done	2487	15
0	18	44
1	52	40
2	120	16
3	272	16
4	671	16
5	1885	16
done	5000	16
0	16	31
1	30	31
2	56	31
3	97	31
4	131	31
5	189	31
6	303	31
7	604	31
8	971	31
9	1625	31
10	2241	31
11	2503	31
done	2503	31
0	15	15
1	29	15
2	55	15
3	96	15
4	130	15
5	188	15
6	302	15
7	601	15
8	970	15
9	1624	15
10	2234	15
11	2487	15
done	2487	15
0	16	44
1	37	44
2	79	16
3	159	16
4	217	16
5	343	16
6	701	16
7	2173	16
done	5000	16
0	15	15
1	29	15
2	55	15
3	96	15
4	130	15
5	188	15
6	302	15
7	601	15
8	970	15
9	1624	15
10	2234	15
11	2487	15
done	2487	15
0	15	15
1	29	15
2	55	15
3	96	15
4	130	15
5	188	15
6	302	15
7	601	15
8	970	15
9	1624	15
10	2234	15
11	2487	15
done	2487	15
0	2	2
1	5	1
done	5	1
0	13	13
1	28	13
2	56	13
3	100	13
4	136	13
5	203	13
6	327	13
7	665	13
8	1132	13
9	2220	13
10	3595	13
11	4659	13
12	4892	13
done	4892	13
0	18	33
1	38	31
2	73	29
3	120	29
4	150	29
5	208	29
6	321	29
7	618	29
8	989	29
9	1644	29
10	2253	29
11	2489	29
done	2489	29
0	16	16
1	30	15
2	56	15
3	97	15
4	131	15
5	189	15
6	304	15
7	603	15
8	970	15
9	1619	15
10	2224	15
11	2512	15
done	2512	15
0	17	19
1	33	17
2	61	15
3	105	15
4	135	15
5	193	15
6	306	15
7	602	15
8	971	15
9	1626	15
10	2240	15
11	2497	15
done	2497	15
0	16	16
1	30	15
2	56	15
3	97	15
4	131	15
5	189	15
6	304	15
7	603	15
8	970	15
9	1619	15
10	2224	15
11	2512	15
done	2512	15
0	4	7
1	8	3
2	12	1
done	12	1
0	15	15
1	29	14
2	55	14
3	96	14
4	132	14
5	190	14
6	305	14
7	606	14
8	975	14
9	1629	14
10	2238	14
11	2503	14
done	2503	14
0	4	7
1	8	3
2	12	1
done	12	1
0	15	15
1	29	14
2	55	14
3	96	14
4	132	14
5	190	14
6	305	14
7	606	14
8	975	14
9	1629	14
10	2238	14
11	2503	14
done	2503	14
0	17	30
1	33	29
2	59	29
3	102	29
4	138	29
5	196	29
6	311	29
7	612	29
8	983	29
9	1649	29
10	2256	29
11	2498	29
done	2498	29
0	16	16
1	30	15
2	56	15
3	97	15
4	131	15
5	189	15
6	304	15
7	603	15
8	970	15
9	1619	15
10	2224	15
11	2512	15
done	2512	15
0	16	16
1	30	15
2	56	15
3	97	15
4	131	15
5	189	15
6	304	15
7	603	15
8	970	15
9	1619	15
10	2224	15
11	2512	15
done	2512	15
0	16	16
1	30	15
2	56	15
3	97	15
4	131	15
5	189	15
6	304	15
7	603	15
8	970	15
9	1619	15
10	2224	15
11	2512	15
done	2512	15
0	3	4
1	5	1
done	5	1
0	15	15
1	29	14
2	55	14
3	96	14
4	132	14
5	190	14
6	305	14
7	606	14
8	975	14
9	1629	14
10	2238	14
11	2503	14
done	2503	14
0	3	4
1	5	1
done	5	1
0	15	15
1	29	14
2	55	14
3	96	14
4	132	14
5	190	14
6	305	14
7	606	14
8	975	14
9	1629	14
10	2238	14
11	2503	14
done	2503	14
0	16	29
1	32	29
2	58	29
3	99	29
4	133	29
5	191	29
6	306	29
7	605	29
8	972	29
9	1630	29
10	2236	29
11	2501	29
done	2501	29
0	15	15
1	29	15
2	55	15
3	96	15
4	130	15
5	188	15
6	302	15
7	601	15
8	970	15
9	1624	15
10	2234	15
11	2487	15
done	2487	15
0	15	15
1	29	15
2	55	15
3	96	15
4	130	15
5	188	15
6	302	15
7	601	15
8	970	15
9	1624	15
10	2234	15
11	2487	15
done	2487	15
0	15	15
1	29	15
2	55	15
3	96	15
4	130	15
5	188	15
6	302	15
7	601	15
8	970	15
9	1624	15
10	2234	15
11	2487	15
done	2487	15
0	2	3
1	4	1
done	4	1
0	14	14
1	28	14
2	54	14
3	95	14
4	129	14
5	187	14
6	302	14
7	603	14
8	972	14
9	1627	14
10	2235	14
11	2500	14
done	2500	14
0	2	3
1	4	1
done	4	1
0	14	14
1	28	14
2	54	14
3	95	14
4	129	14
5	187	14
6	302	14
7	603	14
8	972	14
9	1627	14
10	2235	14
11	2500	14
done	2500	14
0	14	14
1	28	14
2	54	14
3	95	14
4	129	14
5	187	14
6	302	14
7	603	14
8	972	14
9	1627	14
10	2235	14
11	2500	14
done	2500	14
0	14	14
1	28	12
2	56	12
3	97	12
4	129	12
5	187	12
6	301	12
7	599	12
8	969	12
9	1632	12
10	2249	12
11	2514	12
done	2514	12
0	16	29
1	32	29
2	58	29
3	99	29
4	133	29
5	191	29
6	306	29
7	605	29
8	972	29
9	1630	29
10	2236	29
11	2501	29
done	2501	29
0	15	15
1	29	15
2	55	15
3	96	15
4	130	15
5	188	15
6	302	15
7	601	15
8	970	15
9	1624	15
10	2234	15
11	2487	15
done	2487	15
0	2	3
1	4	1
done	4	1
0	2	3
1	4	1
done	4	1
0	15	15
1	29	14
2	55	14
3	96	14
4	130	14
5	188	14
6	302	14
7	601	14
8	970	14
9	1620	14
10	2236	14
11	2523	14
done	2523	14
0	15	15
1	29	14
2	55	14
3	96	14
4	130	14
5	188	14
6	302	14
7	601	14
8	970	14
9	1620	14
10	2236	14
11	2523	14
done	2523	14
0	14	14
1	28	12
2	56	12
3	97	12
4	129	12
5	187	12
6	301	12
7	599	12
8	969	12
9	1632	12
10	2249	12
11	2514	12
done	2514	12
0	17	18
1	44	18
2	81	18
3	164	18
4	335	18
5	906	18
6	3037	18
done	5000	18
0	16	27
1	36	26
2	77	18
3	172	18
4	392	18
5	845	18
6	2082	18
done	5001	18
0	16	16
1	33	16
2	62	14
3	106	14
4	147	14
5	206	14
6	321	14
7	618	14
8	989	14
9	1652	14
10	2269	14
11	2506	14
done	2506	14
0	17	17
1	31	16
2	57	16
3	98	16
4	135	16
5	195	16
6	310	16
7	611	16
8	979	16
9	1633	16
10	2242	16
11	2511	16
done	2511	16
0	18	18
1	35	17
2	71	16
3	123	16
4	172	16
5	256	16
6	372	16
7	680	16
8	1059	16
9	1718	16
10	2328	16
11	2605	16
done	2605	16
0	19	19
1	38	18
2	71	16
3	131	16
4	181	16
5	264	16
6	383	16
7	691	16
8	1081	16
9	1743	16
10	2367	16
11	2591	16
done	2591	16
0	18	18
1	37	17
2	69	16
3	123	16
4	165	16
5	255	16
6	386	16
7	692	16
8	1075	16
9	1720	16
10	2325	16
11	2546	16
done	2546	16
0	17	17
1	37	17
2	72	15
3	119	15
4	173	15
5	243	15
6	388	15
7	692	15
8	1075	15
9	1723	15
10	2341	15
11	2583	15
done	2583	15
0	17	17
1	36	17
2	71	15
3	123	15
4	205	15
5	366	15
6	759	15
7	2054	15
done	5001	15
0	22	50
1	62	46
2	164	18
3	471	18
4	1185	18
5	2964	16
done	5000	16
0	20	50
1	47	50
2	122	20
3	296	20
4	619	16
5	1248	16
6	2970	16
done	5000	16
0	18	35
1	35	35
2	64	31
3	106	31
4	145	31
5	204	31
6	319	31
7	615	31
8	985	31
9	1638	31
10	2249	31
11	2482	31
done	2482	31
0	17	17
1	34	17
2	63	15
3	105	15
4	146	15
5	205	15
6	320	15
7	618	15
8	989	15
9	1651	15
10	2263	15
11	2489	15
done	2489	15
0	18	50
1	45	50
2	125	16
3	288	16
4	544	16
5	878	16
6	1922	16
done	5000	16
0	17	17
1	34	17
2	63	15
3	105	15
4	146	15
5	205	15
6	320	15
7	618	15
8	989	15
9	1651	15
10	2263	15
11	2489	15
done	2489	15
0	17	17
1	34	17
2	63	15
3	105	15
4	146	15
5	205	15
6	320	15
7	618	15
8	989	15
9	1651	15
10	2263	15
11	2489	15
done	2489	15
0	18	18
1	33	18
2	59	18
3	102	18
4	132	18
5	190	18
6	303	18
7	602	18
8	973	18
9	1633	18
10	2252	18
11	2513	18
done	2513	18
0	18	18
1	33	18
2	59	18
3	102	18
4	132	18
5	190	18
6	303	18
7	602	18
8	973	18
9	1633	18
10	2252	18
11	2513	18
done	2513	18
0	19	19
1	36	18
2	65	18
3	112	16
4	153	16
5	211	16
6	324	16
7	620	16
8	990	16
9	1640	16
10	2258	16
11	2496	16
done	2496	16
0	19	19
1	36	18
2	65	18
3	112	16
4	153	16
5	211	16
6	324	16
7	620	16
8	990	16
9	1640	16
10	2258	16
11	2496	16
done	2496	16
0	18	18
1	35	18
2	64	16
3	120	16
4	153	16
5	211	16
6	324	16
7	620	16
8	991	16
9	1643	16
10	2257	16
11	2498	16
done	2498	16
0	18	18
1	35	18
2	64	16
3	120	16
4	153	16
5	211	16
6	324	16
7	620	16
8	991	16
9	1643	16
10	2257	16
11	2498	16
done	2498	16
0	18	33
1	35	33
2	63	33
3	104	33
4	140	33
5	198	33
6	313	33
7	612	33
8	981	33
9	1625	33
10	2245	33
11	2499	33
done	2499	33
0	17	17
1	32	17
2	58	17
3	99	17
4	131	17
5	189	17
6	303	17
7	604	17
8	971	17
9	1624	17
10	2233	17
11	2484	17
done	2484	17
0	20	35
1	43	33
2	98	31
3	175	29
4	215	29
5	274	29
6	387	29
7	683	29
8	1053	29
9	1702	29
10	2313	29
11	2576	29
done	2576	29
0	19	21
1	38	19
2	74	17
3	130	15
4	161	15
5	219	15
6	332	15
7	628	15
8	998	15
9	1650	15
10	2261	15
11	2525	15
done	2525	15
0	6	9
1	13	5
2	28	3
3	32	1
4	33	1
done	33	1
0	6	9
1	13	5
2	28	3
3	32	1
4	33	1
done	33	1
0	19	32
1	38	31
2	75	31
3	129	29
4	184	29
5	254	29
6	367	29
7	663	29
8	1033	29
9	1692	29
10	2301	29
11	2567	29
done	2567	29
0	18	18
1	35	17
2	64	17
3	109	15
4	145	15
5	204	15
6	317	15
7	613	15
8	984	15
9	1635	15
10	2238	15
11	2461	15
done	2461	15
0	5	6
1	10	3
2	15	1
done	15	1
0	5	6
1	10	3
2	15	1
done	15	1
0	18	31
1	37	31
2	73	29
3	124	29
4	178	29
5	267	29
6	387	29
7	685	29
8	1054	29
9	1702	29
10	2306	29
11	2549	29
done	2549	29
0	17	17
1	34	17
2	63	15
3	105	15
4	146	15
5	205	15
6	320	15
7	618	15
8	988	15
9	1650	15
10	2261	15
11	2501	15
done	2501	15
0	4	5
1	9	3
2	14	1
done	14	1
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	19	20
1	49	20
2	89	18
3	173	18
4	347	18
5	926	18
6	3045	18
done	5000	18
0	18	29
1	41	28
2	89	18
3	202	18
4	460	18
5	1054	18
6	2652	18
done	5000	18
0	17	17
1	34	17
2	63	15
3	119	15
4	152	15
5	210	15
6	323	15
7	619	15
8	988	15
9	1635	15
10	2246	15
11	2496	15
done	2496	15
0	17	17
1	34	17
2	63	15
3	119	15
4	152	15
5	210	15
6	323	15
7	619	15
8	988	15
9	1635	15
10	2246	15
11	2496	15
done	2496	15
0	16	16
1	33	16
2	62	14
3	106	14
4	147	14
5	206	14
6	321	14
7	618	14
8	989	14
9	1652	14
10	2269	14
11	2506	14
done	2506	14
0	3	3
1	6	1
done	6	1
0	16	16
1	32	16
2	66	16
3	137	16
4	275	16
5	496	16
6	886	16
7	1506	16
8	2097	16
9	2173	16
done	2173	16
0	15	15
1	32	15
2	67	15
3	139	15
4	277	15
5	497	15
6	886	15
7	1495	15
8	2081	15
9	2157	15
done	2157	15
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	487	15
6	879	15
7	1493	15
8	2094	15
9	2164	15
done	2164	15
0	18	44
1	53	44
2	148	18
3	372	16
4	967	16
5	3808	16
done	5001	16
0	16	31
1	30	31
2	63	31
3	134	31
4	271	31
5	491	31
6	882	31
7	1497	31
8	2111	31
9	2183	31
done	2183	31
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	487	15
6	879	15
7	1493	15
8	2094	15
9	2164	15
done	2164	15
0	16	44
1	37	44
2	86	16
3	195	16
4	412	16
5	831	16
6	2273	16
done	5000	16
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	487	15
6	879	15
7	1493	15
8	2094	15
9	2164	15
done	2164	15
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	487	15
6	879	15
7	1493	15
8	2094	15
9	2164	15
done	2164	15
0	2	2
done	2	2
0	13	13
1	30	13
2	65	13
3	139	13
4	281	13
5	528	13
6	1052	13
7	2051	13
8	3519	13
9	4299	13
10	4424	13
done	4424	13
0	18	33
1	38	33
2	80	33
3	157	33
4	293	33
5	514	33
6	908	33
7	1515	33
8	2110	33
9	2177	33
done	2177	33
0	16	16
1	30	16
2	63	16
3	134	16
4	272	16
5	488	16
6	880	16
7	1492	16
8	2097	16
9	2164	16
done	2164	16
0	17	19
1	33	19
2	68	19
3	140	19
4	278	19
5	498	19
6	892	19
7	1507	19
8	2115	19
9	2196	19
done	2196	19
0	16	16
1	30	16
2	63	16
3	134	16
4	272	16
5	488	16
6	880	16
7	1492	16
8	2097	16
9	2164	16
done	2164	16
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	488	15
6	877	15
7	1492	15
8	2085	15
9	2163	15
done	2163	15
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	488	15
6	877	15
7	1492	15
8	2085	15
9	2163	15
done	2163	15
0	17	30
1	33	30
2	66	30
3	137	30
4	275	30
5	495	30
6	888	30
7	1503	30
8	2109	30
9	2175	30
done	2175	30
0	16	16
1	30	16
2	63	16
3	134	16
4	272	16
5	488	16
6	880	16
7	1492	16
8	2097	16
9	2164	16
done	2164	16
0	16	16
1	30	16
2	63	16
3	134	16
4	272	16
5	488	16
6	880	16
7	1492	16
8	2097	16
9	2164	16
done	2164	16
0	16	16
1	30	16
2	63	16
3	134	16
4	272	16
5	488	16
6	880	16
7	1492	16
8	2097	16
9	2164	16
done	2164	16
0	4	4
1	6	2
2	8	2
done	8	2
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	488	15
6	877	15
7	1492	15
8	2085	15
9	2163	15
done	2163	15
0	4	4
1	6	2
2	8	2
done	8	2
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	488	15
6	877	15
7	1492	15
8	2085	15
9	2163	15
done	2163	15
0	16	29
1	34	29
2	67	29
3	138	29
4	275	29
5	493	29
6	886	29
7	1495	29
8	2081	29
9	2147	29
done	2147	29
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	487	15
6	879	15
7	1493	15
8	2094	15
9	2164	15
done	2164	15
0	15	15
1	31	15
2	64	15
3	135	15
4	270	15
5	486	15
6	880	15
7	1493	15
8	2103	15
9	2177	15
done	2177	15
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	487	15
6	879	15
7	1493	15
8	2094	15
9	2164	15
done	2164	15
0	2	3
1	4	1
done	4	1
0	14	14
1	28	14
2	61	14
3	132	14
4	270	14
5	488	14
6	879	14
7	1493	14
8	2080	14
9	2152	14
done	2152	14
0	2	3
1	4	1
done	4	1
0	14	14
1	28	14
2	61	14
3	132	14
4	270	14
5	488	14
6	879	14
7	1493	14
8	2080	14
9	2152	14
done	2152	14
0	14	14
1	30	14
2	63	14
3	134	14
4	270	14
5	486	14
6	877	14
7	1489	14
8	2101	14
9	2178	14
done	2178	14
0	14	14
1	28	14
2	61	14
3	132	14
4	270	14
5	491	14
6	881	14
7	1496	14
8	2082	14
9	2157	14
done	2157	14
0	16	29
1	32	29
2	65	29
3	136	29
4	272	29
5	490	29
6	880	29
7	1490	29
8	2090	29
9	2156	29
done	2156	29
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	487	15
6	879	15
7	1493	15
8	2094	15
9	2164	15
done	2164	15
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	15	15
1	29	15
2	62	15
3	133	15
4	270	15
5	487	15
6	878	15
7	1492	15
8	2100	15
9	2171	15
done	2171	15
0	15	15
1	29	15
2	62	15
3	133	15
4	270	15
5	487	15
6	878	15
7	1492	15
8	2100	15
9	2171	15
done	2171	15
0	14	14
1	28	14
2	61	14
3	132	14
4	270	14
5	491	14
6	881	14
7	1496	14
8	2082	14
9	2157	14
done	2157	14
0	17	18
1	44	18
2	88	18
3	199	18
4	556	18
5	2565	18
done	5000	18
0	16	27
1	36	26
2	84	18
3	211	18
4	620	18
5	2365	18
done	5000	18
0	1	1
1	3	1
done	3	1
0	14	17
1	27	17
2	65	17
3	174	17
4	307	17
5	425	17
6	694	17
7	1250	17
8	1967	17
9	2234	17
10	2658	17
11	2661	17
done	2661	17
0	14	17
1	27	17
2	65	17
3	174	17
4	307	17
5	425	17
6	694	17
7	1250	17
8	1967	17
9	2234	17
10	2658	17
11	2661	17
done	2661	17
0	1	1
done	1	1
0	19	25
1	44	23
2	103	21
3	261	19
4	639	17
5	1519	13
6	3526	13
done	5000	13
0	19	25
1	44	23
2	103	21
3	261	19
4	639	17
5	1519	13
6	3526	13
done	5000	13
0	3	3
1	4	3
done	4	3
0	25	35
1	60	33
2	160	31
3	385	27
4	1064	21
5	2935	17
done	5000	17
0	25	35
1	60	33
2	160	31
3	385	27
4	1064	21
5	2935	17
done	5000	17
0	3	3
1	4	3
done	4	3
0	25	35
1	63	33
2	154	31
3	387	25
4	1031	21
5	2833	17
done	5000	17
0	25	35
1	63	33
2	154	31
3	387	25
4	1031	21
5	2833	17
done	5000	17

prune218.0ms

Filtered

102 candidates to 157 candidates (-53.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	157	0	157
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	157	4	161

Merged error: 0.0b

Counts

161 → 4

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))
0.2b	(* (sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0))) (sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0))))
0.2b	(sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0)))
0.2b	(sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0)))

rewrite127.0ms

Algorithm

rewrite-expression-head

Rules

152×	`*-un-lft-identity`
134×	`sqrt-prod`
113×	`times-frac`
111×	`add-sqr-sqrt`
71×	`add-cube-cbrt`
29×	`swap-sqr`
25×	`exp-prod`
24×	`distribute-lft-out`
21×	`pow1` `associate-r` `associate-l`
18×	`distribute-lft-out--`
12×	`associate-/r/`
10×	`sqrt-pow1` `pow1/2`
9×	`unswap-sqr`
7×	`div-inv`
6×	`add-exp-log` `flip3-+` `sqrt-div` `add-cbrt-cube` `flip-+`
5×	`pow-prod-up` `add-log-exp`
4×	`rem-sqrt-square`
3×	`pow-prod-down` `pow-sqr` `difference-of-squares`
1×	`pow2` `frac-times` `pow-plus` `exp-diff` `sqrt-unprod` `div-sub` `associate-r/` `associate-l/` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod` `rem-exp-log`

Counts

4 → 202

Calls

4 calls:

14.0ms	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))
60.0ms	(* (sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0))) (sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0))))
20.0ms	(sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0)))
21.0ms	(sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0)))

series336.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))
94.0ms	(* (sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0))) (sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0))))
109.0ms	(sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0)))
106.0ms	(sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0)))

simplify11.5min

Counts

214 → 214

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	16	16
1	30	16
2	63	16
3	134	16
4	271	16
5	491	16
6	882	16
7	1497	16
8	2111	16
9	2183	16
done	2183	16
0	16	16
1	30	16
2	63	16
3	134	16
4	271	16
5	491	16
6	882	16
7	1497	16
8	2111	16
9	2183	16
done	2183	16
0	17	33
1	31	33
2	64	33
3	135	33
4	271	33
5	489	33
6	882	33
7	1495	33
8	2088	33
9	2156	33
done	2156	33
0	16	16
1	30	16
2	63	16
3	134	16
4	271	16
5	491	16
6	882	16
7	1497	16
8	2111	16
9	2183	16
done	2183	16
0	17	47
1	32	30
2	72	17
3	152	17
4	297	17
5	527	17
6	938	17
7	1605	17
8	2433	17
9	3446	17
done	5001	17
0	17	32
1	32	16
2	65	16
3	136	16
4	272	16
5	492	16
6	885	16
7	1497	16
8	2084	16
9	2152	16
done	2152	16
0	16	16
1	30	16
2	63	16
3	134	16
4	271	16
5	491	16
6	882	16
7	1497	16
8	2111	16
9	2183	16
done	2183	16
0	16	16
1	30	16
2	63	16
3	134	16
4	271	16
5	491	16
6	882	16
7	1497	16
8	2111	16
9	2183	16
done	2183	16
0	16	16
1	30	16
2	63	16
3	134	16
4	271	16
5	491	16
6	882	16
7	1497	16
8	2111	16
9	2183	16
done	2183	16
0	19	34
1	39	34
2	82	17
3	159	17
4	297	17
5	517	17
6	908	17
7	1529	17
8	2149	17
9	2223	17
done	2223	17
0	17	17
1	31	17
2	64	17
3	135	17
4	271	17
5	490	17
6	881	17
7	1497	17
8	2084	17
9	2159	17
done	2159	17
0	18	20
1	34	20
2	69	20
3	141	20
4	277	20
5	497	20
6	891	20
7	1505	20
8	2095	20
9	2167	20
done	2167	20
0	17	17
1	31	17
2	64	17
3	135	17
4	271	17
5	490	17
6	881	17
7	1497	17
8	2084	17
9	2159	17
done	2159	17
0	6	8
1	10	6
2	17	3
3	22	3
done	22	3
0	16	16
1	30	16
2	63	16
3	134	16
4	272	16
5	488	16
6	880	16
7	1492	16
8	2097	16
9	2164	16
done	2164	16
0	6	8
1	10	6
2	17	3
3	22	3
done	22	3
0	16	16
1	30	16
2	63	16
3	134	16
4	272	16
5	488	16
6	880	16
7	1492	16
8	2097	16
9	2164	16
done	2164	16
0	18	31
1	34	31
2	67	31
3	138	31
4	276	31
5	496	31
6	890	31
7	1507	31
8	2099	31
9	2174	31
done	2174	31
0	17	17
1	31	17
2	64	17
3	135	17
4	271	17
5	490	17
6	881	17
7	1497	17
8	2084	17
9	2159	17
done	2159	17
0	17	17
1	31	17
2	64	17
3	135	17
4	271	17
5	490	17
6	881	17
7	1497	17
8	2084	17
9	2159	17
done	2159	17
0	17	17
1	31	17
2	64	17
3	135	17
4	271	17
5	490	17
6	881	17
7	1497	17
8	2084	17
9	2159	17
done	2159	17
0	5	5
1	7	3
2	9	3
done	9	3
0	16	16
1	30	16
2	63	16
3	134	16
4	272	16
5	488	16
6	880	16
7	1492	16
8	2097	16
9	2164	16
done	2164	16
0	5	5
1	7	3
2	9	3
done	9	3
0	16	16
1	30	16
2	63	16
3	134	16
4	272	16
5	488	16
6	880	16
7	1492	16
8	2097	16
9	2164	16
done	2164	16
0	17	30
1	35	30
2	68	30
3	139	30
4	276	30
5	493	30
6	888	30
7	1497	30
8	2083	30
9	2154	30
done	2154	30
0	16	16
1	30	16
2	63	16
3	134	16
4	271	16
5	491	16
6	882	16
7	1497	16
8	2111	16
9	2183	16
done	2183	16
0	16	16
1	32	16
2	65	16
3	136	16
4	271	16
5	488	16
6	881	16
7	1491	16
8	2077	16
9	2149	16
done	2149	16
0	16	16
1	30	16
2	63	16
3	134	16
4	271	16
5	491	16
6	882	16
7	1497	16
8	2111	16
9	2183	16
done	2183	16
0	3	4
1	5	1
done	5	1
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	487	15
6	879	15
7	1493	15
8	2094	15
9	2164	15
done	2164	15
0	3	4
1	5	1
done	5	1
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	487	15
6	879	15
7	1493	15
8	2094	15
9	2164	15
done	2164	15
0	2	2
1	4	1
done	4	1
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	487	15
6	879	15
7	1493	15
8	2094	15
9	2164	15
done	2164	15
0	2	2
done	2	2
0	15	15
1	31	15
2	64	15
3	135	15
4	270	15
5	486	15
6	880	15
7	1493	15
8	2103	15
9	2177	15
done	2177	15
0	18	19
1	45	19
2	89	19
3	200	19
4	553	19
5	2570	19
done	5000	19
0	17	39
1	40	36
2	94	28
3	227	28
4	664	28
5	2669	28
done	5000	28
0	17	28
1	37	27
2	85	19
3	212	19
4	622	19
5	2373	19
done	5000	19
0	13	13
1	28	13
2	62	13
3	133	13
4	269	13
5	486	13
6	876	13
7	1489	13
8	2102	13
9	2173	13
done	2173	13
0	2	2
done	2	2
0	13	13
1	27	13
2	60	13
3	131	13
4	268	13
5	487	13
6	878	13
7	1489	13
8	2090	13
9	2166	13
done	2166	13
0	3	3
1	6	1
done	6	1
0	16	16
1	30	16
2	63	16
3	134	16
4	271	16
5	491	16
6	882	16
7	1497	16
8	2111	16
9	2183	16
done	2183	16
0	16	16
1	30	16
2	63	16
3	134	16
4	271	16
5	491	16
6	882	16
7	1497	16
8	2111	16
9	2183	16
done	2183	16
0	16	16
1	30	16
2	63	16
3	134	16
4	271	16
5	491	16
6	882	16
7	1497	16
8	2111	16
9	2183	16
done	2183	16
0	16	16
1	30	16
2	63	16
3	134	16
4	271	16
5	491	16
6	882	16
7	1497	16
8	2111	16
9	2183	16
done	2183	16
0	17	33
1	31	33
2	64	33
3	135	33
4	271	33
5	489	33
6	882	33
7	1495	33
8	2088	33
9	2156	33
done	2156	33
0	16	16
1	30	16
2	63	16
3	134	16
4	271	16
5	491	16
6	882	16
7	1497	16
8	2111	16
9	2183	16
done	2183	16
0	17	47
1	32	30
2	72	17
3	152	17
4	297	17
5	527	17
6	938	17
7	1605	17
8	2433	17
9	3446	17
done	5001	17
0	17	32
1	32	16
2	65	16
3	136	16
4	272	16
5	492	16
6	885	16
7	1497	16
8	2084	16
9	2152	16
done	2152	16
0	16	16
1	30	16
2	63	16
3	134	16
4	271	16
5	491	16
6	882	16
7	1497	16
8	2111	16
9	2183	16
done	2183	16
0	16	16
1	30	16
2	63	16
3	134	16
4	271	16
5	491	16
6	882	16
7	1497	16
8	2111	16
9	2183	16
done	2183	16
0	16	16
1	30	16
2	63	16
3	134	16
4	271	16
5	491	16
6	882	16
7	1497	16
8	2111	16
9	2183	16
done	2183	16
0	19	34
1	39	34
2	82	17
3	159	17
4	297	17
5	517	17
6	908	17
7	1529	17
8	2149	17
9	2223	17
done	2223	17
0	17	17
1	31	17
2	64	17
3	135	17
4	271	17
5	490	17
6	881	17
7	1497	17
8	2084	17
9	2159	17
done	2159	17
0	18	20
1	34	20
2	69	20
3	141	20
4	277	20
5	497	20
6	891	20
7	1505	20
8	2095	20
9	2167	20
done	2167	20
0	17	17
1	31	17
2	64	17
3	135	17
4	271	17
5	490	17
6	881	17
7	1497	17
8	2084	17
9	2159	17
done	2159	17
0	6	8
1	10	6
2	17	3
3	22	3
done	22	3
0	16	16
1	30	16
2	63	16
3	134	16
4	272	16
5	488	16
6	880	16
7	1492	16
8	2097	16
9	2164	16
done	2164	16
0	6	8
1	10	6
2	17	3
3	22	3
done	22	3
0	16	16
1	30	16
2	63	16
3	134	16
4	272	16
5	488	16
6	880	16
7	1492	16
8	2097	16
9	2164	16
done	2164	16
0	18	31
1	34	31
2	67	31
3	138	31
4	276	31
5	496	31
6	890	31
7	1507	31
8	2099	31
9	2174	31
done	2174	31
0	17	17
1	31	17
2	64	17
3	135	17
4	271	17
5	490	17
6	881	17
7	1497	17
8	2084	17
9	2159	17
done	2159	17
0	17	17
1	31	17
2	64	17
3	135	17
4	271	17
5	490	17
6	881	17
7	1497	17
8	2084	17
9	2159	17
done	2159	17
0	17	17
1	31	17
2	64	17
3	135	17
4	271	17
5	490	17
6	881	17
7	1497	17
8	2084	17
9	2159	17
done	2159	17
0	5	5
1	7	3
2	9	3
done	9	3
0	16	16
1	30	16
2	63	16
3	134	16
4	272	16
5	488	16
6	880	16
7	1492	16
8	2097	16
9	2164	16
done	2164	16
0	5	5
1	7	3
2	9	3
done	9	3
0	16	16
1	30	16
2	63	16
3	134	16
4	272	16
5	488	16
6	880	16
7	1492	16
8	2097	16
9	2164	16
done	2164	16
0	17	30
1	35	30
2	68	30
3	139	30
4	276	30
5	493	30
6	888	30
7	1497	30
8	2083	30
9	2154	30
done	2154	30
0	16	16
1	30	16
2	63	16
3	134	16
4	271	16
5	491	16
6	882	16
7	1497	16
8	2111	16
9	2183	16
done	2183	16
0	16	16
1	32	16
2	65	16
3	136	16
4	271	16
5	488	16
6	881	16
7	1491	16
8	2077	16
9	2149	16
done	2149	16
0	16	16
1	30	16
2	63	16
3	134	16
4	271	16
5	491	16
6	882	16
7	1497	16
8	2111	16
9	2183	16
done	2183	16
0	3	4
1	5	1
done	5	1
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	487	15
6	879	15
7	1493	15
8	2094	15
9	2164	15
done	2164	15
0	3	4
1	5	1
done	5	1
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	487	15
6	879	15
7	1493	15
8	2094	15
9	2164	15
done	2164	15
0	2	2
1	4	1
done	4	1
0	15	15
1	29	15
2	62	15
3	133	15
4	269	15
5	487	15
6	879	15
7	1493	15
8	2094	15
9	2164	15
done	2164	15
0	2	2
done	2	2
0	15	15
1	31	15
2	64	15
3	135	15
4	270	15
5	486	15
6	880	15
7	1493	15
8	2103	15
9	2177	15
done	2177	15
0	18	19
1	45	19
2	89	19
3	200	19
4	553	19
5	2570	19
done	5000	19
0	17	39
1	40	36
2	94	28
3	227	28
4	664	28
5	2669	28
done	5000	28
0	17	28
1	37	27
2	85	19
3	212	19
4	622	19
5	2373	19
done	5000	19
0	13	13
1	28	13
2	62	13
3	133	13
4	269	13
5	486	13
6	876	13
7	1489	13
8	2102	13
9	2173	13
done	2173	13
0	2	2
done	2	2
0	13	13
1	27	13
2	60	13
3	131	13
4	268	13
5	487	13
6	878	13
7	1489	13
8	2090	13
9	2166	13
done	2166	13
0	3	3
1	6	1
done	6	1
0	16	16
1	30	16
2	63	16
3	134	16
4	271	16
5	491	16
6	882	16
7	1497	16
8	2111	16
9	2183	16
done	2183	16
0	16	16
1	30	16
2	63	16
3	134	16
4	271	16
5	491	16
6	882	16
7	1497	16
8	2111	16
9	2183	16
done	2183	16
0	2	3
1	5	1
2	7	1
done	7	1
0	5	5
1	8	1
done	8	1
0	2	3
1	6	1
done	6	1
0	5	5
1	8	3
done	8	1
0	4	7
1	8	3
2	9	1
done	9	1
0	15	29
1	33	29
2	72	29
3	150	29
4	308	29
5	592	29
6	1438	29
7	4538	29
done	5001	29
0	16	31
1	30	14
2	64	14
3	135	14
4	271	14
5	488	14
6	881	14
7	1490	14
8	2084	14
9	2159	14
done	2159	14
0	15	29
1	33	29
2	72	29
3	150	29
4	308	29
5	592	29
6	1438	29
7	4538	29
done	5001	29
0	2	3
1	6	1
done	6	1
0	17	33
1	33	18
2	67	18
3	138	18
4	276	18
5	498	18
6	888	18
7	1506	18
8	2102	18
9	2180	18
done	2180	18
0	17	32
1	33	15
2	72	15
3	146	15
4	285	15
5	501	15
6	894	15
7	1503	15
8	2103	15
9	2169	15
done	2169	15
0	17	32
1	33	15
2	71	15
3	147	15
4	301	15
5	562	15
6	1056	15
7	2036	15
8	4286	15
done	5000	15
0	18	95
1	39	44
2	96	35
3	224	16
4	483	16
5	1054	16
6	2327	16
done	5000	16
0	18	65
1	32	31
2	66	31
3	137	31
4	273	31
5	492	31
6	884	31
7	1490	31
8	2084	31
9	2152	31
done	2152	31
0	17	32
1	31	15
2	65	15
3	136	15
4	272	15
5	488	15
6	880	15
7	1492	15
8	2109	15
9	2175	15
done	2175	15
0	18	95
1	40	44
2	95	16
3	225	16
4	490	16
5	1095	16
6	2483	16
done	5001	16
0	15	29
1	33	29
2	72	29
3	150	29
4	308	29
5	592	29
6	1438	29
7	4538	29
done	5001	29
0	17	32
1	32	15
2	65	15
3	136	15
4	272	15
5	492	15
6	885	15
7	1496	15
8	2094	15
9	2162	15
done	2162	15
0	17	32
1	32	15
2	65	15
3	136	15
4	272	15
5	492	15
6	885	15
7	1496	15
8	2094	15
9	2162	15
done	2162	15
0	3	5
done	3	1
0	14	27
1	28	12
2	62	12
3	133	12
4	269	12
5	486	12
6	877	12
7	1489	12
8	2087	12
9	2156	12
done	2156	12
0	18	67
1	36	67
2	71	35
3	151	18
4	301	18
5	541	18
6	1008	18
7	1828	18
8	3333	18
done	5001	18
0	17	33
1	31	33
2	64	33
3	135	33
4	271	33
5	489	33
6	882	33
7	1495	33
8	2088	33
9	2156	33
done	2156	33
0	18	65
1	33	31
2	67	31
3	138	31
4	276	31
5	498	31
6	890	31
7	1504	31
8	2120	31
9	2193	31
done	2193	31
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	488	15
6	880	15
7	1492	15
8	2106	15
9	2172	15
done	2172	15
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	488	15
6	880	15
7	1492	15
8	2106	15
9	2172	15
done	2172	15
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	488	15
6	880	15
7	1492	15
8	2106	15
9	2172	15
done	2172	15
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	488	15
6	880	15
7	1492	15
8	2106	15
9	2172	15
done	2172	15
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	488	15
6	880	15
7	1492	15
8	2106	15
9	2172	15
done	2172	15
0	20	69
1	40	33
2	84	33
3	161	33
4	295	33
5	514	33
6	903	33
7	1523	33
8	2126	33
9	2195	33
done	2195	33
0	18	35
1	32	16
2	66	16
3	137	16
4	275	16
5	496	16
6	891	16
7	1502	16
8	2097	16
9	2163	16
done	2163	16
0	19	41
1	35	19
2	71	19
3	143	19
4	281	19
5	501	19
6	894	19
7	1505	19
8	2086	19
9	2152	19
done	2152	19
0	18	35
1	32	16
2	66	16
3	137	16
4	275	16
5	496	16
6	891	16
7	1502	16
8	2097	16
9	2163	16
done	2163	16
0	7	17
1	11	5
2	21	5
3	30	5
4	35	5
done	35	5
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	492	15
6	884	15
7	1493	15
8	2083	15
9	2154	15
done	2154	15
0	7	17
1	11	5
2	21	5
3	30	5
4	35	5
done	35	5
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	492	15
6	884	15
7	1493	15
8	2083	15
9	2154	15
done	2154	15
0	7	17
1	11	5
2	21	5
3	30	5
4	35	5
done	35	5
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	492	15
6	884	15
7	1493	15
8	2083	15
9	2154	15
done	2154	15
0	7	17
1	11	5
2	21	5
3	30	5
4	35	5
done	35	5
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	492	15
6	884	15
7	1493	15
8	2083	15
9	2154	15
done	2154	15
0	19	63
1	35	30
2	69	30
3	140	30
4	278	30
5	498	30
6	889	30
7	1495	30
8	2099	30
9	2172	30
done	2172	30
0	18	35
1	32	16
2	66	16
3	137	16
4	275	16
5	496	16
6	891	16
7	1502	16
8	2097	16
9	2163	16
done	2163	16
0	18	35
1	32	16
2	66	16
3	137	16
4	275	16
5	496	16
6	891	16
7	1502	16
8	2097	16
9	2163	16
done	2163	16
0	18	35
1	32	16
2	66	16
3	137	16
4	275	16
5	496	16
6	891	16
7	1502	16
8	2097	16
9	2163	16
done	2163	16
0	6	11
1	8	2
2	13	2
3	17	2
4	22	2
done	22	2
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	492	15
6	884	15
7	1493	15
8	2083	15
9	2154	15
done	2154	15
0	6	11
1	8	2
2	13	2
3	17	2
4	22	2
done	22	2
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	492	15
6	884	15
7	1493	15
8	2083	15
9	2154	15
done	2154	15
0	6	11
1	8	2
2	13	2
3	17	2
4	22	2
done	22	2
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	492	15
6	884	15
7	1493	15
8	2083	15
9	2154	15
done	2154	15
0	6	11
1	8	2
2	13	2
3	17	2
4	22	2
done	22	2
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	492	15
6	884	15
7	1493	15
8	2083	15
9	2154	15
done	2154	15
0	18	61
1	36	29
2	70	29
3	141	29
4	276	29
5	493	29
6	884	29
7	1495	29
8	2064	29
9	2130	29
done	2130	29
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	488	15
6	880	15
7	1492	15
8	2106	15
9	2172	15
done	2172	15
0	17	33
1	33	15
2	67	15
3	138	15
4	275	15
5	495	15
6	886	15
7	1497	15
8	2088	15
9	2161	15
done	2161	15
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	488	15
6	880	15
7	1492	15
8	2106	15
9	2172	15
done	2172	15
0	4	9
1	6	1
done	6	1
0	16	31
1	30	14
2	64	14
3	135	14
4	271	14
5	488	14
6	881	14
7	1490	14
8	2084	14
9	2159	14
done	2159	14
0	4	9
1	6	1
done	6	1
0	16	31
1	30	14
2	64	14
3	135	14
4	271	14
5	488	14
6	881	14
7	1490	14
8	2084	14
9	2159	14
done	2159	14
0	4	9
1	6	1
done	6	1
0	16	31
1	30	14
2	64	14
3	135	14
4	271	14
5	488	14
6	881	14
7	1490	14
8	2084	14
9	2159	14
done	2159	14
0	4	9
1	6	1
done	6	1
0	16	31
1	30	14
2	64	14
3	135	14
4	271	14
5	488	14
6	881	14
7	1490	14
8	2084	14
9	2159	14
done	2159	14
0	3	5
1	5	1
done	5	1
0	16	31
1	30	14
2	64	14
3	135	14
4	271	14
5	488	14
6	881	14
7	1490	14
8	2084	14
9	2159	14
done	2159	14
0	3	5
done	3	1
0	16	31
1	32	14
2	66	14
3	137	14
4	272	14
5	488	14
6	880	14
7	1489	14
8	2076	14
9	2149	14
done	2149	14
0	19	39
1	46	18
2	91	18
3	202	18
4	559	18
5	2564	18
done	5001	18
0	18	79
1	41	35
2	96	27
3	229	27
4	664	27
5	2663	27
done	5000	27
0	18	57
1	38	26
2	87	18
3	214	18
4	624	18
5	2365	18
done	5000	18
0	14	27
1	29	12
2	64	12
3	135	12
4	270	12
5	489	12
6	881	12
7	1490	12
8	2077	12
9	2148	12
done	2148	12
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	488	15
6	880	15
7	1492	15
8	2106	15
9	2172	15
done	2172	15
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	488	15
6	880	15
7	1492	15
8	2106	15
9	2172	15
done	2172	15
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	488	15
6	880	15
7	1492	15
8	2106	15
9	2172	15
done	2172	15
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	488	15
6	880	15
7	1492	15
8	2106	15
9	2172	15
done	2172	15
0	2	3
1	4	1
done	4	1
0	16	31
1	30	14
2	64	14
3	135	14
4	271	14
5	488	14
6	881	14
7	1490	14
8	2084	14
9	2159	14
done	2159	14
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	488	15
6	880	15
7	1492	15
8	2106	15
9	2172	15
done	2172	15
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	488	15
6	880	15
7	1492	15
8	2106	15
9	2172	15
done	2172	15
0	21	34
1	36	34
2	69	34
3	140	34
4	278	34
5	497	34
6	889	34
7	1496	34
8	2095	34
9	2166	34
done	2166	34
0	21	34
1	36	34
2	69	34
3	140	34
4	278	34
5	497	34
6	889	34
7	1496	34
8	2095	34
9	2166	34
done	2166	34
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	488	15
6	880	15
7	1492	15
8	2106	15
9	2172	15
done	2172	15
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	488	15
6	880	15
7	1492	15
8	2106	15
9	2172	15
done	2172	15
0	21	34
1	36	34
2	69	34
3	140	34
4	278	34
5	496	34
6	888	34
7	1509	34
8	2126	34
9	2199	34
done	2199	34
0	21	34
1	36	34
2	69	34
3	140	34
4	278	34
5	496	34
6	888	34
7	1509	34
8	2126	34
9	2199	34
done	2199	34
0	18	35
1	32	16
2	66	16
3	137	16
4	275	16
5	496	16
6	891	16
7	1502	16
8	2097	16
9	2163	16
done	2163	16
0	18	35
1	32	16
2	66	16
3	137	16
4	275	16
5	496	16
6	891	16
7	1502	16
8	2097	16
9	2163	16
done	2163	16
0	21	34
1	36	34
2	69	34
3	140	34
4	278	34
5	496	34
6	888	34
7	1509	34
8	2126	34
9	2199	34
done	2199	34
0	21	34
1	36	34
2	69	34
3	140	34
4	278	34
5	496	34
6	888	34
7	1509	34
8	2126	34
9	2199	34
done	2199	34
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	488	15
6	880	15
7	1492	15
8	2106	15
9	2172	15
done	2172	15
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	488	15
6	880	15
7	1492	15
8	2106	15
9	2172	15
done	2172	15
0	21	34
1	36	34
2	69	34
3	140	34
4	278	34
5	497	34
6	889	34
7	1496	34
8	2095	34
9	2166	34
done	2166	34
0	21	34
1	36	34
2	69	34
3	140	34
4	278	34
5	497	34
6	889	34
7	1496	34
8	2095	34
9	2166	34
done	2166	34
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	488	15
6	880	15
7	1492	15
8	2106	15
9	2172	15
done	2172	15
0	17	33
1	31	15
2	65	15
3	136	15
4	272	15
5	488	15
6	880	15
7	1492	15
8	2106	15
9	2172	15
done	2172	15
0	3	3
1	5	1
2	7	1
done	7	1
0	3	3
1	6	1
done	6	1
0	4	5
1	10	1
done	10	1
0	18	49
1	35	49
2	70	49
3	141	49
4	277	49
5	496	49
6	890	49
7	1506	49
8	2083	49
9	2157	49
done	2157	49
0	19	48
1	35	32
2	68	32
3	139	32
4	277	32
5	496	32
6	889	32
7	1497	32
8	2095	32
9	2170	32
done	2170	32
0	17	32
1	32	32
2	65	32
3	136	32
4	272	32
5	490	32
6	882	32
7	1491	32
8	2095	32
9	2162	32
done	2162	32
0	22	50
1	43	50
2	86	33
3	163	33
4	299	33
5	519	33
6	909	33
7	1516	33
8	2144	33
9	2215	33
done	2215	33
0	21	36
1	38	36
2	73	36
3	145	36
4	283	36
5	502	36
6	897	36
7	1505	36
8	2085	36
9	2160	36
done	2160	36
0	21	24
1	40	22
2	80	19
3	156	19
4	293	19
5	510	19
6	901	19
7	1505	19
8	2089	19
9	2155	19
done	2155	19
0	21	24
1	40	22
2	80	19
3	156	19
4	293	19
5	510	19
6	901	19
7	1505	19
8	2089	19
9	2155	19
done	2155	19
0	21	47
1	38	47
2	71	47
3	142	47
4	278	47
5	495	47
6	888	47
7	1502	47
8	2090	47
9	2157	47
done	2157	47
0	20	33
1	35	33
2	68	33
3	139	33
4	277	33
5	496	33
6	888	33
7	1493	33
8	2078	33
9	2145	33
done	2145	33
0	20	21
1	37	19
2	72	19
3	143	19
4	276	19
5	494	19
6	886	19
7	1490	19
8	2073	19
9	2147	19
done	2147	19
0	20	21
1	37	19
2	72	19
3	143	19
4	276	19
5	494	19
6	886	19
7	1490	19
8	2073	19
9	2147	19
done	2147	19
0	21	46
1	40	46
2	73	46
3	144	46
4	279	46
5	493	46
6	887	46
7	1495	46
8	2082	46
9	2158	46
done	2158	46
0	20	32
1	37	32
2	70	32
3	141	32
4	276	32
5	495	32
6	889	32
7	1498	32
8	2066	32
9	2135	32
done	2135	32
0	19	20
1	36	17
2	69	17
3	140	15
4	280	15
5	496	15
6	888	15
7	1478	15
8	2064	15
9	2135	15
done	2135	15
0	19	20
1	36	17
2	69	17
3	140	15
4	280	15
5	496	15
6	888	15
7	1478	15
8	2064	15
9	2135	15
done	2135	15
0	18	18
1	35	17
2	68	17
3	139	15
4	279	15
5	497	15
6	891	15
7	1494	15
8	2086	15
9	2153	15
done	2153	15
0	17	18
1	32	18
2	65	18
3	136	18
4	272	18
5	490	18
6	882	18
7	1491	18
8	2095	18
9	2162	18
done	2162	18
0	22	35
1	51	35
2	95	35
3	206	35
4	561	35
5	2580	35
done	5000	35
0	21	44
1	42	43
2	88	35
3	215	35
4	623	35
5	2371	35
done	5001	35
0	17	32
1	32	32
2	65	32
3	136	32
4	272	32
5	490	32
6	882	32
7	1491	32
8	2095	32
9	2162	32
done	2162	32
0	17	17
1	34	15
2	70	15
3	141	15
4	276	15
5	492	15
6	882	15
7	1482	15
8	2066	15
9	2133	15
done	2133	15
0	17	32
1	32	32
2	65	32
3	136	32
4	272	32
5	490	32
6	882	32
7	1491	32
8	2095	32
9	2162	32
done	2162	32
0	18	32
1	33	32
2	66	32
3	137	32
4	273	32
5	491	32
6	882	32
7	1495	32
8	2087	32
9	2160	32
done	2160	32
0	17	32
1	32	32
2	65	32
3	136	32
4	272	32
5	490	32
6	882	32
7	1491	32
8	2095	32
9	2162	32
done	2162	32
0	20	33
1	35	33
2	68	33
3	139	33
4	277	33
5	495	33
6	885	33
7	1501	33
8	2086	33
9	2153	33
done	2153	33
0	20	33
1	35	33
2	68	33
3	139	33
4	277	33
5	495	33
6	885	33
7	1501	33
8	2086	33
9	2153	33
done	2153	33
0	19	32
1	34	32
2	67	32
3	138	32
4	276	32
5	496	32
6	890	32
7	1504	32
8	2082	32
9	2151	32
done	2151	32
0	19	32
1	34	32
2	67	32
3	138	32
4	276	32
5	496	32
6	890	32
7	1504	32
8	2082	32
9	2151	32
done	2151	32
0	20	33
1	35	33
2	68	33
3	139	33
4	277	33
5	495	33
6	885	33
7	1501	33
8	2086	33
9	2153	33
done	2153	33
0	20	33
1	35	33
2	68	33
3	139	33
4	277	33
5	495	33
6	885	33
7	1501	33
8	2086	33
9	2153	33
done	2153	33
0	19	32
1	34	32
2	67	32
3	138	32
4	276	32
5	496	32
6	890	32
7	1504	32
8	2082	32
9	2151	32
done	2151	32
0	19	32
1	34	32
2	67	32
3	138	32
4	276	32
5	496	32
6	890	32
7	1504	32
8	2082	32
9	2151	32
done	2151	32
0	19	32
1	34	32
2	67	32
3	138	32
4	276	32
5	496	32
6	887	32
7	1497	32
8	2080	32
9	2158	32
done	2158	32
0	19	32
1	34	32
2	67	32
3	138	32
4	276	32
5	496	32
6	887	32
7	1497	32
8	2080	32
9	2158	32
done	2158	32
0	16	31
1	30	14
2	64	14
3	135	14
4	271	14
5	488	14
6	881	14
7	1490	14
8	2084	14
9	2159	14
done	2159	14
0	16	31
1	30	14
2	64	14
3	135	14
4	271	14
5	488	14
6	881	14
7	1490	14
8	2084	14
9	2159	14
done	2159	14
0	16	31
1	30	14
2	64	14
3	135	14
4	271	14
5	488	14
6	881	14
7	1490	14
8	2084	14
9	2159	14
done	2159	14
0	19	31
1	36	31
2	69	31
3	140	31
4	277	31
5	494	31
6	886	31
7	1498	31
8	2084	31
9	2160	31
done	2160	31
0	22	55
1	47	52
2	101	44
3	234	44
4	671	44
5	2670	44
done	5001	44
0	18	29
1	35	29
2	69	29
3	140	29
4	278	29
5	495	29
6	883	29
7	1489	29
8	2081	29
9	2153	29
done	2153	29
0	17	32
1	32	32
2	65	32
3	136	32
4	272	32
5	490	32
6	882	32
7	1491	32
8	2095	32
9	2162	32
done	2162	32
0	16	31
1	30	14
2	64	14
3	135	14
4	271	14
5	488	14
6	881	14
7	1490	14
8	2084	14
9	2159	14
done	2159	14
0	17	18
1	32	18
2	65	18
3	136	18
4	272	18
5	490	18
6	882	18
7	1491	18
8	2095	18
9	2162	18
done	2162	18
0	17	18
1	32	18
2	65	18
3	136	18
4	272	18
5	492	18
6	884	18
7	1494	18
8	2078	18
9	2146	18
done	2146	18
0	12	22
1	27	22
2	61	22
3	129	22
4	265	22
5	473	22
6	813	22
7	1452	22
8	3273	22
done	5000	22
0	11	11
1	24	11
2	54	11
3	117	11
4	235	11
5	403	11
6	632	11
7	890	11
8	1029	11
9	1049	11
done	1049	11
0	14	24
1	30	24
2	63	24
3	123	24
4	217	24
5	317	24
6	489	24
7	842	24
8	2191	24
done	5001	24
0	13	21
1	25	21
2	49	21
3	100	21
4	185	21
5	261	21
6	376	21
7	572	21
8	763	21
9	1338	21
10	4760	21
done	5000	21
0	12	20
1	26	18
2	56	18
3	113	18
4	199	18
5	286	18
6	420	18
7	652	18
8	1187	18
9	3533	18
done	5000	18
0	13	15
1	25	15
2	47	15
3	95	15
4	176	15
5	244	15
6	336	15
7	469	15
8	501	15
9	502	15
done	502	15
0	12	12
1	22	12
2	44	12
3	92	12
4	170	12
5	236	12
6	326	12
7	459	12
8	487	12
9	488	12
done	488	12
0	11	11
1	23	9
2	47	9
3	95	9
4	176	9
5	245	9
6	338	9
7	471	9
8	501	9
9	502	9
done	502	9
0	6	8
1	10	8
done	10	8
0	5	5
1	7	5
done	7	5
0	3	4
1	5	2
2	6	1
done	6	1
0	14	16
1	23	16
2	34	16
3	50	16
4	59	16
5	67	16
6	81	16
7	104	16
8	110	16
9	120	16
10	123	16
11	125	16
12	129	16
done	129	16
0	13	13
1	20	13
2	31	13
3	47	13
4	56	13
5	64	13
6	78	13
7	101	13
8	107	13
9	115	13
10	124	13
11	126	13
12	130	13
done	130	13
0	12	12
1	21	10
2	38	10
3	54	10
4	63	10
5	71	10
6	85	10
7	108	10
8	114	10
9	122	10
10	129	10
11	131	10
12	133	10
done	133	10
0	6	8
1	10	8
done	10	8
0	5	5
1	7	5
done	7	5
0	3	4
1	5	2
2	6	1
done	6	1
0	6	8
1	10	8
done	10	8
0	5	5
1	7	5
done	7	5
0	3	4
1	5	2
2	6	1
done	6	1
0	6	8
1	10	8
done	10	8
0	5	5
1	7	5
done	7	5
0	3	4
1	5	2
2	6	1
done	6	1
0	2	2
1	5	1
done	5	1
0	8	8
1	21	8
2	55	8
3	130	8
4	303	8
5	662	8
6	1266	8
7	1864	8
8	1885	8
done	1885	8
0	4	4
done	4	4
0	8	8
1	17	8
2	38	8
3	73	8
4	117	8
5	168	8
6	231	8
7	381	8
8	504	8
9	618	8
10	636	8
done	636	8
0	11	11
1	24	9
2	57	9
3	131	9
4	276	9
5	516	9
6	988	9
7	1839	9
8	2797	9
9	3041	9
done	3041	9
0	11	11
1	24	11
2	57	11
3	128	11
4	265	11
5	491	11
6	919	11
7	1695	11
8	2919	11
9	4896	11
done	5000	11
0	12	23
1	25	23
2	58	23
3	129	23
4	267	23
5	487	23
6	874	23
7	1492	23
8	2095	23
9	2166	23
done	2166	23
0	11	11
1	24	11
2	57	11
3	128	11
4	263	11
5	479	11
6	868	11
7	1475	11
8	2079	11
9	2151	11
done	2151	11
0	12	32
1	28	31
2	73	12
3	209	12
4	778	12
5	4185	12
done	5000	12
0	11	11
1	24	11
2	57	11
3	128	11
4	263	11
5	479	11
6	868	11
7	1475	11
8	2079	11
9	2151	11
done	2151	11
0	11	11
1	24	11
2	57	11
3	128	11
4	263	11
5	479	11
6	868	11
7	1475	11
8	2079	11
9	2151	11
done	2151	11
0	13	15
1	34	15
2	98	15
3	211	15
4	488	13
5	1212	13
6	3786	13
done	5001	13
0	10	11
1	23	11
2	44	11
3	88	11
4	218	11
5	587	11
6	1956	11
done	5000	11
0	10	11
1	24	11
2	54	11
3	134	11
4	408	11
5	1255	11
6	4488	11
done	5000	11
0	13	15
1	34	15
2	98	15
3	211	15
4	488	13
5	1212	13
6	3786	13
done	5001	13
0	10	11
1	23	11
2	44	11
3	88	11
4	218	11
5	587	11
6	1956	11
done	5000	11
0	10	11
1	24	11
2	54	11
3	134	11
4	408	11
5	1255	11
6	4488	11
done	5000	11
0	3	3
1	4	3
done	4	3
0	25	35
1	63	33
2	154	31
3	387	25
4	1031	21
5	2833	17
done	5000	17
0	32	53
1	86	49
2	277	45
3	833	37
4	3050	29
done	5000	29
0	1	1
1	3	1
done	3	1
0	14	17
1	27	17
2	65	17
3	174	17
4	307	17
5	425	17
6	694	17
7	1250	17
8	1967	17
9	2234	17
10	2658	17
11	2661	17
done	2661	17
0	14	17
1	27	17
2	65	17
3	174	17
4	307	17
5	425	17
6	694	17
7	1250	17
8	1967	17
9	2234	17
10	2658	17
11	2661	17
done	2661	17

prune373.0ms

Filtered

138 candidates to 214 candidates (-55.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	214	0	214
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	214	4	218

Merged error: 0.0b

Counts

218 → 4

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
0.0b	(/ NaChar (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))
0.0b	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))
0.2b	(* (sqrt NdChar) (/ (sqrt NdChar) (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0)))

rewrite85.0ms

Algorithm

rewrite-expression-head

Rules

136×	`*-un-lft-identity`
83×	`add-sqr-sqrt`
82×	`times-frac`
53×	`add-cube-cbrt`
30×	`associate-r` `distribute-lft-out--`
25×	`exp-prod`
22×	`distribute-lft-out`
20×	`sqrt-prod`
13×	`add-exp-log` `add-cbrt-cube`
10×	`associate-/l*`
7×	`associate-/r*` `difference-of-squares`
6×	`pow1` `associate-l` `unswap-sqr`
5×	`add-log-exp`
4×	`associate-/r/` `div-inv`
3×	`cbrt-undiv` `div-exp`
2×	`frac-2neg` `flip3-+` `div-sub` `prod-exp` `clear-num` `cbrt-unprod` `flip-+` `associate-/l/`
1×	`flip3--` `exp-diff` `associate-r/` `pow-prod-down` `-commutative` `flip--` `rem-exp-log`

Counts

4 → 169

Calls

4 calls:

12.0ms	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
15.0ms	(/ NaChar (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))
14.0ms	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))
36.0ms	(* (sqrt NdChar) (/ (sqrt NdChar) (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0)))

series190.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
70.0ms	(/ NaChar (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))
25.0ms	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))
77.0ms	(* (sqrt NdChar) (/ (sqrt NdChar) (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0)))

simplify6.9min

Counts

181 → 181

Iterations

Useful iterations: done (1.0ms)

Iter	Nodes	Cost
0	16	18
1	33	18
2	68	14
3	139	14
4	277	14
5	497	14
6	890	14
7	1504	14
8	2117	14
9	2192	14
done	2192	14
0	18	21
1	37	21
2	76	19
3	153	19
4	295	19
5	520	19
6	925	19
7	1544	19
8	2148	19
9	2239	19
10	2240	19
done	2240	19
0	18	20
1	35	20
2	74	20
3	153	19
4	295	19
5	523	19
6	928	19
7	1545	19
8	2167	19
9	2250	19
10	2251	19
done	2251	19
0	17	19
1	37	19
2	77	15
3	157	15
4	303	15
5	528	15
6	927	15
7	1556	15
8	2179	15
9	2268	15
10	2278	15
11	2279	15
12	2282	15
13	2287	15
14	2292	15
done	2292	15
0	17	19
1	36	19
2	77	15
3	158	15
4	331	15
5	655	15
6	1410	15
7	3514	15
done	5000	15
0	20	56
1	60	48
2	191	20
3	574	18
4	1465	18
5	4652	16
done	5000	16
0	20	56
1	47	52
2	123	22
3	312	22
4	769	16
5	1644	16
6	4590	16
done	5000	16
0	18	39
1	35	39
2	70	31
3	141	31
4	277	31
5	497	31
6	888	31
7	1503	31
8	2107	31
9	2178	31
done	2178	31
0	17	19
1	34	19
2	69	15
3	140	15
4	278	15
5	498	15
6	892	15
7	1509	15
8	2097	15
9	2168	15
done	2168	15
0	18	56
1	44	56
2	124	16
3	318	16
4	743	16
5	1663	16
6	4122	16
done	5001	16
0	17	19
1	34	19
2	69	15
3	140	15
4	278	15
5	498	15
6	892	15
7	1509	15
8	2097	15
9	2168	15
done	2168	15
0	17	19
1	34	19
2	69	15
3	140	15
4	278	15
5	498	15
6	892	15
7	1509	15
8	2097	15
9	2168	15
done	2168	15
0	18	20
1	33	20
2	66	20
3	137	20
4	275	20
5	495	20
6	888	20
7	1498	20
8	2108	20
9	2181	20
done	2181	20
0	18	20
1	33	20
2	66	20
3	137	20
4	275	20
5	495	20
6	888	20
7	1498	20
8	2108	20
9	2181	20
done	2181	20
0	18	21
1	35	21
2	70	16
3	142	16
4	278	16
5	498	16
6	890	16
7	1508	16
8	2098	16
9	2170	16
done	2170	16
0	18	21
1	35	21
2	70	16
3	142	16
4	278	16
5	498	16
6	890	16
7	1508	16
8	2098	16
9	2170	16
done	2170	16
0	18	21
1	35	21
2	70	16
3	142	16
4	278	16
5	498	16
6	890	16
7	1508	16
8	2098	16
9	2170	16
done	2170	16
0	18	21
1	35	21
2	70	16
3	142	16
4	278	16
5	498	16
6	890	16
7	1508	16
8	2098	16
9	2170	16
done	2170	16
0	18	20
1	33	20
2	66	20
3	137	20
4	275	20
5	495	20
6	888	20
7	1498	20
8	2108	20
9	2181	20
done	2181	20
0	18	20
1	33	20
2	66	20
3	137	20
4	275	20
5	495	20
6	888	20
7	1498	20
8	2108	20
9	2181	20
done	2181	20
0	18	21
1	35	21
2	70	16
3	142	16
4	278	16
5	498	16
6	890	16
7	1508	16
8	2098	16
9	2170	16
done	2170	16
0	18	21
1	35	21
2	70	16
3	142	16
4	278	16
5	498	16
6	890	16
7	1508	16
8	2098	16
9	2170	16
done	2170	16
0	18	21
1	35	21
2	70	16
3	142	16
4	278	16
5	498	16
6	890	16
7	1508	16
8	2098	16
9	2170	16
done	2170	16
0	18	21
1	35	21
2	70	16
3	142	16
4	278	16
5	498	16
6	890	16
7	1508	16
8	2098	16
9	2170	16
done	2170	16
0	18	36
1	35	36
2	70	36
3	141	36
4	277	36
5	497	36
6	888	36
7	1502	36
8	2110	36
9	2183	36
done	2183	36
0	17	19
1	32	19
2	65	19
3	136	19
4	272	19
5	492	19
6	884	19
7	1494	19
8	2078	19
9	2146	19
done	2146	19
0	20	38
1	43	38
2	105	38
3	215	38
4	406	38
5	635	38
6	1025	38
7	1637	38
8	2255	38
9	2328	38
done	2328	38
0	19	24
1	38	24
2	81	24
3	167	24
4	315	24
5	531	24
6	924	24
7	1531	24
8	2137	24
9	2214	24
done	2214	24
0	7	12
1	14	10
2	31	10
3	68	10
4	98	10
done	98	10
0	7	12
1	14	10
2	31	10
3	68	10
4	98	10
done	98	10
0	21	37
1	41	34
2	85	34
3	169	34
4	314	34
5	530	34
6	920	34
7	1529	34
8	2155	34
9	2231	34
done	2231	34
0	20	23
1	38	20
2	74	20
3	149	20
4	283	20
5	499	20
6	890	20
7	1506	20
8	2097	20
9	2164	20
done	2164	20
0	8	11
1	14	6
2	21	6
3	30	6
4	36	6
done	36	6
0	8	11
1	14	6
2	21	6
3	30	6
4	36	6
done	36	6
0	19	34
1	38	34
2	82	34
3	166	34
4	315	34
5	534	34
6	926	34
7	1539	34
8	2140	34
9	2216	34
done	2216	34
0	18	20
1	35	20
2	71	20
3	146	20
4	283	20
5	500	20
6	893	20
7	1505	20
8	2091	20
9	2168	20
done	2168	20
0	6	8
1	11	6
2	18	6
3	27	6
4	33	6
done	33	6
0	6	8
1	11	6
2	18	6
3	27	6
4	33	6
done	33	6
0	20	33
1	41	32
2	85	32
3	169	30
4	340	30
5	559	30
6	948	30
7	1555	30
8	2164	30
9	2239	30
done	2239	30
0	19	19
1	38	18
2	74	18
3	149	16
4	294	16
5	505	16
6	897	16
7	1502	16
8	2091	16
9	2160	16
done	2160	16
0	6	7
1	11	4
2	16	2
3	20	2
done	20	2
0	6	7
1	11	4
2	16	2
3	20	2
done	20	2
0	19	34
1	38	34
2	82	34
3	166	34
4	315	34
5	534	34
6	926	34
7	1539	34
8	2140	34
9	2216	34
done	2216	34
0	18	20
1	35	20
2	71	20
3	146	20
4	283	20
5	500	20
6	893	20
7	1505	20
8	2091	20
9	2168	20
done	2168	20
0	6	8
1	11	6
2	18	6
3	27	6
4	33	6
done	33	6
0	6	8
1	11	6
2	18	6
3	27	6
4	33	6
done	33	6
0	19	32
1	40	32
2	83	30
3	183	30
4	338	30
5	557	30
6	951	30
7	1555	30
8	2168	30
9	2237	30
done	2237	30
0	18	18
1	37	18
2	73	16
3	159	16
4	297	16
5	513	16
6	904	16
7	1515	16
8	2107	16
9	2182	16
done	2182	16
0	5	6
1	10	4
2	15	2
3	19	2
done	19	2
0	5	6
1	10	4
2	15	2
3	19	2
done	19	2
0	4	4
1	7	2
2	10	2
done	10	2
0	3	5
done	3	1
0	19	22
1	49	22
2	95	18
3	206	18
4	561	18
5	2578	18
done	5000	18
0	18	31
1	41	30
2	95	18
3	235	18
4	665	18
5	2547	18
done	5000	18
0	17	19
1	34	19
2	70	19
3	145	19
4	284	19
5	503	19
6	894	19
7	1498	19
8	2081	19
9	2149	19
done	2149	19
0	18	19
1	35	19
2	71	19
3	146	19
4	280	19
5	493	19
6	883	19
7	1491	19
8	2083	19
9	2158	19
done	2158	19
0	17	19
1	34	19
2	70	19
3	145	19
4	284	19
5	503	19
6	894	19
7	1498	19
8	2081	19
9	2149	19
done	2149	19
0	16	18
1	33	18
2	68	14
3	139	14
4	277	14
5	497	14
6	890	14
7	1504	14
8	2117	14
9	2192	14
done	2192	14
0	17	19
1	34	19
2	70	19
3	145	19
4	284	19
5	503	19
6	894	19
7	1498	19
8	2081	19
9	2149	19
done	2149	19
0	16	18
1	33	18
2	68	14
3	139	14
4	277	14
5	497	14
6	890	14
7	1504	14
8	2117	14
9	2192	14
done	2192	14
0	3	5
done	3	1
0	12	22
1	27	22
2	61	22
3	129	22
4	265	22
5	473	22
6	813	22
7	1452	22
8	3273	22
done	5000	22
0	11	11
1	24	11
2	54	11
3	117	11
4	235	11
5	403	11
6	632	11
7	890	11
8	1029	11
9	1049	11
done	1049	11
0	14	24
1	30	24
2	63	24
3	123	24
4	217	24
5	317	24
6	489	24
7	842	24
8	2191	24
done	5001	24
0	13	21
1	25	21
2	49	21
3	100	21
4	185	21
5	261	21
6	376	21
7	572	21
8	763	21
9	1338	21
10	4760	21
done	5000	21
0	12	20
1	26	18
2	56	18
3	113	18
4	199	18
5	286	18
6	420	18
7	652	18
8	1187	18
9	3533	18
done	5000	18
0	13	15
1	25	15
2	47	15
3	95	15
4	176	15
5	244	15
6	336	15
7	469	15
8	501	15
9	502	15
done	502	15
0	12	12
1	22	12
2	44	12
3	92	12
4	170	12
5	236	12
6	326	12
7	459	12
8	487	12
9	488	12
done	488	12
0	11	11
1	23	9
2	47	9
3	95	9
4	176	9
5	245	9
6	338	9
7	471	9
8	501	9
9	502	9
done	502	9
0	6	8
1	10	8
done	10	8
0	5	5
1	7	5
done	7	5
0	3	4
1	5	2
2	6	1
done	6	1
0	14	16
1	23	16
2	34	16
3	50	16
4	59	16
5	67	16
6	81	16
7	104	16
8	110	16
9	120	16
10	123	16
11	125	16
12	129	16
done	129	16
0	13	13
1	20	13
2	31	13
3	47	13
4	56	13
5	64	13
6	78	13
7	101	13
8	107	13
9	115	13
10	124	13
11	126	13
12	130	13
done	130	13
0	12	12
1	21	10
2	38	10
3	54	10
4	63	10
5	71	10
6	85	10
7	108	10
8	114	10
9	122	10
10	129	10
11	131	10
12	133	10
done	133	10
0	6	8
1	10	8
done	10	8
0	5	5
1	7	5
done	7	5
0	3	4
1	5	2
2	6	1
done	6	1
0	6	8
1	10	8
done	10	8
0	5	5
1	7	5
done	7	5
0	3	4
1	5	2
2	6	1
done	6	1
0	6	8
1	10	8
done	10	8
0	5	5
1	7	5
done	7	5
0	3	4
1	5	2
2	6	1
done	6	1
0	2	2
1	5	1
done	5	1
0	8	8
1	21	8
2	55	8
3	130	8
4	303	8
5	662	8
6	1266	8
7	1864	8
8	1885	8
done	1885	8
0	4	4
done	4	4
0	8	8
1	17	8
2	38	8
3	73	8
4	117	8
5	168	8
6	231	8
7	381	8
8	504	8
9	618	8
10	636	8
done	636	8
0	11	11
1	24	9
2	57	9
3	131	9
4	276	9
5	516	9
6	988	9
7	1839	9
8	2797	9
9	3041	9
done	3041	9
0	11	11
1	24	11
2	57	11
3	128	11
4	265	11
5	491	11
6	919	11
7	1695	11
8	2919	11
9	4896	11
done	5000	11
0	12	23
1	25	23
2	58	23
3	129	23
4	267	23
5	487	23
6	874	23
7	1492	23
8	2095	23
9	2166	23
done	2166	23
0	11	11
1	24	11
2	57	11
3	128	11
4	263	11
5	479	11
6	868	11
7	1475	11
8	2079	11
9	2151	11
done	2151	11
0	12	32
1	28	31
2	73	12
3	209	12
4	778	12
5	4185	12
done	5000	12
0	11	11
1	24	11
2	57	11
3	128	11
4	263	11
5	479	11
6	868	11
7	1475	11
8	2079	11
9	2151	11
done	2151	11
0	11	11
1	24	11
2	57	11
3	128	11
4	263	11
5	479	11
6	868	11
7	1475	11
8	2079	11
9	2151	11
done	2151	11
0	16	16
1	30	16
2	57	16
3	98	16
4	135	16
5	195	16
6	310	16
7	611	16
8	979	16
9	1635	16
10	2244	16
11	2493	16
done	2493	16
0	15	15
1	30	15
2	58	15
3	100	15
4	133	15
5	193	15
6	308	15
7	607	15
8	977	15
9	1630	15
10	2255	15
11	2523	15
done	2523	15
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	307	15
7	607	15
8	978	15
9	1633	15
10	2255	15
11	2506	15
done	2506	15
0	18	44
1	51	44
2	139	18
3	333	16
4	785	16
5	2216	16
done	5001	16
0	16	31
1	28	31
2	54	31
3	95	31
4	130	31
5	190	31
6	304	31
7	604	31
8	973	31
9	1630	31
10	2239	31
11	2525	31
done	2525	31
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	307	15
7	607	15
8	978	15
9	1633	15
10	2255	15
11	2506	15
done	2506	15
0	16	44
1	35	44
2	77	16
3	156	16
4	276	16
5	506	16
6	1143	16
7	3781	16
done	5000	16
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	307	15
7	607	15
8	978	15
9	1633	15
10	2255	15
11	2506	15
done	2506	15
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	307	15
7	607	15
8	978	15
9	1633	15
10	2255	15
11	2506	15
done	2506	15
0	2	2
done	2	2
0	13	13
1	28	13
2	56	13
3	100	13
4	136	13
5	203	13
6	327	13
7	665	13
8	1132	13
9	2220	13
10	3595	13
11	4659	13
12	4892	13
done	4892	13
0	18	33
1	36	33
2	71	33
3	120	33
4	151	33
5	211	33
6	324	33
7	623	33
8	996	33
9	1658	33
10	2264	33
11	2503	33
done	2503	33
0	16	16
1	28	16
2	54	16
3	95	16
4	130	16
5	190	16
6	304	16
7	605	16
8	977	16
9	1632	16
10	2258	16
11	2508	16
done	2508	16
0	17	19
1	31	19
2	59	19
3	103	19
4	134	19
5	194	19
6	307	19
7	606	19
8	973	19
9	1626	19
10	2237	19
11	2499	19
done	2499	19
0	16	16
1	28	16
2	54	16
3	95	16
4	130	16
5	190	16
6	304	16
7	605	16
8	977	16
9	1632	16
10	2258	16
11	2508	16
done	2508	16
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	308	15
7	608	15
8	975	15
9	1625	15
10	2241	15
11	2469	15
done	2469	15
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	308	15
7	608	15
8	975	15
9	1625	15
10	2241	15
11	2469	15
done	2469	15
0	17	30
1	31	30
2	57	30
3	98	30
4	135	30
5	195	30
6	310	30
7	611	30
8	979	30
9	1633	30
10	2242	30
11	2511	30
done	2511	30
0	16	16
1	28	16
2	54	16
3	95	16
4	130	16
5	190	16
6	304	16
7	605	16
8	977	16
9	1632	16
10	2258	16
11	2508	16
done	2508	16
0	16	16
1	28	16
2	54	16
3	95	16
4	130	16
5	190	16
6	304	16
7	605	16
8	977	16
9	1632	16
10	2258	16
11	2508	16
done	2508	16
0	16	16
1	28	16
2	54	16
3	95	16
4	130	16
5	190	16
6	304	16
7	605	16
8	977	16
9	1632	16
10	2258	16
11	2508	16
done	2508	16
0	4	4
1	6	2
2	8	2
done	8	2
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	308	15
7	608	15
8	975	15
9	1625	15
10	2241	15
11	2469	15
done	2469	15
0	4	4
1	6	2
2	8	2
done	8	2
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	308	15
7	608	15
8	975	15
9	1625	15
10	2241	15
11	2469	15
done	2469	15
0	16	29
1	32	29
2	58	29
3	99	29
4	133	29
5	191	29
6	306	29
7	605	29
8	972	29
9	1630	29
10	2236	29
11	2501	29
done	2501	29
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	307	15
7	607	15
8	978	15
9	1633	15
10	2255	15
11	2506	15
done	2506	15
0	15	15
1	29	15
2	55	15
3	96	15
4	130	15
5	188	15
6	302	15
7	601	15
8	970	15
9	1624	15
10	2234	15
11	2487	15
done	2487	15
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	307	15
7	607	15
8	978	15
9	1633	15
10	2255	15
11	2506	15
done	2506	15
0	2	3
1	4	1
done	4	1
0	14	14
1	26	14
2	52	14
3	93	14
4	126	14
5	186	14
6	300	14
7	601	14
8	968	14
9	1623	14
10	2235	14
11	2481	14
done	2481	14
0	2	3
1	4	1
done	4	1
0	14	14
1	26	14
2	52	14
3	93	14
4	126	14
5	186	14
6	300	14
7	601	14
8	968	14
9	1623	14
10	2235	14
11	2481	14
done	2481	14
0	14	14
1	28	14
2	54	14
3	95	14
4	129	14
5	187	14
6	302	14
7	603	14
8	972	14
9	1627	14
10	2235	14
11	2500	14
done	2500	14
0	14	14
1	26	14
2	52	14
3	93	14
4	124	14
5	184	14
6	298	14
7	599	14
8	967	14
9	1628	14
10	2236	14
11	2484	14
done	2484	14
0	16	29
1	30	29
2	56	29
3	97	29
4	132	29
5	192	29
6	306	29
7	606	29
8	976	29
9	1629	29
10	2246	29
11	2503	29
done	2503	29
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	307	15
7	607	15
8	978	15
9	1633	15
10	2255	15
11	2506	15
done	2506	15
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	308	15
7	608	15
8	978	15
9	1627	15
10	2248	15
11	2504	15
done	2504	15
0	15	15
1	27	15
2	53	15
3	96	15
4	133	15
5	193	15
6	308	15
7	608	15
8	978	15
9	1627	15
10	2248	15
11	2504	15
done	2504	15
0	14	14
1	26	14
2	52	14
3	93	14
4	124	14
5	184	14
6	298	14
7	599	14
8	967	14
9	1628	14
10	2236	14
11	2484	14
done	2484	14
0	17	18
1	42	18
2	79	18
3	162	18
4	334	18
5	916	18
6	3037	18
done	5001	18
0	16	27
1	34	26
2	75	18
3	172	18
4	392	18
5	846	18
6	2079	18
done	5000	18
0	11	11
1	21	11
2	43	11
3	80	11
4	105	11
5	140	11
6	204	11
7	384	11
8	459	11
9	553	11
10	623	11
done	623	11
0	10	10
1	24	10
2	49	10
3	89	10
4	119	10
5	170	10
6	263	10
7	515	10
8	748	10
9	1024	10
10	1185	10
11	1245	10
done	1245	10
0	10	10
1	21	10
2	47	10
3	88	10
4	125	10
5	185	10
6	299	10
7	600	10
8	969	10
9	1622	10
10	2227	10
11	2470	10
done	2470	10
0	13	29
1	30	29
2	110	13
3	564	11
4	3617	11
done	5001	11
0	11	21
1	22	21
2	45	21
3	84	21
4	114	21
5	165	21
6	258	21
7	509	21
8	743	21
9	1009	21
10	1170	21
11	1231	21
done	1231	21
0	10	10
1	21	10
2	44	10
3	83	10
4	111	10
5	162	10
6	256	10
7	506	10
8	739	10
9	1011	10
10	1176	10
11	1236	10
done	1236	10
0	11	29
1	29	29
2	92	11
3	419	11
4	2500	11
done	5000	11
0	10	10
1	21	10
2	44	10
3	83	10
4	111	10
5	162	10
6	256	10
7	506	10
8	739	10
9	1011	10
10	1176	10
11	1236	10
done	1236	10
0	10	10
1	21	10
2	44	10
3	83	10
4	111	10
5	162	10
6	256	10
7	506	10
8	739	10
9	1011	10
10	1176	10
11	1236	10
done	1236	10
0	8	8
1	16	8
2	43	8
3	104	8
4	209	7
5	302	7
6	485	7
7	601	7
8	630	7
done	630	7
0	2	2
done	2	2
0	7	7
1	11	7
2	17	7
done	17	7
0	3	3
done	3	3
0	13	23
1	27	23
2	57	23
3	100	23
4	129	23
5	164	23
6	228	23
7	408	23
8	483	23
9	579	23
10	650	23
done	650	23
0	11	11
1	19	11
2	40	11
3	77	11
4	102	11
5	137	11
6	200	11
7	382	11
8	457	11
9	552	11
10	623	11
done	623	11
0	12	20
1	22	20
2	45	20
3	83	20
4	110	20
5	145	20
6	210	20
7	390	20
8	465	20
9	560	20
10	630	20
done	630	20
0	11	11
1	19	11
2	40	11
3	77	11
4	102	11
5	137	11
6	200	11
7	382	11
8	457	11
9	552	11
10	623	11
done	623	11
0	11	19
1	23	17
2	50	17
3	92	17
4	119	17
5	154	17
6	218	17
7	398	17
8	473	17
9	566	17
10	636	17
done	636	17
0	10	10
1	18	10
2	39	10
3	76	10
4	101	10
5	136	10
6	201	10
7	381	10
8	456	10
9	552	10
10	622	10
done	622	10
0	12	14
1	22	14
2	43	14
3	80	14
4	107	14
5	142	14
6	205	14
7	386	14
8	461	14
9	555	14
10	626	14
done	626	14
0	11	11
1	19	11
2	40	11
3	77	11
4	102	11
5	137	11
6	200	11
7	382	11
8	457	11
9	552	11
10	623	11
done	623	11
0	11	11
1	19	11
2	40	11
3	77	11
4	102	11
5	137	11
6	200	11
7	382	11
8	457	11
9	552	11
10	623	11
done	623	11
0	11	11
1	19	11
2	40	11
3	77	11
4	102	11
5	137	11
6	200	11
7	382	11
8	457	11
9	552	11
10	623	11
done	623	11
0	10	10
1	20	8
2	43	8
3	80	8
4	105	8
5	140	8
6	203	8
7	383	8
8	458	8
9	552	8
10	621	8
done	621	8
0	10	10
1	18	10
2	39	10
3	76	10
4	101	10
5	136	10
6	201	10
7	381	10
8	456	10
9	552	10
10	622	10
done	622	10
0	5	7
1	9	7
done	9	7
0	10	10
1	21	10
2	44	10
3	83	10
4	113	10
5	164	10
6	258	10
7	508	10
8	740	10
9	1011	10
10	1175	10
11	1235	10
done	1235	10
0	4	4
1	6	4
done	6	4
0	10	10
1	21	10
2	44	10
3	83	10
4	113	10
5	164	10
6	258	10
7	508	10
8	740	10
9	1011	10
10	1175	10
11	1235	10
done	1235	10
0	2	3
1	4	1
done	4	1
0	9	9
1	20	9
2	43	9
3	82	9
4	110	9
5	161	9
6	255	9
7	505	9
8	739	9
9	1009	9
10	1170	9
11	1230	9
done	1230	9
0	13	15
1	20	15
2	26	15
done	26	15
0	12	12
1	21	12
2	30	12
3	32	12
done	32	12
0	12	12
1	17	12
2	23	12
done	23	12
0	12	12
1	21	12
2	30	12
3	32	12
done	32	12
0	11	11
1	18	9
2	26	9
done	26	9
0	11	11
1	20	11
2	29	11
3	31	11
done	31	11
0	5	7
1	9	7
done	9	7
0	10	10
1	21	10
2	44	10
3	83	10
4	113	10
5	164	10
6	258	10
7	508	10
8	740	10
9	1011	10
10	1175	10
11	1235	10
done	1235	10
0	4	4
1	6	4
done	6	4
0	10	10
1	21	10
2	44	10
3	83	10
4	113	10
5	164	10
6	258	10
7	508	10
8	740	10
9	1011	10
10	1175	10
11	1235	10
done	1235	10
0	2	3
1	4	1
done	4	1
0	9	9
1	20	9
2	43	9
3	82	9
4	110	9
5	161	9
6	255	9
7	505	9
8	739	9
9	1009	9
10	1170	9
11	1230	9
done	1230	9
0	5	7
1	9	7
done	9	7
0	10	10
1	21	10
2	44	10
3	83	10
4	113	10
5	164	10
6	258	10
7	508	10
8	740	10
9	1011	10
10	1175	10
11	1235	10
done	1235	10
0	4	4
1	6	4
done	6	4
0	10	10
1	21	10
2	44	10
3	83	10
4	113	10
5	164	10
6	258	10
7	508	10
8	740	10
9	1011	10
10	1175	10
11	1235	10
done	1235	10
0	2	3
1	4	1
done	4	1
0	9	9
1	20	9
2	43	9
3	82	9
4	110	9
5	161	9
6	255	9
7	505	9
8	739	9
9	1009	9
10	1170	9
11	1230	9
done	1230	9
0	5	7
1	9	7
done	9	7
0	10	10
1	21	10
2	44	10
3	83	10
4	113	10
5	164	10
6	258	10
7	508	10
8	740	10
9	1011	10
10	1175	10
11	1235	10
done	1235	10
0	4	4
1	6	4
done	6	4
0	10	10
1	21	10
2	44	10
3	83	10
4	113	10
5	164	10
6	258	10
7	508	10
8	740	10
9	1011	10
10	1175	10
11	1235	10
done	1235	10
0	2	3
1	4	1
done	4	1
0	9	9
1	20	9
2	43	9
3	82	9
4	110	9
5	161	9
6	255	9
7	505	9
8	739	9
9	1009	9
10	1170	9
11	1230	9
done	1230	9
0	3	3
1	5	3
done	5	3
0	9	9
1	17	9
2	38	9
3	77	9
4	102	9
5	137	9
6	201	9
7	382	9
8	457	9
9	553	9
10	623	9
done	623	9
0	11	13
1	24	13
2	52	13
3	94	13
4	130	13
5	199	13
6	333	13
7	663	13
8	1061	13
9	1520	13
10	1768	13
11	1891	13
done	1891	13
0	10	10
1	21	10
2	44	10
3	83	10
4	113	10
5	164	10
6	258	10
7	508	10
8	740	10
9	1011	10
10	1175	10
11	1235	10
done	1235	10
0	9	9
1	22	7
2	47	7
3	84	7
4	112	7
5	163	7
6	252	7
7	458	7
8	640	7
9	744	7
10	817	7
done	817	7
0	10	10
1	18	10
2	39	10
3	78	10
4	105	10
5	140	10
6	205	10
7	386	10
8	461	10
9	556	10
10	627	10
done	627	10
0	10	10
1	18	10
2	39	10
3	78	10
4	105	10
5	140	10
6	205	10
7	386	10
8	461	10
9	556	10
10	627	10
done	627	10
0	9	9
1	17	9
2	38	9
3	77	9
4	102	9
5	137	9
6	201	9
7	382	9
8	457	9
9	553	9
10	623	9
done	623	9
0	11	11
1	17	11
2	24	11
done	24	11
0	9	9
1	17	9
2	38	9
3	77	9
4	102	9
5	137	9
6	201	9
7	382	9
8	457	9
9	553	9
10	623	9
done	623	9
0	9	9
1	17	9
2	38	9
3	77	9
4	102	9
5	137	9
6	201	9
7	382	9
8	457	9
9	553	9
10	623	9
done	623	9
0	9	9
1	17	9
2	38	9
3	77	9
4	102	9
5	137	9
6	201	9
7	382	9
8	457	9
9	553	9
10	623	9
done	623	9
0	13	25
1	37	23
2	141	23
3	607	19
4	3555	19
done	5000	19
0	9	9
1	23	9
2	62	9
3	135	9
4	194	9
5	197	9
done	197	9
0	3	3
1	4	3
done	4	3
0	25	35
1	63	33
2	154	31
3	387	25
4	1031	21
5	2833	17
done	5000	17
0	34	53
1	86	51
2	278	49
3	782	41
4	2658	35
done	5001	35
0	1	1
1	3	1
done	3	1
0	14	17
1	27	17
2	65	17
3	174	17
4	307	17
5	425	17
6	694	17
7	1250	17
8	1967	17
9	2234	17
10	2658	17
11	2661	17
done	2661	17
0	14	17
1	27	17
2	65	17
3	174	17
4	307	17
5	425	17
6	694	17
7	1250	17
8	1967	17
9	2234	17
10	2658	17
11	2661	17
done	2661	17
0	3	3
1	4	3
done	4	3
0	25	35
1	60	33
2	160	31
3	385	27
4	1064	21
5	2935	17
done	5000	17
0	25	35
1	60	33
2	160	31
3	385	27
4	1064	21
5	2935	17
done	5000	17
0	9	11
1	13	11
2	19	11
done	19	11
0	1	1
done	1	1
0	1	1
done	1	1

prune223.0ms

Filtered

118 candidates to 181 candidates (-53.4%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	181	0	181
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	181	4	185

Merged error: 0.0b

Counts

185 → 4

regimes1.0s

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	25	29
1	30	29
done	30	29

end0.0ms

sample1.7s

Algorithm

intervals

Results

837.0ms	8000×	body	80	valid
1.0ms	1×	body	5120	exit

Details

sample63.0ms

simplify7.7s

prune16.0ms

localize24.0ms

rewrite73.0ms

series184.0ms

simplify6.6min

prune247.0ms

localize27.0ms

rewrite84.0ms

series233.0ms

simplify7.8min

prune218.0ms

localize28.0ms

rewrite127.0ms

series336.0ms

simplify11.5min

prune373.0ms

localize27.0ms

rewrite85.0ms

series190.0ms

simplify6.9min

prune223.0ms

regimes1.0s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.7s

Profiling