Details

sample31.0ms

Algorithm

intervals

Results

13.0ms

393×

body

valid

simplify33.0ms

Counts

1 → 1

Iterations

Useful iterations: 3 (8.0ms)

Iter	Nodes	Cost
0	8	15
1	15	15
2	25	13
3	38	9
4	46	9
5	47	9
done	47	9

prune7.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.1b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x y) (* 3 (* z z)))
0.2b	(* 3 (* z z))

rewrite11.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-l*` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`+-commutative` `flip3-+` `associate-r` `sum-log` `*-commutative` `flip-+` `unswap-sqr`

Counts

2 → 30

Calls

2 calls:

4.0ms	(+ (* x y) (* 3 (* z z)))
6.0ms	(* 3 (* z z))

series18.0ms

Counts

2 → 6

Calls

2 calls:

13.0ms	(+ (* x y) (* 3 (* z z)))
4.0ms	(* 3 (* z z))

simplify54.0s

Counts

36 → 36

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	20	6
3	42	6
4	91	6
5	205	6
6	499	6
7	1480	6
done	5000	6
0	8	17
1	23	13
2	64	9
3	150	5
4	307	5
5	767	5
6	2080	5
done	5000	5
0	8	17
1	24	13
2	60	7
3	145	5
4	313	5
5	808	5
6	2206	5
done	5000	5
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	20	15
2	68	7
3	224	7
4	339	7
5	461	5
6	1092	5
7	3054	5
done	5001	5
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	3	3
1	4	3
done	4	3
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	5
1	7	5
2	9	5
done	9	5
0	10	11
1	21	10
2	37	10
3	79	10
4	256	10
5	969	10
6	4792	10
done	5000	10
0	9	10
1	14	10
2	16	10
done	16	10
0	9	10
1	17	10
2	30	10
3	55	10
4	151	10
5	536	10
6	2194	10
done	5001	10
0	10	21
1	15	21
2	17	21
done	17	21
0	9	10
1	14	10
2	16	10
done	16	10
0	10	29
1	28	29
2	101	11
3	429	11
4	1535	11
5	4299	11
done	5000	11
0	9	10
1	14	10
2	16	10
done	16	10
0	9	10
1	14	10
2	16	10
done	16	10
0	10	13
1	35	13
2	115	13
3	349	11
4	683	11
5	1559	11
done	5000	11
0	12	29
1	43	23
2	137	23
3	390	21
4	810	19
5	1110	19
6	1378	19
7	1949	19
8	4928	19
done	5000	19
0	10	19
1	34	17
2	91	17
3	229	15
4	478	13
5	798	13
6	1353	13
7	2976	13
done	5000	13
0	8	9
1	14	9
2	28	9
3	40	9
done	40	9
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	69	5
7	128	5
8	335	5
9	1270	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	69	5
7	128	5
8	335	5
9	1270	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	69	5
7	128	5
8	335	5
9	1270	5
done	5000	5
0	9	9
1	17	9
2	33	9
3	40	9
4	46	9
5	56	9
6	79	9
7	145	9
8	359	9
9	1283	9
done	5000	9
0	9	9
1	17	9
2	33	9
3	40	9
4	46	9
5	56	9
6	79	9
7	145	9
8	359	9
9	1283	9
done	5000	9
0	9	9
1	17	9
2	33	9
3	40	9
4	46	9
5	56	9
6	79	9
7	145	9
8	359	9
9	1283	9
done	5000	9

prune68.0ms

Filtered

27 candidates to 36 candidates (-33.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	32	4	36
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	32	5	37

Merged error: 0.0b

Counts

37 → 5

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x y) (* (* 3 z) z))
0.1b	(* (* 3 z) z)

rewrite10.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×	`+-commutative` `flip3-+` `associate-l` `sum-log` `*-commutative` `flip-+`

Counts

2 → 29

Calls

2 calls:

4.0ms	(+ (* x y) (* (* 3 z) z))
5.0ms	(* (* 3 z) z)

series17.0ms

Counts

2 → 6

Calls

2 calls:

13.0ms	(+ (* x y) (* (* 3 z) z))
4.0ms	(* (* 3 z) z)

simplify52.8s

Counts

35 → 35

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	4	5
1	8	5
2	9	5
done	9	5
0	4	5
1	8	5
2	9	5
done	9	5
0	6	8
1	10	8
2	13	7
3	14	7
done	14	7
0	6	7
1	10	7
2	13	7
3	16	7
4	17	7
done	17	7
0	5	6
1	12	6
2	19	6
3	23	6
4	25	6
5	26	6
done	26	6
0	5	6
1	11	6
2	22	6
3	44	6
4	95	6
5	206	6
6	488	6
7	1399	6
done	5000	6
0	8	17
1	22	13
2	65	9
3	165	5
4	352	5
5	801	5
6	2137	5
done	5001	5
0	8	17
1	25	15
2	87	9
3	271	9
4	424	7
5	947	5
6	2613	5
done	5000	5
0	6	13
1	10	13
2	11	13
done	11	13
0	5	6
1	9	6
2	10	6
done	10	6
0	6	17
1	19	17
2	72	7
3	210	7
4	348	7
5	477	5
6	1059	5
7	2881	5
done	5000	5
0	5	6
1	9	6
2	10	6
done	10	6
0	5	6
1	9	6
2	10	6
done	10	6
0	6	9
1	12	9
2	25	9
3	37	9
done	37	9
0	5	6
1	9	6
2	15	6
done	15	6
0	5	5
1	11	3
2	23	3
done	23	3
0	2	3
done	2	3
0	10	11
1	22	10
2	39	10
3	81	10
4	244	10
5	911	10
6	4182	10
done	5000	10
0	9	10
1	15	10
2	16	10
done	16	10
0	9	10
1	18	10
2	30	10
3	50	10
4	140	10
5	492	10
6	1887	10
done	5000	10
0	10	21
1	16	21
2	17	21
done	17	21
0	9	10
1	15	10
2	16	10
done	16	10
0	10	29
1	29	29
2	101	11
3	428	11
4	1506	11
5	4169	11
done	5000	11
0	9	10
1	15	10
2	16	10
done	16	10
0	9	10
1	15	10
2	16	10
done	16	10
0	10	13
1	35	13
2	120	13
3	377	13
4	781	11
5	2129	11
done	5001	11
0	12	29
1	42	23
2	145	23
3	388	23
4	804	21
5	1077	19
6	1279	19
7	1576	19
8	2835	19
done	5001	19
0	10	19
1	33	19
2	95	17
3	237	17
4	440	15
5	667	13
6	1010	13
7	1979	13
done	5000	13
0	8	9
1	15	9
2	28	9
3	41	9
done	41	9
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	69	5
7	128	5
8	335	5
9	1270	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	69	5
7	128	5
8	335	5
9	1270	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	69	5
7	128	5
8	335	5
9	1270	5
done	5000	5
0	9	9
1	17	9
2	33	9
3	40	9
4	46	9
5	56	9
6	79	9
7	145	9
8	359	9
9	1283	9
done	5000	9
0	9	9
1	17	9
2	33	9
3	40	9
4	46	9
5	56	9
6	79	9
7	145	9
8	359	9
9	1283	9
done	5000	9
0	9	9
1	17	9
2	33	9
3	40	9
4	46	9
5	56	9
6	79	9
7	145	9
8	359	9
9	1283	9
done	5000	9

prune57.0ms

Filtered

24 candidates to 35 candidates (-45.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	34	1	35
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	34	6	40

Merged error: 0.0b

Counts

40 → 6

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* x y) (* (sqrt 3) (* (sqrt 3) (* z z))))
0.2b	(* (sqrt 3) (* (sqrt 3) (* z z)))
0.3b	(* (sqrt 3) (* z z))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

17×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`associate-l`
9×	`add-sqr-sqrt` `pow-prod-down` `prod-exp` `cbrt-unprod`
7×	`add-cube-cbrt` `*-un-lft-identity` `sqrt-prod`
5×	`add-log-exp`
2×	`associate-r` `*-commutative` `unswap-sqr`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+`

