Details

sample77.0ms

Algorithm

intervals

Results

35.0ms	121×	body	1280	valid
14.0ms	72×	body	640	valid
8.0ms	262×	body	80	valid
4.0ms	34×	body	320	valid
2.0ms	21×	body	160	valid

simplify13.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	14	8
2	24	8
3	30	8
4	34	8
done	34	8

prune3.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: 58.0b

Counts

2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

5.1b	(- (exp x) (exp (neg x)))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
1×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `flip3--` `diff-log` `add-cbrt-cube` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

1 → 14

Calls

1 calls:

6.0ms

(- (exp x) (exp (neg x)))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(- (exp x) (exp (neg x)))

simplify21.0s

Counts

17 → 17

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	11	7
2	15	7
3	21	7
4	23	7
5	27	7
6	31	7
7	47	7
8	51	7
9	56	7
10	63	7
11	81	7
12	102	7
13	114	7
14	119	7
done	119	7
0	6	7
1	10	7
2	16	7
done	16	7
0	6	7
1	13	7
2	21	7
3	23	7
4	27	7
5	31	7
6	47	7
7	53	7
8	58	7
9	65	7
10	84	7
11	105	7
12	117	7
13	122	7
done	122	7
0	7	15
1	11	15
2	17	15
done	17	15
0	6	7
1	10	7
2	16	7
done	16	7
0	7	20
1	12	20
2	32	8
3	83	8
4	245	8
5	792	8
6	3270	8
done	5000	8
0	6	7
1	10	7
2	16	7
done	16	7
0	6	7
1	10	7
2	16	7
done	16	7
0	8	10
1	25	10
2	63	10
3	147	10
4	334	10
5	887	9
6	3788	9
done	5000	9
0	9	20
1	24	15
2	51	12
3	71	11
4	127	11
5	200	11
6	358	11
7	777	11
8	2083	11
done	5000	11
0	4	4
1	7	4
2	12	4
done	12	4
0	7	13
1	18	11
2	36	10
3	75	9
4	151	9
5	309	9
6	708	9
7	1676	9
done	5000	9
0	5	6
1	8	6
2	10	6
done	10	6
0	7	8
1	10	8
2	12	8
done	12	8
0	7	8
1	11	8
2	14	8
done	14	8
0	5	6
1	9	6
2	15	6
done	15	6
0	4	4
1	7	4
2	12	4
done	12	4
0	13	15
1	31	15
2	65	15
3	109	15
4	204	15
5	486	15
6	1535	15
done	5000	15
0	5	6
1	9	6
2	15	6
done	15	6
0	6	7
1	12	6
2	20	6
3	36	6
4	70	6
5	147	6
6	378	6
7	1201	6
8	4523	6
done	5000	6

prune45.0ms

Filtered

