Details

sample39.0ms

Algorithm

intervals

Results

13.0ms

354×

body

valid

simplify491.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	15	9
2	26	9
3	45	9
4	75	9
5	106	9
6	121	9
7	137	9
8	171	9
9	237	9
10	323	9
11	364	9
12	438	9
13	458	9
done	458	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: 4.1b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`add-exp-log` `add-cbrt-cube`
7×	`add-cube-cbrt`
5×	`pow1` `associate-r` `add-log-exp`
4×	`associate-*r/`
3×	`times-frac` `associate-l` `associate-/r*`
2×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `flip3--` `distribute-lft-in` `div-exp` `prod-exp` `flip--` `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` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

3 → 61

Calls

3 calls:

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

series44.0ms

Counts

3 → 9

Calls

3 calls:

17.0ms	(+ x (/ (* y (- z t)) a))
12.0ms	(* y (- z t))
14.0ms	(/ (* y (- z t)) a)

simplify45.2s

Counts

70 → 70

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	10
1	17	10
2	25	10
3	31	10
4	37	10
5	46	10
6	59	10
7	77	10
8	93	10
9	100	10
10	117	10
11	119	10
done	119	10
0	9	9
1	17	9
2	30	9
3	44	9
4	53	9
5	59	9
6	68	9
7	81	9
8	99	9
9	115	9
10	122	9
11	139	9
12	141	9
done	141	9
0	8	8
1	16	8
2	35	8
3	70	8
4	103	8
5	132	8
6	152	8
7	170	8
8	186	8
9	193	8
10	210	8
11	212	8
done	212	8
0	8	8
1	13	8
2	24	8
3	45	8
4	78	8
5	132	8
6	209	8
7	445	8
8	1543	8
done	5000	8
0	13	23
1	30	23
2	145	13
3	738	13
4	3282	11
done	5001	11
0	11	23
1	32	23
2	158	11
3	889	9
4	3774	9
done	5001	9
0	9	17
1	14	17
2	25	17
3	44	17
4	62	17
5	83	17
6	91	17
done	91	17
0	8	8
1	13	8
2	24	8
3	43	8
4	61	8
5	82	8
6	90	8
done	90	8
0	9	23
1	21	23
2	69	9
3	324	9
4	1721	9
done	5000	9
0	8	8
1	13	8
2	24	8
3	43	8
4	61	8
5	82	8
6	90	8
done	90	8
0	8	8
1	13	8
2	24	8
3	43	8
4	61	8
5	82	8
6	90	8
done	90	8
0	6	6
1	13	6
2	31	6
3	52	6
4	65	5
5	70	5
done	70	5
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
done	4	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	3	3
1	5	1
done	5	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	3	3
1	5	3
done	5	3
0	7	7
1	12	7
2	21	7
3	26	7
4	30	7
done	30	7
0	9	11
1	19	11
2	43	11
3	85	11
4	135	11
5	188	11
6	228	11
7	231	11
done	231	11
0	8	8
1	13	8
2	24	8
3	43	8
4	61	8
5	82	8
6	90	8
done	90	8
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	5	5
1	7	5
2	8	5
done	8	5
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	5	5
1	13	5
2	14	5
done	14	5
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	11	11
1	19	10
2	31	10
3	52	10
4	97	10
5	184	10
6	305	10
7	707	10
8	2946	10
done	5000	10
0	10	10
1	16	10
2	27	10
3	46	10
4	76	10
5	109	10
6	124	10
7	140	10
8	174	10
9	240	10
10	326	10
11	367	10
12	441	10
13	461	10
done	461	10
0	10	10
1	19	10
2	31	10
3	52	10
4	97	10
5	186	10
6	311	10
7	715	10
8	2960	10
done	5000	10
0	11	21
1	17	21
2	28	21
3	47	21
4	77	21
5	110	21
6	125	21
7	141	21
8	175	21
9	241	21
10	327	21
11	368	21
12	442	21
13	462	21
done	462	21
0	10	10
1	16	10
2	27	10
3	46	10
4	76	10
5	109	10
6	124	10
7	140	10
8	174	10
9	240	10
10	326	10
11	367	10
12	441	10
13	461	10
done	461	10
0	11	29
1	30	29
2	89	11
3	328	11
4	1500	11
done	5000	11
0	10	10
1	16	10
2	27	10
3	46	10
4	76	10
5	109	10
6	124	10
7	140	10
8	174	10
9	240	10
10	326	10
11	367	10
12	441	10
13	461	10
done	461	10
0	10	10
1	16	10
2	27	10
3	46	10
4	76	10
5	109	10
6	124	10
7	140	10
8	174	10
9	240	10
10	326	10
11	367	10
12	441	10
13	461	10
done	461	10
0	12	13
1	34	13
2	86	13
3	312	13
4	1695	13
done	5000	13
0	13	29
1	32	21
2	93	21
3	326	21
4	1098	21
5	2792	21
done	5001	21
0	11	19
1	25	19
2	65	19
3	248	19
4	1062	19
5	3716	19
done	5000	19
0	9	9
1	16	9
2	32	9
3	65	9
4	138	9
5	213	9
6	267	9
7	287	9
8	341	9
9	439	9
10	446	9
done	446	9
0	9	9
1	15	9
2	26	9
3	45	9
4	75	9
5	106	9
6	121	9
7	137	9
8	171	9
9	237	9
10	323	9
11	364	9
12	438	9
13	458	9
done	458	9
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
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	11	13
1	21	13
2	40	13
3	64	11
4	98	9
5	143	9
6	214	9
7	305	9
8	339	9
9	403	9
10	481	9
11	482	9
done	482	9
0	11	13
1	21	13
2	40	13
3	64	11
4	98	9
5	143	9
6	214	9
7	305	9
8	339	9
9	403	9
10	481	9
11	482	9
done	482	9
0	11	13
1	21	13
2	40	13
3	64	11
4	98	9
5	143	9
6	214	9
7	305	9
8	339	9
9	403	9
10	481	9
11	482	9
done	482	9

