Details

sample30.0ms

Algorithm

intervals

Results

9.0ms

326×

body

valid

simplify31.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	5	5
1	7	5
2	15	5
done	15	5

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: 0.0b

Counts

2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b	(* (+ x y) z)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 21

Calls

1 calls:

9.0ms

(* (+ x y) z)

series17.0ms

Counts

1 → 3

Calls

1 calls:

17.0ms

(* (+ x y) z)

simplify18.2s

Counts

24 → 24

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	7	5
2	15	5
done	15	5
0	7	7
1	9	7
done	9	7
0	6	6
1	11	6
2	20	6
done	20	6
0	6	6
1	10	6
2	28	6
3	40	6
4	67	6
5	133	6
6	333	6
7	949	6
8	3387	6
done	5000	6
0	9	17
1	29	17
2	90	9
3	256	9
4	979	7
5	3629	7
done	5000	7
0	7	13
1	9	13
2	17	13
done	17	13
0	6	6
1	8	6
2	16	6
done	16	6
0	7	17
1	19	17
2	80	7
3	291	7
4	726	7
5	1840	7
6	4312	7
done	5000	7
0	6	6
1	8	6
2	16	6
done	16	6
0	6	6
1	8	6
2	16	6
done	16	6
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	9
1	11	9
2	21	9
3	33	9
4	35	9
done	35	9
0	6	6
1	8	6
2	16	6
done	16	6
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	5	5
1	7	5
2	15	5
done	15	5
0	5	5
1	7	5
2	15	5
done	15	5
0	8	9
1	23	9
2	40	9
3	81	9
4	157	9
5	382	9
6	1272	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	395	9
7	764	9
8	3363	9
done	5000	9
0	1	1
done	1	1
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

prune44.0ms

Filtered

17 candidates to 24 candidates (-41.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	21	3	24
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	21	4	25

Merged error: 0b

Counts

25 → 4

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ x y) z)
0.2b	(* (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z)))
3.0b	(sqrt (* (+ x y) z))
3.0b	(sqrt (* (+ x y) z))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 104

Calls

4 calls:

7.0ms	(* (+ x y) z)
15.0ms	(* (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z)))
5.0ms	(sqrt (* (+ x y) z))
5.0ms	(sqrt (* (+ x y) z))

series77.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* (+ x y) z)
7.0ms	(* (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z)))
29.0ms	(sqrt (* (+ x y) z))
34.0ms	(sqrt (* (+ x y) z))

simplify1.7min

Counts

