Details

sample1.0s

Algorithm

intervals

Results

940.0ms

3716×

body

valid

simplify1.1s

Counts

1 → 1

Iterations

Useful iterations: 3 (222.0ms)

Iter	Nodes	Cost
0	31	103
1	90	103
2	364	66
3	1801	54
done	5001	54

prune17.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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: 1.2b

Counts

2 → 2

localize37.0ms

Local error

Found 4 expressions with local error:

0.6b	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.6b	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.6b	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0b	(sqrt PI)

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

126×	`add-sqr-sqrt`
120×	`times-frac`
89×	`add-cube-cbrt` `*-un-lft-identity`
40×	`add-exp-log` `add-cbrt-cube`
39×	`swap-sqr` `associate-r` `associate-l`
26×	`pow1`
12×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
4×	`add-log-exp`
3×	`pow2` `frac-times` `pow-plus` `associate-r/` `pow-prod-down` `associate-l/` `sqrt-prod` `pow-sqr` `*-commutative` `pow-prod-up`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`

Counts

4 → 214

Calls

4 calls:

13.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
13.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
13.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
2.0ms	(sqrt PI)

series45.0ms

Counts

4 → 10

Calls

4 calls:

20.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
12.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
13.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.0ms	(sqrt PI)

simplify3.1min

Counts

224 → 224

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	3
0	3	3
done	3	3
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	8	4
3	13	4
4	19	4
5	29	4
6	52	4
7	110	4
8	313	4
9	1238	4
done	5000	4
0	4	6
1	5	3
done	5	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	3	3
1	6	1
done	6	1
0	3	3
done	3	3
0	3	3
done	3	3
0	2	3
1	6	1
done	6	1
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	2	3
1	6	1
done	6	1
0	7	13
1	15	8
2	35	8
3	68	8
4	120	8
5	179	8
6	229	8
7	262	8
done	262	8
0	9	12
1	14	11
2	27	11
3	57	7
4	112	7
5	170	7
6	215	7
7	255	7
done	255	7
0	9	12
1	14	11
2	23	11
3	48	7
4	91	7
5	145	7
6	188	7
7	223	7
8	226	7
done	226	7
0	6	11
1	11	7
2	18	7
3	37	7
4	70	7
5	122	7
6	179	7
7	231	7
8	264	7
done	264	7
0	6	10
1	12	10
2	25	7
3	47	7
4	94	7
5	144	7
6	194	7
7	252	7
8	294	7
9	308	7
done	308	7
0	6	10
1	12	10
2	22	10
3	36	10
4	68	10
5	133	10
6	313	10
7	1408	10
done	5000	10
0	9	29
1	22	29
2	102	17
3	635	13
4	2611	6
done	5001	6
0	12	29
1	32	29
2	120	13
3	625	6
4	2491	6
done	5000	6
0	12	29
1	32	29
2	121	13
3	603	6
4	2523	6
done	5000	6
0	7	29
1	20	29
2	65	13
3	217	6
4	842	6
5	2998	6
done	5000	6
0	7	21
1	11	21
2	17	21
3	24	21
4	29	21
done	29	21
0	6	10
1	10	10
2	16	10
3	23	10
4	28	10
done	28	10
0	7	29
1	19	29
2	58	11
3	200	6
4	687	6
5	2729	6
done	5001	6
0	6	10
1	11	5
2	17	5
3	24	5
4	29	5
done	29	5
0	6	10
1	11	5
2	17	5
3	24	5
4	29	5
done	29	5
0	2	3
done	2	3
0	3	5
done	3	5
0	7	23
1	11	23
2	13	13
3	22	7
4	41	7
5	71	7
6	145	7
7	358	7
8	1287	7
done	5000	7
0	6	11
done	6	11
0	6	11
done	6	4
0	6	11
done	6	4
0	9	27
1	19	27
2	67	27
3	215	15
4	455	8
5	540	8
6	704	8
7	1457	8
done	5000	8
0	7	13
1	11	13
2	17	13
3	24	13
4	29	13
done	29	13
0	8	19
1	14	19
2	32	19
3	78	15
4	129	7
5	147	7
6	170	7
7	240	7
8	508	7
9	1329	7
10	4527	7
done	5000	7
0	7	13
1	11	13
2	17	13
3	24	13
4	29	8
5	30	8
done	30	8
0	6	15
1	14	11
2	29	11
3	70	7
4	98	4
5	106	4
6	121	4
7	170	4
8	346	4
9	872	4
10	3139	4
done	5000	4
0	6	11
1	10	11
2	16	11
3	23	11
4	28	11
done	28	11
0	8	21
1	14	21
2	33	21
3	69	17
4	106	11
5	120	7
6	151	7
7	239	7
8	540	7
9	1582	7
done	5000	7
0	7	13
1	11	13
2	17	13
3	24	9
4	28	9
done	28	9
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	5	9
1	11	5
2	16	1
3	17	1
4	18	1
done	18	1
0	6	11
1	10	11
2	16	11
3	23	7
4	27	7
done	27	7
0	7	19
1	15	19
2	33	17
3	79	17
4	122	11
5	133	7
6	161	7
7	265	7
8	615	7
9	1798	7
done	5000	7
0	6	11
1	10	11
2	16	11
3	23	11
4	28	11
done	28	11
0	6	11
1	12	11
2	18	9
3	29	9
done	29	4
0	6	11
1	10	11
2	16	11
3	23	11
4	28	6
5	29	6
done	29	6
0	3	7
1	9	1
done	9	1
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	2	3
1	4	1
done	4	1
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	2	3
done	2	3
0	5	9
1	11	9
2	17	7
3	28	7
done	28	7
0	6	11
done	6	4
0	6	11
done	6	4
0	9	12
1	12	12
2	15	12
3	19	12
4	20	12
done	20	12
0	9	12
1	12	12
2	15	12
3	19	12
4	20	12
done	20	12
0	9	12
1	12	12
2	15	12
3	17	12
4	19	12
5	20	12
done	20	12
0	9	12
1	12	12
2	15	12
3	17	12
4	19	12
5	20	12
done	20	12
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	3	3
1	6	1
done	6	1
0	7	16
1	12	16
2	20	16
3	28	16
4	37	16
5	43	16
6	48	16
done	48	16
0	6	10
1	9	10
2	12	10
3	14	10
4	16	10
5	17	10
done	17	10
0	10	18
1	21	18
2	62	18
3	155	18
4	358	18
5	633	18
6	706	18
7	716	18
done	716	18
0	9	14
1	16	14
2	34	14
3	77	14
4	152	14
5	220	14
6	239	14
7	245	14
done	245	14
0	9	12
1	18	10
2	44	10
3	129	10
4	237	10
5	279	10
done	279	10
0	9	15
1	16	15
2	35	15
3	74	15
4	140	15
5	201	15
6	210	15
done	210	15
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	8	9
1	15	7
2	28	7
3	60	7
4	89	7
5	96	7
done	96	7
0	9	14
1	18	14
2	36	12
3	106	12
4	180	12
5	255	12
6	320	12
7	327	12
done	327	12
0	8	10
1	15	10
2	24	8
3	62	8
4	76	8
5	97	8
6	122	8
7	125	8
done	125	8
0	7	8
1	14	6
2	24	4
3	39	4
4	58	4
5	74	4
6	75	4
done	75	4
0	6	6
1	11	4
2	21	4
done	21	4
0	5	6
1	8	6
2	10	6
done	10	6
0	6	10
1	9	10
2	12	10
3	16	10
4	17	10
done	17	10
0	6	10
1	9	10
2	12	10
3	16	10
4	17	10
done	17	10
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	7	10
1	12	10
2	20	10
3	32	10
4	44	10
5	47	10
done	47	10
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	7	10
1	12	10
2	20	10
3	32	10
4	44	10
5	47	10
done	47	10
0	7	10
1	12	10
2	21	10
3	36	10
4	44	10
5	45	10
done	45	10
0	7	10
1	12	10
2	21	10
3	36	10
4	44	10
5	45	10
done	45	10
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	7	9
1	14	9
2	22	7
3	63	7
4	104	7
5	106	7
done	106	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	2	3
1	6	1
done	6	1
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	2	3
1	6	1
done	6	1
0	7	13
1	15	8
2	35	8
3	68	8
4	120	8
5	179	8
6	229	8
7	262	8
done	262	8
0	9	12
1	14	11
2	27	11
3	57	7
4	112	7
5	170	7
6	215	7
7	255	7
done	255	7
0	9	12
1	14	11
2	23	11
3	48	7
4	91	7
5	145	7
6	188	7
7	223	7
8	226	7
done	226	7
0	6	11
1	11	7
2	18	7
3	37	7
4	70	7
5	122	7
6	179	7
7	231	7
8	264	7
done	264	7
0	6	10
1	12	10
2	25	7
3	47	7
4	94	7
5	144	7
6	194	7
7	252	7
8	294	7
9	308	7
done	308	7
0	6	10
1	12	10
2	22	10
3	36	10
4	68	10
5	133	10
6	313	10
7	1408	10
done	5000	10
0	9	29
1	22	29
2	102	17
3	635	13
4	2611	6
done	5001	6
0	12	29
1	32	29
2	120	13
3	625	6
4	2491	6
done	5000	6
0	12	29
1	32	29
2	121	13
3	603	6
4	2523	6
done	5000	6
0	7	29
1	20	29
2	65	13
3	217	6
4	842	6
5	2998	6
done	5000	6
0	7	21
1	11	21
2	17	21
3	24	21
4	29	21
done	29	21
0	6	10
1	10	10
2	16	10
3	23	10
4	28	10
done	28	10
0	7	29
1	19	29
2	58	11
3	200	6
4	687	6
5	2729	6
done	5001	6
0	6	10
1	11	5
2	17	5
3	24	5
4	29	5
done	29	5
0	6	10
1	11	5
2	17	5
3	24	5
4	29	5
done	29	5
0	2	3
done	2	3
0	3	5
done	3	5
0	7	23
1	11	23
2	13	13
3	22	7
4	41	7
5	71	7
6	145	7
7	358	7
8	1287	7
done	5000	7
0	6	11
done	6	11
0	6	11
done	6	4
0	6	11
done	6	4
0	9	27
1	19	27
2	67	27
3	215	15
4	455	8
5	540	8
6	704	8
7	1457	8
done	5000	8
0	7	13
1	11	13
2	17	13
3	24	13
4	29	13
done	29	13
0	8	19
1	14	19
2	32	19
3	78	15
4	129	7
5	147	7
6	170	7
7	240	7
8	508	7
9	1329	7
10	4527	7
done	5000	7
0	7	13
1	11	13
2	17	13
3	24	13
4	29	8
5	30	8
done	30	8
0	6	15
1	14	11
2	29	11
3	70	7
4	98	4
5	106	4
6	121	4
7	170	4
8	346	4
9	872	4
10	3139	4
done	5000	4
0	6	11
1	10	11
2	16	11
3	23	11
4	28	11
done	28	11
0	8	21
1	14	21
2	33	21
3	69	17
4	106	11
5	120	7
6	151	7
7	239	7
8	540	7
9	1582	7
done	5000	7
0	7	13
1	11	13
2	17	13
3	24	9
4	28	9
done	28	9
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	5	9
1	11	5
2	16	1
3	17	1
4	18	1
done	18	1
0	6	11
1	10	11
2	16	11
3	23	7
4	27	7
done	27	7
0	7	19
1	15	19
2	33	17
3	79	17
4	122	11
5	133	7
6	161	7
7	265	7
8	615	7
9	1798	7
done	5000	7
0	6	11
1	10	11
2	16	11
3	23	11
4	28	11
done	28	11
0	6	11
1	12	11
2	18	9
3	29	9
done	29	4
0	6	11
1	10	11
2	16	11
3	23	11
4	28	6
5	29	6
done	29	6
0	3	7
1	9	1
done	9	1
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	2	3
1	4	1
done	4	1
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	2	3
done	2	3
0	5	9
1	11	9
2	17	7
3	28	7
done	28	7
0	6	11
done	6	4
0	6	11
done	6	4
0	9	12
1	12	12
2	15	12
3	19	12
4	20	12
done	20	12
0	9	12
1	12	12
2	15	12
3	19	12
4	20	12
done	20	12
0	9	12
1	12	12
2	15	12
3	17	12
4	19	12
5	20	12
done	20	12
0	9	12
1	12	12
2	15	12
3	17	12
4	19	12
5	20	12
done	20	12
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	3	3
1	6	1
done	6	1
0	7	16
1	12	16
2	20	16
3	28	16
4	37	16
5	43	16
6	48	16
done	48	16
0	6	10
1	9	10
2	12	10
3	14	10
4	16	10
5	17	10
done	17	10
0	10	18
1	21	18
2	62	18
3	155	18
4	358	18
5	633	18
6	706	18
7	716	18
done	716	18
0	9	14
1	16	14
2	34	14
3	77	14
4	152	14
5	220	14
6	239	14
7	245	14
done	245	14
0	9	12
1	18	10
2	44	10
3	129	10
4	237	10
5	279	10
done	279	10
0	9	15
1	16	15
2	35	15
3	74	15
4	140	15
5	201	15
6	210	15
done	210	15
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	8	9
1	15	7
2	28	7
3	60	7
4	89	7
5	96	7
done	96	7
0	9	14
1	18	14
2	36	12
3	106	12
4	180	12
5	255	12
6	320	12
7	327	12
done	327	12
0	8	10
1	15	10
2	24	8
3	62	8
4	76	8
5	97	8
6	122	8
7	125	8
done	125	8
0	7	8
1	14	6
2	24	4
3	39	4
4	58	4
5	74	4
6	75	4
done	75	4
0	6	6
1	11	4
2	21	4
done	21	4
0	5	6
1	8	6
2	10	6
done	10	6
0	6	10
1	9	10
2	12	10
3	16	10
4	17	10
done	17	10
0	6	10
1	9	10
2	12	10
3	16	10
4	17	10
done	17	10
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	7	10
1	12	10
2	20	10
3	32	10
4	44	10
5	47	10
done	47	10
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	7	10
1	12	10
2	20	10
3	32	10
4	44	10
5	47	10
done	47	10
0	7	10
1	12	10
2	21	10
3	36	10
4	44	10
5	45	10
done	45	10
0	7	10
1	12	10
2	21	10
3	36	10
4	44	10
5	45	10
done	45	10
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	7	9
1	14	9
2	22	7
3	63	7
4	104	7
5	106	7
done	106	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	2	3
1	6	1
done	6	1
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	2	3
1	6	1
done	6	1
0	7	13
1	15	8
2	35	8
3	68	8
4	120	8
5	179	8
6	229	8
7	262	8
done	262	8
0	9	12
1	14	11
2	27	11
3	57	7
4	112	7
5	170	7
6	215	7
7	255	7
done	255	7
0	9	12
1	14	11
2	23	11
3	48	7
4	91	7
5	145	7
6	188	7
7	223	7
8	226	7
done	226	7
0	6	11
1	11	7
2	18	7
3	37	7
4	70	7
5	122	7
6	179	7
7	231	7
8	264	7
done	264	7
0	6	10
1	12	10
2	25	7
3	47	7
4	94	7
5	144	7
6	194	7
7	252	7
8	294	7
9	308	7
done	308	7
0	6	10
1	12	10
2	22	10
3	36	10
4	68	10
5	133	10
6	313	10
7	1408	10
done	5000	10
0	9	29
1	22	29
2	102	17
3	635	13
4	2611	6
done	5001	6
0	12	29
1	32	29
2	120	13
3	625	6
4	2491	6
done	5000	6
0	12	29
1	32	29
2	121	13
3	603	6
4	2523	6
done	5000	6
0	7	29
1	20	29
2	65	13
3	217	6
4	842	6
5	2998	6
done	5000	6
0	7	21
1	11	21
2	17	21
3	24	21
4	29	21
done	29	21
0	6	10
1	10	10
2	16	10
3	23	10
4	28	10
done	28	10
0	7	29
1	19	29
2	58	11
3	200	6
4	687	6
5	2729	6
done	5001	6
0	6	10
1	11	5
2	17	5
3	24	5
4	29	5
done	29	5
0	6	10
1	11	5
2	17	5
3	24	5
4	29	5
done	29	5
0	2	3
done	2	3
0	3	5
done	3	5
0	7	23
1	11	23
2	13	13
3	22	7
4	41	7
5	71	7
6	145	7
7	358	7
8	1287	7
done	5000	7
0	6	11
done	6	11
0	6	11
done	6	4
0	6	11
done	6	4
0	9	27
1	19	27
2	67	27
3	215	15
4	455	8
5	540	8
6	704	8
7	1457	8
done	5000	8
0	7	13
1	11	13
2	17	13
3	24	13
4	29	13
done	29	13
0	8	19
1	14	19
2	32	19
3	78	15
4	129	7
5	147	7
6	170	7
7	240	7
8	508	7
9	1329	7
10	4527	7
done	5000	7
0	7	13
1	11	13
2	17	13
3	24	13
4	29	8
5	30	8
done	30	8
0	6	15
1	14	11
2	29	11
3	70	7
4	98	4
5	106	4
6	121	4
7	170	4
8	346	4
9	872	4
10	3139	4
done	5000	4
0	6	11
1	10	11
2	16	11
3	23	11
4	28	11
done	28	11
0	8	21
1	14	21
2	33	21
3	69	17
4	106	11
5	120	7
6	151	7
7	239	7
8	540	7
9	1582	7
done	5000	7
0	7	13
1	11	13
2	17	13
3	24	9
4	28	9
done	28	9
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	5	9
1	11	5
2	16	1
3	17	1
4	18	1
done	18	1
0	6	11
1	10	11
2	16	11
3	23	7
4	27	7
done	27	7
0	7	19
1	15	19
2	33	17
3	79	17
4	122	11
5	133	7
6	161	7
7	265	7
8	615	7
9	1798	7
done	5000	7
0	6	11
1	10	11
2	16	11
3	23	11
4	28	11
done	28	11
0	6	11
1	12	11
2	18	9
3	29	9
done	29	4
0	6	11
1	10	11
2	16	11
3	23	11
4	28	6
5	29	6
done	29	6
0	3	7
1	9	1
done	9	1
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	2	3
1	4	1
done	4	1
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	2	3
done	2	3
0	5	9
1	11	9
2	17	7
3	28	7
done	28	7
0	6	11
done	6	4
0	6	11
done	6	4
0	9	12
1	12	12
2	15	12
3	19	12
4	20	12
done	20	12
0	9	12
1	12	12
2	15	12
3	19	12
4	20	12
done	20	12
0	9	12
1	12	12
2	15	12
3	17	12
4	19	12
5	20	12
done	20	12
0	9	12
1	12	12
2	15	12
3	17	12
4	19	12
5	20	12
done	20	12
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	3	3
1	6	1
done	6	1
0	7	16
1	12	16
2	20	16
3	28	16
4	37	16
5	43	16
6	48	16
done	48	16
0	6	10
1	9	10
2	12	10
3	14	10
4	16	10
5	17	10
done	17	10
0	10	18
1	21	18
2	62	18
3	155	18
4	358	18
5	633	18
6	706	18
7	716	18
done	716	18
0	9	14
1	16	14
2	34	14
3	77	14
4	152	14
5	220	14
6	239	14
7	245	14
done	245	14
0	9	12
1	18	10
2	44	10
3	129	10
4	237	10
5	279	10
done	279	10
0	9	15
1	16	15
2	35	15
3	74	15
4	140	15
5	201	15
6	210	15
done	210	15
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	8	9
1	15	7
2	28	7
3	60	7
4	89	7
5	96	7
done	96	7
0	9	14
1	18	14
2	36	12
3	106	12
4	180	12
5	255	12
6	320	12
7	327	12
done	327	12
0	8	10
1	15	10
2	24	8
3	62	8
4	76	8
5	97	8
6	122	8
7	125	8
done	125	8
0	7	8
1	14	6
2	24	4
3	39	4
4	58	4
5	74	4
6	75	4
done	75	4
0	6	6
1	11	4
2	21	4
done	21	4
0	5	6
1	8	6
2	10	6
done	10	6
0	6	10
1	9	10
2	12	10
3	16	10
4	17	10
done	17	10
0	6	10
1	9	10
2	12	10
3	16	10
4	17	10
done	17	10
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	7	10
1	12	10
2	20	10
3	32	10
4	44	10
5	47	10
done	47	10
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	7	10
1	12	10
2	20	10
3	32	10
4	44	10
5	47	10
done	47	10
0	7	10
1	12	10
2	21	10
3	36	10
4	44	10
5	45	10
done	45	10
0	7	10
1	12	10
2	21	10
3	36	10
4	44	10
5	45	10
done	45	10
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	7	9
1	14	9
2	22	7
3	63	7
4	104	7
5	106	7
done	106	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	31	103
1	90	103
2	364	66
3	1801	54
done	5001	54
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6

prune1.2s

Filtered

148 candidates to 224 candidates (-51.4%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	208	16	224
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	209	17	226

Merged error: 0.6b

Counts

226 → 17

localize39.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
0.6b	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.6b	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0b	(sqrt PI)

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

145×	`add-exp-log` `add-cbrt-cube`
93×	`add-sqr-sqrt`
89×	`times-frac`
68×	`add-cube-cbrt` `*-un-lft-identity`
66×	`prod-exp` `cbrt-unprod`
65×	`pow1`
45×	`cbrt-undiv` `div-exp`
39×	`associate-r`
27×	`associate-l`
26×	`swap-sqr`
23×	`pow-plus` `pow-prod-up`
19×	`frac-times` `associate-*l/`
9×	`associate-*r/` `div-inv`
8×	`pow-prod-down` `unswap-sqr`
6×	`pow2` `pow-sqr`
4×	`add-log-exp`
3×	`sqrt-prod` `*-commutative`
2×	`pow3`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`

