Details

sample36.0ms

Algorithm

intervals

Results

12.0ms

287×

body

valid

simplify661.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	17	11
2	35	11
3	59	11
4	94	11
5	120	11
6	146	11
7	165	11
8	187	11
9	232	11
10	324	11
11	481	11
12	509	11
13	528	11
14	530	11
done	530	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: 12.6b

Counts

2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 41

Calls

2 calls:

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

series56.0ms

Counts

2 → 6

Calls

2 calls:

32.0ms	(+ x (/ (* (- y z) t) (- a z)))
24.0ms	(/ (* (- y z) t) (- a z))

simplify41.3s

Counts

47 → 47

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	19	12
2	28	12
3	34	12
4	40	12
5	49	12
6	62	12
7	80	12
8	96	12
9	103	12
10	120	12
11	122	12
done	122	12
0	10	11
1	19	11
2	33	11
3	47	11
4	56	11
5	62	11
6	71	11
7	84	11
8	102	11
9	118	11
10	125	11
11	142	11
12	144	11
done	144	11
0	9	10
1	18	10
2	44	10
3	80	10
4	122	10
5	146	10
6	173	10
7	205	10
8	230	10
9	241	10
10	258	10
11	260	10
done	260	10
0	9	10
1	15	10
2	33	10
3	58	10
4	100	10
5	142	10
6	244	10
7	544	10
8	2041	10
done	5000	10
0	14	29
1	32	29
2	154	15
3	728	15
4	3309	13
done	5000	13
0	12	29
1	34	29
2	173	13
3	972	11
4	4232	11
done	5000	11
0	10	21
1	16	21
2	34	21
3	54	21
4	81	21
5	97	21
6	112	21
7	126	21
8	135	21
9	139	21
done	139	21
0	9	10
1	15	10
2	33	10
3	53	10
4	80	10
5	96	10
6	111	10
7	125	10
8	134	10
9	138	10
done	138	10
0	10	29
1	23	29
2	78	11
3	353	11
4	1857	11
done	5000	11
0	9	10
1	15	10
2	33	10
3	53	10
4	80	10
5	96	10
6	111	10
7	125	10
8	134	10
9	138	10
done	138	10
0	9	10
1	15	10
2	33	10
3	53	10
4	80	10
5	96	10
6	111	10
7	125	10
8	134	10
9	138	10
done	138	10
0	6	6
1	13	6
2	25	6
3	49	6
4	58	5
5	64	5
6	69	5
done	69	5
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	8	13
1	16	13
2	25	13
3	30	13
4	33	13
done	33	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	12	3
2	17	3
done	17	3
0	5	5
1	7	5
2	8	5
done	8	5
0	8	9
1	14	9
2	17	9
3	19	9
done	19	9
0	7	7
1	9	7
2	10	7
done	10	7
0	5	5
1	12	3
2	17	3
done	17	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	9	5
2	10	5
done	10	5
0	8	9
1	17	9
2	38	9
3	51	9
4	61	9
5	62	9
done	62	9
0	10	15
1	21	15
2	49	15
3	81	15
4	144	15
5	181	15
6	212	15
7	233	15
done	233	15
0	9	10
1	15	10
2	30	10
3	45	10
4	68	10
5	82	10
6	91	10
7	93	10
done	93	10
0	7	7
1	14	5
2	32	5
3	56	5
4	87	5
5	95	5
6	112	5
7	126	5
8	131	5
done	131	5
0	10	11
1	16	11
2	30	11
3	45	11
4	68	11
5	82	11
6	91	11
7	93	11
done	93	11
0	7	7
1	14	5
2	32	5
3	56	5
4	87	5
5	95	5
6	112	5
7	126	5
8	131	5
done	131	5
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	11	13
1	31	13
2	69	13
3	146	13
4	360	13
5	1209	13
done	5000	13
0	10	13
1	20	13
2	52	13
3	121	13
4	250	13
5	460	13
6	672	13
7	1105	13
8	3057	13
done	5000	13
0	10	15
1	26	13
2	74	13
3	211	13
4	488	13
5	1206	13
6	2670	13
done	5000	13
0	6	7
1	16	7
2	36	7
3	61	7
4	104	7
5	160	7
6	246	7
7	442	7
8	752	7
9	865	7
10	882	7
done	882	7
0	12	13
1	21	12
2	40	12
3	69	12
4	127	12
5	196	12
6	369	12
7	970	12
8	4793	12
done	5000	12
0	11	12
1	18	12
2	36	12
3	60	12
4	95	12
5	121	12
6	147	12
7	166	12
8	188	12
9	233	12
10	325	12
11	482	12
12	510	12
13	529	12
14	531	12
done	531	12
0	11	12
1	21	12
2	40	12
3	69	12
4	127	12
5	196	12
6	369	12
7	972	12
8	4796	12
done	5000	12
0	12	25
1	19	25
2	37	25
3	61	25
4	96	25
5	122	25
6	148	25
7	167	25
8	189	25
9	234	25
10	326	25
11	483	25
12	511	25
13	530	25
14	532	25
done	532	25
0	11	12
1	18	12
2	36	12
3	60	12
4	95	12
5	121	12
6	147	12
7	166	12
8	188	12
9	233	12
10	325	12
11	482	12
12	510	12
13	529	12
14	531	12
done	531	12
0	12	35
1	32	35
2	98	13
3	358	13
4	1555	13
done	5000	13
0	11	12
1	18	12
2	36	12
3	60	12
4	95	12
5	121	12
6	147	12
7	166	12
8	188	12
9	233	12
10	325	12
11	482	12
12	510	12
13	529	12
14	531	12
done	531	12
0	11	12
1	18	12
2	36	12
3	60	12
4	95	12
5	121	12
6	147	12
7	166	12
8	188	12
9	233	12
10	325	12
11	482	12
12	510	12
13	529	12
14	531	12
done	531	12
0	13	15
1	36	15
2	95	15
3	354	15
4	1865	15
done	5000	15
0	14	35
1	34	25
2	102	25
3	357	25
4	1200	25
5	3675	25
done	5000	25
0	12	23
1	27	23
2	74	23
3	281	23
4	1172	23
5	4417	23
done	5000	23
0	10	11
1	18	11
2	41	11
3	81	11
4	145	11
5	236	11
6	292	11
7	321	11
8	353	11
9	418	11
10	507	11
11	508	11
done	508	11
0	10	11
1	17	11
2	35	11
3	59	11
4	94	11
5	120	11
6	146	11
7	165	11
8	187	11
9	232	11
10	324	11
11	481	11
12	509	11
13	528	11
14	530	11
done	530	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	8	9
1	16	9
2	31	9
3	51	9
4	69	9
5	86	9
6	103	9
7	123	9
8	141	9
9	150	9
10	181	9
11	217	9
12	232	9
13	268	9
14	358	9
15	588	9
16	789	9
17	912	9
18	966	9
done	966	9
0	8	9
1	16	9
2	31	9
3	51	9
4	69	9
5	86	9
6	103	9
7	123	9
8	141	9
9	150	9
10	181	9
11	217	9
12	232	9
13	268	9
14	358	9
15	588	9
16	789	9
17	912	9
18	966	9
done	966	9

prune88.0ms

Filtered

