Details

sample26.0ms

Algorithm

intervals

Results

10.0ms	298×	body	80	valid
0.0ms	3×	body	1280	valid

simplify25.0ms

Counts

1 → 1

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	9	11
1	18	9
2	32	7
3	44	7
4	48	7
done	48	7

prune8.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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 → 2

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (+ 10.0 d2) 20.0)

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

6×	`*-un-lft-identity` `add-log-exp`
3×	`sum-log` `distribute-lft-out`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `associate-+l+` `flip3-+` `add-cbrt-cube` `flip-+`

Counts

1 → 15

Calls

1 calls:

7.0ms

(+ (+ 10.0 d2) 20.0)

series2.0ms

Counts

1 → 3

Calls

1 calls:

2.0ms

(+ (+ 10.0 d2) 20.0)

simplify8.4s

Counts

18 → 18

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	14	7
2	27	6
3	36	6
done	36	6
0	7	7
1	14	6
2	24	6
3	36	6
done	36	6
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	24	17
2	98	7
3	426	7
4	2183	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	8	9
1	23	9
2	48	9
3	105	9
4	242	9
5	711	9
6	2658	9
done	5000	9
0	9	17
1	24	15
2	70	15
3	182	13
4	725	13
5	2301	13
done	5000	13
0	7	11
1	19	11
2	51	11
3	135	11
4	442	11
5	1286	11
done	5000	11
0	5	5
1	10	5
2	17	5
3	23	5
4	29	5
5	38	5
6	51	5
7	64	5
8	73	5
9	82	5
10	97	5
11	102	5
12	106	5
13	107	5
done	107	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3

prune33.0ms

Filtered

