Details

sample19.0ms

Algorithm

intervals

Results

5.0ms

256×

body

valid

simplify2.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	5	5
done	5	5

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

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ x (+ y x))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

18×	`*-un-lft-identity`
12×	`times-frac`
10×	`add-sqr-sqrt` `add-cube-cbrt`
4×	`associate-/r*` `distribute-lft-out`
3×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
2×	`associate-/r/`
1×	`pow1` `cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip-+` `div-inv` `add-log-exp`

Counts

1 → 33

Calls

1 calls:

6.0ms

(/ x (+ y x))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(/ x (+ y x))

simplify16.9s

Counts

36 → 36

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	1285	7
6	3010	7
done	5000	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	200	9
6	604	9
7	2436	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	1619	9
done	5000	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune38.0ms

Filtered

26 candidates to 36 candidates (-38.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	34	2	36
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	34	3	37

Merged error: 0.0b

Counts

37 → 3

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (+ y x) x)
0.4b	(/ 1 (/ (+ y x) x))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

108×	`times-frac`
92×	`*-un-lft-identity`
60×	`add-sqr-sqrt` `add-cube-cbrt`
19×	`associate-/r*`
16×	`distribute-lft-out`
15×	`add-exp-log`
9×	`add-cbrt-cube`
8×	`div-exp`
7×	`associate-/l*`
6×	`div-inv`
4×	`cbrt-undiv`
3×	`pow1`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `associate-/l/` `add-log-exp`
1×	`pow-flip` `flip3-+` `associate-/r/` `flip-+` `inv-pow`

Counts

2 → 121

Calls

2 calls:

6.0ms	(/ (+ y x) x)
9.0ms	(/ 1 (/ (+ y x) x))

series11.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(/ (+ y x) x)
7.0ms	(/ 1 (/ (+ y x) x))

simplify29.1s

Counts

