Details

sample112.0ms

Algorithm

intervals

Results

53.0ms	150×	body	1280	valid
31.0ms	31×	body	2560	valid
12.0ms	51×	body	640	valid
3.0ms	14×	body	320	valid
1.0ms	7×	body	160	valid
0.0ms	3×	body	80	valid

simplify4.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.9b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(cos x)
0.6b	(- (cos (+ x eps)) (cos x))
4.0b	(cos (+ x eps))

rewrite15.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×	`cos-sum`
1×	`associate--l-` `sub-neg` `flip3--` `diff-log` `flip--` `diff-cos` `distribute-lft-out--` `difference-of-squares`

Counts

3 → 31

Calls

3 calls:

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

series19.0ms

Counts

3 → 9

Calls

3 calls:

2.0ms	(cos x)
11.0ms	(- (cos (+ x eps)) (cos x))
6.0ms	(cos (+ x eps))

simplify44.4s

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	913	13
16	2244	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	9	8
done	9	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	10	11
1	23	11
2	45	11
3	102	9
4	238	9
5	624	9
6	2525	9
done	5000	9
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	14	17
1	37	17
2	91	15
3	196	15
4	388	13
5	844	13
6	2465	13
done	5000	13
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	12	13
1	28	13
2	73	13
3	186	13
4	554	13
5	1275	13
6	4390	13
done	5000	13
0	2	2
done	2	2
0	2	2
done	2	2

prune76.0ms

Filtered

31 candidates to 40 candidates (-29.0%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	33	7	40
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	34	7	41

Merged error: 0.4b

Counts

41 → 7

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))))
0.3b	(* (sin (/ eps 2)) (sin (+ x (/ eps 2))))
4.1b	(sin (+ x (/ eps 2)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

10×	`pow1` `add-exp-log` `add-cbrt-cube`
8×	`add-sqr-sqrt`
7×	`sin-sum`
6×	`add-cube-cbrt` `-un-lft-identity` `associate-l*`
5×	`distribute-rgt-in` `distribute-lft-in`
4×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
3×	`add-log-exp`
2×	`*-commutative` `sin-mult`
1×	`associate-*r/` `unswap-sqr`

Counts

3 → 52

Calls

3 calls:

18.0ms	(* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))))
11.0ms	(* (sin (/ eps 2)) (sin (+ x (/ eps 2))))
8.0ms	(sin (+ x (/ eps 2)))

series37.0ms

Counts

3 → 9

Calls

3 calls:

16.0ms	(* -2 (* (sin (/ eps 2)) (sin (+ x (/ eps 2)))))
13.0ms	(* (sin (/ eps 2)) (sin (+ x (/ eps 2))))
8.0ms	(sin (+ x (/ eps 2)))

simplify1.2min

Counts

