Details

sample23.0ms

Algorithm

intervals

Results

8.0ms

349×

body

valid

simplify5.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	11	7
2	14	7
done	14	7

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.0b

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (* (* x x) 2.0) 1.0)
0.0b	(* (* x x) 2.0)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 31

Calls

2 calls:

6.0ms	(- (* (* x x) 2.0) 1.0)
6.0ms	(* (* x x) 2.0)

series9.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(- (* (* x x) 2.0) 1.0)
3.0ms	(* (* x x) 2.0)

simplify58.8s

Counts

37 → 37

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	11	7
2	14	7
done	14	7
0	6	7
1	9	7
2	15	7
3	16	7
done	16	7
0	5	6
1	11	6
2	18	6
3	25	6
4	26	6
done	26	6
0	5	6
1	10	6
2	21	6
3	37	6
4	79	6
5	184	6
6	449	6
7	1203	6
8	4669	6
done	5000	6
0	8	17
1	21	17
2	72	11
3	213	7
4	436	7
5	1198	7
6	4072	7
done	5000	7
0	8	17
1	22	17
2	74	9
3	211	7
4	446	7
5	1262	7
6	4293	7
done	5000	7
0	6	13
1	9	13
2	11	13
done	11	13
0	5	6
1	8	6
2	10	6
done	10	6
0	6	17
1	19	17
2	70	7
3	230	7
4	358	7
5	524	7
6	1407	7
7	4747	7
done	5000	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	6	9
1	13	9
2	24	9
done	24	9
0	5	6
1	8	6
2	10	6
done	10	6
0	4	5
1	9	3
2	17	3
done	17	3
0	3	3
1	4	3
done	4	3
0	8	9
1	15	8
2	28	8
3	49	8
4	110	8
5	292	8
6	862	8
7	3161	8
done	5000	8
0	7	8
1	12	8
2	15	8
done	15	8
0	7	8
1	15	8
2	26	8
3	42	8
4	93	8
5	243	8
6	778	8
7	2201	8
done	5000	8
0	8	17
1	13	17
2	16	17
done	16	17
0	7	8
1	12	8
2	15	8
done	15	8
0	8	23
1	14	23
2	31	9
3	106	9
4	410	9
5	1326	9
6	4024	9
done	5001	9
0	7	8
1	12	8
2	15	8
done	15	8
0	7	8
1	12	8
2	15	8
done	15	8
0	9	11
1	30	11
2	97	11
3	306	11
4	675	11
5	1967	11
done	5000	11
0	10	23
1	29	21
2	76	21
3	143	17
4	179	17
5	219	17
6	320	17
7	628	17
8	1693	17
done	5001	17
0	2	2
done	2	2
0	8	15
1	23	15
2	57	15
3	110	13
4	179	11
5	341	11
6	581	11
7	1232	11
8	4177	11
done	5000	11
0	6	7
1	10	7
2	12	7
done	12	7
0	2	2
done	2	2
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	7	7
1	15	7
2	32	7
3	39	7
4	45	7
5	55	7
6	77	7
7	140	7
8	352	7
9	1280	7
done	5000	7
0	7	7
1	15	7
2	32	7
3	39	7
4	45	7
5	55	7
6	77	7
7	140	7
8	352	7
9	1280	7
done	5000	7
0	7	7
1	15	7
2	32	7
3	39	7
4	45	7
5	55	7
6	77	7
7	140	7
8	352	7
9	1280	7
done	5000	7

prune51.0ms

Filtered

26 candidates to 37 candidates (-42.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	36	1	37
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	36	2	38

Merged error: 0b

Counts

38 → 2

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (* x x) 2.0)
0.1b	(* (* (* x x) 2.0) (+ 1.0 (* (* x x) 2.0)))
0.2b	(pow (* (* x x) 2.0) 3)
11.3b	(/ (- (pow (* (* x x) 2.0) 3) (pow 1.0 3)) (+ (* (* (* x x) 2.0) (+ 1.0 (* (* x x) 2.0))) (* 1.0 1.0)))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

