Details

sample35.0ms

Algorithm

intervals

Results

11.0ms	256×	pre	80	true
7.0ms	256×	body	80	valid

simplify19.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	18	7
2	37	7
3	54	7
done	54	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: 0.0b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(* a (+ (+ b c) d))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 24

Calls

1 calls:

10.0ms

(* a (+ (+ b c) d))

series15.0ms

Counts

1 → 3

Calls

1 calls:

15.0ms

(* a (+ (+ b c) d))

simplify11.5s

Counts

27 → 27

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	18	7
2	37	7
3	54	7
done	54	7
0	9	9
1	14	9
2	20	9
done	20	9
0	8	8
1	22	8
2	42	8
3	57	8
done	57	8
0	8	8
1	21	8
2	49	8
3	95	8
4	154	8
5	319	8
6	883	8
7	3926	8
done	5000	8
0	11	23
1	34	23
2	163	11
3	876	11
done	5000	11
0	9	17
1	20	17
2	39	17
3	56	17
done	56	17
0	8	8
1	19	8
2	38	8
3	53	8
done	53	8
0	9	23
1	30	23
2	138	9
3	744	9
4	3408	9
done	5000	9
0	8	8
1	19	8
2	38	8
3	53	8
done	53	8
0	8	8
1	19	8
2	38	8
3	53	8
done	53	8
0	9	9
1	14	9
2	20	9
done	20	9
0	9	9
1	14	9
2	20	9
done	20	9
0	5	5
1	13	5
2	14	5
done	14	5
0	3	3
1	4	3
done	4	3
0	5	5
1	7	5
2	15	5
done	15	5
0	3	3
1	4	3
done	4	3
0	9	15
1	16	15
2	24	15
done	24	15
0	8	8
1	13	8
2	19	8
done	19	8
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	8	8
1	19	8
2	38	8
3	53	8
done	53	8
0	8	8
1	19	8
2	38	8
3	53	8
done	53	8
0	7	7
1	18	7
2	37	7
3	54	7
done	54	7
0	10	11
1	32	11
2	82	11
3	206	11
4	507	11
5	1443	11
done	5000	11
0	9	13
1	22	13
2	64	13
3	215	13
4	839	13
5	2303	13
done	5000	13
0	1	1
done	1	1
0	9	11
1	16	11
2	28	9
3	44	7
4	52	7
done	52	7
0	9	11
1	16	11
2	28	9
3	44	7
4	52	7
done	52	7

prune49.0ms

Filtered

