Details

sample39.0ms

Algorithm

intervals

Results

17.0ms	90×	body	1280	valid
6.0ms	46×	body	640	valid
4.0ms	160×	body	80	valid
2.0ms	22×	body	320	valid
1.0ms	16×	body	160	valid

simplify6.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6

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

Counts

2 → 1

localize4.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- (exp x) 1.0) x)
3.8b	(- (exp x) 1.0)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 52

Calls

2 calls:

8.0ms	(/ (- (exp x) 1.0) x)
5.0ms	(- (exp x) 1.0)

series7.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(/ (- (exp x) 1.0) x)
3.0ms	(- (exp x) 1.0)

simplify32.8s

Counts

58 → 58

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	6
1	8	5
2	10	5
3	13	5
4	16	5
5	22	5
6	26	5
7	42	5
8	46	5
9	51	5
10	58	5
11	76	5
12	97	5
13	115	5
14	118	5
done	118	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	10	5
2	13	5
3	16	5
4	22	5
5	26	5
6	42	5
7	46	5
8	51	5
9	58	5
10	77	5
11	98	5
12	111	5
13	114	5
done	114	5
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	24	6
3	67	6
4	178	6
5	507	6
6	1724	6
7	4983	6
done	5000	6
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	7	8
1	22	8
2	46	8
3	85	8
4	176	8
5	521	8
6	2312	8
done	5001	8
0	8	14
1	17	11
2	27	11
3	31	11
4	36	11
5	45	11
6	70	11
7	129	11
8	266	11
9	715	11
10	2419	11
done	5000	11
0	2	2
done	2	2
0	6	9
1	13	8
2	22	8
3	40	8
4	69	8
5	122	8
6	211	8
7	470	8
8	2108	8
done	5001	8
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	4	4
1	6	4
2	7	4
done	7	4
0	2	2
done	2	2
0	7	8
1	11	8
2	13	8
done	13	8
0	6	7
1	14	7
2	19	7
3	22	7
done	22	7
0	6	7
1	11	7
2	17	7
3	21	7
4	24	7
5	30	7
6	34	7
7	50	7
8	54	7
9	61	7
10	70	7
11	90	7
12	116	7
13	137	7
14	144	7
15	150	7
done	150	7
0	9	20
1	20	20
2	68	10
3	203	8
4	564	8
5	2041	8
done	5000	8
0	7	15
1	12	15
2	15	15
3	17	15
done	17	15
0	6	7
1	11	7
2	14	7
3	16	7
done	16	7
0	7	20
1	19	20
2	50	8
3	176	8
4	571	8
5	1722	8
done	5000	8
0	6	7
1	11	7
2	14	7
3	16	7
done	16	7
0	6	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	5
1	7	5
2	11	5
3	13	5
4	14	4
done	14	4
0	2	2
done	2	2
0	3	4
done	3	4
0	3	3
done	3	3
0	9	17
1	17	17
2	27	17
3	33	17
done	33	17
0	7	8
1	9	8
2	10	8
done	10	8
0	8	14
1	12	14
2	15	14
3	16	14
done	16	14
0	7	8
1	9	8
2	10	8
done	10	8
0	8	13
1	14	11
2	21	11
3	26	11
done	26	11
0	6	7
1	8	7
2	9	7
done	9	7
0	8	11
1	12	11
2	13	11
done	13	11
0	7	8
1	9	8
2	10	8
done	10	8
0	7	8
1	9	8
2	10	8
done	10	8
0	7	8
1	9	8
2	10	8
done	10	8
0	7	7
1	11	5
2	14	5
done	14	5
0	6	7
1	8	7
2	9	7
done	9	7
0	5	7
1	9	7
done	9	7
0	6	7
1	11	7
2	14	7
3	16	7
done	16	7
0	4	4
1	6	4
done	6	4
0	6	7
1	11	7
2	14	7
3	16	7
done	16	7
0	2	3
1	4	1
done	4	1
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	9	12
1	12	12
done	12	12
0	8	9
1	13	9
2	16	9
3	18	9
done	18	9
0	8	9
1	9	9
done	9	9
0	8	9
1	13	9
2	16	9
3	18	9
done	18	9
0	8	8
1	11	6
2	13	6
done	13	6
0	7	8
1	12	8
2	15	8
3	17	8
done	17	8
0	5	7
1	9	7
done	9	7
0	6	7
1	11	7
2	14	7
3	16	7
done	16	7
0	4	4
1	6	4
done	6	4
0	6	7
1	11	7
2	14	7
3	16	7
done	16	7
0	2	3
1	4	1
done	4	1
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	3	3
1	5	3
done	5	3
0	5	6
1	7	6
2	8	6
done	8	6
0	7	10
1	14	10
2	22	10
3	27	10
4	30	10
done	30	10
0	6	7
1	11	7
2	14	7
3	16	7
done	16	7
0	6	6
1	13	4
2	18	4
done	18	4
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	5	6
1	7	6
2	8	6
done	8	6
0	7	8
1	9	8
2	10	8
done	10	8
0	5	6
1	7	6
2	8	6
done	8	6
0	9	16
1	25	13
2	56	13
3	85	13
4	100	13
5	115	13
6	152	13
7	252	13
8	540	13
9	1469	13
done	5001	13
0	5	6
1	13	6
2	14	6
done	14	6
0	11	13
1	28	13
2	73	13
3	108	11
4	181	11
5	354	11
6	895	11
7	3250	11
done	5000	11
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
2	7	4
done	7	4
0	10	11
1	22	11
2	41	11
3	64	9
4	111	9
5	252	9
6	789	9
7	3140	9
done	5000	9
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	7	8
1	16	7
2	30	7
3	54	7
4	86	6
5	146	6
6	201	6
7	222	6
8	264	6
9	370	6
10	425	6
11	432	6
done	432	6

