Details

sample35.0ms

Algorithm

intervals

Results

26.0ms

256×

body

valid

simplify5.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	35
1	20	35
2	44	35
3	119	35
4	300	35
5	495	35
6	613	35
7	829	35
8	1175	35
9	4162	35
done	5001	35

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.0b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* 2.0 t) (+ 1.0 t))
0.0b	(/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
0.0b	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
0.0b	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

83×	`add-exp-log` `add-cbrt-cube`
62×	`*-un-lft-identity`
53×	`times-frac`
34×	`add-sqr-sqrt`
31×	`prod-exp` `cbrt-unprod`
30×	`add-cube-cbrt`
27×	`cbrt-undiv` `div-exp`
24×	`swap-sqr`
20×	`associate-r` `associate-l` `associate-/r/`
18×	`pow1`
14×	`distribute-lft-out`
11×	`flip3-+` `flip-+`
10×	`div-inv`
7×	`associate-/r*`
4×	`associate-/l*` `add-log-exp`
2×	`pow2` `frac-times` `frac-2neg` `pow-plus` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `pow-sqr` `*-commutative` `pow-prod-up` `associate-/l/` `unswap-sqr`

Counts

4 → 190

Calls

4 calls:

7.0ms	(/ (* 2.0 t) (+ 1.0 t))
8.0ms	(/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
18.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
18.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))

series20.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ (* 2.0 t) (+ 1.0 t))
9.0ms	(/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
4.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
4.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))

simplify11.1min

Counts

202 → 202

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	3
1	6	1
done	6	1
0	7	15
1	15	15
2	39	15
3	118	15
4	299	15
5	494	15
6	607	15
7	815	15
8	1160	15
9	4584	15
done	5001	15
0	2	3
1	6	1
done	6	1
0	10	21
1	22	12
2	69	12
3	200	12
4	504	12
5	1220	12
6	1647	12
7	1894	12
8	1896	12
done	1896	12
0	13	20
1	26	19
2	60	19
3	174	11
4	484	11
5	1162	11
6	1567	11
7	1819	11
8	1821	11
done	1821	11
0	13	19
1	27	19
2	64	17
3	182	10
4	605	10
5	1408	10
6	1793	10
7	2020	10
8	2021	10
done	2021	10
0	13	20
1	26	19
2	60	19
3	174	11
4	488	11
5	1167	11
6	1569	11
7	1817	11
8	1819	11
done	1819	11
0	9	19
1	22	11
2	51	11
3	146	11
4	402	11
5	937	11
6	1509	11
7	1882	11
8	1948	11
done	1948	11
0	11	18
1	23	17
2	49	17
3	135	10
4	492	10
5	1272	10
6	1797	10
7	2205	10
8	2270	10
done	2270	10
0	13	19
1	27	19
2	60	17
3	174	10
4	544	10
5	1213	10
6	2129	10
7	2421	10
8	2428	10
done	2428	10
0	11	18
1	23	17
2	45	17
3	132	10
4	459	10
5	1141	10
6	2032	10
7	2416	10
8	2470	10
done	2470	10
0	8	17
1	17	10
2	34	10
3	86	10
4	291	10
5	859	10
6	1766	10
7	2188	10
8	2325	10
done	2325	10
0	8	16
1	18	16
2	52	10
3	165	10
4	552	10
5	1347	10
6	2514	10
7	3402	10
8	4009	10
done	5000	10
0	8	16
1	18	16
2	46	16
3	136	16
4	392	16
5	806	16
6	1594	16
done	5000	16
0	13	47
1	45	47
2	227	27
3	1917	27
done	5000	27
0	17	47
1	66	47
2	342	23
3	3033	17
done	5001	17
0	17	47
1	60	47
2	282	23
3	1807	23
done	5000	19
0	17	47
1	66	47
2	342	23
3	3024	17
done	5001	17
0	11	47
1	47	47
2	229	23
3	1954	17
done	5001	17
0	14	47
1	59	47
2	266	19
3	2006	9
done	5000	9
0	17	47
1	60	47
2	283	23
3	1818	23
done	5000	19
0	14	47
1	59	47
2	267	19
3	1978	9
done	5000	9
0	9	47
1	26	47
2	100	19
3	530	9
4	3964	9
done	5001	9
0	9	33
1	17	33
2	41	33
3	116	33
4	295	33
5	489	33
6	602	33
7	804	33
8	1152	33
9	4600	33
done	5000	33
0	8	16
1	16	16
2	40	16
3	115	16
4	296	16
5	483	16
6	595	16
7	796	16
8	1145	16
9	4607	16
done	5001	16
0	9	47
1	25	47
2	94	17
3	508	9
4	3308	9
done	5000	9
0	8	16
1	17	8
2	41	8
3	116	8
4	295	8
5	483	8
6	596	8
7	800	8
8	1147	8
9	4593	8
done	5000	8
0	8	16
1	17	8
2	41	8
3	116	8
4	295	8
5	483	8
6	596	8
7	800	8
8	1147	8
9	4593	8
done	5000	8
0	4	7
1	12	7
2	23	7
done	23	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	9	35
1	17	35
2	23	19
3	35	10
4	72	10
5	126	10
6	212	10
7	427	10
8	1387	10
done	5000	10
0	8	17
1	12	17
2	16	17
3	19	17
4	20	17
done	20	17
0	8	17
1	12	7
2	17	7
3	20	7
4	21	7
done	21	7
0	8	17
1	12	7
2	17	7
3	20	7
4	21	7
done	21	7
0	8	23
1	15	23
2	34	23
3	69	23
4	109	15
5	119	10
6	167	10
7	260	10
8	578	10
9	1687	10
done	5001	10
0	6	13
1	11	13
2	17	13
3	24	13
4	29	13
done	29	13
0	7	13
1	12	13
2	18	13
3	25	13
4	30	7
5	31	7
done	31	7
0	6	13
1	11	13
2	17	13
3	24	13
4	29	7
5	30	7
done	30	7
0	4	7
1	10	3
2	14	3
3	16	3
4	19	3
done	19	3
0	5	11
1	10	11
2	16	11
3	23	11
4	44	11
5	57	11
6	79	11
7	102	11
8	142	11
9	406	11
10	1361	11
done	5001	11
0	4	7
1	10	3
2	14	3
3	16	3
4	19	3
done	19	3
0	5	11
1	10	11
2	16	11
3	23	11
4	44	11
5	57	11
6	79	11
7	102	11
8	142	11
9	406	11
10	1361	11
done	5001	11
0	4	7
1	10	3
2	14	3
3	16	3
4	19	3
done	19	3
0	5	11
1	10	11
2	16	11
3	23	11
4	44	11
5	57	11
6	79	11
7	102	11
8	142	11
9	406	11
10	1361	11
done	5001	11
0	4	7
1	10	3
2	14	3
3	16	3
4	19	3
done	19	3
0	5	11
1	10	11
2	16	11
3	23	11
4	44	11
5	57	11
6	79	11
7	102	11
8	142	11
9	406	11
10	1361	11
done	5001	11
0	2	3
1	4	1
done	4	1
0	7	15
1	15	15
2	39	15
3	118	15
4	299	15
5	494	15
6	607	15
7	815	15
8	1160	15
9	4584	15
done	5001	15
0	4	7
1	12	7
2	23	7
done	23	7
0	6	11
1	13	11
2	19	9
3	30	9
4	38	9
5	52	9
6	74	9
7	113	9
8	173	9
9	180	9
10	182	9
done	182	9
0	10	23
1	31	23
2	64	23
3	157	23
4	379	23
5	782	23
6	2834	23
done	5001	23
0	8	23
1	22	19
2	64	19
3	247	19
4	913	19
5	3506	19
done	5000	19
0	9	23
1	21	23
2	71	23
3	351	23
4	1882	23
done	5001	23
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	8	17
1	12	7
2	17	7
3	20	7
4	21	7
done	21	7
0	8	17
1	12	7
2	17	7
3	20	7
4	21	7
done	21	7
0	3	3
1	6	1
done	6	1
0	9	25
1	18	25
2	39	25
3	90	25
4	158	25
5	195	25
6	213	25
7	216	25
done	216	25
0	8	16
1	15	16
2	29	16
3	55	16
4	78	16
5	87	16
6	89	16
done	89	16
0	10	19
1	21	19
2	53	19
3	157	19
4	426	19
5	728	19
6	880	19
7	1007	19
8	1196	19
9	1299	19
done	5000	19
0	9	14
1	18	14
2	40	14
3	97	14
4	210	14
5	277	14
6	319	14
7	356	14
8	417	14
9	467	14
10	1735	14
done	5001	14
0	9	11
1	20	9
2	37	9
3	103	9
4	268	9
5	375	9
6	426	9
7	789	9
8	3598	9
done	5000	9
0	9	11
1	20	9
2	37	9
3	103	9
4	268	9
5	375	9
6	426	9
7	789	9
8	3598	9
done	5000	9
0	8	9
1	17	7
2	38	7
3	81	7
4	93	7
5	106	7
6	110	7
done	110	7
0	7	11
1	16	11
2	44	11
3	86	11
4	122	11
5	132	11
done	132	11
0	12	19
1	37	19
2	81	19
3	213	19
4	572	19
5	1145	19
6	3182	19
done	5000	19
0	11	19
1	26	19
2	82	19
3	315	19
4	1174	19
5	2845	17
done	5000	17
0	8	16
1	15	16
2	29	16
3	50	16
4	79	16
5	90	16
done	90	16
0	8	16
1	15	16
2	29	16
3	50	16
4	79	16
5	90	16
done	90	16
0	9	14
1	18	14
2	39	14
3	89	14
4	196	14
5	284	14
6	334	14
7	391	14
8	437	14
9	1686	14
done	5000	14
0	9	14
1	18	14
2	39	14
3	89	14
4	196	14
5	284	14
6	334	14
7	391	14
8	437	14
9	1686	14
done	5000	14
0	8	13
1	17	13
2	37	13
3	76	13
4	150	13
5	211	13
6	267	13
7	351	13
8	460	13
9	1809	13
done	5000	13
0	8	13
1	17	13
2	37	13
3	76	13
4	150	13
5	211	13
6	267	13
7	351	13
8	460	13
9	1809	13
done	5000	13
0	7	15
1	15	15
2	39	15
3	118	15
4	299	15
5	494	15
6	607	15
7	815	15
8	1160	15
9	4584	15
done	5001	15
0	9	13
1	20	13
2	41	11
3	149	11
4	368	11
5	432	11
6	505	11
7	726	11
8	2349	11
done	5001	11
0	12	19
1	27	17
2	64	17
3	194	17
4	579	17
5	1281	17
6	2302	17
7	3391	17
done	5000	17
0	8	11
1	17	11
2	38	11
3	105	11
4	214	11
5	302	11
6	335	11
7	336	11
done	336	11
0	7	11
1	16	11
2	44	11
3	86	11
4	122	11
5	132	11
done	132	11
0	7	11
1	16	11
2	44	11
3	86	11
4	119	11
5	131	11
done	131	11
0	2	3
1	6	1
done	6	1
0	7	15
1	15	15
2	39	15
3	118	15
4	299	15
5	494	15
6	607	15
7	815	15
8	1160	15
9	4584	15
done	5001	15
0	2	3
1	6	1
done	6	1
0	10	21
1	22	12
2	69	12
3	200	12
4	504	12
5	1220	12
6	1647	12
7	1894	12
8	1896	12
done	1896	12
0	13	20
1	26	19
2	60	19
3	174	11
4	484	11
5	1162	11
6	1567	11
7	1819	11
8	1821	11
done	1821	11
0	13	19
1	27	19
2	64	17
3	182	10
4	605	10
5	1408	10
6	1793	10
7	2020	10
8	2021	10
done	2021	10
0	13	20
1	26	19
2	60	19
3	174	11
4	488	11
5	1167	11
6	1569	11
7	1817	11
8	1819	11
done	1819	11
0	9	19
1	22	11
2	51	11
3	146	11
4	402	11
5	937	11
6	1509	11
7	1882	11
8	1948	11
done	1948	11
0	11	18
1	23	17
2	49	17
3	135	10
4	492	10
5	1272	10
6	1797	10
7	2205	10
8	2270	10
done	2270	10
0	13	19
1	27	19
2	60	17
3	174	10
4	544	10
5	1213	10
6	2129	10
7	2421	10
8	2428	10
done	2428	10
0	11	18
1	23	17
2	45	17
3	132	10
4	459	10
5	1141	10
6	2032	10
7	2416	10
8	2470	10
done	2470	10
0	8	17
1	17	10
2	34	10
3	86	10
4	291	10
5	859	10
6	1766	10
7	2188	10
8	2325	10
done	2325	10
0	8	16
1	18	16
2	52	10
3	165	10
4	552	10
5	1347	10
6	2514	10
7	3402	10
8	4009	10
done	5000	10
0	8	16
1	18	16
2	46	16
3	136	16
4	392	16
5	806	16
6	1594	16
done	5000	16
0	13	47
1	45	47
2	227	27
3	1917	27
done	5000	27
0	17	47
1	66	47
2	342	23
3	3033	17
done	5001	17
0	17	47
1	60	47
2	282	23
3	1807	23
done	5000	19
0	17	47
1	66	47
2	342	23
3	3024	17
done	5001	17
0	11	47
1	47	47
2	229	23
3	1954	17
done	5001	17
0	14	47
1	59	47
2	266	19
3	2006	9
done	5000	9
0	17	47
1	60	47
2	283	23
3	1818	23
done	5000	19
0	14	47
1	59	47
2	267	19
3	1978	9
done	5000	9
0	9	47
1	26	47
2	100	19
3	530	9
4	3964	9
done	5001	9
0	9	33
1	17	33
2	41	33
3	116	33
4	295	33
5	489	33
6	602	33
7	804	33
8	1152	33
9	4600	33
done	5000	33
0	8	16
1	16	16
2	40	16
3	115	16
4	296	16
5	483	16
6	595	16
7	796	16
8	1145	16
9	4607	16
done	5001	16
0	9	47
1	25	47
2	94	17
3	508	9
4	3308	9
done	5000	9
0	8	16
1	17	8
2	41	8
3	116	8
4	295	8
5	483	8
6	596	8
7	800	8
8	1147	8
9	4593	8
done	5000	8
0	8	16
1	17	8
2	41	8
3	116	8
4	295	8
5	483	8
6	596	8
7	800	8
8	1147	8
9	4593	8
done	5000	8
0	4	7
1	12	7
2	23	7
done	23	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	9	35
1	17	35
2	23	19
3	35	10
4	72	10
5	126	10
6	212	10
7	427	10
8	1387	10
done	5000	10
0	8	17
1	12	17
2	16	17
3	19	17
4	20	17
done	20	17
0	8	17
1	12	7
2	17	7
3	20	7
4	21	7
done	21	7
0	8	17
1	12	7
2	17	7
3	20	7
4	21	7
done	21	7
0	8	23
1	15	23
2	34	23
3	69	23
4	109	15
5	119	10
6	167	10
7	260	10
8	578	10
9	1687	10
done	5001	10
0	6	13
1	11	13
2	17	13
3	24	13
4	29	13
done	29	13
0	7	13
1	12	13
2	18	13
3	25	13
4	30	7
5	31	7
done	31	7
0	6	13
1	11	13
2	17	13
3	24	13
4	29	7
5	30	7
done	30	7
0	4	7
1	10	3
2	14	3
3	16	3
4	19	3
done	19	3
0	5	11
1	10	11
2	16	11
3	23	11
4	44	11
5	57	11
6	79	11
7	102	11
8	142	11
9	406	11
10	1361	11
done	5001	11
0	4	7
1	10	3
2	14	3
3	16	3
4	19	3
done	19	3
0	5	11
1	10	11
2	16	11
3	23	11
4	44	11
5	57	11
6	79	11
7	102	11
8	142	11
9	406	11
10	1361	11
done	5001	11
0	4	7
1	10	3
2	14	3
3	16	3
4	19	3
done	19	3
0	5	11
1	10	11
2	16	11
3	23	11
4	44	11
5	57	11
6	79	11
7	102	11
8	142	11
9	406	11
10	1361	11
done	5001	11
0	4	7
1	10	3
2	14	3
3	16	3
4	19	3
done	19	3
0	5	11
1	10	11
2	16	11
3	23	11
4	44	11
5	57	11
6	79	11
7	102	11
8	142	11
9	406	11
10	1361	11
done	5001	11
0	2	3
1	4	1
done	4	1
0	7	15
1	15	15
2	39	15
3	118	15
4	299	15
5	494	15
6	607	15
7	815	15
8	1160	15
9	4584	15
done	5001	15
0	4	7
1	12	7
2	23	7
done	23	7
0	6	11
1	13	11
2	19	9
3	30	9
4	38	9
5	52	9
6	74	9
7	113	9
8	173	9
9	180	9
10	182	9
done	182	9
0	10	23
1	31	23
2	64	23
3	157	23
4	379	23
5	782	23
6	2834	23
done	5001	23
0	8	23
1	22	19
2	64	19
3	247	19
4	913	19
5	3506	19
done	5000	19
0	9	23
1	21	23
2	71	23
3	351	23
4	1882	23
done	5001	23
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	8	17
1	12	7
2	17	7
3	20	7
4	21	7
done	21	7
0	8	17
1	12	7
2	17	7
3	20	7
4	21	7
done	21	7
0	3	3
1	6	1
done	6	1
0	9	25
1	18	25
2	39	25
3	90	25
4	158	25
5	195	25
6	213	25
7	216	25
done	216	25
0	8	16
1	15	16
2	29	16
3	55	16
4	78	16
5	87	16
6	89	16
done	89	16
0	10	19
1	21	19
2	53	19
3	157	19
4	426	19
5	728	19
6	880	19
7	1007	19
8	1196	19
9	1299	19
done	5000	19
0	9	14
1	18	14
2	40	14
3	97	14
4	210	14
5	277	14
6	319	14
7	356	14
8	417	14
9	467	14
10	1735	14
done	5001	14
0	9	11
1	20	9
2	37	9
3	103	9
4	268	9
5	375	9
6	426	9
7	789	9
8	3598	9
done	5000	9
0	9	11
1	20	9
2	37	9
3	103	9
4	268	9
5	375	9
6	426	9
7	789	9
8	3598	9
done	5000	9
0	8	9
1	17	7
2	38	7
3	81	7
4	93	7
5	106	7
6	110	7
done	110	7
0	7	11
1	16	11
2	44	11
3	86	11
4	122	11
5	132	11
done	132	11
0	12	19
1	37	19
2	81	19
3	213	19
4	572	19
5	1145	19
6	3182	19
done	5000	19
0	11	19
1	26	19
2	82	19
3	315	19
4	1174	19
5	2845	17
done	5000	17
0	8	16
1	15	16
2	29	16
3	50	16
4	79	16
5	90	16
done	90	16
0	8	16
1	15	16
2	29	16
3	50	16
4	79	16
5	90	16
done	90	16
0	9	14
1	18	14
2	39	14
3	89	14
4	196	14
5	284	14
6	334	14
7	391	14
8	437	14
9	1686	14
done	5000	14
0	9	14
1	18	14
2	39	14
3	89	14
4	196	14
5	284	14
6	334	14
7	391	14
8	437	14
9	1686	14
done	5000	14
0	8	13
1	17	13
2	37	13
3	76	13
4	150	13
5	211	13
6	267	13
7	351	13
8	460	13
9	1809	13
done	5000	13
0	8	13
1	17	13
2	37	13
3	76	13
4	150	13
5	211	13
6	267	13
7	351	13
8	460	13
9	1809	13
done	5000	13
0	7	15
1	15	15
2	39	15
3	118	15
4	299	15
5	494	15
6	607	15
7	815	15
8	1160	15
9	4584	15
done	5001	15
0	9	13
1	20	13
2	41	11
3	149	11
4	368	11
5	432	11
6	505	11
7	726	11
8	2349	11
done	5001	11
0	12	19
1	27	17
2	64	17
3	194	17
4	579	17
5	1281	17
6	2302	17
7	3391	17
done	5000	17
0	8	11
1	17	11
2	38	11
3	105	11
4	214	11
5	302	11
6	335	11
7	336	11
done	336	11
0	7	11
1	16	11
2	44	11
3	86	11
4	122	11
5	132	11
done	132	11
0	7	11
1	16	11
2	44	11
3	86	11
4	119	11
5	131	11
done	131	11
0	12	37
1	24	37
2	49	37
3	128	37
4	310	37
5	494	37
6	613	37
7	824	37
8	1180	37
9	4205	37
done	5000	37
0	11	36
1	24	36
2	50	36
3	126	36
4	309	36
5	500	36
6	621	36
7	843	36
8	1197	36
9	4202	36
done	5001	36
0	11	36
1	21	36
2	45	36
3	120	36
4	298	36
5	496	36
6	614	36
7	824	36
8	1169	36
9	4201	36
done	5000	36
0	14	107
1	57	107
2	208	39
3	934	37
done	5000	37
0	12	73
1	22	73
2	46	73
3	123	73
4	304	73
5	508	73
6	627	73
7	837	73
8	1178	73
9	4176	73
done	5000	73
0	11	36
1	21	36
2	45	36
3	120	36
4	298	36
5	496	36
6	614	36
7	824	36
8	1169	36
9	4201	36
done	5000	36
0	12	107
1	29	107
2	85	37
3	270	37
4	1137	37
done	5000	37
0	11	36
1	21	36
2	45	36
3	120	36
4	298	36
5	496	36
6	614	36
7	824	36
8	1169	36
9	4201	36
done	5000	36
0	11	36
1	21	36
2	45	36
3	120	36
4	298	36
5	496	36
6	614	36
7	824	36
8	1169	36
9	4201	36
done	5000	36
0	9	18
1	21	18
2	52	18
3	173	18
4	557	18
5	1214	18
6	1601	18
7	1927	18
8	2585	18
done	5001	18
0	9	18
1	21	18
2	52	18
3	172	18
4	555	18
5	1210	18
6	1631	18
7	1960	18
8	2625	17
done	5001	17
0	14	75
1	30	75
2	63	75
3	144	75
4	324	75
5	511	75
6	627	75
7	833	75
8	1176	75
9	4171	75
done	5000	75
0	12	37
1	22	37
2	46	37
3	123	37
4	304	37
5	508	37
6	625	37
7	837	37
8	1177	37
9	4189	37
done	5000	37
0	13	56
1	25	56
2	51	56
3	127	56
4	306	56
5	497	56
6	614	56
7	823	56
8	1167	56
9	4175	56
done	5000	56
0	12	37
1	22	37
2	46	37
3	123	37
4	304	37
5	508	37
6	625	37
7	837	37
8	1177	37
9	4189	37
done	5000	37
0	12	39
1	25	37
2	55	37
3	135	37
4	316	37
5	511	37
6	624	37
7	826	37
8	1162	37
9	4255	37
done	5000	37
0	11	36
1	21	36
2	45	36
3	120	36
4	298	36
5	496	36
6	614	36
7	824	36
8	1169	36
9	4201	36
done	5000	36
0	13	56
1	25	56
2	49	56
3	126	56
4	303	56
5	499	56
6	616	56
7	824	56
8	1171	56
9	4155	56
done	5000	56
0	12	37
1	22	37
2	46	37
3	123	37
4	304	37
5	508	37
6	625	37
7	837	37
8	1177	37
9	4189	37
done	5000	37
0	12	37
1	22	37
2	46	37
3	123	37
4	304	37
5	508	37
6	625	37
7	837	37
8	1177	37
9	4189	37
done	5000	37
0	12	37
1	22	37
2	46	37
3	123	37
4	304	37
5	508	37
6	625	37
7	837	37
8	1177	37
9	4189	37
done	5000	37
0	11	20
1	22	18
2	48	18
3	125	18
4	309	18
5	508	18
6	621	18
7	827	18
8	1164	18
9	4222	18
done	5000	18
0	11	36
1	21	36
2	45	36
3	120	36
4	298	36
5	496	36
6	614	36
7	824	36
8	1169	36
9	4201	36
done	5000	36
0	12	39
1	25	39
2	49	39
3	124	39
4	305	39
5	497	39
6	612	39
7	818	39
8	1161	39
9	4154	39
done	5001	39
0	11	36
1	21	36
2	45	36
3	120	36
4	298	36
5	496	36
6	612	36
7	819	36
8	1168	36
9	4190	36
done	5001	36
0	11	20
1	22	20
2	46	20
3	121	20
4	299	20
5	487	20
6	602	20
7	808	20
8	1148	20
9	4130	20
done	5000	20
0	11	36
1	21	36
2	45	36
3	120	36
4	298	36
5	496	36
6	612	36
7	819	36
8	1168	36
9	4190	36
done	5001	36
0	2	3
1	4	1
done	4	1
0	10	35
1	20	35
2	44	35
3	119	35
4	300	35
5	495	35
6	613	35
7	829	35
8	1175	35
9	4162	35
done	5001	35
0	10	19
1	21	19
2	45	19
3	122	19
4	306	19
5	500	19
6	616	19
7	825	19
8	1163	19
9	4169	19
done	5000	19
0	10	35
1	20	35
2	44	35
3	119	35
4	300	35
5	495	35
6	613	35
7	830	35
8	1176	35
9	4145	35
done	5001	35
0	12	55
1	24	55
2	48	55
3	125	55
4	304	55
5	503	55
6	620	55
7	837	55
8	1176	55
9	4183	55
done	5001	55
0	11	36
1	21	36
2	45	36
3	120	36
4	298	36
5	496	36
6	612	36
7	819	36
8	1168	36
9	4190	36
done	5001	36
0	10	19
1	21	17
2	47	17
3	122	17
4	302	17
5	493	17
6	606	17
7	805	17
8	1149	17
9	4221	17
done	5001	17
0	11	36
1	21	36
2	45	36
3	120	36
4	299	36
5	494	36
6	612	36
7	824	36
8	1173	36
9	4201	36
done	5001	36
0	11	36
1	21	36
2	45	36
3	120	36
4	299	36
5	494	36
6	612	36
7	824	36
8	1173	36
9	4201	36
done	5001	36
0	10	35
1	20	35
2	44	35
3	119	35
4	300	35
5	495	35
6	613	35
7	830	35
8	1176	35
9	4145	35
done	5001	35
0	13	39
1	38	39
2	101	31
3	436	31
4	3518	31
done	5000	31
0	12	53
1	30	53
2	97	39
3	438	31
4	2657	31
done	5000	31
0	14	71
1	44	55
2	172	49
3	865	47
done	5000	47
0	10	35
1	22	35
2	66	35
3	243	35
4	1193	35
done	5000	35
0	9	10
1	15	10
2	22	10
3	28	10
4	34	10
5	43	10
6	56	10
7	74	10
8	90	10
9	97	10
10	114	10
11	116	10
done	116	10
0	8	9
1	15	9
2	21	9
3	30	9
4	33	9
5	39	9
6	48	9
7	61	9
8	79	9
9	95	9
10	102	9
11	119	9
12	121	9
done	121	9
0	7	8
1	14	8
2	26	8
3	45	8
4	61	8
5	69	8
6	81	8
7	99	8
8	115	8
9	122	8
10	139	8
11	141	8
done	141	8
0	7	8
1	11	8
2	15	8
3	20	8
4	29	8
5	42	8
6	75	8
7	164	8
8	387	8
9	1059	8
10	4173	8
done	5000	8
0	12	23
1	40	23
2	165	13
3	658	13
4	2635	11
done	5000	11
0	10	23
1	42	23
2	172	11
3	792	9
4	2967	9
done	5000	9
0	8	17
1	12	17
2	16	17
3	19	17
4	20	17
done	20	17
0	7	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	8	23
1	19	23
2	60	9
3	239	9
4	1017	9
5	3150	9
done	5001	9
0	7	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	7	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	4	4
1	9	4
2	11	4
done	11	4
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
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	5	5
1	8	5
done	8	5
0	6	7
1	10	7
2	12	7
done	12	7
0	8	13
1	17	13
2	31	13
3	44	13
4	48	13
done	48	13
0	7	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	4	5
1	5	5
done	5	5
0	9	11
1	26	11
2	39	11
3	59	11
4	99	11
5	218	11
6	629	11
7	2460	11
done	5001	11
0	8	11
1	16	11
2	39	11
3	88	11
4	159	11
5	261	9
6	481	9
7	1524	9
done	5000	9
0	15	17
1	37	17
2	104	17
3	202	15
4	475	13
5	1164	13
6	3879	13
done	5000	13
0	13	15
1	30	15
2	66	11
3	121	11
4	256	11
5	719	9
6	3626	9
done	5000	9
0	13	15
1	30	15
2	66	11
3	121	11
4	256	11
5	719	9
6	3626	9
done	5000	9
0	15	17
1	37	17
2	104	17
3	202	15
4	475	13
5	1164	13
6	3879	13
done	5000	13
0	13	15
1	30	15
2	66	11
3	121	11
4	256	11
5	719	9
6	3626	9
done	5000	9
0	13	15
1	30	15
2	66	11
3	121	11
4	256	11
5	719	9
6	3626	9
done	5000	9
0	12	13
1	30	13
2	83	13
3	152	11
4	319	11
5	722	11
6	2147	11
done	5000	11
0	13	15
1	30	15
2	66	11
3	121	11
4	256	11
5	719	9
6	3626	9
done	5000	9
0	13	15
1	30	15
2	66	11
3	121	11
4	256	11
5	719	9
6	3626	9
done	5000	9
0	11	15
1	32	13
2	87	11
3	163	11
4	314	11
5	595	11
6	1447	11
done	5000	11
0	11	15
1	27	15
2	63	11
3	134	11
4	281	11
5	781	9
6	4009	9
done	5000	9
0	11	15
1	27	15
2	63	11
3	134	11
4	281	11
5	781	9
6	4009	9
done	5000	9

