Details

sample371.0ms

Algorithm

intervals

Results

85.0ms	116×	body	1280	valid
75.0ms	480×	body	80	overflowed
55.0ms	82×	body	1280	nan
41.0ms	75×	body	640	valid
39.0ms	79×	body	640	nan
15.0ms	37×	body	320	valid
13.0ms	36×	body	320	nan
6.0ms	24×	body	160	nan
6.0ms	22×	body	160	valid
3.0ms	27×	body	80	nan
1.0ms	6×	body	80	valid

simplify1.5s

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	16	37
1	42	37
2	96	37
3	217	37
4	512	37
5	1002	37
6	2224	37
done	5000	37

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 60.8b

Counts

2 → 1

localize26.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (/ PI 4.0) f)
0.2b	(* (/ PI 4.0) f)
1.5b	(/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))
6.0b	(- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

55×	`*-un-lft-identity`
53×	`add-sqr-sqrt`
40×	`times-frac`
31×	`add-cube-cbrt`
26×	`associate-l`
16×	`add-exp-log` `add-cbrt-cube`
8×	`pow1`
6×	`associate-r` `distribute-lft-out` `distribute-lft-out--` `add-log-exp` `difference-of-squares`
5×	`associate-/r*`
4×	`prod-exp` `cbrt-unprod` `associate-/l*` `unswap-sqr`
3×	`cbrt-undiv` `div-exp` `div-inv`
2×	`flip3--` `pow-prod-down` `associate-l/` `associate-/r/` `-commutative` `flip--` `associate-/l/`
1×	`sub-neg` `frac-2neg` `flip3-+` `diff-log` `clear-num` `flip-+`

Counts

4 → 123

Calls

4 calls:

7.0ms	(* (/ PI 4.0) f)
7.0ms	(* (/ PI 4.0) f)
12.0ms	(/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))
9.0ms	(- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))

series63.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (/ PI 4.0) f)
4.0ms	(* (/ PI 4.0) f)
27.0ms	(/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))
22.0ms	(- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))

simplify3.3min

Counts

135 → 135

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	16
1	24	15
2	48	15
3	85	15
4	173	15
5	430	15
6	1231	15
7	4719	15
done	5000	15
0	10	15
1	23	15
2	49	15
3	80	15
4	157	15
5	374	15
6	964	15
7	3067	15
done	5000	15
0	10	15
1	26	15
2	54	15
3	89	15
4	181	15
5	448	15
6	1321	15
done	5000	15
0	11	31
1	24	31
2	50	31
3	81	31
4	158	31
5	363	31
6	927	31
7	2967	31
done	5000	31
0	10	15
1	23	15
2	49	15
3	80	15
4	157	15
5	362	15
6	924	15
7	2958	15
done	5000	15
0	11	44
1	25	44
2	65	16
3	156	16
4	563	16
5	4089	16
done	5001	16
0	10	15
1	23	15
2	49	15
3	80	15
4	157	15
5	362	15
6	924	15
7	2958	15
done	5000	15
0	10	15
1	23	15
2	49	15
3	80	15
4	157	15
5	362	15
6	924	15
7	2958	15
done	5000	15
0	12	18
1	38	18
2	97	18
3	249	18
4	901	18
done	5000	18
0	13	44
1	37	35
2	99	20
3	213	19
4	610	19
5	2691	19
done	5000	19
0	8	8
1	18	8
2	41	8
3	67	8
4	113	8
5	239	8
6	562	8
7	1476	8
8	4826	8
done	5000	8
0	11	29
1	31	27
2	80	18
3	198	17
4	604	17
5	3192	17
done	5000	17
0	9	14
1	21	14
2	43	14
3	72	14
4	123	14
5	245	14
6	560	14
7	1530	14
done	5001	14
0	11	16
1	23	16
2	45	16
3	75	16
4	129	16
5	253	16
6	567	16
7	1531	16
done	5000	16
0	11	16
1	24	16
2	47	16
3	77	16
4	131	16
5	255	16
6	568	16
7	1523	16
done	5001	16
0	9	14
1	22	14
2	48	14
3	79	14
4	156	14
5	361	14
6	925	14
7	2964	14
done	5000	14
0	8	8
1	18	8
2	41	8
3	67	8
4	113	8
5	239	8
6	562	8
7	1476	8
8	4826	8
done	5000	8
0	13	31
1	29	31
2	56	31
3	87	31
4	164	31
5	379	31
6	994	31
7	3175	31
done	5000	31
0	12	30
1	29	30
2	57	30
3	89	30
4	166	30
5	389	30
6	1040	30
7	3314	30
done	5001	30
0	12	30
1	26	30
2	52	30
3	83	30
4	160	30
5	373	30
6	967	30
7	3071	30
done	5000	30
0	15	89
1	50	89
2	158	33
3	481	31
4	2928	23
done	5000	23
0	13	61
1	27	61
2	53	61
3	84	61
4	161	61
5	372	61
6	960	61
7	3064	61
done	5000	61
0	12	30
1	26	30
2	52	30
3	83	30
4	160	30
5	373	30
6	967	30
7	3071	30
done	5000	30
0	13	89
1	34	89
2	92	31
3	218	31
4	689	31
done	5001	31
0	12	30
1	26	30
2	52	30
3	83	30
4	160	30
5	373	30
6	967	30
7	3071	30
done	5000	30
0	12	30
1	26	30
2	52	30
3	83	30
4	160	30
5	373	30
6	967	30
7	3071	30
done	5000	30
0	10	15
1	25	15
2	52	15
3	87	15
4	162	15
5	356	15
6	898	15
7	2612	15
done	5000	15
0	10	15
1	23	15
2	52	15
3	90	15
4	180	14
5	470	14
6	1345	14
7	4829	14
done	5000	14
0	15	63
1	35	63
2	70	63
3	107	63
4	184	63
5	389	63
6	958	63
7	2978	63
done	5000	63
0	13	31
1	27	31
2	53	31
3	84	31
4	161	31
5	364	31
6	926	31
7	2965	31
done	5000	31
0	14	47
1	30	47
2	58	47
3	90	47
4	167	47
5	372	47
6	940	47
7	2984	47
done	5001	47
0	13	31
1	27	31
2	53	31
3	84	31
4	161	31
5	364	31
6	926	31
7	2965	31
done	5000	31
0	13	33
1	28	31
2	54	31
3	88	31
4	139	31
5	263	31
6	578	31
7	1532	31
done	5001	31
0	12	30
1	26	30
2	52	30
3	83	30
4	160	30
5	373	30
6	967	30
7	3071	30
done	5000	30
0	15	48
1	30	48
2	54	48
3	85	48
4	139	48
5	265	48
6	580	48
7	1556	48
done	5000	48
0	14	32
1	28	32
2	51	32
3	81	32
4	135	32
5	261	32
6	577	32
7	1539	32
done	5000	32
0	13	33
1	28	31
2	54	31
3	88	31
4	139	31
5	263	31
6	578	31
7	1532	31
done	5001	31
0	12	30
1	26	30
2	52	30
3	83	30
4	160	30
5	373	30
6	967	30
7	3071	30
done	5000	30
0	14	47
1	30	47
2	56	47
3	87	47
4	164	47
5	367	47
6	934	47
7	2976	47
done	5000	47
0	13	31
1	27	31
2	53	31
3	84	31
4	161	31
5	364	31
6	926	31
7	2965	31
done	5000	31
0	13	31
1	27	31
2	53	31
3	84	31
4	161	31
5	364	31
6	926	31
7	2965	31
done	5000	31
0	13	31
1	27	31
2	53	31
3	84	31
4	161	31
5	364	31
6	926	31
7	2965	31
done	5000	31
0	12	17
1	25	15
2	47	15
3	76	15
4	127	15
5	249	15
6	560	15
7	1511	15
done	5000	15
0	12	30
1	26	30
2	52	30
3	83	30
4	160	30
5	373	30
6	967	30
7	3071	30
done	5000	30
0	14	32
1	27	32
2	49	32
3	79	32
4	133	32
5	257	32
6	572	32
7	1536	32
done	5000	32
0	14	32
1	28	32
2	51	32
3	81	32
4	135	32
5	261	32
6	577	32
7	1539	32
done	5000	32
0	12	17
1	25	15
2	47	15
3	76	15
4	127	15
5	249	15
6	560	15
7	1511	15
done	5000	15
0	12	30
1	26	30
2	52	30
3	83	30
4	160	30
5	373	30
6	967	30
7	3071	30
done	5000	30
0	13	33
1	29	33
2	53	33
3	84	33
4	161	33
5	364	33
6	926	33
7	2968	33
done	5000	33
0	12	30
1	26	30
2	52	30
3	83	30
4	160	30
5	365	30
6	929	30
7	2972	30
done	5000	30
0	12	17
1	26	17
2	50	17
3	81	17
4	158	17
5	363	17
6	925	17
7	2958	17
done	5000	17
0	12	30
1	26	30
2	52	30
3	83	30
4	160	30
5	365	30
6	929	30
7	2972	30
done	5000	30
0	2	3
1	4	1
done	4	1
0	11	29
1	25	29
2	51	29
3	82	29
4	159	29
5	372	29
6	961	29
7	3063	29
done	5000	29
0	13	18
1	26	18
2	46	18
3	76	18
4	130	18
5	256	18
6	570	18
7	1527	18
done	5001	18
0	13	31
1	27	31
2	50	31
3	80	31
4	134	31
5	260	31
6	574	31
7	1537	31
done	5000	31
0	2	3
1	4	1
done	4	1
0	11	29
1	25	29
2	51	29
3	82	29
4	159	29
5	372	29
6	961	29
7	3063	29
done	5000	29
0	13	33
1	29	33
2	53	33
3	84	33
4	161	33
5	364	33
6	926	33
7	2968	33
done	5000	33
0	12	30
1	26	30
2	52	30
3	83	30
4	160	30
5	365	30
6	929	30
7	2972	30
done	5000	30
0	12	17
1	26	17
2	50	17
3	81	17
4	158	17
5	363	17
6	925	17
7	2958	17
done	5000	17
0	12	30
1	26	30
2	52	30
3	83	30
4	160	30
5	365	30
6	929	30
7	2972	30
done	5000	30
0	2	3
1	4	1
done	4	1
0	11	29
1	25	29
2	51	29
3	82	29
4	159	29
5	372	29
6	961	29
7	3063	29
done	5000	29
0	13	18
1	26	18
2	46	18
3	76	18
4	130	18
5	256	18
6	570	18
7	1527	18
done	5001	18
0	13	31
1	27	31
2	50	31
3	80	31
4	134	31
5	260	31
6	574	31
7	1537	31
done	5000	31
0	2	3
1	4	1
done	4	1
0	11	29
1	25	29
2	51	29
3	82	29
4	159	29
5	372	29
6	961	29
7	3063	29
done	5000	29
0	11	16
1	25	16
2	49	16
3	80	16
4	157	16
5	370	16
6	957	16
7	3058	16
done	5001	16
0	11	29
1	28	29
2	58	29
3	99	29
4	219	29
5	694	29
6	2622	29
done	5000	29
0	13	46
1	29	46
2	55	46
3	86	46
4	163	46
5	366	46
6	930	46
7	2970	46
done	5000	46
0	12	30
1	26	30
2	52	30
3	83	30
4	160	30
5	365	30
6	929	30
7	2972	30
done	5000	30
0	11	16
1	24	14
2	46	14
3	75	14
4	126	14
5	248	14
6	563	14
7	1522	14
done	5000	14
0	13	31
1	26	31
2	48	31
3	78	31
4	132	31
5	256	31
6	567	31
7	1525	31
done	5000	31
0	11	16
1	24	14
2	46	14
3	75	14
4	126	14
5	248	14
6	563	14
7	1522	14
done	5000	14
0	12	30
1	29	30
2	59	30
3	100	30
4	213	30
5	563	30
6	1633	30
done	5001	30
0	12	30
1	29	30
2	59	30
3	100	30
4	213	30
5	563	30
6	1633	30
done	5001	30
0	11	29
1	28	29
2	58	29
3	99	29
4	219	29
5	694	29
6	2622	29
done	5000	29
0	11	29
1	28	29
2	58	29
3	99	29
4	219	29
5	694	29
6	2622	29
done	5000	29
0	14	33
1	41	33
2	100	33
3	254	33
4	917	33
done	5000	33
0	13	44
1	33	42
2	83	33
3	203	16
4	611	16
5	3318	16
done	5000	16
0	15	59
1	49	50
2	154	35
3	453	34
4	2209	34
done	5001	34
0	10	29
1	23	29
2	55	29
3	111	29
4	320	29
5	1792	20
done	5000	20
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	72	8
8	91	8
9	99	8
done	99	8
0	7	7
1	11	7
2	17	7
3	26	7
4	36	7
5	45	7
6	50	7
7	59	7
8	76	7
9	95	7
10	103	7
done	103	7
0	6	6
1	12	6
2	21	6
3	33	6
4	51	6
5	64	6
6	76	6
7	88	6
8	111	6
9	123	6
10	139	6
11	141	6
done	141	6
0	6	6
1	11	6
2	20	6
3	30	6
4	57	6
5	123	6
6	292	6
7	829	6
8	3101	6
done	5001	6
0	11	17
1	26	17
2	103	11
3	453	9
4	1796	9
done	5000	9
0	9	17
1	22	17
2	71	9
3	229	9
4	802	7
5	2670	7
done	5001	7
0	7	13
1	10	13
2	13	13
3	15	13
4	17	13
5	18	13
done	18	13
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	7	17
1	20	17
2	74	7
3	291	7
4	843	7
5	2332	7
6	4989	7
done	5000	7
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	7	9
1	12	9
2	20	9
3	28	9
4	37	9
5	43	9
6	48	9
done	48	9
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
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	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	5	5
1	10	5
2	13	3
done	13	3
0	3	3
1	4	3
done	4	3
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	72	8
8	91	8
9	99	8
done	99	8
0	7	7
1	11	7
2	17	7
3	26	7
4	36	7
5	45	7
6	50	7
7	59	7
8	76	7
9	95	7
10	103	7
done	103	7
0	6	6
1	12	6
2	21	6
3	33	6
4	51	6
5	64	6
6	76	6
7	88	6
8	111	6
9	123	6
10	139	6
11	141	6
done	141	6
0	6	6
1	11	6
2	20	6
3	30	6
4	57	6
5	123	6
6	292	6
7	829	6
8	3101	6
done	5001	6
0	11	17
1	26	17
2	103	11
3	453	9
4	1796	9
done	5000	9
0	9	17
1	22	17
2	71	9
3	229	9
4	802	7
5	2670	7
done	5001	7
0	7	13
1	10	13
2	13	13
3	15	13
4	17	13
5	18	13
done	18	13
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	7	17
1	20	17
2	74	7
3	291	7
4	843	7
5	2332	7
6	4989	7
done	5000	7
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	7	9
1	12	9
2	20	9
3	28	9
4	37	9
5	43	9
6	48	9
done	48	9
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
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	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	5	5
1	10	5
2	13	3
done	13	3
0	3	3
1	4	3
done	4	3
0	19	25
1	54	25
2	152	25
3	477	25
4	1741	25
done	5000	25
0	9	14
1	23	14
2	61	14
3	122	14
4	269	14
5	751	14
6	2108	14
done	5001	14
0	10	13
1	23	13
2	49	13
3	96	13
4	227	13
5	640	13
6	1829	13
done	5000	13
0	18	23
1	50	23
2	143	21
3	532	21
4	2573	21
done	5001	21
0	11	29
1	26	29
2	64	29
3	125	29
4	271	29
5	765	29
6	2216	29
done	5000	29
0	12	27
1	26	27
2	52	27
3	99	27
4	232	27
5	663	27
6	1952	27
done	5000	27
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5

