Details

sample25.0ms

Algorithm

intervals

Results

12.0ms	245×	body	80	valid
1.0ms	5×	body	2560	valid
0.0ms	3×	body	1280	valid
0.0ms	2×	body	320	valid
0.0ms	1×	body	640	valid

simplify4.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	10	8
2	11	8
done	11	8

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.1b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

3×	`*-un-lft-identity` `add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `flip3-+` `sum-log` `add-cbrt-cube` `flip-+` `distribute-lft-out`

Counts

1 → 12

Calls

1 calls:

6.0ms

(+ x (/ (fabs (- y x)) 2.0))

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(+ x (/ (fabs (- y x)) 2.0))

simplify14.1s

Counts

15 → 15

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	14	9
2	16	9
done	16	9
0	8	9
1	11	9
2	12	9
done	12	9
0	8	9
1	14	9
2	16	9
done	16	9
0	9	19
1	12	19
2	13	19
done	13	19
0	8	9
1	11	9
2	12	9
done	12	9
0	9	26
1	25	26
2	66	10
3	174	10
4	441	10
5	1189	10
6	2616	10
7	4444	10
done	5000	10
0	8	9
1	11	9
2	12	9
done	12	9
0	8	9
1	11	9
2	12	9
done	12	9
0	10	12
1	29	12
2	57	12
3	122	12
4	309	12
5	882	12
6	3728	12
done	5001	12
0	11	26
1	27	19
2	54	19
3	92	19
4	133	19
5	167	19
6	188	19
7	229	19
8	334	19
9	506	19
10	544	19
done	544	19
0	9	17
1	20	17
2	36	17
3	70	17
4	124	17
5	202	17
6	291	17
7	481	17
8	1870	17
done	5000	17
0	7	8
1	11	8
2	15	8
done	15	8
0	7	8
1	10	8
2	11	8
done	11	8
0	7	8
1	11	8
2	12	8
done	12	8
0	7	8
1	11	8
2	12	8
done	12	8
0	7	8
1	11	8
2	12	8
done	12	8

prune25.0ms

Filtered

11 candidates to 15 candidates (-36.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	14	1	15
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	14	2	16

Merged error: 0.0b

Counts

16 → 2

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ (fabs (- y x)) 2.0))
0.0b	(sqrt (+ x (/ (fabs (- y x)) 2.0)))
0.0b	(sqrt (+ x (/ (fabs (- y x)) 2.0)))
0.4b	(* (sqrt (+ x (/ (fabs (- y x)) 2.0))) (sqrt (+ x (/ (fabs (- y x)) 2.0))))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity` `sqrt-prod`
28×	`add-sqr-sqrt`
21×	`pow1`
16×	`sqrt-div`
14×	`add-cube-cbrt`
11×	`swap-sqr`
10×	`sqrt-pow1` `pow1/2`
9×	`flip3-+` `flip-+` `distribute-lft-out`
7×	`associate-r` `associate-l`
6×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
5×	`pow-prod-up`
4×	`frac-times` `unswap-sqr`
3×	`pow-prod-down` `pow-sqr`
2×	`rem-sqrt-square` `associate-r/` `associate-l/`
1×	`+-commutative` `pow2` `pow-plus` `sqrt-unprod` `prod-exp` `sum-log` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 106

Calls

4 calls:

7.0ms	(+ x (/ (fabs (- y x)) 2.0))
6.0ms	(sqrt (+ x (/ (fabs (- y x)) 2.0)))
7.0ms	(sqrt (+ x (/ (fabs (- y x)) 2.0)))
18.0ms	(* (sqrt (+ x (/ (fabs (- y x)) 2.0))) (sqrt (+ x (/ (fabs (- y x)) 2.0))))

series47.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(+ x (/ (fabs (- y x)) 2.0))
20.0ms	(sqrt (+ x (/ (fabs (- y x)) 2.0)))
16.0ms	(sqrt (+ x (/ (fabs (- y x)) 2.0)))
6.0ms	(* (sqrt (+ x (/ (fabs (- y x)) 2.0))) (sqrt (+ x (/ (fabs (- y x)) 2.0))))

simplify1.6min

Counts