61 → 61

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	18	21
2	31	21
3	45	13
4	55	12
5	189	11
6	833	9
7	1591	7
8	3773	7
done	5001	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	9	12
1	13	12
2	19	12
done	19	12
0	8	12
1	10	12
2	13	12
done	13	12
0	9	12
1	13	12
2	19	12
done	19	12
0	8	12
1	12	12
2	13	12
done	13	12
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	10	13
1	15	13
2	21	13
done	21	13
0	10	13
1	15	13
2	21	13
done	21	13
0	13	16
1	18	16
2	24	16
done	24	16
0	12	15
1	18	15
2	23	15
3	27	15
done	27	15
0	11	14
1	19	14
2	32	14
3	46	14
done	46	14
0	11	14
1	18	14
2	31	14
3	59	14
4	119	14
5	261	14
6	669	14
7	2358	14
done	5000	14
0	16	41
1	32	37
2	88	17
3	270	17
4	832	15
5	2262	15
done	5000	15
0	14	41
1	34	37
2	92	15
3	300	15
4	756	15
5	1482	15
6	2461	15
done	5000	15
0	12	29
1	17	29
2	23	29
3	25	29
done	25	29
0	11	14
1	16	14
2	22	14
3	24	14
done	24	14
0	12	41
1	28	39
2	97	15
3	406	15
4	1131	15
5	1560	15
6	2377	15
done	5000	15
0	11	14
1	16	14
2	22	14
3	24	14
done	24	14
0	11	14
1	16	14
2	22	14
3	24	14
done	24	14
0	11	14
1	18	14
2	38	14
3	60	14
4	61	14
done	61	14
0	10	14
1	15	14
2	28	14
3	44	14
4	48	14
done	48	14
0	11	14
1	18	14
2	37	14
3	62	14
4	64	14
done	64	14
0	10	14
1	17	14
2	30	14
3	42	14
4	43	14
done	43	14
0	11	14
1	18	14
2	37	14
3	63	14
4	65	14
done	65	14
0	10	14
1	15	14
2	27	14
3	43	14
4	45	14
done	45	14
0	11	14
1	18	14
2	38	14
3	63	14
4	64	14
done	64	14
0	10	14
1	17	14
2	32	14
3	42	14
done	42	14
0	6	6
1	7	6
done	7	6
0	11	14
1	16	14
2	22	14
done	22	14
0	11	14
1	16	14
2	22	14
done	22	14
0	10	13
1	15	13
2	21	13
done	21	13
0	12	23
1	21	23
2	40	23
3	59	15
4	73	14
5	207	13
6	850	11
7	1566	9
8	3752	9
done	5001	9
0	10	11
1	25	11
2	57	11
3	125	11
4	270	11
5	629	11
6	2017	11
done	5000	11
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	15	17
1	34	17
2	87	17
3	145	17
4	256	15
5	399	15
6	642	15
7	1223	15
8	2804	15
done	5001	15
0	8	11
1	11	11
done	11	11
0	8	11
1	11	11
done	11	11
0	13	15
1	29	15
2	71	15
3	124	15
4	194	13
5	305	13
6	515	13
7	1034	13
8	2761	13
done	5001	13
0	10	13
1	16	13
2	22	13
3	24	13
done	24	13
0	10	13
1	16	13
2	22	13
3	24	13
done	24	13

prune182.0ms

Filtered