prune497.0ms

Filtered

107 candidates to 135 candidates (-26.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	134	1	135
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	134	2	136

Merged error: 2.1b

Counts

136 → 2

localize35.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (/ 1.0 (/ PI 4.0)) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (+ (* 0.5 (* f PI)) (+ (* 0.005208333333333333 (* (pow f 3) (pow PI 3))) (* 1.6276041666666666e-05 (* (pow f 5) (pow PI 5))))))))
1.0b	(pow PI 5)
1.0b	(pow PI 3)
1.5b	(log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (+ (* 0.5 (* f PI)) (+ (* 0.005208333333333333 (* (pow f 3) (pow PI 3))) (* 1.6276041666666666e-05 (* (pow f 5) (pow PI 5)))))))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

105×	`times-frac`
87×	`*-un-lft-identity`
78×	`add-sqr-sqrt`
69×	`add-cube-cbrt`
54×	`log-prod`
44×	`associate-l`
18×	`add-exp-log` `distribute-rgt-in` `distribute-lft-in`
14×	`add-cbrt-cube`
10×	`pow1`
9×	`distribute-lft-out`
7×	`associate-/r/` `div-inv`
6×	`unpow-prod-down` `pow-unpow`
4×	`div-exp` `associate-r` `add-log-exp`
3×	`cbrt-undiv` `flip3-+` `cube-prod` `prod-exp` `cbrt-unprod` `flip-+` `unswap-sqr`
2×	`pow-to-exp` `pow-pow` `rem-log-exp` `pow-exp` `log-pow` `sqr-pow`
1×	`cube-mult` `log-div` `unpow3` `pow-prod-down` `associate-l/` `-commutative` `rem-cube-cbrt`

Counts

4 → 172

Calls

4 calls:

28.0ms	(* (/ 1.0 (/ PI 4.0)) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (+ (* 0.5 (* f PI)) (+ (* 0.005208333333333333 (* (pow f 3) (pow PI 3))) (* 1.6276041666666666e-05 (* (pow f 5) (pow PI 5))))))))
3.0ms	(pow PI 5)
3.0ms	(pow PI 3)
16.0ms	(log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (+ (* 0.5 (* f PI)) (+ (* 0.005208333333333333 (* (pow f 3) (pow PI 3))) (* 1.6276041666666666e-05 (* (pow f 5) (pow PI 5)))))))

series156.0ms

Counts

4 → 8

Calls

4 calls:

89.0ms	(* (/ 1.0 (/ PI 4.0)) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (+ (* 0.5 (* f PI)) (+ (* 0.005208333333333333 (* (pow f 3) (pow PI 3))) (* 1.6276041666666666e-05 (* (pow f 5) (pow PI 5))))))))
0.0ms	(pow PI 5)
0.0ms	(pow PI 3)
67.0ms	(log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (+ (* 0.5 (* f PI)) (+ (* 0.005208333333333333 (* (pow f 3) (pow PI 3))) (* 1.6276041666666666e-05 (* (pow f 5) (pow PI 5)))))))

simplify7.5min

Counts

