Details

sample35.0ms

Algorithm

intervals

Results

12.0ms	271×	body	80	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	320	valid

simplify607.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	13
1	22	13
2	37	13
3	61	13
4	95	13
5	126	13
6	159	13
7	191	13
8	245	13
9	316	13
10	404	13
11	448	13
12	524	13
13	546	13
done	546	13

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

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0))
0.0b	(* 60.0 (- x y))
0.2b	(/ (* 60.0 (- x y)) (- z t))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`*-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` `associate-/l` `unswap-sqr`

Counts

3 → 66

Calls

3 calls:

14.0ms	(+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0))
8.0ms	(* 60.0 (- x y))
11.0ms	(/ (* 60.0 (- x y)) (- z t))

series67.0ms

Counts

3 → 9

Calls

3 calls:

44.0ms	(+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0))
5.0ms	(* 60.0 (- x y))
18.0ms	(/ (* 60.0 (- x y)) (- z t))

simplify56.8s

Counts

75 → 75

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	12
1	21	12
2	30	12
3	36	12
4	42	12
5	51	12
6	64	12
7	82	12
8	98	12
9	105	12
10	122	12
11	124	12
done	124	12
0	11	11
1	21	11
2	35	11
3	49	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	10	10
1	20	10
2	43	10
3	83	10
4	120	10
5	151	10
6	183	10
7	209	10
8	233	10
9	240	10
10	257	10
11	259	10
done	259	10
0	10	10
1	17	10
2	32	10
3	58	10
4	95	10
5	151	10
6	240	10
7	492	10
8	1602	10
done	5000	10
0	15	29
1	34	29
2	162	15
3	800	15
4	3582	13
done	5000	13
0	13	29
1	36	29
2	175	13
3	954	11
4	4176	11
done	5000	11
0	11	21
1	18	21
2	33	21
3	57	21
4	79	21
5	102	21
6	122	21
7	130	21
8	138	21
done	138	21
0	10	10
1	17	10
2	32	10
3	56	10
4	78	10
5	101	10
6	121	10
7	129	10
8	137	10
done	137	10
0	11	29
1	25	29
2	77	11
3	345	11
4	1842	11
done	5001	11
0	10	10
1	17	10
2	32	10
3	56	10
4	78	10
5	101	10
6	121	10
7	129	10
8	137	10
done	137	10
0	10	10
1	17	10
2	32	10
3	56	10
4	78	10
5	101	10
6	121	10
7	129	10
8	137	10
done	137	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	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	3	3
1	5	1
done	5	1
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	7	7
1	8	7
done	8	7
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	3	3
1	5	1
done	5	1
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	5	5
1	9	5
2	10	5
done	10	5
0	9	9
1	19	9
2	40	9
3	53	9
4	63	9
5	64	9
done	64	9
0	11	15
1	23	15
2	48	15
3	90	15
4	140	15
5	194	15
6	234	15
7	237	15
done	237	15
0	10	10
1	17	10
2	29	10
3	48	10
4	66	10
5	87	10
6	95	10
done	95	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	11	11
1	17	11
2	28	11
3	47	11
4	65	11
5	86	11
6	94	11
done	94	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	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	12	13
1	32	13
2	68	13
3	149	13
4	379	13
5	1288	13
done	5000	13
0	11	13
1	21	13
2	51	13
3	122	13
4	247	13
5	465	13
6	719	13
7	1174	13
8	3120	13
done	5000	13
0	11	15
1	27	13
2	75	13
3	214	13
4	503	13
5	1212	13
6	2467	13
done	5000	13
0	7	7
1	17	7
2	37	7
3	64	7
4	110	7
5	157	7
6	227	7
7	408	7
8	644	7
9	711	7
10	715	7
done	715	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	15	15
1	28	14
2	50	14
3	88	14
4	171	14
5	402	14
6	1304	14
done	5001	14
0	14	14
1	23	14
2	38	14
3	62	14
4	96	14
5	127	14
6	160	14
7	192	14
8	246	14
9	317	14
10	405	14
11	449	14
12	525	14
13	547	14
done	547	14
0	14	14
1	26	14
2	46	14
3	79	14
4	145	14
5	324	14
6	904	14
7	4161	14
done	5000	14
0	15	29
1	24	29
2	39	29
3	63	29
4	97	29
5	128	29
6	161	29
7	193	29
8	247	29
9	318	29
10	406	29
11	450	29
12	526	29
13	548	29
done	548	29
0	14	14
1	23	14
2	38	14
3	62	14
4	96	14
5	127	14
6	160	14
7	192	14
8	246	14
9	317	14
10	405	14
11	449	14
12	525	14
13	547	14
done	547	14
0	15	41
1	37	41
2	116	15
3	452	15
4	2074	15
done	5001	15
0	14	14
1	23	14
2	38	14
3	62	14
4	96	14
5	127	14
6	160	14
7	192	14
8	246	14
9	317	14
10	405	14
11	449	14
12	525	14
13	547	14
done	547	14
0	14	14
1	23	14
2	38	14
3	62	14
4	96	14
5	127	14
6	160	14
7	192	14
8	246	14
9	317	14
10	405	14
11	449	14
12	525	14
13	547	14
done	547	14
0	16	17
1	44	17
2	129	17
3	440	17
4	1987	17
done	5000	17
0	17	41
1	48	37
2	144	37
3	455	31
4	1637	31
5	4940	31
done	5000	31
0	15	27
1	39	27
2	104	27
3	299	27
4	953	27
5	2844	27
done	5000	27
0	13	13
1	23	13
2	45	13
3	69	13
4	109	13
5	145	13
6	184	13
7	217	13
8	292	13
9	419	13
10	515	13
11	541	13
12	546	13
13	548	13
done	548	13
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	3	3
1	4	3
done	4	3
0	13	15
1	25	15
2	46	15
3	71	13
4	98	11
5	142	11
6	219	11
7	318	11
8	362	11
9	431	11
10	509	11
11	510	11
done	510	11
0	13	15
1	25	15
2	46	15
3	71	13
4	98	11
5	142	11
6	219	11
7	318	11
8	362	11
9	431	11
10	509	11
11	510	11
done	510	11

prune139.0ms

Filtered

57 candidates to 75 candidates (-31.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	69	6	75
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	70	6	76

Merged error: 0.0b

Counts

76 → 6

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (/ 60.0 (/ (- z t) (- x y))) (* a 120.0))
0.0b	(/ (- z t) (- x y))
0.6b	(/ 60.0 (/ (- z t) (- x y)))

rewrite75.0ms

Algorithm

rewrite-expression-head

Rules

218×	`times-frac`
195×	`add-sqr-sqrt` `*-un-lft-identity`
91×	`add-cube-cbrt`
52×	`distribute-lft-out--` `difference-of-squares`
36×	`associate-/r*`
11×	`associate-/r/`
10×	`add-exp-log` `add-cbrt-cube`
8×	`associate-/l*`
6×	`flip3--` `flip--` `div-inv`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`pow1`
2×	`frac-2neg` `clear-num` `associate-/l/`
1×	`+-commutative` `flip3-+` `div-sub` `sum-log` `flip-+`

Counts

3 → 205

Calls

3 calls:

38.0ms	(+ (/ 60.0 (/ (- z t) (- x y))) (* a 120.0))
9.0ms	(/ (- z t) (- x y))
14.0ms	(/ 60.0 (/ (- z t) (- x y)))

series106.0ms

Counts

3 → 9

Calls

3 calls:

44.0ms	(+ (/ 60.0 (/ (- z t) (- x y))) (* a 120.0))
16.0ms	(/ (- z t) (- x y))
46.0ms	(/ 60.0 (/ (- z t) (- x y)))

simplify1.3min

Counts

