Details

sample30.0ms

Algorithm

intervals

Results

10.0ms

322×

body

valid

simplify854.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	17	7
3	26	7
4	35	7
5	41	7
6	50	7
7	68	7
8	98	7
9	125	7
10	154	7
11	168	7
12	186	7
13	199	7
14	215	7
15	250	7
16	315	7
17	415	7
18	509	7
19	613	7
20	682	7
21	686	7
done	686	7

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 2 expressions with local error:

0.0b	(+ x (* y (- z x)))
0.0b	(* y (- z x))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 41

Calls

2 calls:

4.0ms	(+ x (* y (- z x)))
10.0ms	(* y (- z x))

series26.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(+ x (* y (- z x)))
18.0ms	(* y (- z x))

simplify6.8min

Counts

47 → 47

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	24	6
3	49	6
4	90	6
5	192	6
6	441	6
7	1402	6
done	5001	6
0	9	17
1	18	17
2	62	9
3	243	9
4	855	7
5	2965	7
done	5001	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	266	7
4	818	7
5	2511	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	7	11
1	12	11
2	15	11
done	15	11
0	6	6
1	9	6
2	10	6
done	10	6
0	3	3
1	6	1
done	6	1
0	7	7
1	15	7
2	16	7
done	16	7
0	3	3
1	6	1
done	6	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	309	9
5	988	9
6	4466	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	8	9
1	16	8
2	30	8
3	62	8
4	130	8
5	285	8
6	698	8
7	2495	8
done	5000	8
0	7	8
1	11	8
2	18	8
3	27	8
4	36	8
5	42	8
6	51	8
7	69	8
8	99	8
9	126	8
10	155	8
11	169	8
12	187	8
13	200	8
14	216	8
15	251	8
16	316	8
17	414	8
18	506	8
19	610	8
20	681	8
21	691	8
22	699	8
23	716	8
24	738	8
25	820	8
26	1127	8
27	2077	8
done	5000	8
0	7	8
1	14	8
2	26	8
3	50	8
4	97	8
5	197	8
6	473	8
7	1705	8
done	5000	8
0	8	17
1	12	17
2	19	17
3	28	17
4	37	17
5	43	17
6	52	17
7	70	17
8	100	17
9	127	17
10	156	17
11	170	17
12	188	17
13	201	17
14	217	17
15	252	17
16	317	17
17	423	17
18	515	17
19	621	17
20	690	17
21	694	17
done	694	17
0	7	8
1	11	8
2	18	8
3	27	8
4	36	8
5	42	8
6	51	8
7	69	8
8	99	8
9	126	8
10	155	8
11	169	8
12	187	8
13	200	8
14	216	8
15	251	8
16	316	8
17	414	8
18	506	8
19	610	8
20	679	8
21	683	8
done	683	8
0	8	23
1	25	23
2	80	9
3	310	9
4	1397	9
done	5000	9
0	7	8
1	11	8
2	18	8
3	27	8
4	36	8
5	42	8
6	51	8
7	69	8
8	99	8
9	126	8
10	155	8
11	169	8
12	187	8
13	200	8
14	216	8
15	251	8
16	316	8
17	414	8
18	506	8
19	610	8
20	679	8
21	683	8
done	683	8
0	7	8
1	11	8
2	18	8
3	27	8
4	36	8
5	42	8
6	51	8
7	69	8
8	99	8
9	126	8
10	155	8
11	169	8
12	187	8
13	200	8
14	216	8
15	251	8
16	316	8
17	414	8
18	506	8
19	610	8
20	679	8
21	683	8
done	683	8
0	9	11
1	29	11
2	74	11
3	231	11
4	747	11
5	2275	11
done	5000	11
0	10	23
1	30	17
2	96	17
3	280	17
4	770	17
5	2160	17
done	5001	17
0	8	15
1	23	15
2	72	15
3	246	15
4	760	15
5	1855	15
done	5000	15
0	6	7
1	11	7
2	25	7
3	47	7
4	78	7
5	88	7
6	105	7
7	123	7
8	163	7
9	224	7
10	261	7
11	328	7
12	427	7
13	520	7
14	628	7
15	701	7
16	705	7
done	705	7
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	7	9
1	14	9
2	29	7
3	40	7
4	50	7
5	68	7
6	98	7
7	125	7
8	154	7
9	168	7
10	186	7
11	199	7
12	215	7
13	250	7
14	315	7
15	413	7
16	507	7
17	613	7
18	682	7
19	686	7
done	686	7
0	7	9
1	14	9
2	29	7
3	40	7
4	50	7
5	68	7
6	98	7
7	125	7
8	154	7
9	168	7
10	186	7
11	199	7
12	215	7
13	250	7
14	315	7
15	413	7
16	507	7
17	613	7
18	682	7
19	686	7
done	686	7
0	7	9
1	14	9
2	29	7
3	40	7
4	50	7
5	68	7
6	98	7
7	125	7
8	154	7
9	168	7
10	186	7
11	199	7
12	215	7
13	250	7
14	315	7
15	413	7
16	507	7
17	613	7
18	682	7
19	686	7
done	686	7

