Details

sample37.0ms

Algorithm

intervals

Results

15.0ms

276×

body

valid

simplify545.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	17	11
2	32	11
3	56	11
4	90	11
5	123	11
6	150	11
7	176	11
8	219	11
9	285	11
10	374	11
11	420	11
12	498	11
13	520	11
done	520	11

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 10.1b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 67

Calls

3 calls:

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

series63.0ms

Counts

3 → 9

Calls

3 calls:

36.0ms	(+ x (/ (* y (- z t)) (- a t)))
9.0ms	(* y (- z t))
19.0ms	(/ (* y (- z t)) (- a t))

simplify54.1s

Counts

76 → 76

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	19	12
2	28	12
3	34	12
4	40	12
5	49	12
6	62	12
7	80	12
8	96	12
9	103	12
10	120	12
11	122	12
done	122	12
0	10	11
1	19	11
2	33	11
3	47	11
4	56	11
5	62	11
6	71	11
7	84	11
8	102	11
9	118	11
10	125	11
11	142	11
12	144	11
done	144	11
0	9	10
1	18	10
2	41	10
3	81	10
4	118	10
5	149	10
6	181	10
7	209	10
8	234	10
9	241	10
10	258	10
11	260	10
done	260	10
0	9	10
1	15	10
2	30	10
3	56	10
4	93	10
5	149	10
6	238	10
7	488	10
8	1601	10
done	5000	10
0	14	29
1	32	29
2	160	15
3	800	15
4	3586	13
done	5000	13
0	12	29
1	34	29
2	173	13
3	950	11
4	4131	11
done	5001	11
0	10	21
1	16	21
2	31	21
3	55	21
4	77	21
5	100	21
6	120	21
7	130	21
8	139	21
done	139	21
0	9	10
1	15	10
2	30	10
3	54	10
4	76	10
5	99	10
6	119	10
7	129	10
8	138	10
done	138	10
0	10	29
1	23	29
2	75	11
3	343	11
4	1845	11
done	5001	11
0	9	10
1	15	10
2	30	10
3	54	10
4	76	10
5	99	10
6	119	10
7	129	10
8	138	10
done	138	10
0	9	10
1	15	10
2	30	10
3	54	10
4	76	10
5	99	10
6	119	10
7	129	10
8	138	10
done	138	10
0	6	6
1	13	6
2	31	6
3	52	6
4	65	5
5	70	5
done	70	5
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	7	11
1	11	11
2	12	11
done	12	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	8	6
2	9	6
done	9	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	3	3
1	5	1
done	5	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	7	7
1	8	7
done	8	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	3	3
1	5	1
done	5	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	5	5
1	9	5
2	10	5
done	10	5
0	8	9
1	17	9
2	38	9
3	51	9
4	61	9
5	62	9
done	62	9
0	10	15
1	21	15
2	46	15
3	88	15
4	138	15
5	192	15
6	232	15
7	235	15
done	235	15
0	9	10
1	15	10
2	27	10
3	46	10
4	64	10
5	85	10
6	93	10
done	93	10
0	7	7
1	14	5
2	29	5
3	54	5
4	73	5
5	87	5
6	95	5
7	112	5
8	126	5
9	131	5
done	131	5
0	10	11
1	16	11
2	27	11
3	46	11
4	64	11
5	85	11
6	93	11
done	93	11
0	7	7
1	14	5
2	29	5
3	54	5
4	73	5
5	87	5
6	95	5
7	112	5
8	126	5
9	131	5
done	131	5
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	11	13
1	31	13
2	66	13
3	147	13
4	377	13
5	1289	13
done	5000	13
0	10	13
1	20	13
2	49	13
3	120	13
4	245	13
5	465	13
6	720	13
7	1174	13
8	3131	13
done	5000	13
0	10	15
1	26	13
2	74	13
3	211	13
4	488	13
5	1206	13
6	2670	13
done	5000	13
0	6	7
1	16	7
2	36	7
3	61	7
4	104	7
5	160	7
6	246	7
7	442	7
8	752	7
9	865	7
10	882	7
done	882	7
0	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	12	13
1	21	12
2	37	12
3	63	12
4	112	12
5	199	12
6	332	12
7	747	12
8	3009	12
done	5001	12
0	11	12
1	18	12
2	33	12
3	57	12
4	91	12
5	126	12
6	153	12
7	179	12
8	222	12
9	288	12
10	377	12
11	423	12
12	501	12
13	523	12
done	523	12
0	11	12
1	21	12
2	37	12
3	63	12
4	112	12
5	203	12
6	336	12
7	749	12
8	3004	12
done	5000	12
0	12	25
1	19	25
2	34	25
3	58	25
4	92	25
5	125	25
6	152	25
7	178	25
8	221	25
9	287	25
10	376	25
11	422	25
12	500	25
13	522	25
done	522	25
0	11	12
1	18	12
2	33	12
3	57	12
4	91	12
5	126	12
6	153	12
7	179	12
8	222	12
9	288	12
10	377	12
11	423	12
12	501	12
13	523	12
done	523	12
0	12	35
1	32	35
2	95	13
3	339	13
4	1531	13
done	5000	13
0	11	12
1	18	12
2	33	12
3	57	12
4	91	12
5	126	12
6	153	12
7	179	12
8	222	12
9	288	12
10	377	12
11	423	12
12	501	12
13	523	12
done	523	12
0	11	12
1	18	12
2	33	12
3	57	12
4	91	12
5	126	12
6	153	12
7	179	12
8	222	12
9	288	12
10	377	12
11	423	12
12	501	12
13	523	12
done	523	12
0	13	15
1	36	15
2	92	15
3	339	15
4	1791	15
done	5000	15
0	14	35
1	34	25
2	99	25
3	343	25
4	1208	25
5	3293	25
done	5000	25
0	12	23
1	27	23
2	71	23
3	265	23
4	1164	23
5	4208	23
done	5000	23
0	10	11
1	18	11
2	38	11
3	76	11
4	153	11
5	236	11
6	303	11
7	338	11
8	401	11
9	501	11
10	508	11
done	508	11
0	10	11
1	17	11
2	32	11
3	56	11
4	90	11
5	123	11
6	150	11
7	176	11
8	219	11
9	285	11
10	374	11
11	420	11
12	498	11
13	520	11
done	520	11
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	1	1
done	1	1
0	8	9
1	16	9
2	31	9
3	51	9
4	75	9
5	90	9
6	110	9
7	132	9
8	141	9
9	150	9
10	181	9
11	213	9
12	218	9
13	233	9
14	269	9
15	359	9
16	589	9
17	790	9
18	915	9
19	969	9
done	969	9
0	8	9
1	16	9
2	31	9
3	51	9
4	75	9
5	90	9
6	110	9
7	132	9
8	141	9
9	150	9
10	181	9
11	213	9
12	218	9
13	233	9
14	269	9
15	359	9
16	589	9
17	790	9
18	915	9
19	969	9
done	969	9

prune115.0ms

Filtered

