Details

sample20.0ms

Algorithm

intervals

Results

7.0ms

299×

body

valid

simplify3.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	8	7
2	9	7
done	9	7

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.0b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `times-frac`
3×	`add-exp-log` `associate-/r` `add-cbrt-cube` `associate-/l`
1×	`pow1` `cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv` `add-log-exp`

Counts

1 → 27

Calls

1 calls:

3.0ms

(/ (fabs (- x y)) (fabs y))

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(/ (fabs (- x y)) (fabs y))

simplify5.4s

Counts

30 → 30

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	12	9
2	14	9
done	14	9
0	7	8
1	12	8
2	15	8
3	16	8
done	16	8
0	7	8
1	9	8
2	10	8
done	10	8
0	10	23
1	21	23
2	54	11
3	121	9
4	200	9
5	318	9
6	781	9
7	3387	9
done	5001	9
0	8	17
1	10	17
2	11	17
done	11	17
0	7	8
1	9	8
2	10	8
done	10	8
0	8	23
1	17	23
2	34	9
3	72	9
4	137	9
5	200	9
6	328	9
7	829	9
8	3575	9
done	5001	9
0	7	8
1	9	8
2	10	8
done	10	8
0	7	8
1	9	8
2	10	8
done	10	8
0	5	5
1	7	5
2	8	5
done	8	5
0	3	3
done	3	3
0	10	19
1	18	19
2	28	19
3	34	19
done	34	19
0	8	9
1	10	9
2	11	9
done	11	9
0	9	15
1	13	15
2	16	15
3	17	15
done	17	15
0	8	9
1	10	9
2	11	9
done	11	9
0	8	13
1	14	11
2	21	11
3	26	11
done	26	11
0	7	8
1	9	8
2	10	8
done	10	8
0	9	13
1	13	13
2	14	13
done	14	13
0	8	9
1	10	9
2	11	9
done	11	9
0	8	9
1	10	9
2	11	9
done	11	9
0	8	9
1	10	9
2	11	9
done	11	9
0	7	7
1	11	5
2	14	5
done	14	5
0	7	8
1	9	8
2	10	8
done	10	8
0	6	9
1	10	9
done	10	9
0	7	8
1	9	8
2	10	8
done	10	8
0	5	5
1	7	5
done	7	5
0	7	8
1	9	8
2	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	6	7
1	8	7
2	9	7
done	9	7
0	4	4
1	6	4
done	6	4
0	6	7
1	8	7
2	9	7
done	9	7
0	8	12
1	12	12
2	13	12
done	13	12
0	7	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	9	8
2	10	8
done	10	8
0	7	8
1	9	8
2	10	8
done	10	8
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7

prune43.0ms

Filtered

