Details

sample18.0ms

Algorithm

intervals

Results

7.0ms

256×

body

valid

simplify9.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7

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

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

8.7b	(/ (* x y) (+ y 1.0))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 25

Calls

1 calls:

7.0ms

(/ (* x y) (+ y 1.0))

series8.0ms

Counts

1 → 3

Calls

1 calls:

8.0ms

(/ (* x y) (+ y 1.0))

simplify37.0s

Counts

28 → 28

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	42	8
6	75	8
7	164	8
8	387	8
9	1059	8
10	4173	8
done	5000	8
0	12	23
1	40	23
2	165	13
3	658	13
4	2635	11
done	5000	11
0	10	23
1	42	23
2	172	11
3	792	9
4	2968	9
done	5001	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	239	9
4	1017	9
5	3150	9
done	5001	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	9	4
2	11	4
done	11	4
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	18	3
3	27	3
4	32	3
done	32	3
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	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	5001	9
0	15	21
1	43	19
2	130	15
3	318	13
4	717	13
5	1362	13
6	3497	13
done	5000	13
0	11	15
1	26	15
2	66	13
3	100	13
4	144	11
5	209	11
6	315	11
7	488	11
8	842	11
9	1831	11
done	5000	11
0	11	15
1	26	15
2	66	13
3	100	13
4	144	11
5	209	11
6	315	11
7	488	11
8	842	11
9	1831	11
done	5000	11

prune54.0ms

Filtered

