Details

sample30.0ms

Algorithm

intervals

Results

12.0ms

261×

body

valid

simplify2.5s

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	8	12
1	25	12
2	63	12
3	115	12
4	171	12
5	210	12
6	245	12
7	261	12
8	301	12
9	357	12
10	460	12
11	1364	12
done	5000	12

prune5.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: 20.7b

Counts

2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (+ t1 u) (+ t1 u))
20.3b	(/ (* (neg t1) v) (* (+ t1 u) (+ t1 u)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

20×	`*-un-lft-identity`
16×	`add-exp-log` `add-cbrt-cube`
12×	`flip3-+` `flip-+`
9×	`pow1`
8×	`add-sqr-sqrt` `frac-times` `associate-/r/`
6×	`add-cube-cbrt` `swap-sqr` `distribute-lft-out`
5×	`prod-exp` `cbrt-unprod`
4×	`cbrt-undiv` `associate-r/` `div-exp` `associate-r` `associate-l` `associate-l/`
2×	`add-log-exp`
1×	`distribute-lft-neg-out` `pow2` `distribute-rgt-in` `frac-2neg` `distribute-lft-in` `times-frac` `pow-plus` `distribute-frac-neg` `pow-prod-down` `clear-num` `associate-/r` `pow-sqr` `-commutative` `pow-prod-up` `div-inv` `associate-/l*` `unswap-sqr`

Counts

2 → 70

Calls

2 calls:

9.0ms	(* (+ t1 u) (+ t1 u))
14.0ms	(/ (* (neg t1) v) (* (+ t1 u) (+ t1 u)))

series39.0ms

Counts

2 → 6

Calls

2 calls:

10.0ms	(* (+ t1 u) (+ t1 u))
29.0ms	(/ (* (neg t1) v) (* (+ t1 u) (+ t1 u)))

simplify2.0min

Counts

76 → 76

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	11	16
1	21	13
2	42	13
3	66	13
4	100	13
5	155	13
6	232	13
7	311	13
8	322	13
done	322	13
0	11	15
1	25	15
2	53	13
3	95	13
4	152	13
5	215	13
6	313	13
7	384	13
8	419	13
done	419	13
0	10	15
1	23	12
2	43	12
3	73	12
4	119	12
5	195	12
6	286	12
7	434	12
8	563	12
9	572	12
done	572	12
0	10	14
1	27	14
2	55	12
3	101	12
4	168	12
5	251	12
6	358	12
7	500	12
8	649	12
9	659	12
done	659	12
0	9	13
1	29	13
2	82	13
3	168	12
4	300	12
5	447	12
6	625	12
7	758	12
8	918	12
9	992	12
10	1110	12
11	2056	12
done	5001	12
0	9	13
1	26	13
2	66	13
3	131	13
4	212	13
5	317	13
6	515	13
7	983	13
8	2576	13
done	5000	13
0	14	38
1	55	36
2	314	20
3	2188	14
done	5001	14
0	14	38
1	50	36
2	308	18
3	2173	14
done	5000	14
0	12	38
1	52	38
2	314	18
3	2288	12
done	5001	12
0	12	38
1	47	38
2	313	16
3	2338	12
done	5000	12
0	10	27
1	27	27
2	65	27
3	117	27
4	171	27
5	210	27
6	245	27
7	261	27
8	301	27
9	357	27
10	460	27
11	1361	27
done	5000	27
0	9	13
1	26	13
2	64	13
3	116	13
4	170	13
5	209	13
6	244	13
7	260	13
8	300	13
9	356	13
10	459	13
11	1358	13
done	5000	13
0	10	38
1	34	38
2	151	14
3	944	14
done	5000	14
0	9	13
1	26	13
2	64	13
3	116	13
4	170	13
5	209	13
6	244	13
7	260	13
8	300	13
9	356	13
10	459	13
11	1358	13
done	5000	13
0	9	13
1	26	13
2	64	13
3	116	13
4	170	13
5	209	13
6	244	13
7	260	13
8	300	13
9	356	13
10	459	13
11	1358	13
done	5000	13
0	5	5
1	12	5
2	17	3
3	22	3
4	27	3
done	27	3
0	5	8
1	15	8
2	43	8
3	94	8
4	175	8
5	280	8
6	443	8
7	709	8
8	1077	8
9	1119	8
10	1147	8
done	1147	8
0	5	6
1	8	6
done	8	6
0	5	5
1	6	5
done	6	5
0	6	9
1	17	9
2	30	9
3	46	9
4	69	9
5	85	9
6	92	9
7	94	9
done	94	9
0	8	12
1	25	12
2	56	12
3	112	12
4	176	12
5	269	12
6	392	12
7	538	12
8	2338	12
done	5000	12
0	7	11
1	22	11
2	49	11
3	78	11
4	109	11
5	135	11
6	150	11
7	162	11
8	188	11
9	234	11
10	708	11
11	2741	11
done	5001	11
0	7	8
1	13	8
2	24	8
3	35	8
4	40	8
5	46	8
6	48	8
done	48	8
0	6	9
1	15	9
2	30	9
3	55	9
4	76	9
5	98	9
6	109	9
7	133	9
8	154	9
9	187	9
10	218	9
11	248	9
12	274	9
13	288	9
14	291	9
15	293	9
done	293	9
0	11	20
1	41	20
2	112	20
3	287	20
4	762	20
5	2618	20
done	5001	20
0	14	20
1	42	20
2	112	20
3	380	20
4	1372	20
5	4270	20
done	5000	20
0	14	20
1	48	20
2	160	20
3	624	20
4	2045	20
done	5001	20
0	10	20
1	25	20
2	82	20
3	355	20
4	1271	20
5	3365	20
done	5000	20
0	12	16
1	44	16
2	134	16
3	324	16
4	620	16
5	1321	16
6	4179	16
done	5001	16
0	11	16
1	27	16
2	84	16
3	266	16
4	696	16
5	1358	16
6	3631	16
done	5000	16
0	12	16
1	44	16
2	110	16
3	269	16
4	551	16
5	1177	16
6	3844	16
done	5000	16
0	11	16
1	33	16
2	106	16
3	328	16
4	786	16
5	1807	16
done	5001	16
0	2	3
1	6	1
done	6	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	2	3
1	6	1
done	6	1
0	5	9
1	8	6
2	9	6
done	9	6
0	5	8
1	14	8
2	29	6
3	46	6
4	65	6
5	80	6
6	87	6
7	89	6
done	89	6
0	5	8
1	14	8
2	38	8
3	71	8
4	147	8
5	323	8
6	988	8
done	5000	8
0	6	23
1	26	23
2	105	11
3	362	5
4	1483	5
done	5002	5
0	6	17
1	13	17
2	26	17
3	42	17
4	61	17
5	77	17
6	84	17
7	86	17
done	86	17
0	5	8
1	12	8
2	25	8
3	41	8
4	62	8
5	78	8
6	85	8
7	87	8
done	87	8
0	6	23
1	21	23
2	92	9
3	297	5
4	1027	5
done	5001	5
0	5	8
1	13	4
2	26	4
3	42	4
4	61	4
5	77	4
6	84	4
7	86	4
done	86	4
0	5	8
1	13	4
2	26	4
3	42	4
4	61	4
5	77	4
6	84	4
7	86	4
done	86	4
0	7	15
1	27	15
2	73	15
3	224	15
4	665	15
5	2459	15
done	5000	15
0	8	23
1	22	19
2	64	19
3	247	19
4	913	19
5	3506	19
done	5000	19
0	10	15
1	28	15
2	62	15
3	193	15
4	793	15
5	3088	15
done	5000	15
0	9	15
1	20	13
2	49	13
3	140	13
4	361	13
5	892	13
6	2193	13
7	3882	13
8	4648	13
done	5000	13
0	10	15
1	34	15
2	105	15
3	413	15
4	1430	15
5	4883	15
done	5000	15
0	9	15
1	26	13
2	74	13
3	202	13
4	494	13
5	1263	13
6	3143	13
7	4779	13
done	5000	13
0	6	15
1	11	15
2	31	15
3	126	15
4	505	15
5	1516	15
done	5000	15
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	6	19
1	11	19
2	13	11
3	22	6
4	45	6
5	71	6
6	143	6
7	358	6
8	1286	6
done	5000	6
0	5	9
1	6	9
done	6	9
0	5	9
1	6	3
2	7	3
done	7	3
0	5	9
1	6	3
2	7	3
done	7	3
0	2	3
1	4	1
done	4	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	2	3
1	4	1
done	4	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	2	3
1	4	1
done	4	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	2	3
1	4	1
done	4	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	5	9
1	6	3
2	7	3
done	7	3
0	5	9
1	6	3
2	7	3
done	7	3
0	3	3
1	6	1
done	6	1
0	4	5
1	6	5
2	13	5
done	13	5
0	4	5
1	6	5
2	13	5
done	13	5
0	4	5
1	11	5
2	12	5
done	12	5
0	4	5
1	11	5
2	12	5
done	12	5
0	6	13
1	10	13
2	20	13
3	32	13
4	34	13
done	34	13
0	5	8
1	7	8
2	15	8
done	15	8
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	5	8
1	13	8
2	14	8
done	14	8
0	5	8
1	13	8
2	14	8
done	14	8
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	8	11
1	30	11
2	88	11
3	207	11
4	433	11
5	1016	11
6	3242	11
done	5001	11
0	7	11
1	13	11
2	35	11
3	106	11
4	259	11
5	562	11
6	1875	11
done	5001	11
0	8	11
1	30	11
2	64	11
3	162	11
4	382	11
5	901	11
6	2996	11
done	5000	11
0	7	11
1	19	11
2	54	11
3	145	11
4	330	11
5	921	11
6	4155	11
done	5000	11
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	9	13
1	25	13
2	48	13
3	56	13
4	73	11
5	94	11
6	134	11
7	254	11
8	667	11
9	2518	11
done	5000	11
0	9	13
1	25	13
2	48	13
3	56	13
4	73	11
5	94	11
6	134	11
7	254	11
8	667	11
9	2518	11
done	5000	11
0	9	13
1	25	13
2	48	13
3	56	13
4	73	11
5	94	11
6	134	11
7	254	11
8	667	11
9	2518	11
done	5000	11

prune111.0ms

Filtered

51 candidates to 76 candidates (-49.0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

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

Merged error: 0.0b

Counts

77 → 5

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (neg t1) (+ t1 u))
0.0b	(/ v (+ t1 u))
0.5b	(* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

125×	`*-un-lft-identity`
108×	`times-frac`
81×	`add-sqr-sqrt`
69×	`add-cube-cbrt`
46×	`associate-l`
28×	`distribute-lft-out`
27×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
19×	`add-exp-log` `add-cbrt-cube`
18×	`associate-r`
13×	`associate-/l*`
9×	`neg-mul-1`
8×	`associate-/r*` `associate-/r/`
6×	`cbrt-undiv` `div-exp`
5×	`pow1`
4×	`flip3-+` `prod-exp` `cbrt-unprod` `flip-+` `div-inv` `unswap-sqr`
3×	`add-log-exp`
2×	`frac-2neg` `distribute-frac-neg` `clear-num`
1×	`distribute-lft-neg-out` `neg-sub0` `frac-times` `div-sub` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

3 → 192

Calls

3 calls:

8.0ms	(/ (neg t1) (+ t1 u))
6.0ms	(/ v (+ t1 u))
28.0ms	(* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))

series39.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(/ (neg t1) (+ t1 u))
8.0ms	(/ v (+ t1 u))
25.0ms	(* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))

simplify3.0min

Counts

201 → 201

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	12
1	16	12
2	32	12
3	61	12
4	108	12
5	150	12
6	200	12
7	240	12
8	296	12
9	359	12
10	464	12
11	1367	12
done	5001	12
0	11	16
1	20	16
2	42	16
3	88	16
4	157	14
5	215	13
6	280	13
7	317	13
8	318	13
done	318	13
0	11	15
1	19	15
2	36	15
3	73	15
4	137	15
5	201	13
6	263	13
7	300	13
8	301	13
done	301	13
0	11	15
1	21	15
2	35	15
3	69	15
4	130	15
5	224	13
6	294	13
7	338	13
8	339	13
done	339	13
0	10	14
1	19	14
2	30	14
3	56	14
4	108	14
5	195	14
6	282	13
7	336	13
8	355	13
done	355	13
0	9	13
1	20	13
2	44	13
3	93	13
4	207	13
5	356	12
6	539	12
7	719	12
8	865	12
9	1026	12
10	1162	12
11	2110	12
done	5000	12
0	9	13
1	19	13
2	44	13
3	87	13
4	182	13
5	337	13
6	678	13
7	1803	13
done	5000	13
0	14	38
1	56	36
2	241	20
3	1491	16
done	5000	16
0	14	38
1	55	36
2	213	18
3	1084	16
done	5000	16
0	14	38
1	50	38
2	203	18
3	953	16
done	5000	16
0	12	38
1	34	38
2	128	16
3	558	16
4	3250	14
done	5001	14
0	10	27
1	18	27
2	34	27
3	63	27
4	110	27
5	152	27
6	201	27
7	241	27
8	297	27
9	360	27
10	471	27
11	1375	27
done	5000	27
0	9	13
1	17	13
2	33	13
3	62	13
4	109	13
5	151	13
6	201	13
7	241	13
8	297	13
9	360	13
10	467	13
11	1371	13
done	5001	13
0	10	38
1	28	38
2	122	14
3	638	14
4	3166	14
done	5000	14
0	9	13
1	17	13
2	33	13
3	62	13
4	109	13
5	151	13
6	201	13
7	241	13
8	297	13
9	360	13
10	467	13
11	1371	13
done	5001	13
0	9	13
1	17	13
2	33	13
3	62	13
4	109	13
5	151	13
6	201	13
7	241	13
8	297	13
9	360	13
10	467	13
11	1371	13
done	5001	13
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	10	14
1	14	14
done	14	14
0	10	14
1	14	14
done	14	14
0	11	15
1	17	15
2	20	15
3	24	15
4	25	15
done	25	15
0	11	15
1	17	15
2	20	15
3	24	15
4	25	15
done	25	15
0	11	15
1	15	15
2	18	15
3	20	15
4	22	15
5	23	15
done	23	15
0	11	15
1	15	15
2	18	15
3	20	15
4	22	15
5	23	15
done	23	15
0	11	16
1	17	16
2	25	16
3	37	16
4	49	10
5	53	10
done	53	10
0	11	16
1	17	16
2	25	16
3	37	16
4	49	10
5	53	10
done	53	10
0	7	11
1	13	11
2	21	11
3	33	11
4	61	11
5	86	11
6	110	11
7	145	11
8	187	11
9	240	11
10	708	11
11	2797	11
done	5001	11
0	10	20
1	18	20
2	34	20
3	59	20
4	87	20
5	111	20
6	129	20
7	147	20
8	155	20
done	155	20
0	9	13
1	15	13
2	24	13
3	34	13
4	41	13
5	44	13
6	49	13
7	51	13
done	51	13
0	12	22
1	26	22
2	75	22
3	221	22
4	590	22
5	1266	22
6	2016	22
7	2514	22
8	3012	22
9	3486	22
done	5000	22
0	11	17
1	21	17
2	47	17
3	123	17
4	279	17
5	501	17
6	727	17
7	884	17
8	1053	17
9	1213	17
done	5000	17
0	11	14
1	23	12
2	55	12
3	180	12
4	376	12
5	616	12
6	815	12
7	937	12
8	2043	12
done	5000	12
0	11	14
1	23	12
2	55	12
3	180	12
4	376	12
5	616	12
6	815	12
7	937	12
8	2043	12
done	5000	12
0	11	19
1	21	19
2	48	19
3	120	19
4	262	19
5	452	19
6	635	19
7	724	19
8	784	19
9	827	19
10	862	19
11	2968	19
done	5000	19
0	10	14
1	18	14
2	35	14
3	70	14
4	128	14
5	181	14
6	235	14
7	258	14
8	282	14
9	303	14
10	324	14
11	1064	14
done	5001	14
0	10	11
1	20	9
2	39	9
3	93	9
4	187	9
5	268	9
6	295	9
7	307	9
done	307	9
0	10	11
1	20	9
2	39	9
3	93	9
4	187	9
5	268	9
6	295	9
7	307	9
done	307	9
0	10	18
1	22	18
2	48	16
3	165	16
4	375	16
5	663	16
6	996	16
7	1388	16
8	1887	16
done	5000	16
0	9	13
1	19	13
2	36	11
3	105	11
4	199	11
5	291	11
6	404	11
7	538	11
8	741	11
9	2075	11
done	5000	11
0	8	10
1	18	8
2	34	6
3	94	6
4	174	6
5	283	6
6	381	6
7	471	6
8	637	6
9	657	6
done	657	6
0	8	10
1	18	8
2	34	6
3	94	6
4	174	6
5	283	6
6	381	6
7	471	6
8	637	6
9	657	6
done	657	6
0	7	8
1	15	6
2	31	6
3	56	6
4	71	6
5	84	6
6	97	6
7	103	6
done	103	6
0	7	8
1	13	8
2	22	8
3	32	8
4	39	8
5	42	8
6	47	8
7	49	8
done	49	8
0	12	16
1	34	16
2	60	16
3	112	16
4	225	16
5	542	16
6	2080	16
done	5001	16
0	11	16
1	23	16
2	53	16
3	148	16
4	401	16
5	936	16
6	2080	16
done	5002	16
0	9	13
1	15	13
2	18	13
3	22	13
4	23	13
done	23	13
0	9	13
1	15	13
2	18	13
3	22	13
4	23	13
done	23	13
0	10	14
1	16	14
2	25	14
3	42	14
4	79	14
5	101	14
6	111	14
7	121	14
8	131	14
9	140	14
10	145	14
11	147	14
done	147	14
0	10	14
1	16	14
2	25	14
3	42	14
4	79	14
5	101	14
6	111	14
7	121	14
8	131	14
9	140	14
10	145	14
11	147	14
done	147	14
0	9	13
1	15	13
2	23	13
3	35	13
4	63	13
5	88	13
6	112	13
7	141	13
8	183	13
9	234	13
10	291	13
11	355	13
12	416	13
13	470	13
14	509	13
15	526	13
16	531	13
17	533	13
done	533	13
0	9	13
1	15	13
2	23	13
3	35	13
4	63	13
5	88	13
6	112	13
7	141	13
8	183	13
9	234	13
10	291	13
11	355	13
12	416	13
13	470	13
14	509	13
15	526	13
16	531	13
17	533	13
done	533	13
0	10	14
1	16	14
2	25	14
3	42	14
4	79	14
5	101	14
6	111	14
7	121	14
8	131	14
9	140	14
10	145	14
11	147	14
done	147	14
0	10	14
1	16	14
2	25	14
3	42	14
4	79	14
5	101	14
6	111	14
7	121	14
8	131	14
9	140	14
10	145	14
11	147	14
done	147	14
0	9	13
1	15	13
2	23	13
3	35	13
4	63	13
5	88	13
6	112	13
7	141	13
8	183	13
9	234	13
10	291	13
11	355	13
12	416	13
13	470	13
14	509	13
15	526	13
16	531	13
17	533	13
done	533	13
0	9	13
1	15	13
2	23	13
3	35	13
4	63	13
5	88	13
6	112	13
7	141	13
8	183	13
9	234	13
10	291	13
11	355	13
12	416	13
13	470	13
14	509	13
15	526	13
16	531	13
17	533	13
done	533	13
0	9	13
1	17	13
2	34	13
3	69	13
4	127	13
5	180	13
6	234	13
7	257	13
8	281	13
9	302	13
10	323	13
11	1063	13
done	5001	13
0	9	13
1	17	13
2	34	13
3	69	13
4	127	13
5	180	13
6	234	13
7	257	13
8	281	13
9	302	13
10	323	13
11	1063	13
done	5001	13
0	8	12
1	16	12
2	32	12
3	61	12
4	108	12
5	150	12
6	200	12
7	240	12
8	296	12
9	359	12
10	464	12
11	1367	12
done	5001	12
0	8	12
1	16	12
2	32	12
3	61	12
4	108	12
5	150	12
6	200	12
7	240	12
8	296	12
9	359	12
10	464	12
11	1367	12
done	5001	12
0	8	12
1	14	12
2	23	12
3	40	12
4	77	12
5	99	12
6	109	12
7	119	12
8	129	12
9	140	12
10	509	12
11	3564	12
done	5000	12
0	8	12
1	14	12
2	23	12
3	40	12
4	77	12
5	99	12
6	109	12
7	119	12
8	129	12
9	140	12
10	509	12
11	3564	12
done	5000	12
0	7	11
1	13	11
2	21	11
3	33	11
4	61	11
5	86	11
6	110	11
7	145	11
8	187	11
9	240	11
10	708	11
11	2797	11
done	5001	11
0	7	11
1	13	11
2	21	11
3	33	11
4	61	11
5	86	11
6	110	11
7	145	11
8	187	11
9	240	11
10	708	11
11	2797	11
done	5001	11
0	9	13
1	15	13
2	24	13
3	41	13
4	78	13
5	100	13
6	110	13
7	120	13
8	130	13
9	139	13
10	144	13
11	146	13
done	146	13
0	9	13
1	15	13
2	24	13
3	41	13
4	78	13
5	100	13
6	110	13
7	120	13
8	130	13
9	139	13
10	144	13
11	146	13
done	146	13
0	8	12
1	14	12
2	22	12
3	34	12
4	62	12
5	87	12
6	111	12
7	142	12
8	184	12
9	235	12
10	292	12
11	356	12
12	417	12
13	473	12
14	511	12
15	528	12
16	533	12
17	535	12
done	535	12
0	8	12
1	14	12
2	22	12
3	34	12
4	62	12
5	87	12
6	111	12
7	142	12
8	184	12
9	235	12
10	292	12
11	356	12
12	417	12
13	473	12
14	511	12
15	528	12
16	533	12
17	535	12
done	535	12
0	9	13
1	15	13
2	24	13
3	41	13
4	78	13
5	100	13
6	110	13
7	120	13
8	130	13
9	139	13
10	144	13
11	146	13
done	146	13
0	9	13
1	15	13
2	24	13
3	41	13
4	78	13
5	100	13
6	110	13
7	120	13
8	130	13
9	139	13
10	144	13
11	146	13
done	146	13
0	8	12
1	14	12
2	22	12
3	34	12
4	62	12
5	87	12
6	111	12
7	142	12
8	184	12
9	235	12
10	292	12
11	356	12
12	417	12
13	473	12
14	511	12
15	528	12
16	533	12
17	535	12
done	535	12
0	8	12
1	14	12
2	22	12
3	34	12
4	62	12
5	87	12
6	111	12
7	142	12
8	184	12
9	235	12
10	292	12
11	356	12
12	417	12
13	473	12
14	511	12
15	528	12
16	533	12
17	535	12
done	535	12
0	8	12
1	14	12
2	23	12
3	40	12
4	77	12
5	99	12
6	109	12
7	119	12
8	129	12
9	140	12
10	509	12
11	3564	12
done	5000	12
0	8	12
1	14	12
2	23	12
3	40	12
4	77	12
5	99	12
6	109	12
7	119	12
8	129	12
9	140	12
10	509	12
11	3564	12
done	5000	12
0	7	11
1	13	11
2	21	11
3	33	11
4	61	11
5	86	11
6	110	11
7	145	11
8	187	11
9	240	11
10	708	11
11	2797	11
done	5001	11
0	7	11
1	13	11
2	21	11
3	33	11
4	61	11
5	86	11
6	110	11
7	145	11
8	187	11
9	240	11
10	708	11
11	2797	11
done	5001	11
0	10	14
1	18	14
2	35	14
3	70	14
4	128	14
5	181	14
6	235	14
7	258	14
8	282	14
9	302	14
10	321	14
11	332	14
12	338	14
13	340	14
done	340	14
0	10	14
1	18	14
2	35	14
3	70	14
4	128	14
5	181	14
6	235	14
7	258	14
8	282	14
9	302	14
10	321	14
11	332	14
12	338	14
13	340	14
done	340	14
0	9	13
1	17	13
2	33	13
3	62	13
4	109	13
5	151	13
6	201	13
7	241	13
8	297	13
9	359	13
10	464	13
11	577	13
12	714	13
13	832	13
14	932	13
15	1007	13
16	1044	13
17	1052	13
18	1056	13
done	1056	13
0	9	13
1	17	13
2	33	13
3	62	13
4	109	13
5	151	13
6	201	13
7	241	13
8	297	13
9	359	13
10	464	13
11	577	13
12	714	13
13	832	13
14	932	13
15	1007	13
16	1044	13
17	1052	13
18	1056	13
done	1056	13
0	10	14
1	18	14
2	35	14
3	70	14
4	128	14
5	181	14
6	235	14
7	258	14
8	282	14
9	302	14
10	321	14
11	332	14
12	338	14
13	340	14
done	340	14
0	10	14
1	18	14
2	35	14
3	70	14
4	128	14
5	181	14
6	235	14
7	258	14
8	282	14
9	302	14
10	321	14
11	332	14
12	338	14
13	340	14
done	340	14
0	9	13
1	17	13
2	33	13
3	62	13
4	109	13
5	151	13
6	201	13
7	241	13
8	297	13
9	359	13
10	464	13
11	577	13
12	714	13
13	832	13
14	932	13
15	1007	13
16	1044	13
17	1052	13
18	1056	13
done	1056	13
0	9	13
1	17	13
2	33	13
3	62	13
4	109	13
5	151	13
6	201	13
7	241	13
8	297	13
9	359	13
10	464	13
11	577	13
12	714	13
13	832	13
14	932	13
15	1007	13
16	1044	13
17	1052	13
18	1056	13
done	1056	13
0	9	13
1	17	13
2	34	13
3	69	13
4	127	13
5	180	13
6	234	13
7	257	13
8	281	13
9	302	13
10	323	13
11	1063	13
done	5001	13
0	9	13
1	17	13
2	34	13
3	69	13
4	127	13
5	180	13
6	234	13
7	257	13
8	281	13
9	302	13
10	323	13
11	1063	13
done	5001	13
0	8	12
1	16	12
2	32	12
3	61	12
4	108	12
5	150	12
6	200	12
7	240	12
8	296	12
9	359	12
10	464	12
11	1367	12
done	5001	12
0	8	12
1	16	12
2	32	12
3	61	12
4	108	12
5	150	12
6	200	12
7	240	12
8	296	12
9	359	12
10	464	12
11	1367	12
done	5001	12
0	8	12
1	16	12
2	32	12
3	61	12
4	108	12
5	150	12
6	200	12
7	240	12
8	296	12
9	359	12
10	464	12
11	1367	12
done	5001	12
0	8	11
1	16	11
2	24	9
3	65	9
4	120	9
5	138	9
6	168	9
7	229	9
8	359	9
9	396	9
10	454	9
11	514	9
12	566	9
13	690	9
14	894	9
15	1014	9
16	1039	9
done	1039	9
0	11	17
1	23	15
2	49	15
3	124	15
4	267	15
5	457	15
6	758	15
7	1072	15
8	1487	15
9	2145	15
10	2519	15
11	2524	15
done	2524	15
0	7	9
1	13	9
2	23	9
3	47	9
4	70	9
5	86	9
6	97	9
done	97	9
0	7	8
1	13	8
2	22	8
3	32	8
4	39	8
5	42	8
6	47	8
7	49	8
done	49	8
0	7	8
1	13	8
2	22	8
3	32	8
4	41	8
5	44	8
6	45	8
done	45	8
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	10	6
2	12	6
3	13	6
done	13	6
0	6	6
1	7	6
done	7	6
0	9	17
1	31	17
2	93	9
3	220	7
4	496	7
5	1299	7
6	2986	7
done	5001	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	15	17
2	31	7
3	69	7
4	152	7
5	302	7
6	586	7
7	1368	7
8	4784	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	2	2
done	2	2
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	9	15
1	16	15
2	25	15
3	31	15
done	31	15
0	7	7
1	8	7
done	8	7
0	8	10
1	11	10
2	13	10
3	14	10
done	14	10
0	7	7
1	8	7
done	8	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	7	6
done	7	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	7	6
done	7	6
0	8	12
1	11	12
done	11	12
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	7	6
done	7	6
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	7	6
done	7	6
0	7	11
1	12	11
done	12	11
0	6	6
1	7	6
done	7	6
0	6	6
1	9	6
done	9	6
0	6	6
1	7	6
done	7	6
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	5	5
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	7	11
1	10	11
done	10	11
0	6	6
1	7	6
done	7	6
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	8	9
1	22	9
2	31	9
3	48	9
4	89	9
5	204	9
6	605	9
7	2437	9
done	5000	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	7	8
1	10	8
2	11	8
done	11	8
0	6	7
1	12	7
2	14	7
3	15	7
done	15	7
0	6	7
1	9	7
2	12	7
3	14	7
done	14	7
0	9	20
1	38	18
2	125	10
3	393	8
4	931	8
5	2331	8
done	5001	8
0	7	15
1	10	15
done	10	15
0	6	7
1	9	7
done	9	7
0	7	20
1	17	20
2	52	8
3	156	8
4	450	8
5	840	8
6	1473	8
7	3634	8
done	5001	8
0	6	7
1	9	7
done	9	7
0	6	7
1	9	7
done	9	7
0	3	3
done	3	1
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	5	5
1	6	1
done	6	1
0	4	5
1	5	5
done	5	5
0	9	17
1	16	17
2	25	17
3	31	17
done	31	17
0	7	8
1	8	8
done	8	8
0	8	12
1	11	12
2	13	12
3	14	12
done	14	12
0	7	8
1	8	8
done	8	8
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	6	7
1	7	7
done	7	7
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	6	7
1	7	7
done	7	7
0	8	13
1	11	13
done	11	13
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	5	5
1	7	3
2	9	3
done	9	3
0	6	7
1	7	7
done	7	7
0	5	5
1	7	3
2	9	3
done	9	3
0	6	7
1	7	7
done	7	7
0	7	11
1	12	11
done	12	11
0	6	7
1	9	7
done	9	7
0	6	6
1	9	6
done	9	6
0	6	7
1	9	7
done	9	7
0	2	3
1	4	1
done	4	1
0	5	6
1	8	6
done	8	6
0	2	3
1	4	1
done	4	1
0	5	6
1	8	6
done	8	6
0	7	11
1	10	11
done	10	11
0	5	6
1	6	6
done	6	6
0	6	6
1	7	6
done	7	6
0	5	6
1	6	6
done	6	6
0	3	3
1	5	1
done	5	1
0	4	5
1	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	4	5
1	5	5
done	5	5
0	9	16
1	17	16
2	34	16
3	57	16
4	69	16
done	69	16
0	6	7
1	7	7
done	7	7
0	8	11
1	14	11
2	19	11
3	24	11
4	28	11
done	28	11
0	6	7
1	7	7
done	7	7
0	6	8
1	13	6
2	22	6
3	32	6
4	46	6
done	46	6
0	5	6
1	6	6
done	6	6
0	6	8
1	13	6
2	22	6
3	32	6
4	46	6
done	46	6
0	5	6
1	6	6
done	6	6
0	8	13
1	13	13
2	16	13
done	16	13
0	6	7
1	7	7
done	7	7
0	7	8
1	10	8
done	10	8
0	6	7
1	7	7
done	7	7
0	5	5
1	9	3
2	13	3
done	13	3
0	5	6
1	6	6
done	6	6
0	5	5
1	9	3
2	13	3
done	13	3
0	5	6
1	6	6
done	6	6
0	8	12
1	16	11
2	18	11
3	20	11
done	20	11
0	5	6
1	6	6
done	6	6
0	7	7
1	13	6
done	13	6
0	5	6
1	6	6
done	6	6
0	3	4
1	8	1
done	8	1
0	4	5
1	5	5
done	5	5
0	3	4
1	8	1
done	8	1
0	4	5
1	5	5
done	5	5
0	8	15
1	15	15
2	24	15
3	30	15
done	30	15
0	7	8
1	10	8
done	10	8
0	7	10
1	10	10
2	12	10
3	13	10
done	13	10
0	7	8
1	10	8
done	10	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	7
1	9	7
done	9	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	7
1	9	7
done	9	7
0	7	12
1	10	12
done	10	12
0	7	8
1	10	8
done	10	8
0	6	7
1	7	7
done	7	7
0	7	8
1	10	8
done	10	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	7
1	9	7
done	9	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	7
1	9	7
done	9	7
0	7	11
1	12	11
done	12	11
0	6	7
1	9	7
done	9	7
0	6	6
1	9	6
done	9	6
0	6	7
1	9	7
done	9	7
0	2	3
1	4	1
done	4	1
0	5	6
1	8	6
done	8	6
0	2	3
1	4	1
done	4	1
0	5	6
1	8	6
done	8	6
0	5	5
1	8	5
done	8	5
0	5	6
1	6	6
done	6	6
0	4	5
1	5	5
done	5	5
0	7	12
1	12	12
2	15	12
done	15	12
0	6	7
1	9	7
done	9	7
0	4	4
1	8	2
2	12	2
done	12	2
0	4	4
1	8	2
2	12	2
done	12	2
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	5	6
1	6	6
done	6	6
0	4	5
1	5	5
done	5	5
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	4	5
1	5	5
done	5	5
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	5	6
1	6	6
done	6	6
0	8	10
1	24	10
2	33	10
3	50	10
4	91	10
5	202	10
6	605	10
7	2427	10
done	5000	10
0	7	10
1	14	10
2	25	10
3	46	10
4	73	10
5	114	10
6	169	10
7	337	10
8	1593	10
done	5000	10
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune189.0ms

Filtered

141 candidates to 201 candidates (-42.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	196	5	201
Fresh	2	2	4
Picked	0	1	1
Done	0	0	0
Total	198	8	206

Merged error: 0.0b

Counts

206 → 8

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (+ t1 u))
0.0b	(/ (neg t1) (+ t1 u))
0.2b	(* v (/ 1 (+ t1 u)))
0.5b	(* (/ (neg t1) (+ t1 u)) (* v (/ 1 (+ t1 u))))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

128×	`*-un-lft-identity`
106×	`times-frac`
78×	`add-sqr-sqrt`
71×	`add-cube-cbrt`
54×	`add-exp-log`
49×	`associate-l`
34×	`add-cbrt-cube`
28×	`distribute-lft-out`
27×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
22×	`prod-exp`
19×	`associate-r`
14×	`div-exp`
13×	`associate-/l*`
12×	`pow1` `cbrt-unprod`
9×	`neg-mul-1`
8×	`cbrt-undiv` `associate-/r*` `associate-/r/`
5×	`associate-*r/`
4×	`rec-exp` `flip3-+` `1-exp` `pow-prod-down` `flip-+` `div-inv` `add-log-exp`
3×	`un-div-inv` `unswap-sqr`
2×	`frac-times` `frac-2neg` `distribute-frac-neg` `clear-num` `*-commutative`
1×	`distribute-lft-neg-out` `neg-sub0` `pow-flip` `div-sub` `associate-*l/` `inv-pow`

Counts

4 → 227

Calls

4 calls:

6.0ms	(/ 1 (+ t1 u))
8.0ms	(/ (neg t1) (+ t1 u))
11.0ms	(* v (/ 1 (+ t1 u)))
21.0ms	(* (/ (neg t1) (+ t1 u)) (* v (/ 1 (+ t1 u))))

series50.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ 1 (+ t1 u))
7.0ms	(/ (neg t1) (+ t1 u))
13.0ms	(* v (/ 1 (+ t1 u)))
25.0ms	(* (/ (neg t1) (+ t1 u)) (* v (/ 1 (+ t1 u))))

