Details

sample33.0ms

Algorithm

intervals

Results

11.0ms

256×

body

valid

simplify11.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	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

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ (+ x y) 10.0)

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

18×	`*-un-lft-identity`
12×	`times-frac`
10×	`add-sqr-sqrt` `add-cube-cbrt`
4×	`distribute-lft-out` `associate-/l*`
3×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
2×	`associate-/l/`
1×	`pow1` `cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip-+` `div-inv` `add-log-exp`

Counts

1 → 33

Calls

1 calls:

8.0ms

(/ (+ x y) 10.0)

series32.0ms

Counts

1 → 3

Calls

1 calls:

31.0ms

(/ (+ x y) 10.0)

simplify6.5s

Counts

36 → 36

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	10	6
2	12	6
3	13	6
done	13	6
0	6	6
1	7	6
done	7	6
0	9	17
1	31	17
2	93	9
3	236	7
4	620	7
5	1689	7
6	4465	7
done	5001	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	15	17
2	47	7
3	119	7
4	298	7
5	589	7
6	1238	7
7	3090	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	2	2
done	2	2
0	9	15
1	16	15
2	25	15
3	31	15
done	31	15
0	7	7
1	8	7
done	8	7
0	8	12
1	11	12
2	13	12
3	14	12
done	14	12
0	7	7
1	8	7
done	8	7
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	6
1	7	6
done	7	6
0	8	10
1	11	10
done	11	10
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	6	6
1	9	4
2	11	4
done	11	4
0	6	6
1	7	6
done	7	6
0	5	7
1	9	7
done	9	7
0	6	6
1	7	6
done	7	6
0	4	4
1	6	4
done	6	4
0	6	6
1	7	6
done	7	6
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	5	7
1	9	7
done	9	7
0	6	6
1	7	6
done	7	6
0	4	4
1	6	4
done	6	4
0	6	6
1	7	6
done	7	6
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	3	3
1	5	3
done	5	3
0	5	5
1	6	5
done	6	5
0	7	9
1	10	9
done	10	9
0	6	6
1	7	6
done	7	6
0	5	5
1	8	3
2	10	3
done	10	3
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	9	13
1	24	11
2	54	11
3	102	11
4	155	11
5	207	11
6	262	11
7	326	11
8	461	11
9	708	11
10	784	11
11	785	11
done	785	11
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5

prune53.0ms

Filtered

26 candidates to 36 candidates (-38.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	33	3	36
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	33	4	37

Merged error: 0b

Counts

37 → 4

localize11.0ms

Local error

Found 2 expressions with local error:

0.2b	(* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)))
0.4b	(/ (+ x y) (sqrt 10.0))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

93×	`add-sqr-sqrt`
88×	`times-frac`
79×	`*-un-lft-identity`
47×	`add-cube-cbrt` `sqrt-prod`
28×	`associate-r`
26×	`add-exp-log`
22×	`associate-l`
16×	`add-cbrt-cube`
15×	`unswap-sqr`
13×	`distribute-lft-out`
9×	`div-exp`
8×	`prod-exp`
6×	`associate-/r*`
5×	`cbrt-undiv`
4×	`pow1` `cbrt-unprod` `associate-/l*`
3×	`div-inv`
2×	`rec-exp` `1-exp` `associate-/l/` `add-log-exp`
1×	`frac-times` `frac-2neg` `flip3-+` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `*-commutative` `flip-+`

Counts

2 → 137

Calls

2 calls:

25.0ms	(* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)))
7.0ms	(/ (+ x y) (sqrt 10.0))

series30.0ms

Counts

2 → 6

Calls

2 calls:

19.0ms	(* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)))
10.0ms	(/ (+ x y) (sqrt 10.0))

simplify53.7s

Counts