118 → 118

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	8	17
1	17	17
2	35	17
3	67	17
4	100	17
5	128	17
6	172	17
7	213	17
8	236	17
9	242	17
10	244	17
done	244	17
0	9	19
1	12	8
2	14	8
done	14	8
0	8	17
1	17	17
2	35	17
3	67	17
4	100	17
5	128	17
6	172	17
7	213	17
8	236	17
9	242	17
10	244	17
done	244	17
0	2	3
1	6	1
done	6	1
0	10	21
1	15	12
2	17	12
done	17	12
0	10	20
1	15	9
2	19	9
3	20	9
done	20	9
0	10	20
1	15	9
2	25	9
3	30	9
4	48	9
5	90	9
6	201	9
7	588	9
8	2251	9
done	5000	9
0	11	59
1	21	26
2	66	23
3	163	10
4	404	10
5	1014	10
6	2772	10
done	5000	10
0	11	41
1	14	19
2	16	19
done	16	19
0	10	20
1	13	9
2	15	9
done	15	9
0	11	59
1	22	26
2	55	10
3	149	10
4	383	10
5	995	10
6	2736	10
done	5001	10
0	8	17
1	17	17
2	35	17
3	67	17
4	100	17
5	128	17
6	172	17
7	213	17
8	236	17
9	242	17
10	244	17
done	244	17
0	10	20
1	14	9
2	15	9
done	15	9
0	10	20
1	14	9
2	15	9
done	15	9
0	12	27
1	31	12
2	60	12
3	125	12
4	310	12
5	884	12
6	3745	12
done	5000	12
0	13	55
1	29	19
2	57	19
3	95	19
4	136	19
5	170	19
6	191	19
7	232	19
8	337	19
9	512	19
10	554	19
11	560	19
done	560	19
0	16	32
1	43	32
2	85	32
3	180	32
4	415	32
5	1026	32
6	3978	32
done	5000	32
0	15	37
1	34	30
2	63	30
3	100	30
4	138	30
5	171	30
6	192	30
7	233	30
8	338	30
9	510	30
10	548	30
done	548	30
0	16	32
1	43	32
2	85	32
3	180	32
4	414	32
5	1034	32
6	3953	32
done	5001	32
0	15	37
1	34	30
2	63	30
3	100	30
4	138	30
5	171	30
6	192	30
7	233	30
8	338	30
9	510	30
10	548	30
done	548	30
0	11	37
1	22	17
2	39	17
3	73	17
4	127	17
5	205	17
6	296	17
7	486	17
8	1838	17
done	5000	17
0	9	19
1	13	8
2	18	8
done	18	8
0	11	43
1	18	43
2	21	23
3	30	12
4	45	12
5	71	12
6	144	12
7	352	12
8	1253	12
done	5001	12
0	10	21
1	13	21
2	14	21
done	14	21
0	11	41
1	15	19
2	17	19
done	17	19
0	10	21
1	13	9
2	15	9
done	15	9
0	10	21
1	13	9
2	15	9
done	15	9
0	10	21
1	13	9
2	15	9
done	15	9
0	10	21
1	13	9
2	15	9
done	15	9
0	10	21
1	13	9
2	15	9
done	15	9
0	3	5
1	5	1
done	5	1
0	9	19
1	12	8
2	14	8
done	14	8
0	3	5
1	5	1
done	5	1
0	9	19
1	12	8
2	14	8
done	14	8
0	3	5
1	5	1
done	5	1
0	9	19
1	12	8
2	14	8
done	14	8
0	3	5
1	5	1
done	5	1
0	9	19
1	12	8
2	14	8
done	14	8
0	10	21
1	13	9
2	15	9
done	15	9
0	10	21
1	13	9
2	15	9
done	15	9
0	10	21
1	13	9
2	15	9
done	15	9
0	10	21
1	13	9
2	15	9
done	15	9
0	2	3
1	4	1
done	4	1
0	9	19
1	12	8
2	14	8
done	14	8
0	10	21
1	13	9
2	15	9
done	15	9
0	10	21
1	13	9
2	15	9
done	15	9
0	10	21
1	13	9
2	15	9
done	15	9
0	10	21
1	13	9
2	15	9
done	15	9
0	10	21
1	13	9
2	15	9
done	15	9
0	10	21
1	13	9
2	15	9
done	15	9
0	10	21
1	13	9
2	15	9
done	15	9
0	10	21
1	13	9
2	15	9
done	15	9
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	11	31
1	17	31
2	20	31
done	20	31
0	12	30
1	17	20
2	18	20
done	18	20
0	10	20
1	14	20
2	15	20
done	15	20
0	11	12
1	17	11
2	18	11
done	18	9
0	11	12
1	17	11
2	18	11
done	18	9
0	10	20
1	14	20
2	15	20
done	15	20
0	10	11
1	16	9
2	20	9
done	20	9
0	10	20
1	14	20
2	15	20
done	15	20
0	11	20
1	15	20
2	16	20
done	16	20
0	10	20
1	14	20
2	15	20
done	15	20
0	9	19
1	12	8
2	14	8
done	14	8
0	9	19
1	12	8
2	14	8
done	14	8
0	10	20
1	14	20
2	15	20
done	15	20
0	9	19
1	12	8
2	14	8
done	14	8
0	14	23
1	35	23
2	63	23
3	128	23
4	312	23
5	877	23
6	3709	23
done	5000	23
0	13	28
1	25	28
2	40	28
3	74	28
4	128	28
5	206	28
6	283	28
7	473	28
8	1817	28
done	5000	28
0	14	23
1	35	23
2	63	23
3	128	23
4	312	23
5	873	23
6	3722	23
done	5000	23
0	13	28
1	25	28
2	40	28
3	74	28
4	128	28
5	206	28
6	297	28
7	487	28
8	1892	28
done	5001	28
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	12	10
2	13	10
done	13	10
0	10	21
1	13	21
2	14	21
done	14	21
0	9	10
1	12	10
2	13	10
done	13	10
0	10	29
1	14	18
2	26	11
3	35	11
4	45	11
5	57	11
6	79	11
7	146	11
8	368	11
9	1306	11
done	5001	11
0	10	20
1	14	10
2	15	10
done	15	10
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	12	10
2	13	10
done	13	10
0	2	2
1	4	1
done	4	1
0	8	9
1	11	9
2	12	9
done	12	9
0	2	2
1	4	1
done	4	1
0	8	9
1	11	9
2	12	9
done	12	9
0	11	13
1	30	13
2	58	13
3	123	13
4	306	13
5	888	13
6	3739	13
done	5000	13
0	12	27
1	28	20
2	55	20
3	93	20
4	134	20
5	168	20
6	189	20
7	230	20
8	335	20
9	507	20
10	545	20
done	545	20
0	10	18
1	21	18
2	37	18
3	71	18
4	125	18
5	203	18
6	294	18
7	484	18
8	1856	18
done	5001	18
0	8	9
1	12	9
2	16	9
done	16	9
0	3	3
1	6	1
done	6	1
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	12	10
2	13	10
done	13	10
0	10	21
1	13	21
2	14	21
done	14	21
0	9	10
1	12	10
2	13	10
done	13	10
0	10	29
1	14	18
2	26	11
3	35	11
4	45	11
5	57	11
6	79	11
7	146	11
8	368	11
9	1306	11
done	5001	11
0	10	20
1	14	10
2	15	10
done	15	10
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	12	10
2	13	10
done	13	10
0	2	2
1	4	1
done	4	1
0	8	9
1	11	9
2	12	9
done	12	9
0	2	2
1	4	1
done	4	1
0	8	9
1	11	9
2	12	9
done	12	9
0	11	13
1	30	13
2	58	13
3	123	13
4	306	13
5	888	13
6	3739	13
done	5000	13
0	12	27
1	28	20
2	55	20
3	93	20
4	134	20
5	168	20
6	189	20
7	230	20
8	335	20
9	507	20
10	545	20
done	545	20
0	10	18
1	21	18
2	37	18
3	71	18
4	125	18
5	203	18
6	294	18
7	484	18
8	1856	18
done	5001	18
0	8	9
1	12	9
2	16	9
done	16	9
0	3	3
1	6	1
done	6	1
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	14	9
2	16	9
done	16	9
0	8	9
1	11	9
2	12	9
done	12	9
0	8	9
1	14	9
2	16	9
done	16	9
0	9	19
1	12	19
2	13	19
done	13	19
0	8	9
1	11	9
2	12	9
done	12	9
0	9	26
1	25	26
2	66	10
3	174	10
4	441	10
5	1189	10
6	2616	10
7	4444	10
done	5000	10
0	8	9
1	11	9
2	12	9
done	12	9
0	8	9
1	11	9
2	12	9
done	12	9
0	10	12
1	29	12
2	57	12
3	122	12
4	309	12
5	882	12
6	3728	12
done	5001	12
0	11	26
1	27	19
2	54	19
3	92	19
4	133	19
5	167	19
6	188	19
7	229	19
8	334	19
9	506	19
10	544	19
done	544	19
0	9	17
1	20	17
2	36	17
3	70	17
4	124	17
5	202	17
6	291	17
7	481	17
8	1870	17
done	5000	17
0	7	8
1	11	8
2	15	8
done	15	8
0	7	8
1	10	8
2	11	8
done	11	8
0	7	8
1	11	8
2	12	8
done	12	8
0	7	8
1	11	8
2	12	8
done	12	8
0	7	8
1	11	8
2	12	8
done	12	8
0	28	44
1	66	44
2	171	44
3	655	44
4	3341	39
done	5001	39
0	26	43
1	70	43
2	221	43
3	653	43
4	2370	38
done	5001	38
0	26	43
1	70	43
2	221	43
3	653	43
4	2413	38
done	5000	38
0	28	44
1	66	44
2	171	44
3	655	44
4	3341	39
done	5001	39
0	26	43
1	70	43
2	221	43
3	653	43
4	2370	38
done	5001	38
0	26	43
1	70	43
2	221	43
3	653	43
4	2413	38
done	5000	38
0	7	8
1	11	8
2	12	8
done	12	8
0	7	8
1	11	8
2	12	8
done	12	8
0	7	8
1	11	8
2	12	8
done	12	8

prune186.0ms

Filtered

73 candidates to 118 candidates (-61.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	114	4	118
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	115	5	120

Merged error: 0.0b

Counts

120 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
0.1b	(sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
0.4b	(* (sqrt (+ x (/ (fabs (- y x)) 2.0))) (* (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))) (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))))
0.4b	(* (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))) (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))))

rewrite88.0ms

Algorithm

rewrite-expression-head

Rules