prune55.0ms

Filtered

31 candidates to 47 candidates (-51.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	45	2	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	45	3	48

Merged error: 0b

Counts

48 → 3

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ x (+ (* y z) (* y (neg x))))
0.0b	(+ (* y z) (* y (neg x)))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 30

Calls

2 calls:

6.0ms	(+ x (+ (* y z) (* y (neg x))))
4.0ms	(+ (* y z) (* y (neg x)))

series17.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(+ x (+ (* y z) (* y (neg x))))
9.0ms	(+ (* y z) (* y (neg x)))

simplify2.6min

Counts

36 → 36

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	19	9
2	40	7
3	87	6
4	237	6
5	980	6
done	5000	6
0	8	9
1	15	7
2	25	6
3	27	6
done	27	6
0	8	9
1	18	7
2	37	6
3	68	6
4	155	6
5	589	6
6	2547	6
done	5000	6
0	9	19
1	16	15
2	23	13
3	24	13
done	24	13
0	8	9
1	15	7
2	22	6
3	23	6
done	23	6
0	9	26
1	29	20
2	121	7
3	571	7
4	2168	7
done	5000	7
0	8	9
1	15	7
2	22	6
3	23	6
done	23	6
0	8	9
1	15	7
2	22	6
3	23	6
done	23	6
0	10	12
1	33	12
2	115	12
3	394	11
4	1037	11
5	2869	11
done	5000	11
0	11	26
1	39	21
2	139	19
3	375	17
4	782	15
5	1310	13
6	1603	13
7	1685	13
done	1685	13
0	9	17
1	31	17
2	101	11
3	242	11
4	421	11
5	724	11
6	1314	11
7	2877	11
done	5000	11
0	7	8
1	15	6
2	26	6
3	41	5
4	46	5
done	46	5
0	4	4
1	6	3
done	6	3
0	11	13
1	24	12
2	57	9
3	139	8
4	409	8
5	1948	8
done	5000	8
0	10	12
1	23	9
2	51	8
3	103	8
4	251	8
5	1053	8
done	5000	8
0	9	11
1	19	9
2	33	8
3	40	8
4	49	8
5	67	8
6	97	8
7	124	8
8	153	8
9	167	8
10	185	8
11	198	8
12	214	8
13	249	8
14	314	8
15	414	8
16	504	8
17	610	8
18	683	8
19	693	8
20	701	8
21	718	8
22	741	8
23	825	8
24	1238	8
25	3337	8
done	5000	8
0	9	11
1	22	9
2	45	8
3	84	8
4	150	8
5	373	8
6	1517	8
done	5001	8
0	10	23
1	20	19
2	34	17
3	41	17
4	50	17
5	68	17
6	98	17
7	125	17
8	154	17
9	168	17
10	186	17
11	199	17
12	215	17
13	250	17
14	315	17
15	415	17
16	509	17
17	617	17
18	688	17
19	692	17
done	692	17
0	9	11
1	19	9
2	33	8
3	40	8
4	49	8
5	67	8
6	97	8
7	124	8
8	153	8
9	167	8
10	185	8
11	198	8
12	214	8
13	249	8
14	314	8
15	414	8
16	504	8
17	610	8
18	681	8
19	685	8
done	685	8
0	10	32
1	33	26
2	123	9
3	622	9
4	3749	9
done	5001	9
0	9	11
1	19	9
2	33	8
3	40	8
4	49	8
5	67	8
6	97	8
7	124	8
8	153	8
9	167	8
10	185	8
11	198	8
12	214	8
13	249	8
14	314	8
15	414	8
16	504	8
17	610	8
18	681	8
19	685	8
done	685	8
0	9	11
1	19	9
2	33	8
3	40	8
4	49	8
5	67	8
6	97	8
7	124	8
8	153	8
9	167	8
10	185	8
11	198	8
12	214	8
13	249	8
14	314	8
15	414	8
16	504	8
17	610	8
18	681	8
19	685	8
done	685	8
0	11	14
1	32	12
2	78	11
3	268	11
4	1022	11
5	3342	11
done	5001	11
0	12	32
1	39	19
2	142	17
3	478	17
4	1665	17
done	5000	17
0	10	21
1	28	17
2	100	15
3	377	15
4	1307	15
5	3602	15
done	5000	15
0	8	10
1	19	8
2	38	7
3	70	7
4	101	7
5	115	7
6	146	7
7	199	7
8	222	7
9	258	7
10	325	7
11	422	7
12	513	7
13	619	7
14	690	7
15	694	7
done	694	7
0	8	10
1	18	8
2	32	7
3	39	7
4	48	7
5	66	7
6	96	7
7	123	7
8	152	7
9	166	7
10	184	7
11	197	7
12	213	7
13	248	7
14	313	7
15	413	7
16	505	7
17	609	7
18	678	7
19	682	7
done	682	7
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	7	9
1	14	9
2	29	7
3	40	7
4	50	7
5	68	7
6	98	7
7	125	7
8	154	7
9	168	7
10	186	7
11	199	7
12	215	7
13	250	7
14	315	7
15	413	7
16	507	7
17	613	7
18	682	7
19	686	7
done	686	7
0	7	9
1	14	9
2	29	7
3	40	7
4	50	7
5	68	7
6	98	7
7	125	7
8	154	7
9	168	7
10	186	7
11	199	7
12	215	7
13	250	7
14	315	7
15	413	7
16	507	7
17	613	7
18	682	7
19	686	7
done	686	7
0	7	9
1	14	9
2	29	7
3	40	7
4	50	7
5	68	7
6	98	7
7	125	7
8	154	7
9	168	7
10	186	7
11	199	7
12	215	7
13	250	7
14	315	7
15	413	7
16	507	7
17	613	7
18	682	7
19	686	7
done	686	7