38 candidates to 47 candidates (-23.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	43	4	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	43	5	48

Merged error: 0b

Counts

48 → 5

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

200×	`times-frac`
173×	`*-un-lft-identity`
171×	`add-sqr-sqrt`
87×	`add-cube-cbrt`
42×	`distribute-lft-out--` `difference-of-squares`
22×	`associate-/r*`
10×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
8×	`div-inv`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp` `associate-/l/`
3×	`pow1` `div-sub`
2×	`flip3--` `frac-2neg` `clear-num` `flip--`
1×	`+-commutative` `associate-+r-` `flip3-+` `sum-log` `associate-/r/` `flip-+` `distribute-lft-out`

Counts

3 → 188

Calls

3 calls:

11.0ms	(/ (- a z) t)
30.0ms	(+ x (/ (- y z) (/ (- a z) t)))
13.0ms	(/ (- y z) (/ (- a z) t))

series66.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(/ (- a z) t)
31.0ms	(+ x (/ (- y z) (/ (- a z) t)))
27.0ms	(/ (- y z) (/ (- a z) t))

simplify55.3s

Counts

197 → 197

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	20	12
2	30	12
3	43	12
4	47	12
5	55	12
6	70	12
7	96	12
8	105	12
done	105	12
0	10	11
1	21	11
2	30	11
3	39	11
4	52	11
5	56	11
6	64	11
7	79	11
8	105	11
9	114	11
done	114	11
0	9	10
1	23	10
2	44	10
3	68	10
4	97	10
5	127	10
6	160	10
7	189	10
8	218	10
9	240	10
10	246	10
done	246	10
0	9	10
1	20	10
2	39	10
3	68	10
4	108	10
5	187	10
6	462	10
7	1679	10
done	5001	10
0	14	29
1	31	29
2	140	15
3	647	13
4	2817	11
done	5000	11
0	12	29
1	33	29
2	122	13
3	520	11
4	2319	11
done	5000	11
0	10	21
1	21	21
2	35	21
3	51	21
4	70	21
5	83	21
6	108	21
7	126	21
8	137	21
9	139	21
done	139	21
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	10	29
1	28	29
2	89	11
3	422	11
4	2319	11
done	5001	11
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	6	6
1	13	6
2	19	6
3	26	6
4	30	5
5	31	5
done	31	5
0	7	7
1	14	7
2	20	7
3	23	7
4	25	7
5	30	7
6	33	7
7	35	7
done	35	7
0	6	7
1	13	7
2	19	7
3	22	7
4	24	7
5	29	7
6	34	7
7	37	7
done	37	7
0	12	23
1	24	23
2	37	23
3	45	23
done	45	23
0	10	11
1	16	11
2	20	11
3	22	11
done	22	11
0	11	16
1	19	16
2	25	16
3	28	16
done	28	16
0	10	11
1	16	11
2	20	11
3	22	11
done	22	11
0	14	25
1	27	25
2	65	25
3	154	25
4	281	25
5	375	25
6	411	25
7	421	25
done	421	25
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	13	22
1	22	22
2	42	22
3	86	22
4	130	22
5	149	22
6	154	22
7	155	22
done	155	22
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	12	21
1	23	19
2	48	19
3	123	19
4	151	19
5	171	19
6	173	19
done	173	19
0	10	11
1	15	11
2	20	11
3	21	11
4	23	11
5	25	11
6	26	11
done	26	11
0	13	20
1	22	20
2	39	20
3	67	20
4	104	20
5	126	20
6	136	20
7	145	20
done	145	20
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	12	17
1	19	17
2	30	17
3	40	17
4	50	17
5	54	17
6	56	17
7	57	17
done	57	17
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	11	16
1	20	14
2	33	14
3	55	14
4	60	14
5	64	14
6	70	14
done	70	14
0	10	11
1	15	11
2	20	11
3	21	11
4	23	11
5	25	11
6	26	11
done	26	11
0	11	17
1	21	17
2	37	15
3	84	15
4	196	15
5	258	15
6	303	15
done	303	15
0	10	11
1	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	11
0	10	14
1	18	14
2	28	12
3	54	12
4	101	12
5	109	12
done	109	12
0	10	11
1	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	11
0	8	13
1	16	11
2	26	9
3	47	9
4	65	9
done	65	9
0	9	10
1	17	10
2	24	10
3	27	10
4	29	10
5	34	10
6	37	10
7	39	10
done	39	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	18
1	20	18
2	30	18
3	40	18
4	50	18
5	54	18
6	56	18
7	57	18
done	57	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	17
1	21	15
2	33	15
3	55	15
4	61	15
5	65	15
6	71	15
done	71	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	17
1	21	17
2	37	15
3	84	15
4	196	15
5	258	15
6	303	15
done	303	15
0	10	11
1	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	11
0	10	14
1	18	14
2	28	12
3	54	12
4	101	12
5	109	12
done	109	12
0	10	11
1	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	11
0	8	13
1	16	11
2	26	9
3	47	9
4	65	9
done	65	9
0	9	10
1	17	10
2	24	10
3	27	10
4	29	10
5	34	10
6	37	10
7	39	10
done	39	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	9	10
1	17	10
2	24	10
3	27	10
4	29	10
5	34	10
6	37	10
7	39	10
done	39	10
0	8	13
1	13	13
2	20	13
3	23	13
4	25	13
done	25	13
0	8	8
1	14	8
2	18	6
3	27	6
4	36	6
5	38	6
done	38	6
0	11	18
1	19	18
2	23	18
3	25	18
done	25	18
0	10	11
1	16	11
2	20	11
3	22	11
done	22	11
0	10	11
1	16	11
2	20	11
3	22	11
done	22	11
0	10	11
1	16	11
2	20	11
3	22	11
done	22	11
0	13	20
1	24	20
2	47	20
3	76	20
4	102	20
5	133	20
6	157	20
7	167	20
done	167	20
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	12	17
1	19	17
2	29	17
3	42	17
4	50	17
5	56	17
6	59	17
done	59	17
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	11	16
1	20	14
2	35	14
3	62	14
4	72	14
5	84	14
6	89	14
done	89	14
0	10	11
1	15	11
2	20	11
3	21	11
4	23	11
5	25	11
6	26	11
done	26	11
0	12	15
1	19	15
2	28	15
3	36	15
4	40	15
5	49	15
6	55	15
7	60	15
done	60	15
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	10	11
1	17	9
2	25	9
3	30	9
4	32	9
5	35	9
6	39	9
done	39	9
0	10	11
1	15	11
2	20	11
3	21	11
4	23	11
5	25	11
6	26	11
done	26	11
0	10	12
1	18	12
2	26	10
3	42	10
4	68	10
5	93	10
6	112	10
done	112	10
0	10	11
1	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	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	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	11
0	7	8
1	13	6
2	19	4
3	21	4
4	25	4
done	25	4
0	9	10
1	17	10
2	24	10
3	27	10
4	29	10
5	34	10
6	37	10
7	39	10
done	39	10
0	13	16
1	20	16
2	28	16
3	36	16
4	40	16
5	49	16
6	55	16
7	60	16
done	60	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	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	11	12
1	18	10
2	25	10
3	30	10
4	32	10
5	35	10
6	39	10
done	39	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	10	12
1	18	12
2	26	10
3	42	10
4	68	10
5	93	10
6	112	10
done	112	10
0	10	11
1	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	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	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	11
0	7	8
1	13	6
2	19	4
3	21	4
4	25	4
done	25	4
0	9	10
1	17	10
2	24	10
3	27	10
4	29	10
5	34	10
6	37	10
7	39	10
done	39	10
0	6	6
1	10	4
2	13	4
done	13	4
0	9	10
1	17	10
2	24	10
3	27	10
4	29	10
5	34	10
6	37	10
7	39	10
done	39	10
0	7	8
1	10	8
2	12	8
done	12	8
0	8	8
1	14	8
2	18	6
3	27	6
4	36	6
5	38	6
done	38	6
0	9	15
1	18	15
2	21	15
3	23	15
done	23	15
0	9	10
1	18	10
2	24	10
3	28	10
done	28	10
0	8	8
1	15	8
2	18	8
3	20	8
done	20	8
0	9	10
1	18	10
2	24	10
3	28	10
done	28	10
0	11	17
1	23	17
2	45	17
3	74	15
4	134	15
5	201	15
done	201	15
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	10	14
1	18	14
2	27	14
3	40	12
4	67	12
5	104	12
done	104	12
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	9	10
1	17	10
2	29	10
3	43	10
4	62	10
5	72	10
6	86	10
7	91	10
8	93	10
done	93	10
0	10	12
1	18	12
2	26	12
3	34	10
4	58	10
5	75	10
done	75	10
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	9	9
1	15	9
2	19	9
3	20	7
4	33	7
5	40	7
done	40	7
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	7	8
1	13	6
2	19	6
done	19	6
0	9	10
1	17	10
2	29	10
3	43	10
4	62	10
5	72	10
6	86	10
7	91	10
8	93	10
done	93	10
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	3	5
1	6	1
done	6	1
0	8	9
1	19	9
2	33	9
3	49	9
4	68	9
5	81	9
6	106	9
7	124	9
8	135	9
9	137	9
done	137	9
0	11	13
1	18	13
2	25	13
3	33	11
4	57	11
5	74	11
done	74	11
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	10	10
1	15	10
2	18	10
3	19	8
4	32	8
5	39	8
done	39	8
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	8	9
1	13	7
2	18	7
done	18	7
0	10	11
1	22	11
2	36	11
3	52	11
4	71	11
5	84	11
6	109	11
7	125	11
8	135	11
9	137	11
done	137	11
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	3	5
1	6	1
done	6	1
0	8	9
1	19	9
2	33	9
3	49	9
4	68	9
5	81	9
6	106	9
7	124	9
8	135	9
9	137	9
done	137	9
0	2	3
1	4	1
done	4	1
0	8	9
1	19	9
2	33	9
3	49	9
4	68	9
5	81	9
6	106	9
7	124	9
8	135	9
9	137	9
done	137	9
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	16	7
2	27	5
3	56	5
4	75	5
5	101	5
6	115	5
7	120	5
done	120	5
0	12	19
1	20	19
2	23	19
3	25	19
done	25	19
0	11	12
1	21	12
2	27	12
3	31	12
done	31	12
0	11	12
1	17	12
2	20	12
3	22	12
done	22	12
0	11	12
1	21	12
2	27	12
3	31	12
done	31	12
0	14	21
1	25	21
2	47	21
3	78	21
4	112	21
5	165	21
6	214	21
7	272	21
8	330	21
9	398	21
10	428	21
11	442	21
12	447	21
13	449	21
14	450	21
done	450	21
0	12	13
1	21	13
2	33	13
3	47	13
4	66	13
5	76	13
6	90	13
7	95	13
8	97	13
done	97	13
0	13	18
1	20	18
2	29	18
3	42	18
4	58	18
5	72	18
6	85	18
7	95	18
8	115	18
9	133	18
10	149	18
11	152	18
12	154	18
13	155	18
done	155	18
0	12	13
1	21	13
2	33	13
3	47	13
4	66	13
5	76	13
6	90	13
7	95	13
8	97	13
done	97	13
0	12	17
1	21	15
2	35	15
3	62	15
4	80	15
5	116	15
6	143	15
7	155	15
8	171	15
9	179	15
done	179	15
0	11	12
1	20	12
2	32	12
3	46	12
4	65	12
5	75	12
6	89	12
7	94	12
8	96	12
done	96	12
0	13	16
1	20	16
2	28	16
3	36	16
4	48	16
5	69	16
6	85	16
7	110	16
8	130	16
9	144	16
10	152	16
11	158	16
12	159	16
done	159	16
0	12	13
1	21	13
2	33	13
3	47	13
4	66	13
5	76	13
6	90	13
7	95	13
8	97	13
done	97	13
0	12	13
1	17	13
2	21	13
3	22	13
4	32	13
5	34	13
6	43	13
7	45	13
8	51	13
9	55	13
10	61	13
11	63	13
done	63	13
0	12	13
1	21	13
2	33	13
3	47	13
4	66	13
5	76	13
6	90	13
7	95	13
8	97	13
done	97	13
0	11	12
1	18	10
2	25	10
3	30	10
4	40	10
5	51	10
6	63	10
7	70	10
8	74	10
9	76	10
done	76	10
0	11	12
1	20	12
2	32	12
3	46	12
4	65	12
5	75	12
6	89	12
7	94	12
8	96	12
done	96	12
0	11	13
1	18	13
2	25	11
3	49	11
4	87	11
5	118	11
6	158	11
7	190	11
8	254	11
9	278	11
done	278	11
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	10	10
1	15	10
2	18	8
3	35	8
4	44	8
5	54	8
6	56	8
7	62	8
8	76	8
9	104	8
done	104	8
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	8	9
1	13	7
2	18	5
3	28	5
4	40	5
done	40	5
0	10	11
1	22	11
2	36	11
3	52	11
4	71	11
5	84	11
6	109	11
7	125	11
8	135	11
9	137	11
done	137	11
0	13	17
1	19	17
2	26	17
3	34	17
4	46	17
5	67	17
6	85	17
7	110	17
8	130	17
9	144	17
10	152	17
11	158	17
12	159	17
done	159	17
0	12	14
1	23	14
2	37	14
3	53	14
4	72	14
5	85	14
6	110	14
7	128	14
8	139	14
9	141	14
done	141	14
0	12	14
1	16	14
2	19	14
3	20	14
4	30	14
5	32	14
6	41	14
7	43	14
8	49	14
9	53	14
10	59	14
11	61	14
done	61	14
0	12	14
1	23	14
2	37	14
3	53	14
4	72	14
5	85	14
6	110	14
7	128	14
8	139	14
9	141	14
done	141	14
0	11	13
1	17	11
2	23	11
3	28	11
4	38	11
5	49	11
6	61	11
7	67	11
8	71	11
9	73	11
done	73	11
0	11	13
1	22	13
2	36	13
3	52	13
4	71	13
5	84	13
6	109	13
7	127	13
8	138	13
9	140	13
done	140	13
0	11	13
1	18	13
2	25	11
3	49	11
4	87	11
5	118	11
6	158	11
7	190	11
8	254	11
9	278	11
done	278	11
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	10	10
1	15	10
2	18	8
3	35	8
4	44	8
5	54	8
6	56	8
7	62	8
8	76	8
9	104	8
done	104	8
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	8	9
1	13	7
2	18	5
3	28	5
4	40	5
done	40	5
0	10	11
1	22	11
2	36	11
3	52	11
4	71	11
5	84	11
6	109	11
7	125	11
8	135	11
9	137	11
done	137	11
0	7	7
1	10	5
2	12	5
done	12	5
0	10	11
1	22	11
2	36	11
3	52	11
4	71	11
5	84	11
6	109	11
7	125	11
8	135	11
9	137	11
done	137	11
0	8	9
1	11	9
2	12	9
done	12	9
0	9	9
1	18	9
2	29	7
3	58	7
4	77	7
5	99	7
6	108	7
7	114	7
done	114	7
0	9	15
1	18	15
2	21	15
3	23	15
done	23	15
0	9	10
1	18	10
2	24	10
3	28	10
done	28	10
0	8	8
1	15	8
2	18	8
3	20	8
done	20	8
0	9	10
1	18	10
2	24	10
3	28	10
done	28	10
0	11	17
1	23	17
2	45	17
3	74	15
4	134	15
5	201	15
done	201	15
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	10	14
1	18	14
2	27	14
3	40	12
4	67	12
5	104	12
done	104	12
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	9	10
1	17	10
2	29	10
3	43	10
4	62	10
5	72	10
6	86	10
7	91	10
8	93	10
done	93	10
0	10	12
1	18	12
2	26	12
3	34	10
4	58	10
5	75	10
done	75	10
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	9	9
1	15	9
2	19	9
3	20	7
4	33	7
5	40	7
done	40	7
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	7	8
1	13	6
2	19	6
done	19	6
0	9	10
1	17	10
2	29	10
3	43	10
4	62	10
5	72	10
6	86	10
7	91	10
8	93	10
done	93	10
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	3	5
1	6	1
done	6	1
0	8	9
1	19	9
2	33	9
3	49	9
4	68	9
5	81	9
6	106	9
7	124	9
8	135	9
9	137	9
done	137	9
0	11	13
1	18	13
2	25	13
3	33	11
4	57	11
5	74	11
done	74	11
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	10	10
1	15	10
2	18	10
3	19	8
4	32	8
5	39	8
done	39	8
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	8	9
1	13	7
2	18	7
done	18	7
0	10	11
1	22	11
2	36	11
3	52	11
4	71	11
5	84	11
6	109	11
7	125	11
8	135	11
9	137	11
done	137	11
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	3	5
1	6	1
done	6	1
0	8	9
1	19	9
2	33	9
3	49	9
4	68	9
5	81	9
6	106	9
7	124	9
8	135	9
9	137	9
done	137	9
0	2	3
1	4	1
done	4	1
0	8	9
1	19	9
2	33	9
3	49	9
4	68	9
5	81	9
6	106	9
7	124	9
8	135	9
9	137	9
done	137	9
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	16	7
2	27	5
3	56	5
4	75	5
5	101	5
6	115	5
7	120	5
done	120	5
0	7	7
1	16	7
2	22	7
3	25	5
done	25	5
0	8	9
1	16	9
2	29	9
3	48	9
4	58	9
5	65	9
done	65	9
0	10	17
1	21	17
2	32	17
3	39	17
4	42	17
done	42	17
0	9	10
1	18	10
2	24	10
3	28	10
done	28	10
0	12	19
1	26	19
2	68	19
3	163	19
4	314	19
5	494	19
6	657	19
7	756	19
8	780	19
done	780	19
0	11	16
1	21	16
2	42	16
3	90	16
4	146	16
5	193	16
6	230	16
7	242	16
8	245	16
done	245	16
0	10	15
1	22	13
2	47	13
3	112	13
4	197	13
5	287	13
6	367	13
7	398	13
8	406	13
done	406	13
0	11	14
1	21	14
2	41	14
3	76	14
4	127	14
5	178	14
6	219	14
7	259	14
8	278	14
9	279	14
done	279	14
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	9	10
1	19	8
2	31	8
3	51	8
4	82	8
5	102	8
6	123	8
7	139	8
8	152	8
9	154	8
done	154	8
0	9	11
1	20	11
2	39	9
3	89	9
4	161	9
5	253	9
6	386	9
7	409	9
done	409	9
0	8	8
1	17	8
2	28	6
3	57	6
4	76	6
5	102	6
6	121	6
7	124	6
done	124	6
0	6	7
1	15	5
2	23	3
3	33	3
4	49	3
5	58	3
6	62	3
done	62	3
0	12	15
1	22	15
2	41	15
3	76	15
4	127	15
5	178	15
6	219	15
7	259	15
8	278	15
9	279	15
done	279	15
0	11	12
1	19	12
2	30	12
3	44	12
4	63	12
5	73	12
6	87	12
7	92	12
8	94	12
done	94	12
0	10	11
1	20	9
2	31	9
3	51	9
4	82	9
5	102	9
6	123	9
7	139	9
8	152	9
9	154	9
done	154	9
0	9	11
1	20	11
2	39	9
3	89	9
4	161	9
5	253	9
6	386	9
7	409	9
done	409	9
0	8	8
1	17	8
2	28	6
3	57	6
4	76	6
5	102	6
6	121	6
7	124	6
done	124	6
0	6	7
1	15	5
2	23	3
3	33	3
4	49	3
5	58	3
6	62	3
done	62	3
0	5	5
1	12	3
2	17	3
done	17	3
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	9	10
1	17	10
2	30	10
3	41	10
4	47	10
5	50	10
done	50	10
0	9	10
1	17	10
2	30	10
3	41	10
4	47	10
5	50	10
done	50	10
0	8	9
1	16	9
2	29	9
3	48	9
4	58	9
5	65	9
done	65	9
0	10	11
1	19	11
2	32	11
3	51	11
4	61	11
5	68	11
done	68	11
0	8	9
1	16	9
2	29	9
3	48	9
4	58	9
5	65	9
done	65	9
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	12	17
1	33	15
2	86	15
3	254	15
4	671	15
5	1681	15
6	3863	15
done	5001	15
0	8	9
1	23	9
2	42	9
3	97	9
4	172	9
5	317	9
6	462	9
7	759	9
8	1474	9
9	2535	9
10	2709	9
11	2745	9
12	2746	9
done	2746	9
0	12	13
1	26	12
2	48	12
3	89	12
4	153	12
5	288	12
6	794	12
7	3646	12
done	5000	12
0	11	12
1	23	12
2	41	12
3	65	12
4	94	12
5	116	12
6	146	12
7	177	12
8	229	12
9	323	12
10	480	12
11	508	12
12	527	12
13	529	12
done	529	12
0	11	12
1	26	12
2	50	12
3	95	12
4	162	12
5	306	12
6	866	12
7	4251	12
done	5001	12
0	12	25
1	24	25
2	42	25
3	66	25
4	95	25
5	117	25
6	147	25
7	178	25
8	230	25
9	324	25
10	481	25
11	509	25
12	528	25
13	530	25
done	530	25
0	11	12
1	23	12
2	41	12
3	65	12
4	94	12
5	116	12
6	146	12
7	177	12
8	229	12
9	323	12
10	480	12
11	508	12
12	527	12
13	529	12
done	529	12
0	12	35
1	37	35
2	103	13
3	387	13
4	2113	13
done	5001	13
0	11	12
1	23	12
2	41	12
3	65	12
4	94	12
5	116	12
6	146	12
7	177	12
8	229	12
9	323	12
10	480	12
11	508	12
12	527	12
13	529	12
done	529	12
0	11	12
1	23	12
2	41	12
3	65	12
4	94	12
5	116	12
6	146	12
7	177	12
8	229	12
9	323	12
10	480	12
11	508	12
12	527	12
13	529	12
done	529	12
0	13	15
1	41	15
2	98	15
3	347	15
4	1638	15
done	5000	15
0	14	35
1	39	25
2	115	25
3	412	25
4	1425	25
5	4287	25
done	5001	25
0	12	23
1	32	23
2	84	23
3	339	23
4	1451	23
done	5000	23
0	10	11
1	23	11
2	46	11
3	79	11
4	138	11
5	206	11
6	260	11
7	319	11
8	389	11
9	475	11
10	489	11
done	489	11
0	10	11
1	22	11
2	40	11
3	64	11
4	93	11
5	115	11
6	145	11
7	176	11
8	228	11
9	322	11
10	479	11
11	507	11
12	526	11
13	528	11
done	528	11
0	9	9
1	17	9
2	23	9
3	26	9
4	28	9
5	33	9
6	36	9
7	38	9
done	38	9
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	14	6
2	19	6
3	22	6
done	22	6
0	6	6
1	11	6
2	17	6
3	21	6
4	24	6
5	30	6
6	34	6
7	50	6
8	54	6
9	61	6
10	70	6
11	90	6
12	111	6
13	129	6
14	136	6
15	142	6
16	145	6
done	145	6
0	9	17
1	20	17
2	68	9
3	203	7
4	562	7
5	2030	7
done	5000	7
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	7	17
1	19	17
2	50	7
3	176	7
4	571	7
5	1720	7
done	5001	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	2	2
done	2	2
0	3	3
done	3	3
0	3	3
done	3	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	12
1	12	12
2	15	12
3	16	12
done	16	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	6
1	8	6
2	9	6
done	9	6
0	8	10
1	12	10
2	13	10
done	13	10
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	6	6
1	10	4
2	13	4
done	13	4
0	6	6
1	8	6
2	9	6
done	9	6
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	9	11
1	12	11
done	12	11
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	8	8
1	9	8
done	9	8
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	7	7
1	10	5
2	12	5
done	12	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	3	3
1	5	3
done	5	3
0	5	5
1	7	5
2	8	5
done	8	5
0	7	9
1	14	9
2	22	9
3	27	9
4	30	9
done	30	9
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	12	3
2	17	3
done	17	3
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	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	9	7
2	10	7
done	10	7
0	5	5
1	7	5
2	8	5
done	8	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	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	69	9
5	86	9
6	103	9
7	123	9
8	141	9
9	150	9
10	181	9
11	217	9
12	232	9
13	268	9
14	358	9
15	588	9
16	789	9
17	912	9
18	966	9
done	966	9
0	8	9
1	16	9
2	31	9
3	51	9
4	69	9
5	86	9
6	103	9
7	123	9
8	141	9
9	150	9
10	181	9
11	217	9
12	232	9
13	268	9
14	358	9
15	588	9
16	789	9
17	912	9
18	966	9
done	966	9
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7

prune167.0ms

Filtered

136 candidates to 197 candidates (-44.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	196	1	197
Fresh	2	1	3
Picked	0	1	1
Done	0	1	1
Total	198	4	202

Merged error: 0b

Counts

202 → 4

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-sqr-sqrt`
71×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-l`
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-r` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `flip3-+` `div-sub` `pow-prod-down` `associate-l/` `clear-num` `sum-log` `-commutative` `flip-+`

Counts

3 → 113

Calls

3 calls:

3.0ms	(+ x (* (/ (- y z) (- a z)) t))
9.0ms	(/ (- y z) (- a z))
14.0ms	(* (/ (- y z) (- a z)) t)

series72.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify57.6s

Counts

122 → 122

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	11	12
1	19	12
2	31	12
3	40	12
4	49	12
5	54	12
6	63	12
7	80	12
8	99	12
9	107	12
done	107	12
0	10	11
1	20	11
2	30	11
3	41	11
4	51	11
5	60	11
6	65	11
7	74	11
8	91	11
9	110	11
10	118	11
done	118	11
0	9	10
1	21	10
2	34	10
3	68	10
4	103	10
5	141	10
6	170	10
7	198	10
8	232	10
9	249	10
10	265	10
11	267	10
done	267	10
0	9	10
1	20	10
2	36	10
3	70	10
4	125	10
5	244	10
6	499	10
7	1222	10
8	4369	10
done	5001	10
0	14	29
1	32	29
2	138	15
3	608	13
4	2689	13
done	5000	13
0	12	29
1	31	29
2	96	13
3	365	13
4	1630	11
done	5001	11
0	10	21
1	19	21
2	26	21
3	50	21
4	69	21
5	94	21
6	111	21
7	127	21
8	138	21
9	143	21
done	143	21
0	9	10
1	18	10
2	25	10
3	49	10
4	68	10
5	93	10
6	110	10
7	126	10
8	137	10
9	142	10
done	142	10
0	10	29
1	29	29
2	87	11
3	399	11
4	1830	11
done	5000	11
0	9	10
1	18	10
2	25	10
3	49	10
4	68	10
5	93	10
6	110	10
7	126	10
8	137	10
9	142	10
done	142	10
0	9	10
1	18	10
2	25	10
3	49	10
4	68	10
5	93	10
6	110	10
7	126	10
8	137	10
9	142	10
done	142	10
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	11	12
1	17	12
2	22	12
3	24	12
4	26	12
5	27	12
done	27	12
0	11	12
1	17	12
2	22	12
3	24	12
4	26	12
5	27	12
done	27	12
0	10	13
1	21	13
2	33	13
3	69	13
4	130	13
5	203	13
6	278	13
7	349	13
8	400	13
9	421	13
10	433	13
11	449	13
12	455	13
13	461	13
14	463	13
done	463	13
0	9	10
1	18	10
2	25	10
3	49	10
4	68	10
5	93	10
6	110	10
7	126	10
8	137	10
9	142	10
done	142	10
0	8	9
1	19	7
2	33	7
3	58	7
4	84	7
5	115	7
6	146	7
7	195	7
8	285	7
9	404	7
10	664	7
11	855	7
12	1238	7
13	1977	7
14	2311	7
15	2525	7
16	2535	7
done	2535	7
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	10	11
1	16	11
2	21	11
3	23	11
4	25	11
5	26	11
done	26	11
0	10	11
1	16	11
2	21	11
3	23	11
4	25	11
5	26	11
done	26	11
0	9	10
1	15	10
2	20	10
3	25	10
4	32	10
5	37	10
6	39	10
done	39	10
0	11	12
1	18	12
2	23	12
3	28	12
4	35	12
5	40	12
6	42	12
done	42	12
0	9	10
1	15	10
2	20	10
3	25	10
4	32	10
5	37	10
6	39	10
done	39	10
0	10	11
1	16	11
2	21	11
3	23	11
4	25	11
5	26	11
done	26	11
0	10	11
1	16	11
2	21	11
3	23	11
4	25	11
5	26	11
done	26	11
0	9	10
1	15	10
2	20	10
3	25	10
4	32	10
5	37	10
6	39	10
done	39	10
0	11	12
1	18	12
2	23	12
3	28	12
4	35	12
5	40	12
6	42	12
done	42	12
0	9	10
1	15	10
2	20	10
3	25	10
4	32	10
5	37	10
6	39	10
done	39	10
0	9	10
1	18	10
2	25	10
3	46	10
4	60	10
5	81	10
6	90	10
7	96	10
8	97	10
done	97	10
0	9	10
1	18	10
2	25	10
3	46	10
4	60	10
5	81	10
6	90	10
7	96	10
8	97	10
done	97	10
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	10	11
1	20	11
2	27	11
3	51	11
4	70	11
5	95	11
6	112	11
7	128	11
8	137	11
9	141	11
done	141	11
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	11	12
1	21	12
2	28	12
3	49	12
4	63	12
5	84	12
6	93	12
7	99	12
8	100	12
done	100	12
0	11	12
1	21	12
2	28	12
3	49	12
4	63	12
5	84	12
6	93	12
7	99	12
8	100	12
done	100	12
0	10	11
1	20	11
2	27	11
3	51	11
4	70	11
5	95	11
6	112	11
7	128	11
8	137	11
9	141	11
done	141	11
0	11	13
1	20	13
2	27	13
3	51	13
4	70	13
5	95	13
6	112	13
7	128	13
8	139	13
9	144	13
done	144	13
0	10	11
1	20	11
2	27	11
3	51	11
4	70	11
5	95	11
6	112	11
7	128	11
8	137	11
9	141	11
done	141	11
0	9	10
1	18	10
2	25	10
3	46	10
4	60	10
5	81	10
6	90	10
7	96	10
8	97	10
done	97	10
0	9	10
1	18	10
2	25	10
3	46	10
4	60	10
5	81	10
6	90	10
7	96	10
8	97	10
done	97	10
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	10	11
1	20	11
2	27	11
3	51	11
4	70	11
5	95	11
6	112	11
7	128	11
8	137	11
9	141	11
done	141	11
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	7	7
1	14	7
2	18	5
3	21	5
4	23	5
5	25	5
done	25	5
0	9	13
1	17	11
2	39	11
3	73	11
4	86	11
5	88	11
done	88	11
0	5	5
1	7	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	13	9
2	16	9
done	16	9
0	7	8
1	16	8
2	22	8
3	25	8
done	25	8
0	7	8
1	13	8
2	20	8
3	24	8
4	27	8
5	33	8
6	37	8
7	53	8
8	57	8
9	64	8
10	73	8
11	93	8
12	114	8
13	127	8
14	134	8
15	140	8
16	143	8
done	143	8
0	10	23
1	22	23
2	83	11
3	258	9
4	752	9
5	2785	9
done	5000	9
0	8	17
1	14	17
2	18	17
3	20	17
done	20	17
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	8	23
1	21	23
2	53	9
3	185	9
4	609	9
5	1954	9
done	5000	9
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	7	8
1	13	8
2	17	8
3	19	8
done	19	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	5	5
1	7	5
2	8	5
done	8	5
0	4	5
1	6	5
2	7	5
done	7	5
0	10	19
1	19	19
2	30	19
3	36	19
done	36	19
0	8	9
1	11	9
2	13	9
done	13	9
0	9	14
1	14	14
2	18	14
3	19	14
done	19	14
0	8	9
1	11	9
2	13	9
done	13	9
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	10	8
2	12	8
done	12	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	10	8
2	12	8
done	12	8
0	9	14
1	14	14
2	16	14
done	16	14
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	10	8
2	12	8
done	12	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	10	8
2	12	8
done	12	8
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	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	12	7
2	16	7
3	18	7
done	18	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	15	11
2	19	11
3	21	11
done	21	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	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	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	12	7
2	16	7
3	18	7
done	18	7
0	5	5
1	9	5
2	10	5
done	10	5
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	8	13
1	16	13
2	25	13
3	30	13
4	33	13
done	33	13
0	7	8
1	13	8
2	17	8
3	19	8
done	19	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	13	8
2	17	8
3	19	8
done	19	8
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	9	11
1	29	11
2	53	11
3	95	11
4	200	11
5	580	11
6	2464	11
done	5000	11
0	8	11
1	18	11
2	33	11
3	59	11
4	92	11
5	135	11
6	200	11
7	368	11
8	1645	11
done	5000	11
0	10	15
1	26	13
2	74	13
3	211	13
4	488	13
5	1206	13
6	2670	13
done	5000	13
0	6	7
1	16	7
2	36	7
3	61	7
4	104	7
5	160	7
6	246	7
7	442	7
8	752	7
9	865	7
10	882	7
done	882	7
0	12	13
1	26	12
2	43	12
3	81	12
4	155	12
5	325	12
6	708	12
7	1928	12
done	5000	12
0	11	12
1	21	12
2	28	12
3	52	12
4	78	12
5	111	12
6	134	12
7	162	12
8	184	12
9	225	12
10	296	12
11	406	12
12	476	12
13	503	12
14	518	12
done	518	12
0	11	12
1	24	12
2	36	12
3	72	12
4	129	12
5	263	12
6	529	12
7	1295	12
8	4508	12
done	5000	12
0	12	25
1	22	25
2	29	25
3	53	25
4	79	25
5	112	25
6	135	25
7	163	25
8	185	25
9	226	25
10	297	25
11	407	25
12	477	25
13	504	25
14	519	25
done	519	25
0	11	12
1	21	12
2	28	12
3	52	12
4	78	12
5	111	12
6	134	12
7	162	12
8	184	12
9	225	12
10	296	12
11	406	12
12	476	12
13	503	12
14	518	12
done	518	12
0	12	35
1	35	35
2	98	13
3	384	13
4	1694	13
done	5000	13
0	11	12
1	21	12
2	28	12
3	52	12
4	78	12
5	111	12
6	134	12
7	162	12
8	184	12
9	225	12
10	296	12
11	406	12
12	476	12
13	503	12
14	518	12
done	518	12
0	11	12
1	21	12
2	28	12
3	52	12
4	78	12
5	111	12
6	134	12
7	162	12
8	184	12
9	225	12
10	296	12
11	406	12
12	476	12
13	503	12
14	518	12
done	518	12
0	13	15
1	39	15
2	97	15
3	350	15
4	1660	15
done	5000	15
0	14	35
1	40	25
2	113	25
3	360	25
4	1171	25
5	3245	25
done	5000	25
0	12	23
1	33	23
2	86	23
3	307	23
4	1186	23
5	4176	23
done	5000	23
0	10	11
1	21	11
2	37	11
3	79	11
4	148	11
5	242	11
6	307	11
7	336	11
8	370	11
9	438	11
10	527	11
11	528	11
done	528	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	69	9
5	86	9
6	103	9
7	123	9
8	141	9
9	150	9
10	181	9
11	217	9
12	232	9
13	268	9
14	358	9
15	588	9
16	789	9
17	912	9
18	966	9
done	966	9
0	8	9
1	16	9
2	31	9
3	51	9
4	69	9
5	86	9
6	103	9
7	123	9
8	141	9
9	150	9
10	181	9
11	217	9
12	232	9
13	268	9
14	358	9
15	588	9
16	789	9
17	912	9
18	966	9
done	966	9

prune113.0ms

Filtered

87 candidates to 122 candidates (-40.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	122	4	126

Merged error: 0b

Counts

126 → 4

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ 1 (/ (- a z) (* (- y z) t))))
0.3b	(/ 1 (/ (- a z) (* (- y z) t)))
12.6b	(/ (- a z) (* (- y z) t))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

