Details

sample28.0ms

Algorithm

intervals

Results

12.0ms	86×	body	1280	valid
4.0ms	142×	body	80	valid
2.0ms	17×	body	640	valid
1.0ms	7×	body	320	valid
0.0ms	4×	body	160	valid

simplify3.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	9	7
2	10	7
done	10	7

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

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(atan (+ N 1.0))
1.0b	(- (atan (+ N 1.0)) (atan N))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
2×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
1×	`sub-neg` `flip3--` `diff-log` `diff-atan` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 22

Calls

2 calls:

1.0ms	(atan (+ N 1.0))
4.0ms	(- (atan (+ N 1.0)) (atan N))

series4.0ms

Counts

2 → 6

Calls

2 calls:

1.0ms	(atan (+ N 1.0))
3.0ms	(- (atan (+ N 1.0)) (atan N))

simplify16.3s

Counts

28 → 28

Iterations

Useful iterations: 4 (8.0ms)

Iter	Nodes	Cost
0	4	5
1	9	5
2	16	5
3	22	3
4	24	1
done	24	1
0	6	7
1	11	7
2	18	7
3	26	7
done	26	7
0	8	9
1	11	8
2	13	8
3	16	8
4	19	8
5	25	8
6	29	8
7	45	8
8	49	8
9	54	8
10	61	8
11	80	8
12	101	8
13	113	8
14	116	8
done	116	8
0	7	8
1	10	8
2	11	8
done	11	8
0	7	8
1	13	8
2	16	8
3	19	8
4	25	8
5	29	8
6	45	8
7	49	8
8	54	8
9	61	8
10	79	8
11	100	8
12	113	8
13	116	8
done	116	8
0	8	17
1	11	17
2	12	17
done	12	17
0	7	8
1	10	8
2	11	8
done	11	8
0	8	23
1	12	23
2	27	9
3	70	9
4	179	9
5	507	9
6	1717	9
7	4952	9
done	5000	9
0	7	8
1	10	8
2	11	8
done	11	8
0	7	8
1	10	8
2	11	8
done	11	8
0	9	11
1	25	11
2	47	11
3	81	11
4	165	11
5	497	11
6	2238	11
done	5000	11
0	10	23
1	18	20
2	26	20
3	29	18
4	30	18
done	30	18
0	3	3
done	3	3
0	8	15
1	14	15
2	21	15
3	36	15
4	61	15
5	102	15
6	166	15
7	334	15
8	1644	15
done	5000	15
0	6	7
1	8	7
done	8	7
0	8	9
1	10	9
done	10	9
0	8	9
1	11	9
2	12	9
done	12	9
0	6	7
1	9	7
2	10	7
done	10	7
0	3	3
done	3	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
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	6	7
1	9	7
2	10	7
done	10	7
0	6	7
1	9	7
2	10	7
done	10	7
0	6	7
1	9	7
2	10	7
done	10	7
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4

prune43.0ms

Filtered