214 → 214

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	12
1	22	12
2	32	12
3	45	12
4	50	12
5	58	12
6	73	12
7	99	12
8	108	12
done	108	12
0	11	11
1	23	11
2	32	11
3	41	11
4	54	11
5	58	11
6	66	11
7	81	11
8	107	11
9	116	11
done	116	11
0	10	10
1	22	10
2	42	10
3	70	10
4	98	10
5	138	10
6	169	10
7	195	10
8	218	10
9	240	10
10	246	10
done	246	10
0	10	10
1	19	10
2	34	10
3	63	10
4	106	10
5	181	10
6	379	10
7	1008	10
8	3799	10
done	5001	10
0	15	29
1	33	29
2	142	15
3	681	13
4	3305	11
done	5000	11
0	13	29
1	35	29
2	109	13
3	482	11
4	2249	11
done	5000	11
0	11	21
1	20	21
2	33	21
3	53	21
4	71	21
5	94	21
6	117	21
7	132	21
8	137	21
9	139	21
done	139	21
0	10	10
1	19	10
2	32	10
3	52	10
4	70	10
5	93	10
6	116	10
7	131	10
8	136	10
9	138	10
done	138	10
0	11	29
1	27	29
2	75	11
3	335	11
4	1757	11
done	5001	11
0	10	10
1	19	10
2	32	10
3	52	10
4	70	10
5	93	10
6	116	10
7	131	10
8	136	10
9	138	10
done	138	10
0	10	10
1	19	10
2	32	10
3	52	10
4	70	10
5	93	10
6	116	10
7	131	10
8	136	10
9	138	10
done	138	10
0	2	2
done	2	2
0	8	8
1	17	8
2	24	8
3	31	8
4	35	7
5	36	7
done	36	7
0	13	23
1	26	23
2	39	23
3	47	23
done	47	23
0	11	11
1	18	11
2	22	11
3	24	11
done	24	11
0	12	14
1	21	14
2	27	14
3	30	14
done	30	14
0	11	11
1	18	11
2	22	11
3	24	11
done	24	11
0	15	25
1	29	25
2	67	25
3	156	25
4	284	25
5	378	25
6	417	25
7	427	25
done	427	25
0	12	12
1	18	12
2	23	12
3	24	12
4	26	12
5	28	12
6	29	12
done	29	12
0	14	20
1	24	20
2	44	20
3	88	20
4	132	20
5	151	20
6	156	20
7	157	20
done	157	20
0	12	12
1	18	12
2	23	12
3	24	12
4	26	12
5	28	12
6	29	12
done	29	12
0	11	17
1	21	15
2	45	15
3	120	15
4	149	15
5	170	15
6	172	15
done	172	15
0	11	11
1	17	11
2	28	11
3	46	11
4	64	11
5	78	11
6	92	11
7	96	11
8	97	11
done	97	11
0	15	21
1	24	21
2	51	21
3	135	21
4	253	21
5	377	21
6	431	21
7	450	21
8	456	21
9	459	21
10	461	21
done	461	21
0	13	13
1	19	13
2	30	13
3	48	13
4	66	13
5	80	13
6	94	13
7	98	13
8	99	13
done	99	13
0	11	17
1	21	15
2	45	15
3	120	15
4	149	15
5	170	15
6	172	15
done	172	15
0	11	11
1	17	11
2	28	11
3	46	11
4	64	11
5	78	11
6	92	11
7	96	11
8	97	11
done	97	11
0	14	20
1	24	20
2	41	20
3	69	20
4	106	20
5	128	20
6	138	20
7	147	20
done	147	20
0	12	12
1	18	12
2	23	12
3	24	12
4	26	12
5	28	12
6	29	12
done	29	12
0	13	15
1	21	15
2	32	15
3	42	15
4	52	15
5	56	15
6	58	15
7	59	15
done	59	15
0	12	12
1	18	12
2	23	12
3	24	12
4	26	12
5	28	12
6	29	12
done	29	12
0	10	12
1	18	10
2	30	10
3	52	10
4	58	10
5	62	10
6	68	10
done	68	10
0	11	11
1	17	11
2	28	11
3	46	11
4	64	11
5	78	11
6	92	11
7	96	11
8	97	11
done	97	11
0	14	16
1	21	16
2	39	16
3	73	16
4	119	16
5	143	16
6	153	16
7	160	16
8	161	16
done	161	16
0	13	13
1	19	13
2	30	13
3	48	13
4	66	13
5	80	13
6	94	13
7	98	13
8	99	13
done	99	13
0	10	12
1	18	10
2	30	10
3	52	10
4	58	10
5	62	10
6	68	10
done	68	10
0	11	11
1	17	11
2	28	11
3	46	11
4	64	11
5	78	11
6	92	11
7	96	11
8	97	11
done	97	11
0	11	17
1	21	17
2	37	15
3	84	15
4	196	15
5	257	15
6	302	15
done	302	15
0	11	11
1	20	11
2	27	11
3	30	11
4	32	11
5	37	11
6	40	11
7	42	11
done	42	11
0	10	12
1	18	12
2	28	10
3	54	10
4	101	10
5	110	10
done	110	10
0	11	11
1	20	11
2	27	11
3	30	11
4	32	11
5	37	11
6	40	11
7	42	11
done	42	11
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	10	10
1	19	10
2	32	10
3	52	10
4	70	10
5	93	10
6	116	10
7	131	10
8	136	10
9	138	10
done	138	10
0	11	13
1	18	13
2	35	11
3	79	11
4	166	11
5	226	11
6	298	11
done	298	11
0	12	12
1	21	12
2	34	12
3	54	12
4	72	12
5	95	12
6	118	12
7	133	12
8	138	12
9	140	12
done	140	12
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	10	10
1	19	10
2	32	10
3	52	10
4	70	10
5	93	10
6	116	10
7	131	10
8	136	10
9	138	10
done	138	10
0	15	21
1	24	21
2	40	21
3	68	21
4	104	21
5	126	21
6	136	21
7	145	21
done	145	21
0	13	13
1	22	13
2	29	13
3	32	13
4	34	13
5	39	13
6	42	13
7	44	13
done	44	13
0	14	16
1	21	16
2	31	16
3	41	16
4	51	16
5	55	16
6	57	16
7	58	16
done	58	16
0	13	13
1	22	13
2	29	13
3	32	13
4	34	13
5	39	13
6	42	13
7	44	13
done	44	13
0	11	13
1	18	11
2	29	11
3	51	11
4	56	11
5	60	11
6	66	11
done	66	11
0	12	12
1	21	12
2	34	12
3	54	12
4	72	12
5	95	12
6	118	12
7	133	12
8	138	12
9	140	12
done	140	12
0	15	17
1	21	17
2	38	17
3	72	17
4	118	17
5	142	17
6	152	17
7	159	17
8	160	17
done	160	17
0	14	14
1	23	14
2	36	14
3	56	14
4	74	14
5	97	14
6	120	14
7	135	14
8	140	14
9	142	14
done	142	14
0	11	13
1	18	11
2	29	11
3	51	11
4	56	11
5	60	11
6	66	11
done	66	11
0	12	12
1	21	12
2	34	12
3	54	12
4	72	12
5	95	12
6	118	12
7	133	12
8	138	12
9	140	12
done	140	12
0	11	17
1	21	17
2	37	15
3	84	15
4	196	15
5	257	15
6	302	15
done	302	15
0	11	11
1	20	11
2	27	11
3	30	11
4	32	11
5	37	11
6	40	11
7	42	11
done	42	11
0	10	12
1	18	12
2	28	10
3	54	10
4	101	10
5	110	10
done	110	10
0	11	11
1	20	11
2	27	11
3	30	11
4	32	11
5	37	11
6	40	11
7	42	11
done	42	11
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	10	10
1	19	10
2	32	10
3	52	10
4	70	10
5	93	10
6	116	10
7	131	10
8	136	10
9	138	10
done	138	10
0	11	13
1	18	13
2	35	11
3	79	11
4	166	11
5	226	11
6	298	11
done	298	11
0	12	12
1	21	12
2	34	12
3	54	12
4	72	12
5	95	12
6	118	12
7	133	12
8	138	12
9	140	12
done	140	12
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	10	10
1	19	10
2	32	10
3	52	10
4	70	10
5	93	10
6	116	10
7	131	10
8	136	10
9	138	10
done	138	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	10	10
1	19	10
2	32	10
3	52	10
4	70	10
5	93	10
6	116	10
7	131	10
8	136	10
9	138	10
done	138	10
0	7	9
1	11	9
2	17	9
3	20	9
4	22	9
done	22	9
0	8	8
1	14	8
2	24	6
3	40	6
4	62	6
5	87	6
6	129	6
7	135	6
done	135	6
0	14	17
1	38	17
2	81	17
3	213	17
4	723	17
5	3000	17
done	5001	17
0	10	14
1	17	12
2	25	12
3	28	12
4	29	12
done	29	12
0	13	17
1	27	17
2	63	17
3	180	17
4	559	17
5	1204	17
6	2148	17
7	3884	17
done	5001	17
0	6	6
1	7	6
done	7	6
0	12	20
1	21	20
2	25	20
3	27	20
done	27	20
0	11	11
1	18	11
2	22	11
3	24	11
done	24	11
0	11	11
1	18	11
2	22	11
3	24	11
done	24	11
0	11	11
1	18	11
2	22	11
3	24	11
done	24	11
0	14	22
1	26	22
2	49	22
3	80	22
4	106	22
5	140	22
6	166	22
7	176	22
done	176	22
0	12	12
1	18	12
2	23	12
3	24	12
4	26	12
5	28	12
6	29	12
done	29	12
0	13	17
1	21	17
2	31	17
3	44	17
4	52	17
5	58	17
6	61	17
done	61	17
0	12	12
1	18	12
2	23	12
3	24	12
4	26	12
5	28	12
6	29	12
done	29	12
0	10	14
1	18	12
2	32	12
3	59	12
4	71	12
5	83	12
6	89	12
done	89	12
0	11	11
1	17	11
2	28	11
3	46	11
4	64	11
5	78	11
6	92	11
7	96	11
8	97	11
done	97	11
0	14	18
1	21	18
2	38	18
3	71	18
4	103	18
5	135	18
6	154	18
7	159	18
8	160	18
9	162	18
10	163	18
done	163	18
0	13	13
1	19	13
2	30	13
3	48	13
4	66	13
5	80	13
6	94	13
7	98	13
8	99	13
done	99	13
0	10	14
1	18	12
2	32	12
3	59	12
4	71	12
5	83	12
6	89	12
done	89	12
0	11	11
1	17	11
2	28	11
3	46	11
4	64	11
5	78	11
6	92	11
7	96	11
8	97	11
done	97	11
0	13	17
1	21	17
2	30	17
3	38	17
4	42	17
5	51	17
6	57	17
7	62	17
done	62	17
0	12	12
1	18	12
2	23	12
3	24	12
4	26	12
5	28	12
6	29	12
done	29	12
0	12	12
1	18	12
2	23	12
3	24	12
4	26	12
5	28	12
6	29	12
done	29	12
0	12	12
1	18	12
2	23	12
3	24	12
4	26	12
5	28	12
6	29	12
done	29	12
0	9	9
1	15	7
2	22	7
3	27	7
4	29	7
5	32	7
6	36	7
done	36	7
0	11	11
1	17	11
2	28	11
3	46	11
4	64	11
5	78	11
6	92	11
7	96	11
8	97	11
done	97	11
0	13	13
1	18	13
2	30	13
3	43	13
4	51	13
5	57	13
6	64	13
7	66	13
done	66	13
0	13	13
1	19	13
2	30	13
3	48	13
4	66	13
5	80	13
6	94	13
7	98	13
8	99	13
done	99	13
0	9	9
1	15	7
2	22	7
3	27	7
4	29	7
5	32	7
6	36	7
done	36	7
0	11	11
1	17	11
2	28	11
3	46	11
4	64	11
5	78	11
6	92	11
7	96	11
8	97	11
done	97	11
0	10	14
1	18	14
2	26	12
3	42	12
4	68	12
5	93	12
6	112	12
done	112	12
0	11	11
1	20	11
2	27	11
3	30	11
4	32	11
5	37	11
6	40	11
7	42	11
done	42	11
0	9	9
1	15	9
2	19	7
3	28	7
4	37	7
5	39	7
done	39	7
0	11	11
1	20	11
2	27	11
3	30	11
4	32	11
5	37	11
6	40	11
7	42	11
done	42	11
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	10	10
1	19	10
2	32	10
3	52	10
4	70	10
5	93	10
6	116	10
7	131	10
8	136	10
9	138	10
done	138	10
0	10	10
1	15	10
2	26	8
3	37	8
4	52	8
5	66	8
6	90	8
done	90	8
0	12	12
1	21	12
2	34	12
3	54	12
4	72	12
5	95	12
6	118	12
7	133	12
8	138	12
9	140	12
done	140	12
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	10	10
1	19	10
2	32	10
3	52	10
4	70	10
5	93	10
6	116	10
7	131	10
8	136	10
9	138	10
done	138	10
0	14	18
1	21	18
2	29	18
3	37	18
4	41	18
5	50	18
6	56	18
7	61	18
done	61	18
0	13	13
1	22	13
2	29	13
3	32	13
4	34	13
5	39	13
6	42	13
7	44	13
done	44	13
0	13	13
1	18	13
2	22	13
3	23	13
4	25	13
5	27	13
6	28	13
done	28	13
0	13	13
1	22	13
2	29	13
3	32	13
4	34	13
5	39	13
6	42	13
7	44	13
done	44	13
0	10	10
1	15	8
2	21	8
3	26	8
4	28	8
5	31	8
6	35	8
done	35	8
0	12	12
1	21	12
2	34	12
3	54	12
4	72	12
5	95	12
6	118	12
7	133	12
8	138	12
9	140	12
done	140	12
0	14	14
1	18	14
2	29	14
3	42	14
4	50	14
5	56	14
6	63	14
7	65	14
done	65	14
0	14	14
1	23	14
2	36	14
3	56	14
4	74	14
5	97	14
6	120	14
7	135	14
8	140	14
9	142	14
done	142	14
0	10	10
1	15	8
2	21	8
3	26	8
4	28	8
5	31	8
6	35	8
done	35	8
0	12	12
1	21	12
2	34	12
3	54	12
4	72	12
5	95	12
6	118	12
7	133	12
8	138	12
9	140	12
done	140	12
0	10	14
1	18	14
2	26	12
3	42	12
4	68	12
5	93	12
6	112	12
done	112	12
0	11	11
1	20	11
2	27	11
3	30	11
4	32	11
5	37	11
6	40	11
7	42	11
done	42	11
0	9	9
1	15	9
2	19	7
3	28	7
4	37	7
5	39	7
done	39	7
0	11	11
1	20	11
2	27	11
3	30	11
4	32	11
5	37	11
6	40	11
7	42	11
done	42	11
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	10	10
1	19	10
2	32	10
3	52	10
4	70	10
5	93	10
6	116	10
7	131	10
8	136	10
9	138	10
done	138	10
0	10	10
1	15	10
2	26	8
3	37	8
4	52	8
5	66	8
6	90	8
done	90	8
0	12	12
1	21	12
2	34	12
3	54	12
4	72	12
5	95	12
6	118	12
7	133	12
8	138	12
9	140	12
done	140	12
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	10	10
1	19	10
2	32	10
3	52	10
4	70	10
5	93	10
6	116	10
7	131	10
8	136	10
9	138	10
done	138	10
0	4	4
1	6	2
2	8	2
done	8	2
0	10	10
1	19	10
2	32	10
3	52	10
4	70	10
5	93	10
6	116	10
7	131	10
8	136	10
9	138	10
done	138	10
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	14	8
2	24	6
3	40	6
4	62	6
5	87	6
6	129	6
7	135	6
done	135	6
0	13	14
1	35	14
2	69	14
3	171	14
4	496	14
5	1753	14
done	5000	14
0	10	14
1	17	12
2	25	12
3	28	12
4	29	12
done	29	12
0	12	14
1	24	14
2	51	14
3	130	14
4	307	14
5	558	14
6	968	14
7	1797	14
done	5000	14
0	6	6
1	7	6
done	7	6
0	11	19
1	22	19
2	26	19
3	28	19
done	28	19
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	10	10
1	19	10
2	23	10
3	25	10
done	25	10
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	13	21
1	27	21
2	50	21
3	81	19
4	141	19
5	206	19
done	206	19
0	11	11
1	17	11
2	22	11
3	23	11
4	25	11
5	27	11
6	28	11
done	28	11
0	12	16
1	22	16
2	32	16
3	45	14
4	72	14
5	109	14
done	109	14
0	11	11
1	17	11
2	22	11
3	23	11
4	25	11
5	27	11
6	28	11
done	28	11
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	10	10
1	16	10
2	27	10
3	45	10
4	63	10
5	77	10
6	91	10
7	95	10
8	96	10
done	96	10
0	13	17
1	22	17
2	39	17
3	72	15
4	145	15
5	226	15
6	230	15
done	230	15
0	12	12
1	18	12
2	29	12
3	47	12
4	65	12
5	79	12
6	93	12
7	97	12
8	98	12
done	98	12
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	10	10
1	16	10
2	27	10
3	45	10
4	63	10
5	77	10
6	91	10
7	95	10
8	96	10
done	96	10
0	12	16
1	22	16
2	31	16
3	39	14
4	63	14
5	78	14
done	78	14
0	11	11
1	17	11
2	22	11
3	23	11
4	25	11
5	27	11
6	28	11
done	28	11
0	11	11
1	19	11
2	24	11
3	25	9
4	38	9
5	43	9
done	43	9
0	11	11
1	17	11
2	22	11
3	23	11
4	25	11
5	27	11
6	28	11
done	28	11
0	7	8
1	13	6
2	19	6
done	19	6
0	10	10
1	16	10
2	27	10
3	45	10
4	63	10
5	77	10
6	91	10
7	95	10
8	96	10
done	96	10
0	12	12
1	19	12
2	31	12
3	44	10
4	79	10
5	96	10
done	96	10
0	12	12
1	18	12
2	29	12
3	47	12
4	65	12
5	79	12
6	93	12
7	97	12
8	98	12
done	98	12
0	7	8
1	13	6
2	19	6
done	19	6
0	10	10
1	16	10
2	27	10
3	45	10
4	63	10
5	77	10
6	91	10
7	95	10
8	96	10
done	96	10
0	8	13
1	16	9
2	26	9
3	39	9
4	48	9
5	49	9
done	49	9
0	10	10
1	19	10
2	26	10
3	29	10
4	31	10
5	36	10
6	39	10
7	41	10
done	41	10
0	7	8
1	13	4
2	19	4
3	21	4
4	22	4
done	22	4
0	10	10
1	19	10
2	26	10
3	29	10
4	31	10
5	36	10
6	39	10
7	41	10
done	41	10
0	3	5
1	6	1
done	6	1
0	9	9
1	18	9
2	31	9
3	51	9
4	69	9
5	92	9
6	115	9
7	130	9
8	135	9
9	137	9
done	137	9
0	8	9
1	13	5
2	26	5
3	36	5
4	37	5
done	37	5
0	11	11
1	20	11
2	33	11
3	53	11
4	71	11
5	94	11
6	117	11
7	132	11
8	137	11
9	139	11
done	139	11
0	3	5
1	6	1
done	6	1
0	9	9
1	18	9
2	31	9
3	51	9
4	69	9
5	92	9
6	115	9
7	130	9
8	135	9
9	137	9
done	137	9
0	13	17
1	22	17
2	30	17
3	38	15
4	62	15
5	77	15
done	77	15
0	12	12
1	21	12
2	28	12
3	31	12
4	33	12
5	38	12
6	41	12
7	43	12
done	43	12
0	12	12
1	19	12
2	23	12
3	24	10
4	37	10
5	42	10
done	42	10
0	12	12
1	21	12
2	28	12
3	31	12
4	33	12
5	38	12
6	41	12
7	43	12
done	43	12
0	8	9
1	13	7
2	18	7
done	18	7
0	11	11
1	20	11
2	33	11
3	53	11
4	71	11
5	94	11
6	117	11
7	132	11
8	137	11
9	139	11
done	139	11
0	13	13
1	19	13
2	30	13
3	43	11
4	78	11
5	95	11
done	95	11
0	13	13
1	22	13
2	35	13
3	55	13
4	73	13
5	96	13
6	119	13
7	134	13
8	139	13
9	141	13
done	141	13
0	8	9
1	13	7
2	18	7
done	18	7
0	11	11
1	20	11
2	33	11
3	53	11
4	71	11
5	94	11
6	117	11
7	132	11
8	137	11
9	139	11
done	139	11
0	8	13
1	16	9
2	26	9
3	39	9
4	48	9
5	49	9
done	49	9
0	10	10
1	19	10
2	26	10
3	29	10
4	31	10
5	36	10
6	39	10
7	41	10
done	41	10
0	7	8
1	13	4
2	19	4
3	21	4
4	22	4
done	22	4
0	10	10
1	19	10
2	26	10
3	29	10
4	31	10
5	36	10
6	39	10
7	41	10
done	41	10
0	3	5
1	6	1
done	6	1
0	9	9
1	18	9
2	31	9
3	51	9
4	69	9
5	92	9
6	115	9
7	130	9
8	135	9
9	137	9
done	137	9
0	8	9
1	13	5
2	26	5
3	36	5
4	37	5
done	37	5
0	11	11
1	20	11
2	33	11
3	53	11
4	71	11
5	94	11
6	117	11
7	132	11
8	137	11
9	139	11
done	139	11
0	3	5
1	6	1
done	6	1
0	9	9
1	18	9
2	31	9
3	51	9
4	69	9
5	92	9
6	115	9
7	130	9
8	135	9
9	137	9
done	137	9
0	2	3
1	4	1
done	4	1
0	9	9
1	18	9
2	31	9
3	51	9
4	69	9
5	92	9
6	115	9
7	130	9
8	135	9
9	137	9
done	137	9
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	13	7
2	23	5
3	34	5
4	48	5
5	66	5
6	84	5
7	93	5
8	114	5
9	121	5
10	124	5
done	124	5
0	12	13
1	36	13
2	70	13
3	172	11
4	531	11
5	2158	11
done	5001	11
0	9	13
1	16	11
2	24	11
3	27	11
4	28	11
done	28	11
0	11	13
1	25	13
2	52	13
3	131	11
4	374	11
5	827	11
6	1155	11
7	1800	11
done	5002	11
0	5	5
1	6	5
done	6	5
0	9	9
1	20	9
2	33	9
3	53	7
4	109	7
5	159	7
6	194	7
7	207	7
8	214	7
9	215	7
done	215	7
0	9	9
1	18	9
2	37	9
3	53	9
4	63	9
5	66	9
done	66	9
0	11	19
1	20	19
2	24	19
3	26	19
done	26	19
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	13	21
1	25	21
2	48	21
3	79	21
4	105	21
5	136	21
6	158	21
7	168	21
done	168	21
0	12	16
1	20	16
2	30	16
3	43	16
4	51	16
5	57	16
6	60	16
done	60	16
0	9	13
1	17	11
2	31	11
3	58	11
4	66	11
5	75	11
6	90	11
7	93	11
done	93	11
0	13	17
1	20	17
2	37	17
3	70	17
4	102	17
5	134	17
6	153	17
7	158	17
8	159	17
9	161	17
10	162	17
done	162	17
0	9	13
1	17	11
2	31	11
3	58	11
4	66	11
5	75	11
6	90	11
7	93	11
done	93	11
0	12	16
1	20	16
2	29	16
3	37	16
4	41	16
5	50	16
6	56	16
7	61	16
done	61	16
0	11	11
1	17	11
2	22	11
3	23	11
4	25	11
5	27	11
6	28	11
done	28	11
0	8	8
1	14	6
2	21	6
3	26	6
done	26	6
0	12	12
1	17	12
2	29	12
3	42	12
4	50	12
5	56	12
6	63	12
7	65	12
done	65	12
0	8	8
1	14	6
2	21	6
3	26	6
done	26	6
0	9	13
1	17	13
2	25	11
3	35	11
4	55	11
5	89	11
6	101	11
done	101	11
0	8	8
1	14	8
2	18	6
3	24	6
4	31	6
5	36	6
done	36	6
0	4	5
1	8	3
2	13	1
done	13	1
0	9	9
1	14	9
2	25	7
3	31	7
4	38	7
5	43	7
done	43	7
0	4	5
1	8	3
2	13	1
done	13	1
0	13	17
1	20	17
2	28	17
3	36	17
4	40	17
5	49	17
6	55	17
7	60	17
done	60	17
0	12	12
1	17	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	9	9
1	14	7
2	20	7
3	25	7
done	25	7
0	13	13
1	17	13
2	28	13
3	41	13
4	49	13
5	55	13
6	62	13
7	64	13
done	64	13
0	9	9
1	14	7
2	20	7
3	25	7
done	25	7
0	9	13
1	17	13
2	25	11
3	35	11
4	55	11
5	89	11
6	101	11
done	101	11
0	8	8
1	14	8
2	18	6
3	24	6
4	31	6
5	36	6
done	36	6
0	4	5
1	8	3
2	13	1
done	13	1
0	9	9
1	14	9
2	25	7
3	31	7
4	38	7
5	43	7
done	43	7
0	4	5
1	8	3
2	13	1
done	13	1
0	3	3
1	5	1
done	5	1
0	5	5
1	7	5
2	8	5
done	8	5
0	12	13
1	34	13
2	68	13
3	170	13
4	483	13
5	1758	13
done	5000	13
0	11	13
1	23	13
2	50	13
3	129	13
4	310	13
5	561	13
6	963	13
7	1788	13
done	5000	13
0	10	10
1	19	10
2	38	10
3	54	10
4	64	10
5	67	10
done	67	10
0	10	10
1	19	10
2	38	10
3	54	10
4	64	10
5	67	10
done	67	10
0	9	9
1	18	9
2	37	9
3	53	9
4	63	9
5	66	9
done	66	9
0	5	5
1	7	5
2	8	5
done	8	5
0	9	9
1	15	9
2	18	9
done	18	9
0	8	8
1	18	8
2	24	8
3	27	8
done	27	8
0	8	8
1	15	8
2	22	8
3	26	8
4	29	8
5	35	8
6	39	8
7	55	8
8	59	8
9	66	8
10	75	8
11	95	8
12	116	8
13	132	8
14	139	8
15	145	8
16	148	8
done	148	8
0	11	23
1	24	23
2	85	11
3	261	9
4	760	9
5	2798	9
done	5000	9
0	9	17
1	16	17
2	20	17
3	22	17
done	22	17
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	9	23
1	23	23
2	55	9
3	187	9
4	615	9
5	1968	9
done	5000	9
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	8	8
1	15	8
2	19	8
3	21	8
done	21	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	5	5
1	7	5
2	8	5
done	8	5
0	11	19
1	21	19
2	32	19
3	38	19
done	38	19
0	9	9
1	13	9
2	15	9
done	15	9
0	10	14
1	16	14
2	20	14
3	21	14
done	21	14
0	9	9
1	13	9
2	15	9
done	15	9
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	8	8
1	12	8
2	14	8
done	14	8
0	11	15
1	16	15
2	19	15
3	20	15
done	20	15
0	10	10
1	14	10
2	16	10
done	16	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	8	8
1	12	8
2	14	8
done	14	8
0	10	14
1	16	14
2	18	14
done	18	14
0	9	9
1	13	9
2	15	9
done	15	9
0	9	9
1	13	9
2	15	9
done	15	9
0	9	9
1	13	9
2	15	9
done	15	9
0	6	6
1	10	4
2	13	4
done	13	4
0	8	8
1	12	8
2	14	8
done	14	8
0	10	10
1	13	10
2	14	10
done	14	10
0	10	10
1	14	10
2	16	10
done	16	10
0	6	6
1	10	4
2	13	4
done	13	4
0	8	8
1	12	8
2	14	8
done	14	8
0	7	11
1	13	11
2	14	11
done	14	11
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	6	6
1	10	6
2	11	6
done	11	6
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	2	3
1	4	1
done	4	1
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	7	7
1	10	7
done	10	7
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	2	3
1	4	1
done	4	1
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	11	15
1	16	15
2	17	15
done	17	15
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	10	10
1	13	10
2	14	10
done	14	10
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	7	7
1	10	5
2	12	5
done	12	5
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	11	11
1	13	11
done	13	11
0	11	11
1	18	11
2	22	11
3	24	11
done	24	11
0	7	7
1	10	5
2	12	5
done	12	5
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	7	11
1	13	11
2	14	11
done	14	11
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	6	6
1	10	6
2	11	6
done	11	6
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	2	3
1	4	1
done	4	1
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	7	7
1	10	7
done	10	7
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	2	3
1	4	1
done	4	1
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	9	13
1	18	13
2	27	13
3	32	13
4	35	13
done	35	13
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	5	5
1	12	3
2	17	3
done	17	3
0	9	9
1	15	9
2	18	9
3	20	9
done	20	9
0	5	5
1	12	3
2	17	3
done	17	3
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	10	11
1	30	11
2	55	11
3	97	11
4	202	11
5	583	11
6	2459	11
done	5001	11
0	9	11
1	19	11
2	35	11
3	61	11
4	94	11
5	137	11
6	202	11
7	370	11
8	1677	11
done	5000	11
0	11	15
1	27	13
2	75	13
3	214	13
4	503	13
5	1212	13
6	2467	13
done	5000	13
0	7	7
1	17	7
2	37	7
3	64	7
4	110	7
5	157	7
6	227	7
7	408	7
8	644	7
9	711	7
10	715	7
done	715	7
0	15	15
1	30	14
2	52	14
3	96	14
4	211	14
5	552	14
6	2228	14
done	5000	14
0	14	14
1	25	14
2	38	14
3	62	14
4	85	14
5	111	14
6	140	14
7	174	14
8	226	14
9	309	14
10	398	14
11	426	14
12	492	14
13	572	14
14	573	14
done	573	14
0	14	14
1	28	14
2	48	14
3	87	14
4	173	14
5	406	14
6	1441	14
done	5000	14
0	15	29
1	26	29
2	39	29
3	63	29
4	86	29
5	112	29
6	141	29
7	175	29
8	227	29
9	310	29
10	399	29
11	427	29
12	493	29
13	573	29
14	574	29
done	574	29
0	14	14
1	25	14
2	38	14
3	62	14
4	85	14
5	111	14
6	140	14
7	174	14
8	226	14
9	309	14
10	398	14
11	426	14
12	492	14
13	572	14
14	573	14
done	573	14
0	15	41
1	39	41
2	116	15
3	490	15
4	2545	15
done	5001	15
0	14	14
1	25	14
2	38	14
3	62	14
4	85	14
5	111	14
6	140	14
7	174	14
8	226	14
9	309	14
10	398	14
11	426	14
12	492	14
13	572	14
14	573	14
done	573	14
0	14	14
1	25	14
2	38	14
3	62	14
4	85	14
5	111	14
6	140	14
7	174	14
8	226	14
9	309	14
10	398	14
11	426	14
12	492	14
13	572	14
14	573	14
done	573	14
0	16	17
1	46	17
2	131	17
3	435	17
4	1759	17
done	5000	17
0	17	41
1	50	37
2	142	37
3	485	31
4	1711	31
done	5000	31
0	15	27
1	41	27
2	103	27
3	299	27
4	876	27
5	2921	27
done	5000	27
0	13	13
1	25	13
2	45	13
3	71	13
4	99	13
5	130	13
6	165	13
7	225	13
8	327	13
9	492	13
10	529	13
11	548	13
12	553	13
done	553	13
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	3	3
1	4	3
done	4	3
0	13	15
1	25	15
2	46	15
3	71	13
4	98	11
5	142	11
6	219	11
7	318	11
8	362	11
9	431	11
10	509	11
11	510	11
done	510	11
0	13	15
1	25	15
2	46	15
3	71	13
4	98	11
5	142	11
6	219	11
7	318	11
8	362	11
9	431	11
10	509	11
11	510	11
done	510	11

