Details

sample150.0ms

Algorithm

intervals

Results

49.0ms	482×	body	80	nan
29.0ms	287×	body	80	valid

simplify1.7s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	28
1	49	28
2	149	28
3	569	28
4	2819	28
done	5000	28

prune6.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.2b

Counts

2 → 1

localize31.0ms

Local error

Found 4 expressions with local error:

6.2b	(* (* n (pow (/ l Om) 2.0)) (- U U*))
7.1b	(/ (* l l) Om)
8.5b	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
16.2b	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-exp-log`
25×	`pow1`
23×	`add-cbrt-cube`
22×	`associate-*r/`
16×	`prod-exp`
13×	`pow-prod-down`
11×	`flip3--` `flip--`
10×	`add-sqr-sqrt` `*-un-lft-identity` `cbrt-unprod`
8×	`add-cube-cbrt` `associate-r` `frac-sub`
6×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `sqrt-div`
4×	`sqrt-pow1` `associate--l+` `add-log-exp`
3×	`times-frac` `div-exp` `associate-/r*`
2×	`cbrt-undiv` `associate-l` `pow-exp` `*-commutative`
1×	`pow-to-exp` `frac-2neg` `pow1/2` `clear-num` `sqrt-prod` `div-inv` `associate-/l*` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 103

Calls

4 calls:

14.0ms	(* (* n (pow (/ l Om) 2.0)) (- U U*))
6.0ms	(/ (* l l) Om)
15.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
12.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

series3.0s

Counts

4 → 12

Calls

4 calls:

154.0ms	(* (* n (pow (/ l Om) 2.0)) (- U U*))
4.0ms	(/ (* l l) Om)
454.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
2.4s	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

simplify4.4min

Counts

115 → 115

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	22	29
1	50	29
2	150	29
3	568	29
4	2827	29
done	5001	29
0	22	29
1	50	29
2	150	29
3	568	29
4	2827	29
done	5001	29
0	23	59
1	51	59
2	151	59
3	568	59
4	2837	59
done	5000	59
0	22	29
1	50	29
2	150	29
3	568	29
4	2827	29
done	5001	29
0	23	86
1	52	56
2	167	30
3	720	30
4	3756	30
done	5000	30
0	6	6
1	10	6
2	16	6
done	16	6
0	18	22
1	39	22
2	107	22
3	335	22
4	1137	22
5	4197	22
done	5001	22
0	38	78
1	118	68
2	433	68
3	2393	68
done	5000	68
0	21	42
1	56	32
2	204	32
3	927	32
4	4487	32
done	5000	32
0	34	70
1	102	62
2	384	62
3	2222	62
done	5000	62
0	17	34
1	46	26
2	166	26
3	649	26
4	2498	26
done	5000	26
0	34	64
1	97	62
2	343	62
3	1808	52
done	5000	52
0	17	22
1	37	20
2	100	20
3	299	20
4	1087	20
5	2876	20
6	4042	20
7	4294	20
8	4447	20
9	4511	20
done	4511	20
0	29	56
1	78	56
2	288	56
3	1554	46
done	5001	46
0	13	14
1	27	14
2	62	14
3	151	14
4	396	14
5	651	14
6	710	14
7	732	14
8	736	14
done	736	14
0	24	32
1	65	32
2	229	32
3	1290	32
done	5000	32
0	22	66
1	55	54
2	206	54
3	1010	52
done	5000	52
0	23	50
1	59	50
2	229	50
3	1219	46
done	5001	46
0	18	22
1	38	22
2	95	22
3	271	22
4	869	22
5	3442	22
done	5000	22
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	22	29
1	50	29
2	150	29
3	568	29
4	2827	29
done	5001	29
0	22	29
1	50	29
2	150	29
3	568	29
4	2827	29
done	5001	29
0	20	27
1	48	27
2	148	27
3	571	27
4	2816	27
done	5000	27
0	20	27
1	48	27
2	148	27
3	571	27
4	2816	27
done	5000	27
0	20	27
1	48	27
2	148	27
3	571	27
4	2816	27
done	5000	27
0	24	31
1	52	31
2	140	31
3	397	31
4	1204	31
5	4347	31
done	5001	31
0	23	30
1	52	30
2	133	30
3	386	30
4	1178	30
5	4373	30
done	5000	30
0	22	29
1	51	29
2	136	29
3	389	29
4	1197	29
5	4415	29
done	5000	29
0	21	28
1	52	28
2	162	28
3	613	28
4	2892	28
done	5000	28
0	21	28
1	51	28
2	163	28
3	644	28
4	3203	28
done	5001	28
0	28	83
1	68	83
2	263	35
3	1498	35
done	5000	35
0	26	83
1	70	83
2	265	33
3	1582	33
done	5001	33
0	24	83
1	65	83
2	261	31
3	1609	31
done	5001	31
0	22	57
1	50	57
2	150	57
3	568	57
4	2827	57
done	5001	57
0	21	28
1	49	28
2	149	28
3	569	28
4	2819	28
done	5000	28
0	22	83
1	60	83
2	255	29
3	1774	29
done	5000	29
0	21	28
1	49	28
2	149	28
3	569	28
4	2819	28
done	5000	28
0	21	28
1	49	28
2	149	28
3	569	28
4	2819	28
done	5000	28
0	13	15
1	27	15
2	78	15
3	254	15
4	916	15
5	3044	15
done	5000	15
0	15	18
1	38	18
2	137	18
3	758	18
4	4403	17
done	5000	17
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	19	26
1	47	26
2	143	26
3	573	26
4	3056	25
done	5000	25
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	19	26
1	47	26
2	143	26
3	573	26
4	3056	25
done	5000	25
0	13	15
1	27	15
2	78	15
3	254	15
4	916	15
5	3044	15
done	5000	15
0	15	18
1	38	18
2	137	18
3	758	18
4	4403	17
done	5000	17
0	13	15
1	27	15
2	71	15
3	221	15
4	750	15
5	2537	15
done	5001	15
0	15	18
1	38	18
2	138	18
3	722	18
4	4016	17
done	5000	17
0	7	7
1	14	7
2	33	7
3	58	7
4	60	7
done	60	7
0	19	26
1	47	26
2	136	26
3	512	26
4	2622	25
done	5000	25
0	7	7
1	14	7
2	33	7
3	58	7
4	60	7
done	60	7
0	19	26
1	47	26
2	136	26
3	512	26
4	2622	25
done	5000	25
0	13	15
1	27	15
2	71	15
3	221	15
4	750	15
5	2537	15
done	5001	15
0	15	18
1	38	18
2	138	18
3	722	18
4	4016	17
done	5000	17
0	22	51
1	52	51
2	149	51
3	437	51
4	1269	51
5	4448	51
done	5001	51
0	21	28
1	49	28
2	137	28
3	390	28
4	1184	28
5	4267	28
done	5000	28
0	7	7
1	16	5
2	42	5
3	67	5
4	79	5
done	79	5
0	18	23
1	40	23
2	114	23
3	380	23
4	1471	23
done	5001	23
0	37	77
1	117	67
2	432	67
3	2399	67
done	5001	67
0	33	69
1	101	61
2	383	61
3	2218	61
done	5000	61
0	33	63
1	96	61
2	342	61
3	1803	51
done	5000	51
0	28	55
1	77	55
2	287	55
3	1557	45
done	5000	45
0	23	31
1	64	31
2	228	31
3	1292	31
done	5000	31
0	22	49
1	58	49
2	228	49
3	1222	45
done	5001	45
0	6	8
1	12	7
2	16	7
3	19	7
4	23	7
5	28	7
6	36	7
7	50	7
8	62	7
9	74	7
10	86	7
11	87	7
done	87	7
0	6	7
1	10	7
2	17	7
3	21	7
4	23	7
5	27	7
6	32	7
7	40	7
8	54	7
9	66	7
10	78	7
11	90	7
12	91	7
done	91	7
0	5	6
1	10	6
2	18	6
3	31	6
4	39	6
5	43	6
6	51	6
7	65	6
8	77	6
9	89	6
10	99	6
11	100	6
done	100	6
0	5	6
1	7	6
2	9	6
3	12	6
4	18	6
5	26	6
6	51	6
7	112	6
8	274	6
9	843	6
10	3566	6
done	5000	6
0	8	17
1	23	17
2	98	11
3	363	7
4	910	7
5	2319	7
done	5000	7
0	8	17
1	24	17
2	97	9
3	369	7
4	933	7
5	2388	7
done	5001	7
0	6	13
1	8	13
2	10	13
3	11	13
done	11	13
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	6	17
1	15	17
2	49	7
3	172	7
4	490	7
5	904	7
6	2460	7
done	5000	7
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	3	4
1	6	4
done	6	4
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	4	5
1	6	5
done	6	5
0	6	9
1	12	9
2	21	9
3	27	9
done	27	9
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	4	5
1	8	3
2	14	3
3	19	3
done	19	3
0	3	3
done	3	3
0	11	11
1	21	11
2	51	11
3	145	11
4	438	11
5	1489	11
done	5001	11
0	15	15
1	24	15
2	38	15
3	55	15
4	82	15
5	99	15
6	127	15
7	182	15
8	303	15
9	411	15
10	488	15
11	563	15
12	641	15
13	659	15
done	659	15
0	14	14
1	24	14
2	33	14
3	42	14
4	59	14
5	86	14
6	103	14
7	131	14
8	186	14
9	307	14
10	415	14
11	491	14
12	570	14
13	647	14
14	665	14
done	665	14
0	14	14
1	24	14
2	33	14
3	42	14
4	59	14
5	86	14
6	103	14
7	131	14
8	186	14
9	307	14
10	415	14
11	491	14
12	570	14
13	647	14
14	665	14
done	665	14
0	14	14
1	26	14
2	44	14
3	81	14
4	200	14
5	649	14
6	2632	14
done	5000	14
0	13	13
1	24	13
2	43	13
3	93	13
4	233	13
5	719	13
6	2713	13
done	5000	13
0	12	12
1	25	12
2	62	12
3	178	12
4	534	12
5	1792	12
done	5000	12
0	12	12
1	24	12
2	64	12
3	197	12
4	623	12
5	2328	12
done	5000	12
0	17	35
1	38	31
2	143	17
3	756	17
done	5000	17
0	15	35
1	38	35
2	145	15
3	801	15
done	5000	15
0	13	25
1	23	25
2	53	25
3	147	25
4	438	25
5	1516	25
done	5001	25
0	12	12
1	22	12
2	52	12
3	146	12
4	441	12
5	1466	12
done	5000	12
0	13	35
1	33	35
2	145	13
3	879	13
done	5001	13
0	12	12
1	22	12
2	52	12
3	146	12
4	441	12
5	1466	12
done	5000	12
0	12	12
1	22	12
2	52	12
3	146	12
4	441	12
5	1466	12
done	5000	12
0	9	9
1	17	9
2	34	9
3	78	9
4	208	9
5	639	9
6	2201	9
done	5000	9
0	10	10
1	20	10
2	45	10
3	124	10
4	388	10
5	1326	10
done	5000	10
0	9	9
1	17	9
2	34	9
3	78	9
4	208	9
5	639	9
6	2201	9
done	5000	9
0	10	10
1	20	10
2	45	10
3	124	10
4	388	10
5	1326	10
done	5000	10
0	9	9
1	17	9
2	34	9
3	80	9
4	198	9
5	595	9
6	2060	9
done	5000	9
0	10	10
1	20	10
2	45	10
3	122	10
4	376	10
5	1287	10
6	4897	10
done	5000	10
0	9	9
1	17	9
2	34	9
3	80	9
4	198	9
5	595	9
6	2060	9
done	5000	9
0	10	10
1	20	10
2	45	10
3	122	10
4	376	10
5	1287	10
6	4897	10
done	5000	10
0	13	17
1	25	17
2	52	17
3	128	17
4	338	17
5	1054	17
6	3894	17
done	5000	17
0	12	12
1	22	12
2	40	12
3	84	12
4	211	12
5	627	12
6	2242	12
done	5001	12
0	9	9
1	19	7
2	42	7
3	98	7
4	195	7
5	466	7
6	1322	7
7	4501	7
done	5000	7
0	13	13
1	28	13
2	66	13
3	150	13
4	401	13
5	1276	13
6	4464	13
done	5000	13
0	9	9
1	19	7
2	42	7
3	98	7
4	195	7
5	466	7
6	1322	7
7	4501	7
done	5000	7
0	9	9
1	16	9
2	32	9
3	77	9
4	196	9
5	615	9
6	2398	9
done	5000	9
0	14	15
1	36	15
2	87	15
3	305	15
4	1395	15
done	5001	15
0	13	15
1	26	15
2	68	15
3	262	15
4	1077	15
5	4587	15
done	5000	15
0	1	1
done	1	1
0	40	99
1	107	88
2	324	80
3	1234	76
done	5000	71
0	42	100
1	112	93
2	338	85
3	1385	76
done	5000	76
0	1	1
done	1	1
0	37	50
1	101	46
2	308	44
3	1442	43
done	5000	43
0	38	50
1	102	47
2	308	45
3	1423	43
done	5000	43
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5
0	1	1
done	1	1
0	28	63
1	75	40
2	177	25
3	563	23
4	2613	20
done	5001	20
0	30	63
1	78	43
2	177	29
3	617	23
4	2738	23
done	5000	23

prune390.0ms

Filtered

93 candidates to 115 candidates (-23.7%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	99	16	115
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	100	16	116

Merged error: 21.3b

Counts

116 → 16

localize21.0ms

Local error

Found 4 expressions with local error:

5.3b	(* n (pow (/ l Om) 2.0))
6.2b	(* (* n (pow (/ l Om) 2.0)) (- U U*))
8.5b	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
16.2b	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-exp-log`
25×	`pow1` `add-sqr-sqrt` `associate-r`
22×	`associate-*r/`
20×	`add-cbrt-cube`
19×	`prod-exp`
17×	`*-un-lft-identity`
15×	`add-cube-cbrt` `unpow-prod-down`
13×	`pow-prod-down`
11×	`flip3--` `flip--`
10×	`times-frac` `cbrt-unprod`
8×	`frac-sub`
6×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `sqrt-div`
5×	`associate-l`
4×	`sqrt-pow1` `pow-exp` `associate--l+` `add-log-exp` `unswap-sqr`
3×	`*-commutative`
2×	`pow-to-exp` `div-exp` `sqr-pow`
1×	`pow1/2` `sqrt-prod` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 119

Calls

4 calls:

11.0ms	(* n (pow (/ l Om) 2.0))
13.0ms	(* (* n (pow (/ l Om) 2.0)) (- U U*))
18.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
12.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

series2.9s

Counts

4 → 12

Calls

4 calls:

53.0ms	(* n (pow (/ l Om) 2.0))
150.0ms	(* (* n (pow (/ l Om) 2.0)) (- U U*))
422.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
2.3s	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

simplify8.7min

Counts

131 → 131

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	22	29
1	49	29
2	151	29
3	586	29
4	2868	29
done	5000	29
0	22	29
1	49	29
2	151	29
3	586	29
4	2868	29
done	5000	29
0	23	59
1	50	59
2	152	59
3	582	59
4	2846	59
done	5000	59
0	22	29
1	49	29
2	151	29
3	586	29
4	2868	29
done	5000	29
0	23	86
1	51	56
2	168	30
3	731	30
4	3749	30
done	5001	30
0	6	6
1	10	6
2	16	6
done	16	6
0	18	22
1	38	22
2	108	22
3	347	22
4	1154	22
5	4180	22
done	5000	22
0	38	78
1	117	68
2	433	68
3	2447	68
done	5000	68
0	21	42
1	56	32
2	205	32
3	964	32
4	4965	32
done	5000	32
0	34	70
1	101	62
2	384	62
3	2272	62
done	5001	62
0	17	34
1	46	26
2	167	26
3	685	26
4	2683	26
done	5000	26
0	34	64
1	96	62
2	344	62
3	1848	52
done	5000	52
0	17	22
1	37	20
2	101	20
3	317	20
4	1146	20
5	2904	20
6	4143	20
7	4479	20
8	4646	20
9	4710	20
done	4710	20
0	29	56
1	77	56
2	289	56
3	1597	46
done	5000	46
0	13	14
1	27	14
2	63	14
3	165	14
4	423	14
5	628	14
6	706	14
7	734	14
8	744	14
done	744	14
0	24	32
1	64	32
2	230	32
3	1304	32
done	5000	32
0	22	66
1	54	54
2	207	54
3	1015	52
done	5000	52
0	23	50
1	58	50
2	230	50
3	1235	46
done	5001	46
0	18	22
1	37	22
2	96	22
3	284	22
4	869	22
5	3439	22
done	5001	22
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	22	29
1	49	29
2	151	29
3	586	29
4	2868	29
done	5000	29
0	22	29
1	49	29
2	151	29
3	586	29
4	2868	29
done	5000	29
0	20	27
1	47	27
2	149	27
3	580	27
4	2805	27
done	5000	27
0	20	27
1	47	27
2	149	27
3	580	27
4	2805	27
done	5000	27
0	20	27
1	47	27
2	149	27
3	580	27
4	2805	27
done	5000	27
0	24	31
1	51	31
2	141	31
3	408	31
4	1192	31
5	4277	31
done	5001	31
0	23	30
1	51	30
2	134	30
3	398	30
4	1188	30
5	4377	30
done	5001	30
0	22	29
1	50	29
2	137	29
3	400	29
4	1203	29
5	4362	29
done	5000	29
0	21	28
1	51	28
2	163	28
3	626	28
4	2915	28
done	5000	28
0	21	28
1	50	28
2	164	28
3	655	28
4	3238	28
done	5000	28
0	28	83
1	67	83
2	264	35
3	1510	35
done	5000	35
0	26	83
1	69	83
2	266	33
3	1595	33
done	5001	33
0	24	83
1	64	83
2	262	31
3	1613	31
done	5000	31
0	22	57
1	49	57
2	151	57
3	586	57
4	2868	57
done	5000	57
0	21	28
1	48	28
2	150	28
3	581	28
4	2840	28
done	5000	28
0	22	83
1	59	83
2	256	29
3	1777	29
done	5001	29
0	21	28
1	48	28
2	150	28
3	581	28
4	2840	28
done	5000	28
0	21	28
1	48	28
2	150	28
3	581	28
4	2840	28
done	5000	28
0	13	15
1	27	15
2	79	15
3	267	15
4	986	15
5	3139	15
done	5001	15
0	15	18
1	38	18
2	137	18
3	758	18
4	4403	17
done	5000	17
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	19	26
1	46	26
2	145	26
3	584	26
4	3145	25
done	5000	25
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	19	26
1	46	26
2	145	26
3	584	26
4	3145	25
done	5000	25
0	13	15
1	27	15
2	79	15
3	267	15
4	986	15
5	3139	15
done	5001	15
0	15	18
1	38	18
2	137	18
3	758	18
4	4403	17
done	5000	17
0	13	15
1	27	15
2	72	15
3	234	15
4	861	15
5	2778	15
done	5000	15
0	15	18
1	38	18
2	138	18
3	722	18
4	4016	17
done	5000	17
0	7	7
1	14	7
2	33	7
3	58	7
4	60	7
done	60	7
0	19	26
1	46	26
2	138	26
3	520	26
4	2694	25
done	5000	25
0	7	7
1	14	7
2	33	7
3	58	7
4	60	7
done	60	7
0	19	26
1	46	26
2	138	26
3	520	26
4	2694	25
done	5000	25
0	13	15
1	27	15
2	72	15
3	234	15
4	861	15
5	2778	15
done	5000	15
0	15	18
1	38	18
2	138	18
3	722	18
4	4016	17
done	5000	17
0	22	51
1	51	51
2	150	51
3	448	51
4	1275	51
5	4385	51
done	5000	51
0	21	28
1	48	28
2	138	28
3	402	28
4	1185	28
5	4285	28
done	5000	28
0	7	7
1	16	5
2	42	5
3	67	5
4	79	5
done	79	5
0	18	23
1	39	23
2	115	23
3	392	23
4	1498	23
done	5001	23
0	37	77
1	116	67
2	432	67
3	2445	67
done	5000	67
0	33	69
1	100	61
2	383	61
3	2271	61
done	5000	61
0	33	63
1	95	61
2	343	61
3	1847	51
done	5001	51
0	28	55
1	76	55
2	288	55
3	1591	45
done	5001	45
0	23	31
1	63	31
2	229	31
3	1305	31
done	5000	31
0	22	49
1	57	49
2	229	49
3	1233	45
done	5000	45
0	11	11
1	21	11
2	51	11
3	145	11
4	438	11
5	1489	11
done	5001	11
0	15	15
1	24	15
2	38	15
3	55	15
4	82	15
5	99	15
6	127	15
7	182	15
8	303	15
9	411	15
10	488	15
11	563	15
12	641	15
13	659	15
done	659	15
0	14	14
1	24	14
2	33	14
3	42	14
4	59	14
5	86	14
6	103	14
7	131	14
8	186	14
9	307	14
10	415	14
11	491	14
12	570	14
13	647	14
14	665	14
done	665	14
0	14	14
1	24	14
2	33	14
3	42	14
4	59	14
5	86	14
6	103	14
7	131	14
8	186	14
9	307	14
10	415	14
11	491	14
12	570	14
13	647	14
14	665	14
done	665	14
0	14	14
1	26	14
2	44	14
3	81	14
4	200	14
5	649	14
6	2632	14
done	5000	14
0	13	13
1	24	13
2	43	13
3	93	13
4	233	13
5	719	13
6	2713	13
done	5000	13
0	12	12
1	25	12
2	62	12
3	178	12
4	534	12
5	1792	12
done	5000	12
0	12	12
1	24	12
2	64	12
3	197	12
4	623	12
5	2328	12
done	5000	12
0	17	35
1	38	31
2	143	17
3	756	17
done	5000	17
0	15	35
1	38	35
2	145	15
3	801	15
done	5000	15
0	13	25
1	23	25
2	53	25
3	147	25
4	438	25
5	1516	25
done	5001	25
0	12	12
1	22	12
2	52	12
3	146	12
4	441	12
5	1466	12
done	5000	12
0	13	35
1	33	35
2	145	13
3	879	13
done	5001	13
0	12	12
1	22	12
2	52	12
3	146	12
4	441	12
5	1466	12
done	5000	12
0	12	12
1	22	12
2	52	12
3	146	12
4	441	12
5	1466	12
done	5000	12
0	9	9
1	17	9
2	34	9
3	78	9
4	208	9
5	639	9
6	2201	9
done	5000	9
0	10	10
1	20	10
2	45	10
3	124	10
4	388	10
5	1326	10
done	5000	10
0	9	9
1	17	9
2	34	9
3	78	9
4	208	9
5	639	9
6	2201	9
done	5000	9
0	10	10
1	20	10
2	45	10
3	124	10
4	388	10
5	1326	10
done	5000	10
0	9	9
1	17	9
2	34	9
3	80	9
4	198	9
5	595	9
6	2060	9
done	5000	9
0	10	10
1	20	10
2	45	10
3	122	10
4	376	10
5	1287	10
6	4897	10
done	5000	10
0	9	9
1	17	9
2	34	9
3	80	9
4	198	9
5	595	9
6	2060	9
done	5000	9
0	10	10
1	20	10
2	45	10
3	122	10
4	376	10
5	1287	10
6	4897	10
done	5000	10
0	13	17
1	25	17
2	52	17
3	128	17
4	338	17
5	1054	17
6	3894	17
done	5000	17
0	12	12
1	22	12
2	40	12
3	84	12
4	211	12
5	627	12
6	2242	12
done	5001	12
0	9	9
1	19	7
2	42	7
3	98	7
4	195	7
5	466	7
6	1322	7
7	4501	7
done	5000	7
0	13	13
1	28	13
2	66	13
3	150	13
4	401	13
5	1276	13
6	4464	13
done	5000	13
0	9	9
1	19	7
2	42	7
3	98	7
4	195	7
5	466	7
6	1322	7
7	4501	7
done	5000	7
0	9	9
1	16	9
2	32	9
3	77	9
4	196	9
5	615	9
6	2398	9
done	5000	9
0	14	15
1	36	15
2	87	15
3	305	15
4	1395	15
done	5001	15
0	13	15
1	26	15
2	68	15
3	262	15
4	1077	15
5	4587	15
done	5000	15
0	10	10
1	14	10
2	21	10
3	30	10
4	39	10
5	42	10
6	48	10
7	59	10
8	82	10
9	114	10
10	146	10
11	153	10
12	178	10
13	201	10
14	202	10
done	202	10
0	9	9
1	14	9
2	16	9
3	23	9
4	32	9
5	41	9
6	44	9
7	50	9
8	61	9
9	84	9
10	116	9
11	148	9
12	155	9
13	180	9
14	203	9
15	204	9
done	204	9
0	9	9
1	14	9
2	16	9
3	23	9
4	32	9
5	41	9
6	44	9
7	50	9
8	61	9
9	84	9
10	116	9
11	148	9
12	155	9
13	180	9
14	203	9
15	204	9
done	204	9
0	9	9
1	16	9
2	27	9
3	56	9
4	151	9
5	485	9
6	1890	9
done	5001	9
0	8	8
1	16	8
2	30	8
3	72	8
4	183	8
5	580	8
6	2137	8
done	5000	8
0	8	8
1	15	8
2	29	8
3	70	8
4	194	8
5	631	8
6	2632	8
done	5000	8
0	11	23
1	24	19
2	70	11
3	228	11
4	892	9
5	4245	9
done	5000	9
0	9	17
1	14	17
2	23	17
3	49	17
4	114	17
5	302	17
6	996	17
7	3767	17
done	5000	17
0	8	8
1	13	8
2	22	8
3	48	8
4	115	8
5	302	8
6	1001	8
7	3774	8
done	5000	8
0	9	23
1	24	23
2	74	9
3	258	9
4	1002	9
5	4294	9
done	5000	9
0	8	8
1	13	8
2	22	8
3	48	8
4	115	8
5	302	8
6	1001	8
7	3774	8
done	5000	8
0	8	8
1	13	8
2	22	8
3	48	8
4	115	8
5	302	8
6	1001	8
7	3774	8
done	5000	8
0	9	9
1	14	9
2	23	9
3	49	9
4	115	9
5	311	9
6	1001	9
7	3774	9
done	5000	9
0	9	9
1	14	9
2	23	9
3	49	9
4	115	9
5	311	9
6	1001	9
7	3774	9
done	5000	9
0	10	10
1	15	10
2	24	10
3	50	10
4	116	10
5	309	10
6	1010	10
7	3791	10
done	5000	10
0	10	10
1	15	10
2	24	10
3	50	10
4	116	10
5	309	10
6	1010	10
7	3791	10
done	5000	10
0	9	9
1	14	9
2	20	9
3	38	9
4	78	9
5	180	9
6	559	9
7	1973	9
done	5001	9
0	9	9
1	14	9
2	20	9
3	38	9
4	78	9
5	180	9
6	559	9
7	1973	9
done	5001	9
0	10	10
1	14	10
2	26	10
3	57	10
4	135	10
5	353	10
6	1158	10
7	4389	10
done	5000	10
0	10	10
1	14	10
2	26	10
3	57	10
4	135	10
5	353	10
6	1158	10
7	4389	10
done	5000	10
0	9	13
1	14	13
2	23	13
3	49	13
4	115	13
5	311	13
6	1005	13
7	3785	13
done	5000	13
0	8	8
1	13	8
2	22	8
3	48	8
4	113	8
5	306	8
6	1004	8
7	3770	8
done	5000	8
0	11	15
1	22	15
2	40	15
3	72	15
4	137	15
5	323	15
6	1018	15
7	3792	15
done	5000	15
0	10	12
1	17	12
2	28	12
3	57	12
4	125	12
5	320	12
6	1016	12
7	3800	12
done	5001	12
0	9	11
1	18	9
2	33	9
3	64	9
4	128	9
5	319	9
6	1017	9
7	3797	9
done	5000	9
0	10	12
1	17	12
2	26	12
3	54	12
4	120	12
5	313	12
6	1012	12
7	3797	12
done	5000	12
0	9	9
1	14	9
2	23	9
3	49	9
4	115	9
5	311	9
6	1005	9
7	3785	9
done	5000	9
0	8	8
1	15	6
2	26	6
3	52	6
4	119	6
5	302	6
6	992	6
7	3777	6
done	5000	6
0	9	11
1	18	11
2	27	11
3	53	11
4	118	11
5	311	11
6	1014	11
7	3788	11
done	5000	11
0	8	8
1	15	8
2	24	8
3	50	8
4	115	8
5	312	8
6	1008	8
7	3799	8
done	5000	8
0	6	7
1	13	5
2	22	3
3	31	1
4	41	1
5	54	1
6	68	1
7	84	1
8	103	1
9	125	1
10	150	1
11	178	1
12	209	1
13	243	1
14	280	1
15	320	1
16	363	1
17	409	1
18	458	1
19	510	1
20	565	1
21	623	1
22	684	1
23	748	1
24	815	1
25	885	1
26	958	1
27	1034	1
28	1113	1
29	1195	1
30	1280	1
31	1368	1
32	1459	1
33	1553	1
34	1650	1
35	1750	1
36	1853	1
37	1959	1
38	2068	1
39	2180	1
40	2295	1
41	2413	1
42	2534	1
43	2658	1
44	2785	1
45	2915	1
46	3048	1
47	3184	1
48	3323	1
49	3465	1
50	3610	1
51	3758	1
52	3909	1
53	4063	1
54	4220	1
55	4380	1
56	4543	1
57	4709	1
58	4878	1
done	5000	1
0	5	5
1	12	3
2	15	1
3	21	1
4	28	1
5	38	1
6	51	1
7	67	1
8	86	1
9	108	1
10	133	1
11	161	1
12	192	1
13	226	1
14	263	1
15	303	1
16	346	1
17	392	1
18	441	1
19	493	1
20	548	1
21	606	1
22	667	1
23	731	1
24	798	1
25	868	1
26	941	1
27	1017	1
28	1096	1
29	1178	1
30	1263	1
31	1351	1
32	1442	1
33	1536	1
34	1633	1
35	1733	1
36	1836	1
37	1942	1
38	2051	1
39	2163	1
40	2278	1
41	2396	1
42	2517	1
43	2641	1
44	2768	1
45	2898	1
46	3031	1
47	3167	1
48	3306	1
49	3448	1
50	3593	1
51	3741	1
52	3892	1
53	4046	1
54	4203	1
55	4363	1
56	4526	1
57	4692	1
58	4861	1
done	5001	1
0	5	5
1	10	5
2	19	5
3	45	5
4	109	5
5	302	5
6	999	5
7	3780	5
done	5001	5
0	9	15
1	16	15
2	23	15
3	41	15
4	81	15
5	185	15
6	563	15
7	1973	15
done	5001	15
0	8	8
1	13	8
2	19	8
3	37	8
4	77	8
5	183	8
6	557	8
7	1972	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	9	9
1	13	9
2	25	9
3	56	9
4	128	9
5	344	9
6	1172	9
7	4366	9
done	5001	9
0	8	8
1	13	8
2	22	8
3	48	8
4	113	8
5	306	8
6	1004	8
7	3774	8
done	5000	8
0	8	8
1	13	8
2	22	8
3	48	8
4	113	8
5	306	8
6	1004	8
7	3774	8
done	5000	8
0	7	7
1	12	7
2	21	7
3	47	7
4	111	7
5	298	7
6	983	7
7	3753	7
done	5000	7
0	1	1
done	1	1
0	40	99
1	107	88
2	324	80
3	1234	76
done	5000	71
0	42	100
1	112	93
2	338	85
3	1385	76
done	5000	76
0	1	1
done	1	1
0	37	50
1	101	46
2	308	44
3	1442	43
done	5000	43
0	38	50
1	102	47
2	308	45
3	1423	43
done	5000	43
0	1	1
done	1	1
0	28	63
1	75	40
2	177	25
3	563	23
4	2613	20
done	5001	20
0	30	63
1	78	43
2	177	29
3	617	23
4	2738	23
done	5000	23
0	1	1
done	1	1
0	22	29
1	56	25
2	106	21
3	238	19
4	626	17
5	2677	17
done	5000	17
0	23	29
1	56	27
2	102	23
3	257	19
4	700	19
5	2778	19
done	5000	19