simplify7.5min

Counts

239 → 239

Iterations

Useful iterations: 3 (10.0ms)

Iter	Nodes	Cost
0	10	14
1	23	14
2	56	12
3	136	12
4	319	12
5	599	12
6	843	12
7	1087	12
8	1597	12
done	5000	12
0	10	14
1	23	14
2	56	12
3	136	12
4	319	12
5	599	12
6	843	12
7	1087	12
8	1597	12
done	5000	12
0	12	17
1	21	16
2	47	16
3	94	16
4	167	14
5	223	13
6	288	13
7	325	13
8	326	13
done	326	13
0	13	18
1	25	17
2	69	16
3	176	16
4	381	14
5	600	13
6	756	13
7	771	13
done	771	13
0	14	19
1	28	18
2	65	16
3	171	16
4	423	14
5	645	13
6	808	13
7	823	13
done	823	13
0	14	18
1	27	17
2	59	16
3	159	16
4	324	14
5	524	13
6	671	13
7	688	13
done	688	13
0	13	17
1	27	17
2	50	15
3	104	15
4	273	14
5	487	13
6	638	13
7	681	13
done	681	13
0	12	16
1	22	15
2	38	15
3	72	15
4	135	14
5	231	13
6	304	13
7	346	13
8	347	13
done	347	13
0	13	17
1	26	16
2	56	15
3	124	15
4	315	14
5	607	13
6	769	13
7	783	13
done	783	13
0	14	18
1	29	17
2	55	15
3	132	15
4	323	14
5	616	13
6	784	13
7	798	13
done	798	13
0	13	17
1	28	16
2	49	15
3	116	15
4	281	14
5	557	13
6	721	13
7	737	13
done	737	13
0	12	16
1	27	16
2	44	14
3	81	14
4	208	14
5	398	13
6	676	13
7	771	13
8	1022	13
9	1607	13
10	1995	13
11	2026	13
done	2026	13
0	11	15
1	27	15
2	72	13
3	185	13
4	463	13
5	994	12
6	1793	12
7	3154	12
8	4343	12
done	5001	12
0	11	15
1	26	15
2	69	13
3	189	13
4	499	13
5	1173	13
6	3225	13
done	5000	13
0	18	44
1	67	38
2	264	20
3	1736	18
done	5000	18
0	18	44
1	67	42
2	268	22
3	1593	20
done	5001	18
0	16	44
1	65	42
2	269	18
3	1617	16
done	5000	16
0	18	44
1	61	40
2	225	18
3	1134	18
done	5000	18
0	16	44
1	46	44
2	183	20
3	921	20
done	5000	18
0	14	44
1	44	44
2	184	16
3	948	16
done	5000	16
0	12	31
1	25	31
2	58	27
3	136	27
4	324	27
5	603	27
6	847	27
7	1096	27
8	1600	27
done	5000	27
0	11	15
1	24	15
2	57	13
3	137	13
4	324	13
5	605	13
6	845	13
7	1082	13
8	1594	13
done	5000	13
0	12	44
1	35	44
2	176	14
3	1112	14
done	5000	14
0	11	15
1	24	15
2	57	13
3	137	13
4	324	13
5	605	13
6	845	13
7	1082	13
8	1594	13
done	5000	13
0	11	15
1	24	15
2	57	13
3	137	13
4	324	13
5	605	13
6	845	13
7	1082	13
8	1594	13
done	5000	13
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	6	6
1	14	4
2	24	4
3	40	4
4	64	4
5	69	4
6	73	4
done	73	4
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	9	13
1	20	13
2	45	11
3	92	11
4	200	11
5	264	11
6	317	11
7	394	11
8	619	11
9	1716	11
done	5000	11
0	7	8
1	13	8
2	22	8
3	32	8
4	39	8
5	42	8
6	47	8
7	49	8
done	49	8
0	11	15
1	22	15
2	37	13
3	49	13
4	75	13
5	92	13
6	115	13
7	125	13
8	135	13
9	145	13
10	158	13
11	163	13
done	163	13
0	11	15
1	22	15
2	37	13
3	49	13
4	75	13
5	92	13
6	115	13
7	125	13
8	135	13
9	145	13
10	158	13
11	163	13
done	163	13
0	12	16
1	23	16
2	48	14
3	87	14
4	195	14
5	310	14
6	416	14
7	472	14
8	652	14
9	846	14
10	942	14
11	1022	14
12	1039	14
13	1040	14
done	1040	14
0	12	16
1	23	16
2	48	14
3	87	14
4	195	14
5	310	14
6	416	14
7	472	14
8	652	14
9	846	14
10	942	14
11	1022	14
12	1039	14
13	1040	14
done	1040	14
0	11	15
1	22	15
2	47	13
3	94	13
4	195	13
5	255	13
6	307	13
7	396	13
8	672	13
9	838	13
10	1037	13
11	1276	13
12	1486	13
13	1946	13
14	2714	13
15	3279	13
16	3341	13
17	3364	13
18	3372	13
done	3372	13
0	11	15
1	22	15
2	47	13
3	94	13
4	195	13
5	255	13
6	307	13
7	396	13
8	672	13
9	838	13
10	1037	13
11	1276	13
12	1486	13
13	1946	13
14	2714	13
15	3279	13
16	3341	13
17	3364	13
18	3372	13
done	3372	13
0	12	16
1	23	16
2	48	14
3	87	14
4	195	14
5	310	14
6	416	14
7	472	14
8	652	14
9	846	14
10	942	14
11	1022	14
12	1039	14
13	1040	14
done	1040	14
0	12	16
1	23	16
2	48	14
3	87	14
4	195	14
5	310	14
6	416	14
7	472	14
8	652	14
9	846	14
10	942	14
11	1022	14
12	1039	14
13	1040	14
done	1040	14
0	11	15
1	22	15
2	47	13
3	94	13
4	195	13
5	255	13
6	307	13
7	396	13
8	672	13
9	838	13
10	1037	13
11	1276	13
12	1486	13
13	1946	13
14	2714	13
15	3279	13
16	3341	13
17	3364	13
18	3372	13
done	3372	13
0	11	15
1	22	15
2	47	13
3	94	13
4	195	13
5	255	13
6	307	13
7	396	13
8	672	13
9	838	13
10	1037	13
11	1276	13
12	1486	13
13	1946	13
14	2714	13
15	3279	13
16	3341	13
17	3364	13
18	3372	13
done	3372	13
0	11	15
1	24	15
2	57	13
3	128	13
4	309	13
5	646	13
6	1048	13
7	1547	13
8	1982	13
done	5000	13
0	11	15
1	24	15
2	57	13
3	128	13
4	309	13
5	646	13
6	1048	13
7	1547	13
8	1982	13
done	5000	13
0	10	14
1	23	14
2	56	12
3	136	12
4	319	12
5	599	12
6	843	12
7	1087	12
8	1597	12
done	5000	12
0	10	14
1	23	14
2	56	12
3	136	12
4	319	12
5	599	12
6	843	12
7	1087	12
8	1597	12
done	5000	12
0	10	14
1	21	14
2	46	12
3	87	12
4	195	12
5	300	12
6	418	12
7	509	12
8	644	12
9	2313	12
done	5001	12
0	10	14
1	21	14
2	46	12
3	87	12
4	195	12
5	300	12
6	418	12
7	509	12
8	644	12
9	2313	12
done	5001	12
0	9	13
1	20	13
2	45	11
3	92	11
4	200	11
5	264	11
6	317	11
7	394	11
8	619	11
9	1716	11
done	5000	11
0	9	13
1	20	13
2	45	11
3	92	11
4	200	11
5	264	11
6	317	11
7	394	11
8	619	11
9	1716	11
done	5000	11
0	11	15
1	22	15
2	47	13
3	86	13
4	194	13
5	312	13
6	418	13
7	474	13
8	655	13
9	850	13
10	942	13
11	1021	13
12	1037	13
13	1038	13
done	1038	13
0	11	15
1	22	15
2	47	13
3	86	13
4	194	13
5	312	13
6	418	13
7	474	13
8	655	13
9	850	13
10	942	13
11	1021	13
12	1037	13
13	1038	13
done	1038	13
0	10	14
1	21	14
2	46	12
3	95	12
4	202	12
5	268	12
6	319	12
7	408	12
8	684	12
9	852	12
10	1058	12
11	1297	12
12	1509	12
13	1970	12
14	2744	12
15	3327	12
16	3389	12
17	3412	12
18	3420	12
done	3420	12
0	10	14
1	21	14
2	46	12
3	95	12
4	202	12
5	268	12
6	319	12
7	408	12
8	684	12
9	852	12
10	1058	12
11	1297	12
12	1509	12
13	1970	12
14	2744	12
15	3327	12
16	3389	12
17	3412	12
18	3420	12
done	3420	12
0	11	15
1	22	15
2	47	13
3	86	13
4	194	13
5	312	13
6	418	13
7	474	13
8	655	13
9	850	13
10	942	13
11	1021	13
12	1037	13
13	1038	13
done	1038	13
0	11	15
1	22	15
2	47	13
3	86	13
4	194	13
5	312	13
6	418	13
7	474	13
8	655	13
9	850	13
10	942	13
11	1021	13
12	1037	13
13	1038	13
done	1038	13
0	10	14
1	21	14
2	46	12
3	95	12
4	202	12
5	268	12
6	319	12
7	408	12
8	684	12
9	852	12
10	1058	12
11	1297	12
12	1509	12
13	1970	12
14	2744	12
15	3327	12
16	3389	12
17	3412	12
18	3420	12
done	3420	12
0	10	14
1	21	14
2	46	12
3	95	12
4	202	12
5	268	12
6	319	12
7	408	12
8	684	12
9	852	12
10	1058	12
11	1297	12
12	1509	12
13	1970	12
14	2744	12
15	3327	12
16	3389	12
17	3412	12
18	3420	12
done	3420	12
0	10	14
1	21	14
2	46	12
3	87	12
4	195	12
5	300	12
6	418	12
7	509	12
8	644	12
9	2313	12
done	5001	12
0	10	14
1	21	14
2	46	12
3	87	12
4	195	12
5	300	12
6	418	12
7	509	12
8	644	12
9	2313	12
done	5001	12
0	9	13
1	20	13
2	45	11
3	92	11
4	200	11
5	264	11
6	317	11
7	394	11
8	619	11
9	1716	11
done	5000	11
0	9	13
1	20	13
2	45	11
3	92	11
4	200	11
5	264	11
6	317	11
7	394	11
8	619	11
9	1716	11
done	5000	11
0	12	16
1	25	16
2	58	14
3	129	14
4	310	14
5	645	14
6	1053	14
7	1555	14
8	1985	14
9	2709	14
10	3201	14
11	3814	14
12	3984	14
13	4005	14
14	4006	14
done	4006	14
0	12	16
1	25	16
2	58	14
3	129	14
4	310	14
5	645	14
6	1053	14
7	1555	14
8	1985	14
9	2709	14
10	3201	14
11	3814	14
12	3984	14
13	4005	14
14	4006	14
done	4006	14
0	11	15
1	24	15
2	57	13
3	135	13
4	316	13
5	583	13
6	815	13
7	1032	13
8	1542	13
9	2247	13
10	2943	13
11	3968	13
12	4810	13
done	5001	13
0	11	15
1	24	15
2	57	13
3	135	13
4	316	13
5	583	13
6	815	13
7	1032	13
8	1542	13
9	2247	13
10	2943	13
11	3968	13
12	4810	13
done	5001	13
0	12	16
1	25	16
2	58	14
3	129	14
4	310	14
5	645	14
6	1053	14
7	1555	14
8	1985	14
9	2709	14
10	3201	14
11	3814	14
12	3984	14
13	4005	14
14	4006	14
done	4006	14
0	12	16
1	25	16
2	58	14
3	129	14
4	310	14
5	645	14
6	1053	14
7	1555	14
8	1985	14
9	2709	14
10	3201	14
11	3814	14
12	3984	14
13	4005	14
14	4006	14
done	4006	14
0	11	15
1	24	15
2	57	13
3	135	13
4	316	13
5	583	13
6	815	13
7	1032	13
8	1542	13
9	2247	13
10	2943	13
11	3968	13
12	4810	13
done	5001	13
0	11	15
1	24	15
2	57	13
3	135	13
4	316	13
5	583	13
6	815	13
7	1032	13
8	1542	13
9	2247	13
10	2943	13
11	3968	13
12	4810	13
done	5001	13
0	11	15
1	24	15
2	57	13
3	128	13
4	309	13
5	646	13
6	1048	13
7	1547	13
8	1982	13
done	5000	13
0	11	15
1	24	15
2	57	13
3	128	13
4	309	13
5	646	13
6	1048	13
7	1547	13
8	1982	13
done	5000	13
0	10	14
1	23	14
2	56	12
3	136	12
4	319	12
5	599	12
6	843	12
7	1087	12
8	1597	12
done	5000	12
0	10	14
1	23	14
2	56	12
3	136	12
4	319	12
5	599	12
6	843	12
7	1087	12
8	1597	12
done	5000	12
0	10	14
1	23	14
2	56	12
3	136	12
4	319	12
5	599	12
6	843	12
7	1087	12
8	1597	12
done	5000	12
0	8	13
1	17	13
2	34	9
3	67	9
4	95	9
5	113	9
6	143	9
7	202	9
8	332	9
9	369	9
10	425	9
11	485	9
12	537	9
13	659	9
14	865	9
15	989	9
16	1014	9
done	1014	9
0	13	19
1	30	17
2	68	15
3	177	15
4	491	15
5	1199	15
6	1965	15
7	2621	15
8	4111	15
done	5000	15
0	9	11
1	20	11
2	42	9
3	91	9
4	174	9
5	305	9
6	392	9
7	475	9
8	493	9
9	495	9
done	495	9
0	7	8
1	13	8
2	22	8
3	32	8
4	39	8
5	42	8
6	47	8
7	49	8
done	49	8
0	9	10
1	20	8
2	36	8
3	71	8
4	138	8
5	219	8
6	298	8
7	343	8
8	359	8
done	359	8
0	9	10
1	20	10
2	45	8
3	83	8
4	145	8
5	206	8
6	263	8
7	274	8
8	276	8
done	276	8
0	7	7
1	13	7
2	16	5
3	17	5
4	22	5
5	23	5
done	23	5
0	8	8
1	11	7
done	11	7
0	9	9
1	15	8
2	25	7
3	34	7
4	52	7
5	78	7
6	81	7
7	90	7
8	101	7
done	101	7
0	10	10
1	18	9
2	25	7
3	42	7
4	60	7
5	86	7
6	91	7
7	100	7
8	118	7
done	118	7
0	9	9
1	17	8
2	23	7
3	34	7
4	46	7
5	78	7
6	99	7
7	106	7
8	116	7
done	116	7
0	8	8
1	17	8
2	26	6
3	32	6
4	50	6
5	62	6
6	92	6
7	98	6
8	107	6
done	107	6
0	8	8
1	16	8
2	25	6
3	36	6
4	82	6
5	177	6
6	430	6
7	1312	6
8	4596	6
done	5000	6
0	13	23
1	42	19
2	118	9
3	358	9
4	888	9
5	2083	7
done	5000	7
0	11	23
1	27	23
2	76	11
3	206	11
4	490	7
5	1036	7
6	2428	7
done	5001	7
0	9	17
1	15	17
2	18	13
3	19	13
4	24	13
5	25	13
done	25	13
0	8	8
1	14	8
2	17	6
3	18	6
4	23	6
5	24	6
done	24	6
0	9	23
1	25	23
2	79	7
3	209	7
4	426	7
5	692	7
6	1414	7
7	3746	7
done	5000	7
0	8	8
1	14	8
2	17	6
3	18	6
4	23	6
5	24	6
done	24	6
0	8	8
1	14	8
2	17	6
3	18	6
4	23	6
5	24	6
done	24	6
0	9	9
1	13	9
done	13	9
0	9	9
1	13	9
done	13	9
0	10	10
1	16	9
2	19	9
3	23	7
4	34	7
5	35	7
done	35	7
0	10	10
1	16	9
2	19	9
3	23	7
4	34	7
5	35	7
done	35	7
0	9	9
1	15	9
2	18	7
3	33	7
4	34	7
done	34	7
0	9	9
1	15	9
2	18	7
3	33	7
4	34	7
done	34	7
0	9	15
1	15	15
2	17	15
done	17	15
0	8	8
1	12	8
done	12	8
0	11	17
1	23	15
2	52	13
3	86	11
4	96	11
5	97	11
done	97	11
0	10	12
1	18	10
2	28	8
3	41	6
4	42	6
done	42	6
0	6	9
1	13	5
2	28	3
3	32	1
4	33	1
done	33	1
0	6	9
1	13	5
2	28	3
3	32	1
4	33	1
done	33	1
0	10	14
1	18	13
2	29	13
3	43	11
4	68	11
5	82	11
done	82	11
0	9	9
1	15	8
2	18	8
3	22	6
4	28	6
5	29	6
done	29	6
0	5	6
1	10	3
2	15	1
done	15	1
0	5	6
1	10	3
2	15	1
done	15	1
0	9	13
1	17	13
2	27	11
3	35	11
4	55	11
5	86	11
6	91	11
done	91	11
0	8	8
1	14	8
2	17	6
3	18	6
4	23	6
5	24	6
done	24	6
0	4	5
1	9	3
2	14	1
done	14	1
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	10	11
1	29	11
2	41	9
3	59	9
4	103	9
5	222	9
6	634	9
7	2491	9
done	5000	9
0	9	11
1	19	11
2	35	9
3	68	9
4	129	9
5	251	9
6	412	9
7	678	9
8	2296	9
done	5000	9
0	8	8
1	14	8
2	17	6
3	32	6
4	33	6
done	33	6
0	8	8
1	14	8
2	17	6
3	32	6
4	33	6
done	33	6
0	7	7
1	13	7
2	16	5
3	17	5
4	22	5
5	23	5
done	23	5
0	3	3
1	6	1
done	6	1
0	7	8
1	10	8
2	11	8
done	11	8
0	6	7
1	12	7
2	14	7
3	15	7
done	15	7
0	6	7
1	9	7
2	12	7
3	14	7
done	14	7
0	9	20
1	38	18
2	125	10
3	393	8
4	931	8
5	2331	8
done	5001	8
0	7	15
1	10	15
done	10	15
0	6	7
1	9	7
done	9	7
0	7	20
1	17	20
2	52	8
3	156	8
4	450	8
5	840	8
6	1473	8
7	3634	8
done	5001	8
0	6	7
1	9	7
done	9	7
0	6	7
1	9	7
done	9	7
0	3	3
done	3	1
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	5	5
1	6	1
done	6	1
0	4	5
1	5	5
done	5	5
0	9	17
1	16	17
2	25	17
3	31	17
done	31	17
0	7	8
1	8	8
done	8	8
0	8	12
1	11	12
2	13	12
3	14	12
done	14	12
0	7	8
1	8	8
done	8	8
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	6	7
1	7	7
done	7	7
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	6	7
1	7	7
done	7	7
0	8	13
1	11	13
done	11	13
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	5	5
1	7	3
2	9	3
done	9	3
0	6	7
1	7	7
done	7	7
0	5	5
1	7	3
2	9	3
done	9	3
0	6	7
1	7	7
done	7	7
0	7	11
1	12	11
done	12	11
0	6	7
1	9	7
done	9	7
0	6	6
1	9	6
done	9	6
0	6	7
1	9	7
done	9	7
0	2	3
1	4	1
done	4	1
0	5	6
1	8	6
done	8	6
0	2	3
1	4	1
done	4	1
0	5	6
1	8	6
done	8	6
0	7	11
1	10	11
done	10	11
0	5	6
1	6	6
done	6	6
0	6	6
1	7	6
done	7	6
0	5	6
1	6	6
done	6	6
0	3	3
1	5	1
done	5	1
0	4	5
1	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	4	5
1	5	5
done	5	5
0	9	16
1	17	16
2	34	16
3	57	16
4	69	16
done	69	16
0	6	7
1	7	7
done	7	7
0	8	11
1	14	11
2	19	11
3	24	11
4	28	11
done	28	11
0	6	7
1	7	7
done	7	7
0	6	8
1	13	6
2	22	6
3	32	6
4	46	6
done	46	6
0	5	6
1	6	6
done	6	6
0	6	8
1	13	6
2	22	6
3	32	6
4	46	6
done	46	6
0	5	6
1	6	6
done	6	6
0	8	13
1	13	13
2	16	13
done	16	13
0	6	7
1	7	7
done	7	7
0	7	8
1	10	8
done	10	8
0	6	7
1	7	7
done	7	7
0	5	5
1	9	3
2	13	3
done	13	3
0	5	6
1	6	6
done	6	6
0	5	5
1	9	3
2	13	3
done	13	3
0	5	6
1	6	6
done	6	6
0	8	12
1	16	11
2	18	11
3	20	11
done	20	11
0	5	6
1	6	6
done	6	6
0	7	7
1	13	6
done	13	6
0	5	6
1	6	6
done	6	6
0	3	4
1	8	1
done	8	1
0	4	5
1	5	5
done	5	5
0	3	4
1	8	1
done	8	1
0	4	5
1	5	5
done	5	5
0	8	15
1	15	15
2	24	15
3	30	15
done	30	15
0	7	8
1	10	8
done	10	8
0	7	10
1	10	10
2	12	10
3	13	10
done	13	10
0	7	8
1	10	8
done	10	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	7
1	9	7
done	9	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	7
1	9	7
done	9	7
0	7	12
1	10	12
done	10	12
0	7	8
1	10	8
done	10	8
0	6	7
1	7	7
done	7	7
0	7	8
1	10	8
done	10	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	7
1	9	7
done	9	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	7
1	9	7
done	9	7
0	7	11
1	12	11
done	12	11
0	6	7
1	9	7
done	9	7
0	6	6
1	9	6
done	9	6
0	6	7
1	9	7
done	9	7
0	2	3
1	4	1
done	4	1
0	5	6
1	8	6
done	8	6
0	2	3
1	4	1
done	4	1
0	5	6
1	8	6
done	8	6
0	5	5
1	8	5
done	8	5
0	5	6
1	6	6
done	6	6
0	4	5
1	5	5
done	5	5
0	7	12
1	12	12
2	15	12
done	15	12
0	6	7
1	9	7
done	9	7
0	4	4
1	8	2
2	12	2
done	12	2
0	4	4
1	8	2
2	12	2
done	12	2
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	5	6
1	6	6
done	6	6
0	4	5
1	5	5
done	5	5
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	4	5
1	5	5
done	5	5
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	5	6
1	6	6
done	6	6
0	8	10
1	24	10
2	33	10
3	50	10
4	91	10
5	202	10
6	605	10
7	2427	10
done	5000	10
0	7	10
1	14	10
2	25	10
3	46	10
4	73	10
5	114	10
6	169	10
7	337	10
8	1593	10
done	5000	10
0	2	2
1	5	1
done	5	1
0	5	5
1	6	5
done	6	5
0	6	6
1	9	5
2	13	5
3	15	5
4	21	5
5	26	5
done	26	5
0	7	7
1	12	6
2	13	5
3	19	5
4	25	5
5	30	5
done	30	5
0	6	6
1	13	5
2	14	5
3	18	5
4	20	5
5	26	5
6	31	5
done	31	5
0	6	6
1	9	6
done	9	6
0	9	17
1	32	13
2	74	7
3	157	7
4	382	7
5	985	7
6	2182	7
7	3489	7
done	5002	7
0	7	13
1	10	13
done	10	13
0	6	6
1	9	6
done	9	6
0	7	17
1	17	17
2	33	7
3	70	7
4	94	7
5	152	7
6	280	7
7	623	7
8	1646	7
9	4689	7
done	5001	7
0	6	6
1	9	6
done	9	6
0	6	6
1	9	6
done	9	6
0	2	2
1	5	1
done	5	1
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	9	15
1	18	13
2	27	11
3	33	11
done	33	11
0	7	7
1	10	6
done	10	6
0	8	10
1	13	8
2	15	6
3	16	6
done	16	6
0	7	7
1	10	6
done	10	6
0	4	7
1	8	3
2	12	1
done	12	1
0	6	6
1	9	5
done	9	5
0	4	7
1	8	3
2	12	1
done	12	1
0	6	6
1	9	5
done	9	5
0	8	12
1	13	11
done	13	11
0	7	7
1	10	6
done	10	6
0	7	7
1	10	6
done	10	6
0	7	7
1	10	6
done	10	6
0	3	4
1	5	1
done	5	1
0	6	6
1	9	5
done	9	5
0	3	4
1	5	1
done	5	1
0	6	6
1	9	5
done	9	5
0	7	11
1	12	11
done	12	11
0	6	6
1	9	6
done	9	6
0	6	6
1	9	6
done	9	6
0	6	6
1	9	6
done	9	6
0	2	3
1	4	1
done	4	1
0	5	5
1	8	5
done	8	5
0	2	3
1	4	1
done	4	1
0	5	5
1	8	5
done	8	5
0	5	5
1	8	5
done	8	5
0	5	5
1	8	3
2	10	3
done	10	3
0	7	11
1	12	11
done	12	11
0	6	6
1	9	6
done	9	6
0	2	3
1	4	1
done	4	1
0	2	3
1	4	1
done	4	1
0	6	6
1	9	5
done	9	5
0	6	6
1	9	5
done	9	5
0	5	5
1	8	3
2	10	3
done	10	3
0	8	9
1	24	9
2	33	9
3	50	9
4	91	9
5	201	9
6	602	9
7	2419	9
done	5000	9
0	7	9
1	14	9
2	23	9
3	40	9
4	65	9
5	106	9
6	164	9
7	332	9
8	1645	9
done	5000	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune210.0ms

