Details

sample22.0ms

Algorithm

intervals

Results

7.0ms

290×

body

valid

simplify6.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	13	7
2	20	7
done	20	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: 0.1b

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (* (* x 3.0) y) z)
0.2b	(* (* x 3.0) y)

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`add-log-exp`
3×	`add-sqr-sqrt` `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--`

Counts

2 → 30

Calls

2 calls:

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

series12.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(- (* (* x 3.0) y) z)
4.0ms	(* (* x 3.0) y)

simplify38.4s

Counts

36 → 36

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
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	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
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	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	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	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	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	9	9
1	17	8
2	36	8
3	63	8
4	138	8
5	364	8
6	1063	8
7	3715	8
done	5000	8
0	8	8
1	14	8
2	21	8
done	21	8
0	8	8
1	17	8
2	32	8
3	53	8
4	116	8
5	312	8
6	995	8
7	2748	8
done	5000	8
0	9	17
1	15	17
2	22	17
done	22	17
0	8	8
1	14	8
2	21	8
done	21	8
0	9	23
1	16	23
2	37	9
3	128	9
4	529	9
5	1927	9
done	5000	9
0	8	8
1	14	8
2	21	8
done	21	8
0	8	8
1	14	8
2	21	8
done	21	8
0	10	11
1	32	11
2	106	11
3	402	11
4	1411	11
5	3452	11
done	5001	11
0	11	23
1	31	21
2	98	21
3	262	17
4	364	17
5	383	17
done	383	17
0	2	2
done	2	2
0	9	15
1	25	15
2	77	15
3	213	15
4	328	15
5	519	15
6	679	15
7	1099	15
8	2944	15
done	5000	15
0	7	7
1	12	7
2	18	7
done	18	7
0	2	2
done	2	2
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	5	5
1	9	5
2	15	5
done	15	5
0	7	7
1	13	7
2	20	7
done	20	7
0	7	7
1	13	7
2	20	7
done	20	7
0	7	7
1	13	7
2	20	7
done	20	7

prune62.0ms

Filtered

25 candidates to 36 candidates (-44.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	31	5	36
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	31	6	37

Merged error: 0.0b

Counts

37 → 6

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (* 3.0 (* x y)) z)
0.3b	(* 3.0 (* x y))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 30

Calls

2 calls:

5.0ms	(- (* 3.0 (* x y)) z)
5.0ms	(* 3.0 (* x y))

series12.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(- (* 3.0 (* x y)) z)
4.0ms	(* 3.0 (* x y))

simplify44.8s

Counts

36 → 36

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
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	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	26	6
3	51	6
4	108	6
5	245	6
6	602	6
7	1789	6
done	5000	6
0	11	17
1	24	17
2	90	11
3	328	11
4	1011	9
5	3067	9
done	5000	9
0	9	17
1	26	17
2	94	9
3	375	9
4	1093	7
5	2048	7
6	4895	7
done	5000	7
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	21	17
2	92	7
3	407	7
4	1210	7
5	1693	7
6	3142	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	3	3
1	4	3
done	4	3
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	9	5
2	15	5
done	15	5
0	9	9
1	17	8
2	33	8
3	63	8
4	139	8
5	363	8
6	1069	8
7	4010	8
done	5000	8
0	8	8
1	14	8
2	21	8
done	21	8
0	8	8
1	17	8
2	32	8
3	55	8
4	117	8
5	308	8
6	986	8
7	2714	8
done	5000	8
0	9	17
1	15	17
2	22	17
done	22	17
0	8	8
1	14	8
2	21	8
done	21	8
0	9	23
1	16	23
2	37	9
3	128	9
4	527	9
5	1930	9
done	5001	9
0	8	8
1	14	8
2	21	8
done	21	8
0	8	8
1	14	8
2	21	8
done	21	8
0	10	11
1	32	11
2	106	11
3	403	11
4	1416	11
5	3472	11
done	5001	11
0	11	23
1	31	21
2	97	21
3	263	17
4	361	17
5	385	17
done	385	17
0	2	2
done	2	2
0	9	15
1	25	15
2	77	15
3	214	15
4	334	15
5	533	15
6	709	15
7	1129	15
8	2994	15
done	5000	15
0	7	7
1	12	7
2	18	7
done	18	7
0	2	2
done	2	2
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	5	5
1	9	5
2	15	5
done	15	5
0	7	7
1	13	7
2	20	7
done	20	7
0	7	7
1	13	7
2	20	7
done	20	7
0	7	7
1	13	7
2	20	7
done	20	7