23 candidates to 30 candidates (-30.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	27	3	30
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	27	4	31

Merged error: 0b

Counts

31 → 4

localize8.0ms

Local error

Found 1 expressions with local error:

0.2b	(* (fabs (- x y)) (/ 1 (fabs y)))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
13×	`associate-r`
11×	`times-frac`
10×	`add-exp-log` `*-un-lft-identity`
9×	`add-cube-cbrt`
6×	`add-cbrt-cube`
4×	`prod-exp`
3×	`pow1` `associate-l` `unswap-sqr`
2×	`div-exp` `cbrt-unprod`
1×	`cbrt-undiv` `rec-exp` `1-exp` `associate-r/` `pow-prod-down` `un-div-inv` `-commutative` `div-inv` `add-log-exp`

Counts

1 → 36

Calls

1 calls:

9.0ms

(* (fabs (- x y)) (/ 1 (fabs y)))

series10.0ms

Counts

1 → 3

Calls

1 calls:

10.0ms

(* (fabs (- x y)) (/ 1 (fabs y)))

simplify16.7s

Counts

39 → 39

Iterations

Useful iterations: 3 (8.0ms)

Iter	Nodes	Cost
0	8	9
1	15	9
2	19	7
3	34	7
4	35	7
done	35	7
0	9	10
1	13	9
2	14	9
done	14	9
0	10	11
1	17	10
2	28	9
3	37	9
4	55	9
5	81	9
6	84	9
7	93	9
8	111	9
done	111	9
0	11	12
1	20	11
2	28	9
3	45	9
4	63	9
5	88	9
6	93	9
7	102	9
8	118	9
done	118	9
0	10	11
1	19	10
2	26	9
3	37	9
4	49	9
5	81	9
6	100	9
7	107	9
8	117	9
done	117	9
0	9	10
1	19	10
2	29	8
3	50	8
4	69	8
5	84	8
6	117	8
7	122	8
8	129	8
done	129	8
0	9	10
1	18	10
2	28	8
3	56	8
4	100	8
5	202	8
6	483	8
7	1474	8
done	5000	8
0	14	29
1	32	25
2	79	11
3	250	11
4	588	11
5	1064	9
6	2735	9
done	5001	9
0	12	29
1	29	29
2	79	13
3	208	13
4	486	9
5	956	9
6	2107	9
done	5001	9
0	10	21
1	17	21
2	21	17
3	36	17
4	37	17
done	37	17
0	9	10
1	16	10
2	20	8
3	35	8
4	36	8
done	36	8
0	10	29
1	27	29
2	82	9
3	232	9
4	441	9
5	604	9
6	1119	9
7	2907	9
done	5000	9
0	9	10
1	16	10
2	20	8
3	35	8
4	36	8
done	36	8
0	9	10
1	16	10
2	20	8
3	35	8
4	36	8
done	36	8
0	10	11
1	15	11
2	16	11
done	16	11
0	10	11
1	15	11
2	16	11
done	16	11
0	11	12
1	18	11
2	22	11
3	26	9
4	37	9
done	37	9
0	11	12
1	18	11
2	22	11
3	26	9
4	37	9
done	37	9
0	10	11
1	17	11
2	21	9
3	36	9
4	39	9
done	39	9
0	10	11
1	17	11
2	21	9
3	36	9
4	39	9
done	39	9
0	10	16
1	17	16
2	20	16
done	20	16
0	9	10
1	14	10
2	15	10
done	15	10
0	12	18
1	25	16
2	55	14
3	89	12
4	100	12
done	100	12
0	11	14
1	20	12
2	31	10
3	44	8
4	46	8
done	46	8
0	9	12
1	18	8
2	34	6
3	38	4
4	42	4
done	42	4
0	11	15
1	20	14
2	32	14
3	45	12
4	82	12
5	90	12
done	90	12
0	10	11
1	17	10
2	21	10
3	25	8
4	36	8
5	37	8
done	37	8
0	8	9
1	15	6
2	21	4
3	25	4
done	25	4
0	10	14
1	19	14
2	30	12
3	60	12
4	83	12
5	85	12
done	85	12
0	9	10
1	16	10
2	20	8
3	35	8
4	36	8
done	36	8
0	7	8
1	14	6
2	20	4
3	24	4
done	24	4
0	6	6
1	11	4
2	15	4
done	15	4
0	6	6
1	11	4
2	15	4
done	15	4
0	9	10
1	16	10
2	20	8
3	35	8
4	38	8
done	38	8
0	9	10
1	16	10
2	20	8
3	35	8
4	38	8
done	38	8
0	8	9
1	15	9
2	19	7
3	34	7
4	35	7
done	35	7
0	6	6
1	11	4
2	15	4
done	15	4
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7

prune37.0ms

Filtered

23 candidates to 39 candidates (-69.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	39	0	39
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	39	4	43

Merged error: 0b

Counts

43 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (fabs (- x y)))
0.2b	(/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
0.2b	(/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
0.3b	(* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))

rewrite85.0ms

Algorithm

rewrite-expression-head

Rules

332×	`add-sqr-sqrt`
327×	`sqrt-prod`
312×	`times-frac`
177×	`add-cube-cbrt` `*-un-lft-identity`
68×	`swap-sqr`
40×	`associate-r` `associate-l`
25×	`unswap-sqr`
20×	`add-exp-log` `add-cbrt-cube`
12×	`pow1` `associate-/r` `associate-/l`
6×	`cbrt-undiv` `sqrt-undiv` `div-exp` `div-inv`
4×	`prod-exp` `cbrt-unprod` `add-log-exp`
2×	`frac-2neg` `clear-num`
1×	`pow2` `frac-times` `rem-sqrt-square` `sqrt-pow1` `pow-plus` `pow1/2` `sqrt-unprod` `associate-r/` `pow-prod-down` `associate-l/` `rem-square-sqrt` `pow-sqr` `*-commutative` `pow-prod-up`

Counts

4 → 334

Calls

4 calls:

2.0ms	(sqrt (fabs (- x y)))
6.0ms	(/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
6.0ms	(/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
46.0ms	(* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))

series42.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(sqrt (fabs (- x y)))
12.0ms	(/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
17.0ms	(/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
7.0ms	(* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))

simplify1.7min

Counts

346 → 346

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	3
1	6	1
done	6	1
0	9	19
1	15	19
2	22	19
3	29	12
4	35	7
5	36	7
done	36	7
0	2	3
1	6	1
done	6	1
0	11	23
1	21	13
2	42	13
3	75	13
4	127	13
5	184	13
6	234	13
7	267	13
done	267	13
0	13	22
1	20	21
2	34	21
3	64	12
4	118	12
5	173	12
6	218	12
7	258	12
done	258	12
0	13	22
1	20	21
2	30	21
3	55	12
4	98	12
5	151	12
6	192	12
7	227	12
8	230	12
done	230	12
0	10	21
1	17	12
2	25	12
3	44	12
4	77	12
5	130	12
6	187	12
7	239	12
8	272	12
done	272	12
0	10	20
1	18	20
2	32	12
3	54	12
4	102	8
5	153	8
6	204	8
7	262	8
8	302	8
9	316	8
done	316	8
0	10	20
1	18	20
2	29	20
3	43	13
4	76	8
5	144	8
6	318	8
7	1415	8
done	5001	8
0	13	59
1	28	35
2	111	23
3	630	16
4	2670	9
done	5000	9
0	16	59
1	38	47
2	129	23
3	641	11
4	2535	9
done	5001	9
0	16	59
1	38	47
2	130	23
3	627	11
4	2552	9
done	5000	9
0	11	59
1	26	59
2	72	23
3	215	11
4	819	9
5	3133	9
done	5000	9
0	11	41
1	17	41
2	24	41
3	31	27
4	37	17
5	38	17
done	38	17
0	10	20
1	16	20
2	23	20
3	30	13
4	36	8
5	37	8
done	37	8
0	11	59
1	25	59
2	65	21
3	204	11
4	696	9
5	2773	9
done	5000	9
0	7	15
1	13	15
2	20	15
3	27	15
4	32	15
done	32	15
0	10	20
1	17	10
2	24	10
3	31	10
4	37	8
5	38	8
done	38	8
0	10	20
1	17	10
2	24	10
3	31	10
4	37	8
5	38	8
done	38	8
0	6	11
1	8	4
2	10	4
done	10	4
0	4	7
done	4	2
0	11	43
1	17	43
2	20	23
3	29	12
4	48	12
5	78	12
6	151	12
7	359	12
8	1268	12
done	5000	12
0	10	21
1	12	21
2	13	21
done	13	21
0	10	21
1	12	9
2	14	9
done	14	9
0	10	21
1	12	9
2	14	9
done	14	9
0	13	47
1	25	47
2	74	47
3	214	25
4	449	13
5	587	13
6	1110	13
7	3595	13
done	5000	13
0	11	23
1	17	23
2	24	23
3	31	23
4	36	23
done	36	23
0	13	45
1	22	37
2	41	37
3	87	25
4	138	16
5	207	16
6	410	16
7	971	16
8	3338	16
done	5000	16
0	11	23
1	17	23
2	24	23
3	31	23
4	36	17
5	37	17
done	37	17
0	12	37
1	20	37
2	39	37
3	87	25
4	137	12
5	181	12
6	294	12
7	681	12
8	2214	12
done	5000	12
0	11	23
1	17	23
2	24	23
3	31	23
4	36	17
5	37	17
done	37	17
0	12	37
1	20	37
2	39	37
3	87	25
4	137	12
5	181	12
6	294	12
7	681	12
8	2214	12
done	5000	12
0	11	23
1	17	23
2	24	23
3	31	23
4	36	17
5	37	17
done	37	17
0	11	33
1	21	31
2	40	31
3	86	15
4	116	8
5	139	8
6	215	8
7	479	8
8	1426	8
done	5000	8
0	10	21
1	16	21
2	23	21
3	30	21
4	35	16
5	36	16
done	36	16
0	12	37
1	20	37
2	39	37
3	87	25
4	137	12
5	181	12
6	294	12
7	681	12
8	2214	12
done	5000	12
0	11	23
1	17	23
2	24	23
3	31	23
4	36	17
5	37	17
done	37	17
0	12	37
1	20	37
2	39	37
3	87	25
4	137	12
5	181	12
6	294	12
7	681	12
8	2214	12
done	5000	12
0	11	23
1	17	23
2	24	23
3	31	23
4	36	17
5	37	17
done	37	17
0	10	31
1	20	27
2	36	27
3	75	15
4	103	8
5	126	8
6	204	8
7	471	8
8	1419	8
done	5000	8
0	10	21
1	16	21
2	23	21
3	30	21
4	35	16
5	36	16
done	36	16
0	13	45
1	22	33
2	42	33
3	77	31
4	131	23
5	176	18
6	248	18
7	391	18
8	889	18
9	2758	18
done	5000	18
0	11	23
1	17	23
2	24	23
3	31	15
4	37	15
done	37	15
0	13	43
1	21	23
2	28	23
3	35	21
4	47	19
5	65	19
6	84	19
7	88	19
done	88	19
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	12	35
1	19	23
2	26	23
3	33	21
4	45	15
5	54	15
6	58	15
done	58	15
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	12	35
1	19	23
2	26	23
3	33	21
4	45	15
5	54	15
6	58	15
done	58	15
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	31
1	20	17
2	27	17
3	34	11
4	43	11
5	47	11
6	52	11
done	52	11
0	10	21
1	16	21
2	23	21
3	30	13
4	36	8
5	37	8
done	37	8
0	12	35
1	19	23
2	26	23
3	33	21
4	45	15
5	54	15
6	58	15
done	58	15
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	12	35
1	19	23
2	26	23
3	33	21
4	45	15
5	54	15
6	58	15
done	58	15
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	10	29
1	19	13
2	25	11
3	32	11
4	36	11
5	41	11
done	41	11
0	10	21
1	16	21
2	23	21
3	30	13
4	36	8
5	37	8
done	37	8
0	12	33
1	20	33
2	40	33
3	74	25
4	115	17
5	125	12
6	157	12
7	252	12
8	562	12
9	1680	12
done	5001	12
0	11	23
1	17	23
2	24	23
3	31	15
4	37	15
done	37	15
0	12	33
1	20	33
2	40	33
3	74	25
4	115	17
5	125	12
6	157	12
7	252	12
8	562	12
9	1680	12
done	5001	12
0	11	23
1	17	23
2	24	23
3	31	15
4	37	15
done	37	15
0	12	31
1	19	23
2	26	23
3	33	15
4	39	13
5	46	13
6	53	13
7	55	13
done	55	13
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	12	31
1	19	23
2	26	23
3	33	15
4	39	13
5	46	13
6	53	13
7	55	13
done	55	13
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	10	19
1	18	17
2	25	17
3	32	5
4	39	5
done	39	5
0	10	21
1	16	21
2	23	21
3	30	13
4	36	8
5	37	8
done	37	8
0	10	19
1	18	17
2	25	17
3	32	5
4	39	5
done	39	5
0	10	21
1	16	21
2	23	21
3	30	13
4	36	8
5	37	8
done	37	8
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	9	17
1	17	13
2	23	5
3	28	5
done	28	5
0	10	21
1	16	21
2	23	21
3	30	13
4	36	8
5	37	8
done	37	8
0	9	17
1	17	13
2	23	5
3	28	5
done	28	5
0	10	21
1	16	21
2	23	21
3	30	13
4	36	8
5	37	8
done	37	8
0	9	25
1	17	23
2	36	21
3	85	21
4	128	13
5	139	8
6	167	8
7	271	8
8	629	8
9	1820	8
done	5000	8
0	10	21
1	16	21
2	23	21
3	30	14
4	36	14
done	36	14
0	9	23
1	16	13
2	22	11
3	33	11
done	33	9
0	10	21
1	16	21
2	23	21
3	30	14
4	36	8
5	37	8
done	37	8
0	8	15
1	14	13
2	20	11
3	31	11
done	31	5
0	10	21
1	16	21
2	23	21
3	30	14
4	36	8
5	37	8
done	37	8
0	8	15
1	14	13
2	20	11
3	31	11
done	31	5
0	10	21
1	16	21
2	23	21
3	30	14
4	36	8
5	37	8
done	37	8
0	4	11
1	10	1
done	10	1
0	9	19
1	15	19
2	22	19
3	29	12
4	35	7
5	36	7
done	36	7
0	8	15
1	14	13
2	20	11
3	31	11
done	31	5
0	10	21
1	16	21
2	23	21
3	30	14
4	36	8
5	37	8
done	37	8
0	8	15
1	14	13
2	20	11
3	31	11
done	31	5
0	10	21
1	16	21
2	23	21
3	30	14
4	36	8
5	37	8
done	37	8
0	4	9
1	10	3
2	11	1
done	11	1
0	9	19
1	15	19
2	22	19
3	29	12
4	35	7
5	36	7
done	36	7
0	12	33
1	20	33
2	40	33
3	74	25
4	115	17
5	125	12
6	157	12
7	252	12
8	562	12
9	1680	12
done	5001	12
0	11	23
1	17	23
2	24	23
3	31	15
4	37	15
done	37	15
0	12	33
1	20	33
2	40	33
3	74	25
4	115	17
5	125	12
6	157	12
7	252	12
8	562	12
9	1680	12
done	5001	12
0	11	23
1	17	23
2	24	23
3	31	15
4	37	15
done	37	15
0	12	31
1	19	23
2	26	23
3	33	15
4	39	13
5	46	13
6	53	13
7	55	13
done	55	13
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	12	31
1	19	23
2	26	23
3	33	15
4	39	13
5	46	13
6	53	13
7	55	13
done	55	13
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	10	19
1	18	17
2	25	17
3	32	5
4	39	5
done	39	5
0	10	21
1	16	21
2	23	21
3	30	13
4	36	8
5	37	8
done	37	8
0	10	19
1	18	17
2	25	17
3	32	5
4	39	5
done	39	5
0	10	21
1	16	21
2	23	21
3	30	13
4	36	8
5	37	8
done	37	8
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	9	17
1	17	13
2	23	5
3	28	5
done	28	5
0	10	21
1	16	21
2	23	21
3	30	13
4	36	8
5	37	8
done	37	8
0	9	17
1	17	13
2	23	5
3	28	5
done	28	5
0	10	21
1	16	21
2	23	21
3	30	13
4	36	8
5	37	8
done	37	8
0	8	23
1	16	23
2	34	21
3	80	21
4	122	13
5	133	8
6	161	8
7	265	8
8	623	8
9	1828	8
done	5000	8
0	10	21
1	16	21
2	23	21
3	30	14
4	36	14
done	36	14
0	8	21
1	15	13
2	21	11
3	32	11
done	32	9
0	10	21
1	16	21
2	23	21
3	30	14
4	36	8
5	37	8
done	37	8
0	7	13
1	13	13
2	19	11
3	30	11
done	30	5
0	10	21
1	16	21
2	23	21
3	30	14
4	36	8
5	37	8
done	37	8
0	7	13
1	13	13
2	19	11
3	30	11
done	30	5
0	10	21
1	16	21
2	23	21
3	30	14
4	36	8
5	37	8
done	37	8
0	4	9
1	10	7
2	15	1
done	15	1
0	9	19
1	15	19
2	22	19
3	29	12
4	35	7
5	36	7
done	36	7
0	7	13
1	13	13
2	19	11
3	30	11
done	30	5
0	10	21
1	16	21
2	23	21
3	30	14
4	36	8
5	37	8
done	37	8
0	7	13
1	13	13
2	19	11
3	30	11
done	30	5
0	10	21
1	16	21
2	23	21
3	30	14
4	36	8
5	37	8
done	37	8
0	3	7
1	9	1
done	9	1
0	9	19
1	15	19
2	22	19
3	29	12
4	35	7
5	36	7
done	36	7
0	2	3
1	4	1
done	4	1
0	9	19
1	15	19
2	22	19
3	29	12
4	35	7
5	36	7
done	36	7
0	6	11
1	8	4
2	10	4
done	10	4
0	6	11
1	12	11
2	18	9
3	29	9
done	29	4
0	10	21
1	12	9
2	14	9
done	14	9
0	10	21
1	12	9
2	14	9
done	14	9
0	13	22
1	18	22
2	22	22
3	26	22
4	27	22
done	27	22
0	13	22
1	18	22
2	22	22
3	26	22
4	27	22
done	27	22
0	13	22
1	18	22
2	22	22
3	26	22
4	27	22
done	27	22
0	13	22
1	18	22
2	22	22
3	26	22
4	27	22
done	27	22
0	13	22
1	18	22
2	22	22
3	26	22
4	27	22
done	27	22
0	13	22
1	18	22
2	22	22
3	26	22
4	27	22
done	27	22
0	13	22
1	18	22
2	22	22
3	26	22
4	27	22
done	27	22
0	13	22
1	18	22
2	22	22
3	26	22
4	27	22
done	27	22
0	13	22
1	18	22
2	22	22
3	24	22
4	26	22
5	27	22
done	27	22
0	13	22
1	18	22
2	22	22
3	24	22
4	26	22
5	27	22
done	27	22
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	13	22
1	18	22
2	22	22
3	24	22
4	26	22
5	27	22
done	27	22
0	13	22
1	18	22
2	22	22
3	24	22
4	26	22
5	27	22
done	27	22
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	13	22
1	18	22
2	22	22
3	24	22
4	26	22
5	27	22
done	27	22
0	13	22
1	18	22
2	22	22
3	24	22
4	26	22
5	27	22
done	27	22
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	13	22
1	18	22
2	22	22
3	24	22
4	26	22
5	27	22
done	27	22
0	13	22
1	18	22
2	22	22
3	24	22
4	26	22
5	27	22
done	27	22
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	11	23
1	17	23
2	24	23
3	31	15
4	37	9
5	38	9
done	38	9
0	3	3
1	6	1
done	6	1
0	11	31
1	18	31
2	27	31
3	35	31
4	44	31
5	50	31
6	55	31
done	55	31
0	10	20
1	15	20
2	19	20
3	21	20
4	23	20
5	24	20
done	24	20
0	14	33
1	27	33
2	69	33
3	162	33
4	365	33
5	622	33
6	692	33
7	703	33
done	703	33
0	15	32
1	25	28
2	44	28
3	87	28
4	162	28
5	231	28
6	246	28
7	252	28
done	252	28
0	13	28
1	22	28
2	41	28
3	84	28
4	159	28
5	230	28
6	245	28
7	251	28
done	251	28
0	14	26
1	25	25
2	44	25
3	87	23
4	196	23
5	292	23
6	311	23
done	311	23
0	13	28
1	22	28
2	41	28
3	84	28
4	159	28
5	230	28
6	245	28
7	251	28
done	251	28
0	13	25
1	24	23
2	51	23
3	136	23
4	236	23
5	269	23
done	269	23
0	15	32
1	25	26
2	45	26
3	85	26
4	151	26
5	211	26
6	220	26
done	220	26
0	16	31
1	25	21
2	35	21
3	52	21
4	73	21
5	85	21
6	87	21
done	87	21
0	14	27
1	22	21
2	32	21
3	49	21
4	70	21
5	82	21
6	84	21
done	84	21
0	15	25
1	25	18
2	35	18
3	52	16
4	107	16
5	158	16
6	166	16
done	166	16
0	14	27
1	22	21
2	32	21
3	49	21
4	70	21
5	82	21
6	84	21
done	84	21
0	14	24
1	24	16
2	38	16
3	70	16
4	99	16
5	105	16
done	105	16
0	13	26
1	22	26
2	42	26
3	82	26
4	148	26
5	206	26
6	215	26
done	215	26
0	14	25
1	22	21
2	32	21
3	49	21
4	70	21
5	82	21
6	84	21
done	84	21
0	12	21
1	19	21
2	29	21
3	46	21
4	67	21
5	79	21
6	81	21
done	81	21
0	13	19
1	22	18
2	32	18
3	49	16
4	104	16
5	155	16
6	163	16
done	163	16
0	12	21
1	19	21
2	29	21
3	46	21
4	67	21
5	79	21
6	81	21
done	81	21
0	12	18
1	21	16
2	35	16
3	67	16
4	96	16
5	103	16
done	103	16
0	14	22
1	25	21
2	45	21
3	84	19
4	198	19
5	284	19
6	297	19
done	297	19
0	15	21
1	25	16
2	35	16
3	52	14
4	95	14
5	120	14
6	127	14
done	127	14
0	13	17
1	22	16
2	32	16
3	49	14
4	92	14
5	118	14
6	123	14
done	123	14
0	12	15
1	21	11
2	32	9
3	59	9
4	87	9
5	91	9
done	91	9
0	13	17
1	22	16
2	32	16
3	49	14
4	92	14
5	118	14
6	123	14
done	123	14
0	12	14
1	21	11
2	32	9
3	59	9
4	87	9
5	91	9
done	91	9
0	13	26
1	22	26
2	42	26
3	82	26
4	148	26
5	206	26
6	215	26
done	215	26
0	14	25
1	22	21
2	32	21
3	49	21
4	70	21
5	82	21
6	84	21
done	84	21
0	12	21
1	19	21
2	29	21
3	46	21
4	67	21
5	79	21
6	81	21
done	81	21
0	13	19
1	22	18
2	32	18
3	49	16
4	104	16
5	155	16
6	163	16
done	163	16
0	12	21
1	19	21
2	29	21
3	46	21
4	67	21
5	79	21
6	81	21
done	81	21
0	12	18
1	21	16
2	35	16
3	67	16
4	96	16
5	103	16
done	103	16
0	13	21
1	24	21
2	43	19
3	113	19
4	212	19
5	291	19
6	298	19
done	298	19
0	14	20
1	24	16
2	34	14
3	72	14
4	103	14
5	130	14
6	132	14
done	132	14
0	12	16
1	21	16
2	31	14
3	69	14
4	100	14
5	127	14
6	129	14
done	129	14
0	12	14
1	21	13
2	30	11
3	68	9
4	220	9
5	260	9
done	260	9
0	12	16
1	21	16
2	31	14
3	69	14
4	100	14
5	127	14
6	129	14
done	129	14
0	11	13
1	20	11
2	31	9
3	58	9
4	86	9
5	91	9
done	91	9
0	10	11
1	17	9
2	28	9
3	34	9
4	37	9
5	41	9
6	42	9
done	42	9
0	9	15
1	14	15
2	17	8
3	18	8
done	18	8
0	10	20
1	15	20
2	19	20
3	23	20
4	24	20
done	24	20
0	10	20
1	15	20
2	19	20
3	23	20
4	24	20
done	24	20
0	12	21
1	19	21
2	29	21
3	46	21
4	67	21
5	79	21
6	81	21
done	81	21
0	13	21
1	20	21
2	30	21
3	47	21
4	68	21
5	80	21
6	82	21
done	82	21
0	12	21
1	19	21
2	29	21
3	46	21
4	67	21
5	79	21
6	81	21
done	81	21
0	11	20
1	18	20
2	27	20
3	39	20
4	51	15
5	55	15
done	55	15
0	12	21
1	19	21
2	29	21
3	46	21
4	67	21
5	79	21
6	81	21
done	81	21
0	11	20
1	18	20
2	27	20
3	39	20
4	51	15
5	55	15
done	55	15
0	13	21
1	20	21
2	30	21
3	47	21
4	68	21
5	80	21
6	82	21
done	82	21
0	14	21
1	21	21
2	31	21
3	48	21
4	69	21
5	81	21
6	83	21
done	83	21
0	13	21
1	20	21
2	30	21
3	47	21
4	68	21
5	80	21
6	82	21
done	82	21
0	12	20
1	19	20
2	28	20
3	40	20
4	52	15
5	56	15
done	56	15
0	13	21
1	20	21
2	30	21
3	47	21
4	68	21
5	80	21
6	82	21
done	82	21
0	12	20
1	19	20
2	28	20
3	40	20
4	52	15
5	56	15
done	56	15
0	12	21
1	19	21
2	29	21
3	46	21
4	67	21
5	79	21
6	81	21
done	81	21
0	13	21
1	20	21
2	30	21
3	47	21
4	68	21
5	80	21
6	82	21
done	82	21
0	12	21
1	19	21
2	29	21
3	46	21
4	67	21
5	79	21
6	81	21
done	81	21
0	11	20
1	18	20
2	27	20
3	39	20
4	51	15
5	55	15
done	55	15
0	12	21
1	19	21
2	29	21
3	46	21
4	67	21
5	79	21
6	81	21
done	81	21
0	11	20
1	18	20
2	27	20
3	39	20
4	51	15
5	55	15
done	55	15
0	11	20
1	18	20
2	28	20
3	43	13
4	52	13
5	53	13
done	53	13
0	12	20
1	19	20
2	29	20
3	44	13
4	53	13
5	54	13
done	54	13
0	11	20
1	18	20
2	28	20
3	43	13
4	52	13
5	53	13
done	53	13
0	9	19
1	15	19
2	22	19
3	29	12
4	35	7
5	36	7
done	36	7
0	11	20
1	18	20
2	28	20
3	43	13
4	52	13
5	53	13
done	53	13
0	9	19
1	15	19
2	22	19
3	29	12
4	35	7
5	36	7
done	36	7
0	12	21
1	19	21
2	29	21
3	46	21
4	67	21
5	79	21
6	81	21
done	81	21
0	13	21
1	20	21
2	30	21
3	47	21
4	68	21
5	80	21
6	82	21
done	82	21
0	12	21
1	19	21
2	29	21
3	46	21
4	67	21
5	79	21
6	81	21
done	81	21
0	11	20
1	18	20
2	27	20
3	39	20
4	51	15
5	55	15
done	55	15
0	12	21
1	19	21
2	29	21
3	46	21
4	67	21
5	79	21
6	81	21
done	81	21
0	11	20
1	18	20
2	27	20
3	39	20
4	51	15
5	55	15
done	55	15
0	11	20
1	18	20
2	28	20
3	43	13
4	52	13
5	53	13
done	53	13
0	12	20
1	19	20
2	29	20
3	44	13
4	53	13
5	54	13
done	54	13
0	11	20
1	18	20
2	28	20
3	43	13
4	52	13
5	53	13
done	53	13
0	9	19
1	15	19
2	22	19
3	29	12
4	35	7
5	36	7
done	36	7
0	11	20
1	18	20
2	28	20
3	43	13
4	52	13
5	53	13
done	53	13
0	9	19
1	15	19
2	22	19
3	29	12
4	35	7
5	36	7
done	36	7
0	9	19
1	15	19
2	22	19
3	29	12
4	35	7
5	36	7
done	36	7
0	11	15
1	20	15
2	29	13
3	70	13
4	116	8
5	117	8
done	117	8
0	9	15
1	14	15
2	17	8
3	18	8
done	18	8
0	9	15
1	14	15
2	17	8
3	18	8
done	18	8
0	10	11
1	14	11
2	16	11
done	16	11
0	9	10
1	14	10
2	17	10
3	18	10
done	18	10
0	9	10
1	11	10
2	12	10
done	12	10
0	12	29
1	23	17
2	58	13
3	125	11
4	204	11
5	322	11
6	781	11
7	3368	11
done	5000	11
0	10	21
1	12	21
2	13	21
done	13	21
0	9	10
1	11	10
2	12	10
done	12	10
0	10	29
1	19	29
2	36	11
3	74	11
4	142	11
5	210	11
6	338	11
7	833	11
8	3581	11
done	5000	11
0	6	7
1	8	7
2	9	7
done	9	7
0	9	10
1	11	10
2	12	10
done	12	10
0	9	10
1	11	10
2	12	10
done	12	10
0	6	6
1	8	6
2	9	6
done	9	6
0	4	4
done	4	4
0	12	23
1	20	23
2	30	23
3	36	23
done	36	23
0	10	11
1	12	11
2	13	11
done	13	11
0	12	22
1	17	18
2	20	18
3	21	18
done	21	18
0	10	11
1	12	11
2	13	11
done	13	11
0	11	18
1	15	18
2	18	18
3	19	18
done	19	18
0	10	11
1	12	11
2	13	11
done	13	11
0	10	16
1	16	15
2	19	15
3	20	13
4	27	13
done	27	13
0	9	10
1	11	10
2	12	10
done	12	10
0	11	18
1	15	18
2	18	18
3	19	18
done	19	18
0	10	11
1	12	11
2	13	11
done	13	11
0	9	15
1	15	13
2	22	13
3	27	13
done	27	13
0	9	10
1	11	10
2	12	10
done	12	10
0	12	22
1	17	16
2	18	16
done	18	16
0	10	11
1	12	11
2	13	11
done	13	11
0	12	21
1	16	11
2	17	11
done	17	11
0	10	11
1	12	11
2	13	11
done	13	11
0	11	17
1	14	11
2	15	11
done	15	11
0	10	11
1	12	11
2	13	11
done	13	11
0	10	15
1	15	8
2	16	8
done	16	8
0	9	10
1	11	10
2	12	10
done	12	10
0	11	17
1	14	11
2	15	11
done	15	11
0	10	11
1	12	11
2	13	11
done	13	11
0	9	14
1	14	6
2	17	6
done	17	6
0	9	10
1	11	10
2	12	10
done	12	10
0	11	16
1	15	16
2	16	16
done	16	16
0	10	11
1	12	11
2	13	11
done	13	11
0	11	15
1	14	11
2	15	11
done	15	11
0	10	11
1	12	11
2	13	11
done	13	11
0	10	11
1	12	11
2	13	11
done	13	11
0	10	11
1	12	11
2	13	11
done	13	11
0	9	9
1	13	8
2	14	8
done	14	8
0	9	10
1	11	10
2	12	10
done	12	10
0	10	11
1	12	11
2	13	11
done	13	11
0	10	11
1	12	11
2	13	11
done	13	11
0	8	8
1	12	6
2	15	6
done	15	6
0	9	10
1	11	10
2	12	10
done	12	10
0	8	12
1	12	11
done	12	11
0	9	10
1	11	10
2	12	10
done	12	10
0	8	11
1	11	6
done	11	6
0	9	10
1	11	10
2	12	10
done	12	10
0	7	7
1	9	6
done	9	6
0	9	10
1	11	10
2	12	10
done	12	10
0	3	5
1	5	1
done	5	1
0	8	9
1	10	9
2	11	9
done	11	9
0	7	7
1	9	6
done	9	6
0	9	10
1	11	10
2	12	10
done	12	10
0	3	4
1	5	1
done	5	1
0	8	9
1	10	9
2	11	9
done	11	9
0	11	16
1	15	16
2	16	16
done	16	16
0	10	11
1	12	11
2	13	11
done	13	11
0	11	15
1	14	11
2	15	11
done	15	11
0	10	11
1	12	11
2	13	11
done	13	11
0	10	11
1	12	11
2	13	11
done	13	11
0	10	11
1	12	11
2	13	11
done	13	11
0	9	9
1	13	8
2	14	8
done	14	8
0	9	10
1	11	10
2	12	10
done	12	10
0	10	11
1	12	11
2	13	11
done	13	11
0	10	11
1	12	11
2	13	11
done	13	11
0	8	8
1	12	6
2	15	6
done	15	6
0	9	10
1	11	10
2	12	10
done	12	10
0	7	11
1	11	11
done	11	11
0	9	10
1	11	10
2	12	10
done	12	10
0	7	10
1	10	6
done	10	6
0	9	10
1	11	10
2	12	10
done	12	10
0	6	6
1	8	6
done	8	6
0	9	10
1	11	10
2	12	10
done	12	10
0	3	4
1	5	3
done	5	3
0	8	9
1	10	9
2	11	9
done	11	9
0	6	6
1	8	6
done	8	6
0	9	10
1	11	10
2	12	10
done	12	10
0	2	3
1	4	1
done	4	1
0	8	9
1	10	9
2	11	9
done	11	9
0	5	5
1	7	5
done	7	5
0	8	9
1	10	9
2	11	9
done	11	9
0	10	15
1	14	15
2	15	15
done	15	15
0	10	14
1	13	10
2	14	10
done	14	10
0	9	10
1	11	10
2	12	10
done	12	10
0	8	8
1	12	7
2	13	7
done	13	7
0	9	10
1	11	10
2	12	10
done	12	10
0	7	7
1	11	5
2	14	5
done	14	5
0	9	10
1	11	10
2	12	10
done	12	10
0	9	10
1	11	10
2	12	10
done	12	10
0	9	10
1	11	10
2	12	10
done	12	10
0	8	9
1	10	9
2	11	9
done	11	9
0	9	10
1	11	10
2	12	10
done	12	10
0	8	9
1	10	9
2	11	9
done	11	9
0	10	11
1	14	11
2	16	11
done	16	11
0	9	10
1	14	10
2	17	10
3	18	10
done	18	10
0	9	10
1	11	10
2	12	10
done	12	10
0	12	29
1	23	17
2	58	13
3	125	11
4	204	11
5	322	11
6	781	11
7	3368	11
done	5000	11
0	10	21
1	12	21
2	13	21
done	13	21
0	9	10
1	11	10
2	12	10
done	12	10
0	10	29
1	19	29
2	36	11
3	74	11
4	142	11
5	210	11
6	338	11
7	833	11
8	3581	11
done	5000	11
0	6	7
1	8	7
2	9	7
done	9	7
0	9	10
1	11	10
2	12	10
done	12	10
0	9	10
1	11	10
2	12	10
done	12	10
0	6	6
1	8	6
2	9	6
done	9	6
0	4	4
done	4	4
0	12	23
1	20	23
2	30	23
3	36	23
done	36	23
0	10	11
1	12	11
2	13	11
done	13	11
0	12	22
1	17	18
2	20	18
3	21	18
done	21	18
0	10	11
1	12	11
2	13	11
done	13	11
0	11	18
1	15	18
2	18	18
3	19	18
done	19	18
0	10	11
1	12	11
2	13	11
done	13	11
0	10	16
1	16	15
2	19	15
3	20	13
4	27	13
done	27	13
0	9	10
1	11	10
2	12	10
done	12	10
0	11	18
1	15	18
2	18	18
3	19	18
done	19	18
0	10	11
1	12	11
2	13	11
done	13	11
0	9	15
1	15	13
2	22	13
3	27	13
done	27	13
0	9	10
1	11	10
2	12	10
done	12	10
0	12	22
1	17	16
2	18	16
done	18	16
0	10	11
1	12	11
2	13	11
done	13	11
0	12	21
1	16	11
2	17	11
done	17	11
0	10	11
1	12	11
2	13	11
done	13	11
0	11	17
1	14	11
2	15	11
done	15	11
0	10	11
1	12	11
2	13	11
done	13	11
0	10	15
1	15	8
2	16	8
done	16	8
0	9	10
1	11	10
2	12	10
done	12	10
0	11	17
1	14	11
2	15	11
done	15	11
0	10	11
1	12	11
2	13	11
done	13	11
0	9	14
1	14	6
2	17	6
done	17	6
0	9	10
1	11	10
2	12	10
done	12	10
0	11	16
1	15	16
2	16	16
done	16	16
0	10	11
1	12	11
2	13	11
done	13	11
0	11	15
1	14	11
2	15	11
done	15	11
0	10	11
1	12	11
2	13	11
done	13	11
0	10	11
1	12	11
2	13	11
done	13	11
0	10	11
1	12	11
2	13	11
done	13	11
0	9	9
1	13	8
2	14	8
done	14	8
0	9	10
1	11	10
2	12	10
done	12	10
0	10	11
1	12	11
2	13	11
done	13	11
0	10	11
1	12	11
2	13	11
done	13	11
0	8	8
1	12	6
2	15	6
done	15	6
0	9	10
1	11	10
2	12	10
done	12	10
0	8	12
1	12	11
done	12	11
0	9	10
1	11	10
2	12	10
done	12	10
0	8	11
1	11	6
done	11	6
0	9	10
1	11	10
2	12	10
done	12	10
0	7	7
1	9	6
done	9	6
0	9	10
1	11	10
2	12	10
done	12	10
0	3	5
1	5	1
done	5	1
0	8	9
1	10	9
2	11	9
done	11	9
0	7	7
1	9	6
done	9	6
0	9	10
1	11	10
2	12	10
done	12	10
0	3	4
1	5	1
done	5	1
0	8	9
1	10	9
2	11	9
done	11	9
0	11	16
1	15	16
2	16	16
done	16	16
0	10	11
1	12	11
2	13	11
done	13	11
0	11	15
1	14	11
2	15	11
done	15	11
0	10	11
1	12	11
2	13	11
done	13	11
0	10	11
1	12	11
2	13	11
done	13	11
0	10	11
1	12	11
2	13	11
done	13	11
0	9	9
1	13	8
2	14	8
done	14	8
0	9	10
1	11	10
2	12	10
done	12	10
0	10	11
1	12	11
2	13	11
done	13	11
0	10	11
1	12	11
2	13	11
done	13	11
0	8	8
1	12	6
2	15	6
done	15	6
0	9	10
1	11	10
2	12	10
done	12	10
0	7	11
1	11	11
done	11	11
0	9	10
1	11	10
2	12	10
done	12	10
0	7	10
1	10	6
done	10	6
0	9	10
1	11	10
2	12	10
done	12	10
0	6	6
1	8	6
done	8	6
0	9	10
1	11	10
2	12	10
done	12	10
0	3	4
1	5	3
done	5	3
0	8	9
1	10	9
2	11	9
done	11	9
0	6	6
1	8	6
done	8	6
0	9	10
1	11	10
2	12	10
done	12	10
0	2	3
1	4	1
done	4	1
0	8	9
1	10	9
2	11	9
done	11	9
0	5	5
1	7	5
done	7	5
0	8	9
1	10	9
2	11	9
done	11	9
0	10	15
1	14	15
2	15	15
done	15	15
0	10	14
1	13	10
2	14	10
done	14	10
0	9	10
1	11	10
2	12	10
done	12	10
0	8	8
1	12	7
2	13	7
done	13	7
0	9	10
1	11	10
2	12	10
done	12	10
0	7	7
1	11	5
2	14	5
done	14	5
0	9	10
1	11	10
2	12	10
done	12	10
0	9	10
1	11	10
2	12	10
done	12	10
0	9	10
1	11	10
2	12	10
done	12	10
0	8	9
1	10	9
2	11	9
done	11	9
0	9	10
1	11	10
2	12	10
done	12	10
0	8	9
1	10	9
2	11	9
done	11	9
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	10	10
2	14	7
3	19	7
4	25	7
5	35	7
6	56	7
7	112	7
8	329	7
9	1254	7
done	5000	7
0	7	12
1	10	6
2	11	6
done	11	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	3	3
1	6	1
done	6	1
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	7	8
1	9	8
2	10	8
done	10	8
0	7	8
1	9	8
2	10	8
done	10	8
0	7	8
1	9	8
2	10	8
done	10	8
0	7	8
1	9	8
2	10	8
done	10	8
0	7	8
1	9	8
2	10	8
done	10	8
0	7	8
1	9	8
2	10	8
done	10	8
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5

prune181.0ms

Filtered

164 candidates to 346 candidates (-111.0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	346	0	346
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	346	4	350

Merged error: 0b

Counts

350 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

6.0ms	(* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))
1.0ms	(cbrt (fabs (- x y)))
1.0ms	(cbrt (fabs (- x y)))
1.0ms	(cbrt (fabs (- x y)))

series69.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))
14.0ms	(cbrt (fabs (- x y)))
15.0ms	(cbrt (fabs (- x y)))
14.0ms	(cbrt (fabs (- x y)))

simplify53.3s

Counts

85 → 85

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	7	12
1	9	12
2	10	12
done	10	12
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	10	17
2	13	7
3	18	4
4	24	4
5	34	4
6	55	4
7	117	4
8	328	4
9	1251	4
done	5000	4
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	7	12
1	9	12
2	10	12
done	10	12
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	10	17
2	13	7
3	18	4
4	24	4
5	34	4
6	55	4
7	117	4
8	328	4
9	1251	4
done	5000	4
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	7	12
1	9	12
2	10	12
done	10	12
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	10	17
2	13	7
3	18	4
4	24	4
5	34	4
6	55	4
7	117	4
8	328	4
9	1251	4
done	5000	4
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	5	9
1	7	9
2	8	9
done	8	9
0	6	11
1	8	11
2	9	11
done	9	11
0	2	3
1	6	1
done	6	1
0	7	13
1	11	8
2	13	8
done	13	8
0	7	12
1	11	12
2	14	8
3	15	8
done	15	8
0	7	12
1	11	12
2	16	12
3	21	12
4	39	12
5	79	12
6	184	12
7	554	12
8	2242	12
done	5000	12
0	5	9
1	7	9
2	8	9
done	8	9
0	8	25
1	10	25
2	11	25
done	11	25
0	7	12
1	9	12
2	10	12
done	10	12
0	8	35
1	18	35
2	26	13
3	40	7
4	74	7
5	159	7
6	388	7
7	1383	7
done	5000	7
0	7	12
1	10	6
2	11	6
done	11	6
0	7	12
1	10	6
2	11	6
done	11	6
0	8	25
1	10	25
2	11	25
done	11	25
0	7	13
1	9	13
2	10	13
done	10	13
0	7	13
1	9	13
2	10	13
done	10	13
0	7	13
1	9	13
2	10	13
done	10	13
0	3	5
1	5	3
done	5	1
0	6	11
1	8	11
2	9	11
done	9	11
0	8	27
1	14	27
2	19	15
3	28	8
4	43	8
5	69	8
6	141	8
7	358	8
8	1263	8
done	5001	8
0	7	13
1	9	13
2	10	13
done	10	13
0	7	13
1	9	5
2	11	5
done	11	5
0	7	13
1	9	5
2	11	5
done	11	5
0	2	3
1	4	1
done	4	1
0	6	11
1	8	11
2	9	11
done	9	11
0	7	13
1	9	13
2	10	13
done	10	13
0	7	13
1	9	13
2	10	13
done	10	13
0	9	13
1	12	13
2	13	13
done	13	13
0	9	13
1	12	13
2	13	13
done	13	13
0	9	13
1	12	13
2	13	13
done	13	13
0	9	13
1	12	13
2	13	13
done	13	13
0	7	13
1	9	5
2	11	5
done	11	5
0	7	13
1	9	5
2	11	5
done	11	5
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	8	18
1	11	18
2	12	18
done	12	18
0	8	12
1	11	12
2	12	12
done	12	12
0	8	8
1	13	7
2	14	7
done	14	5
0	8	19
1	13	19
2	16	19
done	16	19
0	7	12
1	10	12
2	11	12
done	11	12
0	7	7
1	12	5
2	16	5
done	16	5
0	7	12
1	10	12
2	11	12
done	11	12
0	8	12
1	11	12
2	12	12
done	12	12
0	6	11
1	8	11
2	9	11
done	9	11
0	7	12
1	10	12
2	11	12
done	11	12
0	7	12
1	10	12
2	11	12
done	11	12
0	6	11
1	8	11
2	9	11
done	9	11
0	6	6
1	14	5
2	21	5
3	31	5
4	55	5
5	113	5
6	317	5
7	1230	5
done	5000	5
0	6	6
1	14	5
2	21	5
3	31	5
4	55	5
5	113	5
6	317	5
7	1230	5
done	5000	5
0	6	6
1	14	5
2	21	5
3	31	5
4	55	5
5	113	5
6	317	5
7	1230	5
done	5000	5
0	6	6
1	14	5
2	21	5
3	31	5
4	55	5
5	113	5
6	317	5
7	1230	5
done	5000	5
0	6	6
1	14	5
2	21	5
3	31	5
4	55	5
5	113	5
6	317	5
7	1230	5
done	5000	5
0	6	6
1	14	5
2	21	5
3	31	5
4	55	5
5	113	5
6	317	5
7	1230	5
done	5000	5
0	6	6
1	14	5
2	21	5
3	31	5
4	55	5
5	113	5
6	317	5
7	1230	5
done	5000	5
0	6	6
1	14	5
2	21	5
3	31	5
4	55	5
5	113	5
6	317	5
7	1230	5
done	5000	5
0	6	6
1	14	5
2	21	5
3	31	5
4	55	5
5	113	5
6	317	5
7	1230	5
done	5000	5
0	8	8
1	20	7
2	35	7
3	56	7
4	104	7
5	230	7
6	655	7
7	2581	7
done	5001	7
0	8	8
1	20	7
2	35	7
3	56	7
4	104	7
5	230	7
6	655	7
7	2581	7
done	5001	7
0	8	8
1	20	7
2	35	7
3	56	7
4	104	7
5	230	7
6	655	7
7	2581	7
done	5001	7

prune64.0ms

Filtered

53 candidates to 85 candidates (-60.4%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	85	4	89

Merged error: 0b

Counts

89 → 4

regimes135.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
done	6	7

end0.0ms

sample519.0ms

Algorithm

intervals

Results

236.0ms

9148×

body

valid

Details

sample20.0ms

simplify3.0ms

prune3.0ms

localize6.0ms

rewrite4.0ms

series7.0ms

simplify5.4s

prune43.0ms

localize8.0ms

rewrite10.0ms

series10.0ms

simplify16.7s

prune37.0ms

localize10.0ms

rewrite85.0ms

series42.0ms

simplify1.7min

prune181.0ms

localize11.0ms

rewrite13.0ms

series69.0ms

simplify53.3s

prune64.0ms

regimes135.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample519.0ms

Profiling