Details

sample24.0ms

Algorithm

intervals

Results

11.0ms

299×

body

valid

simplify160.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	11
1	19	11
2	26	11
3	39	11
4	46	11
5	60	11
6	73	11
7	98	11
8	102	11
9	108	11
10	112	11
11	120	11
12	123	11
13	125	11
done	125	11

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

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.1b	(* x (+ (/ x y) 1.0))
10.4b	(/ (* x (+ (/ x y) 1.0)) (+ x 1.0))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 50

Calls

2 calls:

11.0ms	(* x (+ (/ x y) 1.0))
14.0ms	(/ (* x (+ (/ x y) 1.0)) (+ x 1.0))

series13.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(* x (+ (/ x y) 1.0))
8.0ms	(/ (* x (+ (/ x y) 1.0)) (+ x 1.0))

simplify48.6s

Counts

56 → 56

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	14
1	18	14
2	25	14
3	31	14
4	37	14
5	46	14
6	59	14
7	77	14
8	93	14
9	100	14
10	117	14
11	119	14
done	119	14
0	10	13
1	24	13
2	33	13
3	44	13
4	49	13
5	55	13
6	64	13
7	77	13
8	95	13
9	111	13
10	118	13
11	135	13
12	137	13
done	137	13
0	9	12
1	23	12
2	38	12
3	67	12
4	89	12
5	111	12
6	136	12
7	179	12
8	201	12
9	215	12
10	237	12
11	247	12
12	253	12
13	260	12
14	265	12
done	265	12
0	9	12
1	20	12
2	27	12
3	42	12
4	61	12
5	96	12
6	152	12
7	329	12
8	721	12
9	2191	12
done	5000	12
0	14	35
1	55	35
2	241	17
3	1004	17
4	4491	15
done	5001	15
0	12	35
1	51	35
2	219	15
3	1078	13
4	4232	13
done	5000	13
0	10	25
1	21	25
2	28	25
3	41	25
4	48	25
5	62	25
6	75	25
7	100	25
8	104	25
9	110	25
10	114	25
11	122	25
12	125	25
13	127	25
done	127	25
0	9	12
1	20	12
2	27	12
3	40	12
4	47	12
5	61	12
6	74	12
7	99	12
8	103	12
9	109	12
10	113	12
11	121	12
12	124	12
13	126	12
done	126	12
0	10	35
1	28	35
2	84	13
3	380	13
4	1965	13
done	5001	13
0	9	12
1	20	12
2	27	12
3	40	12
4	47	12
5	61	12
6	74	12
7	99	12
8	103	12
9	109	12
10	113	12
11	121	12
12	124	12
13	126	12
done	126	12
0	9	12
1	20	12
2	27	12
3	40	12
4	47	12
5	61	12
6	74	12
7	99	12
8	103	12
9	109	12
10	113	12
11	121	12
12	124	12
13	126	12
done	126	12
0	7	8
1	19	8
2	39	8
3	60	8
4	64	8
done	64	8
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	6	11
1	9	11
done	9	11
0	8	10
1	10	10
done	10	10
0	5	6
1	6	6
done	6	6
0	8	10
1	10	10
done	10	10
0	3	3
1	5	1
done	5	1
0	7	9
1	9	9
done	9	9
0	3	3
1	5	1
done	5	1
0	7	9
1	9	9
done	9	9
0	5	5
1	8	5
done	8	5
0	8	11
1	19	11
2	24	11
3	26	11
done	26	11
0	10	17
1	26	17
2	43	17
3	74	17
4	92	17
5	130	17
6	191	17
7	216	17
8	221	17
9	222	17
10	224	17
11	225	17
done	225	17
0	9	12
1	20	12
2	27	12
3	40	12
4	47	12
5	61	12
6	74	12
7	83	12
8	85	12
done	85	12
0	8	9
1	20	7
2	31	7
3	50	7
4	55	7
done	55	7
0	8	9
1	20	7
2	31	7
3	50	7
4	55	7
done	55	7
0	7	9
1	9	9
done	9	9
0	11	15
1	35	15
2	50	15
3	80	15
4	128	15
5	264	15
6	699	15
7	2571	15
done	5000	15
0	10	15
1	25	15
2	50	15
3	109	15
4	200	15
5	357	15
6	625	13
7	1548	13
done	5000	13
0	11	21
1	33	19
2	102	19
3	288	17
4	750	17
5	1818	17
6	3736	17
done	5001	17
0	7	9
1	11	9
2	26	9
3	59	9
4	117	9
5	170	9
6	230	9
7	352	9
8	617	9
9	1081	9
10	1318	9
11	1335	9
done	1335	9
0	6	7
1	14	7
2	17	7
3	19	7
done	19	7
0	8	9
1	10	9
done	10	9
0	7	8
1	18	8
2	22	8
3	24	8
done	24	8
0	7	8
1	17	8
2	29	8
3	48	8
4	81	8
5	197	8
6	523	8
7	1728	8
done	5000	8
0	10	23
1	30	23
2	117	11
3	422	11
4	1532	9
done	5000	9
0	8	17
1	16	17
2	19	17
3	21	17
done	21	17
0	7	8
1	15	8
2	18	8
3	20	8
done	20	8
0	8	23
1	26	23
2	99	9
3	369	9
4	966	9
5	2862	9
done	5000	9
0	7	8
1	15	8
2	18	8
3	20	8
done	20	8
0	7	8
1	15	8
2	18	8
3	20	8
done	20	8
0	8	9
1	10	9
done	10	9
0	8	9
1	10	9
done	10	9
0	4	5
1	7	5
2	9	5
done	9	5
0	3	3
1	4	3
done	4	3
0	4	5
1	7	5
2	9	5
done	9	5
0	3	3
1	4	3
done	4	3
0	8	15
1	12	15
2	14	15
done	14	15
0	7	8
1	9	8
done	9	8
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	7	8
1	15	8
2	20	8
3	24	8
4	26	8
5	27	8
done	27	8
0	7	8
1	15	8
2	20	8
3	24	8
4	26	8
5	27	8
done	27	8
0	6	7
1	14	7
2	17	7
3	19	7
done	19	7
0	9	11
1	33	11
2	85	11
3	198	11
4	573	11
5	1975	11
done	5000	11
0	8	13
1	18	13
2	41	13
3	98	13
4	219	13
5	350	13
6	566	13
7	1001	13
8	3792	13
done	5000	13
0	14	19
1	39	17
2	101	15
3	206	15
4	510	13
5	1490	13
done	5000	13
0	9	11
1	19	11
2	37	9
3	54	9
4	75	9
5	106	9
6	130	9
7	170	9
8	205	9
9	235	9
10	262	9
11	310	9
12	336	9
done	336	9
0	9	11
1	19	11
2	37	9
3	54	9
4	75	9
5	106	9
6	130	9
7	170	9
8	205	9
9	235	9
10	262	9
11	310	9
12	336	9
done	336	9
0	8	9
1	15	9
2	27	9
3	34	9
4	45	7
5	57	7
6	79	7
7	145	7
8	361	7
9	1293	7
done	5000	7
0	8	9
1	15	9
2	27	9
3	34	9
4	45	7
5	57	7
6	79	7
7	145	7
8	361	7
9	1293	7
done	5000	7
0	8	9
1	15	9
2	27	9
3	34	9
4	45	7
5	57	7
6	79	7
7	145	7
8	361	7
9	1293	7
done	5000	7

prune94.0ms

Filtered

44 candidates to 56 candidates (-27.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	52	4	56
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	53	4	57

Merged error: 0b

Counts

57 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ x (/ (+ x 1.0) (+ (/ x y) 1.0)))
0.1b	(/ (+ x 1.0) (+ (/ x y) 1.0))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

155×	`*-un-lft-identity`
146×	`times-frac`
71×	`add-sqr-sqrt` `add-cube-cbrt`
42×	`distribute-lft-out`
26×	`associate-/r*`
11×	`associate-/r/`
9×	`add-exp-log` `add-cbrt-cube`
7×	`associate-/l*`
6×	`flip3-+` `flip-+` `div-inv`
4×	`cbrt-undiv` `div-exp`
2×	`pow1` `frac-2neg` `clear-num` `associate-/l/` `add-log-exp`

Counts

2 → 146

Calls

2 calls:

20.0ms	(/ x (/ (+ x 1.0) (+ (/ x y) 1.0)))
12.0ms	(/ (+ x 1.0) (+ (/ x y) 1.0))

series17.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(/ x (/ (+ x 1.0) (+ (/ x y) 1.0)))
9.0ms	(/ (+ x 1.0) (+ (/ x y) 1.0))

simplify1.1min

Counts

