Details

sample61.0ms

Algorithm

intervals

Results

14.0ms	256×	body	80	valid
12.0ms	263×	body	80	nan

simplify145.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	14	8
2	25	8
3	41	8
4	50	8
5	58	8
6	78	8
7	109	8
8	125	8
9	135	8
10	142	8
11	144	8
12	146	8
done	146	8

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

Counts

2 → 1

localize8.0ms

Local error

Found 1 expressions with local error:

0.3b	(* x (log y))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt`
6×	`log-prod`
5×	`add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `associate-r`
3×	`add-exp-log` `distribute-rgt-in` `distribute-lft-in` `associate-l` `add-cbrt-cube`
1×	`pow-prod-down` `prod-exp` `log-pow` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

1 → 25

Calls

1 calls:

5.0ms

(* x (log y))

series10.0ms

Counts

1 → 3

Calls

1 calls:

10.0ms

(* x (log y))

simplify15.5s

Counts

28 → 28

Iterations

Useful iterations: done (2.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	15	3
3	25	3
4	48	3
5	104	3
6	245	3
7	707	3
8	2686	3
done	5000	3
0	8	14
1	15	14
2	40	8
3	79	8
4	137	6
5	259	6
6	654	6
7	2457	6
done	5001	6
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	89	6
4	105	6
5	151	6
6	283	6
7	735	6
8	2697	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	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
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	4	4
1	7	3
done	7	1
0	4	4
1	5	4
done	5	4
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
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	4	4
1	7	3
done	7	1
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	6	9
1	9	9
2	11	9
done	11	9
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	7	7
1	17	6
2	18	4
3	23	4
done	23	4
0	8	9
1	16	7
2	26	4
3	45	4
4	53	4
5	70	4
6	105	4
done	105	4
0	8	9
1	13	9
2	24	9
3	43	6
4	67	4
5	188	4
6	974	4
7	2318	4
done	5001	4

prune54.0ms

Filtered

20 candidates to 28 candidates (-40.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	24	4	28
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	24	5	29

Merged error: 0.0b

Counts

29 → 5

localize13.0ms

Local error

Found 4 expressions with local error:

0.3b	(* x (log (cbrt y)))
0.3b	(* (* 2 (log (cbrt y))) x)
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`add-cube-cbrt` `*-un-lft-identity`
12×	`pow1` `cbrt-prod` `log-prod`
11×	`add-exp-log` `add-cbrt-cube`
8×	`associate-r`
6×	`distribute-rgt-in` `distribute-lft-in`
4×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`pow1/3`
2×	`log-pow` `*-commutative`
1×	`unswap-sqr`

Counts

4 → 72

Calls

4 calls:

6.0ms	(* x (log (cbrt y)))
7.0ms	(* (* 2 (log (cbrt y))) x)
2.0ms	(cbrt y)
2.0ms	(cbrt y)

series109.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* x (log (cbrt y)))
33.0ms	(* (* 2 (log (cbrt y))) x)
25.0ms	(cbrt y)
27.0ms	(cbrt y)

simplify1.1min

Counts

84 → 84

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
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	10	10
1	14	10
2	20	10
3	22	10
done	22	10
0	9	9
1	14	9
2	19	9
3	23	9
done	23	9
0	8	8
1	15	8
2	28	8
3	40	8
4	42	8
done	42	8
0	8	8
1	14	8
2	32	6
3	60	6
4	119	6
5	242	6
6	685	6
7	2651	6
done	5000	6
0	13	23
1	28	19
2	79	11
3	253	11
4	750	11
5	1985	9
6	4899	9
done	5000	9
0	11	23
1	29	21
2	94	11
3	366	11
4	1125	9
5	2076	9
6	4166	9
done	5001	9
0	9	17
1	13	17
2	19	17
done	19	17
0	8	8
1	12	8
2	18	8
done	18	8
0	9	23
1	23	23
2	94	9
3	427	9
4	1178	9
5	1586	9
6	2597	9
done	5000	9
0	8	8
1	12	8
2	18	8
done	18	8
0	8	8
1	12	8
2	18	8
done	18	8
0	9	11
1	15	11
2	28	11
3	40	11
done	40	11
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	13	5
2	25	5
done	25	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	9	6
2	16	4
3	26	4
4	49	4
5	107	4
6	245	4
7	701	4
8	2717	4
done	5001	4
0	9	17
1	16	17
2	41	9
3	78	9
4	138	7
5	268	7
6	671	7
7	2479	7
done	5000	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	18	17
2	47	7
3	89	7
4	105	7
5	151	7
6	291	7
7	753	7
8	2713	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	9
1	8	9
done	8	9
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	5	5
1	8	4
done	8	4
0	5	5
1	6	5
done	6	5
0	7	10
1	10	10
2	16	8
3	22	8
4	26	8
done	26	8
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	4	4
1	7	3
done	7	1
0	5	5
1	6	5
done	6	5
0	7	9
1	8	9
done	8	9
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	5	5
1	8	4
done	8	4
0	5	5
1	6	5
done	6	5
0	7	10
1	10	10
2	16	8
3	22	8
4	26	8
done	26	8
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	4	4
1	7	3
done	7	1
0	5	5
1	6	5
done	6	5
0	3	3
1	4	3
done	4	3
0	3	3
1	6	1
done	6	1
0	7	11
1	10	11
2	12	11
done	12	11
0	6	6
1	7	6
done	7	6
0	3	3
1	6	1
done	6	1
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	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	10	11
1	18	8
2	32	6
3	50	6
4	52	6
done	52	6
0	10	11
1	21	9
2	43	6
3	85	6
4	114	6
5	181	6
6	233	6
done	233	6
0	17	18
1	35	17
2	72	15
3	185	15
4	563	14
5	1572	12
6	4720	11
done	5000	11
0	9	9
1	22	8
2	43	6
3	53	6
done	53	6
0	10	11
1	21	9
2	43	6
3	85	6
4	114	6
5	181	6
6	233	6
done	233	6
0	15	16
1	30	15
2	56	13
3	137	13
4	384	12
5	1032	10
6	2616	9
done	5000	9

prune113.0ms

Filtered

65 candidates to 84 candidates (-29.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	83	1	84
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	84	5	89

Merged error: 0.0b

Counts

89 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b	(* x (log (cbrt y)))
0.3b	(* (* 2 (log (pow y 1/3))) x)
0.6b	(cbrt y)
5.0b	(pow y 1/3)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
14×	`add-cube-cbrt` `*-un-lft-identity`
13×	`pow1`
12×	`add-exp-log` `log-prod`
11×	`add-cbrt-cube`
9×	`cbrt-prod`
8×	`associate-r`
6×	`distribute-rgt-in` `distribute-lft-in`
4×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`unpow-prod-down` `pow-unpow`
2×	`pow1/3` `log-pow` `*-commutative`
1×	`pow-to-exp` `pow-pow` `unpow1/3` `pow-exp` `unswap-sqr` `sqr-pow`

Counts

4 → 79

Calls

4 calls:

6.0ms	(* x (log (cbrt y)))
6.0ms	(* (* 2 (log (pow y 1/3))) x)
2.0ms	(cbrt y)
3.0ms	(pow y 1/3)

series102.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* x (log (cbrt y)))
22.0ms	(* (* 2 (log (pow y 1/3))) x)
26.0ms	(cbrt y)
28.0ms	(pow y 1/3)

simplify2.3min

Counts

91 → 91

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	5	7
1	9	7
2	16	7
3	40	7
4	97	7
5	254	7
6	865	7
7	3279	7
done	5000	7
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	2153	4
done	5000	4
0	3	3
1	10	1
2	15	1
3	21	1
4	31	1
5	55	1
6	114	1
7	324	1
8	1255	1
done	5000	1
0	5	7
1	11	6
2	17	6
3	27	6
4	51	6
5	111	6
6	325	6
7	1254	6
done	5000	6
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	3	3
1	11	1
done	11	1
0	3	3
1	9	2
2	15	2
3	25	2
4	49	2
5	114	2
6	337	2
7	1273	2
done	5000	2
0	4	4
1	12	3
2	21	3
3	35	3
4	78	3
5	197	3
6	572	3
7	2108	3
done	5001	3
0	4	4
1	10	3
2	18	3
3	33	3
4	72	3
5	194	3
6	659	3
7	3013	3
done	5000	3
0	5	9
1	11	7
2	17	7
3	27	7
4	51	7
5	116	7
6	330	7
7	1262	7
done	5000	7
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	115	3
6	336	3
7	1254	3
done	5000	3
0	5	11
1	15	6
2	36	4
3	74	1
4	174	1
5	554	1
6	2511	1
done	5000	1
0	4	4
1	10	3
2	17	3
3	27	3
4	51	3
5	114	3
6	331	3
7	1255	3
done	5000	3
0	4	4
1	10	3
2	17	3
3	27	3
4	51	3
5	114	3
6	331	3
7	1255	3
done	5000	3
0	5	5
1	10	3
2	16	3
3	26	3
4	48	3
5	110	3
6	326	3
7	1249	3
done	5000	3
0	5	5
1	10	3
2	16	3
3	26	3
4	48	3
5	110	3
6	326	3
7	1249	3
done	5000	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	8	8
1	19	7
2	41	6
3	93	6
4	183	6
5	476	6
6	1427	6
done	5000	6
0	8	8
1	19	7
2	41	6
3	93	6
4	183	6
5	476	6
6	1427	6
done	5000	6
0	11	11
1	22	10
2	40	10
3	67	10
4	130	10
5	274	10
6	708	10
7	2361	10
done	5000	10
0	10	10
1	22	9
2	44	8
3	83	8
4	170	8
5	387	8
6	1103	8
7	3910	8
done	5000	8
0	9	9
1	23	8
2	52	7
3	126	7
4	275	7
5	632	7
6	1691	7
done	5000	7
0	9	9
1	22	8
2	56	6
3	145	6
4	371	5
5	1216	5
done	5000	5
0	14	26
1	36	19
2	110	11
3	498	11
4	3022	10
done	5000	10
0	12	26
1	37	21
2	130	10
3	672	10
4	4247	8
done	5000	8
0	10	19
1	21	17
2	43	15
3	95	15
4	184	15
5	479	15
6	1418	15
done	5000	15
0	9	9
1	20	8
2	42	7
3	94	7
4	184	7
5	478	7
6	1434	7
done	5000	7
0	10	26
1	31	23
2	118	8
3	676	8
4	4445	8
done	5000	8
0	9	9
1	20	8
2	42	7
3	94	7
4	184	7
5	478	7
6	1434	7
done	5000	7
0	9	9
1	20	8
2	42	7
3	94	7
4	184	7
5	478	7
6	1434	7
done	5000	7
0	10	12
1	23	11
2	52	10
3	130	10
4	284	10
5	707	10
6	2136	10
done	5000	10
0	9	9
1	20	8
2	42	7
3	96	7
4	188	7
5	485	7
6	1426	7
done	5001	7
0	8	8
1	21	5
2	49	4
3	92	4
4	162	4
5	380	4
6	1127	4
7	3962	4
done	5001	4
0	6	6
1	15	5
2	28	5
3	50	5
4	105	5
5	283	5
6	800	5
7	2733	5
done	5000	5
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	9	6
2	16	4
3	26	4
4	49	4
5	107	4
6	245	4
7	701	4
8	2717	4
done	5001	4
0	9	17
1	16	17
2	41	9
3	78	9
4	138	7
5	268	7
6	671	7
7	2479	7
done	5000	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	18	17
2	47	7
3	89	7
4	105	7
5	151	7
6	291	7
7	753	7
8	2713	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	9
1	8	9
done	8	9
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	5	5
1	8	4
done	8	4
0	5	5
1	6	5
done	6	5
0	7	10
1	10	10
2	16	8
3	22	8
4	26	8
done	26	8
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	4	4
1	7	3
done	7	1
0	5	5
1	6	5
done	6	5
0	7	9
1	8	9
done	8	9
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	5	5
1	8	4
done	8	4
0	5	5
1	6	5
done	6	5
0	7	10
1	10	10
2	16	8
3	22	8
4	26	8
done	26	8
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	4	4
1	7	3
done	7	1
0	5	5
1	6	5
done	6	5
0	3	3
1	4	3
done	4	3
0	3	3
1	6	1
done	6	1
0	7	11
1	10	11
2	12	11
done	12	11
0	6	6
1	7	6
done	7	6
0	3	3
1	6	1
done	6	1
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	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	9	10
1	16	10
2	33	10
3	78	6
4	152	2
5	431	2
6	1871	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	10	11
1	18	8
2	32	6
3	50	6
4	52	6
done	52	6
0	10	11
1	21	9
2	43	6
3	85	6
4	114	6
5	181	6
6	233	6
done	233	6
0	10	11
1	18	11
2	41	11
3	95	8
4	157	6
5	382	6
6	1708	6
7	3975	6
done	5000	6
0	9	9
1	22	8
2	43	6
3	53	6
done	53	6
0	10	11
1	21	9
2	43	6
3	85	6
4	114	6
5	181	6
6	233	6
done	233	6
0	15	16
1	30	15
2	56	13
3	137	13
4	384	12
5	1032	10
6	2616	9
done	5000	9

prune143.0ms

Filtered

71 candidates to 91 candidates (-28.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	90	1	91
Fresh	1	1	2
Picked	0	1	1
Done	0	2	2
Total	91	5	96

Merged error: 0b

Counts

96 → 5

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(cbrt x)
5.0b	(pow y 1/3)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
5×	`pow1` `add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
3×	`unpow-prod-down` `pow-unpow` `pow1/3`
1×	`pow-to-exp` `pow-pow` `unpow1/3` `pow-exp` `sqr-pow`

Counts

4 → 51

Calls

4 calls:

2.0ms	(cbrt x)
4.0ms	(cbrt x)
2.0ms	(cbrt x)
3.0ms	(pow y 1/3)

series106.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(cbrt x)
26.0ms	(cbrt x)
27.0ms	(cbrt x)
23.0ms	(pow y 1/3)

simplify1.6min

Counts

63 → 63

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	5	7
1	9	7
2	16	7
3	40	7
4	97	7
5	254	7
6	865	7
7	3279	7
done	5000	7
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	2153	4
done	5000	4
0	3	3
1	10	1
2	15	1
3	21	1
4	31	1
5	55	1
6	114	1
7	324	1
8	1255	1
done	5000	1
0	5	7
1	11	6
2	17	6
3	27	6
4	51	6
5	111	6
6	325	6
7	1254	6
done	5000	6
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	3	3
1	11	1
done	11	1
0	3	3
1	9	2
2	15	2
3	25	2
4	49	2
5	114	2
6	337	2
7	1273	2
done	5000	2
0	4	4
1	12	3
2	21	3
3	35	3
4	78	3
5	197	3
6	572	3
7	2108	3
done	5001	3
0	4	4
1	10	3
2	18	3
3	33	3
4	72	3
5	194	3
6	659	3
7	3013	3
done	5000	3
0	5	9
1	11	7
2	17	7
3	27	7
4	51	7
5	116	7
6	330	7
7	1262	7
done	5000	7
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	115	3
6	336	3
7	1254	3
done	5000	3
0	5	11
1	15	6
2	36	4
3	74	1
4	174	1
5	554	1
6	2511	1
done	5000	1
0	4	4
1	10	3
2	17	3
3	27	3
4	51	3
5	114	3
6	331	3
7	1255	3
done	5000	3
0	4	4
1	10	3
2	17	3
3	27	3
4	51	3
5	114	3
6	331	3
7	1255	3
done	5000	3
0	5	5
1	10	3
2	16	3
3	26	3
4	48	3
5	110	3
6	326	3
7	1249	3
done	5000	3
0	5	5
1	10	3
2	16	3
3	26	3
4	48	3
5	110	3
6	326	3
7	1249	3
done	5000	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	9	10
1	16	10
2	33	10
3	78	6
4	152	2
5	431	2
6	1871	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	171	2
6	353	2
7	904	2
8	3078	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	171	2
6	353	2
7	904	2
8	3078	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	171	2
6	353	2
7	904	2
8	3078	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2

prune82.0ms

Filtered

41 candidates to 63 candidates (-53.7%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	63	0	63
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	63	5	68

Merged error: 0b

Counts

68 → 5

regimes251.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	7	8
1	8	8
done	8	8

end0.0ms

sample1.3s

Algorithm

intervals

Results

334.0ms	8026×	body	80	valid
253.0ms	8327×	body	80	nan
0.0ms	1×	body	1280	valid
0.0ms	1×	body	320	valid

Details

sample61.0ms

simplify145.0ms

prune3.0ms

localize8.0ms

rewrite6.0ms

series10.0ms

simplify15.5s

prune54.0ms

localize13.0ms

rewrite18.0ms

series109.0ms

simplify1.1min

prune113.0ms

localize18.0ms

rewrite19.0ms

series102.0ms

simplify2.3min

prune143.0ms

localize23.0ms

rewrite11.0ms

series106.0ms

simplify1.6min

prune82.0ms

regimes251.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling