Details

sample100.0ms

Algorithm

intervals

Results

54.0ms	123×	body	1280	valid
18.0ms	72×	body	640	valid
8.0ms	259×	body	80	nan
5.0ms	35×	body	320	valid
2.0ms	21×	body	160	valid
0.0ms	5×	body	80	valid

simplify8.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	8
1	15	8
2	20	8
3	23	8
done	23	8

prune2.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: 58.8b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- 1.0 eps) (+ 1.0 eps))
5.1b	(log (/ (- 1.0 eps) (+ 1.0 eps)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

63×	`*-un-lft-identity`
41×	`add-sqr-sqrt`
40×	`times-frac`
26×	`log-prod`
23×	`add-cube-cbrt`
11×	`distribute-lft-out`
9×	`distribute-lft-out--` `difference-of-squares`
7×	`add-exp-log`
5×	`associate-/l*`
4×	`associate-/r*` `associate-/r/` `add-cbrt-cube`
3×	`pow1`
2×	`flip3-+` `div-exp` `rem-log-exp` `flip-+` `div-inv` `associate-/l/` `add-log-exp`
1×	`cbrt-undiv` `log-div` `flip3--` `frac-2neg` `div-sub` `clear-num` `log-pow` `flip--`

Counts

2 → 83

Calls

2 calls:

9.0ms	(/ (- 1.0 eps) (+ 1.0 eps))
8.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))

series9.0ms

Counts

2 → 6

Calls

2 calls:

3.0ms	(/ (- 1.0 eps) (+ 1.0 eps))
6.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))

simplify54.9s

Counts