152 → 152

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	13	11
2	14	11
done	14	11
0	8	10
1	13	10
2	15	10
3	16	10
done	16	10
0	8	10
1	10	10
done	10	10
0	11	29
1	46	29
2	145	13
3	386	11
4	1061	11
5	2994	11
done	5000	11
0	9	21
1	11	21
done	11	21
0	8	10
1	10	10
done	10	10
0	9	29
1	18	29
2	50	11
3	122	11
4	317	11
5	702	11
6	1578	11
7	4063	11
done	5000	11
0	8	10
1	10	10
done	10	10
0	8	10
1	10	10
done	10	10
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	6	6
1	10	6
2	14	6
3	15	6
done	15	6
0	11	23
1	19	23
2	28	23
3	34	23
done	34	23
0	9	11
1	11	11
done	11	11
0	10	16
1	14	16
2	16	16
3	17	16
done	17	16
0	9	11
1	11	11
done	11	11
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	8	10
1	10	10
done	10	10
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	8	10
1	10	10
done	10	10
0	10	18
1	14	18
done	14	18
0	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	6	6
1	9	4
2	11	4
done	11	4
0	8	10
1	10	10
done	10	10
0	6	6
1	9	4
2	11	4
done	11	4
0	8	10
1	10	10
done	10	10
0	9	15
1	14	15
done	14	15
0	8	10
1	10	10
done	10	10
0	8	8
1	11	8
done	11	8
0	8	10
1	10	10
done	10	10
0	2	3
1	4	1
done	4	1
0	7	9
1	9	9
done	9	9
0	2	3
1	4	1
done	4	1
0	7	9
1	9	9
done	9	9
0	9	15
1	14	15
done	14	15
0	8	10
1	10	10
done	10	10
0	8	8
1	11	8
done	11	8
0	8	10
1	10	10
done	10	10
0	2	3
1	4	1
done	4	1
0	7	9
1	9	9
done	9	9
0	2	3
1	4	1
done	4	1
0	7	9
1	9	9
done	9	9
0	7	7
1	10	7
done	10	7
0	7	9
1	9	9
done	9	9
0	9	17
1	13	17
done	13	17
0	8	10
1	10	10
done	10	10
0	5	5
1	8	3
2	10	3
done	10	3
0	5	5
1	8	3
2	10	3
done	10	3
0	8	10
1	10	10
done	10	10
0	8	10
1	10	10
done	10	10
0	7	9
1	9	9
done	9	9
0	7	9
1	9	9
done	9	9
0	10	13
1	28	13
2	55	13
3	120	13
4	307	13
5	883	13
6	3725	13
done	5000	13
0	9	15
1	19	15
2	34	15
3	58	15
4	96	15
5	159	15
6	235	15
7	420	15
8	1815	15
done	5000	15
0	11	17
1	27	15
2	81	15
3	227	15
4	577	15
5	1448	15
6	2826	15
done	5001	15
0	7	9
1	11	9
2	26	9
3	59	9
4	119	9
5	176	9
6	246	9
7	377	9
8	637	9
9	1088	9
10	1184	9
11	1195	9
done	1195	9
0	11	14
1	19	14
2	27	14
3	40	14
4	44	14
5	52	14
6	67	14
7	93	14
8	102	14
done	102	14
0	10	13
1	17	13
2	22	13
3	29	13
4	42	13
5	47	13
6	55	13
7	70	13
8	96	13
9	105	13
done	105	13
0	9	12
1	16	12
2	34	12
3	59	12
4	84	12
5	119	12
6	156	12
7	173	12
8	198	12
9	222	12
10	237	12
11	243	12
12	250	12
13	255	12
done	255	12
0	9	12
1	13	12
2	26	12
3	53	12
4	84	12
5	137	12
6	298	12
7	648	12
8	2041	12
done	5000	12
0	14	35
1	54	35
2	205	17
3	876	15
4	4561	13
done	5001	13
0	12	35
1	29	35
2	103	15
3	413	13
4	1855	13
done	5001	13
0	10	25
1	14	25
2	25	25
3	42	25
4	57	25
5	75	25
6	104	25
7	108	25
8	114	25
9	118	25
10	126	25
11	129	25
12	131	25
done	131	25
0	9	12
1	13	12
2	24	12
3	41	12
4	56	12
5	74	12
6	103	12
7	107	12
8	113	12
9	117	12
10	125	12
11	128	12
12	130	12
done	130	12
0	10	35
1	21	35
2	67	13
3	325	13
4	1645	13
done	5000	13
0	9	12
1	13	12
2	24	12
3	41	12
4	56	12
5	74	12
6	103	12
7	107	12
8	113	12
9	117	12
10	125	12
11	128	12
12	130	12
done	130	12
0	9	12
1	13	12
2	24	12
3	41	12
4	56	12
5	74	12
6	103	12
7	107	12
8	113	12
9	117	12
10	125	12
11	128	12
12	130	12
done	130	12
0	2	2
done	2	2
0	8	10
1	12	10
2	16	10
3	18	10
4	24	10
5	28	10
6	32	10
done	32	10
0	12	27
1	20	27
2	29	27
3	35	27
done	35	27
0	10	13
1	12	13
done	12	13
0	11	16
1	15	16
2	17	16
3	18	16
done	18	16
0	10	13
1	12	13
done	12	13
0	14	29
1	26	29
2	62	29
3	151	29
4	281	29
5	376	29
6	413	29
7	423	29
8	424	29
done	424	29
0	11	14
1	15	14
2	18	14
3	19	14
4	21	14
5	23	14
6	24	14
done	24	14
0	13	22
1	21	22
2	39	22
3	83	22
4	127	22
5	146	22
6	151	22
7	152	22
done	152	22
0	11	14
1	15	14
2	18	14
3	19	14
4	21	14
5	23	14
6	24	14
done	24	14
0	10	17
1	19	15
2	42	15
3	117	15
4	148	15
5	172	15
6	174	15
done	174	15
0	10	13
1	14	13
2	25	13
3	42	13
4	60	13
5	84	13
6	108	13
7	118	13
done	118	13
0	10	17
1	19	15
2	42	15
3	117	15
4	148	15
5	172	15
6	174	15
done	174	15
0	10	13
1	14	13
2	25	13
3	42	13
4	60	13
5	84	13
6	108	13
7	118	13
done	118	13
0	13	24
1	21	24
2	36	24
3	64	24
4	101	24
5	124	24
6	134	24
7	143	24
done	143	24
0	11	14
1	15	14
2	18	14
3	19	14
4	21	14
5	23	14
6	24	14
done	24	14
0	12	17
1	18	17
2	27	17
3	37	17
4	47	17
5	51	17
6	53	17
7	54	17
done	54	17
0	11	14
1	15	14
2	18	14
3	19	14
4	21	14
5	23	14
6	24	14
done	24	14
0	9	12
1	16	10
2	27	10
3	49	10
4	54	10
5	58	10
6	64	10
done	64	10
0	10	13
1	14	13
2	25	13
3	42	13
4	60	13
5	84	13
6	108	13
7	118	13
done	118	13
0	9	12
1	16	10
2	27	10
3	49	10
4	54	10
5	58	10
6	64	10
done	64	10
0	10	13
1	14	13
2	25	13
3	42	13
4	60	13
5	84	13
6	108	13
7	118	13
done	118	13
0	12	21
1	21	21
2	36	19
3	83	19
4	196	19
5	261	19
6	306	19
done	306	19
0	10	13
1	14	13
2	17	13
3	18	13
4	20	13
5	22	13
6	23	13
done	23	13
0	11	14
1	18	14
2	27	12
3	53	12
4	100	12
5	109	12
done	109	12
0	10	13
1	14	13
2	17	13
3	18	13
4	20	13
5	22	13
6	23	13
done	23	13
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	9	12
1	13	12
2	24	12
3	41	12
4	59	12
5	83	12
6	131	12
7	145	12
8	157	12
9	165	12
10	179	12
11	185	12
12	189	12
done	189	12
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	9	12
1	13	12
2	24	12
3	41	12
4	59	12
5	83	12
6	131	12
7	145	12
8	157	12
9	165	12
10	179	12
11	185	12
12	189	12
done	189	12
0	12	21
1	21	21
2	36	19
3	83	19
4	196	19
5	261	19
6	306	19
done	306	19
0	10	13
1	14	13
2	17	13
3	18	13
4	20	13
5	22	13
6	23	13
done	23	13
0	11	14
1	18	14
2	27	12
3	53	12
4	100	12
5	109	12
done	109	12
0	10	13
1	14	13
2	17	13
3	18	13
4	20	13
5	22	13
6	23	13
done	23	13
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	9	12
1	13	12
2	24	12
3	41	12
4	59	12
5	83	12
6	131	12
7	145	12
8	157	12
9	165	12
10	179	12
11	185	12
12	189	12
done	189	12
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	9	12
1	13	12
2	24	12
3	41	12
4	59	12
5	83	12
6	131	12
7	145	12
8	157	12
9	165	12
10	179	12
11	185	12
12	189	12
done	189	12
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	9	12
1	13	12
2	24	12
3	41	12
4	59	12
5	83	12
6	131	12
7	145	12
8	157	12
9	165	12
10	179	12
11	185	12
12	189	12
done	189	12
0	6	9
1	9	9
2	11	9
3	12	9
done	12	9
0	9	10
1	14	10
2	25	8
3	40	8
4	62	8
5	102	8
6	138	8
7	148	8
8	149	8
done	149	8
0	13	19
1	35	19
2	79	19
3	210	19
4	854	19
5	4127	19
done	5000	19
0	11	20
1	25	18
2	51	18
3	81	16
4	126	16
5	211	16
6	328	16
7	379	16
8	471	16
9	549	16
10	550	16
done	550	16
0	12	21
1	26	21
2	58	21
3	174	21
4	623	21
5	1697	21
6	3775	21
done	5000	21
0	7	8
1	9	8
2	10	8
done	10	8
0	11	24
1	15	24
done	15	24
0	10	13
1	12	13
done	12	13
0	10	13
1	12	13
done	12	13
0	10	13
1	12	13
done	12	13
0	13	26
1	23	26
2	44	26
3	75	26
4	101	26
5	135	26
6	158	26
7	168	26
done	168	26
0	11	14
1	15	14
2	18	14
3	19	14
4	21	14
5	23	14
6	24	14
done	24	14
0	12	19
1	18	19
2	26	19
3	39	19
4	47	19
5	53	19
6	56	19
done	56	19
0	11	14
1	15	14
2	18	14
3	19	14
4	21	14
5	23	14
6	24	14
done	24	14
0	9	14
1	16	12
2	29	12
3	56	12
4	68	12
5	80	12
6	85	12
done	85	12
0	10	13
1	14	13
2	25	13
3	42	13
4	60	13
5	84	13
6	108	13
7	118	13
done	118	13
0	9	14
1	16	12
2	29	12
3	56	12
4	68	12
5	80	12
6	85	12
done	85	12
0	10	13
1	14	13
2	25	13
3	42	13
4	60	13
5	84	13
6	108	13
7	118	13
done	118	13
0	12	21
1	18	21
2	25	21
3	33	21
4	37	21
5	46	21
6	52	21
7	57	21
done	57	21
0	11	14
1	15	14
2	18	14
3	19	14
4	21	14
5	23	14
6	24	14
done	24	14
0	11	14
1	15	14
2	18	14
3	19	14
4	21	14
5	23	14
6	24	14
done	24	14
0	11	14
1	15	14
2	18	14
3	19	14
4	21	14
5	23	14
6	24	14
done	24	14
0	8	9
1	13	7
2	19	7
3	24	7
4	26	7
5	29	7
6	33	7
done	33	7
0	10	13
1	14	13
2	25	13
3	42	13
4	60	13
5	84	13
6	108	13
7	118	13
done	118	13
0	8	9
1	13	7
2	19	7
3	24	7
4	26	7
5	29	7
6	33	7
done	33	7
0	10	13
1	14	13
2	25	13
3	42	13
4	60	13
5	84	13
6	108	13
7	118	13
done	118	13
0	11	18
1	18	18
2	25	16
3	41	16
4	67	16
5	88	16
6	108	16
done	108	16
0	10	13
1	14	13
2	17	13
3	18	13
4	20	13
5	22	13
6	23	13
done	23	13
0	10	11
1	15	11
2	18	9
3	27	9
4	36	9
5	38	9
done	38	9
0	10	13
1	14	13
2	17	13
3	18	13
4	20	13
5	22	13
6	23	13
done	23	13
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	9	12
1	13	12
2	24	12
3	41	12
4	59	12
5	83	12
6	131	12
7	145	12
8	157	12
9	165	12
10	179	12
11	185	12
12	189	12
done	189	12
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	9	12
1	13	12
2	24	12
3	41	12
4	59	12
5	83	12
6	131	12
7	145	12
8	157	12
9	165	12
10	179	12
11	185	12
12	189	12
done	189	12
0	11	18
1	18	18
2	25	16
3	41	16
4	67	16
5	88	16
6	108	16
done	108	16
0	10	13
1	14	13
2	17	13
3	18	13
4	20	13
5	22	13
6	23	13
done	23	13
0	10	11
1	15	11
2	18	9
3	27	9
4	36	9
5	38	9
done	38	9
0	10	13
1	14	13
2	17	13
3	18	13
4	20	13
5	22	13
6	23	13
done	23	13
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	9	12
1	13	12
2	24	12
3	41	12
4	59	12
5	83	12
6	131	12
7	145	12
8	157	12
9	165	12
10	179	12
11	185	12
12	189	12
done	189	12
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	9	12
1	13	12
2	24	12
3	41	12
4	59	12
5	83	12
6	131	12
7	145	12
8	157	12
9	165	12
10	179	12
11	185	12
12	189	12
done	189	12
0	4	4
1	6	2
2	8	2
done	8	2
0	9	12
1	13	12
2	24	12
3	41	12
4	59	12
5	83	12
6	131	12
7	145	12
8	157	12
9	165	12
10	179	12
11	185	12
12	189	12
done	189	12
0	5	6
1	6	6
done	6	6
0	9	10
1	14	10
2	25	8
3	40	8
4	62	8
5	102	8
6	138	8
7	148	8
8	149	8
done	149	8
0	12	16
1	32	16
2	70	16
3	180	16
4	635	16
5	2636	16
done	5000	16
0	11	20
1	25	18
2	51	18
3	81	16
4	126	16
5	211	16
6	328	16
7	379	16
8	471	16
9	549	16
10	550	16
done	550	16
0	11	18
1	23	18
2	49	18
3	136	18
4	382	18
5	850	18
6	1668	18
7	3238	18
done	5000	18
0	7	8
1	9	8
2	10	8
done	10	8
0	11	23
1	17	23
done	17	23
0	9	12
1	11	12
done	11	12
0	10	12
1	14	12
done	14	12
0	9	12
1	11	12
done	11	12
0	13	25
1	25	25
2	46	25
3	77	23
4	137	23
5	204	23
done	204	23
0	10	13
1	14	13
2	17	13
3	18	13
4	20	13
5	22	13
6	23	13
done	23	13
0	12	18
1	20	18
2	28	18
3	41	16
4	68	16
5	103	16
done	103	16
0	10	13
1	14	13
2	17	13
3	18	13
4	20	13
5	22	13
6	23	13
done	23	13
0	8	13
1	15	11
2	26	11
3	35	11
done	35	11
0	9	12
1	13	12
2	24	12
3	41	12
4	56	12
5	74	12
6	87	12
7	89	12
done	89	12
0	8	13
1	15	11
2	26	11
3	35	11
done	35	11
0	9	12
1	13	12
2	24	12
3	41	12
4	56	12
5	74	12
6	87	12
7	89	12
done	89	12
0	12	20
1	20	20
2	27	20
3	35	18
4	59	18
5	74	18
done	74	18
0	10	13
1	14	13
2	17	13
3	18	13
4	20	13
5	22	13
6	23	13
done	23	13
0	11	13
1	17	13
2	20	13
3	21	11
4	34	11
5	39	11
done	39	11
0	10	13
1	14	13
2	17	13
3	18	13
4	20	13
5	22	13
6	23	13
done	23	13
0	7	8
1	12	6
2	17	6
done	17	6
0	9	12
1	13	12
2	24	12
3	41	12
4	56	12
5	74	12
6	87	12
7	89	12
done	89	12
0	7	8
1	12	6
2	17	6
done	17	6
0	9	12
1	13	12
2	24	12
3	41	12
4	56	12
5	74	12
6	87	12
7	89	12
done	89	12
0	10	17
1	17	13
2	26	13
3	39	13
4	53	13
5	54	13
done	54	13
0	9	12
1	13	12
2	16	12
3	17	12
4	19	12
5	21	12
6	22	12
done	22	12
0	9	10
1	14	6
2	19	6
3	21	6
4	22	6
done	22	6
0	9	12
1	13	12
2	16	12
3	17	12
4	19	12
5	21	12
6	22	12
done	22	12
0	3	5
1	6	1
done	6	1
0	8	11
1	12	11
2	23	11
3	40	11
4	55	11
5	73	11
6	102	11
7	106	11
8	112	11
9	116	11
10	124	11
11	127	11
12	129	11
done	129	11
0	3	5
1	6	1
done	6	1
0	8	11
1	12	11
2	23	11
3	40	11
4	55	11
5	73	11
6	102	11
7	106	11
8	112	11
9	116	11
10	124	11
11	127	11
12	129	11
done	129	11
0	10	17
1	17	13
2	26	13
3	39	13
4	53	13
5	54	13
done	54	13
0	9	12
1	13	12
2	16	12
3	17	12
4	19	12
5	21	12
6	22	12
done	22	12
0	9	10
1	14	6
2	19	6
3	21	6
4	22	6
done	22	6
0	9	12
1	13	12
2	16	12
3	17	12
4	19	12
5	21	12
6	22	12
done	22	12
0	3	5
1	6	1
done	6	1
0	8	11
1	12	11
2	23	11
3	40	11
4	55	11
5	73	11
6	102	11
7	106	11
8	112	11
9	116	11
10	124	11
11	127	11
12	129	11
done	129	11
0	3	5
1	6	1
done	6	1
0	8	11
1	12	11
2	23	11
3	40	11
4	55	11
5	73	11
6	102	11
7	106	11
8	112	11
9	116	11
10	124	11
11	127	11
12	129	11
done	129	11
0	2	3
1	4	1
done	4	1
0	8	11
1	12	11
2	23	11
3	40	11
4	55	11
5	73	11
6	102	11
7	106	11
8	112	11
9	116	11
10	124	11
11	127	11
12	129	11
done	129	11
0	5	5
1	8	5
done	8	5
0	8	9
1	13	9
2	24	7
3	32	7
4	41	7
5	46	7
done	46	7
0	12	15
1	34	15
2	72	15
3	182	13
4	666	13
5	3077	13
done	5001	13
0	10	19
1	24	17
2	50	17
3	80	15
4	125	15
5	210	15
6	327	15
7	378	15
8	470	15
9	548	15
10	549	15
done	549	15
0	11	17
1	25	17
2	51	17
3	138	15
4	429	15
5	1131	15
6	1889	15
7	3057	15
done	5000	15
0	6	7
1	8	7
2	9	7
done	9	7
0	9	11
1	15	11
2	26	11
3	43	9
4	88	9
5	135	9
6	184	9
7	203	9
8	220	9
9	243	9
10	272	9
11	291	9
12	308	9
13	323	9
done	323	9
0	8	11
1	12	11
2	23	11
3	25	11
4	27	11
done	27	11
0	10	23
1	14	23
done	14	23
0	9	12
1	11	12
done	11	12
0	12	25
1	22	25
2	43	25
3	74	25
4	100	25
5	132	25
6	154	25
7	164	25
done	164	25
0	11	18
1	17	18
2	25	18
3	38	18
4	46	18
5	52	18
6	55	18
done	55	18
0	8	13
1	15	11
2	28	11
3	55	11
4	63	11
5	72	11
6	87	11
7	90	11
done	90	11
0	8	13
1	15	11
2	28	11
3	55	11
4	63	11
5	72	11
6	87	11
7	90	11
done	90	11
0	11	20
1	17	20
2	24	20
3	32	20
4	36	20
5	45	20
6	51	20
7	56	20
done	56	20
0	10	13
1	14	13
2	17	13
3	18	13
4	20	13
5	22	13
6	23	13
done	23	13
0	7	8
1	12	6
2	18	6
3	23	6
done	23	6
0	7	8
1	12	6
2	18	6
3	23	6
done	23	6
0	10	17
1	17	17
2	24	15
3	34	15
4	54	15
5	86	15
6	98	15
done	98	15
0	9	10
1	14	10
2	17	8
3	23	8
4	30	8
5	35	8
done	35	8
0	4	5
1	8	3
2	13	1
done	13	1
0	4	5
1	8	3
2	13	1
done	13	1
0	10	17
1	17	17
2	24	15
3	34	15
4	54	15
5	86	15
6	98	15
done	98	15
0	9	10
1	14	10
2	17	8
3	23	8
4	30	8
5	35	8
done	35	8
0	4	5
1	8	3
2	13	1
done	13	1
0	4	5
1	8	3
2	13	1
done	13	1
0	3	3
1	5	1
done	5	1
0	4	5
1	5	5
done	5	5
0	11	15
1	31	15
2	69	15
3	179	15
4	616	15
5	2502	15
done	5000	15
0	10	17
1	22	17
2	48	17
3	135	17
4	365	17
5	771	17
6	1383	17
7	2563	17
done	5000	17
0	9	12
1	13	12
2	24	12
3	28	12
4	32	12
5	34	12
6	35	12
done	35	12
0	9	12
1	13	12
2	24	12
3	28	12
4	32	12
5	34	12
6	35	12
done	35	12
0	8	11
1	12	11
2	23	11
3	25	11
4	27	11
done	27	11
0	4	5
1	5	5
done	5	5
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	14	19
1	39	17
2	101	15
3	206	15
4	510	13
5	1490	13
done	5000	13
0	9	11
1	19	11
2	37	9
3	54	9
4	75	9
5	106	9
6	130	9
7	170	9
8	205	9
9	235	9
10	262	9
11	310	9
12	336	9
done	336	9
0	9	11
1	19	11
2	37	9
3	54	9
4	75	9
5	106	9
6	130	9
7	170	9
8	205	9
9	235	9
10	262	9
11	310	9
12	336	9
done	336	9