Counts

3 → 58

Calls

3 calls:

4.0ms	(+ (* x y) (* (sqrt 3) (* (sqrt 3) (* z z))))
12.0ms	(* (sqrt 3) (* (sqrt 3) (* z z)))
8.0ms	(* (sqrt 3) (* z z))

series36.0ms

Counts

3 → 9

Calls

3 calls:

23.0ms	(+ (* x y) (* (sqrt 3) (* (sqrt 3) (* z z))))
8.0ms	(* (sqrt 3) (* (sqrt 3) (* z z)))
5.0ms	(* (sqrt 3) (* z z))

simplify1.9min

Counts

67 → 67

Iterations

Useful iterations: done (1.0ms)

Iter	Nodes	Cost
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	7	9
1	12	8
2	15	8
done	15	8
0	7	8
1	10	8
2	16	8
3	17	8
done	17	8
0	6	7
1	12	7
2	19	7
3	26	7
4	27	7
done	27	7
0	6	7
1	11	7
2	21	7
3	39	7
4	81	7
5	182	7
6	445	7
7	1296	7
8	4653	7
done	5001	7
0	9	20
1	22	16
2	70	12
3	190	8
4	351	8
5	781	8
6	2107	8
done	5001	8
0	9	20
1	23	16
2	67	10
3	185	8
4	349	8
5	811	8
6	2226	8
done	5000	8
0	7	15
1	10	15
2	12	15
done	12	15
0	6	7
1	9	7
2	11	7
done	11	7
0	7	20
1	20	20
2	70	8
3	225	8
4	375	8
5	537	8
6	1426	8
7	4745	8
done	5000	8
0	6	7
1	9	7
2	11	7
done	11	7
0	6	7
1	9	7
2	11	7
done	11	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	5	5
1	6	5
done	6	5
0	4	4
1	5	4
done	5	4
0	6	7
1	9	7
2	11	7
done	11	7
0	6	7
1	9	7
2	11	7
done	11	7
0	6	7
1	9	7
2	11	7
done	11	7
0	5	6
1	8	6
2	10	6
done	10	6
0	6	7
1	9	7
2	11	7
done	11	7
0	5	6
1	8	6
2	10	6
done	10	6
0	6	9
1	12	9
2	20	5
3	24	5
done	24	5
0	6	9
1	12	9
2	20	5
3	24	5
done	24	5
0	6	9
1	12	9
2	20	5
3	24	5
done	24	5
0	8	13
1	16	12
2	26	10
3	32	8
4	33	8
done	33	8
0	8	12
1	14	12
2	24	10
3	33	8
4	34	8
done	34	8
0	8	11
1	14	11
2	23	11
3	37	10
4	44	7
5	45	7
done	45	7
0	7	10
1	16	10
2	33	6
3	50	6
4	64	6
5	67	6
done	67	6
0	7	10
1	15	10
2	31	6
3	65	6
4	149	6
5	358	6
6	887	6
7	2713	6
done	5000	6
0	10	29
1	28	21
2	112	9
3	416	5
4	1195	5
5	2573	5
done	5001	5
0	10	29
1	29	21
2	110	9
3	416	5
4	1156	5
5	2574	5
done	5001	5
0	10	29
1	28	21
2	112	13
3	485	13
4	1154	7
5	1696	5
done	5000	5
0	8	21
1	14	21
2	22	13
3	26	13
done	26	13
0	7	10
1	13	10
2	21	6
3	25	6
done	25	6
0	8	29
1	23	29
2	95	7
3	378	7
4	985	6
5	1976	5
done	5001	5
0	7	10
1	13	10
2	21	6
3	26	5
done	26	5
0	7	10
1	13	10
2	21	6
3	26	5
done	26	5
0	3	5
done	3	1
0	7	10
1	13	10
2	27	10
3	37	10
done	37	10
0	8	10
1	14	10
2	28	10
3	39	10
done	39	10
0	7	10
1	13	10
2	27	10
3	37	10
done	37	10
0	6	9
1	12	9
2	20	5
3	24	5
done	24	5
0	7	10
1	13	10
2	27	10
3	37	10
done	37	10
0	6	9
1	12	9
2	20	5
3	24	5
done	24	5
0	12	15
1	26	14
2	48	10
3	102	10
4	293	10
5	1071	10
done	5000	10
0	11	14
1	19	14
2	27	10
3	31	10
done	31	10
0	11	14
1	22	14
2	41	10
3	72	10
4	179	10
5	597	10
6	2451	10
done	5000	10
0	12	29
1	20	29
2	28	21
3	32	21
done	32	21
0	11	14
1	19	14
2	27	10
3	31	10
done	31	10
0	12	41
1	33	41
2	112	11
3	539	11
4	2301	11
done	5000	11
0	11	14
1	19	14
2	27	10
3	31	10
done	31	10
0	11	14
1	19	14
2	27	10
3	31	10
done	31	10
0	12	17
1	39	17
2	134	13
3	475	13
4	1600	11
done	5000	11
0	14	41
1	46	31
2	162	23
3	600	23
4	1513	21
5	2216	19
6	2490	19
7	3132	19
done	5000	19
0	12	27
1	37	27
2	111	17
3	385	17
4	1124	15
5	1781	13
6	2592	13
7	4601	13
done	5001	13
0	10	13
1	19	13
2	39	9
3	78	9
4	108	9
done	108	9
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	72	6
7	133	6
8	348	6
9	1283	6
done	5001	6
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	72	6
7	133	6
8	348	6
9	1283	6
done	5001	6
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	72	6
7	133	6
8	348	6
9	1283	6
done	5001	6
0	7	8
1	16	8
2	59	5
3	90	5
4	171	5
5	447	5
6	1447	5
done	5001	5
0	7	8
1	16	8
2	59	5
3	90	5
4	171	5
5	447	5
6	1447	5
done	5001	5
0	7	8
1	16	8
2	59	5
3	90	5
4	171	5
5	447	5
6	1447	5
done	5001	5
0	11	12
1	22	12
2	65	9
3	98	9
4	181	9
5	463	9
6	1399	9
done	5001	9
0	11	12
1	22	12
2	65	9
3	98	9
4	181	9
5	463	9
6	1399	9
done	5001	9
0	11	12
1	22	12
2	65	9
3	98	9
4	181	9
5	463	9
6	1399	9
done	5001	9