prune108.0ms

Filtered

52 candidates to 70 candidates (-34.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	64	6	70
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	64	7	71

Merged error: 0.0b

Counts

71 → 7

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite17.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-+r+` `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:

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

series36.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify39.7s

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	11	11
1	21	10
2	44	10
3	86	10
4	169	10
5	345	10
6	800	10
7	2666	10
done	5001	10
0	10	10
1	16	10
2	32	10
3	50	10
4	74	10
5	93	10
6	109	10
7	124	10
8	163	10
9	229	10
10	312	10
11	342	10
12	401	10
13	479	10
14	480	10
done	480	10
0	10	10
1	19	10
2	40	10
3	74	10
4	138	10
5	263	10
6	585	10
7	1890	10
done	5000	10
0	11	21
1	17	21
2	33	21
3	51	21
4	75	21
5	94	21
6	110	21
7	125	21
8	164	21
9	230	21
10	313	21
11	343	21
12	402	21
13	480	21
14	481	21
done	481	21
0	10	10
1	16	10
2	32	10
3	50	10
4	74	10
5	93	10
6	109	10
7	124	10
8	163	10
9	229	10
10	312	10
11	342	10
12	401	10
13	479	10
14	480	10
done	480	10
0	11	29
1	30	29
2	102	11
3	436	11
4	2225	11
done	5000	11
0	10	10
1	16	10
2	32	10
3	50	10
4	74	10
5	93	10
6	109	10
7	124	10
8	163	10
9	229	10
10	312	10
11	342	10
12	401	10
13	479	10
14	480	10
done	480	10
0	10	10
1	16	10
2	32	10
3	50	10
4	74	10
5	93	10
6	109	10
7	124	10
8	163	10
9	229	10
10	312	10
11	342	10
12	401	10
13	479	10
14	480	10
done	480	10
0	12	13
1	34	13
2	101	13
3	398	13
4	1878	13
done	5000	13
0	13	29
1	35	21
2	135	21
3	492	21
4	1552	21
5	4288	21
done	5001	21
0	11	19
1	28	19
2	102	19
3	405	19
4	1572	19
5	4955	19
done	5000	19
0	9	9
1	16	9
2	41	9
3	84	9
4	158	9
5	201	9
6	249	9
7	281	9
8	355	9
9	440	9
10	441	9
done	441	9
0	7	7
1	11	7
2	14	7
3	16	7
4	18	7
5	19	7
done	19	7
0	7	7
1	11	7
2	14	7
3	16	7
4	18	7
5	19	7
done	19	7
0	7	7
1	11	7
2	14	7
3	18	7
4	19	7
done	19	7
0	7	7
1	11	7
2	14	7
3	18	7
4	19	7
done	19	7
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	11	13
1	21	13
2	40	13
3	64	11
4	98	9
5	143	9
6	214	9
7	305	9
8	339	9
9	403	9
10	481	9
11	482	9
done	482	9
0	11	13
1	21	13
2	40	13
3	64	11
4	98	9
5	143	9
6	214	9
7	305	9
8	339	9
9	403	9
10	481	9
11	482	9
done	482	9
0	11	13
1	21	13
2	40	13
3	64	11
4	98	9
5	143	9
6	214	9
7	305	9
8	339	9
9	403	9
10	481	9
11	482	9
done	482	9

prune88.0ms

Filtered

46 candidates to 63 candidates (-37.0%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	63	0	63
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	63	7	70

Merged error: 0.0b

Counts

70 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

54×	`add-sqr-sqrt`
40×	`times-frac`
38×	`*-un-lft-identity`
34×	`associate-r`
26×	`cbrt-prod` `add-cube-cbrt`
25×	`add-exp-log`
18×	`add-cbrt-cube`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp` `associate-l`
6×	`pow1` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
4×	`add-log-exp`
3×	`pow1/3`
2×	`div-inv`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 104

Calls

4 calls:

1.0ms	(cbrt a)
2.0ms	(cbrt a)
1.0ms	(cbrt a)
21.0ms	(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))

series102.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt a)
26.0ms	(cbrt a)
30.0ms	(cbrt a)
21.0ms	(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))

simplify2.1min

Counts

116 → 116

Iterations

Useful iterations: 3 (3.0ms)

Iter	Nodes	Cost
0	10	14
1	22	14
2	50	14
3	136	14
4	245	10
5	359	7
6	460	7
7	506	7
8	516	7
9	537	7
10	600	7
11	820	7
12	1745	7
done	5000	7
0	13	19
1	28	17
2	67	17
3	160	17
4	327	14
5	491	13
6	632	13
7	675	13
done	675	13
0	13	18
1	29	16
2	63	16
3	137	16
4	293	16
5	459	13
6	601	13
7	647	13
done	647	13
0	14	18
1	26	18
2	57	17
3	148	17
4	298	14
5	463	14
6	609	13
7	654	13
done	654	13
0	13	17
1	27	17
2	55	16
3	128	16
4	271	16
5	440	13
6	584	13
7	630	13
done	630	13
0	13	17
1	25	17
2	44	17
3	106	17
4	231	16
5	472	13
6	605	13
7	678	13
8	680	13
done	680	13
0	12	16
1	26	16
2	44	16
3	93	16
4	204	16
5	412	14
6	569	13
7	650	13
8	667	13
done	667	13
0	11	15
1	26	15
2	67	15
3	186	15
4	412	11
5	738	8
6	1142	8
7	1369	8
8	1447	8
9	1472	8
10	1529	8
11	1741	8
12	2676	8
done	5000	8
0	11	15
1	25	15
2	59	15
3	165	15
4	327	11
5	603	8
6	1110	8
7	2615	8
done	5000	8
0	13	23
1	31	23
2	113	15
3	511	15
4	2517	13
done	5000	13
0	14	30
1	39	30
2	138	16
3	656	16
4	4240	15
done	5000	15
0	16	37
1	42	37
2	184	19
3	1249	15
done	5000	15
0	16	44
1	49	44
2	208	20
3	1427	15
done	5001	15
0	14	37
1	33	37
2	127	17
3	673	17
4	4563	15
done	5000	15
0	14	44
1	40	44
2	151	18
3	807	18
done	5001	18
0	12	31
1	24	31
2	52	31
3	138	31
4	244	23
5	356	17
6	454	17
7	500	17
8	510	17
9	531	17
10	591	17
11	808	17
12	1728	17
done	5000	17
0	11	15
1	23	15
2	51	15
3	137	15
4	245	11
5	359	8
6	460	8
7	505	8
8	515	8
9	536	8
10	599	8
11	816	8
12	1740	8
done	5000	8
0	12	44
1	34	44
2	145	16
3	922	16
done	5000	16
0	11	15
1	23	15
2	51	15
3	137	15
4	245	11
5	359	8
6	460	8
7	505	8
8	515	8
9	536	8
10	599	8
11	816	8
12	1740	8
done	5000	8
0	11	15
1	23	15
2	51	15
3	137	15
4	245	11
5	359	8
6	460	8
7	505	8
8	515	8
9	536	8
10	599	8
11	816	8
12	1740	8
done	5000	8
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	12	16
1	20	16
2	23	16
3	25	16
done	25	16
0	12	16
1	20	16
2	23	16
3	25	16
done	25	16
0	14	17
1	21	17
2	25	17
3	29	17
4	30	17
done	30	17
0	14	17
1	21	17
2	25	17
3	29	17
4	30	17
done	30	17
0	13	17
1	20	17
2	24	17
3	28	17
4	29	17
done	29	17
0	13	17
1	20	17
2	24	17
3	28	17
4	29	17
done	29	17
0	11	13
1	19	13
2	25	13
3	29	13
4	31	13
5	32	13
done	32	13
0	11	13
1	19	13
2	25	13
3	29	13
4	31	13
5	32	13
done	32	13
0	13	14
1	20	14
2	30	14
3	47	14
4	68	14
5	80	14
6	82	14
done	82	14
0	13	14
1	20	14
2	30	14
3	47	14
4	68	14
5	80	14
6	82	14
done	82	14
0	12	14
1	19	14
2	29	14
3	46	14
4	67	14
5	79	14
6	81	14
done	81	14
0	12	14
1	19	14
2	29	14
3	46	14
4	67	14
5	79	14
6	81	14
done	81	14
0	12	23
1	24	23
2	45	23
3	81	23
4	127	23
5	151	23
6	160	23
done	160	23
0	11	15
1	21	15
2	35	15
3	50	15
4	60	15
5	63	15
done	63	15
0	13	24
1	24	24
2	53	24
3	139	24
4	339	24
5	577	24
6	654	24
7	662	24
done	662	24
0	14	21
1	25	21
2	54	21
3	140	21
4	341	21
5	574	21
6	646	21
7	654	21
done	654	21
0	14	20
1	27	19
2	56	19
3	139	17
4	392	17
5	631	17
6	666	17
done	666	17
0	14	25
1	29	25
2	81	25
3	246	25
4	714	25
5	1521	25
6	1784	25
7	1797	25
done	1797	25
0	13	21
1	24	21
2	53	21
3	139	21
4	339	21
5	577	21
6	654	21
7	662	21
done	662	21
0	13	19
1	26	17
2	61	17
3	197	17
4	475	17
5	633	17
6	636	17
done	636	17
0	12	19
1	21	19
2	41	19
3	84	19
4	155	19
5	206	19
6	213	19
done	213	19
0	13	16
1	22	16
2	42	16
3	85	16
4	156	16
5	207	16
6	214	16
done	214	16
0	13	15
1	24	14
2	44	14
3	87	12
4	228	12
5	336	12
6	348	12
done	348	12
0	13	20
1	24	20
2	54	20
3	133	20
4	310	20
5	515	20
6	548	20
done	548	20
0	12	16
1	21	16
2	41	16
3	84	16
4	155	16
5	206	16
6	213	16
done	213	16
0	12	14
1	23	12
2	45	12
3	102	12
4	209	12
5	230	12
done	230	12
0	9	16
1	18	16
2	37	14
3	111	14
4	192	14
5	262	14
6	308	14
7	309	14
done	309	14
0	10	13
1	19	13
2	38	11
3	112	11
4	193	11
5	267	11
6	313	11
7	315	11
done	315	11
0	9	12
1	18	11
2	36	9
3	110	7
4	359	7
5	453	7
6	473	7
7	475	7
done	475	7
0	10	17
1	21	17
2	49	15
3	171	15
4	388	15
5	653	15
6	778	15
done	778	15
0	9	13
1	18	13
2	37	11
3	111	11
4	192	11
5	262	11
6	308	11
7	309	11
done	309	11
0	8	11
1	17	9
2	35	7
3	71	7
4	160	7
5	207	7
6	208	7
done	208	7
0	13	20
1	21	20
2	48	20
3	115	20
4	216	20
5	306	20
6	417	20
7	559	20
8	619	20
9	652	20
10	663	20
11	670	20
12	674	20
done	674	20
0	14	17
1	22	17
2	49	17
3	116	17
4	218	17
5	309	17
6	420	17
7	560	17
8	619	17
9	652	17
10	663	17
11	670	17
12	674	17
done	674	17
0	14	16
1	24	15
2	51	15
3	118	13
4	287	13
5	464	13
6	599	13
7	640	13
8	672	13
9	678	13
10	682	13
done	682	13
0	14	21
1	24	21
2	61	21
3	164	21
4	376	21
5	649	21
6	909	21
7	1323	21
8	1536	21
9	1657	21
10	1757	21
11	1799	21
12	1804	21
done	1804	21
0	13	17
1	21	17
2	48	17
3	115	17
4	216	17
5	306	17
6	417	17
7	559	17
8	619	17
9	652	17
10	663	17
11	670	17
12	674	17
done	674	17
0	13	15
1	23	13
2	60	13
3	131	13
4	281	13
5	420	13
6	488	13
7	506	13
8	539	13
9	543	13
done	543	13
0	9	16
1	18	16
2	37	14
3	111	14
4	192	14
5	262	14
6	308	14
7	309	14
done	309	14
0	10	13
1	19	13
2	38	11
3	112	11
4	193	11
5	267	11
6	313	11
7	315	11
done	315	11
0	9	12
1	18	11
2	36	9
3	110	7
4	359	7
5	453	7
6	473	7
7	475	7
done	475	7
0	10	17
1	21	17
2	49	15
3	171	15
4	388	15
5	653	15
6	778	15
done	778	15
0	9	13
1	18	13
2	37	11
3	111	11
4	192	11
5	262	11
6	308	11
7	309	11
done	309	11
0	8	11
1	17	9
2	35	7
3	71	7
4	160	7
5	207	7
6	208	7
done	208	7
0	7	9
1	14	7
2	32	7
3	42	7
4	57	7
5	66	7
6	77	7
7	79	7
done	79	7
0	9	11
1	16	11
2	40	11
3	80	11
4	132	11
5	200	11
6	240	11
7	244	11
done	244	11
0	11	15
1	21	15
2	33	15
3	50	15
4	73	15
5	92	15
6	99	15
7	100	15
done	100	15
0	11	15
1	21	15
2	33	15
3	50	15
4	73	15
5	92	15
6	99	15
7	100	15
done	100	15
0	10	12
1	20	12
2	37	12
3	80	12
4	134	12
5	183	12
6	225	12
7	237	12
done	237	12
0	10	12
1	20	12
2	37	12
3	80	12
4	134	12
5	183	12
6	225	12
7	237	12
done	237	12
0	9	11
1	19	11
2	36	11
3	79	11
4	133	11
5	181	11
6	223	11
7	236	11
done	236	11
0	10	14
1	22	14
2	50	14
3	136	14
4	245	10
5	359	7
6	460	7
7	506	7
8	516	7
9	537	7
10	600	7
11	820	7
12	1745	7
done	5000	7
0	10	14
1	24	14
2	51	12
3	173	12
4	440	8
5	554	5
6	736	5
7	832	5
8	902	5
9	1067	5
10	1472	5
11	2629	5
done	5000	5
0	9	11
1	16	11
2	40	11
3	80	11
4	132	11
5	200	11
6	240	11
7	244	11
done	244	11
0	8	8
1	16	8
2	28	8
3	45	8
4	68	8
5	87	8
6	94	8
7	95	8
done	95	8
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2

prune125.0ms

Filtered

84 candidates to 116 candidates (-38.1%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	116	0	116
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	116	7	123

Merged error: 0.0b

Counts

123 → 7

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 87

Calls

3 calls:

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

series44.0ms

Counts

3 → 9

Calls

3 calls:

23.0ms	(+ x (* y (/ (- z t) a)))
7.0ms	(/ (- z t) a)
14.0ms	(* y (/ (- z t) a))

simplify34.7s

Counts

96 → 96

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	7	7
1	15	7
2	27	7
3	44	7
4	67	7
5	86	7
6	93	7
7	94	7
done	94	7
0	10	10
1	17	10
2	25	10
3	34	10
4	40	10
5	50	10
6	57	10
7	69	10
8	92	10
9	106	10
10	112	10
done	112	10
0	9	9
1	18	9
2	27	9
3	38	9
4	48	9
5	57	9
6	62	9
7	71	9
8	88	9
9	107	9
10	115	9
done	115	9
0	8	8
1	19	8
2	37	8
3	64	8
4	106	8
5	139	8
6	158	8
7	177	8
8	193	8
9	200	8
10	217	8
11	219	8
done	219	8
0	8	8
1	18	8
2	36	8
3	71	8
4	139	8
5	291	8
6	605	8
7	1780	8
done	5001	8
0	13	23
1	30	23
2	124	13
3	589	11
4	2654	11
done	5001	11
0	11	23
1	29	23
2	93	11
3	390	11
4	1862	9
done	5000	9
0	9	17
1	17	17
2	29	17
3	46	17
4	69	17
5	88	17
6	95	17
7	96	17
done	96	17
0	8	8
1	16	8
2	28	8
3	45	8
4	68	8
5	87	8
6	94	8
7	95	8
done	95	8
0	9	23
1	27	23
2	90	9
3	383	9
4	1910	9
done	5001	9
0	8	8
1	16	8
2	28	8
3	45	8
4	68	8
5	87	8
6	94	8
7	95	8
done	95	8
0	8	8
1	16	8
2	28	8
3	45	8
4	68	8
5	87	8
6	94	8
7	95	8
done	95	8
0	9	9
1	15	9
2	18	9
3	20	9
done	20	9
0	9	9
1	15	9
2	18	9
3	20	9
done	20	9
0	10	10
1	15	10
2	19	10
3	23	10
4	24	10
done	24	10
0	10	10
1	15	10
2	19	10
3	23	10
4	24	10
done	24	10
0	9	15
1	17	15
2	22	15
3	24	15
done	24	15
0	8	8
1	14	8
2	17	8
3	19	8
done	19	8
0	11	17
1	22	17
2	52	17
3	91	17
4	147	17
5	161	17
done	161	17
0	10	14
1	17	14
2	28	14
3	43	14
4	56	14
5	58	14
done	58	14
0	9	13
1	18	11
2	36	11
3	73	11
4	111	11
done	111	11
0	10	12
1	17	12
2	29	12
3	43	12
4	55	12
done	55	12
0	9	9
1	14	9
2	18	9
3	22	9
4	23	9
done	23	9
0	8	8
1	15	6
2	23	6
3	32	6
4	38	6
done	38	6
0	7	9
1	14	9
2	24	7
3	31	7
4	49	7
5	79	7
6	82	7
done	82	7
0	6	6
1	11	6
2	14	4
3	15	4
4	20	4
5	21	4
done	21	4
0	4	5
1	9	3
2	14	1
done	14	1
0	11	13
1	17	13
2	36	13
3	49	13
4	77	13
5	83	13
6	103	13
7	129	13
8	143	13
9	148	13
10	149	13
11	151	13
12	152	13
done	152	13
0	10	10
1	14	10
2	25	10
3	29	10
4	38	10
5	40	10
6	46	10
7	50	10
8	56	10
9	58	10
done	58	10
0	9	9
1	15	7
2	30	7
3	39	7
4	53	7
done	53	7
0	7	9
1	14	9
2	24	7
3	31	7
4	49	7
5	79	7
6	82	7
done	82	7
0	6	6
1	11	6
2	14	4
3	15	4
4	20	4
5	21	4
done	21	4
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	8	8
1	16	8
2	28	8
3	45	8
4	68	8
5	87	8
6	94	8
7	95	8
done	95	8
0	8	8
1	16	8
2	28	8
3	45	8
4	68	8
5	87	8
6	94	8
7	95	8
done	95	8
0	7	7
1	15	7
2	27	7
3	44	7
4	67	7
5	86	7
6	93	7
7	94	7
done	94	7
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	14	6
2	19	6
3	22	6
done	22	6
0	6	6
1	11	6
2	17	6
3	21	6
4	24	6
5	30	6
6	34	6
7	50	6
8	54	6
9	61	6
10	70	6
11	90	6
12	111	6
13	129	6
14	136	6
15	142	6
16	145	6
done	145	6
0	9	17
1	20	17
2	68	9
3	203	7
4	562	7
5	2030	7
done	5000	7
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	7	17
1	19	17
2	50	7
3	176	7
4	571	7
5	1720	7
done	5001	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	2	2
done	2	2
0	3	3
done	3	3
0	3	3
done	3	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	12
1	12	12
2	15	12
3	16	12
done	16	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	6
1	8	6
2	9	6
done	9	6
0	8	10
1	12	10
2	13	10
done	13	10
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	6	6
1	10	4
2	13	4
done	13	4
0	6	6
1	8	6
2	9	6
done	9	6
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	9	11
1	12	11
done	12	11
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	8	8
1	9	8
done	9	8
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	7	7
1	10	5
2	12	5
done	12	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	3	3
1	5	3
done	5	3
0	5	5
1	7	5
2	8	5
done	8	5
0	7	9
1	14	9
2	22	9
3	27	9
4	30	9
done	30	9
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	12	3
2	17	3
done	17	3
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	7	7
1	9	7
2	10	7
done	10	7
0	5	5
1	7	5
2	8	5
done	8	5
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	5	5
1	13	5
2	14	5
done	14	5
0	11	11
1	24	10
2	43	10
3	82	10
4	166	10
5	366	10
6	815	10
7	2436	10
done	5000	10
0	10	10
1	19	10
2	31	10
3	48	10
4	75	10
5	101	10
6	115	10
7	123	10
8	139	10
9	173	10
10	239	10
11	325	10
12	366	10
13	440	10
14	460	10
done	460	10
0	10	10
1	22	10
2	39	10
3	68	10
4	126	10
5	246	10
6	504	10
7	1196	10
8	4282	10
done	5000	10
0	11	21
1	20	21
2	32	21
3	49	21
4	76	21
5	102	21
6	116	21
7	124	21
8	140	21
9	174	21
10	240	21
11	326	21
12	367	21
13	441	21
14	461	21
done	461	21
0	10	10
1	19	10
2	31	10
3	48	10
4	75	10
5	101	10
6	115	10
7	123	10
8	139	10
9	173	10
10	239	10
11	325	10
12	366	10
13	440	10
14	460	10
done	460	10
0	11	29
1	33	29
2	101	11
3	380	11
4	1739	11
done	5001	11
0	10	10
1	19	10
2	31	10
3	48	10
4	75	10
5	101	10
6	115	10
7	123	10
8	139	10
9	173	10
10	239	10
11	325	10
12	366	10
13	440	10
14	460	10
done	460	10
0	10	10
1	19	10
2	31	10
3	48	10
4	75	10
5	101	10
6	115	10
7	123	10
8	139	10
9	173	10
10	239	10
11	325	10
12	366	10
13	440	10
14	460	10
done	460	10
0	12	13
1	37	13
2	100	13
3	352	13
4	1788	13
done	5001	13
0	13	29
1	38	21
2	116	21
3	372	21
4	1269	21
5	3477	21
done	5000	21
0	11	19
1	31	19
2	89	19
3	311	19
4	1287	19
5	4600	19
done	5000	19
0	9	9
1	19	9
2	40	9
3	78	9
4	156	9
5	246	9
6	271	9
7	285	9
8	308	9
9	371	9
10	460	9
11	461	9
done	461	9
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	11	13
1	21	13
2	40	13
3	64	11
4	98	9
5	143	9
6	214	9
7	305	9
8	339	9
9	403	9
10	481	9
11	482	9
done	482	9
0	11	13
1	21	13
2	40	13
3	64	11
4	98	9
5	143	9
6	214	9
7	305	9
8	339	9
9	403	9
10	481	9
11	482	9
done	482	9
0	11	13
1	21	13
2	40	13
3	64	11
4	98	9
5	143	9
6	214	9
7	305	9
8	339	9
9	403	9
10	481	9
11	482	9
done	482	9

prune87.0ms

Filtered

68 candidates to 96 candidates (-41.2%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	95	1	96
Fresh	1	2	3
Picked	1	0	1
Done	0	3	3
Total	97	6	103

Merged error: 0.0b

Counts

103 → 6

regimes727.0ms

Accuracy

81.8% (0.5b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 2.5b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	43
1	26	43
done	26	43

end0.0ms

sample1.3s

Algorithm

intervals

Results

607.0ms

10599×

body

valid

Details

sample39.0ms

simplify491.0ms

prune4.0ms

localize8.0ms

rewrite22.0ms

series44.0ms

simplify45.2s

prune108.0ms

localize7.0ms

rewrite17.0ms

series36.0ms

simplify39.7s

prune88.0ms

localize12.0ms

rewrite31.0ms

series102.0ms

simplify2.1min

prune125.0ms

localize8.0ms

rewrite24.0ms

series44.0ms

simplify34.7s

prune87.0ms

regimes727.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.3s

Profiling