Details

sample35.0ms

Algorithm

intervals

Results

12.0ms

348×

body

valid

simplify3.7s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	30	9
3	48	9
4	72	9
5	94	9
6	113	9
7	135	9
8	181	9
9	247	9
10	330	9
11	360	9
12	413	9
13	453	9
14	469	9
15	505	9
16	595	9
17	831	9
18	1115	9
19	1662	9
20	2153	9
21	2212	9
done	2212	9

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 1.4b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 57

Calls

2 calls:

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

series28.0ms

Counts

2 → 6

Calls

2 calls:

13.0ms	(+ (* (/ x y) (- z t)) t)
15.0ms	(* (/ x y) (- z t))

simplify1.9min

Counts

63 → 63

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	12	7
2	28	7
3	42	7
4	61	7
5	77	7
6	87	7
7	89	7
done	89	7
0	10	10
1	17	10
2	28	10
3	37	10
4	46	10
5	51	10
6	60	10
7	77	10
8	96	10
9	104	10
done	104	10
0	9	9
1	15	9
2	22	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	81	9
9	100	9
10	108	9
done	108	9
0	8	8
1	16	8
2	38	8
3	62	8
4	97	8
5	125	8
6	147	8
7	161	8
8	184	8
9	194	8
10	210	8
11	212	8
done	212	8
0	8	8
1	15	8
2	37	8
3	71	8
4	129	8
5	256	8
6	543	8
7	1604	8
done	5000	8
0	13	23
1	30	23
2	126	13
3	664	11
4	3550	11
done	5000	11
0	11	23
1	26	23
2	94	11
3	416	11
4	2089	9
done	5000	9
0	9	17
1	14	17
2	30	17
3	44	17
4	63	17
5	79	17
6	89	17
7	91	17
done	91	17
0	8	8
1	13	8
2	29	8
3	43	8
4	62	8
5	78	8
6	88	8
7	90	8
done	90	8
0	9	23
1	24	23
2	109	9
3	533	9
4	2368	9
done	5000	9
0	8	8
1	13	8
2	29	8
3	43	8
4	62	8
5	78	8
6	88	8
7	90	8
done	90	8
0	8	8
1	13	8
2	29	8
3	43	8
4	62	8
5	78	8
6	88	8
7	90	8
done	90	8
0	8	9
1	24	9
2	52	9
3	131	9
4	309	9
5	988	9
6	4466	9
done	5000	9
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	5	5
1	13	5
2	14	5
done	14	5
0	9	9
1	12	9
2	13	9
done	13	9
0	9	9
1	12	9
2	13	9
done	13	9
0	10	10
1	15	10
2	19	10
3	21	10
4	23	10
5	24	10
done	24	10
0	10	10
1	15	10
2	19	10
3	21	10
4	23	10
5	24	10
done	24	10
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	6	6
1	11	6
2	20	6
3	29	6
4	34	6
5	40	6
6	42	6
7	43	6
done	43	6
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	6	6
1	11	6
2	20	6
3	29	6
4	34	6
5	40	6
6	42	6
7	43	6
done	43	6
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	6	6
1	11	6
2	20	6
3	30	6
4	39	6
5	42	6
6	43	6
done	43	6
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	6	6
1	11	6
2	20	6
3	30	6
4	39	6
5	42	6
6	43	6
done	43	6
0	9	13
1	16	13
2	25	13
3	33	13
4	42	13
5	48	13
6	53	13
7	54	13
done	54	13
0	8	8
1	13	8
2	17	8
3	19	8
4	21	8
5	22	8
done	22	8
0	5	5
1	10	3
2	20	3
done	20	3
0	9	9
1	19	9
2	35	9
3	43	9
4	49	9
5	56	9
6	58	9
done	58	9
0	5	5
1	10	3
2	20	3
done	20	3
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	9	9
1	14	9
2	30	9
3	44	9
4	63	9
5	79	9
6	89	9
7	91	9
done	91	9
0	9	9
1	14	9
2	30	9
3	44	9
4	63	9
5	79	9
6	89	9
7	91	9
done	91	9
0	8	8
1	13	8
2	29	8
3	43	8
4	62	8
5	78	8
6	88	8
7	90	8
done	90	8
0	9	9
1	14	9
2	30	9
3	44	9
4	63	9
5	79	9
6	89	9
7	91	9
done	91	9
0	9	9
1	14	9
2	30	9
3	44	9
4	63	9
5	79	9
6	89	9
7	91	9
done	91	9
0	8	8
1	13	8
2	29	8
3	43	8
4	62	8
5	78	8
6	88	8
7	90	8
done	90	8
0	8	8
1	13	8
2	29	8
3	43	8
4	62	8
5	78	8
6	88	8
7	90	8
done	90	8
0	8	8
1	13	8
2	29	8
3	43	8
4	62	8
5	78	8
6	88	8
7	90	8
done	90	8
0	7	7
1	12	7
2	28	7
3	42	7
4	61	7
5	77	7
6	87	7
7	89	7
done	89	7
0	7	7
1	12	7
2	28	7
3	42	7
4	61	7
5	77	7
6	87	7
7	89	7
done	89	7
0	7	7
1	14	7
2	30	5
3	69	5
4	105	5
5	130	5
6	134	5
7	136	5
done	136	5
0	10	11
1	28	11
2	65	11
3	195	11
4	546	11
5	1911	11
done	5000	11
0	9	11
1	17	11
2	45	11
3	135	11
4	325	11
5	546	11
6	955	11
7	1786	11
done	5000	11
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	10	11
1	20	10
2	43	10
3	84	10
4	167	10
5	348	10
6	813	10
7	2704	10
done	5000	10
0	9	10
1	15	10
2	31	10
3	49	10
4	73	10
5	95	10
6	114	10
7	136	10
8	182	10
9	248	10
10	331	10
11	361	10
12	414	10
13	454	10
14	470	10
15	506	10
16	596	10
17	828	10
18	1109	10
19	1654	10
20	2135	10
21	2198	10
22	2206	10
23	2223	10
24	2245	10
25	2325	10
26	2586	10
27	3554	10
done	5000	10
0	9	10
1	18	10
2	39	10
3	72	10
4	136	10
5	263	10
6	587	10
7	1937	10
done	5001	10
0	10	21
1	16	21
2	32	21
3	50	21
4	74	21
5	96	21
6	115	21
7	137	21
8	183	21
9	249	21
10	332	21
11	362	21
12	415	21
13	455	21
14	471	21
15	507	21
16	597	21
17	827	21
18	1117	21
19	1662	21
20	2145	21
21	2205	21
done	2205	21
0	9	10
1	15	10
2	31	10
3	49	10
4	73	10
5	95	10
6	114	10
7	136	10
8	182	10
9	248	10
10	331	10
11	361	10
12	414	10
13	454	10
14	470	10
15	506	10
16	596	10
17	828	10
18	1109	10
19	1654	10
20	2133	10
21	2190	10
done	2190	10
0	10	29
1	29	29
2	101	11
3	429	11
4	2181	11
done	5000	11
0	9	10
1	15	10
2	31	10
3	49	10
4	73	10
5	95	10
6	114	10
7	136	10
8	182	10
9	248	10
10	331	10
11	361	10
12	414	10
13	454	10
14	470	10
15	506	10
16	596	10
17	828	10
18	1109	10
19	1654	10
20	2133	10
21	2190	10
done	2190	10
0	9	10
1	15	10
2	31	10
3	49	10
4	73	10
5	95	10
6	114	10
7	136	10
8	182	10
9	248	10
10	331	10
11	361	10
12	414	10
13	454	10
14	470	10
15	506	10
16	596	10
17	828	10
18	1109	10
19	1654	10
20	2133	10
21	2190	10
done	2190	10
0	11	13
1	33	13
2	100	13
3	408	13
4	1901	13
done	5001	13
0	12	29
1	34	27
2	119	27
3	398	21
4	1261	21
5	4235	21
done	5000	21
0	10	19
1	27	19
2	88	19
3	292	19
4	960	19
5	2955	19
done	5000	19
0	8	9
1	14	9
2	31	9
3	51	9
4	83	9
5	112	9
6	143	9
7	202	9
8	346	9
9	678	9
10	1048	9
11	1598	9
12	2103	9
13	2174	9
done	2174	9
0	7	8
1	13	8
2	23	7
3	35	7
4	44	7
5	57	7
6	60	7
7	61	7
done	61	7
0	7	8
1	13	8
2	23	7
3	35	7
4	44	7
5	57	7
6	60	7
7	61	7
done	61	7
0	7	8
1	13	8
2	23	7
3	33	7
4	45	7
5	52	7
6	60	7
7	61	7
done	61	7
0	7	8
1	13	8
2	23	7
3	33	7
4	45	7
5	52	7
6	60	7
7	61	7
done	61	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	10	13
1	21	13
2	39	13
3	61	13
4	92	9
5	122	9
6	170	9
7	246	9
8	340	9
9	371	9
10	424	9
11	464	9
12	480	9
13	516	9
14	606	9
15	840	9
16	1120	9
17	1667	9
18	2149	9
19	2204	9
done	2204	9
0	10	13
1	21	13
2	39	13
3	61	13
4	92	9
5	122	9
6	170	9
7	246	9
8	340	9
9	371	9
10	424	9
11	464	9
12	480	9
13	516	9
14	606	9
15	840	9
16	1120	9
17	1667	9
18	2149	9
19	2204	9
done	2204	9
0	10	13
1	21	13
2	39	13
3	61	13
4	92	9
5	122	9
6	170	9
7	246	9
8	340	9
9	371	9
10	424	9
11	464	9
12	480	9
13	516	9
14	606	9
15	840	9
16	1120	9
17	1667	9
18	2149	9
19	2204	9
done	2204	9