122×	`sqrt-div`
112×	`sqrt-prod`
91×	`sqrt-pow1`
69×	`pow1`
60×	`add-sqr-sqrt`
47×	`pow1/2`
42×	`*-un-lft-identity`
39×	`pow-prod-up`
35×	`flip3-+` `flip-+`
32×	`frac-times`
22×	`add-cube-cbrt`
20×	`swap-sqr`
17×	`associate-l`
16×	`associate-*r/`
12×	`pow-prod-down`
11×	`add-exp-log` `associate-r` `pow-sqr` `add-cbrt-cube` `unswap-sqr`
10×	`associate-*l/`
9×	`distribute-lft-out`
4×	`rem-sqrt-square` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`sqrt-unprod`
2×	`*-commutative`
1×	`pow2` `pow-plus` `rem-square-sqrt`

Counts

4 → 205

Calls

4 calls:

7.0ms	(sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
7.0ms	(sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
38.0ms	(* (sqrt (+ x (/ (fabs (- y x)) 2.0))) (* (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))) (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))))
23.0ms	(* (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))) (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))))

series72.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
28.0ms	(sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
6.0ms	(* (sqrt (+ x (/ (fabs (- y x)) 2.0))) (* (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))) (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))))
16.0ms	(* (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))) (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))))

simplify4.0min

Counts