12 candidates to 18 candidates (-50.0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Merged error: 0.0b

Counts

20 → 3

localize4.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts: 0 → 0

prune6.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	2	2
Picked	1	1
Done	0	0
Total	3	3

Merged error: 0.0b

Counts

3 → 3

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (+ 10.0 d2) 20.0)
0.0b	(* d1 (exp (log (+ (+ 10.0 d2) 20.0))))
1.7b	(exp (log (+ (+ 10.0 d2) 20.0)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

23×	`*-un-lft-identity`
12×	`add-sqr-sqrt`
11×	`log-prod` `exp-sum`
9×	`distribute-lft-out`
8×	`add-cube-cbrt` `associate-r` `add-log-exp`
6×	`pow1`
5×	`add-cbrt-cube`
4×	`add-exp-log` `log-div` `exp-prod` `exp-diff`
3×	`flip3-+` `associate-l` `sum-log` `flip-+`
2×	`associate-*r/` `unswap-sqr`
1×	`+-commutative` `associate-+l+` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `cbrt-unprod` `rem-exp-log`

Counts

3 → 60

Calls

3 calls:

7.0ms	(+ (+ 10.0 d2) 20.0)
13.0ms	(* d1 (exp (log (+ (+ 10.0 d2) 20.0))))
8.0ms	(exp (log (+ (+ 10.0 d2) 20.0)))

series11.0ms

Counts

3 → 9

Calls

3 calls:

2.0ms	(+ (+ 10.0 d2) 20.0)
6.0ms	(* d1 (exp (log (+ (+ 10.0 d2) 20.0))))
3.0ms	(exp (log (+ (+ 10.0 d2) 20.0)))

simplify36.6s

Counts

69 → 69

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	2
1	5	1
done	5	1
0	9	16
1	15	16
2	25	16
3	30	16
4	48	16
5	88	16
6	201	16
7	577	16
8	2252	16
done	5000	16
0	8	8
1	12	8
2	18	8
done	18	8
0	2	2
1	5	1
done	5	1
0	9	15
1	15	13
2	25	10
3	28	10
4	34	8
5	46	8
6	77	8
7	162	8
8	442	8
9	1782	8
done	5000	8
0	8	8
1	12	6
2	18	6
done	18	6
0	8	8
1	12	6
2	18	6
done	18	6
0	8	8
1	12	6
2	18	6
done	18	6
0	3	3
1	5	1
done	5	1
0	7	7
1	11	5
2	17	5
done	17	5
0	3	3
1	5	1
done	5	1
0	7	7
1	11	5
2	17	5
done	17	5
0	3	3
1	5	1
done	5	1
0	7	7
1	11	5
2	17	5
done	17	5
0	10	11
1	25	9
2	50	9
3	107	9
4	244	9
5	701	9
6	2664	9
done	5001	9
0	11	19
1	26	15
2	72	15
3	184	13
4	731	13
5	2294	13
done	5000	13
0	9	13
1	21	11
2	56	11
3	144	11
4	456	11
5	1301	11
done	5000	11
0	7	7
1	12	5
2	19	5
3	25	5
4	31	5
5	40	5
6	53	5
7	66	5
8	75	5
9	84	5
10	99	5
11	104	5
12	108	5
13	112	5
done	112	5
0	8	8
1	12	6
2	18	6
done	18	6
0	8	8
1	12	6
2	25	6
3	34	6
4	40	6
done	40	6
0	9	17
1	13	13
2	19	13
done	19	13
0	8	8
1	12	6
2	18	6
done	18	6
0	9	23
1	16	17
2	58	7
3	246	7
4	1098	7
done	5000	7
0	8	8
1	12	6
2	18	6
done	18	6
0	8	8
1	12	6
2	18	6
done	18	6
0	9	9
1	14	7
2	34	7
3	53	7
4	59	7
done	59	7
0	9	9
1	14	9
2	20	9
done	20	9
0	10	10
1	17	8
2	38	8
3	57	8
4	63	8
done	63	8
0	10	10
1	17	8
2	43	8
3	89	8
4	141	8
5	253	8
6	561	8
7	1815	8
done	5000	8
0	13	29
1	26	23
2	105	11
3	577	11
4	3398	9
done	5000	9
0	11	21
1	16	17
2	36	17
3	55	17
4	61	17
done	61	17
0	10	10
1	15	8
2	35	8
3	54	8
4	60	8
done	60	8
0	11	29
1	26	23
2	119	9
3	588	9
4	2991	9
done	5001	9
0	10	10
1	15	8
2	35	8
3	54	8
4	60	8
done	60	8
0	10	10
1	15	8
2	35	8
3	54	8
4	60	8
done	60	8
0	11	11
1	16	9
2	22	9
done	22	9
0	11	11
1	16	9
2	22	9
done	22	9
0	11	11
1	16	9
2	22	9
done	22	9
0	11	11
1	16	9
2	22	9
done	22	9
0	11	17
1	18	15
2	32	12
3	39	12
4	45	10
5	61	10
6	104	10
7	226	10
8	619	10
9	2539	10
done	5000	10
0	10	10
1	15	8
2	21	8
done	21	8
0	5	5
1	8	3
done	8	1
0	5	5
1	8	3
done	8	1
0	5	5
1	8	3
done	8	1
0	11	19
1	18	15
2	26	15
done	26	15
0	10	10
1	15	8
2	21	8
done	21	8
0	3	3
1	6	1
done	6	1
0	10	10
1	15	8
2	35	8
3	52	8
4	58	8
done	58	8
0	10	10
1	15	8
2	35	8
3	52	8
4	58	8
done	58	8
0	9	9
1	14	7
2	34	7
3	53	7
4	59	7
done	59	7
0	12	13
1	28	11
2	61	11
3	150	11
4	398	11
5	1262	11
6	4706	11
done	5000	11
0	11	15
1	24	13
2	69	13
3	224	13
4	847	13
5	2314	13
done	5001	13
0	8	8
1	14	7
2	27	6
3	36	6
done	36	6
0	7	7
1	14	6
2	24	6
3	36	6
done	36	6
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	24	17
2	98	7
3	426	7
4	2183	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	8	9
1	23	9
2	48	9
3	105	9
4	242	9
5	711	9
6	2658	9
done	5000	9
0	9	17
1	24	15
2	70	15
3	182	13
4	725	13
5	2301	13
done	5000	13
0	7	11
1	19	11
2	51	11
3	135	11
4	442	11
5	1286	11
done	5000	11
0	5	5
1	10	5
2	17	5
3	23	5
4	29	5
5	38	5
6	51	5
7	64	5
8	73	5
9	82	5
10	97	5
11	102	5
12	106	5
13	107	5
done	107	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3

prune97.0ms

Filtered

48 candidates to 69 candidates (-43.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	68	1	69
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	68	4	72

Merged error: 0b

Counts

72 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt (+ 20.0 (+ 10.0 d2)))
0.3b	(* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))))
0.4b	(* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)
1.7b	(exp (log (+ (+ 10.0 d2) 20.0)))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

