Details

sample28.0ms

Algorithm

intervals

Results

9.0ms	58×	body	1280	valid
5.0ms	145×	body	80	valid
4.0ms	28×	body	640	valid
2.0ms	20×	body	320	valid
0.0ms	5×	body	160	valid

simplify124.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	13
1	12	13
2	16	13
3	19	13
4	21	13
5	27	13
6	39	13
7	58	13
8	76	13
9	97	13
10	127	13
11	137	13
12	141	13
13	143	13
done	143	13

prune2.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: 26.5b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ x (+ x 1.0))
0.0b	(/ (+ x 1.0) (- x 1.0))
2.1b	(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

99×	`*-un-lft-identity`
52×	`times-frac`
45×	`add-sqr-sqrt`
23×	`add-cube-cbrt`
18×	`distribute-lft-out` `distribute-lft-out--`
9×	`associate-/r*` `difference-of-squares`
7×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
5×	`add-log-exp`
4×	`associate-/r/`
3×	`pow1`
2×	`cbrt-undiv` `flip3--` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip--` `flip-+` `div-inv` `associate-/l/`
1×	`sub-neg` `diff-log` `frac-sub`

Counts

3 → 104

Calls

3 calls:

6.0ms	(/ x (+ x 1.0))
9.0ms	(/ (+ x 1.0) (- x 1.0))
36.0ms	(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series14.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(/ x (+ x 1.0))
3.0ms	(/ (+ x 1.0) (- x 1.0))
8.0ms	(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

simplify1.4min

Counts

113 → 113

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	15
1	14	14
2	17	14
3	22	14
4	28	14
5	36	14
6	46	14
7	80	14
8	130	14
9	214	14
10	314	14
11	402	14
12	495	14
13	526	14
14	528	14
done	528	14
0	8	14
1	13	14
2	17	14
3	20	14
4	22	14
5	28	14
6	40	14
7	59	14
8	77	14
9	98	14
10	128	14
11	138	14
12	142	14
13	144	14
done	144	14
0	8	14
1	16	14
2	22	14
3	28	14
4	36	14
5	46	14
6	80	14
7	130	14
8	214	14
9	314	14
10	402	14
11	495	14
12	510	14
13	512	14
done	512	14
0	9	29
1	14	29
2	18	29
3	21	29
4	23	29
5	29	29
6	41	29
7	60	29
8	78	29
9	99	29
10	129	29
11	139	29
12	143	29
13	145	29
done	145	29
0	8	14
1	13	14
2	17	14
3	20	14
4	22	14
5	28	14
6	40	14
7	59	14
8	77	14
9	98	14
10	128	14
11	138	14
12	142	14
13	144	14
done	144	14
0	9	41
1	15	41
2	33	15
3	95	15
4	320	15
5	1186	15
6	4474	15
done	5000	15
0	8	14
1	13	14
2	17	14
3	20	14
4	22	14
5	28	14
6	40	14
7	59	14
8	77	14
9	98	14
10	128	14
11	138	14
12	142	14
13	144	14
done	144	14
0	8	14
1	13	14
2	17	14
3	20	14
4	22	14
5	28	14
6	40	14
7	59	14
8	77	14
9	98	14
10	128	14
11	138	14
12	142	14
13	144	14
done	144	14
0	7	13
1	19	13
2	46	13
3	111	13
4	312	13
5	837	12
6	2553	10
done	5001	10
0	5	7
1	9	7
2	24	7
3	52	7
4	93	7
5	146	7
6	211	7
7	323	7
8	942	7
9	3249	7
done	5000	7
0	10	17
1	33	17
2	89	17
3	293	17
4	992	17
5	3453	17
done	5000	17
0	11	41
1	33	33
2	76	33
3	132	33
4	289	31
5	535	29
6	1739	29
done	5001	29
0	6	8
1	11	8
2	15	8
3	17	8
4	23	8
5	27	8
6	31	8
done	31	8
0	9	27
1	25	27
2	55	27
3	116	27
4	261	27
5	534	27
6	1171	27
7	2848	27
done	5001	27
0	7	13
1	11	13
2	12	13
done	12	13
0	9	15
1	13	15
2	14	15
done	14	15
0	9	15
1	14	15
2	16	15
done	16	15
0	10	16
1	14	16
2	15	16
done	15	16
0	10	16
1	15	16
2	19	16
done	19	16
0	10	16
1	14	16
2	15	16
done	15	16
0	10	16
1	15	16
2	17	16
done	17	16
0	10	17
1	14	17
2	15	17
done	15	17
0	10	17
1	15	17
2	19	17
done	19	17
0	7	13
1	12	13
2	16	13
3	19	13
4	21	13
5	27	13
6	39	13
7	58	13
8	76	13
9	97	13
10	127	13
11	137	13
12	141	13
13	143	13
done	143	13
0	7	13
1	12	13
2	16	13
3	19	13
4	21	13
5	27	13
6	39	13
7	58	13
8	76	13
9	97	13
10	127	13
11	137	13
12	141	13
13	143	13
done	143	13
0	7	13
1	12	13
2	16	13
3	19	13
4	21	13
5	27	13
6	39	13
7	58	13
8	76	13
9	97	13
10	127	13
11	137	13
12	141	13
13	143	13
done	143	13
0	7	13
1	12	13
2	16	13
3	19	13
4	21	13
5	27	13
6	39	13
7	58	13
8	76	13
9	97	13
10	127	13
11	137	13
12	141	13
13	143	13
done	143	13
0	7	13
1	12	13
2	16	13
3	19	13
4	21	13
5	27	13
6	39	13
7	58	13
8	76	13
9	97	13
10	127	13
11	137	13
12	141	13
13	143	13
done	143	13
0	7	13
1	12	13
2	16	13
3	19	13
4	21	13
5	27	13
6	39	13
7	58	13
8	76	13
9	97	13
10	127	13
11	137	13
12	141	13
13	143	13
done	143	13
0	7	13
1	12	13
2	16	13
3	19	13
4	21	13
5	27	13
6	39	13
7	58	13
8	76	13
9	97	13
10	127	13
11	137	13
12	141	13
13	143	13
done	143	13
0	7	13
1	12	13
2	16	13
3	19	13
4	21	13
5	27	13
6	39	13
7	58	13
8	76	13
9	97	13
10	127	13
11	137	13
12	141	13
13	143	13
done	143	13
0	7	13
1	12	13
2	16	13
3	19	13
4	21	13
5	27	13
6	39	13
7	58	13
8	76	13
9	97	13
10	127	13
11	137	13
12	141	13
13	143	13
done	143	13
0	6	8
1	11	8
2	15	8
3	17	8
4	23	8
5	27	8
6	31	8
done	31	8
0	7	9
1	12	9
2	14	9
done	14	9
0	6	8
1	12	8
2	15	8
3	16	8
done	16	8
0	6	8
1	9	8
2	10	8
done	10	8
0	9	23
1	33	23
2	108	11
3	291	9
4	813	9
5	2446	9
done	5001	9
0	7	17
1	10	17
2	11	17
done	11	17
0	6	8
1	9	8
2	10	8
done	10	8
0	7	23
1	17	23
2	50	9
3	128	9
4	336	9
5	825	9
6	2030	9
done	5000	9
0	6	8
1	9	8
2	10	8
done	10	8
0	6	8
1	9	8
2	10	8
done	10	8
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	19
1	18	19
2	28	19
3	34	19
done	34	19
0	7	9
1	10	9
2	11	9
done	11	9
0	8	14
1	13	14
2	16	14
3	17	14
done	17	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	8
1	9	8
2	10	8
done	10	8
0	9	15
1	13	15
2	15	15
3	16	15
done	16	15
0	8	10
1	11	10
2	12	10
done	12	10
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	8
1	9	8
2	10	8
done	10	8
0	8	14
1	13	14
2	14	14
done	14	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	6	6
1	9	4
2	11	4
done	11	4
0	6	8
1	9	8
2	10	8
done	10	8
0	8	10
1	10	10
done	10	10
0	8	10
1	11	10
2	12	10
done	12	10
0	6	6
1	9	4
2	11	4
done	11	4
0	6	8
1	9	8
2	10	8
done	10	8
0	7	11
1	13	11
2	14	11
done	14	11
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	6
2	11	6
done	11	6
0	6	8
1	9	8
2	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	7
1	10	7
done	10	7
0	7	9
1	10	9
2	11	9
done	11	9
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	11
1	13	11
2	14	11
done	14	11
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	6
2	11	6
done	11	6
0	6	8
1	9	8
2	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	7
1	10	7
done	10	7
0	7	9
1	10	9
2	11	9
done	11	9
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	5	5
1	9	5
2	10	5
done	10	5
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	7	13
1	12	13
2	13	13
done	13	13
0	6	8
1	9	8
2	10	8
done	10	8
0	5	5
1	8	3
2	10	3
done	10	3
0	7	9
1	9	9
done	9	9
0	5	5
1	8	3
2	10	3
done	10	3
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	8	11
1	24	11
2	46	11
3	82	11
4	176	11
5	527	11
6	2325	11
done	5000	11
0	7	11
1	12	11
2	20	11
3	38	5
4	65	5
5	106	5
6	166	5
7	334	5
8	1602	5
done	5000	5
0	9	15
1	26	13
2	74	13
3	202	13
4	494	13
5	1263	13
6	3143	13
7	4779	13
done	5000	13
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	9	6
2	11	6
3	12	6
done	12	6
0	5	6
1	6	6
done	6	6
0	8	17
1	30	17
2	91	9
3	216	7
4	489	7
5	1289	7
6	2990	7
done	5001	7
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	14	17
2	30	7
3	68	7
4	149	7
5	296	7
6	576	7
7	1357	7
8	4751	7
done	5000	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	2	2
done	2	2
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	8	15
1	15	15
2	24	15
3	30	15
done	30	15
0	6	7
1	7	7
done	7	7
0	7	10
1	10	10
2	12	10
3	13	10
done	13	10
0	6	7
1	7	7
done	7	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	7	12
1	10	12
done	10	12
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	7	11
1	12	11
done	12	11
0	5	6
1	6	6
done	6	6
0	6	6
1	9	6
done	9	6
0	5	6
1	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	5	5
1	8	5
done	8	5
0	4	5
1	5	5
done	5	5
0	6	11
1	9	11
done	9	11
0	5	6
1	6	6
done	6	6
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	4	5
1	5	5
done	5	5
0	7	9
1	21	9
2	30	9
3	47	9
4	88	9
5	208	9
6	613	9
7	2441	9
done	5000	9
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1596	9
done	5000	9
0	9	11
1	20	11
2	44	11
3	51	11
4	67	9
5	85	9
6	107	9
7	169	9
8	378	9
9	1303	9
done	5000	9
0	17	22
1	46	20
2	121	16
3	335	16
4	1131	15
5	4080	13
done	5000	13
0	17	22
1	46	20
2	121	16
3	335	16
4	1131	15
5	4080	13
done	5000	13
0	10	12
1	24	12
2	60	10
3	107	10
4	156	10
5	219	10
6	344	9
7	740	9
8	1346	9
9	2424	9
done	5001	9
0	11	15
1	26	15
2	53	11
3	97	11
4	217	11
5	625	9
6	2864	9
done	5000	9
0	11	15
1	26	15
2	53	11
3	97	11
4	217	11
5	625	9
6	2864	9
done	5000	9
0	11	15
1	32	13
2	87	11
3	163	11
4	314	11
5	595	11
6	1447	11
done	5000	11
0	11	15
1	27	15
2	61	11
3	122	11
4	262	11
5	765	9
6	4066	9
done	5001	9
0	11	15
1	27	15
2	61	11
3	122	11
4	262	11
5	765	9
6	4066	9
done	5001	9

prune162.0ms

Filtered

78 candidates to 113 candidates (-44.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	109	4	113
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	110	4	114

Merged error: 0.1b

Counts

114 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* x x) (* 1.0 1.0))
0.0b	(+ x (+ x 1.0))
0.0b	(- (neg x) (+ x (+ x 1.0)))
15.1b	(/ (* 1.0 (- (neg x) (+ x (+ x 1.0)))) (- (* x x) (* 1.0 1.0)))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

29×	`*-un-lft-identity` `add-log-exp`
9×	`add-exp-log` `sum-log` `add-cbrt-cube` `distribute-lft-out`
8×	`add-sqr-sqrt`
7×	`diff-log`
6×	`add-cube-cbrt` `distribute-lft-out--`
4×	`pow1` `flip3--` `times-frac` `associate-/r*` `flip--` `difference-of-squares`
3×	`distribute-rgt-neg-in` `neg-log`
2×	`cbrt-undiv` `sub-neg` `associate-*r/` `div-exp` `associate-/r/` `associate-/l/`
1×	`+-commutative` `associate--l-` `neg-sub0` `associate-+r+` `frac-2neg` `flip3-+` `prod-exp` `clear-num` `cbrt-unprod` `flip-+` `div-inv` `associate-/l*` `associate--r+`

Counts

4 → 81

Calls

4 calls:

4.0ms	(- (* x x) (* 1.0 1.0))
6.0ms	(+ x (+ x 1.0))
13.0ms	(- (neg x) (+ x (+ x 1.0)))
22.0ms	(/ (* 1.0 (- (neg x) (+ x (+ x 1.0)))) (- (* x x) (* 1.0 1.0)))

series18.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(- (* x x) (* 1.0 1.0))
4.0ms	(+ x (+ x 1.0))
4.0ms	(- (neg x) (+ x (+ x 1.0)))
5.0ms	(/ (* 1.0 (- (neg x) (+ x (+ x 1.0)))) (- (* x x) (* 1.0 1.0)))

simplify4.0min

Counts

93 → 93

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	14	21
1	31	21
2	68	21
3	130	20
4	223	19
5	383	18
6	688	18
7	1087	18
8	2580	18
done	5001	18
0	13	20
1	31	20
2	73	20
3	162	19
4	292	18
5	511	17
6	954	17
7	1526	17
8	3205	17
done	5000	17
0	12	19
1	30	19
2	90	19
3	283	18
4	785	16
5	2145	16
done	5000	16
0	12	19
1	27	19
2	76	19
3	244	18
4	742	16
5	2239	16
done	5000	16
0	16	56
1	43	56
2	217	24
3	1767	23
done	5000	23
0	15	56
1	45	56
2	230	22
3	1966	19
done	5001	19
0	13	39
1	28	39
2	77	39
3	240	37
4	685	33
5	1947	33
done	5000	33
0	12	19
1	27	19
2	76	19
3	238	18
4	683	16
5	1945	16
done	5001	16
0	13	56
1	35	56
2	132	20
3	848	19
done	5000	19
0	12	19
1	27	19
2	76	19
3	238	18
4	683	16
5	1945	16
done	5001	16
0	12	19
1	27	19
2	76	19
3	238	18
4	683	16
5	1945	16
done	5001	16
0	8	11
1	21	11
2	59	11
3	165	9
4	388	7
5	525	7
6	619	7
7	634	7
done	634	7
0	6	8
1	11	8
2	25	8
3	60	8
4	141	7
5	243	7
6	460	7
7	942	7
8	3837	7
done	5000	7
0	8	19
1	15	19
2	22	19
3	37	19
4	62	19
5	103	19
6	161	19
7	329	19
8	1610	19
done	5000	19
0	11	17
1	26	17
2	60	17
3	118	16
4	199	15
5	370	14
6	698	14
7	1032	14
8	2492	14
done	5001	14
0	7	10
1	12	10
2	19	10
3	34	10
4	59	10
5	100	10
6	156	10
7	324	10
8	1578	10
done	5001	10
0	11	17
1	26	17
2	60	17
3	118	16
4	199	15
5	370	14
6	698	14
7	1032	14
8	2492	14
done	5001	14
0	3	3
1	5	1
done	5	1
0	10	16
1	25	16
2	65	16
3	153	15
4	301	13
5	644	13
6	1345	13
7	2178	13
8	4683	13
done	5000	13
0	4	5
1	5	5
done	5	5
0	8	12
1	21	12
2	50	12
3	94	11
4	151	10
5	288	9
6	528	9
7	638	9
8	683	9
9	711	9
10	713	9
done	713	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	11	18
1	29	18
2	97	18
3	243	17
4	585	14
5	1799	13
done	5001	13
0	13	28
1	33	28
2	86	28
3	245	27
4	635	26
5	1414	25
6	2922	25
7	4411	25
done	5000	25
0	12	19
1	27	19
2	64	19
3	169	18
4	383	17
5	785	16
6	1522	16
7	2292	16
8	3981	16
done	5000	16
0	9	12
1	22	10
2	58	10
3	157	9
4	315	8
5	651	7
6	1116	7
7	1433	7
8	1596	7
9	1743	7
10	1779	7
done	1779	7
0	8	14
1	19	14
2	51	14
3	144	13
4	346	12
5	715	11
6	1373	11
7	3313	11
done	5000	11
0	10	16
1	25	16
2	60	16
3	159	15
4	330	14
5	751	13
6	1507	13
7	2258	13
8	4305	13
done	5000	13
0	14	22
1	44	22
2	140	18
3	432	17
4	1716	16
done	5000	16
0	13	26
1	37	26
2	98	22
3	304	17
4	1089	16
5	4391	15
done	5000	15
0	14	34
1	51	26
2	206	25
3	1193	25
done	5000	25
0	10	16
1	28	16
2	103	15
3	439	15
4	1711	13
done	5000	13
0	9	13
1	23	11
2	47	10
3	92	9
4	135	8
5	195	7
6	366	6
7	852	6
8	2239	6
done	5000	6
0	9	12
1	23	10
2	44	9
3	79	9
4	121	9
5	196	7
6	404	6
7	919	6
8	2237	6
done	5000	6
0	9	11
1	21	10
2	39	9
3	82	9
4	136	7
5	244	6
6	531	6
7	1495	6
done	5001	6
0	9	12
1	19	11
2	42	10
3	76	9
4	120	8
5	180	7
6	343	6
7	830	6
8	2191	6
done	5000	6
0	9	11
1	19	10
2	38	9
3	68	9
4	113	9
5	191	7
6	397	6
7	915	6
8	2218	6
done	5001	6
0	8	10
1	19	9
2	42	9
3	93	9
4	172	8
5	350	7
6	779	6
7	1909	6
done	5000	6
0	7	9
1	15	9
2	37	9
3	67	8
4	100	7
5	158	6
6	256	6
7	272	6
8	275	6
9	281	6
done	281	6
0	7	9
1	18	9
2	53	9
3	115	8
4	215	7
5	434	6
6	1059	6
7	2673	6
done	5000	6
0	8	19
1	16	19
2	38	19
3	69	17
4	102	15
5	160	13
6	259	13
7	275	13
8	278	13
9	286	13
done	286	13
0	7	9
1	15	9
2	37	9
3	67	8
4	100	7
5	158	6
6	256	6
7	272	6
8	275	6
9	281	6
done	281	6
0	8	26
1	17	26
2	53	10
3	197	9
4	994	8
done	5000	8
0	7	9
1	15	9
2	37	9
3	67	8
4	100	7
5	158	6
6	256	6
7	272	6
8	275	6
9	281	6
done	281	6
0	7	9
1	15	9
2	37	9
3	67	8
4	100	7
5	158	6
6	256	6
7	272	6
8	275	6
9	281	6
done	281	6
0	9	12
1	30	12
2	95	12
3	334	12
4	1459	12
done	5001	12
0	10	26
1	37	18
2	123	17
3	475	17
4	2592	15
done	5000	15
0	5	6
1	12	6
2	22	6
3	37	5
4	44	5
5	53	5
6	69	5
7	79	5
8	83	5
9	93	5
10	94	5
done	94	5
0	8	17
1	28	15
2	98	15
3	342	15
4	1526	11
done	5001	11
0	6	8
1	13	8
2	31	7
3	50	7
4	61	5
5	81	3
6	205	3
7	679	3
8	1588	3
done	5000	3
0	8	10
1	13	10
2	16	10
3	17	10
done	17	10
0	8	10
1	14	10
2	18	10
3	19	10
done	19	10
0	6	8
1	14	8
2	36	8
3	67	7
4	100	6
5	158	5
6	255	5
7	272	5
8	275	5
9	281	5
done	281	5
0	6	8
1	14	8
2	36	8
3	67	7
4	100	6
5	158	5
6	255	5
7	272	5
8	275	5
9	281	5
done	281	5
0	6	8
1	14	8
2	36	8
3	67	7
4	100	6
5	158	5
6	255	5
7	272	5
8	275	5
9	281	5
done	281	5
0	6	8
1	14	8
2	36	8
3	67	7
4	100	6
5	158	5
6	255	5
7	272	5
8	275	5
9	281	5
done	281	5
0	6	8
1	14	8
2	36	8
3	67	7
4	100	6
5	158	5
6	255	5
7	272	5
8	275	5
9	281	5
done	281	5
0	6	8
1	14	8
2	36	8
3	67	7
4	100	6
5	158	5
6	255	5
7	272	5
8	275	5
9	281	5
done	281	5
0	3	4
1	4	4
2	8	4
3	10	4
4	14	3
5	15	3
done	15	3
0	5	7
1	11	7
2	19	7
3	25	5
4	28	5
done	28	5
0	5	6
1	12	6
2	22	6
3	37	5
4	44	5
5	53	5
6	69	5
7	79	5
8	83	5
9	93	5
10	94	5
done	94	5
0	6	8
1	12	7
2	20	6
3	24	6
4	27	6
5	31	6
6	44	6
7	83	6
8	165	6
9	385	6
10	1153	6
11	4356	6
done	5000	6
0	6	7
1	12	6
2	18	6
3	24	6
4	27	6
5	31	6
6	44	6
7	83	6
8	165	6
9	390	6
10	1173	6
11	4404	6
done	5000	6
0	5	6
1	9	6
2	12	6
3	13	6
done	13	6
0	5	6
1	12	6
2	21	6
3	28	6
4	32	6
5	45	6
6	82	6
7	163	6
8	391	6
9	1170	6
10	4373	6
done	5000	6
0	6	13
1	10	13
2	13	13
3	14	13
done	14	13
0	5	6
1	9	6
2	12	6
3	13	6
done	13	6
0	6	17
1	23	17
2	90	7
3	331	7
4	1370	7
done	5001	7
0	5	6
1	9	6
2	12	6
3	13	6
done	13	6
0	5	6
1	9	6
2	12	6
3	13	6
done	13	6
0	7	9
1	22	9
2	47	9
3	103	9
4	242	9
5	706	9
6	2435	9
done	5000	9
0	8	17
1	25	13
2	64	13
3	213	11
4	762	9
5	3751	9
done	5001	9
0	6	11
1	18	11
2	48	11
3	132	9
4	377	8
5	1605	8
done	5000	8
0	4	5
1	9	5
2	19	3
3	28	2
4	98	2
5	716	2
6	1527	2
7	3437	2
done	5000	2
0	4	5
1	8	5
2	11	5
3	12	5
done	12	5
0	4	5
1	8	5
2	11	5
3	12	5
done	12	5
0	2	3
1	4	3
2	5	3
done	5	3
0	7	9
1	13	8
2	25	8
3	52	8
4	141	8
5	464	8
6	2518	8
done	5001	8
0	6	8
1	11	8
2	21	8
3	37	8
4	62	8
5	103	8
6	161	8
7	329	8
8	1610	8
done	5000	8
0	6	8
1	14	8
2	29	8
3	64	8
4	142	8
5	361	8
6	1304	8
done	5000	8
0	7	17
1	12	17
2	19	17
3	34	17
4	59	17
5	100	17
6	156	17
7	324	17
8	1653	17
done	5000	17
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	7	23
1	13	23
2	45	9
3	236	9
4	1272	9
done	5000	9
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	8	11
1	27	11
2	89	7
3	214	7
4	541	7
5	1943	7
done	5000	7
0	9	23
1	30	19
2	62	17
3	85	15
4	114	15
5	162	15
6	328	15
7	830	15
8	3018	15
done	5000	15
0	3	4
1	6	4
done	6	4
0	7	15
1	20	15
2	41	11
3	87	7
4	212	7
5	581	7
6	1497	7
done	5000	7
0	5	7
1	6	7
done	6	7
0	3	3
1	4	3
done	4	3
0	3	3
1	5	3
2	6	3
done	6	3
0	3	4
1	6	4
done	6	4
0	9	11
1	20	11
2	44	11
3	51	11
4	67	9
5	85	9
6	107	9
7	169	9
8	378	9
9	1303	9
done	5000	9
0	17	22
1	46	20
2	121	16
3	335	16
4	1131	15
5	4080	13
done	5000	13
0	17	22
1	46	20
2	121	16
3	335	16
4	1131	15
5	4080	13
done	5000	13
0	6	6
1	11	6
2	20	5
3	21	5
done	21	5
0	6	6
1	11	6
2	20	5
3	21	5
done	21	5
0	6	6
1	11	6
2	20	5
3	21	5
done	21	5
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	5	5
1	12	5
2	21	5
3	26	5
4	32	5
5	42	5
6	64	5
7	131	5
8	349	5
9	1272	5
done	5000	5
0	5	5
1	12	5
2	21	5
3	26	5
4	32	5
5	42	5
6	64	5
7	131	5
8	349	5
9	1272	5
done	5000	5
0	5	5
1	12	5
2	21	5
3	26	5
4	32	5
5	42	5
6	64	5
7	131	5
8	349	5
9	1272	5
done	5000	5

prune131.0ms

Filtered

67 candidates to 93 candidates (-38.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	90	3	93
Fresh	3	0	3
Picked	1	0	1
Done	0	0	0
Total	94	3	97

Merged error: 0b

Counts

97 → 3

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (* -2 x) (+ x 1.0))
0.0b	(/ (- (/ (* -2 x) (+ x 1.0)) 1) (- x 1.0))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

58×	`add-sqr-sqrt`
56×	`*-un-lft-identity`
39×	`times-frac`
20×	`difference-of-squares`
18×	`add-cube-cbrt`
14×	`distribute-lft-out--`
9×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
8×	`associate-/l*`
6×	`difference-of-sqr-1`
4×	`associate-/r/`
3×	`cbrt-undiv` `div-exp`
2×	`pow1` `flip3--` `frac-2neg` `clear-num` `flip--` `div-inv` `associate-/l/` `distribute-lft-out` `add-log-exp`
1×	`flip3-+` `div-sub` `prod-exp` `cbrt-unprod` `flip-+`

Counts

2 → 89

Calls

2 calls:

7.0ms	(/ (* -2 x) (+ x 1.0))
17.0ms	(/ (- (/ (* -2 x) (+ x 1.0)) 1) (- x 1.0))

series9.0ms

Counts

2 → 6

Calls

2 calls:

3.0ms	(/ (* -2 x) (+ x 1.0))
6.0ms	(/ (- (/ (* -2 x) (+ x 1.0)) 1) (- x 1.0))

simplify2.7min

Counts

95 → 95

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	15
1	25	15
2	32	15
3	35	15
4	36	15
done	36	15
0	11	14
1	28	14
2	42	14
3	73	14
4	134	14
5	209	14
6	307	14
7	492	14
8	1181	14
9	4939	14
done	5000	14
0	11	14
1	25	14
2	40	14
3	72	14
4	139	14
5	233	14
6	383	14
7	809	14
8	2137	14
done	5001	14
0	14	41
1	34	41
2	99	17
3	310	15
4	1129	15
done	5000	15
0	12	29
1	26	29
2	38	29
3	68	29
4	130	29
5	205	29
6	305	29
7	490	29
8	1180	29
9	4938	29
done	5000	29
0	11	14
1	25	14
2	37	14
3	67	14
4	128	14
5	203	14
6	300	14
7	485	14
8	1174	14
9	4934	14
done	5000	14
0	12	41
1	33	41
2	73	15
3	257	15
4	1133	15
done	5000	15
0	11	14
1	25	14
2	37	14
3	67	14
4	128	14
5	203	14
6	300	14
7	485	14
8	1174	14
9	4934	14
done	5000	14
0	11	14
1	25	14
2	37	14
3	67	14
4	128	14
5	203	14
6	300	14
7	485	14
8	1174	14
9	4934	14
done	5000	14
0	9	10
1	18	10
2	26	10
3	40	9
4	56	9
5	63	9
done	63	9
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	8	11
1	16	11
2	43	11
3	93	11
4	160	11
5	252	11
6	431	11
7	1195	11
8	4584	9
done	5000	9
0	5	5
1	9	5
2	10	5
done	10	5
0	14	31
1	31	31
2	46	31
3	55	31
4	56	31
done	56	31
0	12	15
1	23	15
2	29	15
3	32	15
4	33	15
done	33	15
0	13	26
1	26	26
2	34	26
3	38	26
4	39	26
done	39	26
0	12	15
1	23	15
2	29	15
3	32	15
4	33	15
done	33	15
0	11	23
1	22	21
2	33	21
3	41	21
4	42	21
done	42	21
0	11	14
1	22	14
2	28	14
3	31	14
4	32	14
done	32	14
0	14	27
1	26	27
2	33	27
3	37	27
4	38	27
done	38	27
0	13	16
1	24	16
2	30	16
3	33	16
4	34	16
done	34	16
0	11	23
1	22	21
2	33	21
3	41	21
4	42	21
done	42	21
0	11	14
1	22	14
2	28	14
3	31	14
4	32	14
done	32	14
0	13	20
1	26	20
2	32	20
3	35	20
4	36	20
done	36	20
0	12	15
1	23	15
2	29	15
3	32	15
4	33	15
done	33	15
0	12	15
1	23	15
2	29	15
3	32	15
4	33	15
done	33	15
0	12	15
1	23	15
2	29	15
3	32	15
4	33	15
done	33	15
0	10	12
1	19	10
2	26	10
3	29	10
4	30	10
done	30	10
0	11	14
1	22	14
2	28	14
3	31	14
4	32	14
done	32	14
0	13	16
1	23	16
2	28	16
3	31	16
4	32	16
done	32	16
0	13	16
1	24	16
2	30	16
3	33	16
4	34	16
done	34	16
0	10	12
1	19	10
2	26	10
3	29	10
4	30	10
done	30	10
0	11	14
1	22	14
2	28	14
3	31	14
4	32	14
done	32	14
0	7	11
1	13	11
2	14	11
done	14	11
0	11	14
1	25	14
2	37	14
3	67	14
4	94	14
5	117	14
6	127	14
7	135	14
8	144	14
9	154	14
10	163	14
11	561	14
12	3627	14
done	5000	14
0	6	6
1	10	6
2	11	6
done	11	6
0	11	14
1	25	14
2	37	14
3	67	14
4	94	14
5	117	14
6	127	14
7	135	14
8	144	14
9	154	14
10	163	14
11	561	14
12	3627	14
done	5000	14
0	2	3
1	4	1
done	4	1
0	10	13
1	24	13
2	36	13
3	66	13
4	127	13
5	202	13
6	299	13
7	486	13
8	1177	13
9	4952	13
done	5000	13
0	7	7
1	10	7
done	10	7
0	12	15
1	26	15
2	38	15
3	68	15
4	131	15
5	211	15
6	310	15
7	470	15
8	758	15
9	1229	15
10	2464	15
done	5000	15
0	2	3
1	4	1
done	4	1
0	10	13
1	24	13
2	36	13
3	66	13
4	127	13
5	202	13
6	299	13
7	486	13
8	1177	13
9	4952	13
done	5000	13
0	14	21
1	25	20
2	30	20
3	33	20
4	34	20
done	34	20
0	13	16
1	26	15
2	34	15
3	39	15
4	40	15
done	40	15
0	13	16
1	22	15
2	27	15
3	30	15
4	31	15
done	31	15
0	13	16
1	26	15
2	34	15
3	39	15
4	40	15
done	40	15
0	11	13
1	18	10
2	24	10
3	27	10
4	28	10
done	28	10
0	12	15
1	25	14
2	33	14
3	38	14
4	39	14
done	39	14
0	14	17
1	22	16
2	26	16
3	29	16
4	30	16
done	30	16
0	14	17
1	27	16
2	35	16
3	40	16
4	41	16
done	41	16
0	11	13
1	18	10
2	24	10
3	27	10
4	28	10
done	28	10
0	12	15
1	25	14
2	33	14
3	38	14
4	39	14
done	39	14
0	13	20
1	24	20
2	29	20
3	32	20
4	33	20
done	33	20
0	12	15
1	26	15
2	34	15
3	39	15
4	40	15
done	40	15
0	12	15
1	21	15
2	26	15
3	29	15
4	30	15
done	30	15
0	12	15
1	26	15
2	34	15
3	39	15
4	40	15
done	40	15
0	10	12
1	17	10
2	23	10
3	26	10
4	27	10
done	27	10
0	11	14
1	25	14
2	33	14
3	38	14
4	39	14
done	39	14
0	13	16
1	21	16
2	25	16
3	28	16
4	29	16
done	29	16
0	13	16
1	27	16
2	35	16
3	40	16
4	41	16
done	41	16
0	10	12
1	17	10
2	23	10
3	26	10
4	27	10
done	27	10
0	11	14
1	25	14
2	33	14
3	38	14
4	39	14
done	39	14
0	13	20
1	24	20
2	29	20
3	32	20
4	33	20
done	33	20
0	12	15
1	26	15
2	34	15
3	39	15
4	40	15
done	40	15
0	12	15
1	21	15
2	26	15
3	29	15
4	30	15
done	30	15
0	12	15
1	26	15
2	34	15
3	39	15
4	40	15
done	40	15
0	10	12
1	17	10
2	23	10
3	26	10
4	27	10
done	27	10
0	11	14
1	25	14
2	33	14
3	38	14
4	39	14
done	39	14
0	13	16
1	21	16
2	25	16
3	28	16
4	29	16
done	29	16
0	13	16
1	27	16
2	35	16
3	40	16
4	41	16
done	41	16
0	10	12
1	17	10
2	23	10
3	26	10
4	27	10
done	27	10
0	11	14
1	25	14
2	33	14
3	38	14
4	39	14
done	39	14
0	7	11
1	13	11
2	14	11
done	14	11
0	11	14
1	25	14
2	37	14
3	67	14
4	94	14
5	117	14
6	127	14
7	135	14
8	144	14
9	154	14
10	163	14
11	561	14
12	3627	14
done	5000	14
0	6	6
1	10	6
2	11	6
done	11	6
0	11	14
1	25	14
2	37	14
3	67	14
4	94	14
5	117	14
6	127	14
7	135	14
8	144	14
9	154	14
10	163	14
11	561	14
12	3627	14
done	5000	14
0	2	3
1	4	1
done	4	1
0	10	13
1	24	13
2	36	13
3	66	13
4	127	13
5	202	13
6	299	13
7	486	13
8	1177	13
9	4952	13
done	5000	13
0	7	7
1	10	7
done	10	7
0	12	15
1	26	15
2	38	15
3	68	15
4	131	15
5	211	15
6	310	15
7	470	15
8	758	15
9	1229	15
10	2464	15
done	5000	15
0	2	3
1	4	1
done	4	1
0	10	13
1	24	13
2	36	13
3	66	13
4	127	13
5	202	13
6	299	13
7	486	13
8	1177	13
9	4952	13
done	5000	13
0	5	5
1	9	5
2	10	5
done	10	5
0	10	13
1	24	13
2	32	13
3	37	13
4	38	13
done	38	13
0	12	19
1	28	19
2	45	19
3	91	19
4	179	19
5	271	19
6	319	19
7	347	19
8	374	19
9	400	19
10	423	19
11	1563	19
done	5000	19
0	11	14
1	25	14
2	37	14
3	67	14
4	94	14
5	117	14
6	127	14
7	135	14
8	144	14
9	154	14
10	163	14
11	561	14
12	3627	14
done	5000	14
0	9	11
1	21	9
2	33	9
3	65	9
4	99	9
5	127	9
6	141	9
7	149	9
done	149	9
0	12	15
1	25	15
2	36	15
3	66	15
4	125	15
5	178	15
6	218	15
7	242	15
8	277	15
9	348	15
10	454	15
11	1019	15
done	5000	15
0	9	11
1	21	9
2	33	9
3	65	9
4	99	9
5	127	9
6	141	9
7	149	9
done	149	9
0	11	14
1	25	14
2	33	14
3	38	14
4	39	14
done	39	14
0	11	14
1	25	14
2	33	14
3	38	14
4	39	14
done	39	14
0	10	13
1	24	13
2	32	13
3	37	13
4	38	13
done	38	13
0	12	15
1	25	14
2	33	14
3	38	14
4	39	14
done	39	14
0	11	14
1	25	14
2	33	14
3	38	14
4	39	14
done	39	14
0	11	14
1	25	14
2	33	14
3	38	14
4	39	14
done	39	14
0	10	13
1	24	13
2	32	13
3	37	13
4	38	13
done	38	13
0	13	17
1	40	17
2	73	17
3	150	17
4	407	17
5	1706	17
done	5001	17
0	12	17
1	28	17
2	51	17
3	121	17
4	331	17
5	714	17
6	1668	17
done	5000	17
0	14	33
1	42	29
2	139	29
3	510	23
4	1910	23
done	5000	23
0	10	13
1	26	13
2	58	13
3	208	13
4	507	13
5	931	13
6	1808	13
7	3696	13
8	4468	13
9	4596	13
10	4600	13
done	4600	13
0	9	10
1	15	10
2	22	10
3	28	10
4	34	10
5	43	10
6	56	10
7	74	10
8	90	10
9	97	10
10	114	10
11	116	10
done	116	10
0	8	9
1	15	9
2	21	9
3	30	9
4	33	9
5	39	9
6	48	9
7	61	9
8	79	9
9	95	9
10	102	9
11	119	9
12	121	9
done	121	9
0	7	8
1	14	8
2	26	8
3	45	8
4	61	8
5	69	8
6	81	8
7	99	8
8	115	8
9	122	8
10	139	8
11	141	8
done	141	8
0	7	8
1	11	8
2	15	8
3	20	8
4	29	8
5	43	8
6	79	8
7	171	8
8	386	8
9	1148	8
10	4549	8
done	5000	8
0	12	23
1	42	19
2	146	11
3	482	11
4	1702	9
5	4977	9
done	5000	9
0	10	23
1	43	21
2	171	11
3	789	9
4	2969	9
done	5000	9
0	8	17
1	12	17
2	16	17
3	19	17
4	20	17
done	20	17
0	7	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	8	23
1	19	23
2	60	9
3	241	9
4	1016	9
5	3108	9
done	5000	9
0	7	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	7	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	4	4
1	10	3
2	12	3
done	12	3
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	7	11
1	10	11
done	10	11
0	5	6
1	6	6
done	6	6
0	6	6
1	7	6
done	7	6
0	5	6
1	6	6
done	6	6
0	3	3
1	5	1
done	5	1
0	4	5
1	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	4	5
1	5	5
done	5	5
0	5	5
1	8	5
done	8	5
0	6	7
1	10	7
2	12	7
done	12	7
0	8	13
1	17	13
2	31	13
3	44	13
4	48	13
done	48	13
0	7	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	5	5
1	10	3
2	19	3
3	24	3
done	24	3
0	5	5
1	10	3
2	19	3
3	24	3
done	24	3
0	4	5
1	5	5
done	5	5
0	9	11
1	26	11
2	39	11
3	59	11
4	99	11
5	214	11
6	626	11
7	2458	11
done	5000	11
0	8	11
1	16	11
2	39	11
3	88	11
4	159	11
5	262	9
6	399	9
7	1110	9
done	5000	9
0	9	11
1	20	11
2	44	11
3	51	11
4	67	9
5	85	9
6	107	9
7	169	9
8	378	9
9	1303	9
done	5000	9
0	17	22
1	45	20
2	115	16
3	321	15
4	1074	15
5	3957	13
done	5000	13
0	17	22
1	45	20
2	115	16
3	321	15
4	1074	15
5	3957	13
done	5000	13
0	11	15
1	32	13
2	87	11
3	186	11
4	445	11
5	1035	11
6	3387	11
done	5000	11
0	11	15
1	27	15
2	58	11
3	130	11
4	331	11
5	1022	9
done	5000	9
0	11	15
1	27	15
2	58	11
3	130	11
4	331	11
5	1022	9
done	5000	9

prune144.0ms

Filtered

66 candidates to 95 candidates (-43.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	95	0	95
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	95	3	98

Merged error: 0b

Counts

98 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* -3 x) 1.0)
0.0b	(- (* x (/ x 1.0)) 1.0)
0.1b	(/ 1 (/ (- (* x (/ x 1.0)) 1.0) (- (* -3 x) 1.0)))
15.1b	(/ (- (* x (/ x 1.0)) 1.0) (- (* -3 x) 1.0))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
56×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
18×	`associate-/r*`
17×	`add-exp-log`
11×	`associate-/r/` `add-cbrt-cube`
8×	`flip3--` `div-exp` `flip--` `add-log-exp`
6×	`div-inv` `associate-/l*`
5×	`pow1`
4×	`cbrt-undiv`
2×	`sub-neg` `rec-exp` `frac-2neg` `diff-log` `1-exp` `clear-num` `associate-/l/`
1×	`pow-flip` `div-sub` `inv-pow`

Counts

4 → 140

Calls

4 calls:

4.0ms	(- (* -3 x) 1.0)
6.0ms	(- (* x (/ x 1.0)) 1.0)
13.0ms	(/ 1 (/ (- (* x (/ x 1.0)) 1.0) (- (* -3 x) 1.0)))
12.0ms	(/ (- (* x (/ x 1.0)) 1.0) (- (* -3 x) 1.0))

series21.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(- (* -3 x) 1.0)
7.0ms	(- (* x (/ x 1.0)) 1.0)
5.0ms	(/ 1 (/ (- (* x (/ x 1.0)) 1.0) (- (* -3 x) 1.0)))
5.0ms	(/ (- (* x (/ x 1.0)) 1.0) (- (* -3 x) 1.0))

simplify5.7min

Counts

152 → 152

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	15
1	20	15
2	25	15
done	25	15
0	10	14
1	23	14
2	37	14
3	58	14
4	90	14
5	135	14
6	209	14
7	526	14
8	2038	14
done	5000	14
0	10	14
1	20	14
2	35	14
3	57	14
4	96	14
5	157	14
6	271	14
7	771	14
8	2716	14
done	5000	14
0	13	41
1	29	41
2	92	17
3	318	15
4	1147	15
5	4886	15
done	5000	15
0	11	29
1	21	29
2	33	29
3	53	29
4	85	29
5	130	29
6	204	29
7	516	29
8	2014	29
done	5000	29
0	10	14
1	20	14
2	32	14
3	52	14
4	84	14
5	129	14
6	203	14
7	515	14
8	2006	14
done	5001	14
0	11	41
1	28	41
2	68	15
3	246	15
4	1028	15
5	4568	15
done	5000	15
0	10	14
1	20	14
2	32	14
3	52	14
4	84	14
5	129	14
6	203	14
7	515	14
8	2006	14
done	5001	14
0	10	14
1	20	14
2	32	14
3	52	14
4	84	14
5	129	14
6	203	14
7	515	14
8	2006	14
done	5001	14
0	6	8
1	11	8
2	17	8
3	28	8
4	35	7
5	37	7
done	37	7
0	6	6
1	9	6
2	13	6
3	22	5
4	23	5
done	23	5
0	8	11
1	16	11
2	29	11
3	54	11
4	91	11
5	127	9
6	239	9
7	805	9
8	3142	9
done	5001	9
0	6	7
1	9	7
2	10	7
done	10	7
0	13	31
1	26	31
2	39	31
3	45	31
done	45	31
0	11	15
1	18	15
2	22	15
done	22	15
0	12	24
1	21	24
2	27	24
3	28	24
done	28	24
0	11	15
1	18	15
2	22	15
done	22	15
0	9	19
1	18	17
2	27	17
3	32	17
done	32	17
0	10	14
1	17	14
2	21	14
done	21	14
0	12	22
1	21	22
2	25	22
done	25	22
0	11	15
1	18	15
2	22	15
done	22	15
0	11	15
1	18	15
2	22	15
done	22	15
0	11	15
1	18	15
2	22	15
done	22	15
0	8	10
1	15	8
2	20	8
done	20	8
0	10	14
1	17	14
2	21	14
done	21	14
0	9	15
1	16	15
2	17	15
done	17	15
0	10	14
1	20	14
2	32	14
3	47	14
4	57	14
5	60	14
done	60	14
0	8	8
1	13	8
2	14	8
done	14	8
0	10	14
1	20	14
2	32	14
3	47	14
4	57	14
5	60	14
done	60	14
0	2	3
1	4	1
done	4	1
0	9	13
1	19	13
2	31	13
3	51	13
4	83	13
5	128	13
6	202	13
7	512	13
8	2005	13
done	5001	13
0	7	7
1	12	7
2	13	7
done	13	7
0	9	13
1	19	13
2	29	13
3	40	13
4	62	13
5	92	13
6	114	13
7	265	13
8	728	13
9	3673	13
done	5000	13
0	11	21
1	23	21
2	44	21
3	82	21
4	129	21
5	145	21
done	145	21
0	10	14
1	20	14
2	32	14
3	47	14
4	57	14
5	60	14
done	60	14
0	7	9
1	17	7
2	30	7
3	49	7
4	68	7
done	68	7
0	10	14
1	20	14
2	30	14
3	36	14
4	38	14
done	38	14
0	10	14
1	20	14
2	30	14
3	36	14
4	38	14
done	38	14
0	9	13
1	19	13
2	29	13
3	40	13
4	62	13
5	92	13
6	114	13
7	265	13
8	728	13
9	3673	13
done	5000	13
0	12	17
1	40	17
2	97	17
3	226	17
4	542	17
5	1986	17
done	5000	17
0	11	19
1	32	17
2	70	17
3	142	17
4	325	17
5	734	17
6	1481	17
7	3392	17
done	5000	17
0	13	29
1	41	27
2	136	27
3	507	23
4	1523	23
5	3711	21
done	5000	21
0	9	13
1	23	13
2	57	13
3	158	13
4	301	13
5	448	13
6	616	13
7	1007	13
8	4468	13
done	5000	13
0	2	2
1	5	1
done	5	1
0	12	16
1	21	16
2	29	16
3	31	16
4	32	15
done	32	15
0	11	15
1	24	15
2	38	15
3	62	15
4	96	15
5	142	15
6	218	15
7	535	15
8	2050	15
done	5000	15
0	13	17
1	26	16
2	43	16
3	62	15
4	92	15
5	118	15
6	127	15
7	141	15
done	141	15
0	12	16
1	27	15
2	47	15
3	80	15
4	138	15
5	213	15
6	295	15
7	615	15
8	2127	15
done	5000	15
0	14	18
1	29	17
2	41	16
3	66	15
4	95	15
5	122	15
6	131	15
7	148	15
done	148	15
0	13	17
1	30	16
2	47	15
3	84	15
4	142	15
5	216	15
6	254	15
7	382	15
8	999	15
9	3596	15
done	5000	15
0	12	16
1	30	15
2	57	15
3	116	14
4	268	14
5	556	14
6	909	14
7	1736	14
8	4491	14
done	5001	14
0	12	16
1	26	16
2	49	16
3	104	14
4	277	14
5	635	14
6	1328	14
7	4073	14
done	5000	14
0	17	47
1	40	43
2	127	19
3	536	17
4	2269	17
done	5001	17
0	15	47
1	41	43
2	101	17
3	404	17
4	1801	15
done	5000	15
0	13	33
1	27	33
2	48	33
3	94	29
4	230	29
5	488	29
6	821	29
7	1642	29
8	4278	29
done	5000	29
0	12	16
1	26	16
2	47	16
3	93	14
4	227	14
5	485	14
6	833	14
7	1862	14
done	5000	14
0	13	47
1	34	47
2	90	17
3	372	15
4	1418	15
done	5001	15
0	12	16
1	26	16
2	47	16
3	93	14
4	227	14
5	485	14
6	833	14
7	1862	14
done	5000	14
0	12	16
1	26	16
2	47	16
3	93	14
4	227	14
5	485	14
6	833	14
7	1862	14
done	5000	14
0	2	2
1	5	1
done	5	1
0	10	14
1	22	14
2	37	14
3	71	14
4	124	13
5	198	13
6	288	13
7	623	13
8	2243	13
done	5000	13
0	15	35
1	33	33
2	54	31
3	80	31
4	112	31
5	156	31
6	187	31
7	308	31
8	921	31
9	3573	31
done	5000	31
0	13	17
1	25	16
2	37	16
3	57	16
4	89	16
5	133	16
6	168	16
7	292	16
8	900	16
9	3186	16
done	5001	16
0	14	20
1	28	18
2	42	16
3	63	16
4	95	16
5	139	16
6	170	16
7	285	16
8	897	16
9	3522	16
done	5001	16
0	13	17
1	25	16
2	37	16
3	57	16
4	89	16
5	133	16
6	168	16
7	292	16
8	900	16
9	3186	16
done	5001	16
0	17	37
1	36	35
2	76	33
3	148	31
4	206	31
done	206	31
0	14	18
1	25	17
2	32	17
3	33	15
4	46	15
5	53	15
done	53	15
0	16	30
1	31	28
2	53	26
3	86	24
4	113	24
done	113	24
0	14	18
1	25	17
2	32	17
3	33	15
4	46	15
5	53	15
done	53	15
0	12	25
1	25	19
2	42	19
3	51	19
done	51	19
0	13	17
1	24	16
2	37	16
3	63	14
4	124	14
5	195	14
6	221	14
7	224	14
8	225	14
done	225	14
0	16	28
1	31	26
2	50	24
3	70	22
4	74	22
done	74	22
0	14	18
1	25	17
2	32	17
3	33	15
4	46	15
5	53	15
done	53	15
0	15	21
1	28	19
2	41	17
3	49	15
4	50	15
done	50	15
0	14	18
1	25	17
2	32	17
3	33	15
4	46	15
5	53	15
done	53	15
0	11	16
1	22	10
2	30	10
done	30	10
0	13	17
1	24	16
2	37	16
3	63	14
4	124	14
5	195	14
6	221	14
7	224	14
8	225	14
done	225	14
0	12	21
1	23	19
2	39	15
3	55	13
4	63	13
5	64	13
done	64	13
0	13	17
1	27	16
2	42	16
3	58	14
4	118	14
5	218	14
6	247	14
7	264	14
done	264	14
0	11	14
1	20	12
2	30	8
3	37	6
done	37	6
0	13	17
1	27	16
2	42	16
3	58	14
4	118	14
5	218	14
6	247	14
7	264	14
done	264	14
0	5	9
1	11	1
done	11	1
0	12	16
1	26	15
2	47	15
3	93	13
4	227	13
5	485	13
6	818	13
7	1633	13
8	4113	13
done	5000	13
0	4	7
1	8	3
2	12	1
done	12	1
0	12	16
1	26	15
2	47	15
3	93	13
4	227	13
5	485	13
6	818	13
7	1633	13
8	4113	13
done	5000	13
0	9	13
1	18	11
2	26	9
3	37	9
4	58	9
5	77	9
done	77	9
0	9	10
1	16	9
2	26	7
3	44	5
4	66	5
5	79	5
6	93	5
7	109	5
8	115	5
done	115	5
0	16	23
1	50	21
2	125	19
3	359	17
4	1277	17
done	5000	17
0	12	20
1	32	15
2	55	15
3	68	15
4	77	15
5	79	15
done	79	15
0	15	25
1	42	21
2	100	19
3	283	17
4	934	17
5	2401	17
6	4789	17
done	5000	17
0	8	8
1	12	7
done	12	7
0	14	32
1	28	31
2	40	31
3	60	31
4	92	31
5	136	31
6	169	31
7	286	31
8	887	31
9	3104	31
done	5000	31
0	13	17
1	25	16
2	37	16
3	57	16
4	89	16
5	133	16
6	168	16
7	292	16
8	900	16
9	3186	16
done	5001	16
0	13	17
1	25	16
2	37	16
3	57	16
4	89	16
5	133	16
6	168	16
7	292	16
8	900	16
9	3186	16
done	5001	16
0	13	17
1	25	16
2	37	16
3	57	16
4	89	16
5	133	16
6	168	16
7	292	16
8	900	16
9	3186	16
done	5001	16
0	16	34
1	33	33
2	58	33
3	87	31
4	147	31
5	216	31
done	216	31
0	14	18
1	25	17
2	32	17
3	33	15
4	46	15
5	53	15
done	53	15
0	15	27
1	28	26
2	40	26
3	53	24
4	80	24
5	118	24
done	118	24
0	14	18
1	25	17
2	32	17
3	33	15
4	46	15
5	53	15
done	53	15
0	11	22
1	22	19
2	36	19
3	45	19
done	45	19
0	13	17
1	24	16
2	37	16
3	63	14
4	124	14
5	195	14
6	221	14
7	224	14
8	225	14
done	225	14
0	15	25
1	28	24
2	39	24
3	47	22
4	71	22
5	84	22
done	84	22
0	14	18
1	25	17
2	32	17
3	33	15
4	46	15
5	53	15
done	53	15
0	14	18
1	25	17
2	32	17
3	33	15
4	46	15
5	53	15
done	53	15
0	14	18
1	25	17
2	32	17
3	33	15
4	46	15
5	53	15
done	53	15
0	10	13
1	19	10
2	27	10
done	27	10
0	13	17
1	24	16
2	37	16
3	63	14
4	124	14
5	195	14
6	221	14
7	224	14
8	225	14
done	225	14
0	11	18
1	20	17
2	28	15
3	37	13
4	51	13
5	53	13
done	53	13
0	13	17
1	27	16
2	42	16
3	58	14
4	118	14
5	218	14
6	247	14
7	264	14
done	264	14
0	10	11
1	17	10
2	21	8
3	26	6
4	30	6
done	30	6
0	13	17
1	27	16
2	42	16
3	58	14
4	118	14
5	218	14
6	247	14
7	264	14
done	264	14
0	4	6
1	8	1
done	8	1
0	12	16
1	26	15
2	47	15
3	93	13
4	227	13
5	485	13
6	818	13
7	1633	13
8	4139	13
done	5000	13
0	3	4
1	5	1
done	5	1
0	12	16
1	26	15
2	47	15
3	93	13
4	227	13
5	485	13
6	818	13
7	1633	13
8	4139	13
done	5000	13
0	8	10
1	15	9
2	18	9
done	18	9
0	9	10
1	16	9
2	26	7
3	44	5
4	66	5
5	79	5
6	93	5
7	109	5
8	115	5
done	115	5
0	15	20
1	47	19
2	113	19
3	318	17
4	1215	17
5	4868	17
done	5000	17
0	12	20
1	32	15
2	55	15
3	68	15
4	77	15
5	79	15
done	79	15
0	14	22
1	39	19
2	88	19
3	238	17
4	790	17
5	2132	17
6	4605	17
done	5000	17
0	8	8
1	12	7
done	12	7
0	13	31
1	27	31
2	39	31
3	59	31
4	91	31
5	135	31
6	168	31
7	291	31
8	916	31
9	3477	31
done	5001	31
0	12	16
1	24	16
2	36	16
3	56	16
4	88	16
5	132	16
6	167	16
7	287	16
8	890	16
9	3260	16
done	5000	16
0	12	16
1	24	16
2	36	16
3	56	16
4	88	16
5	132	16
6	167	16
7	287	16
8	890	16
9	3260	16
done	5000	16
0	12	16
1	24	16
2	36	16
3	56	16
4	88	16
5	132	16
6	167	16
7	287	16
8	890	16
9	3260	16
done	5000	16
0	15	33
1	32	33
2	57	33
3	86	31
4	146	31
5	211	31
done	211	31
0	13	17
1	24	17
2	31	17
3	32	15
4	45	15
5	50	15
done	50	15
0	14	26
1	27	26
2	39	26
3	52	24
4	79	24
5	118	24
done	118	24
0	13	17
1	24	17
2	31	17
3	32	15
4	45	15
5	50	15
done	50	15
0	10	21
1	21	19
2	35	19
3	44	19
done	44	19
0	12	16
1	23	16
2	36	16
3	62	14
4	123	14
5	194	14
6	220	14
7	223	14
8	224	14
done	224	14
0	14	24
1	27	24
2	38	24
3	46	22
4	70	22
5	85	22
done	85	22
0	13	17
1	24	17
2	31	17
3	32	15
4	45	15
5	50	15
done	50	15
0	13	17
1	24	17
2	31	17
3	32	15
4	45	15
5	50	15
done	50	15
0	13	17
1	24	17
2	31	17
3	32	15
4	45	15
5	50	15
done	50	15
0	9	12
1	18	10
2	26	10
done	26	10
0	12	16
1	23	16
2	36	16
3	62	14
4	123	14
5	194	14
6	220	14
7	223	14
8	224	14
done	224	14
0	10	17
1	19	13
2	29	13
3	42	13
4	56	13
5	57	13
done	57	13
0	12	16
1	26	16
2	41	16
3	57	14
4	117	14
5	213	14
6	243	14
7	263	14
done	263	14
0	9	10
1	16	6
2	22	6
3	24	6
4	25	6
done	25	6
0	12	16
1	26	16
2	41	16
3	57	14
4	117	14
5	213	14
6	243	14
7	263	14
done	263	14
0	3	5
1	6	1
done	6	1
0	11	15
1	25	15
2	46	15
3	92	13
4	230	13
5	488	13
6	837	13
7	1864	13
done	5000	13
0	2	3
1	4	1
done	4	1
0	11	15
1	25	15
2	46	15
3	92	13
4	230	13
5	488	13
6	837	13
7	1864	13
done	5000	13
0	7	9
1	14	9
2	17	9
done	17	9
0	8	9
1	15	5
2	27	5
3	48	5
4	62	5
5	69	5
6	78	5
7	92	5
8	108	5
9	116	5
done	116	5
0	14	19
1	46	19
2	112	19
3	323	17
4	1214	17
5	4904	17
done	5000	17
0	11	19
1	31	15
2	54	15
3	67	15
4	76	15
5	78	15
done	78	15
0	13	21
1	38	19
2	87	19
3	236	17
4	790	17
5	2136	17
6	4561	17
done	5000	17
0	7	7
1	11	7
done	11	7
0	11	15
1	25	15
2	46	15
3	92	13
4	230	13
5	488	13
6	837	13
7	1864	13
done	5000	13
0	11	15
1	25	13
2	53	13
3	118	13
4	258	13
5	454	13
6	763	13
7	1636	13
8	3878	13
done	5000	13
0	13	31
1	27	31
2	39	31
3	59	31
4	91	31
5	135	31
6	168	31
7	291	31
8	916	31
9	3477	31
done	5001	31
0	12	16
1	24	16
2	36	16
3	56	16
4	88	16
5	132	16
6	167	16
7	287	16
8	890	16
9	3260	16
done	5000	16
0	15	33
1	32	33
2	57	33
3	86	31
4	146	31
5	211	31
done	211	31
0	14	26
1	27	26
2	39	26
3	52	24
4	79	24
5	118	24
done	118	24
0	10	21
1	21	19
2	35	19
3	44	19
done	44	19
0	14	24
1	27	24
2	38	24
3	46	22
4	70	22
5	85	22
done	85	22
0	13	17
1	24	17
2	31	17
3	32	15
4	45	15
5	50	15
done	50	15
0	9	12
1	18	10
2	26	10
done	26	10
0	10	17
1	19	13
2	29	13
3	42	13
4	56	13
5	57	13
done	57	13
0	9	10
1	16	6
2	22	6
3	24	6
4	25	6
done	25	6
0	3	5
1	6	1
done	6	1
0	2	3
1	4	1
done	4	1
0	7	9
1	14	9
2	17	9
done	17	9
0	14	19
1	46	19
2	112	19
3	323	17
4	1214	17
5	4904	17
done	5000	17
0	13	21
1	38	19
2	87	19
3	236	17
4	790	17
5	2136	17
6	4561	17
done	5000	17
0	12	16
1	26	15
2	53	15
3	115	13
4	264	13
5	447	13
6	799	13
7	2194	13
done	5001	13
0	12	16
1	26	15
2	53	15
3	115	13
4	264	13
5	447	13
6	799	13
7	2194	13
done	5001	13
0	11	15
1	25	13
2	53	13
3	118	13
4	258	13
5	454	13
6	763	13
7	1636	13
8	3878	13
done	5000	13
0	7	9
1	14	9
2	17	9
done	17	9
0	7	9
1	14	8
2	24	8
3	39	8
4	83	8
5	210	8
6	641	8
7	2531	8
done	5000	8
0	6	8
1	11	8
2	14	8
done	14	8
0	6	8
1	14	8
2	23	8
3	33	8
4	63	8
5	146	8
6	451	8
7	1256	8
8	4147	8
done	5000	8
0	7	17
1	12	17
2	15	17
done	15	17
0	6	8
1	11	8
2	14	8
done	14	8
0	7	23
1	13	23
2	30	9
3	101	9
4	374	9
5	1244	9
6	3879	9
done	5000	9
0	6	8
1	11	8
2	14	8
done	14	8
0	6	8
1	11	8
2	14	8
done	14	8
0	8	11
1	29	11
2	92	11
3	277	11
4	1027	11
5	4671	11
done	5000	11
0	9	23
1	27	21
2	70	21
3	117	17
4	191	17
5	234	15
6	708	15
7	4587	15
done	5000	15
0	2	2
done	2	2
0	7	15
1	21	15
2	52	15
3	95	15
4	198	13
5	337	11
6	510	11
7	896	11
8	2923	11
done	5000	11
0	5	7
1	9	7
2	11	7
done	11	7
0	2	2
done	2	2
0	7	7
1	12	6
2	20	6
3	34	6
4	73	6
5	178	6
6	541	6
7	2108	6
done	5001	6
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	12	6
2	19	6
3	30	6
4	59	6
5	131	6
6	399	6
7	1095	6
8	3477	6
done	5000	6
0	7	13
1	10	13
2	11	13
done	11	13
0	6	6
1	9	6
2	10	6
done	10	6
0	7	17
1	11	17
2	26	7
3	85	7
4	283	7
5	874	7
6	2687	7
done	5001	7
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
0	8	9
1	28	9
2	76	9
3	163	9
4	278	9
5	694	9
6	2808	9
done	5000	9
0	9	17
1	27	13
2	50	13
3	60	13
4	69	13
5	71	13
done	71	13
0	2	2
done	2	2
0	7	11
1	21	9
2	37	9
3	53	9
4	94	9
5	171	9
6	260	9
7	489	9
8	1938	9
done	5000	9
0	5	5
1	7	5
done	7	5
0	2	2
done	2	2
0	10	11
1	22	11
2	51	11
3	62	11
4	82	9
5	120	9
6	189	9
7	313	9
8	549	9
9	1494	9
done	5000	9
0	10	11
1	21	11
2	37	9
3	44	9
4	55	9
5	79	9
6	137	9
7	250	9
8	284	9
9	302	9
10	330	9
11	342	9
done	342	9
0	10	11
1	21	11
2	37	9
3	44	9
4	55	9
5	79	9
6	137	9
7	250	9
8	284	9
9	302	9
10	330	9
11	342	9
done	342	9
0	9	11
1	20	11
2	44	11
3	51	11
4	67	9
5	85	9
6	107	9
7	169	9
8	378	9
9	1303	9
done	5000	9
0	17	22
1	46	20
2	121	16
3	335	16
4	1131	15
5	4080	13
done	5000	13
0	17	22
1	46	20
2	121	16
3	335	16
4	1131	15
5	4080	13
done	5000	13
0	6	7
1	14	7
2	31	7
3	36	7
4	42	7
5	52	7
6	74	7
7	133	7
8	350	7
9	1278	7
done	5000	7
0	6	7
1	14	7
2	31	7
3	36	7
4	42	7
5	52	7
6	74	7
7	133	7
8	350	7
9	1278	7
done	5000	7
0	6	7
1	14	7
2	31	7
3	36	7
4	42	7
5	52	7
6	74	7
7	133	7
8	350	7
9	1278	7
done	5000	7
0	6	6
1	11	6
2	20	5
3	21	5
done	21	5
0	6	6
1	11	6
2	20	5
3	21	5
done	21	5
0	6	6
1	11	6
2	20	5
3	21	5
done	21	5

prune210.0ms

Filtered

98 candidates to 152 candidates (-55.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	152	0	152
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	152	3	155

Merged error: 0b

Counts

155 → 3

regimes31.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	15
1	16	15
done	16	15

end0.0ms

sample859.0ms

Algorithm

intervals

Results

296.0ms	1736×	body	1280	valid
175.0ms	1241×	body	640	valid
146.0ms	4098×	body	80	valid
64.0ms	616×	body	320	valid
21.0ms	309×	body	160	valid

Details

sample28.0ms

simplify124.0ms

prune2.0ms

localize7.0ms

rewrite55.0ms

series14.0ms

simplify1.4min

prune162.0ms

localize11.0ms

rewrite48.0ms

series18.0ms

simplify4.0min

prune131.0ms

localize9.0ms

rewrite28.0ms

series9.0ms

simplify2.7min

prune144.0ms

localize10.0ms

rewrite42.0ms

series21.0ms

simplify5.7min

prune210.0ms

regimes31.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample859.0ms

Profiling