prune107.0ms

Filtered

47 candidates to 63 candidates (-34.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	56	7	63
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	56	8	64

Merged error: 0.0b

Counts

64 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- z t))
0.6b	(cbrt (- z t))
1.8b	(* (* (/ x y) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))
4.1b	(* (/ x y) (* (cbrt (- z t)) (cbrt (- z t))))

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

136×	`cbrt-div`
98×	`frac-times`
68×	`flip3--` `flip--`
50×	`associate-*r/`
37×	`associate-*l/`
34×	`add-exp-log`
24×	`add-sqr-sqrt`
21×	`*-un-lft-identity` `add-cbrt-cube`
18×	`pow1`
17×	`prod-exp` `cbrt-unprod`
15×	`cbrt-prod` `add-cube-cbrt`
14×	`associate-l`
10×	`times-frac`
9×	`associate-r` `pow-prod-down`
4×	`cbrt-undiv` `div-exp` `add-log-exp`
3×	`distribute-lft-out--` `difference-of-squares`
2×	`pow1/3` `*-commutative` `unswap-sqr`
1×	`div-inv`

Counts

4 → 164

Calls

4 calls:

4.0ms	(cbrt (- z t))
4.0ms	(cbrt (- z t))
25.0ms	(* (* (/ x y) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))
18.0ms	(* (/ x y) (* (cbrt (- z t)) (cbrt (- z t))))

series121.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(cbrt (- z t))
31.0ms	(cbrt (- z t))
15.0ms	(* (* (/ x y) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))
43.0ms	(* (/ x y) (* (cbrt (- z t)) (cbrt (- z t))))

simplify5.4min

Counts