57 candidates to 76 candidates (-33.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

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

Merged error: 0.0b

Counts

77 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- a t))
0.5b	(cbrt (- a t))
0.5b	(cbrt (- a t))
7.1b	(* (/ y (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (cbrt (- a t))))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-sqr-sqrt`
60×	`*-un-lft-identity`
50×	`times-frac`
46×	`associate-r`
42×	`cbrt-prod`
28×	`add-cube-cbrt`
25×	`add-exp-log`
20×	`cbrt-div`
18×	`add-cbrt-cube`
16×	`distribute-lft-out--` `difference-of-squares`
15×	`associate-l`
10×	`flip3--` `associate-/r/` `flip--`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp`
6×	`pow1` `unswap-sqr`
5×	`frac-times`
4×	`add-log-exp`
3×	`pow1/3` `associate-r/` `associate-l/`
2×	`div-inv`
1×	`pow-prod-down` `*-commutative`

Counts

4 → 136

Calls

4 calls:

4.0ms	(cbrt (- a t))
4.0ms	(cbrt (- a t))
4.0ms	(cbrt (- a t))
42.0ms	(* (/ y (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (cbrt (- a t))))

series130.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(cbrt (- a t))
30.0ms	(cbrt (- a t))
37.0ms	(cbrt (- a t))
32.0ms	(* (/ y (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (cbrt (- a t))))

simplify2.6min

Counts

148 → 148

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	20
1	24	20
2	53	20
3	139	20
4	246	12
5	359	9
6	493	9
7	668	9
8	1080	9
9	2607	9
done	5001	9
0	14	25
1	30	21
2	70	21
3	164	21
4	332	16
5	491	15
6	633	15
7	676	15
done	676	15
0	14	24
1	31	20
2	66	20
3	141	20
4	296	20
5	464	15
6	608	15
7	654	15
done	654	15
0	15	24
1	28	24
2	60	21
3	151	21
4	301	16
5	459	15
6	601	15
7	646	15
done	646	15
0	14	23
1	29	23
2	58	20
3	131	20
4	273	20
5	440	15
6	582	15
7	628	15
done	628	15
0	14	23
1	27	23
2	47	23
3	109	21
4	233	20
5	470	15
6	603	15
7	678	15
8	680	15
done	680	15
0	13	22
1	28	22
2	47	22
3	96	20
4	207	20
5	413	16
6	570	15
7	653	15
8	670	15
done	670	15
0	12	21
1	28	21
2	70	21
3	189	21
4	414	13
5	739	10
6	1176	10
7	1569	10
8	2196	10
9	4332	10
done	5000	10
0	12	21
1	27	21
2	62	21
3	168	21
4	330	13
5	609	10
6	1143	10
7	2809	10
done	5000	10
0	14	29
1	33	29
2	125	21
3	558	21
4	2739	15
done	5000	15
0	15	40
1	41	40
2	147	22
3	691	22
4	4315	21
done	5000	21
0	17	51
1	44	51
2	193	25
3	1265	20
done	5001	20
0	17	62
1	51	62
2	212	26
3	1420	20
done	5000	20
0	15	51
1	35	51
2	133	23
3	691	23
4	4609	21
done	5000	21
0	15	62
1	42	62
2	154	24
3	812	24
done	5000	24
0	13	43
1	26	43
2	55	43
3	141	43
4	247	27
5	359	21
6	489	21
7	665	21
8	1075	21
9	2600	21
done	5001	21
0	12	21
1	25	21
2	54	21
3	140	21
4	245	13
5	359	10
6	490	10
7	666	10
8	1076	10
9	2600	10
done	5000	10
0	13	62
1	36	62
2	148	22
3	914	22
done	5000	22
0	12	21
1	25	21
2	54	21
3	140	21
4	245	13
5	359	10
6	490	10
7	666	10
8	1076	10
9	2600	10
done	5000	10
0	12	21
1	25	21
2	54	21
3	140	21
4	245	13
5	359	10
6	490	10
7	666	10
8	1076	10
9	2600	10
done	5000	10
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	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	13	22
1	22	22
2	26	22
3	28	22
done	28	22
0	13	22
1	22	22
2	26	22
3	28	22
done	28	22
0	15	23
1	23	23
2	28	23
3	32	23
4	33	23
done	33	23
0	15	23
1	23	23
2	28	23
3	32	23
4	33	23
done	33	23
0	14	23
1	22	23
2	27	23
3	31	23
4	32	23
done	32	23
0	14	23
1	22	23
2	27	23
3	31	23
4	32	23
done	32	23
0	12	17
1	21	17
2	28	17
3	32	17
4	34	17
5	35	17
done	35	17
0	12	17
1	21	17
2	28	17
3	32	17
4	34	17
5	35	17
done	35	17
0	14	18
1	22	18
2	33	18
3	50	18
4	71	18
5	83	18
6	85	18
done	85	18
0	14	18
1	22	18
2	33	18
3	50	18
4	71	18
5	83	18
6	85	18
done	85	18
0	13	18
1	21	18
2	32	18
3	49	18
4	70	18
5	82	18
6	84	18
done	84	18
0	13	18
1	21	18
2	32	18
3	49	18
4	70	18
5	82	18
6	84	18
done	84	18
0	13	31
1	26	31
2	48	31
3	84	31
4	130	31
5	152	31
6	161	31
done	161	31
0	12	21
1	23	21
2	38	21
3	53	21
4	63	21
5	66	21
done	66	21
0	14	32
1	26	32
2	56	32
3	142	32
4	347	32
5	577	32
6	648	32
7	656	32
done	656	32
0	15	27
1	27	27
2	57	27
3	143	27
4	343	27
5	575	27
6	656	27
7	664	27
done	664	27
0	15	24
1	29	23
2	59	23
3	142	21
4	394	21
5	627	21
6	663	21
done	663	21
0	17	28
1	30	28
2	60	28
3	146	28
4	350	28
5	592	28
6	670	28
7	678	28
done	678	28
0	15	24
1	29	23
2	59	23
3	142	21
4	394	21
5	627	21
6	663	21
done	663	21
0	15	33
1	31	33
2	84	33
3	248	33
4	715	33
5	1516	33
6	1806	33
7	1820	33
done	1820	33
0	14	27
1	26	27
2	56	27
3	142	27
4	347	27
5	577	27
6	648	27
7	656	27
done	656	27
0	14	23
1	28	21
2	64	21
3	201	21
4	483	21
5	638	21
6	641	21
done	641	21
0	13	27
1	23	27
2	44	27
3	87	27
4	159	27
5	209	27
6	216	27
done	216	27
0	14	22
1	24	22
2	45	22
3	88	22
4	159	22
5	210	22
6	217	22
done	217	22
0	14	19
1	26	18
2	47	18
3	90	16
4	231	16
5	337	16
6	350	16
done	350	16
0	16	23
1	27	23
2	48	23
3	91	23
4	162	23
5	213	23
6	220	23
done	220	23
0	14	19
1	26	18
2	47	18
3	90	16
4	231	16
5	337	16
6	350	16
done	350	16
0	14	28
1	26	28
2	57	28
3	134	28
4	310	28
5	514	28
6	547	28
done	547	28
0	13	22
1	23	22
2	44	22
3	87	22
4	159	22
5	209	22
6	216	22
done	216	22
0	13	18
1	25	16
2	48	16
3	105	16
4	212	16
5	232	16
done	232	16
0	11	24
1	22	24
2	42	22
3	116	22
4	195	22
5	265	22
6	302	22
7	304	22
done	304	22
0	12	19
1	23	19
2	43	17
3	117	17
4	196	17
5	270	17
6	307	17
7	308	17
done	308	17
0	11	16
1	22	15
2	41	13
3	115	11
4	365	11
5	470	11
6	484	11
7	487	11
done	487	11
0	14	20
1	26	20
2	46	18
3	120	18
4	199	18
5	273	18
6	310	18
7	312	18
done	312	18
0	11	16
1	22	15
2	41	13
3	115	11
4	365	11
5	470	11
6	484	11
7	487	11
done	487	11
0	12	25
1	25	25
2	54	23
3	174	23
4	378	23
5	618	23
6	732	23
done	732	23
0	11	19
1	22	19
2	42	17
3	116	17
4	195	17
5	265	17
6	302	17
7	304	17
done	304	17
0	10	15
1	21	13
2	40	11
3	78	11
4	168	11
5	214	11
6	215	11
done	215	11
0	14	28
1	24	28
2	52	28
3	119	28
4	221	28
5	312	28
6	423	28
7	564	28
8	624	28
9	657	28
10	668	28
11	675	28
12	679	28
done	679	28
0	15	23
1	25	23
2	53	23
3	120	23
4	219	23
5	310	23
6	420	23
7	559	23
8	620	23
9	653	23
10	664	23
11	671	23
12	675	23
done	675	23
0	15	20
1	27	19
2	55	19
3	122	17
4	291	17
5	465	17
6	600	17
7	641	17
8	670	17
9	676	17
10	680	17
done	680	17
0	16	24
1	27	24
2	55	24
3	122	24
4	222	24
5	313	24
6	424	24
7	565	24
8	625	24
9	658	24
10	669	24
11	676	24
12	680	24
done	680	24
0	15	20
1	27	19
2	55	19
3	122	17
4	291	17
5	465	17
6	600	17
7	641	17
8	670	17
9	676	17
10	680	17
done	680	17
0	15	29
1	27	29
2	65	29
3	166	29
4	381	29
5	659	29
6	921	29
7	1342	29
8	1549	29
9	1670	29
10	1770	29
11	1812	29
12	1817	29
done	1817	29
0	14	23
1	24	23
2	52	23
3	119	23
4	221	23
5	312	23
6	423	23
7	564	23
8	624	23
9	657	23
10	668	23
11	675	23
12	679	23
done	679	23
0	14	19
1	26	17
2	64	17
3	135	17
4	285	17
5	423	17
6	491	17
7	509	17
8	541	17
9	545	17
done	545	17
0	11	24
1	22	24
2	42	22
3	116	22
4	195	22
5	265	22
6	302	22
7	304	22
done	304	22
0	12	19
1	23	19
2	43	17
3	117	17
4	196	17
5	270	17
6	307	17
7	308	17
done	308	17
0	11	16
1	22	15
2	41	13
3	115	11
4	365	11
5	470	11
6	484	11
7	487	11
done	487	11
0	14	20
1	26	20
2	46	18
3	120	18
4	199	18
5	273	18
6	310	18
7	312	18
done	312	18
0	11	16
1	22	15
2	41	13
3	115	11
4	365	11
5	470	11
6	484	11
7	487	11
done	487	11
0	12	25
1	25	25
2	54	23
3	174	23
4	378	23
5	618	23
6	732	23
done	732	23
0	11	19
1	22	19
2	42	17
3	116	17
4	195	17
5	265	17
6	302	17
7	304	17
done	304	17
0	10	15
1	21	13
2	40	11
3	78	11
4	168	11
5	214	11
6	215	11
done	215	11
0	9	13
1	18	11
2	37	11
3	47	11
4	64	11
5	73	11
6	85	11
7	87	11
done	87	11
0	10	15
1	18	15
2	43	15
3	83	15
4	136	15
5	204	15
6	244	15
7	248	15
done	248	15
0	16	24
1	44	24
2	94	24
3	223	24
4	466	24
5	1015	24
6	3024	24
done	5001	24
0	15	24
1	32	24
2	72	24
3	192	24
4	378	24
5	657	24
6	1062	24
7	2360	24
done	5000	24
0	12	21
1	23	21
2	36	21
3	53	21
4	76	21
5	95	21
6	102	21
7	103	21
done	103	21
0	12	21
1	23	21
2	36	21
3	53	21
4	76	21
5	95	21
6	102	21
7	103	21
done	103	21
0	11	16
1	22	16
2	40	16
3	83	16
4	139	16
5	187	16
6	229	16
7	241	16
done	241	16
0	11	16
1	22	16
2	40	16
3	83	16
4	139	16
5	187	16
6	229	16
7	241	16
done	241	16
0	10	15
1	21	15
2	39	15
3	82	15
4	137	15
5	186	15
6	228	15
7	241	15
done	241	15
0	11	20
1	24	20
2	53	20
3	139	20
4	246	12
5	359	9
6	493	9
7	668	9
8	1080	9
9	2607	9
done	5001	9
0	11	20
1	26	20
2	54	18
3	176	18
4	426	10
5	541	7
6	759	7
7	1030	7
8	1722	7
9	4329	7
done	5000	7
0	15	34
1	33	30
2	59	30
3	102	30
4	152	30
5	220	30
6	273	30
7	294	30
8	299	30
done	299	30
0	17	26
1	36	24
2	67	24
3	135	24
4	212	24
5	319	24
6	428	24
7	458	24
8	474	24
done	474	24
0	17	26
1	36	24
2	67	24
3	135	24
4	212	24
5	319	24
6	428	24
7	458	24
8	474	24
done	474	24
0	11	18
1	23	18
2	41	18
3	83	18
4	132	18
5	200	18
6	253	18
7	274	18
8	279	18
done	279	18
0	14	21
1	30	19
2	51	19
3	69	19
4	93	19
5	112	19
6	119	19
7	120	19
done	120	19
0	10	13
1	20	13
2	33	13
3	50	13
4	73	13
5	92	13
6	99	13
7	100	13
done	100	13
0	14	21
1	30	19
2	51	19
3	69	19
4	93	19
5	112	19
6	119	19
7	120	19
done	120	19
0	10	13
1	20	13
2	33	13
3	50	13
4	73	13
5	92	13
6	99	13
7	100	13
done	100	13
0	10	15
1	18	15
2	43	15
3	83	15
4	136	15
5	204	15
6	244	15
7	248	15
done	248	15
0	9	10
1	18	10
2	31	10
3	48	10
4	71	10
5	90	10
6	97	10
7	98	10
done	98	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	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	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	1	1
done	1	1
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	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
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

prune194.0ms

Filtered

116 candidates to 148 candidates (-27.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	146	2	148
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	148	6	154

Merged error: 0b

Counts

154 → 6

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-sqr-sqrt`
71×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-r`
27×	`add-cube-cbrt`
22×	`distribute-lft-out--` `difference-of-squares`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `associate-/r` `associate-/l` `add-log-exp`
4×	`associate-/r/`
3×	`flip3--` `associate-l` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `flip3-+` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+`

Counts

3 → 113

Calls

3 calls:

3.0ms	(+ x (* y (/ (- z t) (- a t))))
10.0ms	(/ (- z t) (- a t))
16.0ms	(* y (/ (- z t) (- a t)))

series62.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify55.4s

Counts

122 → 122

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	8	9
1	17	9
2	30	9
3	50	9
4	78	9
5	101	9
6	122	9
7	133	9
8	142	9
done	142	9
0	11	12
1	19	12
2	28	12
3	37	12
4	43	12
5	53	12
6	60	12
7	72	12
8	95	12
9	109	12
10	115	12
done	115	12
0	10	11
1	20	11
2	30	11
3	41	11
4	51	11
5	60	11
6	65	11
7	74	11
8	91	11
9	110	11
10	118	11
done	118	11
0	9	10
1	21	10
2	40	10
3	70	10
4	117	10
5	154	10
6	187	10
7	216	10
8	241	10
9	248	10
10	265	10
11	267	10
done	267	10
0	9	10
1	20	10
2	39	10
3	77	10
4	158	10
5	326	10
6	669	10
7	1938	10
done	5000	10
0	14	29
1	32	29
2	139	15
3	642	13
4	2859	13
done	5000	13
0	12	29
1	31	29
2	96	13
3	400	13
4	1910	11
done	5001	11
0	10	21
1	19	21
2	32	21
3	52	21
4	80	21
5	103	21
6	124	21
7	135	21
8	144	21
done	144	21
0	9	10
1	18	10
2	31	10
3	51	10
4	79	10
5	102	10
6	123	10
7	134	10
8	143	10
done	143	10
0	10	29
1	29	29
2	93	11
3	394	11
4	1941	11
done	5001	11
0	9	10
1	18	10
2	31	10
3	51	10
4	79	10
5	102	10
6	123	10
7	134	10
8	143	10
done	143	10
0	9	10
1	18	10
2	31	10
3	51	10
4	79	10
5	102	10
6	123	10
7	134	10
8	143	10
done	143	10
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	11	12
1	17	12
2	22	12
3	26	12
4	27	12
done	27	12
0	11	12
1	17	12
2	22	12
3	26	12
4	27	12
done	27	12
0	10	19
1	19	19
2	25	19
3	27	19
done	27	19
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	12	21
1	24	21
2	55	21
3	94	21
4	150	21
5	164	21
done	164	21
0	11	16
1	19	16
2	31	16
3	46	16
4	59	16
5	61	16
done	61	16
0	9	13
1	18	11
2	36	11
3	73	11
4	111	11
done	111	11
0	12	17
1	20	17
2	31	17
3	46	17
4	59	17
5	61	17
done	61	17
0	9	13
1	18	11
2	36	11
3	73	11
4	111	11
done	111	11
0	11	16
1	19	16
2	32	16
3	45	16
4	57	16
done	57	16
0	10	11
1	16	11
2	21	11
3	25	11
4	26	11
done	26	11
0	8	8
1	15	6
2	23	6
3	32	6
4	38	6
done	38	6
0	11	12
1	17	12
2	21	12
3	25	12
4	26	12
done	26	12
0	8	8
1	15	6
2	23	6
3	32	6
4	38	6
done	38	6
0	9	13
1	18	13
2	29	11
3	36	11
4	56	11
5	86	11
6	89	11
done	89	11
0	8	8
1	15	8
2	19	6
3	20	6
4	25	6
5	26	6
done	26	6
0	4	5
1	9	3
2	14	1
done	14	1
0	9	9
1	15	9
2	18	7
3	19	7
4	24	7
5	25	7
done	25	7
0	4	5
1	9	3
2	14	1
done	14	1
0	12	17
1	20	17
2	40	17
3	54	17
4	82	17
5	88	17
6	108	17
7	134	17
8	148	17
9	153	17
10	154	17
11	156	17
12	157	17
done	157	17
0	11	12
1	17	12
2	29	12
3	33	12
4	42	12
5	44	12
6	50	12
7	54	12
8	60	12
9	62	12
done	62	12
0	9	9
1	15	7
2	30	7
3	39	7
4	53	7
done	53	7
0	11	13
1	16	13
2	27	13
3	31	13
4	40	13
5	42	13
6	48	13
7	52	13
8	58	13
9	60	13
done	60	13
0	9	9
1	15	7
2	30	7
3	39	7
4	53	7
done	53	7
0	9	13
1	18	13
2	29	11
3	36	11
4	56	11
5	86	11
6	89	11
done	89	11
0	8	8
1	15	8
2	19	6
3	20	6
4	25	6
5	26	6
done	26	6
0	4	5
1	9	3
2	14	1
done	14	1
0	9	9
1	15	9
2	18	7
3	19	7
4	24	7
5	25	7
done	25	7
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	11	13
1	34	13
2	67	13
3	135	13
4	324	13
5	1103	13
6	4974	13
done	5000	13
0	10	13
1	23	13
2	52	13
3	116	13
4	229	13
5	428	13
6	671	13
7	1126	13
8	3044	13
done	5001	13
0	9	10
1	18	10
2	31	10
3	51	10
4	79	10
5	102	10
6	123	10
7	134	10
8	143	10
done	143	10
0	9	10
1	18	10
2	31	10
3	51	10
4	79	10
5	102	10
6	123	10
7	134	10
8	143	10
done	143	10
0	8	9
1	17	9
2	30	9
3	50	9
4	78	9
5	101	9
6	122	9
7	133	9
8	142	9
done	142	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	13	9
2	16	9
done	16	9
0	7	8
1	16	8
2	22	8
3	25	8
done	25	8
0	7	8
1	13	8
2	20	8
3	24	8
4	27	8
5	33	8
6	37	8
7	53	8
8	57	8
9	64	8
10	73	8
11	93	8
12	114	8
13	127	8
14	134	8
15	140	8
16	143	8
done	143	8
0	10	23
1	22	23
2	83	11
3	258	9
4	752	9
5	2785	9
done	5000	9
0	8	17
1	14	17
2	18	17
3	20	17
done	20	17
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	8	23
1	21	23
2	53	9
3	185	9
4	609	9
5	1954	9
done	5000	9
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	5	5
1	7	5
2	8	5
done	8	5
0	4	5
1	6	5
2	7	5
done	7	5
0	10	19
1	19	19
2	30	19
3	36	19
done	36	19
0	8	9
1	11	9
2	13	9
done	13	9
0	9	14
1	14	14
2	18	14
3	19	14
done	19	14
0	8	9
1	11	9
2	13	9
done	13	9
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	10	8
2	12	8
done	12	8
0	10	15
1	15	15
2	18	15
3	19	15
done	19	15
0	9	10
1	13	10
2	15	10
done	15	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	10	8
2	12	8
done	12	8
0	9	14
1	14	14
2	16	14
done	16	14
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	10	8
2	12	8
done	12	8
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	13	10
2	15	10
done	15	10
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	10	8
2	12	8
done	12	8
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	10	15
1	15	15
2	16	15
done	16	15
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	9	11
1	11	11
done	11	11
0	9	11
1	15	11
2	19	11
3	21	11
done	21	11
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	5	5
1	9	5
2	10	5
done	10	5
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	8	13
1	16	13
2	25	13
3	30	13
4	33	13
done	33	13
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	5	5
1	12	3
2	17	3
done	17	3
0	8	9
1	14	9
2	17	9
3	19	9
done	19	9
0	5	5
1	12	3
2	17	3
done	17	3
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	9	11
1	29	11
2	53	11
3	95	11
4	200	11
5	580	11
6	2464	11
done	5000	11
0	8	11
1	18	11
2	33	11
3	59	11
4	92	11
5	135	11
6	200	11
7	368	11
8	1645	11
done	5000	11
0	10	15
1	26	13
2	74	13
3	211	13
4	488	13
5	1206	13
6	2670	13
done	5000	13
0	6	7
1	16	7
2	36	7
3	61	7
4	104	7
5	160	7
6	246	7
7	442	7
8	752	7
9	865	7
10	882	7
done	882	7
0	12	13
1	26	12
2	46	12
3	88	12
4	185	12
5	397	12
6	886	12
7	2610	12
done	5001	12
0	11	12
1	21	12
2	34	12
3	54	12
4	86	12
5	116	12
6	144	12
7	162	12
8	187	12
9	221	12
10	287	12
11	376	12
12	422	12
13	500	12
14	522	12
done	522	12
0	11	12
1	24	12
2	42	12
3	74	12
4	137	12
5	265	12
6	549	12
7	1270	12
8	4446	12
done	5001	12
0	12	25
1	22	25
2	35	25
3	55	25
4	87	25
5	117	25
6	145	25
7	163	25
8	188	25
9	222	25
10	288	25
11	377	25
12	423	25
13	501	25
14	523	25
done	523	25
0	11	12
1	21	12
2	34	12
3	54	12
4	86	12
5	116	12
6	144	12
7	162	12
8	187	12
9	221	12
10	287	12
11	376	12
12	422	12
13	500	12
14	522	12
done	522	12
0	12	35
1	35	35
2	104	13
3	388	13
4	1780	13
done	5001	13
0	11	12
1	21	12
2	34	12
3	54	12
4	86	12
5	116	12
6	144	12
7	162	12
8	187	12
9	221	12
10	287	12
11	376	12
12	422	12
13	500	12
14	522	12
done	522	12
0	11	12
1	21	12
2	34	12
3	54	12
4	86	12
5	116	12
6	144	12
7	162	12
8	187	12
9	221	12
10	287	12
11	376	12
12	422	12
13	500	12
14	522	12
done	522	12
0	13	15
1	39	15
2	103	15
3	359	15
4	1811	15
done	5000	15
0	14	35
1	40	25
2	119	25
3	374	25
4	1292	25
5	3654	25
done	5000	25
0	12	23
1	33	23
2	92	23
3	313	23
4	1304	23
5	4778	23
done	5000	23
0	10	11
1	21	11
2	43	11
3	84	11
4	167	11
5	267	11
6	310	11
7	338	11
8	370	11
9	433	11
10	522	11
11	523	11
done	523	11
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	8	9
1	16	9
2	31	9
3	51	9
4	75	9
5	90	9
6	110	9
7	132	9
8	141	9
9	150	9
10	181	9
11	213	9
12	218	9
13	233	9
14	269	9
15	359	9
16	589	9
17	790	9
18	915	9
19	969	9
done	969	9
0	8	9
1	16	9
2	31	9
3	51	9
4	75	9
5	90	9
6	110	9
7	132	9
8	141	9
9	150	9
10	181	9
11	213	9
12	218	9
13	233	9
14	269	9
15	359	9
16	589	9
17	790	9
18	915	9
19	969	9
done	969	9

prune134.0ms

Filtered

86 candidates to 122 candidates (-41.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	121	1	122
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	123	5	128

Merged error: 0b

Counts

128 → 5

localize19.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- a t))
0.5b	(cbrt (- a t))
0.6b	(cbrt (cbrt (- a t)))
9.0b	(* (/ (/ y (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (/ (- z t) (cbrt (cbrt (- a t)))))

rewrite131.0ms

Algorithm

rewrite-expression-head

Rules

166×	`times-frac`
160×	`add-sqr-sqrt`
126×	`cbrt-prod`
97×	`*-un-lft-identity`
80×	`cbrt-div`
72×	`associate-l`
61×	`associate-r`
59×	`add-cube-cbrt`
42×	`associate-/r/`
36×	`add-exp-log`
34×	`flip3--` `flip--`
22×	`add-cbrt-cube`
21×	`frac-times`
20×	`unswap-sqr`
19×	`distribute-lft-out--` `difference-of-squares`
14×	`cbrt-undiv` `div-exp`
11×	`associate-r/` `associate-l/`
10×	`prod-exp` `cbrt-unprod`
6×	`pow1` `div-inv`
4×	`add-log-exp`
3×	`pow1/3`
1×	`pow-prod-down` `*-commutative`

Counts

4 → 229

Calls

4 calls:

4.0ms	(cbrt (- a t))
4.0ms	(cbrt (- a t))
4.0ms	(cbrt (cbrt (- a t)))
102.0ms	(* (/ (/ y (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (/ (- z t) (cbrt (cbrt (- a t)))))

series135.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(cbrt (- a t))
30.0ms	(cbrt (- a t))
44.0ms	(cbrt (cbrt (- a t)))
31.0ms	(* (/ (/ y (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (/ (- z t) (cbrt (cbrt (- a t)))))

simplify12.1min

Counts

241 → 241

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	14	32
1	29	32
2	63	32
3	228	32
4	680	32
5	1508	32
6	2801	32
7	3626	32
8	3742	32
done	3742	32
0	20	38
1	40	34
2	101	34
3	344	34
4	1242	34
5	2754	34
6	3913	34
7	4272	34
done	4272	34
0	19	37
1	41	33
2	97	33
3	288	33
4	964	33
5	2414	33
6	3586	33
7	3989	33
done	3989	33
0	19	37
1	37	37
2	90	34
3	293	34
4	1029	34
5	2359	34
6	4279	34
7	4807	34
done	4807	34
0	18	36
1	38	36
2	86	33
3	246	33
4	807	33
5	2052	33
6	4015	33
7	4542	33
8	4544	33
done	4544	33
0	18	36
1	35	36
2	72	36
3	217	34
4	798	34
5	1876	34
6	3532	34
7	4363	34
8	4383	34
done	4383	34
0	17	35
1	36	35
2	70	35
3	185	33
4	636	33
5	1645	33
6	3274	33
7	4078	33
8	4105	33
done	4105	33
0	17	35
1	32	35
2	63	35
3	156	35
4	518	33
5	1649	33
6	3037	33
7	3998	33
8	4167	33
done	4167	33
0	16	34
1	33	34
2	63	34
3	140	34
4	423	32
5	1369	32
6	3005	32
7	3938	32
8	4176	32
done	4176	32
0	15	33
1	33	33
2	81	33
3	294	33
4	986	33
5	2729	31
done	5001	31
0	15	33
1	32	33
2	72	33
3	255	33
4	773	33
5	1813	33
6	3711	33
done	5000	33
0	17	40
1	40	40
2	159	32
3	913	32
done	5001	32
0	18	53
1	48	53
2	184	33
3	1072	33
done	5001	33
0	18	62
1	49	62
2	208	36
3	1273	20
done	5000	20
0	19	75
1	57	75
2	233	37
3	1463	27
done	5000	27
0	16	62
1	43	62
2	172	34
3	956	26
done	5000	26
0	17	75
1	51	75
2	197	35
3	1122	35
done	5001	35
0	17	85
1	39	85
2	140	35
3	788	35
done	5000	35
0	18	98
1	47	98
2	165	36
3	929	36
done	5001	36
0	16	67
1	31	67
2	65	67
3	230	67
4	684	67
5	1509	67
6	2792	67
7	3617	67
8	3729	67
done	3729	67
0	15	33
1	30	33
2	64	33
3	229	33
4	683	33
5	1511	33
6	2806	33
7	3614	33
8	3726	33
done	3726	33
0	16	98
1	41	98
2	158	34
3	1154	34
done	5000	34
0	15	33
1	30	33
2	64	33
3	229	33
4	683	33
5	1511	33
6	2806	33
7	3614	33
8	3726	33
done	3726	33
0	15	33
1	30	33
2	64	33
3	229	33
4	683	33
5	1511	33
6	2806	33
7	3614	33
8	3726	33
done	3726	33
0	10	15
1	18	15
2	43	15
3	83	15
4	136	15
5	204	15
6	244	15
7	248	15
done	248	15
0	8	16
1	11	16
2	12	16
done	12	16
0	16	34
1	27	34
2	37	34
3	47	34
done	47	34
0	16	34
1	27	34
2	37	34
3	47	34
done	47	34
0	18	35
1	28	35
2	39	35
3	51	35
4	52	35
done	52	35
0	18	35
1	28	35
2	39	35
3	51	35
4	52	35
done	52	35
0	17	35
1	27	35
2	38	35
3	50	35
4	51	35
done	51	35
0	17	35
1	27	35
2	38	35
3	50	35
4	51	35
done	51	35
0	17	35
1	27	35
2	38	35
3	50	35
4	51	35
done	51	35
0	17	35
1	27	35
2	38	35
3	50	35
4	51	35
done	51	35
0	15	29
1	26	29
2	33	29
3	37	29
4	39	29
5	40	29
done	40	29
0	15	29
1	26	29
2	33	29
3	37	29
4	39	29
5	40	29
done	40	29
0	18	30
1	28	30
2	39	30
3	56	30
4	77	30
5	89	30
6	91	30
done	91	30
0	18	30
1	28	30
2	39	30
3	56	30
4	77	30
5	89	30
6	91	30
done	91	30
0	17	30
1	27	30
2	38	30
3	55	30
4	76	30
5	88	30
6	90	30
done	90	30
0	17	30
1	27	30
2	38	30
3	55	30
4	76	30
5	88	30
6	90	30
done	90	30
0	16	30
1	26	30
2	37	30
3	54	30
4	75	30
5	87	30
6	89	30
done	89	30
0	16	30
1	26	30
2	37	30
3	54	30
4	75	30
5	87	30
6	89	30
done	89	30
0	17	35
1	28	35
2	35	35
3	39	35
4	41	35
5	42	35
done	42	35
0	17	35
1	28	35
2	35	35
3	39	35
4	41	35
5	42	35
done	42	35
0	19	36
1	29	36
2	40	36
3	57	36
4	78	36
5	90	36
6	92	36
done	92	36
0	19	36
1	29	36
2	40	36
3	57	36
4	78	36
5	90	36
6	92	36
done	92	36
0	18	36
1	28	36
2	39	36
3	56	36
4	77	36
5	89	36
6	91	36
done	91	36
0	18	36
1	28	36
2	39	36
3	56	36
4	77	36
5	89	36
6	91	36
done	91	36
0	18	36
1	28	36
2	39	36
3	56	36
4	77	36
5	89	36
6	91	36
done	91	36
0	18	36
1	28	36
2	39	36
3	56	36
4	77	36
5	89	36
6	91	36
done	91	36
0	14	24
1	25	24
2	40	24
3	64	24
4	87	24
5	97	24
done	97	24
0	14	24
1	25	24
2	40	24
3	64	24
4	87	24
5	97	24
done	97	24
0	17	25
1	27	25
2	48	25
3	107	25
4	217	25
5	318	25
6	361	25
done	361	25
0	17	25
1	27	25
2	48	25
3	107	25
4	217	25
5	318	25
6	361	25
done	361	25
0	16	25
1	26	25
2	47	25
3	106	25
4	216	25
5	317	25
6	356	25
done	356	25
0	16	25
1	26	25
2	47	25
3	106	25
4	216	25
5	317	25
6	356	25
done	356	25
0	15	25
1	25	25
2	46	25
3	105	25
4	212	25
5	313	25
6	351	25
done	351	25
0	15	25
1	25	25
2	46	25
3	105	25
4	212	25
5	313	25
6	351	25
done	351	25
0	17	30
1	28	30
2	43	30
3	67	30
4	91	30
5	101	30
done	101	30
0	17	30
1	28	30
2	43	30
3	67	30
4	91	30
5	101	30
done	101	30
0	19	31
1	29	31
2	50	31
3	109	31
4	216	31
5	318	31
6	354	31
done	354	31
0	19	31
1	29	31
2	50	31
3	109	31
4	216	31
5	318	31
6	354	31
done	354	31
0	18	31
1	28	31
2	49	31
3	108	31
4	216	31
5	318	31
6	359	31
done	359	31
0	18	31
1	28	31
2	49	31
3	108	31
4	216	31
5	318	31
6	359	31
done	359	31
0	18	31
1	28	31
2	49	31
3	108	31
4	216	31
5	318	31
6	359	31
done	359	31
0	18	31
1	28	31
2	49	31
3	108	31
4	216	31
5	318	31
6	359	31
done	359	31
0	16	44
1	31	44
2	58	44
3	140	44
4	344	44
5	605	44
6	701	44
7	702	44
done	702	44
0	15	33
1	28	33
2	48	33
3	95	33
4	171	33
5	228	33
6	235	33
done	235	33
0	16	44
1	30	44
2	65	44
3	208	44
4	742	44
5	2014	44
6	3127	44
7	3182	44
done	3182	44
0	18	39
1	32	39
2	67	39
3	210	39
4	730	39
5	1990	39
6	3108	39
7	3178	39
done	3178	39
0	18	36
1	34	34
2	69	34
3	206	32
4	678	32
5	1867	32
6	2288	32
7	2292	32
done	2292	32
0	20	40
1	35	40
2	70	40
3	213	40
4	738	40
5	1988	40
6	3089	40
7	3158	40
done	3158	40
0	18	36
1	34	34
2	69	34
3	206	32
4	678	32
5	1867	32
6	2288	32
7	2292	32
done	2292	32
0	18	45
1	32	45
2	67	45
3	210	45
4	730	45
5	1990	45
6	3108	45
7	3178	45
done	3178	45
0	17	39
1	31	39
2	66	39
3	209	39
4	738	39
5	1990	39
6	3085	39
7	3154	39
done	3154	39
0	17	35
1	33	34
2	68	34
3	205	32
4	679	32
5	1845	32
6	2263	32
7	2267	32
done	2267	32
0	18	46
1	36	46
2	94	46
3	330	46
4	1317	46
5	4369	46
done	5000	46
0	17	39
1	31	39
2	66	39
3	209	39
4	738	39
5	1990	39
6	3085	39
7	3154	39
done	3154	39
0	16	34
1	32	32
2	73	32
3	252	32
4	787	32
5	1634	32
6	1726	32
done	1726	32
0	15	39
1	27	39
2	53	39
3	147	39
4	391	39
5	725	39
6	914	39
7	917	39
done	917	39
0	17	34
1	29	34
2	55	34
3	149	34
4	389	34
5	725	34
6	911	34
7	914	34
done	914	34
0	17	31
1	31	29
2	57	29
3	151	27
4	475	27
5	1035	27
6	1136	27
done	1136	27
0	19	35
1	32	35
2	58	35
3	152	35
4	400	35
5	735	35
6	928	35
7	931	35
done	931	35
0	17	31
1	31	29
2	57	29
3	151	27
4	475	27
5	1035	27
6	1136	27
done	1136	27
0	17	40
1	29	40
2	55	40
3	149	40
4	389	40
5	725	40
6	911	40
7	914	40
done	914	40
0	16	34
1	28	34
2	54	34
3	148	34
4	392	34
5	727	34
6	921	34
7	924	34
done	924	34
0	16	30
1	30	29
2	56	29
3	150	27
4	475	27
5	1032	27
6	1130	27
done	1130	27
0	17	41
1	31	41
2	67	41
3	208	41
4	641	41
5	1536	41
6	2237	41
7	2257	41
done	2257	41
0	16	34
1	28	34
2	54	34
3	148	34
4	392	34
5	727	34
6	921	34
7	924	34
done	924	34
0	15	29
1	29	27
2	57	27
3	155	27
4	420	27
5	625	27
6	628	27
done	628	27
0	13	36
1	26	36
2	51	34
3	180	34
4	453	34
5	887	34
6	1170	34
7	1200	34
done	1200	34
0	15	31
1	28	31
2	53	29
3	182	29
4	451	29
5	894	29
6	1164	29
7	1188	29
done	1188	29
0	14	28
1	27	26
2	51	24
3	180	22
4	922	22
5	1389	22
6	1418	22
7	1421	22
done	1421	22
0	17	32
1	31	32
2	56	30
3	185	30
4	458	30
5	873	30
6	1151	30
7	1178	30
done	1178	30
0	14	28
1	27	26
2	51	24
3	180	22
4	922	22
5	1389	22
6	1418	22
7	1421	22
done	1421	22
0	15	37
1	28	37
2	53	35
3	182	35
4	451	35
5	894	35
6	1164	35
7	1188	35
done	1188	35
0	14	31
1	27	31
2	52	29
3	181	29
4	452	29
5	882	29
6	1146	29
7	1179	29
done	1179	29
0	13	27
1	26	26
2	50	24
3	179	22
4	895	22
5	1363	22
6	1392	22
7	1403	22
done	1403	22
0	15	38
1	30	38
2	64	36
3	253	36
4	778	36
5	1782	36
6	2465	36
7	2506	36
done	2506	36
0	14	31
1	27	31
2	52	29
3	181	29
4	452	29
5	882	29
6	1146	29
7	1179	29
done	1179	29
0	12	26
1	25	24
2	49	22
3	151	22
4	368	22
5	712	22
6	729	22
done	729	22
0	16	40
1	28	40
2	61	40
3	195	40
4	532	40
5	1032	40
6	1622	40
7	2296	40
8	2605	40
9	2838	40
10	2933	40
11	2979	40
12	2998	40
done	2998	40
0	18	35
1	30	35
2	63	35
3	197	35
4	536	35
5	1032	35
6	1621	35
7	2304	35
8	2613	35
9	2842	35
10	2937	35
11	2983	35
12	3002	35
done	3002	35
0	18	32
1	32	30
2	65	30
3	199	28
4	611	28
5	1398	28
6	1879	28
7	2127	28
8	2339	28
9	2350	28
10	2354	28
done	2354	28
0	19	36
1	32	36
2	65	36
3	199	36
4	539	36
5	1037	36
6	1625	36
7	2299	36
8	2605	36
9	2838	36
10	2933	36
11	2979	36
12	2998	36
done	2998	36
0	18	32
1	32	30
2	65	30
3	199	28
4	611	28
5	1398	28
6	1879	28
7	2127	28
8	2339	28
9	2350	28
10	2354	28
done	2354	28
0	18	41
1	30	41
2	63	41
3	197	41
4	536	41
5	1032	41
6	1621	41
7	2304	41
8	2613	41
9	2842	41
10	2937	41
11	2983	41
12	3002	41
done	3002	41
0	17	35
1	29	35
2	62	35
3	196	35
4	534	35
5	1034	35
6	1631	35
7	2315	35
8	2619	35
9	2846	35
10	2941	35
11	2987	35
12	3006	35
done	3006	35
0	17	31
1	31	30
2	64	30
3	198	28
4	617	28
5	1392	28
6	1871	28
7	2119	28
8	2334	28
9	2345	28
10	2349	28
done	2349	28
0	18	42
1	32	42
2	75	42
3	257	42
4	796	42
5	1899	42
6	3427	42
done	5000	42
0	17	35
1	29	35
2	62	35
3	196	35
4	534	35
5	1034	35
6	1631	35
7	2315	35
8	2619	35
9	2846	35
10	2941	35
11	2987	35
12	3006	35
done	3006	35
0	16	30
1	30	28
2	73	28
3	213	28
4	577	28
5	1140	28
6	1429	28
7	1552	28
8	1750	28
9	1758	28
10	1762	28
done	1762	28
0	13	36
1	26	36
2	51	34
3	180	34
4	453	34
5	887	34
6	1170	34
7	1200	34
done	1200	34
0	15	31
1	28	31
2	53	29
3	182	29
4	451	29
5	894	29
6	1164	29
7	1188	29
done	1188	29
0	14	28
1	27	26
2	51	24
3	180	22
4	922	22
5	1389	22
6	1418	22
7	1421	22
done	1421	22
0	17	32
1	31	32
2	56	30
3	185	30
4	458	30
5	873	30
6	1151	30
7	1178	30
done	1178	30
0	14	28
1	27	26
2	51	24
3	180	22
4	922	22
5	1389	22
6	1418	22
7	1421	22
done	1421	22
0	15	37
1	28	37
2	53	35
3	182	35
4	451	35
5	894	35
6	1164	35
7	1188	35
done	1188	35
0	14	31
1	27	31
2	52	29
3	181	29
4	452	29
5	882	29
6	1146	29
7	1179	29
done	1179	29
0	13	27
1	26	26
2	50	24
3	179	22
4	895	22
5	1363	22
6	1392	22
7	1403	22
done	1403	22
0	15	38
1	30	38
2	64	36
3	253	36
4	778	36
5	1782	36
6	2465	36
7	2506	36
done	2506	36
0	14	31
1	27	31
2	52	29
3	181	29
4	452	29
5	882	29
6	1146	29
7	1179	29
done	1179	29
0	12	26
1	25	24
2	49	22
3	151	22
4	368	22
5	712	22
6	729	22
done	729	22
0	11	24
1	22	22
2	46	22
3	107	22
4	194	22
5	275	22
6	308	22
7	316	22
done	316	22
0	12	26
1	22	26
2	52	26
3	149	26
4	358	26
5	643	26
6	862	26
7	939	26
8	945	26
done	945	26
0	19	36
1	49	36
2	104	36
3	303	36
4	834	36
5	1983	36
done	5000	36
0	18	36
1	37	36
2	82	36
3	272	36
4	748	36
5	1632	36
6	3074	36
done	5000	36
0	15	33
1	28	33
2	47	33
3	72	33
4	95	33
5	114	33
6	121	33
7	122	33
done	122	33
0	15	33
1	28	33
2	47	33
3	72	33
4	95	33
5	114	33
6	121	33
7	122	33
done	122	33
0	14	28
1	27	28
2	45	28
3	88	28
4	144	28
5	192	28
6	234	28
7	247	28
done	247	28
0	16	34
1	29	34
2	48	34
3	96	34
4	163	34
5	249	34
6	335	34
7	380	34
8	382	34
done	382	34
0	16	34
1	29	34
2	48	34
3	96	34
4	163	34
5	249	34
6	335	34
7	380	34
8	382	34
done	382	34
0	15	33
1	28	33
2	47	33
3	95	33
4	162	33
5	248	33
6	334	33
7	379	33
8	381	33
done	381	33
0	14	28
1	27	28
2	45	28
3	88	28
4	144	28
5	192	28
6	234	28
7	247	28
done	247	28
0	16	34
1	29	34
2	48	34
3	96	34
4	163	34
5	249	34
6	335	34
7	380	34
8	382	34
done	382	34
0	16	34
1	29	34
2	48	34
3	96	34
4	163	34
5	249	34
6	335	34
7	380	34
8	382	34
done	382	34
0	15	33
1	28	33
2	47	33
3	95	33
4	162	33
5	248	33
6	334	33
7	379	33
8	381	33
done	381	33
0	13	23
1	26	23
2	54	23
3	162	23
4	348	23
5	578	23
6	862	23
7	978	23
8	985	23
done	985	23
0	16	29
1	29	29
2	58	29
3	174	29
4	408	29
5	751	29
6	1248	29
7	1490	29
8	1514	29
done	1514	29
0	16	29
1	29	29
2	58	29
3	174	29
4	408	29
5	751	29
6	1248	29
7	1490	29
8	1514	29
done	1514	29
0	15	28
1	28	28
2	57	28
3	173	28
4	405	28
5	749	28
6	1247	28
7	1491	28
8	1515	28
done	1515	28
0	13	23
1	26	23
2	54	23
3	162	23
4	348	23
5	578	23
6	862	23
7	978	23
8	985	23
done	985	23
0	16	29
1	29	29
2	58	29
3	174	29
4	408	29
5	751	29
6	1248	29
7	1490	29
8	1514	29
done	1514	29
0	16	29
1	29	29
2	58	29
3	174	29
4	408	29
5	751	29
6	1248	29
7	1490	29
8	1514	29
done	1514	29
0	15	28
1	28	28
2	57	28
3	173	28
4	405	28
5	749	28
6	1247	28
7	1491	28
8	1515	28
done	1515	28
0	12	22
1	25	22
2	53	22
3	161	22
4	340	22
5	567	22
6	849	22
7	966	22
8	974	22
done	974	22
0	15	28
1	28	28
2	57	28
3	173	28
4	405	28
5	749	28
6	1245	28
7	1489	28
8	1513	28
done	1513	28
0	15	28
1	28	28
2	57	28
3	173	28
4	405	28
5	749	28
6	1245	28
7	1489	28
8	1513	28
done	1513	28
0	14	27
1	27	27
2	56	27
3	172	27
4	402	27
5	746	27
6	1244	27
7	1489	27
8	1514	27
done	1514	27
0	13	27
1	28	27
2	61	27
3	218	27
4	590	27
5	1182	27
6	1942	27
7	2346	27
8	2385	27
done	2385	27
0	15	33
1	30	33
2	64	33
3	229	33
4	684	33
5	1507	33
6	2789	33
7	3599	33
8	3712	33
done	3712	33
0	15	33
1	30	33
2	64	33
3	229	33
4	684	33
5	1507	33
6	2789	33
7	3599	33
8	3712	33
done	3712	33
0	14	32
1	29	32
2	63	32
3	228	32
4	680	32
5	1508	32
6	2801	32
7	3626	32
8	3742	32
done	3742	32
0	13	27
1	30	27
2	63	27
3	215	25
4	782	25
5	1979	25
6	2853	25
7	3683	25
8	3949	25
done	3949	25
0	15	33
1	32	33
2	66	33
3	225	31
4	864	31
5	2338	31
6	3780	31
done	5000	31
0	15	33
1	32	33
2	66	33
3	225	31
4	864	31
5	2338	31
6	3780	31
done	5000	31
0	14	32
1	31	32
2	65	32
3	224	30
4	872	30
5	2358	30
6	3832	30
done	5000	30
0	17	41
1	37	37
2	72	37
3	172	37
4	324	37
5	479	37
6	681	37
7	773	37
8	785	37
done	785	37
0	20	47
1	40	43
2	76	43
3	180	43
4	370	43
5	632	43
6	971	43
7	1206	43
8	1240	43
done	1240	43
0	20	47
1	40	43
2	76	43
3	180	43
4	370	43
5	632	43
6	971	43
7	1206	43
8	1240	43
done	1240	43
0	19	46
1	39	42
2	75	42
3	179	42
4	367	42
5	625	42
6	966	42
7	1201	42
8	1237	42
done	1237	42
0	19	33
1	40	31
2	78	31
3	207	31
4	450	31
5	729	31
6	1082	31
7	1271	31
8	1295	31
done	1295	31
0	22	39
1	43	37
2	82	37
3	217	37
4	516	37
5	973	37
6	1578	37
7	2009	37
8	2078	37
done	2078	37
0	22	39
1	43	37
2	82	37
3	217	37
4	516	37
5	973	37
6	1578	37
7	2009	37
8	2078	37
done	2078	37
0	21	38
1	42	36
2	81	36
3	218	36
4	517	36
5	969	36
6	1573	36
7	2015	36
8	2078	36
done	2078	36
0	19	33
1	40	31
2	78	31
3	209	31
4	452	31
5	735	31
6	1092	31
7	1278	31
8	1303	31
done	1303	31
0	22	39
1	43	37
2	82	37
3	219	37
4	518	37
5	974	37
6	1581	37
7	2006	37
8	2075	37
done	2075	37
0	22	39
1	43	37
2	82	37
3	219	37
4	518	37
5	974	37
6	1581	37
7	2006	37
8	2075	37
done	2075	37
0	21	38
1	42	36
2	81	36
3	218	36
4	517	36
5	969	36
6	1584	36
7	2021	36
8	2089	36
done	2089	36
0	13	25
1	27	25
2	54	25
3	151	25
4	300	25
5	455	25
6	656	25
7	751	25
8	763	25
done	763	25
0	16	31
1	30	31
2	58	31
3	161	31
4	348	31
5	605	31
6	948	31
7	1186	31
8	1221	31
done	1221	31
0	16	31
1	30	31
2	58	31
3	161	31
4	348	31
5	605	31
6	948	31
7	1186	31
8	1221	31
done	1221	31
0	15	30
1	29	30
2	57	30
3	160	30
4	347	30
5	607	30
6	944	30
7	1180	30
8	1212	30
done	1212	30
0	16	28
1	34	26
2	60	26
3	104	26
4	161	26
5	210	26
6	252	26
7	265	26
done	265	26
0	19	34
1	37	32
2	64	32
3	115	32
4	183	32
5	269	32
6	355	32
7	401	32
8	403	32
done	403	32
0	19	34
1	37	32
2	64	32
3	115	32
4	183	32
5	269	32
6	355	32
7	401	32
8	403	32
done	403	32
0	18	33
1	36	31
2	63	31
3	114	31
4	182	31
5	268	31
6	354	31
7	399	31
8	401	31
done	401	31
0	12	20
1	24	20
2	42	20
3	85	20
4	140	20
5	188	20
6	230	20
7	242	20
done	242	20
0	15	26
1	27	26
2	46	26
3	94	26
4	161	26
5	247	26
6	333	26
7	377	26
8	379	26
done	379	26
0	15	26
1	27	26
2	46	26
3	94	26
4	161	26
5	247	26
6	333	26
7	377	26
8	379	26
done	379	26
0	14	25
1	26	25
2	45	25
3	93	25
4	160	25
5	246	25
6	332	25
7	376	25
8	378	25
done	378	25
0	16	28
1	34	26
2	60	26
3	104	26
4	161	26
5	210	26
6	252	26
7	265	26
done	265	26
0	19	34
1	37	32
2	64	32
3	115	32
4	183	32
5	269	32
6	355	32
7	401	32
8	403	32
done	403	32
0	19	34
1	37	32
2	64	32
3	115	32
4	183	32
5	269	32
6	355	32
7	401	32
8	403	32
done	403	32
0	18	33
1	36	31
2	63	31
3	114	31
4	182	31
5	268	31
6	354	31
7	399	31
8	401	31
done	401	31
0	12	20
1	24	20
2	42	20
3	85	20
4	140	20
5	188	20
6	230	20
7	242	20
done	242	20
0	15	26
1	27	26
2	46	26
3	94	26
4	161	26
5	247	26
6	333	26
7	377	26
8	379	26
done	379	26
0	15	26
1	27	26
2	46	26
3	94	26
4	161	26
5	247	26
6	333	26
7	377	26
8	379	26
done	379	26
0	14	25
1	26	25
2	45	25
3	93	25
4	160	25
5	246	25
6	332	25
7	376	25
8	378	25
done	378	25
0	14	32
1	29	32
2	63	32
3	228	32
4	680	32
5	1508	32
6	2801	32
7	3626	32
8	3742	32
done	3742	32
0	13	22
1	26	22
2	45	20
3	118	20
4	253	20
5	391	20
6	517	20
7	606	20
8	632	20
9	634	20
done	634	20
0	17	36
1	33	32
2	54	32
3	72	32
4	96	32
5	115	32
6	122	32
7	123	32
done	123	32
0	19	28
1	36	26
2	56	26
3	76	26
4	100	26
5	119	26
6	126	26
7	127	26
done	127	26
0	19	28
1	36	26
2	56	26
3	76	26
4	100	26
5	119	26
6	126	26
7	127	26
done	127	26
0	13	20
1	23	20
2	36	20
3	53	20
4	76	20
5	95	20
6	102	20
7	103	20
done	103	20
0	16	23
1	32	21
2	53	21
3	71	21
4	95	21
5	114	21
6	121	21
7	122	21
done	122	21
0	12	15
1	22	15
2	35	15
3	52	15
4	75	15
5	94	15
6	101	15
7	102	15
done	102	15
0	16	23
1	32	21
2	53	21
3	71	21
4	95	21
5	114	21
6	121	21
7	122	21
done	122	21
0	12	15
1	22	15
2	35	15
3	52	15
4	75	15
5	94	15
6	101	15
7	102	15
done	102	15
0	12	26
1	22	26
2	52	26
3	149	26
4	358	26
5	643	26
6	862	26
7	939	26
8	945	26
done	945	26
0	12	21
1	25	21
2	54	21
3	149	21
4	307	21
5	525	21
6	782	21
7	914	21
8	925	21
done	925	21
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	7	11
1	9	11
2	10	11
done	10	11
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	3	3
1	5	1
done	5	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	8	7
done	8	7
0	7	7
1	9	7
2	10	7
done	10	7
0	3	3
1	5	1
done	5	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	12
1	9	12
2	10	12
done	10	12
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	8	9
1	23	9
2	45	9
3	79	9
4	166	9
5	494	9
6	2249	9
done	5000	9
0	9	13
1	16	11
2	24	11
3	25	11
4	26	11
done	26	11
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	5	5
1	6	5
done	6	5
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	10	17
2	13	7
3	18	4
4	24	4
5	34	4
6	55	4
7	117	4
8	328	4
9	1251	4
done	5000	4
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	7	5
2	8	5
done	8	5
0	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	1	1
done	1	1
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	31	41
1	70	40
2	151	40
3	387	37
4	1249	29
done	5002	25
0	9	10
1	19	8
2	35	5
3	71	3
4	125	3
5	263	3
6	562	3
7	1633	3
done	5001	3
0	11	11
1	21	10
2	38	10
3	79	7
4	153	3
5	430	3
6	1864	3
done	5000	3
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

prune304.0ms

Filtered

204 candidates to 241 candidates (-18.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	241	0	241
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	241	5	246

Merged error: 0b

Counts

246 → 5

regimes551.0ms

Accuracy

80.5% (0.6b remaining)

Error of 0.7b against oracle of 0.0b and baseline of 3.3b

bsearch30.0ms

Steps

Iters	Range		Point
6	4.111301812731305e+53	2.568578910815031e+54	4.1892129312362705e+53
5	-1638036543884663.5	-523486489692643.7	-530501686562953.6

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	43
1	32	43
done	32	43

end0.0ms

sample931.0ms

Algorithm

intervals

Results

367.0ms	8697×	body	80	valid
0.0ms	1×	body	640	valid

Details

sample37.0ms

simplify545.0ms

prune4.0ms

localize9.0ms

rewrite27.0ms

series63.0ms

simplify54.1s

prune115.0ms

localize13.0ms

rewrite60.0ms

series130.0ms

simplify2.6min

prune194.0ms

localize9.0ms

rewrite41.0ms

series62.0ms

simplify55.4s

prune134.0ms

localize19.0ms

rewrite131.0ms

series135.0ms

simplify12.1min

prune304.0ms

regimes551.0ms

bsearch30.0ms

simplify2.0ms

end0.0ms

sample931.0ms

Profiling