Details

sample23.0ms

Algorithm

intervals

Results

8.0ms

306×

body

valid

simplify47.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	11	7
2	24	7
3	45	7
4	63	7
5	71	7
done	71	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: 3.6b

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(- 1.0 (* y z))
3.4b	(* x (- 1.0 (* y z)))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`
3×	`sub-neg` `associate-r` `associate-l`
2×	`distribute-rgt-in` `flip3--` `distribute-lft-in` `associate-*r/` `flip--`
1×	`diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

2 → 36

Calls

2 calls:

3.0ms	(- 1.0 (* y z))
6.0ms	(* x (- 1.0 (* y z)))

series16.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(- 1.0 (* y z))
11.0ms	(* x (- 1.0 (* y z)))

simplify35.1s

Counts

42 → 42

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	11	7
2	24	7
3	45	7
4	63	7
5	71	7
done	71	7
0	9	9
1	13	9
2	20	9
done	20	9
0	8	8
1	15	8
2	29	8
3	50	8
4	64	8
5	72	8
done	72	8
0	8	8
1	14	8
2	33	8
3	74	8
4	155	8
5	327	8
6	850	8
7	2932	8
done	5000	8
0	11	23
1	21	23
2	71	11
3	294	11
4	1454	9
done	5000	9
0	9	17
1	13	17
2	26	17
3	47	17
4	59	17
5	67	17
done	67	17
0	8	8
1	12	8
2	25	8
3	46	8
4	60	8
5	68	8
done	68	8
0	9	23
1	23	23
2	83	9
3	336	9
4	1458	9
done	5000	9
0	8	8
1	12	8
2	25	8
3	46	8
4	60	8
5	68	8
done	68	8
0	8	8
1	12	8
2	25	8
3	46	8
4	60	8
5	68	8
done	68	8
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	3	3
1	4	3
done	4	3
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	3	3
1	4	3
done	4	3
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	3	3
1	4	3
done	4	3
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	3	3
1	4	3
done	4	3
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	9	15
1	15	15
2	24	15
done	24	15
0	8	8
1	12	8
2	19	8
done	19	8
0	3	3
1	6	1
done	6	1
0	8	8
1	12	8
2	25	8
3	46	8
4	60	8
5	68	8
done	68	8
0	8	8
1	12	8
2	25	8
3	46	8
4	60	8
5	68	8
done	68	8
0	7	7
1	11	7
2	24	7
3	45	7
4	63	7
5	71	7
done	71	7
0	10	11
1	30	11
2	91	11
3	339	11
4	1204	11
5	3893	11
done	5000	11
0	9	13
1	23	13
2	63	13
3	176	13
4	414	13
5	716	13
6	1011	13
7	1578	13
8	4654	13
done	5000	13
0	7	7
1	12	6
2	20	6
3	39	6
4	77	6
5	177	6
6	500	6
7	1796	6
done	5000	6
0	6	6
1	9	6
2	16	6
done	16	6
0	6	6
1	12	6
2	25	6
3	41	6
4	77	6
5	181	6
6	555	6
7	2144	6
done	5001	6
0	7	13
1	10	13
2	17	13
done	17	13
0	6	6
1	9	6
2	16	6
done	16	6
0	7	17
1	11	17
2	32	7
3	107	7
4	402	7
5	1367	7
6	4003	7
done	5001	7
0	6	6
1	9	6
2	16	6
done	16	6
0	6	6
1	9	6
2	16	6
done	16	6
0	8	9
1	27	9
2	82	9
3	272	9
4	740	9
5	1888	9
done	5000	9
0	9	17
1	26	13
2	59	13
3	72	13
4	73	13
done	73	13
0	4	4
1	9	4
2	11	4
done	11	4
0	7	11
1	20	11
2	50	11
3	109	11
4	159	11
5	260	11
6	370	11
7	612	11
8	2075	11
done	5000	11
0	5	5
1	7	5
done	7	5
0	4	4
1	9	4
2	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	8	9
1	15	9
2	34	7
3	63	7
4	66	7
done	66	7
0	8	9
1	15	9
2	34	7
3	63	7
4	66	7
done	66	7
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5

prune96.0ms

Filtered

