Details

sample14.0ms

Algorithm

intervals

Results

6.0ms

349×

body

valid

simplify4.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	6	5
2	9	5
done	9	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.1b

Counts

2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

0.1b	(* (* x 3.0) x)

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
1×	`associate-l` `*-commutative` `add-log-exp`

Counts

1 → 18

Calls

1 calls:

6.0ms

(* (* x 3.0) x)

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(* (* x 3.0) x)

simplify28.6s

Counts

21 → 21

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	6	5
2	9	5
done	9	5
0	4	5
1	6	5
2	9	5
done	9	5
0	6	8
1	8	8
2	11	8
3	13	7
4	14	7
done	14	7
0	6	7
1	10	7
2	13	7
3	16	7
4	17	7
done	17	7
0	5	6
1	10	6
2	17	6
3	23	6
4	25	6
5	26	6
done	26	6
0	5	6
1	9	6
2	21	6
3	37	6
4	78	6
5	175	6
6	423	6
7	1172	6
8	4568	6
done	5000	6
0	8	17
1	18	17
2	64	11
3	200	7
4	446	7
5	1121	7
6	3799	7
done	5001	7
0	8	17
1	24	17
2	88	9
3	270	9
4	490	7
5	1060	7
6	3098	7
done	5001	7
0	6	13
1	8	13
2	11	13
done	11	13
0	5	6
1	7	6
2	10	6
done	10	6
0	6	17
1	18	17
2	65	7
3	176	7
4	314	7
5	505	7
6	1317	7
7	4379	7
done	5001	7
0	5	6
1	7	6
2	10	6
done	10	6
0	5	6
1	7	6
2	10	6
done	10	6
0	6	9
1	12	9
2	25	9
3	37	9
done	37	9
0	5	6
1	9	6
2	15	6
done	15	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5

prune40.0ms

Filtered

