Details

sample63.0ms

Algorithm

intervals

Results

23.0ms

379×

body

valid

simplify928.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	17
1	32	17
2	68	17
3	121	17
4	192	17
5	271	17
6	393	17
7	553	17
8	727	17
9	776	17
done	776	17

prune5.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.3b

Counts

2 → 1

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
0.0b	(+ (* x y) (/ (* z t) 16.0))
0.2b	(/ (* a b) 4.0)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-log-exp`
10×	`*-un-lft-identity`
8×	`add-exp-log` `add-cbrt-cube`
5×	`add-sqr-sqrt` `add-cube-cbrt` `sum-log`
3×	`pow1` `associate-+l+` `times-frac` `associate-/r*`
2×	`cbrt-undiv` `+-commutative` `flip3-+` `diff-log` `div-exp` `flip-+` `distribute-lft-out`
1×	`associate-+l-` `sub-neg` `frac-2neg` `prod-exp` `associate--l+` `clear-num` `cbrt-unprod` `div-inv` `associate-/l*` `distribute-lft-out--`

Counts

3 → 51

Calls

3 calls:

13.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
6.0ms	(+ (* x y) (/ (* z t) 16.0))
5.0ms	(/ (* a b) 4.0)

series78.0ms

Counts

3 → 9

Calls

3 calls:

55.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
18.0ms	(+ (* x y) (/ (* z t) 16.0))
5.0ms	(/ (* a b) 4.0)

simplify1.2min

Counts

60 → 60

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	72	8
8	88	8
9	95	8
10	112	8
11	114	8
done	114	8
0	7	7
1	13	7
2	19	7
3	28	7
4	31	7
5	37	7
6	46	7
7	59	7
8	77	7
9	93	7
10	100	7
11	117	7
12	119	7
done	119	7
0	6	6
1	12	6
2	24	6
3	43	6
4	59	6
5	67	6
6	79	6
7	97	6
8	113	6
9	120	6
10	137	6
11	139	6
done	139	6
0	6	6
1	9	6
2	13	6
3	18	6
4	27	6
5	40	6
6	73	6
7	156	6
8	369	6
9	1012	6
10	4069	6
done	5000	6
0	11	17
1	26	17
2	122	11
3	554	11
4	2264	9
done	5000	9
0	9	17
1	28	17
2	129	9
3	692	7
4	2636	7
5	4904	7
done	5000	7
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	7	17
1	17	17
2	58	7
3	237	7
4	990	7
5	2904	7
done	5001	7
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	4	4
1	9	4
2	11	4
done	11	4
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	5	5
1	8	5
2	10	5
done	10	5
0	7	9
1	15	9
2	29	9
3	42	9
4	46	9
done	46	9
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	3	3
done	3	3
0	11	11
1	20	10
2	31	10
3	48	10
4	91	10
5	221	10
6	783	10
7	4125	10
done	5000	10
0	10	10
1	15	10
2	19	10
3	22	10
4	23	10
done	23	10
0	10	10
1	18	10
2	27	10
3	39	10
4	65	10
5	156	10
6	515	10
7	2315	10
done	5001	10
0	11	21
1	16	21
2	20	21
3	23	21
4	24	21
done	24	21
0	10	10
1	15	10
2	19	10
3	22	10
4	23	10
done	23	10
0	11	29
1	29	29
2	97	11
3	392	11
4	1565	11
done	5001	11
0	10	10
1	15	10
2	19	10
3	22	10
4	23	10
done	23	10
0	10	10
1	15	10
2	19	10
3	22	10
4	23	10
done	23	10
0	12	13
1	36	13
2	110	13
3	362	13
4	1393	13
done	5000	13
0	13	29
1	40	23
2	122	23
3	377	23
4	1016	23
5	1779	23
6	2189	23
7	2507	23
8	3907	23
done	5001	23
0	11	19
1	31	19
2	75	19
3	208	19
4	656	19
5	1520	19
6	2266	19
7	3173	19
done	5000	19
0	9	9
1	15	9
2	24	9
3	38	9
4	51	9
5	54	9
done	54	9
0	21	21
1	38	20
2	73	19
3	162	18
4	414	18
5	1353	18
done	5000	18
0	20	20
1	36	19
2	68	18
3	148	18
4	334	18
5	915	18
done	5000	18
0	19	19
1	37	18
2	75	18
3	176	18
4	342	18
5	773	18
6	3913	18
done	5000	18
0	18	18
1	33	18
2	69	18
3	122	18
4	193	18
5	272	18
6	394	18
7	554	18
8	729	18
9	778	18
done	778	18
0	18	18
1	36	18
2	83	18
3	179	18
4	359	18
5	783	18
6	3442	18
done	5000	18
0	19	37
1	34	37
2	70	37
3	123	37
4	194	37
5	273	37
6	394	37
7	554	37
8	729	37
9	778	37
done	778	37
0	18	18
1	33	18
2	69	18
3	122	18
4	193	18
5	272	18
6	394	18
7	554	18
8	729	18
9	778	18
done	778	18
0	19	53
1	47	53
2	139	19
3	756	19
done	5000	19
0	18	18
1	33	18
2	69	18
3	122	18
4	193	18
5	272	18
6	394	18
7	554	18
8	729	18
9	778	18
done	778	18
0	18	18
1	33	18
2	69	18
3	122	18
4	193	18
5	272	18
6	394	18
7	554	18
8	729	18
9	778	18
done	778	18
0	20	21
1	46	21
2	98	21
3	342	21
4	2019	21
done	5000	21
0	21	53
1	41	51
2	104	51
3	373	37
4	1948	37
done	5001	37
0	19	35
1	36	35
2	86	35
3	320	35
4	1780	35
done	5001	35
0	17	17
1	33	17
2	70	17
3	138	17
4	207	17
5	294	17
6	437	17
7	639	17
8	754	17
9	768	17
done	768	17
0	17	17
1	32	17
2	68	17
3	121	17
4	192	17
5	271	17
6	393	17
7	553	17
8	727	17
9	776	17
done	776	17
0	17	17
1	32	17
2	68	17
3	121	17
4	192	17
5	271	17
6	393	17
7	553	17
8	727	17
9	776	17
done	776	17
0	8	8
1	14	8
2	26	7
3	39	7
4	48	7
5	51	7
done	51	7
0	13	13
1	24	13
2	46	13
3	72	13
4	95	13
5	103	13
6	112	13
7	143	13
8	216	13
9	311	13
10	313	13
done	313	13
0	8	8
1	14	8
2	26	7
3	39	7
4	48	7
5	51	7
done	51	7
0	7	7
1	12	7
2	17	7
3	20	7
4	21	7
done	21	7
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	1	1
done	1	1
0	9	9
1	15	9
2	21	9
done	21	9
0	9	9
1	15	9
2	21	9
done	21	9
0	1	1
done	1	1
0	15	15
1	29	15
2	58	15
3	89	15
4	97	15
5	112	15
6	151	15
7	227	15
8	315	15
9	322	15
10	363	15
11	437	15
done	437	15
0	15	15
1	29	15
2	58	15
3	89	15
4	97	15
5	112	15
6	151	15
7	227	15
8	315	15
9	322	15
10	363	15
11	437	15
done	437	15

prune106.0ms

Filtered

49 candidates to 60 candidates (-22.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	58	2	60
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	59	2	61

Merged error: 0b

Counts

61 → 2

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (- (+ (* x y) (/ (* z t) 16.0)) (* a (/ b 4.0))) c)
0.0b	(* a (/ b 4.0))
0.0b	(+ (* x y) (/ (* z t) 16.0))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
14×	`add-log-exp`
13×	`-un-lft-identity` `associate-r*`
11×	`add-cube-cbrt`
10×	`times-frac`
8×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `sum-log`
3×	`associate-+l+` `associate-l`
2×	`+-commutative` `flip3-+` `diff-log` `prod-exp` `cbrt-unprod` `flip-+` `unswap-sqr`
1×	`cbrt-undiv` `associate-+l-` `sub-neg` `associate-r/` `div-exp` `pow-prod-down` `associate--l+` `-commutative` `div-inv` `distribute-lft-out`

Counts

3 → 61

Calls

3 calls:

12.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (* a (/ b 4.0))) c)
8.0ms	(* a (/ b 4.0))
6.0ms	(+ (* x y) (/ (* z t) 16.0))

series76.0ms

Counts

3 → 9

Calls

3 calls:

58.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (* a (/ b 4.0))) c)
4.0ms	(* a (/ b 4.0))
14.0ms	(+ (* x y) (/ (* z t) 16.0))

simplify1.1min

Counts

70 → 70

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	11	11
1	20	10
2	31	10
3	48	10
4	91	10
5	221	10
6	783	10
7	4125	10
done	5000	10
0	10	10
1	15	10
2	19	10
3	22	10
4	23	10
done	23	10
0	10	10
1	18	10
2	27	10
3	39	10
4	65	10
5	156	10
6	515	10
7	2315	10
done	5001	10
0	11	21
1	16	21
2	20	21
3	23	21
4	24	21
done	24	21
0	10	10
1	15	10
2	19	10
3	22	10
4	23	10
done	23	10
0	11	29
1	29	29
2	97	11
3	392	11
4	1565	11
done	5001	11
0	10	10
1	15	10
2	19	10
3	22	10
4	23	10
done	23	10
0	10	10
1	15	10
2	19	10
3	22	10
4	23	10
done	23	10
0	12	13
1	36	13
2	110	13
3	362	13
4	1393	13
done	5000	13
0	13	29
1	40	23
2	122	23
3	377	23
4	1016	23
5	1779	23
6	2189	23
7	2507	23
8	3907	23
done	5001	23
0	11	19
1	31	19
2	75	19
3	208	19
4	656	19
5	1520	19
6	2266	19
7	3173	19
done	5000	19
0	9	9
1	15	9
2	24	9
3	38	9
4	51	9
5	54	9
done	54	9
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	8	8
1	13	8
2	20	8
3	29	8
4	35	8
5	45	8
6	52	8
7	64	8
8	87	8
9	101	8
10	107	8
done	107	8
0	7	7
1	11	7
2	17	7
3	26	7
4	36	7
5	45	7
6	50	7
7	59	7
8	76	7
9	95	7
10	103	7
done	103	7
0	6	6
1	12	6
2	21	6
3	35	6
4	55	6
5	69	6
6	81	6
7	99	6
8	115	6
9	122	6
10	139	6
11	141	6
done	141	6
0	6	6
1	11	6
2	20	6
3	34	6
4	67	6
5	148	6
6	360	6
7	1389	6
done	5000	6
0	11	17
1	26	17
2	104	11
3	444	9
4	1700	9
done	5000	9
0	9	17
1	22	17
2	71	9
3	225	9
4	778	7
5	2424	7
done	5001	7
0	7	13
1	10	13
2	13	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	7	17
1	20	17
2	74	7
3	270	7
4	827	7
5	2540	7
done	5000	7
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	7	11
1	10	11
2	12	11
done	12	11
0	6	6
1	7	6
done	7	6
0	9	13
1	18	13
2	47	13
3	86	13
4	142	13
5	158	13
done	158	13
0	8	10
1	13	10
2	23	10
3	38	10
4	51	10
5	53	10
done	53	10
0	7	9
1	14	7
2	31	7
3	68	7
4	98	7
done	98	7
0	8	10
1	13	10
2	24	10
3	38	10
4	50	10
done	50	10
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	6	6
1	11	4
2	18	4
3	27	4
4	33	4
done	33	4
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	3	3
1	4	3
done	4	3
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	3	3
1	4	3
done	4	3
0	21	21
1	40	20
2	79	19
3	200	18
4	721	18
5	3895	18
done	5000	18
0	20	20
1	38	19
2	75	18
3	178	18
4	536	18
5	2414	18
done	5000	18
0	19	19
1	37	18
2	82	18
3	193	18
4	426	18
5	1379	18
done	5000	18
0	18	18
1	33	18
2	72	18
3	124	18
4	192	18
5	271	18
6	392	18
7	553	18
8	727	18
9	776	18
done	776	18
0	18	18
1	36	18
2	86	18
3	190	18
4	379	18
5	991	18
done	5000	18
0	19	37
1	34	37
2	73	37
3	125	37
4	192	37
5	271	37
6	393	37
7	553	37
8	729	37
9	778	37
done	778	37
0	18	18
1	33	18
2	72	18
3	124	18
4	192	18
5	271	18
6	392	18
7	553	18
8	727	18
9	776	18
done	776	18
0	19	53
1	47	53
2	142	19
3	783	19
done	5002	19
0	18	18
1	33	18
2	72	18
3	124	18
4	192	18
5	271	18
6	392	18
7	553	18
8	727	18
9	776	18
done	776	18
0	18	18
1	33	18
2	72	18
3	124	18
4	192	18
5	271	18
6	392	18
7	553	18
8	727	18
9	776	18
done	776	18
0	20	21
1	46	21
2	101	21
3	368	21
4	2204	21
done	5000	21
0	21	53
1	41	51
2	107	51
3	400	37
4	2009	37
done	5001	37
0	19	35
1	36	35
2	89	35
3	334	35
4	1821	35
done	5000	35
0	17	17
1	33	17
2	73	17
3	140	17
4	211	17
5	298	17
6	442	17
7	643	17
8	758	17
9	772	17
done	772	17
0	17	17
1	32	17
2	71	17
3	123	17
4	193	17
5	272	17
6	394	17
7	555	17
8	730	17
9	779	17
done	779	17
0	8	8
1	16	8
2	28	7
3	38	7
4	49	7
5	52	7
done	52	7
0	13	13
1	24	13
2	49	13
3	74	13
4	95	13
5	103	13
6	112	13
7	143	13
8	216	13
9	311	13
10	313	13
done	313	13
0	8	8
1	16	8
2	28	7
3	38	7
4	49	7
5	52	7
done	52	7
0	7	7
1	12	7
2	16	7
3	20	7
4	21	7
done	21	7
0	1	1
done	1	1
0	9	9
1	15	9
2	21	9
done	21	9
0	9	9
1	15	9
2	21	9
done	21	9
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	1	1
done	1	1
0	15	15
1	29	15
2	58	15
3	89	15
4	97	15
5	112	15
6	151	15
7	227	15
8	315	15
9	322	15
10	363	15
11	437	15
done	437	15
0	15	15
1	29	15
2	58	15
3	89	15
4	97	15
5	112	15
6	151	15
7	227	15
8	315	15
9	322	15
10	363	15
11	437	15
done	437	15

prune106.0ms

Filtered

56 candidates to 70 candidates (-25.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	70	2	72

Merged error: 0b

Counts

72 → 2

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (* a b) 4.0)
0.3b	(* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)))
5.1b	(- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c))
37.8b	(/ (- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c)) (- (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))

rewrite104.0ms

Algorithm

rewrite-expression-head

Rules

61×	`*-un-lft-identity`
42×	`add-sqr-sqrt`
27×	`times-frac`
22×	`add-cube-cbrt`
21×	`distribute-lft-out--`
20×	`frac-sub`
17×	`difference-of-squares`
16×	`frac-times`
13×	`add-exp-log` `flip3--` `add-cbrt-cube` `flip--`
11×	`pow1`
10×	`flip3-+` `associate--l+` `flip-+`
9×	`associate-/r*`
7×	`swap-sqr`
6×	`distribute-rgt-in` `distribute-lft-in` `add-log-exp`
5×	`sub-neg` `associate-r` `associate-l` `associate-/l*`
4×	`associate-r/` `associate-l/`
3×	`cbrt-undiv` `div-exp`
2×	`frac-2neg` `prod-exp` `clear-num` `associate-/r/` `cbrt-unprod` `div-inv` `associate-/l/`
1×	`pow2` `pow-plus` `diff-log` `div-sub` `pow-prod-down` `pow-sqr` `*-commutative` `pow-prod-up` `unswap-sqr`

Counts

4 → 154

Calls

4 calls:

6.0ms	(/ (* a b) 4.0)
27.0ms	(* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)))
24.0ms	(- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c))
40.0ms	(/ (- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c)) (- (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))

series3.0s

Counts

4 → 12

Calls

4 calls:

4.0ms	(/ (* a b) 4.0)
180.0ms	(* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)))
2.5s	(- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c))
299.0ms	(/ (- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c)) (- (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))

simplify6.1min

Counts

166 → 166

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	23	55
1	45	55
2	114	55
3	430	55
4	2353	20
done	5000	20
0	22	54
1	48	54
2	126	54
3	483	20
4	2592	18
done	5000	18
0	22	54
1	45	54
2	122	54
3	472	20
4	2591	18
done	5001	18
0	25	161
1	54	161
2	198	57
3	1279	21
done	5000	21
0	23	109
1	46	109
2	120	109
3	468	41
4	2571	37
done	5000	37
0	22	54
1	45	54
2	119	54
3	467	20
4	2566	18
done	5000	18
0	23	161
1	53	161
2	161	55
3	889	21
done	5001	21
0	22	54
1	45	54
2	119	54
3	467	20
4	2566	18
done	5000	18
0	22	54
1	45	54
2	119	54
3	467	20
4	2566	18
done	5000	18
0	20	36
1	37	36
2	94	36
3	377	36
4	2288	35
done	5000	35
0	18	18
1	34	18
2	74	18
3	160	18
4	311	17
5	485	17
6	662	17
7	769	17
8	811	17
done	811	17
0	19	49
1	37	49
2	97	49
3	318	35
4	1206	35
done	5000	35
0	19	21
1	37	21
2	82	21
3	161	21
4	264	21
5	446	21
6	767	21
7	1205	21
8	1599	21
9	1762	21
10	1808	21
11	1810	21
done	1810	21
0	25	111
1	51	111
2	126	111
3	441	111
4	2358	111
done	5000	111
0	23	55
1	43	55
2	109	55
3	417	55
4	2330	55
done	5000	55
0	24	92
1	46	92
2	114	92
3	424	92
4	2344	92
done	5001	92
0	23	55
1	43	55
2	109	55
3	417	55
4	2330	55
done	5000	55
0	23	75
1	44	73
2	100	73
3	339	73
4	1801	73
done	5000	73
0	22	54
1	42	54
2	108	54
3	416	54
4	2331	54
done	5001	54
0	25	93
1	45	93
2	97	93
3	333	93
4	1797	93
done	5000	93
0	24	56
1	43	56
2	94	56
3	328	56
4	1787	56
done	5001	56
0	23	75
1	44	73
2	100	73
3	339	73
4	1801	73
done	5000	73
0	22	54
1	42	54
2	108	54
3	416	54
4	2331	54
done	5001	54
0	23	75
1	44	73
2	100	73
3	339	73
4	1801	73
done	5000	73
0	22	54
1	42	54
2	108	54
3	416	54
4	2331	54
done	5001	54
0	24	74
1	46	74
2	112	74
3	420	74
4	2335	74
done	5000	74
0	23	55
1	43	55
2	109	55
3	417	55
4	2330	55
done	5000	55
0	23	55
1	43	55
2	109	55
3	417	55
4	2330	55
done	5000	55
0	23	55
1	43	55
2	109	55
3	417	55
4	2330	55
done	5000	55
0	22	38
1	41	36
2	93	36
3	328	36
4	1791	36
done	5000	36
0	22	54
1	42	54
2	108	54
3	416	54
4	2331	54
done	5001	54
0	24	56
1	42	56
2	92	56
3	327	56
4	1786	56
done	5001	56
0	24	56
1	43	56
2	94	56
3	328	56
4	1787	56
done	5001	56
0	22	38
1	41	36
2	93	36
3	328	36
4	1791	36
done	5000	36
0	22	54
1	42	54
2	108	54
3	416	54
4	2331	54
done	5001	54
0	22	38
1	41	36
2	93	36
3	328	36
4	1791	36
done	5000	36
0	22	54
1	42	54
2	108	54
3	416	54
4	2331	54
done	5001	54
0	21	39
1	41	39
2	78	39
3	146	39
4	217	39
5	304	39
6	446	39
7	649	39
8	764	39
9	778	39
done	778	39
0	22	54
1	45	54
2	119	54
3	444	54
4	2504	54
done	5001	54
0	20	20
1	38	20
2	75	20
3	143	20
4	212	20
5	301	20
6	445	20
7	648	20
8	763	20
9	774	20
done	774	20
0	22	54
1	45	54
2	119	54
3	444	54
4	2504	54
done	5001	54
0	2	3
1	4	1
done	4	1
0	21	53
1	44	53
2	118	53
3	467	19
4	2574	17
done	5000	17
0	21	21
1	36	21
2	55	21
3	78	21
4	98	21
5	116	21
6	153	21
7	213	21
8	273	21
9	282	21
10	321	21
11	365	21
done	365	21
0	23	55
1	45	55
2	104	55
3	365	55
4	1973	55
done	5000	55
0	2	3
1	4	1
done	4	1
0	21	53
1	44	53
2	118	53
3	467	19
4	2574	17
done	5000	17
0	2	3
1	4	1
done	4	1
0	21	53
1	44	53
2	118	53
3	467	19
4	2574	17
done	5000	17
0	21	55
1	42	55
2	101	55
3	214	55
4	391	55
5	694	55
6	1319	55
7	2112	55
8	2880	55
9	3355	55
10	3636	55
11	3642	55
done	3642	55
0	19	36
1	38	36
2	82	36
3	170	36
4	291	36
5	507	36
6	809	36
7	1190	36
8	1583	36
9	1751	36
10	1787	36
11	1789	36
done	1789	36
0	20	36
1	39	36
2	95	36
3	199	36
4	346	36
5	555	36
6	943	36
7	1429	36
8	1826	36
9	2003	36
10	2072	36
11	2074	36
done	2074	36
0	19	36
1	38	36
2	82	36
3	170	36
4	291	36
5	507	36
6	809	36
7	1190	36
8	1583	36
9	1751	36
10	1787	36
11	1789	36
done	1789	36
0	19	19
1	36	17
2	77	17
3	137	17
4	232	17
5	375	17
6	627	17
7	933	17
8	1275	17
9	1435	17
10	1479	17
done	1479	17
0	18	35
1	38	1
2	80	1
3	158	1
4	270	1
5	725	1
6	2125	1
done	5001	1
0	21	37
1	37	37
2	76	37
3	135	37
4	227	37
5	366	37
6	676	37
7	1049	37
8	1521	37
9	1824	37
10	1933	37
11	1979	37
12	2015	37
13	2051	37
14	2083	37
15	2111	37
16	2123	37
17	2131	37
18	2139	37
done	2139	37
0	21	37
1	42	37
2	87	37
3	175	37
4	301	37
5	550	37
6	905	37
7	1395	37
8	1891	37
9	2132	37
10	2220	37
11	2272	37
12	2288	37
13	2306	37
14	2312	37
done	2312	37
0	19	19
1	36	17
2	77	17
3	137	17
4	232	17
5	375	17
6	627	17
7	933	17
8	1275	17
9	1435	17
10	1479	17
done	1479	17
0	18	35
1	38	1
2	80	1
3	158	1
4	270	1
5	725	1
6	2125	1
done	5001	1
0	19	19
1	36	17
2	77	17
3	137	17
4	232	17
5	375	17
6	627	17
7	933	17
8	1275	17
9	1435	17
10	1479	17
done	1479	17
0	18	35
1	38	1
2	80	1
3	158	1
4	270	1
5	725	1
6	2125	1
done	5001	1
0	19	19
1	37	19
2	74	19
3	142	19
4	211	19
5	298	19
6	440	19
7	642	19
8	757	19
9	771	19
done	771	19
0	21	53
1	44	53
2	123	53
3	483	53
4	2548	19
done	5000	19
0	23	73
1	48	73
2	136	73
3	506	73
4	2742	73
done	5001	73
0	22	54
1	45	54
2	119	54
3	444	54
4	2504	54
done	5001	54
0	21	37
1	43	35
2	103	35
3	360	35
4	1972	35
done	5001	35
0	23	55
1	44	55
2	102	55
3	354	55
4	1946	55
done	5001	55
0	21	37
1	43	35
2	103	35
3	360	35
4	1972	35
done	5001	35
0	21	37
1	43	35
2	103	35
3	360	35
4	1972	35
done	5001	35
0	22	54
1	45	54
2	118	54
3	446	54
4	2416	54
done	5000	54
0	22	54
1	45	54
2	118	54
3	446	54
4	2416	54
done	5000	54
0	21	53
1	44	53
2	123	53
3	483	53
4	2548	19
done	5000	19
0	18	35
1	38	1
2	80	1
3	158	1
4	270	1
5	725	1
6	2125	1
done	5001	1
0	24	57
1	57	57
2	147	57
3	561	57
4	3447	57
done	5001	57
0	20	71
1	41	1
2	107	1
3	382	1
4	2039	1
done	5001	1
0	25	125
1	69	121
2	217	91
3	1324	75
done	5000	75
0	21	53
1	45	53
2	121	53
3	586	53
4	3784	53
done	5000	53
0	21	37
1	39	36
2	90	36
3	304	36
4	1408	36
done	5001	36
0	20	36
1	37	36
2	90	36
3	326	36
4	1787	36
done	5000	36
0	20	36
1	40	36
2	98	36
3	377	36
4	2092	36
done	5001	36
0	21	73
1	38	73
2	88	73
3	323	73
4	1780	73
done	5000	73
0	20	36
1	37	36
2	87	36
3	322	36
4	1782	36
done	5000	36
0	21	107
1	39	107
2	114	37
3	612	37
done	5001	37
0	20	36
1	37	36
2	87	36
3	322	36
4	1782	36
done	5000	36
0	20	36
1	37	36
2	87	36
3	322	36
4	1782	36
done	5000	36
0	22	39
1	53	39
2	146	21
3	530	21
4	3114	21
done	5001	21
0	23	107
1	56	103
2	141	73
3	623	57
4	4412	57
done	5000	57
0	3	4
1	6	4
done	6	4
0	21	71
1	46	71
2	122	39
3	537	21
4	3760	21
done	5000	21
0	19	35
1	32	35
2	63	35
3	200	35
4	937	35
5	4578	35
done	5000	35
0	17	17
1	32	17
2	68	17
3	121	17
4	192	17
5	271	17
6	393	17
7	553	17
8	727	17
9	776	17
done	776	17
0	17	17
1	33	17
2	70	17
3	138	17
4	207	17
5	294	17
6	437	17
7	639	17
8	754	17
9	768	17
done	768	17
0	20	26
1	38	26
2	88	26
3	282	26
4	1202	25
5	4356	25
done	5000	25
0	20	31
1	35	31
2	75	31
3	227	31
4	988	31
5	3701	31
done	5000	31
0	20	26
1	38	26
2	88	26
3	282	26
4	1202	25
5	4356	25
done	5000	25
0	20	26
1	38	26
2	100	26
3	391	26
4	1589	25
done	5002	25
0	20	31
1	35	31
2	75	31
3	227	31
4	988	31
5	3677	31
done	5000	31
0	20	26
1	38	26
2	100	26
3	391	26
4	1589	25
done	5002	25
0	3	4
1	6	4
done	6	4
0	2	3
1	6	1
done	6	1
0	16	31
1	28	31
2	59	31
3	188	31
4	828	31
5	3781	31
done	5000	31
0	2	3
1	6	1
done	6	1
0	17	33
1	31	18
2	51	18
3	74	18
4	94	18
5	112	18
6	149	18
7	209	18
8	269	18
9	278	18
10	317	18
11	361	18
done	361	18
0	17	32
1	31	32
2	64	18
3	194	18
4	832	18
5	3796	18
done	5000	18
0	17	32
1	31	32
2	74	32
3	234	32
4	1014	32
5	4752	32
done	5000	32
0	18	95
1	37	95
2	103	35
3	493	17
4	3957	17
done	5001	17
0	18	65
1	30	65
2	61	65
3	190	65
4	826	65
5	3783	65
done	5000	65
0	17	32
1	29	32
2	60	32
3	189	32
4	827	32
5	3789	32
done	5000	32
0	18	95
1	38	95
2	127	33
3	678	17
done	5001	17
0	17	32
1	30	16
2	61	16
3	190	16
4	828	16
5	3772	16
done	5000	16
0	17	32
1	30	16
2	61	16
3	190	16
4	828	16
5	3772	16
done	5000	16
0	25	99
1	77	87
2	260	87
3	1046	87
done	5000	87
0	16	63
1	51	51
2	168	51
3	735	51
4	4729	51
done	5000	51
0	30	85
1	95	79
2	332	79
3	1397	69
done	5000	69
0	18	43
1	54	37
2	175	37
3	662	37
4	3213	37
done	5000	37
0	30	69
1	101	63
2	363	63
3	1556	63
done	5000	63
0	26	79
1	86	67
2	319	67
3	1487	63
done	5000	63
0	30	81
1	101	75
2	360	75
3	1494	75
done	5000	75
0	22	47
1	66	41
2	219	41
3	876	41
4	4992	41
done	5000	41
0	30	85
1	95	79
2	332	79
3	1402	69
done	5000	69
0	18	43
1	54	37
2	177	37
3	713	37
4	3501	37
done	5000	37
0	20	71
1	48	71
2	140	71
3	537	51
4	2693	51
done	5001	51
0	12	23
1	26	23
2	64	23
3	213	23
4	927	23
5	3884	23
done	5000	23
0	26	55
1	75	55
2	246	55
3	1054	45
done	5001	45
0	22	59
1	61	53
2	227	53
3	1091	49
done	5001	49
0	25	67
1	71	67
2	242	67
3	1004	57
done	5000	57
0	18	27
1	41	27
2	117	27
3	403	27
4	1570	27
done	5001	27
0	30	69
1	101	63
2	363	63
3	1567	63
done	5000	63
0	26	79
1	80	67
2	282	67
3	1292	63
done	5000	63
0	26	55
1	75	55
2	246	55
3	1056	45
done	5001	45
0	22	59
1	55	53
2	188	53
3	911	49
done	5000	49
0	19	39
1	45	39
2	131	39
3	568	39
4	3942	39
done	5000	39
0	20	95
1	53	83
2	200	83
3	1171	75
done	5001	75
0	22	51
1	62	51
2	219	51
3	1031	51
done	5001	51
0	21	63
1	57	57
2	221	57
3	1192	53
done	5000	53
0	30	81
1	101	75
2	360	75
3	1497	75
done	5001	75
0	22	47
1	60	41
2	188	41
3	783	41
4	4078	41
done	5001	41
0	25	67
1	71	67
2	242	67
3	1002	57
done	5001	57
0	18	27
1	35	27
2	86	27
3	336	27
4	1464	27
done	5000	27
0	22	51
1	62	51
2	219	51
3	1029	51
done	5001	51
0	21	63
1	57	57
2	225	57
3	1217	53
done	5000	53
0	18	63
1	41	63
2	132	63
3	581	63
4	4191	63
done	5000	63
0	16	31
1	33	31
2	92	31
3	381	31
4	1505	31
done	5001	31
0	18	67
1	34	67
2	55	35
3	87	18
4	146	18
5	277	18
6	509	18
7	908	18
8	2037	18
done	5000	18
0	17	33
1	29	33
2	48	33
3	71	33
4	91	33
5	109	33
6	146	33
7	206	33
8	266	33
9	275	33
10	314	33
11	358	33
done	358	33
0	17	33
1	29	15
2	49	15
3	72	15
4	92	15
5	110	15
6	147	15
7	207	15
8	267	15
9	276	15
10	315	15
11	359	15
12	362	15
13	366	15
14	372	15
done	372	15
0	17	33
1	29	15
2	49	15
3	72	15
4	92	15
5	110	15
6	147	15
7	207	15
8	267	15
9	276	15
10	315	15
11	359	15
12	362	15
13	366	15
14	372	15
done	372	15
0	2	3
1	4	1
done	4	1
0	16	31
1	28	31
2	59	31
3	188	31
4	828	31
5	3781	31
done	5000	31
0	2	3
1	4	1
done	4	1
0	16	31
1	28	31
2	59	31
3	188	31
4	828	31
5	3781	31
done	5000	31
0	18	35
1	33	35
2	54	35
3	76	35
4	129	35
5	215	35
6	230	35
7	232	35
done	232	35
0	18	35
1	28	35
2	43	35
3	66	35
4	101	35
5	173	35
6	381	35
7	709	35
8	1223	35
9	1742	35
10	1833	35
11	1835	35
done	1835	35
0	2	3
1	4	1
done	4	1
0	16	31
1	28	31
2	59	31
3	188	31
4	828	31
5	3781	31
done	5000	31
0	2	3
1	4	1
done	4	1
0	16	31
1	28	31
2	59	31
3	188	31
4	828	31
5	3781	31
done	5000	31
0	17	33
1	29	15
2	49	15
3	72	15
4	92	15
5	110	15
6	147	15
7	207	15
8	267	15
9	276	15
10	315	15
11	359	15
12	362	15
13	366	15
14	372	15
done	372	15
0	17	33
1	29	15
2	49	15
3	72	15
4	92	15
5	110	15
6	147	15
7	207	15
8	267	15
9	276	15
10	315	15
11	359	15
12	362	15
13	366	15
14	372	15
done	372	15
0	3	3
1	6	1
done	6	1
0	16	25
1	35	25
2	103	25
3	391	25
4	1279	25
5	3550	25
done	5000	25
0	17	22
1	33	22
2	77	22
3	257	22
4	1109	21
5	4173	21
done	5001	21
0	16	19
1	31	19
2	67	19
3	182	19
4	435	19
5	907	19
6	1515	19
7	2667	19
8	4283	19
done	5001	19
0	17	27
1	30	27
2	66	27
3	200	27
4	844	27
5	3023	27
done	5000	27
0	16	25
1	35	25
2	103	25
3	391	25
4	1279	25
5	3550	25
done	5000	25
0	17	22
1	33	22
2	77	22
3	257	22
4	1109	21
5	4173	21
done	5001	21
0	16	25
1	29	25
2	67	25
3	195	25
4	709	25
5	2194	25
done	5001	25
0	17	22
1	33	22
2	89	22
3	362	22
4	1493	21
done	5001	21
0	16	19
1	31	19
2	79	19
3	200	19
4	481	19
5	993	19
6	1580	19
7	2697	19
8	4316	19
done	5000	19
0	17	27
1	30	27
2	66	27
3	200	27
4	844	27
5	3037	27
done	5000	27
0	16	25
1	29	25
2	67	25
3	195	25
4	709	25
5	2194	25
done	5001	25
0	17	22
1	33	22
2	89	22
3	362	22
4	1493	21
done	5001	21
0	18	49
1	33	49
2	66	49
3	153	49
4	341	49
5	665	49
6	1030	49
7	1340	49
8	1850	49
9	2680	49
10	3427	49
11	3983	49
12	4027	49
done	4027	49
0	17	32
1	30	32
2	61	32
3	118	32
4	226	32
5	376	32
6	494	32
7	634	32
8	857	32
9	1103	32
10	1322	32
11	1541	32
12	1559	32
done	1559	32
0	17	17
1	32	15
2	66	15
3	135	15
4	278	15
5	570	15
6	728	15
7	1023	15
8	1376	15
9	1494	15
10	1577	15
11	1823	15
12	1824	15
done	1824	15
0	19	33
1	39	33
2	95	33
3	244	33
4	694	33
5	1692	33
6	2919	33
done	5000	33
0	17	17
1	32	15
2	66	15
3	135	15
4	278	15
5	570	15
6	728	15
7	1023	15
8	1376	15
9	1494	15
10	1577	15
11	1823	15
12	1824	15
done	1824	15
0	17	32
1	30	32
2	61	32
3	118	32
4	226	32
5	376	32
6	494	32
7	634	32
8	857	32
9	1103	32
10	1322	32
11	1541	32
12	1559	32
done	1559	32
0	17	32
1	30	32
2	61	32
3	118	32
4	226	32
5	376	32
6	494	32
7	634	32
8	857	32
9	1103	32
10	1322	32
11	1541	32
12	1559	32
done	1559	32
0	16	31
1	28	31
2	59	31
3	188	31
4	828	31
5	3781	31
done	5000	31
0	19	33
1	34	33
2	72	33
3	194	33
4	576	33
5	1617	33
6	3511	33
done	5000	33
0	16	31
1	28	31
2	59	31
3	188	31
4	828	31
5	3781	31
done	5000	31
0	28	65
1	88	59
2	297	59
3	1178	59
done	5001	59
0	23	51
1	58	51
2	175	51
3	672	41
4	3546	41
done	5000	41
0	20	35
1	51	35
2	159	35
3	699	35
4	4813	35
done	5000	35
0	19	47
1	46	47
2	161	47
3	775	47
4	4930	47
done	5000	47
0	28	65
1	88	59
2	297	59
3	1179	59
done	5000	59
0	23	51
1	58	51
2	175	51
3	671	41
4	3551	41
done	5000	41
0	20	35
1	51	35
2	159	35
3	699	35
4	4820	35
done	5000	35
0	19	47
1	46	47
2	161	47
3	775	47
4	4913	47
done	5000	47
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	72	8
8	88	8
9	95	8
10	112	8
11	114	8
done	114	8
0	7	7
1	13	7
2	19	7
3	28	7
4	31	7
5	37	7
6	46	7
7	59	7
8	77	7
9	93	7
10	100	7
11	117	7
12	119	7
done	119	7
0	6	6
1	12	6
2	24	6
3	43	6
4	59	6
5	67	6
6	79	6
7	97	6
8	113	6
9	120	6
10	137	6
11	139	6
done	139	6
0	6	6
1	9	6
2	13	6
3	18	6
4	27	6
5	40	6
6	73	6
7	156	6
8	369	6
9	1012	6
10	4069	6
done	5000	6
0	11	17
1	26	17
2	122	11
3	554	11
4	2264	9
done	5000	9
0	9	17
1	28	17
2	129	9
3	692	7
4	2636	7
5	4904	7
done	5000	7
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	7	17
1	17	17
2	58	7
3	237	7
4	990	7
5	2904	7
done	5001	7
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	4	4
1	9	4
2	11	4
done	11	4
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	5	5
1	8	5
2	10	5
done	10	5
0	7	9
1	15	9
2	29	9
3	42	9
4	46	9
done	46	9
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	3	3
done	3	3
0	11	11
1	20	11
2	32	11
done	32	11
0	15	15
1	29	15
2	58	15
3	89	15
4	97	15
5	112	15
6	151	15
7	227	15
8	315	15
9	322	15
10	363	15
11	437	15
done	437	15
0	15	15
1	29	15
2	58	15
3	89	15
4	97	15
5	112	15
6	151	15
7	227	15
8	315	15
9	322	15
10	363	15
11	437	15
done	437	15
0	1	1
done	1	1
0	24	29
1	61	29
2	197	29
3	519	27
4	1448	23
5	2831	21
6	4452	21
done	5001	21
0	24	29
1	61	29
2	197	29
3	519	27
4	1448	23
5	2831	21
6	4452	21
done	5001	21
0	1	1
done	1	1
0	24	29
1	61	29
2	197	29
3	519	27
4	1448	23
5	2831	21
6	4452	21
done	5001	21
0	24	29
1	61	29
2	197	29
3	519	27
4	1448	23
5	2831	21
6	4452	21
done	5001	21
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5

prune390.0ms

Filtered

121 candidates to 166 candidates (-37.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	166	0	166
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	166	2	168

Merged error: 0b

Counts

168 → 2

regimes1.1s

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	17
1	22	17
done	22	17

end0.0ms

sample1.9s

Algorithm

intervals

Results

757.0ms

11879×

body

valid

Details

sample63.0ms

simplify928.0ms

prune5.0ms

localize15.0ms

rewrite26.0ms

series78.0ms

simplify1.2min

prune106.0ms

localize15.0ms

rewrite27.0ms

series76.0ms

simplify1.1min

prune106.0ms

localize20.0ms

rewrite104.0ms

series3.0s

simplify6.1min

prune390.0ms

regimes1.1s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.9s

Profiling