Details

sample35.0ms

Algorithm

intervals

Results

11.0ms

287×

body

valid

simplify559.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	18	11
2	33	11
3	57	11
4	91	11
5	126	11
6	153	11
7	178	11
8	222	11
9	288	11
10	377	11
11	423	11
12	501	11
13	523	11
done	523	11

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: 9.1b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ (* y (- z t)) (- z a)))
0.0b	(* y (- z t))
9.3b	(/ (* y (- z t)) (- z a))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`add-exp-log` `add-cbrt-cube`
7×	`add-cube-cbrt`
5×	`pow1` `times-frac` `associate-r` `associate-/r*` `add-log-exp`
4×	`associate-*r/`
3×	`flip3--` `associate-l` `flip--` `distribute-lft-out--` `difference-of-squares`
2×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `distribute-lft-in` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `frac-2neg` `flip3-+` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+` `div-inv` `distribute-lft-out` `associate-/l` `unswap-sqr`

Counts

3 → 67

Calls

3 calls:

8.0ms	(+ x (/ (* y (- z t)) (- z a)))
7.0ms	(* y (- z t))
17.0ms	(/ (* y (- z t)) (- z a))

series59.0ms

Counts

3 → 9

Calls

3 calls:

31.0ms	(+ x (/ (* y (- z t)) (- z a)))
9.0ms	(* y (- z t))
19.0ms	(/ (* y (- z t)) (- z a))

simplify55.0s

Counts

76 → 76

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	20	12
2	29	12
3	35	12
4	41	12
5	50	12
6	63	12
7	81	12
8	97	12
9	104	12
10	121	12
11	123	12
done	123	12
0	10	11
1	20	11
2	34	11
3	48	11
4	57	11
5	63	11
6	72	11
7	85	11
8	103	11
9	119	11
10	126	11
11	143	11
12	145	11
done	145	11
0	9	10
1	19	10
2	42	10
3	82	10
4	119	10
5	150	10
6	182	10
7	209	10
8	235	10
9	242	10
10	259	10
11	261	10
done	261	10
0	9	10
1	16	10
2	31	10
3	57	10
4	94	10
5	150	10
6	239	10
7	489	10
8	1609	10
done	5000	10
0	14	29
1	33	29
2	161	15
3	797	15
4	3596	13
done	5001	13
0	12	29
1	35	29
2	174	13
3	951	11
4	4163	11
done	5000	11
0	10	21
1	17	21
2	32	21
3	56	21
4	78	21
5	101	21
6	121	21
7	130	21
8	140	21
done	140	21
0	9	10
1	16	10
2	31	10
3	55	10
4	77	10
5	100	10
6	120	10
7	129	10
8	139	10
done	139	10
0	10	29
1	24	29
2	76	11
3	344	11
4	1838	11
done	5000	11
0	9	10
1	16	10
2	31	10
3	55	10
4	77	10
5	100	10
6	120	10
7	129	10
8	139	10
done	139	10
0	9	10
1	16	10
2	31	10
3	55	10
4	77	10
5	100	10
6	120	10
7	129	10
8	139	10
done	139	10
0	6	6
1	13	6
2	31	6
3	52	6
4	65	5
5	70	5
done	70	5
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	7	11
1	11	11
2	12	11
done	12	11
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	6	6
1	8	6
2	9	6
done	9	6
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	3	3
1	5	1
done	5	1
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	7	7
1	8	7
done	8	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	3	3
1	5	1
done	5	1
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	5	5
1	9	5
2	10	5
done	10	5
0	8	9
1	18	9
2	39	9
3	52	9
4	62	9
5	63	9
done	63	9
0	10	15
1	22	15
2	47	15
3	89	15
4	139	15
5	194	15
6	233	15
7	236	15
done	236	15
0	9	10
1	16	10
2	28	10
3	47	10
4	65	10
5	86	10
6	94	10
done	94	10
0	7	7
1	14	5
2	29	5
3	54	5
4	73	5
5	87	5
6	95	5
7	112	5
8	126	5
9	131	5
done	131	5
0	10	11
1	16	11
2	27	11
3	46	11
4	64	11
5	85	11
6	93	11
done	93	11
0	7	7
1	14	5
2	29	5
3	54	5
4	73	5
5	87	5
6	95	5
7	112	5
8	126	5
9	131	5
done	131	5
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	11	13
1	31	13
2	67	13
3	148	13
4	378	13
5	1289	13
done	5000	13
0	10	13
1	20	13
2	50	13
3	121	13
4	246	13
5	465	13
6	725	13
7	1180	13
8	3139	13
done	5001	13
0	10	15
1	26	13
2	74	13
3	206	13
4	506	13
5	1287	13
6	2743	13
done	5000	13
0	6	7
1	16	7
2	35	7
3	62	7
4	110	7
5	166	7
6	247	7
7	445	7
8	721	7
9	779	7
10	795	7
done	795	7
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	24	6
3	49	6
4	90	6
5	192	6
6	441	6
7	1402	6
done	5001	6
0	9	17
1	18	17
2	62	9
3	243	9
4	855	7
5	2965	7
done	5001	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	266	7
4	818	7
5	2511	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	7	11
1	12	11
2	15	11
done	15	11
0	6	6
1	9	6
2	10	6
done	10	6
0	3	3
1	6	1
done	6	1
0	7	7
1	15	7
2	16	7
done	16	7
0	3	3
1	6	1
done	6	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	309	9
5	988	9
6	4466	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	12	13
1	22	12
2	38	12
3	64	12
4	113	12
5	202	12
6	335	12
7	750	12
8	3007	12
done	5000	12
0	11	12
1	19	12
2	34	12
3	58	12
4	92	12
5	125	12
6	152	12
7	177	12
8	221	12
9	287	12
10	376	12
11	422	12
12	500	12
13	522	12
done	522	12
0	11	12
1	22	12
2	38	12
3	64	12
4	113	12
5	204	12
6	337	12
7	752	12
8	3027	12
done	5000	12
0	12	25
1	20	25
2	35	25
3	59	25
4	93	25
5	128	25
6	155	25
7	180	25
8	224	25
9	290	25
10	379	25
11	425	25
12	503	25
13	525	25
done	525	25
0	11	12
1	19	12
2	34	12
3	58	12
4	92	12
5	125	12
6	152	12
7	177	12
8	221	12
9	287	12
10	376	12
11	422	12
12	500	12
13	522	12
done	522	12
0	12	35
1	33	35
2	96	13
3	340	13
4	1531	13
done	5001	13
0	11	12
1	19	12
2	34	12
3	58	12
4	92	12
5	125	12
6	152	12
7	177	12
8	221	12
9	287	12
10	376	12
11	422	12
12	500	12
13	522	12
done	522	12
0	11	12
1	19	12
2	34	12
3	58	12
4	92	12
5	125	12
6	152	12
7	177	12
8	221	12
9	287	12
10	376	12
11	422	12
12	500	12
13	522	12
done	522	12
0	13	15
1	37	15
2	93	15
3	340	15
4	1783	15
done	5000	15
0	14	35
1	35	25
2	100	25
3	342	25
4	1205	25
5	3290	25
done	5000	25
0	12	23
1	28	23
2	72	23
3	266	23
4	1167	23
5	4209	23
done	5001	23
0	10	11
1	19	11
2	39	11
3	77	11
4	154	11
5	237	11
6	304	11
7	339	11
8	409	11
9	507	11
10	513	11
done	513	11
0	10	11
1	18	11
2	33	11
3	57	11
4	91	11
5	126	11
6	153	11
7	178	11
8	222	11
9	288	11
10	377	11
11	423	11
12	501	11
13	523	11
done	523	11
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	1	1
done	1	1
0	8	9
1	16	9
2	31	9
3	51	9
4	75	9
5	90	9
6	110	9
7	132	9
8	141	9
9	150	9
10	181	9
11	213	9
12	218	9
13	233	9
14	269	9
15	359	9
16	589	9
17	790	9
18	915	9
19	969	9
done	969	9
0	8	9
1	16	9
2	31	9
3	51	9
4	75	9
5	90	9
6	110	9
7	132	9
8	141	9
9	150	9
10	181	9
11	213	9
12	218	9
13	233	9
14	269	9
15	359	9
16	589	9
17	790	9
18	915	9
19	969	9
done	969	9

prune109.0ms

Filtered

57 candidates to 76 candidates (-33.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	72	4	76
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	72	5	77

Merged error: 0.0b

Counts

77 → 5

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (* y (/ (- z t) (- z a))))
0.0b	(/ (- z t) (- z a))
3.0b	(* y (/ (- z t) (- z a)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-sqr-sqrt`
71×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-r`
27×	`add-cube-cbrt`
22×	`distribute-lft-out--` `difference-of-squares`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `associate-/r` `associate-/l` `add-log-exp`
4×	`associate-/r/`
3×	`flip3--` `associate-l` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `flip3-+` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+`