19 candidates to 28 candidates (-47.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	26	2	28
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	27	2	29

Merged error: 0.2b

Counts

29 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (+ N 1.0) N)
0.2b	(atan2 1.0 (+ 1 (* (+ N 1.0) N)))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `associate-l` `add-cbrt-cube`
3×	`associate-r`
2×	`associate-*l/` `add-log-exp`
1×	`flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `unswap-sqr`

Counts

2 → 28

Calls

2 calls:

7.0ms	(* (+ N 1.0) N)
1.0ms	(atan2 1.0 (+ 1 (* (+ N 1.0) N)))

series8.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(* (+ N 1.0) N)
3.0ms	(atan2 1.0 (+ 1 (* (+ N 1.0) N)))

simplify35.6s

Counts

34 → 34

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	10
1	13	10
2	20	10
3	28	10
4	30	10
done	30	10
0	8	10
1	13	10
2	20	10
3	28	10
4	30	10
done	30	10
0	9	21
1	14	21
2	21	21
3	29	21
4	33	21
done	33	21
0	8	10
1	13	10
2	20	10
3	28	10
4	30	10
done	30	10
0	9	29
1	15	29
2	24	11
3	37	11
4	43	11
5	53	11
6	74	11
7	136	11
8	352	11
9	1295	11
done	5000	11
0	8	10
1	13	10
2	20	10
3	28	10
4	30	10
done	30	10
0	8	10
1	13	10
2	20	10
3	28	10
4	30	10
done	30	10
0	4	5
1	6	5
2	13	5
done	13	5
0	6	7
1	8	7
done	8	7
0	5	6
1	10	6
2	18	6
done	18	6
0	5	6
1	9	6
2	25	6
3	37	6
4	63	6
5	126	6
6	309	6
7	879	6
8	3024	6
done	5000	6
0	8	17
1	28	17
2	87	9
3	237	9
4	862	7
5	3172	7
done	5000	7
0	6	13
1	8	13
2	15	13
done	15	13
0	5	6
1	7	6
2	14	6
done	14	6
0	6	17
1	18	17
2	71	7
3	231	7
4	622	7
5	1853	7
done	5000	7
0	5	6
1	7	6
2	14	6
done	14	6
0	5	6
1	7	6
2	14	6
done	14	6
0	6	7
1	8	7
done	8	7
0	6	7
1	8	7
done	8	7
0	6	9
1	10	9
2	20	9
3	32	9
4	34	9
done	34	9
0	5	6
1	7	6
2	15	6
done	15	6
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	5	6
1	7	6
done	7	6
0	5	6
1	7	6
done	7	6
0	4	5
1	6	5
2	13	5
done	13	5
0	4	5
1	6	5
2	13	5
done	13	5
0	7	9
1	22	9
2	39	9
3	77	9
4	156	9
5	392	9
6	1343	9
done	5001	9
0	6	9
1	12	9
2	29	9
3	69	9
4	143	9
5	238	9
6	436	9
7	1135	9
done	5001	9
0	9	11
1	20	11
2	34	9
3	47	9
4	69	9
5	128	9
6	340	9
7	1306	9
done	5000	9
0	9	11
1	20	11
2	34	9
3	47	9
4	69	9
5	128	9
6	340	9
7	1306	9
done	5000	9
0	9	11
1	20	11
2	34	9
3	47	9
4	69	9
5	128	9
6	340	9
7	1306	9
done	5000	9
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5

prune73.0ms

Filtered

25 candidates to 34 candidates (-36.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	30	4	34
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	30	6	36

Merged error: 0.1b

Counts

36 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

0.2b	(atan2 1.0 (+ 1 (* (+ N 1.0) N)))
0.7b	(* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
15.4b	(sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
15.4b	(sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
24×	`sqrt-prod`
21×	`pow1`
14×	`add-cube-cbrt` `*-un-lft-identity`
10×	`sqrt-pow1` `pow1/2`
8×	`swap-sqr`
6×	`add-exp-log` `associate-r` `associate-l` `add-cbrt-cube`
5×	`pow-prod-up`
4×	`add-log-exp` `unswap-sqr`
3×	`pow-prod-down` `pow-sqr`
2×	`rem-sqrt-square`
1×	`pow2` `pow-plus` `sqrt-unprod` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 82

Calls

4 calls:

4.0ms	(atan2 1.0 (+ 1 (* (+ N 1.0) N)))
7.0ms	(* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
1.0ms	(sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
2.0ms	(sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))

series20.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(atan2 1.0 (+ 1 (* (+ N 1.0) N)))
3.0ms	(* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
8.0ms	(sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
7.0ms	(sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))

simplify55.3s

Counts

94 → 94

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	10	23
1	15	23
2	22	23
3	30	23
done	30	23
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	10	32
1	16	20
2	26	12
3	39	12
4	45	12
5	55	12
6	76	12
7	136	12
8	346	12
9	1279	12
done	5000	12
0	10	22
1	16	11
2	23	11
3	31	11
4	35	11
done	35	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	2	2
1	4	1
done	4	1
0	8	10
1	13	10
2	20	10
3	28	10
4	30	10
done	30	10
0	3	3
1	6	1
done	6	1
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	10	23
1	15	23
2	22	23
3	30	23
done	30	23
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	10	32
1	16	20
2	26	12
3	39	12
4	45	12
5	55	12
6	76	12
7	136	12
8	346	12
9	1279	12
done	5000	12
0	10	22
1	16	11
2	23	11
3	31	11
4	35	11
done	35	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	2	2
1	4	1
done	4	1
0	8	10
1	13	10
2	20	10
3	28	10
4	30	10
done	30	10
0	3	3
1	6	1
done	6	1
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	2	3
1	5	1
2	7	1
done	7	1
0	5	5
1	8	1
done	8	1
0	2	3
1	6	1
done	6	1
0	5	5
1	8	3
done	8	1
0	4	7
1	8	3
2	9	1
done	9	1
0	8	19
1	13	19
2	20	19
3	28	19
4	30	19
done	30	19
0	9	21
1	14	9
2	22	9
3	30	9
done	30	9
0	8	19
1	13	19
2	20	19
3	28	19
4	30	19
done	30	19
0	2	3
1	6	1
done	6	1
0	10	23
1	17	13
2	25	13
3	33	13
4	37	13
done	37	13
0	10	22
1	17	10
2	27	10
3	36	10
done	36	10
0	10	22
1	17	10
2	29	10
3	42	10
4	64	10
5	105	10
6	214	10
7	587	10
8	2270	10
done	5000	10
0	11	65
1	23	29
2	42	25
3	62	11
4	93	11
5	172	11
6	391	11
7	1348	11
done	5000	11
0	11	45
1	16	21
2	24	21
3	32	21
done	32	21
0	10	22
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	11	65
1	24	29
2	39	11
3	60	11
4	92	11
5	176	11
6	406	11
7	1397	11
done	5000	11
0	8	19
1	13	19
2	20	19
3	28	19
4	30	19
done	30	19
0	10	22
1	16	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	22
1	16	10
2	23	10
3	31	10
4	35	10
done	35	10
0	11	47
1	20	47
2	29	25
3	45	13
4	62	13
5	88	13
6	161	13
7	379	13
8	1282	13
done	5000	13
0	10	23
1	15	23
2	22	23
3	30	23
done	30	23
0	11	45
1	17	21
2	25	21
3	33	21
4	37	21
done	37	21
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	3	5
1	5	1
done	5	1
0	9	21
1	14	9
2	22	9
3	30	9
done	30	9
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	2	3
1	4	1
done	4	1
0	9	21
1	14	9
2	22	9
3	30	9
done	30	9
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	3	3
1	5	1
2	7	1
done	7	1
0	3	3
1	6	1
done	6	1
0	4	5
1	10	1
done	10	1
0	11	34
1	19	34
2	28	34
3	36	34
done	36	34
0	12	33
1	19	22
2	26	22
3	34	22
done	34	22
0	10	22
1	16	22
2	23	22
3	31	22
4	35	22
done	35	22
0	10	13
1	16	12
2	23	12
3	31	10
4	38	10
done	38	10
0	10	22
1	16	22
2	23	22
3	31	22
4	35	22
done	35	22
0	9	12
1	15	10
2	25	10
3	33	10
4	37	10
done	37	10
0	10	22
1	16	22
2	23	22
3	31	22
4	35	22
done	35	22
0	11	22
1	17	22
2	24	22
3	32	22
done	32	22
0	10	22
1	16	22
2	23	22
3	31	22
4	35	22
done	35	22
0	9	21
1	14	9
2	22	9
3	30	9
done	30	9
0	10	22
1	16	22
2	23	22
3	31	22
4	35	22
done	35	22
0	9	21
1	14	9
2	22	9
3	30	9
done	30	9
0	8	10
1	13	10
2	20	10
3	28	10
4	30	10
done	30	10
0	8	10
1	13	10
2	20	10
3	28	10
4	30	10
done	30	10
0	9	21
1	14	21
2	21	21
3	29	21
4	33	21
done	33	21
0	8	10
1	13	10
2	20	10
3	28	10
4	30	10
done	30	10
0	9	29
1	15	29
2	24	11
3	37	11
4	43	11
5	53	11
6	74	11
7	136	11
8	352	11
9	1295	11
done	5000	11
0	8	10
1	13	10
2	20	10
3	28	10
4	30	10
done	30	10
0	8	10
1	13	10
2	20	10
3	28	10
4	30	10
done	30	10
0	10	12
1	21	12
2	35	10
3	48	10
4	70	10
5	129	10
6	349	10
7	1389	10
done	5000	10
0	10	12
1	21	12
2	35	10
3	48	10
4	70	10
5	129	10
6	349	10
7	1389	10
done	5000	10
0	10	12
1	21	12
2	35	10
3	48	10
4	70	10
5	129	10
6	349	10
7	1389	10
done	5000	10
0	10	12
1	21	12
2	35	10
3	48	10
4	70	10
5	129	10
6	349	10
7	1389	10
done	5000	10
0	10	12
1	21	12
2	35	10
3	48	10
4	70	10
5	129	10
6	349	10
7	1389	10
done	5000	10
0	10	12
1	21	12
2	35	10
3	48	10
4	70	10
5	129	10
6	349	10
7	1389	10
done	5000	10
0	9	11
1	20	11
2	34	9
3	47	9
4	69	9
5	128	9
6	340	9
7	1306	9
done	5000	9
0	9	11
1	20	11
2	34	9
3	47	9
4	69	9
5	128	9
6	340	9
7	1306	9
done	5000	9
0	9	11
1	20	11
2	34	9
3	47	9
4	69	9
5	128	9
6	340	9
7	1306	9
done	5000	9
0	9	11
1	20	11
2	34	9
3	47	9
4	69	9
5	128	9
6	340	9
7	1306	9
done	5000	9
0	9	11
1	20	11
2	34	9
3	47	9
4	69	9
5	128	9
6	340	9
7	1306	9
done	5000	9
0	9	11
1	20	11
2	34	9
3	47	9
4	69	9
5	128	9
6	340	9
7	1306	9
done	5000	9

prune180.0ms

Filtered

51 candidates to 94 candidates (-84.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	90	4	94
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	92	8	100

Merged error: 0.1b

Counts

100 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

0.7b	(* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))))
15.4b	(sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
15.4b	(sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
15.4b	(sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

54×	`sqrt-pow1`
45×	`pow1`
30×	`pow1/2` `pow-prod-up`
16×	`add-sqr-sqrt`
14×	`sqrt-prod`
9×	`add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
7×	`pow-prod-down`
6×	`associate-l` `pow-sqr`
4×	`add-log-exp`
3×	`rem-sqrt-square` `prod-exp` `cbrt-unprod`
2×	`sqrt-unprod` `swap-sqr` `unswap-sqr`
1×	`associate-r` `*-commutative`

