Details

sample30.0ms

Algorithm

intervals

Results

11.0ms

271×

body

valid

simplify146.0ms

Counts

1 → 1

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	10	11
1	19	9
2	44	9
3	81	9
4	125	9
5	165	9
6	194	9
7	205	9
done	205	9

prune11.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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: 6.4b

Counts

2 → 2

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(* z (- y t))
6.4b	(/ (* x 2.0) (* z (- y t)))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 49

Calls

2 calls:

7.0ms	(* z (- y t))
9.0ms	(/ (* x 2.0) (* z (- y t)))

series23.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(* z (- y t))
15.0ms	(/ (* x 2.0) (* z (- y t)))

simplify32.0s

Counts

55 → 55

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	13	13
1	23	13
2	46	13
3	83	13
4	141	13
5	233	13
6	379	13
7	482	13
8	499	13
done	499	13
0	12	12
1	23	12
2	45	12
3	78	12
4	134	12
5	206	12
6	347	12
7	489	12
8	533	12
done	533	12
0	12	12
1	23	12
2	40	12
3	76	12
4	130	12
5	202	12
6	318	12
7	447	12
8	474	12
9	475	12
done	475	12
0	11	11
1	23	11
2	42	11
3	73	11
4	123	11
5	183	11
6	289	11
7	456	11
8	504	11
9	506	11
done	506	11
0	10	10
1	24	10
2	69	10
3	144	10
4	264	10
5	402	10
6	591	10
7	761	10
8	808	10
9	809	10
done	809	10
0	10	10
1	21	10
2	51	10
3	98	10
4	157	10
5	253	10
6	456	10
7	895	10
8	2687	10
done	5000	10
0	17	29
1	40	29
2	252	17
3	2049	17
done	5000	17
0	15	29
1	42	29
2	280	15
3	2505	15
done	5001	15
0	15	29
1	42	29
2	255	15
3	2272	15
done	5000	15
0	13	29
1	44	29
2	287	13
3	2804	11
done	5001	11
0	11	21
1	22	21
2	50	21
3	85	21
4	121	21
5	153	21
6	193	21
7	205	21
8	207	21
done	207	21
0	10	10
1	21	10
2	49	10
3	84	10
4	120	10
5	152	10
6	192	10
7	204	10
8	206	10
done	206	10
0	11	29
1	29	29
2	139	11
3	1025	11
done	5000	11
0	10	10
1	21	10
2	49	10
3	84	10
4	120	10
5	152	10
6	192	10
7	204	10
8	206	10
done	206	10
0	10	10
1	21	10
2	49	10
3	84	10
4	120	10
5	152	10
6	192	10
7	204	10
8	206	10
done	206	10
0	4	4
1	9	4
2	11	4
done	11	4
0	6	6
1	13	6
2	31	6
3	52	6
4	65	5
5	70	5
done	70	5
0	3	3
done	3	3
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	14	7
2	23	7
3	28	7
4	32	7
done	32	7
0	9	9
1	20	9
2	51	9
3	110	9
4	187	9
5	286	9
6	360	9
7	377	9
done	377	9
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	7	7
1	12	7
2	23	7
3	42	7
4	60	7
5	81	7
6	89	7
done	89	7
0	12	13
1	36	13
2	85	13
3	210	13
4	562	13
5	2003	13
done	5000	13
0	11	13
1	25	13
2	67	13
3	195	13
4	469	13
5	845	13
6	1483	13
7	2546	13
done	5001	13
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	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
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

prune100.0ms

Filtered

