Details

sample19.0ms

Algorithm

intervals

Results

7.0ms

301×

body

valid

simplify24.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	7
1	10	7
2	19	7
3	25	7
4	33	7
5	45	7
6	51	7
done	51	7

prune2.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

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (* x y) x)

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `sum-log` `add-cbrt-cube` `flip-+`

Counts

1 → 11

Calls

1 calls:

5.0ms

(+ (* x y) x)

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(+ (* x y) x)

simplify19.2s

Counts

14 → 14

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	11	6
2	22	6
3	43	6
4	98	6
5	219	6
6	559	6
7	1746	6
done	5001	6
0	5	6
1	7	6
2	10	6
3	17	6
4	24	6
done	24	6
0	5	6
1	10	6
2	17	6
3	31	6
4	63	6
5	126	6
6	288	6
7	752	6
8	2426	6
done	5000	6
0	6	13
1	8	13
2	11	13
3	15	13
4	21	13
done	21	13
0	5	6
1	7	6
2	10	6
3	14	6
4	20	6
done	20	6
0	6	17
1	21	17
2	68	7
3	211	7
4	703	7
5	3064	7
done	5000	7
0	5	6
1	7	6
2	10	6
3	14	6
4	20	6
done	20	6
0	5	6
1	7	6
2	10	6
3	14	6
4	20	6
done	20	6
0	7	9
1	24	9
2	63	9
3	170	9
4	384	9
5	1233	9
done	5000	9
0	8	17
1	22	15
2	52	13
3	100	13
4	202	11
5	374	11
6	657	11
7	918	11
8	1649	11
9	2316	11
10	2331	11
done	2331	11
0	6	11
1	18	11
2	41	9
3	67	9
4	126	9
5	276	9
6	490	9
7	997	9
8	3163	9
done	5000	9
0	4	5
1	7	5
2	8	5
done	8	5
0	4	5
1	6	5
2	9	5
3	13	5
4	19	5
done	19	5
0	4	5
1	6	5
2	9	5
3	13	5
4	19	5
done	19	5
0	4	5
1	6	5
2	9	5
3	13	5
4	19	5
done	19	5

prune17.0ms

Filtered