143 → 143

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	11	8
2	12	8
done	12	8
0	7	7
1	11	7
2	13	7
3	14	7
done	14	7
0	7	7
1	8	7
done	8	7
0	10	20
1	32	16
2	88	10
3	214	10
4	547	10
5	1426	10
6	3140	10
done	5001	10
0	8	15
1	9	15
done	9	15
0	7	7
1	8	7
done	8	7
0	8	20
1	16	20
2	48	8
3	120	8
4	299	8
5	590	8
6	1224	8
7	3061	8
done	5000	8
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	3	3
done	3	3
0	10	17
1	17	17
2	26	17
3	32	17
done	32	17
0	8	8
1	9	8
done	9	8
0	10	16
1	14	13
2	16	13
3	17	13
done	17	13
0	8	8
1	9	8
done	9	8
0	9	13
1	12	13
2	14	13
3	15	13
done	15	13
0	8	8
1	9	8
done	9	8
0	8	12
1	13	11
2	15	11
3	16	9
4	23	9
done	23	9
0	7	7
1	8	7
done	8	7
0	9	13
1	12	13
2	14	13
3	15	13
done	15	13
0	8	8
1	9	8
done	9	8
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	7	7
1	8	7
done	8	7
0	9	12
1	12	12
done	12	12
0	8	8
1	9	8
done	9	8
0	9	11
1	11	8
done	11	8
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	7	7
1	10	6
done	10	6
0	7	7
1	8	7
done	8	7
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	6	6
1	9	4
2	11	4
done	11	4
0	7	7
1	8	7
done	8	7
0	6	9
1	10	9
done	10	9
0	7	7
1	8	7
done	8	7
0	6	8
1	9	5
done	9	5
0	7	7
1	8	7
done	8	7
0	5	5
1	7	5
done	7	5
0	7	7
1	8	7
done	8	7
0	3	4
1	5	3
done	5	3
0	6	6
1	7	6
done	7	6
0	5	5
1	7	5
done	7	5
0	7	7
1	8	7
done	8	7
0	2	3
1	4	1
done	4	1
0	6	6
1	7	6
done	7	6
0	6	9
1	10	9
done	10	9
0	7	7
1	8	7
done	8	7
0	6	8
1	9	5
done	9	5
0	7	7
1	8	7
done	8	7
0	5	5
1	7	5
done	7	5
0	7	7
1	8	7
done	8	7
0	3	4
1	5	3
done	5	3
0	6	6
1	7	6
done	7	6
0	5	5
1	7	5
done	7	5
0	7	7
1	8	7
done	8	7
0	2	3
1	4	1
done	4	1
0	6	6
1	7	6
done	7	6
0	4	4
1	6	4
done	6	4
0	6	6
1	7	6
done	7	6
0	8	11
1	11	11
done	11	11
0	8	10
1	10	7
done	10	7
0	7	7
1	8	7
done	8	7
0	6	6
1	9	5
done	9	5
0	7	7
1	8	7
done	8	7
0	5	5
1	8	3
2	10	3
done	10	3
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	10	14
1	25	12
2	55	12
3	103	12
4	156	12
5	208	12
6	263	12
7	327	12
8	465	12
9	712	12
10	791	12
11	792	12
done	792	12
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	9	11
1	17	11
2	33	9
3	102	9
4	203	5
5	216	5
6	230	5
7	234	5
done	234	5
0	10	13
1	15	13
2	19	12
3	30	11
4	39	10
5	48	10
6	62	10
7	72	10
8	75	10
done	75	10
0	10	12
1	14	12
2	20	11
3	30	11
4	42	10
5	50	10
6	60	10
7	68	10
8	78	10
9	81	10
done	81	10
0	11	14
1	20	13
2	44	12
3	106	11
4	213	10
5	276	10
6	292	10
done	292	10
0	11	13
1	19	12
2	39	11
3	81	11
4	202	10
5	281	10
6	300	10
done	300	10
0	12	15
1	23	14
2	45	12
3	107	12
4	243	10
5	336	10
6	350	10
done	350	10
0	12	14
1	22	13
2	39	12
3	83	11
4	201	11
5	277	10
6	288	10
7	303	10
done	303	10
0	12	14
1	22	13
2	35	12
3	83	11
4	156	10
5	208	10
6	225	10
done	225	10
0	11	13
1	21	12
2	32	11
3	64	11
4	140	10
5	201	10
6	258	10
done	258	10
0	10	12
1	21	12
2	45	10
3	132	10
4	289	6
5	396	6
6	482	6
7	547	6
done	547	6
0	10	12
1	20	12
2	42	10
3	140	10
4	331	6
5	589	6
6	1365	6
7	4949	6
done	5000	6
0	15	35
1	51	23
2	178	15
3	1021	11
4	4471	11
done	5000	11
0	15	35
1	38	27
2	123	13
3	509	13
4	2161	11
done	5000	11
0	15	35
1	51	31
2	183	17
3	750	13
4	3430	11
done	5000	11
0	13	35
1	35	35
2	124	15
3	438	15
4	1698	7
done	5001	7
0	11	25
1	19	25
2	35	21
3	104	21
4	201	13
5	214	13
6	228	13
7	230	13
done	230	13
0	10	12
1	18	12
2	34	10
3	103	10
4	199	6
5	212	6
6	226	6
7	228	6
done	228	6
0	11	35
1	29	35
2	116	11
3	501	11
4	1993	7
done	5000	7
0	10	12
1	18	12
2	34	10
3	103	10
4	199	6
5	212	6
6	226	6
7	228	6
done	228	6
0	10	12
1	18	12
2	34	10
3	103	10
4	199	6
5	212	6
6	226	6
7	228	6
done	228	6
0	5	5
1	15	3
2	25	3
done	25	3
0	3	5
done	3	1
0	11	13
1	15	13
done	15	13
0	11	13
1	15	13
done	15	13
0	12	14
1	18	14
2	21	14
3	25	14
4	26	14
done	26	14
0	12	14
1	18	14
2	21	14
3	25	14
4	26	14
done	26	14
0	12	14
1	18	14
2	21	14
3	25	14
4	26	14
done	26	14
0	12	14
1	18	14
2	21	14
3	25	14
4	26	14
done	26	14
0	12	14
1	18	13
2	21	13
3	23	11
4	37	11
done	37	11
0	12	14
1	18	13
2	21	13
3	23	11
4	37	11
done	37	11
0	12	15
1	20	14
2	28	14
3	40	12
4	90	7
5	95	7
done	95	7
0	12	15
1	20	14
2	28	14
3	40	12
4	90	7
5	95	7
done	95	7
0	12	15
1	20	14
2	28	14
3	40	12
4	90	7
5	95	7
done	95	7
0	12	15
1	20	14
2	28	14
3	40	12
4	90	7
5	95	7
done	95	7
0	12	14
1	18	13
2	21	13
3	23	11
4	37	11
done	37	11
0	12	14
1	18	13
2	21	13
3	23	11
4	37	11
done	37	11
0	12	15
1	20	14
2	28	14
3	40	12
4	90	7
5	95	7
done	95	7
0	12	15
1	20	14
2	28	14
3	40	12
4	90	7
5	95	7
done	95	7
0	12	15
1	20	14
2	28	14
3	40	12
4	90	7
5	95	7
done	95	7
0	12	15
1	20	14
2	28	14
3	40	12
4	90	7
5	95	7
done	95	7
0	11	13
1	17	13
2	20	11
3	33	11
4	38	11
done	38	11
0	11	13
1	17	13
2	20	11
3	33	11
4	38	11
done	38	11
0	11	14
1	19	14
2	27	12
3	68	12
4	115	7
5	116	7
done	116	7
0	11	14
1	19	14
2	27	12
3	68	12
4	115	7
5	116	7
done	116	7
0	11	14
1	19	14
2	27	12
3	68	12
4	115	7
5	116	7
done	116	7
0	11	14
1	19	14
2	27	12
3	68	12
4	115	7
5	116	7
done	116	7
0	11	13
1	17	13
2	20	11
3	33	11
4	38	11
done	38	11
0	11	13
1	17	13
2	20	11
3	33	11
4	38	11
done	38	11
0	11	14
1	19	14
2	27	12
3	68	12
4	115	7
5	116	7
done	116	7
0	11	14
1	19	14
2	27	12
3	68	12
4	115	7
5	116	7
done	116	7
0	11	14
1	19	14
2	27	12
3	68	12
4	115	7
5	116	7
done	116	7
0	11	14
1	19	14
2	27	12
3	68	12
4	115	7
5	116	7
done	116	7
0	11	20
1	19	20
2	27	18
3	55	18
4	68	18
5	69	18
6	72	18
7	77	18
8	87	18
9	97	18
10	106	18
11	112	18
done	112	18
0	10	12
1	16	12
2	19	10
3	32	10
4	37	10
5	38	10
6	41	10
7	46	10
8	56	10
9	66	10
10	75	10
11	81	10
done	81	10
0	13	22
1	27	22
2	68	20
3	215	20
4	511	20
5	825	20
6	845	20
done	845	20
0	14	21
1	25	18
2	43	16
3	120	16
4	236	16
5	302	16
6	317	16
done	317	16
0	12	18
1	22	18
2	40	16
3	117	16
4	233	16
5	299	16
6	311	16
done	311	16
0	12	17
1	22	16
2	40	14
3	117	12
4	249	12
5	254	12
done	254	12
0	12	18
1	22	18
2	40	16
3	117	16
4	233	16
5	299	16
6	311	16
done	311	16
0	11	16
1	21	14
2	47	12
3	172	12
4	215	12
5	216	12
done	216	12
0	12	17
1	22	17
2	41	15
3	115	15
4	242	15
5	385	15
6	395	15
done	395	15
0	13	16
1	22	13
2	31	11
3	70	11
4	114	11
5	157	11
6	165	11
done	165	11
0	11	13
1	19	13
2	28	11
3	67	11
4	111	11
5	149	11
6	156	11
done	156	11
0	11	12
1	19	11
2	28	9
3	67	7
4	132	7
5	133	7
done	133	7
0	11	13
1	19	13
2	28	11
3	67	11
4	111	11
5	149	11
6	156	11
done	156	11
0	10	11
1	18	9
2	31	7
3	75	7
4	94	7
done	94	7
0	8	14
1	17	14
2	35	12
3	81	12
4	129	12
done	129	12
0	9	13
1	17	10
2	26	8
3	45	8
4	54	8
done	54	8
0	7	10
1	14	10
2	23	8
3	42	8
4	51	8
done	51	8
0	7	9
1	14	8
2	22	4
3	28	4
4	38	4
done	38	4
0	7	10
1	14	10
2	23	8
3	42	8
4	51	8
done	51	8
0	6	8
1	13	4
2	17	4
3	24	4
done	24	4
0	8	14
1	17	14
2	35	12
3	81	12
4	129	12
done	129	12
0	9	13
1	17	10
2	26	8
3	45	8
4	54	8
done	54	8
0	7	10
1	14	10
2	23	8
3	42	8
4	51	8
done	51	8
0	7	9
1	14	8
2	22	4
3	28	4
4	38	4
done	38	4
0	7	10
1	14	10
2	23	8
3	42	8
4	51	8
done	51	8
0	6	8
1	13	4
2	17	4
3	24	4
done	24	4
0	5	6
1	10	4
done	10	4
0	8	8
1	20	8
2	36	6
3	71	6
4	82	6
done	82	6
0	10	12
1	16	12
2	27	12
3	31	12
4	40	12
5	42	12
6	48	12
7	52	12
8	58	12
9	60	12
done	60	12
0	10	12
1	16	12
2	27	12
3	31	12
4	40	12
5	42	12
6	48	12
7	52	12
8	58	12
9	60	12
done	60	12
0	11	13
1	19	12
2	36	12
3	65	10
4	156	10
5	231	10
6	261	10
7	291	10
8	305	10
9	308	10
done	308	10
0	12	13
1	20	12
2	37	12
3	66	10
4	157	10
5	232	10
6	262	10
7	292	10
8	306	10
9	310	10
done	310	10
0	11	13
1	19	12
2	36	12
3	65	10
4	156	10
5	231	10
6	261	10
7	291	10
8	305	10
9	308	10
done	308	10
0	10	12
1	18	11
2	34	11
3	58	9
4	162	5
5	182	5
6	202	5
7	210	5
done	210	5
0	11	13
1	19	12
2	36	12
3	65	10
4	156	10
5	231	10
6	261	10
7	291	10
8	305	10
9	308	10
done	308	10
0	10	12
1	18	11
2	34	11
3	58	9
4	162	5
5	182	5
6	202	5
7	210	5
done	210	5
0	11	13
1	19	12
2	36	12
3	65	10
4	156	10
5	231	10
6	261	10
7	291	10
8	305	10
9	308	10
done	308	10
0	12	13
1	20	12
2	37	12
3	66	10
4	157	10
5	232	10
6	262	10
7	292	10
8	306	10
9	310	10
done	310	10
0	11	13
1	19	12
2	36	12
3	65	10
4	156	10
5	231	10
6	261	10
7	291	10
8	305	10
9	308	10
done	308	10
0	10	12
1	18	11
2	34	11
3	58	9
4	162	5
5	182	5
6	202	5
7	210	5
done	210	5
0	11	13
1	19	12
2	36	12
3	65	10
4	156	10
5	231	10
6	261	10
7	291	10
8	305	10
9	308	10
done	308	10
0	10	12
1	18	11
2	34	11
3	58	9
4	162	5
5	182	5
6	202	5
7	210	5
done	210	5
0	10	12
1	18	12
2	35	10
3	86	10
4	175	10
5	251	10
6	289	10
7	315	10
8	327	10
9	329	10
done	329	10
0	11	12
1	19	12
2	36	10
3	87	10
4	169	10
5	239	10
6	277	10
7	303	10
8	319	10
9	322	10
done	322	10
0	10	12
1	18	12
2	35	10
3	86	10
4	175	10
5	251	10
6	289	10
7	315	10
8	327	10
9	329	10
done	329	10
0	9	11
1	17	11
2	33	9
3	102	9
4	203	5
5	216	5
6	230	5
7	234	5
done	234	5
0	10	12
1	18	12
2	35	10
3	86	10
4	175	10
5	251	10
6	289	10
7	315	10
8	327	10
9	329	10
done	329	10
0	9	11
1	17	11
2	33	9
3	102	9
4	203	5
5	216	5
6	230	5
7	234	5
done	234	5
0	9	11
1	17	11
2	33	9
3	102	9
4	203	5
5	216	5
6	230	5
7	234	5
done	234	5
0	9	11
1	17	11
2	33	9
3	102	9
4	203	5
5	216	5
6	230	5
7	234	5
done	234	5
0	8	8
1	20	8
2	36	6
3	71	6
4	82	6
done	82	6
0	8	8
1	14	6
2	32	6
3	46	6
4	64	6
5	75	6
done	75	6
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	9	13
1	15	13
2	31	7
3	46	7
4	81	7
5	186	7
6	538	7
7	2090	7
done	5000	7
0	9	13
1	15	13
2	31	7
3	46	7
4	81	7
5	186	7
6	538	7
7	2090	7
done	5000	7
0	9	13
1	15	13
2	31	7
3	46	7
4	81	7
5	186	7
6	538	7
7	2090	7
done	5000	7