Filtered

154 candidates to 239 candidates (-55.2%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	239	0	239
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	239	8	247

Merged error: 0.0b

Counts

247 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt v)
0.6b	(cbrt v)
0.6b	(cbrt v)
0.9b	(* (* (cbrt v) (cbrt v)) (/ (neg t1) (+ t1 u)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

50×	`*-un-lft-identity`
46×	`associate-r`
41×	`times-frac`
33×	`add-sqr-sqrt`
30×	`add-cube-cbrt`
16×	`add-exp-log`
12×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `add-cbrt-cube`
10×	`distribute-lft-out`
9×	`pow1` `cbrt-prod`
6×	`prod-exp` `cbrt-unprod`
4×	`neg-mul-1` `add-log-exp`
3×	`pow1/3` `pow-prod-down`
2×	`cbrt-undiv` `div-exp` `associate-/r/` `unswap-sqr`
1×	`flip3-+` `associate-r/` `distribute-frac-neg` `associate-l` `-commutative` `distribute-rgt-neg-out` `flip-+` `div-inv`

Counts

4 → 102

Calls

4 calls:

1.0ms	(cbrt v)
2.0ms	(cbrt v)
2.0ms	(cbrt v)
25.0ms	(* (* (cbrt v) (cbrt v)) (/ (neg t1) (+ t1 u)))

series131.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt v)
32.0ms	(cbrt v)
26.0ms	(cbrt v)
46.0ms	(* (* (cbrt v) (cbrt v)) (/ (neg t1) (+ t1 u)))

simplify1.2min

Counts

114 → 114

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	12
1	17	12
2	33	12
3	59	12
4	90	12
5	122	12
6	145	12
7	153	12
done	153	12
0	9	12
1	17	12
2	33	12
3	59	12
4	90	12
5	122	12
6	145	12
7	153	12
done	153	12
0	12	16
1	22	14
2	36	14
3	58	14
4	82	14
5	121	14
6	189	14
7	243	14
8	324	14
9	375	14
10	377	14
done	377	14
0	11	15
1	22	13
2	33	13
3	52	13
4	86	13
5	123	13
6	183	13
7	229	13
8	300	13
9	385	13
10	390	13
done	390	13
0	12	15
1	20	15
2	35	14
3	60	14
4	85	14
5	122	14
6	189	14
7	240	14
8	319	14
9	370	14
10	372	14
done	372	14
0	11	14
1	20	14
2	32	13
3	51	13
4	82	13
5	118	13
6	176	13
7	214	13
8	282	13
9	372	13
10	380	13
done	380	13
0	10	13
1	21	13
2	47	13
3	93	13
4	170	13
5	280	13
6	420	13
7	606	13
8	725	13
9	959	13
10	1086	13
11	1110	13
done	1110	13
0	10	13
1	20	13
2	45	13
3	96	13
4	211	13
5	475	13
6	1190	13
7	3584	13
done	5001	13
0	12	24
1	46	22
2	172	14
3	736	12
4	2756	12
done	5000	12
0	10	24
1	25	24
2	87	12
3	332	12
4	1240	12
5	4085	12
done	5001	12
0	15	38
1	57	36
2	214	18
3	1145	12
done	5000	12
0	13	38
1	36	38
2	133	16
3	583	12
4	2930	12
done	5001	12
0	11	27
1	19	27
2	35	27
3	61	27
4	92	27
5	124	27
6	147	27
7	155	27
done	155	27
0	10	13
1	18	13
2	34	13
3	60	13
4	91	13
5	123	13
6	146	13
7	154	13
done	154	13
0	11	38
1	29	38
2	127	14
3	676	14
4	3714	12
done	5000	12
0	10	13
1	18	13
2	34	13
3	60	13
4	91	13
5	123	13
6	146	13
7	154	13
done	154	13
0	10	13
1	18	13
2	34	13
3	60	13
4	91	13
5	123	13
6	146	13
7	154	13
done	154	13
0	9	10
1	13	10
done	13	10
0	9	10
1	13	10
done	13	10
0	10	11
1	14	11
2	17	11
3	21	11
4	22	11
done	22	11
0	10	11
1	14	11
2	17	11
3	21	11
4	22	11
done	22	11
0	8	11
1	14	11
2	22	11
3	33	11
4	43	11
5	48	11
done	48	11
0	11	21
1	21	21
2	32	21
done	32	21
0	10	13
1	16	13
2	18	13
done	18	13
0	13	23
1	25	23
2	69	23
3	156	23
4	309	23
5	379	23
6	385	23
done	385	23
0	12	18
1	20	18
2	38	18
3	77	18
4	121	18
5	133	18
6	135	18
done	135	18
0	10	15
1	19	13
2	47	13
3	117	13
4	224	13
5	285	13
done	285	13
0	10	15
1	19	13
2	47	13
3	117	13
4	224	13
5	285	13
done	285	13
0	12	19
1	20	19
2	38	19
3	74	19
4	119	19
5	146	19
6	147	19
done	147	19
0	11	14
1	17	14
2	25	14
3	36	14
4	46	14
5	51	14
done	51	14
0	9	11
1	16	9
2	28	9
3	50	9
4	80	9
5	99	9
done	99	9
0	9	11
1	16	9
2	28	9
3	50	9
4	80	9
5	99	9
done	99	9
0	11	17
1	21	17
2	38	15
3	100	15
4	146	15
5	150	15
done	150	15
0	10	12
1	18	12
2	26	10
3	58	10
4	69	10
done	69	10
0	6	9
1	13	7
2	22	5
3	35	5
4	54	5
done	54	5
0	6	9
1	13	7
2	22	5
3	35	5
4	54	5
done	54	5
0	11	17
1	19	17
2	37	17
3	73	16
4	123	16
5	152	16
6	153	16
done	153	16
0	10	12
1	16	12
2	24	12
3	36	11
4	50	11
5	56	11
6	57	11
done	57	11
0	7	9
1	14	7
2	25	6
3	44	6
4	71	6
5	86	6
6	92	6
7	96	6
done	96	6
0	7	9
1	14	7
2	25	6
3	44	6
4	71	6
5	86	6
6	92	6
7	96	6
done	96	6
0	13	22
1	26	22
2	73	22
3	218	22
4	565	22
5	1050	22
6	1288	22
7	1328	22
done	1328	22
0	12	17
1	23	17
2	48	17
3	104	17
4	232	17
5	366	17
6	426	17
7	442	17
done	442	17
0	10	14
1	22	12
2	65	12
3	153	12
4	445	12
5	696	12
6	732	12
done	732	12
0	10	14
1	22	12
2	65	12
3	153	12
4	445	12
5	696	12
6	732	12
done	732	12
0	12	19
1	22	19
2	51	19
3	113	19
4	216	19
5	343	19
6	422	19
7	443	19
done	443	19
0	11	14
1	19	14
2	35	14
3	61	14
4	92	14
5	124	14
6	146	14
7	154	14
done	154	14
0	9	11
1	18	9
2	44	9
3	78	9
4	137	9
5	208	9
6	221	9
done	221	9
0	9	11
1	18	9
2	44	9
3	78	9
4	137	9
5	208	9
6	221	9
done	221	9
0	12	18
1	25	17
2	51	17
3	107	16
4	225	16
5	439	16
6	565	16
7	570	16
done	570	16
0	11	13
1	22	12
2	36	12
3	61	11
4	109	11
5	189	11
6	202	11
7	205	11
done	205	11
0	7	10
1	17	7
2	28	6
3	47	6
4	74	6
5	88	6
6	94	6
done	94	6
0	7	10
1	17	7
2	28	6
3	47	6
4	74	6
5	88	6
6	94	6
done	94	6
0	12	21
1	24	21
2	68	21
3	154	21
4	306	21
5	376	21
6	382	21
done	382	21
0	11	16
1	19	16
2	37	16
3	76	16
4	120	16
5	132	16
6	134	16
done	134	16
0	9	13
1	18	11
2	46	11
3	116	11
4	219	11
5	274	11
done	274	11
0	9	13
1	18	11
2	46	11
3	116	11
4	219	11
5	274	11
done	274	11
0	11	18
1	19	18
2	37	18
3	72	18
4	117	18
5	144	18
6	146	18
done	146	18
0	10	13
1	16	13
2	24	13
3	35	13
4	45	13
5	50	13
6	51	13
done	51	13
0	8	10
1	15	8
2	27	8
3	49	8
4	79	8
5	99	8
done	99	8
0	8	10
1	15	8
2	27	8
3	49	8
4	79	8
5	99	8
done	99	8
0	11	17
1	21	17
2	38	15
3	100	15
4	146	15
5	150	15
done	150	15
0	10	12
1	18	12
2	26	10
3	58	10
4	69	10
done	69	10
0	6	9
1	13	7
2	22	5
3	35	5
4	54	5
done	54	5
0	6	9
1	13	7
2	22	5
3	35	5
4	54	5
done	54	5
0	5	7
1	10	5
2	18	5
done	18	5
0	6	8
1	11	8
2	19	8
3	27	8
4	29	8
done	29	8
0	12	16
1	33	16
2	58	16
3	101	16
4	173	16
5	318	16
6	763	16
7	2648	16
done	5000	16
0	11	16
1	23	16
2	55	16
3	151	16
4	377	16
5	755	16
6	1279	16
7	2130	14
done	5000	14
0	8	9
1	14	9
2	23	9
3	33	9
4	41	9
5	48	9
6	50	9
done	50	9
0	6	8
1	11	8
2	19	8
3	27	8
4	29	8
done	29	8
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2

prune90.0ms

Filtered

74 candidates to 114 candidates (-54.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	113	1	114
Fresh	1	4	5
Picked	1	0	1
Done	0	2	2
Total	115	7	122

Merged error: 0b

Counts

122 → 7

regimes180.0ms

Accuracy

0% (1.3b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	12	12
2	16	12
3	19	12
4	21	12
done	21	12

end0.0ms

sample664.0ms

Algorithm

intervals

Results

322.0ms

8273×

body

valid

Details

sample30.0ms

simplify2.5s

prune5.0ms

localize9.0ms

rewrite28.0ms

series39.0ms

simplify2.0min

prune111.0ms

localize8.0ms

rewrite56.0ms

series39.0ms

simplify3.0min

prune189.0ms

localize14.0ms

rewrite56.0ms

series50.0ms

simplify7.5min

prune210.0ms

localize11.0ms

rewrite35.0ms

series131.0ms

simplify1.2min

prune90.0ms

regimes180.0ms

bsearch0.0ms

simplify4.0ms

end0.0ms

sample664.0ms

Profiling