127 → 127

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	2
1	5	1
done	5	1
0	7	8
1	10	8
2	14	8
3	16	8
4	17	7
done	17	7
0	6	7
1	10	7
2	12	7
3	16	7
4	18	7
5	19	7
done	19	7
0	8	9
1	15	8
2	28	8
3	47	7
4	76	7
5	102	7
6	111	7
7	127	7
done	127	7
0	7	8
1	13	7
2	21	7
3	34	7
4	60	7
5	90	7
6	95	7
7	101	7
8	116	7
done	116	7
0	9	10
1	18	9
2	26	8
3	51	7
4	80	7
5	107	7
6	116	7
7	133	7
done	133	7
0	8	9
1	16	8
2	21	7
3	38	7
4	64	7
5	94	7
6	100	7
7	106	7
8	123	7
done	123	7
0	7	8
1	16	7
2	25	7
3	39	6
4	55	6
5	91	6
6	121	6
7	125	6
8	131	6
9	148	6
done	148	6
0	7	8
1	12	8
2	17	8
3	24	6
4	32	6
5	57	6
6	126	6
7	272	6
8	776	6
9	2734	6
done	5001	6
0	12	23
1	41	19
2	126	11
3	398	9
4	1128	9
5	2695	7
done	5000	7
0	10	23
1	27	19
2	79	9
3	243	9
4	610	9
5	1397	7
6	4506	7
done	5001	7
0	8	17
1	13	17
2	16	17
3	17	13
done	17	13
0	7	8
1	12	8
2	15	8
3	16	6
done	16	6
0	8	23
1	20	23
2	58	9
3	241	7
4	546	7
5	863	7
6	1659	7
7	4635	7
done	5000	7
0	7	8
1	12	8
2	15	8
3	16	6
done	16	6
0	7	8
1	12	8
2	15	8
3	16	6
done	16	6
0	2	2
1	5	1
done	5	1
0	5	6
1	8	6
2	12	6
3	14	6
4	20	6
5	26	5
6	28	5
done	28	5
0	10	19
1	19	17
2	28	15
3	34	15
done	34	15
0	8	9
1	11	8
done	11	8
0	9	12
1	14	10
2	16	8
3	17	8
done	17	8
0	8	9
1	11	8
done	11	8
0	12	21
1	25	19
2	61	17
3	133	15
4	182	15
done	182	15
0	9	10
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	11	18
1	20	16
2	38	14
3	71	12
4	93	12
done	93	12
0	9	10
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	10	17
1	19	11
2	33	11
3	42	11
done	42	11
0	8	9
1	13	8
2	16	8
3	17	6
done	17	6
0	11	16
1	20	14
2	35	12
3	55	10
4	58	10
done	58	10
0	9	10
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	10	13
1	17	11
2	26	9
3	34	7
4	35	7
done	35	7
0	9	10
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	9	12
1	16	6
2	21	6
done	21	6
0	8	9
1	13	8
2	16	8
3	17	6
done	17	6
0	8	13
1	16	11
2	31	7
3	47	5
4	55	5
5	56	5
done	56	5
0	8	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	7	10
1	13	8
2	22	4
3	29	2
done	29	2
0	8	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	5	9
1	11	1
done	11	1
0	7	8
1	12	7
2	15	7
3	16	5
done	16	5
0	8	13
1	16	11
2	31	7
3	47	5
4	55	5
5	56	5
done	56	5
0	8	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	7	10
1	13	8
2	22	4
3	29	2
done	29	2
0	8	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	5	9
1	11	1
done	11	1
0	7	8
1	12	7
2	15	7
3	16	5
done	16	5
0	4	7
1	8	3
2	12	1
done	12	1
0	7	8
1	12	7
2	15	7
3	16	5
done	16	5
0	7	9
1	12	7
2	14	5
3	15	5
done	15	5
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	9	16
1	14	15
done	14	15
0	8	9
1	11	8
done	11	8
0	8	9
1	11	8
done	11	8
0	8	9
1	11	8
done	11	8
0	11	18
1	22	17
2	43	17
3	72	15
4	132	15
5	203	15
done	203	15
0	9	10
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	10	15
1	17	14
2	25	14
3	38	12
4	65	12
5	105	12
done	105	12
0	9	10
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	9	14
1	16	11
2	27	11
3	36	11
done	36	11
0	8	9
1	13	8
2	16	8
3	17	6
done	17	6
0	10	13
1	17	12
2	24	12
3	32	10
4	56	10
5	75	10
done	75	10
0	9	10
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	9	10
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	9	10
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	8	9
1	13	6
2	18	6
done	18	6
0	8	9
1	13	8
2	16	8
3	17	6
done	17	6
0	7	10
1	13	9
2	20	7
3	29	5
4	42	5
5	44	5
done	44	5
0	8	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	6	7
1	10	6
2	13	4
3	18	2
4	22	2
done	22	2
0	8	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	4	6
1	8	1
done	8	1
0	7	8
1	12	7
2	15	7
3	16	5
done	16	5
0	7	10
1	13	9
2	20	7
3	29	5
4	42	5
5	44	5
done	44	5
0	8	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	6	7
1	10	6
2	13	4
3	18	2
4	22	2
done	22	2
0	8	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	4	6
1	8	1
done	8	1
0	7	8
1	12	7
2	15	7
3	16	5
done	16	5
0	3	4
1	5	1
done	5	1
0	7	8
1	12	7
2	15	7
3	16	5
done	16	5
0	6	6
1	9	5
done	9	5
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	8	15
1	13	15
done	13	15
0	7	8
1	10	8
done	10	8
0	7	8
1	10	8
done	10	8
0	7	8
1	10	8
done	10	8
0	10	17
1	21	17
2	42	17
3	73	15
4	133	15
5	208	15
done	208	15
0	8	9
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	9	14
1	16	14
2	24	14
3	37	12
4	64	12
5	97	12
done	97	12
0	8	9
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	8	13
1	15	11
2	26	11
3	35	11
done	35	11
0	7	8
1	12	8
2	15	8
3	16	6
done	16	6
0	9	12
1	16	12
2	23	12
3	31	10
4	55	10
5	72	10
done	72	10
0	8	9
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	8	9
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	8	9
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	7	8
1	12	6
2	17	6
done	17	6
0	7	8
1	12	8
2	15	8
3	16	6
done	16	6
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	7	8
1	12	8
2	15	8
3	16	6
4	29	6
5	34	6
done	34	6
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	7	8
1	12	8
2	15	8
3	16	6
4	29	6
5	34	6
done	34	6
0	3	5
1	6	1
done	6	1
0	6	7
1	11	7
2	14	7
3	15	5
done	15	5
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	7	8
1	12	8
2	15	8
3	16	6
4	29	6
5	34	6
done	34	6
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	7	8
1	12	8
2	15	8
3	16	6
4	29	6
5	34	6
done	34	6
0	3	5
1	6	1
done	6	1
0	6	7
1	11	7
2	14	7
3	15	5
done	15	5
0	2	3
1	4	1
done	4	1
0	6	7
1	11	7
2	14	7
3	15	5
done	15	5
0	5	5
1	8	5
done	8	5
0	4	5
1	8	1
done	8	1
0	6	7
1	11	7
2	14	7
3	15	5
done	15	5
0	6	7
1	11	5
2	18	5
done	18	5
0	8	15
1	13	15
done	13	15
0	7	8
1	10	8
done	10	8
0	10	17
1	21	17
2	42	17
3	73	15
4	133	15
5	208	15
done	208	15
0	9	14
1	16	14
2	24	14
3	37	12
4	64	12
5	97	12
done	97	12
0	8	13
1	15	11
2	26	11
3	35	11
done	35	11
0	9	12
1	16	12
2	23	12
3	31	10
4	55	10
5	72	10
done	72	10
0	8	9
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	7	8
1	12	6
2	17	6
done	17	6
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	3	5
1	6	1
done	6	1
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	3	5
1	6	1
done	6	1
0	2	3
1	4	1
done	4	1
0	5	5
1	8	5
done	8	5
0	7	8
1	12	7
2	15	7
done	15	5
0	7	8
1	12	7
2	15	7
done	15	5
0	6	7
1	11	5
2	18	5
done	18	5
0	5	5
1	8	5
done	8	5
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	232	7
4	615	7
5	1682	7
6	4439	7
done	5000	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	46	7
3	118	7
4	293	7
5	584	7
6	1235	7
done	5001	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	2	2
done	2	2
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	12
1	10	12
2	12	12
3	13	12
done	13	12
0	6	7
1	7	7
done	7	7
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	5	6
1	6	6
done	6	6
0	7	10
1	10	10
done	10	10
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	6	6
1	9	4
2	11	4
done	11	4
0	5	6
1	6	6
done	6	6
0	5	7
1	9	7
done	9	7
0	5	6
1	6	6
done	6	6
0	4	4
1	6	4
done	6	4
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	5	7
1	9	7
done	9	7
0	5	6
1	6	6
done	6	6
0	4	4
1	6	4
done	6	4
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	3	3
1	5	3
done	5	3
0	4	5
1	5	5
done	5	5
0	6	9
1	9	9
done	9	9
0	5	6
1	6	6
done	6	6
0	5	5
1	8	3
2	10	3
done	10	3
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	4	5
1	5	5
done	5	5
0	8	13
1	23	11
2	48	11
3	89	11
4	135	11
5	184	11
6	245	11
7	327	11
8	587	11
9	1096	11
10	3564	11
done	5000	11
0	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	5	5
1	8	5
done	8	5
0	5	5
1	8	5
done	8	5
0	5	5
1	8	5
done	8	5