42 candidates to 55 candidates (-31.0%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	49	6	55
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	50	7	57

Merged error: 0.0b

Counts

57 → 7

localize8.0ms

Local error

Found 1 expressions with local error:

5.5b	(/ (/ (* x 2.0) z) (- y t))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

53×	`times-frac`
37×	`add-sqr-sqrt` `*-un-lft-identity`
21×	`add-cube-cbrt`
10×	`add-exp-log` `add-cbrt-cube`
8×	`distribute-lft-out--` `difference-of-squares`
7×	`div-inv` `associate-/l*`
5×	`cbrt-undiv` `div-exp` `associate-/r*`
2×	`associate-/r/`
1×	`pow1` `flip3--` `frac-2neg` `prod-exp` `clear-num` `flip--` `cbrt-unprod` `associate-/l/` `add-log-exp`

Counts

1 → 66

Calls

1 calls:

10.0ms

(/ (/ (* x 2.0) z) (- y t))

series14.0ms

Counts

1 → 3

Calls

1 calls:

14.0ms

(/ (/ (* x 2.0) z) (- y t))

simplify19.3s

Counts

69 → 69

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	13	13
1	24	13
2	50	13
3	101	13
4	158	13
5	236	13
6	353	13
7	493	13
8	517	13
done	517	13
0	12	12
1	24	12
2	43	12
3	90	12
4	145	12
5	196	12
6	287	12
7	436	12
8	536	12
9	538	12
done	538	12
0	11	11
1	21	11
2	39	11
3	86	11
4	171	11
5	230	11
6	321	11
7	442	11
8	539	11
9	548	11
done	548	11
0	10	10
1	20	10
2	49	10
3	119	10
4	258	10
5	409	10
6	568	10
7	743	10
8	801	10
9	805	10
done	805	10
0	10	10
1	17	10
2	36	10
3	75	10
4	134	10
5	193	10
6	308	10
7	530	10
8	1070	10
9	4045	10
done	5001	10
0	17	29
1	39	29
2	201	17
3	1467	17
done	5000	17
0	15	29
1	41	29
2	203	15
3	1619	13
done	5000	13
0	13	29
1	33	29
2	132	13
3	722	11
done	5001	11
0	11	21
1	18	21
2	37	21
3	72	21
4	116	21
5	146	21
6	188	21
7	206	21
8	208	21
done	208	21
0	10	10
1	17	10
2	36	10
3	71	10
4	115	10
5	145	10
6	187	10
7	205	10
8	207	10
done	207	10
0	11	29
1	25	29
2	81	11
3	475	11
4	4130	11
done	5001	11
0	10	10
1	17	10
2	36	10
3	71	10
4	115	10
5	145	10
6	187	10
7	205	10
8	207	10
done	207	10
0	10	10
1	17	10
2	36	10
3	71	10
4	115	10
5	145	10
6	187	10
7	205	10
8	207	10
done	207	10
0	6	6
1	11	6
2	22	6
3	35	6
4	44	6
5	47	6
done	47	6
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	13	23
1	24	23
2	38	23
3	47	23
4	48	23
done	48	23
0	11	11
1	16	11
2	21	11
3	24	11
4	25	11
done	25	11
0	12	18
1	19	18
2	26	18
3	30	18
4	31	18
done	31	18
0	11	11
1	16	11
2	21	11
3	24	11
4	25	11
done	25	11
0	9	15
1	16	13
2	26	13
3	34	13
4	35	13
done	35	13
0	10	10
1	15	10
2	20	10
3	23	10
4	24	10
done	24	10
0	13	19
1	19	19
2	25	19
3	29	19
4	30	19
done	30	19
0	12	12
1	17	12
2	22	12
3	25	12
4	26	12
done	26	12
0	9	15
1	16	13
2	26	13
3	34	13
4	35	13
done	35	13
0	10	10
1	15	10
2	20	10
3	23	10
4	24	10
done	24	10
0	12	16
1	19	16
2	24	16
3	27	16
4	28	16
done	28	16
0	11	11
1	16	11
2	21	11
3	24	11
4	25	11
done	25	11
0	11	11
1	16	11
2	21	11
3	24	11
4	25	11
done	25	11
0	11	11
1	16	11
2	21	11
3	24	11
4	25	11
done	25	11
0	8	8
1	13	6
2	19	6
3	22	6
4	23	6
done	23	6
0	10	10
1	15	10
2	20	10
3	23	10
4	24	10
done	24	10
0	12	12
1	16	12
2	20	12
3	23	12
4	24	12
done	24	12
0	12	12
1	17	12
2	22	12
3	25	12
4	26	12
done	26	12
0	8	8
1	13	6
2	19	6
3	22	6
4	23	6
done	23	6
0	10	10
1	15	10
2	20	10
3	23	10
4	24	10
done	24	10
0	11	17
1	19	17
2	32	17
3	59	17
4	62	17
done	62	17
0	9	9
1	13	9
2	17	9
done	17	9
0	10	12
1	16	12
2	23	12
3	31	12
done	31	12
0	9	9
1	13	9
2	17	9
done	17	9
0	7	9
1	13	7
2	23	7
3	39	7
done	39	7
0	8	8
1	12	8
2	16	8
3	24	8
4	28	8
5	32	8
done	32	8
0	11	13
1	16	13
2	22	13
3	38	13
4	50	13
5	52	13
done	52	13
0	10	10
1	14	10
2	18	10
3	26	10
4	30	10
5	34	10
done	34	10
0	7	9
1	13	7
2	23	7
3	39	7
done	39	7
0	8	8
1	12	8
2	16	8
3	24	8
4	28	8
5	32	8
done	32	8
0	10	14
1	16	14
2	23	14
3	29	14
done	29	14
0	9	9
1	13	9
2	17	9
done	17	9
0	9	9
1	13	9
2	17	9
done	17	9
0	9	9
1	13	9
2	17	9
done	17	9
0	6	6
1	10	4
2	17	4
3	19	4
done	19	4
0	8	8
1	12	8
2	16	8
3	24	8
4	28	8
5	32	8
done	32	8
0	10	10
1	13	10
2	16	10
3	24	10
done	24	10
0	10	10
1	14	10
2	18	10
3	26	10
4	30	10
5	34	10
done	34	10
0	6	6
1	10	4
2	17	4
3	19	4
done	19	4
0	8	8
1	12	8
2	16	8
3	24	8
4	28	8
5	32	8
done	32	8
0	9	13
1	17	11
2	22	11
3	32	11
4	33	11
done	33	11
0	8	8
1	12	8
2	16	8
done	16	8
0	8	8
1	14	6
2	17	6
3	21	6
done	21	6
0	8	8
1	12	8
2	16	8
done	16	8
0	4	5
1	8	1
done	8	1
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	14	7
2	16	7
3	28	7
4	36	7
done	36	7
0	9	9
1	13	9
2	17	9
3	25	9
4	29	9
5	33	9
done	33	9
0	4	5
1	8	1
done	8	1
0	7	7
1	11	7
2	15	7
3	23	7
4	27	7
5	31	7
done	31	7
0	7	11
1	13	11
2	14	11
done	14	11
0	10	10
1	17	10
2	36	10
3	63	10
4	83	10
done	83	10
0	6	6
1	10	6
2	11	6
done	11	6
0	10	10
1	17	10
2	36	10
3	63	10
4	83	10
done	83	10
0	2	3
1	4	1
done	4	1
0	9	9
1	16	9
2	35	9
3	70	9
4	114	9
5	144	9
6	186	9
7	204	9
8	206	9
done	206	9
0	7	7
1	10	7
done	10	7
0	11	11
1	18	11
2	37	11
3	72	11
4	116	11
5	146	11
6	188	11
7	206	11
8	208	11
done	208	11
0	2	3
1	4	1
done	4	1
0	9	9
1	16	9
2	35	9
3	70	9
4	114	9
5	144	9
6	186	9
7	204	9
8	206	9
done	206	9
0	9	13
1	19	13
2	34	13
3	47	13
4	51	13
done	51	13
0	8	8
1	14	8
2	18	8
done	18	8
0	8	8
1	13	8
2	18	8
3	21	8
4	22	8
done	22	8
0	8	8
1	14	8
2	18	8
done	18	8
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	7	7
1	13	7
2	17	7
3	25	7
4	29	7
5	33	7
done	33	7
0	9	9
1	13	9
2	17	9
3	20	9
4	21	9
done	21	9
0	9	9
1	15	9
2	19	9
3	27	9
4	31	9
5	35	9
done	35	9
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	7	7
1	13	7
2	17	7
3	25	7
4	29	7
5	33	7
done	33	7
0	5	5
1	9	5
2	10	5
done	10	5
0	9	9
1	19	9
2	43	9
3	107	9
4	211	9
5	304	9
6	365	9
7	383	9
8	388	9
done	388	9
0	11	15
1	20	15
2	44	15
3	105	15
4	188	15
5	209	15
done	209	15
0	10	10
1	17	10
2	36	10
3	63	10
4	83	10
done	83	10
0	7	7
1	14	5
2	36	5
3	61	5
4	83	5
5	106	5
6	107	5
done	107	5
0	11	11
1	17	11
2	35	11
3	70	11
4	98	11
5	108	11
6	116	11
7	126	11
8	136	11
9	145	11
10	150	11
11	152	11
done	152	11
0	7	7
1	14	5
2	36	5
3	61	5
4	83	5
5	106	5
6	107	5
done	107	5
0	10	10
1	18	10
2	25	10
3	30	10
4	31	10
done	31	10
0	10	10
1	18	10
2	25	10
3	30	10
4	31	10
done	31	10
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	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	9	9
1	19	9
2	43	9
3	107	9
4	211	9
5	304	9
6	365	9
7	383	9
8	388	9
done	388	9
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	12	13
1	32	13
2	72	13
3	161	13
4	468	13
5	1742	13
done	5001	13
0	11	13
1	21	13
2	50	13
3	145	13
4	408	13
5	790	13
6	1346	13
7	2323	13
done	5000	13
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune116.0ms

Filtered

55 candidates to 69 candidates (-25.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	65	4	69
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	68	8	76

Merged error: 0b

Counts

76 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- y t))
0.5b	(cbrt (- y t))
0.5b	(cbrt (- y t))
3.4b	(* (/ x (* (cbrt (- y t)) (cbrt (- y t)))) (/ (/ 2.0 z) (cbrt (- y t))))