180 → 180

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	30	84
1	78	84
2	199	44
3	551	44
4	1897	44
done	5001	44
0	29	42
1	75	42
2	195	42
3	549	42
4	1902	42
done	5000	42
0	29	42
1	75	42
2	195	42
3	549	42
4	1902	42
done	5000	42
0	29	42
1	75	42
2	195	42
3	549	42
4	1902	42
done	5000	42
0	32	86
1	87	86
2	228	86
3	607	45
4	2020	45
done	5000	45
0	30	43
1	79	43
2	201	43
3	554	43
4	1904	43
done	5000	43
0	31	59
1	82	59
2	210	59
3	575	46
4	1927	46
done	5000	46
0	30	43
1	79	43
2	201	43
3	554	43
4	1904	43
done	5000	43
0	14	34
1	31	32
2	65	32
3	116	18
4	185	18
5	320	18
6	656	18
7	1627	18
done	5000	18
0	29	42
1	78	42
2	200	42
3	547	42
4	1920	42
done	5000	42
0	31	70
1	82	70
2	208	70
3	563	46
4	1922	46
done	5001	46
0	30	43
1	79	43
2	201	43
3	554	43
4	1904	43
done	5000	43
0	30	43
1	79	43
2	201	43
3	554	43
4	1904	43
done	5000	43
0	30	43
1	79	43
2	201	43
3	554	43
4	1904	43
done	5000	43
0	13	18
1	28	16
2	54	16
3	87	16
4	138	16
5	262	16
6	582	16
7	1541	16
done	5001	16
0	29	42
1	78	42
2	200	42
3	547	42
4	1920	42
done	5000	42
0	24	56
1	67	55
2	170	55
3	487	30
4	1758	29
done	5000	29
0	29	42
1	78	42
2	200	42
3	553	42
4	1895	42
done	5000	42
0	23	29
1	64	28
2	163	28
3	480	28
4	1744	28
done	5000	28
0	29	42
1	78	42
2	200	42
3	553	42
4	1895	42
done	5000	42
0	3	4
1	7	1
done	7	1
0	28	41
1	77	41
2	199	41
3	552	41
4	1886	41
done	5000	41
0	24	56
1	67	55
2	170	55
3	487	30
4	1758	29
done	5000	29
0	29	42
1	78	42
2	200	42
3	553	42
4	1895	42
done	5000	42
0	23	29
1	64	28
2	163	28
3	480	28
4	1744	28
done	5000	28
0	29	42
1	78	42
2	200	42
3	553	42
4	1895	42
done	5000	42
0	3	4
1	7	1
done	7	1
0	28	41
1	77	41
2	199	41
3	552	41
4	1886	41
done	5000	41
0	2	2
1	4	1
done	4	1
0	28	41
1	77	41
2	199	41
3	552	41
4	1886	41
done	5000	41
0	10	15
1	22	15
2	44	15
3	73	15
4	124	15
5	246	15
6	561	15
7	1529	15
done	5000	15
0	22	28
1	63	27
2	162	27
3	477	27
4	1747	27
done	5001	27
0	30	45
1	90	45
2	269	43
3	1127	43
done	5001	43
0	24	78
1	85	58
2	353	58
3	2131	58
done	5000	58
0	30	67
1	94	67
2	309	67
3	1360	67
done	5001	67
0	20	26
1	56	26
2	157	26
3	542	26
4	2443	26
done	5000	26
0	10	15
1	22	15
2	44	15
3	73	15
4	124	15
5	246	15
6	561	15
7	1529	15
done	5000	15
0	20	26
1	55	26
2	153	26
3	481	26
4	1743	26
done	5000	26
0	28	41
1	77	41
2	199	41
3	552	41
4	1886	41
done	5000	41
0	29	42
1	78	42
2	200	42
3	553	42
4	1895	42
done	5000	42
0	29	42
1	78	40
2	203	40
3	558	40
4	1918	40
done	5000	40
0	30	85
1	79	85
2	201	85
3	551	85
4	1893	85
done	5000	85
0	29	42
1	78	42
2	200	42
3	553	42
4	1895	42
done	5000	42
0	30	125
1	80	125
2	203	43
3	573	43
4	1954	43
done	5000	43
0	29	42
1	78	42
2	200	42
3	553	42
4	1895	42
done	5000	42
0	29	42
1	78	42
2	200	42
3	553	42
4	1895	42
done	5000	42
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	5	7
1	9	7
2	16	7
3	40	7
4	96	7
5	253	7
6	866	7
7	3259	7
done	5000	7
0	4	4
1	8	4
2	13	4
3	31	4
4	70	4
5	174	4
6	553	4
7	2172	4
done	5001	4
0	3	3
1	10	1
2	17	1
3	28	1
4	52	1
5	118	1
6	341	1
7	1262	1
done	5000	1
0	5	7
1	15	7
2	36	3
3	65	3
4	140	3
5	376	3
6	1228	3
done	5001	3
0	4	4
1	12	1
2	18	1
3	28	1
4	49	1
5	111	1
6	325	1
7	1243	1
done	5000	1
0	4	4
1	12	4
2	18	4
3	29	4
4	50	4
5	110	4
6	317	4
7	1250	4
done	5000	4
0	4	4
1	12	4
2	18	4
3	29	4
4	50	4
5	110	4
6	317	4
7	1250	4
done	5000	4
0	3	3
1	13	1
done	13	1
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	2	3
done	2	3
0	4	4
1	14	4
2	26	4
3	41	4
4	83	4
5	198	4
6	561	4
7	2142	4
done	5000	4
0	4	4
1	12	4
2	24	4
3	46	4
4	98	4
5	261	4
6	810	4
7	3373	4
done	5001	4
0	5	9
1	12	3
2	18	3
3	28	3
4	51	3
5	116	3
6	327	3
7	1257	3
done	5001	3
0	4	4
1	12	1
2	18	1
3	28	1
4	51	1
5	114	1
6	328	1
7	1249	1
done	5000	1
0	5	11
1	17	7
2	56	5
3	170	5
4	512	5
5	1988	3
done	5001	3
0	5	7
1	15	7
2	36	3
3	65	3
4	140	3
5	376	3
6	1228	3
done	5001	3
0	4	4
1	12	1
2	18	1
3	28	1
4	49	1
5	111	1
6	325	1
7	1243	1
done	5000	1
0	4	4
1	12	4
2	18	4
3	29	4
4	50	4
5	110	4
6	317	4
7	1250	4
done	5000	4
0	4	4
1	12	4
2	18	4
3	29	4
4	50	4
5	110	4
6	317	4
7	1250	4
done	5000	4
0	3	3
1	13	1
done	13	1
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	2	3
done	2	3
0	4	4
1	12	4
2	19	4
3	29	4
4	52	4
5	113	4
6	323	4
7	1262	4
done	5000	4
0	4	4
1	12	4
2	19	4
3	29	4
4	52	4
5	113	4
6	323	4
7	1262	4
done	5000	4
0	5	5
1	10	3
2	16	3
3	26	3
4	47	3
5	107	3
6	316	3
7	1234	3
done	5001	3
0	5	5
1	10	3
2	16	3
3	26	3
4	47	3
5	107	3
6	316	3
7	1234	3
done	5001	3
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	5	7
1	9	7
2	16	7
3	40	7
4	97	7
5	254	7
6	865	7
7	3278	7
done	5000	7
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	2152	4
done	5000	4
0	3	3
1	10	1
2	17	1
3	28	1
4	52	1
5	118	1
6	341	1
7	1262	1
done	5000	1
0	5	7
1	10	7
2	16	7
3	26	7
4	48	7
5	111	7
6	325	7
7	1252	7
done	5000	7
0	4	4
1	9	4
2	15	4
3	25	4
4	47	4
5	112	4
6	325	4
7	1259	4
done	5000	4
0	4	4
1	9	4
2	15	4
3	25	4
4	47	4
5	112	4
6	325	4
7	1259	4
done	5000	4
0	4	4
1	9	4
2	15	4
3	25	4
4	47	4
5	112	4
6	325	4
7	1259	4
done	5000	4
0	3	3
1	10	1
done	10	1
0	3	3
1	8	3
2	14	3
3	24	3
4	48	3
5	115	3
6	340	3
7	1266	3
done	5001	3
0	4	4
1	11	4
2	20	4
3	34	4
4	77	4
5	200	4
6	578	4
7	2094	4
done	5000	4
0	4	4
1	9	4
2	17	4
3	32	4
4	71	4
5	195	4
6	655	4
7	3024	4
done	5001	4
0	5	9
1	10	9
2	16	9
3	26	9
4	50	9
5	113	9
6	332	9
7	1248	9
done	5000	9
0	4	4
1	9	4
2	15	4
3	25	4
4	49	4
5	112	4
6	329	4
7	1255	4
done	5000	4
0	5	11
1	14	7
2	35	5
3	75	5
4	195	5
5	664	5
6	3223	5
done	5000	5
0	4	4
1	9	4
2	16	4
3	26	4
4	50	4
5	115	4
6	335	4
7	1246	4
done	5000	4
0	4	4
1	9	4
2	16	4
3	26	4
4	50	4
5	115	4
6	335	4
7	1246	4
done	5000	4
0	5	5
1	10	3
2	16	3
3	26	3
4	48	3
5	110	3
6	326	3
7	1247	3
done	5000	3
0	5	5
1	10	3
2	16	3
3	26	3
4	48	3
5	110	3
6	326	3
7	1247	3
done	5000	3
0	31	47
1	85	47
2	219	47
3	610	47
4	2027	47
done	5000	47
0	36	51
1	94	51
2	240	51
3	642	51
4	2064	51
done	5000	51
0	34	50
1	91	50
2	229	50
3	615	50
4	2018	50
done	5000	50
0	33	49
1	88	49
2	224	49
3	600	49
4	1983	49
done	5000	49
0	32	48
1	89	48
2	232	48
3	659	48
4	2067	48
done	5000	48
0	32	48
1	88	48
2	230	46
3	647	46
4	2127	46
done	5000	46
0	40	143
1	105	141
2	361	55
3	1870	53
done	5000	53
0	37	143
1	107	143
2	331	53
3	1356	51
done	5001	51
0	35	143
1	99	143
2	293	51
3	1091	51
done	5000	51
0	33	97
1	87	97
2	221	97
3	616	97
4	2044	97
done	5001	97
0	32	48
1	86	48
2	220	48
3	611	48
4	2027	48
done	5000	48
0	33	143
1	97	143
2	294	49
3	1184	49
done	5000	49
0	32	48
1	86	48
2	220	48
3	611	48
4	2027	48
done	5000	48
0	32	48
1	86	48
2	220	48
3	611	48
4	2027	48
done	5000	48
0	33	49
1	85	49
2	210	49
3	556	49
4	1918	49
done	5000	49
0	33	49
1	85	49
2	210	49
3	556	49
4	1918	49
done	5000	49
0	34	50
1	86	50
2	211	50
3	560	50
4	1871	50
done	5000	50
0	34	50
1	86	50
2	211	50
3	560	50
4	1871	50
done	5000	50
0	36	51
1	90	51
2	224	51
3	594	51
4	1942	51
done	5001	51
0	36	51
1	90	51
2	224	51
3	594	51
4	1942	51
done	5001	51
0	33	90
1	86	90
2	227	50
3	628	50
4	2070	50
done	5001	50
0	32	48
1	83	48
2	215	48
3	590	48
4	1954	48
done	5000	48
0	32	48
1	83	48
2	215	48
3	590	48
4	1954	48
done	5000	48
0	32	48
1	83	48
2	215	48
3	590	48
4	1954	48
done	5000	48
0	35	92
1	95	92
2	248	92
3	680	51
4	2271	51
done	5000	51
0	33	49
1	87	49
2	221	49
3	613	49
4	2005	49
done	5000	49
0	34	65
1	90	65
2	230	65
3	630	52
4	2130	52
done	5000	52
0	33	49
1	87	49
2	221	49
3	613	49
4	2005	49
done	5000	49
0	17	40
1	39	38
2	85	38
3	181	24
4	398	24
5	780	24
6	1454	24
7	3301	24
done	5001	24
0	32	48
1	86	48
2	220	48
3	614	48
4	2029	48
done	5000	48
0	34	76
1	90	76
2	228	76
3	625	52
4	2057	52
done	5000	52
0	33	49
1	87	49
2	221	49
3	613	49
4	2005	49
done	5000	49
0	33	49
1	87	49
2	221	49
3	613	49
4	2005	49
done	5000	49
0	33	49
1	87	49
2	221	49
3	613	49
4	2005	49
done	5000	49
0	16	24
1	36	22
2	74	22
3	140	22
4	238	22
5	389	22
6	717	22
7	1683	22
done	5000	22
0	32	48
1	86	48
2	220	48
3	614	48
4	2029	48
done	5000	48
0	29	62
1	77	61
2	198	61
3	589	36
4	2049	35
done	5000	35
0	32	48
1	86	48
2	220	48
3	611	48
4	2027	48
done	5000	48
0	28	35
1	74	34
2	191	34
3	563	34
4	1926	34
done	5001	34
0	32	48
1	86	48
2	220	48
3	611	48
4	2027	48
done	5000	48
0	9	10
1	18	7
2	30	1
3	34	1
4	36	1
5	38	1
6	39	1
done	39	1
0	31	47
1	85	47
2	219	47
3	610	47
4	2027	47
done	5000	47
0	29	62
1	77	61
2	198	61
3	589	36
4	2049	35
done	5000	35
0	32	48
1	86	48
2	220	48
3	611	48
4	2027	48
done	5000	48
0	28	35
1	74	34
2	191	34
3	563	34
4	1926	34
done	5001	34
0	32	48
1	86	48
2	220	48
3	611	48
4	2027	48
done	5000	48
0	9	10
1	18	7
2	30	1
3	34	1
4	36	1
5	38	1
6	39	1
done	39	1
0	31	47
1	85	47
2	219	47
3	610	47
4	2027	47
done	5000	47
0	8	8
1	15	7
2	27	1
3	31	1
4	33	1
5	35	1
6	36	1
done	36	1
0	31	47
1	85	47
2	219	47
3	610	47
4	2027	47
done	5000	47
0	13	21
1	30	21
2	64	21
3	114	21
4	176	21
5	315	21
6	638	21
7	1613	21
done	5000	21
0	27	34
1	73	33
2	190	33
3	567	33
4	1929	33
done	5001	33
0	33	51
1	98	51
2	289	49
3	1196	49
done	5000	49
0	29	84
1	95	64
2	375	64
3	2164	64
done	5001	64
0	33	73
1	102	73
2	329	73
3	1397	73
done	5000	73
0	25	32
1	66	32
2	179	32
3	575	32
4	2498	32
done	5000	32
0	33	90
1	86	90
2	223	50
3	623	50
4	2066	50
done	5001	50
0	32	48
1	83	48
2	215	48
3	586	48
4	1928	48
done	5000	48
0	32	48
1	83	48
2	215	48
3	586	48
4	1928	48
done	5000	48
0	32	48
1	83	48
2	215	48
3	586	48
4	1928	48
done	5000	48
0	35	92
1	95	92
2	248	92
3	703	51
4	2337	51
done	5000	51
0	33	49
1	87	49
2	221	49
3	610	49
4	2034	49
done	5000	49
0	34	65
1	90	65
2	230	65
3	655	52
4	2153	52
done	5000	52
0	33	49
1	87	49
2	221	49
3	610	49
4	2034	49
done	5000	49
0	17	40
1	39	38
2	85	38
3	188	24
4	433	24
5	833	24
6	1544	24
7	3464	24
done	5000	24
0	32	48
1	86	48
2	220	48
3	608	48
4	2053	48
done	5000	48
0	34	76
1	90	76
2	228	76
3	628	52
4	2126	52
done	5000	52
0	33	49
1	87	49
2	221	49
3	610	49
4	2034	49
done	5000	49
0	33	49
1	87	49
2	221	49
3	610	49
4	2034	49
done	5000	49
0	33	49
1	87	49
2	221	49
3	610	49
4	2034	49
done	5000	49
0	16	24
1	36	22
2	74	22
3	144	22
4	254	22
5	396	22
6	720	22
7	1689	22
done	5000	22
0	32	48
1	86	48
2	220	48
3	608	48
4	2053	48
done	5000	48
0	29	62
1	77	61
2	198	61
3	587	36
4	2064	35
done	5000	35
0	32	48
1	86	48
2	220	48
3	606	48
4	2037	48
done	5001	48
0	28	35
1	74	34
2	191	34
3	568	34
4	1923	34
done	5000	34
0	32	48
1	86	48
2	220	48
3	606	48
4	2037	48
done	5001	48
0	9	10
1	18	7
2	30	1
3	34	1
4	37	1
5	39	1
6	40	1
done	40	1
0	31	47
1	85	47
2	219	47
3	607	47
4	2022	47
done	5000	47
0	29	62
1	77	61
2	198	61
3	587	36
4	2064	35
done	5000	35
0	32	48
1	86	48
2	220	48
3	606	48
4	2037	48
done	5001	48
0	28	35
1	74	34
2	191	34
3	568	34
4	1923	34
done	5000	34
0	32	48
1	86	48
2	220	48
3	606	48
4	2037	48
done	5001	48
0	9	10
1	18	7
2	30	1
3	34	1
4	37	1
5	39	1
6	40	1
done	40	1
0	31	47
1	85	47
2	219	47
3	607	47
4	2022	47
done	5000	47
0	8	8
1	15	7
2	27	1
3	31	1
4	34	1
5	36	1
6	37	1
done	37	1
0	31	47
1	85	47
2	219	47
3	607	47
4	2022	47
done	5000	47
0	13	21
1	30	21
2	64	21
3	116	21
4	179	21
5	317	21
6	637	21
7	1613	21
done	5000	21
0	27	34
1	73	33
2	190	33
3	563	33
4	1922	33
done	5000	33
0	33	51
1	98	51
2	289	49
3	1195	49
done	5001	49
0	29	84
1	95	64
2	375	64
3	2164	64
done	5000	64
0	33	73
1	102	73
2	329	73
3	1408	73
done	5001	73
0	25	32
1	66	32
2	179	32
3	590	32
4	2521	32
done	5000	32
0	7	7
1	14	5
2	33	5
3	47	5
4	57	5
5	72	5
6	88	5
7	95	5
done	95	5
0	33	91
1	89	91
2	230	91
3	628	91
4	2022	91
done	5000	91
0	32	48
1	86	48
2	220	48
3	593	48
4	1952	48
done	5000	48
0	7	7
1	14	5
2	33	5
3	47	5
4	57	5
5	72	5
6	88	5
7	95	5
done	95	5
0	32	48
1	84	48
2	209	48
3	563	48
4	1906	48
done	5000	48
0	32	48
1	84	48
2	209	48
3	563	48
4	1906	48
done	5000	48
0	33	49
1	85	49
2	210	49
3	570	49
4	1949	49
done	5000	49
0	33	49
1	85	49
2	210	49
3	570	49
4	1949	49
done	5000	49
0	35	50
1	89	50
2	223	50
3	613	50
4	2021	50
done	5001	50
0	35	50
1	89	50
2	223	50
3	613	50
4	2021	50
done	5001	50
0	34	49
1	88	49
2	222	49
3	608	49
4	1997	49
done	5000	49
0	35	50
1	89	50
2	223	50
3	613	50
4	2021	50
done	5001	50
0	35	50
1	89	50
2	223	50
3	613	50
4	2021	50
done	5001	50
0	34	49
1	88	49
2	222	49
3	608	49
4	1997	49
done	5000	49
0	34	49
1	88	49
2	222	49
3	608	49
4	1997	49
done	5000	49
0	34	49
1	88	49
2	222	49
3	608	49
4	1997	49
done	5000	49
0	32	48
1	86	48
2	220	48
3	614	48
4	2031	48
done	5000	48
0	32	48
1	86	48
2	220	48
3	614	48
4	2031	48
done	5000	48
0	34	48
1	89	48
2	221	46
3	610	46
4	2019	46
done	5001	46
0	33	49
1	85	49
2	210	49
3	570	49
4	1949	49
done	5000	49
0	33	49
1	85	49
2	210	49
3	570	49
4	1949	49
done	5000	49
0	35	50
1	89	50
2	223	50
3	613	50
4	2021	50
done	5001	50
0	35	50
1	89	50
2	223	50
3	613	50
4	2021	50
done	5001	50
0	34	49
1	88	49
2	222	49
3	608	49
4	1997	49
done	5000	49
0	35	50
1	89	50
2	223	50
3	613	50
4	2021	50
done	5001	50
0	35	50
1	89	50
2	223	50
3	613	50
4	2021	50
done	5001	50
0	34	49
1	88	49
2	222	49
3	608	49
4	1997	49
done	5000	49
0	34	49
1	88	49
2	222	49
3	608	49
4	1997	49
done	5000	49
0	34	49
1	88	49
2	222	49
3	608	49
4	1997	49
done	5000	49
0	32	48
1	86	48
2	220	48
3	614	48
4	2031	48
done	5000	48
0	32	48
1	86	48
2	220	48
3	614	48
4	2031	48
done	5000	48
0	34	48
1	89	48
2	221	46
3	610	46
4	2019	46
done	5001	46
0	32	48
1	84	48
2	209	48
3	570	48
4	1929	48
done	5000	48
0	32	48
1	84	48
2	209	48
3	570	48
4	1929	48
done	5000	48
0	34	49
1	88	49
2	222	49
3	609	49
4	1991	49
done	5000	49
0	34	49
1	88	49
2	222	49
3	609	49
4	1991	49
done	5000	49
0	33	48
1	87	48
2	221	48
3	611	48
4	2002	48
done	5000	48
0	34	49
1	88	49
2	222	49
3	609	49
4	1991	49
done	5000	49
0	34	49
1	88	49
2	222	49
3	609	49
4	1991	49
done	5000	49
0	33	48
1	87	48
2	221	48
3	611	48
4	2002	48
done	5000	48
0	33	48
1	87	48
2	221	48
3	611	48
4	2002	48
done	5000	48
0	33	48
1	87	48
2	221	48
3	611	48
4	2002	48
done	5000	48
0	31	47
1	85	47
2	219	47
3	610	47
4	2027	47
done	5000	47
0	31	47
1	85	47
2	219	47
3	610	47
4	2027	47
done	5000	47
0	33	47
1	88	47
2	220	45
3	597	45
4	1993	45
done	5000	45
0	31	47
1	85	47
2	219	47
3	610	47
4	2027	47
done	5000	47
0	31	47
1	86	47
2	218	45
3	628	45
4	2082	45
done	5001	45
0	29	43
1	79	43
2	201	43
3	557	43
4	1898	43
done	5001	43
0	30	43
1	80	43
2	202	43
3	558	43
4	1913	43
done	5000	43
0	26	41
1	69	41
2	266	41
3	922	41
done	5000	33
0	66	285
1	208	279
2	1016	265
done	5001	264
0	69	273
1	205	272
2	953	266
done	5001	266
0	19	25
1	54	25
2	152	25
3	477	25
4	1741	25
done	5000	25
0	19	25
1	54	25
2	152	25
3	477	25
4	1741	25
done	5000	25
0	30	47
1	81	47
2	262	47
3	898	47
4	4541	35
done	5000	35
0	71	291
1	218	287
2	1033	273
done	5001	273
0	74	279
1	217	278
2	966	274
done	5000	274