176 → 176

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	13
1	16	13
2	25	13
3	33	13
4	42	13
5	48	13
6	53	13
7	54	13
done	54	13
0	9	13
1	16	13
2	25	13
3	33	13
4	42	13
5	48	13
6	53	13
7	54	13
done	54	13
0	12	17
1	23	13
2	42	13
3	75	13
4	111	13
5	169	13
6	207	13
7	273	13
8	362	13
9	370	13
done	370	13
0	12	16
1	21	16
2	40	13
3	73	13
4	106	13
5	168	13
6	207	13
7	275	13
8	365	13
9	373	13
done	373	13
0	11	16
1	21	12
2	33	12
3	54	12
4	91	12
5	142	12
6	161	12
7	200	12
8	265	12
9	341	12
10	349	12
done	349	12
0	11	15
1	19	15
2	32	12
3	51	12
4	82	12
5	118	12
6	176	12
7	214	12
8	282	12
9	370	12
10	378	12
done	378	12
0	10	14
1	20	14
2	39	14
3	67	12
4	115	12
5	166	12
6	220	12
7	310	12
8	380	12
9	446	12
10	492	12
11	493	12
done	493	12
0	10	14
1	19	14
2	36	14
3	62	14
4	115	14
5	239	14
6	562	14
7	1598	14
done	5000	14
0	12	19
1	28	19
2	116	15
3	604	13
4	2752	13
done	5000	13
0	15	41
1	39	41
2	142	19
3	735	12
4	4049	12
done	5000	12
0	10	19
1	24	19
2	84	13
3	348	13
4	1505	13
done	5000	13
0	13	41
1	35	41
2	107	17
3	397	12
4	1775	12
done	5000	12
0	11	29
1	18	29
2	27	29
3	35	29
4	44	29
5	50	29
6	55	29
done	55	29
0	10	14
1	17	14
2	26	14
3	34	14
4	43	14
5	49	14
6	54	14
7	55	14
done	55	14
0	11	41
1	28	41
2	108	15
3	505	15
4	1987	13
done	5001	13
0	10	14
1	17	14
2	26	14
3	34	14
4	43	14
5	49	14
6	54	14
7	55	14
done	55	14
0	10	14
1	17	14
2	26	14
3	34	14
4	43	14
5	49	14
6	54	14
7	55	14
done	55	14
0	10	19
1	28	19
2	52	19
3	86	19
4	172	19
5	499	19
6	2259	19
done	5001	19
0	11	27
1	21	23
2	31	23
3	32	23
4	33	23
done	33	23
0	14	19
1	36	19
2	69	19
3	114	19
4	223	19
5	595	19
6	2426	19
done	5000	19
0	13	19
1	24	17
2	37	17
3	38	17
4	39	17
done	39	17
0	14	19
1	36	19
2	69	19
3	114	19
4	227	19
5	603	19
6	2426	19
done	5000	19
0	13	19
1	24	17
2	37	17
3	40	17
4	41	17
done	41	17
0	9	19
1	17	19
2	26	19
3	41	19
4	66	19
5	107	19
6	167	19
7	335	19
8	1619	19
done	5000	19
0	7	11
1	11	11
2	13	11
done	13	11
0	12	15
1	33	15
2	61	15
3	95	15
4	184	15
5	514	15
6	2322	15
done	5001	15
0	10	14
1	18	12
2	26	12
3	27	12
4	28	12
done	28	12
0	11	15
1	21	15
2	39	15
3	64	15
4	92	15
5	150	15
6	297	15
7	1464	15
done	5000	15
0	6	6
1	8	6
done	8	6
0	12	15
1	33	15
2	61	15
3	95	15
4	185	15
5	516	15
6	2305	15
done	5001	15
0	10	14
1	18	12
2	26	12
3	27	12
4	28	12
done	28	12
0	11	15
1	21	15
2	39	15
3	64	15
4	92	15
5	144	15
6	291	15
7	1431	15
done	5001	15
0	6	6
1	8	6
done	8	6
0	9	9
1	12	9
2	13	9
done	13	9
0	9	9
1	12	9
2	13	9
done	13	9
0	10	10
1	15	10
2	19	10
3	21	10
4	23	10
5	24	10
done	24	10
0	10	10
1	15	10
2	19	10
3	21	10
4	23	10
5	24	10
done	24	10
0	8	8
1	13	8
2	17	8
3	19	8
4	21	8
5	22	8
done	22	8
0	10	14
1	15	14
2	18	14
done	18	14
0	10	14
1	15	14
2	18	14
done	18	14
0	11	15
1	18	15
2	27	15
3	35	15
4	44	15
5	50	15
6	55	15
done	55	15
0	11	15
1	18	15
2	27	15
3	35	15
4	44	15
5	50	15
6	55	15
done	55	15
0	10	14
1	17	14
2	26	14
3	34	14
4	43	14
5	49	14
6	54	14
7	55	14
done	55	14
0	11	15
1	18	15
2	27	15
3	35	15
4	44	15
5	50	15
6	55	15
done	55	15
0	11	15
1	18	15
2	27	15
3	35	15
4	44	15
5	50	15
6	55	15
done	55	15
0	10	14
1	17	14
2	26	14
3	34	14
4	43	14
5	49	14
6	54	14
7	55	14
done	55	14
0	10	14
1	17	14
2	26	14
3	34	14
4	43	14
5	49	14
6	54	14
7	55	14
done	55	14
0	10	14
1	17	14
2	26	14
3	34	14
4	43	14
5	49	14
6	54	14
7	55	14
done	55	14
0	9	13
1	16	13
2	25	13
3	33	13
4	42	13
5	48	13
6	53	13
7	54	13
done	54	13
0	9	13
1	16	13
2	25	13
3	33	13
4	42	13
5	48	13
6	53	13
7	54	13
done	54	13
0	9	13
1	18	13
2	27	11
3	55	11
4	72	11
done	72	11
0	12	21
1	32	21
2	62	21
3	104	21
4	201	21
5	542	21
6	2308	21
done	5001	21
0	16	21
1	40	21
2	81	21
3	142	21
4	274	21
5	651	21
6	2492	21
done	5001	21
0	16	21
1	40	21
2	81	21
3	142	21
4	273	21
5	652	21
6	2491	21
done	5001	21
0	11	21
1	21	21
2	36	21
3	59	21
4	93	21
5	140	21
6	203	21
7	371	21
8	1667	21
done	5000	21
0	14	17
1	37	17
2	73	17
3	123	17
4	228	17
5	581	17
6	2361	17
done	5001	17
0	13	17
1	25	17
2	51	17
3	92	17
4	138	17
5	210	17
6	369	17
7	1538	17
done	5000	17
0	14	17
1	37	17
2	73	17
3	123	17
4	228	17
5	575	17
6	2350	17
done	5001	17
0	13	17
1	25	17
2	51	17
3	92	17
4	138	17
5	206	17
6	363	17
7	1532	17
done	5001	17
0	7	11
1	12	11
2	15	11
done	15	11
0	10	18
1	20	18
2	39	18
3	60	10
4	89	7
5	146	7
6	219	7
7	367	7
8	823	7
9	2550	7
done	5000	7
0	10	18
1	20	18
2	39	18
3	60	10
4	89	7
5	146	7
6	219	7
7	367	7
8	823	7
9	2550	7
done	5000	7
0	10	18
1	20	18
2	39	18
3	60	10
4	89	7
5	146	7
6	219	7
7	367	7
8	823	7
9	2550	7
done	5000	7
0	13	23
1	27	19
2	62	13
3	130	13
4	227	13
5	377	13
6	466	13
7	626	13
8	804	13
9	815	13
done	815	13
0	14	22
1	25	22
2	56	19
3	123	13
4	218	13
5	375	13
6	466	13
7	627	13
8	806	13
9	817	13
done	817	13
0	12	22
1	25	18
2	47	12
3	86	12
4	167	12
5	297	12
6	344	12
7	444	12
8	605	12
9	768	12
10	775	12
done	775	12
0	13	21
1	23	21
2	42	18
3	82	12
4	155	12
5	252	12
6	400	12
7	502	12
8	670	12
9	835	12
10	842	12
done	842	12
0	12	20
1	23	20
2	45	20
3	84	17
4	168	12
5	272	12
6	427	12
7	545	12
8	691	12
9	789	12
10	874	12
done	874	12
0	11	19
1	24	19
2	55	19
3	105	11
4	196	8
5	351	8
6	614	8
7	1038	8
8	2118	8
done	5001	8
0	11	19
1	23	19
2	55	19
3	103	11
4	209	8
5	520	8
6	1341	8
7	3773	8
done	5000	8
0	13	23
1	32	23
2	148	19
3	903	11
4	4793	11
done	5000	11
0	16	45
1	43	45
2	187	23
3	1290	16
done	5000	16
0	11	23
1	28	23
2	114	17
3	561	11
4	2671	9
done	5001	9
0	14	45
1	39	45
2	150	21
3	822	16
4	4635	9
done	5000	9
0	12	45
1	32	45
2	149	19
3	964	19
done	5000	19
0	12	39
1	22	39
2	41	39
3	62	23
4	91	17
5	148	17
6	221	17
7	370	17
8	831	17
9	2545	17
done	5000	17
0	11	19
1	21	19
2	40	19
3	61	11
4	90	8
5	147	8
6	222	8
7	373	8
8	825	8
9	2545	8
done	5000	8
0	12	56
1	31	56
2	133	20
3	672	12
4	2946	9
done	5001	9
0	11	19
1	21	19
2	40	19
3	61	11
4	90	8
5	147	8
6	222	8
7	373	8
8	825	8
9	2545	8
done	5000	8
0	11	19
1	21	19
2	40	19
3	61	11
4	90	8
5	147	8
6	222	8
7	373	8
8	825	8
9	2545	8
done	5000	8
0	11	28
1	32	28
2	60	28
3	95	12
4	185	9
5	554	9
6	2757	9
done	5000	9
0	12	40
1	25	34
2	39	34
3	42	14
4	48	11
5	82	11
6	128	11
7	184	11
8	319	11
9	852	11
10	3172	11
done	5001	11
0	15	28
1	39	28
2	79	28
3	137	28
4	250	28
5	621	28
6	2454	28
done	5000	28
0	14	32
1	27	28
2	47	28
3	63	28
4	65	28
done	65	28
0	15	28
1	40	28
2	81	28
3	133	28
4	248	28
5	618	28
6	2463	28
done	5000	28
0	14	32
1	28	28
2	49	28
3	57	28
4	59	28
done	59	28
0	15	28
1	40	28
2	80	28
3	137	28
4	250	28
5	621	28
6	2448	28
done	5000	28
0	14	24
1	28	22
2	48	22
3	63	22
4	66	22
done	66	22
0	15	28
1	40	28
2	80	28
3	137	28
4	255	28
5	631	28
6	2466	28
done	5001	28
0	14	32
1	28	28
2	48	28
3	65	28
4	68	28
done	68	28
0	15	28
1	40	28
2	81	28
3	133	28
4	251	28
5	627	28
6	2478	28
done	5001	28
0	14	24
1	28	22
2	49	22
3	57	22
4	59	22
done	59	22
0	15	28
1	39	28
2	79	28
3	137	28
4	247	28
5	611	28
6	2415	28
done	5001	28
0	14	24
1	27	22
2	47	22
3	63	22
4	66	22
done	66	22
0	10	28
1	21	28
2	34	28
3	51	12
4	81	9
5	164	9
6	336	9
7	653	9
8	2344	9
done	5000	9
0	8	16
1	15	16
2	21	16
3	23	8
4	28	5
5	46	5
6	64	5
7	109	5
8	254	5
9	780	5
10	3083	5
done	5000	5
0	13	24
1	37	24
2	72	24
3	118	24
4	205	24
5	533	24
6	2286	24
done	5000	24
0	11	27
1	22	23
2	31	23
3	32	23
4	33	23
done	33	23
0	17	24
1	43	24
2	94	24
3	178	24
4	299	24
5	687	24
6	2621	24
done	5000	24
0	13	19
1	24	17
2	37	17
3	38	17
4	39	17
done	39	17
0	17	24
1	43	24
2	94	24
3	178	24
4	293	24
5	685	24
6	2650	24
done	5001	24
0	13	19
1	24	17
2	37	17
3	38	17
4	39	17
done	39	17
0	12	24
1	25	24
2	50	24
3	89	24
4	118	24
5	176	24
6	323	24
7	1505	24
done	5001	24
0	7	11
1	12	11
2	13	11
done	13	11
0	13	24
1	37	24
2	73	24
3	114	24
4	199	24
5	527	24
6	2274	24
done	5001	24
0	11	27
1	22	23
2	31	23
3	32	23
4	33	23
done	33	23
0	17	24
1	43	24
2	94	24
3	178	24
4	298	24
5	686	24
6	2623	24
done	5000	24
0	13	19
1	24	17
2	37	17
3	38	17
4	39	17
done	39	17
0	17	24
1	43	24
2	94	24
3	178	24
4	294	24
5	691	24
6	2654	24
done	5001	24
0	13	19
1	24	17
2	37	17
3	38	17
4	39	17
done	39	17
0	12	24
1	25	24
2	51	24
3	83	24
4	112	24
5	166	24
6	313	24
7	1514	24
done	5000	24
0	7	11
1	12	11
2	13	11
done	13	11
0	13	30
1	36	30
2	76	30
3	130	14
4	241	11
5	714	11
6	3442	11
done	5000	11
0	10	38
1	18	32
2	28	12
3	34	9
4	41	9
5	51	9
6	72	9
7	139	9
8	358	9
9	1284	9
done	5000	9
0	17	30
1	43	30
2	95	30
3	183	30
4	353	30
5	764	30
6	2651	30
done	5000	30
0	12	30
1	22	26
2	31	26
3	32	26
4	33	26
done	33	26
0	17	30
1	44	30
2	99	30
3	180	30
4	350	30
5	762	30
6	2625	30
done	5001	30
0	12	30
1	21	26
2	31	26
3	32	26
4	33	26
done	33	26
0	17	30
1	44	30
2	98	30
3	182	30
4	352	30
5	770	30
6	2672	30
done	5001	30
0	12	22
1	23	20
2	31	20
3	32	20
4	33	20
done	33	20
0	17	30
1	44	30
2	98	30
3	182	30
4	352	30
5	767	30
6	2607	30
done	5001	30
0	12	30
1	23	26
2	31	26
3	32	26
4	33	26
done	33	26
0	17	30
1	44	30
2	99	30
3	180	30
4	347	30
5	763	30
6	2639	30
done	5000	30
0	12	22
1	21	20
2	31	20
3	32	20
4	33	20
done	33	20
0	17	30
1	43	30
2	95	30
3	183	30
4	349	30
5	762	30
6	2641	30
done	5001	30
0	12	22
1	22	20
2	31	20
3	34	20
4	35	20
done	35	20
0	12	30
1	25	30
2	50	30
3	86	14
4	140	11
5	294	11
6	648	11
7	1271	11
8	3838	11
done	5000	11
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	15	26
1	41	26
2	90	26
3	163	26
4	313	26
5	696	26
6	2501	26
done	5000	26
0	9	25
1	16	21
2	24	21
3	25	21
4	26	21
done	26	21
0	19	26
1	47	26
2	112	26
3	231	26
4	445	26
5	913	26
6	2886	26
done	5000	26
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	19	26
1	47	26
2	112	26
3	231	26
4	441	26
5	905	26
6	2896	26
done	5001	26
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	14	26
1	29	26
2	68	26
3	132	26
4	220	26
5	330	26
6	514	26
7	1702	26
done	5001	26
0	5	9
1	6	9
done	6	9
0	15	26
1	41	26
2	91	26
3	161	26
4	305	26
5	676	26
6	2478	26
done	5000	26
0	9	25
1	16	21
2	24	21
3	25	21
4	26	21
done	26	21
0	19	26
1	47	26
2	112	26
3	231	26
4	442	26
5	915	26
6	2910	26
done	5000	26
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	19	26
1	47	26
2	112	26
3	231	26
4	442	26
5	898	26
6	2891	26
done	5000	26
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	14	26
1	29	26
2	69	26
3	130	26
4	215	26
5	315	26
6	496	26
7	1679	26
done	5000	26
0	5	9
1	6	9
done	6	9
0	13	20
1	36	20
2	71	20
3	117	20
4	206	20
5	534	20
6	2292	20
done	5000	20
0	10	14
1	18	12
2	26	12
3	27	12
4	28	12
done	28	12
0	12	20
1	24	20
2	49	20
3	87	20
4	115	20
5	179	20
6	330	20
7	1519	20
done	5001	20
0	6	6
1	8	6
done	8	6
0	11	24
1	21	24
2	47	24
3	88	24
4	146	24
5	192	24
6	234	24
7	244	24
done	244	24
0	12	19
1	22	19
2	48	19
3	89	19
4	146	19
5	192	19
6	234	19
7	244	19
done	244	19
0	12	16
1	24	15
2	50	15
3	91	13
4	176	13
5	202	13
6	223	13
done	223	13
0	14	20
1	25	20
2	51	20
3	95	20
4	152	20
5	197	20
6	239	20
7	249	20
done	249	20
0	12	16
1	24	15
2	50	15
3	91	13
4	176	13
5	202	13
6	223	13
done	223	13
0	12	25
1	24	25
2	62	25
3	156	25
4	291	25
5	426	25
6	543	25
7	589	25
done	589	25
0	11	19
1	21	19
2	47	19
3	88	19
4	146	19
5	192	19
6	234	19
7	244	19
done	244	19
0	11	15
1	23	13
2	55	13
3	120	13
4	190	13
5	215	13
6	236	13
done	236	13
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	15	22
1	40	22
2	87	22
3	165	22
4	309	22
5	688	22
6	2506	22
done	5001	22
0	14	22
1	28	22
2	65	22
3	132	22
4	219	22
5	314	22
6	503	22
7	1676	22
done	5000	22
0	13	24
1	36	24
2	71	24
3	117	24
4	203	24
5	533	24
6	2320	24
done	5000	24
0	17	24
1	43	24
2	94	24
3	178	24
4	299	24
5	687	24
6	2635	24
done	5001	24
0	17	24
1	43	24
2	94	24
3	178	24
4	298	24
5	685	24
6	2618	24
done	5000	24
0	12	24
1	24	24
2	49	24
3	87	24
4	115	24
5	167	24
6	314	24
7	1487	24
done	5000	24
0	13	20
1	37	20
2	73	20
3	114	20
4	199	20
5	532	20
6	2303	20
done	5001	20
0	12	20
1	25	20
2	51	20
3	83	20
4	112	20
5	170	20
6	319	20
7	1518	20
done	5000	20
0	13	20
1	37	20
2	72	20
3	118	20
4	203	20
5	535	20
6	2311	20
done	5000	20
0	12	20
1	25	20
2	50	20
3	89	20
4	118	20
5	172	20
6	321	20
7	1519	20
done	5001	20
0	15	26
1	40	26
2	87	26
3	163	26
4	307	26
5	688	26
6	2490	26
done	5001	26
0	19	26
1	47	26
2	112	26
3	231	26
4	442	26
5	912	26
6	2908	26
done	5001	26
0	19	26
1	47	26
2	112	26
3	231	26
4	441	26
5	902	26
6	2890	26
done	5001	26
0	14	26
1	28	26
2	65	26
3	132	26
4	219	26
5	324	26
6	517	26
7	1708	26
done	5000	26
0	15	22
1	41	22
2	91	22
3	161	22
4	305	22
5	681	22
6	2479	22
done	5000	22
0	14	22
1	29	22
2	69	22
3	130	22
4	215	22
5	321	22
6	502	22
7	1668	22
done	5000	22
0	15	22
1	41	22
2	90	22
3	163	22
4	310	22
5	695	22
6	2495	22
done	5000	22
0	14	22
1	29	22
2	68	22
3	132	22
4	220	22
5	327	22
6	509	22
7	1725	22
done	5000	22
0	8	16
1	16	16
2	23	16
3	25	8
4	30	5
5	48	5
6	70	5
7	122	5
8	269	5
9	785	5
10	3068	5
done	5001	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	36	52
1	88	49
2	209	42
3	695	36
4	2822	30
done	5001	30
0	15	16
1	29	14
2	57	12
3	155	9
4	363	7
5	979	7
6	3284	7
done	5000	7
0	16	16
1	30	15
2	55	13
3	151	10
4	404	9
5	1243	9
6	4302	7
done	5000	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	30	41
1	69	40
2	150	40
3	385	37
4	1251	26
done	5001	23
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	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2
0	30	41
1	69	40
2	150	40
3	385	37
4	1251	26
done	5001	23
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	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2