Counts

3 → 113

Calls

3 calls:

3.0ms	(+ x (* y (/ (- z t) (- z a))))
10.0ms	(/ (- z t) (- z a))
17.0ms	(* y (/ (- z t) (- z a)))

series61.0ms

Counts

3 → 9

Calls

3 calls:

31.0ms	(+ x (* y (/ (- z t) (- z a))))
11.0ms	(/ (- z t) (- z a))
18.0ms	(* y (/ (- z t) (- z a)))

simplify55.8s

Counts

122 → 122

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	8	9
1	18	9
2	31	9
3	51	9
4	79	9
5	102	9
6	123	9
7	133	9
8	143	9
done	143	9
0	11	12
1	20	12
2	29	12
3	38	12
4	44	12
5	54	12
6	61	12
7	73	12
8	96	12
9	110	12
10	116	12
done	116	12
0	10	11
1	21	11
2	31	11
3	42	11
4	52	11
5	61	11
6	66	11
7	75	11
8	92	11
9	111	11
10	119	11
done	119	11
0	9	10
1	22	10
2	41	10
3	71	10
4	118	10
5	155	10
6	188	10
7	216	10
8	242	10
9	249	10
10	266	10
11	268	10
done	268	10
0	9	10
1	21	10
2	40	10
3	78	10
4	159	10
5	327	10
6	673	10
7	1923	10
done	5001	10
0	14	29
1	33	29
2	140	15
3	643	13
4	2877	13
done	5000	13
0	12	29
1	32	29
2	97	13
3	400	13
4	1913	11
done	5001	11
0	10	21
1	20	21
2	33	21
3	53	21
4	81	21
5	104	21
6	125	21
7	135	21
8	145	21
done	145	21
0	9	10
1	19	10
2	32	10
3	52	10
4	80	10
5	103	10
6	124	10
7	134	10
8	144	10
done	144	10
0	10	29
1	30	29
2	94	11
3	393	11
4	1926	11
done	5000	11
0	9	10
1	19	10
2	32	10
3	52	10
4	80	10
5	103	10
6	124	10
7	134	10
8	144	10
done	144	10
0	9	10
1	19	10
2	32	10
3	52	10
4	80	10
5	103	10
6	124	10
7	134	10
8	144	10
done	144	10
0	10	11
1	18	11
2	22	11
3	24	11
done	24	11
0	10	11
1	18	11
2	22	11
3	24	11
done	24	11
0	11	12
1	18	12
2	23	12
3	27	12
4	28	12
done	28	12
0	11	12
1	18	12
2	23	12
3	27	12
4	28	12
done	28	12
0	10	19
1	20	19
2	26	19
3	28	19
done	28	19
0	9	10
1	17	10
2	21	10
3	23	10
done	23	10
0	12	21
1	25	21
2	56	21
3	95	21
4	151	21
5	163	21
done	163	21
0	11	16
1	20	16
2	32	16
3	47	16
4	60	16
5	62	16
done	62	16
0	9	13
1	18	11
2	36	11
3	73	11
4	111	11
done	111	11
0	12	17
1	20	17
2	31	17
3	46	17
4	59	17
5	61	17
done	61	17
0	9	13
1	18	11
2	36	11
3	73	11
4	111	11
done	111	11
0	11	16
1	20	16
2	33	16
3	47	16
4	59	16
done	59	16
0	10	11
1	17	11
2	22	11
3	26	11
4	27	11
done	27	11
0	8	8
1	15	6
2	23	6
3	32	6
4	38	6
done	38	6
0	11	12
1	17	12
2	21	12
3	25	12
4	26	12
done	26	12
0	8	8
1	15	6
2	23	6
3	32	6
4	38	6
done	38	6
0	9	13
1	18	13
2	29	11
3	36	11
4	56	11
5	86	11
6	89	11
done	89	11
0	8	8
1	15	8
2	19	6
3	20	6
4	25	6
5	26	6
done	26	6
0	4	5
1	9	3
2	14	1
done	14	1
0	9	9
1	15	9
2	18	7
3	19	7
4	24	7
5	25	7
done	25	7
0	4	5
1	9	3
2	14	1
done	14	1
0	12	17
1	20	17
2	40	17
3	54	17
4	82	17
5	88	17
6	108	17
7	134	17
8	148	17
9	153	17
10	154	17
11	156	17
12	157	17
done	157	17
0	11	12
1	17	12
2	29	12
3	33	12
4	42	12
5	44	12
6	50	12
7	54	12
8	60	12
9	62	12
done	62	12
0	9	9
1	15	7
2	30	7
3	39	7
4	53	7
done	53	7
0	11	13
1	16	13
2	27	13
3	31	13
4	40	13
5	42	13
6	48	13
7	52	13
8	58	13
9	60	13
done	60	13
0	9	9
1	15	7
2	30	7
3	39	7
4	53	7
done	53	7
0	9	13
1	18	13
2	29	11
3	36	11
4	56	11
5	86	11
6	89	11
done	89	11
0	8	8
1	15	8
2	19	6
3	20	6
4	25	6
5	26	6
done	26	6
0	4	5
1	9	3
2	14	1
done	14	1
0	9	9
1	15	9
2	18	7
3	19	7
4	24	7
5	25	7
done	25	7
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	11	13
1	34	13
2	68	13
3	136	13
4	323	13
5	1096	13
6	4977	13
done	5000	13
0	10	13
1	23	13
2	53	13
3	117	13
4	230	13
5	431	13
6	673	13
7	1129	13
8	3049	13
done	5001	13
0	9	10
1	19	10
2	32	10
3	52	10
4	80	10
5	103	10
6	124	10
7	134	10
8	144	10
done	144	10
0	9	10
1	19	10
2	32	10
3	52	10
4	80	10
5	103	10
6	124	10
7	134	10
8	144	10
done	144	10
0	8	9
1	18	9
2	31	9
3	51	9
4	79	9
5	102	9
6	123	9
7	133	9
8	143	9
done	143	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	14	9
2	17	9
done	17	9
0	7	8
1	17	8
2	23	8
3	26	8
done	26	8
0	7	8
1	14	8
2	21	8
3	25	8
4	28	8
5	34	8
6	38	8
7	54	8
8	58	8
9	65	8
10	74	8
11	95	8
12	116	8
13	133	8
14	140	8
15	146	8
16	149	8
done	149	8
0	10	23
1	23	23
2	84	11
3	259	9
4	758	9
5	2795	9
done	5000	9
0	8	17
1	15	17
2	19	17
3	21	17
done	21	17
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	8	23
1	22	23
2	54	9
3	186	9
4	613	9
5	1967	9
done	5002	9
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	5
1	6	5
2	7	5
done	7	5
0	5	5
1	7	5
2	8	5
done	8	5
0	10	19
1	20	19
2	31	19
3	37	19
done	37	19
0	8	9
1	12	9
2	14	9
done	14	9
0	9	14
1	15	14
2	19	14
3	20	14
done	20	14
0	8	9
1	12	9
2	14	9
done	14	9
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	11	8
2	13	8
done	13	8
0	10	15
1	15	15
2	18	15
3	19	15
done	19	15
0	9	10
1	13	10
2	15	10
done	15	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	11	8
2	13	8
done	13	8
0	9	14
1	15	14
2	17	14
done	17	14
0	8	9
1	12	9
2	14	9
done	14	9
0	8	9
1	12	9
2	14	9
done	14	9
0	8	9
1	12	9
2	14	9
done	14	9
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	11	8
2	13	8
done	13	8
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	13	10
2	15	10
done	15	10
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	11	8
2	13	8
done	13	8
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	2	3
1	4	1
done	4	1
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	10	15
1	15	15
2	16	15
done	16	15
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	9	11
1	11	11
done	11	11
0	9	11
1	16	11
2	20	11
3	22	11
done	22	11
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	2	3
1	4	1
done	4	1
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	5	5
1	9	5
2	10	5
done	10	5
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	8	13
1	17	13
2	26	13
3	31	13
4	34	13
done	34	13
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	5	5
1	12	3
2	17	3
done	17	3
0	8	9
1	14	9
2	17	9
3	19	9
done	19	9
0	5	5
1	12	3
2	17	3
done	17	3
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	9	11
1	29	11
2	54	11
3	96	11
4	205	11
5	583	11
6	2469	11
done	5000	11
0	8	11
1	18	11
2	34	11
3	60	11
4	93	11
5	136	11
6	201	11
7	369	11
8	1647	11
done	5000	11
0	10	15
1	26	13
2	74	13
3	206	13
4	506	13
5	1287	13
6	2743	13
done	5000	13
0	6	7
1	16	7
2	35	7
3	62	7
4	110	7
5	166	7
6	247	7
7	445	7
8	721	7
9	779	7
10	795	7
done	795	7
0	12	13
1	27	12
2	47	12
3	89	12
4	186	12
5	398	12
6	888	12
7	2600	12
done	5000	12
0	11	12
1	22	12
2	35	12
3	55	12
4	87	12
5	117	12
6	145	12
7	162	12
8	188	12
9	222	12
10	288	12
11	377	12
12	423	12
13	501	12
14	523	12
done	523	12
0	11	12
1	25	12
2	43	12
3	75	12
4	138	12
5	266	12
6	548	12
7	1276	12
8	4458	12
done	5001	12
0	12	25
1	23	25
2	36	25
3	56	25
4	88	25
5	118	25
6	146	25
7	163	25
8	189	25
9	223	25
10	289	25
11	378	25
12	424	25
13	502	25
14	524	25
done	524	25
0	11	12
1	22	12
2	35	12
3	55	12
4	87	12
5	117	12
6	145	12
7	162	12
8	188	12
9	222	12
10	288	12
11	377	12
12	423	12
13	501	12
14	523	12
done	523	12
0	12	35
1	36	35
2	105	13
3	385	13
4	1767	13
done	5000	13
0	11	12
1	22	12
2	35	12
3	55	12
4	87	12
5	117	12
6	145	12
7	162	12
8	188	12
9	222	12
10	288	12
11	377	12
12	423	12
13	501	12
14	523	12
done	523	12
0	11	12
1	22	12
2	35	12
3	55	12
4	87	12
5	117	12
6	145	12
7	162	12
8	188	12
9	222	12
10	288	12
11	377	12
12	423	12
13	501	12
14	523	12
done	523	12
0	13	15
1	40	15
2	104	15
3	369	15
4	1832	15
done	5001	15
0	14	35
1	41	25
2	120	25
3	375	25
4	1293	25
5	3659	25
done	5001	25
0	12	23
1	34	23
2	93	23
3	314	23
4	1305	23
5	4743	23
done	5000	23
0	10	11
1	22	11
2	44	11
3	85	11
4	168	11
5	268	11
6	311	11
7	338	11
8	371	11
9	434	11
10	523	11
11	524	11
done	524	11
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	8	9
1	16	9
2	31	9
3	51	9
4	75	9
5	90	9
6	110	9
7	132	9
8	141	9
9	150	9
10	181	9
11	213	9
12	218	9
13	233	9
14	269	9
15	359	9
16	589	9
17	790	9
18	915	9
19	969	9
done	969	9
0	8	9
1	16	9
2	31	9
3	51	9
4	75	9
5	90	9
6	110	9
7	132	9
8	141	9
9	150	9
10	181	9
11	213	9
12	218	9
13	233	9
14	269	9
15	359	9
16	589	9
17	790	9
18	915	9
19	969	9
done	969	9