217 → 217

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	4	7
1	6	3
2	7	1
done	7	1
0	7	9
1	14	3
done	14	1
0	5	5
1	8	3
done	8	1
0	4	7
1	8	3
2	9	1
done	9	1
0	7	9
1	14	3
done	14	1
0	5	11
1	12	5
2	18	1
done	18	1
0	9	19
1	12	8
2	14	8
done	14	8
0	10	21
1	13	9
2	15	9
done	15	9
0	8	17
1	17	17
2	35	17
3	67	17
4	100	17
5	128	17
6	172	17
7	213	17
8	236	17
9	242	17
10	244	17
done	244	17
0	9	19
1	12	8
2	14	8
done	14	8
0	8	17
1	17	17
2	35	17
3	67	17
4	100	17
5	128	17
6	172	17
7	213	17
8	236	17
9	242	17
10	244	17
done	244	17
0	2	3
1	6	1
done	6	1
0	11	23
1	16	13
2	18	13
done	18	13
0	11	22
1	16	10
2	20	10
3	21	10
done	21	10
0	11	22
1	16	10
2	22	10
3	27	10
4	45	10
5	85	10
6	191	10
7	566	10
8	2242	10
done	5000	10
0	12	65
1	22	29
2	35	18
3	65	11
4	110	11
5	201	11
6	443	11
7	1467	11
done	5000	11
0	12	45
1	15	21
2	17	21
done	17	21
0	11	22
1	14	10
2	16	10
done	16	10
0	12	65
1	23	29
2	33	11
3	64	11
4	110	11
5	203	11
6	455	11
7	1541	11
done	5000	11
0	9	19
1	12	8
2	14	8
done	14	8
0	11	22
1	15	10
2	16	10
done	16	10
0	11	22
1	15	10
2	16	10
done	16	10
0	13	29
1	32	13
2	61	13
3	126	13
4	311	13
5	884	13
6	3723	13
done	5001	13
0	14	57
1	30	20
2	58	20
3	96	20
4	137	20
5	171	20
6	192	20
7	233	20
8	338	20
9	510	20
10	548	20
done	548	20
0	18	34
1	45	34
2	87	34
3	182	34
4	419	34
5	1029	34
6	3977	34
done	5000	34
0	17	39
1	36	32
2	65	32
3	102	32
4	140	32
5	173	32
6	194	32
7	235	32
8	340	32
9	512	32
10	550	32
done	550	32
0	18	34
1	45	34
2	87	34
3	182	34
4	417	34
5	1032	34
6	3967	34
done	5000	34
0	17	39
1	36	32
2	65	32
3	102	32
4	140	32
5	173	32
6	194	32
7	235	32
8	340	32
9	512	32
10	549	32
done	549	32
0	12	39
1	23	18
2	40	18
3	74	18
4	128	18
5	206	18
6	297	18
7	487	18
8	1865	18
done	5000	18
0	10	21
1	14	9
2	19	9
done	19	9
0	12	47
1	19	47
2	22	25
3	31	13
4	46	13
5	74	13
6	146	13
7	355	13
8	1265	13
done	5000	13
0	11	23
1	14	23
2	15	23
done	15	23
0	12	45
1	16	21
2	18	21
done	18	21
0	11	23
1	14	10
2	16	10
done	16	10
0	12	43
1	16	10
2	18	10
done	18	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	4	7
1	6	1
done	6	1
0	10	21
1	13	9
2	15	9
done	15	9
0	4	7
1	6	1
done	6	1
0	10	21
1	13	9
2	15	9
done	15	9
0	4	7
1	6	1
done	6	1
0	10	21
1	13	9
2	15	9
done	15	9
0	4	7
1	6	1
done	6	1
0	10	21
1	13	9
2	15	9
done	15	9
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	3	5
1	5	1
done	5	1
0	10	21
1	13	9
2	15	9
done	15	9
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	2	3
1	4	1
done	4	1
0	10	21
1	13	9
2	15	9
done	15	9
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	14	10
2	16	10
done	16	10
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	9	3
2	11	1
done	11	1
0	4	5
1	10	1
done	10	1
0	5	7
1	14	5
2	22	1
done	22	1
0	12	34
1	18	34
2	21	34
done	21	34
0	13	33
1	18	22
2	19	22
done	19	22
0	14	32
1	19	22
2	20	22
done	20	22
0	11	22
1	15	22
2	16	22
done	16	22
0	13	14
1	19	12
2	20	12
done	20	10
0	13	14
1	19	12
2	20	12
done	20	10
0	11	22
1	15	22
2	16	22
done	16	22
0	12	13
1	18	12
2	19	12
done	19	10
0	11	22
1	15	22
2	16	22
done	16	22
0	11	12
1	17	10
2	21	10
done	21	10
0	11	22
1	15	22
2	16	22
done	16	22
0	12	22
1	16	22
2	17	22
done	17	22
0	13	22
1	17	22
2	18	22
done	18	22
0	11	22
1	15	22
2	16	22
done	16	22
0	10	21
1	13	9
2	15	9
done	15	9
0	10	21
1	13	9
2	15	9
done	15	9
0	11	22
1	15	22
2	16	22
done	16	22
0	10	21
1	13	9
2	15	9
done	15	9
0	11	22
1	15	22
2	16	22
done	16	22
0	10	21
1	13	9
2	15	9
done	15	9
0	16	25
1	37	25
2	65	25
3	130	25
4	312	25
5	879	25
6	3721	25
done	5000	25
0	15	30
1	27	30
2	42	30
3	76	30
4	130	30
5	208	30
6	285	30
7	475	30
8	1852	30
done	5000	30
0	16	25
1	37	25
2	65	25
3	130	25
4	315	25
5	885	25
6	3743	25
done	5000	25
0	15	30
1	27	30
2	42	30
3	76	30
4	130	30
5	208	30
6	297	30
7	487	30
8	1899	30
done	5000	30
0	5	9
1	10	5
2	15	1
3	17	1
done	17	1
0	8	11
1	18	5
2	21	1
done	21	1
0	8	11
1	18	5
2	21	1
done	21	1
0	7	13
1	16	7
2	25	1
done	25	1
0	5	7
1	11	5
2	13	1
done	13	1
0	7	9
1	16	3
2	17	1
done	17	1
0	4	5
1	12	3
2	13	1
done	13	1
0	6	7
1	13	1
done	13	1
0	6	7
1	12	5
2	15	1
done	15	1
0	5	9
1	12	5
2	16	3
done	16	1
0	5	5
1	9	1
done	9	1
0	5	7
1	12	1
done	12	1
0	7	11
1	14	3
2	17	1
done	17	1
0	8	13
1	18	5
2	21	1
done	21	1
0	8	13
1	18	5
2	21	1
done	21	1
0	6	15
1	16	7
2	25	1
done	25	1
0	7	9
1	14	3
done	14	1
0	6	11
1	17	5
2	20	1
done	20	1
0	10	28
1	16	17
2	28	17
3	58	17
4	105	11
5	166	11
6	227	11
7	368	11
8	670	11
9	1814	11
done	5000	11
0	11	31
1	17	19
2	21	8
3	24	8
4	33	8
5	48	8
6	75	8
7	149	8
8	356	8
9	1264	8
done	5001	8
0	11	31
1	17	19
2	21	8
3	24	8
4	33	8
5	48	8
6	75	8
7	149	8
8	356	8
9	1264	8
done	5001	8
0	10	28
1	16	17
2	28	17
3	58	17
4	105	11
5	166	11
6	227	11
7	368	11
8	670	11
9	1814	11
done	5000	11
0	13	34
1	21	24
2	25	24
done	25	24
0	13	33
1	19	21
2	27	21
3	36	12
4	45	12
done	45	12
0	12	32
1	20	20
2	30	9
3	42	9
4	57	9
5	75	9
6	111	9
7	220	9
8	572	9
9	1969	9
done	5000	9
0	12	32
1	20	20
2	32	9
3	54	9
4	99	9
5	207	9
6	473	9
7	1469	9
done	5000	9
0	15	95
1	31	37
2	87	23
3	228	10
4	647	10
5	2462	10
done	5000	10
0	15	95
1	32	37
2	92	23
3	271	10
4	755	10
5	2769	10
done	5000	10
0	13	65
1	19	41
2	23	19
3	26	19
4	35	19
5	50	19
6	77	19
7	149	19
8	361	19
9	1266	19
done	5001	19
0	12	32
1	18	20
2	22	9
3	25	9
4	34	9
5	49	9
6	76	9
7	147	9
8	360	9
9	1257	9
done	5001	9
0	13	95
1	29	59
2	65	10
3	165	10
4	462	10
5	1360	10
6	4904	10
done	5000	10
0	10	28
1	16	17
2	28	17
3	58	17
4	105	11
5	166	11
6	227	11
7	368	11
8	670	11
9	1814	11
done	5000	11
0	12	32
1	18	20
2	22	9
3	25	9
4	34	9
5	49	9
6	76	9
7	147	9
8	360	9
9	1257	9
done	5001	9
0	12	32
1	18	20
2	22	9
3	25	9
4	34	9
5	49	9
6	76	9
7	147	9
8	360	9
9	1257	9
done	5001	9
0	14	43
1	36	27
2	67	12
3	134	12
4	325	12
5	911	12
6	3777	12
done	5000	12
0	15	85
1	34	41
2	64	19
3	105	19
4	155	19
5	204	19
6	252	19
7	363	19
8	676	19
9	1844	19
done	5001	19
0	19	48
1	49	48
2	97	48
3	192	48
4	429	48
5	1041	48
6	3974	48
done	5001	48
0	18	67
1	40	53
2	75	53
3	112	53
4	150	53
5	183	53
6	204	53
7	245	53
8	350	53
9	522	53
10	559	53
done	559	53
0	19	48
1	49	48
2	97	48
3	192	48
4	429	48
5	1042	48
6	3982	48
done	5000	48
0	18	67
1	40	53
2	75	53
3	112	53
4	150	53
5	183	53
6	204	53
7	245	53
8	350	53
9	522	53
10	560	53
done	560	53
0	18	53
1	47	32
2	92	32
3	187	32
4	425	32
5	1036	32
6	3992	32
done	5001	32
0	17	49
1	38	30
2	70	30
3	107	30
4	145	30
5	178	30
6	199	30
7	240	30
8	345	30
9	517	30
10	555	30
done	555	30
0	17	39
1	41	39
2	75	39
3	142	39
4	327	39
5	903	39
6	3756	39
done	5001	39
0	14	56
1	31	42
2	58	42
3	96	42
4	137	42
5	171	42
6	192	42
7	233	42
8	338	42
9	510	42
10	547	42
done	547	42
0	21	44
1	51	44
2	98	44
3	193	44
4	430	44
5	1038	44
6	3975	44
done	5001	44
0	16	38
1	35	31
2	64	31
3	101	31
4	139	31
5	172	31
6	193	31
7	234	31
8	339	31
9	511	31
10	549	31
done	549	31
0	17	39
1	41	39
2	75	39
3	142	39
4	327	39
5	903	39
6	3756	39
done	5001	39
0	14	56
1	31	42
2	58	42
3	96	42
4	137	42
5	171	42
6	192	42
7	233	42
8	338	42
9	510	42
10	547	42
done	547	42
0	21	44
1	51	44
2	98	44
3	193	44
4	430	44
5	1038	44
6	3986	44
done	5001	44
0	16	38
1	35	31
2	64	31
3	101	31
4	139	31
5	172	31
6	193	31
7	234	31
8	339	31
9	511	31
10	549	31
done	549	31
0	18	48
1	47	32
2	92	32
3	187	32
4	421	32
5	1030	32
6	3978	32
done	5000	32
0	17	67
1	38	30
2	70	30
3	107	30
4	145	30
5	178	30
6	199	30
7	240	30
8	345	30
9	517	30
10	555	30
done	555	30
0	19	53
1	49	53
2	97	53
3	192	53
4	426	53
5	1044	53
6	3961	53
done	5000	53
0	18	49
1	40	42
2	75	42
3	112	42
4	150	42
5	183	42
6	204	42
7	245	42
8	350	42
9	522	42
10	559	42
done	559	42
0	19	53
1	49	53
2	97	53
3	192	53
4	426	53
5	1043	53
6	3964	53
done	5000	53
0	18	49
1	40	42
2	75	42
3	112	42
4	150	42
5	183	42
6	204	42
7	245	42
8	350	42
9	522	42
10	559	42
done	559	42
0	13	58
1	27	37
2	46	17
3	83	17
4	146	17
5	239	17
6	345	17
7	609	17
8	2179	17
done	5000	17
0	11	31
1	18	19
2	25	8
3	28	8
4	37	8
5	52	8
6	79	8
7	151	8
8	359	8
9	1254	8
done	5000	8
0	21	44
1	51	44
2	98	44
3	193	44
4	428	44
5	1033	44
6	3966	44
done	5000	44
0	16	38
1	35	31
2	64	31
3	101	31
4	139	31
5	172	31
6	193	31
7	234	31
8	339	31
9	511	31
10	549	31
done	549	31
0	16	49
1	31	49
2	52	49
3	88	49
4	142	49
5	220	49
6	311	49
7	501	49
8	1915	49
done	5000	49
0	10	20
1	15	20
2	19	20
done	19	20
0	21	44
1	51	44
2	98	44
3	193	44
4	427	44
5	1030	44
6	3957	44
done	5000	44
0	16	38
1	35	31
2	64	31
3	101	31
4	139	31
5	172	31
6	193	31
7	234	31
8	339	31
9	511	31
10	549	31
done	549	31
0	16	49
1	31	49
2	52	49
3	88	49
4	142	49
5	220	49
6	311	49
7	501	49
8	1915	49
done	5001	49
0	10	20
1	15	20
2	19	20
done	19	20
0	10	21
1	13	9
2	15	9
done	15	9
0	10	21
1	13	9
2	15	9
done	15	9
0	10	21
1	13	9
2	15	9
done	15	9
0	10	21
1	13	9
2	15	9
done	15	9
0	10	21
1	13	9
2	15	9
done	15	9
0	10	21
1	13	9
2	15	9
done	15	9
0	10	21
1	13	9
2	15	9
done	15	9
0	10	21
1	13	9
2	15	9
done	15	9
0	10	20
1	14	20
2	15	20
done	15	20
0	12	32
1	18	20
2	22	20
done	22	20
0	13	32
1	19	20
2	23	20
done	23	20
0	11	32
1	17	12
2	24	12
3	30	12
4	40	12
5	61	12
6	123	12
7	329	12
8	1255	12
done	5001	12
0	11	31
1	17	19
2	21	8
3	24	8
4	33	8
5	48	8
6	75	8
7	149	8
8	356	8
9	1264	8
done	5001	8
0	11	31
1	17	19
2	21	8
3	24	8
4	33	8
5	48	8
6	75	8
7	149	8
8	356	8
9	1264	8
done	5001	8
0	11	32
1	17	12
2	24	12
3	30	12
4	40	12
5	61	12
6	123	12
7	329	12
8	1255	12
done	5001	12
0	11	31
1	17	19
2	21	8
3	24	8
4	33	8
5	48	8
6	75	8
7	149	8
8	356	8
9	1264	8
done	5001	8
0	16	39
1	39	23
2	70	23
3	135	23
4	319	23
5	887	23
6	3724	23
done	5000	23
0	21	44
1	51	44
2	98	44
3	193	44
4	429	44
5	1037	44
6	3960	44
done	5000	44
0	21	44
1	51	44
2	98	44
3	193	44
4	428	44
5	1033	44
6	3965	44
done	5000	44
0	15	49
1	29	28
2	47	28
3	81	28
4	135	28
5	213	28
6	290	28
7	480	28
8	1844	28
done	5000	28
0	17	35
1	41	35
2	75	35
3	142	35
4	324	35
5	890	35
6	3750	35
done	5001	35
0	16	40
1	31	40
2	52	40
3	88	40
4	142	40
5	220	40
6	299	40
7	489	40
8	1898	40
done	5001	40
0	17	35
1	41	35
2	75	35
3	142	35
4	326	35
5	893	35
6	3729	35
done	5000	35
0	16	40
1	31	40
2	52	40
3	88	40
4	142	40
5	220	40
6	297	40
7	487	40
8	1844	40
done	5000	40
0	16	35
1	39	23
2	70	23
3	135	23
4	320	23
5	894	23
6	3722	23
done	5000	23
0	15	40
1	29	28
2	47	28
3	81	28
4	135	28
5	213	28
6	306	28
7	496	28
8	1865	28
done	5001	28
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	13	11
2	14	11
done	14	11
0	11	23
1	14	23
2	15	23
done	15	23
0	10	11
1	13	11
2	14	11
done	14	11
0	11	32
1	15	20
2	19	12
3	24	12
4	30	12
5	40	12
6	61	12
7	123	12
8	330	12
9	1245	12
done	5000	12
0	11	22
1	15	11
2	16	11
done	16	11
0	10	11
1	13	11
2	14	11
done	14	11
0	11	21
1	15	11
2	16	11
done	16	11
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	13	11
2	14	11
done	14	11
0	3	3
1	5	1
done	5	1
0	9	10
1	12	10
2	13	10
done	13	10
0	3	3
1	5	1
done	5	1
0	9	10
1	12	10
2	13	10
done	13	10
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	13	11
2	14	11
done	14	11
0	2	2
1	4	1
done	4	1
0	9	10
1	12	10
2	13	10
done	13	10
0	12	14
1	31	14
2	59	14
3	124	14
4	306	14
5	880	14
6	3726	14
done	5000	14
0	13	28
1	29	21
2	56	21
3	94	21
4	135	21
5	169	21
6	190	21
7	231	21
8	336	21
9	508	21
10	546	21
done	546	21
0	11	19
1	22	19
2	38	19
3	72	19
4	126	19
5	204	19
6	293	19
7	483	19
8	1839	19
done	5001	19
0	9	10
1	13	10
2	17	10
done	17	10
0	3	3
1	4	1
done	4	1
0	3	3
1	6	1
done	6	1
0	4	5
1	10	3
2	11	1
done	11	1
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	13	11
2	14	11
done	14	11
0	11	23
1	14	23
2	15	23
done	15	23
0	10	11
1	13	11
2	14	11
done	14	11
0	11	32
1	15	20
2	19	12
3	24	12
4	30	12
5	40	12
6	61	12
7	123	12
8	330	12
9	1245	12
done	5000	12
0	11	22
1	15	11
2	16	11
done	16	11
0	10	11
1	13	11
2	14	11
done	14	11
0	11	21
1	15	11
2	16	11
done	16	11
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	13	11
2	14	11
done	14	11
0	3	3
1	5	1
done	5	1
0	9	10
1	12	10
2	13	10
done	13	10
0	3	3
1	5	1
done	5	1
0	9	10
1	12	10
2	13	10
done	13	10
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	13	11
2	14	11
done	14	11
0	2	2
1	4	1
done	4	1
0	9	10
1	12	10
2	13	10
done	13	10
0	12	14
1	31	14
2	59	14
3	124	14
4	306	14
5	880	14
6	3726	14
done	5000	14
0	13	28
1	29	21
2	56	21
3	94	21
4	135	21
5	169	21
6	190	21
7	231	21
8	336	21
9	508	21
10	546	21
done	546	21
0	11	19
1	22	19
2	38	19
3	72	19
4	126	19
5	204	19
6	293	19
7	483	19
8	1839	19
done	5001	19
0	9	10
1	13	10
2	17	10
done	17	10
0	3	3
1	4	1
done	4	1
0	3	3
1	6	1
done	6	1
0	4	5
1	10	3
2	11	1
done	11	1
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	13	11
2	14	11
done	14	11
0	28	44
1	66	44
2	171	44
3	655	44
4	3341	39
done	5001	39
0	26	43
1	70	43
2	221	43
3	653	43
4	2370	38
done	5001	38
0	26	43
1	70	43
2	221	43
3	653	43
4	2413	38
done	5000	38
0	7	8
1	11	8
2	12	8
done	12	8
0	7	8
1	11	8
2	12	8
done	12	8
0	7	8
1	11	8
2	12	8
done	12	8
0	25	40
1	65	40
2	167	40
3	387	40
4	1068	38
5	3443	38
done	5000	38
0	25	54
1	61	48
2	167	39
3	690	33
4	4765	25
done	5000	25
0	27	57
1	63	54
2	170	54
3	700	45
4	4810	25
done	5000	25
0	25	40
1	65	40
2	167	40
3	387	40
4	1068	38
5	3443	38
done	5000	38
0	25	54
1	61	48
2	167	39
3	690	33
4	4765	25
done	5000	25
0	27	57
1	63	54
2	170	54
3	700	45
4	4810	25
done	5000	25