68×	`cbrt-div`
48×	`associate-*l/`
35×	`flip3-+` `flip-+`
32×	`frac-times`
26×	`*-un-lft-identity`
20×	`log-div` `exp-diff`
19×	`pow1`
18×	`add-exp-log`
14×	`associate-r`
13×	`cbrt-prod`
12×	`add-sqr-sqrt`
11×	`add-cube-cbrt` `add-cbrt-cube`
10×	`log-prod` `associate-*r/` `exp-sum`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod` `distribute-lft-out`
4×	`exp-prod` `add-log-exp`
2×	`associate-l` `*-commutative`
1×	`pow1/3` `log-pow` `rem-exp-log` `unswap-sqr`

Counts

4 → 116

Calls

4 calls:

10.0ms	(cbrt (+ 20.0 (+ 10.0 d2)))
30.0ms	(* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))))
18.0ms	(* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)
8.0ms	(exp (log (+ (+ 10.0 d2) 20.0)))

series41.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(cbrt (+ 20.0 (+ 10.0 d2)))
6.0ms	(* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))))
25.0ms	(* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)
3.0ms	(exp (log (+ (+ 10.0 d2) 20.0)))

simplify3.4min

Counts

128 → 128

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	2
1	5	1
done	5	1
0	9	16
1	15	16
2	25	16
3	30	16
4	48	16
5	88	16
6	201	16
7	577	16
8	2252	16
done	5000	16
0	8	8
1	12	8
2	18	8
done	18	8
0	2	2
1	5	1
done	5	1
0	9	15
1	15	13
2	25	10
3	28	10
4	34	8
5	46	8
6	77	8
7	162	8
8	442	8
9	1782	8
done	5000	8
0	8	8
1	12	6
2	18	6
done	18	6
0	8	8
1	12	6
2	18	6
done	18	6
0	8	8
1	12	6
2	18	6
done	18	6
0	3	3
1	5	1
done	5	1
0	7	7
1	11	5
2	17	5
done	17	5
0	3	3
1	5	1
done	5	1
0	7	7
1	11	5
2	17	5
done	17	5
0	3	3
1	5	1
done	5	1
0	7	7
1	11	5
2	17	5
done	17	5
0	10	11
1	25	9
2	50	9
3	107	9
4	244	9
5	701	9
6	2664	9
done	5001	9
0	11	19
1	26	15
2	72	15
3	184	13
4	731	13
5	2294	13
done	5000	13
0	9	13
1	21	11
2	56	11
3	144	11
4	456	11
5	1301	11
done	5000	11
0	7	7
1	12	5
2	19	5
3	25	5
4	31	5
5	40	5
6	53	5
7	66	5
8	75	5
9	84	5
10	99	5
11	104	5
12	108	5
13	112	5
done	112	5
0	8	8
1	12	6
2	18	6
done	18	6
0	8	8
1	12	6
2	25	6
3	34	6
4	40	6
done	40	6
0	9	17
1	13	13
2	19	13
done	19	13
0	8	8
1	12	6
2	18	6
done	18	6
0	9	23
1	16	17
2	58	7
3	246	7
4	1098	7
done	5000	7
0	8	8
1	12	6
2	18	6
done	18	6
0	8	8
1	12	6
2	18	6
done	18	6
0	9	15
1	16	15
2	24	15
done	24	15
0	9	15
1	16	15
2	24	15
done	24	15
0	11	18
1	20	12
2	29	12
done	29	12
0	11	17
1	18	17
2	30	12
3	33	12
done	33	12
0	10	16
1	20	16
2	33	16
3	40	12
4	41	12
done	41	12
0	10	16
1	19	16
2	36	16
3	52	16
4	94	16
5	201	16
6	462	16
7	1219	16
8	4697	16
done	5001	16
0	10	17
1	26	17
2	92	15
3	366	15
4	1744	15
done	5000	15
0	13	47
1	31	47
2	89	19
3	230	12
4	741	12
5	3665	12
done	5001	12
0	11	33
1	18	33
2	26	33
done	26	33
0	10	16
1	17	16
2	25	16
done	25	16
0	11	47
1	28	47
2	85	17
3	242	17
4	364	15
5	890	12
6	3771	12
done	5000	12
0	10	16
1	17	16
2	25	16
done	25	16
0	10	16
1	17	16
2	25	16
done	25	16
0	9	9
1	14	9
2	20	9
done	20	9
0	9	9
1	14	9
2	20	9
done	20	9
0	11	19
1	22	19
2	39	19
done	39	19
0	10	16
1	17	16
2	25	16
done	25	16
0	9	15
1	18	13
2	32	13
done	32	13
0	8	8
1	13	8
2	19	8
done	19	8
0	12	23
1	30	23
2	57	23
3	114	23
4	253	23
5	700	23
6	2668	23
done	5000	23
0	16	25
1	44	25
2	106	25
3	262	25
4	736	25
5	2283	25
done	5001	25
0	16	25
1	44	25
2	106	25
3	262	25
4	739	25
5	2288	25
done	5001	25
0	11	27
1	26	27
2	61	27
3	151	27
4	450	27
5	1324	27
done	5000	27
0	14	19
1	36	19
2	73	19
3	130	19
4	273	19
5	732	19
6	2651	19
done	5000	19
0	13	21
1	31	21
2	71	21
3	161	21
4	463	21
5	1334	21
done	5001	21
0	14	19
1	36	19
2	73	19
3	132	19
4	271	19
5	734	19
6	2690	19
done	5001	19
0	13	21
1	31	21
2	71	21
3	161	21
4	461	21
5	1333	21
done	5001	21
0	14	24
1	25	22
2	35	22
3	39	10
4	44	7
5	85	7
6	123	7
7	211	7
8	470	7
9	1442	7
done	5000	7
0	14	24
1	25	22
2	35	22
3	39	10
4	44	7
5	85	7
6	123	7
7	211	7
8	470	7
9	1442	7
done	5000	7
0	14	24
1	25	22
2	35	22
3	39	10
4	44	7
5	85	7
6	123	7
7	211	7
8	470	7
9	1442	7
done	5000	7
0	17	28
1	30	20
2	41	20
3	45	12
4	48	12
done	48	12
0	17	27
1	27	25
2	42	20
3	49	12
4	52	12
done	52	12
0	16	26
1	28	24
2	42	24
3	52	19
4	57	12
5	60	12
done	60	12
0	15	25
1	29	23
2	47	23
3	66	11
4	73	8
5	120	8
6	175	8
7	283	8
8	664	8
9	2040	8
done	5000	8
0	15	25
1	28	23
2	50	23
3	80	11
4	151	8
5	377	8
6	862	8
7	2293	8
done	5001	8
0	14	25
1	34	23
2	167	21
3	774	11
done	5000	11
0	17	55
1	39	53
2	157	25
3	967	18
done	5002	18
0	15	55
1	36	53
2	154	23
3	931	23
4	4561	21
done	5000	21
0	16	51
1	27	47
2	37	47
3	41	23
4	46	17
5	87	17
6	127	17
7	218	17
8	482	17
9	1447	17
done	5000	17
0	15	25
1	26	23
2	36	23
3	38	11
4	43	8
5	84	8
6	122	8
7	215	8
8	479	8
9	1451	8
done	5001	8
0	16	74
1	37	68
2	116	24
3	371	12
4	702	9
5	1796	9
done	5001	9
0	15	25
1	26	23
2	36	23
3	38	11
4	43	8
5	84	8
6	122	8
7	215	8
8	479	8
9	1451	8
done	5001	8
0	15	25
1	26	23
2	36	23
3	38	11
4	43	8
5	84	8
6	122	8
7	215	8
8	479	8
9	1451	8
done	5001	8
0	17	36
1	37	34
2	68	34
3	128	14
4	271	11
5	789	11
6	3193	11
done	5000	11
0	18	58
1	47	46
2	109	44
3	305	16
4	1105	13
5	3534	13
done	5000	13
0	19	38
1	49	36
2	121	36
3	283	36
4	772	36
5	2275	36
done	5000	36
0	16	46
1	43	36
2	98	36
3	254	36
4	852	36
5	2678	36
done	5000	36
0	21	38
1	51	36
2	121	36
3	282	36
4	763	36
5	2301	36
done	5001	36
0	20	46
1	53	38
2	123	36
3	325	36
4	1120	36
5	3611	36
done	5000	36
0	21	40
1	57	38
2	153	38
3	402	38
4	1154	38
5	3468	38
done	5001	38
0	18	34
1	50	28
2	117	28
3	281	28
4	885	28
5	2718	28
done	5000	28
0	21	38
1	51	36
2	121	36
3	286	36
4	764	36
5	2292	36
done	5000	36
0	20	46
1	53	38
2	120	36
3	322	36
4	1107	36
5	3614	36
done	5001	36
0	21	40
1	57	38
2	153	38
3	407	38
4	1152	38
5	3472	38
done	5001	38
0	18	34
1	50	28
2	117	28
3	281	28
4	872	28
5	2724	28
done	5000	28
0	19	40
1	49	38
2	119	38
3	283	38
4	761	38
5	2292	38
done	5001	38
0	16	34
1	37	30
2	90	30
3	215	28
4	816	28
5	2462	28
done	5000	28
0	16	42
1	39	40
2	106	40
3	282	40
4	849	40
5	2489	40
done	5000	40
0	12	22
1	24	20
2	42	20
3	57	20
4	70	20
5	100	20
6	128	20
7	144	20
8	146	20
9	148	20
done	148	20
0	19	32
1	43	30
2	88	30
3	153	30
4	296	30
5	779	30
6	2717	30
done	5000	30
0	17	39
1	44	31
2	104	29
3	298	29
4	1080	29
5	3531	29
done	5000	29
0	21	34
1	54	32
2	133	32
3	310	32
4	810	32
5	2333	32
done	5001	32
0	15	27
1	40	21
2	93	21
3	249	21
4	849	21
5	2679	21
done	5000	21
0	21	34
1	54	32
2	131	32
3	314	32
4	795	32
5	2349	32
done	5001	32
0	15	27
1	34	23
2	85	23
3	210	21
4	814	21
5	2478	21
done	5001	21
0	18	36
1	43	34
2	114	34
3	303	34
4	877	34
5	2526	34
done	5000	34
0	11	15
1	21	13
2	37	13
3	52	13
4	65	13
5	95	13
6	123	13
7	139	13
8	141	13
9	145	13
done	145	13
0	19	32
1	43	30
2	88	30
3	153	30
4	293	30
5	758	30
6	2762	30
done	5000	30
0	17	39
1	44	31
2	104	29
3	298	29
4	1080	29
5	3531	29
done	5000	29
0	21	34
1	54	32
2	133	32
3	310	32
4	808	32
5	2320	32
done	5000	32
0	15	27
1	40	21
2	93	21
3	249	21
4	849	21
5	2679	21
done	5000	21
0	21	34
1	54	32
2	131	32
3	310	32
4	792	32
5	2351	32
done	5001	32
0	15	27
1	34	23
2	85	23
3	210	21
4	814	21
5	2478	21
done	5001	21
0	18	36
1	43	34
2	114	34
3	305	34
4	875	34
5	2520	34
done	5000	34
0	11	15
1	21	13
2	37	13
3	52	13
4	65	13
5	95	13
6	123	13
7	139	13
8	141	13
9	145	13
done	145	13
0	16	32
1	29	30
2	51	24
3	80	24
4	86	20
5	110	20
6	189	20
7	406	20
8	1148	20
9	4695	20
done	5001	20
0	15	25
1	26	23
2	44	23
3	54	23
done	54	23
0	14	20
1	26	17
2	46	17
3	59	15
4	68	15
done	68	15
0	14	20
1	26	17
2	46	17
3	59	15
4	68	15
done	68	15
0	14	20
1	26	17
2	46	17
3	59	15
4	68	15
done	68	15
0	16	34
1	27	30
2	45	30
3	55	30
done	55	30
0	15	25
1	26	23
2	44	23
3	54	23
done	54	23
0	12	18
1	24	17
2	44	17
3	54	15
4	63	15
done	63	15
0	16	35
1	29	31
2	56	31
3	93	31
4	102	31
done	102	31
0	15	25
1	26	23
2	44	23
3	54	23
done	54	23
0	11	17
1	23	15
2	49	15
3	65	15
done	65	15
0	10	10
1	15	8
2	21	8
done	21	8
0	17	28
1	41	26
2	86	26
3	155	26
4	290	26
5	743	26
6	2657	26
done	5000	26
0	16	30
1	36	28
2	86	28
3	186	28
4	500	28
5	1349	28
done	5001	28
0	17	32
1	41	30
2	86	30
3	155	30
4	294	30
5	769	30
6	2711	30
done	5000	30
0	21	34
1	54	32
2	131	32
3	309	32
4	791	32
5	2331	32
done	5000	32
0	21	34
1	54	32
2	131	32
3	309	32
4	791	32
5	2334	32
done	5000	32
0	16	36
1	36	34
2	84	34
3	186	34
4	483	34
5	1365	34
done	5001	34
0	19	28
1	45	26
2	88	26
3	151	26
4	293	26
5	750	26
6	2727	26
done	5000	26
0	18	30
1	40	28
2	86	28
3	183	28
4	480	28
5	1354	28
done	5000	28
0	19	28
1	45	26
2	88	26
3	153	26
4	290	26
5	745	26
6	2722	26
done	5001	26
0	18	30
1	40	28
2	86	28
3	187	28
4	485	28
5	1367	28
done	5000	28
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	8	14
1	12	14
2	18	14
done	18	14
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	2	2
1	4	1
done	4	1
0	6	6
1	10	6
2	16	6
done	16	6
0	2	2
1	4	1
done	4	1
0	6	6
1	10	6
2	16	6
done	16	6
0	2	2
1	4	1
done	4	1
0	6	6
1	10	6
2	16	6
done	16	6
0	9	10
1	24	10
2	49	10
3	106	10
4	247	10
5	705	10
6	2671	10
done	5000	10
0	10	18
1	31	14
2	77	14
3	219	14
4	799	14
5	2702	14
done	5000	14
0	8	12
1	20	12
2	53	12
3	143	12
4	442	12
5	1316	12
done	5000	12
0	6	6
1	11	6
2	20	6
3	30	6
4	40	6
5	56	6
6	73	6
7	84	6
8	91	6
9	99	6
10	104	6
11	106	6
12	110	6
done	110	6
0	8	15
1	12	15
2	18	15
done	18	15
0	7	7
1	11	7
2	17	7
done	17	7
0	8	20
1	13	20
2	21	8
3	26	5
4	32	5
5	42	5
6	63	5
7	124	5
8	339	5
9	1278	5
done	5000	5
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	24	39
1	66	35
2	220	32
3	741	26
4	2734	24
done	5001	24
0	22	54
1	53	48
2	146	42
3	519	23
4	2209	19
done	5000	19
0	23	54
1	54	51
2	144	45
3	515	25
4	2265	23
done	5001	23
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	23	35
1	60	31
2	190	30
3	649	26
4	2568	25
done	5000	25
0	19	42
1	44	36
2	97	27
3	255	13
4	904	13
done	5000	13
0	21	45
1	46	42
2	100	42
3	263	21
4	942	13
done	5000	13

prune377.0ms

Filtered

102 candidates to 128 candidates (-25.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	128	4	132

Merged error: 0b

Counts

132 → 4

regimes87.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	5	5
1	7	5
done	7	5

end0.0ms

sample613.0ms

Algorithm

intervals

Results

314.0ms	8994×	body	80	valid
14.0ms	61×	body	1280	valid
7.0ms	55×	body	640	valid
2.0ms	20×	body	320	valid
1.0ms	9×	body	160	valid

Details

sample26.0ms

simplify25.0ms

prune8.0ms

localize5.0ms

rewrite7.0ms

series2.0ms

simplify8.4s

prune33.0ms

localize4.0ms

rewrite0.0ms

series0.0ms

simplify0.0ms

prune6.0ms

localize9.0ms

rewrite29.0ms

series11.0ms

simplify36.6s

prune97.0ms

localize16.0ms

rewrite74.0ms

series41.0ms

simplify3.4min

prune377.0ms

regimes87.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample613.0ms

Profiling