Details

sample1.0s

Algorithm

intervals

Results

623.0ms

2425×

body

valid

simplify723.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	63	95
1	132	95
2	348	95
3	1423	95
done	5000	95

prune10.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: 29.5b

Counts

2 → 1

localize69.0ms

Local error

Found 4 expressions with local error:

10.0b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.1b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.8b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
11.6b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
4×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 120

Calls

4 calls:

10.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
11.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series240.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
60.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
58.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
63.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify7.5min

Counts

132 → 132

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	17	17
1	26	17
2	40	17
done	40	17
0	16	16
1	28	16
2	55	16
3	137	16
4	363	16
5	803	16
6	1290	16
7	2334	16
8	2876	16
9	4175	16
10	4402	16
done	4402	16
0	16	16
1	27	16
2	64	16
3	186	16
4	560	16
5	1568	16
6	4962	16
done	5000	16
0	19	47
1	34	47
2	103	19
3	484	19
4	3146	17
done	5001	17
0	17	33
1	26	33
2	52	33
3	134	33
4	358	33
5	798	33
6	1267	33
7	2311	33
8	2855	33
9	4150	33
10	4381	33
done	4381	33
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	17	47
1	36	47
2	127	17
3	750	17
done	5000	17
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	20	23
1	64	23
2	241	23
3	939	23
done	5000	23
0	23	47
1	84	39
2	273	39
3	1201	39
done	5000	39
0	20	27
1	65	27
2	206	27
3	745	27
4	4100	27
done	5000	27
0	19	31
1	56	27
2	172	27
3	660	27
4	2399	27
5	4964	27
done	5000	27
0	20	27
1	65	27
2	206	27
3	739	27
4	4079	27
done	5001	27
0	19	31
1	56	27
2	170	27
3	570	27
4	1816	27
5	4007	27
done	5001	27
0	19	31
1	62	31
2	164	31
3	517	31
4	2905	31
done	5000	31
0	15	15
1	28	15
2	69	15
3	189	15
4	339	15
5	393	15
done	393	15
0	17	17
1	26	17
2	40	17
done	40	17
0	17	17
1	26	17
2	40	17
done	40	17
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	17	25
1	28	25
2	50	25
3	91	25
4	149	25
5	197	25
6	221	25
done	221	25
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	9	9
1	16	7
2	32	7
3	67	7
4	118	7
5	132	7
6	142	7
done	142	7
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	18	19
1	46	19
2	149	19
3	540	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1269	23
5	4555	23
done	5000	23
0	18	19
1	46	19
2	149	19
3	552	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1288	23
5	4706	23
done	5000	23
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	17	17
1	26	17
2	40	17
done	40	17
0	16	16
1	28	16
2	55	16
3	137	16
4	363	16
5	803	16
6	1290	16
7	2334	16
8	2876	16
9	4175	16
10	4402	16
done	4402	16
0	16	16
1	27	16
2	64	16
3	186	16
4	560	16
5	1568	16
6	4962	16
done	5000	16
0	19	47
1	34	47
2	103	19
3	484	19
4	3146	17
done	5001	17
0	17	33
1	26	33
2	52	33
3	134	33
4	358	33
5	798	33
6	1267	33
7	2311	33
8	2855	33
9	4150	33
10	4381	33
done	4381	33
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	17	47
1	36	47
2	127	17
3	750	17
done	5000	17
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	20	23
1	64	23
2	241	23
3	939	23
done	5000	23
0	23	47
1	84	39
2	273	39
3	1201	39
done	5000	39
0	20	27
1	65	27
2	206	27
3	745	27
4	4100	27
done	5000	27
0	19	31
1	56	27
2	172	27
3	660	27
4	2399	27
5	4964	27
done	5000	27
0	20	27
1	65	27
2	206	27
3	739	27
4	4079	27
done	5001	27
0	19	31
1	56	27
2	170	27
3	570	27
4	1816	27
5	4007	27
done	5001	27
0	19	31
1	62	31
2	164	31
3	517	31
4	2905	31
done	5000	31
0	15	15
1	28	15
2	69	15
3	189	15
4	339	15
5	393	15
done	393	15
0	17	17
1	26	17
2	40	17
done	40	17
0	17	17
1	26	17
2	40	17
done	40	17
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	17	25
1	28	25
2	50	25
3	91	25
4	149	25
5	197	25
6	221	25
done	221	25
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	9	9
1	16	7
2	32	7
3	67	7
4	118	7
5	132	7
6	142	7
done	142	7
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	18	19
1	46	19
2	149	19
3	540	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1269	23
5	4555	23
done	5000	23
0	18	19
1	46	19
2	149	19
3	552	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1288	23
5	4706	23
done	5000	23
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	17	17
1	26	17
2	40	17
done	40	17
0	16	16
1	28	16
2	55	16
3	137	16
4	363	16
5	803	16
6	1290	16
7	2334	16
8	2876	16
9	4175	16
10	4402	16
done	4402	16
0	16	16
1	27	16
2	64	16
3	186	16
4	560	16
5	1568	16
6	4962	16
done	5000	16
0	19	47
1	34	47
2	103	19
3	484	19
4	3146	17
done	5001	17
0	17	33
1	26	33
2	52	33
3	134	33
4	358	33
5	798	33
6	1267	33
7	2311	33
8	2855	33
9	4150	33
10	4381	33
done	4381	33
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	17	47
1	36	47
2	127	17
3	750	17
done	5000	17
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	20	23
1	64	23
2	241	23
3	939	23
done	5000	23
0	23	47
1	84	39
2	273	39
3	1201	39
done	5000	39
0	20	27
1	65	27
2	206	27
3	745	27
4	4100	27
done	5000	27
0	19	31
1	56	27
2	172	27
3	660	27
4	2399	27
5	4964	27
done	5000	27
0	20	27
1	65	27
2	206	27
3	739	27
4	4079	27
done	5001	27
0	19	31
1	56	27
2	170	27
3	570	27
4	1816	27
5	4007	27
done	5001	27
0	19	31
1	62	31
2	164	31
3	517	31
4	2905	31
done	5000	31
0	15	15
1	28	15
2	69	15
3	189	15
4	339	15
5	393	15
done	393	15
0	17	17
1	26	17
2	40	17
done	40	17
0	17	17
1	26	17
2	40	17
done	40	17
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	17	25
1	28	25
2	50	25
3	91	25
4	149	25
5	197	25
6	221	25
done	221	25
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	9	9
1	16	7
2	32	7
3	67	7
4	118	7
5	132	7
6	142	7
done	142	7
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	18	19
1	46	19
2	149	19
3	540	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1269	23
5	4555	23
done	5000	23
0	18	19
1	46	19
2	149	19
3	552	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1288	23
5	4706	23
done	5000	23
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	17	17
1	26	17
2	40	17
done	40	17
0	16	16
1	28	16
2	55	16
3	137	16
4	363	16
5	803	16
6	1290	16
7	2334	16
8	2876	16
9	4175	16
10	4402	16
done	4402	16
0	16	16
1	27	16
2	64	16
3	186	16
4	560	16
5	1568	16
6	4962	16
done	5000	16
0	19	47
1	34	47
2	103	19
3	484	19
4	3146	17
done	5001	17
0	17	33
1	26	33
2	52	33
3	134	33
4	358	33
5	798	33
6	1267	33
7	2311	33
8	2855	33
9	4150	33
10	4381	33
done	4381	33
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	17	47
1	36	47
2	127	17
3	750	17
done	5000	17
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	20	23
1	64	23
2	241	23
3	939	23
done	5000	23
0	23	47
1	84	39
2	273	39
3	1201	39
done	5000	39
0	20	27
1	65	27
2	206	27
3	745	27
4	4100	27
done	5000	27
0	19	31
1	56	27
2	172	27
3	660	27
4	2399	27
5	4964	27
done	5000	27
0	20	27
1	65	27
2	206	27
3	739	27
4	4079	27
done	5001	27
0	19	31
1	56	27
2	170	27
3	570	27
4	1816	27
5	4007	27
done	5001	27
0	19	31
1	62	31
2	164	31
3	517	31
4	2905	31
done	5000	31
0	15	15
1	28	15
2	69	15
3	189	15
4	339	15
5	393	15
done	393	15
0	17	17
1	26	17
2	40	17
done	40	17
0	17	17
1	26	17
2	40	17
done	40	17
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	17	25
1	28	25
2	50	25
3	91	25
4	149	25
5	197	25
6	221	25
done	221	25
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	9	9
1	16	7
2	32	7
3	67	7
4	118	7
5	132	7
6	142	7
done	142	7
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	18	19
1	46	19
2	149	19
3	540	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1269	23
5	4555	23
done	5000	23
0	18	19
1	46	19
2	149	19
3	552	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1288	23
5	4706	23
done	5000	23
0	1	1
done	1	1
0	19	23
1	45	23
2	114	21
3	262	19
4	557	19
5	715	19
6	1198	19
7	1860	19
8	2070	19
done	2070	19
0	19	23
1	45	23
2	114	21
3	262	19
4	557	19
5	715	19
6	1198	19
7	1860	19
8	2070	19
done	2070	19
0	1	1
done	1	1
0	19	23
1	45	23
2	114	23
3	261	21
4	552	19
5	737	19
6	1223	19
7	1884	19
8	2093	19
done	2093	19
0	19	23
1	45	23
2	114	23
3	261	21
4	552	19
5	737	19
6	1223	19
7	1884	19
8	2093	19
done	2093	19
0	1	1
done	1	1
0	19	23
1	45	23
2	112	23
3	258	21
4	556	19
5	730	19
6	1213	19
7	1874	19
8	2076	19
9	2078	19
done	2078	19
0	19	23
1	45	23
2	112	23
3	258	21
4	556	19
5	730	19
6	1213	19
7	1874	19
8	2076	19
9	2078	19
done	2078	19
0	1	1
done	1	1
0	19	23
1	45	23
2	111	23
3	268	19
4	570	19
5	740	19
6	1223	19
7	1885	19
8	2097	19
9	2101	19
done	2101	19
0	19	23
1	45	23
2	111	23
3	268	19
4	570	19
5	740	19
6	1223	19
7	1885	19
8	2097	19
9	2101	19
done	2101	19