30 candidates to 42 candidates (-40.0%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	31	11	42
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	32	11	43

Merged error: 3.5b

Counts

43 → 11

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x 1.0) (* x (neg (* y z))))
7.0b	(* x (neg (* y z)))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `associate-r`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`
3×	`associate-l` `distribute-rgt-neg-out`
1×	`+-commutative` `distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in` `flip3-+` `unsub-neg` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `unswap-sqr`

Counts

2 → 36

Calls

2 calls:

4.0ms	(+ (* x 1.0) (* x (neg (* y z))))
5.0ms	(* x (neg (* y z)))

series18.0ms

Counts

2 → 6

Calls

2 calls:

11.0ms	(+ (* x 1.0) (* x (neg (* y z))))
7.0ms	(* x (neg (* y z)))

simplify45.4s

Counts

42 → 42

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	8	8
1	14	8
2	22	8
3	32	8
4	40	8
done	40	8
0	7	7
1	18	7
2	41	7
3	78	7
4	97	7
5	105	7
done	105	7
0	7	7
1	17	7
2	42	7
3	101	7
4	206	7
5	459	7
6	1116	7
7	3256	7
done	5000	7
0	10	20
1	29	18
2	130	10
3	845	10
4	3616	8
done	5000	8
0	8	15
1	16	15
2	32	15
3	48	15
4	52	15
done	52	15
0	7	7
1	15	7
2	31	7
3	47	7
4	51	7
done	51	7
0	8	20
1	26	20
2	121	8
3	723	8
4	4298	8
done	5000	8
0	7	7
1	15	7
2	31	7
3	47	7
4	51	7
done	51	7
0	7	7
1	15	7
2	31	7
3	47	7
4	51	7
done	51	7
0	8	8
1	14	8
2	16	8
done	16	8
0	8	8
1	14	8
2	16	8
done	16	8
0	5	5
1	9	5
2	15	5
done	15	5
0	8	13
1	16	13
2	20	13
done	20	13
0	7	7
1	13	7
2	15	7
done	15	7
0	3	3
1	6	1
done	6	1
0	3	3
1	4	3
2	5	2
done	5	2
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	7	7
1	15	7
2	31	7
3	47	7
4	51	7
done	51	7
0	7	7
1	15	7
2	31	7
3	47	7
4	51	7
done	51	7
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	11	12
1	26	11
2	60	9
3	147	8
4	362	8
5	1458	8
done	5001	8
0	10	11
1	22	9
2	45	8
3	62	8
4	66	8
done	66	8
0	10	11
1	25	9
2	57	8
3	120	8
4	263	8
5	959	8
6	4683	8
done	5000	8
0	11	23
1	23	19
2	43	17
3	59	17
4	63	17
done	63	17
0	10	11
1	22	9
2	42	8
3	58	8
4	62	8
done	62	8
0	11	32
1	36	26
2	141	9
3	798	9
4	4923	9
done	5000	9
0	10	11
1	22	9
2	42	8
3	58	8
4	62	8
done	62	8
0	10	11
1	22	9
2	42	8
3	58	8
4	62	8
done	62	8
0	12	14
1	40	14
2	141	14
3	653	13
4	4272	13
done	5001	13
0	13	32
1	46	25
2	184	23
3	852	21
4	3043	19
5	4773	17
done	5000	17
0	11	21
1	38	21
2	143	15
3	639	15
4	2031	15
5	3108	15
6	4470	15
done	5000	15
0	9	10
1	22	8
2	46	8
3	106	7
4	190	7
done	190	7
0	6	6
1	13	5
2	15	5
done	15	5
0	1	1
done	1	1
0	7	7
1	15	6
2	45	6
3	84	6
4	87	6
done	87	6
0	7	7
1	15	6
2	45	6
3	84	6
4	87	6
done	87	6
0	3	3
1	4	3
done	4	3
0	8	9
1	15	9
2	34	7
3	63	7
4	66	7
done	66	7
0	8	9
1	15	9
2	34	7
3	63	7
4	66	7
done	66	7

prune80.0ms

Filtered

34 candidates to 42 candidates (-23.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	41	1	42
Fresh	4	6	10
Picked	0	1	1
Done	0	0	0
Total	45	8	53

Merged error: 0.0b

Counts

53 → 8

localize10.0ms

Local error

Found 4 expressions with local error:

0.8b	(* x (* (cbrt (- 1.0 (* y z))) (cbrt (- 1.0 (* y z)))))
3.6b	(cbrt (- 1.0 (* y z)))
3.6b	(cbrt (- 1.0 (* y z)))
3.6b	(cbrt (- 1.0 (* y z)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-div`
10×	`associate-*r/`
9×	`pow1` `add-exp-log` `cbrt-prod` `add-sqr-sqrt` `flip3--` `flip--`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`add-cbrt-cube`
4×	`frac-times` `add-log-exp`
3×	`pow1/3` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`associate-*l/`
1×	`associate-r` `*-commutative` `unswap-sqr`

