Details

sample22.0ms

Algorithm

intervals

Results

11.0ms

256×

body

valid

simplify3.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	7	5
2	8	5
done	8	5

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

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(sqrt (fabs (- x y)))

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-sqr-sqrt` `sqrt-prod`
2×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
1×	`add-exp-log` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `add-cbrt-cube` `add-log-exp`

Counts

1 → 13

Calls

1 calls:

2.0ms

(sqrt (fabs (- x y)))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(sqrt (fabs (- x y)))

simplify2.9s

Counts

16 → 16

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	10	10
2	14	7
3	19	7
4	25	7
5	35	7
6	56	7
7	112	7
8	329	7
9	1254	7
done	5000	7
0	7	12
1	10	6
2	11	6
done	11	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	3	3
1	6	1
done	6	1
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5

prune25.0ms

Filtered

10 candidates to 16 candidates (-60.0%)

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

Counts

17 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (cbrt (fabs (- x y))))
0.4b	(* (fabs (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs (- x y)))))
0.5b	(cbrt (fabs (- x y)))
0.5b	(cbrt (fabs (- x y)))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
14×	`cbrt-prod` `sqrt-prod`
12×	`add-cube-cbrt` `*-un-lft-identity`
9×	`associate-r`
7×	`pow1`
6×	`add-exp-log` `add-cbrt-cube`
4×	`add-log-exp`
3×	`pow1/3` `associate-l` `unswap-sqr`
2×	`rem-sqrt-square` `sqrt-pow1`
1×	`pow1/2` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 66

Calls

4 calls:

2.0ms	(sqrt (cbrt (fabs (- x y))))
7.0ms	(* (fabs (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs (- x y)))))
1.0ms	(cbrt (fabs (- x y)))
1.0ms	(cbrt (fabs (- x y)))

series64.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(sqrt (cbrt (fabs (- x y))))
20.0ms	(* (fabs (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs (- x y)))))
14.0ms	(cbrt (fabs (- x y)))
14.0ms	(cbrt (fabs (- x y)))

simplify53.3s

Counts

78 → 78

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	7	12
1	9	12
2	10	12
done	10	12
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	10	17
2	13	7
3	18	4
4	24	4
5	34	4
6	55	4
7	117	4
8	328	4
9	1251	4
done	5000	4
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	7	12
1	9	12
2	10	12
done	10	12
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	10	17
2	13	7
3	18	4
4	24	4
5	34	4
6	55	4
7	117	4
8	328	4
9	1251	4
done	5000	4
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	8	13
1	11	13
2	12	13
done	12	13
0	10	15
1	13	15
2	14	15
done	14	15
0	9	14
1	15	14
2	17	14
done	17	14
0	9	14
1	14	14
2	21	14
3	29	14
4	52	14
5	110	14
6	253	14
7	718	14
8	2724	14
done	5000	14
0	12	41
1	21	33
2	48	17
3	85	17
4	139	15
5	261	15
6	654	15
7	2468	15
done	5000	15
0	10	29
1	13	29
2	14	29
done	14	29
0	9	14
1	12	14
2	13	14
done	13	14
0	10	41
1	23	41
2	53	15
3	98	15
4	112	15
5	158	15
6	306	15
7	757	15
8	2720	15
done	5001	15
0	9	14
1	12	14
2	13	14
done	13	14
0	9	14
1	12	14
2	13	14
done	13	14
0	11	15
1	14	15
2	15	15
done	15	15
0	11	15
1	14	15
2	15	15
done	15	15
0	10	15
1	13	15
2	14	15
done	14	15
0	10	15
1	13	15
2	14	15
done	14	15
0	10	15
1	13	15
2	14	15
done	14	15
0	10	15
1	13	15
2	14	15
done	14	15
0	10	22
1	15	22
2	18	22
done	18	22
0	10	20
1	13	20
2	14	20
done	14	20
0	10	14
1	13	14
2	14	14
done	14	14
0	10	10
1	15	9
2	16	9
done	16	9
0	10	21
1	14	14
2	15	14
done	15	14
0	9	14
1	12	14
2	13	14
done	13	14
0	9	9
1	14	8
2	15	8
done	15	6
0	9	14
1	12	14
2	13	14
done	13	14
0	8	8
1	13	6
2	17	6
done	17	6
0	9	14
1	12	14
2	13	14
done	13	14
0	9	14
1	12	14
2	13	14
done	13	14
0	8	13
1	11	13
2	12	13
done	12	13
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	8	15
1	10	15
2	11	15
done	11	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	20
1	11	12
2	15	8
3	20	8
4	26	8
5	36	8
6	57	8
7	119	8
8	334	8
9	1250	8
done	5000	8
0	8	13
1	10	13
2	11	13
done	11	13
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	3	3
1	5	2
done	5	2
0	6	6
1	8	6
2	9	6
done	9	6
0	8	14
1	11	7
2	12	7
done	12	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	2
1	4	1
done	4	1
0	6	6
1	8	6
2	9	6
done	9	6
0	3	3
1	4	1
done	4	1
0	3	3
1	6	1
done	6	1
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	6	6
1	14	5
2	21	5
3	31	5
4	55	5
5	113	5
6	317	5
7	1230	5
done	5000	5
0	6	6
1	14	5
2	21	5
3	31	5
4	55	5
5	113	5
6	317	5
7	1230	5
done	5000	5
0	6	6
1	14	5
2	21	5
3	31	5
4	55	5
5	113	5
6	317	5
7	1230	5
done	5000	5
0	6	6
1	14	5
2	21	5
3	31	5
4	55	5
5	113	5
6	317	5
7	1230	5
done	5000	5
0	6	6
1	14	5
2	21	5
3	31	5
4	55	5
5	113	5
6	317	5
7	1230	5
done	5000	5
0	6	6
1	14	5
2	21	5
3	31	5
4	55	5
5	113	5
6	317	5
7	1230	5
done	5000	5
0	10	14
1	22	13
2	39	13
3	71	13
4	162	13
5	460	13
6	1703	13
done	5000	13
0	10	14
1	22	13
2	39	13
3	71	13
4	162	13
5	460	13
6	1703	13
done	5000	13
0	10	14
1	22	13
2	39	13
3	71	13
4	162	13
5	460	13
6	1703	13
done	5000	13
0	6	6
1	13	6
2	20	6
3	30	6
4	54	6
5	119	6
6	333	6
7	1252	6
done	5000	6
0	6	6
1	13	6
2	20	6
3	30	6
4	54	6
5	119	6
6	333	6
7	1252	6
done	5000	6
0	6	6
1	13	6
2	20	6
3	30	6
4	54	6
5	119	6
6	333	6
7	1252	6
done	5000	6

prune76.0ms

Filtered

53 candidates to 78 candidates (-47.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	77	1	78
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	77	4	81

Merged error: 0b

Counts

81 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (fabs (- x y)))
0.4b	(* (fabs (cbrt (fabs (- x y)))) (fabs (cbrt (sqrt (fabs (- x y))))))
0.5b	(cbrt (sqrt (fabs (- x y))))
0.5b	(cbrt (fabs (- x y)))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt`
10×	`add-cube-cbrt` `*-un-lft-identity`
9×	`cbrt-prod`
7×	`pow1`
6×	`add-exp-log` `sqrt-prod` `add-cbrt-cube`
4×	`add-log-exp`
3×	`associate-r` `associate-l`
2×	`pow1/3`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 56