rewrite94.0ms

Algorithm

rewrite-expression-head

Rules

196×	`times-frac`
156×	`add-sqr-sqrt`
124×	`*-un-lft-identity`
110×	`associate-r`
92×	`add-cube-cbrt`
84×	`cbrt-prod`
40×	`add-exp-log`
28×	`add-cbrt-cube`
20×	`cbrt-div`
16×	`distribute-lft-out--` `difference-of-squares`
15×	`cbrt-undiv` `div-exp` `associate-l`
12×	`prod-exp` `cbrt-unprod`
10×	`flip3--` `associate-/r/` `flip--` `div-inv` `unswap-sqr`
6×	`pow1`
5×	`frac-times`
4×	`add-log-exp`
3×	`pow1/3` `associate-r/` `associate-l/`
1×	`pow-prod-down` `*-commutative`

Counts

4 → 210

Calls

4 calls:

4.0ms	(cbrt (- y t))
3.0ms	(cbrt (- y t))
4.0ms	(cbrt (- y t))
63.0ms	(* (/ x (* (cbrt (- y t)) (cbrt (- y t)))) (/ (/ 2.0 z) (cbrt (- y t))))

series121.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(cbrt (- y t))
31.0ms	(cbrt (- y t))
37.0ms	(cbrt (- y t))
19.0ms	(* (/ x (* (cbrt (- y t)) (cbrt (- y t)))) (/ (/ 2.0 z) (cbrt (- y t))))

simplify8.0min

Counts