Counts

4 → 66

Calls

4 calls:

12.0ms	(* x (* (cbrt (- 1.0 (* y z))) (cbrt (- 1.0 (* y z)))))
3.0ms	(cbrt (- 1.0 (* y z)))
3.0ms	(cbrt (- 1.0 (* y z)))
3.0ms	(cbrt (- 1.0 (* y z)))

series182.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(* x (* (cbrt (- 1.0 (* y z))) (cbrt (- 1.0 (* y z)))))
44.0ms	(cbrt (- 1.0 (* y z)))
52.0ms	(cbrt (- 1.0 (* y z)))
46.0ms	(cbrt (- 1.0 (* y z)))

simplify1.8min

Counts

78 → 78

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	8	14
1	11	14
2	18	14
done	18	14
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	16	6
done	16	6
0	9	10
1	28	10
2	83	10
3	270	10
4	679	10
5	1821	10
done	5001	10
0	10	18
1	27	14
2	60	14
3	73	14
4	74	14
done	74	14
0	8	12
1	21	12
2	51	12
3	108	12
4	161	12
5	254	12
6	360	12
7	602	12
8	2047	12
done	5001	12
0	6	6
1	8	6
done	8	6
0	8	15
1	11	15
2	18	15
done	18	15
0	7	7
1	10	7
2	17	7
done	17	7
0	8	20
1	12	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	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	8	14
1	11	14
2	18	14
done	18	14
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	16	6
done	16	6
0	9	10
1	28	10
2	83	10
3	270	10
4	679	10
5	1821	10
done	5001	10
0	10	18
1	27	14
2	60	14
3	73	14
4	74	14
done	74	14
0	8	12
1	21	12
2	51	12
3	108	12
4	161	12
5	254	12
6	360	12
7	602	12
8	2047	12
done	5001	12
0	6	6
1	8	6
done	8	6
0	8	15
1	11	15
2	18	15
done	18	15
0	7	7
1	10	7
2	17	7
done	17	7
0	8	20
1	12	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	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	8	14
1	11	14
2	18	14
done	18	14
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	16	6
done	16	6
0	9	10
1	28	10
2	83	10
3	270	10
4	679	10
5	1821	10
done	5001	10
0	10	18
1	27	14
2	60	14
3	73	14
4	74	14
done	74	14
0	8	12
1	21	12
2	51	12
3	108	12
4	161	12
5	254	12
6	360	12
7	602	12
8	2047	12
done	5001	12
0	6	6
1	8	6
done	8	6
0	8	15
1	11	15
2	18	15
done	18	15
0	7	7
1	10	7
2	17	7
done	17	7
0	8	20
1	12	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	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	9	15
1	15	15
2	24	15
done	24	15
0	9	15
1	15	15
2	24	15
done	24	15
0	11	18
1	19	12
2	29	12
done	29	12
0	11	17
1	17	17
2	30	12
3	31	12
done	31	12
0	10	16
1	19	16
2	33	16
3	40	12
4	41	12
done	41	12
0	10	16
1	18	16
2	35	16
3	53	16
4	95	16
5	199	16
6	469	16
7	1327	16
8	4998	16
done	5000	16
0	10	17
1	19	17
2	61	15
3	232	15
4	886	15
5	2914	15
done	5000	15
0	13	47
1	30	47
2	85	19
3	209	12
4	547	12
5	2158	12
done	5000	12
0	11	33
1	17	33
2	26	33
done	26	33
0	10	16
1	16	16
2	25	16
done	25	16
0	11	47
1	27	47
2	85	17
3	249	17
4	379	15
5	665	12
6	2377	12
done	5000	12
0	10	16
1	16	16
2	25	16
done	25	16
0	10	16
1	16	16
2	25	16
done	25	16
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	8	8
1	12	8
2	19	8
done	19	8
0	10	16
1	16	16
2	25	16
done	25	16
0	10	16
1	16	16
2	25	16
done	25	16
0	9	15
1	15	15
2	24	15
done	24	15
0	12	23
1	34	23
2	91	23
3	288	23
4	692	23
5	1810	23
done	5000	23
0	16	25
1	49	25
2	135	25
3	368	25
4	776	25
5	2020	25
done	5000	25
0	16	25
1	49	25
2	135	25
3	358	25
4	742	25
5	1967	25
done	5000	25
0	11	27
1	27	27
2	59	27
3	116	27
4	166	27
5	263	27
6	373	27
7	615	27
8	2089	27
done	5001	27
0	14	19
1	39	19
2	106	19
3	298	19
4	737	19
5	1885	19
done	5000	19
0	13	21
1	31	21
2	76	21
3	158	21
4	246	21
5	354	21
6	563	21
7	1907	21
done	5000	21
0	14	19
1	39	19
2	106	19
3	301	19
4	739	19
5	1870	19
done	5000	19
0	13	21
1	31	21
2	76	21
3	157	21
4	242	21
5	345	21
6	556	21
7	1864	21
done	5000	21
0	18	27
1	50	24
2	173	21
3	537	21
4	2260	17
done	5001	17
0	27	66
1	69	57
2	197	54
3	739	48
4	4471	29
done	5001	29
0	28	66
1	67	63
2	191	63
3	751	51
4	4703	25
done	5000	25
0	18	27
1	50	24
2	173	21
3	537	21
4	2260	17
done	5001	17
0	27	66
1	69	57
2	197	54
3	739	48
4	4471	29
done	5001	29
0	28	66
1	67	63
2	191	63
3	751	51
4	4703	25
done	5000	25
0	18	27
1	50	24
2	173	21
3	537	21
4	2260	17
done	5001	17
0	27	66
1	69	57
2	197	54
3	739	48
4	4471	29
done	5001	29
0	28	66
1	67	63
2	191	63
3	751	51
4	4703	25
done	5000	25
0	5	5
1	12	4
2	22	4
3	40	4
4	85	4
5	232	4
6	760	4
7	3047	4
done	5000	4
0	18	21
1	39	16
2	83	13
3	234	10
4	665	10
5	1430	7
6	4295	7
done	5000	7
0	19	21
1	39	18
2	74	16
3	215	14
4	653	14
5	2297	11
done	5000	11

