Details

sample34.0ms

Algorithm

intervals

Results

21.0ms

305×

body

valid

simplify2.1s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	21
1	30	21
2	86	21
3	352	21
4	1415	21
done	5000	21

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 17.3b

Counts

2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a))))
0.8b	(/ 1.0 (- (* b b) (* a a)))
5.8b	(- (* b b) (* a a))
10.0b	(* (* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a)))) (- (/ 1.0 a) (/ 1.0 b)))

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

55×	`add-sqr-sqrt`
47×	`times-frac`
39×	`*-un-lft-identity`
36×	`add-exp-log` `add-cbrt-cube`
31×	`add-cube-cbrt`
30×	`associate-r`
14×	`frac-times` `associate-l`
13×	`prod-exp` `cbrt-unprod`
12×	`difference-of-squares`
11×	`pow1`
9×	`cbrt-undiv` `div-exp`
8×	`associate-r/` `associate-l/`
7×	`flip3--` `flip--`
6×	`add-log-exp`
5×	`div-inv` `distribute-lft-out--`
4×	`pow-prod-down` `associate-/r*` `associate-/r/` `frac-sub` `unswap-sqr`
3×	`sub-neg` `associate-/l*`
2×	`distribute-rgt-in` `distribute-lft-in` `*-commutative`
1×	`frac-2neg` `diff-log` `clear-num`

Counts

4 → 153

Calls

4 calls:

19.0ms	(* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a))))
6.0ms	(/ 1.0 (- (* b b) (* a a)))
4.0ms	(- (* b b) (* a a))
26.0ms	(* (* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a)))) (- (/ 1.0 a) (/ 1.0 b)))

series41.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a))))
8.0ms	(/ 1.0 (- (* b b) (* a a)))
7.0ms	(- (* b b) (* a a))
16.0ms	(* (* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a)))) (- (/ 1.0 a) (/ 1.0 b)))

simplify10.9min

Counts