prune411.0ms

Filtered

120 candidates to 217 candidates (-80.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	216	1	217
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	216	6	222

Merged error: 0.0b

Counts

222 → 6

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
0.1b	(sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
0.2b	(* (* (sqrt (+ x (/ (fabs (- y x)) 2.0))) (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))) (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))))
0.3b	(* (sqrt (+ x (/ (fabs (- y x)) 2.0))) (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

116×	`sqrt-div`
62×	`sqrt-prod`
54×	`sqrt-pow1`
49×	`pow1`
38×	`add-sqr-sqrt`
35×	`flip3-+` `flip-+`
32×	`frac-times` `pow-prod-up`
30×	`pow1/2`
26×	`*-un-lft-identity`
20×	`associate-r`
16×	`add-cube-cbrt` `associate-*l/`
11×	`add-exp-log` `add-cbrt-cube`
10×	`associate-*r/` `pow-prod-down`
8×	`associate-l`
6×	`pow3` `unswap-sqr`
5×	`distribute-lft-out`
4×	`rem-sqrt-square` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`sqrt-unprod`
2×	`pow-plus` `*-commutative`

Counts

4 → 167

Calls

4 calls:

8.0ms	(sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
8.0ms	(sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
32.0ms	(* (* (sqrt (+ x (/ (fabs (- y x)) 2.0))) (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))) (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))))
21.0ms	(* (sqrt (+ x (/ (fabs (- y x)) 2.0))) (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))))