prune263.0ms

Filtered

149 candidates to 176 candidates (-18.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	174	2	176
Fresh	3	3	6
Picked	1	0	1
Done	0	1	1
Total	178	6	184

Merged error: 0b

Counts

184 → 6

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (pow (/ (- z t) (/ y x)) 1) t)
6.0b	(/ (- z t) (/ y x))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

119×	`times-frac`
88×	`*-un-lft-identity`
86×	`add-sqr-sqrt`
58×	`add-cube-cbrt`
14×	`distribute-lft-out--` `difference-of-squares`
13×	`associate-/r*`
7×	`add-exp-log` `add-cbrt-cube` `div-inv`
5×	`associate-/l*`
4×	`add-log-exp`
3×	`cbrt-undiv` `div-exp`
2×	`pow1` `associate-/l/`
1×	`+-commutative` `flip3--` `frac-2neg` `flip3-+` `div-sub` `clear-num` `sum-log` `associate-/r/` `flip--` `flip-+` `distribute-lft-out`

Counts

2 → 113

Calls

2 calls:

34.0ms	(+ (pow (/ (- z t) (/ y x)) 1) t)
10.0ms	(/ (- z t) (/ y x))

series32.0ms

Counts

2 → 6

Calls

2 calls:

17.0ms	(+ (pow (/ (- z t) (/ y x)) 1) t)
15.0ms	(/ (- z t) (/ y x))