prune58.0ms

Filtered

24 candidates to 36 candidates (-50.0%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	34	2	36
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	36	6	42

Merged error: 0.0b

Counts

42 → 6

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) z)
0.3b	(* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))
0.4b	(* (cbrt 3.0) (* x y))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 61

Calls

3 calls:

13.0ms	(- (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) z)
15.0ms	(* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))
6.0ms	(* (cbrt 3.0) (* x y))

series28.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(- (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) z)
9.0ms	(* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))
6.0ms	(* (cbrt 3.0) (* x y))

simplify2.6min

Counts

70 → 70

Iterations

Useful iterations: 3 (4.0ms)

Iter	Nodes	Cost
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	9	9
1	13	9
2	19	9
done	19	9
0	8	8
1	13	8
2	18	8
3	22	8
done	22	8
0	7	7
1	14	7
2	27	7
3	41	7
done	41	7
0	7	7
1	13	7
2	27	7
3	54	7
4	111	7
5	250	7
6	613	7
7	1805	7
done	5000	7
0	9	13
1	19	13
2	65	9
3	175	9
4	412	7
5	798	7
6	1871	7
done	5000	7
0	7	13
1	21	13
2	71	7
3	205	7
4	346	7
5	451	7
6	805	7
7	1995	7
done	5000	7
0	8	15
1	12	15
2	18	15
3	20	15
done	20	15
0	7	7
1	11	7
2	17	7
done	17	7
0	8	20
1	22	20
2	93	8
3	406	8
4	1111	7
5	1521	7
6	2363	7
done	5000	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	4	4
1	5	4
done	5	4
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	6	6
1	10	6
2	16	6
3	18	6
done	18	6
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	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	8	12
1	17	12
2	40	12
3	72	8
4	79	5
5	83	5
6	89	5
7	99	5
8	122	5
9	185	5
10	403	5
11	1328	5
done	5000	5
0	8	12
1	17	12
2	40	12
3	72	8
4	79	5
5	83	5
6	89	5
7	99	5
8	122	5
9	185	5
10	403	5
11	1328	5
done	5000	5
0	8	12
1	17	12
2	40	12
3	72	8
4	79	5
5	83	5
6	89	5
7	99	5
8	122	5
9	185	5
10	403	5
11	1328	5
done	5000	5
0	8	12
1	17	12
2	40	12
3	72	8
4	79	5
5	83	5
6	89	5
7	99	5
8	122	5
9	185	5
10	403	5
11	1328	5
done	5000	5
0	8	12
1	17	12
2	40	12
3	72	8
4	79	5
5	83	5
6	89	5
7	99	5
8	122	5
9	185	5
10	403	5
11	1328	5
done	5000	5
0	8	12
1	17	12
2	40	12
3	72	8
4	79	5
5	83	5
6	89	5
7	99	5
8	122	5
9	185	5
10	403	5
11	1328	5
done	5000	5
0	11	17
1	22	15
2	50	11
3	85	11
4	86	11
done	86	11
0	10	16
1	22	14
2	41	10
3	73	10
4	90	10
done	90	10
0	10	15
1	21	13
2	42	13
3	79	10
4	124	10
done	124	10
0	12	16
1	20	16
2	46	15
3	84	11
4	91	11
done	91	11
0	11	15
1	20	15
2	39	14
3	73	10
4	94	10
done	94	10
0	10	14
1	19	14
2	42	13
3	77	10
4	125	10
5	126	10
done	126	10
0	9	13
1	21	13
2	58	13
3	129	9
4	202	6
5	213	6
6	219	6
7	229	6
8	250	6
9	309	6
10	519	6
11	1450	6
done	5001	6
0	9	13
1	20	13
2	55	13
3	139	9
4	310	6
5	758	6
6	1874	6
done	5000	6
0	11	17
1	26	17
2	93	13
3	357	11
4	1064	9
5	2505	9
done	5000	9
0	9	17
1	28	17
2	97	11
3	400	9
4	1103	9
5	1720	7
6	3530	7
done	5000	7
0	10	24
1	29	24
2	133	12
3	791	12
4	3852	11
done	5001	11
0	14	31
1	37	31
2	142	17
3	725	13
4	3553	9
done	5001	9
0	12	31
1	39	31
2	146	15
3	724	11
4	3593	9
done	5000	9
0	12	38
1	38	38
2	174	16
3	1033	11
done	5000	11
0	10	27
1	19	27
2	42	27
3	78	19
4	87	13
5	91	13
6	97	13
7	107	13
8	130	13
9	191	13
10	410	13
11	1328	13
done	5001	13
0	9	13
1	18	13
2	42	13
3	75	9
4	81	6
5	85	6
6	91	6
7	101	6
8	122	6
9	182	6
10	392	6
11	1313	6
done	5000	6
0	10	38
1	29	38
2	145	14
3	869	10
4	4441	7
done	5000	7
0	9	13
1	18	13
2	42	13
3	75	9
4	81	6
5	85	6
6	91	6
7	101	6
8	122	6
9	182	6
10	392	6
11	1313	6
done	5000	6
0	9	13
1	18	13
2	42	13
3	75	9
4	81	6
5	85	6
6	91	6
7	101	6
8	122	6
9	182	6
10	392	6
11	1313	6
done	5000	6
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	7	9
1	14	9
2	28	9
3	40	9
done	40	9
0	12	16
1	25	15
2	61	15
3	152	11
4	343	8
5	906	8
6	2514	8
done	5000	8
0	11	15
1	22	15
2	47	15
3	81	11
4	87	8
5	91	8
6	97	8
7	107	8
8	130	8
9	191	8
10	407	8
11	1323	8
done	5000	8
0	11	15
1	25	15
2	59	15
3	133	11
4	288	8
5	753	8
6	2237	8
done	5000	8
0	12	31
1	23	31
2	47	31
3	81	23
4	87	17
5	91	17
6	97	17
7	107	17
8	130	17
9	191	17
10	407	17
11	1330	17
done	5000	17
0	11	15
1	22	15
2	47	15
3	81	11
4	87	8
5	91	8
6	97	8
7	107	8
8	130	8
9	191	8
10	407	8
11	1323	8
done	5000	8
0	12	44
1	24	44
2	63	16
3	213	12
4	1095	9
done	5001	9
0	11	15
1	22	15
2	47	15
3	81	11
4	87	8
5	91	8
6	97	8
7	107	8
8	130	8
9	191	8
10	407	8
11	1323	8
done	5000	8
0	11	15
1	22	15
2	47	15
3	81	11
4	87	8
5	91	8
6	97	8
7	107	8
8	130	8
9	191	8
10	407	8
11	1323	8
done	5000	8
0	13	18
1	40	18
2	148	18
3	766	11
4	4386	11
done	5000	11
0	14	44
1	39	42
2	151	42
3	641	23
4	1730	17
5	2147	17
6	2334	17
7	2853	17
done	5000	17
0	2	2
done	2	2
0	12	29
1	33	29
2	123	29
3	515	21
4	1538	15
5	2390	15
6	3193	15
7	4913	15
done	5000	15
0	10	14
1	20	14
2	44	14
3	78	10
4	87	7
5	91	7
6	97	7
7	107	7
8	130	7
9	191	7
10	410	7
11	1329	7
done	5000	7
0	2	2
done	2	2
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
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	5	5
1	9	5
2	15	5
done	15	5
0	7	7
1	13	7
2	20	7
done	20	7
0	7	7
1	13	7
2	20	7
done	20	7
0	7	7
1	13	7
2	20	7
done	20	7