prune383.0ms

Filtered

105 candidates to 131 candidates (-24.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	125	6	131
Fresh	7	8	15
Picked	1	0	1
Done	0	0	0
Total	133	14	147

Merged error: 19.2b

Counts

147 → 14

localize29.0ms

Local error

Found 4 expressions with local error:

4.9b	(* n (pow (/ l Om) (/ 2.0 2)))
6.2b	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
8.5b	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
16.2b	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

99×	`add-exp-log`
67×	`prod-exp`
25×	`pow1` `add-sqr-sqrt` `associate-r`
24×	`add-cbrt-cube`
22×	`associate-*r/`
20×	`pow-exp`
17×	`*-un-lft-identity`
15×	`add-cube-cbrt` `unpow-prod-down`
13×	`pow-prod-down` `cbrt-unprod`
11×	`flip3--` `flip--`
10×	`pow-to-exp` `times-frac` `div-exp`
8×	`frac-sub`
6×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `sqrt-div`
5×	`associate-l`
4×	`sqrt-pow1` `associate--l+` `add-log-exp` `unswap-sqr`
3×	`*-commutative`
2×	`sqr-pow`
1×	`pow1/2` `sqrt-prod` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 136

Calls

4 calls:

11.0ms	(* n (pow (/ l Om) (/ 2.0 2)))
19.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
15.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
13.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))