66×	`add-sqr-sqrt`
39×	`times-frac`
33×	`*-un-lft-identity`
32×	`difference-of-squares`
26×	`add-exp-log` `add-cbrt-cube`
25×	`add-cube-cbrt` `sqr-pow`
24×	`pow1`
13×	`associate-/l*`
12×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`unpow-prod-down` `cube-prod`
6×	`associate-r`
4×	`difference-cubes` `distribute-lft-out--` `add-log-exp`
3×	`pow-unpow` `pow-pow` `pow-exp` `associate-/r*` `rem-cube-cbrt`
2×	`flip3-+` `associate-r/` `associate-l` `associate-/r/` `-commutative` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `distribute-rgt-in` `cube-mult` `pow-to-exp` `flip3--` `frac-2neg` `distribute-lft-in` `unpow3` `div-sub` `div-exp` `clear-num` `flip--` `div-inv` `unswap-sqr`

Counts

4 → 141

Calls

4 calls:

7.0ms	(* (* x x) 2.0)
11.0ms	(* (* (* x x) 2.0) (+ 1.0 (* (* x x) 2.0)))
7.0ms	(pow (* (* x x) 2.0) 3)
27.0ms	(/ (- (pow (* (* x x) 2.0) 3) (pow 1.0 3)) (+ (* (* (* x x) 2.0) (+ 1.0 (* (* x x) 2.0))) (* 1.0 1.0)))

series41.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (* x x) 2.0)
12.0ms	(* (* (* x x) 2.0) (+ 1.0 (* (* x x) 2.0)))
6.0ms	(pow (* (* x x) 2.0) 3)
20.0ms	(/ (- (pow (* (* x x) 2.0) 3) (pow 1.0 3)) (+ (* (* (* x x) 2.0) (+ 1.0 (* (* x x) 2.0))) (* 1.0 1.0)))

simplify7.9min

Counts