16 candidates to 21 candidates (-31.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	16	5	21
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	16	6	22

Merged error: 0.0b

Counts

22 → 6

localize4.0ms

Local error

Found 1 expressions with local error:

0.2b	(* 3.0 (pow x 2))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
8×	`associate-r`
6×	`add-exp-log`
4×	`add-cube-cbrt` `unpow-prod-down` `*-un-lft-identity` `unswap-sqr`
3×	`associate-l` `prod-exp` `add-cbrt-cube`
2×	`unpow2` `sqr-pow`
1×	`pow1` `pow-to-exp` `pow-exp` `*-commutative` `cbrt-unprod` `add-log-exp`

Counts

1 → 27

Calls

1 calls:

6.0ms

(* 3.0 (pow x 2))

series3.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

(* 3.0 (pow x 2))

simplify1.6min

Counts

30 → 30

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	15	7
2	25	7
3	34	7
4	40	7
5	50	7
6	72	7
7	133	7
8	345	7
9	1259	7
done	5000	7
0	6	6
1	15	6
2	35	6
3	50	6
4	58	6
5	68	6
6	90	6
7	153	6
8	367	6
9	1307	6
done	5000	6
0	6	6
1	14	6
2	35	6
3	55	6
4	99	6
5	199	6
6	452	6
7	1303	6
8	4632	6
done	5001	6
0	9	17
1	24	13
2	88	9
3	210	9
4	418	7
5	783	7
6	2344	7
done	5000	7
0	7	13
1	13	13
2	29	13
3	34	13
4	40	13
5	50	13
6	74	13
7	136	13
8	358	13
9	1301	13
done	5001	13
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5001	6
0	7	17
1	23	17
2	95	7
3	242	7
4	390	7
5	564	7
6	1458	7
7	4785	7
done	5000	7
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5001	6
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5001	6
0	7	7
1	13	7
2	29	4
3	44	4
4	79	4
5	199	4
6	651	4
7	2611	4
done	5000	4
0	7	7
1	13	7
2	29	4
3	44	4
4	79	4
5	199	4
6	651	4
7	2611	4
done	5000	4
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	7	7
1	13	7
2	23	5
3	28	5
4	34	5
5	44	5
6	68	5
7	134	5
8	346	5
9	1274	5
done	5000	5
0	7	7
1	13	7
2	23	5
3	28	5
4	34	5
5	44	5
6	68	5
7	134	5
8	346	5
9	1274	5
done	5000	5
0	7	8
1	13	6
2	26	4
3	40	4
4	76	4
5	200	4
6	658	4
7	2471	4
done	5001	4
0	7	8
1	13	6
2	26	4
3	40	4
4	76	4
5	200	4
6	658	4
7	2471	4
done	5001	4
0	7	9
1	13	9
2	33	9
3	74	9
4	172	6
5	424	6
6	1335	6
done	5001	6
0	6	6
1	12	6
2	28	3
3	45	3
4	83	3
5	205	3
6	642	3
7	2582	3
done	5000	3
0	5	5
1	12	3
2	16	1
done	16	1
0	3	3
1	4	3
done	4	3
0	7	11
1	15	11
2	25	11
3	30	11
4	36	11
5	46	11
6	70	11
7	130	11
8	339	11
9	1266	11
done	5000	11
0	6	6
1	12	6
2	22	4
3	27	4
4	33	4
5	43	4
6	65	4
7	124	4
8	349	4
9	1270	4
done	5000	4
0	3	3
1	6	1
done	6	1
0	6	7
1	12	5
2	25	3
3	41	3
4	78	3
5	194	3
6	648	3
7	2425	3
done	5000	3
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5001	6
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5001	6
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5

prune57.0ms

Filtered

21 candidates to 30 candidates (-42.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	28	2	30
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	29	7	36

Merged error: 0.0b

Counts

36 → 7

localize5.0ms

Local error

Found 3 expressions with local error:

0.3b	(* (* x (sqrt 3.0)) (* x (sqrt 3.0)))
0.4b	(* x (sqrt 3.0))
0.4b	(* x (sqrt 3.0))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

46×	`pow1`
19×	`add-exp-log` `pow-prod-down` `add-cbrt-cube`
17×	`add-sqr-sqrt`
13×	`associate-r`
10×	`prod-exp` `cbrt-unprod`
9×	`add-cube-cbrt` `*-un-lft-identity`
8×	`sqrt-prod`
7×	`associate-l`
4×	`pow-sqr` `pow-prod-up` `unswap-sqr`
3×	`*-commutative` `add-log-exp`
2×	`pow-plus`
1×	`pow2` `swap-sqr`

Counts

3 → 78

Calls

3 calls:

9.0ms	(* (* x (sqrt 3.0)) (* x (sqrt 3.0)))
5.0ms	(* x (sqrt 3.0))
6.0ms	(* x (sqrt 3.0))

series18.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(* (* x (sqrt 3.0)) (* x (sqrt 3.0)))
5.0ms	(* x (sqrt 3.0))
5.0ms	(* x (sqrt 3.0))

simplify1.2min

Counts

87 → 87

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	8	5
2	14	5
3	22	5
4	45	5
5	101	5
6	240	5
7	694	5
8	2697	5
done	5001	5
0	8	14
1	15	10
2	38	8
3	70	8
4	98	8
5	144	8
6	264	8
7	653	8
8	2091	8
done	5000	8
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	17	14
2	46	6
3	88	6
4	105	6
5	149	6
6	280	6
7	735	6
8	2739	6
done	5000	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	9
1	9	9
2	11	9
done	11	9
0	6	8
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	4	4
1	7	3
done	7	3
0	5	5
1	6	5
done	6	5
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	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	8	5
2	14	5
3	22	5
4	45	5
5	101	5
6	240	5
7	694	5
8	2697	5
done	5001	5
0	8	14
1	15	10
2	38	8
3	70	8
4	98	8
5	144	8
6	264	8
7	653	8
8	2091	8
done	5000	8
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	17	14
2	46	6
3	88	6
4	105	6
5	149	6
6	280	6
7	735	6
8	2739	6
done	5000	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	9
1	9	9
2	11	9
done	11	9
0	6	8
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	4	4
1	7	3
done	7	3
0	5	5
1	6	5
done	6	5
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	4	4
1	5	4
done	5	4
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	5	9
1	13	9
2	24	5
done	24	5
0	5	9
1	13	9
2	24	5
done	24	5
0	5	9
1	13	9
2	24	5
done	24	5
0	5	9
1	13	9
2	24	5
done	24	5
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	7	13
1	14	8
2	31	8
3	34	8
done	34	8
0	9	12
1	14	11
2	22	11
3	30	7
4	37	7
done	37	7
0	9	12
1	14	11
2	22	11
3	30	7
4	37	7
done	37	7
0	6	11
1	12	7
2	24	7
3	33	7
4	36	7
done	36	7
0	6	10
1	16	10
2	40	6
3	64	6
4	70	6
5	75	6
done	75	6
0	6	10
1	16	10
2	40	6
3	73	6
4	151	6
5	347	6
6	861	6
7	2552	6
done	5000	6
0	9	29
1	23	21
2	111	13
3	442	7
4	1243	7
5	2628	7
done	5000	7
0	12	29
1	33	21
2	127	13
3	587	6
4	1289	6
5	3183	6
done	5000	6
0	12	29
1	33	21
2	129	13
3	578	6
4	1412	6
5	3275	6
done	5000	6
0	7	29
1	24	29
2	113	13
3	424	6
4	1142	6
5	2124	6
done	5000	6
0	7	21
1	15	21
2	26	13
done	26	13
0	6	10
1	14	10
2	25	6
done	25	6
0	7	29
1	23	29
2	102	7
3	421	6
4	1112	6
5	2141	6
done	5001	6
0	6	10
1	15	5
2	26	5
done	26	5
0	6	10
1	15	5
2	26	5
done	26	5
0	2	3
done	2	3
0	3	5
done	3	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	5	6
1	7	6
2	10	6
done	10	6
0	5	7
1	7	7
2	10	7
done	10	3
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	7	8
1	16	8
2	59	5
3	90	5
4	167	5
5	428	5
6	1345	5
done	5000	5
0	7	8
1	16	8
2	59	5
3	90	5
4	167	5
5	428	5
6	1345	5
done	5000	5
0	7	8
1	16	8
2	59	5
3	90	5
4	167	5
5	428	5
6	1345	5
done	5000	5

prune115.0ms

Filtered

49 candidates to 87 candidates (-77.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	85	2	87
Fresh	4	0	4
Picked	1	0	1
Done	0	2	2
Total	90	4	94

Merged error: 0b

Counts

94 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* x (sqrt 3.0)) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0))))
0.3b	(* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))
0.4b	(* x (sqrt 3.0))
1.0b	(* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

50×	`pow1`
47×	`add-sqr-sqrt`
45×	`add-exp-log`
40×	`cbrt-prod`
31×	`add-cbrt-cube`
30×	`pow-prod-down`
29×	`prod-exp` `cbrt-unprod`
24×	`sqrt-prod`
20×	`add-cube-cbrt` `*-un-lft-identity`
17×	`associate-r`
16×	`associate-l`
12×	`unswap-sqr`
11×	`swap-sqr`
6×	`pow1/3`
4×	`*-commutative` `add-log-exp`
2×	`pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus`

Counts

4 → 131

Calls

4 calls:

25.0ms	(* (* x (sqrt 3.0)) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0))))
10.0ms	(* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))
6.0ms	(* x (sqrt 3.0))
9.0ms	(* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))