prune189.0ms

Filtered

81 candidates to 143 candidates (-76.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	143	0	143
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	143	4	147

Merged error: 0b

Counts

147 → 4

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b	(* 0.1 (+ x y))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 23

Calls

1 calls:

7.0ms

(* 0.1 (+ x y))

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(* 0.1 (+ x y))

simplify16.0s

Counts

26 → 26

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	13	5
2	14	5
done	14	5
0	7	7
1	9	7
done	9	7
0	6	6
1	17	6
2	19	6
done	19	6
0	6	6
1	16	6
2	26	6
3	43	6
4	76	6
5	188	6
6	504	6
7	1671	6
done	5000	6
0	9	17
1	29	17
2	110	9
3	373	9
4	1303	7
5	4152	7
done	5001	7
0	7	13
1	15	13
2	16	13
done	16	13
0	6	6
1	14	6
2	15	6
done	15	6
0	7	17
1	25	17
2	97	7
3	352	7
4	820	7
5	2225	7
done	5000	7
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	7	11
1	11	11
2	13	11
done	13	11
0	6	6
1	8	6
done	8	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	5	5
1	13	5
2	14	5
done	14	5
0	8	9
1	29	9
2	63	9
3	105	9
4	194	9
5	477	9
6	1523	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	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5

prune33.0ms

Filtered

18 candidates to 26 candidates (-44.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	26	0	26
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	26	4	30

Merged error: 0b

Counts

30 → 4

localize6.0ms

Local error

Found 2 expressions with local error:

0.4b	(/ (/ (+ x y) (sqrt 10.0)) (sqrt 10.0))
0.4b	(/ (+ x y) (sqrt 10.0))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

360×	`times-frac`
280×	`*-un-lft-identity`
186×	`sqrt-prod`
182×	`add-sqr-sqrt` `add-cube-cbrt`
49×	`distribute-lft-out`
32×	`associate-/l*`
12×	`associate-/r*`
9×	`add-exp-log` `add-cbrt-cube` `div-inv`
4×	`cbrt-undiv` `div-exp`
3×	`associate-/l/`
2×	`pow1` `frac-2neg` `clear-num` `add-log-exp`
1×	`flip3-+` `flip-+`

Counts

2 → 265

Calls

2 calls:

16.0ms	(/ (/ (+ x y) (sqrt 10.0)) (sqrt 10.0))
7.0ms	(/ (+ x y) (sqrt 10.0))

series28.0ms

Counts

2 → 6

Calls

2 calls:

18.0ms	(/ (/ (+ x y) (sqrt 10.0)) (sqrt 10.0))
10.0ms	(/ (+ x y) (sqrt 10.0))

simplify37.9s

Counts

271 → 271

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	11	8
2	12	8
done	12	8
0	7	7
1	11	7
2	13	7
3	14	7
done	14	7
0	7	7
1	8	7
done	8	7
0	10	20
1	32	16
2	88	10
3	214	10
4	547	10
5	1426	10
6	3140	10
done	5001	10
0	8	15
1	9	15
done	9	15
0	7	7
1	8	7
done	8	7
0	8	20
1	16	20
2	48	8
3	120	8
4	299	8
5	590	8
6	1224	8
7	3061	8
done	5000	8
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	3	3
done	3	3
0	10	17
1	17	17
2	26	17
3	32	17
done	32	17
0	8	8
1	9	8
done	9	8
0	10	16
1	14	13
2	16	13
3	17	13
done	17	13
0	8	8
1	9	8
done	9	8
0	9	13
1	12	13
2	14	13
3	15	13
done	15	13
0	8	8
1	9	8
done	9	8
0	8	12
1	13	11
2	15	11
3	16	9
4	23	9
done	23	9
0	7	7
1	8	7
done	8	7
0	9	13
1	12	13
2	14	13
3	15	13
done	15	13
0	8	8
1	9	8
done	9	8
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	7	7
1	8	7
done	8	7
0	9	12
1	12	12
done	12	12
0	8	8
1	9	8
done	9	8
0	9	11
1	11	8
done	11	8
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	7	7
1	10	6
done	10	6
0	7	7
1	8	7
done	8	7
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	6	6
1	9	4
2	11	4
done	11	4
0	7	7
1	8	7
done	8	7
0	6	9
1	10	9
done	10	9
0	7	7
1	8	7
done	8	7
0	6	8
1	9	5
done	9	5
0	7	7
1	8	7
done	8	7
0	5	5
1	7	5
done	7	5
0	7	7
1	8	7
done	8	7
0	3	4
1	5	3
done	5	3
0	6	6
1	7	6
done	7	6
0	5	5
1	7	5
done	7	5
0	7	7
1	8	7
done	8	7
0	2	3
1	4	1
done	4	1
0	6	6
1	7	6
done	7	6
0	6	9
1	10	9
done	10	9
0	7	7
1	8	7
done	8	7
0	6	8
1	9	5
done	9	5
0	7	7
1	8	7
done	8	7
0	5	5
1	7	5
done	7	5
0	7	7
1	8	7
done	8	7
0	3	4
1	5	3
done	5	3
0	6	6
1	7	6
done	7	6
0	5	5
1	7	5
done	7	5
0	7	7
1	8	7
done	8	7
0	2	3
1	4	1
done	4	1
0	6	6
1	7	6
done	7	6
0	4	4
1	6	4
done	6	4
0	6	6
1	7	6
done	7	6
0	8	11
1	11	11
done	11	11
0	8	10
1	10	7
done	10	7
0	7	7
1	8	7
done	8	7
0	6	6
1	9	5
done	9	5
0	7	7
1	8	7
done	8	7
0	5	5
1	8	3
2	10	3
done	10	3
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	10	14
1	25	12
2	55	12
3	103	12
4	156	12
5	208	12
6	263	12
7	327	12
8	465	12
9	712	12
10	791	12
11	792	12
done	792	12
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	9	12
1	15	12
2	27	10
3	39	10
4	48	10
5	57	10
6	71	10
7	81	10
8	84	10
done	84	10
0	9	11
1	14	11
2	20	11
3	33	10
4	46	10
5	53	10
6	63	10
7	71	10
8	81	10
9	84	10
done	84	10
0	8	10
1	14	10
2	20	6
3	28	6
4	42	6
5	55	6
6	62	6
7	72	6
8	80	6
9	90	6
10	101	6
11	107	6
done	107	6
0	8	10
1	11	10
done	11	6
0	11	29
1	37	21
2	129	11
3	398	9
4	1091	9
5	2539	7
done	5001	7
0	11	29
1	27	25
2	92	13
3	297	13
4	746	7
5	1417	7
6	4022	7
done	5001	7
0	9	21
1	12	21
done	12	13
0	8	10
1	11	10
done	11	6
0	9	29
1	19	29
2	50	7
3	166	7
4	542	7
5	1241	7
6	3193	7
done	5001	7
0	8	10
1	11	10
done	11	6
0	8	10
1	11	10
done	11	6
0	7	7
1	10	7
2	14	7
3	16	7
4	22	7
5	26	7
6	30	7
done	30	7
0	3	3
done	3	3
0	11	23
1	18	23
2	27	23
3	33	23
done	33	23
0	9	11
1	10	11
done	10	11
0	12	22
1	16	19
2	18	19
3	19	19
done	19	19
0	10	11
1	11	11
done	11	11
0	10	19
1	13	19
2	15	19
3	16	19
done	16	19
0	9	11
1	10	11
done	10	11
0	11	18
1	16	17
2	18	17
3	19	15
4	26	15
done	26	15
0	8	10
1	9	10
done	9	10
0	10	19
1	13	19
2	15	19
3	16	19
done	16	19
0	9	11
1	10	11
done	10	11
0	10	17
1	15	15
2	21	15
3	26	15
done	26	15
0	8	10
1	9	10
done	9	10
0	10	15
1	13	15
done	13	15
0	9	11
1	10	11
done	10	11
0	11	14
1	13	11
done	13	11
0	10	11
1	11	11
done	11	11
0	9	11
1	10	11
done	10	11
0	9	11
1	10	11
done	10	11
0	10	10
1	13	9
done	13	9
0	8	10
1	9	10
done	9	10
0	9	11
1	10	11
done	10	11
0	9	11
1	10	11
done	10	11
0	9	9
1	12	7
2	14	7
done	14	7
0	8	10
1	9	10
done	9	10
0	11	25
1	22	25
2	50	25
3	93	19
4	117	15
5	149	15
6	240	15
7	546	15
8	1648	15
done	5000	15
0	9	12
1	12	12
done	12	12
0	14	24
1	24	21
2	47	21
3	84	21
4	125	21
5	131	21
done	131	21
0	11	12
1	14	12
2	17	12
done	17	12
0	12	21
1	21	21
2	44	21
3	81	21
4	122	21
5	128	21
done	128	21
0	10	12
1	13	12
2	16	12
done	16	12
0	13	20
1	24	19
2	47	19
3	82	17
4	122	17
done	122	17
0	9	11
1	12	11
2	15	11
done	15	11
0	12	21
1	21	21
2	44	21
3	81	21
4	122	21
5	128	21
done	128	21
0	10	12
1	13	12
2	16	12
done	16	12
0	12	19
1	23	17
2	50	17
3	99	17
4	129	17
done	129	17
0	9	11
1	12	11
2	15	11
done	15	11
0	14	24
1	22	21
2	38	21
3	74	21
4	113	21
5	123	21
done	123	21
0	11	12
1	14	12
2	17	12
done	17	12
0	11	23
1	17	17
2	24	15
3	36	15
4	47	15
5	49	15
done	49	15
0	9	12
1	12	12
done	12	7
0	13	20
1	19	17
2	30	17
3	43	17
4	53	17
done	53	17
0	11	12
1	14	12
2	17	12
done	17	12
0	13	19
1	21	15
2	32	15
3	45	13
4	65	13
done	65	13
0	10	11
1	13	11
2	16	11
done	16	11
0	13	20
1	19	17
2	30	17
3	43	17
4	53	17
done	53	17
0	11	12
1	14	12
2	17	12
done	17	12
0	12	18
1	20	13
2	35	13
3	52	13
4	62	13
done	62	13
0	10	11
1	13	11
2	16	11
done	16	11
0	12	21
1	19	21
2	35	21
3	71	21
4	111	21
5	121	21
done	121	21
0	10	12
1	13	12
2	16	12
done	16	12
0	13	20
1	19	17
2	30	17
3	43	17
4	53	17
done	53	17
0	11	12
1	14	12
2	17	12
done	17	12
0	10	17
1	15	17
2	22	12
3	29	12
4	32	12
done	32	12
0	9	12
1	12	12
done	12	7
0	12	16
1	19	15
2	30	15
3	43	13
4	63	13
done	63	13
0	9	11
1	12	11
2	15	11
done	15	11
0	10	17
1	15	17
2	22	12
3	29	12
4	32	12
done	32	12
0	9	12
1	12	12
done	12	7
0	11	15
1	18	13
2	33	13
3	50	13
4	60	13
done	60	13
0	9	11
1	12	11
2	15	11
done	15	11
0	13	20
1	22	19
2	38	19
3	71	17
4	107	17
done	107	17
0	9	11
1	12	11
2	15	11
done	15	11
0	13	19
1	21	15
2	32	15
3	45	13
4	63	13
done	63	13
0	10	11
1	13	11
2	16	11
done	16	11
0	12	16
1	19	15
2	30	15
3	43	13
4	61	13
5	62	13
done	62	13
0	9	11
1	12	11
2	15	11
done	15	11
0	9	15
1	16	13
2	23	11
3	30	9
done	30	9
0	8	10
1	11	10
done	11	6
0	12	16
1	19	15
2	30	15
3	43	13
4	61	13
5	62	13
done	62	13
0	9	11
1	12	11
2	15	11
done	15	11
0	9	14
1	16	11
2	26	11
3	33	9
done	33	9
0	8	10
1	11	10
done	11	6
0	12	21
1	19	21
2	35	21
3	71	21
4	111	21
5	121	21
done	121	21
0	10	12
1	13	12
2	16	12
done	16	12
0	13	20
1	19	17
2	30	17
3	43	17
4	53	17
done	53	17
0	11	12
1	14	12
2	17	12
done	17	12
0	10	17
1	15	17
2	22	12
3	29	12
4	32	12
done	32	12
0	9	12
1	12	12
done	12	7
0	12	16
1	19	15
2	30	15
3	43	13
4	63	13
done	63	13
0	9	11
1	12	11
2	15	11
done	15	11
0	10	17
1	15	17
2	22	12
3	29	12
4	32	12
done	32	12
0	9	12
1	12	12
done	12	7
0	11	15
1	18	13
2	33	13
3	50	13
4	60	13
done	60	13
0	9	11
1	12	11
2	15	11
done	15	11
0	12	19
1	21	17
2	50	17
3	107	17
4	124	17
done	124	17
0	9	11
1	12	11
2	15	11
done	15	11
0	12	18
1	20	13
2	40	13
3	62	13
4	63	13
done	63	13
0	10	11
1	13	11
2	16	11
done	16	11
0	11	15
1	18	13
2	38	13
3	60	13
4	61	13
done	61	13
0	9	11
1	12	11
2	15	11
done	15	11
0	9	14
1	16	9
2	31	9
3	38	9
done	38	9
0	8	10
1	11	10
done	11	6
0	11	15
1	18	13
2	38	13
3	60	13
4	61	13
done	61	13
0	9	11
1	12	11
2	15	11
done	15	11
0	8	13
1	15	9
2	19	9
3	24	9
done	24	9
0	8	10
1	11	10
done	11	6
0	10	20
1	17	20
2	24	20
3	26	14
4	35	10
5	54	10
6	92	10
7	198	10
8	520	10
9	1873	10
done	5000	10
0	9	12
1	12	12
done	12	12
0	13	19
1	19	16
2	25	16
3	33	16
done	33	16
0	11	12
1	14	12
2	17	12
done	17	12
0	11	16
1	16	16
2	22	16
3	30	16
done	30	16
0	10	12
1	13	12
2	16	12
done	16	12
0	12	15
1	19	14
2	25	14
3	33	12
4	40	12
done	40	12
0	9	11
1	12	11
2	15	11
done	15	11
0	11	16
1	16	16
2	22	16
3	30	16
done	30	16
0	10	12
1	13	12
2	16	12
done	16	12
0	11	14
1	18	12
2	28	12
3	44	12
done	44	12
0	9	11
1	12	11
2	15	11
done	15	11
0	13	19
1	19	16
2	25	16
3	31	16
done	31	16
0	11	12
1	14	12
2	17	12
done	17	12
0	10	18
1	14	12
done	14	10
0	9	12
1	12	12
done	12	7
0	12	15
1	16	12
2	19	12
done	19	12
0	11	12
1	14	12
2	17	12
done	17	12
0	12	14
1	18	10
2	21	10
done	21	8
0	10	11
1	13	11
2	16	11
done	16	11
0	12	15
1	16	12
2	19	12
done	19	12
0	11	12
1	14	12
2	17	12
done	17	12
0	11	13
1	17	8
2	24	8
3	26	8
done	26	8
0	10	11
1	13	11
2	16	11
done	16	11
0	11	16
1	16	16
2	22	16
3	28	16
done	28	16
0	10	12
1	13	12
2	16	12
done	16	12
0	12	15
1	16	12
2	19	12
done	19	12
0	11	12
1	14	12
2	17	12
done	17	12
0	9	12
1	12	12
done	12	7
0	9	12
1	12	12
done	12	7
0	11	11
1	16	10
2	19	10
done	19	8
0	9	11
1	12	11
2	15	11
done	15	11
0	9	12
1	12	12
done	12	7
0	9	12
1	12	12
done	12	7
0	10	10
1	15	8
2	22	8
3	24	8
done	24	8
0	9	11
1	12	11
2	15	11
done	15	11
0	12	15
1	19	14
2	25	14
3	31	12
4	41	12
done	41	12
0	9	11
1	12	11
2	15	11
done	15	11
0	12	14
1	18	10
2	21	10
done	21	8
0	10	11
1	13	11
2	16	11
done	16	11
0	11	11
1	16	10
2	19	10
done	19	8
0	9	11
1	12	11
2	15	11
done	15	11
0	8	10
1	13	8
done	13	6
0	8	10
1	11	10
done	11	6
0	11	11
1	16	10
2	19	10
done	19	8
0	9	11
1	12	11
2	15	11
done	15	11
0	8	9
1	13	6
2	16	6
done	16	4
0	8	10
1	11	10
done	11	6
0	11	16
1	16	16
2	22	16
3	28	16
done	28	16
0	10	12
1	13	12
2	16	12
done	16	12
0	12	15
1	16	12
2	19	12
done	19	12
0	11	12
1	14	12
2	17	12
done	17	12
0	9	12
1	12	12
done	12	7
0	9	12
1	12	12
done	12	7
0	11	11
1	16	10
2	19	10
done	19	8
0	9	11
1	12	11
2	15	11
done	15	11
0	9	12
1	12	12
done	12	7
0	9	12
1	12	12
done	12	7
0	10	10
1	15	8
2	22	8
3	24	8
done	24	8
0	9	11
1	12	11
2	15	11
done	15	11
0	11	14
1	18	12
2	27	12
3	35	12
done	35	12
0	9	11
1	12	11
2	15	11
done	15	11
0	11	13
1	17	8
2	23	8
done	23	8
0	10	11
1	13	11
2	16	11
done	16	11
0	10	10
1	15	8
2	21	8
done	21	8
0	9	11
1	12	11
2	15	11
done	15	11
0	8	9
1	13	4
2	19	4
done	19	4
0	8	10
1	11	10
done	11	6
0	10	10
1	15	8
2	21	8
done	21	8
0	9	11
1	12	11
2	15	11
done	15	11
0	7	8
1	12	4
done	12	4
0	8	10
1	11	10
done	11	6
0	7	17
1	15	17
2	22	17
3	26	11
4	34	7
5	51	7
6	89	7
7	195	7
8	522	7
9	1869	7
done	5001	7
0	8	11
1	11	11
done	11	11
0	10	16
1	17	13
2	23	13
3	31	13
done	31	13
0	10	11
1	13	11
2	16	11
done	16	11
0	8	13
1	14	13
2	20	13
3	28	13
done	28	13
0	9	11
1	12	11
2	15	11
done	15	11
0	8	12
1	14	11
2	20	9
3	32	9
done	32	9
0	8	10
1	11	10
2	14	10
done	14	10
0	8	13
1	14	13
2	20	13
3	28	13
done	28	13
0	9	11
1	12	11
2	15	11
done	15	11
0	7	11
1	13	9
2	23	9
3	33	9
done	33	9
0	8	10
1	11	10
2	14	10
done	14	10
0	10	16
1	17	13
2	23	13
3	29	13
done	29	13
0	10	11
1	13	11
2	16	11
done	16	11
0	7	15
1	12	9
done	12	7
0	8	11
1	11	11
done	11	6
0	9	12
1	14	9
2	17	9
done	17	9
0	10	11
1	13	11
2	16	11
done	16	11
0	8	11
1	13	7
2	16	5
3	20	5
done	20	5
0	9	10
1	12	10
2	15	10
done	15	10
0	9	12
1	14	9
2	17	9
done	17	9
0	10	11
1	13	11
2	16	11
done	16	11
0	7	10
1	12	5
2	19	5
done	19	5
0	9	10
1	12	10
2	15	10
done	15	10
0	8	13
1	14	13
2	20	13
3	26	13
done	26	13
0	9	11
1	12	11
2	15	11
done	15	11
0	9	12
1	14	9
2	17	9
done	17	9
0	10	11
1	13	11
2	16	11
done	16	11
0	6	9
1	10	9
done	10	4
0	8	11
1	11	11
done	11	6
0	7	8
1	11	7
2	14	5
3	18	5
done	18	5
0	8	10
1	11	10
2	14	10
done	14	10
0	6	9
1	10	9
done	10	4
0	8	11
1	11	11
done	11	6
0	6	7
1	10	5
2	17	5
done	17	5
0	8	10
1	11	10
2	14	10
done	14	10
0	8	12
1	14	11
2	20	11
3	26	9
4	36	9
done	36	9
0	8	10
1	11	10
2	14	10
done	14	10
0	8	11
1	13	7
2	16	7
done	16	5
0	9	10
1	12	10
2	15	10
done	15	10
0	7	8
1	11	7
2	14	7
done	14	5
0	8	10
1	11	10
2	14	10
done	14	10
0	4	7
1	8	5
done	8	3
0	7	9
1	10	9
done	10	5
0	7	8
1	11	7
2	14	7
done	14	5
0	8	10
1	11	10
2	14	10
done	14	10
0	4	6
1	8	3
2	11	1
done	11	1
0	7	9
1	10	9
done	10	5
0	8	13
1	14	13
2	20	13
3	26	13
done	26	13
0	9	11
1	12	11
2	15	11
done	15	11
0	9	12
1	14	9
2	17	9
done	17	9
0	10	11
1	13	11
2	16	11
done	16	11
0	6	9
1	10	9
done	10	4
0	8	11
1	11	11
done	11	6
0	7	8
1	11	7
2	14	5
3	18	5
done	18	5
0	8	10
1	11	10
2	14	10
done	14	10
0	6	9
1	10	9
done	10	4
0	8	11
1	11	11
done	11	6
0	6	7
1	10	5
2	17	5
done	17	5
0	8	10
1	11	10
2	14	10
done	14	10
0	7	11
1	13	9
2	17	9
3	27	9
4	28	9
done	28	9
0	8	10
1	11	10
2	14	10
done	14	10
0	7	10
1	12	5
2	14	5
3	18	5
done	18	5
0	9	10
1	12	10
2	15	10
done	15	10
0	6	7
1	10	5
2	12	5
3	16	5
done	16	5
0	8	10
1	11	10
2	14	10
done	14	10
0	4	6
1	8	1
done	8	1
0	7	9
1	10	9
done	10	5
0	6	7
1	10	5
2	12	5
3	16	5
done	16	5
0	8	10
1	11	10
2	14	10
done	14	10
0	3	5
1	7	1
done	7	1
0	7	9
1	10	9
done	10	5
0	7	17
1	15	17
2	22	17
3	26	11
4	34	7
5	51	7
6	89	7
7	195	7
8	522	7
9	1869	7
done	5001	7
0	8	11
1	11	11
done	11	11
0	10	16
1	17	13
2	23	13
3	31	13
done	31	13
0	10	11
1	13	11
2	16	11
done	16	11
0	8	13
1	14	13
2	20	13
3	28	13
done	28	13
0	9	11
1	12	11
2	15	11
done	15	11
0	8	12
1	14	11
2	20	9
3	32	9
done	32	9
0	8	10
1	11	10
2	14	10
done	14	10
0	8	13
1	14	13
2	20	13
3	28	13
done	28	13
0	9	11
1	12	11
2	15	11
done	15	11
0	7	11
1	13	9
2	23	9
3	33	9
done	33	9
0	8	10
1	11	10
2	14	10
done	14	10
0	10	16
1	17	13
2	23	13
3	29	13
done	29	13
0	10	11
1	13	11
2	16	11
done	16	11
0	7	15
1	12	9
done	12	7
0	8	11
1	11	11
done	11	6
0	9	12
1	14	9
2	17	9
done	17	9
0	10	11
1	13	11
2	16	11
done	16	11
0	8	11
1	13	7
2	16	5
3	20	5
done	20	5
0	9	10
1	12	10
2	15	10
done	15	10
0	9	12
1	14	9
2	17	9
done	17	9
0	10	11
1	13	11
2	16	11
done	16	11
0	7	10
1	12	5
2	19	5
done	19	5
0	9	10
1	12	10
2	15	10
done	15	10
0	8	13
1	14	13
2	20	13
3	26	13
done	26	13
0	9	11
1	12	11
2	15	11
done	15	11
0	9	12
1	14	9
2	17	9
done	17	9
0	10	11
1	13	11
2	16	11
done	16	11
0	6	9
1	10	9
done	10	4
0	8	11
1	11	11
done	11	6
0	7	8
1	11	7
2	14	5
3	18	5
done	18	5
0	8	10
1	11	10
2	14	10
done	14	10
0	6	9
1	10	9
done	10	4
0	8	11
1	11	11
done	11	6
0	6	7
1	10	5
2	17	5
done	17	5
0	8	10
1	11	10
2	14	10
done	14	10
0	8	12
1	14	11
2	20	11
3	26	9
4	36	9
done	36	9
0	8	10
1	11	10
2	14	10
done	14	10
0	8	11
1	13	7
2	16	7
done	16	5
0	9	10
1	12	10
2	15	10
done	15	10
0	7	8
1	11	7
2	14	7
done	14	5
0	8	10
1	11	10
2	14	10
done	14	10
0	4	7
1	8	5
done	8	3
0	7	9
1	10	9
done	10	5
0	7	8
1	11	7
2	14	7
done	14	5
0	8	10
1	11	10
2	14	10
done	14	10
0	4	6
1	8	3
2	11	1
done	11	1
0	7	9
1	10	9
done	10	5
0	8	13
1	14	13
2	20	13
3	26	13
done	26	13
0	9	11
1	12	11
2	15	11
done	15	11
0	9	12
1	14	9
2	17	9
done	17	9
0	10	11
1	13	11
2	16	11
done	16	11
0	6	9
1	10	9
done	10	4
0	8	11
1	11	11
done	11	6
0	7	8
1	11	7
2	14	5
3	18	5
done	18	5
0	8	10
1	11	10
2	14	10
done	14	10
0	6	9
1	10	9
done	10	4
0	8	11
1	11	11
done	11	6
0	6	7
1	10	5
2	17	5
done	17	5
0	8	10
1	11	10
2	14	10
done	14	10
0	7	11
1	13	9
2	17	9
3	27	9
4	28	9
done	28	9
0	8	10
1	11	10
2	14	10
done	14	10
0	7	10
1	12	5
2	14	5
3	18	5
done	18	5
0	9	10
1	12	10
2	15	10
done	15	10
0	6	7
1	10	5
2	12	5
3	16	5
done	16	5
0	8	10
1	11	10
2	14	10
done	14	10
0	4	6
1	8	1
done	8	1
0	7	9
1	10	9
done	10	5
0	6	7
1	10	5
2	12	5
3	16	5
done	16	5
0	8	10
1	11	10
2	14	10
done	14	10
0	3	5
1	7	1
done	7	1
0	7	9
1	10	9
done	10	5
0	6	9
1	10	9
done	10	9
0	8	10
1	11	10
2	14	10
done	14	10
0	6	8
1	9	5
done	9	5
0	9	10
1	12	10
2	15	10
done	15	10
0	5	5
1	7	5
done	7	5
0	8	10
1	11	10
2	14	10
done	14	10
0	3	4
1	5	3
done	5	3
0	7	9
1	10	9
done	10	5
0	5	5
1	7	5
done	7	5
0	8	10
1	11	10
2	14	10
done	14	10
0	2	3
1	4	1
done	4	1
0	7	9
1	10	9
done	10	5
0	8	11
1	11	11
done	11	11
0	6	8
1	10	8
2	13	8
done	13	8
0	8	10
1	10	7
done	10	7
0	7	8
1	11	8
2	14	8
done	14	8
0	7	7
1	8	7
done	8	7
0	6	8
1	10	8
2	13	8
done	13	8
0	6	6
1	9	5
done	9	5
0	5	7
1	9	7
done	9	3
0	7	7
1	8	7
done	8	7
0	6	8
1	10	8
2	13	8
done	13	8
0	5	5
1	8	3
2	10	3
done	10	3
0	5	7
1	9	7
done	9	3
0	4	4
1	6	4
done	6	4
0	7	9
1	10	9
2	13	9
done	13	5
0	9	14
1	14	14
2	20	14
3	26	14
done	26	14
0	10	13
1	14	10
2	17	10
done	17	10
0	8	10
1	11	10
2	14	10
done	14	10
0	9	9
1	14	8
2	17	8
done	17	6
0	8	10
1	11	10
2	14	10
done	14	10
0	8	8
1	13	6
2	20	6
3	22	6
done	22	6
0	8	10
1	9	10
done	9	10
0	8	10
1	9	10
done	9	10
0	9	11
1	12	11
2	15	11
3	16	11
4	18	11
5	20	11
6	21	11
done	21	11
0	10	11
1	13	11
2	16	11
3	17	11
4	19	11
5	21	11
6	22	11
done	22	11
0	9	11
1	12	11
2	15	11
3	16	11
4	18	11
5	20	11
6	21	11
done	21	11
0	8	10
1	11	10
2	14	10
done	14	6
0	9	11
1	12	11
2	15	11
3	16	11
4	18	11
5	20	11
6	21	11
done	21	11
0	8	10
1	11	10
2	14	10
done	14	6
0	9	11
1	12	11
2	15	11
3	16	11
4	18	11
5	20	11
6	21	11
done	21	11
0	10	11
1	13	11
2	16	11
3	17	11
4	19	11
5	21	11
6	22	11
done	22	11
0	9	11
1	12	11
2	15	11
3	16	11
4	18	11
5	20	11
6	21	11
done	21	11
0	8	10
1	11	10
2	14	10
done	14	6
0	9	11
1	12	11
2	15	11
3	16	11
4	18	11
5	20	11
6	21	11
done	21	11
0	8	10
1	11	10
2	14	10
done	14	6
0	8	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	8	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	7	9
1	10	9
2	13	9
done	13	5
0	8	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	7	9
1	10	9
2	13	9
done	13	5
0	8	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	8	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	7	9
1	10	9
2	13	9
done	13	5
0	8	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	7	9
1	10	9
2	13	9
done	13	5
0	7	9
1	10	9
2	13	9
done	13	5
0	5	7
1	9	7
2	12	5
3	16	1
4	17	1
done	17	1
0	3	5
done	3	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	9	13
1	15	13
2	31	7
3	46	7
4	81	7
5	186	7
6	538	7
7	2090	7
done	5000	7
0	9	13
1	15	13
2	31	7
3	46	7
4	81	7
5	186	7
6	538	7
7	2090	7
done	5000	7
0	9	13
1	15	13
2	31	7
3	46	7
4	81	7
5	186	7
6	538	7
7	2090	7
done	5000	7

prune312.0ms

Filtered

129 candidates to 271 candidates (-110.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	271	0	271
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	271	4	275

Merged error: 0b

Counts

275 → 4

regimes166.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	6	5
done	6	5

end0.0ms

sample419.0ms

Algorithm

intervals

Results

174.0ms

8000×

body

valid

Details

sample33.0ms

simplify11.0ms

prune4.0ms

localize6.0ms

rewrite12.0ms

series32.0ms

simplify6.5s

prune53.0ms

localize11.0ms

rewrite41.0ms

series30.0ms

simplify53.7s

prune189.0ms

localize4.0ms

rewrite7.0ms

series5.0ms

simplify16.0s

prune33.0ms

localize6.0ms

rewrite44.0ms

series28.0ms

simplify37.9s

prune312.0ms

regimes166.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample419.0ms

Profiling