prune444.0ms

Filtered

137 candidates to 202 candidates (-47.4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	201	1	202
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	202	1	203

Merged error: 0b

Counts

203 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
0.0b	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
0.0b	(exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
2.2b	(log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-exp-log` `add-cbrt-cube`
49×	`*-un-lft-identity`
40×	`times-frac`
30×	`prod-exp` `cbrt-unprod`
25×	`add-sqr-sqrt`
24×	`cbrt-undiv` `swap-sqr` `div-exp`
21×	`add-cube-cbrt`
20×	`associate-r` `associate-l`
19×	`pow1`
16×	`associate-/r/`
12×	`distribute-lft-out`
8×	`flip3-+` `flip-+` `div-inv`
7×	`add-log-exp`
3×	`log-prod` `log-pow`
2×	`pow2` `frac-times` `exp-prod` `exp-to-pow` `pow-plus` `associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `*-commutative` `pow-prod-up` `unswap-sqr`
1×	`rem-log-exp` `rem-exp-log`

Counts

4 → 158

Calls

4 calls:

22.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
18.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
2.0ms	(exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
3.0ms	(log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))

series17.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
4.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
6.0ms	(exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
4.0ms	(log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))

simplify8.2min

Counts

170 → 170

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	36
1	23	36
2	52	20
3	143	20
4	399	20
5	820	20
6	1615	20
done	5000	20
0	10	18
1	20	18
2	48	18
3	138	18
4	394	18
5	805	18
6	1586	18
done	5001	18
0	10	18
1	20	18
2	48	18
3	139	18
4	395	18
5	814	18
6	1605	18
done	5000	18
0	10	18
1	20	18
2	48	18
3	139	18
4	395	18
5	814	18
6	1605	18
done	5000	18
0	2	2
1	4	1
done	4	1
0	9	17
1	19	15
2	49	15
3	149	15
4	414	15
5	945	15
6	3050	15
done	5001	15
0	8	9
1	12	7
2	16	7
3	21	7
4	32	7
5	52	7
6	102	7
7	249	7
8	720	7
9	2835	7
done	5000	7
0	9	17
1	19	15
2	49	15
3	149	15
4	414	15
5	945	15
6	3050	15
done	5001	15
0	8	9
1	12	7
2	16	7
3	21	7
4	32	7
5	52	7
6	102	7
7	249	7
8	720	7
9	2835	7
done	5000	7
0	10	18
1	20	16
2	55	16
3	185	10
4	593	10
5	1637	10
6	4611	10
done	5000	10
0	10	18
1	20	16
2	50	16
3	150	16
4	415	16
5	961	16
6	3053	16
done	5000	16
0	11	37
1	21	33
2	51	33
3	153	33
4	419	33
5	964	33
6	3065	33
done	5000	33
0	10	18
1	20	16
2	50	16
3	150	16
4	415	16
5	961	16
6	3055	16
done	5001	16
0	11	53
1	22	47
2	72	17
3	370	17
4	2515	9
done	5001	9
0	10	18
1	20	16
2	51	8
3	151	8
4	416	8
5	965	8
6	3070	8
done	5000	8
0	10	18
1	20	16
2	51	8
3	151	8
4	416	8
5	965	8
6	3070	8
done	5000	8
0	7	8
1	11	8
2	15	8
3	20	8
4	29	8
5	42	8
6	75	8
7	164	8
8	387	8
9	1059	8
10	4173	8
done	5000	8
0	9	17
1	19	15
2	49	15
3	149	15
4	414	15
5	945	15
6	3050	15
done	5001	15
0	9	17
1	19	17
2	47	17
3	139	17
4	400	17
5	829	17
6	1682	17
done	5001	17
0	10	35
1	20	35
2	48	35
3	138	35
4	394	35
5	805	35
6	1586	35
done	5001	35
0	9	17
1	19	17
2	47	17
3	137	17
4	393	17
5	812	17
6	1597	17
done	5000	17
0	10	50
1	23	49
2	62	18
3	209	18
4	764	18
5	2462	18
done	5000	18
0	9	17
1	19	17
2	47	17
3	138	17
4	394	17
5	821	17
6	1614	17
done	5000	17
0	9	17
1	19	17
2	47	17
3	138	17
4	394	17
5	821	17
6	1614	17
done	5000	17
0	2	3
1	6	1
done	6	1
0	7	15
1	15	15
2	39	15
3	118	15
4	299	15
5	494	15
6	607	15
7	815	15
8	1160	15
9	4584	15
done	5001	15
0	2	3
1	6	1
done	6	1
0	10	21
1	22	12
2	69	12
3	200	12
4	504	12
5	1220	12
6	1647	12
7	1894	12
8	1896	12
done	1896	12
0	13	20
1	26	19
2	60	19
3	174	11
4	484	11
5	1162	11
6	1567	11
7	1819	11
8	1821	11
done	1821	11
0	13	19
1	27	19
2	64	17
3	182	10
4	605	10
5	1408	10
6	1793	10
7	2020	10
8	2021	10
done	2021	10
0	13	20
1	26	19
2	60	19
3	174	11
4	488	11
5	1167	11
6	1569	11
7	1817	11
8	1819	11
done	1819	11
0	9	19
1	22	11
2	51	11
3	146	11
4	402	11
5	937	11
6	1509	11
7	1882	11
8	1948	11
done	1948	11
0	11	18
1	23	17
2	49	17
3	135	10
4	492	10
5	1272	10
6	1797	10
7	2205	10
8	2270	10
done	2270	10
0	13	19
1	27	19
2	60	17
3	174	10
4	544	10
5	1213	10
6	2129	10
7	2421	10
8	2428	10
done	2428	10
0	11	18
1	23	17
2	45	17
3	132	10
4	459	10
5	1141	10
6	2032	10
7	2416	10
8	2470	10
done	2470	10
0	8	17
1	17	10
2	34	10
3	86	10
4	291	10
5	859	10
6	1766	10
7	2188	10
8	2325	10
done	2325	10
0	8	16
1	18	16
2	52	10
3	165	10
4	552	10
5	1347	10
6	2514	10
7	3402	10
8	4009	10
done	5000	10
0	8	16
1	18	16
2	46	16
3	136	16
4	392	16
5	806	16
6	1594	16
done	5000	16
0	13	47
1	45	47
2	227	27
3	1917	27
done	5000	27
0	17	47
1	66	47
2	342	23
3	3033	17
done	5001	17
0	17	47
1	60	47
2	282	23
3	1807	23
done	5000	19
0	17	47
1	66	47
2	342	23
3	3024	17
done	5001	17
0	11	47
1	47	47
2	229	23
3	1954	17
done	5001	17
0	14	47
1	59	47
2	266	19
3	2006	9
done	5000	9
0	17	47
1	60	47
2	283	23
3	1818	23
done	5000	19
0	14	47
1	59	47
2	267	19
3	1978	9
done	5000	9
0	9	47
1	26	47
2	100	19
3	530	9
4	3964	9
done	5001	9
0	9	33
1	17	33
2	41	33
3	116	33
4	295	33
5	489	33
6	602	33
7	804	33
8	1152	33
9	4600	33
done	5000	33
0	8	16
1	16	16
2	40	16
3	115	16
4	296	16
5	483	16
6	595	16
7	796	16
8	1145	16
9	4607	16
done	5001	16
0	9	47
1	25	47
2	94	17
3	508	9
4	3308	9
done	5000	9
0	8	16
1	17	8
2	41	8
3	116	8
4	295	8
5	483	8
6	596	8
7	800	8
8	1147	8
9	4593	8
done	5000	8
0	8	16
1	17	8
2	41	8
3	116	8
4	295	8
5	483	8
6	596	8
7	800	8
8	1147	8
9	4593	8
done	5000	8
0	4	7
1	12	7
2	23	7
done	23	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	9	35
1	17	35
2	23	19
3	35	10
4	72	10
5	126	10
6	212	10
7	427	10
8	1387	10
done	5000	10
0	8	17
1	12	17
2	16	17
3	19	17
4	20	17
done	20	17
0	8	17
1	12	7
2	17	7
3	20	7
4	21	7
done	21	7
0	8	17
1	12	7
2	17	7
3	20	7
4	21	7
done	21	7
0	8	23
1	15	23
2	34	23
3	69	23
4	109	15
5	119	10
6	167	10
7	260	10
8	578	10
9	1687	10
done	5001	10
0	6	13
1	11	13
2	17	13
3	24	13
4	29	13
done	29	13
0	7	13
1	12	13
2	18	13
3	25	13
4	30	7
5	31	7
done	31	7
0	6	13
1	11	13
2	17	13
3	24	13
4	29	7
5	30	7
done	30	7
0	4	7
1	10	3
2	14	3
3	16	3
4	19	3
done	19	3
0	5	11
1	10	11
2	16	11
3	23	11
4	44	11
5	57	11
6	79	11
7	102	11
8	142	11
9	406	11
10	1361	11
done	5001	11
0	4	7
1	10	3
2	14	3
3	16	3
4	19	3
done	19	3
0	5	11
1	10	11
2	16	11
3	23	11
4	44	11
5	57	11
6	79	11
7	102	11
8	142	11
9	406	11
10	1361	11
done	5001	11
0	4	7
1	10	3
2	14	3
3	16	3
4	19	3
done	19	3
0	5	11
1	10	11
2	16	11
3	23	11
4	44	11
5	57	11
6	79	11
7	102	11
8	142	11
9	406	11
10	1361	11
done	5001	11
0	4	7
1	10	3
2	14	3
3	16	3
4	19	3
done	19	3
0	5	11
1	10	11
2	16	11
3	23	11
4	44	11
5	57	11
6	79	11
7	102	11
8	142	11
9	406	11
10	1361	11
done	5001	11
0	2	3
1	4	1
done	4	1
0	7	15
1	15	15
2	39	15
3	118	15
4	299	15
5	494	15
6	607	15
7	815	15
8	1160	15
9	4584	15
done	5001	15
0	4	7
1	12	7
2	23	7
done	23	7
0	6	11
1	13	11
2	19	9
3	30	9
4	38	9
5	52	9
6	74	9
7	113	9
8	173	9
9	180	9
10	182	9
done	182	9
0	10	23
1	31	23
2	64	23
3	157	23
4	379	23
5	782	23
6	2834	23
done	5001	23
0	8	23
1	22	19
2	64	19
3	247	19
4	913	19
5	3506	19
done	5000	19
0	9	23
1	21	23
2	71	23
3	351	23
4	1882	23
done	5001	23
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	8	17
1	12	7
2	17	7
3	20	7
4	21	7
done	21	7
0	8	17
1	12	7
2	17	7
3	20	7
4	21	7
done	21	7
0	3	3
1	6	1
done	6	1
0	9	25
1	18	25
2	39	25
3	90	25
4	158	25
5	195	25
6	213	25
7	216	25
done	216	25
0	8	16
1	15	16
2	29	16
3	55	16
4	78	16
5	87	16
6	89	16
done	89	16
0	10	19
1	21	19
2	53	19
3	157	19
4	426	19
5	728	19
6	880	19
7	1007	19
8	1196	19
9	1299	19
done	5000	19
0	9	14
1	18	14
2	40	14
3	97	14
4	210	14
5	277	14
6	319	14
7	356	14
8	417	14
9	467	14
10	1735	14
done	5001	14
0	9	11
1	20	9
2	37	9
3	103	9
4	268	9
5	375	9
6	426	9
7	789	9
8	3598	9
done	5000	9
0	9	11
1	20	9
2	37	9
3	103	9
4	268	9
5	375	9
6	426	9
7	789	9
8	3598	9
done	5000	9
0	8	9
1	17	7
2	38	7
3	81	7
4	93	7
5	106	7
6	110	7
done	110	7
0	7	11
1	16	11
2	44	11
3	86	11
4	122	11
5	132	11
done	132	11
0	12	19
1	37	19
2	81	19
3	213	19
4	572	19
5	1145	19
6	3182	19
done	5000	19
0	11	19
1	26	19
2	82	19
3	315	19
4	1174	19
5	2845	17
done	5000	17
0	8	16
1	15	16
2	29	16
3	50	16
4	79	16
5	90	16
done	90	16
0	8	16
1	15	16
2	29	16
3	50	16
4	79	16
5	90	16
done	90	16
0	9	14
1	18	14
2	39	14
3	89	14
4	196	14
5	284	14
6	334	14
7	391	14
8	437	14
9	1686	14
done	5000	14
0	9	14
1	18	14
2	39	14
3	89	14
4	196	14
5	284	14
6	334	14
7	391	14
8	437	14
9	1686	14
done	5000	14
0	8	13
1	17	13
2	37	13
3	76	13
4	150	13
5	211	13
6	267	13
7	351	13
8	460	13
9	1809	13
done	5000	13
0	8	13
1	17	13
2	37	13
3	76	13
4	150	13
5	211	13
6	267	13
7	351	13
8	460	13
9	1809	13
done	5000	13
0	7	15
1	15	15
2	39	15
3	118	15
4	299	15
5	494	15
6	607	15
7	815	15
8	1160	15
9	4584	15
done	5001	15
0	9	13
1	20	13
2	41	11
3	149	11
4	368	11
5	432	11
6	505	11
7	726	11
8	2349	11
done	5001	11
0	12	19
1	27	17
2	64	17
3	194	17
4	579	17
5	1281	17
6	2302	17
7	3391	17
done	5000	17
0	8	11
1	17	11
2	38	11
3	105	11
4	214	11
5	302	11
6	335	11
7	336	11
done	336	11
0	7	11
1	16	11
2	44	11
3	86	11
4	122	11
5	132	11
done	132	11
0	7	11
1	16	11
2	44	11
3	86	11
4	119	11
5	131	11
done	131	11
0	2	3
1	6	1
done	6	1
0	7	15
1	15	15
2	39	15
3	118	15
4	299	15
5	494	15
6	607	15
7	815	15
8	1160	15
9	4584	15
done	5001	15
0	2	3
1	6	1
done	6	1
0	10	21
1	22	12
2	69	12
3	200	12
4	504	12
5	1220	12
6	1647	12
7	1894	12
8	1896	12
done	1896	12
0	13	20
1	26	19
2	60	19
3	174	11
4	484	11
5	1162	11
6	1567	11
7	1819	11
8	1821	11
done	1821	11
0	13	19
1	27	19
2	64	17
3	182	10
4	605	10
5	1408	10
6	1793	10
7	2020	10
8	2021	10
done	2021	10
0	13	20
1	26	19
2	60	19
3	174	11
4	488	11
5	1167	11
6	1569	11
7	1817	11
8	1819	11
done	1819	11
0	9	19
1	22	11
2	51	11
3	146	11
4	402	11
5	937	11
6	1509	11
7	1882	11
8	1948	11
done	1948	11
0	11	18
1	23	17
2	49	17
3	135	10
4	492	10
5	1272	10
6	1797	10
7	2205	10
8	2270	10
done	2270	10
0	13	19
1	27	19
2	60	17
3	174	10
4	544	10
5	1213	10
6	2129	10
7	2421	10
8	2428	10
done	2428	10
0	11	18
1	23	17
2	45	17
3	132	10
4	459	10
5	1141	10
6	2032	10
7	2416	10
8	2470	10
done	2470	10
0	8	17
1	17	10
2	34	10
3	86	10
4	291	10
5	859	10
6	1766	10
7	2188	10
8	2325	10
done	2325	10
0	8	16
1	18	16
2	52	10
3	165	10
4	552	10
5	1347	10
6	2514	10
7	3402	10
8	4009	10
done	5000	10
0	8	16
1	18	16
2	46	16
3	136	16
4	392	16
5	806	16
6	1594	16
done	5000	16
0	13	47
1	45	47
2	227	27
3	1917	27
done	5000	27
0	17	47
1	66	47
2	342	23
3	3033	17
done	5001	17
0	17	47
1	60	47
2	282	23
3	1807	23
done	5000	19
0	17	47
1	66	47
2	342	23
3	3024	17
done	5001	17
0	11	47
1	47	47
2	229	23
3	1954	17
done	5001	17
0	14	47
1	59	47
2	266	19
3	2006	9
done	5000	9
0	17	47
1	60	47
2	283	23
3	1818	23
done	5000	19
0	14	47
1	59	47
2	267	19
3	1978	9
done	5000	9
0	9	47
1	26	47
2	100	19
3	530	9
4	3964	9
done	5001	9
0	9	33
1	17	33
2	41	33
3	116	33
4	295	33
5	489	33
6	602	33
7	804	33
8	1152	33
9	4600	33
done	5000	33
0	8	16
1	16	16
2	40	16
3	115	16
4	296	16
5	483	16
6	595	16
7	796	16
8	1145	16
9	4607	16
done	5001	16
0	9	47
1	25	47
2	94	17
3	508	9
4	3308	9
done	5000	9
0	8	16
1	17	8
2	41	8
3	116	8
4	295	8
5	483	8
6	596	8
7	800	8
8	1147	8
9	4593	8
done	5000	8
0	8	16
1	17	8
2	41	8
3	116	8
4	295	8
5	483	8
6	596	8
7	800	8
8	1147	8
9	4593	8
done	5000	8
0	4	7
1	12	7
2	23	7
done	23	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	9	35
1	17	35
2	23	19
3	35	10
4	72	10
5	126	10
6	212	10
7	427	10
8	1387	10
done	5000	10
0	8	17
1	12	17
2	16	17
3	19	17
4	20	17
done	20	17
0	8	17
1	12	7
2	17	7
3	20	7
4	21	7
done	21	7
0	8	17
1	12	7
2	17	7
3	20	7
4	21	7
done	21	7
0	8	23
1	15	23
2	34	23
3	69	23
4	109	15
5	119	10
6	167	10
7	260	10
8	578	10
9	1687	10
done	5001	10
0	6	13
1	11	13
2	17	13
3	24	13
4	29	13
done	29	13
0	7	13
1	12	13
2	18	13
3	25	13
4	30	7
5	31	7
done	31	7
0	6	13
1	11	13
2	17	13
3	24	13
4	29	7
5	30	7
done	30	7
0	4	7
1	10	3
2	14	3
3	16	3
4	19	3
done	19	3
0	5	11
1	10	11
2	16	11
3	23	11
4	44	11
5	57	11
6	79	11
7	102	11
8	142	11
9	406	11
10	1361	11
done	5001	11
0	4	7
1	10	3
2	14	3
3	16	3
4	19	3
done	19	3
0	5	11
1	10	11
2	16	11
3	23	11
4	44	11
5	57	11
6	79	11
7	102	11
8	142	11
9	406	11
10	1361	11
done	5001	11
0	4	7
1	10	3
2	14	3
3	16	3
4	19	3
done	19	3
0	5	11
1	10	11
2	16	11
3	23	11
4	44	11
5	57	11
6	79	11
7	102	11
8	142	11
9	406	11
10	1361	11
done	5001	11
0	4	7
1	10	3
2	14	3
3	16	3
4	19	3
done	19	3
0	5	11
1	10	11
2	16	11
3	23	11
4	44	11
5	57	11
6	79	11
7	102	11
8	142	11
9	406	11
10	1361	11
done	5001	11
0	2	3
1	4	1
done	4	1
0	7	15
1	15	15
2	39	15
3	118	15
4	299	15
5	494	15
6	607	15
7	815	15
8	1160	15
9	4584	15
done	5001	15
0	4	7
1	12	7
2	23	7
done	23	7
0	6	11
1	13	11
2	19	9
3	30	9
4	38	9
5	52	9
6	74	9
7	113	9
8	173	9
9	180	9
10	182	9
done	182	9
0	10	23
1	31	23
2	64	23
3	157	23
4	379	23
5	782	23
6	2834	23
done	5001	23
0	8	23
1	22	19
2	64	19
3	247	19
4	913	19
5	3506	19
done	5000	19
0	9	23
1	21	23
2	71	23
3	351	23
4	1882	23
done	5001	23
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	8	17
1	12	7
2	17	7
3	20	7
4	21	7
done	21	7
0	8	17
1	12	7
2	17	7
3	20	7
4	21	7
done	21	7
0	3	3
1	6	1
done	6	1
0	9	25
1	18	25
2	39	25
3	90	25
4	158	25
5	195	25
6	213	25
7	216	25
done	216	25
0	8	16
1	15	16
2	29	16
3	55	16
4	78	16
5	87	16
6	89	16
done	89	16
0	10	19
1	21	19
2	53	19
3	157	19
4	426	19
5	728	19
6	880	19
7	1007	19
8	1196	19
9	1299	19
done	5000	19
0	9	14
1	18	14
2	40	14
3	97	14
4	210	14
5	277	14
6	319	14
7	356	14
8	417	14
9	467	14
10	1735	14
done	5001	14
0	9	11
1	20	9
2	37	9
3	103	9
4	268	9
5	375	9
6	426	9
7	789	9
8	3598	9
done	5000	9
0	9	11
1	20	9
2	37	9
3	103	9
4	268	9
5	375	9
6	426	9
7	789	9
8	3598	9
done	5000	9
0	8	9
1	17	7
2	38	7
3	81	7
4	93	7
5	106	7
6	110	7
done	110	7
0	7	11
1	16	11
2	44	11
3	86	11
4	122	11
5	132	11
done	132	11
0	12	19
1	37	19
2	81	19
3	213	19
4	572	19
5	1145	19
6	3182	19
done	5000	19
0	11	19
1	26	19
2	82	19
3	315	19
4	1174	19
5	2845	17
done	5000	17
0	8	16
1	15	16
2	29	16
3	50	16
4	79	16
5	90	16
done	90	16
0	8	16
1	15	16
2	29	16
3	50	16
4	79	16
5	90	16
done	90	16
0	9	14
1	18	14
2	39	14
3	89	14
4	196	14
5	284	14
6	334	14
7	391	14
8	437	14
9	1686	14
done	5000	14
0	9	14
1	18	14
2	39	14
3	89	14
4	196	14
5	284	14
6	334	14
7	391	14
8	437	14
9	1686	14
done	5000	14
0	8	13
1	17	13
2	37	13
3	76	13
4	150	13
5	211	13
6	267	13
7	351	13
8	460	13
9	1809	13
done	5000	13
0	8	13
1	17	13
2	37	13
3	76	13
4	150	13
5	211	13
6	267	13
7	351	13
8	460	13
9	1809	13
done	5000	13
0	7	15
1	15	15
2	39	15
3	118	15
4	299	15
5	494	15
6	607	15
7	815	15
8	1160	15
9	4584	15
done	5001	15
0	9	13
1	20	13
2	41	11
3	149	11
4	368	11
5	432	11
6	505	11
7	726	11
8	2349	11
done	5001	11
0	12	19
1	27	17
2	64	17
3	194	17
4	579	17
5	1281	17
6	2302	17
7	3391	17
done	5000	17
0	8	11
1	17	11
2	38	11
3	105	11
4	214	11
5	302	11
6	335	11
7	336	11
done	336	11
0	7	11
1	16	11
2	44	11
3	86	11
4	122	11
5	132	11
done	132	11
0	7	11
1	16	11
2	44	11
3	86	11
4	119	11
5	131	11
done	131	11
0	15	17
1	37	17
2	104	17
3	202	15
4	475	13
5	1164	13
6	3879	13
done	5000	13
0	13	15
1	30	15
2	66	11
3	121	11
4	256	11
5	719	9
6	3626	9
done	5000	9
0	13	15
1	30	15
2	66	11
3	121	11
4	256	11
5	719	9
6	3626	9
done	5000	9
0	12	13
1	31	13
2	82	13
3	208	11
4	727	11
5	2038	11
done	5000	11
0	13	18
1	29	18
2	69	18
3	108	18
4	151	13
5	207	13
6	301	13
7	529	13
8	1192	13
9	3629	12
done	5000	12
0	13	18
1	29	18
2	69	18
3	108	18
4	151	13
5	207	13
6	301	13
7	529	13
8	1192	13
9	3629	12
done	5000	12
0	15	17
1	37	17
2	104	17
3	202	15
4	475	13
5	1164	13
6	3879	13
done	5000	13
0	13	15
1	30	15
2	66	11
3	121	11
4	256	11
5	719	9
6	3626	9
done	5000	9
0	13	15
1	30	15
2	66	11
3	121	11
4	256	11
5	719	9
6	3626	9
done	5000	9
0	15	17
1	37	17
2	104	17
3	202	15
4	475	13
5	1164	13
6	3879	13
done	5000	13
0	13	15
1	30	15
2	66	11
3	121	11
4	256	11
5	719	9
6	3626	9
done	5000	9
0	13	15
1	30	15
2	66	11
3	121	11
4	256	11
5	719	9
6	3626	9
done	5000	9

prune357.0ms

Filtered

106 candidates to 170 candidates (-60.4%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	170	0	170
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	170	1	171

Merged error: 0b

Counts

171 → 1

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	37
1	16	37
done	16	37

end0.0ms

sample860.0ms

Algorithm

intervals

Results

706.0ms

8000×

body

valid

Details

sample35.0ms

simplify5.2s

prune3.0ms

localize14.0ms

rewrite61.0ms

series20.0ms

simplify11.1min

prune444.0ms

localize13.0ms

rewrite54.0ms

series17.0ms

simplify8.2min

prune357.0ms

simplify2.0ms

end0.0ms

sample860.0ms

Profiling