series55.0ms

Counts

4 → 10

Calls

4 calls:

8.0ms	(* (* x (sqrt 3.0)) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0))))
42.0ms	(* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))
5.0ms	(* x (sqrt 3.0))
0.0ms	(* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))

simplify3.5min

Counts

141 → 141

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	3	5
done	3	1
0	4	7
done	4	7
0	2	3
1	6	1
done	6	1
0	5	9
1	7	6
2	8	6
done	8	6
0	5	8
1	7	8
2	9	6
3	10	6
done	10	6
0	5	8
1	7	8
2	11	8
3	16	8
4	34	8
5	74	8
6	183	8
7	561	8
8	2246	8
done	5000	8
0	3	5
done	3	1
0	6	17
done	6	17
0	5	8
done	5	8
0	6	23
1	14	23
2	21	9
3	35	5
4	69	1
5	133	1
6	312	1
7	1008	1
done	5000	1
0	5	8
1	6	4
done	6	4
0	5	8
1	6	4
done	6	4
0	6	17
done	6	17
0	5	9
done	5	9
0	6	15
1	7	9
done	7	9
0	5	9
done	5	9
0	5	9
done	5	9
0	5	9
done	5	9
0	5	9
done	5	9
0	5	9
done	5	9
0	4	7
1	6	5
done	6	5
0	4	7
done	4	7
0	5	9
done	5	9
0	5	9
done	5	9
0	5	9
done	5	9
0	5	9
done	5	9
0	3	5
1	5	3
done	5	1
0	4	7
done	4	7
0	6	19
1	10	19
2	12	11
3	21	6
4	36	6
5	64	6
6	135	6
7	352	6
8	1262	6
done	5000	6
0	5	9
done	5	9
0	5	9
done	5	3
0	5	9
done	5	3
0	2	3
1	4	1
done	4	1
0	4	7
done	4	7
0	5	9
done	5	9
0	5	9
done	5	9
0	5	9
done	5	9
0	5	9
done	5	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	5	9
done	5	9
0	5	9
done	5	9
0	5	9
done	5	9
0	5	9
done	5	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	5	9
done	5	3
0	5	9
done	5	3
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	6	12
1	7	12
done	7	12
0	8	11
1	10	8
done	10	8
0	6	8
1	7	8
done	7	8
0	7	7
1	10	6
done	10	6
0	6	8
1	7	8
done	7	8
0	6	6
1	9	5
done	9	5
0	6	13
1	9	13
2	11	13
done	11	13
0	5	8
1	6	8
done	6	8
0	5	5
1	8	3
2	11	3
done	11	3
0	5	8
1	6	8
done	6	8
0	7	8
1	8	8
done	8	8
0	6	8
1	7	8
done	7	8
0	4	7
done	4	7
0	6	8
1	7	8
done	7	8
0	4	7
done	4	7
0	5	8
1	6	8
done	6	8
0	5	8
1	6	8
done	6	8
0	4	7
done	4	7
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	8	5
2	14	5
3	22	5
4	45	5
5	101	5
6	240	5
7	694	5
8	2697	5
done	5001	5
0	8	14
1	15	10
2	38	8
3	70	8
4	98	8
5	144	8
6	264	8
7	653	8
8	2091	8
done	5000	8
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	17	14
2	46	6
3	88	6
4	105	6
5	149	6
6	280	6
7	735	6
8	2739	6
done	5000	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	9
1	9	9
2	11	9
done	11	9
0	6	8
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	4	4
1	7	3
done	7	3
0	5	5
1	6	5
done	6	5
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	4	4
1	5	4
done	5	4
0	6	9
1	9	9
2	11	9
done	11	9
0	6	9
1	9	9
2	11	9
done	11	9
0	8	12
1	13	9
2	16	9
done	16	9
0	8	11
1	11	11
2	17	9
3	18	9
done	18	9
0	7	10
1	13	10
2	20	10
3	27	9
4	28	9
done	28	9
0	7	10
1	12	10
2	22	10
3	40	10
4	82	10
5	184	10
6	449	10
7	1294	10
8	4992	10
done	5000	10
0	7	11
1	13	7
2	29	5
3	48	5
4	69	5
5	101	5
6	188	5
7	477	5
8	1521	5
done	5000	5
0	10	29
1	24	29
2	72	13
3	201	9
4	445	5
5	1215	5
6	4071	5
done	5000	5
0	8	21
1	11	21
2	13	21
done	13	21
0	7	10
1	10	10
2	12	10
done	12	10
0	8	29
1	21	29
2	72	11
3	230	11
4	345	9
5	511	5
6	1372	5
7	4598	5
done	5000	5
0	7	10
1	10	10
2	12	10
done	12	10
0	7	10
1	10	10
2	12	10
done	12	10
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	7	10
1	10	10
2	12	10
done	12	10
0	7	10
1	10	10
2	12	10
done	12	10
0	6	9
1	9	9
2	11	9
done	11	9
0	9	18
1	21	18
2	56	18
3	140	12
4	177	9
5	252	5
6	527	5
7	1361	5
8	4408	5
done	5000	5
0	9	18
1	21	18
2	56	18
3	140	12
4	177	9
5	252	5
6	527	5
7	1361	5
8	4408	5
done	5000	5
0	9	18
1	21	18
2	56	18
3	140	12
4	177	9
5	252	5
6	527	5
7	1361	5
8	4408	5
done	5000	5
0	9	18
1	21	18
2	56	18
3	140	12
4	177	9
5	252	5
6	527	5
7	1361	5
8	4408	5
done	5000	5
0	9	18
1	21	18
2	56	18
3	140	12
4	177	9
5	252	5
6	527	5
7	1361	5
8	4408	5
done	5000	5
0	9	18
1	21	18
2	56	18
3	140	12
4	177	9
5	252	5
6	527	5
7	1361	5
8	4408	5
done	5000	5
0	9	18
1	21	18
2	56	18
3	140	12
4	177	9
5	252	5
6	527	5
7	1361	5
8	4408	5
done	5000	5
0	9	18
1	21	18
2	56	18
3	140	12
4	177	9
5	252	5
6	527	5
7	1361	5
8	4408	5
done	5000	5
0	12	24
1	26	21
2	66	16
3	141	16
4	177	15
5	179	15
done	179	15
0	13	23
1	24	23
2	61	21
3	147	16
4	187	15
5	189	15
done	189	15
0	13	22
1	25	22
2	56	22
3	136	20
4	189	15
5	194	15
6	195	15
done	195	15
0	12	21
1	25	21
2	51	21
3	112	15
4	179	11
5	239	7
6	338	7
7	730	7
8	2008	7
done	5001	7
0	12	23
1	26	20
2	59	15
3	130	15
4	177	15
5	181	15
6	182	15
done	182	15
0	13	22
1	24	22
2	54	20
3	131	15
4	189	15
5	195	15
6	196	15
done	196	15
0	12	21
1	25	21
2	50	21
3	122	19
4	189	15
5	209	15
6	210	15
done	210	15
0	11	20
1	25	20
2	48	20
3	100	14
4	177	11
5	241	11
6	333	7
7	728	7
8	2015	7
done	5001	7
0	10	19
1	25	19
2	75	19
3	214	13
4	414	10
5	591	6
6	980	6
7	2465	6
done	5000	6
0	10	19
1	24	19
2	72	19
3	222	13
4	493	10
5	1267	6
6	3766	6
done	5000	6
0	11	29
1	27	21
2	109	13
3	493	9
4	1277	7
5	2424	7
done	5000	7
0	15	47
1	43	43
2	183	25
3	1076	13
done	5000	13
0	15	47
1	42	43
2	185	23
3	1164	19
done	5000	19
0	15	56
1	42	52
2	199	24
3	1236	18
done	5001	18
0	12	29
1	35	21
2	120	13
3	521	6
4	1217	6
5	3061	6
done	5001	6
0	15	47
1	47	47
2	193	23
3	1100	13
done	5000	13
0	13	47
1	44	47
2	190	21
3	1111	21
done	5000	21
0	13	56
1	44	56
2	205	22
3	1210	16
done	5000	16
0	11	39
1	23	39
2	58	39
3	145	27
4	181	21
5	251	13
6	527	13
7	1371	13
8	4410	13
done	5000	13
0	10	19
1	22	19
2	57	19
3	141	13
4	181	10
5	252	6
6	528	6
7	1365	6
8	4391	6
done	5001	6
0	11	56
1	33	56
2	177	20
3	1270	14
done	5000	14
0	10	19
1	22	19
2	57	19
3	141	13
4	181	10
5	252	6
6	529	5
7	1366	5
8	4411	5
done	5000	5
0	10	19
1	22	19
2	57	19
3	141	13
4	181	10
5	252	6
6	529	5
7	1366	5
8	4411	5
done	5000	5
0	8	14
1	17	14
2	42	14
3	79	14
4	98	14
done	98	14
0	8	16
1	17	16
2	38	16
3	73	10
4	79	7
5	129	3
6	265	3
7	681	3
8	2230	3
done	5000	3
0	6	9
1	9	9
2	11	9
done	11	9
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	8	8
1	19	7
2	37	4
3	62	4
4	121	4
5	290	4
6	873	4
7	3381	4
done	5000	4
0	8	8
1	19	7
2	37	4
3	62	4
4	121	4
5	290	4
6	873	4
7	3381	4
done	5000	4
0	8	8
1	19	7
2	37	4
3	62	4
4	121	4
5	290	4
6	873	4
7	3381	4
done	5000	4
0	7	8
1	16	8
2	59	5
3	90	5
4	167	5
5	428	5
6	1345	5
done	5000	5
0	7	8
1	16	8
2	59	5
3	90	5
4	167	5
5	428	5
6	1345	5
done	5000	5
0	7	8
1	16	8
2	59	5
3	90	5
4	167	5
5	428	5
6	1345	5
done	5000	5

prune292.0ms

Filtered

89 candidates to 141 candidates (-58.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	140	1	141
Fresh	1	0	1
Picked	0	1	1
Done	0	2	2
Total	141	4	145

Merged error: 0b

Counts

145 → 4

regimes67.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample371.0ms

Algorithm

intervals

Results

192.0ms

10687×

body

valid

Details

sample14.0ms

simplify4.0ms

prune2.0ms

localize3.0ms

rewrite6.0ms

series4.0ms

simplify28.6s

prune40.0ms

localize4.0ms

rewrite7.0ms

series3.0ms

simplify1.6min

prune57.0ms

localize5.0ms

rewrite23.0ms

series18.0ms

simplify1.2min

prune115.0ms

localize9.0ms

rewrite55.0ms

series55.0ms

simplify3.5min

prune292.0ms

regimes67.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample371.0ms

Profiling