165 → 165

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	21
1	30	21
2	86	21
3	352	21
4	1415	21
done	5000	21
0	15	21
1	30	21
2	86	21
3	352	21
4	1415	21
done	5000	21
0	20	26
1	39	26
2	96	26
3	271	26
4	822	26
5	2624	26
6	4927	26
done	5000	26
0	19	25
1	37	25
2	86	25
3	230	25
4	687	25
5	2218	25
6	4486	25
done	5000	25
0	19	25
1	37	25
2	80	25
3	212	25
4	647	25
5	2156	25
6	4913	25
done	5000	25
0	18	24
1	35	24
2	72	24
3	182	24
4	542	24
5	1749	24
6	4552	24
done	5000	24
0	17	23
1	33	23
2	74	23
3	200	23
4	622	23
5	1968	23
done	5000	23
0	16	22
1	34	22
2	103	22
3	423	22
4	1722	22
done	5001	22
0	16	22
1	33	22
2	100	22
3	400	22
4	1636	22
done	5000	22
0	25	65
1	61	65
2	295	31
3	2790	27
done	5000	27
0	23	65
1	57	65
2	245	29
3	1898	27
done	5001	27
0	23	65
1	57	65
2	261	29
3	2149	27
done	5001	27
0	21	65
1	53	65
2	211	27
3	1425	27
done	5001	27
0	19	65
1	47	65
2	206	25
3	1585	25
done	5001	25
0	17	45
1	32	45
2	88	45
3	352	45
4	1412	45
done	5000	45
0	16	22
1	31	22
2	87	22
3	353	22
4	1413	22
done	5000	22
0	17	65
1	42	65
2	200	23
3	1678	23
done	5000	23
0	16	22
1	31	22
2	87	22
3	353	22
4	1413	22
done	5000	22
0	16	22
1	31	22
2	87	22
3	353	22
4	1413	22
done	5000	22
0	9	11
1	17	11
2	44	9
3	114	9
4	187	9
5	229	9
6	240	9
done	240	9
0	9	13
1	21	13
2	59	13
3	205	13
4	641	13
5	1222	13
6	2128	13
7	3505	13
done	5001	13
0	12	15
1	36	15
2	109	15
3	389	15
4	1758	15
done	5001	15
0	16	33
1	48	29
2	148	29
3	692	29
4	3630	29
done	5000	29
0	11	19
1	28	19
2	72	19
3	222	19
4	678	17
5	1523	17
6	2734	17
7	4748	17
done	5000	17
0	12	17
1	28	17
2	80	17
3	308	17
4	1166	17
5	2894	17
done	5001	17
0	11	13
1	21	13
2	57	11
3	175	11
4	406	11
5	733	11
6	1027	11
7	1122	11
8	1136	11
done	1136	11
0	7	11
1	16	11
2	41	11
3	125	11
4	270	11
5	462	11
6	801	11
7	1534	11
done	5001	11
0	14	17
1	40	17
2	122	17
3	450	17
4	2331	17
done	5000	17
0	14	31
1	43	27
2	129	27
3	557	27
4	2302	27
done	5000	27
0	13	21
1	32	21
2	85	21
3	295	21
4	1080	19
5	3220	19
done	5000	19
0	10	15
1	23	15
2	67	15
3	231	15
4	648	15
5	1515	15
6	4612	15
done	5000	15
0	13	19
1	28	19
2	76	17
3	304	17
4	1182	17
5	3219	11
done	5000	11
0	5	5
1	9	5
2	15	5
done	15	5
0	16	23
1	47	23
2	141	23
3	579	23
4	3720	23
done	5000	23
0	12	25
1	36	21
2	85	21
3	185	21
4	346	21
5	547	21
6	698	19
7	797	19
8	846	19
9	867	19
10	883	19
11	891	19
done	891	19
0	15	27
1	39	27
2	106	27
3	435	27
4	2134	25
done	5001	25
0	8	9
1	16	9
2	23	9
3	31	9
4	35	9
5	41	9
6	43	9
done	43	9
0	13	17
1	28	17
2	80	17
3	294	17
4	1203	17
5	4025	17
done	5001	17
0	14	18
1	31	18
2	92	18
3	386	18
4	1667	18
done	5000	18
0	13	17
1	28	17
2	80	17
3	294	17
4	1203	17
5	4025	17
done	5001	17
0	14	18
1	31	18
2	92	18
3	386	18
4	1667	18
done	5000	18
0	13	17
1	28	17
2	80	17
3	290	17
4	1144	17
5	4165	17
done	5000	17
0	14	18
1	31	18
2	92	18
3	378	18
4	1560	18
done	5000	18
0	13	17
1	28	17
2	80	17
3	290	17
4	1144	17
5	4165	17
done	5000	17
0	14	18
1	31	18
2	92	18
3	378	18
4	1560	18
done	5000	18
0	17	31
1	34	31
2	89	31
3	297	31
4	1035	31
5	3379	31
done	5000	31
0	16	22
1	31	22
2	75	22
3	221	22
4	685	22
5	1932	22
6	3927	22
done	5000	22
0	13	15
1	28	13
2	75	13
3	245	13
4	754	13
5	1922	13
6	3654	13
done	5000	13
0	17	23
1	37	23
2	115	23
3	395	23
4	1309	23
5	3983	23
done	5001	23
0	18	24
1	38	24
2	120	24
3	444	24
4	1632	24
done	5001	24
0	18	24
1	38	24
2	120	24
3	444	24
4	1634	24
done	5002	24
0	18	25
1	38	25
2	122	25
3	456	25
4	1785	25
done	5000	25
0	16	21
1	35	19
2	99	19
3	419	19
4	2052	19
done	5001	19
0	15	18
1	32	16
2	83	16
3	294	16
4	1375	16
done	5002	16
0	14	17
1	31	15
2	79	13
3	307	13
4	1279	13
5	4115	13
done	5001	13
0	13	15
1	28	13
2	75	13
3	245	13
4	754	13
5	1922	13
6	3654	13
done	5000	13
0	12	15
1	25	15
2	64	15
3	194	15
4	574	15
5	1446	15
6	2746	15
7	4925	15
done	5000	15
0	11	17
1	21	17
2	52	17
3	129	17
4	301	17
5	639	17
6	1400	17
7	2373	17
done	5000	17
0	15	21
1	32	21
2	92	19
3	404	19
4	1894	19
done	5001	19
0	18	25
1	51	25
2	157	25
3	679	25
4	4798	25
done	5000	25
0	17	29
1	43	29
2	122	29
3	547	29
4	3079	27
done	5000	27
0	9	11
1	15	11
2	36	11
3	76	11
4	124	11
5	177	11
6	202	11
7	217	11
8	234	11
9	237	11
done	237	11
0	11	13
1	19	13
2	49	13
3	133	13
4	275	13
5	561	13
6	907	13
7	1042	13
8	1112	13
9	1125	13
10	1129	13
11	1132	13
12	1134	13
done	1134	13
0	13	19
1	26	19
2	70	19
3	254	19
4	836	19
5	2162	19
done	5000	19
0	7	9
1	13	8
2	25	8
3	52	8
4	141	8
5	464	8
6	2518	8
done	5001	8
0	6	8
1	11	8
2	21	8
3	37	8
4	62	8
5	103	8
6	161	8
7	329	8
8	1610	8
done	5000	8
0	6	8
1	14	8
2	29	8
3	64	8
4	142	8
5	361	8
6	1304	8
done	5000	8
0	7	17
1	12	17
2	19	17
3	34	17
4	59	17
5	100	17
6	156	17
7	324	17
8	1653	17
done	5000	17
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	7	23
1	13	23
2	45	9
3	236	9
4	1272	9
done	5000	9
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	8	11
1	27	11
2	89	7
3	214	7
4	541	7
5	1943	7
done	5000	7
0	9	23
1	30	19
2	62	17
3	85	15
4	114	15
5	162	15
6	328	15
7	830	15
8	3018	15
done	5000	15
0	3	4
1	6	4
done	6	4
0	7	15
1	20	15
2	41	11
3	87	7
4	212	7
5	581	7
6	1497	7
done	5000	7
0	5	7
1	6	7
done	6	7
0	3	3
1	4	3
done	4	3
0	3	3
1	5	3
2	6	3
done	6	3
0	3	4
1	6	4
done	6	4
0	9	11
1	16	11
2	27	11
3	48	11
4	81	11
5	132	11
6	204	11
7	391	11
8	1714	11
done	5001	11
0	8	10
1	16	10
2	30	10
3	56	10
4	92	10
5	144	10
6	212	10
7	399	10
8	1722	10
done	5000	10
0	8	10
1	13	10
2	22	10
3	39	10
4	64	10
5	105	10
6	161	10
7	329	10
8	1619	10
done	5000	10
0	11	29
1	25	29
2	91	13
3	494	11
4	2607	11
done	5001	11
0	9	21
1	14	21
2	23	21
3	40	21
4	65	21
5	106	21
6	164	21
7	332	21
8	1654	21
done	5001	21
0	8	10
1	13	10
2	22	10
3	39	10
4	64	10
5	105	10
6	161	10
7	329	10
8	1619	10
done	5000	10
0	9	29
1	21	29
2	57	11
3	234	11
4	1078	11
5	4524	11
done	5000	11
0	8	10
1	13	10
2	22	10
3	39	10
4	64	10
5	105	10
6	161	10
7	329	10
8	1619	10
done	5000	10
0	8	10
1	13	10
2	22	10
3	39	10
4	64	10
5	105	10
6	161	10
7	329	10
8	1619	10
done	5000	10
0	2	2
done	2	2
0	6	8
1	11	8
2	25	8
3	60	8
4	141	7
5	243	7
6	460	7
7	942	7
8	3837	7
done	5000	7
0	11	23
1	22	23
2	38	23
3	59	23
4	84	23
5	125	23
6	191	23
7	359	23
8	1629	23
done	5000	23
0	9	11
1	14	11
2	21	11
3	36	11
4	61	11
5	102	11
6	166	11
7	334	11
8	1617	11
done	5000	11
0	10	14
1	17	14
2	26	14
3	42	14
4	67	14
5	108	14
6	174	14
7	342	14
8	1593	14
done	5000	14
0	9	11
1	14	11
2	21	11
3	36	11
4	61	11
5	102	11
6	166	11
7	334	11
8	1617	11
done	5000	11
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	10
1	13	10
2	22	10
3	39	10
4	64	10
5	105	10
6	163	10
7	331	10
8	1610	10
done	5000	10
0	7	9
1	10	9
2	12	9
3	13	9
done	13	9
0	6	6
1	8	6
2	9	6
done	9	6
0	10	20
1	17	20
2	24	20
3	39	20
4	64	20
5	105	20
6	167	20
7	335	20
8	1615	20
done	5001	20
0	9	11
1	14	11
2	21	11
3	36	11
4	61	11
5	102	11
6	166	11
7	334	11
8	1617	11
done	5000	11
0	9	11
1	14	11
2	21	11
3	36	11
4	61	11
5	102	11
6	166	11
7	334	11
8	1617	11
done	5000	11
0	9	11
1	14	11
2	21	11
3	36	11
4	61	11
5	102	11
6	166	11
7	334	11
8	1617	11
done	5000	11
0	4	4
1	6	2
2	8	2
done	8	2
0	8	10
1	13	10
2	22	10
3	39	10
4	64	10
5	105	10
6	163	10
7	331	10
8	1610	10
done	5000	10
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	9	19
1	18	19
2	25	19
3	40	19
4	65	19
5	106	19
6	166	19
7	334	19
8	1629	19
done	5000	19
0	8	10
1	13	10
2	20	10
3	35	10
4	60	10
5	101	10
6	163	10
7	331	10
8	1621	10
done	5000	10
0	8	10
1	15	10
2	22	10
3	37	10
4	62	10
5	103	10
6	165	10
7	333	10
8	1624	10
done	5000	10
0	8	10
1	13	10
2	20	10
3	35	10
4	60	10
5	101	10
6	163	10
7	331	10
8	1621	10
done	5000	10
0	2	3
1	4	1
done	4	1
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	5	5
1	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	7	9
1	14	9
2	23	9
3	40	9
4	65	9
5	106	9
6	164	9
7	332	9
8	1645	9
done	5000	9
0	7	9
1	15	9
2	30	9
3	56	9
4	104	9
5	168	9
6	259	9
7	492	9
8	1910	9
done	5000	9
0	9	19
1	16	19
2	23	19
3	38	19
4	63	19
5	104	19
6	160	19
7	328	19
8	1623	19
done	5000	19
0	8	10
1	13	10
2	20	10
3	35	10
4	60	10
5	101	10
6	163	10
7	331	10
8	1621	10
done	5000	10
0	3	3
1	5	1
done	5	1
0	5	5
1	6	5
done	6	5
0	8	10
1	16	10
2	31	10
3	57	10
4	105	10
5	169	10
6	258	10
7	491	10
8	1915	10
done	5000	10
0	8	10
1	16	10
2	31	10
3	57	10
4	105	10
5	169	10
6	258	10
7	491	10
8	1915	10
done	5000	10
0	7	9
1	15	9
2	30	9
3	56	9
4	104	9
5	168	9
6	259	9
7	492	9
8	1910	9
done	5000	9
0	10	13
1	29	13
2	91	9
3	226	9
4	561	9
5	2020	9
done	5000	9
0	9	17
1	22	17
2	43	13
3	93	9
4	226	9
5	599	9
6	1514	9
done	5000	9
0	11	13
1	21	13
2	44	13
3	117	13
4	314	13
5	712	13
6	1288	13
7	2255	13
done	5000	13
0	15	17
1	29	17
2	62	17
3	145	17
4	358	17
5	886	17
6	1442	17
7	1862	17
8	3119	17
done	5000	17
0	14	16
1	27	16
2	57	16
3	130	16
4	325	16
5	803	16
6	1395	16
7	1810	16
8	3134	16
done	5000	16
0	14	16
1	27	16
2	52	16
3	117	16
4	292	16
5	746	16
6	1528	16
7	2019	16
8	3331	16
done	5001	16
0	13	15
1	25	15
2	49	15
3	108	15
4	266	15
5	672	15
6	1484	15
7	1995	15
8	3367	15
done	5000	15
0	12	14
1	25	14
2	59	14
3	166	14
4	494	14
5	1325	14
6	2740	14
7	4452	14
done	5001	14
0	12	14
1	24	14
2	53	14
3	140	14
4	422	14
5	1068	14
6	2317	14
done	5000	14
0	19	41
1	47	41
2	211	21
3	1718	17
done	5000	17
0	17	41
1	43	41
2	164	19
3	1017	17
done	5000	17
0	17	41
1	43	41
2	179	19
3	1229	17
done	5000	17
0	15	41
1	39	41
2	132	17
3	693	17
done	5000	17
0	13	29
1	23	29
2	46	29
3	119	29
4	315	29
5	713	29
6	1287	29
7	2256	29
done	5000	29
0	12	14
1	22	14
2	45	14
3	118	14
4	315	14
5	713	14
6	1286	14
7	2243	14
done	5000	14
0	13	41
1	33	41
2	129	15
3	809	15
done	5000	15
0	12	14
1	22	14
2	45	14
3	118	14
4	315	14
5	713	14
6	1286	14
7	2243	14
done	5000	14
0	12	14
1	22	14
2	45	14
3	118	14
4	315	14
5	713	14
6	1286	14
7	2243	14
done	5000	14
0	3	3
1	4	3
done	4	3
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	13	15
1	19	15
2	28	15
3	45	15
4	70	15
5	111	15
6	181	15
7	349	15
8	1663	15
done	5000	15
0	13	15
1	19	15
2	28	15
3	45	15
4	70	15
5	111	15
6	181	15
7	349	15
8	1663	15
done	5000	15
0	14	16
1	22	16
2	32	16
3	51	16
4	77	16
5	118	16
6	174	16
7	342	16
8	1621	16
done	5000	16
0	14	16
1	22	16
2	32	16
3	51	16
4	77	16
5	118	16
6	174	16
7	342	16
8	1621	16
done	5000	16
0	14	16
1	22	16
2	34	16
3	53	16
4	80	16
5	122	16
6	178	16
7	346	16
8	1608	16
done	5000	16
0	14	16
1	22	16
2	34	16
3	53	16
4	80	16
5	122	16
6	178	16
7	346	16
8	1608	16
done	5000	16
0	15	17
1	25	17
2	41	17
3	73	17
4	119	17
5	172	17
6	230	17
7	398	17
8	1659	17
done	5001	17
0	15	17
1	25	17
2	41	17
3	73	17
4	119	17
5	172	17
6	230	17
7	398	17
8	1659	17
done	5001	17
0	13	25
1	23	25
2	40	25
3	65	25
4	99	25
5	146	25
6	213	25
7	381	25
8	1680	25
done	5000	25
0	12	14
1	20	14
2	32	14
3	51	14
4	78	14
5	120	14
6	188	14
7	356	14
8	1639	14
done	5001	14
0	15	27
1	31	27
2	79	27
3	187	27
4	415	27
5	717	27
6	856	27
7	1035	27
8	2323	27
done	5001	27
0	14	18
1	26	18
2	51	18
3	109	18
4	209	18
5	320	18
6	391	18
7	565	18
8	1864	18
done	5000	18
0	9	11
1	18	9
2	44	9
3	129	9
4	231	9
5	291	9
6	301	9
7	304	9
done	304	9
0	11	13
1	19	13
2	37	13
3	80	13
4	171	13
5	260	13
6	305	13
7	351	13
8	398	13
9	446	13
10	490	13
11	515	13
12	521	13
13	522	13
done	522	13
0	14	24
1	26	24
2	52	24
3	107	24
4	198	24
5	297	24
6	378	24
7	546	24
8	1846	24
done	5001	24
0	13	15
1	23	15
2	39	15
3	71	15
4	117	15
5	170	15
6	244	15
7	412	15
8	1709	15
done	5000	15
0	8	8
1	15	6
2	28	6
3	60	6
4	86	6
5	96	6
6	99	6
7	100	6
done	100	6
0	10	10
1	16	10
2	25	10
3	42	10
4	79	10
5	101	10
6	111	10
7	121	10
8	131	10
9	140	10
10	145	10
11	147	10
done	147	10
0	13	23
1	27	23
2	52	21
3	135	21
4	258	21
5	388	21
6	489	21
7	657	21
8	1965	21
done	5001	21
0	12	14
1	24	14
2	40	12
3	93	12
4	149	12
5	220	12
6	299	12
7	467	12
8	1756	12
done	5000	12
0	6	7
1	13	5
2	23	3
3	50	3
4	75	3
5	94	3
6	99	3
7	103	3
done	103	3
0	9	9
1	17	9
2	26	7
3	64	7
4	111	7
5	149	7
6	161	7
7	187	7
8	253	7
9	284	7
10	292	7
11	304	7
done	304	7
0	5	5
1	10	3
2	20	3
3	26	3
4	29	3
5	34	3
6	35	3
done	35	3
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	14	17
1	38	17
2	109	13
3	310	13
4	1023	13
5	4755	13
done	5000	13
0	13	21
1	31	21
2	68	17
3	178	13
4	602	13
5	2192	13
done	5000	13
0	12	14
1	20	14
2	37	14
3	80	14
4	140	14
5	229	14
6	368	14
7	663	14
8	2215	14
done	5000	14
0	12	14
1	20	14
2	37	14
3	80	14
4	140	14
5	229	14
6	368	14
7	663	14
8	2215	14
done	5000	14
0	13	15
1	23	15
2	46	15
3	119	15
4	316	15
5	716	15
6	1287	15
7	2248	15
done	5000	15
0	13	15
1	23	15
2	46	15
3	119	15
4	316	15
5	716	15
6	1287	15
7	2248	15
done	5000	15
0	12	14
1	22	14
2	45	14
3	118	14
4	315	14
5	713	14
6	1286	14
7	2245	14
done	5000	14
0	13	15
1	23	15
2	46	15
3	119	15
4	316	15
5	716	15
6	1287	15
7	2248	15
done	5000	15
0	13	15
1	23	15
2	46	15
3	119	15
4	316	15
5	716	15
6	1287	15
7	2248	15
done	5000	15
0	12	14
1	22	14
2	45	14
3	118	14
4	315	14
5	713	14
6	1286	14
7	2245	14
done	5000	14
0	12	14
1	22	14
2	45	14
3	118	14
4	315	14
5	713	14
6	1286	14
7	2245	14
done	5000	14
0	12	14
1	22	14
2	45	14
3	118	14
4	315	14
5	713	14
6	1286	14
7	2245	14
done	5000	14
0	11	13
1	21	13
2	44	13
3	117	13
4	314	13
5	712	13
6	1288	13
7	2255	13
done	5000	13
0	11	13
1	21	13
2	44	13
3	117	13
4	314	13
5	712	13
6	1288	13
7	2255	13
done	5000	13
0	11	13
1	23	13
2	46	11
3	143	11
4	394	11
5	831	11
6	1444	11
7	2525	11
done	5001	11
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	9	11
1	17	11
2	34	11
3	77	11
4	137	11
5	226	11
6	361	11
7	656	11
8	2216	11
done	5001	11
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	6	7
1	16	7
2	46	7
3	57	7
4	81	7
5	123	7
6	204	7
7	380	7
8	963	7
9	4078	7
done	5000	7
0	6	7
1	16	7
2	46	7
3	57	7
4	81	7
5	123	7
6	204	7
7	380	7
8	963	7
9	4078	7
done	5000	7
0	6	7
1	16	7
2	46	7
3	57	7
4	81	7
5	123	7
6	204	7
7	380	7
8	963	7
9	4078	7
done	5000	7
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune334.0ms