prune118.0ms

Filtered

47 candidates to 70 candidates (-48.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	68	2	70
Fresh	1	2	3
Picked	1	0	1
Done	0	2	2
Total	70	6	76

Merged error: 0.0b

Counts

76 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) z)
0.2b	(* (* (cbrt 3.0) x) y)
0.3b	(* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y))
0.3b	(* (cbrt 3.0) x)

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 80

Calls

4 calls:

12.0ms	(- (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) z)
6.0ms	(* (* (cbrt 3.0) x) y)
14.0ms	(* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y))
10.0ms	(* (cbrt 3.0) x)

series36.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(- (* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y)) z)
7.0ms	(* (* (cbrt 3.0) x) y)
10.0ms	(* (* (cbrt 3.0) (cbrt 3.0)) (* (* (cbrt 3.0) x) y))
6.0ms	(* (cbrt 3.0) x)

simplify2.8min

Counts

92 → 92

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	2430	5
done	5000	5
0	5	7
1	9	7
2	18	5
3	24	5
4	34	5
5	52	5
6	101	5
7	241	5
8	768	5
9	3068	5
done	5000	5
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	5
5	133	5
6	204	5
7	414	5
8	1098	5
9	3793	5
done	5000	5
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	8
1	9	8
2	11	8
done	11	8
0	5	5
1	6	5
done	6	5
0	4	4
1	7	2
2	10	2
done	10	2
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	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	8	12
1	17	12
2	43	12
3	74	12
4	78	8
5	83	5
6	87	5
7	93	5
8	103	5
9	124	5
10	184	5
11	391	5
12	1333	5
done	5000	5
0	8	12
1	17	12
2	43	12
3	74	12
4	78	8
5	83	5
6	87	5
7	93	5
8	103	5
9	124	5
10	184	5
11	391	5
12	1333	5
done	5000	5
0	8	12
1	17	12
2	43	12
3	74	12
4	78	8
5	83	5
6	87	5
7	93	5
8	103	5
9	124	5
10	184	5
11	391	5
12	1333	5
done	5000	5
0	8	12
1	17	12
2	43	12
3	74	12
4	78	8
5	83	5
6	87	5
7	93	5
8	103	5
9	124	5
10	184	5
11	391	5
12	1333	5
done	5000	5
0	8	12
1	17	12
2	43	12
3	74	12
4	78	8
5	83	5
6	87	5
7	93	5
8	103	5
9	124	5
10	184	5
11	391	5
12	1333	5
done	5000	5
0	8	12
1	17	12
2	43	12
3	74	12
4	78	8
5	83	5
6	87	5
7	93	5
8	103	5
9	124	5
10	184	5
11	391	5
12	1333	5
done	5000	5
0	11	17
1	22	15
2	49	15
3	83	11
4	87	11
done	87	11
0	11	16
1	22	14
2	43	14
3	80	11
4	89	11
done	89	11
0	10	15
1	22	13
2	43	13
3	78	13
4	113	10
5	118	10
done	118	10
0	12	16
1	20	16
2	47	15
3	88	11
4	92	11
done	92	11
0	11	15
1	20	15
2	41	14
3	81	11
4	90	11
done	90	11
0	10	14
1	20	14
2	42	13
3	81	13
4	126	10
5	131	10
done	131	10
0	9	13
1	21	13
2	60	13
3	135	13
4	216	9
5	225	6
6	229	6
7	235	6
8	245	6
9	266	6
10	325	6
11	536	6
12	1453	6
done	5000	6
0	9	13
1	20	13
2	57	13
3	139	13
4	313	9
5	782	6
6	1940	6
done	5000	6
0	11	17
1	26	17
2	97	13
3	381	13
4	1145	11
5	2635	9
done	5000	9
0	12	24
1	34	24
2	135	14
3	726	14
4	3535	12
done	5001	12
0	10	24
1	29	24
2	132	12
3	808	12
4	3768	11
done	5000	11
0	14	31
1	37	31
2	142	17
3	773	13
4	3695	11
done	5000	11
0	14	38
1	43	38
2	175	18
3	1076	13
done	5001	13
0	12	38
1	39	38
2	176	16
3	1115	11
done	5001	11
0	10	27
1	19	27
2	45	27
3	79	27
4	82	19
5	87	13
6	91	13
7	97	13
8	107	13
9	130	13
10	193	13
11	403	13
12	1332	13
done	5000	13
0	9	13
1	18	13
2	44	13
3	76	13
4	79	9
5	84	6
6	88	6
7	94	6
8	104	6
9	125	6
10	181	6
11	396	6
12	1342	6
done	5000	6
0	10	38
1	29	38
2	150	14
3	962	10
4	4854	7
done	5000	7
0	9	13
1	18	13
2	44	13
3	76	13
4	79	9
5	84	6
6	88	6
7	94	6
8	104	6
9	125	6
10	181	6
11	396	6
12	1342	6
done	5000	6
0	9	13
1	18	13
2	44	13
3	76	13
4	79	9
5	84	6
6	88	6
7	94	6
8	104	6
9	125	6
10	181	6
11	396	6
12	1342	6
done	5000	6
0	6	10
1	12	10
2	19	10
3	22	6
4	27	3
5	31	3
6	37	3
7	47	3
8	70	3
9	131	3
10	345	3
11	1271	3
done	5000	3
0	7	9
1	14	9
2	27	9
3	41	9
4	42	9
done	42	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	9	9
1	13	9
2	19	9
done	19	9
0	8	8
1	13	8
2	18	8
3	22	8
done	22	8
0	7	7
1	14	7
2	27	7
3	41	7
done	41	7
0	7	7
1	13	7
2	30	7
3	54	7
4	110	7
5	249	7
6	590	7
7	1561	7
done	5001	7
0	9	13
1	19	13
2	58	9
3	173	9
4	389	9
5	722	7
6	1778	7
done	5000	7
0	10	20
1	27	20
2	94	10
3	383	10
4	1141	8
5	2060	7
6	4239	7
done	5000	7
0	8	15
1	12	15
2	18	15
3	20	15
done	20	15
0	7	7
1	11	7
2	17	7
done	17	7
0	8	20
1	22	20
2	92	8
3	429	8
4	1128	7
5	1528	7
6	2579	7
done	5001	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	8	10
1	14	10
2	27	10
3	37	10
done	37	10
0	7	7
1	11	7
2	17	7
done	17	7
0	6	6
1	12	4
2	24	4
3	30	4
done	30	4
0	3	3
1	4	3
done	4	3
0	12	16
1	25	15
2	64	15
3	155	15
4	353	11
5	935	8
6	2589	8
done	5001	8
0	11	15
1	22	15
2	49	15
3	79	15
4	82	11
5	87	8
6	91	8
7	97	8
8	107	8
9	130	8
10	191	8
11	400	8
12	1340	8
done	5000	8
0	11	15
1	25	15
2	62	15
3	138	15
4	296	11
5	776	8
6	2320	8
done	5001	8
0	12	31
1	23	31
2	50	31
3	78	31
4	84	23
5	89	17
6	93	17
7	99	17
8	109	17
9	130	17
10	190	17
11	404	17
12	1349	17
done	5001	17
0	11	15
1	22	15
2	49	15
3	79	15
4	82	11
5	87	8
6	91	8
7	97	8
8	107	8
9	130	8
10	191	8
11	400	8
12	1340	8
done	5000	8
0	12	44
1	24	44
2	65	16
3	214	16
4	1086	12
done	5001	12
0	11	15
1	22	15
2	49	15
3	79	15
4	82	11
5	87	8
6	91	8
7	97	8
8	107	8
9	130	8
10	191	8
11	400	8
12	1340	8
done	5000	8
0	11	15
1	22	15
2	49	15
3	79	15
4	82	11
5	87	8
6	91	8
7	97	8
8	107	8
9	130	8
10	191	8
11	400	8
12	1340	8
done	5000	8
0	13	18
1	40	18
2	150	18
3	809	11
4	4656	11
done	5000	11
0	14	44
1	39	42
2	155	42
3	706	23
4	1766	17
5	2123	17
6	2271	17
7	2671	17
done	5000	17
0	2	2
done	2	2
0	12	29
1	33	29
2	127	29
3	578	21
4	1568	15
5	2333	15
6	3030	15
7	4627	15
done	5000	15
0	10	14
1	20	14
2	46	14
3	75	14
4	78	10
5	83	7
6	87	7
7	93	7
8	103	7
9	124	7
10	184	7
11	398	7
12	1317	7
done	5000	7
0	2	2
done	2	2
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	5	5
1	9	5
2	15	5
done	15	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	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	7	7
1	13	7
2	20	7
done	20	7
0	7	7
1	13	7
2	20	7
done	20	7
0	7	7
1	13	7
2	20	7
done	20	7

prune145.0ms

Filtered

64 candidates to 92 candidates (-43.8%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	92	6	98

Merged error: 0.0b

Counts

98 → 6

regimes334.0ms

Accuracy

0% (0.1b 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	7	7
1	9	7
done	9	7

end0.0ms

sample636.0ms

Algorithm

intervals

Results

260.0ms

9163×

body

valid

Details

sample22.0ms

simplify6.0ms

prune3.0ms

localize5.0ms

rewrite12.0ms

series12.0ms

simplify38.4s

prune62.0ms

localize6.0ms

rewrite12.0ms

series12.0ms

simplify44.8s

prune58.0ms

localize9.0ms

rewrite36.0ms

series28.0ms

simplify2.6min

prune118.0ms

localize9.0ms

rewrite46.0ms

series36.0ms

simplify2.8min

prune145.0ms

regimes334.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample636.0ms

Profiling