Counts

4 → 249

Calls

4 calls:

21.0ms	(* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
15.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
12.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
2.0ms	(sqrt PI)

series38.0ms

Counts

4 → 10

Calls

4 calls:

15.0ms	(* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
11.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
12.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.0ms	(sqrt PI)

simplify8.7min

Counts

259 → 259

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	3
0	3	3
done	3	3
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	8	4
3	13	4
4	19	4
5	29	4
6	52	4
7	110	4
8	313	4
9	1238	4
done	5000	4
0	4	6
1	5	3
done	5	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	3	3
1	6	1
done	6	1
0	3	3
done	3	3
0	3	3
done	3	3
0	2	3
1	6	1
done	6	1
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	2	3
1	6	1
done	6	1
0	7	13
1	15	8
2	35	8
3	68	8
4	120	8
5	179	8
6	229	8
7	262	8
done	262	8
0	9	12
1	14	11
2	27	11
3	57	7
4	112	7
5	170	7
6	215	7
7	255	7
done	255	7
0	9	12
1	14	11
2	23	11
3	48	7
4	91	7
5	145	7
6	188	7
7	223	7
8	226	7
done	226	7
0	6	11
1	11	7
2	18	7
3	37	7
4	70	7
5	122	7
6	179	7
7	231	7
8	264	7
done	264	7
0	6	10
1	12	10
2	25	7
3	47	7
4	94	7
5	144	7
6	194	7
7	252	7
8	294	7
9	308	7
done	308	7
0	6	10
1	12	10
2	22	10
3	36	10
4	68	10
5	133	10
6	313	10
7	1408	10
done	5000	10
0	9	29
1	22	29
2	102	17
3	635	13
4	2611	6
done	5001	6
0	12	29
1	32	29
2	120	13
3	625	6
4	2491	6
done	5000	6
0	12	29
1	32	29
2	121	13
3	603	6
4	2523	6
done	5000	6
0	7	29
1	20	29
2	65	13
3	217	6
4	842	6
5	2998	6
done	5000	6
0	7	21
1	11	21
2	17	21
3	24	21
4	29	21
done	29	21
0	6	10
1	10	10
2	16	10
3	23	10
4	28	10
done	28	10
0	7	29
1	19	29
2	58	11
3	200	6
4	687	6
5	2729	6
done	5001	6
0	6	10
1	11	5
2	17	5
3	24	5
4	29	5
done	29	5
0	6	10
1	11	5
2	17	5
3	24	5
4	29	5
done	29	5
0	2	3
done	2	3
0	3	5
done	3	5
0	7	23
1	11	23
2	13	13
3	22	7
4	41	7
5	71	7
6	145	7
7	358	7
8	1287	7
done	5000	7
0	6	11
done	6	11
0	6	11
done	6	4
0	6	11
done	6	4
0	9	27
1	19	27
2	67	27
3	215	15
4	455	8
5	540	8
6	704	8
7	1457	8
done	5000	8
0	7	13
1	11	13
2	17	13
3	24	13
4	29	13
done	29	13
0	8	19
1	14	19
2	32	19
3	78	15
4	129	7
5	147	7
6	170	7
7	240	7
8	508	7
9	1329	7
10	4527	7
done	5000	7
0	7	13
1	11	13
2	17	13
3	24	13
4	29	8
5	30	8
done	30	8
0	6	15
1	14	11
2	29	11
3	70	7
4	98	4
5	106	4
6	121	4
7	170	4
8	346	4
9	872	4
10	3139	4
done	5000	4
0	6	11
1	10	11
2	16	11
3	23	11
4	28	11
done	28	11
0	8	21
1	14	21
2	33	21
3	69	17
4	106	11
5	120	7
6	151	7
7	239	7
8	540	7
9	1582	7
done	5000	7
0	7	13
1	11	13
2	17	13
3	24	9
4	28	9
done	28	9
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	5	9
1	11	5
2	16	1
3	17	1
4	18	1
done	18	1
0	6	11
1	10	11
2	16	11
3	23	7
4	27	7
done	27	7
0	7	19
1	15	19
2	33	17
3	79	17
4	122	11
5	133	7
6	161	7
7	265	7
8	615	7
9	1798	7
done	5000	7
0	6	11
1	10	11
2	16	11
3	23	11
4	28	11
done	28	11
0	6	11
1	12	11
2	18	9
3	29	9
done	29	4
0	6	11
1	10	11
2	16	11
3	23	11
4	28	6
5	29	6
done	29	6
0	3	7
1	9	1
done	9	1
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	2	3
1	4	1
done	4	1
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	2	3
done	2	3
0	5	9
1	11	9
2	17	7
3	28	7
done	28	7
0	6	11
done	6	4
0	6	11
done	6	4
0	9	12
1	12	12
2	15	12
3	19	12
4	20	12
done	20	12
0	9	12
1	12	12
2	15	12
3	19	12
4	20	12
done	20	12
0	9	12
1	12	12
2	15	12
3	17	12
4	19	12
5	20	12
done	20	12
0	9	12
1	12	12
2	15	12
3	17	12
4	19	12
5	20	12
done	20	12
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	3	3
1	6	1
done	6	1
0	7	16
1	12	16
2	20	16
3	28	16
4	37	16
5	43	16
6	48	16
done	48	16
0	6	10
1	9	10
2	12	10
3	14	10
4	16	10
5	17	10
done	17	10
0	10	18
1	21	18
2	62	18
3	155	18
4	358	18
5	633	18
6	706	18
7	716	18
done	716	18
0	9	14
1	16	14
2	34	14
3	77	14
4	152	14
5	220	14
6	239	14
7	245	14
done	245	14
0	9	12
1	18	10
2	44	10
3	129	10
4	237	10
5	279	10
done	279	10
0	9	15
1	16	15
2	35	15
3	74	15
4	140	15
5	201	15
6	210	15
done	210	15
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	8	9
1	15	7
2	28	7
3	60	7
4	89	7
5	96	7
done	96	7
0	9	14
1	18	14
2	36	12
3	106	12
4	180	12
5	255	12
6	320	12
7	327	12
done	327	12
0	8	10
1	15	10
2	24	8
3	62	8
4	76	8
5	97	8
6	122	8
7	125	8
done	125	8
0	7	8
1	14	6
2	24	4
3	39	4
4	58	4
5	74	4
6	75	4
done	75	4
0	6	6
1	11	4
2	21	4
done	21	4
0	5	6
1	8	6
2	10	6
done	10	6
0	6	10
1	9	10
2	12	10
3	16	10
4	17	10
done	17	10
0	6	10
1	9	10
2	12	10
3	16	10
4	17	10
done	17	10
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	7	10
1	12	10
2	20	10
3	32	10
4	44	10
5	47	10
done	47	10
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	7	10
1	12	10
2	20	10
3	32	10
4	44	10
5	47	10
done	47	10
0	7	10
1	12	10
2	21	10
3	36	10
4	44	10
5	45	10
done	45	10
0	7	10
1	12	10
2	21	10
3	36	10
4	44	10
5	45	10
done	45	10
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	7	9
1	14	9
2	22	7
3	63	7
4	104	7
5	106	7
done	106	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	2	3
1	6	1
done	6	1
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	2	3
1	6	1
done	6	1
0	7	13
1	15	8
2	35	8
3	68	8
4	120	8
5	179	8
6	229	8
7	262	8
done	262	8
0	9	12
1	14	11
2	27	11
3	57	7
4	112	7
5	170	7
6	215	7
7	255	7
done	255	7
0	9	12
1	14	11
2	23	11
3	48	7
4	91	7
5	145	7
6	188	7
7	223	7
8	226	7
done	226	7
0	6	11
1	11	7
2	18	7
3	37	7
4	70	7
5	122	7
6	179	7
7	231	7
8	264	7
done	264	7
0	6	10
1	12	10
2	25	7
3	47	7
4	94	7
5	144	7
6	194	7
7	252	7
8	294	7
9	308	7
done	308	7
0	6	10
1	12	10
2	22	10
3	36	10
4	68	10
5	133	10
6	313	10
7	1408	10
done	5000	10
0	9	29
1	22	29
2	102	17
3	635	13
4	2611	6
done	5001	6
0	12	29
1	32	29
2	120	13
3	625	6
4	2491	6
done	5000	6
0	12	29
1	32	29
2	121	13
3	603	6
4	2523	6
done	5000	6
0	7	29
1	20	29
2	65	13
3	217	6
4	842	6
5	2998	6
done	5000	6
0	7	21
1	11	21
2	17	21
3	24	21
4	29	21
done	29	21
0	6	10
1	10	10
2	16	10
3	23	10
4	28	10
done	28	10
0	7	29
1	19	29
2	58	11
3	200	6
4	687	6
5	2729	6
done	5001	6
0	6	10
1	11	5
2	17	5
3	24	5
4	29	5
done	29	5
0	6	10
1	11	5
2	17	5
3	24	5
4	29	5
done	29	5
0	2	3
done	2	3
0	3	5
done	3	5
0	7	23
1	11	23
2	13	13
3	22	7
4	41	7
5	71	7
6	145	7
7	358	7
8	1287	7
done	5000	7
0	6	11
done	6	11
0	6	11
done	6	4
0	6	11
done	6	4
0	9	27
1	19	27
2	67	27
3	215	15
4	455	8
5	540	8
6	704	8
7	1457	8
done	5000	8
0	7	13
1	11	13
2	17	13
3	24	13
4	29	13
done	29	13
0	8	19
1	14	19
2	32	19
3	78	15
4	129	7
5	147	7
6	170	7
7	240	7
8	508	7
9	1329	7
10	4527	7
done	5000	7
0	7	13
1	11	13
2	17	13
3	24	13
4	29	8
5	30	8
done	30	8
0	6	15
1	14	11
2	29	11
3	70	7
4	98	4
5	106	4
6	121	4
7	170	4
8	346	4
9	872	4
10	3139	4
done	5000	4
0	6	11
1	10	11
2	16	11
3	23	11
4	28	11
done	28	11
0	8	21
1	14	21
2	33	21
3	69	17
4	106	11
5	120	7
6	151	7
7	239	7
8	540	7
9	1582	7
done	5000	7
0	7	13
1	11	13
2	17	13
3	24	9
4	28	9
done	28	9
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	5	9
1	11	5
2	16	1
3	17	1
4	18	1
done	18	1
0	6	11
1	10	11
2	16	11
3	23	7
4	27	7
done	27	7
0	7	19
1	15	19
2	33	17
3	79	17
4	122	11
5	133	7
6	161	7
7	265	7
8	615	7
9	1798	7
done	5000	7
0	6	11
1	10	11
2	16	11
3	23	11
4	28	11
done	28	11
0	6	11
1	12	11
2	18	9
3	29	9
done	29	4
0	6	11
1	10	11
2	16	11
3	23	11
4	28	6
5	29	6
done	29	6
0	3	7
1	9	1
done	9	1
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	2	3
1	4	1
done	4	1
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	2	3
done	2	3
0	5	9
1	11	9
2	17	7
3	28	7
done	28	7
0	6	11
done	6	4
0	6	11
done	6	4
0	9	12
1	12	12
2	15	12
3	19	12
4	20	12
done	20	12
0	9	12
1	12	12
2	15	12
3	19	12
4	20	12
done	20	12
0	9	12
1	12	12
2	15	12
3	17	12
4	19	12
5	20	12
done	20	12
0	9	12
1	12	12
2	15	12
3	17	12
4	19	12
5	20	12
done	20	12
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	3	3
1	6	1
done	6	1
0	7	16
1	12	16
2	20	16
3	28	16
4	37	16
5	43	16
6	48	16
done	48	16
0	6	10
1	9	10
2	12	10
3	14	10
4	16	10
5	17	10
done	17	10
0	10	18
1	21	18
2	62	18
3	155	18
4	358	18
5	633	18
6	706	18
7	716	18
done	716	18
0	9	14
1	16	14
2	34	14
3	77	14
4	152	14
5	220	14
6	239	14
7	245	14
done	245	14
0	9	12
1	18	10
2	44	10
3	129	10
4	237	10
5	279	10
done	279	10
0	9	15
1	16	15
2	35	15
3	74	15
4	140	15
5	201	15
6	210	15
done	210	15
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	8	9
1	15	7
2	28	7
3	60	7
4	89	7
5	96	7
done	96	7
0	9	14
1	18	14
2	36	12
3	106	12
4	180	12
5	255	12
6	320	12
7	327	12
done	327	12
0	8	10
1	15	10
2	24	8
3	62	8
4	76	8
5	97	8
6	122	8
7	125	8
done	125	8
0	7	8
1	14	6
2	24	4
3	39	4
4	58	4
5	74	4
6	75	4
done	75	4
0	6	6
1	11	4
2	21	4
done	21	4
0	5	6
1	8	6
2	10	6
done	10	6
0	6	10
1	9	10
2	12	10
3	16	10
4	17	10
done	17	10
0	6	10
1	9	10
2	12	10
3	16	10
4	17	10
done	17	10
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	7	10
1	12	10
2	20	10
3	32	10
4	44	10
5	47	10
done	47	10
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	7	10
1	12	10
2	20	10
3	32	10
4	44	10
5	47	10
done	47	10
0	7	10
1	12	10
2	21	10
3	36	10
4	44	10
5	45	10
done	45	10
0	7	10
1	12	10
2	21	10
3	36	10
4	44	10
5	45	10
done	45	10
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	7	9
1	14	9
2	22	7
3	63	7
4	104	7
5	106	7
done	106	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	7
1	12	3
2	14	1
done	14	1
0	4	5
1	11	3
2	12	1
done	12	1
0	4	7
1	12	3
2	14	1
done	14	1
0	5	7
1	15	3
2	16	1
done	16	1
0	3	3
1	7	1
done	7	1
0	4	7
1	12	3
2	14	1
done	14	1
0	4	5
1	11	3
2	12	1
done	12	1
0	4	7
1	12	3
2	14	1
done	14	1
0	5	7
1	15	3
2	16	1
done	16	1
0	7	19
1	18	19
2	46	11
3	117	6
4	360	6
5	704	6
6	1557	6
done	5000	6
0	7	19
1	18	19
2	46	11
3	117	6
4	360	6
5	704	6
6	1557	6
done	5000	6
0	7	19
1	18	19
2	46	11
3	117	6
4	360	6
5	704	6
6	1557	6
done	5000	6
0	4	7
1	12	3
2	14	1
done	14	1
0	4	5
1	11	3
2	12	1
done	12	1
0	4	7
1	12	3
2	14	1
done	14	1
0	5	7
1	15	3
2	16	1
done	16	1
0	3	3
1	7	1
done	7	1
0	4	7
1	12	3
2	14	1
done	14	1
0	4	5
1	11	3
2	12	1
done	12	1
0	4	7
1	12	3
2	14	1
done	14	1
0	5	7
1	15	3
2	16	1
done	16	1
0	9	27
1	24	17
2	81	8
3	289	8
4	1162	8
5	2344	8
6	2844	8
7	2985	8
done	2985	8
0	11	26
1	25	15
2	82	7
3	285	7
4	1109	7
5	2269	7
6	2756	7
7	2896	7
done	2896	7
0	11	26
1	27	15
2	80	7
3	284	7
4	1076	7
5	2181	7
6	2828	7
7	2984	7
done	2984	7
0	11	25
1	25	15
2	78	7
3	273	7
4	1041	7
5	2165	7
6	2813	7
7	2970	7
done	2970	7
0	11	26
1	24	23
2	64	15
3	228	7
4	941	7
5	1918	7
6	2563	7
7	2768	7
done	2768	7
0	11	25
1	21	23
2	60	13
3	216	9
4	780	7
5	1646	7
6	2606	7
7	3099	7
8	3100	7
done	3100	7
0	11	25
1	23	23
2	61	9
3	228	7
4	862	7
5	1818	7
6	2560	7
7	2826	7
done	2826	7
0	11	24
1	21	23
2	56	15
3	195	7
4	786	7
5	1713	7
6	2445	7
7	2707	7
8	2709	7
done	2709	7
0	11	26
1	25	23
2	59	15
3	188	7
4	769	7
5	2298	7
6	3011	7
7	3280	7
8	3289	7
done	3289	7
0	11	25
1	23	23
2	58	9
3	191	7
4	743	7
5	2203	7
6	2906	7
7	3178	7
done	3178	7
0	11	25
1	21	23
2	52	13
3	179	9
4	615	7
5	1856	7
6	2828	7
7	3443	7
8	3458	7
done	3458	7
0	11	24
1	20	23
2	49	15
3	163	7
4	648	7
5	1954	7
6	2675	7
7	2970	7
8	2986	7
done	2986	7
0	11	25
1	25	15
2	63	7
3	211	7
4	802	7
5	2335	7
6	2949	7
7	3168	7
done	3168	7
0	11	24
1	23	19
2	56	15
3	176	7
4	707	7
5	2009	7
6	2886	7
7	3183	7
8	3187	7
done	3187	7
0	11	24
1	21	19
2	55	13
3	183	7
4	704	7
5	2078	7
6	2933	7
7	3132	7
8	3137	7
done	3137	7
0	8	23
1	16	15
2	39	7
3	113	7
4	376	7
5	1401	7
6	2485	7
7	2788	7
8	2876	7
done	2876	7
0	11	24
1	27	24
2	73	15
3	221	7
4	826	7
5	2334	7
6	3070	7
7	3340	7
8	3349	7
done	3349	7
0	12	23
1	24	21
2	57	21
3	178	9
4	635	7
5	1824	7
6	3057	7
7	3750	7
8	3895	7
done	3895	7
0	12	23
1	24	21
2	55	21
3	174	9
4	597	7
5	1740	7
6	2997	7
7	3760	7
8	3905	7
done	3905	7
0	9	22
1	20	21
2	44	15
3	135	7
4	448	7
5	1518	7
6	2602	7
7	2995	7
8	3061	7
done	3061	7
0	11	22
1	26	22
2	60	13
3	173	13
4	560	7
5	1710	7
6	3447	7
done	5001	7
0	9	21
1	22	21
2	53	13
3	151	13
4	472	7
5	1555	7
6	3323	7
done	5000	7
0	8	20
1	22	20
2	62	12
3	170	7
4	595	7
5	1825	7
6	4896	7
done	5000	7
0	8	20
1	21	20
2	59	12
3	147	7
4	471	7
5	1171	7
6	3490	7
done	5000	7
0	11	59
1	31	59
2	178	19
3	1647	8
done	5001	8
0	14	59
1	41	59
2	198	15
3	1634	8
done	5000	8
0	14	59
1	43	59
2	210	27
3	1667	13
done	5001	13
0	14	59
1	43	59
2	195	27
3	1511	13
done	5000	13
0	14	59
1	42	59
2	205	27
3	1722	13
done	5001	13
0	14	59
1	41	59
2	196	27
3	1639	13
done	5000	13
0	14	59
1	43	59
2	207	27
3	1670	13
done	5000	13
0	14	59
1	43	59
2	188	27
3	1424	13
done	5000	13
0	14	59
1	43	59
2	212	27
3	1736	13
done	5000	13
0	14	59
1	43	59
2	207	27
3	1633	13
done	5001	13
0	14	59
1	41	59
2	195	27
3	1516	13
done	5001	13
0	14	59
1	42	59
2	183	27
3	1336	13
done	5000	13
0	14	59
1	45	59
2	210	27
3	1618	13
done	5001	13
0	14	59
1	45	59
2	200	27
3	1478	13
done	5000	13
0	14	59
1	43	59
2	183	15
3	1310	8
done	5000	8
0	9	59
1	29	59
2	126	15
3	693	8
4	2758	6
done	5000	6
0	14	59
1	44	59
2	211	23
3	1714	11
done	5001	11
0	15	59
1	46	59
2	209	23
3	1586	11
done	5000	11
0	15	59
1	46	59
2	196	15
3	1397	8
done	5001	8
0	10	59
1	32	59
2	138	15
3	726	8
4	3037	6
done	5001	6
0	14	59
1	43	59
2	183	15
3	1310	8
done	5000	8
0	9	59
1	29	59
2	126	15
3	693	8
4	2758	6
done	5000	6
0	9	41
1	20	41
2	48	25
3	119	15
4	364	15
5	715	15
6	1567	15
done	5000	15
0	8	20
1	19	20
2	47	12
3	118	7
4	349	7
5	693	7
6	1545	7
done	5000	7
0	9	59
1	29	59
2	133	13
3	615	8
4	2762	6
done	5000	6
0	8	20
1	19	20
2	48	10
3	119	7
4	348	7
5	690	7
6	1541	7
done	5000	7
0	8	20
1	19	20
2	48	10
3	119	7
4	348	7
5	690	7
6	1541	7
done	5000	7
0	4	7
1	7	7
2	9	5
3	18	3
4	33	3
5	59	3
6	130	3
7	344	3
8	1268	3
done	5001	3
0	5	11
1	8	11
2	10	7
3	19	4
4	34	4
5	60	4
6	129	4
7	344	4
8	1249	4
done	5001	4
0	7	10
1	14	10
2	26	10
3	38	8
4	56	6
5	80	6
6	136	6
7	309	6
8	897	6
9	3448	6
done	5000	6
0	4	8
1	5	8
2	7	4
3	12	4
4	18	4
5	28	4
6	49	4
7	108	4
8	316	4
9	1236	4
done	5000	4
0	7	10
1	13	10
2	25	10
3	37	8
4	55	6
5	79	6
6	133	6
7	309	6
8	896	6
9	3437	6
done	5001	6
0	4	8
1	5	8
2	7	4
3	12	4
4	18	4
5	28	4
6	49	4
7	108	4
8	316	4
9	1236	4
done	5000	4
0	7	13
1	16	13
2	33	13
3	67	13
4	120	11
5	142	9
6	182	9
7	297	9
8	705	9
9	2303	9
done	5000	9
0	3	5
done	3	5
0	7	10
1	15	10
2	27	10
3	39	8
4	52	6
5	76	6
6	130	6
7	305	6
8	902	6
9	3432	6
done	5000	6
0	4	8
1	5	8
2	7	4
3	12	4
4	18	4
5	28	4
6	49	4
7	108	4
8	316	4
9	1236	4
done	5000	4
0	7	13
1	15	13
2	40	13
3	76	13
4	120	11
5	139	9
6	177	9
7	292	9
8	694	9
9	2250	9
done	5000	9
0	3	5
done	3	5
0	7	13
1	17	13
2	41	13
3	80	13
4	119	11
5	138	9
6	176	9
7	291	9
8	692	9
9	2262	9
done	5000	9
0	3	5
done	3	5
0	9	26
1	21	26
2	62	18
3	186	18
4	565	18
5	1403	18
6	2491	18
done	5000	18
0	8	20
1	18	20
2	50	12
3	135	12
4	351	12
5	684	12
6	1137	12
7	2659	12
done	5000	12
0	12	28
1	30	28
2	104	20
3	397	20
4	1936	20
done	5000	20
0	11	24
1	25	24
2	76	16
3	267	16
4	1108	16
5	4093	16
done	5000	16
0	11	22
1	27	20
2	82	12
3	309	12
4	1309	12
5	4432	12
done	5000	12
0	11	25
1	25	25
2	77	17
3	269	17
4	1173	17
5	4312	17
done	5000	17
0	10	21
1	22	21
2	64	13
3	202	13
4	739	13
5	2118	13
6	4119	13
done	5001	13
0	10	19
1	24	17
2	66	9
3	208	9
4	824	9
5	2199	9
6	3581	9
done	5001	9
0	11	24
1	27	24
2	78	14
3	327	14
4	1355	14
5	3669	14
done	5000	14
0	10	20
1	24	20
2	66	10
3	246	10
4	859	10
5	1851	10
6	3261	10
done	5001	10
0	9	18
1	23	16
2	62	6
3	197	6
4	622	6
5	1253	6
6	2230	6
7	4789	6
done	5001	6
0	8	16
1	20	14
2	58	6
3	155	6
4	334	6
5	612	6
6	994	6
7	2142	6
done	5001	6
0	7	16
1	16	16
2	41	8
3	100	8
4	224	8
5	382	8
6	713	8
7	2113	8
done	5001	8
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	7	16
1	16	16
2	41	8
3	100	8
4	224	8
5	382	8
6	713	8
7	2113	8
done	5001	8
0	7	10
1	13	10
2	28	8
3	50	6
4	79	6
5	135	6
6	312	6
7	906	6
8	3437	6
done	5000	6
0	7	13
1	16	13
2	39	13
3	75	11
4	131	9
5	173	9
6	288	9
7	681	9
8	2252	9
done	5000	9
0	7	13
1	15	13
2	38	13
3	75	11
4	128	9
5	170	9
6	281	9
7	663	9
8	2182	9
done	5000	9
0	7	16
1	17	16
2	39	16
3	93	8
4	223	8
5	308	8
6	406	8
7	791	8
8	2404	8
done	5001	8
0	7	13
1	17	13
2	39	13
3	81	11
4	130	9
5	174	9
6	289	9
7	690	9
8	2273	9
done	5000	9
0	7	16
1	18	16
2	45	16
3	104	8
4	238	8
5	342	8
6	466	8
7	870	8
8	2560	8
done	5000	8
0	7	16
1	19	16
2	47	16
3	105	8
4	237	8
5	341	8
6	462	8
7	866	8
8	2562	8
done	5000	8
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6
0	6	6
1	10	6
2	19	6
3	47	6
4	83	6
5	179	6
6	500	6
7	1780	6
done	5000	6
0	6	6
1	10	6
2	19	6
3	47	6
4	83	6
5	179	6
6	500	6
7	1780	6
done	5000	6
0	6	6
1	10	6
2	19	6
3	47	6
4	83	6
5	179	6
6	500	6
7	1780	6
done	5000	6

prune1.4s

Filtered

138 candidates to 259 candidates (-87.7%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	256	3	259
Fresh	1	15	16
Picked	1	0	1
Done	0	0	0
Total	258	18	276

Merged error: 0.6b

Counts

276 → 18

localize46.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt (fabs x))
0.7b	(cbrt (fabs x))
0.7b	(cbrt (fabs x))
1.0b	(sqrt PI)

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod` `add-sqr-sqrt`
8×	`add-cube-cbrt` `*-un-lft-identity`
5×	`pow1`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`pow1/3` `sqrt-prod`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`

Counts

4 → 46

Calls

4 calls:

2.0ms	(cbrt (fabs x))
2.0ms	(cbrt (fabs x))
2.0ms	(cbrt (fabs x))
2.0ms	(sqrt PI)

series76.0ms

Counts

4 → 10

Calls

4 calls:

24.0ms	(cbrt (fabs x))
24.0ms	(cbrt (fabs x))
28.0ms	(cbrt (fabs x))
0.0ms	(sqrt PI)

simplify40.4s

Counts

56 → 56

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	3
0	3	3
done	3	3
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	8	4
3	13	4
4	19	4
5	29	4
6	52	4
7	110	4
8	313	4
9	1238	4
done	5000	4
0	4	6
1	5	3
done	5	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	3	3
1	6	1
done	6	1
0	3	3
done	3	3
0	3	3
done	3	3
0	4	4
done	4	4
0	4	4
done	4	4
0	5	8
done	5	8
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	3	3
done	3	3
0	5	9
done	5	9
0	4	4
done	4	4
0	5	11
1	6	11
2	8	5
3	13	2
4	19	2
5	29	2
6	50	2
7	108	2
8	311	2
9	1229	2
done	5000	2
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	5	8
done	5	8
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	3	3
done	3	3
0	5	9
done	5	9
0	4	4
done	4	4
0	5	11
1	6	11
2	8	5
3	13	2
4	19	2
5	29	2
6	50	2
7	108	2
8	311	2
9	1229	2
done	5000	2
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	5	8
done	5	8
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	3	3
done	3	3
0	5	9
done	5	9
0	4	4
done	4	4
0	5	11
1	6	11
2	8	5
3	13	2
4	19	2
5	29	2
6	50	2
7	108	2
8	311	2
9	1229	2
done	5000	2
0	4	4
done	4	4
0	4	4
done	4	4
0	43	109
1	132	108
2	531	84
3	2908	74
done	5000	74
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3

prune263.0ms

Filtered

38 candidates to 56 candidates (-47.4%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	55	1	56
Fresh	1	16	17
Picked	0	1	1
Done	0	0	0
Total	56	18	74

Merged error: 0.5b

Counts

74 → 18

localize44.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
0.6b	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.6b	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0b	(sqrt PI)

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

145×	`add-exp-log` `add-cbrt-cube`
93×	`add-sqr-sqrt`
89×	`times-frac`
68×	`add-cube-cbrt` `*-un-lft-identity`
66×	`prod-exp` `cbrt-unprod`
65×	`pow1`
45×	`cbrt-undiv` `div-exp`
39×	`associate-r`
27×	`associate-l`
26×	`swap-sqr`
23×	`pow-plus` `pow-prod-up`
19×	`frac-times` `associate-*l/`
9×	`associate-*r/` `div-inv`
8×	`pow-prod-down` `unswap-sqr`
6×	`pow2` `pow-sqr`
4×	`add-log-exp`
3×	`sqrt-prod` `*-commutative`
2×	`pow3`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`

Counts

4 → 249

Calls

4 calls:

21.0ms	(* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
12.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
12.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
2.0ms	(sqrt PI)

series38.0ms

Counts

4 → 10

Calls

4 calls:

15.0ms	(* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
12.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
12.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.0ms	(sqrt PI)

simplify8.7min

Counts

259 → 259

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	3
0	3	3
done	3	3
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	8	4
3	13	4
4	19	4
5	29	4
6	52	4
7	110	4
8	313	4
9	1238	4
done	5000	4
0	4	6
1	5	3
done	5	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	3	3
1	6	1
done	6	1
0	3	3
done	3	3
0	3	3
done	3	3
0	2	3
1	6	1
done	6	1
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	2	3
1	6	1
done	6	1
0	7	13
1	15	8
2	35	8
3	68	8
4	120	8
5	179	8
6	229	8
7	262	8
done	262	8
0	9	12
1	14	11
2	27	11
3	57	7
4	112	7
5	170	7
6	215	7
7	255	7
done	255	7
0	9	12
1	14	11
2	23	11
3	48	7
4	91	7
5	145	7
6	188	7
7	223	7
8	226	7
done	226	7
0	6	11
1	11	7
2	18	7
3	37	7
4	70	7
5	122	7
6	179	7
7	231	7
8	264	7
done	264	7
0	6	10
1	12	10
2	25	7
3	47	7
4	94	7
5	144	7
6	194	7
7	252	7
8	294	7
9	308	7
done	308	7
0	6	10
1	12	10
2	22	10
3	36	10
4	68	10
5	133	10
6	313	10
7	1408	10
done	5000	10
0	9	29
1	22	29
2	102	17
3	635	13
4	2611	6
done	5001	6
0	12	29
1	32	29
2	120	13
3	625	6
4	2491	6
done	5000	6
0	12	29
1	32	29
2	121	13
3	603	6
4	2523	6
done	5000	6
0	7	29
1	20	29
2	65	13
3	217	6
4	842	6
5	2998	6
done	5000	6
0	7	21
1	11	21
2	17	21
3	24	21
4	29	21
done	29	21
0	6	10
1	10	10
2	16	10
3	23	10
4	28	10
done	28	10
0	7	29
1	19	29
2	58	11
3	200	6
4	687	6
5	2729	6
done	5001	6
0	6	10
1	11	5
2	17	5
3	24	5
4	29	5
done	29	5
0	6	10
1	11	5
2	17	5
3	24	5
4	29	5
done	29	5
0	2	3
done	2	3
0	3	5
done	3	5
0	7	23
1	11	23
2	13	13
3	22	7
4	41	7
5	71	7
6	145	7
7	358	7
8	1287	7
done	5000	7
0	6	11
done	6	11
0	6	11
done	6	4
0	6	11
done	6	4
0	9	27
1	19	27
2	67	27
3	215	15
4	455	8
5	540	8
6	704	8
7	1457	8
done	5000	8
0	7	13
1	11	13
2	17	13
3	24	13
4	29	13
done	29	13
0	8	19
1	14	19
2	32	19
3	78	15
4	129	7
5	147	7
6	170	7
7	240	7
8	508	7
9	1329	7
10	4527	7
done	5000	7
0	7	13
1	11	13
2	17	13
3	24	13
4	29	8
5	30	8
done	30	8
0	6	15
1	14	11
2	29	11
3	70	7
4	98	4
5	106	4
6	121	4
7	170	4
8	346	4
9	872	4
10	3139	4
done	5000	4
0	6	11
1	10	11
2	16	11
3	23	11
4	28	11
done	28	11
0	8	21
1	14	21
2	33	21
3	69	17
4	106	11
5	120	7
6	151	7
7	239	7
8	540	7
9	1582	7
done	5000	7
0	7	13
1	11	13
2	17	13
3	24	9
4	28	9
done	28	9
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	5	9
1	11	5
2	16	1
3	17	1
4	18	1
done	18	1
0	6	11
1	10	11
2	16	11
3	23	7
4	27	7
done	27	7
0	7	19
1	15	19
2	33	17
3	79	17
4	122	11
5	133	7
6	161	7
7	265	7
8	615	7
9	1798	7
done	5000	7
0	6	11
1	10	11
2	16	11
3	23	11
4	28	11
done	28	11
0	6	11
1	12	11
2	18	9
3	29	9
done	29	4
0	6	11
1	10	11
2	16	11
3	23	11
4	28	6
5	29	6
done	29	6
0	3	7
1	9	1
done	9	1
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	2	3
1	4	1
done	4	1
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	2	3
done	2	3
0	5	9
1	11	9
2	17	7
3	28	7
done	28	7
0	6	11
done	6	4
0	6	11
done	6	4
0	9	12
1	12	12
2	15	12
3	19	12
4	20	12
done	20	12
0	9	12
1	12	12
2	15	12
3	19	12
4	20	12
done	20	12
0	9	12
1	12	12
2	15	12
3	17	12
4	19	12
5	20	12
done	20	12
0	9	12
1	12	12
2	15	12
3	17	12
4	19	12
5	20	12
done	20	12
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	3	3
1	6	1
done	6	1
0	7	16
1	12	16
2	20	16
3	28	16
4	37	16
5	43	16
6	48	16
done	48	16
0	6	10
1	9	10
2	12	10
3	14	10
4	16	10
5	17	10
done	17	10
0	10	18
1	21	18
2	62	18
3	155	18
4	358	18
5	633	18
6	706	18
7	716	18
done	716	18
0	9	14
1	16	14
2	34	14
3	77	14
4	152	14
5	220	14
6	239	14
7	245	14
done	245	14
0	9	12
1	18	10
2	44	10
3	129	10
4	237	10
5	279	10
done	279	10
0	9	15
1	16	15
2	35	15
3	74	15
4	140	15
5	201	15
6	210	15
done	210	15
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	8	9
1	15	7
2	28	7
3	60	7
4	89	7
5	96	7
done	96	7
0	9	14
1	18	14
2	36	12
3	106	12
4	180	12
5	255	12
6	320	12
7	327	12
done	327	12
0	8	10
1	15	10
2	24	8
3	62	8
4	76	8
5	97	8
6	122	8
7	125	8
done	125	8
0	7	8
1	14	6
2	24	4
3	39	4
4	58	4
5	74	4
6	75	4
done	75	4
0	6	6
1	11	4
2	21	4
done	21	4
0	5	6
1	8	6
2	10	6
done	10	6
0	6	10
1	9	10
2	12	10
3	16	10
4	17	10
done	17	10
0	6	10
1	9	10
2	12	10
3	16	10
4	17	10
done	17	10
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	7	10
1	12	10
2	20	10
3	32	10
4	44	10
5	47	10
done	47	10
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	7	10
1	12	10
2	20	10
3	32	10
4	44	10
5	47	10
done	47	10
0	7	10
1	12	10
2	21	10
3	36	10
4	44	10
5	45	10
done	45	10
0	7	10
1	12	10
2	21	10
3	36	10
4	44	10
5	45	10
done	45	10
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	7	9
1	14	9
2	22	7
3	63	7
4	104	7
5	106	7
done	106	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	2	3
1	6	1
done	6	1
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	2	3
1	6	1
done	6	1
0	7	13
1	15	8
2	35	8
3	68	8
4	120	8
5	179	8
6	229	8
7	262	8
done	262	8
0	9	12
1	14	11
2	27	11
3	57	7
4	112	7
5	170	7
6	215	7
7	255	7
done	255	7
0	9	12
1	14	11
2	23	11
3	48	7
4	91	7
5	145	7
6	188	7
7	223	7
8	226	7
done	226	7
0	6	11
1	11	7
2	18	7
3	37	7
4	70	7
5	122	7
6	179	7
7	231	7
8	264	7
done	264	7
0	6	10
1	12	10
2	25	7
3	47	7
4	94	7
5	144	7
6	194	7
7	252	7
8	294	7
9	308	7
done	308	7
0	6	10
1	12	10
2	22	10
3	36	10
4	68	10
5	133	10
6	313	10
7	1408	10
done	5000	10
0	9	29
1	22	29
2	102	17
3	635	13
4	2611	6
done	5001	6
0	12	29
1	32	29
2	120	13
3	625	6
4	2491	6
done	5000	6
0	12	29
1	32	29
2	121	13
3	603	6
4	2523	6
done	5000	6
0	7	29
1	20	29
2	65	13
3	217	6
4	842	6
5	2998	6
done	5000	6
0	7	21
1	11	21
2	17	21
3	24	21
4	29	21
done	29	21
0	6	10
1	10	10
2	16	10
3	23	10
4	28	10
done	28	10
0	7	29
1	19	29
2	58	11
3	200	6
4	687	6
5	2729	6
done	5001	6
0	6	10
1	11	5
2	17	5
3	24	5
4	29	5
done	29	5
0	6	10
1	11	5
2	17	5
3	24	5
4	29	5
done	29	5
0	2	3
done	2	3
0	3	5
done	3	5
0	7	23
1	11	23
2	13	13
3	22	7
4	41	7
5	71	7
6	145	7
7	358	7
8	1287	7
done	5000	7
0	6	11
done	6	11
0	6	11
done	6	4
0	6	11
done	6	4
0	9	27
1	19	27
2	67	27
3	215	15
4	455	8
5	540	8
6	704	8
7	1457	8
done	5000	8
0	7	13
1	11	13
2	17	13
3	24	13
4	29	13
done	29	13
0	8	19
1	14	19
2	32	19
3	78	15
4	129	7
5	147	7
6	170	7
7	240	7
8	508	7
9	1329	7
10	4527	7
done	5000	7
0	7	13
1	11	13
2	17	13
3	24	13
4	29	8
5	30	8
done	30	8
0	6	15
1	14	11
2	29	11
3	70	7
4	98	4
5	106	4
6	121	4
7	170	4
8	346	4
9	872	4
10	3139	4
done	5000	4
0	6	11
1	10	11
2	16	11
3	23	11
4	28	11
done	28	11
0	8	21
1	14	21
2	33	21
3	69	17
4	106	11
5	120	7
6	151	7
7	239	7
8	540	7
9	1582	7
done	5000	7
0	7	13
1	11	13
2	17	13
3	24	9
4	28	9
done	28	9
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	5	9
1	11	5
2	16	1
3	17	1
4	18	1
done	18	1
0	6	11
1	10	11
2	16	11
3	23	7
4	27	7
done	27	7
0	7	19
1	15	19
2	33	17
3	79	17
4	122	11
5	133	7
6	161	7
7	265	7
8	615	7
9	1798	7
done	5000	7
0	6	11
1	10	11
2	16	11
3	23	11
4	28	11
done	28	11
0	6	11
1	12	11
2	18	9
3	29	9
done	29	4
0	6	11
1	10	11
2	16	11
3	23	11
4	28	6
5	29	6
done	29	6
0	3	7
1	9	1
done	9	1
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	2	3
1	4	1
done	4	1
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	2	3
done	2	3
0	5	9
1	11	9
2	17	7
3	28	7
done	28	7
0	6	11
done	6	4
0	6	11
done	6	4
0	9	12
1	12	12
2	15	12
3	19	12
4	20	12
done	20	12
0	9	12
1	12	12
2	15	12
3	19	12
4	20	12
done	20	12
0	9	12
1	12	12
2	15	12
3	17	12
4	19	12
5	20	12
done	20	12
0	9	12
1	12	12
2	15	12
3	17	12
4	19	12
5	20	12
done	20	12
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	7	13
1	11	13
2	17	13
3	24	9
4	28	4
5	29	4
done	29	4
0	3	3
1	6	1
done	6	1
0	7	16
1	12	16
2	20	16
3	28	16
4	37	16
5	43	16
6	48	16
done	48	16
0	6	10
1	9	10
2	12	10
3	14	10
4	16	10
5	17	10
done	17	10
0	10	18
1	21	18
2	62	18
3	155	18
4	358	18
5	633	18
6	706	18
7	716	18
done	716	18
0	9	14
1	16	14
2	34	14
3	77	14
4	152	14
5	220	14
6	239	14
7	245	14
done	245	14
0	9	12
1	18	10
2	44	10
3	129	10
4	237	10
5	279	10
done	279	10
0	9	15
1	16	15
2	35	15
3	74	15
4	140	15
5	201	15
6	210	15
done	210	15
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	8	9
1	15	7
2	28	7
3	60	7
4	89	7
5	96	7
done	96	7
0	9	14
1	18	14
2	36	12
3	106	12
4	180	12
5	255	12
6	320	12
7	327	12
done	327	12
0	8	10
1	15	10
2	24	8
3	62	8
4	76	8
5	97	8
6	122	8
7	125	8
done	125	8
0	7	8
1	14	6
2	24	4
3	39	4
4	58	4
5	74	4
6	75	4
done	75	4
0	6	6
1	11	4
2	21	4
done	21	4
0	5	6
1	8	6
2	10	6
done	10	6
0	6	10
1	9	10
2	12	10
3	16	10
4	17	10
done	17	10
0	6	10
1	9	10
2	12	10
3	16	10
4	17	10
done	17	10
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	7	10
1	12	10
2	20	10
3	32	10
4	44	10
5	47	10
done	47	10
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	8	11
1	13	11
2	22	11
3	39	11
4	60	11
5	72	11
6	74	11
done	74	11
0	7	10
1	12	10
2	20	10
3	32	10
4	44	10
5	47	10
done	47	10
0	7	10
1	12	10
2	21	10
3	36	10
4	44	10
5	45	10
done	45	10
0	7	10
1	12	10
2	21	10
3	36	10
4	44	10
5	45	10
done	45	10
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	7	9
1	14	9
2	22	7
3	63	7
4	104	7
5	106	7
done	106	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	7
1	12	3
2	14	1
done	14	1
0	4	5
1	11	3
2	12	1
done	12	1
0	4	7
1	12	3
2	14	1
done	14	1
0	5	7
1	15	3
2	16	1
done	16	1
0	3	3
1	7	1
done	7	1
0	4	7
1	12	3
2	14	1
done	14	1
0	4	5
1	11	3
2	12	1
done	12	1
0	4	7
1	12	3
2	14	1
done	14	1
0	5	7
1	15	3
2	16	1
done	16	1
0	7	19
1	18	19
2	46	11
3	117	6
4	360	6
5	704	6
6	1557	6
done	5000	6
0	7	19
1	18	19
2	46	11
3	117	6
4	360	6
5	704	6
6	1557	6
done	5000	6
0	7	19
1	18	19
2	46	11
3	117	6
4	360	6
5	704	6
6	1557	6
done	5000	6
0	4	7
1	12	3
2	14	1
done	14	1
0	4	5
1	11	3
2	12	1
done	12	1
0	4	7
1	12	3
2	14	1
done	14	1
0	5	7
1	15	3
2	16	1
done	16	1
0	3	3
1	7	1
done	7	1
0	4	7
1	12	3
2	14	1
done	14	1
0	4	5
1	11	3
2	12	1
done	12	1
0	4	7
1	12	3
2	14	1
done	14	1
0	5	7
1	15	3
2	16	1
done	16	1
0	9	27
1	24	17
2	81	8
3	289	8
4	1162	8
5	2344	8
6	2844	8
7	2985	8
done	2985	8
0	11	26
1	25	15
2	82	7
3	285	7
4	1109	7
5	2269	7
6	2756	7
7	2896	7
done	2896	7
0	11	26
1	27	15
2	80	7
3	284	7
4	1076	7
5	2181	7
6	2828	7
7	2984	7
done	2984	7
0	11	25
1	25	15
2	78	7
3	273	7
4	1041	7
5	2165	7
6	2813	7
7	2970	7
done	2970	7
0	11	26
1	24	23
2	64	15
3	228	7
4	941	7
5	1918	7
6	2563	7
7	2768	7
done	2768	7
0	11	25
1	21	23
2	60	13
3	216	9
4	780	7
5	1646	7
6	2606	7
7	3099	7
8	3100	7
done	3100	7
0	11	25
1	23	23
2	61	9
3	228	7
4	862	7
5	1818	7
6	2560	7
7	2826	7
done	2826	7
0	11	24
1	21	23
2	56	15
3	195	7
4	786	7
5	1713	7
6	2445	7
7	2707	7
8	2709	7
done	2709	7
0	11	26
1	25	23
2	59	15
3	188	7
4	769	7
5	2298	7
6	3011	7
7	3280	7
8	3289	7
done	3289	7
0	11	25
1	23	23
2	58	9
3	191	7
4	743	7
5	2203	7
6	2906	7
7	3178	7
done	3178	7
0	11	25
1	21	23
2	52	13
3	179	9
4	615	7
5	1856	7
6	2828	7
7	3443	7
8	3458	7
done	3458	7
0	11	24
1	20	23
2	49	15
3	163	7
4	648	7
5	1954	7
6	2675	7
7	2970	7
8	2986	7
done	2986	7
0	11	25
1	25	15
2	63	7
3	211	7
4	802	7
5	2335	7
6	2949	7
7	3168	7
done	3168	7
0	11	24
1	23	19
2	56	15
3	176	7
4	707	7
5	2009	7
6	2886	7
7	3183	7
8	3187	7
done	3187	7
0	11	24
1	21	19
2	55	13
3	183	7
4	704	7
5	2078	7
6	2933	7
7	3132	7
8	3137	7
done	3137	7
0	8	23
1	16	15
2	39	7
3	113	7
4	376	7
5	1401	7
6	2485	7
7	2788	7
8	2876	7
done	2876	7
0	11	24
1	27	24
2	73	15
3	221	7
4	826	7
5	2334	7
6	3070	7
7	3340	7
8	3349	7
done	3349	7
0	12	23
1	24	21
2	57	21
3	178	9
4	635	7
5	1824	7
6	3057	7
7	3750	7
8	3895	7
done	3895	7
0	12	23
1	24	21
2	55	21
3	174	9
4	597	7
5	1740	7
6	2997	7
7	3760	7
8	3905	7
done	3905	7
0	9	22
1	20	21
2	44	15
3	135	7
4	448	7
5	1518	7
6	2602	7
7	2995	7
8	3061	7
done	3061	7
0	11	22
1	26	22
2	60	13
3	173	13
4	560	7
5	1710	7
6	3447	7
done	5001	7
0	9	21
1	22	21
2	53	13
3	151	13
4	472	7
5	1555	7
6	3323	7
done	5000	7
0	8	20
1	22	20
2	62	12
3	170	7
4	595	7
5	1825	7
6	4896	7
done	5000	7
0	8	20
1	21	20
2	59	12
3	147	7
4	471	7
5	1171	7
6	3490	7
done	5000	7
0	11	59
1	31	59
2	178	19
3	1647	8
done	5001	8
0	14	59
1	41	59
2	198	15
3	1634	8
done	5000	8
0	14	59
1	43	59
2	210	27
3	1667	13
done	5001	13
0	14	59
1	43	59
2	195	27
3	1511	13
done	5000	13
0	14	59
1	42	59
2	205	27
3	1722	13
done	5001	13
0	14	59
1	41	59
2	196	27
3	1639	13
done	5000	13
0	14	59
1	43	59
2	207	27
3	1670	13
done	5000	13
0	14	59
1	43	59
2	188	27
3	1424	13
done	5000	13
0	14	59
1	43	59
2	212	27
3	1736	13
done	5000	13
0	14	59
1	43	59
2	207	27
3	1633	13
done	5001	13
0	14	59
1	41	59
2	195	27
3	1516	13
done	5001	13
0	14	59
1	42	59
2	183	27
3	1336	13
done	5000	13
0	14	59
1	45	59
2	210	27
3	1618	13
done	5001	13
0	14	59
1	45	59
2	200	27
3	1478	13
done	5000	13
0	14	59
1	43	59
2	183	15
3	1310	8
done	5000	8
0	9	59
1	29	59
2	126	15
3	693	8
4	2758	6
done	5000	6
0	14	59
1	44	59
2	211	23
3	1714	11
done	5001	11
0	15	59
1	46	59
2	209	23
3	1586	11
done	5000	11
0	15	59
1	46	59
2	196	15
3	1397	8
done	5001	8
0	10	59
1	32	59
2	138	15
3	726	8
4	3037	6
done	5001	6
0	14	59
1	43	59
2	183	15
3	1310	8
done	5000	8
0	9	59
1	29	59
2	126	15
3	693	8
4	2758	6
done	5000	6
0	9	41
1	20	41
2	48	25
3	119	15
4	364	15
5	715	15
6	1567	15
done	5000	15
0	8	20
1	19	20
2	47	12
3	118	7
4	349	7
5	693	7
6	1545	7
done	5000	7
0	9	59
1	29	59
2	133	13
3	615	8
4	2762	6
done	5000	6
0	8	20
1	19	20
2	48	10
3	119	7
4	348	7
5	690	7
6	1541	7
done	5000	7
0	8	20
1	19	20
2	48	10
3	119	7
4	348	7
5	690	7
6	1541	7
done	5000	7
0	4	7
1	7	7
2	9	5
3	18	3
4	33	3
5	59	3
6	130	3
7	344	3
8	1268	3
done	5001	3
0	5	11
1	8	11
2	10	7
3	19	4
4	34	4
5	60	4
6	129	4
7	344	4
8	1249	4
done	5001	4
0	7	10
1	14	10
2	26	10
3	38	8
4	56	6
5	80	6
6	136	6
7	309	6
8	897	6
9	3448	6
done	5000	6
0	4	8
1	5	8
2	7	4
3	12	4
4	18	4
5	28	4
6	49	4
7	108	4
8	316	4
9	1236	4
done	5000	4
0	7	10
1	13	10
2	25	10
3	37	8
4	55	6
5	79	6
6	133	6
7	309	6
8	896	6
9	3437	6
done	5001	6
0	4	8
1	5	8
2	7	4
3	12	4
4	18	4
5	28	4
6	49	4
7	108	4
8	316	4
9	1236	4
done	5000	4
0	7	13
1	16	13
2	33	13
3	67	13
4	120	11
5	142	9
6	182	9
7	297	9
8	705	9
9	2303	9
done	5000	9
0	3	5
done	3	5
0	7	10
1	15	10
2	27	10
3	39	8
4	52	6
5	76	6
6	130	6
7	305	6
8	902	6
9	3432	6
done	5000	6
0	4	8
1	5	8
2	7	4
3	12	4
4	18	4
5	28	4
6	49	4
7	108	4
8	316	4
9	1236	4
done	5000	4
0	7	13
1	15	13
2	40	13
3	76	13
4	120	11
5	139	9
6	177	9
7	292	9
8	694	9
9	2250	9
done	5000	9
0	3	5
done	3	5
0	7	13
1	17	13
2	41	13
3	80	13
4	119	11
5	138	9
6	176	9
7	291	9
8	692	9
9	2262	9
done	5000	9
0	3	5
done	3	5
0	9	26
1	21	26
2	62	18
3	186	18
4	565	18
5	1403	18
6	2491	18
done	5000	18
0	8	20
1	18	20
2	50	12
3	135	12
4	351	12
5	684	12
6	1137	12
7	2659	12
done	5000	12
0	12	28
1	30	28
2	104	20
3	397	20
4	1936	20
done	5000	20
0	11	24
1	25	24
2	76	16
3	267	16
4	1108	16
5	4093	16
done	5000	16
0	11	22
1	27	20
2	82	12
3	309	12
4	1309	12
5	4432	12
done	5000	12
0	11	25
1	25	25
2	77	17
3	269	17
4	1173	17
5	4312	17
done	5000	17
0	10	21
1	22	21
2	64	13
3	202	13
4	739	13
5	2118	13
6	4119	13
done	5001	13
0	10	19
1	24	17
2	66	9
3	208	9
4	824	9
5	2199	9
6	3581	9
done	5001	9
0	11	24
1	27	24
2	78	14
3	327	14
4	1355	14
5	3669	14
done	5000	14
0	10	20
1	24	20
2	66	10
3	246	10
4	859	10
5	1851	10
6	3261	10
done	5001	10
0	9	18
1	23	16
2	62	6
3	197	6
4	622	6
5	1253	6
6	2230	6
7	4789	6
done	5001	6
0	8	16
1	20	14
2	58	6
3	155	6
4	334	6
5	612	6
6	994	6
7	2142	6
done	5001	6
0	7	16
1	16	16
2	41	8
3	100	8
4	224	8
5	382	8
6	713	8
7	2113	8
done	5001	8
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	7	16
1	16	16
2	41	8
3	100	8
4	224	8
5	382	8
6	713	8
7	2113	8
done	5001	8
0	7	10
1	13	10
2	28	8
3	50	6
4	79	6
5	135	6
6	312	6
7	906	6
8	3437	6
done	5000	6
0	7	13
1	16	13
2	39	13
3	75	11
4	131	9
5	173	9
6	288	9
7	681	9
8	2252	9
done	5000	9
0	7	13
1	15	13
2	38	13
3	75	11
4	128	9
5	170	9
6	281	9
7	663	9
8	2182	9
done	5000	9
0	7	16
1	17	16
2	39	16
3	93	8
4	223	8
5	308	8
6	406	8
7	791	8
8	2404	8
done	5001	8
0	7	13
1	17	13
2	39	13
3	81	11
4	130	9
5	174	9
6	289	9
7	690	9
8	2273	9
done	5000	9
0	7	16
1	18	16
2	45	16
3	104	8
4	238	8
5	342	8
6	466	8
7	870	8
8	2560	8
done	5000	8
0	7	16
1	19	16
2	47	16
3	105	8
4	237	8
5	341	8
6	462	8
7	866	8
8	2562	8
done	5000	8
0	36	103
1	106	103
2	419	66
3	2360	54
done	5001	54
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6
0	6	6
1	10	6
2	19	6
3	47	6
4	83	6
5	179	6
6	500	6
7	1780	6
done	5000	6
0	6	6
1	10	6
2	19	6
3	47	6
4	83	6
5	179	6
6	500	6
7	1780	6
done	5000	6
0	6	6
1	10	6
2	19	6
3	47	6
4	83	6
5	179	6
6	500	6
7	1780	6
done	5000	6

prune982.0ms

Filtered

139 candidates to 259 candidates (-86.3%)

Pruning

19 alts after pruning (17 fresh and 2 done)

	Pruned	Kept	Total
New	258	1	259
Fresh	0	16	16
Picked	0	1	1
Done	0	1	1
Total	258	19	277

Merged error: 0.5b

Counts

277 → 19

regimes330.0ms

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	43	109
1	61	109
done	61	109

end0.0ms

sample6.3s

Algorithm

intervals

Results

5.8s

23780×

body

valid

Details

sample1.0s

simplify1.1s

prune17.0ms

localize37.0ms

rewrite52.0ms

series45.0ms

simplify3.1min

prune1.2s

localize39.0ms

rewrite66.0ms

series38.0ms

simplify8.7min

prune1.4s

localize46.0ms

rewrite8.0ms

series76.0ms

simplify40.4s

prune263.0ms

localize44.0ms

rewrite71.0ms

series38.0ms

simplify8.7min

prune982.0ms

regimes330.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample6.3s

Profiling