Details

sample117.0ms

Algorithm

intervals

Results

56.0ms	113×	body	1280	valid
26.0ms	31×	body	2560	valid
13.0ms	47×	body	640	valid
4.0ms	21×	body	320	valid
3.0ms	36×	body	80	valid
1.0ms	8×	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: 38.4b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(sin x)
0.9b	(- (sin (+ x eps)) (sin x))
4.3b	(sin (+ x eps))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
2×	`sin-sum`
1×	`sub-neg` `flip3--` `diff-log` `diff-sin` `associate--l+` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

3 → 31

Calls

3 calls:

2.0ms	(sin x)
7.0ms	(- (sin (+ x eps)) (sin x))
5.0ms	(sin (+ x eps))

series19.0ms

Counts

3 → 9

Calls

3 calls:

2.0ms	(sin x)
10.0ms	(- (sin (+ x eps)) (sin x))
6.0ms	(sin (+ x eps))

simplify44.2s

Counts

40 → 40

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
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	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	11	17
1	21	17
2	33	17
3	42	15
4	47	13
5	56	13
6	81	13
7	91	13
8	112	13
9	135	13
10	152	13
11	165	13
12	179	13
13	224	13
14	437	13
15	912	13
16	2235	11
done	5000	11
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	7	8
1	10	8
2	11	8
done	11	8
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	4
4	18	4
5	28	4
6	49	4
7	108	4
8	316	4
9	1236	4
done	5000	4
0	3	3
done	3	3
0	3	3
done	3	3
0	8	9
1	22	9
2	54	9
3	116	9
4	252	9
5	608	9
6	1970	9
done	5000	9
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	12	17
1	35	15
2	94	15
3	183	13
4	393	11
5	722	11
6	1270	11
7	1608	11
8	2133	11
9	4076	11
done	5001	11
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	11	13
1	30	13
2	72	13
3	158	13
4	345	13
5	852	13
6	2834	13
done	5001	13
0	2	2
done	2	2
0	2	2
done	2	2

prune58.0ms

Filtered