series3.0s

Counts

4 → 12

Calls

4 calls:

56.0ms	(* n (pow (/ l Om) (/ 2.0 2)))
158.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
421.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
2.4s	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))

simplify8.9min

Counts

148 → 148

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	25	39
1	54	39
2	178	33
3	744	33
4	4337	33
done	5000	33
0	25	39
1	54	39
2	178	33
3	744	33
4	4337	33
done	5000	33
0	26	79
1	55	79
2	179	67
3	750	67
4	4320	67
done	5000	67
0	25	39
1	54	39
2	178	33
3	744	33
4	4337	33
done	5000	33
0	26	116
1	56	76
2	195	34
3	898	34
done	5000	34
0	6	6
1	10	6
2	16	6
done	16	6
0	21	32
1	43	32
2	135	26
3	508	26
4	2153	26
done	5001	24
0	41	88
1	122	78
2	462	72
3	2706	72
done	5000	72
0	21	42
1	56	32
2	205	32
3	964	32
4	4965	32
done	5000	32
0	37	80
1	106	72
2	413	66
3	2521	66
done	5000	66
0	17	34
1	46	26
2	167	26
3	685	26
4	2683	26
done	5000	26
0	37	74
1	101	72
2	373	66
3	2067	56
done	5000	56
0	17	22
1	37	20
2	101	20
3	317	20
4	1146	20
5	2904	20
6	4143	20
7	4479	20
8	4646	20
9	4710	20
done	4710	20
0	32	66
1	82	66
2	318	60
3	1837	50
done	5000	50
0	13	14
1	27	14
2	63	14
3	165	14
4	423	14
5	628	14
6	706	14
7	734	14
8	744	14
done	744	14
0	27	42
1	69	42
2	260	36
3	1613	36
done	5000	36
0	25	96
1	59	74
2	246	62
3	1482	60
done	5000	60
0	26	70
1	63	70
2	267	58
3	1629	50
done	5001	50
0	21	32
1	42	32
2	123	26
3	414	26
4	1646	26
done	5001	24
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	25	39
1	54	39
2	178	33
3	744	33
4	4337	33
done	5000	33
0	25	39
1	54	39
2	178	33
3	744	33
4	4337	33
done	5000	33
0	23	37
1	52	37
2	176	31
3	747	31
4	4313	31
done	5000	31
0	23	37
1	52	37
2	176	31
3	747	31
4	4313	31
done	5000	31
0	23	37
1	52	37
2	176	31
3	747	31
4	4313	31
done	5000	31
0	27	41
1	56	41
2	168	35
3	574	35
4	2215	35
done	5001	33
0	26	40
1	56	40
2	161	34
3	568	34
4	2277	34
done	5000	32
0	25	39
1	55	39
2	164	33
3	571	33
4	2322	33
done	5000	31
0	24	38
1	56	38
2	190	32
3	792	32
4	4390	32
done	5000	32
0	24	38
1	55	38
2	191	32
3	823	32
4	4728	32
done	5000	32
0	31	113
1	72	113
2	291	39
3	1666	39
done	5000	39
0	29	113
1	74	113
2	293	37
3	1723	37
done	5000	37
0	27	113
1	69	113
2	289	35
3	1750	35
done	5000	35
0	25	77
1	54	77
2	178	65
3	744	65
4	4337	65
done	5000	65
0	24	38
1	53	38
2	177	32
3	750	32
4	4298	32
done	5000	32
0	25	113
1	64	113
2	283	33
3	1970	33
done	5000	33
0	24	38
1	53	38
2	177	32
3	750	32
4	4298	32
done	5000	32
0	24	38
1	53	38
2	177	32
3	750	32
4	4298	32
done	5000	32
0	13	15
1	27	15
2	79	15
3	267	15
4	986	15
5	3139	15
done	5001	15
0	18	28
1	43	28
2	170	22
3	1042	22
done	5000	21
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	22	36
1	51	36
2	172	30
3	749	30
4	4560	29
done	5000	29
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	22	36
1	51	36
2	172	30
3	749	30
4	4560	29
done	5000	29
0	13	15
1	27	15
2	79	15
3	267	15
4	986	15
5	3139	15
done	5001	15
0	18	28
1	43	28
2	170	22
3	1042	22
done	5000	21
0	13	15
1	27	15
2	72	15
3	234	15
4	861	15
5	2778	15
done	5000	15
0	18	28
1	43	28
2	171	22
3	1055	22
done	5000	21
0	7	7
1	14	7
2	33	7
3	58	7
4	60	7
done	60	7
0	22	36
1	51	36
2	165	30
3	685	30
4	4117	29
done	5000	27
0	7	7
1	14	7
2	33	7
3	58	7
4	60	7
done	60	7
0	22	36
1	51	36
2	165	30
3	685	30
4	4117	29
done	5000	27
0	13	15
1	27	15
2	72	15
3	234	15
4	861	15
5	2778	15
done	5000	15
0	18	28
1	43	28
2	171	22
3	1055	22
done	5000	21
0	25	71
1	56	71
2	177	59
3	615	59
4	2321	59
done	5001	55
0	24	38
1	53	38
2	165	32
3	568	32
4	2224	32
done	5000	30
0	7	7
1	16	5
2	42	5
3	67	5
4	79	5
done	79	5
0	21	33
1	44	33
2	142	27
3	554	27
4	2658	27
done	5000	25
0	40	87
1	121	77
2	461	71
3	2707	71
done	5000	71
0	36	79
1	105	71
2	412	65
3	2519	65
done	5001	65
0	36	73
1	100	71
2	372	65
3	2070	55
done	5001	55
0	31	65
1	81	65
2	317	59
3	1842	49
done	5001	49
0	26	41
1	68	41
2	259	35
3	1607	35
done	5001	35
0	25	69
1	62	69
2	266	57
3	1636	49
done	5000	49
0	14	21
1	26	21
2	78	15
3	272	15
4	1065	15
5	4415	13
done	5000	13
0	18	27
1	32	27
2	63	19
3	150	19
4	409	19
5	902	17
6	1954	15
done	5000	15
0	21	26
1	38	25
2	68	20
3	146	18
4	374	18
5	856	16
6	1848	16
7	3549	14
done	5001	14
0	21	26
1	38	25
2	68	20
3	146	18
4	374	18
5	856	16
6	1848	16
7	3549	14
done	5001	14
0	21	26
1	40	26
2	86	21
3	206	20
4	648	18
5	2798	16
done	5001	16
0	21	26
1	38	25
2	68	20
3	143	18
4	375	18
5	856	16
6	1858	16
7	3556	14
done	5000	14
0	17	25
1	32	25
2	58	18
3	110	18
4	280	18
5	704	16
6	1574	14
7	3988	14
done	5000	14
0	17	25
1	32	25
2	58	18
3	110	18
4	280	18
5	704	16
6	1574	14
7	3988	14
done	5000	14
0	19	25
1	37	25
2	72	20
3	163	18
4	531	18
5	2355	16
done	5000	16
0	21	26
1	38	25
2	68	20
3	143	18
4	375	18
5	856	16
6	1858	16
7	3556	14
done	5000	14
0	17	25
1	32	25
2	58	18
3	110	18
4	280	18
5	704	16
6	1574	14
7	3988	14
done	5000	14
0	17	25
1	32	25
2	58	18
3	110	18
4	280	18
5	704	16
6	1574	14
7	3988	14
done	5000	14
0	19	25
1	37	25
2	72	20
3	163	18
4	531	18
5	2355	16
done	5000	16
0	21	26
1	40	26
2	86	21
3	206	20
4	649	18
5	2807	16
done	5000	16
0	19	25
1	37	25
2	72	20
3	163	18
4	533	18
5	2376	16
done	5000	16
0	19	25
1	37	25
2	72	20
3	163	18
4	533	18
5	2376	16
done	5000	16
0	17	25
1	31	25
2	68	18
3	149	18
4	408	18
5	1612	16
done	5000	16
0	20	25
1	38	25
2	78	25
3	195	21
4	600	18
5	2570	16
done	5000	16
0	18	24
1	37	24
2	70	24
3	169	20
4	538	18
5	2384	16
done	5000	16
0	18	24
1	37	24
2	70	24
3	169	20
4	538	18
5	2384	16
done	5000	16
0	17	24
1	31	24
2	63	24
3	145	18
4	444	18
5	1754	16
done	5001	16
0	16	23
1	29	23
2	67	17
3	180	17
4	554	17
5	2020	15
done	5000	15
0	15	22
1	30	22
2	92	16
3	327	16
4	1243	16
done	5000	14
0	15	22
1	29	22
2	93	16
3	339	16
4	1320	16
done	5000	14
0	20	65
1	45	53
2	193	29
3	1174	19
done	5000	19
0	20	65
1	49	53
2	211	27
3	1339	27
done	5000	27
0	18	65
1	42	65
2	185	19
3	1143	19
done	5001	19
0	16	45
1	28	45
2	80	33
3	276	33
4	1035	33
5	4287	29
done	5001	29
0	15	22
1	27	22
2	79	16
3	279	16
4	1044	16
5	4284	14
done	5001	14
0	16	65
1	38	65
2	184	17
3	1321	17
done	5000	17
0	15	22
1	27	22
2	79	16
3	279	16
4	1044	16
5	4284	14
done	5001	14
0	15	22
1	27	22
2	79	16
3	279	16
4	1044	16
5	4284	14
done	5001	14
0	12	19
1	22	19
2	61	13
3	174	13
4	540	13
5	1960	11
done	5000	11
0	13	20
1	25	20
2	74	14
3	250	14
4	988	14
5	4053	12
done	5000	12
0	12	19
1	22	19
2	61	13
3	174	13
4	540	13
5	1960	11
done	5000	11
0	13	20
1	25	20
2	74	14
3	250	14
4	988	14
5	4053	12
done	5000	12
0	12	19
1	22	19
2	59	13
3	167	13
4	517	13
5	1837	11
done	5000	11
0	13	20
1	25	20
2	72	14
3	241	14
4	936	14
5	4074	12
done	5001	12
0	12	19
1	22	19
2	59	13
3	167	13
4	517	13
5	1837	11
done	5000	11
0	13	20
1	25	20
2	72	14
3	241	14
4	936	14
5	4074	12
done	5001	12
0	16	27
1	30	27
2	81	21
3	261	21
4	883	21
5	3367	19
done	5001	19
0	15	22
1	27	22
2	67	16
3	179	16
4	555	16
5	1949	14
done	5000	14
0	12	19
1	24	17
2	69	11
3	172	11
4	426	11
5	1178	9
6	4262	7
done	5000	7
0	16	23
1	33	23
2	101	17
3	333	17
4	1105	17
5	3942	15
done	5001	15
0	12	19
1	24	17
2	69	11
3	172	11
4	426	11
5	1178	9
6	4262	7
done	5000	7
0	11	11
1	17	11
2	36	11
3	82	11
4	209	11
5	642	11
6	2487	11
done	5000	11
0	17	25
1	41	25
2	114	19
3	437	19
4	2386	19
done	5000	17
0	16	25
1	31	25
2	95	19
3	408	19
4	2085	19
done	5001	17
0	12	12
1	18	12
2	28	12
3	56	12
4	87	12
5	109	12
6	127	12
7	143	12
8	179	12
9	250	12
10	335	12
11	374	12
12	446	12
13	466	12
done	466	12
0	11	11
1	18	11
2	23	11
3	43	11
4	71	11
5	103	11
6	120	11
7	130	11
8	141	11
9	179	11
10	255	11
11	359	11
12	420	11
13	439	11
done	439	11
0	11	11
1	18	11
2	23	11
3	43	11
4	71	11
5	103	11
6	120	11
7	130	11
8	141	11
9	179	11
10	255	11
11	359	11
12	420	11
13	439	11
done	439	11
0	11	11
1	17	11
2	33	11
3	68	11
4	182	11
5	581	11
6	2292	11
done	5000	11
0	10	10
1	17	10
2	34	10
3	81	10
4	209	10
5	658	10
6	2477	10
done	5000	10
0	10	10
1	16	10
2	33	10
3	77	10
4	205	10
5	668	10
6	2788	10
done	5000	10
0	13	29
1	25	23
2	76	13
3	241	13
4	914	11
5	4179	11
done	5000	11
0	11	21
1	15	21
2	27	21
3	58	21
4	131	21
5	351	21
6	1170	21
7	4379	21
done	5000	21
0	10	10
1	14	10
2	26	10
3	55	10
4	131	10
5	350	10
6	1179	10
7	4348	10
done	5000	10
0	11	29
1	25	29
2	78	11
3	266	11
4	991	11
5	4252	11
done	5000	11
0	10	10
1	14	10
2	26	10
3	55	10
4	131	10
5	350	10
6	1179	10
7	4348	10
done	5000	10
0	10	10
1	14	10
2	26	10
3	55	10
4	131	10
5	350	10
6	1179	10
7	4348	10
done	5000	10
0	11	11
1	15	11
2	27	11
3	56	11
4	131	11
5	345	11
6	1168	11
7	4372	11
done	5000	11
0	11	11
1	15	11
2	27	11
3	56	11
4	131	11
5	345	11
6	1168	11
7	4372	11
done	5000	11
0	12	12
1	16	12
2	28	12
3	57	12
4	128	12
5	340	12
6	1160	12
7	4363	12
done	5000	12
0	12	12
1	16	12
2	28	12
3	57	12
4	128	12
5	340	12
6	1160	12
7	4363	12
done	5000	12
0	11	11
1	15	11
2	24	11
3	45	11
4	93	11
5	225	11
6	727	11
7	2539	11
done	5000	11
0	11	11
1	15	11
2	24	11
3	45	11
4	93	11
5	225	11
6	727	11
7	2539	11
done	5000	11
0	11	12
1	18	10
2	31	10
3	65	10
4	147	10
5	390	10
6	1318	10
7	4936	10
done	5000	10
0	11	12
1	18	10
2	31	10
3	65	10
4	147	10
5	390	10
6	1318	10
7	4936	10
done	5000	10
0	11	15
1	15	15
2	27	15
3	56	15
4	131	15
5	345	15
6	1168	15
7	4369	15
done	5000	15
0	10	10
1	14	10
2	26	10
3	57	10
4	135	10
5	353	10
6	1158	10
7	4382	10
done	5000	10
0	13	17
1	23	17
2	44	17
3	81	17
4	154	17
5	360	17
6	1166	17
7	4329	17
done	5000	17
0	12	14
1	18	14
2	32	14
3	62	14
4	133	14
5	347	14
6	1156	14
7	4395	14
done	5000	14
0	11	13
1	19	11
2	37	11
3	71	11
4	143	11
5	359	11
6	1167	11
7	4327	11
done	5001	11
0	12	14
1	18	14
2	30	14
3	59	14
4	132	14
5	344	14
6	1159	14
7	4363	14
done	5000	14
0	11	11
1	15	11
2	27	11
3	56	11
4	131	11
5	345	11
6	1168	11
7	4369	11
done	5000	11
0	10	10
1	16	8
2	30	8
3	61	8
4	136	8
5	342	8
6	1154	8
7	4341	8
done	5000	8
0	11	13
1	19	13
2	31	13
3	60	13
4	132	13
5	345	13
6	1159	13
7	4360	13
done	5000	13
0	10	10
1	16	10
2	28	10
3	59	10
4	134	10
5	349	10
6	1182	10
7	4377	10
done	5000	10
0	8	9
1	14	7
2	26	3
3	38	1
4	55	1
5	80	1
6	214	1
7	698	1
8	1439	1
9	3947	1
done	5001	1
0	7	7
1	13	3
2	19	1
3	26	1
4	36	1
5	49	1
6	65	1
7	84	1
8	106	1
9	131	1
10	159	1
11	190	1
12	224	1
13	261	1
14	301	1
15	344	1
16	390	1
17	439	1
18	491	1
19	546	1
20	604	1
21	665	1
22	729	1
23	796	1
24	866	1
25	939	1
26	1015	1
27	1094	1
28	1176	1
29	1261	1
30	1349	1
31	1440	1
32	1534	1
33	1631	1
34	1731	1
35	1834	1
36	1940	1
37	2049	1
38	2161	1
39	2276	1
40	2394	1
41	2515	1
42	2639	1
43	2766	1
44	2896	1
45	3029	1
46	3165	1
47	3304	1
48	3446	1
49	3591	1
50	3739	1
51	3890	1
52	4044	1
53	4201	1
54	4361	1
55	4524	1
56	4690	1
57	4859	1
done	5000	1
0	7	7
1	11	7
2	23	7
3	52	7
4	125	7
5	336	7
6	1159	7
7	4361	7
done	5000	7
0	11	19
1	17	19
2	27	19
3	48	19
4	96	19
5	228	19
6	733	19
7	2549	19
done	5001	19
0	10	10
1	14	10
2	23	10
3	44	10
4	94	10
5	221	10
6	727	10
7	2520	10
done	5000	10
0	3	3
1	6	1
done	6	1
0	10	11
1	17	9
2	30	9
3	66	9
4	149	9
5	396	9
6	1339	9
7	4968	9
done	5000	9
0	10	10
1	14	10
2	26	10
3	57	10
4	135	10
5	353	10
6	1158	10
7	4389	10
done	5000	10
0	10	10
1	14	10
2	26	10
3	57	10
4	135	10
5	353	10
6	1158	10
7	4389	10
done	5000	10
0	9	9
1	13	9
2	25	9
3	56	9
4	128	9
5	344	9
6	1172	9
7	4366	9
done	5001	9
0	1	1
done	1	1
0	40	99
1	107	88
2	324	80
3	1234	76
done	5000	71
0	42	100
1	112	93
2	338	85
3	1385	76
done	5000	76
0	1	1
done	1	1
0	37	50
1	101	46
2	308	44
3	1442	43
done	5000	43
0	38	50
1	102	47
2	308	45
3	1423	43
done	5000	43
0	1	1
done	1	1
0	28	63
1	75	40
2	177	25
3	563	23
4	2613	20
done	5001	20
0	30	63
1	78	43
2	177	29
3	617	23
4	2738	23
done	5000	23
0	15	18
1	37	17
2	66	15
3	141	13
4	322	13
5	857	13
6	2734	13
done	5000	13
0	21	29
1	55	25
2	105	21
3	234	19
4	622	17
5	2641	17
done	5001	17
0	22	29
1	55	27
2	101	23
3	255	19
4	692	19
5	2758	19
done	5000	19