89 → 89

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	18
1	16	18
2	21	11
3	24	11
done	24	11
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	10	20
1	22	20
2	44	20
3	73	12
4	112	12
5	147	12
6	202	12
7	244	12
8	281	12
9	284	12
done	284	12
0	8	10
1	14	10
2	17	10
3	18	10
done	18	10
0	9	15
1	17	15
2	26	15
3	39	13
4	47	13
5	51	13
6	59	13
7	73	13
8	85	13
9	97	13
10	109	13
11	110	13
done	110	13
0	8	10
1	14	10
2	17	10
3	18	10
done	18	10
0	8	12
1	16	10
2	31	10
3	54	7
4	72	7
5	85	7
6	97	7
7	110	7
done	110	7
0	7	9
1	13	9
2	16	9
3	17	9
done	17	9
0	8	12
1	16	10
2	31	10
3	54	7
4	72	7
5	85	7
6	97	7
7	110	7
done	110	7
0	7	9
1	13	9
2	16	9
3	17	9
done	17	9
0	9	15
1	17	15
2	24	15
3	32	13
4	44	13
5	52	13
6	61	13
7	74	13
8	90	13
9	93	13
done	93	13
0	8	10
1	14	10
2	17	10
3	18	10
done	18	10
0	8	10
1	14	10
2	17	10
3	18	10
done	18	10
0	8	10
1	14	10
2	17	10
3	18	10
done	18	10
0	7	7
1	13	5
2	20	5
3	24	5
done	24	5
0	7	9
1	13	9
2	16	9
3	17	9
done	17	9
0	7	7
1	13	5
2	20	5
3	24	5
done	24	5
0	7	9
1	13	9
2	16	9
3	17	9
done	17	9
0	8	12
1	17	11
2	22	11
3	35	8
4	47	7
5	77	7
6	103	7
7	109	7
8	118	7
done	118	7
0	7	9
1	16	9
2	21	9
3	24	9
done	24	9
0	7	7
1	14	6
2	15	6
3	19	6
4	21	6
5	27	6
6	32	6
done	32	6
0	7	9
1	16	9
2	21	9
3	24	9
done	24	9
0	3	4
1	7	1
done	7	1
0	6	8
1	15	8
2	20	8
3	23	8
done	23	8
0	3	4
1	7	1
done	7	1
0	6	8
1	15	8
2	20	8
3	23	8
done	23	8
0	10	16
1	17	16
2	23	16
3	31	14
4	43	14
5	52	14
6	61	14
7	74	14
8	90	14
9	93	14
done	93	14
0	9	11
1	18	11
2	23	11
3	26	11
done	26	11
0	9	11
1	14	11
2	16	11
3	17	11
done	17	11
0	9	11
1	18	11
2	23	11
3	26	11
done	26	11
0	8	8
1	13	6
2	19	6
3	23	6
done	23	6
0	8	10
1	17	10
2	22	10
3	25	10
done	25	10
0	8	8
1	13	6
2	19	6
3	23	6
done	23	6
0	8	10
1	17	10
2	22	10
3	25	10
done	25	10
0	8	12
1	17	11
2	22	11
3	35	8
4	47	7
5	77	7
6	103	7
7	109	7
8	118	7
done	118	7
0	7	9
1	16	9
2	21	9
3	24	9
done	24	9
0	7	7
1	14	6
2	15	6
3	19	6
4	21	6
5	27	6
6	32	6
done	32	6
0	7	9
1	16	9
2	21	9
3	24	9
done	24	9
0	3	4
1	7	1
done	7	1
0	6	8
1	15	8
2	20	8
3	23	8
done	23	8
0	3	4
1	7	1
done	7	1
0	6	8
1	15	8
2	20	8
3	23	8
done	23	8
0	2	2
1	4	1
done	4	1
0	6	8
1	15	8
2	20	8
3	23	8
done	23	8
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	13	5
2	14	5
3	18	5
4	20	5
5	26	5
6	31	5
done	31	5
0	9	12
1	31	12
2	45	12
3	65	12
4	104	12
5	221	12
6	616	12
7	2446	12
done	5000	12
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	8	12
1	20	12
2	44	12
3	89	12
4	138	6
5	210	5
6	464	5
7	2493	5
done	5000	5
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	4	4
1	5	4
done	5	4
0	6	8
1	15	8
2	20	8
3	23	8
done	23	8
0	7	9
1	16	9
2	21	9
3	24	9
done	24	9
0	7	9
1	16	7
2	24	7
3	29	7
4	34	7
5	51	7
6	76	7
7	138	7
8	177	7
9	226	7
10	296	7
11	341	7
12	457	7
13	554	7
14	651	7
15	742	7
16	828	7
17	846	7
done	846	7
0	8	19
1	17	19
2	22	19
3	25	19
done	25	19
0	7	9
1	16	9
2	21	9
3	24	9
done	24	9
0	8	26
1	18	26
2	25	10
3	45	10
4	89	10
5	202	10
6	541	10
7	1794	10
done	5000	10
0	7	9
1	16	9
2	21	9
3	24	9
done	24	9
0	7	9
1	16	9
2	21	9
3	24	9
done	24	9
0	7	9
1	12	9
2	14	9
done	14	9
0	6	8
1	15	8
2	20	8
3	23	8
done	23	8
0	6	8
1	12	8
2	18	8
3	22	8
4	25	8
5	31	8
6	35	8
7	51	8
8	57	8
9	64	8
10	73	8
11	94	8
12	115	8
13	132	8
14	139	8
15	145	8
16	148	8
done	148	8
0	9	23
1	33	23
2	111	11
3	305	9
4	851	9
5	3001	9
done	5000	9
0	7	17
1	13	17
2	16	17
3	18	17
done	18	17
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	7	23
1	20	23
2	51	9
3	177	9
4	589	9
5	1821	9
done	5000	9
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	9	19
1	18	19
2	28	19
3	34	19
done	34	19
0	7	9
1	10	9
2	11	9
done	11	9
0	8	14
1	13	14
2	16	14
3	17	14
done	17	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	8
1	9	8
2	10	8
done	10	8
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	8
1	9	8
2	10	8
done	10	8
0	8	14
1	13	14
2	14	14
done	14	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	6	6
1	10	4
2	13	4
done	13	4
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	4
2	13	4
done	13	4
0	6	8
1	9	8
2	10	8
done	10	8
0	7	11
1	12	11
done	12	11
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	6
1	9	6
done	9	6
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	9	15
1	13	15
done	13	15
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	8	10
1	10	10
done	10	10
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	7	7
1	10	5
2	12	5
done	12	5
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	7
1	10	5
2	12	5
done	12	5
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	11
1	12	11
done	12	11
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	6
1	9	6
done	9	6
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	5
1	8	5
done	8	5
0	5	7
1	8	7
2	9	7
done	9	7
0	7	13
1	15	13
2	23	13
3	28	13
4	31	13
done	31	13
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	5	5
1	12	3
2	17	3
done	17	3
0	5	5
1	12	3
2	17	3
done	17	3
0	6	8
1	9	8
2	10	8
done	10	8
0	6	8
1	9	8
2	10	8
done	10	8
0	5	7
1	8	7
2	9	7
done	9	7
0	7	9
1	10	9
2	11	9
done	11	9
0	5	7
1	8	7
2	9	7
done	9	7
0	8	11
1	27	11
2	39	11
3	58	11
4	97	11
5	211	11
6	617	11
7	2464	11
done	5000	11
0	7	11
1	16	11
2	36	11
3	72	11
4	109	5
5	164	5
6	315	5
7	1486	5
done	5001	5
0	9	15
1	23	13
2	73	13
3	157	13
4	305	13
5	587	13
6	828	13
7	949	13
8	1032	13
9	1304	13
10	2424	13
done	5000	13
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	14	22
1	36	20
2	113	18
3	241	18
4	462	16
5	827	16
6	1601	16
7	2531	16
8	4338	16
done	5000	16
0	14	16
1	35	16
2	70	12
3	160	12
4	402	12
5	1315	12
done	5001	12
0	14	16
1	35	16
2	70	12
3	160	12
4	402	12
5	1315	12
done	5001	12
0	9	11
1	21	11
2	50	9
3	65	9
4	82	9
5	106	9
6	162	9
7	271	9
8	563	9
9	1550	9
done	5000	9
0	11	15
1	27	15
2	58	11
3	130	11
4	330	11
5	1025	9
done	5000	9
0	11	15
1	27	15
2	58	11
3	130	11
4	330	11
5	1025	9
done	5000	9