58×	`times-frac`
40×	`*-un-lft-identity`
37×	`add-sqr-sqrt`
29×	`add-exp-log`
25×	`add-cube-cbrt`
17×	`add-cbrt-cube`
14×	`div-exp`
12×	`associate-/r*`
11×	`associate-/r/`
10×	`associate-*l/`
8×	`associate-/l*`
7×	`cbrt-undiv` `div-inv`
6×	`flip3--` `flip--` `distribute-lft-out--` `difference-of-squares`
5×	`add-log-exp`
4×	`pow1` `prod-exp`
3×	`rec-exp` `1-exp`
2×	`frac-2neg` `clear-num` `cbrt-unprod` `associate-/l/` `distribute-lft-out`
1×	`+-commutative` `pow-flip` `flip3-+` `div-sub` `sum-log` `flip-+` `inv-pow`

Counts

3 → 115

Calls

3 calls:

15.0ms	(+ x (/ 1 (/ (- a z) (* (- y z) t))))
17.0ms	(/ 1 (/ (- a z) (* (- y z) t)))
11.0ms	(/ (- a z) (* (- y z) t))

series111.0ms

Counts

3 → 9

Calls

3 calls:

56.0ms	(+ x (/ 1 (/ (- a z) (* (- y z) t))))
33.0ms	(/ 1 (/ (- a z) (* (- y z) t)))
22.0ms	(/ (- a z) (* (- y z) t))