21 candidates to 27 candidates (-28.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	23	4	27
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	23	5	28

Merged error: 0b

Counts

28 → 5

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(* a (+ b c))
0.0b	(+ (* a (+ b c)) (* a d))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 37

Calls

2 calls:

7.0ms	(* a (+ b c))
8.0ms	(+ (* a (+ b c)) (* a d))

series18.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(* a (+ b c))
11.0ms	(+ (* a (+ b c)) (* a d))

simplify31.4s

Counts

43 → 43

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	25	10
2	45	8
3	101	8
4	262	8
5	947	8
done	5000	8
0	9	10
1	21	8
2	35	8
3	50	8
done	50	8
0	9	10
1	24	8
2	47	8
3	95	8
4	186	8
5	584	8
6	2885	8
done	5000	8
0	10	21
1	22	17
2	33	17
3	47	17
done	47	17
0	9	10
1	21	8
2	32	8
3	46	8
done	46	8
0	10	29
1	35	23
2	135	9
3	783	9
4	4388	9
done	5000	9
0	9	10
1	21	8
2	32	8
3	46	8
done	46	8
0	9	10
1	21	8
2	32	8
3	46	8
done	46	8
0	11	13
1	39	13
2	118	13
3	437	13
4	1201	13
5	3112	13
done	5000	13
0	12	29
1	45	25
2	152	23
3	454	21
4	1239	19
5	3979	17
done	5000	17
0	10	19
1	37	19
2	119	15
3	338	15
4	906	15
5	2765	15
done	5000	15
0	8	9
1	21	7
2	39	7
3	60	7
4	70	7
5	85	7
6	121	7
7	179	7
8	230	7
9	267	7
10	295	7
11	353	7
12	358	7
done	358	7
0	5	5
1	9	5
2	15	5
done	15	5
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	5	5
1	13	5
2	14	5
done	14	5
0	7	7
1	9	7
done	9	7
0	6	6
1	17	6
2	19	6
done	19	6
0	6	6
1	16	6
2	26	6
3	43	6
4	76	6
5	188	6
6	504	6
7	1671	6
done	5000	6
0	9	17
1	29	17
2	110	9
3	373	9
4	1303	7
5	4152	7
done	5001	7
0	7	13
1	15	13
2	16	13
done	16	13
0	6	6
1	14	6
2	15	6
done	15	6
0	7	17
1	25	17
2	97	7
3	352	7
4	820	7
5	2225	7
done	5000	7
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	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	3	3
1	4	3
done	4	3
0	7	11
1	11	11
2	13	11
done	13	11
0	6	6
1	8	6
done	8	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	5	5
1	13	5
2	14	5
done	14	5
0	8	9
1	29	9
2	63	9
3	105	9
4	194	9
5	477	9
6	1523	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	1	1
done	1	1
0	9	11
1	16	11
2	28	9
3	44	7
4	52	7
done	52	7
0	9	11
1	16	11
2	28	9
3	44	7
4	52	7
done	52	7
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5

prune55.0ms

Filtered

32 candidates to 43 candidates (-34.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	42	1	43
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	44	4	48

Merged error: 0b

Counts

48 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(* a (+ c d))
0.0b	(+ (* a b) (* a (+ c d)))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 37

Calls

2 calls:

7.0ms	(* a (+ c d))
5.0ms	(+ (* a b) (* a (+ c d)))

series18.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(* a (+ c d))
11.0ms	(+ (* a b) (* a (+ c d)))

simplify32.5s

Counts

43 → 43

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	25	10
2	45	8
3	101	8
4	262	8
5	943	8
done	5000	8
0	9	10
1	21	8
2	35	8
3	50	8
done	50	8
0	9	10
1	24	8
2	47	8
3	95	8
4	186	8
5	584	8
6	2887	8
done	5000	8
0	10	21
1	22	17
2	33	17
3	47	17
done	47	17
0	9	10
1	21	8
2	32	8
3	46	8
done	46	8
0	10	29
1	35	23
2	135	9
3	780	9
4	4381	9
done	5000	9
0	9	10
1	21	8
2	32	8
3	46	8
done	46	8
0	9	10
1	21	8
2	32	8
3	46	8
done	46	8
0	11	13
1	39	13
2	118	13
3	432	13
4	1161	13
5	3045	13
done	5000	13
0	12	29
1	45	23
2	166	21
3	524	19
4	1559	17
5	4439	17
done	5000	17
0	10	19
1	37	19
2	119	15
3	370	15
4	1075	15
5	3051	15
done	5000	15
0	8	9
1	21	7
2	40	7
3	70	7
4	93	7
5	119	7
6	183	7
7	253	7
8	314	7
9	356	7
10	369	7
done	369	7
0	5	5
1	9	5
2	15	5
done	15	5
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	5	5
1	13	5
2	14	5
done	14	5
0	7	7
1	9	7
done	9	7
0	6	6
1	17	6
2	19	6
done	19	6
0	6	6
1	16	6
2	26	6
3	43	6
4	76	6
5	188	6
6	504	6
7	1671	6
done	5000	6
0	9	17
1	29	17
2	110	9
3	373	9
4	1303	7
5	4152	7
done	5001	7
0	7	13
1	15	13
2	16	13
done	16	13
0	6	6
1	14	6
2	15	6
done	15	6
0	7	17
1	25	17
2	97	7
3	352	7
4	820	7
5	2225	7
done	5000	7
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	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	3	3
1	4	3
done	4	3
0	7	11
1	11	11
2	13	11
done	13	11
0	6	6
1	8	6
done	8	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	5	5
1	13	5
2	14	5
done	14	5
0	8	9
1	29	9
2	63	9
3	105	9
4	194	9
5	477	9
6	1523	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	1	1
done	1	1
0	9	11
1	16	11
2	28	9
3	44	7
4	52	7
done	52	7
0	9	11
1	16	11
2	28	9
3	44	7
4	52	7
done	52	7
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5

prune51.0ms

Filtered

33 candidates to 43 candidates (-30.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	42	1	43
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	43	4	47

Merged error: 0b

Counts

47 → 4

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(* a (+ (+ b c) d))
0.1b	(sqrt (* a (+ (+ b c) d)))
0.1b	(sqrt (* a (+ (+ b c) d)))
0.5b	(* (sqrt (* a (+ (+ b c) d))) (sqrt (* a (+ (+ b c) d))))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

61×	`pow1`
32×	`sqrt-pow1`
23×	`pow-prod-down`
20×	`associate-*r/`
16×	`sqrt-div`
15×	`*-un-lft-identity`
14×	`add-sqr-sqrt`
12×	`pow1/2`
10×	`add-cube-cbrt` `pow-prod-up`
9×	`flip3-+` `associate-r` `flip-+`
8×	`add-exp-log` `add-cbrt-cube`
7×	`associate-l`
6×	`sqrt-prod` `pow-sqr`
4×	`frac-times` `swap-sqr` `add-log-exp`
3×	`distribute-lft-out`
2×	`associate-l/` `prod-exp` `-commutative` `cbrt-unprod` `unswap-sqr`
1×	`pow2` `distribute-rgt-in` `distribute-lft-in` `pow-plus` `sqrt-unprod` `rem-square-sqrt`

Counts

4 → 107

Calls

4 calls:

9.0ms	(* a (+ (+ b c) d))
7.0ms	(sqrt (* a (+ (+ b c) d)))
7.0ms	(sqrt (* a (+ (+ b c) d)))
21.0ms	(* (sqrt (* a (+ (+ b c) d))) (sqrt (* a (+ (+ b c) d))))

series165.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* a (+ (+ b c) d))
72.0ms	(sqrt (* a (+ (+ b c) d)))
74.0ms	(sqrt (* a (+ (+ b c) d)))
10.0ms	(* (sqrt (* a (+ (+ b c) d))) (sqrt (* a (+ (+ b c) d))))

simplify1.6min

Counts

119 → 119

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	3
1	5	1
2	7	1
done	7	1
0	5	5
1	8	1
done	8	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	4	7
1	8	3
2	9	1
done	9	1
0	5	5
1	8	3
done	8	1
0	4	7
1	8	3
2	9	1
done	9	1
0	4	7
1	8	3
2	9	1
done	9	1
0	8	15
1	26	15
2	96	15
3	421	15
4	1295	15
5	4088	15
done	5000	15
0	9	17
1	20	7
2	40	7
3	57	7
done	57	7
0	8	15
1	26	15
2	96	15
3	421	15
4	1295	15
5	4088	15
done	5000	15
0	8	15
1	26	15
2	96	15
3	421	15
4	1295	15
5	4088	15
done	5000	15
0	8	15
1	26	15
2	96	15
3	421	15
4	1295	15
5	4088	15
done	5000	15
0	8	15
1	26	15
2	96	15
3	421	15
4	1295	15
5	4088	15
done	5000	15
0	2	3
1	6	1
done	6	1
0	10	19
1	23	11
2	43	11
3	60	11
done	60	11
0	10	18
1	23	8
2	49	8
3	65	8
4	67	8
done	67	8
0	10	18
1	23	8
2	54	8
3	103	8
4	165	8
5	320	8
6	930	8
7	4007	8
done	5000	8
0	11	53
1	29	23
2	114	21
3	700	9
4	3821	9
done	5001	9
0	11	37
1	22	17
2	42	17
3	59	17
done	59	17
0	10	18
1	21	8
2	41	8
3	56	8
done	56	8
0	11	53
1	30	23
2	105	9
3	627	9
4	3644	9
done	5000	9
0	8	15
1	26	15
2	96	15
3	421	15
4	1295	15
5	4088	15
done	5000	15
0	10	18
1	22	8
2	41	8
3	58	8
done	58	8
0	10	18
1	22	8
2	41	8
3	58	8
done	58	8
0	12	25
1	34	11
2	85	11
3	208	11
4	513	11
5	1451	11
done	5000	11
0	11	37
1	26	15
2	73	15
3	185	13
4	726	13
5	2281	13
done	5000	13
0	17	27
1	50	27
2	138	27
3	391	27
4	1347	27
5	4009	27
done	5000	27
0	13	25
1	33	23
2	85	23
3	201	21
4	748	21
5	2334	21
done	5000	21
0	17	27
1	50	27
2	138	27
3	404	27
4	1367	27
5	4034	27
done	5001	27
0	13	25
1	33	23
2	85	23
3	201	21
4	746	21
5	2367	21
done	5000	21
0	11	29
1	24	13
2	67	13
3	218	13
4	834	13
5	2294	13
done	5001	13
0	7	13
1	12	5
2	20	5
3	26	5
4	32	5
5	41	5
6	54	5
7	67	5
8	76	5
9	85	5
10	100	5
11	105	5
12	112	5
13	120	5
14	126	5
done	126	5
0	11	39
1	26	39
2	47	21
3	73	11
4	88	11
5	114	11
6	185	11
7	393	11
8	1298	11
done	5000	11
0	10	19
1	21	19
2	40	19
3	55	19
done	55	19
0	3	5
done	3	1
0	7	13
1	11	5
2	18	5
done	18	5
0	10	19
1	21	8
2	41	8
3	56	8
done	56	8
0	10	19
1	21	8
2	41	8
3	56	8
done	56	8
0	2	3
1	4	1
done	4	1
0	9	17
1	20	7
2	40	7
3	57	7
done	57	7
0	10	19
1	21	8
2	41	8
3	56	8
done	56	8
0	10	19
1	21	8
2	41	8
3	56	8
done	56	8
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	4	5
1	10	1
done	10	1
0	4	5
1	10	1
done	10	1
0	4	5
1	10	1
done	10	1
0	11	28
1	25	28
2	46	28
3	61	28
done	61	28
0	10	11
1	22	11
2	41	11
3	58	11
done	58	11
0	10	18
1	22	18
2	41	18
3	58	18
done	58	18
0	10	10
1	24	8
2	46	8
3	61	8
done	61	8
0	10	18
1	22	18
2	41	18
3	58	18
done	58	18
0	10	15
1	22	15
2	41	15
3	56	15
done	56	15
0	10	18
1	22	18
2	41	18
3	58	18
done	58	18
0	9	17
1	20	7
2	40	7
3	57	7
done	57	7
0	15	21
1	48	21
2	113	21
3	251	21
4	555	21
5	1503	21
done	5000	21
0	14	23
1	37	23
2	92	23
3	237	23
4	881	23
5	2415	23
done	5000	23
0	15	21
1	48	21
2	113	21
3	252	21
4	560	21
5	1493	21
done	5001	21
0	14	23
1	37	23
2	92	23
3	237	23
4	877	23
5	2408	23
done	5000	23
0	9	9
1	20	9
2	39	9
3	56	9
done	56	9
0	9	9
1	20	9
2	39	9
3	56	9
done	56	9
0	10	19
1	21	19
2	40	19
3	55	19
done	55	19
0	9	9
1	20	9
2	39	9
3	56	9
done	56	9
0	10	26
1	22	16
2	58	10
3	145	10
4	178	10
5	188	10
6	211	10
7	278	10
8	496	10
9	1440	10
done	5000	10
0	2	2
done	2	2
0	6	6
1	10	6
2	16	6
done	16	6
0	11	12
1	33	12
2	83	12
3	210	12
4	512	12
5	1441	12
done	5000	12
0	10	18
1	25	16
2	71	16
3	183	14
4	722	14
5	2286	14
done	5000	14
0	10	14
1	23	14
2	65	14
3	216	14
4	836	14
5	2300	14
done	5000	14
0	6	6
1	11	6
2	18	6
3	24	6
4	30	6
5	39	6
6	52	6
7	65	6
8	74	6
9	83	6
10	98	6
11	103	6
12	107	6
13	108	6
done	108	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	9	9
1	20	9
2	39	9
3	56	9
done	56	9
0	9	9
1	20	9
2	39	9
3	56	9
done	56	9
0	9	9
1	20	9
2	39	9
3	56	9
done	56	9
0	9	9
1	20	9
2	39	9
3	56	9
done	56	9
0	10	19
1	21	19
2	40	19
3	55	19
done	55	19
0	9	9
1	20	9
2	39	9
3	56	9
done	56	9
0	10	26
1	22	16
2	58	10
3	145	10
4	178	10
5	188	10
6	211	10
7	278	10
8	496	10
9	1440	10
done	5000	10
0	2	2
done	2	2
0	6	6
1	10	6
2	16	6
done	16	6
0	11	12
1	33	12
2	83	12
3	210	12
4	512	12
5	1441	12
done	5000	12
0	10	18
1	25	16
2	71	16
3	183	14
4	722	14
5	2286	14
done	5000	14
0	10	14
1	23	14
2	65	14
3	216	14
4	836	14
5	2300	14
done	5000	14
0	6	6
1	11	6
2	18	6
3	24	6
4	30	6
5	39	6
6	52	6
7	65	6
8	74	6
9	83	6
10	98	6
11	103	6
12	107	6
13	108	6
done	108	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	9	9
1	20	9
2	39	9
3	56	9
done	56	9
0	9	9
1	20	9
2	39	9
3	56	9
done	56	9
0	7	7
1	18	7
2	37	7
3	54	7
done	54	7
0	9	9
1	14	9
2	20	9
done	20	9
0	8	8
1	22	8
2	42	8
3	57	8
done	57	8
0	8	8
1	21	8
2	49	8
3	95	8
4	154	8
5	319	8
6	883	8
7	3926	8
done	5000	8
0	11	23
1	34	23
2	163	11
3	876	11
done	5000	11
0	9	17
1	20	17
2	39	17
3	56	17
done	56	17
0	8	8
1	19	8
2	38	8
3	53	8
done	53	8
0	9	23
1	30	23
2	138	9
3	744	9
4	3408	9
done	5000	9
0	8	8
1	19	8
2	38	8
3	53	8
done	53	8
0	8	8
1	19	8
2	38	8
3	53	8
done	53	8
0	9	9
1	14	9
2	20	9
done	20	9
0	9	9
1	14	9
2	20	9
done	20	9
0	5	5
1	13	5
2	14	5
done	14	5
0	3	3
1	4	3
done	4	3
0	5	5
1	7	5
2	15	5
done	15	5
0	3	3
1	4	3
done	4	3
0	9	15
1	16	15
2	24	15
done	24	15
0	8	8
1	13	8
2	19	8
done	19	8
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	8	8
1	19	8
2	38	8
3	53	8
done	53	8
0	8	8
1	19	8
2	38	8
3	53	8
done	53	8
0	7	7
1	18	7
2	37	7
3	54	7
done	54	7
0	10	11
1	32	11
2	82	11
3	206	11
4	507	11
5	1443	11
done	5000	11
0	9	13
1	22	13
2	64	13
3	215	13
4	839	13
5	2303	13
done	5000	13
0	1	1
done	1	1
0	9	11
1	16	11
2	28	9
3	44	7
4	52	7
done	52	7
0	9	11
1	16	11
2	28	9
3	44	7
4	52	7
done	52	7
0	13	17
1	27	17
2	59	13
3	110	9
4	165	9
5	176	9
done	176	9
0	27	39
1	76	39
2	269	39
3	1072	37
4	4945	29
done	5000	29
0	28	40
1	80	40
2	290	39
3	1183	38
done	5000	37
0	13	17
1	27	17
2	59	13
3	110	9
4	165	9
5	176	9
done	176	9
0	27	39
1	76	39
2	269	39
3	1072	37
4	4945	29
done	5000	29
0	28	40
1	80	40
2	290	39
3	1183	38
done	5000	37
0	1	1
done	1	1
0	9	11
1	16	11
2	28	9
3	44	7
4	52	7
done	52	7
0	9	11
1	16	11
2	28	9
3	44	7
4	52	7
done	52	7

prune110.0ms

Filtered

80 candidates to 119 candidates (-48.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	119	0	119
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	119	4	123

Merged error: 0b

Counts

123 → 4

regimes540.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample972.0ms

Algorithm

intervals

Results

337.0ms	8000×	pre	80	true
228.0ms	8000×	body	80	valid

Details

sample35.0ms

simplify19.0ms

prune3.0ms

localize6.0ms

rewrite11.0ms

series15.0ms

simplify11.5s

prune49.0ms

localize7.0ms

rewrite15.0ms

series18.0ms

simplify31.4s

prune55.0ms

localize7.0ms

rewrite13.0ms

series18.0ms

simplify32.5s

prune51.0ms

localize8.0ms

rewrite49.0ms

series165.0ms

simplify1.6min

prune110.0ms

regimes540.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample972.0ms

Profiling