prune160.0ms

Filtered

60 candidates to 89 candidates (-48.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	86	3	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	87	3	90

Merged error: 0.1b

Counts

90 → 3

localize11.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts: 0 → 0

prune6.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Merged error: 0.1b

Counts

3 → 3

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (log (- 1.0 eps)) (log (+ 1.0 eps)))
5.1b	(log (+ 1.0 eps))
5.2b	(log (- 1.0 eps))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

19×	`*-un-lft-identity`
18×	`log-prod`
13×	`add-sqr-sqrt`
9×	`pow1`
8×	`log-div`
7×	`add-cube-cbrt`
6×	`log-pow` `distribute-lft-out--`
5×	`add-exp-log` `associate--l+`
4×	`associate--r+`
3×	`flip3--` `add-cbrt-cube` `flip--` `add-log-exp` `difference-of-squares`
2×	`associate--l-` `flip3-+` `rem-log-exp` `flip-+` `distribute-lft-out` `associate--r-`
1×	`sub-neg` `diff-log`

Counts

3 → 61

Calls

3 calls:

10.0ms	(- (log (- 1.0 eps)) (log (+ 1.0 eps)))
3.0ms	(log (+ 1.0 eps))
4.0ms	(log (- 1.0 eps))

series20.0ms

Counts

3 → 9

Calls

3 calls:

13.0ms	(- (log (- 1.0 eps)) (log (+ 1.0 eps)))
3.0ms	(log (+ 1.0 eps))
3.0ms	(log (- 1.0 eps))

simplify1.2min

Counts

70 → 70

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	10
1	10	10
2	13	7
3	14	7
done	14	7
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	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	81	8
4	172	8
5	521	8
6	2302	8
done	5001	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	21	8
3	37	8
4	62	8
5	103	8
6	161	8
7	329	8
8	1610	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	3
2	8	3
done	8	3
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	12	6
3	17	6
4	23	6
5	33	6
6	56	6
7	116	6
8	332	6
9	1267	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	6	10
1	9	10
2	11	7
3	12	7
done	12	7
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	6	8
1	11	8
2	21	8
3	37	8
4	62	8
5	103	8
6	161	8
7	329	8
8	1610	8
done	5000	8
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	5	4
done	5	4
0	5	5
1	6	5
done	6	5
0	5	5
1	6	3
done	6	3
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	6
4	21	6
5	31	6
6	54	6
7	110	6
8	319	6
9	1259	6
done	5001	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	8	10
1	13	10
2	15	10
done	15	10
0	8	10
1	16	10
2	20	7
3	26	7
4	42	7
5	64	7
6	115	7
7	160	7
8	200	7
9	244	7
10	308	7
11	425	7
12	519	7
13	627	7
14	712	7
15	798	7
16	846	7
done	846	7
0	9	21
1	14	21
2	16	21
done	16	21
0	8	10
1	13	10
2	15	10
done	15	10
0	9	29
1	15	29
2	31	11
3	74	11
4	183	11
5	511	11
6	1727	11
done	5000	11
0	8	10
1	13	10
2	15	10
done	15	10
0	8	10
1	13	10
2	15	10
done	15	10
0	10	13
1	28	13
2	51	13
3	85	13
4	175	13
5	505	13
6	2271	13
done	5000	13
0	11	29
1	21	24
2	30	24
3	31	24
4	32	24
done	32	24
0	5	5
1	6	5
done	6	5
0	9	19
1	17	19
2	25	19
3	40	19
4	65	19
5	106	19
6	172	19
7	340	19
8	1619	19
done	5001	19
0	7	9
1	11	9
2	12	9
done	12	9
0	9	11
1	13	11
2	14	11
done	14	11
0	9	11
1	14	11
2	16	11
done	16	11
0	7	9
1	12	9
2	14	9
done	14	9
0	7	9
1	12	9
2	14	9
done	14	9
0	7	9
1	12	9
2	14	9
done	14	9
0	7	9
1	12	9
2	14	9
done	14	9
0	9	15
1	16	15
2	24	12
3	34	12
4	40	12
5	48	12
6	60	12
7	74	12
8	89	12
done	89	12
0	8	10
1	13	10
2	15	10
done	15	10
0	7	7
1	13	6
2	15	4
3	22	4
done	22	4
0	7	7
1	13	6
2	15	4
3	22	4
done	22	4
0	8	10
1	13	10
2	15	10
done	15	10
0	8	10
1	13	10
2	15	10
done	15	10
0	7	9
1	12	9
2	14	9
done	14	9
0	9	11
1	14	11
2	16	11
done	16	11
0	7	9
1	12	9
2	14	9
done	14	9
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	5	9
1	8	6
2	9	6
done	9	6
0	10	13
1	28	13
2	39	13
3	56	13
4	95	13
5	212	13
6	622	13
7	2434	13
done	5000	13
0	9	13
1	17	13
2	32	13
3	63	13
4	99	13
5	165	6
6	320	5
7	1597	5
done	5001	5
0	5	5
1	6	5
done	6	5
0	12	16
1	29	16
2	79	16
3	156	16
4	303	16
5	568	14
6	975	14
7	1394	14
8	1812	14
9	3660	14
done	5001	14
0	16	22
1	41	20
2	95	15
3	238	15
4	572	15
5	1542	13
done	5000	13
0	17	21
1	40	20
2	95	15
3	257	15
4	774	14
5	1984	13
done	5001	13
0	12	16
1	29	16
2	86	16
3	175	16
4	337	16
5	535	14
6	648	14
7	794	14
8	1245	14
9	3100	14
done	5000	14
0	15	21
1	38	19
2	89	12
3	217	12
4	466	12
5	1280	10
done	5000	10
0	18	22
1	41	21
2	92	17
3	224	17
4	575	14
5	1648	10
done	5000	10
0	19	24
1	52	24
2	159	23
3	706	23
4	3320	21
done	5001	21
0	16	20
1	41	18
2	91	12
3	224	12
4	538	12
5	1562	12
done	5000	12
0	16	20
1	41	18
2	91	13
3	226	13
4	597	13
5	1581	13
done	5000	13