31 candidates to 40 candidates (-29.0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	37	3	40
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	38	3	41

Merged error: 0.4b

Counts

41 → 3

localize10.0ms

Local error

Found 2 expressions with local error:

0.2b	(* (sin (/ eps 2)) (cos (+ x (/ eps 2))))
4.1b	(cos (+ x (/ eps 2)))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
3×	`associate-r` `associate-l`
2×	`add-log-exp`
1×	`cos-sum` `pow-prod-down` `prod-exp` `*-commutative` `sin-cos-mult` `cbrt-unprod` `unswap-sqr`

Counts

2 → 27

Calls

2 calls:

6.0ms	(* (sin (/ eps 2)) (cos (+ x (/ eps 2))))
7.0ms	(cos (+ x (/ eps 2)))

series17.0ms

Counts

2 → 6

Calls

2 calls:

11.0ms	(* (sin (/ eps 2)) (cos (+ x (/ eps 2))))
6.0ms	(cos (+ x (/ eps 2)))

simplify33.0s

Counts

33 → 33

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	15
1	9	15
done	9	15
0	7	7
1	8	7
done	8	7
0	8	20
1	10	20
2	12	8
3	16	8
4	22	8
5	32	8
6	53	8
7	114	8
8	327	8
9	1261	8
done	5000	8
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	10	21
1	17	21
2	29	21
3	43	13
4	55	12
5	190	12
6	837	9
7	1603	7
8	3765	7
done	5000	7
0	8	11
1	10	11
done	10	11
0	10	13
1	12	13
done	12	13
0	9	12
1	14	12
2	15	12
done	15	12
0	9	12
1	13	12
2	18	12
3	26	12
4	49	12
5	107	12
6	249	12
7	711	12
8	2710	12
done	5000	12
0	12	35
1	20	35
2	45	15
3	83	15
4	137	13
5	256	13
6	659	13
7	2436	13
done	5001	13
0	10	25
1	12	25
done	12	25
0	9	12
1	11	12
done	11	12
0	10	35
1	22	35
2	51	13
3	95	13
4	113	13
5	159	13
6	310	13
7	768	13
8	2781	13
done	5001	13
0	9	12
1	11	12
done	11	12
0	9	12
1	11	12
done	11	12
0	10	13
1	12	13
done	12	13
0	10	13
1	12	13
done	12	13
0	10	20
1	14	20
2	16	20
done	16	20
0	9	12
1	11	12
done	11	12
0	6	6
1	9	4
2	12	4
done	12	4
0	9	12
1	11	12
done	11	12
0	9	12
1	11	12
done	11	12
0	8	11
1	10	11
done	10	11
0	11	13
1	29	11
2	64	9
3	149	9
4	338	9
5	851	9
6	3629	9
done	5000	9
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	15	17
1	37	17
2	95	17
3	195	15
4	459	15
5	974	13
6	3064	13
done	5000	13
0	8	11
1	11	11
done	11	11
0	8	11
1	11	11
done	11	11

prune91.0ms

Filtered

27 candidates to 33 candidates (-22.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	29	4	33
Fresh	0	2	2
Picked	1	0	1
Done	0	0	0
Total	30	6	36

Merged error: 0.1b

Counts

36 → 6

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (cos x) (cos (/ eps 2)))
0.1b	(- (* (cos x) (cos (/ eps 2))) (* (sin x) (sin (/ eps 2))))
0.2b	(* (sin (/ eps 2)) (- (* (cos x) (cos (/ eps 2))) (* (sin x) (sin (/ eps 2)))))
0.2b	(* (sin x) (sin (/ eps 2)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
10×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
9×	`associate-r` `associate-l`
6×	`add-log-exp`
5×	`cos-mult` `sin-mult`
4×	`associate-*r/`
3×	`sub-neg` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
2×	`distribute-rgt-in` `flip3--` `distribute-lft-in` `frac-sub` `flip--` `sub-div`
1×	`diff-log`

Counts

4 → 78

Calls

4 calls:

8.0ms	(* (cos x) (cos (/ eps 2)))
5.0ms	(- (* (cos x) (cos (/ eps 2))) (* (sin x) (sin (/ eps 2))))
11.0ms	(* (sin (/ eps 2)) (- (* (cos x) (cos (/ eps 2))) (* (sin x) (sin (/ eps 2)))))
6.0ms	(* (sin x) (sin (/ eps 2)))

series69.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (cos x) (cos (/ eps 2)))
20.0ms	(- (* (cos x) (cos (/ eps 2))) (* (sin x) (sin (/ eps 2))))
27.0ms	(* (sin (/ eps 2)) (- (* (cos x) (cos (/ eps 2))) (* (sin x) (sin (/ eps 2)))))
11.0ms	(* (sin x) (sin (/ eps 2)))

simplify1.3min

Counts

90 → 90

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	13
1	14	13
2	18	13
done	18	13
0	7	7
1	8	7
done	8	7
0	9	9
1	10	9
done	10	9
0	8	8
1	12	8
2	13	8
done	13	8
0	8	8
1	11	8
2	16	8
3	24	8
4	47	8
5	103	8
6	240	8
7	702	8
8	2708	8
done	5000	8
0	11	23
1	18	23
2	43	11
3	79	11
4	135	9
5	260	9
6	659	9
7	2458	9
done	5001	9
0	9	17
1	10	17
done	10	17
0	8	8
1	9	8
done	9	8
0	9	23
1	20	23
2	49	9
3	91	9
4	107	9
5	153	9
6	295	9
7	747	9
8	2750	9
done	5001	9
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	9	9
1	10	9
done	10	9
0	9	9
1	10	9
done	10	9
0	9	14
1	12	14
2	14	14
done	14	14
0	8	8
1	9	8
done	9	8
0	4	4
1	7	2
2	10	2
done	10	2
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	7	7
1	8	7
done	8	7
0	12	20
1	17	20
2	30	20
3	52	20
4	58	20
done	58	20
0	14	22
1	19	22
2	26	22
done	26	22
0	13	21
1	21	21
2	35	21
3	57	21
4	61	21
done	61	21
0	13	21
1	20	21
2	38	21
3	80	21
4	162	21
5	332	21
6	1070	21
7	4536	21
done	5000	21
0	16	62
1	27	62
2	77	24
3	321	24
4	1639	22
done	5000	22
0	14	43
1	19	43
2	32	43
3	54	43
4	62	43
done	62	43
0	13	21
1	18	21
2	31	21
3	53	21
4	59	21
done	59	21
0	14	62
1	29	62
2	89	22
3	360	22
4	1529	22
done	5000	22
0	13	21
1	18	21
2	31	21
3	53	21
4	59	21
done	59	21
0	13	21
1	18	21
2	31	21
3	53	21
4	59	21
done	59	21
0	14	22
1	19	22
2	26	22
done	26	22
0	14	22
1	19	22
2	26	22
done	26	22
0	9	12
1	13	12
2	19	12
done	19	12
0	9	13
1	17	13
2	27	13
3	32	13
done	32	13
0	9	12
1	13	12
2	19	12
done	19	12
0	9	13
1	17	13
2	27	13
3	32	13
done	32	13
0	9	12
1	13	12
2	19	12
done	19	12
0	9	13
1	17	13
2	26	13
3	32	13
done	32	13
0	9	12
1	13	12
2	19	12
done	19	12
0	9	13
1	17	13
2	26	13
3	32	13
done	32	13
0	14	38
1	21	38
2	30	38
done	30	38
0	13	21
1	18	21
2	25	21
done	25	21
0	6	6
1	9	4
2	12	4
done	12	4
0	13	21
1	18	21
2	31	21
3	60	21
4	74	21
5	82	21
done	82	21
0	13	21
1	18	21
2	31	21
3	60	21
4	74	21
5	82	21
done	82	21
0	12	20
1	17	20
2	30	20
3	52	20
4	58	20
done	58	20
0	13	32
1	26	32
2	65	32
3	138	20
4	212	13
5	735	13
6	3873	13
done	5000	13
0	15	36
1	26	36
2	58	34
3	140	34
4	367	34
5	612	15
6	929	13
7	3870	13
done	5000	13
0	15	24
1	38	24
2	128	24
3	454	24
4	1460	24
5	4219	24
done	5000	24
0	14	36
1	36	36
2	87	36
3	212	36
4	441	36
5	737	33
6	1171	33
7	1990	33
done	5001	33
0	13	17
1	21	16
2	33	16
3	64	16
4	163	16
5	607	16
6	3924	16
done	5000	16
0	12	16
1	16	16
2	23	16
done	23	16
0	12	16
1	19	16
2	36	16
3	57	16
4	123	16
5	455	16
6	2440	16
done	5000	16
0	13	33
1	17	33
2	24	33
done	24	33
0	12	16
1	16	16
2	23	16
done	23	16
0	13	47
1	18	47
2	39	17
3	129	17
4	510	17
5	1914	17
done	5001	17
0	12	16
1	16	16
2	23	16
done	23	16
0	12	16
1	16	16
2	23	16
done	23	16
0	11	27
1	23	27
2	46	27
3	84	15
4	114	8
5	467	8
6	2642	8
done	5000	8
0	13	31
1	23	31
2	49	29
3	93	29
4	204	29
5	305	10
6	415	8
7	2169	8
done	5000	8
0	2	3
1	3	1
done	3	1
0	14	19
1	36	19
2	120	19
3	382	19
4	924	19
5	2382	19
done	5001	19
0	15	47
1	42	39
2	99	39
3	141	39
4	151	39
5	153	39
done	153	39
0	8	8
1	13	8
2	15	8
done	15	8
0	13	31
1	34	31
2	75	31
3	133	31
4	198	31
5	331	31
6	505	31
7	869	31
8	2677	31
done	5000	31
0	11	15
1	14	15
done	14	15
0	8	8
1	13	8
2	15	8
done	15	8
0	9	13
1	13	13
2	16	13
done	16	13
0	7	7
1	8	7
done	8	7
0	9	9
1	10	9
done	10	9
0	8	8
1	12	8
2	13	8
done	13	8
0	8	8
1	11	8
2	16	8
3	24	8
4	47	8
5	103	8
6	240	8
7	702	8
8	2708	8
done	5000	8
0	11	23
1	18	23
2	43	11
3	79	11
4	135	9
5	260	9
6	659	9
7	2458	9
done	5001	9
0	9	17
1	10	17
done	10	17
0	8	8
1	9	8
done	9	8
0	9	23
1	20	23
2	49	9
3	91	9
4	107	9
5	153	9
6	295	9
7	747	9
8	2750	9
done	5001	9
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	9	9
1	10	9
done	10	9
0	9	9
1	10	9
done	10	9
0	9	14
1	12	14
2	14	14
done	14	14
0	8	8
1	9	8
done	9	8
0	4	4
1	7	2
2	10	2
done	10	2
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	7	7
1	8	7
done	8	7
0	5	5
1	9	5
2	15	5
done	15	5
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	15	17
1	37	17
2	95	17
3	195	15
4	459	15
5	974	13
6	3064	13
done	5000	13
0	12	20
1	18	20
2	31	20
3	53	20
4	59	20
done	59	20
0	12	20
1	18	20
2	31	20
3	53	20
4	59	20
done	59	20
0	11	13
1	29	11
2	64	9
3	149	9
4	338	9
5	851	9
6	3629	9
done	5000	9
0	11	15
1	16	15
2	23	15
done	23	15
0	11	15
1	16	15
2	23	15
done	23	15
0	12	13
1	28	13
2	61	13
3	146	13
4	375	13
5	1042	13
6	4210	13
done	5000	13
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7

prune273.0ms

Filtered

70 candidates to 90 candidates (-28.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	82	8	90
Fresh	2	3	5
Picked	1	0	1
Done	0	0	0
Total	85	11	96

Merged error: 0.0b

Counts

96 → 11

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (sin (/ eps 2)) (- (* (cos x) (cos (/ eps 2))) (cbrt (pow (* (sin x) (sin (/ eps 2))) 3))))
0.2b	(* (sin x) (sin (/ eps 2)))
0.3b	(pow (* (sin x) (sin (/ eps 2))) 3)
25.5b	(cbrt (pow (* (sin x) (sin (/ eps 2))) 3))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
11×	`pow1` `add-exp-log` `add-cbrt-cube`
10×	`add-cube-cbrt` `*-un-lft-identity`
8×	`cbrt-prod`
6×	`associate-r` `associate-l`
4×	`sin-mult` `add-log-exp`
3×	`cube-div` `pow-unpow` `associate-*r/` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`distribute-rgt-in` `cube-mult` `sub-neg` `unpow-prod-down` `cbrt-div` `pow-pow` `distribute-lft-in` `unpow3` `cube-prod` `pow-exp` `*-commutative` `rem-cube-cbrt` `unswap-sqr` `sqr-pow`
1×	`pow-to-exp` `flip3--` `pow1/3` `cos-mult` `frac-sub` `flip--` `rem-cbrt-cube`

Counts

4 → 85

Calls

4 calls:

13.0ms	(* (sin (/ eps 2)) (- (* (cos x) (cos (/ eps 2))) (cbrt (pow (* (sin x) (sin (/ eps 2))) 3))))
7.0ms	(* (sin x) (sin (/ eps 2)))
7.0ms	(pow (* (sin x) (sin (/ eps 2))) 3)
6.0ms	(cbrt (pow (* (sin x) (sin (/ eps 2))) 3))

series74.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(* (sin (/ eps 2)) (- (* (cos x) (cos (/ eps 2))) (cbrt (pow (* (sin x) (sin (/ eps 2))) 3))))
11.0ms	(* (sin x) (sin (/ eps 2)))
22.0ms	(pow (* (sin x) (sin (/ eps 2))) 3)
12.0ms	(cbrt (pow (* (sin x) (sin (/ eps 2))) 3))

simplify3.3min

Counts

97 → 97

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	22	8
2	61	8
3	140	8
4	263	8
5	645	8
6	2372	8
done	5001	8
0	11	11
1	22	8
2	61	8
3	146	8
4	279	8
5	684	8
6	2508	8
done	5001	8
0	5	5
1	13	2
2	19	2
3	29	2
4	50	2
5	106	2
6	321	2
7	1236	2
done	5000	2
0	7	7
1	14	4
2	20	4
3	30	4
4	53	4
5	118	4
6	335	4
7	1269	4
done	5001	4
0	9	16
1	17	16
2	28	16
3	29	16
done	29	16
0	8	8
1	9	8
done	9	8
0	12	22
1	22	16
2	57	16
3	131	16
4	248	16
5	643	16
6	2429	16
done	5000	16
0	11	11
1	22	8
2	57	8
3	136	8
4	247	8
5	627	8
6	2388	8
done	5000	8
0	5	5
1	13	2
2	19	2
3	29	2
4	50	2
5	106	2
6	321	2
7	1236	2
done	5000	2
0	7	7
1	14	4
2	20	4
3	30	4
4	53	4
5	118	4
6	335	4
7	1269	4
done	5001	4
0	8	8
1	9	8
done	9	8
0	9	16
1	17	16
2	28	16
3	29	16
done	29	16
0	11	11
1	22	11
2	58	11
3	137	11
4	265	11
5	641	11
6	2409	11
done	5000	11
0	11	11
1	22	11
2	58	11
3	137	11
4	265	11
5	641	11
6	2409	11
done	5000	11
0	2	2
1	4	1
done	4	1
0	10	10
1	21	7
2	56	7
3	134	7
4	254	7
5	642	7
6	2411	7
done	5000	7
0	11	12
1	17	10
2	23	10
3	33	10
4	56	10
5	117	10
6	340	10
7	1265	10
done	5001	10
0	11	12
1	17	10
2	23	10
3	33	10
4	56	10
5	117	10
6	340	10
7	1265	10
done	5001	10
0	12	16
1	24	13
2	46	13
3	94	13
4	218	13
5	592	13
6	1996	13
done	5000	13
0	4	4
1	13	1
2	17	1
3	23	1
4	33	1
5	56	1
6	115	1
7	333	1
8	1267	1
done	5001	1
0	12	23
1	23	17
2	58	17
3	139	17
4	260	17
5	634	17
6	2382	17
done	5000	17
0	11	11
1	22	8
2	57	8
3	136	8
4	247	8
5	627	8
6	2388	8
done	5000	8
0	12	32
1	21	9
2	56	9
3	134	9
4	252	9
5	644	9
6	2399	9
done	5001	9
0	11	11
1	22	8
2	57	8
3	136	8
4	247	8
5	627	8
6	2388	8
done	5000	8
0	11	11
1	22	8
2	57	8
3	136	8
4	247	8
5	627	8
6	2388	8
done	5000	8
0	11	11
1	13	11
2	21	11
done	21	11
0	10	10
1	15	10
2	22	10
3	23	10
done	23	10
0	10	10
1	15	10
2	22	10
3	23	10
done	23	10
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	11	13
1	15	13
2	22	13
3	46	13
4	102	13
5	263	13
6	884	13
7	3301	13
done	5000	13
0	10	10
1	14	10
2	19	10
3	37	10
4	78	10
5	189	10
6	568	10
7	2200	10
done	5001	10
0	9	9
1	16	7
2	23	7
3	34	7
4	56	7
5	120	7
6	331	7
7	1269	7
done	5001	7
0	4	4
1	12	4
2	18	4
3	28	4
4	49	4
5	111	4
6	325	4
7	1243	4
done	5000	4
0	6	6
1	13	6
2	19	6
3	29	6
4	52	6
5	112	6
6	323	6
7	1250	6
done	5000	6
0	8	15
1	16	15
2	27	15
done	27	15
0	10	10
1	23	10
2	71	10
3	200	10
4	449	10
5	1062	10
6	3876	10
done	5000	10
0	10	10
1	21	10
2	64	10
3	183	10
4	453	10
5	1304	10
6	4919	10
done	5000	10
0	11	21
1	21	15
2	56	15
3	134	15
4	252	15
5	645	15
6	2399	15
done	5000	15
0	10	10
1	21	7
2	56	7
3	134	7
4	254	7
5	642	7
6	2411	7
done	5000	7
0	11	29
1	26	19
2	105	11
3	714	11
done	5000	11
0	4	4
1	12	4
2	18	4
3	28	4
4	49	4
5	111	4
6	325	4
7	1243	4
done	5000	4
0	6	6
1	13	6
2	19	6
3	29	6
4	52	6
5	112	6
6	323	6
7	1250	6
done	5000	6
0	11	15
1	23	15
2	45	15
3	93	15
4	217	15
5	589	15
6	2014	15
done	5000	15
0	3	3
1	12	1
2	16	1
3	22	1
4	32	1
5	53	1
6	113	1
7	324	1
8	1257	1
done	5000	1
0	8	15
1	16	15
2	27	15
done	27	15
0	10	10
1	21	10
2	57	10
3	135	10
4	259	10
5	633	10
6	2376	10
done	5000	10
0	10	10
1	21	10
2	57	10
3	135	10
4	259	10
5	633	10
6	2376	10
done	5000	10
0	10	11
1	16	9
2	22	9
3	32	9
4	55	9
5	122	9
6	340	9
7	1269	9
done	5000	9
0	10	11
1	16	9
2	22	9
3	32	9
4	55	9
5	122	9
6	340	9
7	1269	9
done	5000	9
0	9	13
1	14	13
2	18	13
done	18	13
0	7	7
1	8	7
done	8	7
0	9	9
1	10	9
done	10	9
0	8	8
1	12	8
2	13	8
done	13	8
0	8	8
1	11	8
2	16	8
3	24	8
4	47	8
5	103	8
6	240	8
7	702	8
8	2708	8
done	5000	8
0	11	23
1	18	23
2	43	11
3	79	11
4	135	9
5	260	9
6	659	9
7	2458	9
done	5001	9
0	9	17
1	10	17
done	10	17
0	8	8
1	9	8
done	9	8
0	9	23
1	20	23
2	49	9
3	91	9
4	107	9
5	153	9
6	295	9
7	747	9
8	2750	9
done	5001	9
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	9	9
1	10	9
done	10	9
0	9	9
1	10	9
done	10	9
0	9	14
1	12	14
2	14	14
done	14	14
0	8	8
1	9	8
done	9	8
0	4	4
1	7	2
2	10	2
done	10	2
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	7	7
1	8	7
done	8	7
0	15	23
1	30	20
2	78	20
3	173	20
4	273	20
5	645	20
6	2426	20
done	5000	20
0	17	25
1	32	22
2	74	22
3	152	22
4	253	22
5	635	22
6	2392	22
done	5000	22
0	16	24
1	34	21
2	83	21
3	179	21
4	283	21
5	658	21
6	2410	21
done	5001	21
0	16	24
1	33	21
2	86	21
3	198	21
4	371	21
5	916	21
6	3393	21
done	5001	21
0	19	71
1	40	62
2	120	24
3	447	24
4	1996	22
done	5000	22
0	17	49
1	32	43
2	80	43
3	174	43
4	275	43
5	663	43
6	2444	43
done	5000	43
0	16	24
1	31	21
2	79	21
3	171	21
4	274	21
5	644	21
6	2398	21
done	5000	21
0	17	71
1	42	62
2	135	22
3	474	22
4	1711	22
done	5000	22
0	16	24
1	31	21
2	79	21
3	171	21
4	274	21
5	644	21
6	2398	21
done	5000	21
0	16	24
1	31	21
2	79	21
3	171	21
4	274	21
5	644	21
6	2398	21
done	5000	21
0	17	25
1	32	22
2	74	22
3	152	22
4	253	22
5	635	22
6	2392	22
done	5000	22
0	17	25
1	32	22
2	74	22
3	152	22
4	253	22
5	635	22
6	2392	22
done	5000	22
0	9	12
1	13	12
2	19	12
done	19	12
0	12	16
1	26	13
2	68	13
3	152	13
4	266	13
5	657	13
6	2504	13
done	5001	13
0	9	12
1	13	12
2	19	12
done	19	12
0	12	16
1	26	13
2	68	13
3	152	13
4	266	13
5	657	13
6	2504	13
done	5001	13
0	9	12
1	13	12
2	19	12
done	19	12
0	12	16
1	26	13
2	68	13
3	155	13
4	267	13
5	640	13
6	2400	13
done	5000	13
0	9	12
1	13	12
2	19	12
done	19	12
0	12	16
1	26	13
2	68	13
3	155	13
4	267	13
5	640	13
6	2400	13
done	5000	13
0	17	44
1	34	38
2	78	38
3	149	38
4	249	38
5	625	38
6	2441	38
done	5000	38
0	16	24
1	31	21
2	73	21
3	147	21
4	247	21
5	617	21
6	2424	21
done	5000	21
0	6	6
1	9	4
2	12	4
done	12	4
0	16	24
1	31	21
2	79	21
3	182	21
4	294	21
5	691	21
6	2494	21
done	5001	21
0	16	24
1	31	21
2	79	21
3	182	21
4	294	21
5	691	21
6	2494	21
done	5001	21
0	15	23
1	30	20
2	78	20
3	173	20
4	273	20
5	645	20
6	2426	20
done	5000	20
0	20	42
1	45	36
2	95	36
3	218	34
4	560	34
5	1207	15
6	2972	13
done	5001	13
0	17	27
1	42	24
2	132	24
3	455	24
4	1468	24
5	4222	24
done	5000	24
0	17	42
1	41	36
2	104	36
3	272	34
4	627	33
5	1362	33
6	3796	33
done	5000	33
0	5	5
1	9	5
2	15	5
done	15	5
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	19	29
1	55	29
2	196	29
3	758	25
4	3302	25
done	5000	25
0	10	11
1	25	11
2	62	11
3	189	11
4	552	11
5	2106	9
done	5000	9
0	10	11
1	25	11
2	62	11
3	189	11
4	552	11
5	2106	9
done	5000	9
0	5	5
1	9	5
2	15	5
done	15	5
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	15	17
1	37	17
2	95	17
3	195	15
4	459	15
5	974	13
6	3064	13
done	5000	13
0	12	20
1	18	20
2	31	20
3	53	20
4	59	20
done	59	20
0	12	20
1	18	20
2	31	20
3	53	20
4	59	20
done	59	20

prune246.0ms

Filtered

77 candidates to 97 candidates (-26.0%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	97	11	108

Merged error: 0.0b

Counts

108 → 11

regimes180.0ms

Accuracy

0% (0.3b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 0.4b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	25
1	20	25
done	20	25

end0.0ms

sample3.2s

Algorithm

intervals

Results

1.5s	3298×	body	1280	valid
576.0ms	641×	body	2560	valid
572.0ms	1890×	body	640	valid
160.0ms	754×	body	320	valid
70.0ms	1086×	body	80	valid
45.0ms	331×	body	160	valid

Details

sample117.0ms

simplify3.0ms

prune3.0ms

localize9.0ms

rewrite14.0ms

series19.0ms

simplify44.2s

prune58.0ms

localize10.0ms

rewrite14.0ms

series17.0ms

simplify33.0s

prune91.0ms

localize17.0ms

rewrite33.0ms

series69.0ms

simplify1.3min

prune273.0ms

localize21.0ms

rewrite35.0ms

series74.0ms

simplify3.3min

prune246.0ms

regimes180.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample3.2s

Profiling