prune81.0ms

Filtered

43 candidates to 58 candidates (-34.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	55	3	58
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	56	3	59

Merged error: 0.0b

Counts

59 → 3

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ 1 (* x (+ (* x 1/6) 1/2)))
0.0b	(* x (+ (* x 1/6) 1/2))
0.3b	(* x 1/6)

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt`
7×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
6×	`associate-r` `associate-l`
5×	`add-log-exp`
2×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in` `flip3-+` `associate-r/` `pow-prod-down` `prod-exp` `-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`
1×	`+-commutative` `sum-log`

Counts

3 → 53

Calls

3 calls:

3.0ms	(+ 1 (* x (+ (* x 1/6) 1/2)))
7.0ms	(* x (+ (* x 1/6) 1/2))
4.0ms	(* x 1/6)

series12.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(+ 1 (* x (+ (* x 1/6) 1/2)))
7.0ms	(* x (+ (* x 1/6) 1/2))
2.0ms	(* x 1/6)

simplify1.2min

Counts

62 → 62

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
1	4	3
done	4	3
0	5	5
1	6	5
done	6	5
0	4	4
1	8	4
2	9	4
done	9	4
0	4	4
1	7	4
2	14	4
3	23	4
4	38	4
5	78	4
6	177	4
7	500	4
8	1783	4
done	5000	4
0	7	11
1	16	7
2	32	5
3	57	5
4	96	5
5	145	5
6	282	5
7	713	5
8	2252	5
done	5001	5
0	5	9
1	6	9
done	6	9
0	4	4
1	5	4
done	5	4
0	5	11
1	17	9
2	44	5
3	92	5
4	104	5
5	128	5
6	198	5
7	408	5
8	1091	5
9	3739	5
done	5000	5
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	7
1	8	7
2	10	7
done	10	7
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	6	7
1	15	7
2	19	7
done	19	7
0	8	9
1	11	9
done	11	9
0	7	8
1	19	8
2	24	8
done	24	8
0	7	8
1	18	8
2	31	8
3	52	8
4	97	8
5	257	8
6	721	8
7	2524	8
done	5000	8
0	10	23
1	31	23
2	127	11
3	504	11
4	1818	9
done	5000	9
0	8	17
1	17	17
2	21	17
done	21	17
0	7	8
1	16	8
2	20	8
done	20	8
0	8	23
1	27	23
2	101	9
3	387	9
4	1022	9
5	2981	9
done	5000	9
0	7	8
1	16	8
2	20	8
done	20	8
0	7	8
1	16	8
2	20	8
done	20	8
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	4	5
1	8	5
2	9	5
done	9	5
0	3	3
1	4	3
done	4	3
0	4	5
1	6	5
2	9	5
done	9	5
0	3	3
1	4	3
done	4	3
0	8	15
1	13	15
2	15	15
done	15	15
0	7	8
1	10	8
done	10	8
0	3	3
1	6	1
done	6	1
0	7	8
1	16	8
2	25	8
3	27	8
done	27	8
0	7	8
1	16	8
2	25	8
3	27	8
done	27	8
0	6	7
1	15	7
2	19	7
done	19	7
0	9	11
1	37	9
2	84	9
3	184	9
4	311	9
5	689	9
6	2172	9
done	5000	9
0	8	13
1	24	9
2	50	9
3	95	9
4	195	9
5	322	9
6	455	9
7	707	9
8	1923	9
done	5001	9
0	10	11
1	27	10
2	43	10
3	80	10
4	149	10
5	394	10
6	1244	10
done	5000	10
0	9	10
1	21	10
2	29	10
3	33	10
done	33	10
0	9	10
1	24	10
2	41	10
3	73	10
4	119	10
5	317	10
6	1070	10
7	4522	10
done	5000	10
0	10	21
1	22	21
2	30	21
3	34	21
done	34	21
0	9	10
1	21	10
2	29	10
3	33	10
done	33	10
0	10	29
1	35	29
2	103	11
3	527	11
4	3957	11
done	5001	11
0	9	10
1	21	10
2	29	10
3	33	10
done	33	10
0	9	10
1	21	10
2	29	10
3	33	10
done	33	10
0	11	13
1	39	11
2	91	11
3	343	11
4	1030	11
5	2958	11
done	5000	11
0	12	29
1	40	19
2	161	19
3	553	19
4	1507	19
5	3909	19
done	5001	19
0	10	19
1	33	17
2	98	17
3	332	17
4	1005	17
5	3051	17
done	5000	17
0	8	9
1	21	9
2	37	9
3	69	9
4	94	9
5	110	9
6	144	9
7	190	9
8	229	9
9	234	9
10	241	9
done	241	9
0	6	7
1	13	7
2	14	7
done	14	7
0	6	7
1	11	7
2	14	7
done	14	7
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	8	9
1	16	9
2	31	9
3	36	9
4	46	7
5	58	7
6	80	7
7	144	7
8	360	7
9	1279	7
done	5000	7
0	8	9
1	16	9
2	31	9
3	36	9
4	46	7
5	58	7
6	80	7
7	144	7
8	360	7
9	1279	7
done	5000	7
0	8	9
1	16	9
2	31	9
3	36	9
4	46	7
5	58	7
6	80	7
7	144	7
8	360	7
9	1279	7
done	5000	7
0	10	11
1	22	11
2	41	11
3	64	9
4	111	9
5	252	9
6	789	9
7	3140	9
done	5000	9
0	10	11
1	22	11
2	41	11
3	64	9
4	111	9
5	252	9
6	789	9
7	3140	9
done	5000	9
0	10	11
1	22	11
2	41	11
3	64	9
4	111	9
5	252	9
6	789	9
7	3140	9
done	5000	9