prune111.0ms

Filtered

48 candidates to 67 candidates (-39.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	66	1	67
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	67	6	73

Merged error: 0b

Counts

73 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (cbrt (sqrt 3)) (* z z))
0.2b	(* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z))))
0.3b	(* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))
1.0b	(* (cbrt (sqrt 3)) (cbrt (sqrt 3)))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

66×	`pow1`
61×	`add-exp-log`
48×	`cbrt-prod`
46×	`add-sqr-sqrt`
42×	`pow-prod-down`
41×	`prod-exp` `cbrt-unprod`
37×	`add-cbrt-cube`
27×	`sqrt-prod`
25×	`associate-l`
21×	`add-cube-cbrt` `*-un-lft-identity`
12×	`associate-r` `unswap-sqr`
11×	`swap-sqr`
6×	`pow1/3`
4×	`*-commutative` `add-log-exp`
2×	`pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus`

Counts

4 → 147

Calls

4 calls:

8.0ms	(* (cbrt (sqrt 3)) (* z z))
22.0ms	(* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z))))
16.0ms	(* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))
9.0ms	(* (cbrt (sqrt 3)) (cbrt (sqrt 3)))

series48.0ms

Counts

4 → 10

Calls

4 calls:

34.0ms	(* (cbrt (sqrt 3)) (* z z))
8.0ms	(* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z))))
5.0ms	(* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* z z)))
0.0ms	(* (cbrt (sqrt 3)) (cbrt (sqrt 3)))