Calls

4 calls:

2.0ms	(sqrt (fabs (- x y)))
4.0ms	(* (fabs (cbrt (fabs (- x y)))) (fabs (cbrt (sqrt (fabs (- x y))))))
2.0ms	(cbrt (sqrt (fabs (- x y))))
2.0ms	(cbrt (fabs (- x y)))

series43.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(sqrt (fabs (- x y)))
11.0ms	(* (fabs (cbrt (fabs (- x y)))) (fabs (cbrt (sqrt (fabs (- x y))))))
13.0ms	(cbrt (sqrt (fabs (- x y))))
14.0ms	(cbrt (fabs (- x y)))

simplify45.2s

Counts

68 → 68

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	7	12
1	9	12
2	10	12
done	10	12
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	10	17
2	13	7
3	18	4
4	24	4
5	34	4
6	55	4
7	117	4
8	328	4
9	1251	4
done	5000	4
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	8	14
1	10	14
2	11	14
done	11	14
0	7	7
1	9	7
2	10	7
done	10	7
0	8	13
1	11	7
2	12	7
done	12	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	3	3
1	5	2
done	5	2
0	6	6
1	8	6
2	9	6
done	9	6
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	2
1	4	1
done	4	1
0	6	6
1	8	6
2	9	6
done	9	6
0	8	15
1	10	15
2	11	15
done	11	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	20
1	11	20
2	14	8
3	19	5
4	25	5
5	35	5
6	56	5
7	116	5
8	333	5
9	1264	5
done	5000	5
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	10	14
1	13	14
2	14	14
done	14	14
0	12	16
1	15	16
2	16	16
done	16	16
0	11	15
1	17	15
2	19	15
done	19	15
0	11	15
1	16	15
2	23	15
3	31	15
4	54	15
5	110	15
6	251	15
7	721	15
8	2737	15
done	5001	15
0	14	44
1	23	44
2	49	18
3	89	18
4	149	16
5	278	16
6	673	16
7	2458	16
done	5000	16
0	12	31
1	15	31
2	16	31
done	16	31
0	11	15
1	14	15
2	15	15
done	15	15
0	12	44
1	25	44
2	55	16
3	97	16
4	113	16
5	159	16
6	295	16
7	746	16
8	2764	16
done	5000	16
0	11	15
1	14	15
2	15	15
done	15	15
0	11	15
1	14	15
2	15	15
done	15	15
0	12	16
1	15	16
2	16	16
done	16	16
0	12	16
1	15	16
2	16	16
done	16	16
0	12	24
1	17	24
2	20	24
done	20	24
0	11	15
1	14	15
2	15	15
done	15	15
0	8	8
1	13	6
2	17	6
done	17	6
0	11	15
1	14	15
2	15	15
done	15	15
0	11	15
1	14	15
2	15	15
done	15	15
0	10	14
1	13	14
2	14	14
done	14	14
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	10	10
2	14	7
3	19	7
4	25	7
5	35	7
6	56	7
7	112	7
8	329	7
9	1254	7
done	5000	7
0	7	12
1	10	6
2	11	6
done	11	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	3	3
1	6	1
done	6	1
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	14	5
2	21	5
3	31	5
4	55	5
5	113	5
6	317	5
7	1230	5
done	5000	5
0	6	6
1	14	5
2	21	5
3	31	5
4	55	5
5	113	5
6	317	5
7	1230	5
done	5000	5
0	6	6
1	14	5
2	21	5
3	31	5
4	55	5
5	113	5
6	317	5
7	1230	5
done	5000	5
0	6	6
1	13	6
2	20	6
3	30	6
4	54	6
5	119	6
6	333	6
7	1252	6
done	5000	6
0	6	6
1	13	6
2	20	6
3	30	6
4	54	6
5	119	6
6	333	6
7	1252	6
done	5000	6
0	6	6
1	13	6
2	20	6
3	30	6
4	54	6
5	119	6
6	333	6
7	1252	6
done	5000	6
0	11	15
1	23	14
2	36	14
3	58	14
4	125	14
5	341	14
6	1279	14
done	5000	14
0	11	15
1	23	14
2	36	14
3	58	14
4	125	14
5	341	14
6	1279	14
done	5000	14
0	11	15
1	23	14
2	36	14
3	58	14
4	125	14
5	341	14
6	1279	14
done	5000	14
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5

prune73.0ms

Filtered

45 candidates to 68 candidates (-51.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	68	4	72

Merged error: 0b

Counts

72 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (sqrt (fabs (- x y))))
0.5b	(cbrt (sqrt (fabs (- x y))))
0.5b	(cbrt (sqrt (fabs (- x y))))
0.5b	(* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

58×	`cbrt-prod`
44×	`add-sqr-sqrt`
29×	`sqrt-prod`
22×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1` `swap-sqr`
9×	`pow1/3` `associate-r` `associate-l` `unswap-sqr`
6×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 98

Calls

4 calls:

2.0ms	(cbrt (sqrt (fabs (- x y))))
2.0ms	(cbrt (sqrt (fabs (- x y))))
2.0ms	(cbrt (sqrt (fabs (- x y))))
13.0ms	(* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))))

series55.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(cbrt (sqrt (fabs (- x y))))
15.0ms	(cbrt (sqrt (fabs (- x y))))
13.0ms	(cbrt (sqrt (fabs (- x y))))
14.0ms	(* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))))

simplify52.6s

Counts

110 → 110

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	6	11
1	8	4
2	10	4
done	10	4
0	7	13
1	9	13
2	10	13
done	10	13
0	2	3
1	6	1
done	6	1
0	8	15
1	12	9
2	14	9
done	14	9
0	8	14
1	12	14
2	15	9
3	16	9
done	16	9
0	8	14
1	12	14
2	17	14
3	22	14
4	40	14
5	80	14
6	188	14
7	564	14
8	2253	14
done	5000	14
0	6	11
1	8	4
2	10	4
done	10	4
0	9	29
1	11	29
2	12	29
done	12	29
0	8	14
1	10	14
2	11	14
done	11	14
0	9	41
1	19	41
2	29	15
3	43	8
4	77	4
5	164	4
6	398	4
7	1406	4
done	5001	4
0	8	14
1	11	7
2	12	7
done	12	7
0	8	14
1	11	7
2	12	7
done	12	7
0	9	29
1	11	29
2	12	29
done	12	29
0	8	15
1	10	15
2	11	15
done	11	15
0	9	27
1	12	15
2	13	15
done	13	15
0	8	15
1	10	15
2	11	15
done	11	15
0	8	15
1	10	15
2	11	15
done	11	15
0	8	15
1	10	15
2	11	15
done	11	15
0	8	15
1	10	15
2	11	15
done	11	15
0	8	15
1	10	15
2	11	15
done	11	15
0	4	7
1	6	5
done	6	5
0	7	13
1	9	13
2	10	13
done	10	13
0	8	15
1	10	15
2	11	15
done	11	15
0	8	15
1	10	15
2	11	15
done	11	15
0	8	15
1	10	15
2	11	15
done	11	15
0	8	15
1	10	15
2	11	15
done	11	15
0	3	5
1	5	3
done	5	1
0	7	13
1	9	13
2	10	13
done	10	13
0	9	31
1	15	31
2	18	17
3	27	9
4	42	9
5	68	9
6	140	9
7	360	9
8	1273	9
done	5000	9
0	8	15
1	10	15
2	11	15
done	11	15
0	8	15
1	10	6
2	12	6
done	12	6
0	8	15
1	10	6
2	12	6
done	12	6
0	2	3
1	4	1
done	4	1
0	7	13
1	9	13
2	10	13
done	10	13
0	8	15
1	10	15
2	11	15
done	11	15
0	8	15
1	10	15
2	11	15
done	11	15
0	8	15
1	10	15
2	11	15
done	11	15
0	8	15
1	10	15
2	11	15
done	11	15
0	10	15
1	13	15
2	14	15
done	14	15
0	10	15
1	13	15
2	14	15
done	14	15
0	8	15
1	10	15
2	11	15
done	11	15
0	8	15
1	10	15
2	11	15
done	11	15
0	8	15
1	10	15
2	11	15
done	11	15
0	8	15
1	10	15
2	11	15
done	11	15
0	10	15
1	13	15
2	14	15
done	14	15
0	10	15
1	13	15
2	14	15
done	14	15
0	10	15
1	13	15
2	14	15
done	14	15
0	10	15
1	13	15
2	14	15
done	14	15
0	10	15
1	13	15
2	14	15
done	14	15
0	10	15
1	13	15
2	14	15
done	14	15
0	8	15
1	10	6
2	12	6
done	12	6
0	8	15
1	10	6
2	12	6
done	12	6
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	9	21
1	12	21
2	13	21
done	13	21
0	11	20
1	15	14
2	16	14
done	16	14
0	9	14
1	12	14
2	13	14
done	13	14
0	10	10
1	15	9
2	16	9
done	16	9
0	9	14
1	12	14
2	13	14
done	13	14
0	9	9
1	14	8
2	15	8
done	15	6
0	9	22
1	14	22
2	17	22
done	17	22
0	8	14
1	11	14
2	12	14
done	12	14
0	8	8
1	13	6
2	17	6
done	17	6
0	8	14
1	11	14
2	12	14
done	12	14
0	10	14
1	13	14
2	14	14
done	14	14
0	9	14
1	12	14
2	13	14
done	13	14
0	7	13
1	9	13
2	10	13
done	10	13
0	9	14
1	12	14
2	13	14
done	13	14
0	7	13
1	9	13
2	10	13
done	10	13
0	8	14
1	11	14
2	12	14
done	12	14
0	8	14
1	11	14
2	12	14
done	12	14
0	7	13
1	9	13
2	10	13
done	10	13
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	8	14
1	10	14
2	11	14
done	11	14
0	7	7
1	9	7
2	10	7
done	10	7
0	8	13
1	11	7
2	12	7
done	12	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	3	3
1	5	2
done	5	2
0	6	6
1	8	6
2	9	6
done	9	6
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	2
1	4	1
done	4	1
0	6	6
1	8	6
2	9	6
done	9	6
0	8	15
1	10	15
2	11	15
done	11	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	20
1	11	20
2	14	8
3	19	5
4	25	5
5	35	5
6	56	5
7	116	5
8	333	5
9	1264	5
done	5000	5
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	8	14
1	10	14
2	11	14
done	11	14
0	7	7
1	9	7
2	10	7
done	10	7
0	8	13
1	11	7
2	12	7
done	12	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	3	3
1	5	2
done	5	2
0	6	6
1	8	6
2	9	6
done	9	6
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	2
1	4	1
done	4	1
0	6	6
1	8	6
2	9	6
done	9	6
0	8	15
1	10	15
2	11	15
done	11	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	20
1	11	20
2	14	8
3	19	5
4	25	5
5	35	5
6	56	5
7	116	5
8	333	5
9	1264	5
done	5000	5
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	8	14
1	10	14
2	11	14
done	11	14
0	7	7
1	9	7
2	10	7
done	10	7
0	8	13
1	11	7
2	12	7
done	12	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	3	3
1	5	2
done	5	2
0	6	6
1	8	6
2	9	6
done	9	6
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	2
1	4	1
done	4	1
0	6	6
1	8	6
2	9	6
done	9	6
0	8	15
1	10	15
2	11	15
done	11	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	20
1	11	20
2	14	8
3	19	5
4	25	5
5	35	5
6	56	5
7	116	5
8	333	5
9	1264	5
done	5000	5
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	6	6
1	14	5
2	21	5
3	31	5
4	55	5
5	113	5
6	317	5
7	1230	5
done	5000	5
0	6	6
1	14	5
2	21	5
3	31	5
4	55	5
5	113	5
6	317	5
7	1230	5
done	5000	5
0	6	6
1	14	5
2	21	5
3	31	5
4	55	5
5	113	5
6	317	5
7	1230	5
done	5000	5
0	6	6
1	13	6
2	20	6
3	30	6
4	54	6
5	119	6
6	333	6
7	1252	6
done	5000	6
0	6	6
1	13	6
2	20	6
3	30	6
4	54	6
5	119	6
6	333	6
7	1252	6
done	5000	6
0	6	6
1	13	6
2	20	6
3	30	6
4	54	6
5	119	6
6	333	6
7	1252	6
done	5000	6
0	6	6
1	13	6
2	20	6
3	30	6
4	54	6
5	119	6
6	333	6
7	1252	6
done	5000	6
0	6	6
1	13	6
2	20	6
3	30	6
4	54	6
5	119	6
6	333	6
7	1252	6
done	5000	6
0	6	6
1	13	6
2	20	6
3	30	6
4	54	6
5	119	6
6	333	6
7	1252	6
done	5000	6
0	6	6
1	13	6
2	20	6
3	30	6
4	54	6
5	119	6
6	333	6
7	1252	6
done	5000	6
0	6	6
1	13	6
2	20	6
3	30	6
4	54	6
5	119	6
6	333	6
7	1252	6
done	5000	6
0	6	6
1	13	6
2	20	6
3	30	6
4	54	6
5	119	6
6	333	6
7	1252	6
done	5000	6

prune80.0ms

Filtered

66 candidates to 110 candidates (-66.7%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	110	4	114

Merged error: 0b

Counts

114 → 4

regimes234.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	5	5
done	5	5

end0.0ms

sample443.0ms

Algorithm

intervals

Results

196.0ms

8000×

body

valid

Details

sample22.0ms

simplify3.0ms

prune3.0ms

localize5.0ms

rewrite2.0ms

series6.0ms

simplify2.9s

prune25.0ms

localize9.0ms

rewrite13.0ms

series64.0ms

simplify53.3s

prune76.0ms

localize12.0ms

rewrite11.0ms

series43.0ms

simplify45.2s

prune73.0ms

localize9.0ms

rewrite23.0ms

series55.0ms

simplify52.6s

prune80.0ms

regimes234.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample443.0ms

Profiling