prune1.2s

Filtered

143 candidates to 180 candidates (-25.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	171	9	180
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	172	10	182

Merged error: 1.6b

Counts

182 → 10

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b	(- (log (/ 4.0 PI)) (log f))
0.4b	(* (/ 4.0 PI) (- (log (/ 4.0 PI)) (log f)))
1.0b	(pow PI 3)
2.0b	(log (/ 4.0 PI))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

55×	`log-prod`
53×	`add-sqr-sqrt`
52×	`*-un-lft-identity`
46×	`times-frac`
44×	`add-cube-cbrt`
39×	`associate--l+`
16×	`pow1`
15×	`distribute-rgt-in` `distribute-lft-in`
13×	`add-exp-log` `associate-l`
10×	`add-cbrt-cube`
9×	`log-pow`
8×	`associate-r` `distribute-lft-out--`
5×	`div-inv`
4×	`add-log-exp`
3×	`sub-neg` `unpow-prod-down` `pow-unpow` `flip3--` `cube-prod` `flip--` `associate--r+`
2×	`frac-times` `log-div` `associate-*r/` `div-exp` `rem-log-exp` `prod-exp` `cbrt-unprod` `difference-of-squares` `unswap-sqr`
1×	`cbrt-undiv` `associate--l-` `cube-mult` `pow-to-exp` `pow-pow` `diff-log` `unpow3` `pow-prod-down` `associate-l/` `pow-exp` `-commutative` `rem-cube-cbrt` `sqr-pow`

Counts

4 → 152

Calls

4 calls:

8.0ms	(- (log (/ 4.0 PI)) (log f))
15.0ms	(* (/ 4.0 PI) (- (log (/ 4.0 PI)) (log f)))
3.0ms	(pow PI 3)
3.0ms	(log (/ 4.0 PI))

series67.0ms

Counts

4 → 8

Calls

4 calls:

28.0ms	(- (log (/ 4.0 PI)) (log f))
39.0ms	(* (/ 4.0 PI) (- (log (/ 4.0 PI)) (log f)))
0.0ms	(pow PI 3)
0.0ms	(log (/ 4.0 PI))

simplify3.5min

Counts

160 → 160

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	10
1	8	10
2	10	7
3	11	7
done	11	7
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	8	12
1	17	12
2	38	12
3	67	8
4	106	8
5	141	8
6	196	8
7	237	8
8	274	8
9	277	8
done	277	8
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	7	9
1	12	9
2	20	9
3	33	9
4	41	9
5	45	9
6	53	9
7	67	9
8	79	9
9	91	9
10	103	9
11	104	9
done	104	9
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	6	8
1	12	6
2	26	6
3	49	5
4	71	5
5	84	5
6	96	5
7	109	5
done	109	5
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	7	9
1	12	9
2	18	9
3	26	9
4	38	9
5	46	9
6	55	9
7	68	9
8	84	9
9	87	9
done	87	9
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	5	5
1	9	3
2	15	3
3	19	3
done	19	3
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	6	8
1	14	7
2	19	7
3	32	6
4	44	5
5	74	5
6	100	5
7	106	5
8	115	5
done	115	5
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
1	11	4
2	12	4
3	16	4
4	18	4
5	24	4
6	29	4
done	29	4
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	3	4
1	7	1
done	7	1
0	4	4
1	7	4
2	9	4
3	10	4
done	10	4
0	2	2
1	4	1
done	4	1
0	4	4
1	7	4
2	9	4
3	10	4
done	10	4
0	2	2
done	2	2
0	4	4
1	10	3
2	11	3
3	15	3
4	17	3
5	23	3
6	28	3
done	28	3
0	2	2
done	2	2
0	2	2
done	2	2
0	4	4
1	7	4
2	9	4
3	10	4
done	10	4
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
1	8	3
2	13	3
3	16	3
4	21	3
5	30	3
6	39	3
7	57	3
8	82	3
9	113	3
10	168	3
11	189	3
12	203	3
done	203	3
0	6	11
1	9	11
2	11	11
3	12	11
done	12	11
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	6	14
1	10	14
2	14	6
3	32	6
4	76	6
5	189	6
6	524	6
7	1780	6
done	5000	6
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	5	7
1	9	7
2	16	7
3	40	7
4	96	7
5	253	7
6	866	7
7	3259	7
done	5000	7
0	4	4
1	8	4
2	13	4
3	31	4
4	70	4
5	174	4
6	553	4
7	2172	4
done	5001	4
0	3	3
1	10	1
2	17	1
3	28	1
4	52	1
5	118	1
6	341	1
7	1262	1
done	5000	1
0	5	7
1	15	7
2	36	3
3	65	3
4	140	3
5	376	3
6	1228	3
done	5001	3
0	4	4
1	12	1
2	18	1
3	28	1
4	49	1
5	111	1
6	325	1
7	1243	1
done	5000	1
0	4	4
1	12	4
2	18	4
3	29	4
4	50	4
5	110	4
6	317	4
7	1250	4
done	5000	4
0	4	4
1	12	4
2	18	4
3	29	4
4	50	4
5	110	4
6	317	4
7	1250	4
done	5000	4
0	3	3
1	13	1
done	13	1
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	2	3
done	2	3
0	4	4
1	14	4
2	26	4
3	41	4
4	83	4
5	198	4
6	561	4
7	2142	4
done	5000	4
0	4	4
1	12	4
2	24	4
3	46	4
4	98	4
5	261	4
6	810	4
7	3373	4
done	5001	4
0	5	9
1	12	3
2	18	3
3	28	3
4	51	3
5	116	3
6	327	3
7	1257	3
done	5001	3
0	4	4
1	12	1
2	18	1
3	28	1
4	51	1
5	114	1
6	328	1
7	1249	1
done	5000	1
0	5	11
1	17	7
2	56	5
3	170	5
4	512	5
5	1988	3
done	5001	3
0	5	7
1	15	7
2	36	3
3	65	3
4	140	3
5	376	3
6	1228	3
done	5001	3
0	4	4
1	12	1
2	18	1
3	28	1
4	49	1
5	111	1
6	325	1
7	1243	1
done	5000	1
0	4	4
1	12	4
2	18	4
3	29	4
4	50	4
5	110	4
6	317	4
7	1250	4
done	5000	4
0	4	4
1	12	4
2	18	4
3	29	4
4	50	4
5	110	4
6	317	4
7	1250	4
done	5000	4
0	3	3
1	13	1
done	13	1
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	2	3
done	2	3
0	4	4
1	12	4
2	19	4
3	29	4
4	52	4
5	113	4
6	323	4
7	1262	4
done	5000	4
0	4	4
1	12	4
2	19	4
3	29	4
4	52	4
5	113	4
6	323	4
7	1262	4
done	5000	4
0	5	5
1	10	3
2	16	3
3	26	3
4	47	3
5	107	3
6	316	3
7	1234	3
done	5001	3
0	5	5
1	10	3
2	16	3
3	26	3
4	47	3
5	107	3
6	316	3
7	1234	3
done	5001	3
0	8	11
1	16	11
2	38	11
3	79	11
4	170	11
5	264	11
6	374	11
7	501	11
8	701	11
9	896	11
10	944	11
11	945	11
done	945	11
0	12	14
1	19	13
2	38	13
3	64	13
4	84	13
5	96	13
6	117	13
7	156	13
8	176	13
9	180	13
done	180	13
0	9	13
1	15	13
2	26	13
3	49	13
4	73	13
5	86	13
6	98	13
7	119	13
8	158	13
9	178	13
10	182	13
done	182	13
0	9	12
1	19	12
2	46	12
3	100	12
4	205	12
5	313	12
6	430	12
7	567	12
8	784	12
9	984	12
10	1041	12
11	1072	12
12	1113	12
13	1159	12
done	1159	12
0	9	12
1	19	12
2	47	12
3	118	12
4	277	9
5	660	9
6	1570	9
7	4882	9
done	5000	9
0	15	35
1	34	35
2	136	17
3	704	15
4	4558	15
done	5000	15
0	12	35
1	30	35
2	104	15
3	459	15
4	2850	13
done	5000	13
0	10	25
1	18	25
2	40	25
3	81	25
4	172	25
5	266	25
6	376	25
7	503	25
8	703	25
9	898	25
10	946	25
11	947	25
done	947	25
0	9	12
1	17	12
2	39	12
3	80	12
4	171	12
5	265	12
6	375	12
7	502	12
8	702	12
9	897	12
10	945	12
11	946	12
done	946	12
0	10	35
1	28	35
2	119	13
3	587	13
4	3258	13
done	5000	13
0	9	12
1	17	12
2	39	12
3	80	12
4	171	12
5	265	12
6	375	12
7	502	12
8	702	12
9	897	12
10	945	12
11	946	12
done	946	12
0	9	12
1	17	12
2	39	12
3	80	12
4	171	12
5	265	12
6	375	12
7	502	12
8	702	12
9	897	12
10	945	12
11	946	12
done	946	12
0	11	13
1	30	13
2	60	13
3	152	13
4	408	13
5	1337	13
done	5000	13
0	12	25
1	29	22
2	62	22
3	119	20
4	277	20
5	739	20
6	2246	20
done	5001	20
0	10	17
1	19	17
2	42	17
3	112	17
4	402	17
5	1412	17
6	4716	17
done	5000	17
0	8	9
1	19	9
2	26	9
3	41	9
4	72	9
5	102	9
6	121	9
7	145	9
8	186	9
9	257	9
10	327	9
11	337	9
12	338	9
done	338	9
0	10	13
1	16	13
2	23	13
3	38	13
4	52	13
5	56	13
6	64	13
7	79	13
8	105	13
9	114	13
done	114	13
0	10	13
1	16	13
2	23	13
3	38	13
4	52	13
5	56	13
6	64	13
7	79	13
8	105	13
9	114	13
done	114	13
0	12	14
1	20	14
2	30	14
3	47	14
4	63	14
5	68	14
6	76	14
7	91	14
8	117	14
9	126	14
done	126	14
0	12	14
1	20	14
2	30	14
3	47	14
4	63	14
5	68	14
6	76	14
7	91	14
8	117	14
9	126	14
done	126	14
0	5	8
1	11	8
2	16	8
3	31	8
4	48	8
5	70	8
6	85	8
7	93	8
done	93	8
0	7	7
1	12	7
2	21	7
3	30	7
4	35	7
5	41	7
6	43	7
7	44	7
done	44	7
0	7	14
1	12	14
2	25	11
3	41	11
4	67	11
5	82	11
6	92	11
7	95	11
done	95	11
0	9	12
1	14	12
2	30	12
3	44	12
4	63	12
5	79	12
6	89	12
7	91	12
done	91	12
0	6	9
1	9	9
2	12	9
3	14	9
4	16	9
5	17	9
done	17	9
0	9	12
1	14	12
2	30	12
3	44	12
4	63	12
5	79	12
6	89	12
7	91	12
done	91	12
0	10	16
1	22	16
2	46	16
3	97	12
4	226	12
5	430	12
6	762	12
7	1217	12
8	1784	12
9	2408	12
10	2446	12
11	2449	12
done	2449	12
0	11	13
1	19	13
2	41	13
3	82	13
4	173	13
5	267	13
6	377	13
7	504	13
8	704	13
9	899	13
10	947	13
11	948	13
done	948	13
0	9	13
1	17	13
2	28	13
3	55	13
4	121	13
5	195	13
6	290	13
7	407	13
8	567	13
9	806	13
10	959	13
11	1049	13
12	1051	13
done	1051	13
0	11	13
1	19	13
2	41	13
3	82	13
4	173	13
5	267	13
6	377	13
7	504	13
8	704	13
9	899	13
10	947	13
11	948	13
done	948	13
0	9	12
1	18	10
2	35	10
3	76	9
4	145	9
5	242	9
6	348	9
7	593	9
8	882	9
9	922	9
done	922	9
0	10	12
1	18	12
2	40	12
3	81	12
4	172	12
5	266	12
6	376	12
7	503	12
8	703	12
9	898	12
10	946	12
11	947	12
done	947	12
0	9	13
1	17	13
2	26	13
3	48	13
4	96	13
5	192	13
6	330	13
7	511	13
8	751	13
9	1111	13
10	1187	13
11	1192	13
done	1192	13
0	11	13
1	19	13
2	41	13
3	82	13
4	173	13
5	267	13
6	377	13
7	504	13
8	704	13
9	899	13
10	947	13
11	948	13
done	948	13
0	8	10
1	14	10
2	19	10
3	34	10
4	51	10
5	73	10
6	88	10
7	96	10
done	96	10
0	11	13
1	19	13
2	41	13
3	82	13
4	173	13
5	267	13
6	377	13
7	504	13
8	704	13
9	899	13
10	947	13
11	948	13
done	948	13
0	8	9
1	15	7
2	24	7
3	38	7
4	49	7
5	53	7
6	54	7
7	55	7
done	55	7
0	10	12
1	18	12
2	40	12
3	81	12
4	172	12
5	266	12
6	376	12
7	503	12
8	703	12
9	898	12
10	946	12
11	947	12
done	947	12
0	9	12
1	20	11
2	34	11
3	72	10
4	142	9
5	293	9
6	476	9
7	613	9
8	806	9
9	1150	9
done	1150	9
0	10	12
1	18	12
2	40	12
3	81	12
4	172	12
5	266	12
6	376	12
7	503	12
8	703	12
9	898	12
10	946	12
11	947	12
done	947	12
0	8	9
1	17	8
2	27	8
3	48	8
4	69	8
5	87	8
6	116	8
7	156	8
8	157	8
done	157	8
0	10	12
1	18	12
2	40	12
3	81	12
4	172	12
5	266	12
6	376	12
7	503	12
8	703	12
9	898	12
10	946	12
11	947	12
done	947	12
0	7	8
1	14	5
2	17	1
done	17	1
0	8	11
1	16	11
2	38	11
3	79	11
4	170	11
5	264	11
6	374	11
7	501	11
8	701	11
9	896	11
10	944	11
11	945	11
done	945	11
0	6	6
1	11	5
2	14	1
done	14	1
0	8	11
1	16	11
2	38	11
3	79	11
4	170	11
5	264	11
6	374	11
7	501	11
8	701	11
9	896	11
10	944	11
11	945	11
done	945	11
0	5	6
1	8	6
2	11	6
3	13	6
4	15	6
5	16	6
done	16	6
0	10	11
1	21	10
2	43	10
3	95	10
4	187	10
5	280	10
6	409	10
7	627	10
8	702	10
9	782	10
done	782	10
0	5	8
1	11	8
2	16	8
3	31	8
4	48	8
5	70	8
6	85	8
7	93	8
done	93	8
0	7	7
1	12	7
2	21	7
3	30	7
4	35	7
5	41	7
6	43	7
7	44	7
done	44	7
0	5	8
1	11	8
2	16	8
3	36	8
4	56	8
5	77	8
6	88	8
done	88	8
0	7	7
1	12	7
2	21	7
3	31	7
4	40	7
5	43	7
6	44	7
done	44	7
0	7	14
1	12	14
2	21	11
3	42	11
4	67	11
5	84	11
6	94	11
7	96	11
done	96	11
0	9	12
1	14	12
2	24	12
3	48	12
4	71	12
5	87	12
6	98	12
done	98	12
0	6	9
1	9	9
2	12	9
3	16	9
4	17	9
done	17	9
0	9	12
1	14	12
2	24	12
3	48	12
4	71	12
5	87	12
6	98	12
done	98	12
0	10	16
1	22	16
2	46	16
3	108	12
4	260	12
5	492	12
6	900	12
7	1367	12
8	1992	12
9	2260	12
10	2296	12
11	2299	12
done	2299	12
0	11	13
1	19	13
2	35	13
3	85	13
4	194	13
5	290	13
6	402	13
7	502	13
8	685	13
9	888	13
10	959	13
11	963	13
done	963	13
0	9	13
1	17	13
2	28	13
3	63	13
4	139	13
5	221	13
6	328	13
7	432	13
8	631	13
9	803	13
10	993	13
11	1057	13
done	1057	13
0	11	13
1	19	13
2	35	13
3	85	13
4	194	13
5	290	13
6	402	13
7	502	13
8	685	13
9	888	13
10	959	13
11	963	13
done	963	13
0	9	12
1	18	10
2	35	10
3	83	9
4	172	9
5	278	9
6	402	9
7	660	9
8	845	9
9	891	9
done	891	9
0	10	12
1	18	12
2	34	12
3	84	12
4	193	12
5	289	12
6	401	12
7	501	12
8	684	12
9	887	12
10	958	12
11	962	12
done	962	12
0	9	13
1	17	13
2	26	13
3	56	13
4	114	13
5	223	13
6	374	13
7	550	13
8	832	13
9	1012	13
10	1081	13
11	1086	13
done	1086	13
0	11	13
1	19	13
2	35	13
3	85	13
4	194	13
5	290	13
6	402	13
7	502	13
8	685	13
9	888	13
10	959	13
11	963	13
done	963	13
0	8	10
1	14	10
2	19	10
3	39	10
4	59	10
5	80	10
6	91	10
done	91	10
0	11	13
1	19	13
2	35	13
3	85	13
4	194	13
5	290	13
6	402	13
7	502	13
8	685	13
9	888	13
10	959	13
11	963	13
done	963	13
0	8	9
1	15	7
2	24	7
3	42	7
4	61	7
5	62	7
6	63	7
done	63	7
0	10	12
1	18	12
2	34	12
3	84	12
4	193	12
5	289	12
6	401	12
7	501	12
8	684	12
9	887	12
10	958	12
11	962	12
done	962	12
0	9	12
1	20	11
2	34	11
3	77	10
4	160	9
5	298	9
6	532	9
7	704	9
8	954	9
9	1076	9
done	1076	9
0	10	12
1	18	12
2	34	12
3	84	12
4	193	12
5	289	12
6	401	12
7	501	12
8	684	12
9	887	12
10	958	12
11	962	12
done	962	12
0	8	9
1	17	8
2	27	8
3	54	8
4	82	8
5	96	8
6	124	8
7	162	8
8	163	8
done	163	8
0	10	12
1	18	12
2	34	12
3	84	12
4	193	12
5	289	12
6	401	12
7	501	12
8	684	12
9	887	12
10	958	12
11	962	12
done	962	12
0	7	8
1	14	5
2	17	1
done	17	1
0	8	11
1	16	11
2	32	11
3	82	11
4	191	11
5	287	11
6	399	11
7	499	11
8	682	11
9	885	11
10	956	11
11	960	11
done	960	11
0	6	6
1	11	5
2	14	1
done	14	1
0	8	11
1	16	11
2	32	11
3	82	11
4	191	11
5	287	11
6	399	11
7	499	11
8	682	11
9	885	11
10	956	11
11	960	11
done	960	11
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	10	11
1	21	10
2	37	10
3	97	10
4	212	10
5	298	10
6	413	10
7	601	10
8	675	10
9	753	10
done	753	10
0	5	8
1	11	8
2	16	8
3	36	8
4	56	8
5	77	8
6	88	8
done	88	8
0	7	7
1	12	7
2	21	7
3	31	7
4	40	7
5	43	7
6	44	7
done	44	7
0	10	21
1	20	21
2	35	21
3	58	21
4	81	21
5	91	21
6	104	21
7	120	21
8	146	21
9	155	21
done	155	21
0	9	12
1	17	12
2	27	12
3	44	12
4	60	12
5	65	12
6	73	12
7	88	12
8	114	12
9	123	12
done	123	12
0	5	5
1	10	3
2	20	3
done	20	3
0	10	13
1	23	13
2	41	13
3	50	13
4	56	13
5	63	13
6	65	13
done	65	13
0	5	5
1	10	3
2	20	3
done	20	3
0	5	5
1	10	3
2	20	3
done	20	3
0	5	5
1	10	3
2	20	3
done	20	3
0	5	5
1	10	3
2	20	3
done	20	3
0	9	12
1	15	12
2	28	12
3	54	12
4	97	12
5	126	12
6	156	12
7	189	12
8	286	12
9	341	12
10	346	12
done	346	12
0	9	12
1	15	12
2	28	12
3	54	12
4	97	12
5	126	12
6	156	12
7	189	12
8	286	12
9	341	12
10	346	12
done	346	12
0	11	13
1	19	13
2	41	13
3	82	13
4	173	13
5	267	13
6	377	13
7	504	13
8	763	13
9	959	13
10	998	13
done	998	13
0	11	13
1	19	13
2	41	13
3	82	13
4	173	13
5	267	13
6	377	13
7	504	13
8	763	13
9	959	13
10	998	13
done	998	13
0	10	12
1	18	12
2	40	12
3	81	12
4	172	12
5	266	12
6	376	12
7	503	12
8	762	12
9	958	12
10	997	12
done	997	12
0	11	13
1	19	13
2	41	13
3	82	13
4	173	13
5	267	13
6	377	13
7	504	13
8	763	13
9	959	13
10	998	13
done	998	13
0	11	13
1	19	13
2	41	13
3	82	13
4	173	13
5	267	13
6	377	13
7	504	13
8	763	13
9	959	13
10	998	13
done	998	13
0	10	12
1	18	12
2	40	12
3	81	12
4	172	12
5	266	12
6	376	12
7	503	12
8	762	12
9	958	12
10	997	12
done	997	12
0	10	12
1	18	12
2	40	12
3	81	12
4	172	12
5	266	12
6	376	12
7	503	12
8	703	12
9	898	12
10	946	12
11	947	12
done	947	12
0	10	12
1	18	12
2	40	12
3	81	12
4	172	12
5	266	12
6	376	12
7	503	12
8	703	12
9	898	12
10	946	12
11	947	12
done	947	12
0	8	11
1	16	11
2	38	11
3	79	11
4	170	11
5	264	11
6	374	11
7	501	11
8	701	11
9	896	11
10	944	11
11	945	11
done	945	11
0	8	11
1	16	11
2	38	11
3	79	11
4	170	11
5	264	11
6	374	11
7	501	11
8	701	11
9	896	11
10	944	11
11	945	11
done	945	11
0	10	11
1	20	11
2	42	9
3	113	9
4	248	9
5	395	9
6	472	9
7	696	9
8	1291	9
9	1515	9
10	1959	9
11	4414	9
done	5000	9
0	11	15
1	32	15
2	71	15
3	214	15
4	675	15
5	2429	15
done	5000	15
0	10	19
1	21	19
2	55	19
3	169	19
4	636	19
5	2310	19
done	5000	19
0	8	9
1	14	9
2	27	9
3	53	9
4	96	9
5	125	9
6	155	9
7	188	9
8	257	9
9	317	9
10	331	9
11	332	9
done	332	9
0	5	5
1	7	5
2	10	5
done	10	5
0	8	8
1	13	8
2	20	8
3	35	8
4	49	8
5	53	8
6	61	8
7	76	8
8	102	8
9	111	8
done	111	8
0	8	8
1	16	8
2	28	5
3	60	5
4	102	5
5	151	5
6	235	5
7	335	5
8	465	5
9	583	5
10	661	5
11	698	5
done	698	5
0	9	17
1	14	17
2	21	17
3	36	17
4	50	17
5	54	17
6	62	17
7	77	17
8	103	17
9	112	17
done	112	17
0	8	8
1	13	8
2	20	8
3	35	8
4	49	8
5	53	8
6	61	8
7	76	8
8	102	8
9	111	8
done	111	8
0	9	23
1	15	23
2	36	9
3	106	9
4	463	9
5	2045	9
done	5000	9
0	8	8
1	13	8
2	20	8
3	35	8
4	49	8
5	53	8
6	61	8
7	76	8
8	102	8
9	111	8
done	111	8
0	8	8
1	13	8
2	20	8
3	35	8
4	49	8
5	53	8
6	61	8
7	76	8
8	102	8
9	111	8
done	111	8
0	10	11
1	28	11
2	52	11
3	99	11
4	230	11
5	691	11
6	2963	11
done	5000	11
0	11	23
1	21	20
2	33	20
3	53	18
4	125	18
5	351	18
6	1067	18
7	3200	18
done	5000	18
0	3	3
done	3	3
0	9	15
1	17	15
2	30	15
3	69	15
4	223	15
5	719	15
6	2526	15
done	5000	15
0	7	7
1	11	7
2	17	7
3	26	7
4	36	7
5	45	7
6	50	7
7	59	7
8	76	7
9	95	7
10	103	7
done	103	7
0	9	9
1	13	9
2	15	9
3	16	9
done	16	9
0	9	9
1	14	9
2	17	9
3	18	9
done	18	9
0	7	7
1	12	7
2	19	7
3	34	7
4	48	7
5	52	7
6	60	7
7	75	7
8	101	7
9	110	7
done	110	7
0	7	7
1	12	7
2	19	7
3	34	7
4	48	7
5	52	7
6	60	7
7	75	7
8	101	7
9	110	7
done	110	7
0	7	7
1	12	7
2	19	7
3	34	7
4	48	7
5	52	7
6	60	7
7	75	7
8	101	7
9	110	7
done	110	7
0	7	7
1	12	7
2	19	7
3	34	7
4	48	7
5	52	7
6	60	7
7	75	7
8	101	7
9	110	7
done	110	7
0	9	11
1	16	11
2	29	10
3	61	10
4	119	10
5	190	10
6	247	10
7	334	10
8	347	10
9	348	10
done	348	10
0	8	8
1	13	8
2	20	8
3	35	8
4	49	8
5	53	8
6	61	8
7	76	8
8	102	8
9	111	8
done	111	8
0	7	7
1	14	6
2	21	4
3	46	4
4	64	4
5	68	4
6	84	4
7	105	4
8	108	4
done	108	4
0	8	8
1	10	8
2	11	8
done	11	8
0	8	8
1	10	8
2	11	8
done	11	8
0	9	9
1	14	9
2	21	9
3	36	9
4	50	9
5	54	9
6	62	9
7	77	9
8	103	9
9	112	9
done	112	9
0	9	9
1	14	9
2	21	9
3	36	9
4	50	9
5	54	9
6	62	9
7	77	9
8	103	9
9	112	9
done	112	9
0	8	8
1	13	8
2	20	8
3	35	8
4	49	8
5	53	8
6	61	8
7	76	8
8	102	8
9	111	8
done	111	8
0	9	9
1	14	9
2	21	9
3	36	9
4	50	9
5	54	9
6	62	9
7	77	9
8	103	9
9	112	9
done	112	9
0	9	9
1	14	9
2	21	9
3	36	9
4	50	9
5	54	9
6	62	9
7	77	9
8	103	9
9	112	9
done	112	9
0	8	8
1	13	8
2	20	8
3	35	8
4	49	8
5	53	8
6	61	8
7	76	8
8	102	8
9	111	8
done	111	8
0	8	8
1	13	8
2	20	8
3	35	8
4	49	8
5	53	8
6	61	8
7	76	8
8	102	8
9	111	8
done	111	8
0	8	8
1	13	8
2	20	8
3	35	8
4	49	8
5	53	8
6	61	8
7	76	8
8	102	8
9	111	8
done	111	8
0	7	7
1	12	7
2	19	7
3	34	7
4	48	7
5	52	7
6	60	7
7	75	7
8	101	7
9	110	7
done	110	7
0	7	7
1	12	7
2	19	7
3	34	7
4	48	7
5	52	7
6	60	7
7	75	7
8	101	7
9	110	7
done	110	7
0	7	7
1	15	6
2	22	6
3	36	6
4	54	6
5	70	6
6	84	6
7	92	6
8	106	6
done	106	6
0	5	5
1	6	5
done	6	5
0	3	3
done	3	3
0	27	36
1	76	36
2	249	36
3	1029	36
done	5000	35
0	27	36
1	76	36
2	249	36
3	1029	36
done	5000	35
0	12	14
1	28	13
2	61	11
3	162	11
4	412	11
5	772	11
6	1269	11
7	1762	11
8	2020	11
9	2033	11
done	2033	11
0	13	16
1	32	14
2	72	11
3	210	11
4	510	11
5	1000	11
6	1515	11
7	1911	11
8	2002	11
done	2002	11
0	13	16
1	29	16
2	69	16
3	204	16
4	696	16
5	2124	13
6	4238	11
done	5001	11
0	10	10
1	20	9
2	37	7
3	90	7
4	175	7
5	239	7
6	319	7
7	364	7
done	364	7
0	11	12
1	24	10
2	47	7
3	144	7
4	292	7
5	391	7
6	396	7
done	396	7
0	11	12
1	21	12
2	44	12
3	131	12
4	385	12
5	1037	9
6	1501	7
7	3745	7
done	5001	7

prune586.0ms

Filtered

121 candidates to 160 candidates (-32.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	157	3	160
Fresh	5	3	8
Picked	1	0	1
Done	0	1	1
Total	163	7	170

Merged error: 1.6b

Counts

170 → 7

localize41.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (/ 4.0 PI) (- (log (/ 4.0 PI)) (log f)))
1.0b	(pow (pow PI (sqrt 3)) (sqrt 3))
1.6b	(pow PI (sqrt 3))
2.0b	(log (/ 4.0 PI))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

47×	`add-sqr-sqrt`
44×	`*-un-lft-identity`
40×	`add-cube-cbrt`
39×	`log-prod`
37×	`times-frac`
26×	`associate--l+`
15×	`add-exp-log` `distribute-rgt-in` `distribute-lft-in`
13×	`unpow-prod-down` `associate-l`
12×	`pow1` `pow-unpow`
9×	`add-cbrt-cube`
8×	`associate-r`
6×	`sqrt-prod`
5×	`pow-exp` `log-pow`
4×	`div-inv` `distribute-lft-out--` `add-log-exp`
3×	`pow-to-exp` `sqr-pow`
2×	`frac-times` `sub-neg` `flip3--` `pow-pow` `associate-*r/` `div-exp` `rem-log-exp` `prod-exp` `flip--` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `log-div` `pow-prod-down` `associate-l/` `-commutative` `difference-of-squares`

Counts

4 → 141

Calls

4 calls:

16.0ms	(* (/ 4.0 PI) (- (log (/ 4.0 PI)) (log f)))
5.0ms	(pow (pow PI (sqrt 3)) (sqrt 3))
3.0ms	(pow PI (sqrt 3))
3.0ms	(log (/ 4.0 PI))

series36.0ms

Counts

4 → 6

Calls

4 calls:

35.0ms	(* (/ 4.0 PI) (- (log (/ 4.0 PI)) (log f)))
0.0ms	(pow (pow PI (sqrt 3)) (sqrt 3))
0.0ms	(pow PI (sqrt 3))
0.0ms	(log (/ 4.0 PI))

simplify8.4min

Counts

147 → 147

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	10
1	8	10
2	10	7
3	11	7
done	11	7
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	8	12
1	17	12
2	38	12
3	67	8
4	106	8
5	141	8
6	196	8
7	237	8
8	274	8
9	277	8
done	277	8
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	7	9
1	12	9
2	20	9
3	33	9
4	41	9
5	45	9
6	53	9
7	67	9
8	79	9
9	91	9
10	103	9
11	104	9
done	104	9
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	6	8
1	12	6
2	26	6
3	49	5
4	71	5
5	84	5
6	96	5
7	109	5
done	109	5
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	7	9
1	12	9
2	18	9
3	26	9
4	38	9
5	46	9
6	55	9
7	68	9
8	84	9
9	87	9
done	87	9
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	5	5
1	9	3
2	15	3
3	19	3
done	19	3
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	6	8
1	14	7
2	19	7
3	32	6
4	44	5
5	74	5
6	100	5
7	106	5
8	115	5
done	115	5
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
1	11	4
2	12	4
3	16	4
4	18	4
5	24	4
6	29	4
done	29	4
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	3	4
1	7	1
done	7	1
0	4	4
1	7	4
2	9	4
3	10	4
done	10	4
0	2	2
1	4	1
done	4	1
0	4	4
1	7	4
2	9	4
3	10	4
done	10	4
0	2	2
done	2	2
0	4	4
1	10	3
2	11	3
3	15	3
4	17	3
5	23	3
6	28	3
done	28	3
0	2	2
done	2	2
0	2	2
done	2	2
0	4	4
1	7	4
2	9	4
3	10	4
done	10	4
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
1	8	3
2	13	3
3	16	3
4	21	3
5	30	3
6	39	3
7	57	3
8	82	3
9	113	3
10	168	3
11	189	3
12	203	3
done	203	3
0	6	11
1	9	11
2	11	11
3	12	11
done	12	11
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	6	14
1	10	14
2	14	6
3	32	6
4	76	6
5	189	6
6	524	6
7	1780	6
done	5000	6
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	7	2
2	10	2
done	10	2
0	6	9
1	10	9
2	17	9
3	41	9
4	97	9
5	255	9
6	872	9
7	3300	9
done	5000	9
0	6	8
1	11	5
2	16	5
3	34	5
4	75	5
5	177	5
6	557	5
7	2184	5
done	5000	5
0	5	5
1	9	5
2	14	5
3	32	5
4	71	5
5	175	5
6	548	5
7	2169	5
done	5000	5
0	4	4
1	10	3
2	15	3
3	33	1
4	72	1
5	140	1
6	360	1
7	1285	1
done	5001	1
0	5	5
1	9	5
2	14	5
3	32	5
4	71	5
5	175	5
6	548	5
7	2169	5
done	5000	5
0	3	3
1	10	1
2	17	1
3	28	1
4	52	1
5	118	1
6	341	1
7	1262	1
done	5000	1
0	6	8
1	10	8
2	15	8
3	33	8
4	74	8
5	181	8
6	556	8
7	2180	8
done	5000	8
0	5	5
1	9	5
2	14	5
3	32	5
4	71	5
5	175	5
6	548	5
7	2169	5
done	5000	5
0	5	5
1	9	5
2	14	5
3	32	5
4	71	5
5	175	5
6	548	5
7	2169	5
done	5000	5
0	5	5
1	9	5
2	14	5
3	32	5
4	71	5
5	175	5
6	548	5
7	2169	5
done	5000	5
0	4	4
1	10	1
2	13	1
3	19	1
4	26	1
5	36	1
6	49	1
7	65	1
8	84	1
9	106	1
10	131	1
11	159	1
12	190	1
13	224	1
14	261	1
15	301	1
16	344	1
17	390	1
18	439	1
19	491	1
20	546	1
21	604	1
22	665	1
23	729	1
24	796	1
25	866	1
26	939	1
27	1015	1
28	1094	1
29	1176	1
30	1261	1
31	1349	1
32	1440	1
33	1534	1
34	1631	1
35	1731	1
36	1834	1
37	1940	1
38	2049	1
39	2161	1
40	2276	1
41	2394	1
42	2515	1
43	2639	1
44	2766	1
45	2896	1
46	3029	1
47	3165	1
48	3304	1
49	3446	1
50	3591	1
51	3739	1
52	3890	1
53	4044	1
54	4201	1
55	4361	1
56	4524	1
57	4690	1
58	4859	1
done	5000	1
0	4	4
1	8	4
2	13	4
3	31	4
4	70	4
5	174	4
6	553	4
7	2172	4
done	5001	4
0	5	5
1	11	5
2	19	5
3	42	5
4	107	5
5	308	5
6	1098	5
done	5000	5
0	5	5
1	9	5
2	16	5
3	39	5
4	93	5
5	253	5
6	881	5
7	3921	5
done	5000	5
0	6	11
1	10	11
2	15	11
3	33	11
4	72	11
5	176	11
6	555	11
7	2164	11
done	5000	11
0	5	5
1	9	5
2	14	5
3	32	5
4	71	5
5	175	5
6	548	5
7	2167	5
done	5000	5
0	6	14
1	13	11
2	33	6
3	88	6
4	230	6
5	826	6
6	3826	6
done	5000	6
0	5	5
1	9	5
2	15	5
3	33	5
4	72	5
5	174	5
6	555	5
7	2179	5
done	5000	5
0	5	5
1	9	5
2	15	5
3	33	5
4	72	5
5	174	5
6	555	5
7	2179	5
done	5000	5
0	6	6
1	9	6
2	17	6
3	38	6
4	87	6
5	217	6
6	719	6
7	2687	6
done	5000	6
0	6	6
1	9	6
2	17	6
3	38	6
4	87	6
5	217	6
6	719	6
7	2687	6
done	5000	6
0	6	8
1	10	8
2	11	4
done	11	4
0	6	8
1	10	8
2	11	4
done	11	4
0	6	8
1	13	8
2	23	8
3	51	4
4	130	4
5	466	4
6	1883	4
done	5000	4
0	6	8
1	13	8
2	23	8
3	51	4
4	130	4
5	466	4
6	1883	4
done	5000	4
0	3	5
done	3	1
0	7	12
1	14	12
2	26	12
3	66	12
4	157	12
5	414	12
6	1386	12
done	5000	12
0	8	11
1	16	8
2	26	8
3	60	8
4	134	8
5	341	8
6	1080	8
7	4239	8
done	5000	8
0	6	8
1	13	8
2	23	8
3	57	8
4	131	8
5	330	8
6	1062	8
7	4212	8
done	5000	8
0	7	7
1	16	6
2	26	6
3	61	4
4	125	4
5	293	4
6	891	4
7	3405	4
done	5001	4
0	6	8
1	13	8
2	23	8
3	57	8
4	131	8
5	330	8
6	1062	8
7	4212	8
done	5000	8
0	6	6
1	16	4
2	28	4
3	58	4
4	117	4
5	284	4
6	872	4
7	3399	4
done	5000	4
0	7	11
1	13	11
2	21	11
3	48	11
4	110	11
5	280	11
6	863	11
7	3410	11
done	5000	11
0	6	8
1	12	8
2	20	8
3	47	8
4	111	8
5	276	8
6	855	8
7	3353	8
done	5000	8
0	6	8
1	12	8
2	20	8
3	47	8
4	111	8
5	276	8
6	855	8
7	3353	8
done	5000	8
0	6	8
1	12	8
2	20	8
3	47	8
4	111	8
5	276	8
6	855	8
7	3353	8
done	5000	8
0	5	7
1	13	1
2	16	1
3	22	1
4	29	1
5	39	1
6	52	1
7	68	1
8	87	1
9	109	1
10	134	1
11	162	1
12	193	1
13	227	1
14	264	1
15	304	1
16	347	1
17	393	1
18	442	1
19	494	1
20	549	1
21	607	1
22	668	1
23	732	1
24	799	1
25	869	1
26	942	1
27	1018	1
28	1097	1
29	1179	1
30	1264	1
31	1352	1
32	1443	1
33	1537	1
34	1634	1
35	1734	1
36	1837	1
37	1943	1
38	2052	1
39	2164	1
40	2279	1
41	2397	1
42	2518	1
43	2642	1
44	2769	1
45	2899	1
46	3032	1
47	3168	1
48	3307	1
49	3449	1
50	3594	1
51	3742	1
52	3893	1
53	4047	1
54	4204	1
55	4364	1
56	4527	1
57	4693	1
58	4862	1
done	5000	1
0	5	7
1	11	7
2	19	7
3	46	7
4	108	7
5	274	7
6	856	7
7	3356	7
done	5000	7
0	7	14
1	13	14
2	21	14
3	48	14
4	108	14
5	272	14
6	852	14
7	3386	14
done	5000	14
0	6	8
1	12	8
2	20	8
3	47	8
4	111	8
5	274	8
6	850	8
7	3381	8
done	5000	8
0	6	8
1	12	8
2	21	8
3	48	8
4	110	8
5	276	8
6	860	8
7	3366	8
done	5000	8
0	6	8
1	12	8
2	21	8
3	48	8
4	110	8
5	276	8
6	860	8
7	3366	8
done	5000	8
0	4	4
1	10	1
2	13	1
3	19	1
4	26	1
5	36	1
6	49	1
7	65	1
8	84	1
9	106	1
10	131	1
11	159	1
12	190	1
13	224	1
14	261	1
15	301	1
16	344	1
17	390	1
18	439	1
19	491	1
20	546	1
21	604	1
22	665	1
23	729	1
24	796	1
25	866	1
26	939	1
27	1015	1
28	1094	1
29	1176	1
30	1261	1
31	1349	1
32	1440	1
33	1534	1
34	1631	1
35	1731	1
36	1834	1
37	1940	1
38	2049	1
39	2161	1
40	2276	1
41	2394	1
42	2515	1
43	2639	1
44	2766	1
45	2896	1
46	3029	1
47	3165	1
48	3304	1
49	3446	1
50	3591	1
51	3739	1
52	3890	1
53	4044	1
54	4201	1
55	4361	1
56	4524	1
57	4690	1
58	4859	1
done	5000	1
0	5	7
1	11	7
2	19	7
3	46	7
4	108	7
5	274	7
6	856	7
7	3356	7
done	5000	7
0	7	9
1	12	9
2	24	9
3	53	9
4	123	9
5	325	9
6	1075	9
7	4114	9
done	5001	9
0	7	9
1	12	9
2	24	9
3	53	9
4	123	9
5	325	9
6	1075	9
7	4114	9
done	5001	9
0	6	8
1	14	8
2	29	8
3	73	8
4	213	4
5	865	4
6	3526	4
done	5000	4
0	6	8
1	12	8
2	22	8
3	54	8
4	131	8
5	354	8
6	1178	8
done	5000	8
0	7	17
1	13	17
2	21	17
3	48	17
4	108	17
5	274	17
6	852	17
7	3377	17
done	5000	17
0	6	8
1	12	8
2	20	8
3	47	8
4	109	8
5	271	8
6	842	8
7	3373	8
done	5000	8
0	7	23
1	16	17
2	39	9
3	101	9
4	271	9
5	918	9
6	4108	9
done	5000	9
0	6	8
1	12	8
2	21	8
3	48	8
4	108	8
5	276	8
6	854	8
7	3346	8
done	5000	8
0	6	8
1	12	8
2	21	8
3	48	8
4	108	8
5	276	8
6	854	8
7	3346	8
done	5000	8
0	7	9
1	12	9
2	24	9
3	53	9
4	121	9
5	312	9
6	1050	9
7	4128	9
done	5000	9
0	7	9
1	12	9
2	24	9
3	53	9
4	121	9
5	312	9
6	1050	9
7	4128	9
done	5000	9
0	8	11
1	16	11
2	38	11
3	79	11
4	170	11
5	264	11
6	374	11
7	501	11
8	701	11
9	896	11
10	944	11
11	945	11
done	945	11
0	12	14
1	19	13
2	38	13
3	64	13
4	84	13
5	96	13
6	117	13
7	156	13
8	176	13
9	180	13
done	180	13
0	9	13
1	15	13
2	26	13
3	49	13
4	73	13
5	86	13
6	98	13
7	119	13
8	158	13
9	178	13
10	182	13
done	182	13
0	9	12
1	19	12
2	46	12
3	100	12
4	205	12
5	313	12
6	430	12
7	567	12
8	784	12
9	984	12
10	1041	12
11	1072	12
12	1113	12
13	1159	12
done	1159	12
0	9	12
1	19	12
2	47	12
3	118	12
4	277	9
5	660	9
6	1570	9
7	4882	9
done	5000	9
0	15	35
1	34	35
2	136	17
3	704	15
4	4558	15
done	5000	15
0	12	35
1	30	35
2	104	15
3	459	15
4	2850	13
done	5000	13
0	10	25
1	18	25
2	40	25
3	81	25
4	172	25
5	266	25
6	376	25
7	503	25
8	703	25
9	898	25
10	946	25
11	947	25
done	947	25
0	9	12
1	17	12
2	39	12
3	80	12
4	171	12
5	265	12
6	375	12
7	502	12
8	702	12
9	897	12
10	945	12
11	946	12
done	946	12
0	10	35
1	28	35
2	119	13
3	587	13
4	3258	13
done	5000	13
0	9	12
1	17	12
2	39	12
3	80	12
4	171	12
5	265	12
6	375	12
7	502	12
8	702	12
9	897	12
10	945	12
11	946	12
done	946	12
0	9	12
1	17	12
2	39	12
3	80	12
4	171	12
5	265	12
6	375	12
7	502	12
8	702	12
9	897	12
10	945	12
11	946	12
done	946	12
0	11	13
1	30	13
2	60	13
3	152	13
4	408	13
5	1337	13
done	5000	13
0	12	25
1	29	22
2	62	22
3	119	20
4	277	20
5	739	20
6	2246	20
done	5001	20
0	10	17
1	19	17
2	42	17
3	112	17
4	402	17
5	1412	17
6	4716	17
done	5000	17
0	8	9
1	19	9
2	26	9
3	41	9
4	72	9
5	102	9
6	121	9
7	145	9
8	186	9
9	257	9
10	327	9
11	337	9
12	338	9
done	338	9
0	10	13
1	16	13
2	23	13
3	38	13
4	52	13
5	56	13
6	64	13
7	79	13
8	105	13
9	114	13
done	114	13
0	10	13
1	16	13
2	23	13
3	38	13
4	52	13
5	56	13
6	64	13
7	79	13
8	105	13
9	114	13
done	114	13
0	12	14
1	20	14
2	30	14
3	47	14
4	63	14
5	68	14
6	76	14
7	91	14
8	117	14
9	126	14
done	126	14
0	12	14
1	20	14
2	30	14
3	47	14
4	63	14
5	68	14
6	76	14
7	91	14
8	117	14
9	126	14
done	126	14
0	5	8
1	11	8
2	16	8
3	31	8
4	48	8
5	70	8
6	85	8
7	93	8
done	93	8
0	7	7
1	12	7
2	21	7
3	30	7
4	35	7
5	41	7
6	43	7
7	44	7
done	44	7
0	7	14
1	12	14
2	25	11
3	41	11
4	67	11
5	82	11
6	92	11
7	95	11
done	95	11
0	9	12
1	14	12
2	30	12
3	44	12
4	63	12
5	79	12
6	89	12
7	91	12
done	91	12
0	6	9
1	9	9
2	12	9
3	14	9
4	16	9
5	17	9
done	17	9
0	9	12
1	14	12
2	30	12
3	44	12
4	63	12
5	79	12
6	89	12
7	91	12
done	91	12
0	10	16
1	22	16
2	46	16
3	97	12
4	226	12
5	430	12
6	762	12
7	1217	12
8	1784	12
9	2408	12
10	2446	12
11	2449	12
done	2449	12
0	11	13
1	19	13
2	41	13
3	82	13
4	173	13
5	267	13
6	377	13
7	504	13
8	704	13
9	899	13
10	947	13
11	948	13
done	948	13
0	9	13
1	17	13
2	28	13
3	55	13
4	121	13
5	195	13
6	290	13
7	407	13
8	567	13
9	806	13
10	959	13
11	1049	13
12	1051	13
done	1051	13
0	11	13
1	19	13
2	41	13
3	82	13
4	173	13
5	267	13
6	377	13
7	504	13
8	704	13
9	899	13
10	947	13
11	948	13
done	948	13
0	9	12
1	18	10
2	35	10
3	76	9
4	145	9
5	242	9
6	348	9
7	593	9
8	882	9
9	922	9
done	922	9
0	10	12
1	18	12
2	40	12
3	81	12
4	172	12
5	266	12
6	376	12
7	503	12
8	703	12
9	898	12
10	946	12
11	947	12
done	947	12
0	9	13
1	17	13
2	26	13
3	48	13
4	96	13
5	192	13
6	330	13
7	511	13
8	751	13
9	1111	13
10	1187	13
11	1192	13
done	1192	13
0	11	13
1	19	13
2	41	13
3	82	13
4	173	13
5	267	13
6	377	13
7	504	13
8	704	13
9	899	13
10	947	13
11	948	13
done	948	13
0	8	10
1	14	10
2	19	10
3	34	10
4	51	10
5	73	10
6	88	10
7	96	10
done	96	10
0	11	13
1	19	13
2	41	13
3	82	13
4	173	13
5	267	13
6	377	13
7	504	13
8	704	13
9	899	13
10	947	13
11	948	13
done	948	13
0	8	9
1	15	7
2	24	7
3	38	7
4	49	7
5	53	7
6	54	7
7	55	7
done	55	7
0	10	12
1	18	12
2	40	12
3	81	12
4	172	12
5	266	12
6	376	12
7	503	12
8	703	12
9	898	12
10	946	12
11	947	12
done	947	12
0	9	12
1	20	11
2	34	11
3	72	10
4	142	9
5	293	9
6	476	9
7	613	9
8	806	9
9	1150	9
done	1150	9
0	10	12
1	18	12
2	40	12
3	81	12
4	172	12
5	266	12
6	376	12
7	503	12
8	703	12
9	898	12
10	946	12
11	947	12
done	947	12
0	8	9
1	17	8
2	27	8
3	48	8
4	69	8
5	87	8
6	116	8
7	156	8
8	157	8
done	157	8
0	10	12
1	18	12
2	40	12
3	81	12
4	172	12
5	266	12
6	376	12
7	503	12
8	703	12
9	898	12
10	946	12
11	947	12
done	947	12
0	7	8
1	14	5
2	17	1
done	17	1
0	8	11
1	16	11
2	38	11
3	79	11
4	170	11
5	264	11
6	374	11
7	501	11
8	701	11
9	896	11
10	944	11
11	945	11
done	945	11
0	6	6
1	11	5
2	14	1
done	14	1
0	8	11
1	16	11
2	38	11
3	79	11
4	170	11
5	264	11
6	374	11
7	501	11
8	701	11
9	896	11
10	944	11
11	945	11
done	945	11
0	5	6
1	8	6
2	11	6
3	13	6
4	15	6
5	16	6
done	16	6
0	10	11
1	21	10
2	43	10
3	95	10
4	187	10
5	280	10
6	409	10
7	627	10
8	702	10
9	782	10
done	782	10
0	5	8
1	11	8
2	16	8
3	31	8
4	48	8
5	70	8
6	85	8
7	93	8
done	93	8
0	7	7
1	12	7
2	21	7
3	30	7
4	35	7
5	41	7
6	43	7
7	44	7
done	44	7
0	5	8
1	11	8
2	16	8
3	36	8
4	56	8
5	77	8
6	88	8
done	88	8
0	7	7
1	12	7
2	21	7
3	31	7
4	40	7
5	43	7
6	44	7
done	44	7
0	7	14
1	12	14
2	21	11
3	42	11
4	67	11
5	84	11
6	94	11
7	96	11
done	96	11
0	9	12
1	14	12
2	24	12
3	48	12
4	71	12
5	87	12
6	98	12
done	98	12
0	6	9
1	9	9
2	12	9
3	16	9
4	17	9
done	17	9
0	9	12
1	14	12
2	24	12
3	48	12
4	71	12
5	87	12
6	98	12
done	98	12
0	10	16
1	22	16
2	46	16
3	108	12
4	260	12
5	492	12
6	900	12
7	1367	12
8	1992	12
9	2260	12
10	2296	12
11	2299	12
done	2299	12
0	11	13
1	19	13
2	35	13
3	85	13
4	194	13
5	290	13
6	402	13
7	502	13
8	685	13
9	888	13
10	959	13
11	963	13
done	963	13
0	9	13
1	17	13
2	28	13
3	63	13
4	139	13
5	221	13
6	328	13
7	432	13
8	631	13
9	803	13
10	993	13
11	1057	13
done	1057	13
0	11	13
1	19	13
2	35	13
3	85	13
4	194	13
5	290	13
6	402	13
7	502	13
8	685	13
9	888	13
10	959	13
11	963	13
done	963	13
0	9	12
1	18	10
2	35	10
3	83	9
4	172	9
5	278	9
6	402	9
7	660	9
8	845	9
9	891	9
done	891	9
0	10	12
1	18	12
2	34	12
3	84	12
4	193	12
5	289	12
6	401	12
7	501	12
8	684	12
9	887	12
10	958	12
11	962	12
done	962	12
0	9	13
1	17	13
2	26	13
3	56	13
4	114	13
5	223	13
6	374	13
7	550	13
8	832	13
9	1012	13
10	1081	13
11	1086	13
done	1086	13
0	11	13
1	19	13
2	35	13
3	85	13
4	194	13
5	290	13
6	402	13
7	502	13
8	685	13
9	888	13
10	959	13
11	963	13
done	963	13
0	8	10
1	14	10
2	19	10
3	39	10
4	59	10
5	80	10
6	91	10
done	91	10
0	11	13
1	19	13
2	35	13
3	85	13
4	194	13
5	290	13
6	402	13
7	502	13
8	685	13
9	888	13
10	959	13
11	963	13
done	963	13
0	8	9
1	15	7
2	24	7
3	42	7
4	61	7
5	62	7
6	63	7
done	63	7
0	10	12
1	18	12
2	34	12
3	84	12
4	193	12
5	289	12
6	401	12
7	501	12
8	684	12
9	887	12
10	958	12
11	962	12
done	962	12
0	9	12
1	20	11
2	34	11
3	77	10
4	160	9
5	298	9
6	532	9
7	704	9
8	954	9
9	1076	9
done	1076	9
0	10	12
1	18	12
2	34	12
3	84	12
4	193	12
5	289	12
6	401	12
7	501	12
8	684	12
9	887	12
10	958	12
11	962	12
done	962	12
0	8	9
1	17	8
2	27	8
3	54	8
4	82	8
5	96	8
6	124	8
7	162	8
8	163	8
done	163	8
0	10	12
1	18	12
2	34	12
3	84	12
4	193	12
5	289	12
6	401	12
7	501	12
8	684	12
9	887	12
10	958	12
11	962	12
done	962	12
0	7	8
1	14	5
2	17	1
done	17	1
0	8	11
1	16	11
2	32	11
3	82	11
4	191	11
5	287	11
6	399	11
7	499	11
8	682	11
9	885	11
10	956	11
11	960	11
done	960	11
0	6	6
1	11	5
2	14	1
done	14	1
0	8	11
1	16	11
2	32	11
3	82	11
4	191	11
5	287	11
6	399	11
7	499	11
8	682	11
9	885	11
10	956	11
11	960	11
done	960	11
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	10	11
1	21	10
2	37	10
3	97	10
4	212	10
5	298	10
6	413	10
7	601	10
8	675	10
9	753	10
done	753	10
0	5	8
1	11	8
2	16	8
3	36	8
4	56	8
5	77	8
6	88	8
done	88	8
0	7	7
1	12	7
2	21	7
3	31	7
4	40	7
5	43	7
6	44	7
done	44	7
0	10	21
1	20	21
2	35	21
3	58	21
4	81	21
5	91	21
6	104	21
7	120	21
8	146	21
9	155	21
done	155	21
0	9	12
1	17	12
2	27	12
3	44	12
4	60	12
5	65	12
6	73	12
7	88	12
8	114	12
9	123	12
done	123	12
0	5	5
1	10	3
2	20	3
done	20	3
0	10	13
1	23	13
2	41	13
3	50	13
4	56	13
5	63	13
6	65	13
done	65	13
0	5	5
1	10	3
2	20	3
done	20	3
0	5	5
1	10	3
2	20	3
done	20	3
0	5	5
1	10	3
2	20	3
done	20	3
0	5	5
1	10	3
2	20	3
done	20	3
0	9	12
1	15	12
2	28	12
3	54	12
4	97	12
5	126	12
6	156	12
7	189	12
8	286	12
9	341	12
10	346	12
done	346	12
0	9	12
1	15	12
2	28	12
3	54	12
4	97	12
5	126	12
6	156	12
7	189	12
8	286	12
9	341	12
10	346	12
done	346	12
0	11	13
1	19	13
2	41	13
3	82	13
4	173	13
5	267	13
6	377	13
7	504	13
8	763	13
9	959	13
10	998	13
done	998	13
0	11	13
1	19	13
2	41	13
3	82	13
4	173	13
5	267	13
6	377	13
7	504	13
8	763	13
9	959	13
10	998	13
done	998	13
0	10	12
1	18	12
2	40	12
3	81	12
4	172	12
5	266	12
6	376	12
7	503	12
8	762	12
9	958	12
10	997	12
done	997	12
0	11	13
1	19	13
2	41	13
3	82	13
4	173	13
5	267	13
6	377	13
7	504	13
8	763	13
9	959	13
10	998	13
done	998	13
0	11	13
1	19	13
2	41	13
3	82	13
4	173	13
5	267	13
6	377	13
7	504	13
8	763	13
9	959	13
10	998	13
done	998	13
0	10	12
1	18	12
2	40	12
3	81	12
4	172	12
5	266	12
6	376	12
7	503	12
8	762	12
9	958	12
10	997	12
done	997	12
0	10	12
1	18	12
2	40	12
3	81	12
4	172	12
5	266	12
6	376	12
7	503	12
8	703	12
9	898	12
10	946	12
11	947	12
done	947	12
0	10	12
1	18	12
2	40	12
3	81	12
4	172	12
5	266	12
6	376	12
7	503	12
8	703	12
9	898	12
10	946	12
11	947	12
done	947	12
0	8	11
1	16	11
2	38	11
3	79	11
4	170	11
5	264	11
6	374	11
7	501	11
8	701	11
9	896	11
10	944	11
11	945	11
done	945	11
0	8	11
1	16	11
2	38	11
3	79	11
4	170	11
5	264	11
6	374	11
7	501	11
8	701	11
9	896	11
10	944	11
11	945	11
done	945	11
0	10	11
1	20	11
2	42	9
3	113	9
4	248	9
5	395	9
6	472	9
7	696	9
8	1291	9
9	1515	9
10	1959	9
11	4414	9
done	5000	9
0	11	15
1	32	15
2	71	15
3	214	15
4	675	15
5	2429	15
done	5000	15
0	10	19
1	21	19
2	55	19
3	169	19
4	636	19
5	2310	19
done	5000	19
0	8	9
1	14	9
2	27	9
3	53	9
4	96	9
5	125	9
6	155	9
7	188	9
8	257	9
9	317	9
10	331	9
11	332	9
done	332	9
0	4	4
1	8	4
2	13	4
3	31	4
4	70	4
5	174	4
6	553	4
7	2172	4
done	5001	4
0	4	4
1	8	4
2	13	4
3	31	4
4	70	4
5	174	4
6	553	4
7	2172	4
done	5001	4
0	4	4
1	8	4
2	13	4
3	31	4
4	70	4
5	174	4
6	553	4
7	2172	4
done	5001	4
0	12	14
1	28	13
2	61	11
3	162	11
4	412	11
5	772	11
6	1269	11
7	1762	11
8	2020	11
9	2033	11
done	2033	11
0	13	16
1	32	14
2	72	11
3	210	11
4	510	11
5	1000	11
6	1515	11
7	1911	11
8	2002	11
done	2002	11
0	13	16
1	29	16
2	69	16
3	204	16
4	696	16
5	2124	13
6	4238	11
done	5001	11

prune583.0ms

Filtered

111 candidates to 147 candidates (-32.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	146	1	147
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	147	7	154

Merged error: 1.6b

Counts

154 → 7

regimes464.0ms

Accuracy

0% (0.7b remaining)

Error of 2.3b against oracle of 1.6b and baseline of 2.3b

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	33	50
1	44	50
2	51	50
3	57	50
done	57	50

end0.0ms

sample11.4s

Algorithm

intervals

Results

2.6s	3488×	body	1280	valid
2.1s	2881×	body	1280	nan
2.0s	15404×	body	80	overflowed
1.3s	2435×	body	640	valid
1.2s	2409×	body	640	nan
471.0ms	1182×	body	320	valid
462.0ms	1217×	body	320	nan
177.0ms	623×	body	160	valid
168.0ms	612×	body	160	nan
127.0ms	842×	body	80	nan
37.0ms	272×	body	80	valid

Details

sample371.0ms

simplify1.5s

prune6.0ms

localize26.0ms

rewrite43.0ms

series63.0ms

simplify3.3min

prune497.0ms

localize35.0ms

rewrite60.0ms

series156.0ms

simplify7.5min

prune1.2s

localize28.0ms

rewrite37.0ms

series67.0ms

simplify3.5min

prune586.0ms

localize41.0ms

rewrite34.0ms

series36.0ms

simplify8.4min

prune583.0ms

regimes464.0ms

bsearch0.0ms

simplify8.0ms

end0.0ms

sample11.4s

Profiling