Details

sample39.0ms

Algorithm

intervals

Results

13.0ms	55×	body	1280	valid
7.0ms	37×	body	640	valid
5.0ms	139×	body	80	valid
2.0ms	14×	body	320	valid
1.0ms	11×	body	160	valid

simplify3.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	15	10
2	22	10
3	30	10
4	53	10
5	111	10
6	256	10
7	721	10
8	2461	10
done	5000	10

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 27.6b

Counts

2 → 1

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
0.0b	(+ 1.0 (exp (* -2.0 x)))
2.7b	(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

24×	`*-un-lft-identity`
17×	`add-sqr-sqrt`
13×	`times-frac`
12×	`add-cube-cbrt`
7×	`add-log-exp`
5×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out`
4×	`associate-/r*`
3×	`pow1` `associate-/l*`
2×	`flip3-+` `associate-/r/` `flip-+` `difference-of-squares`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `flip3--` `frac-2neg` `diff-log` `div-exp` `clear-num` `sum-log` `flip--` `div-inv` `distribute-lft-out--`

Counts

3 → 60

Calls

3 calls:

6.0ms	(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
4.0ms	(+ 1.0 (exp (* -2.0 x)))
12.0ms	(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

series18.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
2.0ms	(+ 1.0 (exp (* -2.0 x)))
10.0ms	(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

simplify3.7min

Counts

69 → 69

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	17	11
2	25	11
3	36	11
4	62	11
5	123	11
6	269	11
7	749	11
8	2500	11
done	5000	11
0	10	11
1	16	11
2	23	11
3	31	11
4	54	11
5	112	11
6	253	11
7	711	11
8	2461	11
done	5000	11
0	10	11
1	19	11
2	28	11
3	39	11
4	68	11
5	127	11
6	284	11
7	750	11
8	2494	11
done	5000	11
0	11	23
1	17	23
2	24	23
3	32	23
4	55	23
5	111	23
6	253	23
7	712	23
8	2462	23
done	5001	23
0	10	11
1	16	11
2	23	11
3	31	11
4	54	11
5	112	11
6	253	11
7	711	11
8	2461	11
done	5000	11
0	11	32
1	18	32
2	39	12
3	97	12
4	272	12
5	784	12
6	2465	12
done	5000	12
0	10	11
1	16	11
2	23	11
3	31	11
4	54	11
5	112	11
6	253	11
7	711	11
8	2461	11
done	5000	11
0	10	11
1	16	11
2	23	11
3	31	11
4	54	11
5	112	11
6	253	11
7	711	11
8	2461	11
done	5000	11
0	12	14
1	34	14
2	79	14
3	185	14
4	492	14
5	1604	14
done	5000	14
0	13	32
1	30	30
2	53	30
3	70	23
4	119	23
5	232	23
6	674	23
7	2916	23
done	5001	23
0	2	2
done	2	2
0	11	21
1	24	21
2	43	21
3	73	21
4	150	21
5	314	21
6	811	21
7	3179	21
done	5000	21
0	9	10
1	14	10
2	20	10
3	28	10
4	51	10
5	109	10
6	255	10
7	720	10
8	2464	10
done	5000	10
0	11	12
1	16	12
2	22	12
3	30	12
4	53	12
5	111	12
6	256	12
7	721	12
8	2461	12
done	5000	12
0	11	12
1	17	12
2	24	12
3	32	12
4	55	12
5	111	12
6	253	12
7	712	12
8	2462	12
done	5001	12
0	12	13
1	17	13
2	23	13
3	31	13
4	54	13
5	112	13
6	256	13
7	717	13
8	2468	13
done	5001	13
0	12	13
1	18	13
2	25	13
3	33	13
4	56	13
5	114	13
6	258	13
7	713	13
8	2444	13
done	5001	13
0	9	10
1	15	10
2	22	10
3	30	10
4	53	10
5	111	10
6	256	10
7	721	10
8	2461	10
done	5000	10
0	2	2
done	2	2
0	8	8
1	14	7
2	21	7
3	31	7
4	61	7
5	141	7
6	369	7
7	1167	7
8	4717	7
done	5000	7
0	7	7
1	11	7
2	17	7
3	25	7
4	48	7
5	104	7
6	247	7
7	704	7
8	2417	7
done	5000	7
0	7	7
1	14	7
2	21	7
3	31	7
4	61	7
5	141	7
6	371	7
7	1172	7
8	4706	7
done	5000	7
0	8	15
1	12	15
2	18	15
3	26	15
4	49	15
5	107	15
6	247	15
7	707	15
8	2452	15
done	5001	15
0	7	7
1	11	7
2	17	7
3	25	7
4	48	7
5	104	7
6	247	7
7	704	7
8	2417	7
done	5000	7
0	8	20
1	25	20
2	63	8
3	167	8
4	573	8
5	2252	8
done	5000	8
0	7	7
1	11	7
2	17	7
3	25	7
4	48	7
5	104	7
6	247	7
7	704	7
8	2417	7
done	5000	7
0	7	7
1	11	7
2	17	7
3	25	7
4	48	7
5	104	7
6	247	7
7	704	7
8	2417	7
done	5000	7
0	9	10
1	26	10
2	44	10
3	96	10
4	241	10
5	751	10
6	3651	10
done	5000	10
0	10	20
1	23	15
2	51	15
3	104	15
4	255	15
5	664	15
6	2061	15
done	5000	15
0	8	13
1	18	12
2	38	10
3	85	10
4	220	10
5	736	10
6	3041	10
done	5000	10
0	6	6
1	11	6
2	18	6
3	29	6
4	62	6
5	149	6
6	394	6
7	1239	6
8	4716	6
done	5000	6
0	6	6
1	10	6
2	16	6
3	24	6
4	47	6
5	103	6
6	240	6
7	696	6
8	2438	6
done	5001	6
0	10	10
1	16	10
2	23	10
3	31	10
4	54	10
5	110	10
6	254	10
7	710	10
8	2460	10
done	5000	10
0	9	9
1	16	9
2	24	9
3	33	9
4	56	9
5	114	9
6	258	9
7	711	9
8	2448	9
done	5001	9
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	250	9
7	713	9
8	2468	9
done	5001	9
0	12	26
1	37	26
2	105	12
3	271	10
4	784	10
5	2753	10
done	5001	10
0	10	19
1	14	19
2	20	19
3	28	19
4	51	19
5	109	19
6	255	19
7	720	19
8	2475	19
done	5000	19
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	250	9
7	713	9
8	2468	9
done	5001	9
0	10	26
1	21	26
2	43	10
3	88	10
4	192	10
5	430	10
6	1366	10
done	5000	10
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	250	9
7	713	9
8	2468	9
done	5001	9
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	250	9
7	713	9
8	2468	9
done	5001	9
0	2	2
done	2	2
0	7	7
1	14	7
2	22	7
3	34	7
4	67	7
5	150	7
6	395	7
7	1235	7
8	4694	7
done	5001	7
0	12	21
1	22	21
2	37	21
3	51	21
4	74	21
5	130	21
6	276	21
7	734	21
8	2499	21
done	5000	21
0	10	10
1	14	10
2	20	10
3	28	10
4	51	10
5	107	10
6	252	10
7	712	10
8	2456	10
done	5001	10
0	11	13
1	17	13
2	25	13
3	34	13
4	57	13
5	115	13
6	263	13
7	733	13
8	2475	13
done	5000	13
0	10	10
1	14	10
2	20	10
3	28	10
4	51	10
5	107	10
6	252	10
7	712	10
8	2456	10
done	5001	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	253	9
7	719	9
8	2481	9
done	5000	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	253	9
7	719	9
8	2481	9
done	5000	9
0	11	18
1	17	18
2	23	18
3	31	18
4	54	18
5	112	18
6	256	18
7	717	18
8	2468	18
done	5000	18
0	10	10
1	14	10
2	20	10
3	28	10
4	51	10
5	107	10
6	252	10
7	712	10
8	2456	10
done	5001	10
0	10	10
1	14	10
2	20	10
3	28	10
4	51	10
5	107	10
6	252	10
7	712	10
8	2456	10
done	5001	10
0	10	10
1	14	10
2	20	10
3	28	10
4	51	10
5	107	10
6	252	10
7	712	10
8	2456	10
done	5001	10
0	4	4
1	6	2
2	8	2
done	8	2
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	253	9
7	719	9
8	2481	9
done	5000	9
0	4	4
1	6	2
2	8	2
done	8	2
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	253	9
7	719	9
8	2481	9
done	5000	9
0	10	17
1	18	17
2	24	17
3	32	17
4	55	17
5	110	17
6	250	17
7	708	17
8	2470	17
done	5000	17
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	250	9
7	713	9
8	2468	9
done	5001	9
0	9	9
1	15	9
2	21	9
3	29	9
4	52	9
5	109	9
6	250	9
7	709	9
8	2438	9
done	5000	9
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	250	9
7	713	9
8	2468	9
done	5001	9
0	2	3
1	4	1
done	4	1
0	8	8
1	12	8
2	18	8
3	26	8
4	49	8
5	107	8
6	247	8
7	707	8
8	2463	8
done	5001	8
0	2	3
1	4	1
done	4	1
0	8	8
1	12	8
2	18	8
3	26	8
4	49	8
5	107	8
6	247	8
7	707	8
8	2463	8
done	5001	8
0	8	8
1	14	8
2	20	8
3	28	8
4	51	8
5	108	8
6	252	8
7	712	8
8	2451	8
done	5000	8
0	8	8
1	12	8
2	18	8
3	26	8
4	49	8
5	107	8
6	247	8
7	707	8
8	2452	8
done	5001	8
0	10	17
1	16	17
2	22	17
3	30	17
4	53	17
5	111	17
6	256	17
7	721	17
8	2461	17
done	5000	17
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	250	9
7	713	9
8	2468	9
done	5001	9
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	250	9
7	713	9
8	2459	9
done	5001	9
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	250	9
7	713	9
8	2459	9
done	5001	9
0	8	8
1	12	8
2	18	8
3	26	8
4	49	8
5	107	8
6	247	8
7	707	8
8	2452	8
done	5001	8
0	11	12
1	28	12
2	46	12
3	98	12
4	241	12
5	764	12
6	3661	12
done	5001	12
0	10	15
1	20	14
2	42	12
3	91	12
4	225	12
5	734	12
6	3045	12
done	5000	12
0	13	15
1	32	15
2	69	15
3	184	15
4	420	15
5	1197	13
done	5001	13
0	11	12
1	22	12
2	32	10
3	41	10
4	69	10
5	125	10
6	267	10
7	721	10
8	2475	10
done	5000	10
0	11	12
1	22	12
2	32	10
3	41	10
4	69	10
5	125	10
6	267	10
7	721	10
8	2475	10
done	5000	10
0	8	11
1	20	11
2	49	11
3	76	9
4	114	9
5	169	9
6	277	9
7	477	9
8	812	9
9	1959	9
done	5000	9
0	6	6
1	10	6
2	16	6
3	24	6
4	47	6
5	103	6
6	240	6
7	699	6
8	2440	6
done	5000	6
0	6	6
1	10	6
2	16	6
3	24	6
4	47	6
5	103	6
6	240	6
7	699	6
8	2440	6
done	5000	6
0	9	11
1	24	11
2	58	11
3	131	11
4	282	11
5	649	11
6	2066	11
done	5000	11
0	8	8
1	12	8
2	18	8
3	26	8
4	49	8
5	107	8
6	247	8
7	707	8
8	2452	8
done	5001	8
0	8	8
1	12	8
2	18	8
3	26	8
4	49	8
5	107	8
6	247	8
7	707	8
8	2452	8
done	5001	8

prune141.0ms

Filtered

50 candidates to 69 candidates (-38.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	67	2	69
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	68	2	70

Merged error: 0.0b

Counts

70 → 2

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
0.0b	(+ 1.0 (exp (* -2.0 x)))
0.0b	(cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
2.7b	(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

32×	`*-un-lft-identity`
31×	`add-sqr-sqrt`
18×	`cbrt-prod`
16×	`add-cube-cbrt`
15×	`times-frac`
8×	`add-log-exp`
6×	`add-exp-log` `unpow-prod-down` `cube-prod` `add-cbrt-cube` `difference-of-squares`
5×	`distribute-lft-out`
4×	`pow1` `associate-/r*`
3×	`associate-/l*` `distribute-lft-out--`
2×	`cube-div` `cbrt-div` `flip3--` `flip3-+` `associate-/r/` `flip--` `flip-+`
1×	`cbrt-undiv` `+-commutative` `cube-mult` `sub-neg` `frac-2neg` `pow1/3` `diff-log` `unpow3` `div-exp` `clear-num` `sum-log` `rem-cbrt-cube` `div-inv` `sqr-pow`

Counts

4 → 89

Calls

4 calls:

6.0ms	(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
4.0ms	(+ 1.0 (exp (* -2.0 x)))
13.0ms	(cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
12.0ms	(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

series31.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
2.0ms	(+ 1.0 (exp (* -2.0 x)))
9.0ms	(cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
13.0ms	(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

simplify5.5min

Counts

101 → 101

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	17	11
2	25	11
3	36	11
4	62	11
5	123	11
6	269	11
7	749	11
8	2500	11
done	5000	11
0	10	11
1	16	11
2	23	11
3	31	11
4	54	11
5	112	11
6	253	11
7	711	11
8	2461	11
done	5000	11
0	10	11
1	19	11
2	28	11
3	39	11
4	68	11
5	127	11
6	284	11
7	750	11
8	2494	11
done	5000	11
0	11	23
1	17	23
2	24	23
3	32	23
4	55	23
5	111	23
6	253	23
7	712	23
8	2462	23
done	5001	23
0	10	11
1	16	11
2	23	11
3	31	11
4	54	11
5	112	11
6	253	11
7	711	11
8	2461	11
done	5000	11
0	11	32
1	18	32
2	39	12
3	97	12
4	272	12
5	784	12
6	2465	12
done	5000	12
0	10	11
1	16	11
2	23	11
3	31	11
4	54	11
5	112	11
6	253	11
7	711	11
8	2461	11
done	5000	11
0	10	11
1	16	11
2	23	11
3	31	11
4	54	11
5	112	11
6	253	11
7	711	11
8	2461	11
done	5000	11
0	12	14
1	34	14
2	79	14
3	185	14
4	492	14
5	1604	14
done	5000	14
0	13	32
1	30	30
2	53	30
3	70	23
4	119	23
5	232	23
6	674	23
7	2916	23
done	5001	23
0	2	2
done	2	2
0	11	21
1	24	21
2	43	21
3	73	21
4	150	21
5	314	21
6	811	21
7	3179	21
done	5000	21
0	9	10
1	14	10
2	20	10
3	28	10
4	51	10
5	109	10
6	255	10
7	720	10
8	2464	10
done	5000	10
0	11	12
1	16	12
2	22	12
3	30	12
4	53	12
5	111	12
6	256	12
7	721	12
8	2461	12
done	5000	12
0	11	12
1	17	12
2	24	12
3	32	12
4	55	12
5	111	12
6	253	12
7	712	12
8	2462	12
done	5001	12
0	12	13
1	17	13
2	23	13
3	31	13
4	54	13
5	112	13
6	256	13
7	717	13
8	2468	13
done	5001	13
0	12	13
1	18	13
2	25	13
3	33	13
4	56	13
5	114	13
6	258	13
7	713	13
8	2444	13
done	5001	13
0	9	10
1	15	10
2	22	10
3	30	10
4	53	10
5	111	10
6	256	10
7	721	10
8	2461	10
done	5000	10
0	2	2
done	2	2
0	13	14
1	27	11
2	51	11
3	115	11
4	305	11
5	870	11
6	2708	11
done	5000	11
0	13	14
1	27	11
2	56	11
3	123	11
4	319	11
5	886	11
6	2740	11
done	5001	11
0	14	26
1	30	23
2	57	14
3	110	14
4	269	14
5	694	13
6	2104	13
done	5000	13
0	13	14
1	27	11
2	39	11
3	57	11
4	101	11
5	212	11
6	554	11
7	1925	11
done	5000	11
0	13	14
1	27	11
2	39	11
3	66	11
4	118	11
5	239	11
6	579	11
7	1953	11
done	5000	11
0	13	14
1	27	11
2	39	11
3	66	11
4	118	11
5	239	11
6	579	11
7	1953	11
done	5000	11
0	4	4
1	14	1
2	18	1
done	18	1
0	12	13
1	26	10
2	50	10
3	114	10
4	304	10
5	871	10
6	2699	10
done	5000	10
0	14	15
1	27	12
2	54	12
3	104	12
4	214	12
5	517	12
6	1570	12
7	4071	12
done	5000	12
0	14	15
1	28	12
2	52	12
3	108	12
4	255	12
5	695	12
6	2258	12
done	5000	12
0	15	16
1	28	13
2	55	13
3	113	13
4	266	13
5	672	13
6	1905	13
7	4885	13
done	5000	13
0	15	16
1	29	13
2	53	13
3	117	13
4	307	13
5	875	13
6	2723	13
done	5000	13
0	4	4
1	14	1
2	18	1
done	18	1
0	12	13
1	26	10
2	50	10
3	114	10
4	304	10
5	871	10
6	2699	10
done	5000	10
0	11	22
1	17	22
2	30	22
3	59	22
4	131	22
5	256	22
6	501	22
7	1144	22
8	3441	22
done	5000	22
0	10	11
1	16	11
2	23	11
3	31	11
4	54	11
5	112	11
6	253	11
7	711	11
8	2461	11
done	5000	11
0	14	28
1	27	22
2	51	22
3	115	22
4	305	22
5	868	22
6	2728	22
done	5000	22
0	13	14
1	27	11
2	51	11
3	115	11
4	305	11
5	870	11
6	2708	11
done	5000	11
0	14	26
1	30	23
2	57	14
3	110	14
4	269	14
5	694	13
6	2104	13
done	5000	13
0	13	14
1	27	11
2	39	11
3	57	11
4	101	11
5	212	11
6	554	11
7	1925	11
done	5000	11
0	13	14
1	27	11
2	39	11
3	66	11
4	118	11
5	239	11
6	579	11
7	1953	11
done	5000	11
0	13	14
1	27	11
2	39	11
3	66	11
4	118	11
5	239	11
6	579	11
7	1953	11
done	5000	11
0	4	4
1	14	1
2	18	1
done	18	1
0	12	13
1	26	10
2	50	10
3	114	10
4	304	10
5	871	10
6	2699	10
done	5000	10
0	14	15
1	27	12
2	54	12
3	104	12
4	214	12
5	517	12
6	1570	12
7	4071	12
done	5000	12
0	14	15
1	28	12
2	52	12
3	108	12
4	255	12
5	695	12
6	2258	12
done	5000	12
0	15	16
1	28	13
2	55	13
3	113	13
4	266	13
5	672	13
6	1905	13
7	4885	13
done	5000	13
0	15	16
1	29	13
2	53	13
3	117	13
4	307	13
5	875	13
6	2723	13
done	5000	13
0	4	4
1	14	1
2	18	1
done	18	1
0	12	13
1	26	10
2	50	10
3	114	10
4	304	10
5	871	10
6	2699	10
done	5000	10
0	10	11
1	16	11
2	23	11
3	31	11
4	54	11
5	112	11
6	253	11
7	711	11
8	2461	11
done	5000	11
0	11	22
1	17	22
2	30	22
3	59	22
4	131	22
5	256	22
6	501	22
7	1144	22
8	3441	22
done	5000	22
0	13	14
1	27	14
2	52	14
3	116	14
4	306	14
5	872	14
6	2704	14
done	5000	14
0	13	14
1	27	14
2	52	14
3	116	14
4	306	14
5	872	14
6	2704	14
done	5000	14
0	2	2
1	4	1
done	4	1
0	12	13
1	26	10
2	50	10
3	114	10
4	304	10
5	871	10
6	2699	10
done	5000	10
0	14	15
1	24	13
2	37	13
3	55	13
4	99	13
5	212	13
6	554	13
7	1927	13
done	5000	13
0	14	15
1	24	13
2	37	13
3	55	13
4	99	13
5	212	13
6	554	13
7	1927	13
done	5000	13
0	14	17
1	41	14
2	101	14
3	364	14
4	2386	14
done	5001	14
0	16	35
1	41	30
2	97	30
3	368	23
4	2193	23
done	5000	23
0	14	24
1	35	21
2	85	21
3	321	21
4	1799	21
done	5001	21
0	12	13
1	25	10
2	52	10
3	110	10
4	263	10
5	664	10
6	1894	10
7	4928	10
done	5000	10
0	14	29
1	28	23
2	52	23
3	116	23
4	306	23
5	874	23
6	2718	23
done	5001	23
0	13	14
1	27	11
2	51	11
3	115	11
4	305	11
5	870	11
6	2708	11
done	5000	11
0	14	41
1	26	12
2	50	12
3	114	12
4	304	12
5	869	12
6	2717	12
done	5001	12
0	13	14
1	27	11
2	51	11
3	115	11
4	305	11
5	870	11
6	2708	11
done	5000	11
0	13	14
1	27	11
2	51	11
3	115	11
4	305	11
5	870	11
6	2708	11
done	5000	11
0	8	8
1	14	7
2	21	7
3	31	7
4	61	7
5	141	7
6	369	7
7	1167	7
8	4717	7
done	5000	7
0	7	7
1	11	7
2	17	7
3	25	7
4	48	7
5	104	7
6	247	7
7	704	7
8	2417	7
done	5000	7
0	7	7
1	14	7
2	21	7
3	31	7
4	61	7
5	141	7
6	371	7
7	1172	7
8	4706	7
done	5000	7
0	8	15
1	12	15
2	18	15
3	26	15
4	49	15
5	107	15
6	247	15
7	707	15
8	2452	15
done	5001	15
0	7	7
1	11	7
2	17	7
3	25	7
4	48	7
5	104	7
6	247	7
7	704	7
8	2417	7
done	5000	7
0	8	20
1	25	20
2	63	8
3	167	8
4	573	8
5	2252	8
done	5000	8
0	7	7
1	11	7
2	17	7
3	25	7
4	48	7
5	104	7
6	247	7
7	704	7
8	2417	7
done	5000	7
0	7	7
1	11	7
2	17	7
3	25	7
4	48	7
5	104	7
6	247	7
7	704	7
8	2417	7
done	5000	7
0	9	10
1	26	10
2	44	10
3	96	10
4	241	10
5	751	10
6	3651	10
done	5000	10
0	10	20
1	23	15
2	51	15
3	104	15
4	255	15
5	664	15
6	2061	15
done	5000	15
0	8	13
1	18	12
2	38	10
3	85	10
4	220	10
5	736	10
6	3041	10
done	5000	10
0	6	6
1	11	6
2	18	6
3	29	6
4	62	6
5	149	6
6	394	6
7	1239	6
8	4716	6
done	5000	6
0	6	6
1	10	6
2	16	6
3	24	6
4	47	6
5	103	6
6	240	6
7	696	6
8	2438	6
done	5001	6
0	10	10
1	16	10
2	23	10
3	31	10
4	54	10
5	110	10
6	254	10
7	710	10
8	2460	10
done	5000	10
0	9	9
1	16	9
2	24	9
3	33	9
4	56	9
5	114	9
6	258	9
7	711	9
8	2448	9
done	5001	9
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	250	9
7	713	9
8	2468	9
done	5001	9
0	12	26
1	37	26
2	105	12
3	271	10
4	784	10
5	2753	10
done	5001	10
0	10	19
1	14	19
2	20	19
3	28	19
4	51	19
5	109	19
6	255	19
7	720	19
8	2475	19
done	5000	19
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	250	9
7	713	9
8	2468	9
done	5001	9
0	10	26
1	21	26
2	43	10
3	88	10
4	192	10
5	430	10
6	1366	10
done	5000	10
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	250	9
7	713	9
8	2468	9
done	5001	9
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	250	9
7	713	9
8	2468	9
done	5001	9
0	2	2
done	2	2
0	7	7
1	14	7
2	22	7
3	34	7
4	67	7
5	150	7
6	395	7
7	1235	7
8	4694	7
done	5001	7
0	12	21
1	22	21
2	37	21
3	51	21
4	74	21
5	130	21
6	276	21
7	734	21
8	2499	21
done	5000	21
0	10	10
1	14	10
2	20	10
3	28	10
4	51	10
5	107	10
6	252	10
7	712	10
8	2456	10
done	5001	10
0	11	13
1	17	13
2	25	13
3	34	13
4	57	13
5	115	13
6	263	13
7	733	13
8	2475	13
done	5000	13
0	10	10
1	14	10
2	20	10
3	28	10
4	51	10
5	107	10
6	252	10
7	712	10
8	2456	10
done	5001	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	253	9
7	719	9
8	2481	9
done	5000	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	253	9
7	719	9
8	2481	9
done	5000	9
0	11	18
1	17	18
2	23	18
3	31	18
4	54	18
5	112	18
6	256	18
7	717	18
8	2468	18
done	5000	18
0	10	10
1	14	10
2	20	10
3	28	10
4	51	10
5	107	10
6	252	10
7	712	10
8	2456	10
done	5001	10
0	10	10
1	14	10
2	20	10
3	28	10
4	51	10
5	107	10
6	252	10
7	712	10
8	2456	10
done	5001	10
0	10	10
1	14	10
2	20	10
3	28	10
4	51	10
5	107	10
6	252	10
7	712	10
8	2456	10
done	5001	10
0	4	4
1	6	2
2	8	2
done	8	2
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	253	9
7	719	9
8	2481	9
done	5000	9
0	4	4
1	6	2
2	8	2
done	8	2
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	253	9
7	719	9
8	2481	9
done	5000	9
0	10	17
1	18	17
2	24	17
3	32	17
4	55	17
5	110	17
6	250	17
7	708	17
8	2470	17
done	5000	17
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	250	9
7	713	9
8	2468	9
done	5001	9
0	9	9
1	15	9
2	21	9
3	29	9
4	52	9
5	109	9
6	250	9
7	709	9
8	2438	9
done	5000	9
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	250	9
7	713	9
8	2468	9
done	5001	9
0	2	3
1	4	1
done	4	1
0	8	8
1	12	8
2	18	8
3	26	8
4	49	8
5	107	8
6	247	8
7	707	8
8	2463	8
done	5001	8
0	2	3
1	4	1
done	4	1
0	8	8
1	12	8
2	18	8
3	26	8
4	49	8
5	107	8
6	247	8
7	707	8
8	2463	8
done	5001	8
0	8	8
1	14	8
2	20	8
3	28	8
4	51	8
5	108	8
6	252	8
7	712	8
8	2451	8
done	5000	8
0	8	8
1	12	8
2	18	8
3	26	8
4	49	8
5	107	8
6	247	8
7	707	8
8	2452	8
done	5001	8
0	10	17
1	16	17
2	22	17
3	30	17
4	53	17
5	111	17
6	256	17
7	721	17
8	2461	17
done	5000	17
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	250	9
7	713	9
8	2468	9
done	5001	9
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	250	9
7	713	9
8	2459	9
done	5001	9
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	250	9
7	713	9
8	2459	9
done	5001	9
0	8	8
1	12	8
2	18	8
3	26	8
4	49	8
5	107	8
6	247	8
7	707	8
8	2452	8
done	5001	8
0	11	12
1	28	12
2	46	12
3	98	12
4	241	12
5	764	12
6	3661	12
done	5001	12
0	10	15
1	20	14
2	42	12
3	91	12
4	225	12
5	734	12
6	3045	12
done	5000	12
0	13	15
1	32	15
2	69	15
3	184	15
4	420	15
5	1197	13
done	5001	13
0	11	12
1	22	12
2	32	10
3	41	10
4	69	10
5	125	10
6	267	10
7	721	10
8	2475	10
done	5000	10
0	11	12
1	22	12
2	32	10
3	41	10
4	69	10
5	125	10
6	267	10
7	721	10
8	2475	10
done	5000	10
0	13	15
1	32	15
2	69	15
3	184	15
4	420	15
5	1197	13
done	5001	13
0	11	12
1	22	12
2	32	10
3	41	10
4	69	10
5	125	10
6	267	10
7	721	10
8	2475	10
done	5000	10
0	11	12
1	22	12
2	32	10
3	41	10
4	69	10
5	125	10
6	267	10
7	721	10
8	2475	10
done	5000	10
0	8	11
1	20	11
2	49	11
3	76	9
4	114	9
5	169	9
6	277	9
7	477	9
8	812	9
9	1959	9
done	5000	9
0	6	6
1	10	6
2	16	6
3	24	6
4	47	6
5	103	6
6	240	6
7	699	6
8	2440	6
done	5000	6
0	6	6
1	10	6
2	16	6
3	24	6
4	47	6
5	103	6
6	240	6
7	699	6
8	2440	6
done	5000	6
0	9	11
1	24	11
2	58	11
3	131	11
4	282	11
5	649	11
6	2066	11
done	5000	11
0	8	8
1	12	8
2	18	8
3	26	8
4	49	8
5	107	8
6	247	8
7	707	8
8	2452	8
done	5001	8
0	8	8
1	12	8
2	18	8
3	26	8
4	49	8
5	107	8
6	247	8
7	707	8
8	2452	8
done	5001	8

prune203.0ms

Filtered

69 candidates to 101 candidates (-46.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	100	1	101
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	101	2	103

Merged error: 0b

Counts

103 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(cbrt (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3))
0.0b	(pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)
0.0b	(cbrt (pow (- (cbrt (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)) 1.0) 3))
2.7b	(- (cbrt (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)) 1.0)

rewrite77.0ms

Algorithm

rewrite-expression-head

Rules

88×	`cbrt-prod`
86×	`add-sqr-sqrt`
71×	`*-un-lft-identity`
54×	`times-frac`
53×	`unpow-prod-down` `cube-prod`
41×	`add-cube-cbrt`
21×	`difference-of-squares`
12×	`distribute-lft-out`
8×	`associate-/r/`
7×	`add-exp-log` `add-cbrt-cube`
6×	`add-log-exp` `sqr-pow`
5×	`pow1`
4×	`cube-div` `flip3-+` `flip-+` `div-inv`
3×	`cube-mult` `pow-unpow` `cbrt-div` `unpow3` `distribute-lft-out--`
2×	`flip3--` `pow1/3` `pow-exp` `flip--` `rem-cbrt-cube` `rem-cube-cbrt`
1×	`cbrt-undiv` `pow-to-exp` `sub-neg` `pow-pow` `diff-log` `div-exp`

Counts

4 → 167

Calls

4 calls:

9.0ms	(cbrt (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3))
13.0ms	(pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)
24.0ms	(cbrt (pow (- (cbrt (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)) 1.0) 3))
22.0ms	(- (cbrt (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)) 1.0)

series38.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(cbrt (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3))
11.0ms	(pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)
9.0ms	(cbrt (pow (- (cbrt (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)) 1.0) 3))
10.0ms	(- (cbrt (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)) 1.0)

simplify9.9min

Counts

179 → 179

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	14	15
1	31	11
2	62	11
3	147	11
4	392	11
5	1225	11
done	5000	11
0	13	14
1	30	11
2	60	11
3	142	11
4	384	11
5	1218	11
done	5000	11
0	13	14
1	33	11
2	65	11
3	150	11
4	398	11
5	1222	11
done	5000	11
0	14	29
1	31	23
2	61	23
3	143	23
4	385	23
5	1226	23
done	5000	23
0	13	14
1	30	11
2	60	11
3	142	11
4	384	11
5	1218	11
done	5000	11
0	14	41
1	32	32
2	75	12
3	204	12
4	586	12
5	1883	12
done	5000	12
0	13	14
1	30	11
2	60	11
3	142	11
4	384	11
5	1218	11
done	5000	11
0	13	14
1	30	11
2	60	11
3	142	11
4	384	11
5	1218	11
done	5000	11
0	14	17
1	38	14
2	83	14
3	189	14
4	494	14
5	1598	14
done	5001	14
0	16	41
1	37	30
2	78	30
3	166	23
4	410	23
5	1241	23
done	5000	23
0	2	2
done	2	2
0	14	27
1	33	21
2	69	21
3	166	21
4	440	21
5	1320	21
done	5000	21
0	12	13
1	28	10
2	57	10
3	139	10
4	381	10
5	1211	10
done	5000	10
0	14	15
1	27	12
2	38	12
3	61	12
4	109	12
5	226	12
6	567	12
7	1969	12
done	5000	12
0	14	15
1	28	12
2	40	12
3	63	12
4	111	12
5	222	12
6	564	12
7	1940	12
done	5000	12
0	15	16
1	31	13
2	60	13
3	126	13
4	313	13
5	863	13
6	3621	13
done	5001	13
0	15	16
1	32	13
2	62	13
3	128	13
4	315	13
5	868	13
6	3630	13
done	5000	13
0	14	15
1	27	12
2	38	12
3	61	12
4	109	12
5	226	12
6	567	12
7	1969	12
done	5000	12
0	14	15
1	28	12
2	40	12
3	63	12
4	111	12
5	222	12
6	564	12
7	1940	12
done	5000	12
0	15	16
1	31	13
2	60	13
3	126	13
4	313	13
5	863	13
6	3621	13
done	5001	13
0	15	16
1	32	13
2	62	13
3	128	13
4	315	13
5	868	13
6	3630	13
done	5000	13
0	14	15
1	30	15
2	60	15
3	142	15
4	385	15
5	1219	15
done	5000	15
0	14	15
1	31	15
2	62	15
3	144	15
4	384	15
5	1215	15
done	5000	15
0	15	16
1	25	14
2	36	14
3	54	14
4	98	14
5	209	14
6	553	14
7	1935	14
done	5000	14
0	15	16
1	25	14
2	38	14
3	56	14
4	100	14
5	211	14
6	553	14
7	1924	14
done	5001	14
0	14	15
1	30	12
2	59	12
3	141	12
4	383	12
5	1212	12
done	5000	12
0	14	15
1	31	12
2	61	12
3	143	12
4	385	12
5	1226	12
done	5000	12
0	12	13
1	29	10
2	59	10
3	141	10
4	383	10
5	1209	10
done	5000	10
0	2	2
done	2	2
0	15	17
1	37	11
2	82	11
3	216	11
4	612	11
5	1947	11
done	5000	11
0	15	17
1	37	11
2	87	11
3	224	11
4	626	11
5	1960	11
done	5001	11
0	16	32
1	40	23
2	88	14
3	214	14
4	590	14
5	1786	13
done	5000	13
0	15	17
1	37	11
2	70	11
3	159	11
4	419	11
5	1290	11
done	5000	11
0	15	17
1	37	11
2	70	11
3	168	11
4	436	11
5	1325	11
done	5000	11
0	15	17
1	37	11
2	70	11
3	168	11
4	436	11
5	1325	11
done	5000	11
0	4	4
1	14	1
2	18	1
done	18	1
0	14	16
1	36	10
2	81	10
3	215	10
4	613	10
5	1950	10
done	5000	10
0	16	18
1	34	12
2	64	12
3	125	12
4	255	12
5	619	12
6	1869	12
done	5000	12
0	16	18
1	35	12
2	62	12
3	129	12
4	296	12
5	784	12
6	2539	12
done	5000	12
0	17	19
1	38	13
2	86	13
3	198	13
4	505	13
5	1410	13
done	5001	13
0	17	19
1	39	13
2	84	13
3	202	13
4	546	13
5	1604	13
done	5000	13
0	16	18
1	34	12
2	64	12
3	125	12
4	255	12
5	619	12
6	1869	12
done	5000	12
0	16	18
1	35	12
2	62	12
3	129	12
4	296	12
5	784	12
6	2539	12
done	5000	12
0	17	19
1	38	13
2	86	13
3	198	13
4	505	13
5	1410	13
done	5001	13
0	17	19
1	39	13
2	84	13
3	202	13
4	546	13
5	1604	13
done	5000	13
0	16	18
1	37	15
2	86	15
3	207	15
4	534	15
5	1605	15
done	5000	15
0	16	18
1	38	15
2	84	15
3	211	15
4	575	15
5	1775	15
done	5000	15
0	17	19
1	32	14
2	63	14
3	119	14
4	246	14
5	594	14
6	1847	14
done	5001	14
0	17	19
1	32	14
2	61	14
3	128	14
4	292	14
5	776	14
6	2519	14
done	5000	14
0	16	18
1	37	12
2	85	12
3	206	12
4	532	12
5	1657	12
done	5001	12
0	16	18
1	38	12
2	83	12
3	210	12
4	573	12
5	1826	12
done	5000	12
0	4	4
1	14	1
2	18	1
done	18	1
0	14	16
1	36	10
2	81	10
3	215	10
4	613	10
5	1950	10
done	5000	10
0	14	28
1	31	22
2	67	22
3	169	22
4	454	22
5	1344	22
done	5000	22
0	13	14
1	30	11
2	60	11
3	142	11
4	384	11
5	1218	11
done	5000	11
0	16	34
1	37	22
2	82	22
3	216	22
4	612	22
5	1951	22
done	5000	22
0	15	17
1	37	11
2	82	11
3	216	11
4	612	11
5	1947	11
done	5000	11
0	16	32
1	40	23
2	88	14
3	214	14
4	590	14
5	1786	13
done	5000	13
0	15	17
1	37	11
2	70	11
3	159	11
4	419	11
5	1290	11
done	5000	11
0	15	17
1	37	11
2	70	11
3	168	11
4	436	11
5	1325	11
done	5000	11
0	15	17
1	37	11
2	70	11
3	168	11
4	436	11
5	1325	11
done	5000	11
0	4	4
1	14	1
2	18	1
done	18	1
0	14	16
1	36	10
2	81	10
3	215	10
4	613	10
5	1950	10
done	5000	10
0	16	18
1	34	12
2	64	12
3	125	12
4	255	12
5	619	12
6	1869	12
done	5000	12
0	16	18
1	35	12
2	62	12
3	129	12
4	296	12
5	784	12
6	2539	12
done	5000	12
0	17	19
1	38	13
2	86	13
3	198	13
4	505	13
5	1410	13
done	5001	13
0	17	19
1	39	13
2	84	13
3	202	13
4	546	13
5	1604	13
done	5000	13
0	16	18
1	34	12
2	64	12
3	125	12
4	255	12
5	619	12
6	1869	12
done	5000	12
0	16	18
1	35	12
2	62	12
3	129	12
4	296	12
5	784	12
6	2539	12
done	5000	12
0	17	19
1	38	13
2	86	13
3	198	13
4	505	13
5	1410	13
done	5001	13
0	17	19
1	39	13
2	84	13
3	202	13
4	546	13
5	1604	13
done	5000	13
0	16	18
1	37	15
2	86	15
3	207	15
4	534	15
5	1605	15
done	5000	15
0	16	18
1	38	15
2	84	15
3	211	15
4	575	15
5	1775	15
done	5000	15
0	17	19
1	32	14
2	63	14
3	119	14
4	246	14
5	594	14
6	1847	14
done	5001	14
0	17	19
1	32	14
2	61	14
3	128	14
4	292	14
5	776	14
6	2519	14
done	5000	14
0	16	18
1	37	12
2	85	12
3	206	12
4	532	12
5	1657	12
done	5001	12
0	16	18
1	38	12
2	83	12
3	210	12
4	573	12
5	1826	12
done	5000	12
0	4	4
1	14	1
2	18	1
done	18	1
0	14	16
1	36	10
2	81	10
3	215	10
4	613	10
5	1950	10
done	5000	10
0	13	14
1	30	11
2	60	11
3	142	11
4	384	11
5	1218	11
done	5000	11
0	14	28
1	31	22
2	67	22
3	169	22
4	454	22
5	1344	22
done	5000	22
0	15	17
1	37	14
2	83	14
3	217	14
4	617	14
5	1952	14
done	5000	14
0	15	17
1	37	14
2	83	14
3	217	14
4	617	14
5	1952	14
done	5000	14
0	2	2
1	4	1
done	4	1
0	14	16
1	36	10
2	81	10
3	215	10
4	613	10
5	1950	10
done	5000	10
0	16	18
1	34	13
2	68	13
3	157	13
4	416	13
5	1295	13
done	5000	13
0	16	18
1	34	13
2	68	13
3	157	13
4	416	13
5	1295	13
done	5000	13
0	16	20
1	45	14
2	105	14
3	368	14
4	2384	14
done	5001	14
0	18	44
1	44	30
2	116	30
3	439	23
4	2277	23
done	5001	23
0	16	30
1	40	21
2	105	21
3	393	21
4	1895	21
done	5000	21
0	14	16
1	35	10
2	83	10
3	211	10
4	570	10
5	1753	10
done	5001	10
0	16	35
1	38	23
2	83	23
3	217	23
4	617	23
5	1947	23
done	5001	23
0	15	17
1	37	11
2	82	11
3	216	11
4	612	11
5	1947	11
done	5000	11
0	16	50
1	36	12
2	81	12
3	215	12
4	613	12
5	1949	12
done	5000	12
0	15	17
1	37	11
2	82	11
3	216	11
4	612	11
5	1947	11
done	5000	11
0	15	17
1	37	11
2	82	11
3	216	11
4	612	11
5	1947	11
done	5000	11
0	12	12
1	19	12
2	32	12
3	45	12
4	73	12
5	128	12
6	268	12
7	723	12
8	2485	12
done	5000	12
0	11	11
1	19	11
2	27	11
3	42	11
4	70	11
5	130	11
6	276	11
7	749	11
8	2505	11
done	5000	11
0	11	11
1	19	11
2	27	11
3	42	11
4	70	11
5	130	11
6	276	11
7	749	11
8	2505	11
done	5000	11
0	3	3
1	6	1
done	6	1
0	12	14
1	20	14
2	32	14
3	64	14
4	141	14
5	353	14
6	1099	14
7	4004	14
done	5001	14
0	11	11
1	19	11
2	29	11
3	55	11
4	115	11
5	270	11
6	764	11
7	2784	11
done	5000	11
0	10	10
1	21	8
2	33	8
3	52	8
4	99	8
5	220	8
6	568	8
7	1931	8
done	5000	8
0	12	21
1	26	21
2	52	11
3	97	11
4	221	11
5	558	11
6	1743	11
done	5001	11
0	11	11
1	23	8
2	34	8
3	52	8
4	96	8
5	211	8
6	553	8
7	1899	8
done	5000	8
0	11	11
1	23	11
2	34	11
3	57	11
4	105	11
5	218	11
6	559	11
7	1924	11
done	5001	11
0	11	11
1	23	11
2	34	11
3	57	11
4	105	11
5	218	11
6	559	11
7	1924	11
done	5001	11
0	14	23
1	35	23
2	109	23
3	406	12
4	1774	12
done	5000	12
0	12	12
1	27	12
2	56	8
3	100	8
4	185	8
5	386	8
6	874	8
7	2809	8
done	5000	8
0	13	15
1	30	15
2	73	15
3	217	13
4	683	13
5	1838	13
done	5001	13
0	12	12
1	27	12
2	56	11
3	100	11
4	194	11
5	411	11
6	988	11
7	3376	11
done	5000	11
0	7	9
1	21	7
2	59	7
3	161	3
4	269	3
5	537	3
6	1599	3
done	5000	3
0	11	11
1	26	11
2	55	10
3	115	10
4	252	10
5	717	10
6	2787	10
done	5001	10
0	7	9
1	21	7
2	59	7
3	161	3
4	269	3
5	537	3
6	1599	3
done	5000	3
0	11	11
1	26	11
2	55	10
3	115	10
4	252	10
5	717	10
6	2787	10
done	5001	10
0	13	20
1	30	20
2	71	20
3	205	14
4	680	14
5	2399	14
done	5000	14
0	12	12
1	27	12
2	56	11
3	122	11
4	300	11
5	834	11
6	3500	11
done	5000	11
0	12	12
1	27	12
2	56	12
3	122	12
4	309	12
5	859	12
6	3616	12
done	5000	12
0	12	12
1	27	12
2	56	12
3	122	12
4	309	12
5	859	12
6	3616	12
done	5000	12
0	6	6
1	18	4
2	34	4
3	59	4
4	115	4
5	288	4
6	1067	4
done	5000	4
0	11	11
1	26	11
2	55	11
3	137	11
4	367	11
5	1165	11
done	5002	11
0	6	6
1	18	4
2	34	4
3	59	4
4	115	4
5	288	4
6	1067	4
done	5000	4
0	11	11
1	26	11
2	55	11
3	137	11
4	367	11
5	1165	11
done	5002	11
0	12	19
1	31	19
2	67	19
3	167	11
4	437	11
5	1052	11
6	3819	11
done	5000	11
0	11	11
1	26	11
2	55	10
3	121	10
4	308	10
5	882	10
6	3670	10
done	5000	10
0	11	11
1	28	11
2	52	11
3	94	11
4	187	11
5	378	11
6	1159	11
7	4329	11
done	5000	11
0	11	11
1	26	11
2	55	11
3	121	11
4	317	11
5	907	11
6	3810	11
done	5001	11
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	10	10
1	25	10
2	54	10
3	136	10
4	378	10
5	1204	10
done	5000	10
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	10	10
1	25	10
2	54	10
3	136	10
4	378	10
5	1204	10
done	5000	10
0	3	3
1	13	1
done	13	1
0	10	10
1	25	10
2	54	10
3	136	10
4	378	10
5	1204	10
done	5000	10
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	10	10
1	27	10
2	51	10
3	109	10
4	247	10
5	680	10
6	2995	10
done	5000	10
0	12	14
1	37	14
2	76	14
3	199	14
4	659	14
5	3138	14
done	5000	14
0	12	22
1	33	17
2	82	17
3	259	17
4	1373	17
done	5001	17
0	12	17
1	33	16
2	81	14
3	278	14
4	1462	14
done	5000	14
0	8	8
1	21	8
2	45	8
3	104	8
4	330	8
5	1590	8
done	5000	8
0	9	17
1	17	17
2	29	17
3	44	17
4	88	17
5	190	17
6	623	17
7	2896	17
done	5001	17
0	11	11
1	28	11
2	69	11
3	180	11
4	548	11
5	1796	11
done	5000	11
0	11	11
1	26	11
2	61	11
3	155	11
4	447	11
5	1461	11
done	5001	11
0	12	23
1	26	17
2	55	17
3	137	17
4	379	17
5	1210	17
done	5000	17
0	11	11
1	26	8
2	55	8
3	137	8
4	379	8
5	1213	8
done	5000	8
0	12	32
1	31	21
2	101	12
3	466	12
4	4436	12
done	5001	12
0	12	21
1	26	21
2	52	11
3	97	11
4	221	11
5	558	11
6	1743	11
done	5001	11
0	11	11
1	23	8
2	34	8
3	52	8
4	96	8
5	211	8
6	553	8
7	1899	8
done	5000	8
0	11	11
1	23	11
2	34	11
3	57	11
4	105	11
5	218	11
6	559	11
7	1924	11
done	5001	11
0	11	11
1	23	11
2	34	11
3	57	11
4	105	11
5	218	11
6	559	11
7	1924	11
done	5001	11
0	14	23
1	35	23
2	109	23
3	406	12
4	1774	12
done	5000	12
0	12	12
1	27	12
2	56	8
3	100	8
4	185	8
5	386	8
6	874	8
7	2809	8
done	5000	8
0	13	15
1	30	15
2	73	15
3	217	13
4	683	13
5	1838	13
done	5001	13
0	12	12
1	27	12
2	56	11
3	100	11
4	194	11
5	411	11
6	988	11
7	3376	11
done	5000	11
0	7	9
1	21	7
2	59	7
3	161	3
4	269	3
5	537	3
6	1599	3
done	5000	3
0	11	11
1	26	11
2	55	10
3	115	10
4	252	10
5	717	10
6	2787	10
done	5001	10
0	7	9
1	21	7
2	59	7
3	161	3
4	269	3
5	537	3
6	1599	3
done	5000	3
0	11	11
1	26	11
2	55	10
3	115	10
4	252	10
5	717	10
6	2787	10
done	5001	10
0	13	20
1	30	20
2	71	20
3	205	14
4	680	14
5	2399	14
done	5000	14
0	12	12
1	27	12
2	56	11
3	122	11
4	300	11
5	834	11
6	3500	11
done	5000	11
0	12	12
1	27	12
2	56	12
3	122	12
4	309	12
5	859	12
6	3616	12
done	5000	12
0	12	12
1	27	12
2	56	12
3	122	12
4	309	12
5	859	12
6	3616	12
done	5000	12
0	6	6
1	18	4
2	34	4
3	59	4
4	115	4
5	288	4
6	1067	4
done	5000	4
0	11	11
1	26	11
2	55	11
3	137	11
4	367	11
5	1165	11
done	5002	11
0	6	6
1	18	4
2	34	4
3	59	4
4	115	4
5	288	4
6	1067	4
done	5000	4
0	11	11
1	26	11
2	55	11
3	137	11
4	367	11
5	1165	11
done	5002	11
0	12	19
1	31	19
2	67	19
3	167	11
4	437	11
5	1052	11
6	3819	11
done	5000	11
0	11	11
1	26	11
2	55	10
3	121	10
4	308	10
5	882	10
6	3670	10
done	5000	10
0	11	11
1	28	11
2	52	11
3	94	11
4	187	11
5	378	11
6	1159	11
7	4329	11
done	5000	11
0	11	11
1	26	11
2	55	11
3	121	11
4	317	11
5	907	11
6	3810	11
done	5001	11
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	10	10
1	25	10
2	54	10
3	136	10
4	378	10
5	1204	10
done	5000	10
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	10	10
1	25	10
2	54	10
3	136	10
4	378	10
5	1204	10
done	5000	10
0	3	3
1	13	1
done	13	1
0	10	10
1	25	10
2	54	10
3	136	10
4	378	10
5	1204	10
done	5000	10
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	10	10
1	27	10
2	51	10
3	109	10
4	247	10
5	680	10
6	2995	10
done	5000	10
0	12	14
1	37	14
2	76	14
3	199	14
4	659	14
5	3138	14
done	5000	14
0	12	22
1	33	17
2	82	17
3	259	17
4	1373	17
done	5001	17
0	12	17
1	33	16
2	81	14
3	278	14
4	1462	14
done	5000	14
0	8	8
1	21	8
2	45	8
3	104	8
4	330	8
5	1590	8
done	5000	8
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	8	8
1	20	8
2	47	8
3	107	8
4	316	8
5	1147	8
done	5000	8
0	9	17
1	17	17
2	29	17
3	44	17
4	88	17
5	190	17
6	623	17
7	2896	17
done	5001	17
0	11	11
1	26	11
2	56	11
3	138	11
4	381	11
5	1214	11
done	5000	11
0	11	11
1	26	11
2	56	11
3	138	11
4	381	11
5	1214	11
done	5000	11
0	12	12
1	21	10
2	32	10
3	50	10
4	94	10
5	209	10
6	548	10
7	1914	10
done	5000	10
0	12	12
1	21	10
2	32	10
3	50	10
4	94	10
5	209	10
6	548	10
7	1914	10
done	5000	10
0	12	12
1	27	9
2	59	9
3	143	9
4	386	9
5	1218	9
done	5000	9
0	12	12
1	27	9
2	56	9
3	138	9
4	380	9
5	1211	9
done	5000	9
0	13	22
1	27	19
2	53	12
3	98	12
4	222	12
5	559	11
6	1747	11
done	5000	11
0	12	12
1	24	9
2	35	9
3	53	9
4	97	9
5	213	9
6	546	9
7	1923	9
done	5001	9
0	12	12
1	24	9
2	35	9
3	58	9
4	106	9
5	221	9
6	562	9
7	1945	9
done	5000	9
0	12	12
1	24	9
2	35	9
3	58	9
4	106	9
5	221	9
6	562	9
7	1945	9
done	5000	9
0	15	24
1	36	21
2	110	21
3	407	13
4	1733	13
done	5001	13
0	13	13
1	28	10
2	57	9
3	101	9
4	186	9
5	385	9
6	873	9
7	2854	9
done	5000	9
0	14	16
1	31	13
2	74	13
3	218	13
4	686	13
5	1876	13
done	5000	13
0	13	13
1	28	10
2	57	10
3	101	10
4	195	10
5	410	10
6	989	10
7	3344	10
done	5000	10
0	8	10
1	22	5
2	60	5
3	160	4
4	280	4
5	550	4
6	1600	4
done	5000	4
0	12	12
1	27	9
2	56	9
3	116	9
4	253	9
5	718	9
6	2793	9
done	5001	9
0	8	10
1	22	5
2	60	5
3	160	4
4	280	4
5	550	4
6	1600	4
done	5000	4
0	12	12
1	27	9
2	56	9
3	116	9
4	253	9
5	718	9
6	2793	9
done	5001	9
0	14	21
1	31	18
2	72	18
3	206	15
4	678	15
5	2407	15
done	5001	15
0	13	13
1	28	10
2	57	10
3	123	10
4	301	10
5	839	10
6	3480	10
done	5001	10
0	13	13
1	28	10
2	57	10
3	123	10
4	310	10
5	864	10
6	3609	10
done	5001	10
0	13	13
1	28	10
2	57	10
3	123	10
4	310	10
5	864	10
6	3609	10
done	5001	10
0	7	7
1	19	2
2	35	2
3	60	2
4	116	2
5	289	2
6	1062	2
done	5000	2
0	12	12
1	27	9
2	56	9
3	138	9
4	368	9
5	1166	9
done	5000	9
0	7	7
1	19	2
2	35	2
3	60	2
4	116	2
5	289	2
6	1062	2
done	5000	2
0	12	12
1	27	9
2	56	9
3	138	9
4	368	9
5	1166	9
done	5000	9
0	13	20
1	32	17
2	68	17
3	168	12
4	440	12
5	1070	12
6	3841	11
done	5001	11
0	12	12
1	27	9
2	56	9
3	122	9
4	309	9
5	876	9
6	3660	9
done	5000	9
0	12	12
1	29	9
2	53	9
3	95	9
4	188	9
5	381	9
6	1152	9
7	4290	9
done	5001	9
0	12	12
1	27	9
2	56	9
3	122	9
4	318	9
5	901	9
6	3800	9
done	5000	9
0	5	6
1	16	1
done	16	1
0	11	11
1	26	8
2	55	8
3	137	8
4	379	8
5	1213	8
done	5000	8
0	5	6
1	16	1
done	16	1
0	11	11
1	26	8
2	55	8
3	137	8
4	379	8
5	1213	8
done	5000	8
0	4	4
1	14	1
2	18	1
done	18	1
0	11	11
1	26	8
2	55	8
3	137	8
4	379	8
5	1213	8
done	5000	8
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	11	11
1	28	8
2	52	8
3	110	8
4	248	8
5	682	8
6	2984	8
done	5000	8
0	13	15
1	38	12
2	77	12
3	200	12
4	659	12
5	3195	12
done	5000	12
0	13	23
1	34	15
2	83	15
3	260	15
4	1378	15
done	5001	15
0	13	18
1	34	14
2	82	12
3	279	12
4	1459	12
done	5000	12
0	9	9
1	22	6
2	46	6
3	105	6
4	329	6
5	1586	6
done	5000	6
0	10	18
1	18	18
2	30	18
3	45	18
4	89	18
5	193	18
6	627	18
7	2890	18
done	5000	18
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	250	9
7	713	9
8	2468	9
done	5001	9
0	13	24
1	27	18
2	56	18
3	138	18
4	380	18
5	1211	18
done	5000	18
0	12	12
1	27	9
2	56	9
3	138	9
4	380	9
5	1211	9
done	5000	9
0	13	22
1	27	19
2	53	12
3	98	12
4	222	12
5	559	11
6	1747	11
done	5000	11
0	12	12
1	24	9
2	35	9
3	53	9
4	97	9
5	213	9
6	546	9
7	1923	9
done	5001	9
0	12	12
1	24	9
2	35	9
3	58	9
4	106	9
5	221	9
6	562	9
7	1945	9
done	5000	9
0	12	12
1	24	9
2	35	9
3	58	9
4	106	9
5	221	9
6	562	9
7	1945	9
done	5000	9
0	15	24
1	36	21
2	110	21
3	407	13
4	1733	13
done	5001	13
0	13	13
1	28	10
2	57	9
3	101	9
4	186	9
5	385	9
6	873	9
7	2854	9
done	5000	9
0	14	16
1	31	13
2	74	13
3	218	13
4	686	13
5	1876	13
done	5000	13
0	13	13
1	28	10
2	57	10
3	101	10
4	195	10
5	410	10
6	989	10
7	3344	10
done	5000	10
0	8	10
1	22	5
2	60	5
3	160	4
4	280	4
5	550	4
6	1600	4
done	5000	4
0	12	12
1	27	9
2	56	9
3	116	9
4	253	9
5	718	9
6	2793	9
done	5001	9
0	8	10
1	22	5
2	60	5
3	160	4
4	280	4
5	550	4
6	1600	4
done	5000	4
0	12	12
1	27	9
2	56	9
3	116	9
4	253	9
5	718	9
6	2793	9
done	5001	9
0	14	21
1	31	18
2	72	18
3	206	15
4	678	15
5	2407	15
done	5001	15
0	13	13
1	28	10
2	57	10
3	123	10
4	301	10
5	839	10
6	3480	10
done	5001	10
0	13	13
1	28	10
2	57	10
3	123	10
4	310	10
5	864	10
6	3609	10
done	5001	10
0	13	13
1	28	10
2	57	10
3	123	10
4	310	10
5	864	10
6	3609	10
done	5001	10
0	7	7
1	19	2
2	35	2
3	60	2
4	116	2
5	289	2
6	1062	2
done	5000	2
0	12	12
1	27	9
2	56	9
3	138	9
4	368	9
5	1166	9
done	5000	9
0	7	7
1	19	2
2	35	2
3	60	2
4	116	2
5	289	2
6	1062	2
done	5000	2
0	12	12
1	27	9
2	56	9
3	138	9
4	368	9
5	1166	9
done	5000	9
0	13	20
1	32	17
2	68	17
3	168	12
4	440	12
5	1070	12
6	3841	11
done	5001	11
0	12	12
1	27	9
2	56	9
3	122	9
4	309	9
5	876	9
6	3660	9
done	5000	9
0	12	12
1	29	9
2	53	9
3	95	9
4	188	9
5	381	9
6	1152	9
7	4290	9
done	5001	9
0	12	12
1	27	9
2	56	9
3	122	9
4	318	9
5	901	9
6	3800	9
done	5000	9
0	5	6
1	16	1
done	16	1
0	11	11
1	26	8
2	55	8
3	137	8
4	379	8
5	1213	8
done	5000	8
0	5	6
1	16	1
done	16	1
0	11	11
1	26	8
2	55	8
3	137	8
4	379	8
5	1213	8
done	5000	8
0	4	4
1	14	1
2	18	1
done	18	1
0	11	11
1	26	8
2	55	8
3	137	8
4	379	8
5	1213	8
done	5000	8
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	11	11
1	28	8
2	52	8
3	110	8
4	248	8
5	682	8
6	2984	8
done	5000	8
0	13	15
1	38	12
2	77	12
3	200	12
4	659	12
5	3195	12
done	5000	12
0	13	23
1	34	15
2	83	15
3	260	15
4	1378	15
done	5001	15
0	13	18
1	34	14
2	82	12
3	279	12
4	1459	12
done	5000	12
0	9	9
1	22	6
2	46	6
3	105	6
4	329	6
5	1586	6
done	5000	6
0	9	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	250	9
7	713	9
8	2468	9
done	5001	9
0	10	18
1	18	18
2	30	18
3	45	18
4	89	18
5	193	18
6	627	18
7	2890	18
done	5000	18
0	12	12
1	27	12
2	57	12
3	139	12
4	382	12
5	1217	12
done	5000	12
0	12	12
1	27	12
2	57	12
3	139	12
4	382	12
5	1217	12
done	5000	12
0	2	2
1	4	1
done	4	1
0	11	11
1	26	8
2	55	8
3	137	8
4	379	8
5	1213	8
done	5000	8
0	13	13
1	22	11
2	33	11
3	51	11
4	95	11
5	212	11
6	562	11
7	1955	11
done	5000	11
0	13	13
1	22	11
2	33	11
3	51	11
4	95	11
5	212	11
6	562	11
7	1955	11
done	5000	11
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	9	9
1	21	6
2	48	6
3	108	6
4	316	6
5	1159	6
done	5000	6
0	13	25
1	28	19
2	57	19
3	139	19
4	381	19
5	1211	19
done	5000	19
0	12	12
1	27	9
2	56	9
3	138	9
4	380	9
5	1211	9
done	5000	9
0	13	35
1	26	10
2	55	10
3	137	10
4	379	10
5	1210	10
done	5000	10
0	12	12
1	27	9
2	56	9
3	138	9
4	380	9
5	1211	9
done	5000	9
0	12	12
1	27	9
2	56	9
3	138	9
4	380	9
5	1211	9
done	5000	9
0	13	15
1	32	15
2	69	15
3	184	15
4	420	15
5	1197	13
done	5001	13
0	11	12
1	22	12
2	32	10
3	41	10
4	69	10
5	125	10
6	267	10
7	721	10
8	2475	10
done	5000	10
0	11	12
1	22	12
2	32	10
3	41	10
4	69	10
5	125	10
6	267	10
7	721	10
8	2475	10
done	5000	10
0	13	15
1	32	15
2	69	15
3	184	15
4	420	15
5	1197	13
done	5001	13
0	11	12
1	22	12
2	32	10
3	41	10
4	69	10
5	125	10
6	267	10
7	721	10
8	2475	10
done	5000	10
0	11	12
1	22	12
2	32	10
3	41	10
4	69	10
5	125	10
6	267	10
7	721	10
8	2475	10
done	5000	10
0	9	11
1	20	11
2	42	9
3	55	9
4	69	9
5	87	9
6	133	9
7	242	9
8	479	9
9	1419	9
done	5000	9
0	10	10
1	22	10
2	55	10
3	121	10
4	340	10
5	1204	10
done	5000	10
0	10	10
1	22	10
2	55	10
3	121	10
4	340	10
5	1204	10
done	5000	10
0	9	11
1	24	11
2	58	11
3	131	11
4	282	11
5	649	11
6	2066	11
done	5000	11
0	8	8
1	12	8
2	18	8
3	26	8
4	49	8
5	107	8
6	247	8
7	707	8
8	2452	8
done	5001	8
0	8	8
1	12	8
2	18	8
3	26	8
4	49	8
5	107	8
6	247	8
7	707	8
8	2452	8
done	5001	8

prune313.0ms

Filtered

95 candidates to 179 candidates (-88.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0b

Counts

181 → 2

localize15.0ms

Local error

Found 1 expressions with local error:

0.1b	(* (pow x 3) (+ (* 5.551115123125783e-17 x) 0.33333333333333337))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `associate-l`
6×	`add-exp-log`
5×	`add-cube-cbrt` `*-un-lft-identity`
4×	`unpow-prod-down` `cube-prod` `unswap-sqr`
3×	`associate-r` `prod-exp` `add-cbrt-cube`
2×	`associate-*r/` `sqr-pow`
1×	`pow1` `distribute-rgt-in` `cube-mult` `pow-to-exp` `distribute-lft-in` `flip3-+` `unpow3` `pow-exp` `*-commutative` `cbrt-unprod` `flip-+` `add-log-exp`

Counts

1 → 35

Calls

1 calls:

10.0ms

(* (pow x 3) (+ (* 5.551115123125783e-17 x) 0.33333333333333337))

series9.0ms

Counts

1 → 3

Calls

1 calls:

9.0ms

(* (pow x 3) (+ (* 5.551115123125783e-17 x) 0.33333333333333337))

simplify2.5min

Counts

38 → 38

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	14	11
done	14	11
0	10	11
1	14	11
done	14	11
0	10	11
1	23	11
2	35	11
3	62	11
4	117	11
5	270	11
6	758	11
7	2822	11
done	5000	11
0	9	10
1	29	10
2	88	10
3	192	10
4	400	10
5	1012	10
6	3315	10
done	5000	10
0	9	10
1	28	10
2	93	10
3	230	10
4	574	10
5	2114	10
done	5000	10
0	12	29
1	44	25
2	184	13
3	1000	13
done	5000	13
0	10	21
1	27	21
2	78	21
3	160	21
4	317	21
5	830	21
6	2871	21
done	5000	21
0	9	10
1	26	10
2	77	10
3	163	10
4	319	10
5	826	10
6	2841	10
done	5000	10
0	10	29
1	37	29
2	193	11
3	1184	11
done	5000	11
0	9	10
1	26	10
2	77	10
3	163	10
4	319	10
5	826	10
6	2841	10
done	5000	10
0	9	10
1	26	10
2	77	10
3	163	10
4	319	10
5	826	10
6	2841	10
done	5000	10
0	10	11
1	21	11
2	39	11
3	63	11
4	110	11
5	257	11
6	787	11
7	3089	11
done	5000	11
0	10	11
1	21	11
2	39	11
3	63	11
4	110	11
5	257	11
6	787	11
7	3089	11
done	5000	11
0	10	11
1	21	11
2	39	11
3	63	11
4	110	11
5	257	11
6	787	11
7	3089	11
done	5000	11
0	10	11
1	21	11
2	39	11
3	63	11
4	110	11
5	257	11
6	787	11
7	3089	11
done	5000	11
0	10	11
1	21	11
2	28	11
3	38	11
4	61	11
5	124	11
6	338	11
7	1254	11
done	5000	11
0	10	11
1	21	11
2	28	11
3	38	11
4	61	11
5	124	11
6	338	11
7	1254	11
done	5000	11
0	11	12
1	18	10
2	29	10
3	47	10
4	93	10
5	232	10
6	765	10
7	3085	10
done	5001	10
0	11	12
1	18	10
2	29	10
3	47	10
4	93	10
5	232	10
6	765	10
7	3085	10
done	5001	10
0	6	7
1	18	7
2	46	7
3	93	5
4	203	5
5	563	5
6	2009	5
done	5000	5
0	5	5
1	14	5
2	32	5
3	53	5
4	101	5
5	252	5
6	773	5
7	3066	5
done	5001	5
0	6	7
1	18	7
2	45	7
3	94	5
4	198	5
5	524	5
6	1841	5
done	5000	5
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	10	17
1	23	17
2	52	17
3	109	17
4	202	17
5	488	17
6	1547	17
done	5001	17
0	9	10
1	20	10
2	38	10
3	62	10
4	111	10
5	259	10
6	785	10
7	3089	10
done	5000	10
0	5	5
1	16	3
2	37	3
3	73	3
4	119	3
5	220	3
6	502	3
7	1650	3
done	5001	3
0	9	10
1	26	7
2	34	7
3	40	7
4	50	7
5	73	7
6	135	7
7	349	7
8	1271	7
done	5000	7
0	9	10
1	26	10
2	77	10
3	154	10
4	312	10
5	800	10
6	2721	10
done	5000	10
0	8	9
1	25	9
2	76	9
3	162	9
4	321	9
5	840	9
6	2886	9
done	5000	9
0	6	7
1	15	7
2	19	7
done	19	7
0	9	10
1	26	7
2	35	7
3	45	7
4	68	7
5	133	7
6	344	7
7	1264	7
done	5000	7
0	9	10
1	26	7
2	34	7
3	40	7
4	50	7
5	73	7
6	135	7
7	349	7
8	1271	7
done	5000	7
0	9	10
1	26	10
2	77	10
3	154	10
4	312	10
5	800	10
6	2721	10
done	5000	10
0	8	9
1	25	9
2	76	9
3	162	9
4	321	9
5	840	9
6	2886	9
done	5000	9
0	7	9
1	18	9
2	41	9
3	45	9
4	50	9
5	60	9
6	78	9
7	124	9
8	272	9
9	792	9
10	3096	9
done	5000	9
0	9	10
1	26	10
2	42	10
3	54	10
4	77	10
5	138	10
6	350	10
7	1269	10
done	5001	10
0	8	9
1	25	9
2	76	9
3	162	9
4	321	9
5	840	9
6	2886	9
done	5000	9
0	10	11
1	23	9
2	51	9
3	111	9
4	276	9
5	784	9
6	2726	9
done	5000	9
0	10	13
1	39	13
2	152	13
3	611	13
4	2182	13
done	5000	13
0	10	15
1	31	15
2	77	15
3	243	15
4	917	15
5	3324	15
done	5000	15
0	10	11
1	24	11
2	52	11
3	122	11
4	205	11
5	492	9
6	1732	9
done	5000	9
0	10	11
1	24	11
2	52	11
3	122	11
4	205	11
5	492	9
6	1732	9
done	5000	9
0	10	11
1	24	11
2	52	11
3	122	11
4	205	11
5	492	9
6	1732	9
done	5000	9

prune66.0ms

Filtered

29 candidates to 38 candidates (-31.0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

40 → 2

regimes302.0ms

Accuracy

98.8% (0.3b remaining)

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

bsearch1.0ms

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	28	57
1	37	42
done	37	42

end0.0ms

sample1.2s

Algorithm

intervals

Results

428.0ms	1739×	body	1280	valid
235.0ms	1309×	body	640	valid
151.0ms	4090×	body	80	valid
74.0ms	589×	body	320	valid
21.0ms	273×	body	160	valid

Details

sample39.0ms

simplify3.0s

prune3.0ms

localize13.0ms

rewrite23.0ms

series18.0ms

simplify3.7min

prune141.0ms

localize11.0ms

rewrite38.0ms

series31.0ms

simplify5.5min

prune203.0ms

localize13.0ms

rewrite77.0ms

series38.0ms

simplify9.9min

prune313.0ms

localize15.0ms

rewrite11.0ms

series9.0ms

simplify2.5min

prune66.0ms

regimes302.0ms

bsearch1.0ms

simplify3.0ms

end0.0ms

sample1.2s

Profiling