prune258.0ms

Filtered

147 candidates to 214 candidates (-45.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	214	0	214
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	214	6	220

Merged error: 0.0b

Counts

220 → 6

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* 60.0 (/ (- x y) (- z t))) (* a 120.0))
0.0b	(/ (- x y) (- z t))
0.3b	(* 60.0 (/ (- x y) (- z t)))

rewrite43.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:

12.0ms	(+ (* 60.0 (/ (- x y) (- z t))) (* a 120.0))
9.0ms	(/ (- x y) (- z t))
16.0ms	(* 60.0 (/ (- x y) (- z t)))

series78.0ms

Counts

3 → 9

Calls

3 calls:

40.0ms	(+ (* 60.0 (/ (- x y) (- z t))) (* a 120.0))
19.0ms	(/ (- x y) (- z t))
18.0ms	(* 60.0 (/ (- x y) (- z t)))

simplify52.8s

Counts

122 → 122

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	9	9
1	19	9
2	32	9
3	52	9
4	80	9
5	103	9
6	124	9
7	133	9
8	141	9
done	141	9
0	12	12
1	21	12
2	30	12
3	39	12
4	45	12
5	55	12
6	62	12
7	74	12
8	97	12
9	111	12
10	117	12
done	117	12
0	11	11
1	22	11
2	32	11
3	43	11
4	53	11
5	62	11
6	67	11
7	76	11
8	93	11
9	112	11
10	120	11
done	120	11
0	10	10
1	23	10
2	42	10
3	72	10
4	119	10
5	156	10
6	189	10
7	216	10
8	240	10
9	247	10
10	264	10
11	266	10
done	266	10
0	10	10
1	22	10
2	41	10
3	79	10
4	160	10
5	330	10
6	679	10
7	1927	10
done	5000	10
0	15	29
1	34	29
2	141	15
3	641	13
4	2869	13
done	5000	13
0	13	29
1	33	29
2	98	13
3	400	13
4	1910	11
done	5000	11
0	11	21
1	21	21
2	34	21
3	54	21
4	82	21
5	105	21
6	126	21
7	135	21
8	143	21
done	143	21
0	10	10
1	20	10
2	33	10
3	53	10
4	81	10
5	104	10
6	125	10
7	134	10
8	142	10
done	142	10
0	11	29
1	31	29
2	95	11
3	391	11
4	1908	11
done	5000	11
0	10	10
1	20	10
2	33	10
3	53	10
4	81	10
5	104	10
6	125	10
7	134	10
8	142	10
done	142	10
0	10	10
1	20	10
2	33	10
3	53	10
4	81	10
5	104	10
6	125	10
7	134	10
8	142	10
done	142	10
0	11	11
1	19	11
2	23	11
3	25	11
done	25	11
0	11	11
1	19	11
2	23	11
3	25	11
done	25	11
0	12	12
1	19	12
2	24	12
3	28	12
4	29	12
done	29	12
0	12	12
1	19	12
2	24	12
3	28	12
4	29	12
done	29	12
0	11	19
1	21	19
2	27	19
3	29	19
done	29	19
0	10	10
1	18	10
2	22	10
3	24	10
done	24	10
0	13	21
1	26	21
2	57	21
3	97	21
4	153	21
5	167	21
done	167	21
0	12	16
1	21	16
2	33	16
3	48	16
4	61	16
5	63	16
done	63	16
0	9	13
1	18	11
2	36	11
3	73	11
4	111	11
done	111	11
0	13	17
1	21	17
2	32	17
3	47	17
4	60	17
5	62	17
done	62	17
0	9	13
1	18	11
2	36	11
3	73	11
4	111	11
done	111	11
0	12	16
1	21	16
2	34	16
3	47	16
4	59	16
done	59	16
0	11	11
1	18	11
2	23	11
3	27	11
4	28	11
done	28	11
0	8	8
1	15	6
2	23	6
3	32	6
4	38	6
done	38	6
0	12	12
1	18	12
2	22	12
3	26	12
4	27	12
done	27	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	13	17
1	21	17
2	41	17
3	55	17
4	83	17
5	89	17
6	109	17
7	135	17
8	149	17
9	154	17
10	155	17
11	157	17
12	158	17
done	158	17
0	12	12
1	18	12
2	30	12
3	34	12
4	43	12
5	45	12
6	51	12
7	55	12
8	61	12
9	63	12
done	63	12
0	9	9
1	15	7
2	30	7
3	39	7
4	53	7
done	53	7
0	13	13
1	18	13
2	29	13
3	33	13
4	42	13
5	44	13
6	50	13
7	54	13
8	60	13
9	62	13
done	62	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	12	13
1	35	13
2	69	13
3	137	13
4	327	13
5	1101	13
6	4969	13
done	5000	13
0	11	13
1	24	13
2	54	13
3	118	13
4	231	13
5	432	13
6	676	13
7	1131	13
8	3036	13
done	5001	13
0	10	10
1	20	10
2	33	10
3	53	10
4	81	10
5	104	10
6	125	10
7	134	10
8	142	10
done	142	10
0	10	10
1	20	10
2	33	10
3	53	10
4	81	10
5	104	10
6	125	10
7	134	10
8	142	10
done	142	10
0	9	9
1	19	9
2	32	9
3	52	9
4	80	9
5	103	9
6	124	9
7	133	9
8	141	9
done	141	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	9	9
1	15	9
2	18	9
done	18	9
0	8	8
1	18	8
2	24	8
3	27	8
done	27	8
0	8	8
1	15	8
2	22	8
3	26	8
4	29	8
5	35	8
6	39	8
7	55	8
8	59	8
9	66	8
10	75	8
11	95	8
12	116	8
13	132	8
14	139	8
15	145	8
16	148	8
done	148	8
0	11	23
1	24	23
2	85	11
3	261	9
4	760	9
5	2798	9
done	5000	9
0	9	17
1	16	17
2	20	17
3	22	17
done	22	17
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	9	23
1	23	23
2	55	9
3	187	9
4	615	9
5	1968	9
done	5000	9
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	8	8
1	15	8
2	19	8
3	21	8
done	21	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	5	5
1	7	5
2	8	5
done	8	5
0	11	19
1	21	19
2	32	19
3	38	19
done	38	19
0	9	9
1	13	9
2	15	9
done	15	9
0	10	14
1	16	14
2	20	14
3	21	14
done	21	14
0	9	9
1	13	9
2	15	9
done	15	9
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	8	8
1	12	8
2	14	8
done	14	8
0	11	15
1	16	15
2	19	15
3	20	15
done	20	15
0	10	10
1	14	10
2	16	10
done	16	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	8	8
1	12	8
2	14	8
done	14	8
0	10	14
1	16	14
2	18	14
done	18	14
0	9	9
1	13	9
2	15	9
done	15	9
0	9	9
1	13	9
2	15	9
done	15	9
0	9	9
1	13	9
2	15	9
done	15	9
0	6	6
1	10	4
2	13	4
done	13	4
0	8	8
1	12	8
2	14	8
done	14	8
0	10	10
1	13	10
2	14	10
done	14	10
0	10	10
1	14	10
2	16	10
done	16	10
0	6	6
1	10	4
2	13	4
done	13	4
0	8	8
1	12	8
2	14	8
done	14	8
0	7	11
1	13	11
2	14	11
done	14	11
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	6	6
1	10	6
2	11	6
done	11	6
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	2	3
1	4	1
done	4	1
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	7	7
1	10	7
done	10	7
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	2	3
1	4	1
done	4	1
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	11	15
1	16	15
2	17	15
done	17	15
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	10	10
1	13	10
2	14	10
done	14	10
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	7	7
1	10	5
2	12	5
done	12	5
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	11	11
1	13	11
done	13	11
0	11	11
1	18	11
2	22	11
3	24	11
done	24	11
0	7	7
1	10	5
2	12	5
done	12	5
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	7	11
1	13	11
2	14	11
done	14	11
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	6	6
1	10	6
2	11	6
done	11	6
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	2	3
1	4	1
done	4	1
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	7	7
1	10	7
done	10	7
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	2	3
1	4	1
done	4	1
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	9	13
1	18	13
2	27	13
3	32	13
4	35	13
done	35	13
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	5	5
1	12	3
2	17	3
done	17	3
0	9	9
1	15	9
2	18	9
3	20	9
done	20	9
0	5	5
1	12	3
2	17	3
done	17	3
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	10	11
1	30	11
2	55	11
3	97	11
4	202	11
5	583	11
6	2459	11
done	5001	11
0	9	11
1	19	11
2	35	11
3	61	11
4	94	11
5	137	11
6	202	11
7	370	11
8	1677	11
done	5000	11
0	11	15
1	27	13
2	75	13
3	214	13
4	503	13
5	1212	13
6	2467	13
done	5000	13
0	7	7
1	17	7
2	37	7
3	64	7
4	110	7
5	157	7
6	227	7
7	408	7
8	644	7
9	711	7
10	715	7
done	715	7
0	15	15
1	33	14
2	58	14
3	116	14
4	291	14
5	863	14
6	3448	14
done	5001	14
0	14	14
1	26	14
2	39	14
3	59	14
4	91	14
5	121	14
6	149	14
7	171	14
8	203	14
9	249	14
10	320	14
11	408	14
12	452	14
13	528	14
14	550	14
done	550	14
0	14	14
1	29	14
2	51	14
3	89	14
4	186	14
5	454	14
6	1464	14
done	5000	14
0	15	29
1	27	29
2	40	29
3	60	29
4	92	29
5	122	29
6	150	29
7	172	29
8	204	29
9	250	29
10	321	29
11	409	29
12	453	29
13	529	29
14	551	29
done	551	29
0	14	14
1	26	14
2	39	14
3	59	14
4	91	14
5	121	14
6	149	14
7	171	14
8	203	14
9	249	14
10	320	14
11	408	14
12	452	14
13	528	14
14	550	14
done	550	14
0	15	41
1	40	41
2	125	15
3	493	15
4	2284	15
done	5001	15
0	14	14
1	26	14
2	39	14
3	59	14
4	91	14
5	121	14
6	149	14
7	171	14
8	203	14
9	249	14
10	320	14
11	408	14
12	452	14
13	528	14
14	550	14
done	550	14
0	14	14
1	26	14
2	39	14
3	59	14
4	91	14
5	121	14
6	149	14
7	171	14
8	203	14
9	249	14
10	320	14
11	408	14
12	452	14
13	528	14
14	550	14
done	550	14
0	16	17
1	47	17
2	140	17
3	455	17
4	1998	17
done	5000	17
0	17	41
1	54	37
2	161	37
3	490	31
4	1752	31
done	5001	31
0	15	27
1	45	27
2	115	27
3	305	27
4	955	27
5	2895	27
done	5000	27
0	13	13
1	26	13
2	46	13
3	66	13
4	100	13
5	136	13
6	168	13
7	198	13
8	249	13
9	337	13
10	500	13
11	537	13
12	556	13
13	561	13
done	561	13
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	3	3
1	4	3
done	4	3
0	13	15
1	25	15
2	46	15
3	71	13
4	98	11
5	142	11
6	219	11
7	318	11
8	362	11
9	431	11
10	509	11
11	510	11
done	510	11
0	13	15
1	25	15
2	46	15
3	71	13
4	98	11
5	142	11
6	219	11
7	318	11
8	362	11
9	431	11
10	509	11
11	510	11
done	510	11