12 candidates to 17 candidates (-41.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	15	2	17
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	15	3	18

Merged error: 0b

Counts

18 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
0.0b	(+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))
0.0b	(* 1/60 (pow x 5))
0.1b	(* 1/3 (pow x 3))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
19×	`associate-r`
14×	`add-exp-log`
11×	`add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
8×	`unpow-prod-down` `add-cbrt-cube`
7×	`unswap-sqr`
6×	`associate-l` `prod-exp`
4×	`pow1` `cube-prod` `sum-log` `sqr-pow`
2×	`+-commutative` `pow-to-exp` `flip3-+` `pow-exp` `*-commutative` `cbrt-unprod` `flip-+`
1×	`cube-mult` `associate-+r+` `unpow3`

Counts

4 → 80

Calls

4 calls:

8.0ms	(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
6.0ms	(+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))
7.0ms	(* 1/60 (pow x 5))
7.0ms	(* 1/3 (pow x 3))

series34.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
13.0ms	(+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))
9.0ms	(* 1/60 (pow x 5))
5.0ms	(* 1/3 (pow x 3))

simplify5.7min

Counts

92 → 92

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	18	7
2	30	7
3	57	7
4	111	7
5	257	7
6	736	7
7	2804	7
done	5000	7
0	6	6
1	18	6
2	44	6
3	92	6
4	181	6
5	434	6
6	1321	6
done	5001	6
0	6	6
1	17	6
2	40	6
3	94	5
4	232	5
5	701	5
6	2755	5
done	5000	5
0	9	17
1	29	9
2	87	7
3	358	7
4	1597	7
done	5000	7
0	7	13
1	16	13
2	34	13
3	58	13
4	102	13
5	244	13
6	769	13
7	3060	13
done	5001	13
0	6	6
1	15	6
2	33	6
3	56	6
4	103	6
5	241	6
6	766	6
7	3067	6
done	5000	6
0	7	17
1	27	15
2	107	7
3	511	7
4	2469	7
done	5000	7
0	6	6
1	15	6
2	33	6
3	56	6
4	103	6
5	241	6
6	766	6
7	3067	6
done	5000	6
0	6	6
1	15	6
2	33	6
3	56	6
4	103	6
5	241	6
6	766	6
7	3067	6
done	5000	6
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	23	7
3	33	7
4	54	7
5	114	7
6	316	7
7	1251	7
done	5000	7
0	7	7
1	16	7
2	23	7
3	33	7
4	54	7
5	114	7
6	316	7
7	1251	7
done	5000	7
0	8	8
1	14	6
2	24	6
3	44	6
4	88	6
5	230	6
6	750	6
7	3051	6
done	5000	6
0	8	8
1	14	6
2	24	6
3	44	6
4	88	6
5	230	6
6	750	6
7	3051	6
done	5000	6
0	7	9
1	18	9
2	55	5
3	111	5
4	166	5
5	320	5
6	852	5
7	3190	5
done	5000	5
0	6	6
1	15	6
2	33	6
3	57	6
4	101	6
5	246	6
6	775	6
7	3072	6
done	5000	6
0	5	5
1	16	1
2	20	1
done	20	1
0	4	5
1	7	5
2	9	5
done	9	5
0	7	11
1	17	5
2	25	5
3	35	5
4	56	5
5	116	5
6	325	5
7	1246	5
done	5000	5
0	7	9
1	18	9
2	55	5
3	111	5
4	166	5
5	320	5
6	852	5
7	3190	5
done	5000	5
0	6	6
1	15	6
2	33	6
3	57	6
4	101	6
5	246	6
6	775	6
7	3072	6
done	5000	6
0	5	5
1	16	1
2	20	1
done	20	1
0	3	3
1	4	3
done	4	3
0	6	6
1	15	6
2	22	6
3	32	6
4	53	6
5	114	6
6	324	6
7	1259	6
done	5000	6
0	3	3
1	6	1
done	6	1
0	7	7
1	13	5
2	23	5
3	41	5
4	87	5
5	227	5
6	762	5
7	3059	5
done	5001	5
0	6	6
1	15	6
2	33	6
3	61	6
4	107	6
5	252	6
6	785	6
7	3076	6
done	5001	6
0	6	6
1	15	6
2	33	6
3	61	6
4	107	6
5	252	6
6	785	6
7	3076	6
done	5001	6
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	15	7
2	24	7
3	42	7
4	91	7
5	241	7
6	737	7
7	2752	7
done	5000	7
0	6	6
1	15	6
2	30	6
3	60	6
4	144	6
5	405	6
6	1301	6
7	4933	6
done	5000	6
0	6	6
1	14	6
2	29	6
3	63	6
4	165	6
5	543	6
6	2400	6
done	5001	6
0	9	17
1	26	9
2	62	7
3	173	7
4	656	7
5	2869	7
done	5000	7
0	7	13
1	13	13
2	23	13
3	41	13
4	89	13
5	228	13
6	758	13
7	3065	13
done	5001	13
0	6	6
1	12	6
2	22	6
3	40	6
4	85	6
5	232	6
6	761	6
7	3051	6
done	5001	6
0	7	17
1	24	15
2	74	7
3	249	7
4	962	7
5	4036	7
done	5001	7
0	6	6
1	12	6
2	22	6
3	40	6
4	85	6
5	232	6
6	761	6
7	3051	6
done	5001	6
0	6	6
1	12	6
2	22	6
3	40	6
4	85	6
5	232	6
6	761	6
7	3051	6
done	5001	6
0	7	7
1	13	7
2	23	7
3	41	7
4	88	7
5	233	7
6	762	7
7	3059	7
done	5000	7
0	7	7
1	13	7
2	23	7
3	41	7
4	88	7
5	233	7
6	762	7
7	3059	7
done	5000	7
0	7	7
1	13	7
2	20	7
3	30	7
4	52	7
5	116	7
6	331	7
7	1268	7
done	5001	7
0	7	7
1	13	7
2	20	7
3	30	7
4	52	7
5	116	7
6	331	7
7	1268	7
done	5001	7
0	8	8
1	14	6
2	24	6
3	44	6
4	89	6
5	233	6
6	758	6
7	3055	6
done	5001	6
0	8	8
1	14	6
2	24	6
3	44	6
4	89	6
5	233	6
6	758	6
7	3055	6
done	5001	6
0	7	9
1	13	9
2	23	9
3	41	9
4	88	9
5	233	9
6	764	9
7	3068	9
done	5001	9
0	6	6
1	12	6
2	22	6
3	42	6
4	88	6
5	238	6
6	769	6
7	3058	6
done	5001	6
0	5	5
1	13	1
done	13	1
0	7	11
1	15	11
2	23	11
3	33	11
4	55	11
5	117	11
6	326	11
7	1255	11
done	5001	11
0	6	6
1	12	6
2	19	6
3	29	6
4	51	6
5	115	6
6	328	6
7	1249	6
done	5000	6
0	3	3
1	6	1
done	6	1
0	7	7
1	13	5
2	23	5
3	41	5
4	88	5
5	230	5
6	762	5
7	3072	5
done	5000	5
0	6	6
1	12	6
2	22	6
3	42	6
4	88	6
5	238	6
6	767	6
7	3058	6
done	5000	6
0	6	6
1	12	6
2	22	6
3	42	6
4	88	6
5	238	6
6	767	6
7	3058	6
done	5000	6
0	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	12	13
1	33	12
2	72	12
3	173	12
4	487	12
5	1949	12
done	5000	12
0	11	12
1	26	12
2	54	12
3	95	12
4	185	12
5	476	12
6	1514	12
done	5000	12
0	11	12
1	29	12
2	66	12
3	141	12
4	372	12
5	1394	12
done	5001	12
0	12	25
1	27	25
2	55	25
3	95	25
4	188	25
5	476	25
6	1518	25
done	5000	25
0	11	12
1	26	12
2	54	12
3	95	12
4	185	12
5	476	12
6	1514	12
done	5000	12
0	12	35
1	40	35
2	131	13
3	670	13
4	4453	13
done	5000	13
0	11	12
1	26	12
2	54	12
3	95	12
4	185	12
5	476	12
6	1514	12
done	5000	12
0	11	12
1	26	12
2	54	12
3	95	12
4	185	12
5	476	12
6	1514	12
done	5000	12
0	12	15
1	45	15
2	138	15
3	561	15
4	2594	15
done	5001	15
0	14	35
1	56	27
2	201	21
3	871	21
4	4032	21
done	5000	21
0	12	23
1	47	19
2	155	11
3	536	11
4	1899	11
done	5000	11
0	10	11
1	26	11
2	62	11
3	113	11
4	260	11
5	747	11
6	2667	11
done	5000	11
0	16	18
1	42	17
2	99	16
3	276	16
4	1043	16
done	5001	16
0	15	17
1	38	16
2	90	16
3	209	16
4	615	16
5	3251	16
done	5001	16
0	14	16
1	32	16
2	66	16
3	114	16
4	209	16
5	504	16
6	1563	16
done	5000	16
0	14	16
1	35	16
2	81	16
3	172	16
4	398	16
5	1613	16
done	5000	16
0	15	33
1	33	33
2	67	33
3	113	33
4	210	33
5	503	33
6	1550	33
done	5001	33
0	14	16
1	32	16
2	66	16
3	114	16
4	209	16
5	504	16
6	1563	16
done	5000	16
0	15	47
1	46	47
2	163	17
3	795	17
done	5001	17
0	14	16
1	32	16
2	66	16
3	114	16
4	209	16
5	504	16
6	1563	16
done	5000	16
0	14	16
1	32	16
2	66	16
3	114	16
4	209	16
5	504	16
6	1563	16
done	5000	16
0	15	19
1	44	19
2	121	19
3	365	19
4	1522	19
done	5001	19
0	17	47
1	61	33
2	207	33
3	814	33
4	3778	33
done	5001	33
0	15	31
1	48	29
2	134	29
3	492	29
4	2450	29
done	5000	29
0	13	15
1	32	15
2	69	15
3	158	15
4	403	15
5	1125	15
6	4447	15
done	5001	15
0	8	9
1	18	9
2	36	9
3	60	9
4	111	9
5	256	9
6	789	9
7	3093	9
done	5000	9
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	10	11
1	25	11
2	53	11
3	95	11
4	188	11
5	479	11
6	1512	11
done	5001	11
0	10	11
1	25	11
2	53	11
3	95	11
4	188	11
5	479	11
6	1512	11
done	5001	11
0	10	11
1	25	11
2	53	11
3	95	11
4	188	11
5	479	11
6	1512	11
done	5001	11
0	13	15
1	31	15
2	65	15
3	109	15
4	204	15
5	486	15
6	1535	15
done	5000	15
0	13	15
1	31	15
2	65	15
3	109	15
4	204	15
5	486	15
6	1535	15
done	5000	15
0	13	15
1	31	15
2	65	15
3	109	15
4	204	15
5	486	15
6	1535	15
done	5000	15

prune179.0ms

Filtered

65 candidates to 92 candidates (-41.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	92	3	95

Merged error: 0b

Counts

95 → 3

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (exp x) (exp (neg x)))
0.0b	(/ (- (exp (+ x x)) (exp (* -2 x))) (+ (exp x) (exp (neg x))))
5.1b	(- (exp (+ x x)) (exp (* -2 x)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

43×	`*-un-lft-identity`
33×	`add-sqr-sqrt`
24×	`times-frac`
15×	`add-cube-cbrt`
12×	`difference-of-squares`
8×	`distribute-lft-out`
7×	`add-log-exp`
6×	`exp-sum` `associate-/l*` `distribute-lft-out--`
5×	`add-exp-log` `add-cbrt-cube`
4×	`associate-/r*`
3×	`pow1`
2×	`flip3--` `flip3-+` `associate-/r/` `flip--` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `frac-2neg` `diff-log` `div-sub` `div-exp` `clear-num` `sum-log` `div-inv`

Counts

3 → 78

Calls

3 calls:

5.0ms	(+ (exp x) (exp (neg x)))
17.0ms	(/ (- (exp (+ x x)) (exp (* -2 x))) (+ (exp x) (exp (neg x))))
9.0ms	(- (exp (+ x x)) (exp (* -2 x)))

series33.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(+ (exp x) (exp (neg x)))
22.0ms	(/ (- (exp (+ x x)) (exp (* -2 x))) (+ (exp x) (exp (neg x))))
6.0ms	(- (exp (+ x x)) (exp (* -2 x)))

simplify3.9min

Counts

87 → 87

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	18	10
2	29	10
3	55	10
4	133	10
5	373	10
6	1250	10
done	5000	10
0	8	10
1	17	10
2	25	10
3	43	10
4	99	10
5	251	10
6	696	10
7	2747	10
done	5000	10
0	8	10
1	20	10
2	32	10
3	58	10
4	141	10
5	390	10
6	1346	10
done	5000	10
0	9	21
1	18	21
2	26	21
3	44	21
4	97	21
5	236	21
6	656	21
7	2687	21
done	5000	21
0	8	10
1	17	10
2	25	10
3	43	10
4	96	10
5	238	10
6	668	10
7	2705	10
done	5001	10
0	9	29
1	19	29
2	41	11
3	111	11
4	452	11
5	3117	11
done	5000	11
0	8	10
1	17	10
2	25	10
3	43	10
4	96	10
5	238	10
6	668	10
7	2705	10
done	5001	10
0	8	10
1	17	10
2	25	10
3	43	10
4	96	10
5	238	10
6	668	10
7	2705	10
done	5001	10
0	10	13
1	31	13
2	77	13
3	188	11
4	524	9
5	2023	9
done	5000	9
0	11	29
1	31	23
2	74	14
3	149	11
4	311	11
5	1168	11
done	5001	11
0	5	5
1	8	5
2	14	5
3	26	5
4	62	5
5	153	5
6	416	5
7	1437	5
done	5000	5
0	9	19
1	25	17
2	57	9
3	125	9
4	330	9
5	1251	9
done	5001	9
0	7	9
1	15	9
2	22	9
3	34	9
4	65	9
5	136	9
6	303	9
7	909	9
8	3697	9
done	5001	9
0	7	8
1	11	8
2	16	8
3	26	8
4	53	8
5	112	7
6	249	7
7	760	7
8	2676	7
done	5001	7
0	7	8
1	12	8
2	18	8
3	28	8
4	55	8
5	112	7
6	254	7
7	768	7
8	2682	7
done	5001	7
0	9	11
1	17	11
2	25	9
3	38	9
4	71	9
5	141	8
6	310	8
7	919	8
8	3685	8
done	5000	8
0	9	11
1	18	11
2	27	9
3	40	9
4	73	9
5	143	8
6	308	8
7	908	8
8	3706	8
done	5000	8
0	7	9
1	16	9
2	24	9
3	42	9
4	95	9
5	237	9
6	658	9
7	2683	9
done	5001	9
0	5	5
1	8	5
2	14	5
3	26	5
4	62	5
5	153	5
6	416	5
7	1437	5
done	5000	5
0	14	18
1	27	18
2	38	18
3	56	18
4	110	18
5	260	18
6	703	18
7	2583	18
done	5000	18
0	13	17
1	30	17
2	46	17
3	71	17
4	141	17
5	364	17
6	1117	17
7	4449	9
done	5000	9
0	13	17
1	27	17
2	44	17
3	70	17
4	141	17
5	358	17
6	1093	17
7	4585	9
done	5000	9
0	16	50
1	48	50
2	142	20
3	417	18
4	2229	18
done	5000	18
0	14	35
1	28	35
2	42	35
3	66	35
4	133	35
5	341	35
6	1043	35
7	4264	19
done	5000	19
0	13	17
1	27	17
2	41	17
3	65	17
4	132	17
5	340	17
6	1047	17
7	4278	9
done	5001	9
0	14	50
1	35	50
2	77	18
3	234	18
4	960	18
done	5000	18
0	13	17
1	27	17
2	41	17
3	65	17
4	132	17
5	340	17
6	1047	17
7	4278	9
done	5001	9
0	13	17
1	27	17
2	41	17
3	65	17
4	132	17
5	340	17
6	1047	17
7	4278	9
done	5001	9
0	8	10
1	17	10
2	28	10
3	51	10
4	116	9
5	346	9
6	1069	9
7	4681	9
done	5000	9
0	6	7
1	12	7
2	19	7
3	20	7
done	20	7
0	8	11
1	14	11
2	21	11
3	27	11
4	38	11
5	69	11
6	147	11
7	349	11
8	1117	11
9	4422	11
done	5001	11
0	9	11
1	15	11
2	22	11
3	33	11
4	65	11
5	151	11
6	410	11
7	1417	11
done	5000	11
0	16	37
1	33	37
2	52	37
3	76	37
4	127	37
5	266	37
6	679	37
7	2482	37
done	5000	37
0	14	18
1	25	18
2	35	18
3	53	18
4	104	18
5	243	18
6	649	18
7	2454	18
done	5000	18
0	15	29
1	28	29
2	40	29
3	59	29
4	110	29
5	249	29
6	660	29
7	2473	29
done	5001	29
0	14	18
1	25	18
2	35	18
3	53	18
4	104	18
5	243	18
6	649	18
7	2454	18
done	5000	18
0	11	23
1	24	21
2	38	21
3	61	21
4	113	21
5	250	21
6	657	21
7	2489	21
done	5000	21
0	13	17
1	24	17
2	34	17
3	52	17
4	103	17
5	242	17
6	652	17
7	2461	17
done	5000	17
0	11	23
1	24	21
2	38	21
3	61	21
4	113	21
5	250	21
6	657	21
7	2489	21
done	5000	21
0	13	17
1	24	17
2	34	17
3	52	17
4	103	17
5	242	17
6	652	17
7	2461	17
done	5000	17
0	15	26
1	28	26
2	38	26
3	56	26
4	107	26
5	246	26
6	651	26
7	2449	26
done	5000	26
0	14	18
1	25	18
2	35	18
3	53	18
4	104	18
5	243	18
6	649	18
7	2454	18
done	5000	18
0	14	18
1	25	18
2	35	18
3	53	18
4	104	18
5	243	18
6	649	18
7	2454	18
done	5000	18
0	14	18
1	25	18
2	35	18
3	53	18
4	104	18
5	243	18
6	649	18
7	2454	18
done	5000	18
0	10	12
1	21	10
2	31	10
3	49	10
4	101	10
5	237	10
6	641	10
7	2440	10
done	5000	10
0	13	17
1	24	17
2	34	17
3	52	17
4	103	17
5	242	17
6	652	17
7	2461	17
done	5000	17
0	10	12
1	21	10
2	31	10
3	49	10
4	101	10
5	237	10
6	641	10
7	2440	10
done	5000	10
0	13	17
1	24	17
2	34	17
3	52	17
4	103	17
5	242	17
6	652	17
7	2461	17
done	5000	17
0	9	17
1	15	17
done	15	17
0	13	17
1	27	17
2	41	17
3	65	17
4	132	17
5	340	17
6	1046	17
7	4270	17
done	5001	17
0	8	9
1	12	9
done	12	9
0	13	17
1	27	17
2	41	17
3	65	17
4	132	17
5	340	17
6	1046	17
7	4270	17
done	5001	17
0	2	3
1	4	1
done	4	1
0	12	16
1	26	16
2	40	16
3	64	16
4	131	16
5	337	16
6	1036	16
7	4266	8
done	5000	8
0	2	3
1	4	1
done	4	1
0	12	16
1	26	16
2	40	16
3	64	16
4	131	16
5	337	16
6	1036	16
7	4266	8
done	5000	8
0	13	24
1	22	24
2	29	24
3	39	24
4	64	23
5	119	23
6	261	23
7	777	23
8	2746	23
done	5000	23
0	12	16
1	23	16
2	33	16
3	45	16
4	70	15
5	125	15
6	269	15
7	772	15
8	2739	15
done	5001	15
0	12	16
1	19	16
2	26	16
3	36	16
4	61	15
5	116	15
6	264	15
7	776	15
8	2718	15
done	5000	15
0	12	16
1	23	16
2	33	16
3	45	16
4	70	15
5	125	15
6	269	15
7	772	15
8	2739	15
done	5001	15
0	9	10
1	15	8
2	22	8
3	32	8
4	58	8
5	113	7
6	252	7
7	762	7
8	2689	7
done	5000	7
0	11	15
1	22	15
2	32	15
3	44	15
4	69	14
5	124	14
6	263	14
7	770	14
8	2706	14
done	5000	14
0	9	10
1	15	8
2	22	8
3	32	8
4	58	8
5	113	7
6	252	7
7	762	7
8	2689	7
done	5000	7
0	11	15
1	22	15
2	32	15
3	44	15
4	69	14
5	124	14
6	263	14
7	770	14
8	2706	14
done	5000	14
0	16	27
1	28	27
2	38	25
3	51	25
4	82	24
5	152	24
6	316	24
7	843	24
8	3146	24
done	5000	24
0	15	19
1	29	19
2	42	17
3	57	17
4	88	16
5	156	16
6	318	16
7	845	16
8	3116	16
done	5000	16
0	15	19
1	25	19
2	35	17
3	48	17
4	79	16
5	147	16
6	308	16
7	837	16
8	3104	16
done	5000	16
0	15	19
1	29	19
2	42	17
3	57	17
4	88	16
5	156	16
6	318	16
7	845	16
8	3116	16
done	5000	16
0	11	13
1	21	11
2	31	9
3	44	9
4	76	9
5	144	8
6	299	8
7	825	8
8	3152	8
done	5000	8
0	14	18
1	28	18
2	41	16
3	56	16
4	87	15
5	155	15
6	315	15
7	840	15
8	3142	15
done	5000	15
0	11	13
1	21	11
2	31	9
3	44	9
4	76	9
5	144	8
6	299	8
7	825	8
8	3152	8
done	5000	8
0	14	18
1	28	18
2	41	16
3	56	16
4	87	15
5	155	15
6	315	15
7	840	15
8	3142	15
done	5000	15
0	9	17
1	15	17
done	15	17
0	13	17
1	27	17
2	41	17
3	65	17
4	132	17
5	340	17
6	1046	17
7	4270	17
done	5001	17
0	8	9
1	12	9
done	12	9
0	13	17
1	27	17
2	41	17
3	65	17
4	132	17
5	340	17
6	1046	17
7	4270	17
done	5001	17
0	2	3
1	4	1
done	4	1
0	12	16
1	26	16
2	40	16
3	64	16
4	131	16
5	337	16
6	1036	16
7	4266	8
done	5000	8
0	2	3
1	4	1
done	4	1
0	12	16
1	26	16
2	40	16
3	64	16
4	131	16
5	337	16
6	1036	16
7	4266	8
done	5000	8
0	7	8
1	11	8
done	11	8
0	12	16
1	23	16
2	33	16
3	51	16
4	104	16
5	253	16
6	675	8
7	2485	8
done	5000	8
0	14	25
1	30	25
2	51	25
3	89	25
4	199	25
5	569	25
6	1969	25
done	5000	25
0	13	17
1	27	17
2	41	17
3	65	17
4	132	17
5	340	17
6	1046	17
7	4270	17
done	5001	17
0	9	11
1	23	9
2	37	9
3	64	9
4	139	9
5	385	9
6	1345	9
done	5001	9
0	9	11
1	23	9
2	37	9
3	64	9
4	139	9
5	385	9
6	1345	9
done	5001	9
0	13	17
1	24	17
2	34	17
3	52	17
4	103	17
5	244	17
6	659	17
7	2477	17
done	5000	17
0	13	17
1	24	17
2	34	17
3	52	17
4	103	17
5	244	17
6	659	17
7	2477	17
done	5000	17
0	12	16
1	23	16
2	33	16
3	51	16
4	104	16
5	253	16
6	675	8
7	2485	8
done	5000	8
0	11	15
1	19	15
2	27	15
3	37	15
4	62	14
5	117	14
6	262	14
7	783	14
8	2748	14
done	5001	14
0	14	18
1	25	18
2	36	16
3	49	16
4	80	15
5	148	15
6	305	15
7	836	15
8	3129	15
done	5000	15
0	12	16
1	23	16
2	33	16
3	51	16
4	104	16
5	253	16
6	675	8
7	2485	8
done	5000	8
0	15	20
1	40	20
2	79	20
3	153	20
4	325	19
5	901	19
6	3631	19
done	5001	19
0	14	23
1	33	21
2	70	20
3	156	19
4	506	19
5	2502	1
done	5000	1
0	16	36
1	45	30
2	134	21
3	383	18
4	1087	18
done	5000	18
0	12	16
1	29	16
2	67	16
3	151	16
4	331	16
5	1330	16
done	5001	16
0	7	8
1	12	7
2	15	7
done	15	7
0	6	7
1	9	7
2	11	7
done	11	7
0	6	7
1	12	7
2	15	7
done	15	7
0	7	15
1	10	15
2	12	15
done	12	15
0	6	7
1	9	7
2	11	7
done	11	7
0	7	20
1	23	20
2	65	8
3	181	8
4	680	8
5	2732	8
done	5000	8
0	6	7
1	9	7
2	11	7
done	11	7
0	6	7
1	9	7
2	11	7
done	11	7
0	8	10
1	24	10
2	49	10
3	100	10
4	195	10
5	407	9
6	1336	9
done	5001	9
0	9	20
1	25	15
2	60	12
3	96	11
4	183	11
5	339	11
6	761	11
7	2119	11
done	5000	11
0	7	13
1	18	11
2	36	10
3	75	9
4	151	9
5	309	9
6	708	9
7	1676	9
done	5000	9
0	5	6
1	9	6
2	15	6
done	15	6
0	5	6
1	8	6
2	10	6
done	10	6
0	13	15
1	32	15
2	66	15
3	114	15
4	209	15
5	503	15
6	1562	15
done	5000	15
0	8	9
1	16	9
2	26	9
3	53	9
4	125	9
5	303	9
6	932	9
7	4483	9
done	5001	9
0	8	9
1	16	9
2	26	9
3	53	9
4	125	9
5	303	9
6	932	9
7	4483	9
done	5001	9
0	13	15
1	31	15
2	65	15
3	109	15
4	204	15
5	486	15
6	1535	15
done	5000	15
0	13	16
1	27	16
2	40	16
3	74	16
4	168	16
5	446	16
6	1444	16
done	5000	16
0	14	17
1	30	16
2	46	16
3	88	16
4	213	16
5	684	16
6	3180	16
done	5000	16
0	9	11
1	22	11
2	54	11
3	81	11
4	105	11
5	143	11
6	227	11
7	476	11
8	1246	11
9	4879	11
done	5000	11
0	5	6
1	8	6
2	10	6
done	10	6
0	6	7
1	11	6
2	18	6
3	29	6
4	53	6
5	104	6
6	232	6
7	664	6
8	2286	6
done	5001	6

prune110.0ms

Filtered

62 candidates to 87 candidates (-40.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	87	0	87
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	87	3	90

Merged error: 0b

Counts

90 → 3

regimes97.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	17
1	20	17
done	20	17

end0.0ms

sample2.3s

Algorithm

intervals

Results

1.0s	3407×	body	1280	valid
478.0ms	2536×	body	640	valid
269.0ms	8071×	body	80	valid
150.0ms	1209×	body	320	valid
45.0ms	568×	body	160	valid

Details

sample77.0ms

simplify13.0ms

prune3.0ms

localize7.0ms

rewrite6.0ms

series6.0ms

simplify21.0s

prune45.0ms

localize12.0ms

rewrite31.0ms

series34.0ms

simplify5.7min

prune179.0ms

localize14.0ms

rewrite34.0ms

series33.0ms

simplify3.9min

prune110.0ms

regimes97.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.3s

Profiling