222 → 222

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	20
1	23	20
2	53	20
3	139	20
4	308	12
5	460	9
6	543	9
7	700	9
8	1160	9
9	2695	9
done	5000	9
0	16	26
1	35	22
2	92	22
3	300	22
4	910	17
5	1681	16
6	2222	16
7	2329	16
done	2329	16
0	15	25
1	33	21
2	80	21
3	237	21
4	755	16
5	1596	15
6	2319	15
7	2450	15
8	2452	15
done	2452	15
0	15	24
1	30	20
2	70	20
3	172	20
4	509	20
5	1191	15
6	1893	15
7	2107	15
8	2116	15
done	2116	15
0	17	25
1	33	25
2	82	22
3	274	22
4	828	17
5	1639	16
6	2174	16
7	2279	16
done	2279	16
0	16	24
1	31	24
2	70	21
3	217	21
4	688	16
5	1490	15
6	2224	15
7	2364	15
8	2366	15
done	2366	15
0	15	23
1	28	23
2	62	20
3	160	20
4	471	20
5	1139	15
6	1856	15
7	2078	15
8	2088	15
done	2088	15
0	16	24
1	32	24
2	67	24
3	206	22
4	610	21
5	1362	16
6	2095	16
7	2318	16
8	2329	16
done	2329	16
0	15	23
1	30	23
2	57	23
3	168	21
4	542	20
5	1237	15
6	1931	15
7	2200	15
8	2218	15
done	2218	15
0	14	22
1	27	22
2	51	22
3	120	20
4	360	20
5	1069	16
6	1857	15
7	2190	15
8	2233	15
done	2233	15
0	13	21
1	27	21
2	73	21
3	209	21
4	601	13
5	1502	10
6	3052	10
7	4045	10
done	5001	10
0	13	21
1	26	21
2	62	21
3	164	21
4	394	13
5	726	10
6	1330	10
done	5000	10
0	17	29
1	43	29
2	168	23
3	952	21
done	5000	21
0	15	29
1	39	29
2	140	21
3	656	21
4	4102	15
done	5000	15
0	16	40
1	40	40
2	151	22
3	751	22
done	5000	22
0	20	51
1	54	51
2	235	27
3	1757	20
done	5000	20
0	18	51
1	50	51
2	208	25
3	1395	20
done	5001	20
0	18	62
1	50	62
2	218	26
3	1489	20
done	5000	20
0	18	51
1	45	51
2	176	25
3	1052	23
done	5001	23
0	16	51
1	41	51
2	148	23
3	785	23
done	5000	23
0	16	62
1	41	62
2	158	24
3	867	24
done	5000	24
0	14	43
1	25	43
2	55	43
3	141	43
4	304	27
5	454	21
6	537	21
7	692	21
8	1155	21
9	2685	21
done	5000	21
0	13	21
1	24	21
2	54	21
3	140	21
4	301	13
5	448	10
6	531	10
7	686	10
8	1154	10
9	2676	10
done	5001	10
0	14	62
1	35	62
2	158	22
3	1075	22
done	5000	22
0	13	21
1	24	21
2	54	21
3	140	21
4	301	13
5	448	10
6	531	10
7	686	10
8	1154	10
9	2676	10
done	5001	10
0	13	21
1	24	21
2	54	21
3	140	21
4	301	13
5	448	10
6	531	10
7	686	10
8	1154	10
9	2676	10
done	5001	10
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	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	14	22
1	21	22
2	25	22
done	25	22
0	14	22
1	21	22
2	25	22
done	25	22
0	16	23
1	23	23
2	27	23
3	31	23
4	32	23
done	32	23
0	16	23
1	23	23
2	27	23
3	31	23
4	32	23
done	32	23
0	15	23
1	22	23
2	26	23
3	30	23
4	31	23
done	31	23
0	15	23
1	22	23
2	26	23
3	30	23
4	31	23
done	31	23
0	17	24
1	26	24
2	38	24
3	60	24
4	83	24
5	94	24
done	94	24
0	17	24
1	26	24
2	38	24
3	60	24
4	83	24
5	94	24
done	94	24
0	16	24
1	25	24
2	37	24
3	59	24
4	82	24
5	93	24
done	93	24
0	16	24
1	25	24
2	37	24
3	59	24
4	82	24
5	93	24
done	93	24
0	13	17
1	20	17
2	27	17
3	29	17
4	31	17
5	32	17
done	32	17
0	13	17
1	20	17
2	27	17
3	29	17
4	31	17
5	32	17
done	32	17
0	15	18
1	22	18
2	32	18
3	49	18
4	70	18
5	82	18
6	84	18
done	84	18
0	15	18
1	22	18
2	32	18
3	49	18
4	70	18
5	82	18
6	84	18
done	84	18
0	14	18
1	21	18
2	31	18
3	48	18
4	69	18
5	81	18
6	83	18
done	83	18
0	14	18
1	21	18
2	31	18
3	48	18
4	69	18
5	81	18
6	83	18
done	83	18
0	16	19
1	25	19
2	45	19
3	101	19
4	200	19
5	318	19
6	351	19
7	352	19
done	352	19
0	16	19
1	25	19
2	45	19
3	101	19
4	200	19
5	318	19
6	351	19
7	352	19
done	352	19
0	15	19
1	24	19
2	44	19
3	100	19
4	200	19
5	318	19
6	351	19
7	352	19
done	352	19
0	15	19
1	24	19
2	44	19
3	100	19
4	200	19
5	318	19
6	351	19
7	352	19
done	352	19
0	14	31
1	25	31
2	47	31
3	81	31
4	127	31
5	151	31
6	160	31
done	160	31
0	13	21
1	22	21
2	37	21
3	50	21
4	60	21
5	63	21
done	63	21
0	15	32
1	26	32
2	55	32
3	141	32
4	346	32
5	581	32
6	651	32
7	659	32
done	659	32
0	16	27
1	27	27
2	56	27
3	142	27
4	347	27
5	585	27
6	665	27
7	673	27
done	673	27
0	16	24
1	29	23
2	58	23
3	141	21
4	391	21
5	616	21
6	651	21
done	651	21
0	18	28
1	30	28
2	59	28
3	145	28
4	345	28
5	577	28
6	656	28
7	664	28
done	664	28
0	16	24
1	29	23
2	58	23
3	141	21
4	391	21
5	616	21
6	651	21
done	651	21
0	16	33
1	31	33
2	83	33
3	247	33
4	713	33
5	1499	33
6	1766	33
7	1779	33
done	1779	33
0	15	27
1	26	27
2	55	27
3	141	27
4	346	27
5	581	27
6	651	27
7	659	27
done	659	27
0	15	23
1	28	21
2	63	21
3	198	21
4	480	21
5	643	21
6	646	21
done	646	21
0	14	27
1	23	27
2	43	27
3	86	27
4	157	27
5	208	27
6	215	27
done	215	27
0	15	22
1	24	22
2	44	22
3	87	22
4	159	22
5	209	22
6	216	22
done	216	22
0	15	19
1	26	18
2	46	18
3	89	16
4	230	16
5	339	16
6	352	16
done	352	16
0	17	23
1	27	23
2	47	23
3	90	23
4	162	23
5	212	23
6	219	23
done	219	23
0	15	19
1	26	18
2	46	18
3	89	16
4	230	16
5	339	16
6	352	16
done	352	16
0	15	28
1	26	28
2	56	28
3	135	28
4	312	28
5	514	28
6	547	28
done	547	28
0	14	22
1	23	22
2	43	22
3	86	22
4	157	22
5	208	22
6	215	22
done	215	22
0	14	18
1	25	16
2	47	16
3	104	16
4	211	16
5	231	16
done	231	16
0	17	34
1	34	34
2	90	34
3	345	34
4	1396	34
5	4249	34
done	5000	34
0	18	29
1	35	29
2	91	29
3	345	29
4	1383	29
5	4252	29
done	5000	29
0	18	26
1	37	25
2	93	25
3	342	23
4	1206	23
5	2746	23
6	3783	23
7	3786	23
done	3786	23
0	20	30
1	38	30
2	94	30
3	348	30
4	1402	30
5	4260	30
done	5001	30
0	18	26
1	37	25
2	93	25
3	342	23
4	1206	23
5	2746	23
6	3783	23
7	3786	23
done	3786	23
0	18	35
1	37	35
2	115	35
3	510	35
4	2483	35
done	5000	35
0	17	29
1	34	29
2	90	29
3	345	29
4	1396	29
5	4249	29
done	5000	29
0	17	25
1	36	23
2	110	23
3	453	23
4	1603	23
5	3191	23
6	3422	23
done	3422	23
0	16	31
1	29	31
2	69	31
3	240	31
4	788	31
5	1978	31
6	2798	31
7	2868	31
done	2868	31
0	17	26
1	30	26
2	70	26
3	239	26
4	788	26
5	2013	26
6	2834	26
7	2905	26
done	2905	26
0	17	23
1	32	22
2	72	22
3	239	20
4	758	20
5	1513	20
6	1847	20
7	1848	20
done	1848	20
0	19	27
1	33	27
2	73	27
3	243	27
4	806	27
5	2016	27
6	2836	27
7	2910	27
done	2910	27
0	17	23
1	32	22
2	72	22
3	239	20
4	758	20
5	1513	20
6	1847	20
7	1848	20
done	1848	20
0	17	32
1	32	32
2	87	32
3	333	32
4	1403	32
5	4425	32
done	5001	32
0	16	26
1	29	26
2	69	26
3	240	26
4	788	26
5	1978	26
6	2798	26
7	2868	26
done	2868	26
0	16	22
1	31	20
2	81	20
3	289	20
4	889	20
5	1571	20
6	1638	20
done	1638	20
0	15	30
1	30	28
2	76	28
3	235	28
4	715	28
5	1470	28
6	1695	28
done	1695	28
0	16	25
1	31	23
2	77	23
3	235	23
4	715	23
5	1467	23
6	1687	23
done	1687	23
0	15	22
1	30	17
2	75	17
3	226	17
4	517	17
5	675	17
6	677	17
done	677	17
0	18	26
1	34	24
2	80	24
3	238	24
4	726	24
5	1456	24
6	1692	24
done	1692	24
0	15	22
1	30	17
2	75	17
3	226	17
4	517	17
5	675	17
6	677	17
done	677	17
0	16	31
1	33	29
2	98	29
3	357	29
4	1211	29
5	2884	29
6	3586	29
7	3587	29
done	3587	29
0	15	25
1	30	23
2	76	23
3	235	23
4	715	23
5	1470	23
6	1695	23
done	1695	23
0	14	21
1	29	17
2	61	17
3	197	17
4	480	17
5	642	17
6	644	17
done	644	17
0	16	31
1	29	31
2	64	31
3	205	31
4	637	31
5	1543	31
6	2242	31
7	2268	31
done	2268	31
0	17	26
1	30	26
2	65	26
3	206	26
4	637	26
5	1542	26
6	2257	26
7	2284	26
done	2284	26
0	17	23
1	32	22
2	67	22
3	204	20
4	593	20
5	1104	20
6	1413	20
7	1414	20
done	1414	20
0	19	27
1	33	27
2	68	27
3	209	27
4	646	27
5	1549	27
6	2257	27
7	2281	27
done	2281	27
0	17	23
1	32	22
2	67	22
3	204	20
4	593	20
5	1104	20
6	1413	20
7	1414	20
done	1414	20
0	17	32
1	32	32
2	83	32
3	301	32
4	1150	32
5	3347	32
done	5000	32
0	16	26
1	29	26
2	64	26
3	205	26
4	637	26
5	1543	26
6	2242	26
7	2268	26
done	2268	26
0	16	22
1	31	20
2	76	20
3	253	20
4	671	20
5	1114	20
6	1221	20
done	1221	20
0	15	28
1	26	28
2	56	28
3	154	28
4	386	28
5	747	28
6	899	28
7	900	28
done	900	28
0	16	23
1	27	23
2	57	23
3	155	23
4	387	23
5	747	23
6	899	23
7	900	23
done	900	23
0	16	20
1	29	19
2	59	19
3	155	17
4	409	17
5	612	17
6	686	17
done	686	17
0	18	24
1	30	24
2	60	24
3	158	24
4	387	24
5	747	24
6	902	24
7	903	24
done	903	24
0	16	20
1	29	19
2	59	19
3	155	17
4	409	17
5	612	17
6	686	17
done	686	17
0	16	29
1	29	29
2	72	29
3	222	29
4	696	29
5	1703	29
6	2292	29
7	2300	29
done	2300	29
0	15	23
1	26	23
2	56	23
3	154	23
4	386	23
5	747	23
6	899	23
7	900	23
done	900	23
0	15	19
1	28	17
2	64	17
3	178	17
4	430	17
5	597	17
6	624	17
done	624	17
0	14	27
1	27	25
2	56	25
3	126	25
4	347	25
5	558	25
6	606	25
done	606	25
0	15	22
1	28	20
2	57	20
3	127	20
4	348	20
5	560	20
6	610	20
done	610	20
0	14	19
1	27	14
2	54	14
3	111	14
4	219	14
5	239	14
done	239	14
0	17	23
1	31	21
2	60	21
3	130	21
4	351	21
5	565	21
6	613	21
done	613	21
0	14	19
1	27	14
2	54	14
3	111	14
4	219	14
5	239	14
done	239	14
0	15	28
1	30	26
2	72	26
3	191	26
4	570	26
5	1100	26
6	1257	26
done	1257	26
0	14	22
1	27	20
2	56	20
3	126	20
4	347	20
5	558	20
6	606	20
done	606	20
0	13	18
1	26	14
2	45	14
3	102	14
4	210	14
5	230	14
done	230	14
0	15	30
1	30	30
2	65	30
3	200	28
4	672	28
5	1612	28
6	2486	28
7	2644	28
done	2644	28
0	16	25
1	31	25
2	66	25
3	201	23
4	665	23
5	1619	23
6	2508	23
7	2656	23
done	2656	23
0	15	22
1	30	21
2	65	19
3	199	17
4	570	17
5	1100	17
6	1303	17
7	1304	17
done	1304	17
0	18	26
1	34	26
2	69	26
3	204	24
4	668	24
5	1594	24
6	2443	24
7	2578	24
done	2578	24
0	15	22
1	30	21
2	65	19
3	199	17
4	570	17
5	1100	17
6	1303	17
7	1304	17
done	1304	17
0	16	31
1	33	31
2	84	31
3	292	29
4	1181	29
5	3636	29
done	5000	29
0	15	25
1	30	25
2	65	25
3	200	23
4	672	23
5	1612	23
6	2486	23
7	2644	23
done	2644	23
0	14	21
1	29	19
2	74	19
3	219	17
4	622	17
5	1161	17
6	1379	17
7	1380	17
done	1380	17
0	14	27
1	27	27
2	57	27
3	152	25
4	412	25
5	773	25
6	1124	25
7	1187	25
done	1187	25
0	15	22
1	28	22
2	58	22
3	153	20
4	413	20
5	774	20
6	1139	20
7	1212	20
done	1212	20
0	14	19
1	27	18
2	57	16
3	146	14
4	384	14
5	627	14
6	698	14
done	698	14
0	17	23
1	31	23
2	61	23
3	156	21
4	421	21
5	785	21
6	1143	21
7	1215	21
done	1215	21
0	14	19
1	27	18
2	57	16
3	146	14
4	384	14
5	627	14
6	698	14
done	698	14
0	15	28
1	30	28
2	73	28
3	218	26
4	736	26
5	1849	26
6	2794	26
7	2926	26
done	2926	26
0	14	22
1	27	22
2	57	22
3	152	20
4	412	20
5	773	20
6	1124	20
7	1187	20
done	1187	20
0	13	18
1	26	16
2	62	16
3	151	14
4	382	14
5	602	14
6	683	14
done	683	14
0	12	26
1	25	24
2	49	22
3	141	22
4	322	22
5	524	22
6	617	22
7	634	22
done	634	22
0	13	21
1	26	19
2	50	17
3	142	17
4	323	17
5	521	17
6	607	17
7	609	17
done	609	17
0	12	18
1	25	13
2	43	11
3	110	11
4	226	11
5	247	11
6	248	11
done	248	11
0	15	22
1	29	20
2	53	18
3	145	18
4	326	18
5	521	18
6	609	18
7	632	18
done	632	18
0	12	18
1	25	13
2	43	11
3	110	11
4	226	11
5	247	11
6	248	11
done	248	11
0	13	27
1	28	25
2	63	23
3	211	23
4	563	23
5	1026	23
6	1257	23
7	1286	23
done	1286	23
0	12	21
1	25	19
2	49	17
3	141	17
4	322	17
5	524	17
6	617	17
7	634	17
done	634	17
0	11	17
1	24	13
2	41	11
3	77	11
4	164	11
5	211	11
6	212	11
done	212	11
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	11	24
1	20	24
2	40	24
3	83	24
4	154	24
5	204	24
6	211	24
done	211	24
0	12	19
1	21	19
2	41	19
3	84	19
4	155	19
5	205	19
6	212	19
done	212	19
0	12	16
1	23	15
2	43	15
3	86	13
4	228	13
5	338	13
6	351	13
done	351	13
0	14	20
1	24	20
2	44	20
3	87	20
4	159	20
5	209	20
6	216	20
done	216	20
0	12	16
1	23	15
2	43	15
3	86	13
4	228	13
5	338	13
6	351	13
done	351	13
0	12	25
1	23	25
2	53	25
3	131	25
4	307	25
5	511	25
6	544	25
done	544	25
0	11	19
1	20	19
2	40	19
3	83	19
4	154	19
5	204	19
6	211	19
done	211	19
0	11	15
1	22	13
2	42	13
3	89	13
4	193	13
5	214	13
done	214	13
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	11	15
1	20	15
2	40	15
3	83	15
4	154	15
5	204	15
6	211	15
done	211	15
0	17	24
1	43	24
2	94	24
3	226	24
4	540	24
5	1235	24
6	3190	24
done	5000	24
0	16	24
1	31	24
2	72	24
3	195	24
4	452	24
5	873	24
6	1174	24
7	2348	24
done	5000	24
0	13	21
1	22	21
2	34	21
3	56	21
4	78	21
5	89	21
done	89	21
0	13	21
1	22	21
2	34	21
3	56	21
4	78	21
5	89	21
done	89	21
0	12	16
1	21	16
2	40	16
3	87	16
4	159	16
5	217	16
6	225	16
done	225	16
0	12	16
1	21	16
2	40	16
3	87	16
4	159	16
5	217	16
6	225	16
done	225	16
0	11	15
1	20	15
2	39	15
3	86	15
4	159	15
5	216	15
6	224	15
done	224	15
0	12	20
1	23	20
2	53	20
3	139	20
4	308	12
5	460	9
6	543	9
7	700	9
8	1160	9
9	2695	9
done	5000	9
0	12	20
1	25	20
2	54	18
3	190	18
4	483	10
5	703	7
6	799	7
7	1013	7
8	1758	7
9	4302	7
done	5001	7
0	16	34
1	32	30
2	59	30
3	109	30
4	187	30
5	264	30
6	281	30
done	281	30
0	18	26
1	35	24
2	67	24
3	135	24
4	267	24
5	418	24
6	459	24
done	459	24
0	18	26
1	35	24
2	67	24
3	135	24
4	267	24
5	418	24
6	459	24
done	459	24
0	12	18
1	22	18
2	41	18
3	88	18
4	165	18
5	240	18
6	255	18
done	255	18
0	15	21
1	29	19
2	49	19
3	72	19
4	96	19
5	107	19
done	107	19
0	11	13
1	19	13
2	31	13
3	53	13
4	75	13
5	86	13
done	86	13
0	15	21
1	29	19
2	49	19
3	72	19
4	96	19
5	107	19
done	107	19
0	11	13
1	19	13
2	31	13
3	53	13
4	75	13
5	86	13
done	86	13
0	11	15
1	20	15
2	40	15
3	83	15
4	154	15
5	204	15
6	211	15
done	211	15
0	10	10
1	17	10
2	29	10
3	51	10
4	74	10
5	85	10
done	85	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	1	1
done	1	1
0	1	1
done	1	1
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