153 → 153

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	16	31
1	47	31
2	148	31
3	396	31
4	782	31
5	2107	31
done	5000	31
0	15	30
1	50	30
2	168	30
3	521	30
4	1361	30
5	4363	30
done	5000	30
0	15	30
1	47	30
2	166	30
3	520	30
4	1360	30
5	4366	30
done	5000	30
0	18	89
1	68	89
2	290	33
3	1616	31
done	5000	31
0	16	61
1	48	61
2	164	61
3	512	61
4	1338	61
5	4313	61
done	5000	61
0	15	30
1	47	30
2	163	30
3	515	30
4	1337	30
5	4308	30
done	5000	30
0	16	89
1	55	89
2	198	31
3	839	31
done	5002	31
0	15	30
1	47	30
2	163	30
3	515	30
4	1337	30
5	4308	30
done	5000	30
0	15	30
1	47	30
2	163	30
3	515	30
4	1337	30
5	4308	30
done	5000	30
0	10	12
1	31	12
2	101	12
3	359	12
4	1238	11
5	4442	11
done	5001	11
0	10	18
1	26	18
2	97	18
3	291	18
4	652	18
5	735	18
6	830	18
7	1270	18
8	3186	18
done	5001	18
0	12	25
1	35	25
2	127	25
3	456	25
4	1162	25
5	3609	25
done	5000	25
0	12	21
1	32	21
2	97	21
3	197	21
4	267	21
5	402	21
6	943	21
7	3446	21
done	5000	21
0	18	63
1	53	63
2	162	63
3	429	63
4	798	63
5	2098	63
done	5001	63
0	16	31
1	45	31
2	145	31
3	381	31
4	782	31
5	2072	31
done	5000	31
0	17	44
1	48	44
2	150	44
3	396	44
4	765	44
5	2053	44
done	5001	44
0	16	31
1	45	31
2	145	31
3	381	31
4	782	31
5	2072	31
done	5000	31
0	13	27
1	38	25
2	111	25
3	308	25
4	684	25
5	1987	25
done	5000	25
0	15	30
1	44	30
2	144	30
3	384	30
4	756	30
5	2048	30
done	5001	30
0	17	50
1	48	50
2	148	50
3	393	50
4	787	50
5	2091	50
done	5000	50
0	16	31
1	45	31
2	145	31
3	381	31
4	782	31
5	2072	31
done	5000	31
0	16	31
1	45	31
2	145	31
3	381	31
4	782	31
5	2072	31
done	5000	31
0	16	31
1	45	31
2	145	31
3	381	31
4	782	31
5	2072	31
done	5000	31
0	12	14
1	35	12
2	104	12
3	309	12
4	682	12
5	1971	12
done	5000	12
0	15	30
1	44	30
2	144	30
3	384	30
4	756	30
5	2048	30
done	5001	30
0	16	61
1	42	59
2	100	55
3	172	55
4	193	55
5	226	55
6	328	55
7	630	55
8	1689	55
done	5000	55
0	12	26
1	30	26
2	92	26
3	189	26
4	231	26
5	249	26
6	282	26
7	384	26
8	703	26
9	1806	26
done	5000	26
0	15	42
1	39	40
2	97	36
3	169	36
4	186	36
5	219	36
6	319	36
7	620	36
8	1680	36
done	5000	36
0	12	26
1	30	26
2	92	26
3	189	26
4	231	26
5	249	26
6	282	26
7	384	26
8	703	26
9	1806	26
done	5000	26
0	12	25
1	33	21
2	82	21
3	152	17
4	185	17
5	223	17
6	327	17
7	634	17
8	1701	17
done	5000	17
0	11	25
1	29	25
2	91	25
3	194	25
4	236	25
5	254	25
6	287	25
7	390	25
8	711	25
9	1822	25
done	5000	25
0	13	39
1	30	39
2	83	39
3	170	39
4	193	39
5	201	39
6	232	39
7	337	39
8	655	39
9	1718	39
done	5000	39
0	15	30
1	47	30
2	163	30
3	515	30
4	1337	30
5	4282	30
done	5000	30
0	12	20
1	27	20
2	80	20
3	157	20
4	180	20
5	188	20
6	219	20
7	327	20
8	637	20
9	1711	20
done	5000	20
0	15	30
1	47	30
2	163	30
3	515	30
4	1337	30
5	4282	30
done	5000	30
0	2	3
1	4	1
done	4	1
0	14	29
1	46	29
2	162	29
3	535	29
4	1359	29
5	4328	29
done	5000	29
0	18	51
1	49	51
2	137	51
3	377	51
4	693	51
5	1742	51
done	5001	51
0	17	32
1	50	32
2	156	32
3	400	32
4	813	32
5	2095	32
done	5001	32
0	17	32
1	46	32
2	134	32
3	353	32
4	705	32
5	1752	32
done	5000	32
0	17	32
1	50	32
2	156	32
3	400	32
4	813	32
5	2095	32
done	5001	32
0	13	15
1	35	13
2	92	13
3	272	13
4	601	13
5	1684	13
done	5000	13
0	16	31
1	49	31
2	155	31
3	404	31
4	816	31
5	2109	31
done	5000	31
0	18	51
1	49	51
2	137	51
3	377	51
4	693	51
5	1742	51
done	5001	51
0	17	32
1	50	32
2	156	32
3	400	32
4	813	32
5	2095	32
done	5001	32
0	17	32
1	46	32
2	134	32
3	353	32
4	705	32
5	1752	32
done	5000	32
0	17	32
1	50	32
2	156	32
3	400	32
4	813	32
5	2095	32
done	5001	32
0	13	15
1	35	13
2	92	13
3	272	13
4	601	13
5	1684	13
done	5000	13
0	16	31
1	49	31
2	155	31
3	404	31
4	816	31
5	2109	31
done	5000	31
0	18	51
1	48	51
2	137	51
3	377	51
4	707	51
5	1766	51
done	5000	51
0	17	32
1	49	32
2	141	32
3	371	32
4	694	32
5	1769	32
done	5000	32
0	17	32
1	45	32
2	134	32
3	357	32
4	704	32
5	1783	32
done	5000	32
0	17	32
1	49	32
2	141	32
3	371	32
4	694	32
5	1769	32
done	5000	32
0	13	15
1	35	13
2	93	13
3	269	13
4	602	13
5	1685	13
done	5000	13
0	16	31
1	48	31
2	140	31
3	360	31
4	715	31
5	1784	31
done	5000	31
0	19	52
1	46	50
2	135	50
3	365	50
4	699	50
5	1775	50
done	5000	50
0	18	33
1	47	31
2	144	31
3	390	31
4	779	31
5	2081	31
done	5000	31
0	18	33
1	43	31
2	133	31
3	363	31
4	704	31
5	1778	31
done	5000	31
0	18	33
1	47	31
2	144	31
3	390	31
4	779	31
5	2081	31
done	5000	31
0	14	16
1	32	12
2	91	12
3	281	12
4	615	12
5	1661	12
done	5000	12
0	17	32
1	46	30
2	143	30
3	385	30
4	756	30
5	2072	30
done	5000	30
0	19	52
1	45	50
2	108	50
3	212	50
4	272	50
5	388	50
6	824	50
7	2755	50
done	5000	50
0	18	33
1	46	31
2	132	31
3	261	31
4	447	31
5	1037	31
6	4055	31
done	5000	31
0	18	33
1	42	31
2	105	31
3	202	31
4	260	31
5	374	31
6	821	31
7	2739	31
done	5000	31
0	18	33
1	46	31
2	132	31
3	261	31
4	447	31
5	1037	31
6	4055	31
done	5000	31
0	14	16
1	30	12
2	44	12
3	60	12
4	100	12
5	213	12
6	621	12
7	2471	12
done	5001	12
0	17	32
1	45	30
2	131	30
3	263	30
4	446	30
5	1042	30
6	4058	30
done	5000	30
0	19	52
1	45	50
2	108	50
3	212	50
4	272	50
5	388	50
6	824	50
7	2755	50
done	5000	50
0	18	33
1	46	31
2	132	31
3	261	31
4	447	31
5	1037	31
6	4055	31
done	5000	31
0	18	33
1	42	31
2	105	31
3	202	31
4	260	31
5	374	31
6	821	31
7	2739	31
done	5000	31
0	18	33
1	46	31
2	132	31
3	261	31
4	447	31
5	1037	31
6	4055	31
done	5000	31
0	14	16
1	30	12
2	44	12
3	60	12
4	100	12
5	213	12
6	621	12
7	2471	12
done	5001	12
0	17	32
1	45	30
2	131	30
3	263	30
4	446	30
5	1042	30
6	4058	30
done	5000	30
0	19	52
1	44	50
2	108	50
3	210	50
4	274	50
5	392	50
6	829	50
7	2745	50
done	5000	50
0	18	33
1	45	31
2	114	31
3	217	31
4	297	31
5	491	31
6	1223	31
7	4616	31
done	5000	31
0	18	33
1	41	31
2	105	31
3	205	31
4	266	31
5	392	31
6	833	31
7	2759	31
done	5000	31
0	18	33
1	45	31
2	114	31
3	217	31
4	297	31
5	491	31
6	1223	31
7	4616	31
done	5000	31
0	14	16
1	30	12
2	45	12
3	61	12
4	99	12
5	216	12
6	619	12
7	2469	12
done	5000	12
0	17	32
1	44	30
2	113	30
3	218	30
4	297	30
5	489	30
6	1229	30
7	4611	30
done	5000	30
0	18	53
1	41	49
2	103	49
3	209	49
4	274	49
5	395	49
6	837	49
7	2796	49
done	5000	49
0	17	34
1	42	30
2	117	30
3	241	30
4	407	30
5	996	30
6	4048	30
done	5000	30
0	17	34
1	38	30
2	100	30
3	190	30
4	250	30
5	377	30
6	828	30
7	2747	30
done	5001	30
0	17	34
1	42	30
2	117	30
3	241	30
4	407	30
5	996	30
6	4048	30
done	5000	30
0	13	17
1	26	11
2	39	11
3	56	11
4	95	11
5	216	11
6	634	11
7	2455	11
done	5001	11
0	16	33
1	41	29
2	116	29
3	237	29
4	410	29
5	1005	29
6	4050	29
done	5000	29
0	13	39
1	30	39
2	83	39
3	170	39
4	193	39
5	201	39
6	232	39
7	337	39
8	655	39
9	1718	39
done	5000	39
0	15	30
1	47	30
2	163	30
3	515	30
4	1337	30
5	4282	30
done	5000	30
0	12	20
1	27	20
2	80	20
3	157	20
4	180	20
5	188	20
6	219	20
7	327	20
8	637	20
9	1711	20
done	5000	20
0	15	30
1	47	30
2	163	30
3	515	30
4	1337	30
5	4282	30
done	5000	30
0	2	3
1	4	1
done	4	1
0	14	29
1	46	29
2	162	29
3	535	29
4	1359	29
5	4328	29
done	5000	29
0	11	19
1	26	19
2	79	19
3	157	19
4	183	19
5	191	19
6	222	19
7	326	19
8	635	19
9	1699	19
done	5000	19
0	14	29
1	43	29
2	143	29
3	395	29
4	773	29
5	2110	29
done	5000	29
0	16	49
1	50	49
2	186	49
3	694	49
4	2762	49
done	5000	49
0	15	30
1	47	30
2	163	30
3	515	30
4	1337	30
5	4282	30
done	5000	30
0	11	13
1	37	11
2	122	11
3	440	11
4	1482	11
done	5001	11
0	15	30
1	44	30
2	144	30
3	381	30
4	762	30
5	2039	30
done	5000	30
0	15	30
1	44	30
2	144	30
3	381	30
4	762	30
5	2039	30
done	5000	30
0	11	25
1	26	25
2	80	25
3	166	25
4	193	25
5	202	25
6	235	25
7	340	25
8	652	25
9	1733	25
done	5001	25
0	14	29
1	43	29
2	143	29
3	395	29
4	773	29
5	2110	29
done	5000	29
0	16	31
1	46	31
2	144	31
3	373	31
4	723	31
5	1852	31
done	5000	31
0	16	31
1	46	31
2	144	31
3	373	31
4	723	31
5	1852	31
done	5000	31
0	16	31
1	45	31
2	135	31
3	357	31
4	680	31
5	1733	31
done	5001	31
0	17	32
1	44	30
2	137	30
3	362	30
4	699	30
5	1847	30
done	5000	30
0	17	32
1	42	30
2	118	30
3	228	30
4	335	30
5	683	30
6	2494	30
done	5000	30
0	17	32
1	42	30
2	118	30
3	228	30
4	335	30
5	683	30
6	2494	30
done	5000	30
0	17	32
1	41	30
2	106	30
3	201	30
4	262	30
5	379	30
6	806	30
7	2752	30
done	5001	30
0	16	33
1	37	29
2	106	29
3	222	29
4	333	29
5	670	29
6	2503	29
done	5000	29
0	14	29
1	43	29
2	143	29
3	395	29
4	773	29
5	2110	29
done	5000	29
0	16	33
1	61	33
2	252	31
3	1368	31
done	5001	31
0	16	47
1	60	45
2	276	43
3	1407	41
done	5000	41
0	18	53
1	63	41
2	283	41
3	1987	41
done	5000	41
0	14	29
1	49	29
2	189	29
3	986	29
done	5000	29
0	8	10
1	14	9
2	31	9
3	42	9
4	44	9
done	44	9
0	8	9
1	12	9
2	26	9
3	43	9
4	53	9
done	53	9
0	7	8
1	14	8
2	27	8
3	43	8
4	55	8
5	59	8
done	59	8
0	7	8
1	14	8
2	27	8
3	43	8
4	55	8
5	59	8
done	59	8
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	8	11
1	15	11
2	24	11
3	48	11
4	104	11
5	261	11
6	876	11
7	3310	11
done	5000	11
0	7	8
1	14	8
2	21	8
3	39	8
4	78	8
5	183	8
6	557	8
7	2177	8
done	5001	8
0	6	7
1	16	5
2	25	5
3	36	5
4	60	5
5	122	5
6	332	5
7	1262	5
done	5000	5
0	4	5
1	14	5
2	35	3
3	68	3
4	143	3
5	359	3
6	1179	3
done	5001	3
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	5	11
1	15	11
2	42	11
3	83	9
4	98	7
5	131	7
6	233	7
7	517	7
8	1507	7
done	5000	7
0	7	8
1	23	8
2	90	8
3	331	8
4	905	8
5	2490	8
done	5000	8
0	7	8
1	21	8
2	80	8
3	305	8
4	844	8
5	2835	8
done	5000	8
0	8	17
1	21	11
2	72	11
3	252	9
4	552	7
5	1557	7
done	5000	7
0	7	8
1	21	5
2	72	5
3	243	5
4	565	5
5	1558	5
done	5000	5
0	8	23
1	26	15
2	121	9
3	1016	9
done	5001	9
0	4	5
1	14	5
2	35	3
3	68	3
4	143	3
5	359	3
6	1179	3
done	5001	3
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	5	11
1	15	11
2	42	11
3	83	9
4	98	7
5	131	7
6	233	7
7	517	7
8	1507	7
done	5000	7
0	7	8
1	21	8
2	73	8
3	244	8
4	565	8
5	1587	8
done	5000	8
0	7	8
1	21	8
2	73	8
3	244	8
4	565	8
5	1587	8
done	5000	8
0	8	9
1	16	7
2	24	7
3	34	7
4	55	7
5	119	7
6	331	7
7	1270	7
done	5000	7
0	8	9
1	16	7
2	24	7
3	34	7
4	55	7
5	119	7
6	331	7
7	1270	7
done	5000	7
0	7	13
1	19	13
2	68	13
3	148	13
4	171	13
5	180	13
6	213	13
7	316	13
8	620	13
9	1682	13
done	5000	13
0	7	13
1	19	13
2	68	13
3	148	13
4	171	13
5	180	13
6	213	13
7	316	13
8	620	13
9	1682	13
done	5000	13
0	7	13
1	19	13
2	68	13
3	148	13
4	171	13
5	180	13
6	213	13
7	316	13
8	620	13
9	1682	13
done	5000	13
0	12	17
1	24	16
2	41	16
3	51	16
done	51	16
0	11	16
1	21	16
2	37	16
3	53	16
4	54	16
done	54	16
0	9	15
1	17	15
2	28	15
3	46	15
4	57	15
done	57	15
0	8	14
1	23	14
2	82	14
3	187	14
4	235	14
5	244	14
6	277	14
7	379	14
8	685	14
9	1781	14
done	5001	14
0	8	14
1	22	14
2	87	14
3	229	14
4	435	14
5	1286	14
6	4895	14
done	5000	14
0	14	41
1	49	41
2	225	21
3	1419	17
done	5000	17
0	14	41
1	50	41
2	225	19
3	1419	17
done	5000	17
0	11	41
1	43	41
2	210	17
3	1292	17
done	5001	17
0	9	29
1	21	29
2	70	29
3	155	29
4	178	29
5	187	29
6	220	29
7	324	29
8	633	29
9	1704	29
done	5000	29
0	8	14
1	20	14
2	69	14
3	149	14
4	173	14
5	182	14
6	215	14
7	317	14
8	619	14
9	1681	14
done	5000	14
0	9	41
1	30	41
2	174	15
3	1192	15
done	5000	15
0	8	14
1	20	14
2	69	14
3	149	14
4	173	14
5	182	14
6	215	14
7	317	14
8	619	14
9	1681	14
done	5000	14
0	8	14
1	20	14
2	69	14
3	149	14
4	173	14
5	182	14
6	215	14
7	317	14
8	619	14
9	1681	14
done	5000	14
0	6	7
1	12	7
2	26	7
3	37	7
done	37	7
0	5	11
1	15	11
2	42	11
3	83	9
4	98	7
5	131	7
6	233	7
7	517	7
8	1507	7
done	5000	7
0	6	7
1	12	7
2	25	7
3	39	7
4	41	7
done	41	7
0	5	11
1	15	11
2	42	11
3	83	9
4	98	7
5	131	7
6	233	7
7	517	7
8	1507	7
done	5000	7
0	9	23
1	18	23
2	41	23
3	78	23
4	89	23
done	89	23
0	8	14
1	15	14
2	29	14
3	43	14
done	43	14
0	6	7
1	14	5
2	34	5
3	55	5
done	55	5
0	7	9
1	18	9
2	27	9
3	33	9
4	34	9
done	34	9
0	10	17
1	39	17
2	159	17
3	680	17
4	1958	17
done	5001	17
0	9	21
1	27	21
2	103	21
3	418	19
4	1484	17
5	2963	17
done	5000	17
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	11	7
2	14	7
done	14	7
0	6	7
1	9	7
2	15	7
3	16	7
done	16	7
0	5	6
1	11	6
2	18	6
3	25	6
4	26	6
done	26	6
0	5	6
1	10	6
2	21	6
3	37	6
4	79	6
5	184	6
6	449	6
7	1203	6
8	4669	6
done	5000	6
0	8	17
1	21	17
2	72	11
3	213	7
4	436	7
5	1198	7
6	4072	7
done	5000	7
0	8	17
1	22	17
2	74	9
3	211	7
4	446	7
5	1262	7
6	4293	7
done	5000	7
0	6	13
1	9	13
2	11	13
done	11	13
0	5	6
1	8	6
2	10	6
done	10	6
0	6	17
1	19	17
2	70	7
3	230	7
4	358	7
5	524	7
6	1407	7
7	4747	7
done	5000	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	6	9
1	13	9
2	24	9
done	24	9
0	5	6
1	8	6
2	10	6
done	10	6
0	4	5
1	9	3
2	17	3
done	17	3
0	3	3
1	4	3
done	4	3
0	7	7
1	15	7
2	32	7
3	39	7
4	45	7
5	55	7
6	77	7
7	140	7
8	352	7
9	1280	7
done	5000	7
0	7	7
1	15	7
2	32	7
3	39	7
4	45	7
5	55	7
6	77	7
7	140	7
8	352	7
9	1280	7
done	5000	7
0	7	7
1	15	7
2	32	7
3	39	7
4	45	7
5	55	7
6	77	7
7	140	7
8	352	7
9	1280	7
done	5000	7
0	5	5
1	11	5
2	24	5
3	69	5
4	184	5
5	531	5
6	1751	5
done	5001	5
0	5	5
1	11	5
2	24	5
3	69	5
4	184	5
5	531	5
6	1751	5
done	5001	5
0	5	5
1	11	5
2	24	5
3	69	5
4	184	5
5	531	5
6	1751	5
done	5001	5
0	10	11
1	21	11
2	55	11
3	84	11
4	111	11
5	143	11
6	213	11
7	400	11
8	1032	11
9	3776	11
done	5000	11
0	10	11
1	21	11
2	55	11
3	84	11
4	111	11
5	143	11
6	213	11
7	400	11
8	1032	11
9	3776	11
done	5000	11
0	10	11
1	21	11
2	55	11
3	84	11
4	111	11
5	143	11
6	213	11
7	400	11
8	1032	11
9	3776	11
done	5000	11
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

prune406.0ms

Filtered

114 candidates to 153 candidates (-34.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	153	0	153
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	153	2	155

Merged error: 0b

Counts

155 → 2

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

end0.0ms

sample448.0ms

Algorithm

intervals

Results

255.0ms

10686×

body

valid

Details

sample23.0ms

simplify5.0ms

prune2.0ms

localize5.0ms

rewrite13.0ms

series9.0ms

simplify58.8s

prune51.0ms

localize15.0ms

rewrite59.0ms

series41.0ms

simplify7.9min

prune406.0ms

regimes105.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample448.0ms

Profiling