prune122.0ms

Filtered

85 candidates to 122 candidates (-43.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	121	1	122
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	123	4	127

Merged error: 0.0b

Counts

127 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (* y (- (/ z (- z a)) (/ t (- z a)))))
0.0b	(- (/ z (- z a)) (/ t (- z a)))
0.0b	(/ z (- z a))
3.0b	(* y (- (/ z (- z a)) (/ t (- z a))))

rewrite94.0ms

Algorithm

rewrite-expression-head

Rules

80×	`*-un-lft-identity`
62×	`add-sqr-sqrt`
51×	`times-frac`
28×	`distribute-lft-out--`
20×	`add-cube-cbrt`
18×	`associate-r`
16×	`difference-of-squares`
10×	`associate-/r/`
8×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
7×	`flip3--` `flip--`
6×	`pow1` `distribute-rgt-out--`
5×	`sub-neg` `associate-/r*` `div-inv`
4×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in` `associate-*r/`
3×	`associate-l` `associate-/l*`
2×	`frac-sub` `sub-div`
1×	`cbrt-undiv` `+-commutative` `frac-2neg` `flip3-+` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

4 → 122

Calls

4 calls:

8.0ms	(+ x (* y (- (/ z (- z a)) (/ t (- z a)))))
37.0ms	(- (/ z (- z a)) (/ t (- z a)))
6.0ms	(/ z (- z a))
37.0ms	(* y (- (/ z (- z a)) (/ t (- z a))))

series100.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(+ x (* y (- (/ z (- z a)) (/ t (- z a)))))
20.0ms	(- (/ z (- z a)) (/ t (- z a)))
6.0ms	(/ z (- z a))
36.0ms	(* y (- (/ z (- z a)) (/ t (- z a))))

simplify1.2min

Counts

134 → 134

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	13
1	14	13
2	24	13
3	37	13
4	54	13
5	73	13
6	93	10
7	116	9
8	127	9
9	134	9
10	138	9
11	141	9
done	141	9
0	11	15
1	16	15
2	20	15
done	20	15
0	10	14
1	18	14
2	29	14
3	42	14
4	59	14
5	78	14
6	98	11
7	124	10
8	140	10
9	157	10
10	177	10
11	191	10
12	202	10
13	214	10
14	237	10
15	247	10
16	263	10
17	265	10
done	265	10
0	10	14
1	17	14
2	33	14
3	66	14
4	123	14
5	263	14
6	570	11
7	1665	10
done	5000	10
0	13	41
1	24	41
2	71	17
3	271	17
4	1145	15
done	5000	15
0	11	29
1	16	29
2	26	29
3	39	29
4	56	29
5	75	29
6	95	23
7	118	21
8	129	21
9	136	21
10	140	21
11	143	21
done	143	21
0	10	14
1	15	14
2	25	14
3	38	14
4	55	14
5	74	14
6	94	11
7	117	10
8	128	10
9	135	10
10	139	10
11	142	10
done	142	10
0	11	41
1	26	41
2	83	15
3	305	15
4	1162	15
5	4767	15
done	5000	15
0	10	14
1	15	14
2	25	14
3	38	14
4	55	14
5	74	14
6	94	11
7	117	10
8	128	10
9	135	10
10	139	10
11	142	10
done	142	10
0	10	14
1	15	14
2	25	14
3	38	14
4	55	14
5	74	14
6	94	11
7	117	10
8	128	10
9	135	10
10	139	10
11	142	10
done	142	10
0	11	15
1	16	15
2	20	15
done	20	15
0	11	15
1	16	15
2	20	15
done	20	15
0	6	7
1	11	7
2	15	7
3	22	7
4	29	7
5	35	7
6	37	7
done	37	7
0	8	8
1	15	8
2	25	8
3	37	8
4	52	8
5	66	8
6	77	8
7	79	8
8	81	8
done	81	8
0	6	7
1	11	7
2	15	7
3	22	7
4	29	7
5	35	7
6	37	7
done	37	7
0	8	8
1	15	8
2	25	8
3	37	8
4	52	8
5	66	8
6	77	8
7	79	8
8	81	8
done	81	8
0	6	7
1	11	7
2	15	7
3	20	7
4	27	7
5	33	7
6	37	7
done	37	7
0	8	8
1	15	8
2	25	8
3	36	8
4	49	8
5	62	8
6	75	8
7	81	8
done	81	8
0	6	7
1	11	7
2	15	7
3	20	7
4	27	7
5	33	7
6	37	7
done	37	7
0	8	8
1	15	8
2	25	8
3	36	8
4	49	8
5	62	8
6	75	8
7	81	8
done	81	8
0	11	27
1	18	27
2	24	27
done	24	27
0	10	14
1	15	14
2	19	14
done	19	14
0	3	3
1	6	1
done	6	1
0	11	15
1	21	15
2	23	15
done	23	15
0	12	16
1	22	16
2	28	16
3	32	16
4	34	16
5	35	16
done	35	16
0	12	16
1	22	16
2	28	16
3	32	16
4	34	16
5	35	16
done	35	16
0	12	17
1	22	17
2	32	17
3	39	17
4	42	17
5	48	12
6	52	12
7	57	12
8	58	12
9	60	12
10	61	12
done	61	12
0	9	13
1	18	13
2	29	11
3	36	11
4	56	11
5	86	11
6	89	11
done	89	11
0	8	8
1	15	8
2	19	6
3	20	6
4	25	6
5	26	6
done	26	6
0	4	5
1	9	3
2	14	1
done	14	1
0	4	5
1	9	3
2	14	1
done	14	1
0	9	9
1	15	9
2	18	7
3	19	7
4	24	7
5	25	7
done	25	7
0	4	5
1	9	3
2	14	1
done	14	1
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	7	7
1	14	7
2	18	5
3	22	5
4	29	5
5	30	5
done	30	5
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	5	5
1	13	5
2	14	5
done	14	5
0	10	14
1	15	14
2	25	14
3	38	14
4	55	14
5	74	14
6	94	11
7	117	10
8	128	10
9	135	10
10	139	10
11	142	10
done	142	10
0	10	14
1	15	14
2	25	14
3	38	14
4	55	14
5	74	14
6	94	11
7	117	10
8	128	10
9	135	10
10	139	10
11	142	10
done	142	10
0	9	13
1	14	13
2	24	13
3	37	13
4	54	13
5	73	13
6	93	10
7	116	9
8	127	9
9	134	9
10	138	9
11	141	9
done	141	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	9	13
1	16	13
2	43	9
3	116	9
4	284	9
5	515	9
6	831	9
7	1233	9
8	1818	9
9	2098	9
10	2189	9
11	2190	9
done	2190	9
0	12	17
1	35	17
2	97	17
3	326	17
4	1285	17
done	5000	17
0	11	25
1	27	25
2	59	25
3	156	25
4	409	25
5	932	25
6	2510	21
done	5000	21
0	6	7
1	10	7
2	12	7
done	12	7
0	5	6
1	10	6
2	13	6
3	14	6
done	14	6
0	5	6
1	7	6
2	8	6
done	8	6
0	8	17
1	19	17
2	64	9
3	171	7
4	390	7
5	1082	7
6	3788	7
done	5000	7
0	6	13
1	8	13
2	9	13
done	9	13
0	5	6
1	7	6
2	8	6
done	8	6
0	6	17
1	15	17
2	32	7
3	76	7
4	175	7
5	430	7
6	1498	7
done	5000	7
0	5	6
1	7	6
2	8	6
done	8	6
0	5	6
1	7	6
2	8	6
done	8	6
0	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	8	15
1	16	15
2	26	15
3	32	15
done	32	15
0	6	7
1	8	7
2	9	7
done	9	7
0	7	10
1	11	10
2	14	10
3	15	10
done	15	10
0	6	7
1	8	7
2	9	7
done	9	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	7	6
2	8	6
done	8	6
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	7	8
1	9	8
2	10	8
done	10	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	7	6
2	8	6
done	8	6
0	7	12
1	11	12
2	12	12
done	12	12
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	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	7	6
2	8	6
done	8	6
0	6	8
1	7	8
done	7	8
0	6	8
1	8	8
2	9	8
done	9	8
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	7	6
2	8	6
done	8	6
0	7	11
1	13	11
2	14	11
done	14	11
0	5	6
1	7	6
2	8	6
done	8	6
0	6	6
1	10	6
2	11	6
done	11	6
0	5	6
1	7	6
2	8	6
done	8	6
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
2	7	5
done	7	5
0	7	7
1	10	7
done	10	7
0	6	7
1	8	7
2	9	7
done	9	7
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
2	7	5
done	7	5
0	5	5
1	9	5
2	10	5
done	10	5
0	4	5
1	9	5
2	13	5
3	17	5
done	17	5
0	6	11
1	10	11
2	11	11
done	11	11
0	5	6
1	7	6
2	8	6
done	8	6
0	3	3
1	5	1
done	5	1
0	6	7
1	7	7
done	7	7
0	3	3
1	5	1
done	5	1
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	4	5
1	9	5
2	13	5
3	17	5
done	17	5
0	7	9
1	22	9
2	44	9
3	80	9
4	174	9
5	519	9
6	2307	9
done	5000	9
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1596	9
done	5000	9
0	9	13
1	13	12
2	16	12
3	21	12
4	24	12
5	30	12
6	34	12
7	50	12
8	54	12
9	61	12
10	70	12
11	91	12
12	112	12
13	130	12
14	135	12
15	137	12
done	137	12
0	8	12
1	12	12
2	16	12
done	16	12
0	8	12
1	15	12
2	21	12
3	24	12
4	30	12
5	34	12
6	50	12
7	54	12
8	61	12
9	70	12
10	90	12
11	111	12
12	129	12
13	134	12
14	136	12
done	136	12
0	9	25
1	13	25
2	17	25
done	17	25
0	8	12
1	12	12
2	16	12
done	16	12
0	9	35
1	14	35
2	32	13
3	91	13
4	296	13
5	1004	13
6	3287	13
done	5000	13
0	8	12
1	12	12
2	16	12
done	16	12
0	8	12
1	12	12
2	16	12
done	16	12
0	3	3
1	5	3
2	6	3
done	6	3
0	7	11
1	13	11
2	34	7
3	71	7
4	145	7
5	232	7
6	351	7
7	540	7
8	732	7
9	768	7
10	780	7
done	780	7
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	10	15
1	32	15
2	88	15
3	260	15
4	845	15
5	2906	15
done	5001	15
0	11	35
1	32	29
2	61	29
3	99	29
4	168	25
5	295	25
6	781	25
7	2564	23
done	5001	23
0	6	6
1	10	6
2	11	6
done	11	6
0	9	23
1	24	23
2	46	23
3	98	23
4	202	23
5	408	23
6	1045	23
7	3698	19
done	5000	19
0	7	11
1	10	11
2	11	11
done	11	11
0	9	13
1	12	13
2	13	13
done	13	13
0	9	13
1	13	13
2	15	13
done	15	13
0	10	14
1	13	14
2	14	14
done	14	14
0	10	14
1	14	14
2	18	14
done	18	14
0	10	14
1	13	14
2	14	14
done	14	14
0	10	14
1	14	14
2	16	14
done	16	14
0	10	15
1	13	15
2	14	15
done	14	15
0	10	15
1	14	15
2	18	15
done	18	15
0	8	13
1	12	13
2	16	13
done	16	13
0	8	13
1	12	13
2	16	13
done	16	13
0	7	11
1	11	11
2	15	11
done	15	11
0	7	11
1	11	11
2	15	11
done	15	11
0	9	15
1	13	15
2	17	15
done	17	15
0	7	11
1	11	11
2	15	11
done	15	11
0	7	11
1	11	11
2	15	11
done	15	11
0	7	11
1	11	11
2	15	11
done	15	11
0	3	3
1	5	3
2	6	3
done	6	3
0	10	19
1	27	19
2	52	19
3	92	19
4	193	19
5	558	19
6	2436	19
done	5000	19
0	9	19
1	16	19
2	30	19
3	55	19
4	82	19
5	123	19
6	179	19
7	347	19
8	1633	19
done	5000	19
0	6	6
1	10	6
2	11	6
done	11	6
0	13	17
1	23	16
2	40	16
3	81	16
4	163	16
5	350	16
6	820	13
7	2724	12
done	5001	12
0	12	16
1	18	16
2	28	16
3	45	16
4	67	16
5	89	16
6	115	13
7	151	12
8	201	12
9	274	12
10	364	12
11	402	12
12	465	12
13	545	12
14	546	12
done	546	12
0	12	16
1	21	16
2	36	16
3	69	16
4	129	16
5	247	16
6	558	13
7	1852	12
done	5000	12
0	13	33
1	19	33
2	29	33
3	46	33
4	68	33
5	90	33
6	116	27
7	152	25
8	202	25
9	275	25
10	365	25
11	403	25
12	466	25
13	546	25
14	547	25
done	547	25
0	12	16
1	18	16
2	28	16
3	45	16
4	67	16
5	89	16
6	115	13
7	151	12
8	201	12
9	274	12
10	364	12
11	402	12
12	465	12
13	545	12
14	546	12
done	546	12
0	13	47
1	32	47
2	90	17
3	326	17
4	1505	17
done	5000	17
0	12	16
1	18	16
2	28	16
3	45	16
4	67	16
5	89	16
6	115	13
7	151	12
8	201	12
9	274	12
10	364	12
11	402	12
12	465	12
13	545	12
14	546	12
done	546	12
0	12	16
1	18	16
2	28	16
3	45	16
4	67	16
5	89	16
6	115	13
7	151	12
8	201	12
9	274	12
10	364	12
11	402	12
12	465	12
13	545	12
14	546	12
done	546	12
0	14	19
1	36	19
2	84	19
3	248	19
4	846	19
5	3252	19
done	5000	19
0	15	47
1	37	33
2	107	33
3	342	33
4	1058	33
5	3027	33
done	5000	33
0	13	31
1	30	31
2	82	31
3	280	31
4	975	31
5	3143	31
done	5000	31
0	11	15
1	18	15
2	35	15
3	65	15
4	125	15
5	179	15
6	232	12
7	290	11
8	367	11
9	465	11
10	482	11
11	494	11
12	498	11
done	498	11
0	8	9
1	14	9
2	18	9
3	25	9
4	32	9
5	38	9
6	40	9
done	40	9
0	8	9
1	14	9
2	18	9
3	25	9
4	32	9
5	38	9
6	40	9
done	40	9
0	8	9
1	14	9
2	18	9
3	23	9
4	30	9
5	36	9
6	40	9
done	40	9
0	8	9
1	14	9
2	18	9
3	23	9
4	30	9
5	36	9
6	40	9
done	40	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	8	9
1	16	9
2	31	9
3	51	9
4	75	9
5	90	9
6	110	9
7	132	9
8	141	9
9	150	9
10	181	9
11	213	9
12	218	9
13	233	9
14	269	9
15	359	9
16	589	9
17	790	9
18	915	9
19	969	9
done	969	9
0	8	9
1	16	9
2	31	9
3	51	9
4	75	9
5	90	9
6	110	9
7	132	9
8	141	9
9	150	9
10	181	9
11	213	9
12	218	9
13	233	9
14	269	9
15	359	9
16	589	9
17	790	9
18	915	9
19	969	9
done	969	9

prune139.0ms

Filtered

101 candidates to 134 candidates (-32.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	133	1	134
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	134	4	138

Merged error: 0.0b

Counts

138 → 4

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ y (/ (- z a) (- z t))))
0.0b	(/ (- z a) (- z t))
3.1b	(/ y (/ (- z a) (- z t)))

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

218×	`times-frac`
197×	`*-un-lft-identity`
195×	`add-sqr-sqrt`
91×	`add-cube-cbrt`
52×	`distribute-lft-out--` `difference-of-squares`
36×	`associate-/r*`
11×	`associate-/r/`
10×	`add-exp-log` `add-cbrt-cube`
8×	`associate-/l*`
6×	`flip3--` `flip--` `div-inv`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`pow1`
2×	`frac-2neg` `clear-num` `associate-/l/`
1×	`+-commutative` `flip3-+` `div-sub` `sum-log` `flip-+` `distribute-lft-out`

Counts

3 → 206

Calls

3 calls:

30.0ms	(+ x (/ y (/ (- z a) (- z t))))
9.0ms	(/ (- z a) (- z t))
18.0ms	(/ y (/ (- z a) (- z t)))

series73.0ms

Counts

3 → 9

Calls

3 calls:

32.0ms	(+ x (/ y (/ (- z a) (- z t))))
10.0ms	(/ (- z a) (- z t))
31.0ms	(/ y (/ (- z a) (- z t)))

simplify1.3min

Counts

215 → 215

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	21	12
2	31	12
3	44	12
4	48	12
5	56	12
6	71	12
7	97	12
8	106	12
done	106	12
0	10	11
1	22	11
2	31	11
3	40	11
4	53	11
5	58	11
6	66	11
7	81	11
8	107	11
9	116	11
done	116	11
0	9	10
1	21	10
2	41	10
3	69	10
4	97	10
5	137	10
6	169	10
7	197	10
8	220	10
9	242	10
10	248	10
done	248	10
0	9	10
1	18	10
2	33	10
3	62	10
4	105	10
5	180	10
6	374	10
7	1015	10
8	3796	10
done	5001	10
0	14	29
1	32	29
2	141	15
3	678	13
4	3299	11
done	5001	11
0	12	29
1	34	29
2	108	13
3	479	11
4	2246	11
done	5000	11
0	10	21
1	19	21
2	32	21
3	52	21
4	70	21
5	93	21
6	117	21
7	134	21
8	139	21
9	141	21
done	141	21
0	9	10
1	18	10
2	31	10
3	51	10
4	69	10
5	92	10
6	116	10
7	133	10
8	138	10
9	140	10
done	140	10
0	10	29
1	26	29
2	74	11
3	334	11
4	1758	11
done	5001	11
0	9	10
1	18	10
2	31	10
3	51	10
4	69	10
5	92	10
6	116	10
7	133	10
8	138	10
9	140	10
done	140	10
0	9	10
1	18	10
2	31	10
3	51	10
4	69	10
5	92	10
6	116	10
7	133	10
8	138	10
9	140	10
done	140	10
0	2	2
done	2	2
0	7	8
1	16	8
2	23	8
3	30	8
4	34	7
5	35	7
done	35	7
0	12	23
1	25	23
2	38	23
3	46	23
done	46	23
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	11	14
1	20	14
2	26	14
3	29	14
done	29	14
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	14	25
1	28	25
2	66	25
3	155	25
4	282	25
5	376	25
6	412	25
7	422	25
done	422	25
0	11	12
1	17	12
2	22	12
3	23	12
4	25	12
5	27	12
6	28	12
done	28	12
0	13	20
1	23	20
2	43	20
3	87	20
4	131	20
5	150	20
6	155	20
7	156	20
done	156	20
0	11	12
1	17	12
2	22	12
3	23	12
4	25	12
5	27	12
6	28	12
done	28	12
0	11	17
1	21	15
2	45	15
3	120	15
4	149	15
5	170	15
6	172	15
done	172	15
0	10	11
1	16	11
2	27	11
3	45	11
4	63	11
5	77	11
6	91	11
7	95	11
8	96	11
done	96	11
0	14	21
1	23	21
2	50	21
3	134	21
4	250	21
5	373	21
6	423	21
7	442	21
8	448	21
9	451	21
10	453	21
done	453	21
0	12	13
1	18	13
2	29	13
3	47	13
4	65	13
5	79	13
6	93	13
7	97	13
8	98	13
done	98	13
0	11	17
1	21	15
2	45	15
3	120	15
4	149	15
5	170	15
6	172	15
done	172	15
0	10	11
1	16	11
2	27	11
3	45	11
4	63	11
5	77	11
6	91	11
7	95	11
8	96	11
done	96	11
0	13	20
1	23	20
2	40	20
3	68	20
4	104	20
5	126	20
6	136	20
7	145	20
8	146	20
done	146	20
0	11	12
1	17	12
2	22	12
3	23	12
4	25	12
5	27	12
6	28	12
done	28	12
0	12	15
1	20	15
2	31	15
3	41	15
4	51	15
5	55	15
6	57	15
7	58	15
done	58	15
0	11	12
1	17	12
2	22	12
3	23	12
4	25	12
5	27	12
6	28	12
done	28	12
0	10	12
1	18	10
2	30	10
3	52	10
4	58	10
5	62	10
6	68	10
done	68	10
0	10	11
1	16	11
2	27	11
3	45	11
4	63	11
5	77	11
6	91	11
7	95	11
8	96	11
done	96	11
0	13	16
1	20	16
2	38	16
3	72	16
4	118	16
5	142	16
6	152	16
7	159	16
8	160	16
done	160	16
0	12	13
1	18	13
2	29	13
3	47	13
4	65	13
5	79	13
6	93	13
7	97	13
8	98	13
done	98	13
0	10	12
1	18	10
2	30	10
3	52	10
4	58	10
5	62	10
6	68	10
done	68	10
0	10	11
1	16	11
2	27	11
3	45	11
4	63	11
5	77	11
6	91	11
7	95	11
8	96	11
done	96	11
0	11	17
1	21	17
2	37	15
3	84	15
4	196	15
5	257	15
6	302	15
done	302	15
0	10	11
1	19	11
2	26	11
3	29	11
4	31	11
5	36	11
6	39	11
7	41	11
done	41	11
0	10	12
1	18	12
2	28	10
3	54	10
4	101	10
5	110	10
done	110	10
0	10	11
1	19	11
2	26	11
3	29	11
4	31	11
5	36	11
6	39	11
7	41	11
done	41	11
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	9	10
1	18	10
2	31	10
3	51	10
4	69	10
5	92	10
6	116	10
7	133	10
8	138	10
9	140	10
done	140	10
0	11	13
1	18	13
2	35	11
3	79	11
4	166	11
5	226	11
6	298	11
done	298	11
0	11	12
1	20	12
2	33	12
3	53	12
4	71	12
5	94	12
6	117	12
7	132	12
8	137	12
9	139	12
done	139	12
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	9	10
1	18	10
2	31	10
3	51	10
4	69	10
5	92	10
6	116	10
7	133	10
8	138	10
9	140	10
done	140	10
0	14	21
1	23	21
2	39	21
3	67	21
4	104	21
5	126	21
6	136	21
7	145	21
done	145	21
0	12	13
1	21	13
2	28	13
3	31	13
4	33	13
5	38	13
6	41	13
7	43	13
done	43	13
0	13	16
1	20	16
2	30	16
3	40	16
4	50	16
5	54	16
6	56	16
7	57	16
done	57	16
0	12	13
1	21	13
2	28	13
3	31	13
4	33	13
5	38	13
6	41	13
7	43	13
done	43	13
0	11	13
1	18	11
2	29	11
3	51	11
4	56	11
5	60	11
6	66	11
done	66	11
0	11	12
1	20	12
2	33	12
3	53	12
4	71	12
5	94	12
6	117	12
7	132	12
8	137	12
9	139	12
done	139	12
0	13	17
1	19	17
2	36	17
3	70	17
4	116	17
5	140	17
6	150	17
7	157	17
8	158	17
done	158	17
0	12	14
1	21	14
2	34	14
3	54	14
4	72	14
5	95	14
6	119	14
7	136	14
8	141	14
9	143	14
done	143	14
0	11	13
1	18	11
2	29	11
3	51	11
4	56	11
5	60	11
6	66	11
done	66	11
0	11	12
1	20	12
2	33	12
3	53	12
4	71	12
5	94	12
6	117	12
7	132	12
8	137	12
9	139	12
done	139	12
0	11	17
1	21	17
2	37	15
3	84	15
4	196	15
5	257	15
6	302	15
done	302	15
0	10	11
1	19	11
2	26	11
3	29	11
4	31	11
5	36	11
6	39	11
7	41	11
done	41	11
0	10	12
1	18	12
2	28	10
3	54	10
4	101	10
5	110	10
done	110	10
0	10	11
1	19	11
2	26	11
3	29	11
4	31	11
5	36	11
6	39	11
7	41	11
done	41	11
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	9	10
1	18	10
2	31	10
3	51	10
4	69	10
5	92	10
6	116	10
7	133	10
8	138	10
9	140	10
done	140	10
0	11	13
1	18	13
2	35	11
3	79	11
4	166	11
5	226	11
6	298	11
done	298	11
0	11	12
1	20	12
2	33	12
3	53	12
4	71	12
5	94	12
6	117	12
7	132	12
8	137	12
9	139	12
done	139	12
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	9	10
1	18	10
2	31	10
3	51	10
4	69	10
5	92	10
6	116	10
7	133	10
8	138	10
9	140	10
done	140	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	9	10
1	18	10
2	31	10
3	51	10
4	69	10
5	92	10
6	116	10
7	133	10
8	138	10
9	140	10
done	140	10
0	7	9
1	11	9
2	17	9
3	20	9
4	22	9
done	22	9
0	8	8
1	14	8
2	24	6
3	40	6
4	62	6
5	87	6
6	129	6
7	135	6
done	135	6
0	13	17
1	37	17
2	80	17
3	212	17
4	711	17
5	2997	17
done	5000	17
0	10	14
1	17	12
2	25	12
3	28	12
4	29	12
done	29	12
0	12	17
1	26	17
2	62	17
3	179	17
4	558	17
5	1205	17
6	2160	17
7	3895	17
done	5001	17
0	6	6
1	7	6
done	7	6
0	11	20
1	20	20
2	24	20
3	26	20
done	26	20
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	13	22
1	25	22
2	48	22
3	79	22
4	105	22
5	139	22
6	162	22
7	172	22
done	172	22
0	11	12
1	17	12
2	22	12
3	23	12
4	25	12
5	27	12
6	28	12
done	28	12
0	12	17
1	20	17
2	30	17
3	43	17
4	51	17
5	57	17
6	60	17
done	60	17
0	11	12
1	17	12
2	22	12
3	23	12
4	25	12
5	27	12
6	28	12
done	28	12
0	10	14
1	18	12
2	32	12
3	59	12
4	71	12
5	83	12
6	89	12
done	89	12
0	10	11
1	16	11
2	27	11
3	45	11
4	63	11
5	77	11
6	91	11
7	95	11
8	96	11
done	96	11
0	13	18
1	20	18
2	37	18
3	70	18
4	102	18
5	134	18
6	153	18
7	158	18
8	159	18
9	161	18
10	162	18
done	162	18
0	12	13
1	18	13
2	29	13
3	47	13
4	65	13
5	79	13
6	93	13
7	97	13
8	98	13
done	98	13
0	10	14
1	18	12
2	32	12
3	59	12
4	71	12
5	83	12
6	89	12
done	89	12
0	10	11
1	16	11
2	27	11
3	45	11
4	63	11
5	77	11
6	91	11
7	95	11
8	96	11
done	96	11
0	12	17
1	20	17
2	29	17
3	37	17
4	41	17
5	50	17
6	56	17
7	61	17
done	61	17
0	11	12
1	17	12
2	22	12
3	23	12
4	25	12
5	27	12
6	28	12
done	28	12
0	11	12
1	17	12
2	22	12
3	23	12
4	25	12
5	27	12
6	28	12
done	28	12
0	11	12
1	17	12
2	22	12
3	23	12
4	25	12
5	27	12
6	28	12
done	28	12
0	9	9
1	15	7
2	22	7
3	27	7
4	29	7
5	32	7
6	36	7
done	36	7
0	10	11
1	16	11
2	27	11
3	45	11
4	63	11
5	77	11
6	91	11
7	95	11
8	96	11
done	96	11
0	12	13
1	17	13
2	29	13
3	42	13
4	50	13
5	56	13
6	63	13
7	65	13
done	65	13
0	12	13
1	18	13
2	29	13
3	47	13
4	65	13
5	79	13
6	93	13
7	97	13
8	98	13
done	98	13
0	9	9
1	15	7
2	22	7
3	27	7
4	29	7
5	32	7
6	36	7
done	36	7
0	10	11
1	16	11
2	27	11
3	45	11
4	63	11
5	77	11
6	91	11
7	95	11
8	96	11
done	96	11
0	10	14
1	18	14
2	26	12
3	42	12
4	68	12
5	93	12
6	112	12
done	112	12
0	10	11
1	19	11
2	26	11
3	29	11
4	31	11
5	36	11
6	39	11
7	41	11
done	41	11
0	9	9
1	15	9
2	19	7
3	28	7
4	37	7
5	39	7
done	39	7
0	10	11
1	19	11
2	26	11
3	29	11
4	31	11
5	36	11
6	39	11
7	41	11
done	41	11
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	9	10
1	18	10
2	31	10
3	51	10
4	69	10
5	92	10
6	116	10
7	133	10
8	138	10
9	140	10
done	140	10
0	10	10
1	15	10
2	26	8
3	37	8
4	52	8
5	66	8
6	90	8
done	90	8
0	11	12
1	20	12
2	33	12
3	53	12
4	71	12
5	94	12
6	117	12
7	132	12
8	137	12
9	139	12
done	139	12
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	9	10
1	18	10
2	31	10
3	51	10
4	69	10
5	92	10
6	116	10
7	133	10
8	138	10
9	140	10
done	140	10
0	13	18
1	20	18
2	28	18
3	36	18
4	40	18
5	49	18
6	55	18
7	60	18
done	60	18
0	12	13
1	21	13
2	28	13
3	31	13
4	33	13
5	38	13
6	41	13
7	43	13
done	43	13
0	12	13
1	17	13
2	21	13
3	22	13
4	24	13
5	26	13
6	27	13
done	27	13
0	12	13
1	21	13
2	28	13
3	31	13
4	33	13
5	38	13
6	41	13
7	43	13
done	43	13
0	10	10
1	15	8
2	21	8
3	26	8
4	28	8
5	31	8
6	35	8
done	35	8
0	11	12
1	20	12
2	33	12
3	53	12
4	71	12
5	94	12
6	117	12
7	132	12
8	137	12
9	139	12
done	139	12
0	12	14
1	16	14
2	27	14
3	40	14
4	48	14
5	54	14
6	61	14
7	63	14
done	63	14
0	12	14
1	21	14
2	34	14
3	54	14
4	72	14
5	95	14
6	119	14
7	136	14
8	141	14
9	143	14
done	143	14
0	10	10
1	15	8
2	21	8
3	26	8
4	28	8
5	31	8
6	35	8
done	35	8
0	11	12
1	20	12
2	33	12
3	53	12
4	71	12
5	94	12
6	117	12
7	132	12
8	137	12
9	139	12
done	139	12
0	10	14
1	18	14
2	26	12
3	42	12
4	68	12
5	93	12
6	112	12
done	112	12
0	10	11
1	19	11
2	26	11
3	29	11
4	31	11
5	36	11
6	39	11
7	41	11
done	41	11
0	9	9
1	15	9
2	19	7
3	28	7
4	37	7
5	39	7
done	39	7
0	10	11
1	19	11
2	26	11
3	29	11
4	31	11
5	36	11
6	39	11
7	41	11
done	41	11
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	9	10
1	18	10
2	31	10
3	51	10
4	69	10
5	92	10
6	116	10
7	133	10
8	138	10
9	140	10
done	140	10
0	10	10
1	15	10
2	26	8
3	37	8
4	52	8
5	66	8
6	90	8
done	90	8
0	11	12
1	20	12
2	33	12
3	53	12
4	71	12
5	94	12
6	117	12
7	132	12
8	137	12
9	139	12
done	139	12
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	9	10
1	18	10
2	31	10
3	51	10
4	69	10
5	92	10
6	116	10
7	133	10
8	138	10
9	140	10
done	140	10
0	4	4
1	6	2
2	8	2
done	8	2
0	9	10
1	18	10
2	31	10
3	51	10
4	69	10
5	92	10
6	116	10
7	133	10
8	138	10
9	140	10
done	140	10
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	14	8
2	24	6
3	40	6
4	62	6
5	87	6
6	129	6
7	135	6
done	135	6
0	12	14
1	34	14
2	68	14
3	170	14
4	483	14
5	1756	14
done	5000	14
0	10	14
1	17	12
2	25	12
3	28	12
4	29	12
done	29	12
0	11	14
1	23	14
2	50	14
3	129	14
4	310	14
5	561	14
6	963	14
7	1791	14
done	5001	14
0	6	6
1	7	6
done	7	6
0	10	19
1	21	19
2	25	19
3	27	19
done	27	19
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	9	10
1	18	10
2	22	10
3	24	10
done	24	10
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	12	21
1	26	21
2	49	21
3	78	19
4	138	19
5	201	19
done	201	19
0	10	11
1	16	11
2	21	11
3	22	11
4	24	11
5	26	11
6	27	11
done	27	11
0	11	16
1	21	16
2	31	16
3	44	14
4	71	14
5	102	14
done	102	14
0	10	11
1	16	11
2	21	11
3	22	11
4	24	11
5	26	11
6	27	11
done	27	11
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	9	10
1	15	10
2	26	10
3	44	10
4	62	10
5	76	10
6	90	10
7	94	10
8	95	10
done	95	10
0	12	17
1	21	17
2	38	17
3	71	15
4	144	15
5	223	15
6	227	15
done	227	15
0	11	12
1	17	12
2	28	12
3	46	12
4	64	12
5	78	12
6	92	12
7	96	12
8	97	12
done	97	12
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	9	10
1	15	10
2	26	10
3	44	10
4	62	10
5	76	10
6	90	10
7	94	10
8	95	10
done	95	10
0	11	16
1	21	16
2	30	16
3	38	14
4	62	14
5	77	14
done	77	14
0	10	11
1	16	11
2	21	11
3	22	11
4	24	11
5	26	11
6	27	11
done	27	11
0	10	11
1	18	11
2	23	11
3	24	9
4	37	9
5	42	9
done	42	9
0	10	11
1	16	11
2	21	11
3	22	11
4	24	11
5	26	11
6	27	11
done	27	11
0	7	8
1	13	6
2	19	6
done	19	6
0	9	10
1	15	10
2	26	10
3	44	10
4	62	10
5	76	10
6	90	10
7	94	10
8	95	10
done	95	10
0	11	12
1	18	12
2	30	12
3	43	10
4	78	10
5	95	10
done	95	10
0	11	12
1	17	12
2	28	12
3	46	12
4	64	12
5	78	12
6	92	12
7	96	12
8	97	12
done	97	12
0	7	8
1	13	6
2	19	6
done	19	6
0	9	10
1	15	10
2	26	10
3	44	10
4	62	10
5	76	10
6	90	10
7	94	10
8	95	10
done	95	10
0	8	13
1	16	9
2	26	9
3	39	9
4	48	9
5	49	9
done	49	9
0	9	10
1	18	10
2	25	10
3	28	10
4	30	10
5	35	10
6	38	10
7	40	10
done	40	10
0	7	8
1	13	4
2	19	4
3	21	4
4	22	4
done	22	4
0	9	10
1	18	10
2	25	10
3	28	10
4	30	10
5	35	10
6	38	10
7	40	10
done	40	10
0	3	5
1	6	1
done	6	1
0	8	9
1	17	9
2	30	9
3	50	9
4	68	9
5	91	9
6	115	9
7	132	9
8	137	9
9	139	9
done	139	9
0	8	9
1	13	5
2	26	5
3	36	5
4	37	5
done	37	5
0	10	11
1	19	11
2	32	11
3	52	11
4	70	11
5	93	11
6	116	11
7	131	11
8	136	11
9	138	11
done	138	11
0	3	5
1	6	1
done	6	1
0	8	9
1	17	9
2	30	9
3	50	9
4	68	9
5	91	9
6	115	9
7	132	9
8	137	9
9	139	9
done	139	9
0	12	17
1	21	17
2	29	17
3	37	15
4	61	15
5	76	15
done	76	15
0	11	12
1	20	12
2	27	12
3	30	12
4	32	12
5	37	12
6	40	12
7	42	12
done	42	12
0	11	12
1	18	12
2	22	12
3	23	10
4	36	10
5	41	10
done	41	10
0	11	12
1	20	12
2	27	12
3	30	12
4	32	12
5	37	12
6	40	12
7	42	12
done	42	12
0	8	9
1	13	7
2	18	7
done	18	7
0	10	11
1	19	11
2	32	11
3	52	11
4	70	11
5	93	11
6	116	11
7	131	11
8	136	11
9	138	11
done	138	11
0	11	13
1	17	13
2	28	13
3	41	11
4	76	11
5	93	11
done	93	11
0	11	13
1	20	13
2	33	13
3	53	13
4	71	13
5	94	13
6	118	13
7	135	13
8	140	13
9	142	13
done	142	13
0	8	9
1	13	7
2	18	7
done	18	7
0	10	11
1	19	11
2	32	11
3	52	11
4	70	11
5	93	11
6	116	11
7	131	11
8	136	11
9	138	11
done	138	11
0	8	13
1	16	9
2	26	9
3	39	9
4	48	9
5	49	9
done	49	9
0	9	10
1	18	10
2	25	10
3	28	10
4	30	10
5	35	10
6	38	10
7	40	10
done	40	10
0	7	8
1	13	4
2	19	4
3	21	4
4	22	4
done	22	4
0	9	10
1	18	10
2	25	10
3	28	10
4	30	10
5	35	10
6	38	10
7	40	10
done	40	10
0	3	5
1	6	1
done	6	1
0	8	9
1	17	9
2	30	9
3	50	9
4	68	9
5	91	9
6	115	9
7	132	9
8	137	9
9	139	9
done	139	9
0	8	9
1	13	5
2	26	5
3	36	5
4	37	5
done	37	5
0	10	11
1	19	11
2	32	11
3	52	11
4	70	11
5	93	11
6	116	11
7	131	11
8	136	11
9	138	11
done	138	11
0	3	5
1	6	1
done	6	1
0	8	9
1	17	9
2	30	9
3	50	9
4	68	9
5	91	9
6	115	9
7	132	9
8	137	9
9	139	9
done	139	9
0	2	3
1	4	1
done	4	1
0	8	9
1	17	9
2	30	9
3	50	9
4	68	9
5	91	9
6	115	9
7	132	9
8	137	9
9	139	9
done	139	9
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	13	7
2	23	5
3	34	5
4	48	5
5	66	5
6	84	5
7	93	5
8	114	5
9	121	5
10	124	5
done	124	5
0	11	13
1	35	13
2	69	13
3	171	11
4	550	11
5	2168	11
done	5001	11
0	9	13
1	16	11
2	24	11
3	27	11
4	28	11
done	28	11
0	10	13
1	24	13
2	51	13
3	130	11
4	373	11
5	826	11
6	1142	11
7	1784	11
done	5001	11
0	5	5
1	6	5
done	6	5
0	8	9
1	19	9
2	32	9
3	52	7
4	108	7
5	160	7
6	195	7
7	208	7
8	215	7
9	216	7
done	216	7
0	8	9
1	17	9
2	36	9
3	52	9
4	62	9
5	65	9
done	65	9
0	10	19
1	19	19
2	23	19
3	25	19
done	25	19
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	12	21
1	24	21
2	47	21
3	76	21
4	102	21
5	133	21
6	155	21
7	165	21
done	165	21
0	11	16
1	19	16
2	29	16
3	42	16
4	50	16
5	56	16
6	59	16
done	59	16
0	9	13
1	17	11
2	31	11
3	58	11
4	66	11
5	75	11
6	90	11
7	93	11
done	93	11
0	12	17
1	19	17
2	36	17
3	69	17
4	101	17
5	133	17
6	152	17
7	157	17
8	158	17
9	160	17
10	161	17
done	161	17
0	9	13
1	17	11
2	31	11
3	58	11
4	66	11
5	75	11
6	90	11
7	93	11
done	93	11
0	11	16
1	19	16
2	28	16
3	36	16
4	40	16
5	49	16
6	55	16
7	60	16
done	60	16
0	10	11
1	16	11
2	21	11
3	22	11
4	24	11
5	26	11
6	27	11
done	27	11
0	8	8
1	14	6
2	21	6
3	26	6
done	26	6
0	11	12
1	16	12
2	28	12
3	41	12
4	49	12
5	55	12
6	62	12
7	64	12
done	64	12
0	8	8
1	14	6
2	21	6
3	26	6
done	26	6
0	9	13
1	17	13
2	25	11
3	35	11
4	55	11
5	89	11
6	101	11
done	101	11
0	8	8
1	14	8
2	18	6
3	24	6
4	31	6
5	36	6
done	36	6
0	4	5
1	8	3
2	13	1
done	13	1
0	9	9
1	14	9
2	25	7
3	31	7
4	38	7
5	43	7
done	43	7
0	4	5
1	8	3
2	13	1
done	13	1
0	12	17
1	19	17
2	27	17
3	35	17
4	39	17
5	48	17
6	54	17
7	59	17
done	59	17
0	11	12
1	16	12
2	20	12
3	21	12
4	23	12
5	25	12
6	26	12
done	26	12
0	9	9
1	14	7
2	20	7
3	25	7
done	25	7
0	11	13
1	15	13
2	26	13
3	39	13
4	47	13
5	53	13
6	60	13
7	62	13
done	62	13
0	9	9
1	14	7
2	20	7
3	25	7
done	25	7
0	9	13
1	17	13
2	25	11
3	35	11
4	55	11
5	89	11
6	101	11
done	101	11
0	8	8
1	14	8
2	18	6
3	24	6
4	31	6
5	36	6
done	36	6
0	4	5
1	8	3
2	13	1
done	13	1
0	9	9
1	14	9
2	25	7
3	31	7
4	38	7
5	43	7
done	43	7
0	4	5
1	8	3
2	13	1
done	13	1
0	3	3
1	5	1
done	5	1
0	5	5
1	7	5
2	8	5
done	8	5
0	11	13
1	33	13
2	67	13
3	169	13
4	478	13
5	1734	13
done	5001	13
0	10	13
1	22	13
2	49	13
3	128	13
4	307	13
5	554	13
6	955	13
7	1781	13
done	5001	13
0	9	10
1	18	10
2	37	10
3	53	10
4	63	10
5	66	10
done	66	10
0	9	10
1	18	10
2	37	10
3	53	10
4	63	10
5	66	10
done	66	10
0	8	9
1	17	9
2	36	9
3	52	9
4	62	9
5	65	9
done	65	9
0	5	5
1	7	5
2	8	5
done	8	5
0	8	9
1	14	9
2	17	9
done	17	9
0	7	8
1	17	8
2	23	8
3	26	8
done	26	8
0	7	8
1	14	8
2	21	8
3	25	8
4	28	8
5	34	8
6	38	8
7	54	8
8	58	8
9	65	8
10	74	8
11	95	8
12	116	8
13	133	8
14	140	8
15	146	8
16	149	8
done	149	8
0	10	23
1	23	23
2	84	11
3	259	9
4	758	9
5	2795	9
done	5000	9
0	8	17
1	15	17
2	19	17
3	21	17
done	21	17
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	8	23
1	22	23
2	54	9
3	186	9
4	613	9
5	1967	9
done	5002	9
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	5
1	6	5
2	7	5
done	7	5
0	5	5
1	7	5
2	8	5
done	8	5
0	10	19
1	20	19
2	31	19
3	37	19
done	37	19
0	8	9
1	12	9
2	14	9
done	14	9
0	9	14
1	15	14
2	19	14
3	20	14
done	20	14
0	8	9
1	12	9
2	14	9
done	14	9
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	11	8
2	13	8
done	13	8
0	10	15
1	15	15
2	18	15
3	19	15
done	19	15
0	9	10
1	13	10
2	15	10
done	15	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	11	8
2	13	8
done	13	8
0	9	14
1	15	14
2	17	14
done	17	14
0	8	9
1	12	9
2	14	9
done	14	9
0	8	9
1	12	9
2	14	9
done	14	9
0	8	9
1	12	9
2	14	9
done	14	9
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	11	8
2	13	8
done	13	8
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	13	10
2	15	10
done	15	10
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	11	8
2	13	8
done	13	8
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	2	3
1	4	1
done	4	1
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	10	15
1	15	15
2	16	15
done	16	15
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	9	11
1	11	11
done	11	11
0	9	11
1	16	11
2	20	11
3	22	11
done	22	11
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	2	3
1	4	1
done	4	1
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	5	5
1	9	5
2	10	5
done	10	5
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	8	13
1	17	13
2	26	13
3	31	13
4	34	13
done	34	13
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	5	5
1	12	3
2	17	3
done	17	3
0	8	9
1	14	9
2	17	9
3	19	9
done	19	9
0	5	5
1	12	3
2	17	3
done	17	3
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	7	8
1	14	8
2	18	8
3	20	8
done	20	8
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	6	7
1	13	7
2	17	7
3	19	7
done	19	7
0	9	11
1	29	11
2	54	11
3	96	11
4	205	11
5	583	11
6	2469	11
done	5000	11
0	8	11
1	18	11
2	34	11
3	60	11
4	93	11
5	136	11
6	201	11
7	369	11
8	1647	11
done	5000	11
0	10	15
1	26	13
2	74	13
3	206	13
4	506	13
5	1287	13
6	2743	13
done	5000	13
0	6	7
1	16	7
2	35	7
3	62	7
4	110	7
5	166	7
6	247	7
7	445	7
8	721	7
9	779	7
10	795	7
done	795	7
0	12	13
1	24	12
2	40	12
3	73	12
4	133	12
5	236	12
6	518	12
7	1669	12
done	5000	12
0	11	12
1	21	12
2	34	12
3	58	12
4	81	12
5	107	12
6	137	12
7	167	12
8	211	12
9	279	12
10	365	12
11	400	12
12	463	12
13	543	12
14	544	12
done	544	12
0	11	12
1	24	12
2	40	12
3	73	12
4	133	12
5	236	12
6	518	12
7	1676	12
done	5001	12
0	12	25
1	22	25
2	35	25
3	59	25
4	82	25
5	108	25
6	138	25
7	168	25
8	212	25
9	280	25
10	366	25
11	401	25
12	464	25
13	544	25
14	545	25
done	545	25
0	11	12
1	21	12
2	34	12
3	58	12
4	81	12
5	107	12
6	137	12
7	167	12
8	211	12
9	279	12
10	365	12
11	400	12
12	463	12
13	543	12
14	544	12
done	544	12
0	12	35
1	35	35
2	96	13
3	380	13
4	1925	13
done	5000	13
0	11	12
1	21	12
2	34	12
3	58	12
4	81	12
5	107	12
6	137	12
7	167	12
8	211	12
9	279	12
10	365	12
11	400	12
12	463	12
13	543	12
14	544	12
done	544	12
0	11	12
1	21	12
2	34	12
3	58	12
4	81	12
5	107	12
6	137	12
7	167	12
8	211	12
9	279	12
10	365	12
11	400	12
12	463	12
13	543	12
14	544	12
done	544	12
0	13	15
1	39	15
2	95	15
3	340	15
4	1567	15
done	5001	15
0	14	35
1	37	25
2	98	25
3	357	25
4	1188	25
5	3553	25
done	5000	25
0	12	23
1	30	23
2	71	23
3	281	23
4	1173	23
5	4032	23
done	5000	23
0	10	11
1	21	11
2	41	11
3	86	11
4	160	11
5	214	11
6	277	11
7	387	11
8	473	11
9	560	11
10	561	11
done	561	11
0	10	11
1	20	11
2	33	11
3	57	11
4	80	11
5	106	11
6	136	11
7	166	11
8	210	11
9	278	11
10	364	11
11	399	11
12	462	11
13	542	11
14	543	11
done	543	11
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	8	9
1	16	9
2	31	9
3	51	9
4	75	9
5	90	9
6	110	9
7	132	9
8	141	9
9	150	9
10	181	9
11	213	9
12	218	9
13	233	9
14	269	9
15	359	9
16	589	9
17	790	9
18	915	9
19	969	9
done	969	9
0	8	9
1	16	9
2	31	9
3	51	9
4	75	9
5	90	9
6	110	9
7	132	9
8	141	9
9	150	9
10	181	9
11	213	9
12	218	9
13	233	9
14	269	9
15	359	9
16	589	9
17	790	9
18	915	9
19	969	9
done	969	9

prune175.0ms

Filtered

147 candidates to 215 candidates (-46.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	215	0	215
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	215	4	219

Merged error: 0.0b

Counts

219 → 4

regimes518.0ms

Accuracy

73.8% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	21	65
1	28	51
done	28	51

end0.0ms

sample963.0ms

Algorithm

intervals

Results

367.0ms	8709×	body	80	valid
0.0ms	1×	body	640	valid

Details

sample35.0ms

simplify559.0ms

prune4.0ms

localize9.0ms

rewrite34.0ms

series59.0ms

simplify55.0s

prune109.0ms

localize9.0ms

rewrite39.0ms

series61.0ms

simplify55.8s

prune122.0ms

localize15.0ms

rewrite94.0ms

series100.0ms

simplify1.2min

prune139.0ms

localize9.0ms

rewrite71.0ms

series73.0ms

simplify1.3min

prune175.0ms

regimes518.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample963.0ms

Profiling