prune76.0ms

Filtered

46 candidates to 62 candidates (-34.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	62	3	65

Merged error: 0.0b

Counts

65 → 3

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (exp x) x)
3.2b	(- (/ (exp x) x) (/ 1.0 x))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 50

Calls

2 calls:

5.0ms	(/ (exp x) x)
16.0ms	(- (/ (exp x) x) (/ 1.0 x))

series9.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(/ (exp x) x)
5.0ms	(- (/ (exp x) x) (/ 1.0 x))

simplify22.9s

Counts

56 → 56

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	10
1	10	9
2	12	9
3	17	9
4	20	9
5	26	9
6	30	9
7	46	9
8	50	9
9	57	9
10	66	9
11	86	9
12	107	9
13	121	9
14	126	9
15	128	9
done	128	9
0	7	9
1	9	9
2	12	9
done	12	9
0	7	9
1	12	9
2	17	9
3	20	9
4	26	9
5	30	9
6	46	9
7	50	9
8	57	9
9	66	9
10	86	9
11	107	9
12	121	9
13	126	9
14	128	9
done	128	9
0	8	19
1	10	19
2	13	19
done	13	19
0	7	9
1	9	9
2	12	9
done	12	9
0	8	26
1	11	26
2	28	10
3	87	10
4	292	10
5	986	10
6	3239	10
done	5000	10
0	7	9
1	9	9
2	12	9
done	12	9
0	7	9
1	9	9
2	12	9
done	12	9
0	4	4
1	6	4
2	7	4
done	7	4
0	6	8
1	10	8
2	19	6
3	23	6
4	24	6
done	24	6
0	2	3
done	2	3
0	9	12
1	29	12
2	84	12
3	242	12
4	781	12
5	2618	12
done	5000	12
0	10	26
1	29	22
2	57	22
3	87	21
4	118	19
5	144	19
6	171	19
7	203	19
8	262	19
9	455	19
10	1110	19
11	3658	19
done	5000	19
0	4	4
1	6	4
done	6	4
0	8	17
1	21	17
2	42	17
3	84	16
4	153	16
5	254	16
6	359	16
7	605	15
8	2228	15
done	5001	15
0	6	8
1	7	8
done	7	8
0	8	10
1	9	10
done	9	10
0	8	10
1	10	10
2	11	10
done	11	10
0	9	11
1	10	11
done	10	11
0	9	11
1	11	11
2	14	11
done	14	11
0	9	11
1	10	11
done	10	11
0	9	11
1	11	11
2	12	11
done	12	11
0	9	12
1	10	12
done	10	12
0	9	12
1	11	12
2	14	12
done	14	12
0	7	10
1	9	10
2	12	10
done	12	10
0	7	10
1	9	10
2	12	10
done	12	10
0	6	8
1	8	8
2	11	8
done	11	8
0	6	8
1	8	8
2	11	8
done	11	8
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
done	6	4
0	3	4
1	5	4
2	6	4
done	6	4
0	4	5
1	7	5
2	9	4
3	10	4
done	10	4
0	4	5
done	4	5
0	7	14
1	18	13
2	56	8
3	128	6
4	215	6
5	395	6
6	1285	6
done	5000	6
0	5	11
done	5	11
0	4	5
done	4	5
0	5	14
1	12	14
2	28	6
3	68	6
4	136	6
5	205	6
6	340	6
7	914	6
8	4411	6
done	5000	6
0	4	5
done	4	5
0	4	5
done	4	5
0	3	3
done	3	3
0	2	2
done	2	2
0	7	13
1	13	13
2	22	13
3	28	13
done	28	13
0	5	6
done	5	6
0	6	10
1	8	10
2	10	10
3	11	10
done	11	10
0	5	6
done	5	6
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	4	5
done	4	5
0	6	9
1	8	9
done	8	9
0	5	6
done	5	6
0	5	6
done	5	6
0	5	6
done	5	6
0	5	5
1	7	3
2	9	3
done	9	3
0	4	5
done	4	5
0	5	7
1	9	7
done	9	7
0	4	5
done	4	5
0	4	4
1	6	4
done	6	4
0	4	5
done	4	5
0	2	3
1	4	1
done	4	1
0	3	4
done	3	4
0	3	3
1	5	3
done	5	3
0	3	4
done	3	4
0	5	8
1	7	8
done	7	8
0	4	5
done	4	5
0	4	4
1	6	2
2	8	2
done	8	2
0	4	5
done	4	5
0	4	5
done	4	5
0	3	4
done	3	4
0	10	11
1	22	11
2	41	11
3	64	9
4	111	9
5	252	9
6	789	9
7	3140	9
done	5000	9
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	7	8
1	16	7
2	30	7
3	54	7
4	86	6
5	146	6
6	201	6
7	222	6
8	264	6
9	370	6
10	425	6
11	432	6
done	432	6
0	7	9
1	14	9
2	20	9
done	20	9
0	3	4
done	3	4
0	3	4
done	3	4

prune58.0ms

Filtered

43 candidates to 56 candidates (-30.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	56	0	56
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	56	3	59

Merged error: 0.0b

Counts

59 → 3

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (log (exp (- (exp x) 1.0))) x)
3.8b	(log (exp (- (exp x) 1.0)))
3.8b	(- (exp x) 1.0)

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-sqr-sqrt` `*-un-lft-identity`
30×	`log-pow`
27×	`times-frac`
25×	`exp-prod`
23×	`add-cube-cbrt`
9×	`associate-/l*`
8×	`pow1`
6×	`distribute-lft-out--` `difference-of-squares`
5×	`add-exp-log` `log-prod` `add-cbrt-cube` `add-log-exp`
3×	`associate-/r*`
2×	`sub-neg` `log-div` `exp-diff` `exp-sum`
1×	`cbrt-undiv` `flip3--` `frac-2neg` `diff-log` `div-sub` `div-exp` `rem-log-exp` `clear-num` `flip--` `div-inv`

Counts

3 → 86

Calls

3 calls:

9.0ms	(/ (log (exp (- (exp x) 1.0))) x)
6.0ms	(log (exp (- (exp x) 1.0)))
5.0ms	(- (exp x) 1.0)

series11.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(/ (log (exp (- (exp x) 1.0))) x)
3.0ms	(log (exp (- (exp x) 1.0)))
3.0ms	(- (exp x) 1.0)

simplify59.0s

Counts

95 → 95

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	6
1	8	5
2	10	5
3	13	5
4	16	5
5	22	5
6	26	5
7	42	5
8	46	5
9	51	5
10	58	5
11	76	5
12	97	5
13	115	5
14	118	5
done	118	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	10	5
2	13	5
3	16	5
4	22	5
5	26	5
6	42	5
7	46	5
8	51	5
9	58	5
10	77	5
11	98	5
12	111	5
13	114	5
done	114	5
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	24	6
3	67	6
4	178	6
5	507	6
6	1724	6
7	4983	6
done	5000	6
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	7	8
1	22	8
2	46	8
3	85	8
4	176	8
5	521	8
6	2312	8
done	5001	8
0	8	14
1	17	11
2	27	11
3	31	11
4	36	11
5	45	11
6	70	11
7	129	11
8	266	11
9	715	11
10	2419	11
done	5000	11
0	2	2
done	2	2
0	6	9
1	13	8
2	22	8
3	40	8
4	69	8
5	122	8
6	211	8
7	470	8
8	2108	8
done	5001	8
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	4	4
1	6	4
2	7	4
done	7	4
0	2	2
done	2	2
0	4	4
done	4	2
0	4	4
1	7	2
2	13	2
3	14	2
4	19	2
5	25	2
6	31	2
done	31	2
0	4	4
done	4	2
0	4	4
1	7	2
2	13	2
3	14	2
4	19	2
5	25	2
6	31	2
done	31	2
0	8	14
1	15	14
2	20	9
3	24	9
4	30	9
5	34	9
6	50	9
7	54	9
8	59	9
9	66	9
10	84	9
11	105	9
12	122	9
13	125	9
done	125	9
0	7	7
1	12	7
2	15	7
3	18	7
4	24	7
5	28	7
6	44	7
7	50	7
8	55	7
9	62	7
10	80	7
11	101	7
12	118	7
13	121	7
done	121	7
0	7	7
1	12	7
2	15	7
3	18	7
4	24	7
5	28	7
6	44	7
7	50	7
8	55	7
9	62	7
10	80	7
11	101	7
12	118	7
13	121	7
done	121	7
0	7	7
1	12	7
2	15	7
3	18	7
4	24	7
5	28	7
6	44	7
7	50	7
8	55	7
9	62	7
10	80	7
11	101	7
12	118	7
13	121	7
done	121	7
0	2	2
1	4	1
done	4	1
0	6	6
1	11	4
2	17	4
3	24	4
4	33	4
5	42	4
6	72	4
7	86	4
8	127	4
9	184	4
10	224	4
11	236	4
done	236	4
0	4	4
done	4	2
0	3	3
done	3	1
0	6	6
1	11	4
2	17	4
3	24	4
4	33	4
5	42	4
6	72	4
7	86	4
8	127	4
9	184	4
10	224	4
11	236	4
done	236	4
0	8	13
1	12	11
2	19	11
3	27	11
4	52	11
5	125	11
6	375	11
7	1355	11
done	5000	11
0	7	7
1	9	5
2	10	5
done	10	5
0	3	3
1	6	1
done	6	1
0	8	8
1	12	6
2	16	6
3	17	6
done	17	6
0	3	3
1	6	1
done	6	1
0	7	7
1	12	5
2	18	5
3	25	5
4	34	5
5	43	5
6	73	5
7	87	5
8	128	5
9	182	5
10	222	5
11	238	5
done	238	5
0	7	7
1	12	5
2	18	5
3	25	5
4	34	5
5	43	5
6	73	5
7	87	5
8	128	5
9	182	5
10	222	5
11	238	5
done	238	5
0	8	15
1	13	11
2	19	11
3	26	11
4	35	11
5	44	11
6	74	11
7	88	11
8	129	11
9	182	11
10	222	11
11	239	11
done	239	11
0	7	7
1	12	5
2	18	5
3	25	5
4	34	5
5	43	5
6	73	5
7	87	5
8	128	5
9	182	5
10	222	5
11	238	5
done	238	5
0	8	20
1	14	14
2	34	6
3	84	6
4	232	6
5	574	6
6	1922	6
done	5000	6
0	7	7
1	12	5
2	18	5
3	25	5
4	34	5
5	43	5
6	73	5
7	87	5
8	128	5
9	182	5
10	222	5
11	238	5
done	238	5
0	7	7
1	12	5
2	18	5
3	25	5
4	34	5
5	43	5
6	73	5
7	87	5
8	128	5
9	182	5
10	222	5
11	238	5
done	238	5
0	9	10
1	16	8
2	23	8
3	30	8
4	39	8
5	48	8
6	78	8
7	93	8
8	134	8
9	188	8
10	228	8
11	240	8
done	240	8
0	8	9
1	16	7
2	27	7
3	40	7
4	51	7
5	62	7
6	99	7
7	126	7
8	179	7
9	265	7
10	314	7
11	335	7
12	346	7
done	346	7
0	8	9
1	13	7
2	22	7
3	37	7
4	50	7
5	63	7
6	104	7
7	138	7
8	201	7
9	293	7
10	362	7
11	392	7
12	409	7
done	409	7
0	11	26
1	25	20
2	78	10
3	235	8
4	652	8
5	2130	8
done	5000	8
0	9	19
1	14	15
2	23	15
3	35	15
4	46	15
5	57	15
6	94	15
7	121	15
8	174	15
9	260	15
10	306	15
11	329	15
12	339	15
done	339	15
0	8	9
1	13	7
2	22	7
3	34	7
4	45	7
5	56	7
6	93	7
7	120	7
8	173	7
9	259	7
10	307	7
11	328	7
12	339	7
done	339	7
0	9	26
1	21	20
2	58	8
3	161	8
4	500	8
5	1281	8
6	3900	8
done	5001	8
0	8	9
1	13	7
2	22	7
3	34	7
4	45	7
5	56	7
6	93	7
7	120	7
8	173	7
9	259	7
10	307	7
11	328	7
12	339	7
done	339	7
0	8	9
1	13	7
2	22	7
3	34	7
4	45	7
5	56	7
6	93	7
7	120	7
8	173	7
9	259	7
10	307	7
11	328	7
12	339	7
done	339	7
0	7	7
1	12	5
2	21	5
3	30	5
4	42	4
5	52	4
6	90	4
7	127	4
8	203	4
9	246	4
10	250	4
done	250	4
0	2	2
done	2	2
0	5	6
done	5	4
0	5	5
done	5	3
0	5	7
1	9	7
done	9	7
0	8	9
1	13	7
2	22	7
3	34	7
4	45	7
5	56	7
6	93	7
7	120	7
8	173	7
9	259	7
10	307	7
11	328	7
12	339	7
done	339	7
0	4	4
1	6	4
done	6	4
0	8	9
1	13	7
2	22	7
3	34	7
4	45	7
5	56	7
6	93	7
7	120	7
8	173	7
9	259	7
10	307	7
11	328	7
12	339	7
done	339	7
0	2	3
1	4	1
done	4	1
0	7	8
1	12	6
2	21	6
3	33	6
4	44	6
5	55	6
6	92	6
7	119	6
8	172	6
9	259	6
10	306	6
11	329	6
12	340	6
done	340	6
0	8	11
1	12	11
2	13	11
done	13	11
0	10	16
1	14	14
2	23	14
3	35	14
4	61	14
5	137	14
6	421	14
7	1597	14
done	5000	14
0	7	8
1	9	8
2	10	8
done	10	8
0	10	16
1	14	14
2	23	14
3	35	14
4	61	14
5	137	14
6	421	14
7	1597	14
done	5000	14
0	7	7
1	11	5
2	14	5
done	14	5
0	9	15
1	13	13
2	22	13
3	34	13
4	60	13
5	136	13
6	418	13
7	1593	13
done	5000	13
0	8	11
1	12	11
2	13	11
done	13	11
0	9	10
1	11	8
2	12	8
done	12	8
0	7	8
1	9	8
2	10	8
done	10	8
0	9	10
1	11	8
2	12	8
done	12	8
0	7	7
1	11	5
2	14	5
done	14	5
0	8	9
1	10	7
2	11	7
done	11	7
0	7	10
1	14	10
2	22	10
3	27	10
4	30	10
done	30	10
0	6	6
1	9	4
done	9	4
0	6	7
1	11	7
2	14	7
3	16	7
done	16	7
0	6	6
1	9	4
done	9	4
0	6	6
1	13	4
2	18	4
done	18	4
0	5	5
1	8	3
done	8	3
0	9	12
1	16	12
2	24	12
3	29	12
4	32	12
done	32	12
0	10	11
1	14	9
2	18	9
3	19	9
done	19	9
0	8	9
1	13	9
2	16	9
3	18	9
done	18	9
0	10	11
1	14	9
2	18	9
3	19	9
done	19	9
0	8	8
1	15	6
2	20	6
3	21	6
done	21	6
0	9	10
1	13	8
2	17	8
3	18	8
done	18	8
0	7	10
1	14	10
2	22	10
3	27	10
4	30	10
done	30	10
0	6	6
1	9	4
done	9	4
0	6	7
1	11	7
2	14	7
3	16	7
done	16	7
0	6	6
1	9	4
done	9	4
0	6	6
1	13	4
2	18	4
done	18	4
0	5	5
1	8	3
done	8	3
0	11	21
1	22	17
2	37	17
3	50	17
4	59	17
5	68	17
6	98	17
7	112	17
8	153	17
9	207	17
10	247	17
11	260	17
done	260	17
0	9	10
1	14	8
2	20	8
3	27	8
4	36	8
5	45	8
6	75	8
7	90	8
8	131	8
9	184	8
10	224	8
11	236	8
done	236	8
0	10	18
1	17	14
2	25	14
3	33	14
4	42	14
5	51	14
6	81	14
7	95	14
8	136	14
9	190	14
10	230	14
11	247	14
done	247	14
0	9	10
1	14	8
2	20	8
3	27	8
4	36	8
5	45	8
6	75	8
7	90	8
8	131	8
9	184	8
10	224	8
11	236	8
done	236	8
0	10	17
1	19	11
2	31	11
3	42	11
4	49	11
5	58	11
6	85	11
7	100	11
8	141	11
9	194	11
10	236	11
11	250	11
done	250	11
0	8	9
1	13	7
2	19	7
3	26	7
4	35	7
5	44	7
6	74	7
7	88	7
8	129	7
9	182	7
10	222	7
11	239	7
done	239	7
0	10	13
1	17	11
2	23	11
3	30	11
4	39	11
5	48	11
6	78	11
7	93	11
8	134	11
9	188	11
10	228	11
11	240	11
done	240	11
0	9	10
1	14	8
2	20	8
3	27	8
4	36	8
5	45	8
6	75	8
7	90	8
8	131	8
9	184	8
10	224	8
11	236	8
done	236	8
0	9	10
1	14	8
2	20	8
3	27	8
4	36	8
5	45	8
6	75	8
7	90	8
8	131	8
9	184	8
10	224	8
11	236	8
done	236	8
0	9	10
1	14	8
2	20	8
3	27	8
4	36	8
5	45	8
6	75	8
7	90	8
8	131	8
9	184	8
10	224	8
11	236	8
done	236	8
0	9	9
1	16	5
2	24	5
3	30	5
4	37	5
5	46	5
6	73	5
7	87	5
8	128	5
9	182	5
10	222	5
11	238	5
done	238	5
0	8	9
1	13	7
2	19	7
3	26	7
4	35	7
5	44	7
6	74	7
7	88	7
8	129	7
9	182	7
10	222	7
11	239	7
done	239	7
0	5	7
1	9	7
done	9	7
0	8	9
1	13	7
2	22	7
3	34	7
4	45	7
5	56	7
6	93	7
7	120	7
8	173	7
9	259	7
10	307	7
11	328	7
12	339	7
done	339	7
0	4	4
1	6	4
done	6	4
0	8	9
1	13	7
2	22	7
3	34	7
4	45	7
5	56	7
6	93	7
7	120	7
8	173	7
9	259	7
10	307	7
11	328	7
12	339	7
done	339	7
0	2	3
1	4	1
done	4	1
0	7	8
1	12	6
2	21	6
3	33	6
4	44	6
5	55	6
6	92	6
7	119	6
8	172	6
9	259	6
10	306	6
11	329	6
12	340	6
done	340	6
0	3	3
1	5	3
done	5	3
0	7	8
1	12	6
2	18	6
3	25	6
4	34	6
5	43	6
6	73	6
7	87	6
8	128	6
9	182	6
10	222	6
11	238	6
done	238	6
0	9	12
1	16	10
2	28	10
3	47	10
4	61	10
5	74	10
6	119	10
7	164	10
8	237	10
9	354	10
10	414	10
11	440	10
12	457	10
done	457	10
0	8	9
1	13	7
2	22	7
3	34	7
4	45	7
5	56	7
6	93	7
7	120	7
8	173	7
9	259	7
10	307	7
11	328	7
12	339	7
done	339	7
0	8	8
1	15	4
2	26	4
3	37	4
4	44	4
5	53	4
6	83	4
7	103	4
8	147	4
9	210	4
10	250	4
11	267	4
done	267	4
0	7	8
1	12	6
2	18	6
3	25	6
4	34	6
5	43	6
6	73	6
7	87	6
8	128	6
9	182	6
10	222	6
11	238	6
done	238	6
0	9	15
1	13	13
2	22	13
3	31	13
4	56	13
5	135	13
6	411	13
7	1505	13
done	5000	13
0	8	9
1	10	7
2	11	7
done	11	7
0	5	5
1	8	3
done	8	1
0	9	10
1	13	8
2	17	8
3	18	8
done	18	8
0	5	5
1	8	3
done	8	1
0	8	9
1	13	7
2	19	7
3	26	7
4	35	7
5	44	7
6	74	7
7	88	7
8	129	7
9	182	7
10	222	7
11	239	7
done	239	7
0	8	9
1	13	7
2	19	7
3	26	7
4	35	7
5	44	7
6	74	7
7	88	7
8	129	7
9	182	7
10	222	7
11	239	7
done	239	7
0	7	8
1	12	6
2	18	6
3	25	6
4	34	6
5	43	6
6	73	6
7	87	6
8	128	6
9	182	6
10	222	6
11	238	6
done	238	6
0	11	13
1	28	13
2	73	13
3	108	11
4	181	11
5	354	11
6	895	11
7	3250	11
done	5000	11
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
2	7	4
done	7	4
0	11	13
1	28	13
2	73	13
3	108	11
4	181	11
5	354	11
6	895	11
7	3250	11
done	5000	11
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
2	7	4
done	7	4
0	10	11
1	22	11
2	41	11
3	64	9
4	111	9
5	252	9
6	789	9
7	3140	9
done	5000	9
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	7	8
1	16	7
2	30	7
3	54	7
4	86	6
5	146	6
6	201	6
7	222	6
8	264	6
9	370	6
10	425	6
11	432	6
done	432	6

prune103.0ms

Filtered

64 candidates to 95 candidates (-48.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	94	1	95
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	95	3	98

Merged error: 0.0b

Counts

98 → 3

regimes37.0ms

Accuracy

98.7% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 21.3b

bsearch14.0ms

Steps

Iters	Range		Point
9	-0.00029558442529086166	-1.7469337222305917e-09	-0.00018926949204835697

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	23
1	25	23
done	25	23

end0.0ms

sample1.1s

Algorithm

intervals

Results

418.0ms	2312×	body	1280	valid
214.0ms	1672×	body	640	valid
134.0ms	5388×	body	80	valid
71.0ms	804×	body	320	valid
21.0ms	382×	body	160	valid

Details

sample39.0ms

simplify6.0ms

prune3.0ms

localize4.0ms

rewrite15.0ms

series7.0ms

simplify32.8s

prune81.0ms

localize7.0ms

rewrite16.0ms

series12.0ms

simplify1.2min

prune76.0ms

localize5.0ms

rewrite23.0ms

series9.0ms

simplify22.9s

prune58.0ms

localize7.0ms

rewrite28.0ms

series11.0ms

simplify59.0s

prune103.0ms

regimes37.0ms

bsearch14.0ms

simplify2.0ms

end0.0ms

sample1.1s

Profiling