Details

sample43.0ms

Algorithm

intervals

Results

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

simplify122.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	17	9
2	51	9
3	124	9
4	183	9
5	191	9
done	191	9

prune4.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: 3.8b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.5b	(+ b (+ c d))
2.8b	(+ a (+ b (+ c d)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

16×	`*-un-lft-identity` `add-log-exp`
9×	`sum-log` `distribute-lft-out`
2×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `associate-+r+` `flip3-+` `add-cbrt-cube` `flip-+`

Counts

2 → 32

Calls

2 calls:

6.0ms	(+ b (+ c d))
9.0ms	(+ a (+ b (+ c d)))

series15.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(+ b (+ c d))
10.0ms	(+ a (+ b (+ c d)))

simplify16.6s

Counts

38 → 38

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	20	10
2	49	9
3	103	8
4	135	8
5	136	8
done	136	8
0	10	10
1	20	9
2	44	8
3	95	8
4	138	8
5	140	8
done	140	8
0	9	9
1	19	8
2	43	8
3	101	8
4	159	8
5	160	8
done	160	8
0	8	8
1	15	8
2	35	8
3	59	8
4	60	8
done	60	8
0	8	8
1	18	8
2	48	8
3	103	8
4	154	8
5	157	8
done	157	8
0	9	17
1	16	17
2	36	17
3	60	17
4	63	17
done	63	17
0	8	8
1	15	8
2	35	8
3	59	8
4	60	8
done	60	8
0	9	23
1	29	23
2	129	9
3	839	9
done	5000	9
0	8	8
1	15	8
2	35	8
3	59	8
4	60	8
done	60	8
0	8	8
1	15	8
2	35	8
3	59	8
4	60	8
done	60	8
0	10	11
1	28	11
2	71	11
3	278	11
4	1250	11
done	5000	11
0	11	23
1	35	17
2	125	17
3	518	17
4	3258	17
done	5000	17
0	9	15
1	24	15
2	91	15
3	381	15
4	1842	15
done	5001	15
0	7	7
1	15	7
2	39	7
3	79	7
4	151	7
5	272	7
6	491	7
7	624	7
8	654	7
done	654	7
0	7	7
1	14	7
2	34	7
3	56	7
4	57	7
done	57	7
0	7	7
1	14	7
2	34	7
3	56	7
4	57	7
done	57	7
0	7	7
1	14	7
2	34	7
3	56	7
4	57	7
done	57	7
0	3	3
1	4	3
done	4	3
0	8	8
1	14	7
2	27	6
3	36	6
done	36	6
0	7	7
1	14	6
2	24	6
3	36	6
done	36	6
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	24	17
2	98	7
3	426	7
4	2182	7
done	5001	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	8	9
1	23	9
2	48	9
3	105	9
4	244	9
5	708	9
6	2688	9
done	5000	9
0	9	17
1	30	13
2	76	13
3	218	13
4	790	13
5	2680	13
done	5000	13
0	7	11
1	19	11
2	52	11
3	142	11
4	442	11
5	1316	11
done	5001	11
0	5	5
1	10	5
2	19	5
3	29	5
4	41	5
5	57	5
6	74	5
7	85	5
8	92	5
9	100	5
10	105	5
11	107	5
12	111	5
done	111	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	3	3
1	4	3
done	4	3
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5

prune77.0ms

Filtered

27 candidates to 38 candidates (-40.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	31	7	38
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	32	7	39

Merged error: 2.4b

Counts

39 → 7

localize7.0ms

Local error

Found 1 expressions with local error:

2.8b	(+ a (+ (+ b c) d))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

10×	`*-un-lft-identity` `add-log-exp`
6×	`sum-log` `distribute-lft-out`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `associate-+r+` `flip3-+` `add-cbrt-cube` `flip-+`

Counts

1 → 17

Calls

1 calls:

9.0ms

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

series10.0ms

Counts

1 → 3

Calls

1 calls:

10.0ms

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

simplify6.9s

Counts

20 → 20

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	20	10
2	48	9
3	105	8
4	139	8
5	143	8
done	143	8
0	10	10
1	20	9
2	44	8
3	100	8
4	150	8
5	151	8
done	151	8
0	9	9
1	19	8
2	43	8
3	103	8
4	162	8
done	162	8
0	8	8
1	15	8
2	34	8
3	61	8
4	63	8
done	63	8
0	8	8
1	18	8
2	47	8
3	106	8
4	169	8
5	174	8
done	174	8
0	9	17
1	16	17
2	35	17
3	62	17
4	64	17
done	64	17
0	8	8
1	15	8
2	34	8
3	61	8
4	63	8
done	63	8
0	9	23
1	29	23
2	128	9
3	804	9
done	5000	9
0	8	8
1	15	8
2	34	8
3	61	8
4	63	8
done	63	8
0	8	8
1	15	8
2	34	8
3	61	8
4	63	8
done	63	8
0	10	11
1	28	11
2	71	11
3	278	11
4	1250	11
done	5000	11
0	11	23
1	35	17
2	125	17
3	511	17
4	3246	17
done	5001	17
0	9	15
1	24	15
2	91	15
3	384	15
4	1858	15
done	5001	15
0	7	7
1	15	7
2	38	7
3	82	7
4	164	7
5	282	7
6	434	7
7	564	7
8	601	7
9	604	7
10	608	7
done	608	7
0	7	7
1	14	7
2	33	7
3	58	7
4	60	7
done	60	7
0	7	7
1	14	7
2	33	7
3	58	7
4	60	7
done	60	7
0	7	7
1	14	7
2	33	7
3	58	7
4	60	7
done	60	7
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5

prune63.0ms

Filtered

14 candidates to 20 candidates (-42.9%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	14	6	20
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	16	11	27

Merged error: 2.1b

Counts

27 → 11

localize10.0ms

Local error

Found 2 expressions with local error:

0.6b	(cbrt (pow (+ a (+ (+ b c) d)) 3))
2.8b	(+ a (+ (+ b c) d))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

32×	`*-un-lft-identity`
18×	`cbrt-prod` `distribute-lft-out`
11×	`add-log-exp`
6×	`unpow-prod-down` `cube-prod` `sum-log`
5×	`add-sqr-sqrt` `add-cube-cbrt`
2×	`pow1` `add-exp-log` `cube-div` `cbrt-div` `flip3-+` `add-cbrt-cube` `flip-+`
1×	`+-commutative` `cube-mult` `associate-+r+` `pow1/3` `unpow3` `rem-cbrt-cube` `sqr-pow`

Counts

2 → 46

Calls

2 calls:

10.0ms	(cbrt (pow (+ a (+ (+ b c) d)) 3))
9.0ms	(+ a (+ (+ b c) d))

series28.0ms

Counts

2 → 6

Calls

2 calls:

18.0ms	(cbrt (pow (+ a (+ (+ b c) d)) 3))
10.0ms	(+ a (+ (+ b c) d))

simplify1.3min

Counts

52 → 52

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	20	10
2	48	9
3	105	8
4	139	8
5	143	8
done	143	8
0	10	10
1	20	9
2	44	8
3	100	8
4	150	8
5	151	8
done	151	8
0	9	9
1	19	8
2	43	8
3	103	8
4	162	8
done	162	8
0	8	8
1	15	8
2	34	8
3	61	8
4	63	8
done	63	8
0	8	8
1	18	8
2	47	8
3	106	8
4	169	8
5	174	8
done	174	8
0	9	17
1	16	17
2	35	17
3	62	17
4	64	17
done	64	17
0	8	8
1	15	8
2	34	8
3	61	8
4	63	8
done	63	8
0	9	23
1	29	23
2	128	9
3	804	9
done	5000	9
0	8	8
1	15	8
2	34	8
3	61	8
4	63	8
done	63	8
0	8	8
1	15	8
2	34	8
3	61	8
4	63	8
done	63	8
0	10	11
1	28	11
2	71	11
3	278	11
4	1250	11
done	5000	11
0	11	23
1	35	17
2	125	17
3	511	17
4	3246	17
done	5001	17
0	9	15
1	24	15
2	91	15
3	384	15
4	1858	15
done	5001	15
0	7	7
1	15	7
2	38	7
3	82	7
4	164	7
5	282	7
6	434	7
7	564	7
8	601	7
9	604	7
10	608	7
done	608	7
0	7	7
1	14	7
2	33	7
3	58	7
4	60	7
done	60	7
0	7	7
1	14	7
2	33	7
3	58	7
4	60	7
done	60	7
0	7	7
1	14	7
2	33	7
3	58	7
4	60	7
done	60	7
0	5	5
1	9	5
2	15	5
done	15	5
0	11	11
1	26	8
2	79	8
3	400	8
4	2802	8
done	5000	8
0	11	11
1	26	8
2	86	8
3	431	8
4	2875	8
done	5000	8
0	12	20
1	29	17
2	69	11
3	197	11
4	1055	11
5	3788	10
done	5000	10
0	11	11
1	26	8
2	51	8
3	90	8
4	120	8
5	185	8
6	394	8
7	1299	8
done	5000	8
0	11	11
1	26	8
2	51	8
3	125	8
4	209	8
5	309	8
6	519	8
7	1461	8
done	5000	8
0	11	11
1	26	8
2	51	8
3	125	8
4	209	8
5	309	8
6	519	8
7	1461	8
done	5000	8
0	4	4
1	14	1
2	18	1
done	18	1
0	10	10
1	25	7
2	78	7
3	399	7
4	2801	7
done	5001	7
0	4	4
1	14	1
2	18	1
done	18	1
0	10	10
1	25	7
2	78	7
3	399	7
4	2801	7
done	5001	7
0	4	4
1	14	1
2	18	1
done	18	1
0	10	10
1	25	7
2	78	7
3	399	7
4	2801	7
done	5001	7
0	4	4
1	14	1
2	18	1
done	18	1
0	10	10
1	25	7
2	78	7
3	399	7
4	2801	7
done	5001	7
0	9	16
1	22	16
2	84	16
3	444	16
4	2307	16
done	5001	16
0	8	8
1	15	8
2	34	8
3	61	8
4	63	8
done	63	8
0	12	22
1	26	16
2	79	16
3	400	16
4	2801	16
done	5000	16
0	11	11
1	26	8
2	79	8
3	400	8
4	2802	8
done	5000	8
0	12	20
1	29	17
2	69	11
3	197	11
4	1055	11
5	3788	10
done	5000	10
0	11	11
1	26	8
2	51	8
3	90	8
4	120	8
5	185	8
6	394	8
7	1299	8
done	5000	8
0	11	11
1	26	8
2	51	8
3	125	8
4	209	8
5	309	8
6	519	8
7	1461	8
done	5000	8
0	11	11
1	26	8
2	51	8
3	125	8
4	209	8
5	309	8
6	519	8
7	1461	8
done	5000	8
0	4	4
1	14	1
2	18	1
done	18	1
0	10	10
1	25	7
2	78	7
3	399	7
4	2801	7
done	5001	7
0	4	4
1	14	1
2	18	1
done	18	1
0	10	10
1	25	7
2	78	7
3	399	7
4	2801	7
done	5001	7
0	4	4
1	14	1
2	18	1
done	18	1
0	10	10
1	25	7
2	78	7
3	399	7
4	2801	7
done	5001	7
0	4	4
1	14	1
2	18	1
done	18	1
0	10	10
1	25	7
2	78	7
3	399	7
4	2801	7
done	5001	7
0	8	8
1	15	8
2	34	8
3	61	8
4	63	8
done	63	8
0	9	16
1	22	16
2	84	16
3	444	16
4	2307	16
done	5001	16
0	11	11
1	26	11
2	80	11
3	401	11
4	2804	11
done	5001	11
0	11	11
1	26	11
2	80	11
3	401	11
4	2804	11
done	5001	11
0	2	2
1	4	1
done	4	1
0	10	10
1	25	7
2	78	7
3	399	7
4	2801	7
done	5001	7
0	12	12
1	23	10
2	49	10
3	86	10
4	112	10
5	172	10
6	386	10
7	1305	10
done	5000	10
0	12	12
1	23	10
2	49	10
3	86	10
4	112	10
5	172	10
6	386	10
7	1305	10
done	5000	10
0	12	14
1	35	11
2	97	11
3	425	11
4	2777	11
done	5001	11
0	14	26
1	46	17
2	158	17
3	682	17
done	5002	17
0	12	18
1	35	15
2	134	15
3	677	15
done	5001	15
0	10	10
1	26	7
2	67	7
3	205	7
4	1109	7
done	5000	7
0	12	23
1	27	17
2	80	17
3	402	17
4	2805	17
done	5000	17
0	11	11
1	26	8
2	79	8
3	400	8
4	2802	8
done	5000	8
0	12	32
1	25	9
2	78	9
3	400	9
4	2801	9
done	5001	9
0	11	11
1	26	8
2	79	8
3	400	8
4	2802	8
done	5000	8
0	11	11
1	26	8
2	79	8
3	400	8
4	2802	8
done	5000	8
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	11	15
1	21	15
2	47	12
3	103	9
4	164	9
5	211	9
6	270	9
7	398	9
8	562	9
9	597	9
10	607	9
done	607	9

prune134.0ms

Filtered

32 candidates to 52 candidates (-62.5%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	41	11	52
Fresh	3	6	9
Picked	1	0	1
Done	0	1	1
Total	45	18	63

Merged error: 2.0b

Counts

63 → 18

localize13.0ms

Local error

Found 3 expressions with local error:

0.6b	(cbrt (pow (cbrt (pow (+ a (+ (+ b c) d)) 3)) 3))
0.6b	(cbrt (pow (+ a (+ (+ b c) d)) 3))
2.8b	(+ a (+ (+ b c) d))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

102×	`cbrt-prod`
78×	`*-un-lft-identity`
42×	`distribute-lft-out`
39×	`unpow-prod-down` `cube-prod`
15×	`add-sqr-sqrt` `add-cube-cbrt`
12×	`add-log-exp`
6×	`cube-div` `cbrt-div` `sum-log`
4×	`cube-mult` `unpow3` `sqr-pow`
3×	`pow1` `add-exp-log` `flip3-+` `add-cbrt-cube` `flip-+`
2×	`pow1/3` `rem-cbrt-cube`
1×	`+-commutative` `associate-+r+`

Counts

3 → 105

Calls

3 calls:

15.0ms	(cbrt (pow (cbrt (pow (+ a (+ (+ b c) d)) 3)) 3))
11.0ms	(cbrt (pow (+ a (+ (+ b c) d)) 3))
9.0ms	(+ a (+ (+ b c) d))

series43.0ms

Counts

3 → 9

Calls

3 calls:

16.0ms	(cbrt (pow (cbrt (pow (+ a (+ (+ b c) d)) 3)) 3))
14.0ms	(cbrt (pow (+ a (+ (+ b c) d)) 3))
14.0ms	(+ a (+ (+ b c) d))

simplify4.2min

Counts

114 → 114

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	20	10
2	48	9
3	105	8
4	139	8
5	143	8
done	143	8
0	10	10
1	20	9
2	44	8
3	100	8
4	150	8
5	151	8
done	151	8
0	9	9
1	19	8
2	43	8
3	103	8
4	162	8
done	162	8
0	8	8
1	15	8
2	34	8
3	61	8
4	63	8
done	63	8
0	8	8
1	18	8
2	47	8
3	106	8
4	169	8
5	174	8
done	174	8
0	9	17
1	16	17
2	35	17
3	62	17
4	64	17
done	64	17
0	8	8
1	15	8
2	34	8
3	61	8
4	63	8
done	63	8
0	9	23
1	29	23
2	128	9
3	804	9
done	5000	9
0	8	8
1	15	8
2	34	8
3	61	8
4	63	8
done	63	8
0	8	8
1	15	8
2	34	8
3	61	8
4	63	8
done	63	8
0	10	11
1	28	11
2	71	11
3	278	11
4	1250	11
done	5000	11
0	11	23
1	35	17
2	125	17
3	511	17
4	3246	17
done	5001	17
0	9	15
1	24	15
2	91	15
3	384	15
4	1858	15
done	5001	15
0	7	7
1	15	7
2	38	7
3	82	7
4	164	7
5	282	7
6	434	7
7	564	7
8	601	7
9	604	7
10	608	7
done	608	7
0	7	7
1	14	7
2	33	7
3	58	7
4	60	7
done	60	7
0	7	7
1	14	7
2	33	7
3	58	7
4	60	7
done	60	7
0	7	7
1	14	7
2	33	7
3	58	7
4	60	7
done	60	7
0	5	5
1	9	5
2	15	5
done	15	5
0	11	11
1	26	8
2	79	8
3	400	8
4	2802	8
done	5000	8
0	11	11
1	26	8
2	86	8
3	431	8
4	2875	8
done	5000	8
0	12	20
1	29	17
2	69	11
3	197	11
4	1055	11
5	3788	10
done	5000	10
0	11	11
1	26	8
2	51	8
3	90	8
4	120	8
5	185	8
6	394	8
7	1299	8
done	5000	8
0	11	11
1	26	8
2	51	8
3	125	8
4	209	8
5	309	8
6	519	8
7	1461	8
done	5000	8
0	11	11
1	26	8
2	51	8
3	125	8
4	209	8
5	309	8
6	519	8
7	1461	8
done	5000	8
0	4	4
1	14	1
2	18	1
done	18	1
0	10	10
1	25	7
2	78	7
3	399	7
4	2801	7
done	5001	7
0	4	4
1	14	1
2	18	1
done	18	1
0	10	10
1	25	7
2	78	7
3	399	7
4	2801	7
done	5001	7
0	4	4
1	14	1
2	18	1
done	18	1
0	10	10
1	25	7
2	78	7
3	399	7
4	2801	7
done	5001	7
0	4	4
1	14	1
2	18	1
done	18	1
0	10	10
1	25	7
2	78	7
3	399	7
4	2801	7
done	5001	7
0	9	16
1	22	16
2	84	16
3	444	16
4	2307	16
done	5001	16
0	8	8
1	15	8
2	34	8
3	61	8
4	63	8
done	63	8
0	12	22
1	26	16
2	79	16
3	400	16
4	2801	16
done	5000	16
0	11	11
1	26	8
2	79	8
3	400	8
4	2802	8
done	5000	8
0	12	20
1	29	17
2	69	11
3	197	11
4	1055	11
5	3788	10
done	5000	10
0	11	11
1	26	8
2	51	8
3	90	8
4	120	8
5	185	8
6	394	8
7	1299	8
done	5000	8
0	11	11
1	26	8
2	51	8
3	125	8
4	209	8
5	309	8
6	519	8
7	1461	8
done	5000	8
0	11	11
1	26	8
2	51	8
3	125	8
4	209	8
5	309	8
6	519	8
7	1461	8
done	5000	8
0	4	4
1	14	1
2	18	1
done	18	1
0	10	10
1	25	7
2	78	7
3	399	7
4	2801	7
done	5001	7
0	4	4
1	14	1
2	18	1
done	18	1
0	10	10
1	25	7
2	78	7
3	399	7
4	2801	7
done	5001	7
0	4	4
1	14	1
2	18	1
done	18	1
0	10	10
1	25	7
2	78	7
3	399	7
4	2801	7
done	5001	7
0	4	4
1	14	1
2	18	1
done	18	1
0	10	10
1	25	7
2	78	7
3	399	7
4	2801	7
done	5001	7
0	8	8
1	15	8
2	34	8
3	61	8
4	63	8
done	63	8
0	9	16
1	22	16
2	84	16
3	444	16
4	2307	16
done	5001	16
0	11	11
1	26	11
2	80	11
3	401	11
4	2804	11
done	5001	11
0	11	11
1	26	11
2	80	11
3	401	11
4	2804	11
done	5001	11
0	2	2
1	4	1
done	4	1
0	10	10
1	25	7
2	78	7
3	399	7
4	2801	7
done	5001	7
0	12	12
1	23	10
2	49	10
3	86	10
4	112	10
5	172	10
6	386	10
7	1305	10
done	5000	10
0	12	12
1	23	10
2	49	10
3	86	10
4	112	10
5	172	10
6	386	10
7	1305	10
done	5000	10
0	12	14
1	35	11
2	97	11
3	425	11
4	2777	11
done	5001	11
0	14	26
1	46	17
2	158	17
3	682	17
done	5002	17
0	12	18
1	35	15
2	134	15
3	677	15
done	5001	15
0	10	10
1	26	7
2	67	7
3	205	7
4	1109	7
done	5000	7
0	12	23
1	27	17
2	80	17
3	402	17
4	2805	17
done	5000	17
0	11	11
1	26	8
2	79	8
3	400	8
4	2802	8
done	5000	8
0	12	32
1	25	9
2	78	9
3	400	9
4	2801	9
done	5001	9
0	11	11
1	26	8
2	79	8
3	400	8
4	2802	8
done	5000	8
0	11	11
1	26	8
2	79	8
3	400	8
4	2802	8
done	5000	8
0	13	14
1	30	8
2	83	8
3	404	8
4	2807	8
done	5001	8
0	13	14
1	30	8
2	90	8
3	435	8
4	2879	8
done	5001	8
0	14	23
1	33	17
2	73	11
3	201	11
4	1053	11
5	3803	10
done	5000	10
0	13	14
1	30	8
2	55	8
3	90	8
4	113	8
5	174	8
6	381	8
7	1298	8
done	5001	8
0	13	14
1	30	8
2	55	8
3	130	8
4	212	8
5	305	8
6	521	8
7	1457	8
done	5001	8
0	13	14
1	30	8
2	55	8
3	130	8
4	212	8
5	305	8
6	521	8
7	1457	8
done	5001	8
0	6	7
1	18	1
2	22	1
3	26	1
4	30	1
5	34	1
6	38	1
7	42	1
done	42	1
0	12	13
1	29	7
2	82	7
3	403	7
4	2807	7
done	5000	7
0	6	7
1	18	1
2	22	1
3	26	1
4	30	1
5	34	1
6	38	1
7	42	1
done	42	1
0	12	13
1	29	7
2	82	7
3	403	7
4	2807	7
done	5000	7
0	6	7
1	18	1
2	22	1
3	26	1
4	30	1
5	34	1
6	38	1
7	42	1
done	42	1
0	12	13
1	29	7
2	82	7
3	403	7
4	2807	7
done	5000	7
0	6	7
1	18	1
2	22	1
3	26	1
4	30	1
5	34	1
6	38	1
7	42	1
done	42	1
0	12	13
1	29	7
2	82	7
3	403	7
4	2807	7
done	5000	7
0	12	19
1	33	16
2	101	16
3	468	16
4	2352	16
done	5000	16
0	11	11
1	26	8
2	51	8
3	90	8
4	120	8
5	185	8
6	394	8
7	1299	8
done	5000	8
0	14	25
1	33	16
2	101	16
3	576	16
4	3473	16
done	5000	16
0	13	14
1	33	8
2	126	8
3	859	8
done	5000	8
0	14	23
1	33	17
2	73	11
3	201	11
4	1053	11
5	3803	10
done	5000	10
0	13	14
1	30	8
2	55	8
3	90	8
4	113	8
5	174	8
6	381	8
7	1298	8
done	5001	8
0	13	14
1	30	8
2	55	8
3	130	8
4	212	8
5	305	8
6	521	8
7	1457	8
done	5001	8
0	13	14
1	30	8
2	55	8
3	130	8
4	212	8
5	305	8
6	521	8
7	1457	8
done	5001	8
0	6	7
1	18	1
2	22	1
3	26	1
4	30	1
5	34	1
6	38	1
7	42	1
done	42	1
0	12	13
1	29	7
2	82	7
3	403	7
4	2807	7
done	5000	7
0	6	7
1	18	1
2	22	1
3	26	1
4	30	1
5	34	1
6	38	1
7	42	1
done	42	1
0	12	13
1	29	7
2	82	7
3	403	7
4	2807	7
done	5000	7
0	6	7
1	18	1
2	22	1
3	26	1
4	30	1
5	34	1
6	38	1
7	42	1
done	42	1
0	12	13
1	29	7
2	82	7
3	403	7
4	2807	7
done	5000	7
0	6	7
1	18	1
2	22	1
3	26	1
4	30	1
5	34	1
6	38	1
7	42	1
done	42	1
0	12	13
1	29	7
2	82	7
3	403	7
4	2807	7
done	5000	7
0	11	11
1	26	8
2	51	8
3	90	8
4	120	8
5	185	8
6	394	8
7	1299	8
done	5000	8
0	12	19
1	33	16
2	101	16
3	468	16
4	2352	16
done	5000	16
0	13	14
1	33	11
2	90	11
3	419	11
4	2836	11
done	5001	11
0	13	14
1	33	11
2	90	11
3	419	11
4	2836	11
done	5001	11
0	5	5
1	15	1
2	19	1
3	25	1
done	25	1
0	12	13
1	29	7
2	82	7
3	403	7
4	2807	7
done	5000	7
0	14	15
1	30	10
2	59	10
3	101	10
4	145	10
5	257	10
6	662	10
7	2470	10
done	5000	10
0	14	15
1	30	10
2	59	10
3	101	10
4	145	10
5	257	10
6	662	10
7	2470	10
done	5000	10
0	14	26
1	36	17
2	107	11
3	628	11
4	4798	11
done	5000	11
0	13	14
1	33	8
2	126	8
3	859	8
done	5000	8
0	13	14
1	33	8
2	89	8
3	470	8
4	3224	8
done	5001	8
0	13	14
1	33	8
2	89	8
3	470	8
4	3224	8
done	5001	8
0	4	4
1	14	1
2	18	1
done	18	1
0	12	13
1	29	7
2	82	7
3	403	7
4	2807	7
done	5000	7
0	12	22
1	26	16
2	79	16
3	400	16
4	2801	16
done	5000	16
0	11	11
1	26	8
2	79	8
3	400	8
4	2802	8
done	5000	8
0	14	28
1	30	16
2	83	16
3	404	16
4	2807	16
done	5001	16
0	13	14
1	30	8
2	83	8
3	404	8
4	2807	8
done	5001	8
0	14	23
1	33	17
2	73	11
3	201	11
4	1053	11
5	3803	10
done	5000	10
0	13	14
1	30	8
2	55	8
3	90	8
4	113	8
5	174	8
6	381	8
7	1298	8
done	5001	8
0	13	14
1	30	8
2	55	8
3	130	8
4	212	8
5	305	8
6	521	8
7	1457	8
done	5001	8
0	13	14
1	30	8
2	55	8
3	130	8
4	212	8
5	305	8
6	521	8
7	1457	8
done	5001	8
0	6	7
1	18	1
2	22	1
3	26	1
4	30	1
5	34	1
6	38	1
7	42	1
done	42	1
0	12	13
1	29	7
2	82	7
3	403	7
4	2807	7
done	5000	7
0	6	7
1	18	1
2	22	1
3	26	1
4	30	1
5	34	1
6	38	1
7	42	1
done	42	1
0	12	13
1	29	7
2	82	7
3	403	7
4	2807	7
done	5000	7
0	6	7
1	18	1
2	22	1
3	26	1
4	30	1
5	34	1
6	38	1
7	42	1
done	42	1
0	12	13
1	29	7
2	82	7
3	403	7
4	2807	7
done	5000	7
0	6	7
1	18	1
2	22	1
3	26	1
4	30	1
5	34	1
6	38	1
7	42	1
done	42	1
0	12	13
1	29	7
2	82	7
3	403	7
4	2807	7
done	5000	7
0	12	19
1	33	16
2	101	16
3	468	16
4	2352	16
done	5000	16
0	11	11
1	26	8
2	51	8
3	90	8
4	120	8
5	185	8
6	394	8
7	1299	8
done	5000	8
0	14	25
1	33	16
2	101	16
3	576	16
4	3473	16
done	5000	16
0	13	14
1	33	8
2	126	8
3	859	8
done	5000	8
0	14	23
1	33	17
2	73	11
3	201	11
4	1053	11
5	3803	10
done	5000	10
0	13	14
1	30	8
2	55	8
3	90	8
4	113	8
5	174	8
6	381	8
7	1298	8
done	5001	8
0	13	14
1	30	8
2	55	8
3	130	8
4	212	8
5	305	8
6	521	8
7	1457	8
done	5001	8
0	13	14
1	30	8
2	55	8
3	130	8
4	212	8
5	305	8
6	521	8
7	1457	8
done	5001	8
0	6	7
1	18	1
2	22	1
3	26	1
4	30	1
5	34	1
6	38	1
7	42	1
done	42	1
0	12	13
1	29	7
2	82	7
3	403	7
4	2807	7
done	5000	7
0	6	7
1	18	1
2	22	1
3	26	1
4	30	1
5	34	1
6	38	1
7	42	1
done	42	1
0	12	13
1	29	7
2	82	7
3	403	7
4	2807	7
done	5000	7
0	6	7
1	18	1
2	22	1
3	26	1
4	30	1
5	34	1
6	38	1
7	42	1
done	42	1
0	12	13
1	29	7
2	82	7
3	403	7
4	2807	7
done	5000	7
0	6	7
1	18	1
2	22	1
3	26	1
4	30	1
5	34	1
6	38	1
7	42	1
done	42	1
0	12	13
1	29	7
2	82	7
3	403	7
4	2807	7
done	5000	7
0	11	11
1	26	8
2	51	8
3	90	8
4	120	8
5	185	8
6	394	8
7	1299	8
done	5000	8
0	12	19
1	33	16
2	101	16
3	468	16
4	2352	16
done	5000	16
0	13	14
1	33	11
2	90	11
3	419	11
4	2836	11
done	5001	11
0	13	14
1	33	11
2	90	11
3	419	11
4	2836	11
done	5001	11
0	5	5
1	15	1
2	19	1
3	25	1
done	25	1
0	12	13
1	29	7
2	82	7
3	403	7
4	2807	7
done	5000	7
0	14	15
1	30	10
2	59	10
3	101	10
4	145	10
5	257	10
6	662	10
7	2470	10
done	5000	10
0	14	15
1	30	10
2	59	10
3	101	10
4	145	10
5	257	10
6	662	10
7	2470	10
done	5000	10
0	14	26
1	36	17
2	107	11
3	628	11
4	4798	11
done	5000	11
0	13	14
1	33	8
2	126	8
3	859	8
done	5000	8
0	13	14
1	33	8
2	89	8
3	470	8
4	3224	8
done	5001	8
0	13	14
1	33	8
2	89	8
3	470	8
4	3224	8
done	5001	8
0	4	4
1	14	1
2	18	1
done	18	1
0	12	13
1	29	7
2	82	7
3	403	7
4	2807	7
done	5000	7
0	11	11
1	26	8
2	79	8
3	400	8
4	2802	8
done	5000	8
0	12	22
1	26	16
2	79	16
3	400	16
4	2801	16
done	5000	16
0	13	14
1	30	11
2	84	11
3	408	11
4	2812	11
done	5000	11
0	13	14
1	30	11
2	84	11
3	408	11
4	2812	11
done	5000	11
0	2	2
1	4	1
done	4	1
0	12	13
1	29	7
2	82	7
3	403	7
4	2807	7
done	5000	7
0	14	15
1	31	10
2	90	10
3	423	10
4	2857	10
done	5001	10
0	14	15
1	31	10
2	90	10
3	423	10
4	2857	10
done	5001	10
0	14	17
1	39	11
2	101	11
3	427	11
4	2766	11
done	5001	11
0	16	29
1	50	17
2	162	17
3	684	17
done	5002	17
0	14	21
1	39	15
2	138	15
3	685	15
done	5000	15
0	12	13
1	30	7
2	71	7
3	209	7
4	1110	7
done	5001	7
0	14	29
1	31	17
2	84	17
3	405	17
4	2806	17
done	5001	17
0	13	14
1	30	8
2	83	8
3	404	8
4	2807	8
done	5001	8
0	14	41
1	29	9
2	82	9
3	403	9
4	2805	9
done	5000	9
0	13	14
1	30	8
2	83	8
3	404	8
4	2807	8
done	5001	8
0	13	14
1	30	8
2	83	8
3	404	8
4	2807	8
done	5001	8
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	11	15
1	21	15
2	47	12
3	103	9
4	164	9
5	211	9
6	270	9
7	398	9
8	562	9
9	597	9
10	607	9
done	607	9
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	11	15
1	21	15
2	47	12
3	103	9
4	164	9
5	211	9
6	270	9
7	398	9
8	562	9
9	597	9
10	607	9
done	607	9

prune105.0ms

Filtered

50 candidates to 114 candidates (-128.0%)

Pruning

20 alts after pruning (19 fresh and 1 done)

	Pruned	Kept	Total
New	105	9	114
Fresh	6	10	16
Picked	1	0	1
Done	0	1	1
Total	112	20	132

Merged error: 2.0b

Counts

132 → 20

regimes938.0ms

Accuracy

0% (0.8b remaining)

Error of 2.7b against oracle of 1.9b and baseline of 2.7b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	9
1	13	9
done	13	9

end0.0ms

sample994.0ms

Algorithm

intervals

Results

340.0ms	8000×	pre	80	true
231.0ms	8000×	body	80	valid

Details

sample43.0ms

simplify122.0ms

prune4.0ms

localize7.0ms

rewrite16.0ms

series15.0ms

simplify16.6s

prune77.0ms

localize7.0ms

rewrite9.0ms

series10.0ms

simplify6.9s

prune63.0ms

localize10.0ms

rewrite21.0ms

series28.0ms

simplify1.3min

prune134.0ms

localize13.0ms

rewrite41.0ms

series43.0ms

simplify4.2min

prune105.0ms

regimes938.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample994.0ms

Profiling