prune482.0ms

Filtered

104 candidates to 132 candidates (-26.9%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	111	21	132
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	112	21	133

Merged error: 20.6b

Counts

133 → 21

localize78.0ms

Local error

Found 4 expressions with local error:

9.4b	(* (- (* t y2) (* y y3)) (* y4 c))
10.1b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.8b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
11.6b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

19×	`flip3--` `flip--`
17×	`add-sqr-sqrt`
15×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`frac-times` `associate-l`
11×	`add-cube-cbrt` `*-un-lft-identity`
10×	`associate-r`
8×	`associate-*l/`
6×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/` `pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`*-commutative` `add-log-exp`
3×	`unswap-sqr`

Counts

4 → 110

Calls

4 calls:

8.0ms	(* (- (* t y2) (* y y3)) (* y4 c))
11.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series225.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(* (- (* t y2) (* y y3)) (* y4 c))
58.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
65.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
68.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify6.1min

Counts

122 → 122

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	17	17
1	26	17
2	40	17
done	40	17
0	16	16
1	28	16
2	55	16
3	137	16
4	363	16
5	803	16
6	1290	16
7	2334	16
8	2876	16
9	4175	16
10	4402	16
done	4402	16
0	16	16
1	27	16
2	64	16
3	186	16
4	560	16
5	1568	16
6	4962	16
done	5000	16
0	19	47
1	34	47
2	103	19
3	484	19
4	3146	17
done	5001	17
0	17	33
1	26	33
2	52	33
3	134	33
4	358	33
5	798	33
6	1267	33
7	2311	33
8	2855	33
9	4150	33
10	4381	33
done	4381	33
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	17	47
1	36	47
2	127	17
3	750	17
done	5000	17
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	20	23
1	64	23
2	241	23
3	939	23
done	5000	23
0	23	47
1	84	39
2	273	39
3	1201	39
done	5000	39
0	20	27
1	65	27
2	206	27
3	745	27
4	4100	27
done	5000	27
0	19	31
1	56	27
2	172	27
3	660	27
4	2399	27
5	4964	27
done	5000	27
0	20	27
1	65	27
2	206	27
3	739	27
4	4079	27
done	5001	27
0	19	31
1	56	27
2	170	27
3	570	27
4	1816	27
5	4007	27
done	5001	27
0	19	31
1	62	31
2	164	31
3	517	31
4	2905	31
done	5000	31
0	15	15
1	28	15
2	69	15
3	189	15
4	339	15
5	393	15
done	393	15
0	17	17
1	26	17
2	40	17
done	40	17
0	17	17
1	26	17
2	40	17
done	40	17
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	17	25
1	28	25
2	50	25
3	91	25
4	149	25
5	197	25
6	221	25
done	221	25
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	9	9
1	16	7
2	32	7
3	67	7
4	118	7
5	132	7
6	142	7
done	142	7
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	18	19
1	46	19
2	149	19
3	540	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1269	23
5	4555	23
done	5000	23
0	18	19
1	46	19
2	149	19
3	552	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1288	23
5	4706	23
done	5000	23
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	17	17
1	26	17
2	40	17
done	40	17
0	16	16
1	28	16
2	55	16
3	137	16
4	363	16
5	803	16
6	1290	16
7	2334	16
8	2876	16
9	4175	16
10	4402	16
done	4402	16
0	16	16
1	27	16
2	64	16
3	186	16
4	560	16
5	1568	16
6	4962	16
done	5000	16
0	19	47
1	34	47
2	103	19
3	484	19
4	3146	17
done	5001	17
0	17	33
1	26	33
2	52	33
3	134	33
4	358	33
5	798	33
6	1267	33
7	2311	33
8	2855	33
9	4150	33
10	4381	33
done	4381	33
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	17	47
1	36	47
2	127	17
3	750	17
done	5000	17
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	20	23
1	64	23
2	241	23
3	939	23
done	5000	23
0	23	47
1	84	39
2	273	39
3	1201	39
done	5000	39
0	20	27
1	65	27
2	206	27
3	745	27
4	4100	27
done	5000	27
0	19	31
1	56	27
2	172	27
3	660	27
4	2399	27
5	4964	27
done	5000	27
0	20	27
1	65	27
2	206	27
3	739	27
4	4079	27
done	5001	27
0	19	31
1	56	27
2	170	27
3	570	27
4	1816	27
5	4007	27
done	5001	27
0	19	31
1	62	31
2	164	31
3	517	31
4	2905	31
done	5000	31
0	15	15
1	28	15
2	69	15
3	189	15
4	339	15
5	393	15
done	393	15
0	17	17
1	26	17
2	40	17
done	40	17
0	17	17
1	26	17
2	40	17
done	40	17
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	17	25
1	28	25
2	50	25
3	91	25
4	149	25
5	197	25
6	221	25
done	221	25
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	9	9
1	16	7
2	32	7
3	67	7
4	118	7
5	132	7
6	142	7
done	142	7
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	18	19
1	46	19
2	149	19
3	540	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1269	23
5	4555	23
done	5000	23
0	18	19
1	46	19
2	149	19
3	552	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1288	23
5	4706	23
done	5000	23
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	17	17
1	26	17
2	40	17
done	40	17
0	16	16
1	28	16
2	55	16
3	137	16
4	363	16
5	803	16
6	1290	16
7	2334	16
8	2876	16
9	4175	16
10	4402	16
done	4402	16
0	16	16
1	27	16
2	64	16
3	186	16
4	560	16
5	1568	16
6	4962	16
done	5000	16
0	19	47
1	34	47
2	103	19
3	484	19
4	3146	17
done	5001	17
0	17	33
1	26	33
2	52	33
3	134	33
4	358	33
5	798	33
6	1267	33
7	2311	33
8	2855	33
9	4150	33
10	4381	33
done	4381	33
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	17	47
1	36	47
2	127	17
3	750	17
done	5000	17
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	20	23
1	64	23
2	241	23
3	939	23
done	5000	23
0	23	47
1	84	39
2	273	39
3	1201	39
done	5000	39
0	20	27
1	65	27
2	206	27
3	745	27
4	4100	27
done	5000	27
0	19	31
1	56	27
2	172	27
3	660	27
4	2399	27
5	4964	27
done	5000	27
0	20	27
1	65	27
2	206	27
3	739	27
4	4079	27
done	5001	27
0	19	31
1	56	27
2	170	27
3	570	27
4	1816	27
5	4007	27
done	5001	27
0	19	31
1	62	31
2	164	31
3	517	31
4	2905	31
done	5000	31
0	15	15
1	28	15
2	69	15
3	189	15
4	339	15
5	393	15
done	393	15
0	17	17
1	26	17
2	40	17
done	40	17
0	17	17
1	26	17
2	40	17
done	40	17
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	17	25
1	28	25
2	50	25
3	91	25
4	149	25
5	197	25
6	221	25
done	221	25
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	9	9
1	16	7
2	32	7
3	67	7
4	118	7
5	132	7
6	142	7
done	142	7
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	18	19
1	46	19
2	149	19
3	540	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1269	23
5	4555	23
done	5000	23
0	18	19
1	46	19
2	149	19
3	552	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1288	23
5	4706	23
done	5000	23
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	14	14
1	22	14
2	35	14
3	37	14
done	37	14
0	13	13
1	22	13
2	34	13
3	38	13
done	38	13
0	12	12
1	23	12
2	49	12
3	114	12
4	224	12
5	304	12
6	352	12
done	352	12
0	12	12
1	22	12
2	54	12
3	152	12
4	381	12
5	907	12
6	3200	12
done	5000	12
0	17	35
1	34	35
2	119	17
3	500	17
4	2933	15
done	5000	15
0	15	35
1	36	35
2	123	15
3	537	15
4	2881	13
done	5001	13
0	13	25
1	21	25
2	40	25
3	93	25
4	199	25
5	279	25
6	327	25
done	327	25
0	12	12
1	20	12
2	39	12
3	92	12
4	190	12
5	270	12
6	318	12
done	318	12
0	13	35
1	31	35
2	133	13
3	799	13
done	5000	13
0	12	12
1	20	12
2	39	12
3	92	12
4	190	12
5	270	12
6	318	12
done	318	12
0	12	12
1	20	12
2	39	12
3	92	12
4	190	12
5	270	12
6	318	12
done	318	12
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	12	12
1	20	12
2	33	12
done	33	12
0	12	12
1	20	12
2	33	12
done	33	12
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	14	15
1	41	15
2	137	15
3	509	15
4	2333	15
done	5000	15
0	13	19
1	38	19
2	97	19
3	278	19
4	953	19
5	2457	19
6	4537	19
done	5000	19
0	1	1
done	1	1
0	19	23
1	45	23
2	114	21
3	262	19
4	557	19
5	715	19
6	1198	19
7	1860	19
8	2070	19
done	2070	19
0	19	23
1	45	23
2	114	21
3	262	19
4	557	19
5	715	19
6	1198	19
7	1860	19
8	2070	19
done	2070	19
0	1	1
done	1	1
0	19	23
1	45	23
2	114	23
3	261	21
4	552	19
5	737	19
6	1223	19
7	1884	19
8	2093	19
done	2093	19
0	19	23
1	45	23
2	114	23
3	261	21
4	552	19
5	737	19
6	1223	19
7	1884	19
8	2093	19
done	2093	19
0	1	1
done	1	1
0	19	23
1	45	23
2	112	23
3	258	21
4	556	19
5	730	19
6	1213	19
7	1874	19
8	2076	19
9	2078	19
done	2078	19
0	19	23
1	45	23
2	112	23
3	258	21
4	556	19
5	730	19
6	1213	19
7	1874	19
8	2076	19
9	2078	19
done	2078	19
0	1	1
done	1	1
0	12	15
1	27	15
2	80	11
3	209	11
4	333	11
5	338	11
done	338	11
0	12	15
1	27	15
2	80	11
3	209	11
4	333	11
5	338	11
done	338	11

prune395.0ms

Filtered

95 candidates to 122 candidates (-28.4%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	119	3	122
Fresh	2	18	20
Picked	1	0	1
Done	0	0	0
Total	122	21	143

Merged error: 19.8b

Counts

143 → 21

localize80.0ms

Local error

Found 4 expressions with local error:

9.4b	(* (- (* t y2) (* y y3)) (* y4 c))
10.1b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.8b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
11.3b	(* (- (* x y2) (* z y3)) (* y0 c))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1` `add-exp-log` `add-cbrt-cube`
14×	`add-sqr-sqrt` `flip3--` `flip--`
12×	`associate-l`
10×	`add-cube-cbrt` `*-un-lft-identity`
8×	`frac-times` `associate-r` `pow-prod-down` `associate-*l/` `prod-exp` `cbrt-unprod`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `-commutative` `add-log-exp`
2×	`unswap-sqr`

Counts

4 → 100

Calls

4 calls:

8.0ms	(* (- (* t y2) (* y y3)) (* y4 c))
10.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
15.0ms	(* (- (* x y2) (* z y3)) (* y0 c))

series187.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(* (- (* t y2) (* y y3)) (* y4 c))
60.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
63.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
31.0ms	(* (- (* x y2) (* z y3)) (* y0 c))

simplify4.4min

Counts

112 → 112

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	14	14
1	22	14
2	35	14
3	37	14
done	37	14
0	13	13
1	22	13
2	34	13
3	38	13
done	38	13
0	12	12
1	23	12
2	49	12
3	114	12
4	224	12
5	304	12
6	352	12
done	352	12
0	12	12
1	22	12
2	54	12
3	152	12
4	381	12
5	907	12
6	3200	12
done	5000	12
0	17	35
1	34	35
2	119	17
3	500	17
4	2933	15
done	5000	15
0	15	35
1	36	35
2	123	15
3	537	15
4	2881	13
done	5001	13
0	13	25
1	21	25
2	40	25
3	93	25
4	199	25
5	279	25
6	327	25
done	327	25
0	12	12
1	20	12
2	39	12
3	92	12
4	190	12
5	270	12
6	318	12
done	318	12
0	13	35
1	31	35
2	133	13
3	799	13
done	5000	13
0	12	12
1	20	12
2	39	12
3	92	12
4	190	12
5	270	12
6	318	12
done	318	12
0	12	12
1	20	12
2	39	12
3	92	12
4	190	12
5	270	12
6	318	12
done	318	12
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	12	12
1	20	12
2	33	12
done	33	12
0	12	12
1	20	12
2	33	12
done	33	12
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	14	15
1	41	15
2	137	15
3	509	15
4	2333	15
done	5000	15
0	13	19
1	38	19
2	97	19
3	278	19
4	953	19
5	2457	19
6	4537	19
done	5000	19
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	17	17
1	26	17
2	40	17
done	40	17
0	16	16
1	28	16
2	55	16
3	137	16
4	363	16
5	803	16
6	1290	16
7	2334	16
8	2876	16
9	4175	16
10	4402	16
done	4402	16
0	16	16
1	27	16
2	64	16
3	186	16
4	560	16
5	1568	16
6	4962	16
done	5000	16
0	19	47
1	34	47
2	103	19
3	484	19
4	3146	17
done	5001	17
0	17	33
1	26	33
2	52	33
3	134	33
4	358	33
5	798	33
6	1267	33
7	2311	33
8	2855	33
9	4150	33
10	4381	33
done	4381	33
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	17	47
1	36	47
2	127	17
3	750	17
done	5000	17
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	20	23
1	64	23
2	241	23
3	939	23
done	5000	23
0	23	47
1	84	39
2	273	39
3	1201	39
done	5000	39
0	20	27
1	65	27
2	206	27
3	745	27
4	4100	27
done	5000	27
0	19	31
1	56	27
2	172	27
3	660	27
4	2399	27
5	4964	27
done	5000	27
0	20	27
1	65	27
2	206	27
3	739	27
4	4079	27
done	5001	27
0	19	31
1	56	27
2	170	27
3	570	27
4	1816	27
5	4007	27
done	5001	27
0	19	31
1	62	31
2	164	31
3	517	31
4	2905	31
done	5000	31
0	15	15
1	28	15
2	69	15
3	189	15
4	339	15
5	393	15
done	393	15
0	17	17
1	26	17
2	40	17
done	40	17
0	17	17
1	26	17
2	40	17
done	40	17
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	17	25
1	28	25
2	50	25
3	91	25
4	149	25
5	197	25
6	221	25
done	221	25
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	9	9
1	16	7
2	32	7
3	67	7
4	118	7
5	132	7
6	142	7
done	142	7
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	18	19
1	46	19
2	149	19
3	540	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1269	23
5	4555	23
done	5000	23
0	18	19
1	46	19
2	149	19
3	552	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1288	23
5	4706	23
done	5000	23
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	17	17
1	26	17
2	40	17
done	40	17
0	16	16
1	28	16
2	55	16
3	137	16
4	363	16
5	803	16
6	1290	16
7	2334	16
8	2876	16
9	4175	16
10	4402	16
done	4402	16
0	16	16
1	27	16
2	64	16
3	186	16
4	560	16
5	1568	16
6	4962	16
done	5000	16
0	19	47
1	34	47
2	103	19
3	484	19
4	3146	17
done	5001	17
0	17	33
1	26	33
2	52	33
3	134	33
4	358	33
5	798	33
6	1267	33
7	2311	33
8	2855	33
9	4150	33
10	4381	33
done	4381	33
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	17	47
1	36	47
2	127	17
3	750	17
done	5000	17
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	20	23
1	64	23
2	241	23
3	939	23
done	5000	23
0	23	47
1	84	39
2	273	39
3	1201	39
done	5000	39
0	20	27
1	65	27
2	206	27
3	745	27
4	4100	27
done	5000	27
0	19	31
1	56	27
2	172	27
3	660	27
4	2399	27
5	4964	27
done	5000	27
0	20	27
1	65	27
2	206	27
3	739	27
4	4079	27
done	5001	27
0	19	31
1	56	27
2	170	27
3	570	27
4	1816	27
5	4007	27
done	5001	27
0	19	31
1	62	31
2	164	31
3	517	31
4	2905	31
done	5000	31
0	15	15
1	28	15
2	69	15
3	189	15
4	339	15
5	393	15
done	393	15
0	17	17
1	26	17
2	40	17
done	40	17
0	17	17
1	26	17
2	40	17
done	40	17
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	17	25
1	28	25
2	50	25
3	91	25
4	149	25
5	197	25
6	221	25
done	221	25
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	9	9
1	16	7
2	32	7
3	67	7
4	118	7
5	132	7
6	142	7
done	142	7
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	18	19
1	46	19
2	149	19
3	540	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1269	23
5	4555	23
done	5000	23
0	18	19
1	46	19
2	149	19
3	552	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1288	23
5	4706	23
done	5000	23
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	14	14
1	22	14
2	35	14
3	37	14
done	37	14
0	13	13
1	22	13
2	34	13
3	38	13
done	38	13
0	12	12
1	23	12
2	49	12
3	114	12
4	224	12
5	304	12
6	352	12
done	352	12
0	12	12
1	22	12
2	54	12
3	152	12
4	381	12
5	907	12
6	3200	12
done	5000	12
0	17	35
1	34	35
2	119	17
3	500	17
4	2933	15
done	5000	15
0	15	35
1	36	35
2	123	15
3	537	15
4	2881	13
done	5001	13
0	13	25
1	21	25
2	40	25
3	93	25
4	199	25
5	279	25
6	327	25
done	327	25
0	12	12
1	20	12
2	39	12
3	92	12
4	190	12
5	270	12
6	318	12
done	318	12
0	13	35
1	31	35
2	133	13
3	799	13
done	5000	13
0	12	12
1	20	12
2	39	12
3	92	12
4	190	12
5	270	12
6	318	12
done	318	12
0	12	12
1	20	12
2	39	12
3	92	12
4	190	12
5	270	12
6	318	12
done	318	12
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	12	12
1	20	12
2	33	12
done	33	12
0	12	12
1	20	12
2	33	12
done	33	12
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	14	15
1	41	15
2	137	15
3	509	15
4	2333	15
done	5000	15
0	13	19
1	38	19
2	97	19
3	278	19
4	953	19
5	2457	19
6	4537	19
done	5000	19
0	1	1
done	1	1
0	13	15
1	31	13
2	85	11
3	206	11
4	324	11
5	332	11
done	332	11
0	13	15
1	31	13
2	85	11
3	206	11
4	324	11
5	332	11
done	332	11
0	1	1
done	1	1
0	19	23
1	45	23
2	114	23
3	261	21
4	552	19
5	737	19
6	1223	19
7	1884	19
8	2093	19
done	2093	19
0	19	23
1	45	23
2	114	23
3	261	21
4	552	19
5	737	19
6	1223	19
7	1884	19
8	2093	19
done	2093	19
0	1	1
done	1	1
0	19	23
1	45	23
2	112	23
3	258	21
4	556	19
5	730	19
6	1213	19
7	1874	19
8	2076	19
9	2078	19
done	2078	19
0	19	23
1	45	23
2	112	23
3	258	21
4	556	19
5	730	19
6	1213	19
7	1874	19
8	2076	19
9	2078	19
done	2078	19
0	1	1
done	1	1
0	12	15
1	27	15
2	80	11
3	209	11
4	333	11
5	338	11
done	338	11
0	12	15
1	27	15
2	80	11
3	209	11
4	333	11
5	338	11
done	338	11

prune389.0ms

Filtered

87 candidates to 112 candidates (-28.7%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	111	1	112
Fresh	0	20	20
Picked	1	0	1
Done	0	0	0
Total	112	21	133

Merged error: 19.7b

Counts

133 → 21

localize83.0ms

Local error

Found 4 expressions with local error:

8.4b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.4b	(* (- (* t y2) (* y y3)) (* y4 c))
10.1b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.8b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

19×	`flip3--` `flip--`
17×	`add-sqr-sqrt`
15×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`frac-times` `associate-l`
11×	`add-cube-cbrt` `*-un-lft-identity`
10×	`associate-r`
8×	`associate-*l/`
6×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/` `pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`*-commutative` `add-log-exp`
3×	`unswap-sqr`

Counts

4 → 110

Calls

4 calls:

10.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.0ms	(* (- (* t y2) (* y y3)) (* y4 c))
11.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series217.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
34.0ms	(* (- (* t y2) (* y y3)) (* y4 c))
59.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
66.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify6.4min

Counts

122 → 122

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	17	17
1	26	17
2	40	17
done	40	17
0	16	16
1	28	16
2	55	16
3	137	16
4	363	16
5	803	16
6	1290	16
7	2334	16
8	2876	16
9	4175	16
10	4402	16
done	4402	16
0	16	16
1	27	16
2	64	16
3	186	16
4	560	16
5	1568	16
6	4962	16
done	5000	16
0	19	47
1	34	47
2	103	19
3	484	19
4	3146	17
done	5001	17
0	17	33
1	26	33
2	52	33
3	134	33
4	358	33
5	798	33
6	1267	33
7	2311	33
8	2855	33
9	4150	33
10	4381	33
done	4381	33
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	17	47
1	36	47
2	127	17
3	750	17
done	5000	17
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	20	23
1	64	23
2	241	23
3	939	23
done	5000	23
0	23	47
1	84	39
2	273	39
3	1201	39
done	5000	39
0	20	27
1	65	27
2	206	27
3	745	27
4	4100	27
done	5000	27
0	19	31
1	56	27
2	172	27
3	660	27
4	2399	27
5	4964	27
done	5000	27
0	20	27
1	65	27
2	206	27
3	739	27
4	4079	27
done	5001	27
0	19	31
1	56	27
2	170	27
3	570	27
4	1816	27
5	4007	27
done	5001	27
0	19	31
1	62	31
2	164	31
3	517	31
4	2905	31
done	5000	31
0	15	15
1	28	15
2	69	15
3	189	15
4	339	15
5	393	15
done	393	15
0	17	17
1	26	17
2	40	17
done	40	17
0	17	17
1	26	17
2	40	17
done	40	17
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	17	25
1	28	25
2	50	25
3	91	25
4	149	25
5	197	25
6	221	25
done	221	25
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	9	9
1	16	7
2	32	7
3	67	7
4	118	7
5	132	7
6	142	7
done	142	7
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	18	19
1	46	19
2	149	19
3	540	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1269	23
5	4555	23
done	5000	23
0	18	19
1	46	19
2	149	19
3	552	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1288	23
5	4706	23
done	5000	23
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	17	17
1	26	17
2	40	17
done	40	17
0	16	16
1	28	16
2	55	16
3	137	16
4	363	16
5	803	16
6	1290	16
7	2334	16
8	2876	16
9	4175	16
10	4402	16
done	4402	16
0	16	16
1	27	16
2	64	16
3	186	16
4	560	16
5	1568	16
6	4962	16
done	5000	16
0	19	47
1	34	47
2	103	19
3	484	19
4	3146	17
done	5001	17
0	17	33
1	26	33
2	52	33
3	134	33
4	358	33
5	798	33
6	1267	33
7	2311	33
8	2855	33
9	4150	33
10	4381	33
done	4381	33
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	17	47
1	36	47
2	127	17
3	750	17
done	5000	17
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	20	23
1	64	23
2	241	23
3	939	23
done	5000	23
0	23	47
1	84	39
2	273	39
3	1201	39
done	5000	39
0	20	27
1	65	27
2	206	27
3	745	27
4	4100	27
done	5000	27
0	19	31
1	56	27
2	172	27
3	660	27
4	2399	27
5	4964	27
done	5000	27
0	20	27
1	65	27
2	206	27
3	739	27
4	4079	27
done	5001	27
0	19	31
1	56	27
2	170	27
3	570	27
4	1816	27
5	4007	27
done	5001	27
0	19	31
1	62	31
2	164	31
3	517	31
4	2905	31
done	5000	31
0	15	15
1	28	15
2	69	15
3	189	15
4	339	15
5	393	15
done	393	15
0	17	17
1	26	17
2	40	17
done	40	17
0	17	17
1	26	17
2	40	17
done	40	17
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	17	25
1	28	25
2	50	25
3	91	25
4	149	25
5	197	25
6	221	25
done	221	25
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	9	9
1	16	7
2	32	7
3	67	7
4	118	7
5	132	7
6	142	7
done	142	7
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	18	19
1	46	19
2	149	19
3	540	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1269	23
5	4555	23
done	5000	23
0	18	19
1	46	19
2	149	19
3	552	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1288	23
5	4706	23
done	5000	23
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	14	14
1	22	14
2	35	14
3	37	14
done	37	14
0	13	13
1	22	13
2	34	13
3	38	13
done	38	13
0	12	12
1	23	12
2	49	12
3	114	12
4	224	12
5	304	12
6	352	12
done	352	12
0	12	12
1	22	12
2	54	12
3	152	12
4	381	12
5	907	12
6	3200	12
done	5000	12
0	17	35
1	34	35
2	119	17
3	500	17
4	2933	15
done	5000	15
0	15	35
1	36	35
2	123	15
3	537	15
4	2881	13
done	5001	13
0	13	25
1	21	25
2	40	25
3	93	25
4	199	25
5	279	25
6	327	25
done	327	25
0	12	12
1	20	12
2	39	12
3	92	12
4	190	12
5	270	12
6	318	12
done	318	12
0	13	35
1	31	35
2	133	13
3	799	13
done	5000	13
0	12	12
1	20	12
2	39	12
3	92	12
4	190	12
5	270	12
6	318	12
done	318	12
0	12	12
1	20	12
2	39	12
3	92	12
4	190	12
5	270	12
6	318	12
done	318	12
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	12	12
1	20	12
2	33	12
done	33	12
0	12	12
1	20	12
2	33	12
done	33	12
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	14	15
1	41	15
2	137	15
3	509	15
4	2333	15
done	5000	15
0	13	19
1	38	19
2	97	19
3	278	19
4	953	19
5	2457	19
6	4537	19
done	5000	19
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	17	17
1	26	17
2	40	17
done	40	17
0	16	16
1	28	16
2	55	16
3	137	16
4	363	16
5	803	16
6	1290	16
7	2334	16
8	2876	16
9	4175	16
10	4402	16
done	4402	16
0	16	16
1	27	16
2	64	16
3	186	16
4	560	16
5	1568	16
6	4962	16
done	5000	16
0	19	47
1	34	47
2	103	19
3	484	19
4	3146	17
done	5001	17
0	17	33
1	26	33
2	52	33
3	134	33
4	358	33
5	798	33
6	1267	33
7	2311	33
8	2855	33
9	4150	33
10	4381	33
done	4381	33
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	17	47
1	36	47
2	127	17
3	750	17
done	5000	17
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	16	16
1	25	16
2	51	16
3	133	16
4	363	16
5	789	16
6	1296	16
7	2340	16
8	2882	16
9	4171	16
10	4406	16
done	4406	16
0	20	23
1	64	23
2	241	23
3	939	23
done	5000	23
0	23	47
1	84	39
2	273	39
3	1201	39
done	5000	39
0	20	27
1	65	27
2	206	27
3	745	27
4	4100	27
done	5000	27
0	19	31
1	56	27
2	172	27
3	660	27
4	2399	27
5	4964	27
done	5000	27
0	20	27
1	65	27
2	206	27
3	739	27
4	4079	27
done	5001	27
0	19	31
1	56	27
2	170	27
3	570	27
4	1816	27
5	4007	27
done	5001	27
0	19	31
1	62	31
2	164	31
3	517	31
4	2905	31
done	5000	31
0	15	15
1	28	15
2	69	15
3	189	15
4	339	15
5	393	15
done	393	15
0	17	17
1	26	17
2	40	17
done	40	17
0	17	17
1	26	17
2	40	17
done	40	17
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	38	11
3	91	11
4	195	11
5	271	11
6	319	11
done	319	11
0	12	12
1	24	12
2	53	12
3	154	12
4	448	11
5	840	11
6	1327	11
7	1473	11
8	1916	11
9	1920	11
done	1920	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	11	11
1	19	11
2	44	11
3	118	11
4	226	11
5	282	11
6	306	11
done	306	11
0	12	12
1	24	12
2	59	12
3	192	12
4	493	11
5	941	11
6	1406	11
7	1546	11
8	1983	11
9	1986	11
done	1986	11
0	17	25
1	28	25
2	50	25
3	91	25
4	149	25
5	197	25
6	221	25
done	221	25
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	9	9
1	16	7
2	32	7
3	67	7
4	118	7
5	132	7
6	142	7
done	142	7
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	16	16
1	25	16
2	45	16
3	74	16
4	88	16
5	96	16
done	96	16
0	15	15
1	24	15
2	50	15
3	132	15
4	360	15
5	810	15
6	1271	15
7	2315	15
8	2855	15
9	4156	15
10	4387	15
done	4387	15
0	18	19
1	46	19
2	149	19
3	540	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1269	23
5	4555	23
done	5000	23
0	18	19
1	46	19
2	149	19
3	552	19
4	2549	19
done	5000	19
0	17	23
1	43	23
2	107	23
3	317	23
4	1288	23
5	4706	23
done	5000	23
0	1	1
done	1	1
0	19	23
1	45	23
2	114	23
3	261	21
4	552	19
5	737	19
6	1223	19
7	1884	19
8	2093	19
done	2093	19
0	19	23
1	45	23
2	114	23
3	261	21
4	552	19
5	737	19
6	1223	19
7	1884	19
8	2093	19
done	2093	19
0	1	1
done	1	1
0	19	23
1	45	23
2	112	23
3	258	21
4	556	19
5	730	19
6	1213	19
7	1874	19
8	2076	19
9	2078	19
done	2078	19
0	19	23
1	45	23
2	112	23
3	258	21
4	556	19
5	730	19
6	1213	19
7	1874	19
8	2076	19
9	2078	19
done	2078	19
0	1	1
done	1	1
0	12	15
1	27	15
2	80	11
3	209	11
4	333	11
5	338	11
done	338	11
0	12	15
1	27	15
2	80	11
3	209	11
4	333	11
5	338	11
done	338	11
0	1	1
done	1	1
0	19	23
1	44	23
2	113	21
3	269	19
4	564	19
5	734	19
6	1217	19
7	1879	19
8	2094	19
9	2096	19
done	2096	19
0	19	23
1	44	23
2	113	21
3	269	19
4	564	19
5	734	19
6	1217	19
7	1879	19
8	2094	19
9	2096	19
done	2096	19

prune207.0ms

Filtered

95 candidates to 122 candidates (-28.4%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	115	7	122
Fresh	0	20	20
Picked	1	0	1
Done	0	0	0
Total	116	27	143

Merged error: 17.1b

Counts

143 → 27

regimes7.0s

Accuracy

-12.7% (12.6b remaining)

Error of 29.1b against oracle of 16.4b and baseline of 27.7b

bsearch1.5s

Steps

Iters	Range		Point
5	9.899544612215696e-15	3.688934917018806e-14	1.1379787296102153e-14
6	2.2189178148295357e-233	1.1364819146836136e-232	7.456750155366136e-233
9	-2.9085343444568586e-242	-1.1219667665674772e-247	-1.3354554234614029e-247
8	-3.6324612334722134e-128	-2.5650113464435044e-131	-2.7802933016315364e-130

simplify28.0ms

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	122	527
1	187	524
2	193	524
done	193	524

end0.0ms

sample30.8s

Algorithm

intervals

Results

18.4s

71201×

body

valid

Details

sample1.0s

simplify723.0ms

prune10.0ms

localize69.0ms

rewrite46.0ms

series240.0ms

simplify7.5min

prune482.0ms

localize78.0ms

rewrite43.0ms

series225.0ms

simplify6.1min

prune395.0ms

localize80.0ms

rewrite48.0ms

series187.0ms

simplify4.4min

prune389.0ms

localize83.0ms

rewrite43.0ms

series217.0ms

simplify6.4min

prune207.0ms

regimes7.0s

bsearch1.5s

simplify28.0ms

end0.0ms

sample30.8s

Profiling