prune446.0ms

Filtered

115 candidates to 148 candidates (-28.7%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	144	4	148
Fresh	4	9	13
Picked	0	1	1
Done	0	0	0
Total	148	14	162

Merged error: 18.3b

Counts

162 → 14

localize24.0ms

Local error

Found 4 expressions with local error:

4.9b	(* n (pow (/ l Om) (/ 2.0 2)))
5.6b	(* (pow (/ l Om) (/ 2.0 2)) (- U U*))
8.5b	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*)))))
16.2b	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*))))))

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

41×	`add-sqr-sqrt`
30×	`unpow-prod-down` `associate-*r/`
29×	`add-exp-log`
25×	`-un-lft-identity` `associate-r*`
23×	`pow1` `add-cube-cbrt`
21×	`associate-l`
20×	`times-frac`
17×	`add-cbrt-cube`
14×	`prod-exp`
12×	`pow-prod-down`
11×	`flip3--` `flip--`
8×	`frac-sub` `cbrt-unprod` `unswap-sqr`
6×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `sqrt-div`
4×	`sqrt-pow1` `pow-exp` `associate--l+` `add-log-exp` `sqr-pow`
3×	`*-commutative`
2×	`pow-to-exp` `div-exp` `div-inv`
1×	`pow1/2` `sqrt-prod` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 136