116 → 116

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	9	7
2	17	7
done	17	7
0	7	7
1	9	7
2	17	7
done	17	7
0	8	15
1	10	15
2	18	15
done	18	15
0	7	7
1	9	7
2	17	7
done	17	7
0	8	20
1	11	12
2	30	8
3	59	8
4	69	8
5	79	8
6	100	8
7	161	8
8	375	8
9	1299	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	2	2
done	2	2
0	9	10
1	24	10
2	41	10
3	82	10
4	156	10
5	379	10
6	1240	10
done	5000	10
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	8	10
1	14	10
2	31	10
3	77	10
4	164	10
5	250	10
6	408	10
7	781	10
8	3480	10
done	5000	10
0	4	4
1	6	4
2	7	4
done	7	4
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	7	7
1	9	7
2	17	7
done	17	7
0	7	7
1	9	7
2	17	7
done	17	7
0	7	7
1	9	7
2	17	7
done	17	7
0	7	7
1	9	7
2	17	7
done	17	7
0	8	15
1	10	15
2	18	15
done	18	15
0	7	7
1	9	7
2	17	7
done	17	7
0	8	20
1	11	12
2	30	8
3	59	8
4	69	8
5	79	8
6	100	8
7	161	8
8	375	8
9	1299	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	2	2
done	2	2
0	9	10
1	24	10
2	41	10
3	82	10
4	156	10
5	379	10
6	1240	10
done	5000	10
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	8	10
1	14	10
2	31	10
3	77	10
4	164	10
5	250	10
6	408	10
7	781	10
8	3480	10
done	5000	10
0	4	4
1	6	4
2	7	4
done	7	4
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	7	7
1	9	7
2	17	7
done	17	7
0	7	7
1	9	7
2	17	7
done	17	7
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	6	11
1	15	11
2	50	11
3	136	11
4	235	11
5	341	11
6	465	11
7	572	11
8	625	11
9	629	11
done	629	11
0	7	13
1	9	5
2	18	5
done	18	5
0	6	11
1	15	11
2	50	11
3	136	11
4	235	11
5	341	11
6	465	11
7	572	11
8	625	11
9	629	11
done	629	11
0	6	11
1	15	11
2	50	11
3	136	11
4	235	11
5	341	11
6	465	11
7	572	11
8	625	11
9	629	11
done	629	11
0	6	11
1	15	11
2	50	11
3	136	11
4	235	11
5	341	11
6	465	11
7	572	11
8	625	11
9	629	11
done	629	11
0	6	11
1	15	11
2	50	11
3	136	11
4	235	11
5	341	11
6	465	11
7	572	11
8	625	11
9	629	11
done	629	11
0	2	3
1	6	1
done	6	1
0	8	15
1	12	9
2	21	9
done	21	9
0	8	14
1	12	6
2	27	6
3	28	6
done	28	6
0	8	14
1	12	6
2	29	6
3	48	6
4	80	6
5	164	6
6	405	6
7	1110	6
8	4152	6
done	5001	6
0	9	41
1	18	17
2	68	17
3	314	7
4	956	7
5	2107	7
6	4852	7
done	5000	7
0	9	29
1	11	13
2	20	13
done	20	13
0	8	14
1	10	6
2	19	6
done	19	6
0	9	41
1	19	17
2	65	7
3	301	7
4	971	7
5	2194	7
done	5000	7
0	6	11
1	15	11
2	50	11
3	136	11
4	235	11
5	341	11
6	465	11
7	572	11
8	625	11
9	629	11
done	629	11
0	8	14
1	11	6
2	19	6
done	19	6
0	8	14
1	11	6
2	19	6
done	19	6
0	10	21
1	25	9
2	43	9
3	84	9
4	162	9
5	391	9
6	1267	9
done	5001	9
0	9	25
1	17	9
2	33	9
3	46	9
4	66	9
5	87	9
6	104	9
7	127	9
8	170	9
9	235	9
10	240	9
11	246	9
done	246	9
0	15	21
1	35	21
2	69	21
3	148	21
4	302	21
5	629	21
6	1668	21
done	5001	21
0	11	17
1	22	15
2	37	15
3	49	15
4	66	15
5	86	15
6	103	15
7	126	15
8	169	15
9	231	15
10	232	15
done	232	15
0	15	21
1	35	21
2	69	21
3	148	21
4	304	21
5	620	21
6	1688	21
done	5000	21
0	11	17
1	22	15
2	37	15
3	49	15
4	66	15
5	86	15
6	103	15
7	126	15
8	169	15
9	231	15
10	232	15
done	232	15
0	9	21
1	15	9
2	33	9
3	79	9
4	162	9
5	248	9
6	404	9
7	773	9
8	3451	9
done	5000	9
0	5	9
1	7	3
2	9	3
done	9	3
0	9	31
1	15	31
2	25	17
3	34	9
4	49	9
5	77	9
6	148	9
7	364	9
8	1264	9
done	5001	9
0	8	15
1	10	15
2	18	15
done	18	15
0	5	9
1	6	3
2	7	3
done	7	3
0	3	5
done	3	1
0	8	15
1	10	6
2	19	6
done	19	6
0	8	15
1	10	6
2	19	6
done	19	6
0	2	3
1	4	1
done	4	1
0	7	13
1	9	5
2	18	5
done	18	5
0	8	15
1	10	6
2	19	6
done	19	6
0	8	15
1	10	6
2	19	6
done	19	6
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	9	22
1	14	22
2	24	22
done	24	22
0	8	11
1	11	11
2	19	11
done	19	11
0	8	14
1	11	14
2	19	14
done	19	14
0	8	8
1	13	6
2	24	6
done	24	6
0	8	14
1	11	14
2	19	14
done	19	14
0	8	9
1	11	9
2	19	9
done	19	9
0	8	14
1	11	14
2	19	14
done	19	14
0	7	13
1	9	5
2	18	5
done	18	5
0	13	17
1	31	17
2	56	17
3	93	17
4	175	17
5	415	17
6	1338	17
done	5000	17
0	12	17
1	20	17
2	43	17
3	80	17
4	163	17
5	249	17
6	419	17
7	788	17
8	3436	17
done	5000	17
0	13	17
1	31	17
2	56	17
3	93	17
4	178	17
5	419	17
6	1341	17
done	5000	17
0	12	17
1	20	17
2	43	17
3	80	17
4	165	17
5	251	17
6	409	17
7	782	17
8	3439	17
done	5000	17
0	5	5
1	7	5
2	15	5
done	15	5
0	7	7
1	9	7
done	9	7
0	6	6
1	11	6
2	20	6
done	20	6
0	6	6
1	10	6
2	28	6
3	40	6
4	67	6
5	133	6
6	333	6
7	949	6
8	3387	6
done	5000	6
0	9	17
1	29	17
2	90	9
3	256	9
4	979	7
5	3629	7
done	5000	7
0	7	13
1	9	13
2	17	13
done	17	13
0	6	6
1	8	6
2	16	6
done	16	6
0	7	17
1	19	17
2	80	7
3	291	7
4	726	7
5	1840	7
6	4312	7
done	5000	7
0	6	6
1	8	6
2	16	6
done	16	6
0	6	6
1	8	6
2	16	6
done	16	6
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	9
1	11	9
2	21	9
3	33	9
4	35	9
done	35	9
0	6	6
1	8	6
2	16	6
done	16	6
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	5	5
1	7	5
2	15	5
done	15	5
0	5	5
1	7	5
2	15	5
done	15	5
0	8	9
1	23	9
2	40	9
3	81	9
4	157	9
5	382	9
6	1272	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	395	9
7	764	9
8	3363	9
done	5000	9
0	21	27
1	58	27
2	196	27
3	721	23
4	3575	21
done	5001	21
0	9	11
1	16	11
2	31	11
3	55	11
4	86	9
5	100	9
6	112	9
7	120	9
8	136	9
9	228	9
10	374	9
11	430	9
12	450	9
13	451	9
done	451	9
0	10	12
1	20	12
2	46	12
3	97	12
4	200	10
5	297	10
6	353	10
7	385	10
8	432	9
9	644	9
10	1084	9
11	1338	9
12	1443	9
13	1459	9
done	1459	9
0	21	27
1	58	27
2	196	27
3	721	23
4	3575	21
done	5001	21
0	9	11
1	16	11
2	31	11
3	55	11
4	86	9
5	100	9
6	112	9
7	120	9
8	136	9
9	228	9
10	374	9
11	430	9
12	450	9
13	451	9
done	451	9
0	10	12
1	20	12
2	46	12
3	97	12
4	200	10
5	297	10
6	353	10
7	385	10
8	432	9
9	644	9
10	1084	9
11	1338	9
12	1443	9
13	1459	9
done	1459	9
0	1	1
done	1	1
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	1	1
done	1	1
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