prune125.0ms

Filtered

53 candidates to 70 candidates (-32.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	68	2	70
Fresh	1	0	1
Picked	1	0	1
Done	1	0	1
Total	71	2	73

Merged error: 0b

Counts

73 → 2

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* (/ (pow eps 5) (pow 1.0 5)) -2/5) (* (pow (/ eps 1.0) 3) 2/3))
0.1b	(* (/ (pow eps 5) (pow 1.0 5)) -2/5)
0.1b	(* (pow (/ eps 1.0) 3) 2/3)

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

85×	`add-sqr-sqrt` `associate-l`
78×	`times-frac`
63×	`unpow-prod-down`
49×	`add-cube-cbrt` `*-un-lft-identity`
34×	`add-exp-log`
22×	`sqr-pow`
16×	`unswap-sqr`
15×	`cube-prod`
14×	`prod-exp`
10×	`div-exp` `add-cbrt-cube`
8×	`pow-exp`
7×	`pow-to-exp`
6×	`associate-r`
5×	`pow1` `add-log-exp`
4×	`associate-*l/`
3×	`cbrt-unprod` `div-inv`
2×	`cube-div` `*-commutative`
1×	`cbrt-undiv` `cube-mult` `sub-neg` `flip3--` `diff-log` `unpow3` `pow-prod-down` `frac-sub` `flip--`

Counts

3 → 156

Calls

3 calls:

10.0ms	(- (* (/ (pow eps 5) (pow 1.0 5)) -2/5) (* (pow (/ eps 1.0) 3) 2/3))
15.0ms	(* (/ (pow eps 5) (pow 1.0 5)) -2/5)
12.0ms	(* (pow (/ eps 1.0) 3) 2/3)

series42.0ms

Counts

3 → 9

Calls

3 calls:

19.0ms	(- (* (/ (pow eps 5) (pow 1.0 5)) -2/5) (* (pow (/ eps 1.0) 3) 2/3))
10.0ms	(* (/ (pow eps 5) (pow 1.0 5)) -2/5)
13.0ms	(* (pow (/ eps 1.0) 3) 2/3)

simplify8.3min

Counts

165 → 165

Iterations

Useful iterations: 5 (516.0ms)