23 candidates to 28 candidates (-21.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	26	2	28
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	26	3	29

Merged error: 0b

Counts

29 → 3

localize5.0ms

Local error

Found 1 expressions with local error:

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

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

96×	`times-frac`
74×	`*-un-lft-identity`
50×	`add-sqr-sqrt` `add-cube-cbrt`
16×	`associate-/r*`
12×	`distribute-lft-out`
6×	`add-exp-log` `add-cbrt-cube`
5×	`div-inv`
3×	`cbrt-undiv` `div-exp` `associate-/l*`
1×	`pow1` `frac-2neg` `clear-num` `associate-/r/` `add-log-exp`

Counts

1 → 82

Calls

1 calls:

9.0ms

(/ x (/ (+ y 1.0) y))

series8.0ms

Counts

1 → 3

Calls

1 calls:

8.0ms

(/ x (/ (+ y 1.0) y))

simplify30.7s

Counts

85 → 85

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	16	10
2	24	10
3	37	10
4	41	10
5	49	10
6	64	10
7	90	10
8	99	10
done	99	10
0	8	9
1	14	9
2	19	9
3	26	9
4	39	9
5	43	9
6	51	9
7	66	9
8	92	9
9	101	9
done	101	9
0	7	8
1	13	8
2	23	8
3	32	8
4	44	8
5	63	8
6	72	8
7	83	8
8	101	8
9	121	8
10	127	8
done	127	8
0	7	8
1	10	8
2	15	8
3	22	8
4	32	8
5	59	8
6	131	8
7	307	8
8	840	8
9	3154	8
done	5000	8
0	12	23
1	39	23
2	148	13
3	593	11
4	2244	9
done	5000	9
0	10	23
1	26	23
2	100	11
3	370	9
4	1446	9
5	3896	9
done	5001	9
0	8	17
1	11	17
2	14	17
3	15	17
4	17	17
5	19	17
6	20	17
done	20	17
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	23
1	18	23
2	56	9
3	229	9
4	948	9
5	2880	9
done	5000	9
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	2	2
done	2	2
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	17	19
2	26	19
3	32	19
done	32	19
0	8	9
1	9	9
done	9	9
0	9	12
1	12	12
2	14	12
3	15	12
done	15	12
0	8	9
1	9	9
done	9	9
0	12	21
1	23	21
2	59	21
3	152	21
4	278	21
5	372	21
6	408	21
7	418	21
done	418	21
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	11	18
1	18	18
2	36	18
3	80	18
4	124	18
5	143	18
6	148	18
7	149	18
done	149	18
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	11	17
1	20	15
2	43	15
3	118	15
4	147	15
5	167	15
6	169	15
done	169	15
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	11	16
1	18	16
2	33	16
3	61	16
4	97	16
5	118	16
6	128	16
7	137	16
done	137	16
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	13
1	15	13
2	24	13
3	34	13
4	44	13
5	48	13
6	50	13
7	51	13
done	51	13
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	12
1	17	10
2	28	10
3	50	10
4	56	10
5	60	10
6	66	10
7	67	10
done	67	10
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	9	13
1	17	13
2	32	11
3	79	11
4	192	11
5	255	11
6	299	11
done	299	11
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	8	10
1	14	10
2	23	8
3	49	8
4	96	8
5	104	8
done	104	8
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	9	13
1	17	13
2	32	11
3	79	11
4	192	11
5	255	11
6	299	11
done	299	11
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	8	10
1	14	10
2	23	8
3	49	8
4	96	8
5	104	8
done	104	8
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	7	9
1	10	9
2	12	9
3	13	9
done	13	9
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	9	16
1	12	16
done	12	16
0	8	9
1	9	9
done	9	9
0	8	9
1	9	9
done	9	9
0	8	9
1	9	9
done	9	9
0	11	18
1	20	18
2	41	18
3	70	18
4	96	18
5	127	18
6	148	18
7	158	18
done	158	18
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	15
1	15	15
2	23	15
3	36	15
4	44	15
5	50	15
6	53	15
done	53	15
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	14
1	17	12
2	30	12
3	57	12
4	69	12
5	81	12
6	87	12
done	87	12
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	10	13
1	15	13
2	22	13
3	30	13
4	34	13
5	43	13
6	49	13
7	54	13
8	55	13
done	55	13
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	9	9
1	14	7
2	20	7
3	25	7
4	27	7
5	30	7
6	34	7
done	34	7
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	8	10
1	14	10
2	21	8
3	37	8
4	63	8
5	86	8
6	106	8
done	106	8
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	7	7
1	11	7
2	14	5
3	23	5
4	32	5
5	34	5
done	34	5
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	10
1	14	10
2	21	8
3	37	8
4	63	8
5	86	8
6	106	8
done	106	8
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	7	7
1	11	7
2	14	5
3	23	5
4	32	5
5	34	5
done	34	5
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	6	6
1	7	6
done	7	6
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	8	15
1	13	15
done	13	15
0	7	8
1	8	8
done	8	8
0	7	8
1	10	8
done	10	8
0	7	8
1	8	8
done	8	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	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
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	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	8	13
1	15	11
2	26	11
3	35	11
done	35	11
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
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	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
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	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	7	8
1	12	6
2	17	6
done	17	6
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
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	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	3	5
1	6	1
done	6	1
0	6	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
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	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	3	5
1	6	1
done	6	1
0	6	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	2	3
1	4	1
done	4	1
0	6	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	5	5
1	8	5
done	8	5
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	6	7
1	11	7
2	14	7
3	15	5
done	15	5
0	6	7
1	9	7
2	12	7
done	12	7
0	8	15
1	11	15
done	11	15
0	7	8
1	8	8
done	8	8
0	10	17
1	19	17
2	40	17
3	71	17
4	97	17
5	131	17
6	157	17
7	167	17
done	167	17
0	9	14
1	14	14
2	22	14
3	35	14
4	43	14
5	49	14
6	52	14
done	52	14
0	9	13
1	16	11
2	29	11
3	56	11
4	64	11
5	73	11
6	88	11
7	91	11
done	91	11
0	9	12
1	14	12
2	21	12
3	29	12
4	33	12
5	42	12
6	48	12
7	53	12
8	54	12
done	54	12
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	8	8
1	13	6
2	19	6
3	24	6
done	24	6
0	7	9
1	13	9
2	20	7
3	30	7
4	50	7
5	80	7
6	92	7
done	92	7
0	6	6
1	10	6
2	13	4
3	19	4
4	26	4
5	31	4
done	31	4
0	4	5
1	8	3
2	13	1
done	13	1
0	7	9
1	13	9
2	20	7
3	30	7
4	50	7
5	80	7
6	92	7
done	92	7
0	6	6
1	10	6
2	13	4
3	19	4
4	26	4
5	31	4
done	31	4
0	4	5
1	8	3
2	13	1
done	13	1
0	3	3
1	5	1
done	5	1
0	5	5
1	6	5
done	6	5
0	7	8
1	10	8
2	13	8
done	13	8
0	7	8
1	10	8
2	13	8
done	13	8
0	6	7
1	9	7
2	12	7
done	12	7
0	5	5
1	6	5
done	6	5
0	15	21
1	43	19
2	130	15
3	318	13
4	717	13
5	1362	13
6	3497	13
done	5000	13
0	11	15
1	26	15
2	66	13
3	100	13
4	144	11
5	209	11
6	315	11
7	488	11
8	842	11
9	1831	11
done	5000	11
0	11	15
1	26	15
2	66	13
3	100	13
4	144	11
5	209	11
6	315	11
7	488	11
8	842	11
9	1831	11
done	5000	11

prune104.0ms

Filtered

63 candidates to 85 candidates (-34.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	1	0	1
Picked	0	1	1
Done	1	0	1
Total	86	2	88

Merged error: 0b

Counts

88 → 2

localize5.0ms

Local error

Found 1 expressions with local error:

6.5b	(* (/ x (+ y 1.0)) y)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

18×	`associate-l`
16×	`*-un-lft-identity`
15×	`add-sqr-sqrt`
13×	`times-frac`
10×	`add-cube-cbrt`
6×	`add-exp-log` `add-cbrt-cube`
3×	`pow1` `associate-r` `distribute-lft-out`
2×	`prod-exp` `associate-/r/` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `flip3-+` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `flip-+` `div-inv` `add-log-exp`

Counts

1 → 37

Calls

1 calls:

10.0ms

(* (/ x (+ y 1.0)) y)

series8.0ms

Counts

1 → 3

Calls

1 calls:

8.0ms

(* (/ x (+ y 1.0)) y)

simplify32.3s

Counts

40 → 40

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	9	10
1	15	10
2	25	10
3	34	10
4	43	10
5	48	10
6	57	10
7	74	10
8	93	10
9	101	10
done	101	10
0	8	9
1	13	9
2	19	9
3	28	9
4	38	9
5	47	9
6	52	9
7	61	9
8	78	9
9	97	9
10	105	9
done	105	9
0	7	8
1	14	8
2	23	8
3	35	8
4	53	8
5	66	8
6	78	8
7	90	8
8	113	8
9	125	8
10	141	8
11	143	8
done	143	8
0	7	8
1	13	8
2	22	8
3	32	8
4	59	8
5	131	8
6	307	8
7	840	8
8	3153	8
done	5000	8
0	12	23
1	40	23
2	146	13
3	558	11
4	2104	11
done	5000	11
0	10	23
1	24	23
2	73	11
3	233	11
4	819	9
5	2803	9
done	5000	9
0	8	17
1	12	17
2	15	17
3	17	17
4	19	17
5	20	17
done	20	17
0	7	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	8	23
1	22	23
2	76	9
3	289	9
4	836	9
5	2462	9
done	5000	9
0	7	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	7	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	8	9
1	10	9
done	10	9
0	8	9
1	10	9
done	10	9
0	9	10
1	13	10
2	16	10
3	18	10
4	20	10
5	21	10
done	21	10
0	9	10
1	13	10
2	16	10
3	18	10
4	20	10
5	21	10
done	21	10
0	8	11
1	14	11
2	22	11
3	30	11
4	39	11
5	45	11
6	50	11
done	50	11
0	7	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	7	7
1	13	5
2	23	5
done	23	5
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8
0	8	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	8	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	7	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	7	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	8	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	8	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	7	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	7	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	7	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	7	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	6	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	6	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	6	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	6	7
1	12	7
2	15	5
done	15	5
0	8	13
1	17	11
2	40	11
3	76	11
4	127	11
5	172	11
6	264	11
7	356	11
8	586	11
9	1013	11
10	3428	11
done	5000	11
0	4	5
1	7	5
2	13	5
3	18	5
4	22	5
done	22	5
0	3	3
1	4	3
done	4	3
0	15	21
1	43	19
2	130	15
3	318	13
4	717	13
5	1362	13
6	3497	13
done	5000	13
0	11	15
1	26	15
2	66	13
3	100	13
4	144	11
5	209	11
6	315	11
7	488	11
8	842	11
9	1831	11
done	5000	11
0	11	15
1	26	15
2	66	13
3	100	13
4	144	11
5	209	11
6	315	11
7	488	11
8	842	11
9	1831	11
done	5000	11

prune55.0ms

Filtered

32 candidates to 40 candidates (-25.0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	40	2	42

Merged error: 0b

Counts

42 → 2

regimes66.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	6	7
1	7	7
done	7	7

end0.0ms

sample471.0ms

Algorithm

intervals

Results

216.0ms

8000×

body

valid

Details

sample18.0ms

simplify9.0ms

prune3.0ms

localize5.0ms

rewrite8.0ms

series8.0ms

simplify37.0s

prune54.0ms

localize5.0ms

rewrite13.0ms

series8.0ms

simplify30.7s

prune104.0ms

localize5.0ms

rewrite11.0ms

series8.0ms

simplify32.3s

prune55.0ms

regimes66.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample471.0ms

Profiling