prune204.0ms

Filtered

66 candidates to 78 candidates (-18.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	77	1	78
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	78	8	86

Merged error: 0.0b

Counts

86 → 8

localize17.0ms

Local error

Found 4 expressions with local error:

3.6b	(cbrt (- 1.0 (* y z)))
3.6b	(cbrt (- 1.0 (* y z)))
3.6b	(cbrt (- 1.0 (* y z)))
3.6b	(cbrt (- 1.0 (* y z)))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `cbrt-div` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `flip3--` `pow1/3` `add-cbrt-cube` `flip--` `add-log-exp`

Counts

4 → 52

Calls

4 calls:

3.0ms	(cbrt (- 1.0 (* y z)))
3.0ms	(cbrt (- 1.0 (* y z)))
3.0ms	(cbrt (- 1.0 (* y z)))
3.0ms	(cbrt (- 1.0 (* y z)))

series188.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(cbrt (- 1.0 (* y z)))
43.0ms	(cbrt (- 1.0 (* y z)))
51.0ms	(cbrt (- 1.0 (* y z)))
44.0ms	(cbrt (- 1.0 (* y z)))

simplify1.2min

Counts

64 → 64

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	8	14
1	11	14
2	18	14
done	18	14
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	16	6
done	16	6
0	9	10
1	28	10
2	83	10
3	270	10
4	679	10
5	1821	10
done	5001	10
0	10	18
1	27	14
2	60	14
3	73	14
4	74	14
done	74	14
0	8	12
1	21	12
2	51	12
3	108	12
4	161	12
5	254	12
6	360	12
7	602	12
8	2047	12
done	5001	12
0	6	6
1	8	6
done	8	6
0	8	15
1	11	15
2	18	15
done	18	15
0	7	7
1	10	7
2	17	7
done	17	7
0	8	20
1	12	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	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	8	14
1	11	14
2	18	14
done	18	14
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	16	6
done	16	6
0	9	10
1	28	10
2	83	10
3	270	10
4	679	10
5	1821	10
done	5001	10
0	10	18
1	27	14
2	60	14
3	73	14
4	74	14
done	74	14
0	8	12
1	21	12
2	51	12
3	108	12
4	161	12
5	254	12
6	360	12
7	602	12
8	2047	12
done	5001	12
0	6	6
1	8	6
done	8	6
0	8	15
1	11	15
2	18	15
done	18	15
0	7	7
1	10	7
2	17	7
done	17	7
0	8	20
1	12	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	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	8	14
1	11	14
2	18	14
done	18	14
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	16	6
done	16	6
0	9	10
1	28	10
2	83	10
3	270	10
4	679	10
5	1821	10
done	5001	10
0	10	18
1	27	14
2	60	14
3	73	14
4	74	14
done	74	14
0	8	12
1	21	12
2	51	12
3	108	12
4	161	12
5	254	12
6	360	12
7	602	12
8	2047	12
done	5001	12
0	6	6
1	8	6
done	8	6
0	8	15
1	11	15
2	18	15
done	18	15
0	7	7
1	10	7
2	17	7
done	17	7
0	8	20
1	12	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	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	8	14
1	11	14
2	18	14
done	18	14
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	16	6
done	16	6
0	9	10
1	28	10
2	83	10
3	270	10
4	679	10
5	1821	10
done	5001	10
0	10	18
1	27	14
2	60	14
3	73	14
4	74	14
done	74	14
0	8	12
1	21	12
2	51	12
3	108	12
4	161	12
5	254	12
6	360	12
7	602	12
8	2047	12
done	5001	12
0	6	6
1	8	6
done	8	6
0	8	15
1	11	15
2	18	15
done	18	15
0	7	7
1	10	7
2	17	7
done	17	7
0	8	20
1	12	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	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	18	27
1	50	24
2	173	21
3	537	21
4	2260	17
done	5001	17
0	27	66
1	69	57
2	197	54
3	739	48
4	4471	29
done	5001	29
0	28	66
1	67	63
2	191	63
3	751	51
4	4703	25
done	5000	25
0	18	27
1	50	24
2	173	21
3	537	21
4	2260	17
done	5001	17
0	27	66
1	69	57
2	197	54
3	739	48
4	4471	29
done	5001	29
0	28	66
1	67	63
2	191	63
3	751	51
4	4703	25
done	5000	25
0	18	27
1	50	24
2	173	21
3	537	21
4	2260	17
done	5001	17
0	27	66
1	69	57
2	197	54
3	739	48
4	4471	29
done	5001	29
0	28	66
1	67	63
2	191	63
3	751	51
4	4703	25
done	5000	25
0	18	27
1	50	24
2	173	21
3	537	21
4	2260	17
done	5001	17
0	27	66
1	69	57
2	197	54
3	739	48
4	4471	29
done	5001	29
0	28	66
1	67	63
2	191	63
3	751	51
4	4703	25
done	5000	25

prune221.0ms

Filtered

56 candidates to 64 candidates (-14.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	64	0	64
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	64	8	72

Merged error: 0.0b

Counts

72 → 8

regimes493.0ms

Accuracy

88.8% (0.4b remaining)

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

bsearch2.0ms

simplify8.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	19	42
1	36	33
2	47	33
3	51	33
done	51	33

end0.0ms

sample664.0ms

Algorithm

intervals

Results

272.0ms

9634×

body

valid

Details

sample23.0ms

simplify47.0ms

prune3.0ms

localize5.0ms

rewrite10.0ms

series16.0ms

simplify35.1s

prune96.0ms

localize8.0ms

rewrite11.0ms

series18.0ms

simplify45.4s

prune80.0ms

localize10.0ms

rewrite22.0ms

series182.0ms

simplify1.8min

prune204.0ms

localize17.0ms

rewrite13.0ms

series188.0ms

simplify1.2min

prune221.0ms

regimes493.0ms

bsearch2.0ms

simplify8.0ms

end0.0ms

sample664.0ms

Profiling