Details

sample31.0ms

Algorithm

intervals

Results

15.0ms

456×

body

valid

simplify16.0ms

Counts

1 → 1

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	8	11
1	15	9
2	23	9
3	25	9
done	25	9

prune6.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.0b

Counts

2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (+ (* x 2.0) (* x x)) (* y y))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-log-exp`
3×	`sum-log`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `associate-+l+` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `flip-+`

Counts

1 → 13

Calls

1 calls:

7.0ms

(+ (+ (* x 2.0) (* x x)) (* y y))

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(+ (+ (* x 2.0) (* x x)) (* y y))

simplify27.6s

Counts

16 → 16

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	14
1	23	13
2	50	10
3	127	10
4	462	10
5	2439	10
done	5000	10
0	10	13
1	22	10
2	44	10
3	82	10
4	229	10
5	1013	10
done	5000	10
0	9	12
1	16	10
2	24	10
3	26	10
done	26	10
0	9	12
1	19	10
2	38	10
3	63	10
4	105	10
5	310	10
6	1327	10
done	5000	10
0	10	25
1	17	21
2	25	21
3	27	21
done	27	21
0	9	12
1	16	10
2	24	10
3	26	10
done	26	10
0	10	35
1	30	29
2	124	11
3	653	11
4	3636	11
done	5001	11
0	9	12
1	16	10
2	24	10
3	26	10
done	26	10
0	9	12
1	16	10
2	24	10
3	26	10
done	26	10
0	11	15
1	31	13
2	86	11
3	262	11
4	723	11
5	2038	11
done	5000	11
0	12	35
1	36	25
2	127	25
3	390	19
4	1295	19
5	3832	19
done	5001	19
0	10	23
1	29	19
2	94	17
3	260	15
4	705	15
5	2067	15
done	5000	15
0	8	11
1	16	9
2	31	9
3	40	9
4	61	9
5	115	9
6	243	9
7	548	9
8	1316	9
done	5000	9
0	5	7
1	6	7
done	6	7
0	9	11
1	22	11
2	41	9
3	51	9
4	60	9
5	77	9
6	121	9
7	233	9
8	647	9
9	2496	9
done	5001	9
0	9	11
1	22	11
2	41	9
3	51	9
4	60	9
5	77	9
6	121	9
7	233	9
8	647	9
9	2496	9
done	5001	9
0	9	11
1	22	11
2	41	9
3	51	9
4	60	9
5	77	9
6	121	9
7	233	9
8	647	9
9	2496	9
done	5001	9

prune28.0ms

Filtered

13 candidates to 16 candidates (-23.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	14	2	16
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	14	3	17

Merged error: 0b

Counts

17 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* y y) (* x (+ 2.0 x)))
0.0b	(* x (+ 2.0 x))
0.0b	(* x (+ 2.0 x))
0.1b	(* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-sqr-sqrt`
23×	`pow1`
20×	`*-un-lft-identity`
18×	`sqrt-prod`
16×	`add-cube-cbrt`
14×	`associate-r`
12×	`sqrt-div` `associate-l`
10×	`add-exp-log` `add-cbrt-cube`
9×	`flip3-+` `flip-+`
8×	`sqrt-pow1` `pow1/2` `swap-sqr`
6×	`associate-*r/` `add-log-exp` `unswap-sqr`
5×	`pow-prod-down` `pow-prod-up`
4×	`frac-times`
3×	`distribute-rgt-in` `distribute-lft-in` `prod-exp` `pow-sqr` `*-commutative` `cbrt-unprod`
2×	`associate-+r+` `associate-*l/` `distribute-lft-out`
1×	`+-commutative` `pow2` `pow-plus` `sqrt-unprod` `sum-log` `rem-square-sqrt`

Counts

4 → 116

Calls

4 calls:

5.0ms	(+ (* y y) (* x (+ 2.0 x)))
7.0ms	(* x (+ 2.0 x))
7.0ms	(* x (+ 2.0 x))
12.0ms	(* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))))

series30.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(+ (* y y) (* x (+ 2.0 x)))
5.0ms	(* x (+ 2.0 x))
10.0ms	(* x (+ 2.0 x))
7.0ms	(* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))))

simplify2.1min

Counts