Filtered

137 candidates to 165 candidates (-20.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	155	10	165
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	156	10	166

Merged error: 0.1b

Counts

166 → 10

localize12.0ms

Local error

Found 2 expressions with local error:

0.2b	(/ (* 1.0 (* 1 (* (/ PI (+ b a)) 1.0))) (* 2.0 (* a b)))
0.2b	(/ PI (+ b a))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

124×	`add-exp-log`
79×	`add-cbrt-cube`
75×	`prod-exp`
42×	`cbrt-unprod`
31×	`div-exp`
19×	`cbrt-undiv` `*-un-lft-identity`
13×	`times-frac`
11×	`add-sqr-sqrt` `add-cube-cbrt`
9×	`1-exp`
5×	`associate-/r*`
4×	`distribute-lft-out` `associate-/l*`
2×	`pow1` `frac-2neg` `associate-*r/` `clear-num` `associate-/r/` `div-inv` `add-log-exp`
1×	`flip3-+` `associate-*l/` `flip-+` `associate-/l/`

Counts

2 → 86

Calls

2 calls:

19.0ms	(/ (* 1.0 (* 1 (* (/ PI (+ b a)) 1.0))) (* 2.0 (* a b)))
10.0ms	(/ PI (+ b a))

series18.0ms

Counts

2 → 6

Calls

2 calls:

11.0ms	(/ (* 1.0 (* 1 (* (/ PI (+ b a)) 1.0))) (* 2.0 (* a b)))
6.0ms	(/ PI (+ b a))

simplify2.7min

Counts

92 → 92

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	10	6
2	12	6
3	13	6
done	13	6
0	6	6
1	7	6
done	7	6
0	9	17
1	31	17
2	93	9
3	220	7
4	496	7
5	1299	7
6	2986	7
done	5001	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	15	17
2	31	7
3	69	7
4	152	7
5	302	7
6	586	7
7	1368	7
8	4784	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	2	2
done	2	2
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	9	15
1	16	15
2	25	15
3	31	15
done	31	15
0	7	7
1	8	7
done	8	7
0	8	10
1	11	10
2	13	10
3	14	10
done	14	10
0	7	7
1	8	7
done	8	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	7	6
done	7	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	7	6
done	7	6
0	8	12
1	11	12
done	11	12
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	7	6
done	7	6
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	7	6
done	7	6
0	7	11
1	12	11
done	12	11
0	6	6
1	7	6
done	7	6
0	6	6
1	9	6
done	9	6
0	6	6
1	7	6
done	7	6
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	5	5
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	7	11
1	10	11
done	10	11
0	6	6
1	7	6
done	7	6
0	3	3
1	5	1
2	7	1
done	7	1
0	3	3
1	5	1
2	7	1
done	7	1
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	8	9
1	22	9
2	31	9
3	48	9
4	89	9
5	204	9
6	605	9
7	2437	9
done	5000	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	20	24
1	42	22
2	138	22
3	553	21
4	2987	21
done	5000	21
0	19	23
1	42	21
2	128	21
3	485	20
4	2477	20
done	5001	20
0	18	22
1	41	20
2	124	20
3	414	19
4	1881	19
done	5000	19
0	19	23
1	40	21
2	121	21
3	401	20
4	1949	20
done	5000	20
0	18	22
1	40	20
2	111	20
3	349	19
4	1624	19
done	5000	19
0	17	21
1	39	19
2	107	19
3	295	18
4	1237	18
5	4868	18
done	5000	18
0	19	22
1	39	20
2	109	20
3	349	20
4	1554	20
done	5001	20
0	18	21
1	39	19
2	99	19
3	299	19
4	1292	19
done	5001	19
0	17	20
1	38	18
2	95	18
3	251	18
4	997	18
5	4060	18
done	5000	18
0	21	25
1	45	24
2	127	22
3	515	21
4	2802	21
done	5000	21
0	20	24
1	45	23
2	117	21
3	457	20
4	2315	20
done	5000	20
0	19	23
1	44	22
2	112	20
3	382	19
4	1717	19
done	5001	19
0	20	24
1	43	23
2	115	21
3	398	20
4	1938	20
done	5001	20
0	19	23
1	43	22
2	105	20
3	347	19
4	1613	19
done	5000	19
0	18	22
1	42	21
2	100	19
3	297	18
4	1215	18
5	4858	18
done	5000	18
0	20	23
1	42	22
2	110	20
3	335	20
4	1430	20
done	5000	20
0	19	22
1	42	21
2	100	19
3	288	19
4	1204	19
5	4985	19
done	5000	19
0	18	21
1	41	20
2	95	18
3	245	18
4	917	18
5	3742	18
done	5000	18
0	19	22
1	41	20
2	114	20
3	352	20
4	1376	20
done	5001	20
0	18	21
1	41	19
2	104	19
3	309	19
4	1180	19
5	4788	19
done	5000	19
0	17	20
1	40	18
2	101	18
3	271	18
4	915	18
5	3597	18
done	5000	18
0	18	21
1	41	19
2	121	19
3	312	19
4	1353	19
done	5000	19
0	17	20
1	41	18
2	113	18
3	287	18
4	1180	18
5	4402	18
done	5000	18
0	16	19
1	40	17
2	113	17
3	265	17
4	945	17
5	3504	17
done	5001	17
0	15	18
1	41	16
2	202	16
3	1095	16
done	5001	16
0	15	18
1	38	16
2	181	16
3	956	16
4	4305	16
done	5001	16
0	28	53
1	89	49
2	490	29
done	5000	27
0	26	53
1	91	49
2	477	27
done	5000	25
0	24	53
1	86	49
2	486	25
done	5000	23
0	26	53
1	73	49
2	417	27
done	5000	25
0	24	53
1	75	49
2	409	25
done	5001	23
0	22	53
1	70	49
2	418	23
done	5000	21
0	26	53
1	73	49
2	428	25
done	5001	25
0	24	53
1	75	49
2	420	23
done	5000	23
0	22	53
1	70	49
2	430	21
done	5000	21
0	24	53
1	69	47
2	389	25
done	5000	25
0	22	53
1	71	47
2	383	23
done	5000	23
0	20	53
1	66	47
2	397	21
done	5000	21
0	22	53
1	64	47
2	419	23
done	5001	23
0	20	53
1	66	47
2	412	21
done	5000	21
0	18	53
1	61	47
2	430	19
done	5000	19
0	16	37
1	39	33
2	180	33
3	939	33
4	4169	33
done	5000	33
0	15	18
1	38	16
2	179	16
3	938	16
4	4080	16
done	5001	16
0	16	53
1	46	47
2	285	17
3	3245	17
done	5001	17
0	15	18
1	38	16
2	179	16
3	938	16
4	4080	16
done	5001	16
0	15	18
1	38	16
2	179	16
3	938	16
4	4080	16
done	5001	16
0	11	12
1	27	10
2	98	10
3	240	10
4	423	10
5	567	10
6	664	10
7	672	10
done	672	10
0	6	6
1	14	6
2	35	6
3	53	6
4	54	6
done	54	6
0	3	3
done	3	3
0	11	13
1	28	11
2	117	11
3	526	11
4	1259	11
5	2122	11
6	2530	11
7	2970	11
8	3136	11
9	3139	11
done	3139	11
0	7	7
1	15	7
2	29	7
3	39	7
4	41	7
done	41	7
0	14	17
1	37	15
2	164	15
3	795	15
4	3463	15
done	5001	15
0	12	13
1	26	11
2	81	11
3	208	11
4	443	11
5	811	11
6	1136	11
7	1436	11
8	1851	11
9	2200	11
10	2311	11
11	2354	11
done	2354	11
0	13	15
1	33	13
2	164	13
3	768	13
4	2634	13
done	5001	13
0	7	9
1	21	9
2	61	9
3	120	9
4	131	9
done	131	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune191.0ms

Filtered

76 candidates to 92 candidates (-21.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	86	6	92
Fresh	5	4	9
Picked	0	1	1
Done	0	0	0
Total	91	11	102

Merged error: 0b

Counts

102 → 11

localize13.0ms

Local error

Found 3 expressions with local error:

0.2b	(* (* 1.0 (* 1 (* (/ PI (+ b a)) 1.0))) (/ 1 (* 2.0 (* a b))))
0.2b	(/ PI (+ b a))
0.5b	(/ 1 (* 2.0 (* a b)))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

442×	`add-exp-log`
331×	`prod-exp`
124×	`add-cbrt-cube`
75×	`div-exp`
74×	`cbrt-unprod`
57×	`1-exp`
27×	`rec-exp`
24×	`*-un-lft-identity`
23×	`pow1` `cbrt-undiv`
18×	`times-frac`
16×	`add-sqr-sqrt` `add-cube-cbrt`
13×	`pow-prod-down`
7×	`associate-r`
6×	`associate-/l*`
5×	`associate-r/` `associate-/r`
4×	`distribute-lft-out`
3×	`pow-flip` `associate-*l/` `div-inv` `add-log-exp`
2×	`frac-2neg` `clear-num` `associate-/r/`
1×	`frac-times` `flip3-+` `associate-l` `un-div-inv` `*-commutative` `flip-+` `inv-pow`

Counts

3 → 190

Calls

3 calls:

23.0ms	(* (* 1.0 (* 1 (* (/ PI (+ b a)) 1.0))) (/ 1 (* 2.0 (* a b))))
6.0ms	(/ PI (+ b a))
7.0ms	(/ 1 (* 2.0 (* a b)))

series21.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(* (* 1.0 (* 1 (* (/ PI (+ b a)) 1.0))) (/ 1 (* 2.0 (* a b))))
6.0ms	(/ PI (+ b a))
4.0ms	(/ 1 (* 2.0 (* a b)))

simplify6.5min

Counts

199 → 199

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	2
1	5	1
done	5	1
0	2	2
1	5	1
done	5	1
0	2	2
1	5	1
done	5	1
0	9	9
1	16	9
2	30	9
3	50	9
4	60	9
5	75	9
6	101	9
7	130	9
8	135	9
done	135	9
0	8	8
1	16	8
2	26	8
3	45	8
4	59	8
5	73	8
6	96	8
7	122	8
8	129	8
done	129	8
0	7	7
1	14	7
2	30	7
3	52	7
4	75	7
5	84	7
6	99	7
7	125	7
8	154	7
9	159	7
done	159	7
0	10	10
1	18	9
2	47	9
3	98	9
4	247	9
5	352	9
6	465	9
7	490	9
done	490	9
0	9	9
1	18	8
2	39	8
3	82	8
4	204	8
5	324	8
6	439	8
7	463	8
done	463	8
0	8	8
1	17	7
2	39	7
3	79	7
4	163	7
5	345	7
6	427	7
7	546	7
8	571	7
done	571	7
0	11	11
1	21	10
2	45	9
3	102	9
4	249	9
5	353	9
6	463	9
7	488	9
done	488	9
0	10	10
1	21	9
2	37	8
3	86	8
4	209	8
5	334	8
6	449	8
7	473	8
done	473	8
0	9	9
1	20	8
2	39	7
3	81	7
4	163	7
5	350	7
6	436	7
7	559	7
8	584	7
done	584	7
0	8	8
1	20	7
2	44	7
3	89	7
4	163	7
5	343	7
6	450	7
7	564	7
8	590	7
done	590	7
0	8	8
1	16	8
2	30	8
3	38	8
4	39	8
done	39	8
0	15	23
1	37	19
2	138	13
3	644	13
4	3010	11
done	5000	11
0	13	23
1	39	19
2	138	11
3	687	11
4	3116	9
done	5001	9
0	11	23
1	34	19
2	135	9
3	737	9
4	3881	9
done	5000	9
0	9	17
1	17	17
2	31	17
3	41	17
4	42	17
done	42	17
0	8	8
1	16	8
2	30	8
3	38	8
4	39	8
done	39	8
0	9	23
1	24	23
2	89	9
3	660	9
4	4543	9
done	5000	9
0	8	8
1	16	8
2	30	8
3	38	8
4	39	8
done	39	8
0	8	8
1	16	8
2	30	8
3	38	8
4	39	8
done	39	8
0	2	2
1	5	1
done	5	1
0	6	6
1	14	6
2	35	6
3	53	6
4	54	6
done	54	6
0	5	7
1	9	5
2	11	3
3	12	3
done	12	3
0	6	6
1	11	5
2	13	5
done	13	5
0	4	4
1	6	3
done	6	3
0	6	6
1	11	5
2	13	5
done	13	5
0	3	3
1	5	3
done	5	3
0	5	5
1	10	5
2	12	5
done	12	5
0	7	7
1	15	7
2	29	7
3	39	7
4	41	7
done	41	7
0	7	7
1	15	5
2	34	5
3	69	5
4	122	5
5	160	5
done	160	5
0	3	3
1	5	3
done	5	3
0	8	8
1	16	7
2	31	7
3	55	5
4	91	5
5	163	5
done	163	5
0	8	8
1	16	7
2	31	7
3	55	5
4	91	5
5	163	5
done	163	5
0	7	7
1	15	5
2	34	5
3	69	5
4	122	5
5	160	5
done	160	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	10	6
2	12	6
3	13	6
done	13	6
0	6	6
1	7	6
done	7	6
0	9	17
1	31	17
2	93	9
3	220	7
4	496	7
5	1299	7
6	2986	7
done	5001	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	15	17
2	31	7
3	69	7
4	152	7
5	302	7
6	586	7
7	1368	7
8	4784	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	2	2
done	2	2
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	9	15
1	16	15
2	25	15
3	31	15
done	31	15
0	7	7
1	8	7
done	8	7
0	8	10
1	11	10
2	13	10
3	14	10
done	14	10
0	7	7
1	8	7
done	8	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	7	6
done	7	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	7	6
done	7	6
0	8	12
1	11	12
done	11	12
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	7	6
done	7	6
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	7	6
done	7	6
0	7	11
1	12	11
done	12	11
0	6	6
1	7	6
done	7	6
0	6	6
1	9	6
done	9	6
0	6	6
1	7	6
done	7	6
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	5	5
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	7	11
1	10	11
done	10	11
0	6	6
1	7	6
done	7	6
0	3	3
1	5	1
2	7	1
done	7	1
0	3	3
1	5	1
2	7	1
done	7	1
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	8	9
1	22	9
2	31	9
3	48	9
4	89	9
5	204	9
6	605	9
7	2437	9
done	5000	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	15	19
1	38	17
2	128	15
3	575	15
4	2963	15
done	5001	15
0	15	19
1	38	17
2	128	15
3	575	15
4	2963	15
done	5001	15
0	15	19
1	38	17
2	128	15
3	575	15
4	2963	15
done	5001	15
0	15	19
1	38	17
2	128	15
3	575	15
4	2963	15
done	5001	15
0	21	25
1	44	22
2	137	22
3	548	21
4	3172	21
done	5000	21
0	20	24
1	44	21
2	131	21
3	494	20
4	2682	20
done	5000	20
0	19	23
1	42	20
2	127	20
3	407	19
4	1810	19
done	5000	19
0	21	26
1	46	23
2	153	22
3	618	21
4	3736	21
done	5000	21
0	20	25
1	46	22
2	143	21
3	548	20
4	3161	20
done	5001	20
0	19	24
1	45	21
2	135	20
3	439	19
4	2273	19
done	5000	19
0	23	27
1	49	24
2	155	22
3	622	21
4	3724	21
done	5000	21
0	22	26
1	49	23
2	145	21
3	557	20
4	3173	20
done	5000	20
0	21	25
1	48	22
2	139	20
3	442	19
4	2277	19
done	5000	19
0	20	24
1	46	21
2	137	20
3	414	19
4	2052	19
done	5000	19
0	20	24
1	42	21
2	120	21
3	406	20
4	2114	20
done	5000	20
0	19	23
1	42	20
2	114	20
3	360	19
4	1786	19
done	5001	19
0	18	22
1	40	19
2	110	19
3	292	18
4	1210	18
5	4989	18
done	5000	18
0	20	25
1	44	22
2	136	21
3	473	20
4	2588	20
done	5001	20
0	19	24
1	44	21
2	126	20
3	418	19
4	2172	19
done	5001	19
0	18	23
1	43	20
2	118	19
3	327	18
4	1549	18
done	5000	18
0	22	26
1	47	23
2	138	21
3	475	20
4	2576	20
done	5000	20
0	21	25
1	47	22
2	128	20
3	421	19
4	2172	19
done	5001	19
0	20	24
1	46	21
2	122	19
3	331	18
4	1564	18
done	5001	18
0	19	23
1	44	20
2	120	19
3	314	18
4	1403	18
done	5001	18
0	20	23
1	41	20
2	108	20
3	354	20
4	1686	20
done	5000	20
0	19	22
1	41	19
2	102	19
3	311	19
4	1426	19
done	5000	19
0	18	21
1	39	18
2	98	18
3	254	18
4	978	18
5	4140	18
done	5000	18
0	20	24
1	43	21
2	124	20
3	414	20
4	2068	20
done	5000	20
0	19	23
1	43	20
2	114	19
3	361	19
4	1736	19
done	5001	19
0	18	22
1	42	19
2	106	18
3	286	18
4	1246	18
done	5000	18
0	22	25
1	46	22
2	126	20
3	420	20
4	2067	20
done	5000	20
0	21	24
1	46	21
2	116	19
3	363	19
4	1743	19
done	5000	19
0	20	23
1	45	20
2	110	18
3	288	18
4	1254	18
done	5000	18
0	19	22
1	43	19
2	108	18
3	272	18
4	1129	18
5	4707	18
done	5000	18
0	22	26
1	47	24
2	125	22
3	512	21
4	2908	21
done	5000	21
0	21	25
1	47	23
2	119	21
3	469	20
4	2483	20
done	5000	20
0	20	24
1	45	22
2	115	20
3	387	19
4	1665	19
done	5000	19
0	23	27
1	49	25
2	148	22
3	562	21
4	3443	21
done	5000	21
0	22	26
1	49	24
2	138	21
3	509	20
4	2899	20
done	5001	20
0	21	25
1	48	23
2	130	20
3	410	19
4	2085	19
done	5000	19
0	22	28
1	49	26
2	144	22
3	579	21
4	3445	21
done	5000	21
0	21	27
1	49	25
2	134	21
3	525	20
4	2900	20
done	5000	20
0	20	26
1	48	24
2	128	20
3	422	19
4	2091	19
done	5001	19
0	20	25
1	46	23
2	123	20
3	398	19
4	1873	19
done	5000	19
0	21	25
1	45	23
2	113	21
3	405	20
4	2074	20
done	5000	20
0	20	24
1	45	22
2	107	20
3	360	19
4	1768	19
done	5000	19
0	19	23
1	43	21
2	103	19
3	297	18
4	1195	18
5	4982	18
done	5000	18
0	22	26
1	47	24
2	136	21
3	462	20
4	2528	20
done	5000	20
0	21	25
1	47	23
2	126	20
3	404	19
4	2116	19
done	5000	19
0	20	24
1	46	22
2	118	19
3	323	18
4	1526	18
done	5001	18
0	21	27
1	47	25
2	132	21
3	479	20
4	2535	20
done	5000	20
0	20	26
1	47	24
2	122	20
3	419	19
4	2140	19
done	5000	19
0	19	25
1	46	23
2	116	19
3	339	18
4	1539	18
done	5001	18
0	19	24
1	44	22
2	111	19
3	314	18
4	1388	18
done	5000	18
0	21	24
1	44	22
2	108	20
3	342	20
4	1581	20
done	5001	20
0	20	23
1	44	21
2	102	19
3	299	19
4	1341	19
done	5000	19
0	19	22
1	42	20
2	98	18
3	248	18
4	932	18
5	3919	18
done	5000	18
0	22	25
1	46	23
2	131	20
3	400	20
4	1957	20
done	5000	20
0	21	24
1	46	22
2	121	19
3	351	19
4	1637	19
done	5000	19
0	20	23
1	45	21
2	113	18
3	276	18
4	1161	18
5	4925	18
done	5000	18
0	21	26
1	46	24
2	127	20
3	413	20
4	1961	20
done	5000	20
0	20	25
1	46	23
2	117	19
3	358	19
4	1652	19
done	5000	19
0	19	24
1	45	22
2	111	18
3	285	18
4	1177	18
5	4966	18
done	5000	18
0	19	23
1	43	21
2	106	18
3	266	18
4	1067	18
5	4474	18
done	5000	18
0	20	23
1	43	20
2	112	20
3	363	20
4	1556	20
done	5000	20
0	19	22
1	43	19
2	106	19
3	324	19
4	1333	19
done	5001	19
0	18	21
1	41	18
2	102	18
3	279	18
4	970	18
5	4244	18
done	5000	18
0	21	24
1	45	21
2	132	20
3	466	20
4	1983	20
done	5001	20
0	20	23
1	45	20
2	122	19
3	411	19
4	1669	19
done	5000	19
0	19	22
1	44	19
2	114	18
3	332	18
4	1211	18
done	5000	18
0	21	25
1	45	22
2	129	20
3	463	20
4	1968	20
done	5001	20
0	20	24
1	45	21
2	119	19
3	408	19
4	1660	19
done	5000	19
0	19	23
1	44	20
2	113	18
3	330	18
4	1206	18
done	5001	18
0	18	22
1	42	19
2	112	18
3	309	18
4	1091	18
5	4466	18
done	5000	18
0	19	22
1	43	19
2	123	19
3	332	19
4	1474	19
done	5001	19
0	18	21
1	43	18
2	117	18
3	305	18
4	1297	18
done	5001	18
0	17	20
1	41	17
2	115	17
3	276	17
4	990	17
5	3748	17
done	5000	17
0	20	23
1	45	20
2	146	19
3	412	19
4	1993	19
done	5000	19
0	19	22
1	45	19
2	136	18
3	372	18
4	1708	18
done	5000	18
0	18	21
1	44	18
2	130	17
3	322	17
4	1273	17
5	4882	17
done	5000	17
0	20	24
1	46	21
2	140	19
3	418	19
4	1999	19
done	5000	19
0	19	23
1	46	20
2	130	18
3	378	18
4	1713	18
done	5000	18
0	18	22
1	45	19
2	126	17
3	328	17
4	1279	17
5	4899	17
done	5000	17
0	17	21
1	43	18
2	125	17
3	310	17
4	1125	17
5	4421	17
done	5000	17
0	16	20
1	42	18
2	147	16
3	674	16
4	3605	16
done	5000	16
0	16	20
1	41	18
2	142	16
3	640	16
4	3421	16
done	5000	16
0	29	59
1	94	51
2	410	29
3	3559	23
done	5000	23
0	27	59
1	96	51
2	405	27
3	3517	21
done	5000	21
0	25	59
1	91	51
2	399	25
3	3506	19
done	5000	19
0	25	59
1	84	55
2	354	27
3	2768	21
done	5000	21
0	27	59
1	78	51
2	337	27
3	2990	23
done	5000	23
0	25	59
1	80	51
2	337	25
3	2972	21
done	5001	21
0	23	59
1	75	51
2	331	23
3	2931	19
done	5001	19
0	23	59
1	68	55
2	280	25
3	2157	21
done	5000	21
0	27	59
1	78	51
2	347	25
3	3224	25
done	5000	25
0	25	59
1	80	51
2	347	23
3	3210	23
done	5001	23
0	23	59
1	75	51
2	341	21
3	3163	21
done	5000	21
0	23	59
1	68	55
2	294	23
3	2370	23
done	5001	23
0	27	59
1	76	49
2	318	25
3	3168	25
done	5000	25
0	25	59
1	78	49
2	318	23
3	3161	23
done	5000	23
0	23	59
1	73	49
2	312	21
3	3111	21
done	5000	21
0	21	59
1	64	53
2	258	23
3	2263	23
done	5000	23
0	25	59
1	72	49
2	342	23
3	2962	23
done	5000	23
0	23	59
1	74	49
2	342	21
3	2911	21
done	5000	21
0	21	59
1	69	49
2	337	19
3	2875	19
done	5000	19
0	19	59
1	59	53
2	298	21
3	2156	21
done	5000	21
0	17	41
1	40	37
2	130	33
3	575	33
4	2948	33
done	5000	33
0	16	20
1	39	18
2	129	16
3	575	16
4	2955	16
done	5000	16
0	17	59
1	50	53
2	244	17
3	2167	17
done	5000	17
0	16	20
1	39	18
2	129	16
3	575	16
4	2955	16
done	5000	16
0	16	20
1	39	18
2	129	16
3	575	16
4	2955	16
done	5000	16
0	7	9
1	19	5
2	46	5
3	52	5
done	52	5
0	7	9
1	15	9
2	43	9
3	101	9
4	127	9
done	127	9
0	17	29
1	40	27
2	120	27
3	306	27
4	693	27
5	980	27
6	1199	27
7	1213	27
done	1213	27
0	16	20
1	37	18
2	109	18
3	246	18
4	418	18
5	543	18
6	635	18
7	636	18
done	636	18
0	15	19
1	34	15
2	104	11
3	262	11
4	576	11
5	928	11
6	1060	11
7	1214	11
8	1695	11
9	1874	11
10	2150	11
11	2454	11
12	2473	11
13	2474	11
done	2474	11
0	14	16
1	31	13
2	91	11
3	245	11
4	504	11
5	818	11
6	957	11
7	1096	11
8	1575	11
9	2106	11
10	2385	11
11	2689	11
12	2704	11
13	2705	11
done	2705	11
0	13	15
1	30	13
2	90	11
3	244	11
4	496	11
5	806	11
6	944	11
7	1082	11
8	1557	11
9	2088	11
10	2362	11
11	2653	11
12	2674	11
13	2675	11
done	2675	11
0	11	13
1	26	9
2	67	9
3	112	9
4	159	9
5	198	9
6	217	9
done	217	9
0	11	13
1	26	9
2	67	9
3	112	9
4	159	9
5	198	9
6	217	9
done	217	9
0	14	17
1	34	13
2	134	13
3	686	13
4	2550	13
done	5000	13
0	11	13
1	26	9
2	67	9
3	112	9
4	159	9
5	198	9
6	217	9
done	217	9
0	13	15
1	33	13
2	106	11
3	434	11
4	1961	11
5	4196	11
6	4496	11
done	4496	11
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	5
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune272.0ms

Filtered

122 candidates to 199 candidates (-63.1%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	199	0	199
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	199	11	210

Merged error: 0b

Counts

210 → 11

localize13.0ms

Local error

Found 3 expressions with local error:

0.2b	(/ (* 1.0 (* 1 (* (/ 1 (/ (+ b a) PI)) 1.0))) (* 2.0 (* a b)))
0.3b	(/ 1 (/ (+ b a) PI))
0.3b	(/ (+ b a) PI)

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

325×	`add-exp-log`
195×	`prod-exp`
109×	`times-frac` `add-cbrt-cube`
104×	`div-exp`
93×	`*-un-lft-identity`
61×	`add-sqr-sqrt` `add-cube-cbrt`
54×	`cbrt-unprod`
38×	`1-exp`
31×	`cbrt-undiv`
20×	`associate-/r*`
16×	`distribute-lft-out`
14×	`rec-exp`
8×	`associate-/l*`
7×	`div-inv`
4×	`pow1`
3×	`frac-2neg` `clear-num` `associate-/l/` `add-log-exp`
2×	`associate-*r/`
1×	`pow-flip` `flip3-+` `associate-*l/` `associate-/r/` `flip-+` `inv-pow`

Counts

3 → 207

Calls

3 calls:

31.0ms	(/ (* 1.0 (* 1 (* (/ 1 (/ (+ b a) PI)) 1.0))) (* 2.0 (* a b)))
9.0ms	(/ 1 (/ (+ b a) PI))
7.0ms	(/ (+ b a) PI)

series24.0ms

Counts

3 → 9

Calls

3 calls:

10.0ms	(/ (* 1.0 (* 1 (* (/ 1 (/ (+ b a) PI)) 1.0))) (* 2.0 (* a b)))
6.0ms	(/ 1 (/ (+ b a) PI))
7.0ms	(/ (+ b a) PI)

simplify4.0min

Counts

216 → 216

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	10	6
2	12	6
3	13	6
done	13	6
0	6	6
1	7	6
done	7	6
0	9	17
1	31	17
2	93	9
3	236	7
4	620	7
5	1689	7
6	4465	7
done	5001	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	15	17
2	47	7
3	119	7
4	298	7
5	589	7
6	1238	7
7	3090	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	2	2
done	2	2
0	9	15
1	16	15
2	25	15
3	31	15
done	31	15
0	7	7
1	8	7
done	8	7
0	8	12
1	11	12
2	13	12
3	14	12
done	14	12
0	7	7
1	8	7
done	8	7
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	6
1	7	6
done	7	6
0	8	10
1	11	10
done	11	10
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	6	6
1	9	4
2	11	4
done	11	4
0	6	6
1	7	6
done	7	6
0	5	7
1	9	7
done	9	7
0	6	6
1	7	6
done	7	6
0	4	4
1	6	4
done	6	4
0	6	6
1	7	6
done	7	6
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	5	7
1	9	7
done	9	7
0	6	6
1	7	6
done	7	6
0	4	4
1	6	4
done	6	4
0	6	6
1	7	6
done	7	6
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	3	3
1	5	3
done	5	3
0	5	5
1	6	5
done	6	5
0	7	9
1	10	9
done	10	9
0	6	6
1	7	6
done	7	6
0	5	5
1	8	3
2	10	3
done	10	3
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	9	13
1	24	11
2	54	11
3	102	11
4	155	11
5	207	11
6	262	11
7	326	11
8	461	11
9	708	11
10	785	11
11	786	11
done	786	11
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	2	2
1	5	1
done	5	1
0	8	8
1	11	8
2	15	8
3	17	8
4	18	7
done	18	7
0	7	7
1	11	7
2	13	7
3	17	7
4	19	7
5	20	7
done	20	7
0	9	9
1	16	8
2	29	8
3	48	7
4	77	7
5	104	7
6	113	7
7	129	7
done	129	7
0	8	8
1	14	7
2	22	7
3	35	7
4	61	7
5	91	7
6	97	7
7	103	7
8	119	7
done	119	7
0	10	10
1	19	9
2	27	8
3	52	7
4	82	7
5	108	7
6	118	7
7	134	7
done	134	7
0	9	9
1	17	8
2	22	7
3	39	7
4	65	7
5	95	7
6	101	7
7	107	7
8	123	7
done	123	7
0	8	8
1	17	7
2	26	7
3	40	6
4	69	6
5	102	6
6	119	6
7	123	6
8	132	6
done	132	6
0	8	8
1	13	8
2	18	8
3	25	6
4	53	6
5	98	6
6	207	6
7	528	6
8	1661	6
done	5000	6
0	13	23
1	42	19
2	128	11
3	402	9
4	1142	9
5	2678	7
done	5000	7
0	11	23
1	28	19
2	80	9
3	242	9
4	635	7
5	1447	7
6	3208	7
done	5000	7
0	9	17
1	14	17
2	17	17
3	18	13
4	31	13
5	36	13
done	36	13
0	8	8
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	9	23
1	21	23
2	59	9
3	242	7
4	555	7
5	857	7
6	1688	7
7	4829	7
done	5000	7
0	8	8
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	8	8
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	2	2
1	5	1
done	5	1
0	6	6
1	9	6
2	13	6
3	15	6
4	21	6
5	25	6
6	29	6
done	29	6
0	11	19
1	20	17
2	29	15
3	35	15
done	35	15
0	9	9
1	12	8
done	12	8
0	10	12
1	15	10
2	17	8
3	18	8
done	18	8
0	9	9
1	12	8
done	12	8
0	13	21
1	26	19
2	62	17
3	132	15
4	186	15
done	186	15
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	12	18
1	21	16
2	39	14
3	72	12
4	94	12
done	94	12
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	10	17
1	19	11
2	33	11
3	42	11
done	42	11
0	9	9
1	14	8
2	17	8
3	18	6
4	31	6
5	36	6
done	36	6
0	12	16
1	21	14
2	36	12
3	56	10
4	59	10
done	59	10
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	11	13
1	18	11
2	27	9
3	35	7
4	36	7
done	36	7
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	9	12
1	16	6
2	21	6
done	21	6
0	9	9
1	14	8
2	17	8
3	18	6
4	31	6
5	36	6
done	36	6
0	8	13
1	16	11
2	31	7
3	47	5
4	55	5
5	56	5
done	56	5
0	9	9
1	14	8
2	17	8
3	18	6
4	31	6
5	36	6
done	36	6
0	7	10
1	13	8
2	22	4
3	29	2
done	29	2
0	9	9
1	14	8
2	17	8
3	18	6
4	31	6
5	36	6
done	36	6
0	5	9
1	11	1
done	11	1
0	8	8
1	13	7
2	16	7
3	17	5
4	30	5
5	35	5
done	35	5
0	8	13
1	16	11
2	31	7
3	47	5
4	55	5
5	56	5
done	56	5
0	9	9
1	14	8
2	17	8
3	18	6
4	31	6
5	36	6
done	36	6
0	7	10
1	13	8
2	22	4
3	29	2
done	29	2
0	9	9
1	14	8
2	17	8
3	18	6
4	31	6
5	36	6
done	36	6
0	5	9
1	11	1
done	11	1
0	8	8
1	13	7
2	16	7
3	17	5
4	30	5
5	35	5
done	35	5
0	4	7
1	8	3
2	12	1
done	12	1
0	8	8
1	13	7
2	16	7
3	17	5
4	30	5
5	35	5
done	35	5
0	7	9
1	12	7
2	14	5
3	15	5
done	15	5
0	5	6
1	9	5
2	12	3
3	17	1
4	21	1
done	21	1
0	10	16
1	15	15
done	15	15
0	9	9
1	12	8
done	12	8
0	9	9
1	12	8
done	12	8
0	9	9
1	12	8
done	12	8
0	12	18
1	23	17
2	44	17
3	73	15
4	133	15
5	204	15
done	204	15
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	11	15
1	18	14
2	26	14
3	39	12
4	66	12
5	97	12
done	97	12
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	9	14
1	16	11
2	27	11
3	36	11
done	36	11
0	9	9
1	14	8
2	17	8
3	18	6
4	31	6
5	36	6
done	36	6
0	11	13
1	18	12
2	25	12
3	33	10
4	57	10
5	74	10
done	74	10
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	8	9
1	13	6
2	18	6
done	18	6
0	9	9
1	14	8
2	17	8
3	18	6
4	31	6
5	36	6
done	36	6
0	7	10
1	13	9
2	20	7
3	29	5
4	42	5
5	44	5
done	44	5
0	9	9
1	14	8
2	17	8
3	18	6
4	31	6
5	36	6
done	36	6
0	6	7
1	10	6
2	13	4
3	18	2
4	22	2
done	22	2
0	9	9
1	14	8
2	17	8
3	18	6
4	31	6
5	36	6
done	36	6
0	4	6
1	8	1
done	8	1
0	8	8
1	13	7
2	16	7
3	17	5
4	30	5
5	35	5
done	35	5
0	7	10
1	13	9
2	20	7
3	29	5
4	42	5
5	44	5
done	44	5
0	9	9
1	14	8
2	17	8
3	18	6
4	31	6
5	36	6
done	36	6
0	6	7
1	10	6
2	13	4
3	18	2
4	22	2
done	22	2
0	9	9
1	14	8
2	17	8
3	18	6
4	31	6
5	36	6
done	36	6
0	4	6
1	8	1
done	8	1
0	8	8
1	13	7
2	16	7
3	17	5
4	30	5
5	35	5
done	35	5
0	3	4
1	5	1
done	5	1
0	8	8
1	13	7
2	16	7
3	17	5
4	30	5
5	35	5
done	35	5
0	6	6
1	9	5
done	9	5
0	5	6
1	9	5
2	12	3
3	17	1
4	21	1
done	21	1
0	9	15
1	14	15
done	14	15
0	8	8
1	11	8
done	11	8
0	8	8
1	11	8
done	11	8
0	8	8
1	11	8
done	11	8
0	11	17
1	22	17
2	43	17
3	72	15
4	132	15
5	196	15
done	196	15
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	10	14
1	17	14
2	25	14
3	38	12
4	65	12
5	105	12
done	105	12
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	8	13
1	15	11
2	26	11
3	35	11
done	35	11
0	8	8
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	10	12
1	17	12
2	24	12
3	32	10
4	56	10
5	75	10
done	75	10
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	7	8
1	12	6
2	17	6
done	17	6
0	8	8
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	8	8
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	8	8
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	3	5
1	6	1
done	6	1
0	7	7
1	12	7
2	15	7
3	16	5
4	29	5
5	34	5
done	34	5
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	8	8
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	8	8
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	3	5
1	6	1
done	6	1
0	7	7
1	12	7
2	15	7
3	16	5
4	29	5
5	34	5
done	34	5
0	2	3
1	4	1
done	4	1
0	7	7
1	12	7
2	15	7
3	16	5
4	29	5
5	34	5
done	34	5
0	5	5
1	8	5
done	8	5
0	4	5
1	8	1
2	13	1
3	15	1
4	16	1
done	16	1
0	7	7
1	12	7
2	15	7
3	16	5
4	29	5
5	34	5
done	34	5
0	7	7
1	12	5
2	19	5
3	21	5
done	21	5
0	9	15
1	14	15
done	14	15
0	8	8
1	11	8
done	11	8
0	11	17
1	22	17
2	43	17
3	72	15
4	132	15
5	196	15
done	196	15
0	10	14
1	17	14
2	25	14
3	38	12
4	65	12
5	105	12
done	105	12
0	8	13
1	15	11
2	26	11
3	35	11
done	35	11
0	10	12
1	17	12
2	24	12
3	32	10
4	56	10
5	75	10
done	75	10
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	7	8
1	12	6
2	17	6
done	17	6
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	3	5
1	6	1
done	6	1
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	3	5
1	6	1
done	6	1
0	2	3
1	4	1
done	4	1
0	5	5
1	8	5
done	8	5
0	8	8
1	13	7
2	16	7
done	16	5
0	8	8
1	13	7
2	16	7
done	16	5
0	7	7
1	12	5
2	19	5
3	21	5
done	21	5
0	5	5
1	8	5
done	8	5
0	21	25
1	41	23
2	120	22
3	375	21
4	1949	21
done	5000	21
0	20	24
1	41	22
2	110	21
3	325	20
4	1619	20
done	5000	20
0	19	23
1	40	21
2	106	20
3	279	19
4	1237	19
done	5000	19
0	20	24
1	41	22
2	118	21
3	355	20
4	1646	20
done	5001	20
0	19	23
1	41	21
2	108	20
3	307	19
4	1361	19
done	5001	19
0	18	22
1	40	20
2	104	19
3	259	18
4	1054	18
5	4934	18
done	5000	18
0	21	26
1	47	23
2	145	22
3	570	21
4	3291	21
done	5000	21
0	20	25
1	47	22
2	135	21
3	498	20
4	2757	20
done	5000	20
0	19	24
1	46	21
2	131	20
3	432	19
4	2125	19
done	5000	19
0	20	25
1	45	22
2	133	21
3	468	20
4	2508	20
done	5000	20
0	19	24
1	45	21
2	123	20
3	408	19
4	2114	19
done	5001	19
0	18	23
1	44	20
2	119	19
3	353	18
4	1651	18
done	5000	18
0	23	27
1	50	24
2	159	22
3	584	21
4	3329	21
done	5000	21
0	22	26
1	50	23
2	149	21
3	518	20
4	2777	20
done	5000	20
0	21	25
1	49	22
2	145	20
3	451	19
4	2149	19
done	5001	19
0	22	26
1	48	23
2	147	21
3	491	20
4	2542	20
done	5000	20
0	21	25
1	48	22
2	136	20
3	428	19
4	2117	19
done	5001	19
0	20	24
1	47	21
2	132	19
3	363	18
4	1658	18
done	5000	18
0	21	25
1	46	22
2	125	21
3	405	20
4	1935	20
done	5001	20
0	20	24
1	46	21
2	115	20
3	349	19
4	1584	19
done	5001	19
0	19	23
1	45	20
2	111	19
3	296	18
4	1234	18
done	5001	18
0	21	24
1	44	22
2	126	20
3	376	20
4	1795	20
done	5000	20
0	20	23
1	44	21
2	116	19
3	328	19
4	1493	19
done	5001	19
0	19	22
1	43	20
2	112	18
3	284	18
4	1150	18
5	4638	18
done	5000	18
0	22	26
1	44	25
2	113	22
3	373	21
4	1937	21
done	5000	21
0	21	25
1	44	24
2	103	21
3	324	20
4	1611	20
done	5000	20
0	20	24
1	43	23
2	98	20
3	272	19
4	1213	19
done	5001	19
0	21	25
1	44	24
2	112	21
3	355	20
4	1644	20
done	5000	20
0	20	24
1	44	23
2	102	20
3	309	19
4	1365	19
done	5001	19
0	19	23
1	43	22
2	97	19
3	259	18
4	1051	18
5	4919	18
done	5000	18
0	23	27
1	50	23
2	148	22
3	575	21
4	3313	21
done	5001	21
0	22	26
1	50	22
2	138	21
3	508	20
4	2774	20
done	5000	20
0	21	25
1	49	21
2	134	20
3	431	19
4	2128	19
done	5001	19
0	22	26
1	48	22
2	136	21
3	478	20
4	2540	20
done	5001	20
0	21	25
1	48	21
2	125	20
3	412	19
4	2112	19
done	5001	19
0	20	24
1	47	20
2	121	19
3	352	18
4	1666	18
done	5000	18
0	22	28
1	50	26
2	147	22
3	527	21
4	3061	21
done	5001	21
0	21	27
1	50	25
2	137	21
3	459	20
4	2570	20
done	5000	20
0	20	26
1	49	24
2	131	20
3	397	19
4	1923	19
done	5000	19
0	21	27
1	48	25
2	135	21
3	435	20
4	2324	20
done	5000	20
0	20	26
1	48	24
2	125	20
3	378	19
4	1956	19
done	5000	19
0	19	25
1	47	23
2	120	19
3	323	18
4	1474	18
done	5000	18
0	21	26
1	46	24
2	118	21
3	385	20
4	1909	20
done	5000	20
0	20	25
1	46	23
2	108	20
3	337	19
4	1566	19
done	5000	19
0	19	24
1	45	22
2	104	19
3	288	18
4	1198	18
done	5001	18
0	21	25
1	45	24
2	124	20
3	356	20
4	1597	20
done	5000	20
0	20	24
1	45	23
2	114	19
3	311	19
4	1346	19
done	5001	19
0	19	23
1	44	22
2	109	18
3	270	18
4	1031	18
5	4219	18
done	5000	18
0	20	24
1	44	22
2	124	20
3	358	20
4	1459	20
done	5000	20
0	19	23
1	44	21
2	114	19
3	315	19
4	1251	19
done	5001	19
0	18	22
1	43	20
2	111	18
3	279	18
4	974	18
5	4015	18
done	5000	18
0	19	23
1	44	21
2	128	19
3	334	19
4	1490	19
done	5000	19
0	18	22
1	44	20
2	120	18
3	309	18
4	1302	18
done	5000	18
0	17	21
1	43	19
2	120	17
3	287	17
4	1054	17
5	3990	17
done	5001	17
0	16	20
1	44	18
2	210	16
3	1208	16
done	5000	16
0	16	20
1	41	18
2	189	16
3	1068	16
done	5000	16
0	29	59
1	94	51
2	481	29
done	5000	27
0	27	59
1	96	51
2	468	27
done	5000	25
0	25	59
1	91	51
2	477	25
done	5000	23
0	27	59
1	80	51
2	441	27
done	5000	25
0	25	59
1	82	51
2	433	25
done	5000	23
0	23	59
1	77	51
2	442	23
done	5000	21
0	27	59
1	76	55
2	411	29
done	5000	25
0	25	59
1	78	55
2	407	27
done	5000	23
0	23	59
1	73	55
2	413	25
done	5000	21
0	27	59
1	76	55
2	449	25
done	5000	25
0	25	59
1	78	55
2	441	23
done	5000	23
0	23	59
1	73	55
2	451	21
done	5000	21
0	25	59
1	72	53
2	386	25
done	5001	25
0	23	59
1	74	53
2	380	23
done	5001	23
0	21	59
1	69	53
2	395	21
done	5000	21
0	23	59
1	67	53
2	423	23
done	5001	23
0	21	59
1	69	53
2	416	21
done	5000	21
0	19	59
1	64	53
2	434	19
done	5000	19
0	17	41
1	42	37
2	188	33
3	1051	33
done	5000	33
0	16	20
1	41	18
2	187	16
3	1050	16
done	5000	16
0	17	59
1	49	53
2	293	17
3	3315	17
done	5000	17
0	16	20
1	41	18
2	187	16
3	1050	16
done	5000	16
0	16	20
1	41	18
2	187	16
3	1050	16
done	5000	16
0	12	14
1	30	12
2	105	10
3	265	10
4	600	10
5	712	10
6	747	10
7	752	10
done	752	10
0	6	6
1	14	6
2	35	6
3	53	6
4	54	6
done	54	6
0	3	3
done	3	3
0	12	15
1	31	13
2	128	11
3	529	11
4	1330	11
5	2019	11
6	2353	11
7	2856	11
8	3033	11
9	3053	11
done	3053	11
0	7	7
1	15	7
2	29	7
3	39	7
4	41	7
done	41	7
0	15	19
1	40	17
2	173	15
3	865	15
4	4240	15
done	5000	15
0	13	15
1	29	13
2	89	11
3	230	11
4	502	11
5	821	11
6	1075	11
7	1405	11
8	1887	11
9	2081	11
10	2423	11
11	2476	11
12	2478	11
done	2478	11
0	14	17
1	36	15
2	175	13
3	804	13
4	3008	13
done	5000	13
0	9	11
1	19	11
2	56	11
3	172	11
4	307	11
5	446	11
6	649	11
7	729	11
8	751	11
9	753	11
done	753	11
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune236.0ms

Filtered

128 candidates to 216 candidates (-68.8%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	216	0	216
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	216	11	227

Merged error: 0b

Counts

227 → 11

regimes197.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	14	17
1	22	15
done	22	15

end0.0ms

sample981.0ms

Algorithm

intervals

Results

673.0ms

9647×

body

valid

Details

sample34.0ms

simplify2.1s

prune3.0ms

localize15.0ms

rewrite63.0ms

series41.0ms

simplify10.9min

prune334.0ms

localize12.0ms

rewrite34.0ms

series18.0ms

simplify2.7min

prune191.0ms

localize13.0ms

rewrite58.0ms

series21.0ms

simplify6.5min

prune272.0ms

localize13.0ms

rewrite64.0ms

series24.0ms

simplify4.0min

prune236.0ms

regimes197.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample981.0ms

Profiling