10 candidates to 14 candidates (-40.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	13	1	14
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	13	2	15

Merged error: 0.0b

Counts

15 → 2

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* x y) x)
2.2b	(* x (- (* x (* y y)) x))
8.4b	(* x (* y y))
29.5b	(/ (* x (- (* x (* y y)) x)) (- (* x y) x))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-exp-log` `add-cbrt-cube`
12×	`add-sqr-sqrt`
11×	`pow1`
9×	`add-cube-cbrt` `*-un-lft-identity`
6×	`associate-l` `add-log-exp`
5×	`prod-exp` `cbrt-unprod`
4×	`flip3--` `associate-r/` `associate-r*` `pow-prod-down` `flip--`
3×	`sub-neg` `times-frac` `associate-/r*`
2×	`cbrt-undiv` `distribute-rgt-in` `distribute-lft-in` `div-exp` `associate-/r/` `*-commutative` `associate-/l/` `unswap-sqr`
1×	`frac-2neg` `diff-log` `clear-num` `div-inv` `associate-/l*`

Counts

4 → 80

Calls

4 calls:

4.0ms	(- (* x y) x)
10.0ms	(* x (- (* x (* y y)) x))
7.0ms	(* x (* y y))
14.0ms	(/ (* x (- (* x (* y y)) x)) (- (* x y) x))

series55.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(- (* x y) x)
16.0ms	(* x (- (* x (* y y)) x))
8.0ms	(* x (* y y))
26.0ms	(/ (* x (- (* x (* y y)) x)) (- (* x y) x))

simplify3.2min

Counts

92 → 92

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	18
1	23	18
2	33	18
3	39	18
4	45	18
5	54	18
6	67	18
7	85	18
8	101	18
9	108	18
10	125	18
11	127	18
done	127	18
0	11	17
1	23	17
2	38	17
3	57	17
4	67	17
5	75	17
6	99	17
7	160	17
8	296	8
9	557	6
10	1238	6
11	4803	6
done	5000	6
0	10	16
1	22	16
2	46	16
3	95	16
4	163	14
5	253	12
6	362	12
7	725	8
8	4201	6
done	5001	6
0	10	16
1	19	16
2	35	16
3	70	16
4	137	14
5	260	12
6	463	12
7	1336	8
done	5000	8
0	15	47
1	36	47
2	165	21
3	850	21
4	4103	19
done	5000	19
0	13	47
1	38	47
2	178	19
3	999	17
4	4527	15
done	5000	15
0	11	33
1	20	33
2	36	33
3	69	33
4	122	29
5	211	25
6	306	25
7	642	17
8	4083	13
done	5000	13
0	10	16
1	19	16
2	35	16
3	68	16
4	120	14
5	207	12
6	302	12
7	638	8
8	4048	6
done	5001	6
0	11	47
1	27	47
2	80	17
3	358	17
4	1995	15
done	5001	15
0	10	16
1	19	16
2	35	16
3	68	16
4	120	14
5	207	12
6	302	12
7	638	8
8	4048	6
done	5001	6
0	10	16
1	19	16
2	35	16
3	68	16
4	120	14
5	207	12
6	302	12
7	638	8
8	4048	6
done	5001	6
0	7	10
1	16	10
2	35	10
3	80	10
4	125	9
5	204	9
6	369	9
7	558	9
8	872	9
9	1538	9
10	3804	9
done	5000	9
0	5	6
1	8	6
2	12	6
3	19	6
4	20	5
5	23	5
6	27	5
7	34	5
8	35	5
done	35	5
0	7	15
1	12	15
2	13	15
done	13	15
0	9	14
1	18	14
2	29	14
3	44	14
4	57	14
5	62	14
6	64	14
done	64	14
0	6	8
1	9	8
2	10	8
done	10	8
0	9	14
1	18	14
2	29	14
3	44	14
4	57	14
5	62	14
6	64	14
done	64	14
0	3	3
1	5	1
done	5	1
0	8	13
1	17	13
2	28	13
3	52	13
4	96	13
5	142	13
6	221	13
7	786	13
done	5000	13
0	6	7
1	11	7
2	12	7
done	12	7
0	9	15
1	21	15
2	53	15
3	103	13
4	144	11
5	389	11
6	1834	11
done	5000	11
0	11	23
1	25	23
2	50	23
3	104	23
4	205	23
5	350	23
6	502	23
7	602	23
8	806	23
9	1360	23
10	2721	23
done	5000	23
0	10	16
1	19	16
2	32	16
3	56	16
4	96	16
5	140	16
6	186	16
7	245	16
8	370	16
9	639	16
10	1307	16
11	3739	16
done	5000	16
0	8	11
1	18	9
2	35	9
3	65	9
4	93	9
5	153	9
6	277	9
7	355	9
8	468	9
9	760	9
10	1208	9
11	2024	9
12	4777	9
done	5000	9
0	8	13
1	17	13
2	26	13
3	37	13
4	59	13
5	86	13
6	220	13
7	1644	13
done	5000	13
0	12	19
1	37	19
2	98	19
3	287	19
4	944	19
5	4844	17
done	5000	17
0	11	21
1	29	21
2	64	19
3	200	19
4	831	1
5	3130	1
done	5000	1
0	12	29
1	36	27
2	128	25
3	508	21
4	1490	19
5	3833	19
done	5000	19
0	8	13
1	21	13
2	55	13
3	157	13
4	313	13
5	566	13
6	986	13
7	2139	13
done	5001	13
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	11	7
2	14	7
done	14	7
0	6	7
1	9	7
2	15	7
3	16	7
done	16	7
0	5	6
1	11	6
2	18	6
3	25	6
4	26	6
done	26	6
0	5	6
1	10	6
2	20	6
3	38	6
4	80	6
5	182	6
6	446	6
7	1298	6
8	4672	6
done	5000	6
0	8	17
1	21	17
2	73	11
3	200	7
4	416	7
5	1162	7
6	3922	7
done	5000	7
0	8	17
1	22	17
2	69	9
3	196	7
4	441	7
5	1243	7
6	4192	7
done	5000	7
0	6	13
1	9	13
2	11	13
done	11	13
0	5	6
1	8	6
2	10	6
done	10	6
0	6	17
1	19	17
2	70	7
3	224	7
4	365	7
5	531	7
6	1425	7
7	4784	7
done	5000	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	5
1	7	5
2	9	5
done	9	5
0	6	9
1	12	9
2	21	9
3	31	9
4	38	9
5	41	9
6	47	9
7	69	9
8	127	9
9	277	9
10	493	9
11	984	9
12	3181	9
done	5001	9
0	8	11
1	14	11
2	17	11
done	17	11
0	7	10
1	16	10
2	26	10
3	36	10
4	40	10
5	43	10
6	52	10
7	77	10
8	144	10
9	304	10
10	521	10
11	1035	10
12	3233	10
done	5000	10
0	7	10
1	15	10
2	30	10
3	58	10
4	118	10
5	265	10
6	767	10
7	2698	10
done	5001	10
0	10	29
1	22	29
2	68	13
3	283	13
4	1198	11
5	4880	11
done	5000	11
0	8	21
1	14	21
2	23	21
3	33	21
4	36	21
5	39	21
6	45	21
7	67	21
8	125	21
9	277	21
10	493	21
11	1004	21
12	3196	21
done	5000	21
0	7	10
1	13	10
2	22	10
3	32	10
4	36	10
5	39	10
6	45	10
7	67	10
8	125	10
9	279	10
10	497	10
11	1003	10
12	3179	10
done	5000	10
0	8	29
1	24	29
2	80	11
3	312	11
4	1105	11
5	3560	11
done	5000	11
0	7	10
1	13	10
2	22	10
3	32	10
4	36	10
5	39	10
6	45	10
7	67	10
8	125	10
9	279	10
10	497	10
11	1003	10
12	3179	10
done	5000	10
0	7	10
1	13	10
2	22	10
3	32	10
4	36	10
5	39	10
6	45	10
7	67	10
8	125	10
9	279	10
10	497	10
11	1003	10
12	3179	10
done	5000	10
0	8	11
1	14	11
2	17	11
done	17	11
0	8	11
1	14	11
2	17	11
done	17	11
0	5	7
1	11	7
2	19	7
3	23	7
done	23	7
0	3	4
1	6	4
done	6	4
0	5	7
1	11	7
2	19	7
3	23	7
done	23	7
0	3	4
1	6	4
done	6	4
0	5	7
1	9	7
2	17	7
3	22	7
done	22	7
0	3	4
1	6	4
done	6	4
0	5	7
1	9	7
2	17	7
3	22	7
done	22	7
0	3	4
1	6	4
done	6	4
0	8	19
1	16	19
2	21	19
done	21	19
0	7	10
1	13	10
2	16	10
done	16	10
0	3	3
1	6	1
done	6	1
0	7	10
1	13	10
2	22	10
3	41	10
4	62	10
5	68	10
6	71	10
done	71	10
0	7	10
1	13	10
2	22	10
3	41	10
4	62	10
5	68	10
6	71	10
done	71	10
0	6	9
1	12	9
2	21	9
3	31	9
4	38	9
5	41	9
6	47	9
7	69	9
8	127	9
9	277	9
10	493	9
11	984	9
12	3181	9
done	5001	9
0	9	13
1	30	13
2	104	13
3	404	13
4	1200	11
5	4970	11
done	5000	11
0	8	17
1	23	17
2	72	15
3	175	13
4	361	11
5	779	11
6	1526	11
7	3656	11
done	5000	11
0	6	7
1	10	6
2	18	6
3	31	6
4	69	6
5	180	6
6	554	6
7	2198	6
done	5000	6
0	5	6
1	8	6
2	9	6
done	9	6
0	5	6
1	11	6
2	17	6
3	27	6
4	55	6
5	135	6
6	421	6
7	1163	6
8	3680	6
done	5001	6
0	6	13
1	9	13
2	10	13
done	10	13
0	5	6
1	8	6
2	9	6
done	9	6
0	6	17
1	10	17
2	25	7
3	80	7
4	254	7
5	776	7
6	2773	7
done	5001	7
0	5	6
1	8	6
2	9	6
done	9	6
0	5	6
1	8	6
2	9	6
done	9	6
0	7	9
1	25	9
2	77	9
3	202	9
4	475	9
5	1548	9
done	5000	9
0	8	17
1	21	15
2	47	13
3	78	11
4	117	11
5	178	11
6	189	11
7	240	11
8	305	11
9	311	11
done	311	11
0	2	2
done	2	2
0	6	11
1	18	11
2	41	9
3	67	9
4	126	9
5	276	9
6	490	9
7	997	9
8	3163	9
done	5000	9
0	4	5
1	6	5
2	9	5
3	13	5
4	19	5
done	19	5
0	2	2
done	2	2
0	4	5
1	6	5
2	9	5
3	13	5
4	19	5
done	19	5
0	4	5
1	6	5
2	9	5
3	13	5
4	19	5
done	19	5
0	4	5
1	6	5
2	9	5
3	13	5
4	19	5
done	19	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	12	4
2	34	4
3	39	4
4	45	4
5	55	4
6	77	4
7	141	4
8	352	4
9	1283	4
done	5001	4
0	7	11
1	18	11
2	68	11
3	94	9
4	111	9
5	148	9
6	248	9
7	516	9
8	1141	9
9	3466	9
done	5000	9
0	7	11
1	18	11
2	68	11
3	94	9
4	111	9
5	148	9
6	248	9
7	516	9
8	1141	9
9	3466	9
done	5000	9
0	4	5
1	7	5
2	8	5
done	8	5
0	4	5
1	7	5
2	8	5
done	8	5
0	4	5
1	7	5
2	8	5
done	8	5

prune97.0ms

Filtered

71 candidates to 92 candidates (-29.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	91	1	92
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	92	2	94

Merged error: 0b

Counts

94 → 2

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(* x (/ (- (* x (* y y)) x) (- (* x y) x)))
0.0b	(- (* x y) x)
8.3b	(/ (- (* x (* y y)) x) (- (* x y) x))
8.4b	(* x (* y y))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt`
21×	`add-cube-cbrt` `*-un-lft-identity`
19×	`times-frac`
16×	`add-exp-log` `associate-r` `add-cbrt-cube`
11×	`pow1`
6×	`associate-l` `add-log-exp`
5×	`prod-exp` `cbrt-unprod`
4×	`flip3--` `pow-prod-down` `associate-/r/` `flip--`
3×	`associate-/r` `associate-/l` `unswap-sqr`
2×	`cbrt-undiv` `div-exp` `*-commutative` `div-inv` `associate-/l/`
1×	`sub-neg` `frac-2neg` `diff-log` `div-sub` `associate-*r/` `clear-num`