128 → 128

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	3
1	5	1
2	7	1
done	7	1
0	5	5
1	8	1
done	8	1
0	2	3
1	6	1
done	6	1
0	5	5
1	8	3
done	8	1
0	4	7
1	8	3
2	9	1
done	9	1
0	8	19
1	22	19
2	58	19
3	238	19
4	714	19
5	2502	19
done	5000	19
0	9	21
1	17	9
2	23	9
3	27	9
done	27	9
0	8	19
1	22	19
2	58	19
3	238	19
4	714	19
5	2502	19
done	5000	19
0	2	3
1	6	1
done	6	1
0	10	23
1	20	13
2	26	13
3	30	13
done	30	13
0	10	22
1	20	10
2	28	10
3	33	10
done	33	10
0	10	22
1	20	10
2	34	10
3	57	10
4	100	10
5	192	10
6	531	10
7	2014	10
done	5001	10
0	11	65
1	26	29
2	73	25
3	298	11
4	1540	11
done	5000	11
0	11	45
1	19	21
2	25	21
3	29	21
done	29	21
0	10	22
1	18	10
2	24	10
3	28	10
done	28	10
0	11	65
1	27	29
2	66	11
3	276	11
4	1439	11
done	5002	11
0	8	19
1	22	19
2	58	19
3	238	19
4	714	19
5	2502	19
done	5000	19
0	10	22
1	19	10
2	24	10
3	28	10
done	28	10
0	10	22
1	19	10
2	24	10
3	28	10
done	28	10
0	12	29
1	38	13
2	104	11
3	329	11
4	812	11
5	2585	11
done	5000	11
0	13	61
1	42	23
2	147	21
3	449	19
4	1256	19
5	3254	19
done	5000	19
0	16	35
1	56	35
2	169	31
3	552	29
4	1656	29
done	5000	29
0	15	41
1	47	35
2	161	33
3	481	31
4	1270	31
5	3326	31
done	5001	31
0	16	35
1	56	35
2	171	31
3	543	29
4	1663	29
done	5000	29
0	15	41
1	47	35
2	159	33
3	478	31
4	1270	31
5	3344	31
done	5000	31
0	11	41
1	33	19
2	97	17
3	290	15
4	840	15
5	2179	15
done	5001	15
0	9	21
1	18	9
2	32	9
3	53	9
4	68	9
5	87	9
6	141	9
7	270	9
8	530	9
9	1241	9
10	2668	9
done	5001	9
0	11	47
1	23	47
2	30	25
3	43	13
4	58	13
5	84	13
6	157	13
7	373	13
8	1277	13
done	5000	13
0	10	23
1	18	23
2	23	23
3	27	23
done	27	23
0	11	45
1	20	21
2	26	21
3	30	21
done	30	21
0	10	23
1	18	10
2	24	10
3	28	10
done	28	10
0	10	23
1	18	10
2	24	10
3	28	10
done	28	10
0	10	23
1	18	10
2	24	10
3	28	10
done	28	10
0	10	23
1	18	10
2	24	10
3	28	10
done	28	10
0	10	23
1	18	10
2	24	10
3	28	10
done	28	10
0	3	5
1	5	1
done	5	1
0	9	21
1	17	9
2	23	9
3	27	9
done	27	9
0	10	23
1	18	10
2	24	10
3	28	10
done	28	10
0	10	23
1	18	10
2	24	10
3	28	10
done	28	10
0	10	23
1	18	10
2	24	10
3	28	10
done	28	10
0	10	23
1	18	10
2	24	10
3	28	10
done	28	10
0	2	3
1	4	1
done	4	1
0	9	21
1	17	9
2	23	9
3	27	9
done	27	9
0	10	23
1	18	10
2	24	10
3	28	10
done	28	10
0	10	23
1	18	10
2	24	10
3	28	10
done	28	10
0	10	23
1	18	10
2	24	10
3	28	10
done	28	10
0	10	23
1	18	10
2	24	10
3	28	10
done	28	10
0	10	23
1	18	10
2	24	10
3	28	10
done	28	10
0	10	23
1	18	10
2	24	10
3	28	10
done	28	10
0	10	23
1	18	10
2	24	10
3	28	10
done	28	10
0	10	23
1	18	10
2	24	10
3	28	10
done	28	10
0	3	3
1	5	1
2	7	1
done	7	1
0	3	3
1	6	1
done	6	1
0	4	5
1	10	1
done	10	1
0	11	34
1	22	34
2	29	34
3	33	34
done	33	34
0	12	33
1	22	22
2	27	22
3	31	22
done	31	22
0	10	22
1	19	22
2	24	22
3	28	22
done	28	22
0	11	13
1	22	12
2	27	12
3	31	10
4	34	10
done	34	10
0	10	22
1	19	22
2	24	22
3	28	22
done	28	22
0	10	12
1	21	10
2	29	10
3	33	10
done	33	10
0	10	22
1	19	22
2	24	22
3	28	22
done	28	22
0	11	22
1	20	22
2	25	22
3	29	22
done	29	22
0	10	22
1	19	22
2	24	22
3	28	22
done	28	22
0	9	21
1	17	9
2	23	9
3	27	9
done	27	9
0	10	22
1	19	22
2	24	22
3	28	22
done	28	22
0	9	21
1	17	9
2	23	9
3	27	9
done	27	9
0	14	25
1	42	25
2	111	23
3	341	23
4	827	23
5	2609	23
done	5000	23
0	13	31
1	36	31
2	98	29
3	297	27
4	861	27
5	2299	27
done	5000	27
0	14	25
1	42	25
2	111	23
3	348	23
4	857	23
5	2609	23
done	5000	23
0	13	31
1	36	31
2	100	29
3	298	27
4	862	27
5	2294	27
done	5000	27
0	4	5
1	11	5
2	12	5
done	12	5
0	6	7
1	8	7
done	8	7
0	5	6
1	15	6
2	17	6
done	17	6
0	5	6
1	14	6
2	24	6
3	39	6
4	69	6
5	163	6
6	402	6
7	1265	6
done	5000	6
0	8	17
1	28	17
2	106	9
3	315	9
4	1026	7
5	3538	7
done	5000	7
0	6	13
1	13	13
2	14	13
done	14	13
0	5	6
1	12	6
2	13	6
done	13	6
0	6	17
1	22	17
2	89	7
3	285	7
4	753	7
5	2125	7
done	5000	7
0	5	6
1	12	6
2	13	6
done	13	6
0	5	6
1	12	6
2	13	6
done	13	6
0	6	7
1	8	7
done	8	7
0	6	7
1	8	7
done	8	7
0	3	3
1	4	3
done	4	3
0	2	3
done	2	3
0	3	3
1	4	3
done	4	3
0	2	3
done	2	3
0	6	11
1	10	11
2	12	11
done	12	11
0	5	6
1	7	6
done	7	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	5	6
1	13	6
2	14	6
done	14	6
0	5	6
1	13	6
2	14	6
done	14	6
0	4	5
1	11	5
2	12	5
done	12	5
0	7	9
1	28	9
2	59	9
3	110	9
4	210	9
5	542	9
6	1817	9
done	5000	9
0	6	9
1	12	9
2	29	9
3	67	9
4	135	9
5	214	9
6	358	9
7	702	9
8	3252	9
done	5000	9
0	4	5
1	11	5
2	12	5
done	12	5
0	6	7
1	8	7
done	8	7
0	5	6
1	15	6
2	17	6
done	17	6
0	5	6
1	14	6
2	24	6
3	39	6
4	69	6
5	163	6
6	402	6
7	1265	6
done	5000	6
0	8	17
1	28	17
2	106	9
3	315	9
4	1026	7
5	3538	7
done	5000	7
0	6	13
1	13	13
2	14	13
done	14	13
0	5	6
1	12	6
2	13	6
done	13	6
0	6	17
1	22	17
2	89	7
3	285	7
4	753	7
5	2125	7
done	5000	7
0	5	6
1	12	6
2	13	6
done	13	6
0	5	6
1	12	6
2	13	6
done	13	6
0	6	7
1	8	7
done	8	7
0	6	7
1	8	7
done	8	7
0	3	3
1	4	3
done	4	3
0	2	3
done	2	3
0	3	3
1	4	3
done	4	3
0	2	3
done	2	3
0	6	11
1	10	11
2	12	11
done	12	11
0	5	6
1	7	6
done	7	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	5	6
1	13	6
2	14	6
done	14	6
0	5	6
1	13	6
2	14	6
done	14	6
0	4	5
1	11	5
2	12	5
done	12	5
0	7	9
1	28	9
2	59	9
3	110	9
4	210	9
5	542	9
6	1817	9
done	5000	9
0	6	9
1	12	9
2	29	9
3	67	9
4	135	9
5	214	9
6	358	9
7	702	9
8	3252	9
done	5000	9
0	9	11
1	23	10
2	39	10
3	83	10
4	202	10
5	686	10
6	3412	10
done	5001	10
0	8	10
1	16	10
2	21	10
3	25	10
done	25	10
0	8	10
1	19	10
2	34	10
3	63	10
4	115	10
5	330	10
6	1357	10
done	5000	10
0	9	21
1	17	21
2	22	21
3	26	21
done	26	21
0	8	10
1	16	10
2	21	10
3	25	10
done	25	10
0	9	29
1	30	29
2	105	11
3	507	11
4	2606	11
done	5001	11
0	8	10
1	16	10
2	21	10
3	25	10
done	25	10
0	8	10
1	16	10
2	21	10
3	25	10
done	25	10
0	10	13
1	36	13
2	101	11
3	333	11
4	813	11
5	2564	11
done	5001	11
0	11	29
1	40	23
2	144	21
3	446	19
4	1242	19
5	3248	19
done	5000	19
0	9	19
1	31	19
2	94	17
3	289	15
4	839	15
5	2178	15
done	5000	15
0	7	9
1	16	9
2	29	9
3	50	9
4	64	9
5	83	9
6	137	9
7	266	9
8	524	9
9	1229	9
10	2677	9
done	5000	9
0	6	7
1	8	7
done	8	7
0	6	7
1	8	7
done	8	7
0	9	11
1	22	11
2	41	9
3	51	9
4	60	9
5	77	9
6	121	9
7	233	9
8	647	9
9	2496	9
done	5001	9
0	9	11
1	22	11
2	41	9
3	51	9
4	60	9
5	77	9
6	121	9
7	233	9
8	647	9
9	2496	9
done	5001	9
0	9	11
1	22	11
2	41	9
3	51	9
4	60	9
5	77	9
6	121	9
7	233	9
8	647	9
9	2496	9
done	5001	9
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	9	11
1	22	11
2	41	9
3	51	9
4	60	9
5	77	9
6	121	9
7	233	9
8	647	9
9	2496	9
done	5001	9
0	9	11
1	22	11
2	41	9
3	51	9
4	60	9
5	77	9
6	121	9
7	233	9
8	647	9
9	2496	9
done	5001	9
0	9	11
1	22	11
2	41	9
3	51	9
4	60	9
5	77	9
6	121	9
7	233	9
8	647	9
9	2496	9
done	5001	9