prune107.0ms

Filtered

75 candidates to 116 candidates (-54.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	116	0	116
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	116	4	120

Merged error: 0b

Counts

120 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

0.1b	(* (+ x y) (sqrt z))
0.2b	(* (* (+ x y) (sqrt z)) (sqrt z))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

12×	`associate-r`
11×	`add-sqr-sqrt`
9×	`pow1` `add-exp-log` `*-un-lft-identity` `add-cbrt-cube`
7×	`add-cube-cbrt` `sqrt-prod`
6×	`associate-*l/`
5×	`associate-l`
4×	`pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`flip3-+` `*-commutative` `flip-+` `add-log-exp` `unswap-sqr`
1×	`distribute-lft-out`

Counts

2 → 48

Calls

2 calls:

8.0ms	(* (+ x y) (sqrt z))
11.0ms	(* (* (+ x y) (sqrt z)) (sqrt z))

series26.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(* (+ x y) (sqrt z))
14.0ms	(* (* (+ x y) (sqrt z)) (sqrt z))

simplify51.4s

Counts

54 → 54

Iterations

Useful iterations: done (1.0ms)

Iter	Nodes	Cost
0	7	9
1	12	9
2	21	5
3	37	5
done	37	5
0	7	9
1	12	9
2	21	5
3	37	5
done	37	5
0	9	12
1	14	12
2	17	10
3	18	10
done	18	10
0	9	11
1	14	11
2	25	11
3	28	10
4	29	10
done	29	10
0	8	10
1	16	10
2	31	6
3	51	6
4	53	6
5	54	6
done	54	6
0	8	10
1	15	10
2	34	6
3	76	6
4	126	6
5	251	6
6	602	6
7	1741	6
done	5000	6
0	11	29
1	36	21
2	126	11
3	400	9
4	1638	9
done	5002	9
0	11	29
1	28	21
2	121	13
3	478	13
4	1525	7
5	4569	7
done	5000	7
0	9	21
1	14	21
2	23	13
3	39	13
done	39	13
0	8	10
1	13	10
2	22	6
3	38	6
done	38	6
0	9	29
1	23	29
2	86	7
3	343	7
4	1198	7
5	2878	7
done	5000	7
0	8	10
1	13	10
2	22	6
3	38	6
done	38	6
0	8	10
1	13	10
2	22	6
3	38	6
done	38	6
0	9	14
1	16	14
2	37	14
3	79	14
4	113	14
done	113	14
0	10	13
1	16	10
2	30	10
3	56	10
4	60	10
done	60	10
0	8	10
1	13	10
2	27	10
3	51	10
4	55	10
done	55	10
0	9	9
1	16	8
2	30	8
3	54	6
4	73	6
done	73	6
0	8	10
1	13	10
2	27	10
3	51	10
4	55	10
done	55	10
0	8	8
1	15	6
2	35	6
3	57	6
4	83	6
done	83	6
0	3	5
done	3	1
0	10	13
1	28	13
2	46	9
3	103	9
4	250	9
5	635	9
6	2110	9
done	5000	9
0	9	13
1	18	13
2	38	9
3	109	9
4	285	9
5	485	9
6	788	9
7	1318	9
8	4366	9
done	5001	9
0	6	6
1	8	6
2	16	6
done	16	6
0	8	8
1	10	8
done	10	8
0	7	7
1	12	7
2	21	7
done	21	7
0	7	7
1	11	7
2	29	7
3	41	7
4	68	7
5	136	7
6	336	7
7	954	7
8	3781	7
done	5000	7
0	10	20
1	30	16
2	89	10
3	251	10
4	892	10
5	2944	10
done	5000	10
0	8	15
1	10	15
2	18	15
done	18	15
0	7	7
1	9	7
2	17	7
done	17	7
0	8	20
1	20	20
2	81	8
3	294	8
4	729	8
5	1845	8
6	4341	8
done	5000	8
0	7	7
1	9	7
2	17	7
done	17	7
0	7	7
1	9	7
2	17	7
done	17	7
0	8	8
1	10	8
done	10	8
0	8	8
1	10	8
done	10	8
0	8	8
1	10	8
done	10	8
0	8	8
1	10	8
done	10	8
0	8	11
1	12	11
2	22	11
3	34	11
done	34	11
0	8	10
1	11	7
2	19	7
done	19	7
0	7	7
1	9	7
2	17	7
done	17	7
0	6	6
1	10	5
2	18	5
done	18	3
0	7	7
1	9	7
2	17	7
done	17	7
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	6	6
1	8	6
2	16	6
done	16	6
0	6	6
1	8	6
2	16	6
done	16	6
0	9	10
1	24	10
2	41	10
3	82	10
4	156	10
5	379	10
6	1261	10
done	5001	10
0	8	10
1	14	10
2	31	10
3	77	10
4	164	10
5	250	10
6	408	10
7	781	10
8	3438	10
done	5001	10
0	1	1
done	1	1
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	15	21
1	36	21
2	112	17
3	292	17
4	1199	17
done	5000	17
0	1	1
done	1	1
0	12	15
1	29	15
2	63	13
3	123	13
4	273	13
5	677	13
6	2145	13
done	5000	13
0	12	15
1	30	15
2	71	13
3	175	13
4	490	13
5	1433	13
6	4912	13
done	5000	13

prune53.0ms

Filtered

40 candidates to 54 candidates (-35.0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	54	0	54
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	54	4	58

Merged error: 0b

Counts

58 → 4

localize21.0ms

Local error

Found 4 expressions with local error:

1.3b	(+ (pow x 3) (pow y 3))
2.0b	(- (* y y) (* x y))
6.7b	(* (+ (pow x 3) (pow y 3)) z)
33.3b	(/ (* (+ (pow x 3) (pow y 3)) z) (+ (* x x) (- (* y y) (* x y))))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

28×	`*-un-lft-identity`
11×	`add-exp-log` `add-cbrt-cube`
10×	`add-sqr-sqrt` `distribute-lft-out`
9×	`associate-l`
8×	`add-cube-cbrt` `unpow-prod-down` `cube-prod` `add-log-exp`
6×	`pow1`
4×	`flip3-+` `associate-*l/` `flip-+`
3×	`times-frac` `associate-r` `associate-/r*`
2×	`cbrt-undiv` `div-exp` `prod-exp` `associate-/r/` `sum-cubes` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `sub-neg` `flip3--` `distribute-rgt-out--` `frac-2neg` `diff-log` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip--` `div-inv` `associate-/l` `unswap-sqr`

Counts

4 → 81

Calls

4 calls:

12.0ms	(+ (pow x 3) (pow y 3))
4.0ms	(- (* y y) (* x y))
15.0ms	(* (+ (pow x 3) (pow y 3)) z)
22.0ms	(/ (* (+ (pow x 3) (pow y 3)) z) (+ (* x x) (- (* y y) (* x y))))

series57.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(+ (pow x 3) (pow y 3))
6.0ms	(- (* y y) (* x y))
19.0ms	(* (+ (pow x 3) (pow y 3)) z)
23.0ms	(/ (* (+ (pow x 3) (pow y 3)) z) (+ (* x x) (- (* y y) (* x y))))

simplify3.6min

Counts

93 → 93

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	24
1	42	22
2	73	22
3	109	22
4	176	22
5	319	22
6	750	22
7	2635	22
done	5000	22
0	16	23
1	42	21
2	80	21
3	143	21
4	254	21
5	524	21
6	1509	21
done	5000	21
0	15	22
1	41	20
2	88	20
3	176	20
4	332	20
5	705	20
6	2282	20
done	5001	20
0	15	22
1	38	20
2	77	20
3	151	20
4	302	20
5	698	20
6	2408	20
done	5000	20
0	20	65
1	79	59
2	346	25
3	1688	25
done	5000	25
0	18	65
1	69	59
2	285	23
3	1541	21
done	5001	21
0	16	45
1	39	41
2	78	41
3	150	41
4	294	41
5	674	41
6	2263	41
done	5000	41
0	15	22
1	38	20
2	77	20
3	149	20
4	293	20
5	672	20
6	2264	20
done	5000	20
0	16	65
1	46	59
2	121	21
3	456	21
4	2442	21
done	5001	21
0	15	22
1	38	20
2	77	20
3	149	20
4	293	20
5	672	20
6	2264	20
done	5000	20
0	15	22
1	38	20
2	77	20
3	149	20
4	293	20
5	672	20
6	2264	20
done	5000	20
0	9	10
1	28	10
2	51	10
3	132	10
4	335	10
5	946	10
6	3210	10
done	5000	10
0	8	12
1	19	10
2	44	10
3	87	10
4	144	9
5	172	9
6	188	9
7	207	9
done	207	9
0	14	33
1	36	29
2	60	29
3	90	29
4	151	29
5	282	29
6	715	29
7	2580	29
done	5000	29
0	10	14
1	18	12
2	33	12
3	46	12
4	66	12
5	87	12
6	104	12
7	127	12
8	170	12
9	232	12
10	233	12
done	233	12
0	13	20
1	33	18
2	57	18
3	87	18
4	148	18
5	286	18
6	731	18
7	2592	18
done	5001	18
0	10	14
1	18	12
2	33	12
3	46	12
4	66	12
5	87	12
6	104	12
7	127	12
8	170	12
9	232	12
10	233	12
done	233	12
0	8	9
1	24	7
2	35	7
3	52	7
4	95	7
5	210	7
6	619	7
7	2442	7
done	5001	7
0	9	13
1	17	11
2	32	11
3	45	11
4	65	11
5	86	11
6	103	11
7	126	11
8	169	11
9	231	11
10	232	11
done	232	11
0	9	13
1	19	11
2	34	11
3	47	11
4	67	11
5	88	11
6	105	11
7	128	11
8	171	11
9	233	11
10	234	11
done	234	11
0	14	21
1	37	19
2	77	19
3	167	19
4	354	19
5	757	19
6	1952	19
done	5000	19
0	16	35
1	44	31
2	90	31
3	157	31
4	273	31
5	637	31
6	2645	31
done	5000	31
0	15	22
1	38	20
2	74	20
3	131	20
4	242	20
5	562	20
6	2105	20
done	5000	20
0	10	11
1	29	9
2	54	9
3	104	9
4	197	9
5	420	9
6	1345	9
done	5000	9
0	9	13
1	17	11
2	35	11
3	57	11
4	92	11
5	143	11
6	208	11
7	268	11
8	352	11
9	513	11
10	573	11
11	594	11
done	594	11
0	16	25
1	48	23
2	127	21
3	375	21
4	1209	21
5	4406	21
done	5000	21
0	16	33
1	43	27
2	118	25
3	374	25
4	1286	25
5	4747	25
done	5000	25
0	16	35
1	54	25
2	204	25
3	935	25
done	5001	25
0	12	19
1	34	17
2	84	17
3	260	17
4	1277	17
done	5000	17
0	8	9
1	23	9
2	40	9
3	81	9
4	157	9
5	382	9
6	1272	9
done	5000	9
0	10	11
1	25	11
2	34	11
3	51	11
4	94	11
5	207	11
6	610	11
7	2428	11
done	5000	11
0	9	10
1	27	10
2	45	10
3	86	10
4	167	10
5	408	10
6	1282	10
done	5000	10
0	9	10
1	26	10
2	52	10
3	117	10
4	274	10
5	777	10
6	3182	10
done	5000	10
0	12	29
1	45	29
2	166	13
3	713	13
4	4007	11
done	5000	11
0	10	21
1	25	21
2	42	21
3	83	21
4	162	21
5	397	21
6	1264	21
done	5000	21
0	9	10
1	24	10
2	41	10
3	82	10
4	156	10
5	379	10
6	1240	10
done	5000	10
0	10	29
1	35	29
2	104	11
3	431	11
4	2105	11
done	5000	11
0	9	10
1	24	10
2	41	10
3	82	10
4	156	10
5	379	10
6	1240	10
done	5000	10
0	9	10
1	24	10
2	41	10
3	82	10
4	156	10
5	379	10
6	1240	10
done	5000	10
0	10	11
1	25	11
2	34	11
3	51	11
4	94	11
5	207	11
6	610	11
7	2428	11
done	5000	11
0	10	11
1	25	11
2	34	11
3	51	11
4	94	11
5	207	11
6	610	11
7	2428	11
done	5000	11
0	10	13
1	27	13
2	46	13
3	107	13
4	250	13
5	651	13
6	2133	13
done	5001	13
0	9	10
1	24	10
2	41	10
3	82	10
4	156	10
5	379	10
6	1261	10
done	5001	10
0	8	9
1	25	7
2	45	7
3	94	7
4	204	7
5	430	7
6	1131	7
7	3794	7
done	5000	7
0	9	10
1	24	10
2	33	10
3	50	10
4	91	10
5	210	10
6	618	10
7	2462	10
done	5000	10
0	9	10
1	24	10
2	33	10
3	50	10
4	91	10
5	210	10
6	618	10
7	2462	10
done	5000	10
0	5	5
1	7	5
2	15	5
done	15	5
0	8	9
1	23	9
2	40	9
3	81	9
4	157	9
5	382	9
6	1272	9
done	5000	9
0	8	9
1	23	9
2	40	9
3	81	9
4	157	9
5	382	9
6	1272	9
done	5000	9
0	8	9
1	23	9
2	40	9
3	81	9
4	157	9
5	382	9
6	1272	9
done	5000	9
0	8	9
1	23	9
2	40	9
3	81	9
4	157	9
5	382	9
6	1272	9
done	5000	9
0	8	9
1	23	9
2	40	9
3	81	9
4	157	9
5	382	9
6	1272	9
done	5000	9
0	8	9
1	23	9
2	40	9
3	81	9
4	157	9
5	382	9
6	1272	9
done	5000	9
0	10	13
1	35	13
2	130	13
3	486	13
4	2159	13
done	5000	13
0	10	17
1	33	9
2	97	9
3	301	9
4	1257	9
done	5000	9
0	7	9
1	14	8
2	25	6
3	54	6
4	135	6
5	486	6
6	3026	6
done	5000	6
0	6	8
1	11	6
2	23	6
3	25	6
done	25	6
0	6	8
1	14	6
2	31	6
3	55	6
4	115	6
5	351	6
6	1553	6
done	5000	6
0	7	17
1	12	13
2	21	13
3	22	13
done	22	13
0	6	8
1	11	6
2	20	6
3	21	6
done	21	6
0	7	23
1	13	17
2	46	7
3	195	7
4	749	7
5	2466	7
done	5000	7
0	6	8
1	11	6
2	20	6
3	21	6
done	21	6
0	6	8
1	11	6
2	20	6
3	21	6
done	21	6
0	8	11
1	28	11
2	98	9
3	330	9
4	860	9
5	2433	9
done	5000	9
0	9	23
1	30	19
2	77	15
3	138	13
4	182	13
5	229	13
6	390	13
7	908	13
8	2954	13
done	5000	13
0	4	4
1	9	4
2	11	4
done	11	4
0	7	15
1	23	15
2	65	11
3	154	11
4	270	11
5	457	11
6	910	11
7	2421	11
done	5001	11
0	5	7
1	9	5
2	11	5
done	11	5
0	3	3
1	5	3
2	6	3
done	6	3
0	4	4
1	9	4
2	11	4
done	11	4
0	8	9
1	24	8
2	46	8
3	87	8
4	246	8
5	795	8
6	3366	8
done	5001	8
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	7	8
1	24	8
2	46	8
3	87	8
4	246	8
5	797	8
6	3372	8
done	5000	8
0	8	17
1	22	17
2	31	17
3	48	17
4	91	17
5	212	17
6	620	17
7	2445	17
done	5001	17
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	23
1	35	23
2	127	9
3	516	9
4	2338	9
done	5000	9
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	7	11
1	15	9
2	30	9
3	43	9
4	63	9
5	84	9
6	101	9
7	124	9
8	167	9
9	229	9
10	230	9
done	230	9
0	3	3
1	4	3
done	4	3
0	8	11
1	32	11
2	119	11
3	384	11
4	1334	11
done	5000	11
0	10	23
1	35	15
2	131	15
3	465	15
4	1780	15
done	5000	15
0	8	15
1	30	7
2	84	7
3	227	7
4	791	7
5	3535	7
done	5001	7
0	6	7
1	21	7
2	43	7
3	77	7
4	165	7
5	505	7
6	2257	7
done	5000	7
0	6	7
1	20	7
2	29	7
3	46	7
4	87	7
5	205	7
6	614	7
7	2424	7
done	5001	7
0	6	7
1	20	7
2	29	7
3	46	7
4	87	7
5	205	7
6	614	7
7	2424	7
done	5001	7
0	6	7
1	20	7
2	29	7
3	46	7
4	87	7
5	205	7
6	614	7
7	2424	7
done	5001	7
0	6	7
1	20	7
2	29	7
3	46	7
4	87	7
5	205	7
6	614	7
7	2424	7
done	5001	7
0	6	7
1	20	7
2	29	7
3	46	7
4	87	7
5	205	7
6	614	7
7	2424	7
done	5001	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
0	1	1
done	1	1
0	9	11
1	25	11
2	62	9
3	107	9
4	197	9
5	480	9
6	1512	9
done	5000	9
0	9	11
1	25	11
2	62	9
3	107	9
4	197	9
5	480	9
6	1512	9
done	5000	9
0	6	7
1	14	7
2	31	5
3	38	5
4	45	5
5	55	5
6	77	5
7	136	5
8	341	5
9	1274	5
done	5000	5
0	6	7
1	14	7
2	31	5
3	38	5
4	45	5
5	55	5
6	77	5
7	136	5
8	341	5
9	1274	5
done	5000	5
0	6	7
1	14	7
2	31	5
3	38	5
4	45	5
5	55	5
6	77	5
7	136	5
8	341	5
9	1274	5
done	5000	5
0	6	7
1	20	7
2	29	7
3	46	7
4	87	7
5	205	7
6	614	7
7	2424	7
done	5001	7
0	6	7
1	20	7
2	29	7
3	46	7
4	87	7
5	205	7
6	614	7
7	2424	7
done	5001	7
0	6	7
1	20	7
2	29	7
3	46	7
4	87	7
5	205	7
6	614	7
7	2424	7
done	5001	7

prune148.0ms

Filtered

66 candidates to 93 candidates (-40.9%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	93	4	97

Merged error: 0b

Counts

97 → 4

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

end0.0ms

sample645.0ms

Algorithm

intervals

Results

231.0ms

10176×

body

valid

Details

sample30.0ms

simplify31.0ms

prune4.0ms

localize7.0ms

rewrite11.0ms

series17.0ms

simplify18.2s

prune44.0ms

localize7.0ms

rewrite37.0ms

series77.0ms

simplify1.7min

prune107.0ms

localize7.0ms

rewrite21.0ms

series26.0ms

simplify51.4s

prune53.0ms

localize21.0ms

rewrite56.0ms

series57.0ms

simplify3.6min

prune148.0ms

regimes256.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample645.0ms

Profiling