Iter	Nodes	Cost
0	10	10
1	14	10
2	21	10
3	30	10
4	40	10
5	43	10
6	49	10
7	60	10
8	83	10
9	115	10
10	138	10
11	145	10
12	170	10
13	193	10
14	194	10
done	194	10
0	9	9
1	14	9
2	16	9
3	23	9
4	32	9
5	42	9
6	45	9
7	51	9
8	62	9
9	85	9
10	117	9
11	140	9
12	147	9
13	172	9
14	195	9
15	196	9
done	196	9
0	9	9
1	14	9
2	16	9
3	23	9
4	32	9
5	42	9
6	45	9
7	51	9
8	62	9
9	85	9
10	117	9
11	140	9
12	147	9
13	172	9
14	195	9
15	196	9
done	196	9
0	9	9
1	23	9
2	59	9
3	162	9
4	528	9
5	1776	9
done	5000	9
0	8	8
1	23	8
2	74	8
3	248	8
4	893	8
5	3452	8
done	5000	8
0	8	8
1	22	8
2	74	8
3	226	8
4	797	8
5	3161	8
done	5000	8
0	11	23
1	34	13
2	121	9
3	722	9
done	5001	9
0	9	17
1	21	17
2	61	17
3	179	17
4	601	17
5	2258	17
done	5000	17
0	8	8
1	20	8
2	60	8
3	178	8
4	602	8
5	2260	8
done	5000	8
0	9	23
1	32	21
2	145	9
3	1024	9
done	5001	9
0	8	8
1	20	8
2	60	8
3	178	8
4	602	8
5	2260	8
done	5000	8
0	8	8
1	20	8
2	60	8
3	178	8
4	602	8
5	2260	8
done	5000	8
0	9	9
1	18	9
2	36	9
3	73	9
4	138	9
5	307	9
6	845	9
7	3163	9
done	5001	9
0	9	9
1	18	9
2	36	9
3	73	9
4	138	9
5	307	9
6	845	9
7	3163	9
done	5001	9
0	10	10
1	22	10
2	62	10
3	187	10
4	594	10
5	2095	10
done	5001	10
0	10	10
1	22	10
2	62	10
3	187	10
4	594	10
5	2095	10
done	5001	10
0	9	9
1	18	9
2	36	9
3	73	9
4	138	9
5	307	9
6	845	9
7	3163	9
done	5001	9
0	9	9
1	18	9
2	36	9
3	73	9
4	138	9
5	307	9
6	845	9
7	3163	9
done	5001	9
0	10	10
1	22	10
2	62	10
3	187	10
4	594	10
5	2095	10
done	5001	10
0	10	10
1	22	10
2	62	10
3	187	10
4	594	10
5	2095	10
done	5001	10
0	9	9
1	21	9
2	46	9
3	104	9
4	269	9
5	781	9
6	3426	9
done	5000	9
0	9	9
1	21	9
2	46	9
3	104	9
4	269	9
5	781	9
6	3426	9
done	5000	9
0	10	10
1	16	8
2	26	8
3	46	8
4	93	8
5	243	8
6	767	8
7	3060	8
done	5000	8
0	10	10
1	16	8
2	26	8
3	46	8
4	93	8
5	243	8
6	767	8
7	3060	8
done	5000	8
0	9	11
1	23	11
2	76	11
3	265	11
4	1005	11
5	4369	11
done	5001	11
0	8	8
1	20	8
2	60	8
3	178	8
4	602	8
5	2259	8
done	5000	8
0	7	7
1	21	5
2	64	5
3	206	5
4	652	5
5	1938	5
done	5001	5
0	8	8
1	17	5
2	39	5
3	67	5
4	114	5
5	266	5
6	792	5
7	3087	5
done	5001	5
0	8	8
1	17	8
2	35	8
3	72	8
4	134	8
5	299	8
6	835	8
7	3142	8
done	5001	8
0	9	9
1	21	9
2	61	5
3	129	5
4	269	5
5	637	5
6	1468	5
7	4012	5
done	5001	5
0	9	9
1	21	9
2	61	8
3	150	8
4	344	8
5	843	8
6	2095	8
done	5000	8
0	8	8
1	20	8
2	60	7
3	146	7
4	350	7
5	880	7
6	2060	7
done	5001	7
0	9	9
1	21	9
2	61	8
3	145	8
4	323	8
5	806	8
6	2123	8
done	5001	8
0	9	9
1	21	9
2	61	9
3	182	9
4	588	9
5	2088	9
done	5000	9
0	8	8
1	20	8
2	60	8
3	178	8
4	587	8
5	2189	8
done	5000	8
0	8	8
1	20	8
2	60	7
3	141	7
4	324	7
5	805	7
6	2110	7
done	5000	7
0	8	8
1	20	8
2	60	8
3	178	8
4	595	8
5	2169	8
done	5001	8
0	7	7
1	19	7
2	59	7
3	179	7
4	606	7
5	2259	7
done	5001	7
0	7	7
1	19	7
2	59	7
3	179	7
4	606	7
5	2259	7
done	5001	7
0	7	7
1	21	7
2	56	5
3	122	5
4	244	5
5	536	5
6	1748	5
done	5000	5
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	20	5
2	48	5
3	109	5
4	278	5
5	793	5
6	3422	5
done	5000	5
0	8	8
1	17	5
2	39	5
3	67	5
4	114	5
5	266	5
6	792	5
7	3087	5
done	5001	5
0	8	8
1	17	8
2	35	8
3	72	8
4	134	8
5	299	8
6	835	8
7	3142	8
done	5001	8
0	9	9
1	21	9
2	61	5
3	129	5
4	269	5
5	637	5
6	1468	5
7	4012	5
done	5001	5
0	9	9
1	21	9
2	61	8
3	150	8
4	344	8
5	843	8
6	2095	8
done	5000	8
0	8	8
1	20	8
2	60	7
3	146	7
4	350	7
5	880	7
6	2060	7
done	5001	7
0	9	9
1	21	9
2	61	8
3	145	8
4	323	8
5	806	8
6	2123	8
done	5001	8
0	9	9
1	21	9
2	61	9
3	182	9
4	588	9
5	2088	9
done	5000	9
0	8	8
1	20	8
2	60	8
3	178	8
4	587	8
5	2189	8
done	5000	8
0	8	8
1	20	8
2	60	7
3	141	7
4	324	7
5	805	7
6	2110	7
done	5000	7
0	8	8
1	20	8
2	60	8
3	178	8
4	595	8
5	2169	8
done	5001	8
0	7	7
1	19	7
2	59	7
3	179	7
4	606	7
5	2259	7
done	5001	7
0	7	7
1	19	7
2	59	7
3	179	7
4	606	7
5	2259	7
done	5001	7
0	7	7
1	21	7
2	56	5
3	122	5
4	244	5
5	536	5
6	1748	5
done	5000	5
0	6	9
1	13	9
2	29	9
3	57	9
4	103	9
5	138	9
6	146	9
7	151	9
done	151	9
0	8	8
1	20	8
2	45	8
3	103	8
4	268	8
5	778	8
6	3417	8
done	5000	8
0	7	7
1	19	7
2	59	7
3	179	7
4	606	7
5	2259	7
done	5001	7
0	9	9
1	14	7
2	25	7
3	43	7
4	90	7
5	237	7
6	768	7
7	3073	7
done	5000	7
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	8	9
1	18	9
2	42	9
3	127	9
4	608	9
5	4656	9
done	5000	9
0	11	12
1	20	10
2	39	10
3	49	10
4	58	10
5	63	10
6	74	10
7	101	10
8	141	10
9	177	10
10	180	10
done	180	10
0	11	12
1	20	10
2	39	10
3	49	10
4	58	10
5	63	10
6	74	10
7	101	10
8	141	10
9	177	10
10	180	10
done	180	10
0	11	12
1	24	12
2	50	10
3	89	10
4	188	10
5	499	10
6	1700	10
done	5000	10
0	11	12
1	20	10
2	39	10
3	49	10
4	58	10
5	63	10
6	74	10
7	101	10
8	141	10
9	177	10
10	180	10
done	180	10
0	11	12
1	20	10
2	39	10
3	49	10
4	58	10
5	63	10
6	74	10
7	101	10
8	141	10
9	177	10
10	180	10
done	180	10
0	11	12
1	24	12
2	50	10
3	89	10
4	188	10
5	499	10
6	1700	10
done	5000	10
0	11	12
1	24	12
2	52	10
3	93	10
4	192	10
5	469	10
6	1520	10
done	5000	10
0	11	12
1	24	12
2	52	10
3	93	10
4	192	10
5	469	10
6	1520	10
done	5000	10
0	11	12
1	27	12
2	59	10
3	123	10
4	320	10
5	1061	10
6	4948	10
done	5000	10
0	10	11
1	21	11
2	50	11
3	140	10
4	501	10
5	2885	10
done	5000	10
0	9	10
1	22	10
2	52	10
3	167	10
4	773	10
done	5001	10
0	9	10
1	21	10
2	51	10
3	149	10
4	677	10
done	5000	10
0	14	29
1	42	17
2	157	13
3	1005	11
done	5000	11
0	12	29
1	33	27
2	112	11
3	657	11
done	5000	11
0	10	21
1	20	21
2	44	21
3	129	21
4	614	21
5	4636	21
done	5000	21
0	9	10
1	19	10
2	43	10
3	128	10
4	609	10
5	4645	10
done	5000	10
0	10	29
1	31	27
2	104	11
3	620	11
done	5000	11
0	9	10
1	19	10
2	43	10
3	128	10
4	609	10
5	4645	10
done	5000	10
0	9	10
1	19	10
2	43	10
3	128	10
4	609	10
5	4645	10
done	5000	10
0	10	11
1	18	11
2	33	11
3	76	11
4	273	11
5	1790	11
done	5000	11
0	10	11
1	18	11
2	33	11
3	76	11
4	273	11
5	1790	11
done	5000	11
0	11	12
1	21	12
2	45	12
3	130	12
4	604	12
5	4645	12
done	5000	12
0	11	12
1	21	12
2	45	12
3	130	12
4	604	12
5	4645	12
done	5000	12
0	11	12
1	21	12
2	38	12
3	74	12
4	184	12
5	565	12
6	2142	12
done	5000	12
0	11	12
1	21	12
2	38	12
3	74	12
4	184	12
5	565	12
6	2142	12
done	5000	12
0	12	13
1	22	11
2	47	11
3	131	11
4	605	11
5	4638	11
done	5000	11
0	12	13
1	22	11
2	47	11
3	131	11
4	605	11
5	4638	11
done	5000	11
0	11	12
1	21	12
2	40	12
3	83	12
4	216	12
5	692	12
6	2769	12
done	5000	12
0	11	12
1	21	12
2	40	12
3	83	12
4	216	12
5	692	12
6	2769	12
done	5000	12
0	11	12
1	21	12
2	35	12
3	54	12
4	98	12
5	223	12
6	642	12
7	2468	12
done	5001	12
0	11	12
1	21	12
2	35	12
3	54	12
4	98	12
5	223	12
6	642	12
7	2468	12
done	5001	12
0	12	13
1	22	11
2	42	11
3	84	11
4	214	11
5	685	11
6	2753	11
done	5000	11
0	12	13
1	22	11
2	42	11
3	84	11
4	214	11
5	685	11
6	2753	11
done	5000	11
0	12	13
1	22	11
2	47	11
3	131	11
4	602	11
5	4652	11
done	5000	11
0	12	13
1	22	11
2	47	11
3	131	11
4	602	11
5	4652	11
done	5000	11
0	12	13
1	22	11
2	40	11
3	75	11
4	184	11
5	557	11
6	2126	11
done	5000	11
0	12	13
1	22	11
2	40	11
3	75	11
4	184	11
5	557	11
6	2126	11
done	5000	11
0	11	14
1	20	10
2	45	10
3	130	10
4	604	10
5	4662	10
done	5000	10
0	11	14
1	20	10
2	45	10
3	130	10
4	604	10
5	4662	10
done	5000	10
0	10	13
1	22	13
2	53	13
3	186	13
4	1001	13
done	5000	13
0	9	10
1	19	10
2	43	10
3	128	10
4	609	10
5	4637	10
done	5000	10
0	8	9
1	20	7
2	51	7
3	140	7
4	563	7
5	3781	7
done	5000	7
0	9	10
1	17	10
2	32	10
3	74	10
4	271	10
5	1797	10
done	5000	10
0	9	10
1	17	10
2	32	10
3	75	10
4	272	10
5	1796	10
done	5000	10
0	10	11
1	20	11
2	44	11
3	129	11
4	614	11
5	4625	11
done	5000	11
0	10	11
1	20	11
2	44	11
3	129	11
4	614	11
5	4625	11
done	5000	11
0	9	10
1	19	10
2	43	10
3	128	10
4	610	10
5	4640	10
done	5000	10
0	10	11
1	20	11
2	36	11
3	72	11
4	182	11
5	564	11
6	2124	11
done	5000	11
0	10	11
1	20	11
2	37	11
3	73	11
4	183	11
5	564	11
6	2128	11
done	5000	11
0	9	10
1	19	10
2	43	10
3	128	10
4	610	10
5	4640	10
done	5000	10
0	11	12
1	21	10
2	46	10
3	130	10
4	605	10
5	4637	10
done	5000	10
0	10	11
1	20	11
2	44	11
3	129	11
4	614	11
5	4625	11
done	5000	11
0	10	11
1	20	11
2	44	11
3	129	11
4	614	11
5	4625	11
done	5000	11
0	9	10
1	19	10
2	43	10
3	128	10
4	610	10
5	4640	10
done	5000	10
0	10	11
1	20	11
2	36	11
3	72	11
4	182	11
5	564	11
6	2124	11
done	5000	11
0	10	11
1	20	11
2	37	11
3	73	11
4	183	11
5	564	11
6	2128	11
done	5000	11
0	9	10
1	19	10
2	43	10
3	128	10
4	610	10
5	4640	10
done	5000	10
0	11	12
1	21	10
2	46	10
3	130	10
4	605	10
5	4637	10
done	5000	10
0	9	10
1	19	10
2	43	10
3	128	10
4	609	10
5	4642	10
done	5000	10
0	9	10
1	19	10
2	43	10
3	128	10
4	609	10
5	4642	10
done	5000	10
0	8	9
1	18	9
2	42	9
3	127	9
4	608	9
5	4656	9
done	5000	9
0	9	10
1	19	10
2	35	10
3	71	10
4	183	10
5	564	10
6	2131	10
done	5000	10
0	9	10
1	19	10
2	36	10
3	72	10
4	184	10
5	564	10
6	2122	10
done	5000	10
0	8	9
1	18	9
2	42	9
3	127	9
4	608	9
5	4656	9
done	5000	9
0	10	11
1	20	9
2	45	9
3	129	9
4	613	9
5	4640	9
done	5000	9
0	10	11
1	20	11
2	38	11
3	81	11
4	213	11
5	693	11
6	2762	11
done	5000	11
0	10	11
1	20	11
2	38	11
3	81	11
4	213	11
5	693	11
6	2762	11
done	5000	11
0	9	10
1	19	10
2	37	10
3	80	10
4	212	10
5	687	10
6	2751	10
done	5000	10
0	10	11
1	20	11
2	32	11
3	51	11
4	97	11
5	216	11
6	631	11
7	2481	11
done	5001	11
0	10	11
1	20	11
2	33	11
3	52	11
4	98	11
5	217	11
6	630	11
7	2457	11
done	5000	11
0	9	10
1	19	10
2	37	10
3	80	10
4	212	10
5	687	10
6	2751	10
done	5000	10
0	11	12
1	21	10
2	40	10
3	82	10
4	214	10
5	687	10
6	2758	10
done	5000	10
0	10	11
1	20	11
2	39	11
3	82	11
4	214	11
5	696	11
6	2765	11
done	5000	11
0	10	11
1	20	11
2	39	11
3	82	11
4	214	11
5	696	11
6	2765	11
done	5000	11
0	9	10
1	19	10
2	38	10
3	81	10
4	213	10
5	695	10
6	2755	10
done	5000	10
0	10	11
1	20	11
2	33	11
3	52	11
4	98	11
5	217	11
6	630	11
7	2457	11
done	5000	11
0	10	11
1	20	11
2	34	11
3	53	11
4	99	11
5	219	11
6	636	11
7	2476	11
done	5001	11
0	9	10
1	19	10
2	38	10
3	81	10
4	213	10
5	695	10
6	2755	10
done	5000	10
0	11	12
1	21	10
2	41	10
3	83	10
4	215	10
5	691	10
6	2754	10
done	5000	10
0	9	10
1	19	10
2	43	10
3	128	10
4	609	10
5	4642	10
done	5000	10
0	9	10
1	19	10
2	43	10
3	128	10
4	609	10
5	4642	10
done	5000	10
0	8	9
1	18	9
2	42	9
3	127	9
4	608	9
5	4656	9
done	5000	9
0	9	10
1	19	10
2	35	10
3	71	10
4	183	10
5	564	10
6	2131	10
done	5000	10
0	9	10
1	19	10
2	36	10
3	72	10
4	184	10
5	564	10
6	2122	10
done	5000	10
0	8	9
1	18	9
2	42	9
3	127	9
4	608	9
5	4656	9
done	5000	9
0	10	11
1	20	9
2	45	9
3	129	9
4	613	9
5	4640	9
done	5000	9
0	11	12
1	20	10
2	46	10
3	135	10
4	610	10
5	4636	10
done	5000	10
0	11	12
1	20	10
2	46	10
3	135	10
4	610	10
5	4636	10
done	5000	10
0	10	11
1	20	9
2	45	9
3	129	9
4	611	9
5	4632	9
done	5000	9
0	11	12
1	20	10
2	37	10
3	78	10
4	194	10
5	578	10
6	2137	10
done	5001	10
0	11	12
1	20	10
2	38	10
3	79	10
4	195	10
5	575	10
6	2131	10
done	5000	10
0	10	11
1	20	9
2	45	9
3	129	9
4	611	9
5	4632	9
done	5000	9
0	10	13
1	20	9
2	44	9
3	129	9
4	614	9
5	4645	9
done	5000	9
0	8	9
1	18	9
2	42	9
3	127	9
4	608	9
5	4656	9
done	5000	9
0	7	7
1	17	5
2	29	5
3	51	5
4	111	5
5	320	5
6	1388	5
done	5000	5
0	5	5
1	11	5
2	21	5
3	39	5
4	89	5
5	234	5
6	771	5
7	3065	5
done	5001	5
0	16	19
1	43	18
2	127	18
3	409	18
4	1835	18
done	5000	18
0	15	18
1	38	18
2	110	18
3	366	18
4	1606	18
done	5001	18
0	15	18
1	41	18
2	123	18
3	417	18
4	1884	18
done	5000	18
0	16	37
1	39	37
2	111	37
3	363	37
4	1592	37
done	5001	37
0	15	18
1	38	18
2	110	18
3	366	18
4	1606	18
done	5001	18
0	16	53
1	40	53
2	125	19
3	497	19
4	3716	19
done	5000	19
0	15	18
1	38	18
2	110	18
3	366	18
4	1606	18
done	5001	18
0	15	18
1	38	18
2	110	18
3	366	18
4	1606	18
done	5001	18
0	15	19
1	44	19
2	136	19
3	516	19
4	2214	19
done	5000	19
0	6	7
1	19	7
2	51	7
3	141	7
4	421	5
5	1833	3
done	5000	3
0	16	21
1	57	21
2	218	21
3	1278	21
done	5000	21
0	18	53
1	66	43
2	254	41
3	1504	33
done	5000	33
0	8	8
1	25	7
2	86	7
3	321	7
4	1293	7
done	5000	7
0	16	35
1	58	31
2	215	25
3	1173	25
done	5001	25
0	14	17
1	36	17
2	100	17
3	303	17
4	1190	17
done	5000	17
0	8	8
1	25	7
2	86	7
3	321	7
4	1293	7
done	5000	7
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	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	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	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	11	12
1	29	12
2	71	12
3	161	12
4	387	12
5	1081	12
6	3829	12
done	5000	12
0	11	12
1	29	12
2	71	12
3	161	12
4	387	12
5	1081	12
6	3829	12
done	5000	12
0	11	12
1	29	12
2	71	12
3	161	12
4	387	12
5	1081	12
6	3829	12
done	5000	12

prune432.0ms

Filtered

126 candidates to 165 candidates (-31.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	165	0	165
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	165	2	167

Merged error: 0b

Counts

167 → 2

regimes30.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	21
1	20	21
done	20	21

end0.0ms

sample2.9s

Algorithm

intervals

Results

1.5s	3429×	body	1280	valid
621.0ms	2559×	body	640	valid
261.0ms	7938×	body	80	nan
175.0ms	1215×	body	320	valid
53.0ms	580×	body	160	valid
9.0ms	217×	body	80	valid

Details

sample100.0ms

simplify8.0ms

prune2.0ms

localize6.0ms

rewrite20.0ms

series9.0ms

simplify54.9s

prune160.0ms

localize11.0ms

rewrite0.0ms

series0.0ms

simplify0.0ms

prune6.0ms

localize7.0ms

rewrite19.0ms

series20.0ms

simplify1.2min

prune125.0ms

localize16.0ms

rewrite47.0ms

series42.0ms

simplify8.3min

prune432.0ms

regimes30.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.9s

Profiling