Calls

4 calls:

11.0ms	(* n (pow (/ l Om) (/ 2.0 2)))
22.0ms	(* (pow (/ l Om) (/ 2.0 2)) (- U U*))
15.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*)))))
13.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*))))))

series3.1s

Counts

4 → 12

Calls

4 calls:

64.0ms	(* n (pow (/ l Om) (/ 2.0 2)))
152.0ms	(* (pow (/ l Om) (/ 2.0 2)) (- U U*))
449.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*)))))
2.4s	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*))))))

simplify9.2min

Counts

148 → 148

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	25	39
1	54	39
2	178	39
3	761	33
4	4349	33
done	5000	33
0	25	39
1	54	39
2	178	39
3	761	33
4	4349	33
done	5000	33
0	26	79
1	55	79
2	179	79
3	764	67
4	4372	67
done	5000	67
0	25	39
1	54	39
2	178	39
3	761	33
4	4349	33
done	5000	33
0	26	116
1	56	76
2	195	40
3	914	34
done	5000	34
0	6	6
1	10	6
2	16	6
done	16	6
0	21	32
1	43	32
2	135	32
3	507	26
4	2075	26
done	5000	24
0	41	88
1	122	78
2	458	78
3	2667	72
done	5000	72
0	21	42
1	56	32
2	205	32
3	964	32
4	4965	32
done	5000	32
0	37	80
1	106	72
2	407	72
3	2479	66
done	5000	66
0	17	34
1	46	26
2	167	26
3	685	26
4	2683	26
done	5000	26
0	37	74
1	101	72
2	369	72
3	2010	56
done	5001	56
0	17	22
1	37	20
2	101	20
3	317	20
4	1146	20
5	2904	20
6	4143	20
7	4479	20
8	4646	20
9	4710	20
done	4710	20
0	32	66
1	82	66
2	312	66
3	1785	50
done	5001	50
0	13	14
1	27	14
2	63	14
3	165	14
4	423	14
5	628	14
6	706	14
7	734	14
8	744	14
done	744	14
0	27	42
1	69	42
2	269	42
3	1761	36
done	5001	36
0	25	96
1	59	74
2	244	74
3	1418	62
done	5000	62
0	26	70
1	63	70
2	263	70
3	1608	58
done	5000	58
0	21	32
1	42	32
2	119	32
3	400	26
4	1566	26
done	5000	24
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	25	39
1	54	39
2	178	39
3	761	33
4	4349	33
done	5000	33
0	25	39
1	54	39
2	178	39
3	761	33
4	4349	33
done	5000	33
0	23	37
1	52	37
2	176	37
3	764	31
4	4344	31
done	5000	31
0	23	37
1	52	37
2	176	37
3	764	31
4	4344	31
done	5000	31
0	23	37
1	52	37
2	176	37
3	764	31
4	4344	31
done	5000	31
0	27	41
1	56	41
2	168	41
3	575	35
4	2143	35
done	5000	33
0	26	40
1	56	40
2	161	40
3	564	34
4	2172	34
done	5000	32
0	25	39
1	55	39
2	164	39
3	565	33
4	2185	33
done	5000	31
0	24	38
1	56	38
2	190	38
3	805	32
4	4411	32
done	5000	32
0	24	38
1	55	38
2	191	38
3	838	32
4	4777	32
done	5000	32
0	31	113
1	72	113
2	291	45
3	1703	39
done	5000	39
0	29	113
1	74	113
2	293	43
3	1740	37
done	5000	37
0	27	113
1	69	113
2	289	41
3	1784	35
done	5001	35
0	25	77
1	54	77
2	178	77
3	761	65
4	4349	65
done	5000	65
0	24	38
1	53	38
2	177	38
3	765	32
4	4348	32
done	5000	32
0	25	113
1	64	113
2	283	39
3	2005	33
done	5001	33
0	24	38
1	53	38
2	177	38
3	765	32
4	4348	32
done	5000	32
0	24	38
1	53	38
2	177	38
3	765	32
4	4348	32
done	5000	32
0	13	15
1	27	15
2	79	15
3	267	15
4	986	15
5	3139	15
done	5001	15
0	18	28
1	43	28
2	167	28
3	1031	22
done	5001	22
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	22	36
1	51	36
2	172	36
3	763	30
4	4584	29
done	5000	29
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	22	36
1	51	36
2	172	36
3	763	30
4	4584	29
done	5000	29
0	13	15
1	27	15
2	79	15
3	267	15
4	986	15
5	3139	15
done	5001	15
0	18	28
1	43	28
2	167	28
3	1031	22
done	5001	22
0	13	15
1	27	15
2	72	15
3	234	15
4	861	15
5	2778	15
done	5000	15
0	18	28
1	43	28
2	166	28
3	1000	22
done	5000	22
0	7	7
1	14	7
2	33	7
3	58	7
4	60	7
done	60	7
0	22	36
1	51	36
2	165	36
3	694	30
4	3975	29
done	5001	27
0	7	7
1	14	7
2	33	7
3	58	7
4	60	7
done	60	7
0	22	36
1	51	36
2	165	36
3	694	30
4	3975	29
done	5001	27
0	13	15
1	27	15
2	72	15
3	234	15
4	861	15
5	2778	15
done	5000	15
0	18	28
1	43	28
2	166	28
3	1000	22
done	5000	22
0	25	71
1	56	71
2	177	71
3	616	59
4	2229	59
done	5001	55
0	24	38
1	53	38
2	165	38
3	568	32
4	2149	32
done	5001	30
0	7	7
1	16	5
2	42	5
3	67	5
4	79	5
done	79	5
0	21	33
1	44	33
2	142	33
3	563	27
4	2612	27
done	5000	25
0	40	87
1	121	77
2	457	77
3	2645	71
done	5001	71
0	36	79
1	105	71
2	406	71
3	2479	65
done	5000	65
0	36	73
1	100	71
2	368	71
3	2012	55
done	5000	55
0	31	65
1	81	65
2	311	65
3	1780	49
done	5000	49
0	26	41
1	68	41
2	268	41
3	1744	35
done	5000	35
0	25	69
1	62	69
2	262	69
3	1614	57
done	5000	57
0	14	14
1	22	14
2	33	14
3	61	14
4	92	14
5	114	14
6	132	14
7	148	14
8	184	14
9	255	14
10	340	14
11	379	14
12	451	14
13	471	14
done	471	14
0	13	13
1	22	13
2	28	13
3	48	13
4	76	13
5	108	13
6	125	13
7	135	13
8	146	13
9	184	13
10	260	13
11	364	13
12	427	13
13	446	13
done	446	13
0	13	13
1	22	13
2	28	13
3	48	13
4	76	13
5	108	13
6	125	13
7	135	13
8	146	13
9	184	13
10	260	13
11	364	13
12	427	13
13	446	13
done	446	13
0	13	13
1	21	13
2	38	13
3	73	13
4	187	13
5	590	13
6	2301	13
done	5000	13
0	12	12
1	21	12
2	45	12
3	109	12
4	288	12
5	947	12
6	3756	12
done	5000	12
0	12	12
1	20	12
2	46	12
3	120	12
4	326	12
5	1053	12
6	4222	12
done	5000	12
0	15	35
1	29	29
2	99	15
3	410	15
4	2250	13
done	5001	13
0	13	25
1	19	25
2	38	25
3	84	25
4	213	25
5	633	25
6	2486	25
done	5000	25
0	12	12
1	18	12
2	37	12
3	83	12
4	212	12
5	635	12
6	2505	12
done	5001	12
0	13	35
1	29	35
2	108	13
3	481	13
4	2623	13
done	5000	13
0	12	12
1	18	12
2	37	12
3	83	12
4	212	12
5	635	12
6	2505	12
done	5001	12
0	12	12
1	18	12
2	37	12
3	83	12
4	212	12
5	635	12
6	2505	12
done	5001	12
0	13	13
1	19	13
2	32	13
3	61	13
4	137	13
5	354	13
6	1164	13
7	4338	13
done	5000	13
0	13	13
1	19	13
2	32	13
3	61	13
4	137	13
5	354	13
6	1164	13
7	4338	13
done	5000	13
0	14	14
1	20	14
2	33	14
3	64	14
4	139	14
5	353	14
6	1175	14
7	4366	14
done	5000	14
0	14	14
1	20	14
2	33	14
3	64	14
4	139	14
5	353	14
6	1175	14
7	4366	14
done	5000	14
0	13	13
1	19	13
2	29	13
3	50	13
4	98	13
5	227	13
6	729	13
7	2557	13
done	5001	13
0	13	13
1	19	13
2	29	13
3	50	13
4	98	13
5	227	13
6	729	13
7	2557	13
done	5001	13
0	13	14
1	22	12
2	36	12
3	70	12
4	151	12
5	397	12
6	1342	12
7	4974	12
done	5000	12
0	13	14
1	22	12
2	36	12
3	70	12
4	151	12
5	397	12
6	1342	12
7	4974	12
done	5000	12
0	9	9
1	13	9
2	25	9
3	56	9
4	128	9
5	344	9
6	1170	9
7	4350	9
done	5000	9
0	10	10
1	16	10
2	33	10
3	76	10
4	194	10
5	591	10
6	2208	10
done	5001	10
0	9	9
1	13	9
2	25	9
3	56	9
4	128	9
5	344	9
6	1170	9
7	4350	9
done	5000	9
0	10	10
1	16	10
2	33	10
3	76	10
4	194	10
5	591	10
6	2208	10
done	5001	10
0	9	9
1	13	9
2	25	9
3	56	9
4	128	9
5	344	9
6	1172	9
7	4366	9
done	5001	9
0	10	10
1	16	10
2	33	10
3	76	10
4	194	10
5	589	10
6	2182	10
done	5000	10
0	9	9
1	13	9
2	25	9
3	56	9
4	128	9
5	344	9
6	1172	9
7	4366	9
done	5001	9
0	10	10
1	16	10
2	33	10
3	76	10
4	194	10
5	589	10
6	2182	10
done	5000	10
0	13	17
1	21	17
2	41	17
3	83	17
4	197	17
5	543	17
6	1893	17
done	5001	17
0	12	12
1	18	12
2	31	12
3	60	12
4	131	12
5	343	12
6	1172	12
7	4348	12
done	5000	12
0	9	9
1	15	7
2	30	7
3	66	7
4	138	7
5	305	7
6	881	7
7	2892	7
done	5000	7
0	13	13
1	24	13
2	45	13
3	96	13
4	227	13
5	629	13
6	2106	13
done	5000	13
0	9	9
1	15	7
2	30	7
3	66	7
4	138	7
5	305	7
6	881	7
7	2892	7
done	5000	7
0	12	12
1	18	12
2	37	12
3	83	12
4	212	12
5	635	12
6	2482	12
done	5000	12
0	12	12
1	18	12
2	37	12
3	83	12
4	212	12
5	635	12
6	2482	12
done	5000	12
0	13	13
1	19	13
2	38	13
3	84	13
4	215	13
5	642	13
6	2462	13
done	5000	13
0	13	13
1	19	13
2	38	13
3	84	13
4	215	13
5	642	13
6	2462	13
done	5000	13
0	12	12
1	18	12
2	37	12
3	83	12
4	212	12
5	635	12
6	2482	12
done	5000	12
0	13	13
1	19	13
2	38	13
3	84	13
4	215	13
5	642	13
6	2462	13
done	5000	13
0	13	13
1	19	13
2	38	13
3	84	13
4	215	13
5	642	13
6	2462	13
done	5000	13
0	12	12
1	18	12
2	37	12
3	83	12
4	212	12
5	635	12
6	2482	12
done	5000	12
0	12	12
1	18	12
2	37	12
3	83	12
4	212	12
5	635	12
6	2482	12
done	5000	12
0	12	12
1	18	12
2	37	12
3	83	12
4	212	12
5	635	12
6	2482	12
done	5000	12
0	11	11
1	17	11
2	36	11
3	82	11
4	209	11
5	642	11
6	2487	11
done	5000	11
0	11	11
1	17	11
2	36	11
3	82	11
4	209	11
5	642	11
6	2487	11
done	5000	11
0	11	11
1	19	11
2	38	11
3	84	11
4	212	11
5	630	11
6	2450	11
done	5000	11
0	12	12
1	18	12
2	33	12
3	59	12
4	111	12
5	243	12
6	750	12
7	2563	12
done	5000	12
0	12	12
1	18	12
2	34	12
3	60	12
4	112	12
5	244	12
6	750	12
7	2560	12
done	5000	12
0	11	11
1	17	11
2	36	11
3	82	11
4	209	11
5	642	11
6	2487	11
done	5000	11
0	12	13
1	21	11
2	41	11
3	92	11
4	234	11
5	692	11
6	2652	11
done	5001	11
0	14	15
1	32	15
2	72	15
3	200	15
4	728	15
5	3687	15
done	5000	15
0	13	15
1	22	15
2	51	15
3	154	15
4	513	15
5	1900	15
done	5001	15
0	12	12
1	18	12
2	28	12
3	56	12
4	87	12
5	109	12
6	127	12
7	143	12
8	179	12
9	250	12
10	335	12
11	374	12
12	446	12
13	466	12
done	466	12
0	11	11
1	18	11
2	23	11
3	43	11
4	71	11
5	103	11
6	120	11
7	130	11
8	141	11
9	179	11
10	255	11
11	359	11
12	420	11
13	439	11
done	439	11
0	11	11
1	18	11
2	23	11
3	43	11
4	71	11
5	103	11
6	120	11
7	130	11
8	141	11
9	179	11
10	255	11
11	359	11
12	420	11
13	439	11
done	439	11
0	11	11
1	17	11
2	33	11
3	68	11
4	182	11
5	581	11
6	2292	11
done	5000	11
0	10	10
1	17	10
2	34	10
3	81	10
4	209	10
5	658	10
6	2477	10
done	5000	10
0	10	10
1	16	10
2	33	10
3	77	10
4	205	10
5	668	10
6	2788	10
done	5000	10
0	13	29
1	25	23
2	76	13
3	241	13
4	914	11
5	4179	11
done	5000	11
0	11	21
1	15	21
2	27	21
3	58	21
4	131	21
5	351	21
6	1170	21
7	4379	21
done	5000	21
0	10	10
1	14	10
2	26	10
3	55	10
4	131	10
5	350	10
6	1179	10
7	4348	10
done	5000	10
0	11	29
1	25	29
2	78	11
3	266	11
4	991	11
5	4252	11
done	5000	11
0	10	10
1	14	10
2	26	10
3	55	10
4	131	10
5	350	10
6	1179	10
7	4348	10
done	5000	10
0	10	10
1	14	10
2	26	10
3	55	10
4	131	10
5	350	10
6	1179	10
7	4348	10
done	5000	10
0	11	11
1	15	11
2	27	11
3	56	11
4	131	11
5	345	11
6	1168	11
7	4372	11
done	5000	11
0	11	11
1	15	11
2	27	11
3	56	11
4	131	11
5	345	11
6	1168	11
7	4372	11
done	5000	11
0	12	12
1	16	12
2	28	12
3	57	12
4	128	12
5	340	12
6	1160	12
7	4363	12
done	5000	12
0	12	12
1	16	12
2	28	12
3	57	12
4	128	12
5	340	12
6	1160	12
7	4363	12
done	5000	12
0	11	11
1	15	11
2	24	11
3	45	11
4	93	11
5	225	11
6	727	11
7	2539	11
done	5000	11
0	11	11
1	15	11
2	24	11
3	45	11
4	93	11
5	225	11
6	727	11
7	2539	11
done	5000	11
0	11	12
1	18	10
2	31	10
3	65	10
4	147	10
5	390	10
6	1318	10
7	4936	10
done	5000	10
0	11	12
1	18	10
2	31	10
3	65	10
4	147	10
5	390	10
6	1318	10
7	4936	10
done	5000	10
0	11	15
1	15	15
2	27	15
3	56	15
4	131	15
5	345	15
6	1168	15
7	4369	15
done	5000	15
0	10	10
1	14	10
2	26	10
3	57	10
4	135	10
5	353	10
6	1158	10
7	4382	10
done	5000	10
0	13	17
1	23	17
2	44	17
3	81	17
4	154	17
5	360	17
6	1166	17
7	4329	17
done	5000	17
0	12	14
1	18	14
2	32	14
3	62	14
4	133	14
5	347	14
6	1156	14
7	4395	14
done	5000	14
0	11	13
1	19	11
2	37	11
3	71	11
4	143	11
5	359	11
6	1167	11
7	4327	11
done	5001	11
0	12	14
1	18	14
2	30	14
3	59	14
4	132	14
5	344	14
6	1159	14
7	4363	14
done	5000	14
0	11	11
1	15	11
2	27	11
3	56	11
4	131	11
5	345	11
6	1168	11
7	4369	11
done	5000	11
0	10	10
1	16	8
2	30	8
3	61	8
4	136	8
5	342	8
6	1154	8
7	4341	8
done	5000	8
0	11	13
1	19	13
2	31	13
3	60	13
4	132	13
5	345	13
6	1159	13
7	4360	13
done	5000	13
0	10	10
1	16	10
2	28	10
3	59	10
4	134	10
5	349	10
6	1182	10
7	4377	10
done	5000	10
0	8	9
1	14	7
2	26	3
3	38	1
4	55	1
5	80	1
6	214	1
7	698	1
8	1439	1
9	3947	1
done	5001	1
0	7	7
1	13	3
2	19	1
3	26	1
4	36	1
5	49	1
6	65	1
7	84	1
8	106	1
9	131	1
10	159	1
11	190	1
12	224	1
13	261	1
14	301	1
15	344	1
16	390	1
17	439	1
18	491	1
19	546	1
20	604	1
21	665	1
22	729	1
23	796	1
24	866	1
25	939	1
26	1015	1
27	1094	1
28	1176	1
29	1261	1
30	1349	1
31	1440	1
32	1534	1
33	1631	1
34	1731	1
35	1834	1
36	1940	1
37	2049	1
38	2161	1
39	2276	1
40	2394	1
41	2515	1
42	2639	1
43	2766	1
44	2896	1
45	3029	1
46	3165	1
47	3304	1
48	3446	1
49	3591	1
50	3739	1
51	3890	1
52	4044	1
53	4201	1
54	4361	1
55	4524	1
56	4690	1
57	4859	1
done	5000	1
0	7	7
1	11	7
2	23	7
3	52	7
4	125	7
5	336	7
6	1159	7
7	4361	7
done	5000	7
0	11	19
1	17	19
2	27	19
3	48	19
4	96	19
5	228	19
6	733	19
7	2549	19
done	5001	19
0	10	10
1	14	10
2	23	10
3	44	10
4	94	10
5	221	10
6	727	10
7	2520	10
done	5000	10
0	3	3
1	6	1
done	6	1
0	10	11
1	17	9
2	30	9
3	66	9
4	149	9
5	396	9
6	1339	9
7	4968	9
done	5000	9
0	10	10
1	14	10
2	26	10
3	57	10
4	135	10
5	353	10
6	1158	10
7	4389	10
done	5000	10
0	10	10
1	14	10
2	26	10
3	57	10
4	135	10
5	353	10
6	1158	10
7	4389	10
done	5000	10
0	9	9
1	13	9
2	25	9
3	56	9
4	128	9
5	344	9
6	1172	9
7	4366	9
done	5001	9
0	1	1
done	1	1
0	40	99
1	107	88
2	324	80
3	1234	76
done	5000	71
0	42	100
1	112	93
2	338	85
3	1385	76
done	5000	76
0	1	1
done	1	1
0	37	50
1	101	46
2	308	44
3	1442	43
done	5000	43
0	38	50
1	102	47
2	308	45
3	1423	43
done	5000	43
0	23	51
1	60	33
2	125	21
3	362	17
4	1475	17
done	5000	17
0	25	59
1	66	51
2	140	30
3	394	21
4	1643	18
done	5000	18
0	26	59
1	68	39
2	144	25
3	430	21
4	1623	21
done	5000	21
0	15	18
1	37	17
2	66	15
3	141	13
4	322	13
5	857	13
6	2734	13
done	5000	13
0	21	29
1	55	25
2	105	21
3	234	19
4	622	17
5	2641	17
done	5001	17
0	22	29
1	55	27
2	101	23
3	255	19
4	692	19
5	2758	19
done	5000	19

