Details

sample24.0ms

Algorithm

intervals

Results

8.0ms

326×

body

valid

simplify879.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.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

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

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
6×	`*-un-lft-identity`
5×	`associate-l`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube` `add-log-exp`
3×	`associate-r`
2×	`associate-*l/`
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 → 33

Calls

2 calls:

3.0ms	(+ x (* (- y x) z))
7.0ms	(* (- y x) z)

series16.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify6.9min

Counts

39 → 39

Iterations

Useful iterations: 0 (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	29	6
3	48	6
4	91	6
5	174	6
6	425	6
7	1317	6
done	5000	6
0	9	17
1	18	17
2	56	9
3	180	9
4	619	7
5	2374	7
done	5000	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	285	7
4	864	7
5	2739	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	7	9
1	12	9
2	21	9
3	38	9
4	50	9
5	58	9
done	58	9
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
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	17	7
3	22	7
4	26	7
done	26	7
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	308	9
5	980	9
6	4487	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	8	9
1	16	8
2	34	8
3	61	8
4	131	8
5	270	8
6	680	8
7	2443	8
done	5001	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	504	8
19	608	8
20	679	8
21	689	8
22	697	8
23	714	8
24	739	8
25	825	8
26	1106	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	517	17
19	623	17
20	692	17
21	696	17
done	696	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	504	8
19	608	8
20	677	8
21	681	8
done	681	8
0	8	23
1	25	23
2	80	9
3	310	9
4	1395	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	504	8
19	608	8
20	677	8
21	681	8
done	681	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	504	8
19	608	8
20	677	8
21	681	8
done	681	8
0	9	11
1	29	11
2	74	11
3	231	11
4	746	11
5	2302	11
done	5000	11
0	10	23
1	30	17
2	94	17
3	254	17
4	690	17
5	2062	17
done	5000	17
0	8	15
1	23	15
2	72	15
3	241	15
4	714	15
5	1858	15
done	5000	15
0	6	7
1	11	7
2	25	7
3	47	7
4	78	7
5	89	7
6	106	7
7	124	7
8	164	7
9	225	7
10	262	7
11	329	7
12	430	7
13	521	7
14	625	7
15	696	7
16	700	7
done	700	7
0	1	1
done	1	1
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	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	415	7
16	509	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	415	7
16	509	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	415	7
16	509	7
17	613	7
18	682	7
19	686	7
done	686	7

prune48.0ms

Filtered

28 candidates to 39 candidates (-39.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Merged error: 0.0b

Counts

40 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (- y x)) (cbrt (- y x)))
0.5b	(cbrt (- y x))
0.5b	(cbrt (- y x))
0.5b	(cbrt (- y x))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

43×	`cbrt-prod`
37×	`add-sqr-sqrt`
35×	`*-un-lft-identity`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
10×	`swap-sqr`
9×	`flip3--` `pow1/3` `flip--` `distribute-lft-out--`
8×	`associate-r` `associate-l`
7×	`difference-of-squares`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 101

Calls

4 calls:

12.0ms	(* (cbrt (- y x)) (cbrt (- y x)))
3.0ms	(cbrt (- y x))
3.0ms	(cbrt (- y x))
4.0ms	(cbrt (- y x))

series130.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(* (cbrt (- y x)) (cbrt (- y x)))
35.0ms	(cbrt (- y x))
30.0ms	(cbrt (- y x))
30.0ms	(cbrt (- y x))

simplify1.6min

Counts

113 → 113

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	10
1	8	10
2	9	10
done	9	10
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	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	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
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	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
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	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	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
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	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
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	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	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
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	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	5	9
1	7	9
2	8	9
done	8	9
0	2	3
1	6	1
done	6	1
0	6	11
1	10	7
2	12	7
done	12	7
0	6	10
1	10	10
2	13	7
3	14	7
done	14	7
0	6	10
1	10	10
2	15	10
3	20	10
4	38	10
5	80	10
6	186	10
7	566	10
8	2256	10
done	5000	10
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	7	21
1	9	21
2	10	21
done	10	21
0	6	10
1	8	10
2	9	10
done	9	10
0	7	29
1	17	29
2	27	11
3	41	6
4	99	6
5	228	6
6	577	6
7	1955	6
done	5000	6
0	6	10
1	9	5
2	10	5
done	10	5
0	6	10
1	9	5
2	10	5
done	10	5
0	8	17
1	23	17
2	45	17
3	79	17
4	166	17
5	494	17
6	2249	17
done	5000	17
0	9	25
1	16	21
2	24	21
3	25	21
4	26	21
done	26	21
0	12	17
1	31	17
2	58	17
3	103	17
4	218	17
5	592	17
6	2407	17
done	5000	17
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	12	17
1	31	17
2	58	17
3	103	17
4	217	17
5	592	17
6	2426	17
done	5000	17
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	7	17
1	12	17
2	19	17
3	34	17
4	59	17
5	100	17
6	156	17
7	324	17
8	1653	17
done	5000	17
0	5	9
1	6	9
done	6	9
0	7	21
1	9	21
2	10	21
done	10	21
0	6	11
1	8	11
2	9	11
done	9	11
0	6	11
1	8	11
2	9	11
done	9	11
0	6	11
1	8	11
2	9	11
done	9	11
0	3	5
1	5	3
done	5	1
0	5	9
1	7	9
2	8	9
done	8	9
0	3	5
1	5	3
done	5	1
0	5	9
1	7	9
2	8	9
done	8	9
0	7	13
1	8	13
done	8	13
0	7	13
1	9	13
2	10	13
done	10	13
0	3	5
1	5	3
done	5	1
0	5	9
1	7	9
2	8	9
done	8	9
0	3	5
1	5	3
done	5	1
0	5	9
1	7	9
2	8	9
done	8	9
0	7	23
1	13	23
2	16	13
3	25	7
4	40	7
5	66	7
6	137	7
7	354	7
8	1244	7
done	5000	7
0	6	11
1	8	11
2	9	11
done	9	11
0	6	11
1	8	4
2	10	4
done	10	4
0	6	11
1	8	4
2	10	4
done	10	4
0	2	3
1	4	1
done	4	1
0	5	9
1	7	9
2	8	9
done	8	9
0	6	11
1	8	11
2	9	11
done	9	11
0	6	11
1	8	11
2	9	11
done	9	11
0	8	11
1	11	11
2	12	11
done	12	11
0	8	11
1	11	11
2	12	11
done	12	11
0	8	11
1	11	11
2	12	11
done	12	11
0	8	11
1	11	11
2	12	11
done	12	11
0	6	11
1	8	4
2	10	4
done	10	4
0	6	11
1	8	4
2	10	4
done	10	4
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	7	15
1	10	15
2	11	15
done	11	15
0	7	10
1	10	10
2	11	10
done	11	10
0	7	7
1	12	6
2	13	6
done	13	4
0	9	11
1	13	11
2	14	11
done	14	11
0	7	7
1	12	6
2	13	6
done	13	4
0	7	16
1	12	16
2	15	16
done	15	16
0	6	10
1	9	10
2	10	10
done	10	10
0	6	6
1	11	4
2	15	4
done	15	4
0	6	10
1	9	10
2	10	10
done	10	10
0	7	10
1	10	10
2	11	10
done	11	10
0	5	9
1	7	9
2	8	9
done	8	9
0	9	11
1	14	11
2	16	11
done	16	11
0	5	9
1	7	9
2	8	9
done	8	9
0	6	10
1	9	10
2	10	10
done	10	10
0	6	10
1	9	10
2	10	10
done	10	10
0	5	9
1	7	9
2	8	9
done	8	9
0	10	13
1	28	13
2	50	13
3	84	13
4	171	13
5	506	13
6	2262	13
done	5001	13
0	9	13
1	16	13
2	28	13
3	53	13
4	81	13
5	129	13
6	278	13
7	1442	13
done	5001	13
0	10	13
1	28	13
2	50	13
3	84	13
4	174	13
5	507	13
6	2255	13
done	5000	13
0	9	13
1	16	13
2	28	13
3	53	13
4	81	13
5	134	13
6	283	13
7	1483	13
done	5001	13
0	30	41
1	69	40
2	150	40
3	385	37
4	1244	26
done	5000	23
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2
0	30	41
1	69	40
2	150	40
3	385	37
4	1244	26
done	5000	23
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2
0	30	41
1	69	40
2	150	40
3	385	37
4	1244	26
done	5000	23
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2
0	28	40
1	67	37
2	147	30
3	426	22
4	1335	20
done	5000	19
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	12	12
1	23	11
2	44	9
3	127	6
4	325	5
5	879	5
6	2879	3
done	5000	3

prune115.0ms

Filtered

80 candidates to 113 candidates (-41.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	113	0	113
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	113	4	117

Merged error: 0.0b

Counts

117 → 4

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

61×	`pow1`
32×	`sqrt-pow1`
23×	`pow-prod-down`
20×	`associate-*l/`
16×	`add-sqr-sqrt` `sqrt-div`
12×	`*-un-lft-identity` `pow1/2`
10×	`add-cube-cbrt` `pow-prod-up`
9×	`flip3--` `associate-l` `flip--`
8×	`add-exp-log` `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--` `difference-of-squares`

Counts

4 → 105

Calls

4 calls:

7.0ms	(* (- y x) z)
16.0ms	(* (sqrt (* (- y x) z)) (sqrt (* (- y x) z)))
6.0ms	(sqrt (* (- y x) z))
6.0ms	(sqrt (* (- y x) z))

series149.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* (- y x) z)
23.0ms	(* (sqrt (* (- y x) z)) (sqrt (* (- y x) z)))
56.0ms	(sqrt (* (- y x) z))
62.0ms	(sqrt (* (- y x) z))

simplify2.5min

Counts

117 → 117

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	15
1	11	15
2	18	15
3	23	15
4	27	15
done	27	15
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	20
1	12	12
2	30	8
3	62	8
4	89	8
5	118	8
6	149	8
7	210	8
8	418	8
9	1361	8
done	5000	8
0	4	4
1	6	4
2	7	4
done	7	4
0	2	2
done	2	2
0	9	10
1	25	10
2	53	10
3	132	10
4	308	10
5	982	10
6	4496	10
done	5000	10
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	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	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	15
1	11	15
2	18	15
3	23	15
4	27	15
done	27	15
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	20
1	12	12
2	30	8
3	62	8
4	89	8
5	118	8
6	149	8
7	210	8
8	418	8
9	1361	8
done	5000	8
0	4	4
1	6	4
2	7	4
done	7	4
0	2	2
done	2	2
0	9	10
1	25	10
2	53	10
3	132	10
4	308	10
5	982	10
6	4496	10
done	5000	10
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	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	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	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	16	11
2	46	11
3	134	11
4	300	11
5	604	11
6	1148	11
7	1939	11
8	3265	11
9	4649	11
10	4657	11
done	4657	11
0	7	13
1	10	5
2	18	5
3	23	5
4	27	5
done	27	5
0	6	11
1	16	11
2	46	11
3	134	11
4	300	11
5	604	11
6	1148	11
7	1939	11
8	3265	11
9	4649	11
10	4657	11
done	4657	11
0	6	11
1	16	11
2	46	11
3	134	11
4	300	11
5	604	11
6	1148	11
7	1939	11
8	3265	11
9	4649	11
10	4657	11
done	4657	11
0	6	11
1	16	11
2	46	11
3	134	11
4	300	11
5	604	11
6	1148	11
7	1939	11
8	3265	11
9	4649	11
10	4657	11
done	4657	11
0	6	11
1	16	11
2	46	11
3	134	11
4	300	11
5	604	11
6	1148	11
7	1939	11
8	3265	11
9	4649	11
10	4657	11
done	4657	11
0	2	3
1	6	1
done	6	1
0	8	15
1	13	9
2	21	9
3	26	9
4	30	9
done	30	9
0	8	14
1	13	6
2	27	6
3	33	6
4	37	6
done	37	6
0	8	14
1	13	6
2	29	6
3	54	6
4	98	6
5	201	6
6	475	6
7	1465	6
done	5000	6
0	9	41
1	19	17
2	68	17
3	305	7
4	1008	7
5	2717	7
done	5000	7
0	9	29
1	12	13
2	20	13
3	25	13
4	29	13
done	29	13
0	8	14
1	11	6
2	19	6
3	24	6
4	28	6
done	28	6
0	9	41
1	20	17
2	63	7
3	292	7
4	998	7
5	2792	7
done	5000	7
0	6	11
1	16	11
2	46	11
3	134	11
4	300	11
5	604	11
6	1148	11
7	1939	11
8	3265	11
9	4649	11
10	4657	11
done	4657	11
0	8	14
1	12	6
2	19	6
3	24	6
4	28	6
done	28	6
0	8	14
1	12	6
2	19	6
3	24	6
4	28	6
done	28	6
0	10	21
1	26	9
2	55	9
3	134	9
4	308	9
5	987	9
6	4562	9
done	5000	9
0	9	25
1	16	9
2	25	9
3	26	9
4	27	9
done	27	9
0	15	21
1	36	21
2	79	21
3	188	21
4	440	21
5	1213	21
done	5000	21
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	15	21
1	36	21
2	79	21
3	188	21
4	446	21
5	1221	21
6	4911	21
done	5000	21
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	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	6	3
2	7	3
done	7	3
0	9	31
1	16	31
2	25	17
3	39	9
4	58	9
5	84	9
6	156	9
7	375	9
8	1266	9
done	5001	9
0	8	15
1	11	15
2	18	15
3	23	15
4	27	15
done	27	15
0	5	9
1	7	3
2	9	3
done	9	3
0	3	5
done	3	1
0	8	15
1	11	6
2	19	6
3	24	6
4	28	6
done	28	6
0	8	15
1	11	6
2	19	6
3	24	6
4	28	6
done	28	6
0	2	3
1	4	1
done	4	1
0	7	13
1	10	5
2	18	5
3	23	5
4	27	5
done	27	5
0	8	15
1	11	6
2	19	6
3	24	6
4	28	6
done	28	6
0	8	15
1	11	6
2	19	6
3	24	6
4	28	6
done	28	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	15	22
2	24	22
3	29	22
4	33	22
done	33	22
0	8	11
1	12	11
2	19	11
3	24	11
4	28	11
done	28	11
0	8	14
1	12	14
2	19	14
3	24	14
4	28	14
done	28	14
0	8	8
1	14	6
2	24	6
3	29	6
4	33	6
done	33	6
0	8	14
1	12	14
2	19	14
3	24	14
4	28	14
done	28	14
0	8	9
1	12	9
2	19	9
3	24	9
4	28	9
done	28	9
0	8	14
1	12	14
2	19	14
3	24	14
4	28	14
done	28	14
0	7	13
1	10	5
2	18	5
3	23	5
4	27	5
done	27	5
0	13	17
1	33	17
2	67	17
3	145	17
4	326	17
5	995	17
6	4584	17
done	5000	17
0	12	17
1	21	17
2	48	17
3	116	17
4	227	17
5	359	17
6	616	17
7	2071	17
done	5001	17
0	13	17
1	33	17
2	67	17
3	145	17
4	333	17
5	1033	17
6	4739	17
done	5000	17
0	12	17
1	21	17
2	48	17
3	116	17
4	229	17
5	357	17
6	610	17
7	2056	17
done	5000	17
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	29	6
3	48	6
4	91	6
5	174	6
6	425	6
7	1317	6
done	5000	6
0	9	17
1	18	17
2	56	9
3	180	9
4	619	7
5	2374	7
done	5000	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	285	7
4	864	7
5	2739	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	7	9
1	12	9
2	21	9
3	38	9
4	50	9
5	58	9
done	58	9
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
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	17	7
3	22	7
4	26	7
done	26	7
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	308	9
5	980	9
6	4487	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	11	13
1	23	13
2	61	13
3	162	9
4	310	9
5	320	9
done	320	9
0	8	11
1	15	11
2	30	11
3	57	9
4	96	9
5	117	9
6	137	9
7	233	9
8	379	9
9	437	9
10	457	9
done	457	9
0	9	12
1	19	12
2	46	12
3	99	10
4	224	10
5	330	10
6	410	9
7	644	9
8	1109	9
9	1374	9
10	1486	9
11	1500	9
done	1500	9
0	11	13
1	23	13
2	61	13
3	162	9
4	310	9
5	320	9
done	320	9
0	8	11
1	15	11
2	30	11
3	57	9
4	96	9
5	117	9
6	137	9
7	233	9
8	379	9
9	437	9
10	457	9
done	457	9
0	9	12
1	19	12
2	46	12
3	99	10
4	224	10
5	330	10
6	410	9
7	644	9
8	1109	9
9	1374	9
10	1486	9
11	1500	9
done	1500	9
0	1	1
done	1	1
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	1	1
done	1	1
0	1	1
done	1	1
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5

prune105.0ms

Filtered

76 candidates to 117 candidates (-53.9%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	117	0	117
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	117	4	121

Merged error: 0.0b

Counts

121 → 4

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

34×	`add-sqr-sqrt`
24×	`sqrt-prod`
23×	`pow1`
18×	`*-un-lft-identity`
16×	`add-cube-cbrt` `sqrt-div`
11×	`associate-l`
10×	`sqrt-pow1` `pow1/2`
9×	`associate-r`
8×	`add-exp-log` `flip3-+` `swap-sqr` `add-cbrt-cube` `flip-+`
5×	`pow-prod-up` `unswap-sqr`
4×	`frac-times` `pow-prod-down` `associate-*l/` `add-log-exp`
3×	`pow-sqr`
2×	`rem-sqrt-square` `associate-r/` `prod-exp` `-commutative` `cbrt-unprod`
1×	`pow2` `flip3--` `pow-plus` `sqrt-unprod` `rem-square-sqrt` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 109

Calls

4 calls:

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

series155.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify6.3min

Counts

121 → 121

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	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	7	15
1	17	15
2	45	15
3	130	15
4	429	15
5	1506	15
done	5001	15
0	8	17
1	12	7
2	20	7
3	29	7
4	38	7
5	44	7
6	53	7
7	71	7
8	101	7
9	128	7
10	157	7
11	171	7
12	189	7
13	202	7
14	221	7
15	260	7
16	331	7
17	435	7
18	531	7
19	637	7
20	714	7
21	748	7
22	777	7
done	777	7
0	7	15
1	17	15
2	45	15
3	130	15
4	429	15
5	1506	15
done	5001	15
0	2	3
1	6	1
done	6	1
0	9	19
1	15	11
2	23	11
3	32	11
4	41	11
5	47	11
6	56	11
7	74	11
8	104	11
9	131	11
10	160	11
11	174	11
12	192	11
13	205	11
14	221	11
15	256	11
16	321	11
17	425	11
18	519	11
19	625	11
20	694	11
21	698	11
done	698	11
0	9	18
1	15	8
2	25	8
3	35	8
4	44	8
5	50	8
6	59	8
7	77	8
8	107	8
9	134	8
10	163	8
11	177	8
12	195	8
13	208	8
14	227	8
15	266	8
16	339	8
17	440	8
18	533	8
19	637	8
20	712	8
21	756	8
22	803	8
23	842	8
24	876	8
25	970	8
26	1361	8
27	2475	8
done	5000	8
0	9	18
1	15	8
2	31	8
3	52	8
4	106	8
5	208	8
6	508	8
7	1828	8
done	5001	8
0	10	53
1	21	23
2	72	21
3	218	9
4	913	9
5	4435	9
done	5000	9
0	10	37
1	14	17
2	22	17
3	31	17
4	40	17
5	46	17
6	55	17
7	73	17
8	103	17
9	130	17
10	159	17
11	173	17
12	191	17
13	204	17
14	223	17
15	262	17
16	333	17
17	437	17
18	531	17
19	635	17
20	710	17
21	744	17
22	770	17
done	770	17
0	9	18
1	13	8
2	21	8
3	30	8
4	39	8
5	45	8
6	54	8
7	72	8
8	102	8
9	129	8
10	158	8
11	172	8
12	190	8
13	203	8
14	222	8
15	261	8
16	332	8
17	436	8
18	532	8
19	636	8
20	713	8
21	747	8
22	777	8
done	777	8
0	10	53
1	22	23
2	61	9
3	194	9
4	810	9
5	4097	9
done	5000	9
0	7	15
1	17	15
2	45	15
3	130	15
4	429	15
5	1506	15
done	5001	15
0	9	18
1	14	8
2	21	8
3	30	8
4	39	8
5	45	8
6	54	8
7	72	8
8	102	8
9	129	8
10	158	8
11	172	8
12	190	8
13	203	8
14	222	8
15	261	8
16	332	8
17	436	8
18	534	8
19	640	8
20	717	8
21	751	8
22	781	8
done	781	8
0	9	18
1	14	8
2	21	8
3	30	8
4	39	8
5	45	8
6	54	8
7	72	8
8	102	8
9	129	8
10	158	8
11	172	8
12	190	8
13	203	8
14	222	8
15	261	8
16	332	8
17	436	8
18	534	8
19	640	8
20	717	8
21	751	8
22	781	8
done	781	8
0	11	25
1	31	11
2	77	11
3	235	11
4	761	11
5	2320	11
done	5001	11
0	12	49
1	32	17
2	97	17
3	254	17
4	689	17
5	2069	17
done	5000	17
0	15	29
1	46	29
2	130	29
3	438	29
4	1367	29
5	4513	29
done	5000	29
0	14	33
1	37	27
2	106	27
3	278	27
4	748	27
5	2024	27
done	5000	27
0	15	29
1	46	29
2	130	29
3	426	29
4	1359	29
5	4504	29
done	5000	29
0	14	33
1	37	27
2	106	27
3	278	27
4	745	27
5	2013	27
done	5000	27
0	10	33
1	25	15
2	75	15
3	244	15
4	712	15
5	1850	15
done	5000	15
0	8	17
1	13	7
2	28	7
3	50	7
4	81	7
5	94	7
6	111	7
7	129	7
8	169	7
9	230	7
10	270	7
11	341	7
12	448	7
13	541	7
14	643	7
15	720	7
16	754	7
17	781	7
done	781	7
0	10	39
1	18	39
2	29	21
3	47	11
4	71	11
5	104	11
6	185	11
7	418	11
8	1358	11
done	5000	11
0	9	19
1	13	19
2	20	19
3	29	19
4	38	19
5	44	19
6	53	19
7	71	19
8	101	19
9	128	19
10	157	19
11	171	19
12	189	19
13	202	19
14	218	19
15	253	19
16	318	19
17	418	19
18	512	19
19	616	19
20	687	19
21	691	19
done	691	19
0	10	37
1	15	17
2	23	17
3	32	17
4	41	17
5	47	17
6	56	17
7	74	17
8	104	17
9	131	17
10	160	17
11	174	17
12	192	17
13	205	17
14	221	17
15	256	17
16	321	17
17	421	17
18	515	17
19	621	17
20	688	17
21	692	17
done	692	17
0	9	19
1	13	8
2	21	8
3	30	8
4	39	8
5	45	8
6	54	8
7	72	8
8	102	8
9	129	8
10	158	8
11	172	8
12	190	8
13	203	8
14	219	8
15	254	8
16	319	8
17	421	8
18	513	8
19	617	8
20	688	8
21	692	8
done	692	8
0	9	19
1	13	8
2	21	8
3	30	8
4	39	8
5	45	8
6	54	8
7	72	8
8	102	8
9	129	8
10	158	8
11	172	8
12	190	8
13	203	8
14	219	8
15	254	8
16	319	8
17	421	8
18	513	8
19	617	8
20	688	8
21	692	8
done	692	8
0	9	19
1	13	8
2	21	8
3	30	8
4	39	8
5	45	8
6	54	8
7	72	8
8	102	8
9	129	8
10	158	8
11	172	8
12	190	8
13	203	8
14	219	8
15	254	8
16	319	8
17	421	8
18	513	8
19	617	8
20	688	8
21	692	8
done	692	8
0	9	19
1	13	8
2	21	8
3	30	8
4	39	8
5	45	8
6	54	8
7	72	8
8	102	8
9	129	8
10	158	8
11	172	8
12	190	8
13	203	8
14	219	8
15	254	8
16	319	8
17	421	8
18	513	8
19	617	8
20	688	8
21	692	8
done	692	8
0	9	19
1	13	8
2	21	8
3	30	8
4	39	8
5	45	8
6	54	8
7	72	8
8	102	8
9	129	8
10	158	8
11	172	8
12	190	8
13	203	8
14	219	8
15	254	8
16	319	8
17	421	8
18	513	8
19	617	8
20	688	8
21	692	8
done	692	8
0	3	5
1	5	1
done	5	1
0	8	17
1	12	7
2	20	7
3	29	7
4	38	7
5	44	7
6	53	7
7	71	7
8	101	7
9	128	7
10	157	7
11	171	7
12	189	7
13	202	7
14	221	7
15	260	7
16	331	7
17	435	7
18	531	7
19	637	7
20	714	7
21	748	7
22	777	7
done	777	7
0	9	19
1	13	8
2	21	8
3	30	8
4	39	8
5	45	8
6	54	8
7	72	8
8	102	8
9	129	8
10	158	8
11	172	8
12	190	8
13	203	8
14	219	8
15	254	8
16	319	8
17	421	8
18	513	8
19	617	8
20	688	8
21	692	8
done	692	8
0	9	19
1	13	8
2	21	8
3	30	8
4	39	8
5	45	8
6	54	8
7	72	8
8	102	8
9	129	8
10	158	8
11	172	8
12	190	8
13	203	8
14	219	8
15	254	8
16	319	8
17	421	8
18	513	8
19	617	8
20	688	8
21	692	8
done	692	8
0	9	19
1	13	8
2	21	8
3	30	8
4	39	8
5	45	8
6	54	8
7	72	8
8	102	8
9	129	8
10	158	8
11	172	8
12	190	8
13	203	8
14	219	8
15	254	8
16	319	8
17	421	8
18	513	8
19	617	8
20	688	8
21	692	8
done	692	8
0	9	19
1	13	8
2	21	8
3	30	8
4	39	8
5	45	8
6	54	8
7	72	8
8	102	8
9	129	8
10	158	8
11	172	8
12	190	8
13	203	8
14	219	8
15	254	8
16	319	8
17	421	8
18	513	8
19	617	8
20	688	8
21	692	8
done	692	8
0	2	3
1	4	1
done	4	1
0	8	17
1	12	7
2	20	7
3	29	7
4	38	7
5	44	7
6	53	7
7	71	7
8	101	7
9	128	7
10	157	7
11	171	7
12	189	7
13	202	7
14	221	7
15	260	7
16	331	7
17	435	7
18	531	7
19	637	7
20	714	7
21	748	7
22	777	7
done	777	7
0	9	19
1	13	8
2	21	8
3	30	8
4	39	8
5	45	8
6	54	8
7	72	8
8	102	8
9	129	8
10	158	8
11	172	8
12	190	8
13	203	8
14	219	8
15	254	8
16	319	8
17	421	8
18	513	8
19	617	8
20	688	8
21	692	8
done	692	8
0	9	19
1	13	8
2	21	8
3	30	8
4	39	8
5	45	8
6	54	8
7	72	8
8	102	8
9	129	8
10	158	8
11	172	8
12	190	8
13	203	8
14	219	8
15	254	8
16	319	8
17	421	8
18	513	8
19	617	8
20	688	8
21	692	8
done	692	8
0	9	19
1	13	8
2	21	8
3	30	8
4	39	8
5	45	8
6	54	8
7	72	8
8	102	8
9	129	8
10	158	8
11	172	8
12	190	8
13	203	8
14	219	8
15	254	8
16	319	8
17	421	8
18	513	8
19	617	8
20	688	8
21	692	8
done	692	8
0	9	19
1	13	8
2	21	8
3	30	8
4	39	8
5	45	8
6	54	8
7	72	8
8	102	8
9	129	8
10	158	8
11	172	8
12	190	8
13	203	8
14	219	8
15	254	8
16	319	8
17	421	8
18	513	8
19	617	8
20	688	8
21	692	8
done	692	8
0	9	19
1	13	8
2	21	8
3	30	8
4	39	8
5	45	8
6	54	8
7	72	8
8	102	8
9	129	8
10	158	8
11	172	8
12	190	8
13	203	8
14	219	8
15	254	8
16	319	8
17	421	8
18	513	8
19	617	8
20	688	8
21	692	8
done	692	8
0	9	19
1	13	8
2	21	8
3	30	8
4	39	8
5	45	8
6	54	8
7	72	8
8	102	8
9	129	8
10	158	8
11	172	8
12	190	8
13	203	8
14	219	8
15	254	8
16	319	8
17	421	8
18	513	8
19	617	8
20	688	8
21	692	8
done	692	8
0	9	19
1	13	8
2	21	8
3	30	8
4	39	8
5	45	8
6	54	8
7	72	8
8	102	8
9	129	8
10	158	8
11	172	8
12	190	8
13	203	8
14	219	8
15	254	8
16	319	8
17	421	8
18	513	8
19	617	8
20	688	8
21	692	8
done	692	8
0	9	19
1	13	8
2	21	8
3	30	8
4	39	8
5	45	8
6	54	8
7	72	8
8	102	8
9	129	8
10	158	8
11	172	8
12	190	8
13	203	8
14	219	8
15	254	8
16	319	8
17	421	8
18	513	8
19	617	8
20	688	8
21	692	8
done	692	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	10	28
1	17	28
2	26	28
3	35	28
4	44	28
5	50	28
6	59	28
7	77	28
8	107	28
9	134	28
10	163	28
11	177	28
12	195	28
13	208	28
14	224	28
15	259	28
16	324	28
17	426	28
18	518	28
19	622	28
20	691	28
21	695	28
done	695	28
0	11	27
1	17	18
2	24	18
3	33	18
4	42	18
5	48	18
6	57	18
7	75	18
8	105	18
9	132	18
10	161	18
11	175	18
12	193	18
13	206	18
14	222	18
15	257	18
16	322	18
17	428	18
18	524	18
19	628	18
20	697	18
21	701	18
done	701	18
0	9	18
1	14	18
2	21	18
3	30	18
4	39	18
5	45	18
6	54	18
7	72	18
8	102	18
9	129	18
10	158	18
11	172	18
12	190	18
13	203	18
14	219	18
15	254	18
16	319	18
17	423	18
18	517	18
19	621	18
20	688	18
21	692	18
done	692	18
0	10	11
1	17	10
2	24	10
3	33	8
4	45	8
5	50	8
6	57	8
7	75	8
8	105	8
9	132	8
10	161	8
11	175	8
12	193	8
13	206	8
14	222	8
15	257	8
16	319	8
17	421	8
18	517	8
19	619	8
20	688	8
21	692	8
done	692	8
0	9	18
1	14	18
2	21	18
3	30	18
4	39	18
5	45	18
6	54	18
7	72	18
8	102	18
9	129	18
10	158	18
11	172	18
12	190	18
13	203	18
14	219	18
15	254	18
16	319	18
17	423	18
18	517	18
19	621	18
20	688	18
21	692	18
done	692	18
0	9	10
1	16	8
2	26	8
3	35	8
4	44	8
5	49	8
6	56	8
7	74	8
8	104	8
9	131	8
10	160	8
11	174	8
12	192	8
13	205	8
14	221	8
15	256	8
16	318	8
17	420	8
18	514	8
19	618	8
20	689	8
21	693	8
done	693	8
0	9	18
1	14	18
2	21	18
3	30	18
4	39	18
5	45	18
6	54	18
7	72	18
8	102	18
9	129	18
10	158	18
11	172	18
12	190	18
13	203	18
14	219	18
15	254	18
16	319	18
17	423	18
18	517	18
19	621	18
20	688	18
21	692	18
done	692	18
0	10	18
1	15	18
2	22	18
3	31	18
4	40	18
5	46	18
6	55	18
7	73	18
8	103	18
9	130	18
10	159	18
11	173	18
12	191	18
13	204	18
14	220	18
15	255	18
16	320	18
17	424	18
18	514	18
19	616	18
20	683	18
21	687	18
done	687	18
0	9	18
1	14	18
2	21	18
3	30	18
4	39	18
5	45	18
6	54	18
7	72	18
8	102	18
9	129	18
10	158	18
11	172	18
12	190	18
13	203	18
14	219	18
15	254	18
16	319	18
17	423	18
18	517	18
19	621	18
20	688	18
21	692	18
done	692	18
0	8	17
1	12	7
2	20	7
3	29	7
4	38	7
5	44	7
6	53	7
7	71	7
8	101	7
9	128	7
10	157	7
11	171	7
12	189	7
13	202	7
14	221	7
15	260	7
16	331	7
17	435	7
18	531	7
19	637	7
20	714	7
21	748	7
22	777	7
done	777	7
0	9	18
1	14	18
2	21	18
3	30	18
4	39	18
5	45	18
6	54	18
7	72	18
8	102	18
9	129	18
10	158	18
11	172	18
12	190	18
13	203	18
14	219	18
15	254	18
16	319	18
17	423	18
18	517	18
19	621	18
20	688	18
21	692	18
done	692	18
0	8	17
1	12	7
2	20	7
3	29	7
4	38	7
5	44	7
6	53	7
7	71	7
8	101	7
9	128	7
10	157	7
11	171	7
12	189	7
13	202	7
14	221	7
15	260	7
16	331	7
17	435	7
18	531	7
19	637	7
20	714	7
21	748	7
22	777	7
done	777	7
0	13	21
1	35	21
2	80	21
3	251	21
4	772	21
5	2355	21
done	5000	21
0	12	25
1	28	25
2	76	25
3	247	25
4	717	25
5	1866	25
done	5000	25
0	13	21
1	35	21
2	80	21
3	243	21
4	763	21
5	2303	21
done	5000	21
0	12	25
1	28	25
2	76	25
3	247	25
4	717	25
5	1854	25
done	5000	25
0	8	9
1	12	9
2	19	9
3	28	9
4	37	9
5	43	9
6	52	9
7	70	9
8	100	9
9	127	9
10	156	9
11	170	9
12	188	9
13	201	9
14	217	9
15	252	9
16	317	9
17	423	9
18	517	9
19	623	9
20	692	9
21	696	9
done	696	9
0	8	9
1	12	9
2	19	9
3	28	9
4	37	9
5	43	9
6	52	9
7	70	9
8	100	9
9	127	9
10	156	9
11	170	9
12	188	9
13	201	9
14	217	9
15	252	9
16	317	9
17	423	9
18	517	9
19	623	9
20	692	9
21	696	9
done	696	9
0	9	19
1	13	19
2	20	19
3	29	19
4	38	19
5	44	19
6	53	19
7	71	19
8	101	19
9	128	19
10	157	19
11	171	19
12	189	19
13	202	19
14	218	19
15	253	19
16	318	19
17	418	19
18	512	19
19	616	19
20	687	19
21	691	19
done	691	19
0	8	9
1	12	9
2	19	9
3	28	9
4	37	9
5	43	9
6	52	9
7	70	9
8	100	9
9	127	9
10	156	9
11	170	9
12	188	9
13	201	9
14	217	9
15	252	9
16	317	9
17	423	9
18	517	9
19	623	9
20	692	9
21	696	9
done	696	9
0	9	26
1	14	16
2	32	10
3	60	10
4	110	10
5	151	10
6	205	10
7	311	10
8	593	10
9	1720	10
done	5001	10
0	9	18
1	14	9
2	21	9
3	30	9
4	39	9
5	45	9
6	54	9
7	72	9
8	102	9
9	129	9
10	158	9
11	172	9
12	190	9
13	203	9
14	219	9
15	254	9
16	319	9
17	421	9
18	513	9
19	617	9
20	688	9
21	692	9
done	692	9
0	8	9
1	12	9
2	19	9
3	28	9
4	37	9
5	43	9
6	52	9
7	70	9
8	100	9
9	127	9
10	156	9
11	170	9
12	188	9
13	201	9
14	217	9
15	252	9
16	317	9
17	423	9
18	517	9
19	623	9
20	692	9
21	696	9
done	696	9
0	8	9
1	12	9
2	19	9
3	28	9
4	37	9
5	43	9
6	52	9
7	70	9
8	100	9
9	127	9
10	156	9
11	170	9
12	188	9
13	201	9
14	217	9
15	252	9
16	317	9
17	423	9
18	517	9
19	623	9
20	692	9
21	696	9
done	696	9
0	8	9
1	12	9
2	19	9
3	28	9
4	37	9
5	43	9
6	52	9
7	70	9
8	100	9
9	127	9
10	156	9
11	170	9
12	188	9
13	201	9
14	217	9
15	252	9
16	317	9
17	423	9
18	517	9
19	623	9
20	692	9
21	696	9
done	696	9
0	2	2
1	4	1
done	4	1
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	504	8
19	608	8
20	677	8
21	681	8
done	681	8
0	10	12
1	30	12
2	75	12
3	239	12
4	763	12
5	2298	12
done	5000	12
0	11	24
1	31	18
2	95	18
3	254	18
4	689	18
5	2054	18
done	5000	18
0	9	16
1	24	16
2	73	16
3	242	16
4	711	16
5	1850	16
done	5000	16
0	7	8
1	12	8
2	26	8
3	48	8
4	79	8
5	90	8
6	107	8
7	125	8
8	165	8
9	226	8
10	263	8
11	330	8
12	431	8
13	522	8
14	624	8
15	691	8
16	695	8
done	695	8
0	3	3
1	6	1
done	6	1
0	8	9
1	12	9
2	19	9
3	28	9
4	37	9
5	43	9
6	52	9
7	70	9
8	100	9
9	127	9
10	156	9
11	170	9
12	188	9
13	201	9
14	217	9
15	252	9
16	317	9
17	423	9
18	517	9
19	623	9
20	692	9
21	696	9
done	696	9
0	8	9
1	12	9
2	19	9
3	28	9
4	37	9
5	43	9
6	52	9
7	70	9
8	100	9
9	127	9
10	156	9
11	170	9
12	188	9
13	201	9
14	217	9
15	252	9
16	317	9
17	423	9
18	517	9
19	623	9
20	692	9
21	696	9
done	696	9
0	8	9
1	12	9
2	19	9
3	28	9
4	37	9
5	43	9
6	52	9
7	70	9
8	100	9
9	127	9
10	156	9
11	170	9
12	188	9
13	201	9
14	217	9
15	252	9
16	317	9
17	423	9
18	517	9
19	623	9
20	692	9
21	696	9
done	696	9
0	8	9
1	12	9
2	19	9
3	28	9
4	37	9
5	43	9
6	52	9
7	70	9
8	100	9
9	127	9
10	156	9
11	170	9
12	188	9
13	201	9
14	217	9
15	252	9
16	317	9
17	423	9
18	517	9
19	623	9
20	692	9
21	696	9
done	696	9
0	9	19
1	13	19
2	20	19
3	29	19
4	38	19
5	44	19
6	53	19
7	71	19
8	101	19
9	128	19
10	157	19
11	171	19
12	189	19
13	202	19
14	218	19
15	253	19
16	318	19
17	418	19
18	512	19
19	616	19
20	687	19
21	691	19
done	691	19
0	8	9
1	12	9
2	19	9
3	28	9
4	37	9
5	43	9
6	52	9
7	70	9
8	100	9
9	127	9
10	156	9
11	170	9
12	188	9
13	201	9
14	217	9
15	252	9
16	317	9
17	423	9
18	517	9
19	623	9
20	692	9
21	696	9
done	696	9
0	9	26
1	14	16
2	32	10
3	60	10
4	110	10
5	151	10
6	205	10
7	311	10
8	593	10
9	1720	10
done	5001	10
0	9	18
1	14	9
2	21	9
3	30	9
4	39	9
5	45	9
6	54	9
7	72	9
8	102	9
9	129	9
10	158	9
11	172	9
12	190	9
13	203	9
14	219	9
15	254	9
16	319	9
17	421	9
18	513	9
19	617	9
20	688	9
21	692	9
done	692	9
0	8	9
1	12	9
2	19	9
3	28	9
4	37	9
5	43	9
6	52	9
7	70	9
8	100	9
9	127	9
10	156	9
11	170	9
12	188	9
13	201	9
14	217	9
15	252	9
16	317	9
17	423	9
18	517	9
19	623	9
20	692	9
21	696	9
done	696	9
0	8	9
1	12	9
2	19	9
3	28	9
4	37	9
5	43	9
6	52	9
7	70	9
8	100	9
9	127	9
10	156	9
11	170	9
12	188	9
13	201	9
14	217	9
15	252	9
16	317	9
17	423	9
18	517	9
19	623	9
20	692	9
21	696	9
done	696	9
0	8	9
1	12	9
2	19	9
3	28	9
4	37	9
5	43	9
6	52	9
7	70	9
8	100	9
9	127	9
10	156	9
11	170	9
12	188	9
13	201	9
14	217	9
15	252	9
16	317	9
17	423	9
18	517	9
19	623	9
20	692	9
21	696	9
done	696	9
0	2	2
1	4	1
done	4	1
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	504	8
19	608	8
20	677	8
21	681	8
done	681	8
0	10	12
1	30	12
2	75	12
3	239	12
4	763	12
5	2298	12
done	5000	12
0	11	24
1	31	18
2	95	18
3	254	18
4	689	18
5	2054	18
done	5000	18
0	9	16
1	24	16
2	73	16
3	242	16
4	711	16
5	1850	16
done	5000	16
0	7	8
1	12	8
2	26	8
3	48	8
4	79	8
5	90	8
6	107	8
7	125	8
8	165	8
9	226	8
10	263	8
11	330	8
12	431	8
13	522	8
14	624	8
15	691	8
16	695	8
done	695	8
0	3	3
1	6	1
done	6	1
0	8	9
1	12	9
2	19	9
3	28	9
4	37	9
5	43	9
6	52	9
7	70	9
8	100	9
9	127	9
10	156	9
11	170	9
12	188	9
13	201	9
14	217	9
15	252	9
16	317	9
17	423	9
18	517	9
19	623	9
20	692	9
21	696	9
done	696	9
0	8	9
1	12	9
2	19	9
3	28	9
4	37	9
5	43	9
6	52	9
7	70	9
8	100	9
9	127	9
10	156	9
11	170	9
12	188	9
13	201	9
14	217	9
15	252	9
16	317	9
17	423	9
18	517	9
19	623	9
20	692	9
21	696	9
done	696	9
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	29	6
3	48	6
4	91	6
5	174	6
6	425	6
7	1317	6
done	5000	6
0	9	17
1	18	17
2	56	9
3	180	9
4	619	7
5	2374	7
done	5000	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	285	7
4	864	7
5	2739	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	7	9
1	12	9
2	21	9
3	38	9
4	50	9
5	58	9
done	58	9
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
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	17	7
3	22	7
4	26	7
done	26	7
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	308	9
5	980	9
6	4487	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	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	415	7
16	509	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	415	7
16	509	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	415	7
16	509	7
17	613	7
18	682	7
19	686	7
done	686	7
0	10	11
1	20	11
2	46	9
3	77	9
4	82	9
done	82	9
0	17	25
1	48	25
2	168	25
3	607	25
4	3233	19
done	5000	19
0	18	26
1	51	26
2	180	26
3	659	25
4	3348	20
done	5000	20
0	10	11
1	20	11
2	46	9
3	77	9
4	82	9
done	82	9
0	17	25
1	48	25
2	168	25
3	607	25
4	3233	19
done	5000	19
0	18	26
1	51	26
2	180	26
3	659	25
4	3348	20
done	5000	20
0	1	1
done	1	1
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5

prune115.0ms

Filtered

81 candidates to 121 candidates (-49.4%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	121	0	121
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	121	4	125

Merged error: 0.0b

Counts

125 → 4

regimes193.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	6	7
1	8	7
done	8	7

end0.0ms

sample694.0ms

Algorithm

intervals

Results

269.0ms

10176×

body

valid

Details

sample24.0ms

simplify879.0ms

prune3.0ms

localize5.0ms

rewrite11.0ms

series16.0ms

simplify6.9min

prune48.0ms

localize14.0ms

rewrite27.0ms

series130.0ms

simplify1.6min

prune115.0ms

localize8.0ms

rewrite39.0ms

series149.0ms

simplify2.5min

prune105.0ms

localize8.0ms

rewrite27.0ms

series155.0ms

simplify6.3min

prune115.0ms

regimes193.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample694.0ms

Profiling