prune80.0ms

Filtered

66 candidates to 127 candidates (-92.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	126	1	127
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	127	3	130

Merged error: 0b

Counts

130 → 3

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(- -1 (/ y x))
0.4b	(/ -1 (- -1 (/ y x)))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt`
23×	`*-un-lft-identity` `times-frac`
13×	`add-cube-cbrt`
10×	`difference-of-squares`
6×	`associate-/r*`
5×	`distribute-lft-out--`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`associate-/l*`
2×	`pow1` `flip3--` `associate-/r/` `flip--`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-exp` `clear-num` `div-inv`

Counts

2 → 56

Calls

2 calls:

7.0ms	(- -1 (/ y x))
9.0ms	(/ -1 (- -1 (/ y x)))

series9.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(- -1 (/ y x))
5.0ms	(/ -1 (- -1 (/ y x)))

simplify31.9s

Counts

62 → 62

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	12	9
2	16	9
done	16	9
0	7	8
1	12	8
2	17	8
3	18	8
done	18	8
0	7	8
1	9	8
2	12	8
done	12	8
0	10	23
1	23	19
2	55	9
3	131	9
4	401	9
5	1482	9
done	5000	9
0	8	17
1	10	17
2	13	17
done	13	17
0	7	8
1	9	8
2	12	8
done	12	8
0	8	23
1	17	23
2	38	9
3	88	9
4	255	9
5	631	9
6	1783	9
done	5001	9
0	7	8
1	9	8
2	12	8
done	12	8
0	7	8
1	9	8
2	12	8
done	12	8
0	2	2
1	3	1
2	5	1
done	5	1
0	6	6
1	8	6
2	15	6
3	21	5
4	23	5
done	23	5
0	10	19
1	18	19
2	30	19
3	36	19
done	36	19
0	8	9
1	10	9
2	13	9
done	13	9
0	9	12
1	13	12
2	18	12
3	19	12
done	19	12
0	8	9
1	10	9
2	13	9
done	13	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	9	8
2	12	8
done	12	8
0	10	13
1	13	13
2	15	13
3	16	13
done	16	13
0	9	10
1	11	10
2	12	10
done	12	10
0	11	14
1	14	14
2	16	14
3	17	14
done	17	14
0	10	11
1	12	11
2	15	11
done	15	11
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	9	8
2	12	8
done	12	8
0	9	16
1	13	16
2	16	16
done	16	16
0	8	9
1	10	9
2	13	9
done	13	9
0	8	9
1	10	9
2	13	9
done	13	9
0	8	9
1	10	9
2	13	9
done	13	9
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	9	8
2	12	8
done	12	8
0	8	10
1	9	10
done	9	10
0	8	10
1	10	10
2	11	10
done	11	10
0	9	11
1	10	11
done	10	11
0	9	11
1	11	11
2	14	11
done	14	11
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	9	8
2	12	8
done	12	8
0	9	15
1	15	15
2	18	15
done	18	15
0	7	8
1	9	8
2	12	8
done	12	8
0	8	8
1	12	8
2	15	8
done	15	8
0	7	8
1	9	8
2	12	8
done	12	8
0	2	3
1	4	1
done	4	1
0	6	7
1	8	7
2	11	7
done	11	7
0	9	9
1	12	9
done	12	9
0	8	9
1	10	9
2	11	9
done	11	9
0	10	10
1	13	10
done	13	10
0	9	10
1	11	10
2	14	10
done	14	10
0	2	3
1	4	1
done	4	1
0	6	7
1	8	7
2	11	7
done	11	7
0	7	7
1	11	7
2	14	7
done	14	7
0	6	7
1	12	7
2	21	7
3	28	6
4	32	6
done	32	6
0	8	15
1	12	15
2	15	15
done	15	15
0	7	8
1	9	8
2	12	8
done	12	8
0	3	3
1	5	1
done	5	1
0	8	9
1	9	9
done	9	9
0	9	10
1	10	10
done	10	10
0	3	3
1	5	1
done	5	1
0	7	8
1	12	8
2	19	8
3	25	8
4	29	8
done	29	8
0	7	8
1	12	8
2	19	8
3	25	8
4	29	8
done	29	8
0	6	7
1	12	7
2	21	7
3	28	6
4	32	6
done	32	6
0	9	11
1	28	9
2	68	9
3	168	9
4	519	9
5	1727	9
done	5000	9
0	8	13
1	19	11
2	38	11
3	74	11
4	130	11
5	218	11
6	392	11
7	1016	11
8	3427	11
done	5001	11
0	7	7
1	9	6
2	11	6
3	16	6
4	19	6
5	25	6
6	29	6
7	45	6
8	49	6
9	54	6
10	59	6
11	70	6
12	78	6
13	82	6
14	87	6
15	90	6
16	101	6
17	126	6
18	129	6
done	129	6
0	6	6
1	8	6
2	11	6
done	11	6
0	6	6
1	11	6
2	16	6
3	19	6
4	25	6
5	29	6
6	45	6
7	51	6
8	56	6
9	61	6
10	73	6
11	81	6
12	85	6
13	90	6
14	93	6
15	104	6
16	129	6
17	133	6
done	133	6
0	7	13
1	9	13
2	12	13
done	12	13
0	6	6
1	8	6
2	11	6
done	11	6
0	7	17
1	10	17
2	27	7
3	81	7
4	261	7
5	945	7
6	4368	7
done	5000	7
0	6	6
1	8	6
2	11	6
done	11	6
0	6	6
1	8	6
2	11	6
done	11	6
0	8	9
1	27	7
2	67	7
3	167	7
4	518	7
5	1715	7
done	5000	7
0	9	17
1	25	11
2	49	11
3	68	11
4	86	11
5	100	11
6	132	11
7	231	11
8	481	11
9	1105	11
10	1819	11
11	1904	11
done	1904	11
0	4	4
1	6	4
done	6	4
0	7	11
1	18	9
2	35	9
3	69	9
4	125	9
5	213	9
6	387	9
7	1005	9
8	3399	9
done	5000	9
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	7	7
1	9	7
2	10	7
done	10	7
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	13	8
done	13	8
0	5	5
1	7	5
2	10	5
done	10	5
0	4	4
1	6	4
done	6	4
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	6	6
1	13	6
2	16	6
3	17	5
done	17	5
0	6	6
1	13	6
2	16	6
3	17	5
done	17	5
0	6	6
1	13	6
2	16	6
3	17	5
done	17	5

prune85.0ms

Filtered

47 candidates to 62 candidates (-31.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	62	3	65

Merged error: 0b

Counts

65 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (+ y x))
0.1b	(/ 1 (sqrt (+ y x)))
0.2b	(* (/ 1 (sqrt (+ y x))) (/ x (sqrt (+ y x))))
0.2b	(/ x (sqrt (+ y x)))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

112×	`add-sqr-sqrt`
106×	`times-frac`
101×	`*-un-lft-identity`
71×	`sqrt-prod`
65×	`add-cube-cbrt`
32×	`add-exp-log`
27×	`associate-r` `associate-l`
20×	`add-cbrt-cube`
15×	`distribute-lft-out` `unswap-sqr`
14×	`associate-/r*`
11×	`div-exp`
10×	`sqrt-div`
9×	`pow1`
8×	`prod-exp` `associate-/r/`
6×	`cbrt-undiv` `associate-/l*`
5×	`flip3-+` `flip-+`
4×	`cbrt-unprod` `div-inv` `add-log-exp`
3×	`rec-exp` `pow-flip` `1-exp`
2×	`frac-2neg` `sqrt-pow1` `pow1/2` `clear-num`
1×	`frac-times` `rem-sqrt-square` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `inv-pow`

Counts

4 → 205

Calls

4 calls:

3.0ms	(sqrt (+ y x))
7.0ms	(/ 1 (sqrt (+ y x)))
33.0ms	(* (/ 1 (sqrt (+ y x))) (/ x (sqrt (+ y x))))
7.0ms	(/ x (sqrt (+ y x)))

series50.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(sqrt (+ y x))
15.0ms	(/ 1 (sqrt (+ y x)))
14.0ms	(* (/ 1 (sqrt (+ y x))) (/ x (sqrt (+ y x))))
14.0ms	(/ x (sqrt (+ y x)))

simplify2.1min

Counts

217 → 217

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	10	8
2	11	8
done	11	8
0	6	7
1	10	7
2	12	7
3	13	7
done	13	7
0	6	7
1	7	7
done	7	7
0	9	20
1	19	14
2	60	10
3	127	8
4	214	8
5	343	8
6	812	8
7	3427	8
done	5000	8
0	7	15
1	8	15
done	8	15
0	6	7
1	7	7
done	7	7
0	7	20
1	15	20
2	31	8
3	69	8
4	136	8
5	225	8
6	359	8
7	869	8
8	3633	8
done	5000	8
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	2	2
done	2	2
0	5	5
1	6	5
done	6	5
0	9	17
1	16	17
2	25	17
3	31	17
done	31	17
0	7	8
1	8	8
done	8	8
0	9	16
1	13	11
2	15	11
3	16	11
done	16	11
0	7	8
1	8	8
done	8	8
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	7	8
1	8	8
done	8	8
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	6	7
1	7	7
done	7	7
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	6	7
1	7	7
done	7	7
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	7	8
1	8	8
done	8	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	7
1	7	7
done	7	7
0	8	14
1	11	14
done	11	14
0	7	8
1	8	8
done	8	8
0	8	13
1	10	8
done	10	8
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	5	5
1	7	4
done	7	4
0	6	7
1	7	7
done	7	7
0	5	5
1	7	4
done	7	4
0	6	7
1	7	7
done	7	7
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	7
1	7	7
done	7	7
0	8	13
1	13	13
done	13	13
0	6	7
1	7	7
done	7	7
0	8	12
1	12	7
done	12	7
0	6	7
1	7	7
done	7	7
0	7	7
1	10	7
done	10	7
0	6	7
1	7	7
done	7	7
0	3	4
1	5	3
done	5	3
0	5	6
1	6	6
done	6	6
0	3	4
1	5	3
done	5	3
0	5	6
1	6	6
done	6	6
0	7	7
1	10	7
done	10	7
0	6	7
1	7	7
done	7	7
0	2	3
1	4	1
done	4	1
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	7	13
1	10	13
done	10	13
0	7	12
1	9	7
done	9	7
0	6	7
1	7	7
done	7	7
0	4	4
1	6	3
done	6	3
0	4	4
1	6	3
done	6	3
0	6	7
1	7	7
done	7	7
0	3	3
1	5	1
done	5	1
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	5	6
1	6	6
done	6	6
0	8	10
1	22	10
2	31	10
3	48	10
4	87	10
5	199	10
6	595	10
7	2424	10
done	5000	10
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	8	13
1	16	13
2	24	11
3	65	11
4	104	5
5	108	5
done	108	5
0	9	15
1	14	15
2	18	14
3	29	11
4	38	10
5	47	10
6	61	10
7	71	10
8	74	10
done	74	10
0	9	14
1	13	14
2	19	13
3	29	13
4	41	10
5	49	10
6	59	10
7	67	10
8	77	10
9	80	10
done	80	10
0	10	16
1	19	15
2	43	14
3	106	11
4	214	10
5	279	10
6	294	10
done	294	10
0	10	15
1	18	14
2	38	13
3	80	13
4	200	10
5	283	10
6	302	10
done	302	10
0	11	17
1	22	16
2	44	14
3	105	14
4	240	10
5	333	10
6	351	10
done	351	10
0	11	16
1	21	15
2	38	14
3	82	13
4	200	11
5	274	10
6	285	10
7	300	10
done	300	10
0	11	16
1	21	15
2	34	14
3	82	11
4	155	10
5	207	10
6	225	10
done	225	10
0	10	15
1	20	14
2	31	13
3	63	13
4	139	10
5	203	10
6	256	10
done	256	10
0	9	14
1	20	14
2	36	12
3	95	12
4	192	6
5	311	6
6	385	6
7	445	6
done	445	6
0	9	14
1	19	14
2	33	12
3	99	12
4	212	6
5	401	6
6	1061	6
7	4042	6
done	5000	6
0	14	41
1	38	25
2	145	17
3	831	15
4	3091	10
done	5000	10
0	14	41
1	37	31
2	117	15
3	460	15
4	1836	14
5	4472	7
done	5000	7
0	14	41
1	38	35
2	149	19
3	606	15
4	2121	14
done	5000	14
0	12	41
1	34	41
2	107	17
3	359	17
4	1179	7
5	3967	7
done	5001	7
0	10	29
1	18	29
2	26	25
3	67	25
4	113	13
5	116	13
done	116	13
0	9	14
1	17	14
2	25	12
3	66	12
4	110	6
5	116	6
done	116	6
0	10	41
1	28	41
2	103	13
3	395	13
4	1124	7
5	2822	7
done	5001	7
0	9	14
1	17	14
2	25	12
3	66	12
4	110	6
5	116	6
done	116	6
0	9	14
1	17	14
2	25	12
3	66	12
4	110	6
5	116	6
done	116	6
0	3	3
1	6	1
done	6	1
0	5	9
1	6	3
2	7	3
done	7	3
0	10	15
1	14	15
done	14	15
0	10	15
1	14	15
done	14	15
0	11	16
1	17	16
2	20	16
3	24	16
4	25	16
done	25	16
0	11	16
1	17	16
2	20	16
3	24	16
4	25	16
done	25	16
0	11	16
1	17	16
2	20	16
3	24	16
4	25	16
done	25	16
0	11	16
1	17	16
2	20	16
3	24	16
4	25	16
done	25	16
0	11	16
1	17	15
2	20	15
3	22	13
4	36	13
done	36	13
0	11	16
1	17	15
2	20	15
3	22	13
4	36	13
done	36	13
0	11	17
1	19	16
2	27	16
3	39	14
4	89	7
5	94	7
done	94	7
0	11	17
1	19	16
2	27	16
3	39	14
4	89	7
5	94	7
done	94	7
0	11	17
1	19	16
2	27	16
3	39	14
4	89	7
5	94	7
done	94	7
0	11	17
1	19	16
2	27	16
3	39	14
4	89	7
5	94	7
done	94	7
0	11	16
1	17	15
2	20	15
3	22	13
4	36	13
done	36	13
0	11	16
1	17	15
2	20	15
3	22	13
4	36	13
done	36	13
0	11	17
1	19	16
2	27	16
3	39	14
4	89	7
5	94	7
done	94	7
0	11	17
1	19	16
2	27	16
3	39	14
4	89	7
5	94	7
done	94	7
0	11	17
1	19	16
2	27	16
3	39	14
4	89	7
5	94	7
done	94	7
0	11	17
1	19	16
2	27	16
3	39	14
4	89	7
5	94	7
done	94	7
0	10	15
1	16	15
2	19	13
3	32	13
4	37	13
done	37	13
0	10	15
1	16	15
2	19	13
3	32	13
4	37	13
done	37	13
0	10	16
1	18	16
2	26	14
3	67	14
4	113	7
5	115	7
done	115	7
0	10	16
1	18	16
2	26	14
3	67	14
4	113	7
5	115	7
done	115	7
0	10	16
1	18	16
2	26	14
3	67	14
4	113	7
5	115	7
done	115	7
0	10	16
1	18	16
2	26	14
3	67	14
4	113	7
5	115	7
done	115	7
0	10	15
1	16	15
2	19	13
3	32	13
4	37	13
done	37	13
0	10	15
1	16	15
2	19	13
3	32	13
4	37	13
done	37	13
0	10	16
1	18	16
2	26	14
3	67	14
4	113	7
5	115	7
done	115	7
0	10	16
1	18	16
2	26	14
3	67	14
4	113	7
5	115	7
done	115	7
0	10	16
1	18	16
2	26	14
3	67	14
4	113	7
5	115	7
done	115	7
0	10	16
1	18	16
2	26	14
3	67	14
4	113	7
5	115	7
done	115	7
0	10	22
1	18	22
2	26	20
3	54	20
4	73	20
5	74	20
6	77	20
7	82	20
done	82	20
0	9	14
1	15	14
2	18	12
3	31	12
4	36	12
5	37	12
6	40	12
7	45	12
done	45	12
0	12	24
1	26	24
2	67	22
3	213	22
4	507	22
5	830	22
6	850	22
done	850	22
0	13	23
1	24	18
2	42	16
3	119	16
4	235	16
5	307	16
6	318	16
done	318	16
0	11	18
1	21	18
2	39	16
3	116	16
4	235	16
5	301	16
6	312	16
done	312	16
0	11	15
1	21	14
2	39	12
3	116	10
4	249	10
5	251	10
done	251	10
0	11	15
1	21	14
2	39	12
3	116	10
4	249	10
5	251	10
done	251	10
0	11	18
1	21	18
2	39	16
3	116	16
4	235	16
5	301	16
6	312	16
done	312	16
0	10	14
1	20	12
2	46	10
3	173	10
4	234	10
5	235	10
done	235	10
0	11	21
1	21	21
2	40	19
3	114	19
4	241	19
5	385	19
6	395	19
done	395	19
0	12	20
1	21	15
2	30	13
3	69	13
4	113	13
5	151	13
6	157	13
done	157	13
0	10	15
1	18	15
2	27	13
3	66	13
4	115	13
5	158	13
6	167	13
done	167	13
0	10	12
1	18	11
2	27	9
3	66	7
4	133	7
5	137	7
done	137	7
0	10	12
1	18	11
2	27	9
3	66	7
4	133	7
5	137	7
done	137	7
0	10	15
1	18	15
2	27	13
3	66	13
4	115	13
5	158	13
6	167	13
done	167	13
0	9	11
1	17	9
2	30	7
3	74	7
4	91	7
done	91	7
0	10	20
1	20	20
2	38	18
3	86	18
4	134	18
done	134	18
0	11	19
1	20	14
2	29	12
3	48	12
4	57	12
done	57	12
0	9	14
1	17	14
2	26	12
3	45	12
4	54	12
done	54	12
0	9	11
1	17	10
2	25	6
3	31	6
4	41	6
done	41	6
0	9	11
1	17	10
2	25	6
3	31	6
4	41	6
done	41	6
0	9	14
1	17	14
2	26	12
3	45	12
4	54	12
done	54	12
0	8	10
1	16	6
2	20	6
3	27	6
done	27	6
0	7	8
1	13	6
done	13	6
0	7	8
1	13	8
2	16	6
done	16	6
0	13	17
1	35	17
2	53	15
3	109	15
4	185	15
5	331	15
6	766	15
7	2638	15
done	5001	15
0	12	17
1	24	17
2	39	15
3	93	15
4	146	15
5	218	15
6	290	15
7	458	15
8	1753	15
done	5000	15
0	9	14
1	15	14
2	18	14
3	22	14
4	23	14
done	23	14
0	9	14
1	15	14
2	18	14
3	22	14
4	23	14
done	23	14
0	10	15
1	18	14
2	27	14
3	44	12
4	74	12
5	105	12
6	120	12
7	121	12
done	121	12
0	11	15
1	19	14
2	28	14
3	45	12
4	75	12
5	101	12
6	110	12
7	111	12
done	111	12
0	10	15
1	18	14
2	27	14
3	44	12
4	74	12
5	105	12
6	120	12
7	121	12
done	121	12
0	9	14
1	17	13
2	25	13
3	37	11
4	73	5
5	89	5
6	91	5
done	91	5
0	9	14
1	17	13
2	25	13
3	37	11
4	73	5
5	89	5
6	91	5
done	91	5
0	10	15
1	18	14
2	27	14
3	44	12
4	74	12
5	105	12
6	120	12
7	121	12
done	121	12
0	9	14
1	17	13
2	25	13
3	37	11
4	73	5
5	89	5
6	91	5
done	91	5
0	10	15
1	18	14
2	27	14
3	44	12
4	74	12
5	105	12
6	120	12
7	121	12
done	121	12
0	11	15
1	19	14
2	28	14
3	45	12
4	75	12
5	101	12
6	110	12
7	111	12
done	111	12
0	10	15
1	18	14
2	27	14
3	44	12
4	74	12
5	105	12
6	120	12
7	121	12
done	121	12
0	9	14
1	17	13
2	25	13
3	37	11
4	73	5
5	89	5
6	91	5
done	91	5
0	9	14
1	17	13
2	25	13
3	37	11
4	73	5
5	89	5
6	91	5
done	91	5
0	10	15
1	18	14
2	27	14
3	44	12
4	74	12
5	105	12
6	120	12
7	121	12
done	121	12
0	9	14
1	17	13
2	25	13
3	37	11
4	73	5
5	89	5
6	91	5
done	91	5
0	9	14
1	17	14
2	26	12
3	65	12
4	100	12
5	131	12
6	144	12
done	144	12
0	10	14
1	18	14
2	27	12
3	66	12
4	99	12
5	130	12
6	143	12
done	143	12
0	9	14
1	17	14
2	26	12
3	65	12
4	100	12
5	131	12
6	144	12
done	144	12
0	8	13
1	16	13
2	24	11
3	65	11
4	104	5
5	108	5
done	108	5
0	8	13
1	16	13
2	24	11
3	65	11
4	104	5
5	108	5
done	108	5
0	9	14
1	17	14
2	26	12
3	65	12
4	100	12
5	131	12
6	144	12
done	144	12
0	8	13
1	16	13
2	24	11
3	65	11
4	104	5
5	108	5
done	108	5
0	8	13
1	16	13
2	24	11
3	65	11
4	104	5
5	108	5
done	108	5
0	8	13
1	16	13
2	24	11
3	65	11
4	104	5
5	108	5
done	108	5
0	12	19
1	24	17
2	42	17
3	59	17
4	80	17
5	101	17
6	118	17
7	141	17
8	184	17
9	246	17
10	247	17
done	247	17
0	8	11
1	14	11
2	18	11
3	22	11
4	23	11
done	23	11
0	7	8
1	13	8
2	16	6
done	16	6
0	7	8
1	13	6
2	23	6
3	25	6
4	28	6
5	30	6
done	30	6
0	2	2
1	3	1
done	3	1
0	2	2
1	5	1
done	5	1
0	4	4
1	10	2
2	11	1
done	11	1
0	6	6
1	7	6
done	7	6
0	7	7
1	10	6
2	14	6
3	16	6
4	22	6
5	27	6
done	27	6
0	8	8
1	13	7
2	14	6
3	20	6
4	26	6
5	31	6
done	31	6
0	7	7
1	14	6
2	15	6
3	19	6
4	21	6
5	27	6
6	32	6
done	32	6
0	7	7
1	10	7
done	10	7
0	10	20
1	21	10
2	42	8
3	67	8
4	103	8
5	131	8
6	210	8
7	441	8
8	1398	8
done	5000	8
0	8	15
1	11	15
done	11	15
0	7	7
1	10	7
done	10	7
0	8	20
1	18	20
2	34	8
3	71	8
4	87	8
5	124	8
6	189	8
7	366	8
8	870	8
9	2960	8
done	5000	8
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7
0	2	2
1	5	1
done	5	1
0	5	5
1	6	5
done	6	5
0	10	17
1	19	15
2	28	13
3	34	13
done	34	13
0	8	8
1	11	7
done	11	7
0	10	16
1	16	9
2	18	7
3	19	7
done	19	7
0	8	8
1	11	7
done	11	7
0	9	11
1	14	9
2	16	7
3	17	7
done	17	7
0	8	8
1	11	7
done	11	7
0	5	8
1	9	5
2	10	3
3	13	1
done	13	1
0	7	7
1	10	6
done	10	6
0	5	8
1	9	5
2	10	3
3	13	1
done	13	1
0	7	7
1	10	6
done	10	6
0	9	11
1	14	9
2	16	7
3	17	7
done	17	7
0	8	8
1	11	7
done	11	7
0	4	7
1	8	3
2	12	1
done	12	1
0	7	7
1	10	6
done	10	6
0	9	14
1	14	13
done	14	13
0	8	8
1	11	7
done	11	7
0	9	13
1	13	7
done	13	7
0	8	8
1	11	7
done	11	7
0	8	8
1	11	7
done	11	7
0	8	8
1	11	7
done	11	7
0	3	5
1	5	1
done	5	1
0	7	7
1	10	6
done	10	6
0	3	5
1	5	1
done	5	1
0	7	7
1	10	6
done	10	6
0	8	8
1	11	7
done	11	7
0	8	8
1	11	7
done	11	7
0	3	4
1	5	1
done	5	1
0	7	7
1	10	6
done	10	6
0	8	13
1	13	13
done	13	13
0	7	7
1	10	7
done	10	7
0	8	12
1	12	7
done	12	7
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7
0	3	4
1	5	3
done	5	3
0	6	6
1	9	6
done	9	6
0	3	4
1	5	3
done	5	3
0	6	6
1	9	6
done	9	6
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	6	6
1	9	6
done	9	6
0	6	6
1	9	6
done	9	6
0	6	6
1	9	4
2	11	4
done	11	4
0	8	13
1	13	13
done	13	13
0	8	12
1	12	7
done	12	7
0	7	7
1	10	7
done	10	7
0	3	4
1	5	3
done	5	3
0	3	4
1	5	3
done	5	3
0	7	7
1	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	7	7
1	10	6
done	10	6
0	7	7
1	10	6
done	10	6
0	6	6
1	9	4
2	11	4
done	11	4
0	9	10
1	25	10
2	34	10
3	51	10
4	94	10
5	202	10
6	603	10
7	2420	10
done	5000	10
0	8	10
1	15	10
2	22	10
3	37	10
4	62	10
5	103	10
6	165	10
7	333	10
8	1624	10
done	5000	10
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	8
2	19	6
3	24	6
4	30	6
5	40	6
6	61	6
7	126	6
8	339	6
9	1262	6
done	5000	6
0	6	10
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
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	4	4
1	6	4
2	7	4
done	7	4
0	3	3
1	6	1
done	6	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	15	21
1	43	19
2	140	19
3	433	17
4	1489	15
5	4220	13
done	5000	13
0	13	17
1	37	17
2	102	17
3	231	17
4	623	17
5	2362	17
done	5000	17
0	8	11
1	21	11
2	41	11
3	81	11
4	174	11
5	451	11
6	1531	11
done	5001	11
0	1	1
done	1	1
0	1	1
done	1	1
0	13	21
1	32	21
2	98	21
3	217	21
4	624	17
5	2401	17
done	5000	17
0	11	15
1	29	15
2	89	15
3	268	11
4	784	11
5	1978	11
done	5000	11
0	15	21
1	43	21
2	140	21
3	431	21
4	1699	21
done	5001	21
0	12	15
1	30	15
2	72	15
3	217	15
4	791	15
5	3643	15
done	5000	15
0	16	19
1	42	19
2	123	19
3	359	17
4	1274	17
5	3417	15
done	5001	15
0	14	19
1	40	19
2	136	19
3	448	19
4	1933	15
done	5000	15
0	14	19
1	40	19
2	136	19
3	448	19
4	1933	15
done	5000	15

prune167.0ms

Filtered

128 candidates to 217 candidates (-69.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	217	0	217
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	217	3	220

Merged error: 0b

Counts

220 → 3

regimes112.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	5
1	5	5
done	5	5

end0.0ms

sample421.0ms

Algorithm

intervals

Results

165.0ms

8000×

body

valid

Details

sample19.0ms

simplify2.0ms

prune2.0ms

localize4.0ms

rewrite7.0ms

series6.0ms

simplify16.9s

prune38.0ms

localize8.0ms

rewrite21.0ms

series11.0ms

simplify29.1s

prune80.0ms

localize5.0ms

rewrite18.0ms

series9.0ms

simplify31.9s

prune85.0ms

localize8.0ms

rewrite60.0ms

series50.0ms

simplify2.1min

prune167.0ms

regimes112.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample421.0ms

Profiling