simplify3.1min

Counts

124 → 124

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	19	12
2	30	12
3	40	12
4	50	12
5	66	12
6	85	12
7	101	12
8	106	12
done	106	12
0	10	11
1	19	11
2	34	11
3	47	11
4	61	11
5	73	11
6	92	11
7	118	11
8	128	11
done	128	11
0	9	10
1	21	10
2	50	10
3	75	10
4	98	10
5	109	10
6	125	10
7	144	10
8	160	10
9	165	10
done	165	10
0	9	10
1	18	10
2	42	10
3	57	10
4	70	10
5	77	10
6	81	10
7	97	10
8	101	10
9	112	10
10	129	10
11	157	10
12	188	10
13	212	10
14	227	10
15	253	10
16	262	10
done	262	10
0	14	29
1	32	29
2	149	15
3	729	15
4	3176	13
done	5001	13
0	12	29
1	34	29
2	177	13
3	967	11
4	3936	11
done	5000	11
0	10	21
1	19	21
2	40	21
3	53	21
4	63	21
5	64	21
done	64	21
0	9	10
1	18	10
2	39	10
3	52	10
4	62	10
5	63	10
done	63	10
0	10	29
1	26	29
2	105	11
3	527	11
4	2612	11
done	5000	11
0	9	10
1	18	10
2	39	10
3	52	10
4	62	10
5	63	10
done	63	10
0	9	10
1	18	10
2	39	10
3	52	10
4	62	10
5	63	10
done	63	10
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	6	6
1	13	6
2	25	6
3	49	6
4	58	5
5	64	5
6	69	5
done	69	5
0	7	7
1	12	7
2	21	7
3	26	7
4	30	7
done	30	7
0	6	7
1	11	7
2	20	7
3	25	7
4	29	7
done	29	7
0	8	13
1	13	13
2	20	13
3	23	13
4	25	13
done	25	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	8
1	10	8
2	12	8
done	12	8
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	8	9
1	11	9
2	12	9
done	12	9
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	7	7
1	14	7
2	23	7
3	28	7
4	32	7
done	32	7
0	8	9
1	14	9
2	32	9
3	52	9
4	79	9
5	95	9
6	110	9
7	124	9
8	133	9
9	137	9
done	137	9
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	9	10
1	15	10
2	30	10
3	45	10
4	68	10
5	82	10
6	91	10
7	93	10
done	93	10
0	9	10
1	15	10
2	30	10
3	45	10
4	68	10
5	82	10
6	91	10
7	93	10
done	93	10
0	8	9
1	14	9
2	32	9
3	52	9
4	79	9
5	95	9
6	110	9
7	124	9
8	133	9
9	137	9
done	137	9
0	10	11
1	17	11
2	35	11
3	55	11
4	82	11
5	98	11
6	113	11
7	125	11
8	133	11
9	137	11
done	137	11
0	8	9
1	14	9
2	32	9
3	52	9
4	79	9
5	95	9
6	110	9
7	124	9
8	133	9
9	137	9
done	137	9
0	11	13
1	34	13
2	75	13
3	174	13
4	404	13
5	1211	13
done	5000	13
0	10	13
1	23	13
2	55	13
3	141	13
4	268	13
5	372	13
6	537	13
7	908	13
8	3567	13
done	5001	13
0	12	17
1	31	15
2	99	15
3	315	15
4	792	15
5	1725	15
6	3864	15
done	5001	15
0	8	9
1	21	9
2	55	9
3	131	9
4	220	9
5	358	9
6	535	9
7	770	9
8	1381	9
9	2448	9
10	2895	9
11	2936	9
done	2936	9
0	2	2
1	5	1
done	5	1
0	12	13
1	20	13
2	34	13
3	52	13
4	99	12
5	112	12
6	129	12
7	143	12
done	143	12
0	11	12
1	20	12
2	38	12
3	56	12
4	99	11
5	111	11
6	128	11
7	147	11
done	147	11
0	10	11
1	22	11
2	51	11
3	79	11
4	110	11
5	159	11
6	176	11
7	197	11
8	211	11
done	211	11
0	13	14
1	25	13
2	54	13
3	107	12
4	238	12
5	362	12
6	421	12
7	460	12
done	460	12
0	12	13
1	25	12
2	54	12
3	102	11
4	215	11
5	381	11
6	439	11
7	487	11
done	487	11
0	11	12
1	25	11
2	60	11
3	103	11
4	186	11
5	365	11
6	437	11
7	487	11
8	519	11
done	519	11
0	14	15
1	28	14
2	52	13
3	112	12
4	244	12
5	370	12
6	427	12
7	468	12
done	468	12
0	13	14
1	28	13
2	52	12
3	106	11
4	218	11
5	383	11
6	439	11
7	487	11
done	487	11
0	12	13
1	28	12
2	60	11
3	107	11
4	190	11
5	369	11
6	442	11
7	490	11
8	529	11
done	529	11
0	11	12
1	28	11
2	67	11
3	150	10
4	337	10
5	615	10
6	933	10
7	1420	10
8	2444	10
done	5000	10
0	11	12
1	24	12
2	56	12
3	122	10
4	299	10
5	601	10
6	1193	10
7	3381	10
done	5000	10
0	18	35
1	43	31
2	188	17
3	1062	15
done	5000	15
0	16	35
1	45	31
2	214	15
3	1328	13
done	5000	13
0	14	35
1	39	31
2	142	13
3	839	13
4	4546	13
done	5000	13
0	12	25
1	25	25
2	55	25
3	111	21
4	239	21
5	409	21
6	603	21
7	1056	21
8	2015	21
done	5000	21
0	11	12
1	24	12
2	54	12
3	110	10
4	238	10
5	408	10
6	602	10
7	1054	10
8	2006	10
done	5000	10
0	12	35
1	32	35
2	101	13
3	502	11
4	3089	11
done	5000	11
0	11	12
1	24	12
2	54	12
3	110	10
4	238	10
5	408	10
6	602	10
7	1054	10
8	2006	10
done	5000	10
0	11	12
1	24	12
2	54	12
3	110	10
4	238	10
5	408	10
6	602	10
7	1054	10
8	2006	10
done	5000	10
0	2	2
1	5	1
done	5	1
0	9	10
1	20	10
2	50	10
3	70	10
4	97	9
5	109	9
6	110	9
done	110	9
0	14	27
1	31	25
2	61	23
3	80	23
4	90	23
5	91	23
done	91	23
0	12	13
1	23	12
2	44	12
3	57	12
4	67	12
5	68	12
done	68	12
0	13	16
1	26	14
2	49	12
3	63	12
4	73	12
5	74	12
done	74	12
0	12	13
1	23	12
2	44	12
3	57	12
4	67	12
5	68	12
done	68	12
0	12	19
1	23	17
2	52	15
3	120	13
4	241	13
5	320	13
6	394	13
7	423	13
8	440	13
9	442	13
done	442	13
0	9	9
1	15	8
2	19	8
3	20	6
done	20	6
0	11	14
1	20	12
2	37	10
3	66	8
4	107	8
5	139	8
6	158	8
7	160	8
8	161	8
done	161	8
0	9	9
1	15	8
2	19	8
3	20	6
done	20	6
0	8	11
1	16	9
2	32	5
3	45	3
4	57	3
5	63	3
done	63	3
0	8	8
1	17	7
2	23	7
3	26	5
done	26	5
0	12	15
1	21	13
2	37	11
3	66	9
4	107	9
5	138	9
6	157	9
7	159	9
8	160	9
done	160	9
0	10	10
1	19	9
2	25	9
3	28	7
done	28	7
0	8	11
1	16	9
2	32	5
3	45	3
4	57	3
5	63	3
done	63	3
0	8	8
1	17	7
2	23	7
3	26	5
done	26	5
0	4	7
1	8	3
2	12	1
done	12	1
0	11	12
1	24	11
2	54	11
3	110	9
4	238	9
5	408	9
6	608	9
7	1063	9
8	2000	9
done	5001	9
0	7	9
1	13	7
2	19	5
3	22	5
done	22	5
0	9	10
1	18	9
2	36	7
3	77	5
4	162	5
5	229	5
6	276	5
7	318	5
8	386	5
9	446	5
10	454	5
done	454	5
0	15	19
1	44	17
2	105	15
3	278	13
4	918	13
5	3731	13
done	5001	13
0	10	14
1	19	11
2	27	11
3	28	11
4	29	11
done	29	11
0	14	19
1	33	17
2	85	15
3	264	13
4	782	13
5	1764	13
6	2687	13
done	5002	13
0	6	6
1	9	5
done	9	5
0	13	24
1	26	23
2	47	23
3	60	23
4	70	23
5	71	23
done	71	23
0	12	13
1	23	12
2	44	12
3	57	12
4	67	12
5	68	12
done	68	12
0	12	13
1	23	12
2	44	12
3	57	12
4	67	12
5	68	12
done	68	12
0	12	13
1	23	12
2	44	12
3	57	12
4	67	12
5	68	12
done	68	12
0	11	16
1	20	15
2	39	15
3	79	13
4	182	13
5	300	13
6	368	13
7	396	13
8	418	13
9	420	13
done	420	13
0	9	9
1	15	8
2	19	8
3	20	6
done	20	6
0	10	11
1	17	10
2	28	10
3	46	8
4	93	8
5	132	8
6	152	8
7	154	8
8	155	8
done	155	8
0	9	9
1	15	8
2	19	8
3	20	6
done	20	6
0	7	8
1	13	7
2	23	5
3	33	3
4	53	3
5	59	3
done	59	3
0	8	8
1	17	7
2	23	7
3	26	5
done	26	5
0	11	12
1	18	11
2	28	11
3	46	9
4	93	9
5	129	9
6	149	9
7	151	9
8	152	9
done	152	9
0	10	10
1	19	9
2	25	9
3	28	7
done	28	7
0	7	8
1	13	7
2	23	5
3	33	3
4	53	3
5	59	3
done	59	3
0	8	8
1	17	7
2	23	7
3	26	5
done	26	5
0	3	4
1	5	1
done	5	1
0	11	12
1	24	11
2	54	11
3	110	9
4	238	9
5	408	9
6	608	9
7	1063	9
8	2000	9
done	5001	9
0	6	6
1	10	5
2	11	5
done	11	5
0	9	10
1	18	9
2	36	7
3	77	5
4	162	5
5	229	5
6	276	5
7	318	5
8	386	5
9	446	5
10	454	5
done	454	5
0	14	16
1	41	15
2	91	15
3	237	13
4	880	13
5	3543	13
done	5000	13
0	10	14
1	19	11
2	27	11
3	28	11
4	29	11
done	29	11
0	13	16
1	30	15
2	71	15
3	221	13
4	754	13
5	1773	13
6	2695	13
done	5000	13
0	6	6
1	9	5
done	9	5
0	12	23
1	25	23
2	46	23
3	59	23
4	69	23
5	70	23
done	70	23
0	11	12
1	22	12
2	43	12
3	56	12
4	66	12
5	67	12
done	67	12
0	11	12
1	22	12
2	43	12
3	56	12
4	66	12
5	67	12
done	67	12
0	11	12
1	22	12
2	43	12
3	56	12
4	66	12
5	67	12
done	67	12
0	10	15
1	19	15
2	38	15
3	78	13
4	181	13
5	303	13
6	372	13
7	399	13
8	422	13
9	424	13
done	424	13
0	8	8
1	14	8
2	18	8
3	19	6
done	19	6
0	9	10
1	16	10
2	27	10
3	45	8
4	92	8
5	131	8
6	151	8
7	153	8
8	154	8
done	154	8
0	8	8
1	14	8
2	18	8
3	19	6
done	19	6
0	6	7
1	12	3
2	24	3
3	37	3
4	47	3
5	54	3
6	56	3
done	56	3
0	7	7
1	16	7
2	22	7
3	25	5
done	25	5
0	10	11
1	17	11
2	27	11
3	45	9
4	92	9
5	130	9
6	150	9
7	152	9
8	153	9
done	153	9
0	9	9
1	18	9
2	24	9
3	27	7
done	27	7
0	6	7
1	12	3
2	24	3
3	37	3
4	47	3
5	54	3
6	56	3
done	56	3
0	7	7
1	16	7
2	22	7
3	25	5
done	25	5
0	2	3
1	4	1
done	4	1
0	10	11
1	23	11
2	53	11
3	109	9
4	237	9
5	406	9
6	606	9
7	1059	9
8	1985	9
done	5000	9
0	5	5
1	9	5
2	10	5
done	10	5
0	8	9
1	17	5
2	37	5
3	88	5
4	134	5
5	182	5
6	223	5
7	295	5
8	349	5
9	415	5
10	436	5
done	436	5
0	13	15
1	40	15
2	90	15
3	236	13
4	888	13
5	3415	13
done	5000	13
0	9	13
1	18	11
2	26	11
3	27	11
4	28	11
done	28	11
0	12	15
1	29	15
2	70	15
3	220	13
4	754	13
5	1789	13
6	2724	13
done	5000	13
0	5	5
1	8	5
done	8	5
0	10	11
1	23	11
2	53	11
3	109	9
4	237	9
5	406	9
6	606	9
7	1059	9
8	1985	9
done	5000	9
0	10	11
1	23	9
2	59	9
3	141	9
4	199	9
5	266	9
6	535	9
7	1064	9
8	2048	9
9	3763	9
done	5001	9
0	12	23
1	25	23
2	46	23
3	59	23
4	69	23
5	70	23
done	70	23
0	11	12
1	22	12
2	43	12
3	56	12
4	66	12
5	67	12
done	67	12
0	10	15
1	19	15
2	38	15
3	78	13
4	181	13
5	303	13
6	372	13
7	399	13
8	422	13
9	424	13
done	424	13
0	9	10
1	16	10
2	27	10
3	45	8
4	92	8
5	131	8
6	151	8
7	153	8
8	154	8
done	154	8
0	6	7
1	12	3
2	24	3
3	37	3
4	47	3
5	54	3
6	56	3
done	56	3
0	10	11
1	17	11
2	27	11
3	45	9
4	92	9
5	130	9
6	150	9
7	152	9
8	153	9
done	153	9
0	6	7
1	12	3
2	24	3
3	37	3
4	47	3
5	54	3
6	56	3
done	56	3
0	2	3
1	4	1
done	4	1
0	5	5
1	9	5
2	10	5
done	10	5
0	13	15
1	40	15
2	90	15
3	236	13
4	888	13
5	3415	13
done	5000	13
0	12	15
1	29	15
2	70	15
3	220	13
4	754	13
5	1789	13
6	2724	13
done	5000	13
0	11	12
1	24	11
2	59	11
3	130	9
4	196	9
5	263	9
6	532	9
7	1040	9
8	2067	9
9	3731	9
done	5001	9
0	11	12
1	24	11
2	59	11
3	130	9
4	196	9
5	263	9
6	532	9
7	1040	9
8	2067	9
9	3731	9
done	5001	9
0	10	11
1	23	9
2	59	9
3	141	9
4	199	9
5	266	9
6	535	9
7	1064	9
8	2048	9
9	3763	9
done	5001	9
0	5	5
1	9	5
2	10	5
done	10	5
0	14	15
1	30	14
2	63	14
3	129	12
4	318	12
5	657	12
6	1324	12
7	3847	12
done	5000	12
0	13	14
1	27	14
2	57	14
3	113	12
4	249	12
5	422	12
6	622	12
7	1093	12
8	2110	12
done	5000	12
0	13	14
1	30	14
2	63	14
3	129	12
4	318	12
5	660	12
6	1334	12
7	3858	12
done	5001	12
0	14	29
1	28	29
2	58	29
3	114	25
4	250	25
5	421	25
6	619	25
7	1089	25
8	2078	25
done	5000	25
0	13	14
1	27	14
2	57	14
3	113	12
4	249	12
5	422	12
6	622	12
7	1093	12
8	2110	12
done	5000	12
0	14	41
1	41	41
2	119	15
3	469	13
4	2695	13
done	5001	13
0	13	14
1	27	14
2	57	14
3	113	12
4	249	12
5	422	12
6	622	12
7	1093	12
8	2110	12
done	5000	12
0	13	14
1	27	14
2	57	14
3	113	12
4	249	12
5	422	12
6	622	12
7	1093	12
8	2110	12
done	5000	12
0	15	17
1	45	17
2	116	17
3	445	15
4	2614	15
done	5001	15
0	16	41
1	43	29
2	125	29
3	543	25
4	2767	25
done	5000	25
0	14	27
1	36	27
2	96	25
3	432	23
4	2456	23
done	5000	23
0	12	13
1	27	13
2	65	13
3	158	11
4	444	11
5	931	11
6	1530	11
7	2161	11
8	4085	11
done	5000	11
0	12	13
1	26	13
2	56	13
3	112	11
4	248	11
5	418	11
6	620	11
7	1089	11
8	2092	11
done	5001	11
0	12	13
1	26	13
2	56	13
3	112	11
4	248	11
5	418	11
6	620	11
7	1089	11
8	2092	11
done	5001	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	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	3	3
1	4	3
done	4	3
0	7	7
1	11	7
2	15	7
3	18	7
4	19	7
done	19	7
0	7	7
1	11	7
2	15	7
3	18	7
4	19	7
done	19	7

prune113.0ms

Filtered

82 candidates to 124 candidates (-51.2%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	124	0	124
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	124	4	128

Merged error: 0b

Counts

128 → 4

regimes520.0ms

Accuracy

69.7% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	19	57
1	25	47
done	25	47

end0.0ms

sample973.0ms

Algorithm

intervals

Results

368.0ms	8708×	body	80	valid
0.0ms	1×	body	320	valid
0.0ms	1×	body	160	valid

Details

sample36.0ms

simplify661.0ms

prune4.0ms

localize9.0ms

rewrite20.0ms

series56.0ms

simplify41.3s

prune88.0ms

localize9.0ms

rewrite67.0ms

series66.0ms

simplify55.3s

prune167.0ms

localize9.0ms

rewrite32.0ms

series72.0ms

simplify57.6s

prune113.0ms

localize11.0ms

rewrite48.0ms

series111.0ms

simplify3.1min

prune113.0ms

regimes520.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample973.0ms

Profiling