prune423.0ms

Filtered

122 candidates to 148 candidates (-21.3%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	144	4	148
Fresh	1	11	12
Picked	0	1	1
Done	1	0	1
Total	146	16	162

Merged error: 18.2b

Counts

162 → 16

regimes1.1s

Accuracy

8% (8.3b remaining)

Error of 30.1b against oracle of 21.7b and baseline of 30.8b

bsearch150.0ms

Steps

Iters	Range		Point
2	3.711116489754724e-275	4.1024546495804915e-275	3.9557028396458285e-275
10	-8.940213085741528e+76	-6.628807365996322e+61	-2.1838820564420106e+70

simplify5.0ms

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	41	150
1	57	113
done	57	113

end0.0ms

sample4.5s

Algorithm

intervals

Results

1.6s	15062×	body	80	nan
997.0ms	9219×	body	80	valid

Details

sample150.0ms

simplify1.7s

prune6.0ms

localize31.0ms

rewrite51.0ms

series3.0s

simplify4.4min

prune390.0ms

localize21.0ms

rewrite58.0ms

series2.9s

simplify8.7min

prune383.0ms

localize29.0ms

rewrite66.0ms

series3.0s

simplify8.9min

prune446.0ms

localize24.0ms

rewrite67.0ms

series3.1s

simplify9.2min

prune423.0ms

regimes1.1s

bsearch150.0ms

simplify5.0ms

end0.0ms

sample4.5s

Profiling