simplify1.0min

Counts

119 → 119

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	10
1	18	10
2	27	10
3	40	10
4	45	10
5	53	10
6	68	10
7	94	10
8	103	10
done	103	10
0	9	9
1	16	9
2	22	9
3	29	9
4	42	9
5	47	9
6	55	9
7	70	9
8	96	9
9	105	9
done	105	9
0	8	8
1	18	8
2	36	8
3	58	8
4	87	8
5	114	8
6	136	8
7	152	8
8	172	8
9	192	8
10	198	8
done	198	8
0	8	8
1	15	8
2	31	8
3	58	8
4	98	8
5	174	8
6	426	8
7	1638	8
done	5001	8
0	13	23
1	29	23
2	122	13
3	560	11
4	2371	9
done	5001	9
0	11	23
1	28	23
2	102	11
3	409	9
4	1808	9
done	5000	9
0	9	17
1	16	17
2	27	17
3	41	17
4	60	17
5	70	17
6	84	17
7	89	17
8	91	17
done	91	17
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	9	23
1	23	23
2	81	9
3	406	9
4	2176	9
done	5000	9
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	4
1	6	4
done	6	4
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	11	19
1	19	19
2	29	19
3	35	19
done	35	19
0	9	9
1	11	9
2	12	9
done	12	9
0	10	14
1	14	14
2	17	14
3	18	14
done	18	14
0	9	9
1	11	9
2	12	9
done	12	9
0	13	21
1	25	21
2	62	21
3	155	21
4	283	21
5	377	21
6	415	21
7	425	21
8	427	21
done	427	21
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	12	18
1	20	18
2	39	18
3	83	18
4	127	18
5	146	18
6	151	18
7	152	18
done	152	18
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	11	17
1	21	15
2	45	15
3	120	15
4	149	15
5	170	15
6	172	15
done	172	15
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	12	18
1	20	18
2	36	18
3	64	18
4	101	18
5	124	18
6	134	18
7	143	18
done	143	18
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	11	15
1	17	15
2	27	15
3	37	15
4	47	15
5	51	15
6	53	15
7	54	15
done	54	15
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	10	14
1	18	12
2	30	12
3	52	12
4	58	12
5	62	12
6	68	12
done	68	12
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	11	17
1	21	17
2	37	15
3	84	15
4	196	15
5	258	15
6	303	15
done	303	15
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	10	14
1	18	14
2	28	12
3	54	12
4	101	12
5	109	12
done	109	12
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	8	13
1	16	11
2	26	9
3	47	9
4	65	9
done	65	9
0	8	8
1	12	8
2	16	8
3	17	8
4	19	8
5	21	8
6	22	8
done	22	8
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	8	8
1	12	8
2	16	8
3	17	8
4	19	8
5	21	8
6	22	8
done	22	8
0	7	11
1	11	11
2	14	11
3	15	11
done	15	11
0	8	8
1	14	8
2	18	6
3	27	6
4	36	6
5	38	6
done	38	6
0	10	14
1	14	14
2	15	14
done	15	14
0	9	9
1	11	9
2	12	9
done	12	9
0	9	9
1	11	9
2	12	9
done	12	9
0	9	9
1	11	9
2	12	9
done	12	9
0	12	16
1	22	16
2	44	16
3	75	16
4	101	16
5	135	16
6	156	16
7	166	16
done	166	16
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	11	13
1	17	13
2	26	13
3	39	13
4	47	13
5	53	13
6	56	13
done	56	13
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	10	12
1	18	10
2	32	10
3	59	10
4	71	10
5	83	10
6	89	10
done	89	10
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	11	13
1	17	13
2	25	13
3	33	13
4	37	13
5	46	13
6	52	13
7	57	13
done	57	13
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	9	9
1	15	7
2	22	7
3	27	7
4	29	7
5	32	7
6	36	7
done	36	7
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	10	12
1	18	12
2	26	10
3	42	10
4	68	10
5	93	10
6	112	10
done	112	10
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	9	9
1	15	9
2	19	7
3	28	7
4	37	7
5	39	7
done	39	7
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	7	8
1	13	6
2	19	4
3	21	4
4	25	4
done	25	4
0	8	8
1	12	8
2	16	8
3	17	8
4	19	8
5	21	8
6	22	8
done	22	8
0	6	6
1	10	4
2	13	4
done	13	4
0	8	8
1	12	8
2	16	8
3	17	8
4	19	8
5	21	8
6	22	8
done	22	8
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	14	8
2	18	6
3	27	6
4	36	6
5	38	6
done	38	6
0	7	11
1	11	11
done	11	11
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	6	6
1	8	6
done	8	6
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	9	13
1	19	13
2	40	13
3	69	11
4	129	11
5	201	11
done	201	11
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	8	10
1	14	10
2	22	10
3	35	8
4	62	8
5	94	8
done	94	8
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	8	10
1	14	10
2	21	10
3	29	8
4	53	8
5	68	8
done	68	8
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	7	7
1	11	7
2	14	7
3	15	5
4	28	5
5	33	5
done	33	5
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	5	6
1	9	4
2	14	4
done	14	4
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	3	5
1	6	1
done	6	1
0	7	7
1	14	7
2	25	7
3	39	7
4	58	7
5	68	7
6	82	7
7	87	7
8	89	7
done	89	7
0	2	3
1	4	1
done	4	1
0	7	7
1	14	7
2	25	7
3	39	7
4	58	7
5	68	7
6	82	7
7	87	7
8	89	7
done	89	7
0	3	3
1	5	3
done	5	3
0	7	7
1	16	7
2	27	5
3	56	5
4	75	5
5	101	5
6	115	5
7	120	5
done	120	5
0	11	15
1	14	15
done	14	15
0	10	10
1	15	10
2	18	10
3	20	10
done	20	10
0	10	10
1	11	10
done	11	10
0	10	10
1	15	10
2	18	10
3	20	10
done	20	10
0	13	17
1	22	17
2	43	17
3	74	17
4	108	17
5	161	17
6	212	17
7	268	17
8	330	17
9	398	17
10	427	17
11	441	17
12	446	17
13	448	17
14	449	17
done	449	17
0	11	11
1	18	11
2	29	11
3	43	11
4	62	11
5	72	11
6	86	11
7	91	11
8	93	11
done	93	11
0	12	14
1	17	14
2	25	14
3	38	14
4	54	14
5	68	14
6	81	14
7	91	14
8	111	14
9	129	14
10	145	14
11	148	14
12	150	14
13	151	14
done	151	14
0	11	11
1	18	11
2	29	11
3	43	11
4	62	11
5	72	11
6	86	11
7	91	11
8	93	11
done	93	11
0	11	13
1	18	11
2	31	11
3	58	11
4	76	11
5	112	11
6	139	11
7	151	11
8	167	11
9	175	11
done	175	11
0	10	10
1	17	10
2	28	10
3	42	10
4	61	10
5	71	10
6	85	10
7	90	10
8	92	10
done	92	10
0	12	14
1	17	14
2	24	14
3	32	14
4	44	14
5	65	14
6	79	14
7	104	14
8	124	14
9	138	14
10	146	14
11	152	14
12	153	14
done	153	14
0	11	11
1	18	11
2	29	11
3	43	11
4	62	11
5	72	11
6	86	11
7	91	11
8	93	11
done	93	11
0	11	11
1	14	11
2	17	11
3	18	11
4	28	11
5	30	11
6	39	11
7	41	11
8	47	11
9	51	11
10	57	11
11	59	11
done	59	11
0	11	11
1	18	11
2	29	11
3	43	11
4	62	11
5	72	11
6	86	11
7	91	11
8	93	11
done	93	11
0	10	10
1	15	8
2	21	8
3	26	8
4	36	8
5	47	8
6	59	8
7	65	8
8	69	8
9	71	8
done	71	8
0	10	10
1	17	10
2	28	10
3	42	10
4	61	10
5	71	10
6	85	10
7	90	10
8	92	10
done	92	10
0	11	13
1	18	13
2	25	11
3	49	11
4	87	11
5	118	11
6	158	11
7	190	11
8	254	11
9	278	11
done	278	11
0	10	10
1	17	10
2	28	10
3	42	10
4	61	10
5	71	10
6	85	10
7	90	10
8	92	10
done	92	10
0	10	10
1	15	10
2	18	8
3	35	8
4	44	8
5	54	8
6	56	8
7	62	8
8	76	8
9	104	8
done	104	8
0	10	10
1	17	10
2	28	10
3	42	10
4	61	10
5	71	10
6	85	10
7	90	10
8	92	10
done	92	10
0	8	9
1	13	7
2	18	5
3	28	5
4	40	5
done	40	5
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	7	7
1	10	5
2	12	5
done	12	5
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	7	7
1	8	7
done	8	7
0	9	9
1	18	9
2	29	7
3	58	7
4	77	7
5	99	7
6	108	7
7	114	7
done	114	7
0	7	11
1	11	11
done	11	11
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	6	6
1	8	6
done	8	6
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	9	13
1	19	13
2	40	13
3	69	11
4	129	11
5	201	11
done	201	11
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	8	10
1	14	10
2	22	10
3	35	8
4	62	8
5	94	8
done	94	8
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	8	10
1	14	10
2	21	10
3	29	8
4	53	8
5	68	8
done	68	8
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	7	7
1	11	7
2	14	7
3	15	5
4	28	5
5	33	5
done	33	5
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	5	6
1	9	4
2	14	4
done	14	4
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	3	5
1	6	1
done	6	1
0	7	7
1	14	7
2	25	7
3	39	7
4	58	7
5	68	7
6	82	7
7	87	7
8	89	7
done	89	7
0	2	3
1	4	1
done	4	1
0	7	7
1	14	7
2	25	7
3	39	7
4	58	7
5	68	7
6	82	7
7	87	7
8	89	7
done	89	7
0	3	3
1	5	3
done	5	3
0	7	7
1	16	7
2	27	5
3	56	5
4	75	5
5	101	5
6	115	5
7	120	5
done	120	5
0	5	5
1	9	5
2	12	5
3	13	3
done	13	3
0	7	7
1	11	7
2	15	7
3	23	7
4	27	7
5	31	7
done	31	7
0	9	13
1	16	13
2	24	13
3	29	13
4	32	13
done	32	13
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	11	15
1	24	15
2	65	15
3	154	15
4	305	15
5	487	15
6	649	15
7	748	15
8	772	15
done	772	15
0	10	12
1	19	12
2	39	12
3	87	12
4	143	12
5	190	12
6	227	12
7	239	12
8	242	12
done	242	12
0	9	11
1	20	9
2	44	9
3	109	9
4	196	9
5	288	9
6	369	9
7	400	9
8	408	9
done	408	9
0	10	12
1	19	12
2	38	12
3	73	12
4	124	12
5	175	12
6	216	12
7	256	12
8	273	12
9	274	12
done	274	12
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	8	8
1	17	6
2	28	6
3	48	6
4	79	6
5	99	6
6	120	6
7	135	6
8	146	6
9	148	6
done	148	6
0	9	11
1	20	11
2	39	9
3	89	9
4	161	9
5	253	9
6	386	9
7	409	9
done	409	9
0	8	8
1	17	8
2	28	6
3	57	6
4	76	6
5	102	6
6	121	6
7	124	6
done	124	6
0	6	7
1	15	5
2	23	3
3	33	3
4	49	3
5	58	3
6	62	3
done	62	3
0	5	5
1	12	3
2	17	3
done	17	3
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	8	8
1	12	8
2	16	8
done	16	8
0	8	8
1	12	8
2	16	8
done	16	8
0	7	7
1	11	7
2	15	7
3	23	7
4	27	7
5	31	7
done	31	7
0	9	9
1	13	9
2	17	9
3	25	9
4	29	9
5	33	9
done	33	9
0	7	7
1	11	7
2	15	7
3	23	7
4	27	7
5	31	7
done	31	7
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	11	15
1	27	13
2	77	13
3	154	13
4	226	13
5	281	13
6	352	13
7	406	13
8	420	13
9	421	13
done	421	13
0	7	7
1	17	7
2	33	7
3	41	7
4	47	7
5	54	7
6	56	7
done	56	7
0	12	13
1	29	10
2	57	10
3	113	10
4	222	10
5	490	10
6	1521	10
done	5000	10
0	11	12
1	26	10
2	48	10
3	80	10
4	133	10
5	220	10
6	457	10
7	1416	10
done	5000	10
0	11	12
1	29	10
2	59	10
3	116	10
4	225	10
5	491	10
6	1539	10
done	5001	10
0	12	25
1	27	21
2	49	21
3	81	21
4	134	21
5	221	21
6	457	21
7	1396	21
done	5000	21
0	11	12
1	26	10
2	48	10
3	80	10
4	133	10
5	220	10
6	457	10
7	1416	10
done	5000	10
0	12	35
1	40	29
2	120	11
3	477	11
4	2798	11
done	5001	11
0	11	12
1	26	10
2	48	10
3	80	10
4	133	10
5	220	10
6	457	10
7	1416	10
done	5000	10
0	11	12
1	26	10
2	48	10
3	80	10
4	133	10
5	220	10
6	457	10
7	1416	10
done	5000	10
0	13	15
1	40	13
2	106	13
3	392	13
4	2250	13
done	5000	13
0	14	35
1	38	21
2	102	21
3	353	21
4	1347	21
done	5000	21
0	12	23
1	33	13
2	79	13
3	246	13
4	999	13
5	4407	13
done	5001	13
0	10	11
1	25	9
2	48	9
3	87	9
4	144	9
5	224	9
6	467	9
7	1430	9
done	5000	9
0	10	11
1	25	9
2	47	9
3	79	9
4	132	9
5	215	9
6	449	9
7	1380	9
done	5000	9
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	10	13
1	21	13
2	39	13
3	61	13
4	97	9
5	148	9
6	223	9
7	321	9
8	364	9
9	422	9
10	462	9
11	478	9
12	514	9
13	604	9
14	834	9
15	1118	9
16	1665	9
17	2163	9
18	2219	9
done	2219	9
0	10	13
1	21	13
2	39	13
3	61	13
4	92	9
5	122	9
6	170	9
7	246	9
8	340	9
9	371	9
10	424	9
11	464	9
12	480	9
13	516	9
14	606	9
15	840	9
16	1120	9
17	1667	9
18	2149	9
19	2204	9
done	2204	9
0	10	13
1	21	13
2	39	13
3	61	13
4	92	9
5	122	9
6	170	9
7	246	9
8	340	9
9	371	9
10	424	9
11	464	9
12	480	9
13	516	9
14	606	9
15	840	9
16	1120	9
17	1667	9
18	2149	9
19	2204	9
done	2204	9