prune193.0ms

Filtered

99 candidates to 152 candidates (-53.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	152	0	152
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	152	4	156

Merged error: 0b

Counts

156 → 4

localize11.0ms

Local error

Found 2 expressions with local error:

0.1b	(* (/ (+ (/ x y) 1.0) (- x (/ (* 1.0 1.0) x))) (- x 1.0))
0.2b	(/ (+ (/ x y) 1.0) (- x (/ (* 1.0 1.0) x)))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

72×	`*-un-lft-identity`
69×	`add-sqr-sqrt`
58×	`times-frac`
30×	`associate-l`
26×	`add-cube-cbrt`
19×	`difference-of-squares`
13×	`distribute-lft-out`
10×	`distribute-lft-out--`
9×	`add-exp-log` `add-cbrt-cube`
6×	`associate-/r*`
5×	`associate-r`
4×	`pow1` `flip3--` `associate-/r/` `flip--` `associate-/l*`
2×	`cbrt-undiv` `distribute-rgt-in` `frac-times` `sub-neg` `distribute-lft-in` `associate-*r/` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `add-log-exp` `unswap-sqr`
1×	`frac-2neg` `flip3-+` `pow-prod-down` `associate-l/` `clear-num` `-commutative` `flip-+`

Counts

2 → 109

Calls

2 calls:

27.0ms	(* (/ (+ (/ x y) 1.0) (- x (/ (* 1.0 1.0) x))) (- x 1.0))
15.0ms	(/ (+ (/ x y) 1.0) (- x (/ (* 1.0 1.0) x)))

series18.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(* (/ (+ (/ x y) 1.0) (- x (/ (* 1.0 1.0) x))) (- x 1.0))
8.0ms	(/ (+ (/ x y) 1.0) (- x (/ (* 1.0 1.0) x)))

simplify3.9min

Counts

115 → 115

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	15
1	18	15
2	26	15
3	34	15
4	39	15
done	39	15
0	10	14
1	18	14
2	27	14
3	36	14
4	41	14
done	41	14
0	10	14
1	15	14
2	22	14
3	30	14
4	35	14
done	35	14
0	13	41
1	39	41
2	127	17
3	378	15
4	1222	15
5	4332	15
done	5000	15
0	11	29
1	16	29
2	23	29
3	31	29
4	36	29
done	36	29
0	10	14
1	15	14
2	22	14
3	30	14
4	35	14
done	35	14
0	11	41
1	23	41
2	62	15
3	156	15
4	417	15
5	1216	15
6	4138	15
done	5000	15
0	10	14
1	15	14
2	22	14
3	30	14
4	35	14
done	35	14
0	10	14
1	15	14
2	22	14
3	30	14
4	35	14
done	35	14
0	6	6
1	10	6
2	14	6
3	15	6
done	15	6
0	6	8
1	10	8
2	20	8
3	34	8
4	53	7
5	56	7
done	56	7
0	13	31
1	24	31
2	40	31
3	54	31
4	59	31
done	59	31
0	11	15
1	16	15
2	23	15
3	31	15
4	36	15
done	36	15
0	12	22
1	19	22
2	28	22
3	37	22
4	42	22
done	42	22
0	11	15
1	16	15
2	23	15
3	31	15
4	36	15
done	36	15
0	9	15
1	14	13
2	20	13
3	25	13
done	25	13
0	10	14
1	15	14
2	22	14
3	30	14
4	35	14
done	35	14
0	13	23
1	19	23
2	23	23
3	25	23
done	25	23
0	12	16
1	17	16
2	20	16
3	21	16
done	21	16
0	11	21
1	15	21
2	17	21
3	18	21
done	18	21
0	10	14
1	13	14
2	16	14
done	16	14
0	9	15
1	14	13
2	20	13
3	25	13
done	25	13
0	10	14
1	15	14
2	22	14
3	30	14
4	35	14
done	35	14
0	12	24
1	19	24
2	26	24
3	34	24
4	39	24
done	39	24
0	11	15
1	16	15
2	23	15
3	31	15
4	36	15
done	36	15
0	11	15
1	16	15
2	23	15
3	31	15
4	36	15
done	36	15
0	11	15
1	16	15
2	23	15
3	31	15
4	36	15
done	36	15
0	8	8
1	11	6
2	13	6
done	13	6
0	10	14
1	15	14
2	22	14
3	30	14
4	35	14
done	35	14
0	12	16
1	16	16
2	18	16
3	19	16
done	19	16
0	12	16
1	17	16
2	20	16
3	21	16
done	21	16
0	10	14
1	12	14
done	12	14
0	10	14
1	13	14
2	16	14
done	16	14
0	8	8
1	11	6
2	13	6
done	13	6
0	10	14
1	15	14
2	22	14
3	30	14
4	35	14
done	35	14
0	9	19
1	17	19
2	24	19
3	32	19
4	37	19
done	37	19
0	10	14
1	15	14
2	22	14
3	30	14
4	35	14
done	35	14
0	8	10
1	14	10
2	21	10
3	29	10
4	34	10
done	34	10
0	10	14
1	15	14
2	22	14
3	30	14
4	35	14
done	35	14
0	2	3
1	4	1
done	4	1
0	9	13
1	14	13
2	21	13
3	29	13
4	34	13
done	34	13
0	9	11
1	14	11
2	16	11
3	17	11
done	17	11
0	11	15
1	16	15
2	19	15
3	20	15
done	20	15
0	7	9
1	10	9
done	10	9
0	9	13
1	12	13
2	15	13
done	15	13
0	2	3
1	4	1
done	4	1
0	9	13
1	14	13
2	21	13
3	29	13
4	34	13
done	34	13
0	9	19
1	17	19
2	24	19
3	32	19
4	37	19
done	37	19
0	10	14
1	15	14
2	22	14
3	30	14
4	35	14
done	35	14
0	8	10
1	14	10
2	21	10
3	29	10
4	34	10
done	34	10
0	10	14
1	15	14
2	22	14
3	30	14
4	35	14
done	35	14
0	2	3
1	4	1
done	4	1
0	9	13
1	14	13
2	21	13
3	29	13
4	34	13
done	34	13
0	9	11
1	14	11
2	16	11
3	17	11
done	17	11
0	11	15
1	16	15
2	19	15
3	20	15
done	20	15
0	7	9
1	10	9
done	10	9
0	9	13
1	12	13
2	15	13
done	15	13
0	2	3
1	4	1
done	4	1
0	9	13
1	14	13
2	21	13
3	29	13
4	34	13
done	34	13
0	7	9
1	13	9
2	20	9
3	28	9
4	33	9
done	33	9
0	9	13
1	17	13
2	30	13
3	53	13
4	109	13
5	152	13
6	170	13
7	194	13
8	211	13
9	229	13
10	250	13
11	270	13
12	288	13
13	293	13
done	293	13
0	11	23
1	18	23
2	25	23
3	33	23
4	38	23
done	38	23
0	10	14
1	15	14
2	22	14
3	30	14
4	35	14
done	35	14
0	7	7
1	10	5
2	12	5
done	12	5
0	11	15
1	15	15
2	17	15
3	18	15
done	18	15
0	9	13
1	11	13
done	11	13
0	7	7
1	10	5
2	12	5
done	12	5
0	10	14
1	18	14
2	31	14
3	54	14
4	95	14
5	129	14
6	133	14
done	133	14
0	10	14
1	18	14
2	31	14
3	54	14
4	95	14
5	129	14
6	133	14
done	133	14
0	9	13
1	17	13
2	30	13
3	53	13
4	109	13
5	152	13
6	170	13
7	194	13
8	211	13
9	229	13
10	250	13
11	270	13
12	288	13
13	293	13
done	293	13
0	9	13
1	17	13
2	30	13
3	53	13
4	109	13
5	152	13
6	170	13
7	194	13
8	211	13
9	229	13
10	250	13
11	270	13
12	288	13
13	293	13
done	293	13
0	12	17
1	32	17
2	89	17
3	340	17
4	1503	17
done	5001	17
0	11	21
1	23	21
2	52	21
3	148	19
4	356	17
5	656	17
6	1077	17
7	2267	17
done	5001	17
0	12	25
1	37	23
2	106	23
3	345	21
4	1224	21
5	3826	21
done	5000	21
0	9	13
1	16	13
2	35	13
3	89	13
4	251	13
5	522	13
6	964	13
7	1630	13
8	2577	13
done	5000	13
0	11	17
1	21	17
2	43	17
3	90	17
4	165	17
5	287	17
6	522	17
7	985	17
8	1805	17
9	4933	17
done	5000	17
0	14	20
1	26	20
2	43	20
3	60	20
4	74	20
5	79	20
6	88	20
7	105	20
8	124	20
9	132	20
done	132	20
0	13	19
1	24	19
2	37	19
3	54	19
4	69	19
5	78	19
6	83	19
7	92	19
8	109	19
9	128	19
10	136	19
done	136	19
0	12	18
1	25	18
2	53	18
3	110	18
4	201	18
5	338	18
6	586	18
7	1060	18
8	2229	18
done	5001	18
0	12	18
1	24	18
2	52	18
3	119	18
4	233	18
5	481	18
6	1041	18
7	2657	18
done	5000	18
0	17	53
1	51	53
2	202	23
3	935	21
done	5000	21
0	15	53
1	35	53
2	125	21
3	507	21
4	2524	19
done	5000	19
0	13	37
1	23	37
2	45	37
3	92	37
4	167	37
5	290	37
6	524	37
7	986	37
8	2127	37
done	5000	37
0	12	18
1	22	18
2	44	18
3	91	18
4	166	18
5	290	18
6	525	18
7	988	18
8	1808	18
9	4917	18
done	5000	18
0	13	53
1	33	53
2	124	19
3	598	19
4	2829	19
done	5000	19
0	12	18
1	22	18
2	44	18
3	91	18
4	166	18
5	290	18
6	525	18
7	988	18
8	1808	18
9	4917	18
done	5000	18
0	12	18
1	22	18
2	44	18
3	91	18
4	166	18
5	290	18
6	525	18
7	988	18
8	1808	18
9	4917	18
done	5000	18
0	10	13
1	27	13
2	63	13
3	178	13
4	604	13
5	2292	13
done	5001	13
0	10	19
1	28	17
2	82	17
3	250	17
4	821	17
5	2116	17
6	4317	17
done	5000	17
0	9	13
1	16	13
2	41	13
3	133	13
4	395	13
5	903	13
6	2628	13
done	5000	13
0	7	11
1	19	11
2	44	11
3	101	11
4	249	11
5	448	11
6	616	11
7	1964	11
done	5000	11
0	13	19
1	21	19
2	28	19
3	36	19
4	41	19
done	41	19
0	13	19
1	21	19
2	28	19
3	36	19
4	41	19
done	41	19
0	14	20
1	24	20
2	34	20
3	44	20
4	51	20
5	52	20
done	52	20
0	14	20
1	24	20
2	34	20
3	44	20
4	51	20
5	52	20
done	52	20
0	10	15
1	18	15
2	28	15
3	49	15
4	70	15
5	103	15
6	146	15
7	215	15
8	262	15
9	327	15
10	439	15
11	623	15
12	2062	15
done	5000	15
0	11	16
1	21	16
2	36	16
3	62	16
4	101	16
5	179	16
6	314	16
7	544	14
8	2317	14
done	5001	13
0	10	15
1	18	15
2	28	15
3	49	15
4	70	15
5	103	15
6	146	15
7	215	15
8	262	15
9	327	15
10	439	15
11	623	15
12	2062	15
done	5000	15
0	11	16
1	21	16
2	36	16
3	62	16
4	101	16
5	179	16
6	314	16
7	544	14
8	2317	14
done	5001	13
0	10	15
1	18	15
2	36	15
3	53	15
4	81	15
5	115	15
6	192	15
7	257	15
8	327	15
9	439	15
10	625	15
11	2014	15
done	5000	15
0	11	16
1	21	16
2	44	16
3	75	16
4	126	16
5	195	16
6	355	16
7	580	16
8	871	14
9	3542	14
done	5000	13
0	10	15
1	18	15
2	36	15
3	53	15
4	81	15
5	115	15
6	192	15
7	257	15
8	327	15
9	439	15
10	625	15
11	2014	15
done	5000	15
0	11	16
1	21	16
2	44	16
3	75	16
4	126	16
5	195	16
6	355	16
7	580	16
8	871	14
9	3542	14
done	5000	13
0	13	23
1	25	23
2	40	23
3	67	23
4	118	23
5	209	23
6	402	23
7	669	23
8	1025	23
9	1403	23
10	2122	23
11	4407	23
done	5001	23
0	12	18
1	22	18
2	32	18
3	53	18
4	76	18
5	117	18
6	184	18
7	285	18
8	354	18
9	441	18
10	620	18
11	940	18
12	2974	18
done	5000	18
0	11	15
1	21	13
2	38	13
3	63	13
4	95	13
5	165	13
6	286	13
7	431	13
8	588	13
9	772	13
10	1026	13
11	1346	13
12	1578	13
13	1713	13
14	1736	13
15	1800	13
16	2201	13
17	3732	13
done	5000	13
0	13	19
1	28	19
2	51	19
3	94	19
4	155	19
5	271	19
6	420	19
7	671	19
8	854	19
9	1011	19
10	1316	19
11	1925	19
done	5000	19
0	11	15
1	21	13
2	38	13
3	63	13
4	95	13
5	165	13
6	286	13
7	431	13
8	588	13
9	772	13
10	1026	13
11	1346	13
12	1578	13
13	1713	13
14	1736	13
15	1800	13
16	2201	13
17	3732	13
done	5000	13
0	12	18
1	20	18
2	33	18
3	46	18
4	55	18
done	55	18
0	12	18
1	20	18
2	33	18
3	46	18
4	55	18
done	55	18
0	13	19
1	23	19
2	45	19
3	67	19
4	91	19
5	107	19
6	117	19
7	119	19
done	119	19
0	13	19
1	23	19
2	45	19
3	67	19
4	91	19
5	107	19
6	117	19
7	119	19
done	119	19
0	12	18
1	22	18
2	44	18
3	69	18
4	106	18
5	160	18
6	269	18
7	405	18
8	545	18
9	1301	18
done	5000	18
0	14	20
1	24	20
2	43	20
3	61	20
4	85	20
5	111	20
6	133	20
7	143	20
8	147	20
done	147	20
0	12	18
1	20	18
2	38	18
3	55	18
4	81	18
5	113	18
6	153	18
7	180	18
8	204	18
9	221	18
10	238	18
11	258	18
12	262	18
13	271	18
14	276	18
done	276	18
0	12	18
1	22	18
2	44	18
3	69	18
4	106	18
5	160	18
6	269	18
7	405	18
8	545	18
9	1301	18
done	5000	18
0	13	19
1	23	19
2	45	19
3	67	19
4	91	19
5	107	19
6	117	19
7	119	19
done	119	19
0	13	19
1	23	19
2	45	19
3	67	19
4	91	19
5	107	19
6	117	19
7	119	19
done	119	19
0	12	18
1	22	18
2	44	18
3	69	18
4	106	18
5	160	18
6	269	18
7	405	18
8	545	18
9	1301	18
done	5000	18
0	14	20
1	24	20
2	43	20
3	61	20
4	85	20
5	111	20
6	133	20
7	143	20
8	147	20
done	147	20
0	12	18
1	20	18
2	38	18
3	55	18
4	81	18
5	113	18
6	153	18
7	180	18
8	204	18
9	221	18
10	238	18
11	258	18
12	262	18
13	271	18
14	276	18
done	276	18
0	12	18
1	22	18
2	44	18
3	69	18
4	106	18
5	160	18
6	269	18
7	405	18
8	545	18
9	1301	18
done	5000	18
0	12	18
1	22	18
2	44	18
3	88	18
4	151	18
5	240	18
6	383	18
7	693	18
8	1296	18
9	2224	18
10	2709	18
11	3012	18
12	3026	18
done	3026	18
0	12	18
1	22	18
2	44	18
3	88	18
4	151	18
5	240	18
6	383	18
7	693	18
8	1296	18
9	2224	18
10	2709	18
11	3012	18
12	3026	18
done	3026	18
0	11	17
1	21	17
2	43	17
3	90	17
4	165	17
5	287	17
6	522	17
7	985	17
8	1805	17
9	4933	17
done	5000	17
0	13	19
1	23	19
2	42	19
3	84	19
4	147	19
5	242	19
6	371	19
7	626	19
8	1116	19
9	1964	19
10	2615	19
11	3194	19
12	3344	19
13	3381	19
14	3412	19
15	3430	19
16	3434	19
done	3434	19
0	11	17
1	19	17
2	37	17
3	78	17
4	144	17
5	238	17
6	381	17
7	657	17
8	1163	17
9	2036	17
10	2768	17
11	3558	17
12	4198	17
done	5000	17
0	11	17
1	21	17
2	43	17
3	90	17
4	165	17
5	287	17
6	522	17
7	985	17
8	1805	17
9	4933	17
done	5000	17
0	12	18
1	22	18
2	44	18
3	88	18
4	151	18
5	240	18
6	383	18
7	693	18
8	1296	18
9	2224	18
10	2709	18
11	3012	18
12	3026	18
done	3026	18
0	12	18
1	22	18
2	44	18
3	88	18
4	151	18
5	240	18
6	383	18
7	693	18
8	1296	18
9	2224	18
10	2709	18
11	3012	18
12	3026	18
done	3026	18
0	11	17
1	21	17
2	43	17
3	90	17
4	165	17
5	287	17
6	522	17
7	985	17
8	1805	17
9	4933	17
done	5000	17
0	13	19
1	23	19
2	42	19
3	84	19
4	147	19
5	242	19
6	371	19
7	626	19
8	1116	19
9	1964	19
10	2615	19
11	3194	19
12	3344	19
13	3381	19
14	3412	19
15	3430	19
16	3434	19
done	3434	19
0	11	17
1	19	17
2	37	17
3	78	17
4	144	17
5	238	17
6	381	17
7	657	17
8	1163	17
9	2036	17
10	2768	17
11	3558	17
12	4198	17
done	5000	17
0	11	17
1	21	17
2	43	17
3	90	17
4	165	17
5	287	17
6	522	17
7	985	17
8	1805	17
9	4933	17
done	5000	17
0	11	17
1	21	17
2	43	17
3	90	17
4	165	17
5	287	17
6	522	17
7	985	17
8	1805	17
9	4933	17
done	5000	17
0	9	13
1	20	13
2	42	11
3	92	11
4	183	11
5	324	11
6	667	11
7	1753	11
8	3827	11
done	5000	11
0	11	27
1	29	21
2	87	21
3	283	21
4	872	21
5	2482	19
done	5000	19
0	7	11
1	13	11
2	30	11
3	70	11
4	168	11
5	270	11
6	367	11
7	501	11
8	1180	11
done	5000	11
0	14	21
1	36	21
2	78	21
3	241	21
4	814	21
5	3126	21
done	5000	21
0	12	21
1	25	21
2	58	21
3	183	21
4	526	21
5	1177	21
6	3404	21
done	5001	21
0	7	9
1	11	9
2	26	9
3	59	9
4	119	9
5	176	9
6	246	9
7	377	9
8	637	9
9	1088	9
10	1184	9
11	1195	9
done	1195	9
0	15	20
1	39	18
2	109	16
3	230	16
4	457	16
5	954	14
6	1857	14
7	4865	14
done	5000	14
0	13	17
1	32	17
2	62	13
3	119	13
4	260	13
5	700	13
6	2734	13
done	5000	13
0	13	17
1	32	17
2	62	13
3	119	13
4	260	13
5	700	13
6	2734	13
done	5000	13
0	14	19
1	39	17
2	101	15
3	206	15
4	510	13
5	1490	13
done	5000	13
0	9	11
1	19	11
2	37	9
3	54	9
4	75	9
5	106	9
6	130	9
7	170	9
8	205	9
9	235	9
10	262	9
11	310	9
12	336	9
done	336	9
0	9	11
1	19	11
2	37	9
3	54	9
4	75	9
5	106	9
6	130	9
7	170	9
8	205	9
9	235	9
10	262	9
11	310	9
12	336	9
done	336	9

prune168.0ms

Filtered

82 candidates to 115 candidates (-40.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	115	0	115
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	115	4	119

Merged error: 0b

Counts

119 → 4

localize8.0ms

Local error

Found 3 expressions with local error:

0.1b	(* x (+ (/ x y) 1.0))
0.2b	(/ 1 (/ (+ x 1.0) (* x (+ (/ x y) 1.0))))
10.4b	(/ (+ x 1.0) (* x (+ (/ x y) 1.0)))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

50×	`times-frac`
40×	`*-un-lft-identity`
31×	`add-exp-log`
28×	`add-sqr-sqrt`
26×	`add-cube-cbrt`
19×	`add-cbrt-cube`
14×	`div-exp`
12×	`associate-*r/`
11×	`associate-/r*` `associate-/r/`
7×	`cbrt-undiv` `flip3-+` `flip-+` `distribute-lft-out` `associate-/l*`
6×	`pow1` `div-inv`
5×	`prod-exp`
4×	`associate-r`
3×	`rec-exp` `1-exp` `associate-l` `cbrt-unprod` `add-log-exp`
2×	`frac-2neg` `clear-num` `associate-/l/`
1×	`distribute-rgt-in` `pow-flip` `distribute-lft-in` `pow-prod-down` `*-commutative` `inv-pow` `unswap-sqr`

Counts

3 → 118

Calls

3 calls:

10.0ms	(* x (+ (/ x y) 1.0))
18.0ms	(/ 1 (/ (+ x 1.0) (* x (+ (/ x y) 1.0))))
13.0ms	(/ (+ x 1.0) (* x (+ (/ x y) 1.0)))

series23.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(* x (+ (/ x y) 1.0))
7.0ms	(/ 1 (/ (+ x 1.0) (* x (+ (/ x y) 1.0))))
11.0ms	(/ (+ x 1.0) (* x (+ (/ x y) 1.0)))

simplify2.6min

Counts

127 → 127

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	14
1	18	14
2	27	14
3	37	14
4	47	14
5	63	14
6	82	14
7	98	14
8	103	14
done	103	14
0	10	13
1	24	13
2	34	13
3	44	13
4	54	13
5	66	13
6	85	13
7	111	13
8	121	13
done	121	13
0	9	12
1	23	12
2	36	12
3	50	12
4	63	12
5	73	12
6	89	12
7	108	12
8	124	12
9	129	12
done	129	12
0	9	12
1	20	12
2	25	12
3	27	12
done	27	12
0	14	35
1	55	35
2	233	17
3	971	17
4	3969	15
done	5000	15
0	12	35
1	51	35
2	220	15
3	1049	13
4	3792	13
done	5001	13
0	10	25
1	21	25
2	26	25
3	28	25
done	28	25
0	9	12
1	20	12
2	25	12
3	27	12
done	27	12
0	10	35
1	28	35
2	95	13
3	445	13
4	1815	13
done	5000	13
0	9	12
1	20	12
2	25	12
3	27	12
done	27	12
0	9	12
1	20	12
2	25	12
3	27	12
done	27	12
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	7	8
1	19	8
2	39	8
3	60	8
4	64	8
done	64	8
0	6	11
1	9	11
2	11	11
3	12	11
done	12	11
0	8	10
1	10	10
done	10	10
0	5	6
1	6	6
done	6	6
0	8	10
1	10	10
done	10	10
0	3	3
1	5	3
done	5	3
0	7	9
1	9	9
done	9	9
0	3	3
1	5	3
done	5	3
0	7	9
1	9	9
done	9	9
0	8	9
1	20	9
2	25	9
3	27	9
done	27	9
0	8	11
1	19	11
2	26	11
3	39	11
4	46	11
5	60	11
6	73	11
7	98	11
8	102	11
9	108	11
10	112	11
11	120	11
12	123	11
13	125	11
done	125	11
0	4	5
1	5	5
done	5	5
0	9	12
1	20	12
2	27	12
3	40	12
4	47	12
5	61	12
6	74	12
7	83	12
8	85	12
done	85	12
0	9	12
1	20	12
2	27	12
3	40	12
4	47	12
5	61	12
6	74	12
7	83	12
8	85	12
done	85	12
0	8	11
1	19	11
2	26	11
3	39	11
4	46	11
5	60	11
6	73	11
7	98	11
8	102	11
9	108	11
10	112	11
11	120	11
12	123	11
13	125	11
done	125	11
0	8	11
1	19	11
2	26	11
3	39	11
4	46	11
5	60	11
6	73	11
7	98	11
8	102	11
9	108	11
10	112	11
11	120	11
12	123	11
13	125	11
done	125	11
0	11	15
1	38	15
2	92	15
3	209	15
4	589	15
5	1997	15
done	5000	15
0	10	17
1	23	17
2	50	17
3	115	17
4	238	17
5	371	17
6	592	17
7	1025	17
8	3906	17
done	5000	17
0	12	19
1	35	17
2	111	17
3	373	17
4	994	17
5	2394	17
done	5000	17
0	8	11
1	21	11
2	47	11
3	128	11
4	270	11
5	440	11
6	642	11
7	946	11
8	1731	11
9	3382	11
10	3848	11
done	5000	11
0	2	2
1	5	1
done	5	1
0	12	15
1	19	15
2	31	15
3	49	15
4	96	14
5	110	14
6	127	14
7	141	14
done	141	14
0	11	14
1	25	14
2	38	14
3	53	14
4	92	13
5	104	13
6	121	13
7	140	13
done	140	13
0	10	13
1	24	13
2	37	13
3	54	13
4	75	13
5	125	13
6	142	13
7	163	13
8	177	13
done	177	13
0	13	16
1	24	15
2	51	15
3	105	14
4	240	14
5	364	14
6	419	14
7	456	14
done	456	14
0	12	15
1	30	14
2	54	14
3	99	13
4	207	13
5	374	13
6	430	13
7	477	13
done	477	13
0	11	14
1	27	13
2	46	13
3	78	13
4	151	13
5	327	13
6	393	13
7	440	13
8	475	13
done	475	13
0	14	17
1	27	16
2	49	15
3	109	14
4	244	14
5	370	14
6	431	14
7	464	14
done	464	14
0	13	16
1	33	15
2	52	14
3	103	13
4	212	13
5	377	13
6	431	13
7	476	13
done	476	13
0	12	15
1	30	14
2	46	13
3	82	13
4	155	13
5	331	13
6	397	13
7	443	13
8	482	13
done	482	13
0	11	14
1	30	13
2	59	13
3	136	12
4	301	12
5	562	12
6	784	12
7	882	12
8	991	12
9	1113	12
10	1747	12
done	5000	12
0	11	14
1	26	14
2	48	14
3	111	12
4	277	12
5	558	12
6	1226	12
7	3465	12
done	5001	12
0	18	41
1	66	37
2	272	19
3	1347	17
done	5000	17
0	16	41
1	62	37
2	257	17
3	1455	15
done	5000	15
0	14	41
1	41	37
2	132	15
3	775	15
4	3729	13
done	5000	13
0	12	29
1	27	29
2	47	29
3	97	25
4	201	25
5	352	25
6	453	25
7	519	25
8	587	25
9	708	25
10	1337	25
11	4683	25
done	5001	25
0	11	14
1	26	14
2	46	14
3	96	12
4	202	12
5	353	12
6	456	12
7	523	12
8	599	12
9	719	12
10	1338	12
11	4665	12
done	5000	12
0	12	41
1	34	41
2	93	15
3	527	13
4	3377	13
done	5000	13
0	11	14
1	26	14
2	46	14
3	96	12
4	202	12
5	353	12
6	456	12
7	523	12
8	599	12
9	719	12
10	1338	12
11	4665	12
done	5000	12
0	11	14
1	26	14
2	46	14
3	96	12
4	202	12
5	353	12
6	456	12
7	523	12
8	599	12
9	719	12
10	1338	12
11	4665	12
done	5000	12
0	2	2
1	5	1
done	5	1
0	9	12
1	22	12
2	37	12
3	43	12
4	61	12
5	83	11
6	93	11
7	95	11
done	95	11
0	14	31
1	33	29
2	47	27
3	55	27
done	55	27
0	12	15
1	25	14
2	30	14
3	32	14
done	32	14
0	13	18
1	28	16
2	35	14
3	38	14
done	38	14
0	12	15
1	25	14
2	30	14
3	32	14
done	32	14
0	10	17
1	19	15
2	37	13
3	70	11
4	98	11
5	99	11
done	99	11
0	11	13
1	17	12
2	28	12
3	45	10
4	90	10
5	135	10
6	160	10
7	179	10
8	189	10
done	189	10
0	9	12
1	16	10
2	25	8
3	33	6
4	34	6
done	34	6
0	11	13
1	17	12
2	28	12
3	45	10
4	90	10
5	135	10
6	160	10
7	179	10
8	189	10
done	189	10
0	6	9
1	12	7
2	21	3
3	28	1
done	28	1
0	10	12
1	16	11
2	27	11
3	44	9
4	89	9
5	136	9
6	185	9
7	206	9
8	224	9
9	247	9
10	276	9
11	295	9
12	312	9
13	327	9
done	327	9
0	6	9
1	12	7
2	21	3
3	28	1
done	28	1
0	10	12
1	16	11
2	27	11
3	44	9
4	89	9
5	136	9
6	185	9
7	206	9
8	224	9
9	247	9
10	276	9
11	295	9
12	312	9
13	327	9
done	327	9
0	4	7
1	8	3
2	12	1
done	12	1
0	11	14
1	26	13
2	46	13
3	96	11
4	202	11
5	349	11
6	452	11
7	518	11
8	594	11
9	716	11
10	1349	11
11	4773	11
done	5000	11
0	7	9
1	12	7
2	14	5
3	15	5
done	15	5
0	10	12
1	24	11
2	44	9
3	81	7
4	125	7
5	178	7
6	187	7
7	191	7
done	191	7
0	15	21
1	48	19
2	125	17
3	369	15
4	1417	15
done	5000	15
0	12	20
1	28	17
2	54	17
3	84	15
4	129	15
5	214	15
6	331	15
7	382	15
8	474	15
9	552	15
10	553	15
done	553	15
0	14	23
1	33	21
2	77	19
3	234	17
4	880	17
5	1950	17
6	3505	17
done	5000	17
0	8	8
1	12	7
2	13	7
done	13	7
0	13	28
1	28	27
2	33	27
3	35	27
done	35	27
0	12	15
1	25	14
2	30	14
3	32	14
done	32	14
0	12	15
1	25	14
2	30	14
3	32	14
done	32	14
0	12	15
1	25	14
2	30	14
3	32	14
done	32	14
0	9	14
1	16	13
2	24	13
3	37	11
4	41	11
5	66	11
6	113	11
7	115	11
done	115	11
0	11	13
1	17	12
2	28	12
3	45	10
4	90	10
5	135	10
6	160	10
7	179	10
8	189	10
done	189	10
0	8	9
1	13	8
2	16	8
3	17	6
done	17	6
0	11	13
1	17	12
2	28	12
3	45	10
4	90	10
5	135	10
6	160	10
7	179	10
8	189	10
done	189	10
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	10	12
1	16	11
2	27	11
3	44	9
4	89	9
5	136	9
6	185	9
7	206	9
8	224	9
9	247	9
10	276	9
11	295	9
12	312	9
13	327	9
done	327	9
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	10	12
1	16	11
2	27	11
3	44	9
4	89	9
5	136	9
6	185	9
7	206	9
8	224	9
9	247	9
10	276	9
11	295	9
12	312	9
13	327	9
done	327	9
0	3	4
1	5	1
done	5	1
0	11	14
1	26	13
2	46	13
3	96	11
4	202	11
5	349	11
6	452	11
7	518	11
8	594	11
9	716	11
10	1349	11
11	4773	11
done	5000	11
0	6	6
1	9	5
done	9	5
0	10	12
1	24	11
2	44	9
3	81	7
4	125	7
5	178	7
6	187	7
7	191	7
done	191	7
0	14	18
1	45	17
2	114	17
3	336	15
4	1343	15
done	5000	15
0	12	20
1	28	17
2	54	17
3	84	15
4	129	15
5	214	15
6	331	15
7	382	15
8	474	15
9	552	15
10	553	15
done	553	15
0	13	20
1	30	19
2	66	19
3	195	17
4	741	17
5	1828	17
6	3369	17
done	5000	17
0	8	8
1	12	7
2	13	7
done	13	7
0	12	27
1	27	27
2	32	27
3	34	27
done	34	27
0	11	14
1	24	14
2	29	14
3	31	14
done	31	14
0	11	14
1	24	14
2	29	14
3	31	14
done	31	14
0	11	14
1	24	14
2	29	14
3	31	14
done	31	14
0	8	13
1	15	13
2	23	13
3	36	11
4	40	11
5	65	11
6	108	11
7	112	11
done	112	11
0	10	12
1	16	12
2	27	12
3	44	10
4	89	10
5	136	10
6	161	10
7	178	10
8	188	10
done	188	10
0	7	8
1	12	8
2	15	8
3	16	6
done	16	6
0	10	12
1	16	12
2	27	12
3	44	10
4	89	10
5	136	10
6	161	10
7	178	10
8	188	10
done	188	10
0	4	5
1	8	1
done	8	1
0	9	11
1	15	11
2	26	11
3	43	9
4	88	9
5	135	9
6	184	9
7	203	9
8	220	9
9	243	9
10	272	9
11	291	9
12	308	9
13	323	9
done	323	9
0	4	5
1	8	1
done	8	1
0	9	11
1	15	11
2	26	11
3	43	9
4	88	9
5	135	9
6	184	9
7	203	9
8	220	9
9	243	9
10	272	9
11	291	9
12	308	9
13	323	9
done	323	9
0	2	3
1	4	1
done	4	1
0	10	13
1	25	13
2	45	13
3	95	11
4	199	11
5	348	11
6	451	11
7	516	11
8	590	11
9	713	11
10	1334	11
11	4746	11
done	5000	11
0	5	5
1	8	5
done	8	5
0	9	11
1	23	7
2	45	7
3	98	7
4	144	7
5	163	7
6	196	7
7	201	7
done	201	7
0	13	17
1	44	17
2	113	17
3	330	15
4	1309	15
done	5000	15
0	11	19
1	27	17
2	53	17
3	83	15
4	128	15
5	213	15
6	330	15
7	381	15
8	473	15
9	551	15
10	552	15
done	552	15
0	12	19
1	29	19
2	65	19
3	194	17
4	742	17
5	1835	17
6	3383	17
done	5000	17
0	7	7
1	11	7
2	12	7
done	12	7
0	10	13
1	25	13
2	45	13
3	95	11
4	199	11
5	348	11
6	451	11
7	516	11
8	590	11
9	713	11
10	1334	11
11	4746	11
done	5000	11
0	10	13
1	25	11
2	48	11
3	105	11
4	124	11
5	134	11
6	143	11
7	148	11
done	148	11
0	12	27
1	27	27
2	32	27
3	34	27
done	34	27
0	11	14
1	24	14
2	29	14
3	31	14
done	31	14
0	8	13
1	15	13
2	23	13
3	36	11
4	40	11
5	65	11
6	108	11
7	112	11
done	112	11
0	7	8
1	12	8
2	15	8
3	16	6
done	16	6
0	4	5
1	8	1
done	8	1
0	4	5
1	8	1
done	8	1
0	2	3
1	4	1
done	4	1
0	5	5
1	8	5
done	8	5
0	13	17
1	44	17
2	113	17
3	330	15
4	1309	15
done	5000	15
0	12	19
1	29	19
2	65	19
3	194	17
4	742	17
5	1835	17
6	3383	17
done	5000	17
0	11	14
1	26	13
2	45	13
3	83	11
4	113	11
5	123	11
6	132	11
7	136	11
done	136	11
0	11	14
1	26	13
2	45	13
3	83	11
4	113	11
5	123	11
6	132	11
7	136	11
done	136	11
0	10	13
1	25	11
2	48	11
3	105	11
4	124	11
5	134	11
6	143	11
7	148	11
done	148	11
0	5	5
1	8	5
done	8	5
0	6	7
1	14	7
2	17	7
3	19	7
done	19	7
0	8	9
1	10	9
done	10	9
0	7	8
1	18	8
2	22	8
3	24	8
done	24	8
0	7	8
1	17	8
2	29	8
3	48	8
4	81	8
5	197	8
6	523	8
7	1728	8
done	5000	8
0	10	23
1	30	23
2	117	11
3	422	11
4	1532	9
done	5000	9
0	8	17
1	16	17
2	19	17
3	21	17
done	21	17
0	7	8
1	15	8
2	18	8
3	20	8
done	20	8
0	8	23
1	26	23
2	99	9
3	369	9
4	966	9
5	2862	9
done	5000	9
0	7	8
1	15	8
2	18	8
3	20	8
done	20	8
0	7	8
1	15	8
2	18	8
3	20	8
done	20	8
0	8	9
1	10	9
done	10	9
0	8	9
1	10	9
done	10	9
0	4	5
1	7	5
2	9	5
done	9	5
0	3	3
1	4	3
done	4	3
0	4	5
1	7	5
2	9	5
done	9	5
0	3	3
1	4	3
done	4	3
0	8	15
1	12	15
2	14	15
done	14	15
0	7	8
1	9	8
done	9	8
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	7	8
1	15	8
2	20	8
3	24	8
4	26	8
5	27	8
done	27	8
0	7	8
1	15	8
2	20	8
3	24	8
4	26	8
5	27	8
done	27	8
0	6	7
1	14	7
2	17	7
3	19	7
done	19	7
0	9	11
1	33	11
2	85	11
3	198	11
4	573	11
5	1975	11
done	5000	11
0	8	13
1	18	13
2	41	13
3	98	13
4	219	13
5	350	13
6	566	13
7	1001	13
8	3792	13
done	5000	13
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	14	19
1	39	17
2	101	15
3	206	15
4	510	13
5	1490	13
done	5000	13
0	9	11
1	19	11
2	37	9
3	54	9
4	75	9
5	106	9
6	130	9
7	170	9
8	205	9
9	235	9
10	262	9
11	310	9
12	336	9
done	336	9
0	9	11
1	19	11
2	37	9
3	54	9
4	75	9
5	106	9
6	130	9
7	170	9
8	205	9
9	235	9
10	262	9
11	310	9
12	336	9
done	336	9
0	8	9
1	15	9
2	27	9
3	34	9
4	45	7
5	57	7
6	79	7
7	145	7
8	361	7
9	1293	7
done	5000	7
0	8	9
1	15	9
2	27	9
3	34	9
4	45	7
5	57	7
6	79	7
7	145	7
8	361	7
9	1293	7
done	5000	7
0	8	9
1	15	9
2	27	9
3	34	9
4	45	7
5	57	7
6	79	7
7	145	7
8	361	7
9	1293	7
done	5000	7

prune127.0ms

Filtered

79 candidates to 127 candidates (-60.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	127	4	131

Merged error: 0b

Counts

131 → 4

regimes80.0ms

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	8	11
1	10	11
done	10	11

end0.0ms

sample811.0ms

Algorithm

intervals

Results

523.0ms

9148×

body

valid

Details

sample24.0ms

simplify160.0ms

prune3.0ms

localize7.0ms

rewrite26.0ms

series13.0ms

simplify48.6s

prune94.0ms

localize7.0ms

rewrite41.0ms

series17.0ms

simplify1.1min

prune193.0ms

localize11.0ms

rewrite47.0ms

series18.0ms

simplify3.9min

prune168.0ms

localize8.0ms

rewrite46.0ms

series23.0ms

simplify2.6min

prune127.0ms

regimes80.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample811.0ms

Profiling