prune42.0ms

Filtered

25 candidates to 36 candidates (-44.0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	36	0	36
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	36	3	39

Merged error: 0b

Counts

39 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt`
16×	`-un-lft-identity` `sqrt-div` `associate-r*` `sqrt-prod`
12×	`pow1`
11×	`add-exp-log` `add-cbrt-cube`
10×	`add-cube-cbrt` `associate-*r/`
8×	`flip3--` `flip--`
6×	`add-log-exp`
4×	`frac-times` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
3×	`distribute-lft-out--` `difference-of-squares`
2×	`associate-l/` `-commutative` `unswap-sqr`
1×	`+-commutative` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `sum-log` `flip-+`

Counts

4 → 85

Calls

4 calls:

4.0ms	(sqrt (- z x))
3.0ms	(+ x (* (* y (sqrt (- z x))) (sqrt (- z x))))
8.0ms	(* y (sqrt (- z x)))
15.0ms	(* (* y (sqrt (- z x))) (sqrt (- z x)))

series46.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(sqrt (- z x))
8.0ms	(+ x (* (* y (sqrt (- z x))) (sqrt (- z x))))
19.0ms	(* y (sqrt (- z x)))
9.0ms	(* (* y (sqrt (- z x))) (sqrt (- z x)))

simplify5.8min

Counts

97 → 97

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	11
1	13	11
2	15	5
3	24	5
4	28	5
5	32	5
done	32	5
0	7	11
1	13	11
2	15	5
3	24	5
4	28	5
5	32	5
done	32	5
0	9	14
1	15	14
2	19	10
3	20	10
done	20	10
0	9	13
1	15	13
2	19	13
3	22	10
4	23	10
done	23	10
0	8	12
1	17	12
2	25	6
3	38	6
4	44	6
5	49	6
done	49	6
0	8	12
1	16	12
2	28	6
3	55	6
4	116	6
5	244	6
6	576	6
7	1517	6
done	5000	6
0	11	35
1	25	23
2	102	15
3	432	9
4	1600	9
done	5000	9
0	11	35
1	29	23
2	114	15
3	464	15
4	1597	7
5	4746	7
done	5000	7
0	9	25
1	15	25
2	17	13
3	26	13
4	30	13
5	34	13
done	34	13
0	8	12
1	14	12
2	16	6
3	25	6
4	29	6
5	33	6
done	33	6
0	9	35
1	24	35
2	80	7
3	271	7
4	867	7
5	2399	7
done	5000	7
0	8	12
1	14	12
2	16	6
3	25	6
4	29	6
5	33	6
done	33	6
0	8	12
1	14	12
2	16	6
3	25	6
4	29	6
5	33	6
done	33	6
0	10	19
1	29	19
2	52	9
3	99	9
4	257	9
5	906	9
6	4198	9
done	5000	9
0	9	25
1	16	9
2	25	9
3	26	9
4	27	9
done	27	9
0	14	19
1	36	19
2	69	19
3	114	19
4	223	19
5	595	19
6	2426	19
done	5000	19
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	14	19
1	36	19
2	69	19
3	114	19
4	229	19
5	604	19
6	2439	19
done	5000	19
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	9	19
1	18	19
2	26	9
3	58	9
4	141	9
5	256	9
6	405	9
7	686	9
8	2298	9
done	5000	9
0	5	9
1	6	3
2	7	3
done	7	3
0	9	18
1	17	18
2	31	18
3	41	18
done	41	18
0	10	17
1	17	12
2	24	12
3	26	12
done	26	12
0	8	12
1	14	12
2	21	12
done	21	12
0	9	9
1	17	8
2	24	8
done	24	6
0	11	13
1	18	13
2	25	13
done	25	13
0	9	9
1	17	8
2	24	8
done	24	6
0	8	12
1	14	12
2	21	12
done	21	12
0	8	8
1	16	6
2	29	6
3	35	6
done	35	6
0	5	9
1	7	3
2	9	3
done	9	3
0	12	15
1	33	15
2	61	15
3	95	15
4	184	15
5	516	15
6	2321	15
done	5001	15
0	11	15
1	21	15
2	39	15
3	64	15
4	92	15
5	153	15
6	304	15
7	1445	15
done	5001	15
0	12	15
1	33	15
2	61	15
3	95	15
4	185	15
5	516	15
6	2305	15
done	5001	15
0	11	15
1	21	15
2	39	15
3	64	15
4	92	15
5	144	15
6	291	15
7	1431	15
done	5001	15
0	6	6
1	9	6
2	10	6
done	10	6
0	8	8
1	11	8
2	12	8
done	12	8
0	7	7
1	13	7
2	15	7
done	15	7
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	253	7
7	719	7
8	2745	7
done	5001	7
0	10	20
1	19	14
2	58	10
3	172	10
4	347	8
5	661	8
6	1484	8
7	4488	8
done	5001	8
0	8	15
1	11	15
2	12	15
done	12	15
0	7	7
1	10	7
2	11	7
done	11	7
0	8	20
1	21	20
2	51	8
3	119	8
4	241	8
5	383	8
6	704	8
7	1510	8
8	4519	8
done	5000	8
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	11	8
2	12	8
done	12	8
0	8	13
1	13	13
2	16	13
done	16	13
0	8	12
1	12	7
2	13	7
done	13	7
0	7	7
1	10	7
2	11	7
done	11	7
0	4	4
1	7	3
done	7	3
0	8	8
1	10	8
done	10	8
0	4	4
1	7	3
done	7	3
0	7	7
1	10	7
2	11	7
done	11	7
0	3	3
1	6	1
done	6	1
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	9	6
2	10	6
done	10	6
0	9	10
1	25	10
2	47	10
3	81	10
4	165	10
5	498	10
6	2240	10
done	5001	10
0	8	10
1	14	10
2	21	10
3	36	10
4	61	10
5	102	10
6	164	10
7	332	10
8	1616	10
done	5000	10
0	10	15
1	21	14
2	34	8
3	65	8
4	151	8
5	341	8
6	831	8
7	2327	8
done	5000	8
0	9	14
1	16	14
2	18	8
3	27	8
4	39	8
5	47	8
6	54	8
7	67	8
8	94	8
9	134	8
10	164	8
11	178	8
12	191	8
13	220	8
14	238	8
15	274	8
16	336	8
17	401	8
18	501	8
19	603	8
20	769	8
21	882	8
22	892	8
23	900	8
24	917	8
25	942	8
26	1024	8
27	1375	8
28	2415	8
done	5000	8
0	9	14
1	19	14
2	28	8
3	51	8
4	115	8
5	257	8
6	584	8
7	1526	8
done	5001	8
0	10	29
1	17	29
2	19	17
3	28	17
4	40	17
5	46	17
6	53	17
7	66	17
8	93	17
9	133	17
10	163	17
11	177	17
12	190	17
13	219	17
14	237	17
15	272	17
16	334	17
17	399	17
18	501	17
19	605	17
20	773	17
21	882	17
22	886	17
done	886	17
0	9	14
1	16	14
2	18	8
3	27	8
4	39	8
5	47	8
6	54	8
7	67	8
8	94	8
9	134	8
10	164	8
11	178	8
12	191	8
13	220	8
14	238	8
15	274	8
16	336	8
17	401	8
18	501	8
19	603	8
20	769	8
21	880	8
22	884	8
done	884	8
0	10	41
1	30	41
2	88	9
3	350	9
4	1389	9
done	5000	9
0	9	14
1	16	14
2	18	8
3	27	8
4	39	8
5	47	8
6	54	8
7	67	8
8	94	8
9	134	8
10	164	8
11	178	8
12	191	8
13	220	8
14	238	8
15	274	8
16	336	8
17	401	8
18	501	8
19	603	8
20	769	8
21	880	8
22	884	8
done	884	8
0	9	14
1	16	14
2	18	8
3	27	8
4	39	8
5	47	8
6	54	8
7	67	8
8	94	8
9	134	8
10	164	8
11	178	8
12	191	8
13	220	8
14	238	8
15	274	8
16	336	8
17	401	8
18	501	8
19	603	8
20	769	8
21	880	8
22	884	8
done	884	8
0	11	17
1	34	17
2	89	11
3	308	11
4	1053	11
5	4197	11
done	5001	11
0	12	41
1	34	29
2	104	17
3	288	17
4	707	17
5	1686	17
6	4824	17
done	5000	17
0	10	27
1	27	27
2	77	15
3	273	15
4	890	15
5	2189	14
done	5001	14
0	8	13
1	16	13
2	29	7
3	63	7
4	97	7
5	121	7
6	137	7
7	151	7
8	182	7
9	245	7
10	286	7
11	323	7
12	390	7
13	489	7
14	590	7
15	756	7
16	867	7
17	871	7
done	871	7
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	8
2	19	6
3	29	6
4	39	6
5	49	6
6	70	6
7	128	6
8	341	6
9	1259	6
done	5000	6
0	6	10
1	9	5
2	10	5
done	10	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	20	25
1	55	25
2	168	25
3	515	23
4	1432	19
5	3493	19
done	5000	19
0	17	25
1	48	25
2	157	25
3	522	23
4	2307	19
done	5001	19
0	17	25
1	48	25
2	157	25
3	522	23
4	2307	19
done	5001	19
0	7	9
1	14	9
2	29	7
3	40	7
4	50	7
5	68	7
6	98	7
7	125	7
8	154	7
9	168	7
10	186	7
11	199	7
12	215	7
13	250	7
14	315	7
15	413	7
16	507	7
17	613	7
18	682	7
19	686	7
done	686	7
0	7	9
1	14	9
2	29	7
3	40	7
4	50	7
5	68	7
6	98	7
7	125	7
8	154	7
9	168	7
10	186	7
11	199	7
12	215	7
13	250	7
14	315	7
15	413	7
16	507	7
17	613	7
18	682	7
19	686	7
done	686	7
0	7	9
1	14	9
2	29	7
3	40	7
4	50	7
5	68	7
6	98	7
7	125	7
8	154	7
9	168	7
10	186	7
11	199	7
12	215	7
13	250	7
14	315	7
15	413	7
16	507	7
17	613	7
18	682	7
19	686	7
done	686	7
0	16	19
1	42	19
2	123	19
3	282	17
4	612	17
5	1405	15
6	4424	15
done	5000	15
0	14	19
1	39	19
2	125	19
3	366	19
4	1292	15
5	4080	15
done	5001	15
0	14	19
1	39	19
2	125	19
3	366	19
4	1292	15
5	4080	15
done	5001	15

prune95.0ms

Filtered

71 candidates to 97 candidates (-36.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	97	3	100

Merged error: 0b

Counts

100 → 3

regimes178.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	14	10
2	17	10
3	18	10
done	18	10

end0.0ms

sample686.0ms

Algorithm

intervals

Results

263.0ms

10146×

body

valid

Details

sample30.0ms

simplify854.0ms

prune4.0ms

localize7.0ms

rewrite17.0ms

series26.0ms

simplify6.8min

prune55.0ms

localize8.0ms

rewrite12.0ms

series17.0ms

simplify2.6min

prune42.0ms

localize8.0ms

rewrite33.0ms

series46.0ms

simplify5.8min

prune95.0ms

regimes178.0ms

bsearch0.0ms

simplify4.0ms

end0.0ms

sample686.0ms

Profiling