prune145.0ms

Filtered

91 candidates to 119 candidates (-30.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	117	2	119
Fresh	3	1	4
Picked	0	1	1
Done	0	1	1
Total	120	5	125

Merged error: 0b

Counts

125 → 5

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(* x (- z t))
0.0b	(+ (pow (* (/ 1 y) (* x (- z t))) 1) t)
6.9b	(* (/ 1 y) (* x (- z t)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 87

Calls

3 calls:

7.0ms	(* x (- z t))
7.0ms	(+ (pow (* (/ 1 y) (* x (- z t))) 1) t)
12.0ms	(* (/ 1 y) (* x (- z t)))

series40.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(* x (- z t))
17.0ms	(+ (pow (* (/ 1 y) (* x (- z t))) 1) t)
15.0ms	(* (/ 1 y) (* x (- z t)))

simplify2.0min

Counts

96 → 96

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	19	9
2	46	7
3	141	7
4	251	7
5	332	7
6	409	7
7	448	7
8	454	7
done	454	7
0	9	9
1	19	9
2	46	7
3	141	7
4	251	7
5	332	7
6	409	7
7	448	7
8	454	7
done	454	7
0	11	11
1	17	11
2	25	10
3	27	10
4	31	10
5	39	10
6	49	10
7	65	10
8	85	10
9	95	10
10	104	10
11	121	10
12	122	10
done	122	10
0	10	10
1	17	10
2	30	9
3	42	9
4	49	9
5	55	9
6	64	9
7	77	9
8	95	9
9	111	9
10	118	9
11	135	9
12	137	9
done	137	9
0	12	12
1	22	11
2	48	10
3	99	10
4	216	10
5	362	10
6	398	10
7	438	10
done	438	10
0	11	11
1	22	10
2	49	9
3	97	9
4	196	9
5	325	9
6	359	9
7	401	9
done	401	9
0	13	13
1	25	12
2	49	11
3	107	10
4	225	10
5	370	10
6	409	10
7	461	10
done	461	10
0	12	12
1	25	11
2	49	10
3	102	9
4	202	9
5	327	9
6	361	9
7	403	9
done	403	9
0	12	12
1	24	11
2	39	10
3	71	10
4	136	10
5	226	10
6	318	10
7	355	10
8	404	10
done	404	10
0	11	11
1	24	10
2	42	9
3	77	9
4	139	9
5	215	9
6	361	9
7	395	9
8	432	9
done	432	9
0	10	10
1	23	10
2	62	8
3	182	8
4	339	8
5	494	8
6	665	8
7	846	8
8	888	8
9	937	8
done	937	8
0	10	10
1	22	10
2	57	8
3	192	8
4	421	8
5	842	8
6	2322	8
done	5001	8
0	17	29
1	41	25
2	148	13
3	952	13
done	5000	13
0	15	29
1	43	25
2	158	11
3	1052	11
done	5000	11
0	15	29
1	38	29
2	147	15
3	730	15
4	4015	11
done	5000	11
0	13	29
1	40	29
2	157	13
3	826	13
4	4483	9
done	5000	9
0	11	21
1	21	21
2	48	17
3	143	17
4	252	17
5	334	17
6	411	17
7	450	17
8	456	17
done	456	17
0	10	10
1	20	10
2	47	8
3	142	8
4	251	8
5	334	8
6	413	8
7	452	8
8	459	8
done	459	8
0	11	29
1	31	29
2	145	9
3	928	9
4	4959	9
done	5000	9
0	10	10
1	20	10
2	47	8
3	142	8
4	251	8
5	334	8
6	413	8
7	452	8
8	459	8
done	459	8
0	10	10
1	20	10
2	47	8
3	142	8
4	251	8
5	334	8
6	413	8
7	452	8
8	459	8
done	459	8
0	10	11
1	31	9
2	77	9
3	180	9
4	520	9
5	1851	9
done	5001	9
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	9	11
1	20	9
2	57	9
3	135	9
4	352	9
5	642	9
6	895	9
7	1398	9
8	4425	9
done	5001	9
0	5	5
1	13	5
2	14	5
done	14	5
0	7	7
1	15	7
2	29	5
3	72	5
4	93	5
5	94	5
done	94	5
0	8	8
1	18	8
2	43	6
3	131	6
4	271	6
5	319	6
6	332	6
done	332	6
0	7	7
1	15	7
2	29	5
3	72	5
4	93	5
5	94	5
done	94	5
0	8	8
1	18	8
2	43	6
3	131	6
4	271	6
5	319	6
6	332	6
done	332	6
0	7	7
1	15	7
2	29	5
3	72	5
4	93	5
5	94	5
done	94	5
0	8	8
1	18	8
2	43	6
3	126	6
4	259	6
5	312	6
6	324	6
done	324	6
0	7	7
1	15	7
2	29	5
3	72	5
4	93	5
5	94	5
done	94	5
0	8	8
1	18	8
2	43	6
3	126	6
4	259	6
5	312	6
6	324	6
done	324	6
0	7	7
1	15	7
2	29	5
3	78	5
4	89	5
5	95	5
6	97	5
done	97	5
0	8	8
1	18	8
2	43	6
3	136	6
4	244	6
5	302	6
6	327	6
7	328	6
done	328	6
0	7	7
1	15	7
2	29	5
3	78	5
4	89	5
5	95	5
6	97	5
done	97	5
0	8	8
1	18	8
2	43	6
3	136	6
4	244	6
5	302	6
6	327	6
7	328	6
done	328	6
0	7	7
1	15	7
2	29	5
3	78	5
4	89	5
5	95	5
6	97	5
done	97	5
0	8	8
1	18	8
2	43	6
3	141	6
4	255	6
5	307	6
6	337	6
7	340	6
done	340	6
0	7	7
1	15	7
2	29	5
3	78	5
4	89	5
5	95	5
6	97	5
done	97	5
0	8	8
1	18	8
2	43	6
3	141	6
4	255	6
5	307	6
6	337	6
7	340	6
done	340	6
0	5	5
1	10	5
2	13	3
done	13	3
0	10	10
1	18	10
2	37	10
3	65	10
4	83	10
5	97	10
done	97	10
0	10	10
1	18	10
2	37	10
3	65	10
4	83	10
5	97	10
done	97	10
0	11	11
1	21	10
2	48	10
3	114	8
4	221	8
5	302	8
6	379	8
7	418	8
8	425	8
done	425	8
0	11	11
1	21	10
2	48	10
3	114	8
4	221	8
5	302	8
6	379	8
7	418	8
8	425	8
done	425	8
0	10	10
1	20	9
2	47	9
3	113	7
4	222	7
5	307	7
6	390	7
7	429	7
8	436	7
done	436	7
0	11	11
1	21	10
2	48	10
3	114	8
4	221	8
5	302	8
6	379	8
7	418	8
8	425	8
done	425	8
0	11	11
1	21	10
2	48	10
3	114	8
4	221	8
5	302	8
6	379	8
7	418	8
8	425	8
done	425	8
0	10	10
1	20	9
2	47	9
3	113	7
4	222	7
5	307	7
6	390	7
7	429	7
8	436	7
done	436	7
0	10	10
1	20	10
2	47	8
3	142	8
4	253	8
5	336	8
6	411	8
7	450	8
8	456	8
done	456	8
0	10	10
1	20	10
2	47	8
3	142	8
4	253	8
5	336	8
6	411	8
7	450	8
8	456	8
done	456	8
0	9	9
1	19	9
2	46	7
3	141	7
4	251	7
5	332	7
6	409	7
7	448	7
8	454	7
done	454	7
0	9	9
1	19	9
2	46	7
3	141	7
4	251	7
5	332	7
6	409	7
7	448	7
8	454	7
done	454	7
0	9	9
1	19	9
2	46	7
3	141	7
4	251	7
5	332	7
6	409	7
7	448	7
8	454	7
done	454	7
0	12	13
1	35	13
2	83	11
3	300	11
4	1068	11
5	4238	11
done	5000	11
0	11	13
1	24	13
2	63	11
3	265	11
4	847	11
5	1740	11
6	2545	11
7	3938	11
done	5000	11
0	7	7
1	15	5
2	40	5
3	63	5
4	88	5
5	108	5
6	128	5
7	132	5
done	132	5
0	13	15
1	31	12
2	74	10
3	219	10
4	499	10
5	1060	10
6	2962	10
done	5000	10
0	12	14
1	28	12
2	62	10
3	174	10
4	328	10
5	564	10
6	1018	10
7	2458	10
done	5000	10
0	12	14
1	31	12
2	74	10
3	219	10
4	499	10
5	1056	10
6	2975	10
done	5001	10
0	13	29
1	29	25
2	63	21
3	175	21
4	326	21
5	564	21
6	1043	21
7	2428	21
done	5000	21
0	12	14
1	28	12
2	62	10
3	174	10
4	328	10
5	564	10
6	1018	10
7	2458	10
done	5000	10
0	13	41
1	42	35
2	150	11
3	788	11
4	4969	11
done	5000	11
0	12	14
1	28	12
2	62	10
3	174	10
4	328	10
5	564	10
6	1018	10
7	2458	10
done	5000	10
0	12	14
1	28	12
2	62	10
3	174	10
4	328	10
5	564	10
6	1018	10
7	2458	10
done	5000	10
0	14	17
1	42	15
2	147	13
3	818	13
done	5000	13
0	15	41
1	40	25
2	138	21
3	696	21
4	3226	21
done	5000	21
0	13	27
1	35	15
2	105	13
3	498	13
4	2292	13
done	5001	13
0	11	13
1	27	11
2	62	9
3	176	9
4	337	9
5	590	9
6	1093	9
7	2652	9
done	5000	9
0	11	13
1	27	11
2	61	9
3	173	9
4	325	9
5	563	9
6	1029	9
7	2502	9
done	5001	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	24	6
3	49	6
4	90	6
5	192	6
6	441	6
7	1402	6
done	5001	6
0	9	17
1	18	17
2	62	9
3	243	9
4	855	7
5	2965	7
done	5001	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	266	7
4	818	7
5	2511	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	7	11
1	12	11
2	15	11
done	15	11
0	6	6
1	9	6
2	10	6
done	10	6
0	3	3
1	6	1
done	6	1
0	7	7
1	15	7
2	16	7
done	16	7
0	3	3
1	6	1
done	6	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	309	9
5	988	9
6	4466	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	1	1
done	1	1
0	10	13
1	21	13
2	39	13
3	61	13
4	92	9
5	122	9
6	170	9
7	246	9
8	340	9
9	371	9
10	424	9
11	464	9
12	480	9
13	516	9
14	606	9
15	840	9
16	1120	9
17	1667	9
18	2149	9
19	2204	9
done	2204	9
0	10	13
1	21	13
2	39	13
3	61	13
4	92	9
5	122	9
6	170	9
7	246	9
8	340	9
9	371	9
10	424	9
11	464	9
12	480	9
13	516	9
14	606	9
15	840	9
16	1120	9
17	1667	9
18	2149	9
19	2204	9
done	2204	9
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5

prune106.0ms

Filtered

65 candidates to 96 candidates (-47.7%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	96	5	101

Merged error: 0b

Counts

101 → 5

regimes389.0ms

Accuracy

0% (2.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	13	9
done	13	9

end0.0ms

sample992.0ms

Algorithm

intervals

Results

390.0ms

10635×

body

valid

Details

sample35.0ms

simplify3.7s

prune4.0ms

localize7.0ms

rewrite23.0ms

series28.0ms

simplify1.9min

prune107.0ms

localize15.0ms

rewrite62.0ms

series121.0ms

simplify5.4min

prune263.0ms

localize12.0ms

rewrite52.0ms

series32.0ms

simplify1.0min

prune145.0ms

localize10.0ms

rewrite29.0ms

series40.0ms

simplify2.0min

prune106.0ms

regimes389.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample992.0ms

Profiling