prune140.0ms

Filtered

86 candidates to 122 candidates (-41.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	122	6	128

Merged error: 0.0b

Counts

128 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (- z t))
0.0b	(+ (* (* 60.0 (- x y)) (/ 1 (- z t))) (* a 120.0))
0.0b	(* 60.0 (- x y))
0.3b	(* (* 60.0 (- x y)) (/ 1 (- z t)))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

43×	`add-sqr-sqrt`
41×	`*-un-lft-identity`
32×	`add-exp-log`
30×	`times-frac`
26×	`associate-r`
25×	`add-cube-cbrt`
20×	`add-cbrt-cube`
13×	`prod-exp`
12×	`pow1`
8×	`distribute-lft-out--` `difference-of-squares`
7×	`associate-*r/` `cbrt-unprod`
6×	`div-exp` `add-log-exp`
5×	`flip3--` `associate-/r*` `flip--`
4×	`associate-l` `pow-prod-down` `associate-/r/`
3×	`cbrt-undiv` `rec-exp` `1-exp` `associate-/l*`
2×	`distribute-rgt-in` `frac-times` `sub-neg` `distribute-lft-in` `associate-l/` `-commutative` `div-inv`
1×	`+-commutative` `pow-flip` `frac-2neg` `flip3-+` `clear-num` `sum-log` `un-div-inv` `flip-+` `inv-pow` `unswap-sqr`