series81.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
23.0ms	(sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
6.0ms	(* (* (sqrt (+ x (/ (fabs (- y x)) 2.0))) (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))) (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))))
30.0ms	(* (sqrt (+ x (/ (fabs (- y x)) 2.0))) (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))))

simplify3.7min

Counts

179 → 179

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	4	5
1	6	3
2	7	1
done	7	1
0	6	7
1	14	1
done	14	1
0	3	3
1	7	1
done	7	1
0	4	5
1	8	3
2	9	1
done	9	1
0	6	7
1	10	3
2	11	1
done	11	1
0	5	9
1	12	5
2	14	1
done	14	1
0	9	18
1	13	18
2	22	18
3	26	18
4	30	18
5	32	18
6	33	18
done	33	18
0	10	20
1	14	20
2	15	20
done	15	20
0	9	18
1	13	18
2	22	18
3	26	18
4	30	18
5	32	18
6	33	18
done	33	18
0	12	22
1	16	22
2	17	22
done	17	22
0	11	21
1	18	21
2	20	21
done	20	21
0	11	21
1	17	21
2	24	21
3	32	21
4	55	21
5	111	21
6	252	21
7	716	21
8	2712	21
done	5000	21
0	14	62
1	24	39
2	62	24
3	157	14
4	342	14
5	916	12
6	2779	12
done	5001	12
0	12	43
1	16	43
2	17	43
done	17	43
0	11	21
1	15	21
2	16	21
done	16	21
0	12	62
1	26	62
2	56	22
3	97	14
4	210	14
5	416	14
6	1047	12
7	3063	12
done	5000	12
0	9	18
1	13	18
2	22	18
3	26	18
4	30	18
5	32	18
6	33	18
done	33	18
0	11	21
1	15	21
2	16	21
done	16	21
0	11	21
1	15	21
2	16	21
done	16	21
0	13	28
1	33	28
2	61	28
3	126	28
4	310	28
5	879	28
6	3715	28
done	5001	28
0	14	56
1	31	42
2	58	42
3	96	42
4	137	42
5	171	42
6	192	42
7	233	42
8	338	42
9	510	42
10	547	42
done	547	42
0	17	33
1	44	33
2	86	33
3	181	33
4	415	33
5	1023	33
6	3954	33
done	5000	33
0	16	38
1	35	31
2	64	31
3	101	31
4	139	31
5	172	31
6	193	31
7	234	31
8	339	31
9	511	31
10	549	31
done	549	31
0	17	33
1	44	33
2	86	33
3	181	33
4	415	33
5	1032	33
6	3966	33
done	5000	33
0	16	38
1	35	31
2	64	31
3	101	31
4	139	31
5	172	31
6	193	31
7	234	31
8	339	31
9	511	31
10	549	31
done	549	31
0	12	38
1	24	38
2	40	38
3	74	38
4	128	38
5	206	38
6	297	38
7	487	38
8	1893	38
done	5001	38
0	10	20
1	15	20
2	19	20
done	19	20
0	11	22
1	15	22
2	16	22
done	16	22
0	11	22
1	15	22
2	16	22
done	16	22
0	11	22
1	15	22
2	16	22
done	16	22
0	11	22
1	15	22
2	16	22
done	16	22
0	11	22
1	15	22
2	16	22
done	16	22
0	11	22
1	15	22
2	16	22
done	16	22
0	11	22
1	15	22
2	16	22
done	16	22
0	11	22
1	15	22
2	16	22
done	16	22
0	11	22
1	15	22
2	16	22
done	16	22
0	11	22
1	15	22
2	16	22
done	16	22
0	11	22
1	15	22
2	16	22
done	16	22
0	11	22
1	15	22
2	16	22
done	16	22
0	12	33
1	18	33
2	21	33
done	21	33
0	12	32
1	17	21
2	18	21
done	18	21
0	13	31
1	18	21
2	19	21
done	19	21
0	11	21
1	15	21
2	16	21
done	16	21
0	12	13
1	18	11
2	19	11
done	19	9
0	12	13
1	18	11
2	19	11
done	19	9
0	11	21
1	15	21
2	16	21
done	16	21
0	11	12
1	17	11
2	18	11
done	18	9
0	11	21
1	15	21
2	16	21
done	16	21
0	10	11
1	16	9
2	20	9
done	20	9
0	11	21
1	15	21
2	16	21
done	16	21
0	12	21
1	16	21
2	17	21
done	17	21
0	10	21
1	13	9
2	15	9
done	15	9
0	10	20
1	14	20
2	15	20
done	15	20
0	10	20
1	14	20
2	15	20
done	15	20
0	10	21
1	13	9
2	15	9
done	15	9
0	10	20
1	14	20
2	15	20
done	15	20
0	15	24
1	36	24
2	64	24
3	129	24
4	311	24
5	880	24
6	3724	24
done	5001	24
0	14	29
1	26	29
2	41	29
3	75	29
4	129	29
5	207	29
6	284	29
7	474	29
8	1876	29
done	5001	29
0	15	24
1	36	24
2	64	24
3	129	24
4	314	24
5	893	24
6	3746	24
done	5000	24
0	14	29
1	26	29
2	41	29
3	75	29
4	129	29
5	207	29
6	298	29
7	488	29
8	1822	29
done	5000	29
0	5	9
1	10	5
2	14	1
3	16	1
done	16	1
0	8	11
1	18	5
2	20	1
done	20	1
0	8	11
1	19	1
done	19	1
0	7	13
1	16	9
2	20	3
done	20	1
0	4	5
1	11	3
2	12	1
done	12	1
0	6	7
1	13	3
done	13	1
0	6	7
1	12	5
2	14	1
done	14	1
0	5	9
1	12	5
2	15	3
done	15	1
0	7	11
1	14	3
2	15	1
done	15	1
0	8	13
1	18	5
2	20	1
done	20	1
0	8	13
1	18	5
2	20	1
done	20	1
0	6	15
1	17	5
2	20	1
done	20	1
0	3	3
1	7	1
done	7	1
0	3	3
1	7	1
done	7	1
0	10	28
1	17	28
2	27	17
3	50	17
4	83	11
5	134	11
6	207	11
7	329	11
8	649	11
9	1802	11
done	5000	11
0	11	31
1	18	31
2	20	19
3	23	8
4	33	8
5	48	8
6	75	8
7	149	8
8	366	8
9	1277	8
done	5000	8
0	10	28
1	17	28
2	27	17
3	50	17
4	83	11
5	134	11
6	207	11
7	329	11
8	649	11
9	1802	11
done	5000	11
0	11	31
1	18	31
2	20	19
3	23	8
4	33	8
5	48	8
6	75	8
7	149	8
8	366	8
9	1277	8
done	5000	8
0	3	3
1	7	1
done	7	1
0	3	3
1	7	1
done	7	1
0	13	34
1	20	34
2	24	24
3	25	24
done	25	24
0	13	33
1	20	33
2	24	33
3	27	24
4	28	24
done	28	24
0	12	32
1	22	32
2	29	20
3	37	9
4	51	9
5	76	9
6	112	9
7	221	9
8	577	9
9	1989	9
done	5001	9
0	12	32
1	21	32
2	33	20
3	52	9
4	105	9
5	225	9
6	515	9
7	1534	9
done	5001	9
0	15	95
1	30	60
2	92	23
3	221	10
4	621	10
5	2432	10
done	5000	10
0	15	95
1	34	71
2	77	26
3	166	10
4	507	10
5	1893	10
done	5000	10
0	13	65
1	20	65
2	22	41
3	25	19
4	35	19
5	50	19
6	77	19
7	149	19
8	361	19
9	1264	19
done	5000	19
0	12	32
1	19	32
2	21	32
3	24	9
4	34	9
5	49	9
6	76	9
7	147	9
8	363	9
9	1269	9
done	5001	9
0	13	95
1	29	95
2	85	21
3	124	10
4	219	10
5	596	10
6	2343	10
done	5000	10
0	10	28
1	17	28
2	27	17
3	50	17
4	83	11
5	134	11
6	207	11
7	329	11
8	649	11
9	1802	11
done	5000	11
0	12	32
1	19	32
2	21	32
3	24	9
4	34	9
5	49	9
6	76	9
7	147	9
8	363	9
9	1269	9
done	5001	9
0	12	32
1	19	32
2	21	32
3	24	9
4	34	9
5	49	9
6	76	9
7	147	9
8	363	9
9	1269	9
done	5001	9
0	14	43
1	37	43
2	66	27
3	133	12
4	325	12
5	911	12
6	3797	12
done	5000	12
0	15	85
1	35	64
2	63	41
3	104	19
4	155	19
5	204	19
6	252	19
7	363	19
8	676	19
9	1839	19
done	5001	19
0	19	48
1	49	48
2	97	48
3	192	48
4	429	48
5	1041	48
6	3982	48
done	5000	48
0	18	67
1	40	53
2	75	53
3	112	53
4	150	53
5	183	53
6	204	53
7	245	53
8	350	53
9	522	53
10	560	53
done	560	53
0	19	48
1	49	48
2	97	48
3	192	48
4	429	48
5	1042	48
6	3982	48
done	5000	48
0	18	67
1	40	53
2	75	53
3	112	53
4	150	53
5	183	53
6	204	53
7	245	53
8	350	53
9	522	53
10	560	53
done	560	53
0	18	53
1	48	53
2	91	32
3	187	32
4	423	32
5	1037	32
6	3963	32
done	5000	32
0	17	49
1	39	42
2	69	30
3	107	30
4	145	30
5	178	30
6	199	30
7	240	30
8	345	30
9	517	30
10	555	30
done	555	30
0	18	48
1	48	48
2	91	32
3	187	32
4	421	32
5	1035	32
6	3950	32
done	5001	32
0	17	67
1	39	53
2	69	30
3	107	30
4	145	30
5	178	30
6	199	30
7	240	30
8	345	30
9	517	30
10	555	30
done	555	30
0	19	53
1	49	53
2	97	53
3	192	53
4	426	53
5	1044	53
6	3961	53
done	5000	53
0	18	49
1	40	42
2	75	42
3	112	42
4	150	42
5	183	42
6	204	42
7	245	42
8	350	42
9	522	42
10	559	42
done	559	42
0	19	53
1	49	53
2	97	53
3	192	53
4	426	53
5	1044	53
6	3956	53
done	5000	53
0	18	49
1	40	42
2	75	42
3	112	42
4	150	42
5	183	42
6	204	42
7	245	42
8	350	42
9	522	42
10	559	42
done	559	42
0	13	58
1	28	58
2	45	37
3	82	17
4	146	17
5	239	17
6	343	17
7	605	17
8	2207	17
done	5001	17
0	11	31
1	19	31
2	24	19
3	27	8
4	37	8
5	52	8
6	79	8
7	149	8
8	366	8
9	1269	8
done	5000	8
0	16	39
1	40	39
2	69	23
3	135	23
4	319	23
5	891	23
6	3718	23
done	5000	23
0	14	57
1	30	20
2	58	20
3	96	20
4	137	20
5	171	20
6	192	20
7	233	20
8	338	20
9	510	20
10	548	20
done	548	20
0	21	44
1	51	44
2	98	44
3	193	44
4	429	44
5	1031	44
6	3965	44
done	5000	44
0	17	39
1	36	32
2	65	32
3	102	32
4	140	32
5	173	32
6	194	32
7	235	32
8	340	32
9	512	32
10	550	32
done	550	32
0	21	44
1	51	44
2	98	44
3	193	44
4	428	44
5	1035	44
6	3972	44
done	5000	44
0	17	39
1	36	32
2	65	32
3	102	32
4	140	32
5	173	32
6	194	32
7	235	32
8	340	32
9	512	32
10	549	32
done	549	32
0	15	49
1	30	49
2	46	28
3	81	28
4	135	28
5	213	28
6	290	28
7	480	28
8	1838	28
done	5001	28
0	10	21
1	14	9
2	19	9
done	19	9
0	17	39
1	41	39
2	75	39
3	142	39
4	327	39
5	903	39
6	3756	39
done	5001	39
0	14	56
1	31	42
2	58	42
3	96	42
4	137	42
5	171	42
6	192	42
7	233	42
8	338	42
9	510	42
10	547	42
done	547	42
0	21	44
1	51	44
2	98	44
3	193	44
4	430	44
5	1038	44
6	3973	44
done	5001	44
0	16	38
1	35	31
2	64	31
3	101	31
4	139	31
5	172	31
6	193	31
7	234	31
8	339	31
9	511	31
10	549	31
done	549	31
0	21	44
1	51	44
2	98	44
3	193	44
4	428	44
5	1036	44
6	3969	44
done	5001	44
0	16	38
1	35	31
2	64	31
3	101	31
4	139	31
5	172	31
6	193	31
7	234	31
8	339	31
9	511	31
10	549	31
done	549	31
0	16	49
1	31	49
2	52	49
3	88	49
4	142	49
5	220	49
6	311	49
7	501	49
8	1915	49
done	5000	49
0	10	20
1	15	20
2	19	20
done	19	20
0	13	44
1	22	44
2	36	44
3	48	44
done	48	44
0	14	43
1	22	32
2	29	32
3	31	32
done	31	32
0	15	42
1	23	32
2	30	32
done	30	32
0	12	32
1	19	32
2	26	32
done	26	32
0	14	24
1	23	22
2	30	22
3	32	20
4	39	20
done	39	20
0	14	24
1	23	22
2	30	22
3	32	20
4	39	20
done	39	20
0	12	32
1	19	32
2	26	32
done	26	32
0	13	23
1	22	22
2	29	22
3	31	20
4	38	20
done	38	20
0	12	32
1	19	32
2	26	32
done	26	32
0	12	22
1	21	20
2	34	20
3	42	20
done	42	20
0	10	21
1	13	9
2	15	9
done	15	9
0	17	35
1	41	35
2	75	35
3	142	35
4	325	35
5	894	35
6	3734	35
done	5000	35
0	16	40
1	31	40
2	52	40
3	88	40
4	142	40
5	220	40
6	299	40
7	489	40
8	1894	40
done	5000	40
0	17	39
1	41	39
2	75	39
3	142	39
4	327	39
5	903	39
6	3756	39
done	5001	39
0	21	44
1	51	44
2	98	44
3	193	44
4	430	44
5	1038	44
6	3986	44
done	5001	44
0	21	44
1	51	44
2	98	44
3	193	44
4	427	44
5	1030	44
6	3957	44
done	5000	44
0	16	49
1	31	49
2	52	49
3	88	49
4	142	49
5	220	49
6	311	49
7	501	49
8	1915	49
done	5001	49
0	17	35
1	41	35
2	75	35
3	142	35
4	326	35
5	893	35
6	3729	35
done	5000	35
0	16	40
1	31	40
2	52	40
3	88	40
4	142	40
5	220	40
6	297	40
7	487	40
8	1844	40
done	5000	40
0	16	35
1	40	35
2	69	23
3	135	23
4	320	23
5	895	23
6	3744	23
done	5000	23
0	15	40
1	30	40
2	46	28
3	81	28
4	135	28
5	213	28
6	306	28
7	496	28
8	1873	28
done	5000	28
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	13	11
2	14	11
done	14	11
0	11	23
1	14	23
2	15	23
done	15	23
0	10	11
1	13	11
2	14	11
done	14	11
0	11	32
1	15	20
2	19	12
3	24	12
4	30	12
5	40	12
6	61	12
7	123	12
8	330	12
9	1245	12
done	5000	12
0	11	22
1	15	11
2	16	11
done	16	11
0	10	11
1	13	11
2	14	11
done	14	11
0	11	21
1	15	11
2	16	11
done	16	11
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	13	11
2	14	11
done	14	11
0	3	3
1	5	1
done	5	1
0	9	10
1	12	10
2	13	10
done	13	10
0	3	3
1	5	1
done	5	1
0	9	10
1	12	10
2	13	10
done	13	10
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	13	11
2	14	11
done	14	11
0	2	2
1	4	1
done	4	1
0	9	10
1	12	10
2	13	10
done	13	10
0	12	14
1	31	14
2	59	14
3	124	14
4	306	14
5	880	14
6	3726	14
done	5000	14
0	13	28
1	29	21
2	56	21
3	94	21
4	135	21
5	169	21
6	190	21
7	231	21
8	336	21
9	508	21
10	546	21
done	546	21
0	11	19
1	22	19
2	38	19
3	72	19
4	126	19
5	204	19
6	293	19
7	483	19
8	1839	19
done	5001	19
0	9	10
1	13	10
2	17	10
done	17	10
0	3	3
1	4	1
done	4	1
0	3	3
1	6	1
done	6	1
0	4	5
1	10	3
2	11	1
done	11	1
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	13	11
2	14	11
done	14	11
0	11	23
1	14	23
2	15	23
done	15	23
0	10	11
1	13	11
2	14	11
done	14	11
0	11	32
1	15	20
2	19	12
3	24	12
4	30	12
5	40	12
6	61	12
7	123	12
8	330	12
9	1245	12
done	5000	12
0	11	22
1	15	11
2	16	11
done	16	11
0	10	11
1	13	11
2	14	11
done	14	11
0	11	21
1	15	11
2	16	11
done	16	11
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	13	11
2	14	11
done	14	11
0	3	3
1	5	1
done	5	1
0	9	10
1	12	10
2	13	10
done	13	10
0	3	3
1	5	1
done	5	1
0	9	10
1	12	10
2	13	10
done	13	10
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	13	11
2	14	11
done	14	11
0	2	2
1	4	1
done	4	1
0	9	10
1	12	10
2	13	10
done	13	10
0	12	14
1	31	14
2	59	14
3	124	14
4	306	14
5	880	14
6	3726	14
done	5000	14
0	13	28
1	29	21
2	56	21
3	94	21
4	135	21
5	169	21
6	190	21
7	231	21
8	336	21
9	508	21
10	546	21
done	546	21
0	11	19
1	22	19
2	38	19
3	72	19
4	126	19
5	204	19
6	293	19
7	483	19
8	1839	19
done	5001	19
0	9	10
1	13	10
2	17	10
done	17	10
0	3	3
1	4	1
done	4	1
0	3	3
1	6	1
done	6	1
0	4	5
1	10	3
2	11	1
done	11	1
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	13	11
2	14	11
done	14	11
0	26	40
1	66	40
2	174	40
3	404	40
4	1126	38
5	3655	38
done	5000	38
0	27	60
1	64	54
2	179	48
3	750	39
4	4901	25
done	5000	25
0	27	60
1	62	60
2	176	60
3	506	60
4	2310	37
done	5000	37
0	7	8
1	11	8
2	12	8
done	12	8
0	7	8
1	11	8
2	12	8
done	12	8
0	7	8
1	11	8
2	12	8
done	12	8
0	25	40
1	65	40
2	167	40
3	387	40
4	1068	38
5	3443	38
done	5000	38
0	25	54
1	61	48
2	167	39
3	690	33
4	4765	25
done	5000	25
0	27	57
1	63	54
2	170	54
3	700	45
4	4810	25
done	5000	25
0	25	40
1	65	40
2	167	40
3	387	40
4	1068	38
5	3443	38
done	5000	38
0	25	54
1	61	48
2	167	39
3	690	33
4	4765	25
done	5000	25
0	27	57
1	63	54
2	170	54
3	700	45
4	4810	25
done	5000	25

prune403.0ms

Filtered

114 candidates to 179 candidates (-57.0%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	179	0	179
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	179	6	185

Merged error: 0.0b

Counts

185 → 6

regimes180.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	8
1	8	8
done	8	8

end0.0ms

sample508.0ms

Algorithm

intervals

Results

224.0ms	7692×	body	80	valid
15.0ms	113×	body	1280	valid
9.0ms	57×	body	2560	valid
8.0ms	80×	body	640	valid
3.0ms	41×	body	320	valid
1.0ms	18×	body	160	valid

Details

sample25.0ms

simplify4.0ms

prune3.0ms

localize6.0ms

rewrite7.0ms

series5.0ms

simplify14.1s

prune25.0ms

localize9.0ms

rewrite42.0ms

series47.0ms

simplify1.6min

prune186.0ms

localize11.0ms

rewrite88.0ms

series72.0ms

simplify4.0min

prune411.0ms

localize15.0ms

rewrite83.0ms

series81.0ms

simplify3.7min

prune403.0ms

regimes180.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample508.0ms

Profiling