simplify5.5min

Counts

157 → 157

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	3	5
done	3	1
0	4	7
done	4	7
0	2	3
1	6	1
done	6	1
0	5	9
1	7	6
2	8	6
done	8	6
0	5	8
1	7	8
2	9	6
3	10	6
done	10	6
0	5	8
1	7	8
2	11	8
3	16	8
4	34	8
5	73	8
6	182	8
7	565	8
8	2262	8
done	5001	8
0	3	5
done	3	1
0	6	17
done	6	17
0	5	8
done	5	8
0	6	23
1	14	23
2	20	9
3	34	5
4	68	1
5	132	1
6	314	1
7	1008	1
8	4984	1
done	5000	1
0	5	8
1	6	4
done	6	4
0	5	8
1	6	4
done	6	4
0	6	17
done	6	17
0	5	9
done	5	9
0	6	15
1	7	9
done	7	9
0	5	9
done	5	9
0	5	9
done	5	9
0	5	9
done	5	9
0	5	9
done	5	9
0	5	9
done	5	9
0	4	7
1	6	5
done	6	5
0	4	7
done	4	7
0	5	9
done	5	9
0	5	9
done	5	9
0	5	9
done	5	9
0	5	9
done	5	9
0	3	5
1	5	3
done	5	1
0	4	7
done	4	7
0	6	19
1	10	19
2	11	11
3	20	6
4	35	6
5	63	6
6	134	6
7	349	6
8	1265	6
done	5001	6
0	5	9
done	5	9
0	5	9
done	5	3
0	5	9
done	5	3
0	2	3
1	4	1
done	4	1
0	4	7
done	4	7
0	5	9
done	5	9
0	5	9
done	5	9
0	5	9
done	5	9
0	5	9
done	5	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	5	9
done	5	9
0	5	9
done	5	9
0	5	9
done	5	9
0	5	9
done	5	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	5	9
done	5	3
0	5	9
done	5	3
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	6	12
1	7	12
done	7	12
0	8	11
1	10	8
done	10	8
0	6	8
1	7	8
done	7	8
0	7	7
1	10	6
done	10	6
0	6	8
1	7	8
done	7	8
0	6	6
1	9	5
done	9	5
0	6	13
1	9	13
2	11	13
done	11	13
0	5	8
1	6	8
done	6	8
0	5	5
1	8	3
2	11	3
done	11	3
0	5	8
1	6	8
done	6	8
0	7	8
1	8	8
done	8	8
0	6	8
1	7	8
done	7	8
0	4	7
done	4	7
0	6	8
1	7	8
done	7	8
0	4	7
done	4	7
0	5	8
1	6	8
done	6	8
0	5	8
1	6	8
done	6	8
0	4	7
done	4	7
0	8	15
1	16	15
2	34	15
3	51	9
4	56	6
5	72	6
6	105	6
7	195	6
8	473	6
9	1490	6
done	5000	6
0	8	15
1	16	15
2	34	15
3	51	9
4	56	6
5	72	6
6	105	6
7	195	6
8	473	6
9	1490	6
done	5000	6
0	8	15
1	16	15
2	34	15
3	51	9
4	56	6
5	72	6
6	105	6
7	195	6
8	473	6
9	1490	6
done	5000	6
0	8	15
1	16	15
2	34	15
3	51	9
4	56	6
5	72	6
6	105	6
7	195	6
8	473	6
9	1490	6
done	5000	6
0	8	15
1	16	15
2	34	15
3	51	9
4	56	6
5	72	6
6	105	6
7	195	6
8	473	6
9	1490	6
done	5000	6
0	8	15
1	16	15
2	34	15
3	51	9
4	56	6
5	72	6
6	105	6
7	195	6
8	473	6
9	1490	6
done	5000	6
0	10	20
1	21	16
2	44	11
3	65	11
4	66	11
done	66	11
0	10	19
1	20	16
2	39	11
3	64	11
4	75	11
done	75	11
0	10	18
1	20	15
2	35	15
3	59	11
4	77	11
5	78	11
done	78	11
0	11	19
1	20	18
2	40	16
3	61	11
4	65	11
done	65	11
0	11	18
1	18	18
2	37	16
3	62	11
4	70	11
done	70	11
0	10	17
1	18	17
2	35	15
3	61	11
4	82	11
5	83	11
done	83	11
0	9	16
1	20	16
2	50	16
3	95	10
4	132	7
5	155	7
6	209	7
7	366	7
8	858	7
9	2549	7
done	5000	7
0	9	16
1	19	16
2	47	16
3	102	10
4	225	7
5	561	7
6	1408	7
7	4241	7
done	5001	7
0	9	20
1	24	16
2	74	12
3	224	8
4	402	8
5	900	8
6	2454	8
done	5001	8
0	9	20
1	25	16
2	72	10
3	223	8
4	475	8
5	1006	8
6	2633	8
done	5000	8
0	10	29
1	28	25
2	109	11
3	518	11
4	1657	10
5	3369	8
done	5001	8
0	12	38
1	35	38
2	125	20
3	553	12
4	1935	8
done	5000	8
0	12	38
1	36	38
2	122	18
3	547	12
4	2016	8
done	5000	8
0	12	47
1	37	47
2	152	19
3	758	14
4	2526	8
done	5001	8
0	10	33
1	18	33
2	36	33
3	52	21
4	57	15
5	73	15
6	106	15
7	192	15
8	475	15
9	1493	15
done	5000	15
0	9	16
1	17	16
2	34	16
3	50	10
4	55	7
5	71	7
6	106	7
7	198	7
8	473	7
9	1490	7
done	5000	7
0	10	47
1	28	47
2	136	17
3	691	11
4	2277	8
5	3821	8
done	5000	8
0	9	16
1	17	16
2	34	16
3	50	10
4	55	7
5	71	7
6	107	7
7	199	7
8	477	7
9	1508	7
done	5000	7
0	9	16
1	17	16
2	34	16
3	50	10
4	55	7
5	71	7
6	107	7
7	199	7
8	477	7
9	1508	7
done	5000	7
0	5	11
1	6	11
2	7	5
3	12	2
4	18	2
5	28	2
6	49	2
7	110	2
8	324	2
9	1242	2
done	5000	2
0	7	11
1	13	11
2	21	11
3	25	11
done	25	11
0	9	18
1	20	18
2	59	18
3	131	12
4	188	9
5	264	5
6	536	5
7	1368	5
8	4424	5
done	5000	5
0	9	18
1	20	18
2	59	18
3	131	12
4	188	9
5	264	5
6	536	5
7	1368	5
8	4424	5
done	5000	5
0	9	18
1	20	18
2	59	18
3	131	12
4	188	9
5	264	5
6	536	5
7	1368	5
8	4424	5
done	5000	5
0	9	18
1	20	18
2	59	18
3	131	12
4	188	9
5	264	5
6	536	5
7	1368	5
8	4424	5
done	5000	5
0	9	18
1	20	18
2	59	18
3	131	12
4	188	9
5	264	5
6	536	5
7	1368	5
8	4424	5
done	5000	5
0	9	18
1	20	18
2	59	18
3	131	12
4	188	9
5	264	5
6	536	5
7	1368	5
8	4424	5
done	5000	5
0	9	18
1	20	18
2	59	18
3	131	12
4	188	9
5	264	5
6	536	5
7	1368	5
8	4424	5
done	5000	5
0	12	24
1	26	20
2	69	15
3	139	15
4	193	15
done	193	15
0	12	23
1	25	20
2	62	15
3	132	15
4	185	15
done	185	15
0	12	22
1	25	19
2	53	19
3	115	15
4	193	15
5	204	15
done	204	15
0	13	23
1	25	22
2	63	20
3	138	15
4	196	15
done	196	15
0	13	22
1	23	22
2	58	20
3	133	15
4	199	15
done	199	15
0	12	21
1	23	21
2	50	19
3	116	15
4	198	15
5	209	15
done	209	15
0	11	20
1	23	20
2	57	20
3	130	14
4	228	11
5	307	7
6	420	7
7	888	7
8	2409	7
done	5000	7
0	10	19
1	24	19
2	75	19
3	199	13
4	395	10
5	566	6
6	947	6
7	2415	6
done	5000	6
0	10	19
1	23	19
2	69	19
3	202	13
4	506	10
5	1303	6
6	3743	6
done	5000	6
0	11	29
1	31	21
2	114	13
3	425	5
4	1066	5
5	2277	5
done	5000	5
0	11	29
1	32	21
2	111	11
3	417	5
4	1123	5
5	2451	5
done	5000	5
0	12	38
1	36	30
2	149	14
3	809	14
4	3915	9
done	5000	9
0	15	47
1	44	43
2	177	25
3	1073	5
4	4597	5
done	5000	5
0	15	47
1	45	43
2	174	23
3	1072	7
4	4707	5
done	5000	5
0	15	56
1	46	52
2	205	24
3	1350	13
done	5000	9
0	13	56
1	37	52
2	186	22
3	1256	16
done	5001	16
0	11	39
1	22	39
2	61	39
3	134	27
4	190	21
5	269	13
6	548	13
7	1392	13
8	4475	13
done	5001	13
0	10	19
1	21	19
2	59	19
3	133	13
4	183	10
5	256	6
6	529	6
7	1361	6
8	4441	6
done	5000	6
0	11	56
1	32	56
2	159	20
3	1187	14
done	5000	14
0	10	19
1	21	19
2	59	19
3	133	13
4	183	10
5	256	6
6	530	5
7	1362	5
8	4468	5
done	5000	5
0	10	19
1	21	19
2	59	19
3	133	13
4	183	10
5	256	6
6	530	5
7	1362	5
8	4468	5
done	5000	5
0	5	10
1	8	10
2	10	10
done	10	10
0	9	19
1	20	19
2	47	13
3	85	9
4	120	9
5	222	9
6	516	9
7	1531	9
done	5000	9
0	11	19
1	22	19
2	61	19
3	128	13
4	184	10
5	212	10
6	296	10
7	530	10
8	1310	10
9	4146	10
done	5000	10
0	10	19
1	21	19
2	59	19
3	135	13
4	193	10
5	222	10
6	307	10
7	543	10
8	1323	10
9	4166	10
done	5000	10
0	9	18
1	20	18
2	59	18
3	131	12
4	188	9
5	264	5
6	536	5
7	1368	5
8	4424	5
done	5000	5
0	10	19
1	21	19
2	59	19
3	135	13
4	193	10
5	222	10
6	307	10
7	543	10
8	1323	10
9	4166	10
done	5000	10
0	9	18
1	20	18
2	59	18
3	131	12
4	188	9
5	264	5
6	536	5
7	1368	5
8	4424	5
done	5000	5
0	6	7
1	9	7
2	11	7
done	11	7
0	6	7
1	9	7
2	11	7
done	11	7
0	8	10
1	13	9
2	16	9
done	16	9
0	8	9
1	11	9
2	17	9
3	18	9
done	18	9
0	7	8
1	13	8
2	20	8
3	27	8
4	28	8
done	28	8
0	7	8
1	12	8
2	22	8
3	40	8
4	82	8
5	183	8
6	448	8
7	1306	8
8	4679	8
done	5000	8
0	7	14
1	17	14
2	46	10
3	82	6
4	131	6
5	311	6
6	819	6
7	3203	6
done	5001	6
0	7	14
1	18	14
2	44	8
3	82	6
4	136	6
5	322	6
6	863	6
7	3313	6
done	5000	6
0	8	17
1	11	17
2	13	17
done	13	17
0	7	8
1	10	8
2	12	8
done	12	8
0	8	23
1	21	23
2	71	9
3	229	9
4	360	8
5	526	6
6	1420	6
7	4743	6
done	5000	6
0	7	8
1	10	8
2	12	8
done	12	8
0	7	8
1	10	8
2	12	8
done	12	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	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	6	5
done	6	5
0	7	8
1	10	8
2	12	8
done	12	8
0	7	8
1	10	8
2	12	8
done	12	8
0	7	8
1	10	8
2	12	8
done	12	8
0	6	7
1	9	7
2	11	7
done	11	7
0	7	8
1	10	8
2	12	8
done	12	8
0	6	7
1	9	7
2	11	7
done	11	7
0	7	8
1	10	8
2	12	8
done	12	8
0	7	8
1	10	8
2	12	8
done	12	8
0	6	7
1	9	7
2	11	7
done	11	7
0	6	7
1	9	7
2	11	7
done	11	7
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	72	6
7	133	6
8	348	6
9	1283	6
done	5001	6
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	72	6
7	133	6
8	348	6
9	1283	6
done	5001	6
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	72	6
7	133	6
8	348	6
9	1283	6
done	5001	6
0	7	8
1	16	8
2	59	5
3	90	5
4	171	5
5	447	5
6	1447	5
done	5001	5
0	7	8
1	16	8
2	59	5
3	90	5
4	171	5
5	447	5
6	1447	5
done	5001	5
0	7	8
1	16	8
2	59	5
3	90	5
4	171	5
5	447	5
6	1447	5
done	5001	5
0	8	8
1	19	7
2	53	7
3	87	7
4	176	7
5	466	7
6	1571	7
done	5000	7
0	8	8
1	19	7
2	53	7
3	87	7
4	176	7
5	466	7
6	1571	7
done	5000	7
0	8	8
1	19	7
2	53	7
3	87	7
4	176	7
5	466	7
6	1571	7
done	5000	7

prune309.0ms

Filtered

97 candidates to 157 candidates (-61.9%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	157	0	157
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	157	6	163

Merged error: 0b

Counts

163 → 6

regimes332.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	8	9
1	12	9
done	12	9

end0.0ms

sample899.0ms

Algorithm

intervals

Results

408.0ms

12207×

body

valid

Details

sample31.0ms

simplify33.0ms

prune7.0ms

localize7.0ms

rewrite11.0ms

series18.0ms

simplify54.0s

prune68.0ms

localize7.0ms

rewrite10.0ms

series17.0ms

simplify52.8s

prune57.0ms

localize9.0ms

rewrite26.0ms

series36.0ms

simplify1.9min

prune111.0ms

localize13.0ms

rewrite61.0ms

series48.0ms

simplify5.5min

prune309.0ms

regimes332.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample899.0ms

Profiling