Counts

4 → 128

Calls

4 calls:

7.0ms	(/ 1 (- z t))
14.0ms	(+ (* (* 60.0 (- x y)) (/ 1 (- z t))) (* a 120.0))
8.0ms	(* 60.0 (- x y))
19.0ms	(* (* 60.0 (- x y)) (/ 1 (- z t)))

series75.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ 1 (- z t))
45.0ms	(+ (* (* 60.0 (- x y)) (/ 1 (- z t))) (* a 120.0))
5.0ms	(* 60.0 (- x y))
19.0ms	(* (* 60.0 (- x y)) (/ 1 (- z t)))

simplify2.3min

Counts

140 → 140

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	23	11
2	45	9
3	130	9
4	215	9
5	349	9
6	514	9
7	616	9
8	676	9
9	700	9
done	700	9
0	11	11
1	23	11
2	45	9
3	130	9
4	215	9
5	349	9
6	514	9
7	616	9
8	676	9
9	700	9
done	700	9
0	13	13
1	22	12
2	33	12
3	36	12
4	42	12
5	51	12
6	64	12
7	82	12
8	98	12
9	105	12
10	122	12
11	124	12
done	124	12
0	14	14
1	26	13
2	51	12
3	97	12
4	139	12
5	225	12
6	380	12
7	412	12
8	455	12
done	455	12
0	15	15
1	29	14
2	50	12
3	104	12
4	146	12
5	232	12
6	386	12
7	419	12
8	465	12
done	465	12
0	14	14
1	28	13
2	45	12
3	77	12
4	126	12
5	210	12
6	375	12
7	410	12
8	449	12
done	449	12
0	12	12
1	22	11
2	37	11
3	49	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	13	13
1	26	12
2	51	11
3	96	11
4	165	11
5	256	11
6	397	11
7	429	11
8	475	11
done	475	11
0	14	14
1	29	13
2	51	11
3	104	11
4	175	11
5	265	11
6	406	11
7	439	11
8	487	11
done	487	11
0	13	13
1	28	12
2	47	11
3	82	11
4	144	11
5	218	11
6	363	11
7	402	11
8	441	11
done	441	11
0	12	12
1	27	12
2	61	10
3	168	10
4	297	10
5	500	10
6	762	10
7	1016	10
8	1108	10
9	1150	10
done	1150	10
0	12	12
1	26	12
2	59	10
3	180	10
4	373	10
5	801	10
6	2001	10
done	5000	10
0	19	35
1	45	31
2	163	15
3	940	15
done	5001	15
0	17	35
1	42	35
2	151	17
3	689	17
4	3521	13
done	5000	13
0	17	35
1	47	31
2	173	13
3	968	13
done	5000	13
0	15	35
1	44	35
2	161	15
3	756	15
4	3883	11
done	5000	11
0	13	25
1	25	25
2	47	21
3	132	21
4	217	21
5	349	21
6	511	21
7	611	21
8	674	21
9	699	21
done	699	21
0	12	12
1	24	12
2	46	10
3	131	10
4	216	10
5	350	10
6	508	10
7	608	10
8	671	10
9	695	10
done	695	10
0	13	35
1	35	35
2	143	11
3	858	11
4	4171	11
done	5001	11
0	12	12
1	24	12
2	46	10
3	131	10
4	216	10
5	350	10
6	508	10
7	608	10
8	671	10
9	695	10
done	695	10
0	12	12
1	24	12
2	46	10
3	131	10
4	216	10
5	350	10
6	508	10
7	608	10
8	671	10
9	695	10
done	695	10
0	10	11
1	31	9
2	71	9
3	188	9
4	526	9
5	1885	9
done	5000	9
0	11	15
1	21	13
2	50	13
3	153	13
4	374	13
5	894	13
6	2001	13
7	3996	13
done	5000	13
0	9	11
1	20	9
2	51	9
3	155	9
4	355	9
5	695	9
6	940	9
7	1439	9
8	4549	9
done	5000	9
0	7	7
1	11	7
2	26	7
3	55	7
4	103	7
5	153	7
6	191	7
7	277	7
8	466	7
9	714	7
10	781	7
11	785	7
done	785	7
0	13	19
1	25	19
2	46	19
3	91	19
4	147	19
5	199	19
6	238	19
7	243	19
done	243	19
0	12	12
1	22	12
2	36	12
3	63	12
4	84	12
5	103	12
6	109	12
done	109	12
0	15	21
1	33	19
2	87	17
3	224	15
4	458	15
5	754	15
6	1105	15
7	1291	15
8	1359	15
done	1359	15
0	14	16
1	28	14
2	59	12
3	133	10
4	277	10
5	446	10
6	576	10
7	616	10
8	619	10
done	619	10
0	10	13
1	22	9
2	56	7
3	112	5
4	187	5
5	236	5
6	265	5
7	307	5
8	375	5
9	428	5
10	436	5
done	436	5
0	15	17
1	28	15
2	58	13
3	132	11
4	276	11
5	441	11
6	575	11
7	614	11
8	617	11
done	617	11
0	10	13
1	22	9
2	56	7
3	112	5
4	187	5
5	236	5
6	265	5
7	307	5
8	375	5
9	428	5
10	436	5
done	436	5
0	14	18
1	28	17
2	60	17
3	153	15
4	350	15
5	623	15
6	968	15
7	1157	15
8	1203	15
done	1203	15
0	13	13
1	25	12
2	47	12
3	98	10
4	176	10
5	299	10
6	429	10
7	476	10
8	480	10
done	480	10
0	9	10
1	19	7
2	39	5
3	91	5
4	166	5
5	220	5
6	269	5
7	311	5
8	379	5
9	431	5
10	439	5
done	439	5
0	14	14
1	25	13
2	46	13
3	99	11
4	177	11
5	302	11
6	433	11
7	479	11
8	483	11
done	483	11
0	9	10
1	19	7
2	39	5
3	91	5
4	166	5
5	220	5
6	269	5
7	311	5
8	379	5
9	431	5
10	439	5
done	439	5
0	13	17
1	27	17
2	58	15
3	191	15
4	382	15
5	634	15
6	984	15
7	1174	15
8	1237	15
done	1237	15
0	12	12
1	24	12
2	46	10
3	128	10
4	202	10
5	319	10
6	447	10
7	491	10
8	495	10
done	495	10
0	8	9
1	18	7
2	38	5
3	90	5
4	165	5
5	218	5
6	265	5
7	307	5
8	375	5
9	422	5
10	430	5
done	430	5
0	13	13
1	24	13
2	45	11
3	127	11
4	201	11
5	318	11
6	453	11
7	497	11
8	500	11
done	500	11
0	8	9
1	18	7
2	38	5
3	90	5
4	165	5
5	218	5
6	265	5
7	307	5
8	375	5
9	422	5
10	430	5
done	430	5
0	7	7
1	15	5
2	34	5
3	67	5
4	92	5
5	112	5
6	130	5
7	134	5
done	134	5
0	7	7
1	15	5
2	34	5
3	67	5
4	92	5
5	112	5
6	130	5
7	134	5
done	134	5
0	14	15
1	39	15
2	82	13
3	218	13
4	569	13
5	2355	13
done	5000	13
0	13	15
1	28	15
2	62	13
3	210	13
4	534	13
5	1243	13
6	2282	13
7	3876	13
done	5000	13
0	9	9
1	18	9
2	29	7
3	67	7
4	114	7
5	151	7
6	188	7
7	203	7
8	213	7
9	214	7
done	214	7
0	7	7
1	15	5
2	34	5
3	67	5
4	92	5
5	112	5
6	130	5
7	134	5
done	134	5
0	14	15
1	39	15
2	82	13
3	253	13
4	860	13
5	3500	13
done	5000	13
0	13	15
1	28	15
2	62	13
3	234	13
4	699	13
5	1511	13
6	2324	13
7	3674	13
done	5000	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	17	17
1	37	16
2	76	14
3	217	14
4	527	14
5	1573	14
done	5001	14
0	16	16
1	30	16
2	52	14
3	137	14
4	230	14
5	372	14
6	539	14
7	661	14
8	803	14
9	1067	14
10	1513	14
11	1759	14
12	2031	14
13	2109	14
14	2118	14
done	2118	14
0	16	16
1	33	16
2	66	14
3	181	14
4	406	14
5	1088	14
6	3454	14
done	5001	14
0	17	33
1	31	33
2	53	29
3	138	29
4	231	29
5	373	29
6	538	29
7	659	29
8	795	29
9	1057	29
10	1499	29
11	1743	29
12	2004	29
13	2075	29
14	2084	29
done	2084	29
0	16	16
1	30	16
2	52	14
3	137	14
4	230	14
5	372	14
6	539	14
7	661	14
8	803	14
9	1067	14
10	1513	14
11	1759	14
12	2031	14
13	2109	14
14	2118	14
done	2118	14
0	17	47
1	44	47
2	146	15
3	736	15
4	3786	15
done	5001	15
0	16	16
1	30	16
2	52	14
3	137	14
4	230	14
5	372	14
6	539	14
7	661	14
8	803	14
9	1067	14
10	1513	14
11	1759	14
12	2031	14
13	2109	14
14	2118	14
done	2118	14
0	16	16
1	30	16
2	52	14
3	137	14
4	230	14
5	372	14
6	539	14
7	661	14
8	803	14
9	1067	14
10	1513	14
11	1759	14
12	2031	14
13	2109	14
14	2118	14
done	2118	14
0	18	19
1	51	19
2	169	17
3	762	17
4	3657	17
done	5000	17
0	19	47
1	58	43
2	212	37
3	976	31
4	3660	31
done	5001	31
0	17	31
1	49	31
2	156	27
3	616	27
4	1841	27
done	5000	27
0	15	15
1	30	15
2	59	13
3	144	13
4	241	13
5	389	13
6	566	13
7	698	13
8	886	13
9	1389	13
10	1983	13
11	2260	13
12	2331	13
13	2335	13
done	2335	13
0	2	2
1	5	1
done	5	1
0	5	5
1	7	5
2	8	5
done	8	5
0	6	6
1	10	5
2	15	5
3	17	5
4	23	5
5	28	5
done	28	5
0	7	7
1	13	6
2	15	5
3	21	5
4	27	5
5	32	5
done	32	5
0	6	6
1	14	5
2	16	5
3	20	5
4	22	5
5	28	5
6	33	5
done	33	5
0	6	6
1	10	6
2	11	6
done	11	6
0	9	17
1	21	13
2	46	7
3	112	7
4	275	7
5	740	7
6	2085	7
done	5000	7
0	7	13
1	11	13
2	12	13
done	12	13
0	6	6
1	10	6
2	11	6
done	11	6
0	7	17
1	18	17
2	35	7
3	78	7
4	115	7
5	198	7
6	378	7
7	954	7
8	2476	7
done	5000	7
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	10	6
2	11	6
done	11	6
0	2	2
1	5	1
done	5	1
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	15
1	19	13
2	29	11
3	35	11
done	35	11
0	7	7
1	11	6
2	12	6
done	12	6
0	8	10
1	14	8
2	17	6
3	18	6
done	18	6
0	7	7
1	11	6
2	12	6
done	12	6
0	4	7
1	8	3
2	12	1
done	12	1
0	6	6
1	10	5
2	11	5
done	11	5
0	9	11
1	14	9
2	16	7
3	17	7
done	17	7
0	8	8
1	12	7
2	13	7
done	13	7
0	4	7
1	8	3
2	12	1
done	12	1
0	6	6
1	10	5
2	11	5
done	11	5
0	8	12
1	14	11
2	15	11
done	15	11
0	7	7
1	11	6
2	12	6
done	12	6
0	7	7
1	11	6
2	12	6
done	12	6
0	7	7
1	11	6
2	12	6
done	12	6
0	3	4
1	5	1
done	5	1
0	6	6
1	10	5
2	11	5
done	11	5
0	8	8
1	11	7
done	11	7
0	8	8
1	12	7
2	13	7
done	13	7
0	3	4
1	5	1
done	5	1
0	6	6
1	10	5
2	11	5
done	11	5
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	10	6
2	11	6
done	11	6
0	2	3
1	4	1
done	4	1
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	10	7
done	10	7
0	7	7
1	11	7
2	12	7
done	12	7
0	2	3
1	4	1
done	4	1
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	12	3
2	17	3
done	17	3
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	10	6
2	11	6
done	11	6
0	2	3
1	4	1
done	4	1
0	7	7
1	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	6	6
1	13	5
2	16	5
3	18	3
4	23	3
5	27	3
done	27	3
0	6	6
1	13	5
2	16	5
3	18	3
4	23	3
5	27	3
done	27	3
0	5	5
1	12	3
2	17	3
done	17	3
0	8	9
1	25	9
2	47	9
3	83	9
4	175	9
5	519	9
6	2307	9
done	5000	9
0	7	9
1	14	9
2	23	9
3	40	9
4	65	9
5	106	9
6	164	9
7	332	9
8	1645	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	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	3	3
1	4	3
done	4	3
0	13	15
1	25	15
2	46	15
3	71	13
4	98	11
5	142	11
6	219	11
7	318	11
8	362	11
9	431	11
10	509	11
11	510	11
done	510	11
0	13	15
1	25	15
2	46	15
3	71	13
4	98	11
5	142	11
6	219	11
7	318	11
8	362	11
9	431	11
10	509	11
11	510	11
done	510	11
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune145.0ms

Filtered

87 candidates to 140 candidates (-60.9%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	140	0	140
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	140	6	146

Merged error: 0.0b

Counts

146 → 6

regimes1.1s

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	13
1	15	13
done	15	13

end0.0ms

sample1.0s

Algorithm

intervals

Results

391.0ms	8528×	body	80	valid
11.0ms	54×	body	1280	valid
7.0ms	27×	body	2560	valid
5.0ms	29×	body	640	valid
3.0ms	22×	body	320	valid
1.0ms	13×	body	160	valid

Details

sample35.0ms

simplify607.0ms

prune4.0ms

localize10.0ms

rewrite34.0ms

series67.0ms

simplify56.8s

prune139.0ms

localize11.0ms

rewrite75.0ms

series106.0ms

simplify1.3min

prune258.0ms

localize11.0ms

rewrite43.0ms

series78.0ms

simplify52.8s

prune140.0ms

localize13.0ms

rewrite53.0ms

series75.0ms

simplify2.3min

prune145.0ms

regimes1.1s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.0s

Profiling