Counts

4 → 85

Calls

4 calls:

18.0ms	(* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))))
2.0ms	(sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
2.0ms	(sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
2.0ms	(sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))

series26.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))))
8.0ms	(sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
7.0ms	(sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
8.0ms	(sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))

simplify1.4min

Counts

97 → 97

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	10	23
1	15	23
2	22	23
3	30	23
done	30	23
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	10	32
1	16	20
2	26	12
3	39	12
4	45	12
5	55	12
6	76	12
7	136	12
8	346	12
9	1279	12
done	5000	12
0	10	22
1	16	11
2	23	11
3	31	11
4	35	11
done	35	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	2	2
1	4	1
done	4	1
0	8	10
1	13	10
2	20	10
3	28	10
4	30	10
done	30	10
0	3	3
1	6	1
done	6	1
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	10	23
1	15	23
2	22	23
3	30	23
done	30	23
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	10	32
1	16	20
2	26	12
3	39	12
4	45	12
5	55	12
6	76	12
7	136	12
8	346	12
9	1279	12
done	5000	12
0	10	22
1	16	11
2	23	11
3	31	11
4	35	11
done	35	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	2	2
1	4	1
done	4	1
0	8	10
1	13	10
2	20	10
3	28	10
4	30	10
done	30	10
0	3	3
1	6	1
done	6	1
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	10	23
1	15	23
2	22	23
3	30	23
done	30	23
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	10	32
1	16	20
2	26	12
3	39	12
4	45	12
5	55	12
6	76	12
7	136	12
8	346	12
9	1279	12
done	5000	12
0	10	22
1	16	11
2	23	11
3	31	11
4	35	11
done	35	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	2	2
1	4	1
done	4	1
0	8	10
1	13	10
2	20	10
3	28	10
4	30	10
done	30	10
0	3	3
1	6	1
done	6	1
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	9	11
1	14	11
2	21	11
3	29	11
4	33	11
done	33	11
0	5	9
1	10	5
2	15	1
3	17	1
done	17	1
0	8	11
1	18	5
2	21	1
done	21	1
0	8	11
1	18	5
2	21	1
done	21	1
0	7	13
1	16	7
2	25	1
done	25	1
0	5	7
1	11	5
2	13	1
done	13	1
0	7	9
1	16	3
2	17	1
done	17	1
0	4	5
1	12	3
2	13	1
done	13	1
0	6	7
1	13	1
done	13	1
0	6	7
1	12	5
2	15	1
done	15	1
0	5	9
1	12	5
2	16	3
done	16	1
0	5	5
1	9	1
done	9	1
0	5	7
1	12	1
done	12	1
0	7	11
1	14	3
2	17	1
done	17	1
0	8	13
1	18	5
2	21	1
done	21	1
0	8	13
1	18	5
2	21	1
done	21	1
0	6	15
1	16	7
2	25	1
done	25	1
0	7	9
1	14	3
done	14	1
0	6	11
1	17	5
2	20	1
done	20	1
0	10	31
1	18	19
2	28	19
3	38	19
4	46	12
5	59	12
6	87	12
7	160	12
8	375	12
9	1279	12
done	5000	12
0	11	34
1	19	21
2	29	9
3	40	9
4	52	9
5	65	9
6	92	9
7	164	9
8	377	9
9	1269	9
done	5000	9
0	11	34
1	19	21
2	29	9
3	40	9
4	52	9
5	65	9
6	92	9
7	164	9
8	377	9
9	1269	9
done	5000	9
0	10	31
1	18	19
2	28	19
3	38	19
4	46	12
5	59	12
6	87	12
7	160	12
8	375	12
9	1279	12
done	5000	12
0	13	37
1	23	26
2	33	26
3	41	26
4	43	26
done	43	26
0	13	36
1	21	23
2	35	23
3	53	13
4	64	13
done	64	13
0	12	35
1	22	22
2	38	10
3	58	10
4	74	10
5	90	10
6	126	10
7	236	10
8	586	10
9	2016	10
done	5000	10
0	12	35
1	22	22
2	40	10
3	66	10
4	110	10
5	216	10
6	481	10
7	1496	10
done	5000	10
0	15	104
1	33	41
2	87	25
3	141	11
4	258	11
5	940	11
6	3870	11
done	5000	11
0	15	104
1	34	41
2	84	25
3	139	11
4	256	11
5	946	11
6	3899	11
done	5001	11
0	13	71
1	21	45
2	31	21
3	42	21
4	54	21
5	67	21
6	94	21
7	166	21
8	379	21
9	1277	21
done	5000	21
0	12	35
1	20	22
2	30	10
3	41	10
4	51	10
5	64	10
6	91	10
7	165	10
8	384	10
9	1287	10
done	5000	10
0	13	104
1	31	65
2	73	11
3	145	11
4	208	11
5	481	11
6	1728	11
done	5001	11
0	10	31
1	18	19
2	28	19
3	38	19
4	46	12
5	59	12
6	87	12
7	160	12
8	375	12
9	1279	12
done	5000	12
0	12	35
1	20	22
2	30	10
3	41	10
4	51	10
5	64	10
6	91	10
7	165	10
8	376	10
9	1281	10
done	5000	10
0	12	35
1	20	22
2	30	10
3	41	10
4	51	10
5	64	10
6	91	10
7	165	10
8	376	10
9	1281	10
done	5000	10
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	23
1	15	10
2	23	10
3	31	10
4	35	10
done	35	10
0	10	22
1	16	22
2	23	22
3	31	22
4	35	22
done	35	22
0	12	35
1	20	22
2	30	22
3	38	22
4	40	22
done	40	22
0	13	35
1	21	22
2	31	22
3	39	22
4	43	22
done	43	22
0	11	35
1	19	13
2	32	13
3	46	13
4	58	13
5	79	13
6	138	13
7	350	13
8	1268	13
done	5000	13
0	11	34
1	19	21
2	29	9
3	40	9
4	52	9
5	65	9
6	92	9
7	164	9
8	377	9
9	1269	9
done	5000	9
0	11	35
1	19	13
2	32	13
3	46	13
4	58	13
5	79	13
6	138	13
7	350	13
8	1268	13
done	5000	13
0	11	34
1	19	21
2	29	9
3	40	9
4	52	9
5	65	9
6	92	9
7	164	9
8	377	9
9	1269	9
done	5000	9
0	10	12
1	21	12
2	35	10
3	48	10
4	70	10
5	129	10
6	349	10
7	1389	10
done	5000	10
0	10	12
1	21	12
2	35	10
3	48	10
4	70	10
5	129	10
6	349	10
7	1389	10
done	5000	10
0	10	12
1	21	12
2	35	10
3	48	10
4	70	10
5	129	10
6	349	10
7	1389	10
done	5000	10
0	10	12
1	21	12
2	35	10
3	48	10
4	70	10
5	129	10
6	349	10
7	1389	10
done	5000	10
0	10	12
1	21	12
2	35	10
3	48	10
4	70	10
5	129	10
6	349	10
7	1389	10
done	5000	10
0	10	12
1	21	12
2	35	10
3	48	10
4	70	10
5	129	10
6	349	10
7	1389	10
done	5000	10
0	10	12
1	21	12
2	35	10
3	48	10
4	70	10
5	129	10
6	349	10
7	1389	10
done	5000	10
0	10	12
1	21	12
2	35	10
3	48	10
4	70	10
5	129	10
6	349	10
7	1389	10
done	5000	10
0	10	12
1	21	12
2	35	10
3	48	10
4	70	10
5	129	10
6	349	10
7	1389	10
done	5000	10
0	9	11
1	20	11
2	34	9
3	47	9
4	69	9
5	128	9
6	340	9
7	1306	9
done	5000	9
0	9	11
1	20	11
2	34	9
3	47	9
4	69	9
5	128	9
6	340	9
7	1306	9
done	5000	9
0	9	11
1	20	11
2	34	9
3	47	9
4	69	9
5	128	9
6	340	9
7	1306	9
done	5000	9

prune189.0ms

Filtered

53 candidates to 97 candidates (-83.0%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	97	8	105

Merged error: 0.1b

Counts

105 → 8

regimes113.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	12	9
done	12	9

end0.0ms

sample779.0ms

Algorithm

intervals

Results

393.0ms	2874×	body	1280	valid
113.0ms	4048×	body	80	valid
72.0ms	624×	body	640	valid
29.0ms	297×	body	320	valid
9.0ms	157×	body	160	valid

Details

sample28.0ms

simplify3.0ms

prune3.0ms

localize6.0ms

rewrite5.0ms

series4.0ms

simplify16.3s

prune43.0ms

localize6.0ms

rewrite9.0ms

series8.0ms

simplify35.6s

prune73.0ms

localize9.0ms

rewrite17.0ms

series20.0ms

simplify55.3s

prune180.0ms

localize12.0ms

rewrite27.0ms

series26.0ms

simplify1.4min

prune189.0ms

regimes113.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample779.0ms

Profiling