Counts

4 → 97

Calls

4 calls:

15.0ms	(* x (/ (- (* x (* y y)) x) (- (* x y) x)))
4.0ms	(- (* x y) x)
13.0ms	(/ (- (* x (* y y)) x) (- (* x y) x))
7.0ms	(* x (* y y))

series57.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(* x (/ (- (* x (* y y)) x) (- (* x y) x)))
5.0ms	(- (* x y) x)
22.0ms	(/ (- (* x (* y y)) x) (- (* x y) x))
7.0ms	(* x (* y y))

simplify3.0min

Counts

109 → 109

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	11	7
2	14	7
done	14	7
0	6	7
1	9	7
2	15	7
3	16	7
done	16	7
0	5	6
1	11	6
2	18	6
3	25	6
4	26	6
done	26	6
0	5	6
1	10	6
2	20	6
3	38	6
4	80	6
5	182	6
6	446	6
7	1298	6
8	4672	6
done	5000	6
0	8	17
1	21	17
2	73	11
3	200	7
4	416	7
5	1162	7
6	3922	7
done	5000	7
0	8	17
1	22	17
2	69	9
3	196	7
4	441	7
5	1243	7
6	4192	7
done	5000	7
0	6	13
1	9	13
2	11	13
done	11	13
0	5	6
1	8	6
2	10	6
done	10	6
0	6	17
1	19	17
2	70	7
3	224	7
4	365	7
5	531	7
6	1425	7
7	4784	7
done	5000	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	5
1	7	5
2	9	5
done	9	5
0	10	15
1	18	15
2	22	15
done	22	15
0	9	14
1	21	14
2	34	14
3	59	14
4	103	14
5	149	14
6	228	14
7	537	14
8	3419	14
done	5001	14
0	9	14
1	18	14
2	32	14
3	58	14
4	109	14
5	177	14
6	326	14
7	954	14
8	4788	14
done	5000	14
0	12	41
1	27	41
2	89	17
3	312	15
4	1139	15
5	4858	15
done	5000	15
0	10	29
1	19	29
2	30	29
3	54	29
4	98	29
5	144	29
6	223	29
7	791	29
done	5000	29
0	9	14
1	18	14
2	29	14
3	53	14
4	97	14
5	143	14
6	223	14
7	527	14
8	3422	14
done	5000	14
0	10	41
1	26	41
2	65	15
3	247	15
4	1037	15
5	4710	15
done	5000	15
0	9	14
1	18	14
2	29	14
3	53	14
4	97	14
5	143	14
6	223	14
7	527	14
8	3422	14
done	5000	14
0	9	14
1	18	14
2	29	14
3	53	14
4	97	14
5	143	14
6	223	14
7	527	14
8	3422	14
done	5000	14
0	6	8
1	11	8
2	17	8
3	30	8
4	43	7
5	46	7
6	50	7
7	57	7
8	58	7
done	58	7
0	5	6
1	8	6
2	12	6
3	19	6
4	20	5
5	23	5
6	27	5
7	34	5
8	35	5
done	35	5
0	7	11
1	14	11
2	26	11
3	58	11
4	104	9
5	140	7
6	229	7
7	716	7
done	5000	7
0	5	7
1	8	7
2	9	7
done	9	7
0	12	31
1	24	31
2	36	31
3	42	31
done	42	31
0	10	15
1	16	15
2	19	15
done	19	15
0	11	24
1	19	24
2	24	24
3	25	24
done	25	24
0	10	15
1	16	15
2	19	15
done	19	15
0	9	19
1	18	17
2	27	17
3	32	17
done	32	17
0	9	14
1	15	14
2	18	14
done	18	14
0	11	22
1	19	22
2	22	22
done	22	22
0	10	15
1	16	15
2	19	15
done	19	15
0	10	15
1	16	15
2	19	15
done	19	15
0	10	15
1	16	15
2	19	15
done	19	15
0	8	10
1	15	8
2	20	8
done	20	8
0	9	14
1	15	14
2	18	14
done	18	14
0	8	15
1	15	15
2	16	15
done	16	15
0	9	14
1	18	14
2	29	14
3	44	14
4	57	14
5	62	14
6	64	14
done	64	14
0	7	8
1	12	8
2	13	8
done	13	8
0	9	14
1	18	14
2	29	14
3	44	14
4	57	14
5	62	14
6	64	14
done	64	14
0	2	3
1	4	1
done	4	1
0	8	13
1	17	13
2	28	13
3	52	13
4	96	13
5	142	13
6	221	13
7	786	13
done	5000	13
0	6	7
1	11	7
2	12	7
done	12	7
0	8	13
1	17	13
2	26	13
3	37	13
4	59	13
5	86	13
6	220	13
7	1644	13
done	5000	13
0	10	21
1	21	21
2	43	21
3	89	21
4	151	21
5	169	21
6	171	21
done	171	21
0	9	14
1	18	14
2	29	14
3	44	14
4	57	14
5	62	14
6	64	14
done	64	14
0	7	9
1	17	7
2	30	7
3	48	7
4	81	7
5	98	7
done	98	7
0	9	14
1	18	14
2	27	14
3	32	14
4	34	14
done	34	14
0	9	14
1	18	14
2	27	14
3	32	14
4	34	14
done	34	14
0	8	13
1	17	13
2	26	13
3	37	13
4	59	13
5	86	13
6	220	13
7	1644	13
done	5000	13
0	11	17
1	36	17
2	94	17
3	269	17
4	980	17
done	5000	17
0	10	19
1	28	19
2	68	17
3	204	17
4	740	15
5	1851	3
done	5000	3
0	12	29
1	36	27
2	128	25
3	508	21
4	1490	19
5	3833	19
done	5000	19
0	8	13
1	21	13
2	55	13
3	157	13
4	313	13
5	566	13
6	986	13
7	2139	13
done	5001	13
0	6	7
1	10	6
2	18	6
3	31	6
4	69	6
5	180	6
6	554	6
7	2198	6
done	5000	6
0	5	6
1	8	6
2	9	6
done	9	6
0	5	6
1	11	6
2	17	6
3	27	6
4	55	6
5	135	6
6	421	6
7	1163	6
8	3680	6
done	5001	6
0	6	13
1	9	13
2	10	13
done	10	13
0	5	6
1	8	6
2	9	6
done	9	6
0	6	17
1	10	17
2	25	7
3	80	7
4	254	7
5	776	7
6	2773	7
done	5001	7
0	5	6
1	8	6
2	9	6
done	9	6
0	5	6
1	8	6
2	9	6
done	9	6
0	7	9
1	25	9
2	77	9
3	202	9
4	475	9
5	1548	9
done	5000	9
0	8	17
1	21	15
2	47	13
3	78	11
4	117	11
5	178	11
6	189	11
7	240	11
8	305	11
9	311	11
done	311	11
0	2	2
done	2	2
0	6	11
1	18	11
2	41	9
3	67	9
4	126	9
5	276	9
6	490	9
7	997	9
8	3163	9
done	5000	9
0	4	5
1	6	5
2	9	5
3	13	5
4	19	5
done	19	5
0	2	2
done	2	2
0	9	15
1	21	15
2	41	15
3	86	15
4	170	13
5	277	11
6	421	11
7	1087	7
done	5001	7
0	12	18
1	23	18
2	33	18
3	42	18
4	48	18
5	58	18
6	65	18
7	77	18
8	100	18
9	114	18
10	120	18
done	120	18
0	11	17
1	24	17
2	41	17
3	74	17
4	128	17
5	183	17
6	267	17
7	575	17
8	3507	17
done	5000	17
0	10	16
1	25	16
2	51	16
3	106	16
4	209	14
5	330	12
6	489	12
7	1174	8
done	5000	8
0	10	16
1	24	16
2	50	16
3	113	16
4	267	14
5	630	12
6	1593	12
done	5000	12
0	15	47
1	36	47
2	144	21
3	684	19
4	3297	19
done	5000	19
0	13	47
1	35	47
2	107	19
3	454	19
4	2436	17
done	5001	15
0	11	33
1	23	33
2	43	33
3	88	33
4	172	29
5	279	25
6	422	25
7	1088	17
done	5000	17
0	10	16
1	22	16
2	42	16
3	87	16
4	168	14
5	275	12
6	420	12
7	859	8
done	5000	6
0	11	47
1	33	47
2	104	17
3	427	17
4	2207	15
done	5001	15
0	10	16
1	22	16
2	42	16
3	87	16
4	168	14
5	275	12
6	420	12
7	859	8
done	5000	6
0	10	16
1	22	16
2	42	16
3	87	16
4	168	14
5	275	12
6	420	12
7	859	8
done	5000	6
0	11	17
1	21	17
2	32	17
3	56	17
4	100	17
5	146	17
6	225	17
7	783	17
done	5000	17
0	11	17
1	21	17
2	32	17
3	56	17
4	100	17
5	146	17
6	225	17
7	783	17
done	5000	17
0	12	18
1	21	18
2	27	18
3	31	18
4	32	18
done	32	18
0	12	18
1	21	18
2	27	18
3	31	18
4	32	18
done	32	18
0	11	31
1	23	31
2	36	31
3	60	31
4	104	31
5	150	31
6	229	31
7	543	31
8	3467	31
done	5000	31
0	10	16
1	20	16
2	31	16
3	55	16
4	99	16
5	145	16
6	224	16
7	525	16
8	3419	16
done	5001	16
0	13	33
1	28	33
2	60	33
3	99	33
4	155	33
5	169	33
done	169	33
0	12	26
1	23	26
2	36	26
3	51	26
4	64	26
5	66	26
done	66	26
0	10	21
1	22	19
2	42	19
3	81	19
4	119	19
done	119	19
0	12	24
1	23	24
2	37	24
3	51	24
4	63	24
done	63	24
0	11	17
1	20	17
2	26	17
3	30	17
4	31	17
done	31	17
0	9	12
1	19	10
2	29	10
3	38	10
4	44	10
done	44	10
0	9	17
1	19	17
2	30	15
3	38	15
4	58	15
5	91	15
6	96	15
done	96	15
0	8	10
1	16	10
2	20	8
3	21	8
4	26	8
5	27	8
done	27	8
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	6	9
1	12	9
2	21	9
3	31	9
4	38	9
5	41	9
6	47	9
7	69	9
8	127	9
9	277	9
10	493	9
11	984	9
12	3181	9
done	5001	9
0	12	19
1	40	19
2	105	19
3	293	19
4	1148	19
done	5000	19
0	11	21
1	32	21
2	80	19
3	297	19
4	1301	1
5	4112	1
done	5001	1
0	10	16
1	22	16
2	42	16
3	98	16
4	195	16
5	360	16
6	573	16
7	1428	13
done	5001	13
0	10	16
1	22	16
2	42	16
3	98	16
4	195	16
5	360	16
6	573	16
7	1428	13
done	5001	13
0	9	15
1	21	15
2	41	15
3	86	15
4	170	13
5	277	11
6	421	11
7	1087	7
done	5001	7
0	6	9
1	12	9
2	21	9
3	31	9
4	38	9
5	41	9
6	47	9
7	69	9
8	127	9
9	277	9
10	493	9
11	984	9
12	3181	9
done	5001	9
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	3	3
1	6	3
done	6	3
0	3	3
1	6	3
done	6	3
0	3	3
1	6	3
done	6	3
0	4	5
1	7	5
2	8	5
done	8	5
0	4	5
1	7	5
2	8	5
done	8	5
0	4	5
1	7	5
2	8	5
done	8	5
0	4	5
1	6	5
2	9	5
3	13	5
4	19	5
done	19	5
0	4	5
1	6	5
2	9	5
3	13	5
4	19	5
done	19	5
0	4	5
1	6	5
2	9	5
3	13	5
4	19	5
done	19	5

prune115.0ms

Filtered

88 candidates to 109 candidates (-23.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	109	0	109
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	109	2	111

Merged error: 0b

Counts

111 → 2

regimes102.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	5	7
1	8	7
done	8	7

end0.0ms

sample503.0ms

Algorithm

intervals

Results

220.0ms	9124×	body	80	valid
0.0ms	3×	body	1280	valid

Details

sample19.0ms

simplify24.0ms

prune2.0ms

localize5.0ms

rewrite5.0ms

series5.0ms

simplify19.2s

prune17.0ms

localize11.0ms

rewrite36.0ms

series55.0ms

simplify3.2min

prune97.0ms

localize11.0ms

rewrite42.0ms

series57.0ms

simplify3.0min

prune115.0ms

regimes102.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample503.0ms

Profiling