prune313.0ms

Filtered

179 candidates to 222 candidates (-24.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	222	0	222
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	222	8	230

Merged error: 0b

Counts

230 → 8

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ 2.0 (- y t))
5.5b	(* (/ x z) (/ 2.0 (- y t)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

54×	`add-sqr-sqrt`
43×	`times-frac`
42×	`*-un-lft-identity`
28×	`add-cube-cbrt`
21×	`associate-r`
16×	`add-exp-log` `add-cbrt-cube`
13×	`associate-l`
7×	`distribute-lft-out--` `difference-of-squares`
5×	`cbrt-undiv` `div-exp` `associate-/r*`
4×	`pow1` `prod-exp` `associate-/r/` `cbrt-unprod` `unswap-sqr`
3×	`div-inv` `associate-/l*`
2×	`flip3--` `flip--` `add-log-exp`
1×	`frac-times` `frac-2neg` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `*-commutative`

Counts

2 → 95

Calls

2 calls:

6.0ms	(/ 2.0 (- y t))
16.0ms	(* (/ x z) (/ 2.0 (- y t)))

series21.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(/ 2.0 (- y t))
14.0ms	(* (/ x z) (/ 2.0 (- y t)))

simplify39.4s

Counts

101 → 101

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	16	9
2	26	9
3	46	9
4	88	9
5	133	9
6	172	9
7	201	9
8	203	9
done	203	9
0	13	13
1	24	13
2	48	13
3	104	13
4	193	13
5	300	13
6	411	13
7	464	13
8	466	13
done	466	13
0	12	12
1	22	12
2	41	12
3	83	12
4	165	12
5	265	12
6	370	12
7	427	12
8	428	12
done	428	12
0	12	12
1	22	12
2	38	12
3	78	12
4	159	12
5	276	12
6	378	12
7	448	12
8	462	12
done	462	12
0	11	11
1	20	11
2	33	11
3	63	11
4	131	11
5	235	11
6	363	11
7	447	11
8	469	11
done	469	11
0	10	10
1	20	10
2	41	10
3	84	10
4	199	10
5	391	10
6	578	10
7	737	10
8	806	10
9	816	10
done	816	10
0	10	10
1	19	10
2	35	10
3	65	10
4	149	10
5	302	10
6	597	10
7	1974	10
done	5001	10
0	17	29
1	42	29
2	185	17
3	1167	13
done	5001	13
0	15	29
1	38	29
2	140	15
3	694	13
4	4247	13
done	5000	13
0	15	29
1	38	29
2	153	15
3	740	13
4	4320	13
done	5000	13
0	13	29
1	34	29
2	108	13
3	411	13
4	2135	11
done	5001	11
0	11	21
1	18	21
2	28	21
3	48	21
4	90	21
5	135	21
6	174	21
7	203	21
8	205	21
done	205	21
0	10	10
1	17	10
2	27	10
3	47	10
4	89	10
5	134	10
6	173	10
7	202	10
8	204	10
done	204	10
0	11	29
1	28	29
2	111	11
3	558	11
4	2590	11
done	5000	11
0	10	10
1	17	10
2	27	10
3	47	10
4	89	10
5	134	10
6	173	10
7	202	10
8	204	10
done	204	10
0	10	10
1	17	10
2	27	10
3	47	10
4	89	10
5	134	10
6	173	10
7	202	10
8	204	10
done	204	10
0	3	3
1	4	3
done	4	3
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	11	11
1	14	11
2	15	11
done	15	11
0	11	11
1	14	11
2	15	11
done	15	11
0	12	12
1	17	12
2	21	12
3	25	12
4	26	12
done	26	12
0	12	12
1	17	12
2	21	12
3	25	12
4	26	12
done	26	12
0	12	12
1	17	12
2	21	12
3	23	12
4	25	12
5	26	12
done	26	12
0	12	12
1	17	12
2	21	12
3	23	12
4	25	12
5	26	12
done	26	12
0	13	13
1	20	13
2	30	13
3	47	13
4	68	13
5	80	13
6	82	13
done	82	13
0	13	13
1	20	13
2	30	13
3	47	13
4	68	13
5	80	13
6	82	13
done	82	13
0	11	17
1	18	17
2	27	17
3	35	17
4	44	17
5	50	17
6	55	17
done	55	17
0	10	10
1	15	10
2	19	10
3	21	10
4	23	10
5	24	10
done	24	10
0	13	19
1	26	19
2	68	19
3	161	19
4	364	19
5	620	19
6	700	19
7	710	19
done	710	19
0	12	14
1	21	14
2	40	14
3	83	14
4	158	14
5	225	14
6	240	14
7	246	14
done	246	14
0	9	11
1	18	9
2	44	9
3	129	9
4	231	9
5	292	9
6	302	9
7	305	9
done	305	9
0	13	15
1	21	15
2	39	15
3	82	15
4	173	15
5	264	15
6	309	15
7	355	15
8	402	15
9	449	15
10	493	15
11	518	15
12	524	15
13	525	15
done	525	15
0	9	11
1	18	9
2	44	9
3	129	9
4	231	9
5	292	9
6	302	9
7	305	9
done	305	9
0	12	16
1	21	16
2	41	16
3	82	16
4	148	16
5	207	16
6	216	16
done	216	16
0	11	11
1	18	11
2	28	11
3	45	11
4	66	11
5	78	11
6	80	11
done	80	11
0	8	8
1	15	6
2	28	6
3	60	6
4	86	6
5	94	6
6	97	6
7	98	6
done	98	6
0	12	12
1	18	12
2	27	12
3	44	12
4	81	12
5	103	12
6	113	12
7	123	12
8	133	12
9	142	12
10	147	12
11	149	12
done	149	12
0	8	8
1	15	6
2	28	6
3	60	6
4	86	6
5	94	6
6	97	6
7	98	6
done	98	6
0	11	15
1	22	15
2	41	13
3	110	13
4	178	13
5	247	13
6	315	13
7	353	13
done	353	13
0	10	10
1	19	10
2	29	8
3	67	8
4	83	8
5	103	8
6	130	8
7	146	8
done	146	8
0	6	7
1	13	5
2	23	3
3	38	3
4	52	3
5	65	3
6	85	3
7	90	3
done	90	3
0	11	11
1	19	11
2	28	9
3	66	9
4	96	9
5	124	9
6	150	9
7	172	9
8	196	9
9	260	9
10	291	9
11	302	9
12	314	9
done	314	9
0	6	7
1	13	5
2	23	3
3	38	3
4	52	3
5	65	3
6	85	3
7	90	3
done	90	3
0	5	5
1	10	3
2	20	3
done	20	3
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	12	13
1	32	13
2	63	13
3	131	13
4	356	13
5	1406	13
done	5000	13
0	11	13
1	21	13
2	44	13
3	117	13
4	314	13
5	712	13
6	1288	13
7	2255	13
done	5000	13
0	10	10
1	15	10
2	19	10
3	26	10
4	32	10
5	36	10
6	38	10
done	38	10
0	10	10
1	15	10
2	19	10
3	26	10
4	32	10
5	36	10
6	38	10
done	38	10
0	11	11
1	18	11
2	28	11
3	48	11
4	90	11
5	135	11
6	174	11
7	203	11
8	205	11
done	205	11
0	11	11
1	18	11
2	28	11
3	48	11
4	90	11
5	135	11
6	174	11
7	203	11
8	205	11
done	205	11
0	10	10
1	17	10
2	27	10
3	47	10
4	89	10
5	134	10
6	173	10
7	202	10
8	204	10
done	204	10
0	11	11
1	18	11
2	28	11
3	48	11
4	90	11
5	135	11
6	174	11
7	203	11
8	205	11
done	205	11
0	11	11
1	18	11
2	28	11
3	48	11
4	90	11
5	135	11
6	174	11
7	203	11
8	205	11
done	205	11
0	10	10
1	17	10
2	27	10
3	47	10
4	89	10
5	134	10
6	173	10
7	202	10
8	204	10
done	204	10
0	10	10
1	17	10
2	27	10
3	47	10
4	89	10
5	134	10
6	173	10
7	202	10
8	204	10
done	204	10
0	10	10
1	17	10
2	27	10
3	47	10
4	89	10
5	134	10
6	173	10
7	202	10
8	204	10
done	204	10
0	9	9
1	16	9
2	26	9
3	46	9
4	88	9
5	133	9
6	172	9
7	201	9
8	203	9
done	203	9
0	9	9
1	16	9
2	26	9
3	46	9
4	88	9
5	133	9
6	172	9
7	201	9
8	203	9
done	203	9
0	9	9
1	18	9
2	28	7
3	70	7
4	126	7
5	188	7
6	246	7
7	280	7
8	342	7
9	412	7
done	412	7
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	7	7
1	12	7
2	16	7
3	23	7
4	29	7
5	33	7
6	35	7
done	35	7
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	11	6
2	14	6
3	15	6
done	15	6
0	6	6
1	8	6
2	9	6
done	9	6
0	9	17
1	20	17
2	65	9
3	173	7
4	394	7
5	1087	7
6	3797	7
done	5000	7
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	16	17
2	33	7
3	77	7
4	173	7
5	423	7
6	1031	7
7	3017	7
done	5001	7
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
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	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	10
1	12	10
2	15	10
3	16	10
done	16	10
0	7	7
1	9	7
2	10	7
done	10	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	9	11
1	12	11
2	14	11
3	15	11
done	15	11
0	8	8
1	10	8
2	11	8
done	11	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	8	12
1	12	12
2	13	12
done	13	12
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	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	7	11
1	11	11
2	12	11
done	12	11
0	6	6
1	8	6
2	9	6
done	9	6
0	3	3
1	5	1
done	5	1
0	7	7
1	8	7
done	8	7
0	3	3
1	5	1
done	5	1
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	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	8	9
1	23	9
2	45	9
3	81	9
4	173	9
5	521	9
6	2320	9
done	5001	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	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

prune124.0ms

Filtered

80 candidates to 101 candidates (-26.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	100	1	101
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	101	8	109

Merged error: 0b

Counts

109 → 8

regimes690.0ms

Accuracy

72.6% (1.4b remaining)

Error of 1.4b against oracle of 0.0b and baseline of 5.0b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	49
1	27	49
done	27	49

end0.0ms

sample881.0ms

Algorithm

intervals

Results

365.0ms

8761×

body

valid

Details

sample30.0ms

simplify146.0ms

prune11.0ms

localize7.0ms

rewrite18.0ms

series23.0ms

simplify32.0s

prune100.0ms

localize8.0ms

rewrite13.0ms

series14.0ms

simplify19.3s

prune116.0ms

localize12.0ms

rewrite94.0ms

series121.0ms

simplify8.0min

prune313.0ms

localize12.0ms

rewrite27.0ms

series21.0ms

simplify39.4s

prune124.0ms

regimes690.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample881.0ms

Profiling