Details

sample17.0ms

Algorithm

intervals

Results

6.0ms

256×

body

valid

simplify7.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	7
1	11	7
2	14	7
3	16	7
done	16	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 y))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity`
22×	`add-sqr-sqrt`
20×	`times-frac`
12×	`add-cube-cbrt`
6×	`distribute-lft-out`
5×	`associate-/l*` `distribute-lft-out--` `difference-of-squares`
4×	`associate-/r*`
3×	`add-exp-log` `add-cbrt-cube`
2×	`associate-/r/` `associate-/l/`
1×	`pow1` `cbrt-undiv` `flip3--` `frac-2neg` `flip3-+` `div-sub` `div-exp` `clear-num` `flip--` `flip-+` `div-inv` `add-log-exp`

Counts

1 → 46

Calls

1 calls:

8.0ms

(/ (- x y) (+ x y))

series10.0ms

Counts

1 → 3

Calls

1 calls:

10.0ms

(/ (- x y) (+ x y))

simplify22.6s

Counts

49 → 49

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	12	9
2	14	9
done	14	9
0	6	8
1	15	8
2	20	8
3	23	8
done	23	8
0	6	8
1	12	8
2	18	8
3	22	8
4	25	8
5	31	8
6	35	8
7	51	8
8	57	8
9	64	8
10	73	8
11	94	8
12	115	8
13	132	8
14	139	8
15	145	8
16	148	8
done	148	8
0	9	23
1	33	23
2	111	11
3	305	9
4	851	9
5	3001	9
done	5000	9
0	7	17
1	13	17
2	16	17
3	18	17
done	18	17
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	7	23
1	20	23
2	51	9
3	177	9
4	589	9
5	1821	9
done	5000	9
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	9	19
1	18	19
2	28	19
3	34	19
done	34	19
0	7	9
1	10	9
2	11	9
done	11	9
0	8	14
1	13	14
2	16	14
3	17	14
done	17	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	8
1	9	8
2	10	8
done	10	8
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	8
1	9	8
2	10	8
done	10	8
0	8	14
1	13	14
2	14	14
done	14	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	6	6
1	10	4
2	13	4
done	13	4
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	4
2	13	4
done	13	4
0	6	8
1	9	8
2	10	8
done	10	8
0	7	11
1	12	11
done	12	11
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	6
1	9	6
done	9	6
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	9	15
1	13	15
done	13	15
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	8	10
1	10	10
done	10	10
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	7	7
1	10	5
2	12	5
done	12	5
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	7
1	10	5
2	12	5
done	12	5
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	11
1	12	11
done	12	11
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	6
1	9	6
done	9	6
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	5
1	8	5
done	8	5
0	5	7
1	8	7
2	9	7
done	9	7
0	7	13
1	15	13
2	23	13
3	28	13
4	31	13
done	31	13
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	5	5
1	12	3
2	17	3
done	17	3
0	5	5
1	12	3
2	17	3
done	17	3
0	6	8
1	9	8
2	10	8
done	10	8
0	6	8
1	9	8
2	10	8
done	10	8
0	5	7
1	8	7
2	9	7
done	9	7
0	7	9
1	10	9
2	11	9
done	11	9
0	5	7
1	8	7
2	9	7
done	9	7
0	8	11
1	27	11
2	39	11
3	58	11
4	97	11
5	211	11
6	617	11
7	2464	11
done	5000	11
0	7	11
1	16	11
2	36	11
3	72	11
4	109	5
5	164	5
6	315	5
7	1486	5
done	5001	5
0	9	15
1	23	13
2	73	13
3	157	13
4	305	13
5	587	13
6	828	13
7	949	13
8	1032	13
9	1304	13
10	2424	13
done	5000	13
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	1	1
done	1	1
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1

prune55.0ms

Filtered

34 candidates to 49 candidates (-44.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	47	2	49
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	48	2	50

Merged error: 0.0b

Counts

50 → 2

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ y (+ x y))
0.0b	(/ x (+ x y))
0.0b	(- (/ x (+ x y)) (/ y (+ x y)))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

63×	`*-un-lft-identity`
40×	`times-frac`
35×	`add-sqr-sqrt`
23×	`add-cube-cbrt`
12×	`distribute-lft-out`
8×	`associate-/r*` `associate-/r/`
7×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out--`
6×	`associate-/l*`
5×	`add-log-exp`
4×	`flip3-+` `flip-+` `div-inv` `difference-of-squares`
3×	`pow1` `distribute-rgt-out--`
2×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num`
1×	`sub-neg` `flip3--` `diff-log` `frac-sub` `flip--` `sub-div`

Counts

3 → 94

Calls

3 calls:

6.0ms	(/ y (+ x y))
6.0ms	(/ x (+ x y))
25.0ms	(- (/ x (+ x y)) (/ y (+ x y)))

series26.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(/ y (+ x y))
6.0ms	(/ x (+ x y))
15.0ms	(- (/ x (+ x y)) (/ y (+ x y)))

simplify1.1min

Counts

103 → 103

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	13
1	11	12
2	13	12
3	18	12
4	21	12
5	27	12
6	31	12
7	47	12
8	51	12
9	58	12
10	67	12
11	88	12
12	109	12
13	121	12
14	126	12
15	128	12
done	128	12
0	7	12
1	10	12
2	13	12
done	13	12
0	7	12
1	13	12
2	18	12
3	21	12
4	27	12
5	31	12
6	47	12
7	51	12
8	58	12
9	67	12
10	87	12
11	108	12
12	126	12
13	131	12
14	133	12
done	133	12
0	8	25
1	11	25
2	14	25
done	14	25
0	7	12
1	10	12
2	13	12
done	13	12
0	8	35
1	12	35
2	29	13
3	88	13
4	293	13
5	983	13
6	3242	13
done	5001	13
0	7	12
1	10	12
2	13	12
done	13	12
0	7	12
1	10	12
2	13	12
done	13	12
0	3	3
1	5	3
2	6	3
done	6	3
0	6	11
1	16	11
2	33	7
3	73	7
4	170	7
5	244	7
6	819	7
7	4477	7
done	5000	7
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	9	15
1	30	15
2	85	15
3	257	15
4	814	15
5	2734	15
done	5000	15
0	10	35
1	30	29
2	58	29
3	86	29
4	135	25
5	162	25
6	210	19
7	259	17
8	1849	17
done	5000	17
0	5	6
1	8	6
done	8	6
0	8	23
1	22	23
2	43	23
3	83	23
4	174	23
5	286	23
6	420	23
7	671	19
8	2236	19
done	5001	19
0	6	11
1	8	11
done	8	11
0	8	13
1	10	13
done	10	13
0	8	13
1	11	13
2	12	13
done	12	13
0	9	14
1	11	14
done	11	14
0	9	14
1	12	14
2	15	14
done	15	14
0	9	14
1	11	14
done	11	14
0	9	14
1	12	14
2	13	14
done	13	14
0	9	15
1	11	15
done	11	15
0	9	15
1	12	15
2	15	15
done	15	15
0	7	13
1	10	13
2	13	13
done	13	13
0	7	13
1	10	13
2	13	13
done	13	13
0	6	11
1	9	11
2	12	11
done	12	11
0	6	11
1	9	11
2	12	11
done	12	11
0	6	11
1	9	11
2	12	11
done	12	11
0	6	11
1	9	11
2	12	11
done	12	11
0	6	11
1	9	11
2	12	11
done	12	11
0	3	3
1	5	3
2	6	3
done	6	3
0	9	19
1	25	19
2	37	19
3	54	19
4	95	19
5	215	19
6	624	19
7	2453	19
done	5000	19
0	8	19
1	15	19
2	28	19
3	53	19
4	80	19
5	121	19
6	181	19
7	349	19
8	1633	19
done	5001	19
0	5	6
1	8	6
done	8	6
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	9	6
2	11	6
3	12	6
done	12	6
0	5	6
1	6	6
done	6	6
0	8	17
1	30	17
2	91	9
3	216	7
4	489	7
5	1289	7
6	2990	7
done	5001	7
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	14	17
2	30	7
3	68	7
4	149	7
5	296	7
6	576	7
7	1357	7
8	4751	7
done	5000	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	2	2
done	2	2
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	8	15
1	15	15
2	24	15
3	30	15
done	30	15
0	6	7
1	7	7
done	7	7
0	7	10
1	10	10
2	12	10
3	13	10
done	13	10
0	6	7
1	7	7
done	7	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	7	12
1	10	12
done	10	12
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	7	11
1	12	11
done	12	11
0	5	6
1	6	6
done	6	6
0	6	6
1	9	6
done	9	6
0	5	6
1	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	5	5
1	8	5
done	8	5
0	4	5
1	5	5
done	5	5
0	6	11
1	9	11
done	9	11
0	5	6
1	6	6
done	6	6
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	4	5
1	5	5
done	5	5
0	7	9
1	21	9
2	30	9
3	47	9
4	88	9
5	208	9
6	613	9
7	2441	9
done	5000	9
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1596	9
done	5000	9
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	9	6
2	11	6
3	12	6
done	12	6
0	5	6
1	6	6
done	6	6
0	8	17
1	30	17
2	91	9
3	216	7
4	489	7
5	1285	7
6	3010	7
done	5000	7
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	14	17
2	30	7
3	68	7
4	149	7
5	296	7
6	576	7
7	1357	7
8	4751	7
done	5000	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	2	2
done	2	2
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	8	15
1	15	15
2	24	15
3	30	15
done	30	15
0	6	7
1	7	7
done	7	7
0	7	10
1	10	10
2	12	10
3	13	10
done	13	10
0	6	7
1	7	7
done	7	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	7	12
1	10	12
done	10	12
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	7	11
1	12	11
done	12	11
0	5	6
1	6	6
done	6	6
0	6	6
1	9	6
done	9	6
0	5	6
1	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	5	5
1	8	5
done	8	5
0	4	5
1	5	5
done	5	5
0	6	11
1	9	11
done	9	11
0	5	6
1	6	6
done	6	6
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	4	5
1	5	5
done	5	5
0	7	9
1	21	9
2	30	9
3	47	9
4	88	9
5	200	9
6	604	9
7	2436	9
done	5000	9
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1619	9
done	5000	9
0	2	2
1	5	1
done	5	1
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune99.0ms

Filtered

76 candidates to 103 candidates (-35.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	101	2	103
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	102	3	105

Merged error: 0b

Counts

105 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ x (+ x y))
0.0b	(/ x (+ x y))
0.0b	(- (/ x (+ x y)) (/ y (+ x y)))
0.2b	(* (+ x y) (/ (- (/ x (+ x y)) (/ y (+ x y))) (+ x y)))

rewrite105.0ms

Algorithm

rewrite-expression-head

Rules

227×	`*-un-lft-identity`
173×	`times-frac`
120×	`add-sqr-sqrt`
74×	`associate-r`
55×	`add-cube-cbrt`
46×	`distribute-lft-out`
35×	`distribute-lft-out--`
26×	`associate-/r/`
20×	`difference-of-squares`
15×	`distribute-rgt-out--` `flip3-+` `flip-+`
13×	`add-exp-log` `add-cbrt-cube` `div-inv`
8×	`associate-/r*`
6×	`pow1` `associate-/l*` `add-log-exp`
4×	`associate-l`
3×	`cbrt-undiv` `div-exp`
2×	`frac-times` `frac-2neg` `associate-*l/` `prod-exp` `clear-num` `cbrt-unprod` `unswap-sqr`
1×	`sub-neg` `flip3--` `diff-log` `associate-r/` `pow-prod-down` `-commutative` `frac-sub` `flip--` `sub-div`

Counts

4 → 192

Calls

4 calls:

6.0ms	(/ x (+ x y))
6.0ms	(/ x (+ x y))
30.0ms	(- (/ x (+ x y)) (/ y (+ x y)))
50.0ms	(* (+ x y) (/ (- (/ x (+ x y)) (/ y (+ x y))) (+ x y)))

series40.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(/ x (+ x y))
6.0ms	(/ x (+ x y))
14.0ms	(- (/ x (+ x y)) (/ y (+ x y)))
13.0ms	(* (+ x y) (/ (- (/ x (+ x y)) (/ y (+ x y))) (+ x y)))

simplify4.4min

Counts

204 → 204

Iterations

Useful iterations: 4 (74.0ms)

Iter	Nodes	Cost
0	8	19
1	17	19
2	42	19
3	113	19
4	244	12
5	434	8
6	1825	7
done	5000	7
0	10	22
1	18	22
2	28	22
3	34	14
4	35	12
5	134	12
6	1083	12
7	1593	12
8	3296	12
done	5000	12
0	10	21
1	19	21
2	33	21
3	53	14
4	68	12
5	147	12
6	588	12
7	1109	12
8	2839	12
done	5000	12
0	9	20
1	21	20
2	51	20
3	132	20
4	278	13
5	473	9
6	1988	8
done	5000	8
0	9	20
1	20	20
2	55	20
3	148	20
4	344	13
5	736	9
6	3070	8
done	5000	8
0	12	59
1	41	59
2	172	25
3	845	23
done	5000	23
0	12	59
1	43	59
2	147	23
3	602	23
4	3786	21
done	5000	21
0	10	41
1	19	41
2	44	41
3	115	41
4	246	27
5	439	19
6	1832	17
done	5000	17
0	9	20
1	18	20
2	43	20
3	114	20
4	245	13
5	435	9
6	1841	8
done	5000	8
0	10	59
1	29	59
2	128	21
3	684	21
4	4030	14
done	5001	14
0	9	20
1	18	20
2	43	20
3	114	20
4	245	13
5	435	9
6	1841	8
done	5000	8
0	9	20
1	18	20
2	43	20
3	114	20
4	245	13
5	435	9
6	1841	8
done	5000	8
0	11	19
1	29	19
2	55	19
3	133	19
4	397	19
5	1188	19
6	4874	16
done	5000	16
0	9	15
1	25	13
2	65	13
3	169	13
4	438	13
5	1198	13
6	2605	11
done	5000	11
0	10	19
1	18	19
2	42	19
3	145	19
4	514	19
5	1273	19
6	3460	9
done	5001	9
0	5	7
1	15	7
2	34	7
3	56	7
4	101	7
5	167	7
6	261	7
7	440	7
8	1436	7
9	4384	7
done	5000	7
0	10	21
1	17	21
2	25	21
3	36	21
4	48	21
5	64	21
6	83	21
7	99	21
8	106	21
9	108	21
done	108	21
0	10	21
1	17	21
2	25	21
3	36	21
4	48	21
5	64	21
6	83	21
7	99	21
8	106	21
9	108	21
done	108	21
0	10	22
1	16	22
2	22	22
3	25	22
4	27	14
5	29	12
6	85	12
7	385	12
8	1758	12
done	5001	12
0	10	22
1	16	22
2	22	22
3	25	22
4	27	14
5	29	12
6	85	12
7	385	12
8	1758	12
done	5001	12
0	10	37
1	19	37
2	37	37
3	60	37
4	76	37
5	92	37
6	119	37
7	135	37
8	142	37
9	144	37
done	144	37
0	9	20
1	16	20
2	32	20
3	43	20
4	55	20
5	71	20
6	90	20
7	106	20
8	113	20
9	115	20
done	115	20
0	12	39
1	24	39
2	64	39
3	157	39
4	287	39
5	390	39
6	436	39
7	450	39
8	455	39
9	458	39
10	460	39
done	460	39
0	11	34
1	19	34
2	40	34
3	85	34
4	128	34
5	148	34
6	156	34
7	162	34
8	163	34
done	163	34
0	11	31
1	21	29
2	49	29
3	113	29
4	179	29
5	247	29
6	288	29
7	315	29
8	324	29
9	334	29
10	344	29
11	358	29
12	363	29
done	363	29
0	11	31
1	21	29
2	49	29
3	113	29
4	179	29
5	247	29
6	288	29
7	315	29
8	324	29
9	334	29
10	344	29
11	358	29
12	363	29
done	363	29
0	11	26
1	19	26
2	41	26
3	78	26
4	110	26
5	136	26
6	152	26
7	157	26
8	158	26
9	160	26
10	161	26
done	161	26
0	10	21
1	16	21
2	30	21
3	46	21
4	53	21
5	57	21
6	63	21
7	65	21
done	65	21
0	10	18
1	18	16
2	36	16
3	47	16
4	59	16
5	76	16
6	117	16
7	144	16
8	153	16
9	163	16
10	173	16
11	187	16
12	192	16
done	192	16
0	10	18
1	18	16
2	36	16
3	47	16
4	59	16
5	76	16
6	117	16
7	144	16
8	153	16
9	163	16
10	173	16
11	187	16
12	192	16
done	192	16
0	8	15
1	16	15
2	34	13
3	87	13
4	164	13
5	180	13
6	192	13
7	196	13
done	196	13
0	7	10
1	13	10
2	24	8
3	51	8
4	80	8
done	80	8
0	6	7
1	12	5
2	25	3
3	37	3
done	37	3
0	6	7
1	12	5
2	25	3
3	37	3
done	37	3
0	12	27
1	19	27
2	46	27
3	99	27
4	167	27
5	228	27
6	298	27
7	373	27
8	520	27
9	553	27
10	587	27
11	591	27
12	602	27
done	602	27
0	11	22
1	16	22
2	35	22
3	67	22
4	102	22
5	135	22
6	171	22
7	197	22
8	259	22
9	269	22
10	275	22
done	275	22
0	11	19
1	18	17
2	41	17
3	76	17
4	128	17
5	166	17
6	224	17
7	248	17
8	292	17
9	296	17
10	304	17
done	304	17
0	11	19
1	18	17
2	41	17
3	76	17
4	128	17
5	166	17
6	224	17
7	248	17
8	292	17
9	296	17
10	304	17
done	304	17
0	13	28
1	20	28
2	47	28
3	105	28
4	189	28
5	263	28
6	371	28
7	537	28
8	804	28
9	992	28
10	1087	28
11	1123	28
12	1147	28
13	1149	28
14	1150	28
done	1150	28
0	11	23
1	16	23
2	35	23
3	71	23
4	121	23
5	161	23
6	210	23
7	247	23
8	367	22
9	465	18
10	691	14
11	3396	14
done	5001	14
0	12	20
1	19	18
2	42	18
3	81	18
4	149	18
5	200	18
6	277	18
7	349	18
8	433	18
9	462	18
10	475	18
11	479	18
done	479	18
0	12	20
1	19	18
2	42	18
3	81	18
4	149	18
5	200	18
6	277	18
7	349	18
8	433	18
9	462	18
10	475	18
11	479	18
done	479	18
0	13	28
1	20	28
2	47	28
3	105	28
4	189	28
5	263	28
6	371	28
7	537	28
8	803	28
9	987	28
10	1082	28
11	1118	28
12	1142	28
13	1144	28
14	1145	28
done	1145	28
0	11	23
1	16	23
2	35	23
3	71	23
4	121	23
5	161	23
6	210	23
7	247	23
8	367	22
9	465	18
10	691	14
11	3424	14
done	5000	14
0	12	20
1	19	18
2	42	18
3	81	18
4	149	18
5	200	18
6	277	18
7	349	18
8	433	18
9	462	18
10	475	18
11	479	18
done	479	18
0	12	20
1	19	18
2	42	18
3	81	18
4	149	18
5	200	18
6	277	18
7	349	18
8	433	18
9	462	18
10	475	18
11	479	18
done	479	18
0	13	29
1	20	29
2	47	29
3	109	29
4	208	29
5	295	29
6	436	24
7	687	24
8	1073	24
9	1526	24
10	1898	24
11	2140	24
12	2282	24
13	2326	24
14	2331	24
done	2331	24
0	11	24
1	16	24
2	35	24
3	75	24
4	140	24
5	183	24
6	240	19
7	293	19
8	454	13
9	672	7
10	1271	5
done	5001	5
0	12	21
1	19	19
2	42	19
3	85	19
4	168	19
5	224	19
6	317	14
7	432	14
8	589	14
9	702	14
10	761	14
11	775	14
done	775	14
0	12	21
1	19	19
2	42	19
3	85	19
4	168	19
5	224	19
6	317	14
7	432	14
8	589	14
9	702	14
10	761	14
11	775	14
done	775	14
0	9	25
1	21	25
2	54	25
3	139	15
4	397	10
5	991	10
6	3987	6
done	5000	6
0	10	20
1	20	20
2	44	20
3	126	18
4	371	18
5	600	18
6	722	18
7	756	18
8	776	18
done	776	18
0	9	17
1	19	15
2	52	15
3	130	13
4	297	13
5	432	13
6	560	13
7	581	13
done	581	13
0	9	17
1	19	15
2	52	15
3	130	13
4	297	13
5	432	13
6	560	13
7	581	13
done	581	13
0	10	20
1	20	20
2	50	20
3	137	18
4	400	18
5	688	18
6	831	18
7	880	18
done	880	18
0	8	15
1	16	15
2	32	9
3	83	7
4	257	1
5	470	1
6	2196	1
done	5000	1
0	8	12
1	16	10
2	42	10
3	75	8
4	156	8
5	216	8
6	270	8
7	280	8
done	280	8
0	8	12
1	16	10
2	42	10
3	75	8
4	156	8
5	216	8
6	270	8
7	280	8
done	280	8
0	9	17
1	19	15
2	42	13
3	116	13
4	252	13
5	382	13
6	496	13
7	505	13
done	505	13
0	8	12
1	16	10
2	30	8
3	68	8
4	131	8
5	205	8
6	249	8
7	251	8
done	251	8
0	7	9
1	15	5
2	26	3
3	38	3
done	38	3
0	7	9
1	15	5
2	26	3
3	38	3
done	38	3
0	9	17
1	19	15
2	42	13
3	116	13
4	252	13
5	382	13
6	496	13
7	505	13
done	505	13
0	8	12
1	16	10
2	30	8
3	68	8
4	131	8
5	205	8
6	249	8
7	251	8
done	251	8
0	7	9
1	15	5
2	26	3
3	38	3
done	38	3
0	7	9
1	15	5
2	26	3
3	38	3
done	38	3
0	9	17
1	19	15
2	42	13
3	116	13
4	252	13
5	382	13
6	496	13
7	505	13
done	505	13
0	8	12
1	16	10
2	30	8
3	68	8
4	131	8
5	205	8
6	249	8
7	251	8
done	251	8
0	7	9
1	15	5
2	26	3
3	38	3
done	38	3
0	7	9
1	15	5
2	26	3
3	38	3
done	38	3
0	9	17
1	19	15
2	42	13
3	116	13
4	252	13
5	382	13
6	496	13
7	505	13
done	505	13
0	8	12
1	16	10
2	30	8
3	68	8
4	131	8
5	205	8
6	249	8
7	251	8
done	251	8
0	7	9
1	15	5
2	26	3
3	38	3
done	38	3
0	7	9
1	15	5
2	26	3
3	38	3
done	38	3
0	8	15
1	16	15
2	34	13
3	87	13
4	164	13
5	180	13
6	192	13
7	196	13
done	196	13
0	7	10
1	13	10
2	24	8
3	51	8
4	80	8
done	80	8
0	6	7
1	12	5
2	25	3
3	37	3
done	37	3
0	6	7
1	12	5
2	25	3
3	37	3
done	37	3
0	9	19
1	19	19
2	57	11
3	154	11
4	704	11
5	3760	11
done	5001	11
0	8	14
1	16	14
2	43	6
3	96	6
4	412	6
5	1800	6
done	5000	6
0	7	11
1	15	9
2	44	1
3	56	1
4	67	1
5	100	1
6	173	1
7	193	1
8	195	1
9	201	1
10	203	1
done	203	1
0	7	11
1	15	9
2	44	1
3	56	1
4	67	1
5	100	1
6	173	1
7	193	1
8	195	1
9	201	1
10	203	1
done	203	1
0	12	25
1	26	23
2	74	23
3	193	23
4	544	23
5	1447	23
6	3923	23
done	5001	23
0	11	20
1	23	18
2	60	18
3	142	18
4	373	18
5	937	18
6	2479	18
done	5001	18
0	11	17
1	25	13
2	66	13
3	181	13
4	447	13
5	1221	13
6	3025	13
done	5000	13
0	11	17
1	25	13
2	66	13
3	181	13
4	447	13
5	1221	13
6	3025	13
done	5000	13
0	8	17
1	19	17
2	52	17
3	133	17
4	289	17
5	520	17
6	817	17
7	1291	17
8	2485	17
done	5000	17
0	7	12
1	16	12
2	36	12
3	92	12
4	172	12
5	287	12
6	441	12
7	719	12
8	1612	12
done	5000	12
0	7	9
1	18	7
2	42	7
3	84	7
4	150	7
5	230	7
6	330	7
7	524	7
8	1345	7
9	3747	7
done	5000	7
0	7	9
1	18	7
2	42	7
3	84	7
4	150	7
5	230	7
6	330	7
7	524	7
8	1345	7
9	3747	7
done	5000	7
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	7	15
1	11	15
2	28	15
3	65	15
4	148	15
5	222	7
6	329	3
7	964	3
done	5000	3
0	12	23
1	35	23
2	69	23
3	165	23
4	378	23
5	906	15
6	2721	11
done	5000	11
0	11	23
1	24	23
2	65	23
3	199	17
4	535	15
5	2028	11
done	5000	11
0	9	20
1	18	20
2	35	20
3	69	20
4	118	20
5	184	20
6	256	17
7	332	16
8	367	16
9	416	16
10	464	16
11	583	16
12	2323	16
done	5001	16
0	9	20
1	18	20
2	35	20
3	69	20
4	118	20
5	184	20
6	256	17
7	332	16
8	367	16
9	416	16
10	464	16
11	583	16
12	2323	16
done	5001	16
0	8	19
1	17	19
2	42	19
3	113	19
4	244	12
5	434	8
6	1825	7
done	5000	7
0	8	19
1	17	19
2	42	19
3	113	19
4	244	12
5	434	8
6	1825	7
done	5000	7
0	7	15
1	11	15
2	28	15
3	65	15
4	148	15
5	222	7
6	329	3
7	964	3
done	5000	3
0	12	23
1	35	23
2	69	23
3	184	23
4	648	23
5	2318	23
done	5001	23
0	11	23
1	24	23
2	58	23
3	219	23
4	825	23
5	2208	16
done	5000	13
0	8	13
1	11	12
2	13	12
3	18	12
4	21	12
5	27	12
6	31	12
7	47	12
8	51	12
9	58	12
10	67	12
11	88	12
12	109	12
13	121	12
14	126	12
15	128	12
done	128	12
0	7	12
1	10	12
2	13	12
done	13	12
0	7	12
1	13	12
2	18	12
3	21	12
4	27	12
5	31	12
6	47	12
7	51	12
8	58	12
9	67	12
10	87	12
11	108	12
12	126	12
13	131	12
14	133	12
done	133	12
0	8	25
1	11	25
2	14	25
done	14	25
0	7	12
1	10	12
2	13	12
done	13	12
0	8	35
1	12	35
2	29	13
3	88	13
4	293	13
5	983	13
6	3242	13
done	5001	13
0	7	12
1	10	12
2	13	12
done	13	12
0	7	12
1	10	12
2	13	12
done	13	12
0	3	3
1	5	3
2	6	3
done	6	3
0	6	11
1	16	11
2	33	7
3	73	7
4	170	7
5	244	7
6	819	7
7	4477	7
done	5000	7
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	9	15
1	30	15
2	85	15
3	257	15
4	814	15
5	2734	15
done	5000	15
0	10	35
1	30	29
2	58	29
3	86	29
4	135	25
5	162	25
6	210	19
7	259	17
8	1849	17
done	5000	17
0	5	6
1	8	6
done	8	6
0	8	23
1	22	23
2	43	23
3	83	23
4	174	23
5	286	23
6	420	23
7	671	19
8	2236	19
done	5001	19
0	6	11
1	8	11
done	8	11
0	8	13
1	10	13
done	10	13
0	8	13
1	11	13
2	12	13
done	12	13
0	9	14
1	11	14
done	11	14
0	9	14
1	12	14
2	15	14
done	15	14
0	9	14
1	11	14
done	11	14
0	9	14
1	12	14
2	13	14
done	13	14
0	9	15
1	11	15
done	11	15
0	9	15
1	12	15
2	15	15
done	15	15
0	7	13
1	10	13
2	13	13
done	13	13
0	7	13
1	10	13
2	13	13
done	13	13
0	6	11
1	9	11
2	12	11
done	12	11
0	6	11
1	9	11
2	12	11
done	12	11
0	6	11
1	9	11
2	12	11
done	12	11
0	6	11
1	9	11
2	12	11
done	12	11
0	6	11
1	9	11
2	12	11
done	12	11
0	3	3
1	5	3
2	6	3
done	6	3
0	9	19
1	25	19
2	37	19
3	54	19
4	95	19
5	215	19
6	624	19
7	2453	19
done	5000	19
0	8	19
1	15	19
2	28	19
3	53	19
4	80	19
5	121	19
6	181	19
7	349	19
8	1633	19
done	5001	19
0	5	6
1	8	6
done	8	6
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	9	6
2	11	6
3	12	6
done	12	6
0	5	6
1	6	6
done	6	6
0	8	17
1	30	17
2	91	9
3	216	7
4	489	7
5	1289	7
6	2990	7
done	5001	7
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	14	17
2	30	7
3	68	7
4	149	7
5	296	7
6	576	7
7	1357	7
8	4751	7
done	5000	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	2	2
done	2	2
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	8	15
1	15	15
2	24	15
3	30	15
done	30	15
0	6	7
1	7	7
done	7	7
0	7	10
1	10	10
2	12	10
3	13	10
done	13	10
0	6	7
1	7	7
done	7	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	7	12
1	10	12
done	10	12
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	7	11
1	12	11
done	12	11
0	5	6
1	6	6
done	6	6
0	6	6
1	9	6
done	9	6
0	5	6
1	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	5	5
1	8	5
done	8	5
0	4	5
1	5	5
done	5	5
0	6	11
1	9	11
done	9	11
0	5	6
1	6	6
done	6	6
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	4	5
1	5	5
done	5	5
0	7	9
1	21	9
2	30	9
3	47	9
4	88	9
5	208	9
6	613	9
7	2441	9
done	5000	9
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1596	9
done	5000	9
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	9	6
2	11	6
3	12	6
done	12	6
0	5	6
1	6	6
done	6	6
0	8	17
1	30	17
2	91	9
3	216	7
4	489	7
5	1289	7
6	2990	7
done	5001	7
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	14	17
2	30	7
3	68	7
4	149	7
5	296	7
6	576	7
7	1357	7
8	4751	7
done	5000	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	2	2
done	2	2
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	8	15
1	15	15
2	24	15
3	30	15
done	30	15
0	6	7
1	7	7
done	7	7
0	7	10
1	10	10
2	12	10
3	13	10
done	13	10
0	6	7
1	7	7
done	7	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	7	12
1	10	12
done	10	12
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	7	11
1	12	11
done	12	11
0	5	6
1	6	6
done	6	6
0	6	6
1	9	6
done	9	6
0	5	6
1	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	5	5
1	8	5
done	8	5
0	4	5
1	5	5
done	5	5
0	6	11
1	9	11
done	9	11
0	5	6
1	6	6
done	6	6
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	4	5
1	5	5
done	5	5
0	7	9
1	21	9
2	30	9
3	47	9
4	88	9
5	208	9
6	613	9
7	2441	9
done	5000	9
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1596	9
done	5000	9
0	2	2
1	5	1
done	5	1
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1
0	2	2
1	5	1
done	5	1
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune181.0ms

Filtered

139 candidates to 204 candidates (-46.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	204	0	204
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	204	3	207

Merged error: 0b

Counts

207 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

6.5b	(sqrt (/ x (+ x y)))
6.5b	(sqrt (/ x (+ x y)))
8.5b	(sqrt (/ y (+ x y)))
8.5b	(sqrt (/ y (+ x y)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

72×	`sqrt-prod`
60×	`*-un-lft-identity`
52×	`times-frac`
48×	`add-sqr-sqrt`
36×	`add-cube-cbrt`
12×	`distribute-lft-out`
8×	`pow1` `rem-sqrt-square` `associate-/r/`
4×	`add-exp-log` `sqrt-pow1` `flip3-+` `pow1/2` `sqrt-div` `add-cbrt-cube` `flip-+` `div-inv` `add-log-exp`

Counts

4 → 120

Calls

4 calls:

6.0ms	(sqrt (/ x (+ x y)))
7.0ms	(sqrt (/ x (+ x y)))
6.0ms	(sqrt (/ y (+ x y)))
6.0ms	(sqrt (/ y (+ x y)))

series40.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(sqrt (/ x (+ x y)))
9.0ms	(sqrt (/ x (+ x y)))
11.0ms	(sqrt (/ y (+ x y)))
10.0ms	(sqrt (/ y (+ x y)))

simplify58.9s

Counts

132 → 132

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	7	15
1	8	15
done	8	15
0	6	7
1	7	7
done	7	7
0	7	20
1	9	12
2	16	8
3	25	8
4	33	8
5	44	8
6	65	8
7	126	8
8	338	8
9	1259	8
done	5000	8
0	7	14
1	9	7
done	9	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	9	16
1	16	16
2	26	8
3	32	8
done	32	8
0	7	8
1	8	8
done	8	8
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	7	8
1	8	8
done	8	8
0	6	8
1	10	6
2	17	3
3	22	3
done	22	3
0	6	7
1	7	7
done	7	7
0	6	8
1	10	6
2	17	3
3	22	3
done	22	3
0	6	7
1	7	7
done	7	7
0	8	13
1	11	13
done	11	13
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	5	5
1	7	3
2	9	3
done	9	3
0	6	7
1	7	7
done	7	7
0	5	5
1	7	3
2	9	3
done	9	3
0	6	7
1	7	7
done	7	7
0	8	12
1	13	12
done	13	12
0	6	7
1	7	7
done	7	7
0	7	7
1	10	7
done	10	7
0	6	7
1	7	7
done	7	7
0	3	4
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	3	4
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	2	2
1	4	1
done	4	1
0	5	6
1	6	6
done	6	6
0	2	2
done	2	2
0	6	6
1	9	6
done	9	6
0	8	10
1	22	10
2	31	10
3	48	10
4	87	10
5	199	10
6	595	10
7	2424	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	7	10
1	12	10
2	21	10
3	38	10
4	63	10
5	104	10
6	160	10
7	328	10
8	1618	10
done	5000	10
0	4	4
1	6	4
2	7	4
done	7	4
0	2	2
done	2	2
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	7	15
1	8	15
done	8	15
0	6	7
1	7	7
done	7	7
0	7	20
1	9	12
2	16	8
3	25	8
4	33	8
5	44	8
6	65	8
7	126	8
8	338	8
9	1259	8
done	5000	8
0	7	14
1	9	7
done	9	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	9	16
1	16	16
2	26	8
3	32	8
done	32	8
0	7	8
1	8	8
done	8	8
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	7	8
1	8	8
done	8	8
0	6	8
1	10	6
2	17	3
3	22	3
done	22	3
0	6	7
1	7	7
done	7	7
0	6	8
1	10	6
2	17	3
3	22	3
done	22	3
0	6	7
1	7	7
done	7	7
0	8	13
1	11	13
done	11	13
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	5	5
1	7	3
2	9	3
done	9	3
0	6	7
1	7	7
done	7	7
0	5	5
1	7	3
2	9	3
done	9	3
0	6	7
1	7	7
done	7	7
0	8	12
1	13	12
done	13	12
0	6	7
1	7	7
done	7	7
0	7	7
1	10	7
done	10	7
0	6	7
1	7	7
done	7	7
0	3	4
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	3	4
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	2	2
1	4	1
done	4	1
0	5	6
1	6	6
done	6	6
0	2	2
done	2	2
0	6	6
1	9	6
done	9	6
0	8	10
1	22	10
2	31	10
3	48	10
4	87	10
5	199	10
6	595	10
7	2424	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	7	10
1	12	10
2	21	10
3	38	10
4	63	10
5	104	10
6	160	10
7	328	10
8	1618	10
done	5000	10
0	4	4
1	6	4
2	7	4
done	7	4
0	2	2
done	2	2
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	7	15
1	8	15
done	8	15
0	6	7
1	7	7
done	7	7
0	7	20
1	9	12
2	16	8
3	25	8
4	33	8
5	44	8
6	65	8
7	126	8
8	338	8
9	1259	8
done	5000	8
0	7	14
1	9	7
done	9	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	9	16
1	16	16
2	26	8
3	32	8
done	32	8
0	7	8
1	8	8
done	8	8
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	7	8
1	8	8
done	8	8
0	6	8
1	10	6
2	17	3
3	22	3
done	22	3
0	6	7
1	7	7
done	7	7
0	6	8
1	10	6
2	17	3
3	22	3
done	22	3
0	6	7
1	7	7
done	7	7
0	8	13
1	11	13
done	11	13
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	5	5
1	7	3
2	9	3
done	9	3
0	6	7
1	7	7
done	7	7
0	5	5
1	7	3
2	9	3
done	9	3
0	6	7
1	7	7
done	7	7
0	8	12
1	13	12
done	13	12
0	6	7
1	7	7
done	7	7
0	7	7
1	10	7
done	10	7
0	6	7
1	7	7
done	7	7
0	3	4
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	3	4
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	2	2
1	4	1
done	4	1
0	5	6
1	6	6
done	6	6
0	2	2
done	2	2
0	6	6
1	9	6
done	9	6
0	8	10
1	22	10
2	31	10
3	48	10
4	91	10
5	212	10
6	620	10
7	2445	10
done	5001	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	7	10
1	12	10
2	21	10
3	38	10
4	63	10
5	104	10
6	160	10
7	328	10
8	1645	10
done	5000	10
0	4	4
1	6	4
2	7	4
done	7	4
0	2	2
done	2	2
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	7	15
1	8	15
done	8	15
0	6	7
1	7	7
done	7	7
0	7	20
1	9	12
2	16	8
3	25	8
4	33	8
5	44	8
6	65	8
7	126	8
8	338	8
9	1259	8
done	5000	8
0	7	14
1	9	7
done	9	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	9	16
1	16	16
2	26	8
3	32	8
done	32	8
0	7	8
1	8	8
done	8	8
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	7	8
1	8	8
done	8	8
0	6	8
1	10	6
2	17	3
3	22	3
done	22	3
0	6	7
1	7	7
done	7	7
0	6	8
1	10	6
2	17	3
3	22	3
done	22	3
0	6	7
1	7	7
done	7	7
0	8	13
1	11	13
done	11	13
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	5	5
1	7	3
2	9	3
done	9	3
0	6	7
1	7	7
done	7	7
0	5	5
1	7	3
2	9	3
done	9	3
0	6	7
1	7	7
done	7	7
0	8	12
1	13	12
done	13	12
0	6	7
1	7	7
done	7	7
0	7	7
1	10	7
done	10	7
0	6	7
1	7	7
done	7	7
0	3	4
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	3	4
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	2	2
1	4	1
done	4	1
0	5	6
1	6	6
done	6	6
0	2	2
done	2	2
0	6	6
1	9	6
done	9	6
0	8	10
1	22	10
2	31	10
3	48	10
4	91	10
5	212	10
6	620	10
7	2445	10
done	5001	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	7	10
1	12	10
2	21	10
3	38	10
4	63	10
5	104	10
6	160	10
7	328	10
8	1645	10
done	5000	10
0	4	4
1	6	4
2	7	4
done	7	4
0	2	2
done	2	2
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	1	1
done	1	1
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1
0	1	1
done	1	1
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1
0	1	1
done	1	1
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1
0	1	1
done	1	1
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1

prune133.0ms

Filtered

100 candidates to 132 candidates (-32.0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	132	0	132
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	132	3	135

Merged error: 0b

Counts

135 → 3

regimes74.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	11
1	7	11
done	7	11

end0.0ms

sample444.0ms

Algorithm

intervals

Results

202.0ms

8000×

body

valid

Details

sample17.0ms

simplify7.0ms

prune2.0ms

localize5.0ms

rewrite10.0ms

series10.0ms

simplify22.6s

prune55.0ms

localize6.0ms

rewrite47.0ms

series26.0ms

simplify1.1min

prune99.0ms

localize11.0ms

rewrite105.0ms

series40.0ms

simplify4.4min

prune181.0ms

localize12.0ms

rewrite37.0ms

series40.0ms

simplify58.9s

prune133.0ms

regimes74.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample444.0ms

Profiling