50 candidates to 61 candidates (-22.0%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	53	8	61
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	56	12	68

Merged error: 0.1b

Counts

68 → 12

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1` `add-exp-log` `add-cbrt-cube`
14×	`add-sqr-sqrt`
12×	`associate-l`
10×	`add-cube-cbrt` `*-un-lft-identity`
8×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`*-commutative` `add-log-exp`
2×	`sin-cos-mult` `unswap-sqr`
1×	`associate-*r/`

Counts

4 → 74

Calls

4 calls:

6.0ms	(* (cos x) (sin (/ eps 2)))
5.0ms	(* (sin x) (cos (/ eps 2)))
14.0ms	(* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))
9.0ms	(* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2))))

series55.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(* (cos x) (sin (/ eps 2)))
11.0ms	(* (sin x) (cos (/ eps 2)))
13.0ms	(* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))
19.0ms	(* (sin (/ eps 2)) (* (sin x) (cos (/ eps 2))))

simplify1.4min

Counts

86 → 86

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	12
1	13	12
2	19	12
done	19	12
0	9	12
1	13	12
2	19	12
done	19	12
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	11	14
1	16	14
2	21	14
3	25	14
done	25	14
0	10	13
1	17	13
2	30	13
3	42	13
4	44	13
done	44	13
0	10	13
1	16	13
2	29	13
3	54	13
4	111	13
5	250	13
6	613	13
7	1805	13
done	5001	13
0	15	38
1	28	38
2	94	18
3	330	18
4	1078	16
5	2960	16
done	5001	16
0	13	38
1	30	38
2	98	16
3	375	16
4	1062	14
5	2036	14
6	4908	14
done	5000	14
0	11	27
1	15	27
2	21	27
done	21	27
0	10	13
1	14	13
2	20	13
done	20	13
0	11	38
1	25	38
2	96	14
3	413	14
4	1216	14
5	1700	14
6	3151	14
done	5000	14
0	10	13
1	14	13
2	20	13
done	20	13
0	10	13
1	14	13
2	20	13
done	20	13
0	7	7
1	8	7
done	8	7
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	9	12
1	13	12
2	19	12
done	19	12
0	11	18
1	22	18
2	26	18
done	26	18
0	8	12
1	10	12
2	13	12
done	13	12
0	8	12
1	10	12
2	13	12
done	13	12
0	10	15
1	12	15
2	15	15
3	16	11
4	17	11
done	17	11
0	10	14
1	14	14
2	17	14
3	19	11
4	20	11
done	20	11
0	9	13
1	14	13
2	21	13
3	27	13
4	28	11
5	29	11
done	29	11
0	9	13
1	13	13
2	21	13
3	39	13
4	83	13
5	189	13
6	473	13
7	1456	13
done	5001	13
0	12	38
1	22	38
2	69	18
3	199	11
4	412	11
5	1060	11
6	3774	11
done	5000	11
0	12	38
1	28	38
2	92	16
3	244	16
4	427	14
5	1001	11
6	3083	11
done	5000	11
0	10	27
1	12	27
2	15	27
done	15	27
0	9	13
1	11	13
2	14	13
done	14	13
0	10	38
1	22	38
2	70	14
3	182	14
4	350	14
5	544	11
6	1348	11
7	4440	11
done	5000	11
0	9	13
1	11	13
2	14	13
done	14	13
0	9	13
1	11	13
2	14	13
done	14	13
0	7	7
1	8	7
done	8	7
0	9	13
1	13	13
2	19	13
done	19	13
0	9	13
1	13	13
2	19	13
done	19	13
0	8	12
1	10	12
2	13	12
done	13	12
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	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	9	12
1	14	12
2	20	12
done	20	12
0	9	12
1	14	12
2	20	12
done	20	12
0	16	21
1	38	21
2	132	17
3	260	17
4	556	17
5	1025	17
6	1569	17
7	2916	17
done	5000	17
0	9	9
1	16	9
2	31	9
3	50	9
4	101	9
5	251	9
6	786	9
7	3255	9
done	5001	9
0	9	9
1	16	9
2	31	9
3	50	9
4	101	9
5	251	9
6	786	9
7	3255	9
done	5001	9
0	13	15
1	35	15
2	88	15
3	186	15
4	426	15
5	902	15
6	2900	15
done	5001	15
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	15	17
1	38	17
2	92	15
3	197	15
4	445	15
5	940	15
6	3023	15
done	5001	15
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7

prune289.0ms

Filtered

65 candidates to 86 candidates (-32.3%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	79	7	86
Fresh	3	8	11
Picked	1	0	1
Done	0	0	0
Total	83	15	98

Merged error: 0.0b

Counts

98 → 15

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1` `add-exp-log` `add-cbrt-cube`
14×	`add-sqr-sqrt`
10×	`add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`*-commutative` `add-log-exp`
2×	`sin-mult` `unswap-sqr`
1×	`associate-*l/`

Counts

4 → 74

Calls

4 calls:

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

series54.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(* (cos x) (sin (/ eps 2)))
18.0ms	(* (* (sin (/ eps 2)) (sin x)) (cos (/ eps 2)))
11.0ms	(* (sin (/ eps 2)) (sin x))
13.0ms	(* (sin (/ eps 2)) (* (cos x) (sin (/ eps 2))))

simplify1.3min

Counts

86 → 86

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	12
1	10	12
2	13	12
done	13	12
0	8	12
1	10	12
2	13	12
done	13	12
0	10	15
1	12	15
2	15	15
3	16	11
4	17	11
done	17	11
0	10	14
1	14	14
2	17	14
3	19	11
4	20	11
done	20	11
0	9	13
1	14	13
2	21	13
3	27	13
4	28	11
5	29	11
done	29	11
0	9	13
1	13	13
2	21	13
3	39	13
4	83	13
5	189	13
6	473	13
7	1456	13
done	5001	13
0	12	38
1	22	38
2	69	18
3	199	11
4	412	11
5	1060	11
6	3774	11
done	5000	11
0	12	38
1	28	38
2	92	16
3	244	16
4	427	14
5	1001	11
6	3083	11
done	5000	11
0	10	27
1	12	27
2	15	27
done	15	27
0	9	13
1	11	13
2	14	13
done	14	13
0	10	38
1	22	38
2	70	14
3	182	14
4	350	14
5	544	11
6	1348	11
7	4440	11
done	5000	11
0	9	13
1	11	13
2	14	13
done	14	13
0	9	13
1	11	13
2	14	13
done	14	13
0	7	7
1	8	7
done	8	7
0	9	13
1	13	13
2	19	13
done	19	13
0	9	13
1	13	13
2	19	13
done	19	13
0	8	12
1	10	12
2	13	12
done	13	12
0	9	13
1	14	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	701	8
8	2714	8
done	5000	8
0	11	23
1	18	23
2	43	11
3	80	11
4	138	9
5	265	9
6	652	9
7	2440	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	92	9
4	108	9
5	154	9
6	292	9
7	756	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	12
1	12	12
2	14	12
done	14	12
0	8	8
1	9	8
done	9	8
0	6	6
1	9	4
2	12	4
done	12	4
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	9	12
1	13	12
2	19	12
done	19	12
0	9	12
1	13	12
2	19	12
done	19	12
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	11	14
1	16	14
2	21	14
3	25	14
done	25	14
0	10	13
1	17	13
2	30	13
3	42	13
4	44	13
done	44	13
0	10	13
1	16	13
2	32	13
3	54	13
4	110	13
5	251	13
6	596	13
7	1575	13
done	5000	13
0	15	38
1	28	38
2	93	18
3	339	18
4	1097	16
5	3000	16
done	5001	16
0	13	38
1	30	38
2	97	16
3	372	16
4	1121	14
5	2171	14
done	5000	14
0	11	27
1	15	27
2	21	27
done	21	27
0	10	13
1	14	13
2	20	13
done	20	13
0	11	38
1	25	38
2	95	14
3	431	14
4	1224	14
5	1704	14
6	3289	14
done	5000	14
0	10	13
1	14	13
2	20	13
done	20	13
0	10	13
1	14	13
2	20	13
done	20	13
0	11	19
1	17	19
2	30	19
3	40	19
done	40	19
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	9	9
1	15	7
2	27	7
3	35	7
done	35	7
0	7	7
1	8	7
done	8	7
0	11	18
1	17	18
2	25	18
3	30	18
4	34	18
done	34	18
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	16	21
1	38	21
2	132	17
3	260	17
4	556	17
5	1025	17
6	1569	17
7	2916	17
done	5000	17
0	9	9
1	16	9
2	31	9
3	50	9
4	101	9
5	251	9
6	786	9
7	3255	9
done	5001	9
0	9	9
1	16	9
2	31	9
3	50	9
4	101	9
5	251	9
6	786	9
7	3255	9
done	5001	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	5	5
1	9	5
2	15	5
done	15	5
0	9	12
1	14	12
2	20	12
done	20	12
0	9	12
1	14	12
2	20	12
done	20	12
0	15	17
1	38	17
2	92	15
3	197	15
4	445	15
5	940	15
6	3023	15
done	5001	15
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7

prune203.0ms

Filtered

66 candidates to 86 candidates (-30.3%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	86	0	86
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	86	15	101

Merged error: 0.0b

Counts

101 → 15

regimes324.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	15	27
1	21	27
done	21	27

end0.0ms

sample3.2s

Algorithm

intervals

Results

1.7s	4477×	body	1280	valid
533.0ms	641×	body	2560	valid
472.0ms	1865×	body	640	valid
117.0ms	646×	body	320	valid
34.0ms	291×	body	160	valid
5.0ms	80×	body	80	valid

Details

sample112.0ms

simplify4.0ms

prune3.0ms

localize8.0ms

rewrite15.0ms

series19.0ms

simplify44.4s

prune76.0ms

localize11.0ms

rewrite39.0ms

series37.0ms

simplify1.2min

prune182.0ms

localize19.0ms

rewrite37.0ms

series55.0ms

simplify1.4min

prune289.0ms

localize21.0ms

rewrite34.0ms

series54.0ms

simplify1.3min

prune203.0ms

regimes324.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample3.2s

Profiling