prune184.0ms

Filtered

85 candidates to 128 candidates (-50.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	128	3	131

Merged error: 0b

Counts

131 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* y y) (* x (+ 2.0 x)))
0.0b	(* x (+ 2.0 x))
0.2b	(pow (+ (* y y) (* x (+ 2.0 x))) 3)
37.7b	(cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt` `*-un-lft-identity`
12×	`cbrt-prod` `add-cube-cbrt`
7×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`unpow-prod-down` `cube-prod` `add-log-exp`
4×	`cube-div` `flip3-+` `associate-r` `flip-+`
3×	`pow-unpow` `associate-l`
2×	`distribute-rgt-in` `cube-mult` `cbrt-div` `associate-+r+` `distribute-lft-in` `unpow3` `associate-*r/` `sqr-pow`
1×	`+-commutative` `pow-to-exp` `pow-pow` `pow1/3` `pow-prod-down` `pow-exp` `prod-exp` `sum-log` `*-commutative` `rem-cbrt-cube` `cbrt-unprod` `distribute-lft-out` `rem-cube-cbrt` `unswap-sqr`

Counts

4 → 84

Calls

4 calls:

5.0ms	(+ (* y y) (* x (+ 2.0 x)))
11.0ms	(* x (+ 2.0 x))
5.0ms	(pow (+ (* y y) (* x (+ 2.0 x))) 3)
5.0ms	(cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3))

series45.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(+ (* y y) (* x (+ 2.0 x)))
5.0ms	(* x (+ 2.0 x))
26.0ms	(pow (+ (* y y) (* x (+ 2.0 x))) 3)
7.0ms	(cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3))

simplify3.8min

Counts

96 → 96

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	13
1	27	10
2	54	10
3	182	10
4	886	10
5	4675	10
done	5000	10
0	11	13
1	27	10
2	58	10
3	200	10
4	929	10
5	4784	10
done	5000	10
0	12	24
1	30	21
2	56	13
3	129	13
4	480	13
5	1480	12
done	5001	12
0	11	13
1	27	10
2	38	10
3	52	10
4	75	10
5	140	10
6	353	10
7	1282	10
done	5000	10
0	11	13
1	27	10
2	38	10
3	73	10
4	124	10
5	201	10
6	414	10
7	1368	10
done	5000	10
0	11	13
1	27	10
2	38	10
3	73	10
4	124	10
5	201	10
6	414	10
7	1368	10
done	5000	10
0	4	4
1	14	1
2	18	1
done	18	1
0	10	12
1	26	9
2	53	9
3	181	9
4	892	9
5	4706	9
done	5000	9
0	9	20
1	23	20
2	59	20
3	241	20
4	712	20
5	2532	20
done	5000	20
0	8	10
1	16	10
2	21	10
3	25	10
done	25	10
0	12	26
1	27	20
2	54	20
3	182	20
4	886	20
5	4661	20
done	5000	20
0	11	13
1	27	10
2	54	10
3	182	10
4	886	10
5	4675	10
done	5000	10
0	12	24
1	30	21
2	56	13
3	129	13
4	480	13
5	1480	12
done	5001	12
0	11	13
1	27	10
2	38	10
3	52	10
4	75	10
5	140	10
6	353	10
7	1282	10
done	5000	10
0	11	13
1	27	10
2	38	10
3	73	10
4	124	10
5	201	10
6	414	10
7	1368	10
done	5000	10
0	11	13
1	27	10
2	38	10
3	73	10
4	124	10
5	201	10
6	414	10
7	1368	10
done	5000	10
0	4	4
1	14	1
2	18	1
done	18	1
0	10	12
1	26	9
2	53	9
3	181	9
4	892	9
5	4706	9
done	5000	9
0	8	10
1	16	10
2	21	10
3	25	10
done	25	10
0	9	20
1	23	20
2	59	20
3	241	20
4	712	20
5	2532	20
done	5000	20
0	11	13
1	27	13
2	55	13
3	183	13
4	885	13
5	4681	13
done	5000	13
0	11	13
1	27	13
2	55	13
3	183	13
4	885	13
5	4681	13
done	5000	13
0	2	2
1	4	1
done	4	1
0	10	12
1	26	9
2	53	9
3	181	9
4	892	9
5	4706	9
done	5000	9
0	12	14
1	24	12
2	35	12
3	54	12
4	81	12
5	139	12
6	352	12
7	1267	12
done	5000	12
0	12	14
1	24	12
2	35	12
3	54	12
4	81	12
5	139	12
6	352	12
7	1267	12
done	5000	12
0	12	16
1	43	13
2	127	11
3	525	11
4	3321	11
done	5001	11
0	14	32
1	51	23
2	176	21
3	637	19
4	3705	19
done	5000	19
0	12	22
1	42	19
2	136	17
3	594	15
4	4515	15
done	5000	15
0	10	12
1	27	9
2	58	9
3	181	9
4	835	9
5	4753	9
done	5000	9
0	12	27
1	28	21
2	55	21
3	183	21
4	887	21
5	4679	21
done	5000	21
0	11	13
1	27	10
2	54	10
3	182	10
4	886	10
5	4675	10
done	5000	10
0	12	38
1	26	11
2	53	11
3	181	11
4	890	11
5	4676	11
done	5000	11
0	11	13
1	27	10
2	54	10
3	182	10
4	886	10
5	4675	10
done	5000	10
0	11	13
1	27	10
2	54	10
3	182	10
4	886	10
5	4675	10
done	5000	10
0	10	12
1	19	12
2	24	12
3	28	12
done	28	12
0	10	12
1	19	12
2	24	12
3	28	12
done	28	12
0	3	3
1	6	1
done	6	1
0	11	15
1	23	15
2	35	15
3	63	15
4	119	15
5	274	15
6	894	15
7	3326	15
done	5000	15
0	10	12
1	22	12
2	32	12
3	54	12
4	93	12
5	204	12
6	584	12
7	2208	12
done	5000	12
0	9	11
1	24	9
2	36	9
3	51	9
4	73	9
5	135	9
6	347	9
7	1297	9
done	5000	9
0	11	23
1	29	23
2	55	12
3	128	12
4	477	12
5	1501	12
done	5000	12
0	10	12
1	26	9
2	37	9
3	51	9
4	72	9
5	137	9
6	351	9
7	1278	9
done	5001	9
0	10	12
1	26	12
2	37	12
3	72	12
4	121	12
5	200	12
6	415	12
7	1361	12
done	5000	12
0	10	12
1	26	12
2	37	12
3	72	12
4	121	12
5	200	12
6	415	12
7	1361	12
done	5000	12
0	3	3
1	13	1
done	13	1
0	9	11
1	25	11
2	52	11
3	180	11
4	890	11
5	4666	11
done	5000	11
0	8	19
1	22	19
2	58	19
3	238	19
4	714	19
5	2502	19
done	5000	19
0	10	12
1	28	12
2	61	12
3	194	12
4	925	12
5	4790	12
done	5000	12
0	10	12
1	26	12
2	59	12
3	217	12
4	1048	12
done	5000	12
0	11	25
1	26	19
2	53	19
3	181	19
4	892	19
5	4698	19
done	5000	19
0	10	12
1	26	9
2	53	9
3	181	9
4	892	9
5	4706	9
done	5000	9
0	11	35
1	31	23
2	91	13
3	476	13
4	3820	13
done	5000	13
0	11	23
1	29	23
2	55	12
3	128	12
4	477	12
5	1501	12
done	5000	12
0	10	12
1	26	9
2	37	9
3	51	9
4	72	9
5	137	9
6	351	9
7	1278	9
done	5001	9
0	10	12
1	26	12
2	37	12
3	72	12
4	121	12
5	200	12
6	415	12
7	1361	12
done	5000	12
0	10	12
1	26	12
2	37	12
3	72	12
4	121	12
5	200	12
6	415	12
7	1361	12
done	5000	12
0	3	3
1	13	1
done	13	1
0	9	11
1	25	11
2	52	11
3	180	11
4	890	11
5	4666	11
done	5000	11
0	11	15
1	42	15
2	126	13
3	530	13
4	3281	13
done	5000	13
0	13	31
1	50	25
2	175	23
3	635	21
4	3701	21
done	5000	21
0	11	21
1	41	21
2	135	19
3	593	17
4	4504	17
done	5000	17
0	9	11
1	26	11
2	57	11
3	180	11
4	833	11
5	4800	11
done	5000	11
0	8	19
1	22	19
2	58	19
3	238	19
4	714	19
5	2502	19
done	5000	19
0	10	12
1	26	12
2	54	12
3	182	12
4	891	12
5	4711	12
done	5000	12
0	10	12
1	26	12
2	54	12
3	182	12
4	891	12
5	4711	12
done	5000	12
0	11	13
1	23	11
2	35	11
3	49	11
4	70	11
5	129	11
6	343	11
7	1265	11
done	5000	11
0	11	13
1	23	11
2	35	11
3	49	11
4	70	11
5	129	11
6	343	11
7	1265	11
done	5000	11
0	4	5
1	11	5
2	12	5
done	12	5
0	6	7
1	8	7
done	8	7
0	5	6
1	15	6
2	17	6
done	17	6
0	5	6
1	14	6
2	24	6
3	39	6
4	69	6
5	163	6
6	402	6
7	1265	6
done	5000	6
0	8	17
1	28	17
2	106	9
3	315	9
4	1026	7
5	3538	7
done	5000	7
0	6	13
1	13	13
2	14	13
done	14	13
0	5	6
1	12	6
2	13	6
done	13	6
0	6	17
1	22	17
2	89	7
3	285	7
4	753	7
5	2125	7
done	5000	7
0	5	6
1	12	6
2	13	6
done	13	6
0	5	6
1	12	6
2	13	6
done	13	6
0	6	7
1	8	7
done	8	7
0	6	7
1	8	7
done	8	7
0	3	3
1	4	3
done	4	3
0	2	3
done	2	3
0	3	3
1	4	3
done	4	3
0	2	3
done	2	3
0	6	11
1	10	11
2	12	11
done	12	11
0	5	6
1	7	6
done	7	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	5	6
1	13	6
2	14	6
done	14	6
0	5	6
1	13	6
2	14	6
done	14	6
0	4	5
1	11	5
2	12	5
done	12	5
0	7	9
1	28	9
2	59	9
3	110	9
4	210	9
5	542	9
6	1817	9
done	5000	9
0	6	9
1	12	9
2	29	9
3	67	9
4	135	9
5	214	9
6	358	9
7	702	9
8	3252	9
done	5000	9
0	9	11
1	23	10
2	39	10
3	83	10
4	202	10
5	686	10
6	3412	10
done	5001	10
0	8	10
1	16	10
2	21	10
3	25	10
done	25	10
0	8	10
1	19	10
2	34	10
3	63	10
4	115	10
5	330	10
6	1357	10
done	5000	10
0	9	21
1	17	21
2	22	21
3	26	21
done	26	21
0	8	10
1	16	10
2	21	10
3	25	10
done	25	10
0	9	29
1	30	29
2	105	11
3	507	11
4	2606	11
done	5001	11
0	8	10
1	16	10
2	21	10
3	25	10
done	25	10
0	8	10
1	16	10
2	21	10
3	25	10
done	25	10
0	10	13
1	36	13
2	101	11
3	333	11
4	813	11
5	2564	11
done	5001	11
0	11	29
1	40	23
2	144	21
3	446	19
4	1242	19
5	3248	19
done	5000	19
0	9	19
1	31	19
2	94	17
3	289	15
4	839	15
5	2178	15
done	5000	15
0	7	9
1	16	9
2	29	9
3	50	9
4	64	9
5	83	9
6	137	9
7	266	9
8	524	9
9	1229	9
10	2677	9
done	5000	9
0	6	7
1	8	7
done	8	7
0	6	7
1	8	7
done	8	7
0	9	11
1	22	11
2	41	9
3	51	9
4	60	9
5	77	9
6	121	9
7	233	9
8	647	9
9	2496	9
done	5001	9
0	9	11
1	22	11
2	41	9
3	51	9
4	60	9
5	77	9
6	121	9
7	233	9
8	647	9
9	2496	9
done	5001	9
0	9	11
1	22	11
2	41	9
3	51	9
4	60	9
5	77	9
6	121	9
7	233	9
8	647	9
9	2496	9
done	5001	9
0	17	21
1	44	21
2	143	21
3	251	19
4	450	17
5	896	17
6	2564	17
done	5000	17
0	17	23
1	45	23
2	156	23
3	339	21
4	839	21
5	1766	21
6	4326	21
done	5000	21
0	17	23
1	45	23
2	156	23
3	339	21
4	839	21
5	1766	21
6	4326	21
done	5000	21
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	9	11
1	22	11
2	41	9
3	51	9
4	60	9
5	77	9
6	121	9
7	233	9
8	647	9
9	2496	9
done	5001	9
0	9	11
1	22	11
2	41	9
3	51	9
4	60	9
5	77	9
6	121	9
7	233	9
8	647	9
9	2496	9
done	5001	9
0	9	11
1	22	11
2	41	9
3	51	9
4	60	9
5	77	9
6	121	9
7	233	9
8	647	9
9	2496	9
done	5001	9

prune140.0ms

Filtered

70 candidates to 96 candidates (-37.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	96	3	99

Merged error: 0b

Counts

99 → 3

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

end0.0ms

sample1.1s

Algorithm

intervals

Results

467.0ms

14170×

body

valid

Details

sample31.0ms

simplify16.0ms

prune6.0ms

localize7.0ms

rewrite8.0ms

series7.0ms

simplify27.6s

prune28.0ms

localize9.0ms

rewrite35.0ms

series30.0ms

simplify2.1min

prune184.0ms

localize9.0ms

rewrite29.0ms

series45.0ms

simplify3.8min

prune140.0ms

regimes188.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling