Details

sample40.0ms

Algorithm

intervals

Results

18.0ms

374×

body

valid

simplify2.2s

Counts

1 → 1

Iterations

Useful iterations: 3 (22.0ms)

Iter	Nodes	Cost
0	11	15
1	25	13
2	68	11
3	181	9
4	389	9
5	680	9
6	904	9
7	1340	9
8	1651	9
9	1670	9
done	1670	9

prune11.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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 → 2

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b	(* d1 (+ (- d4 d1) (- d2 d3)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

15×	`*-un-lft-identity`
7×	`associate-r`
6×	`associate-*r/`
5×	`add-sqr-sqrt`
4×	`flip3--` `frac-add` `flip--` `distribute-lft-out` `distribute-lft-out--`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `associate-l` `add-cbrt-cube`
1×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `add-log-exp` `unswap-sqr`

Counts

1 → 30

Calls

1 calls:

13.0ms

(* d1 (+ (- d4 d1) (- d2 d3)))

series13.0ms

Counts

1 → 3

Calls

1 calls:

13.0ms

(* d1 (+ (- d4 d1) (- d2 d3)))

simplify40.6s

Counts

33 → 33

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	24	9
2	60	9
3	152	9
4	324	9
5	548	9
6	786	9
7	1095	9
8	1290	9
9	1330	9
10	1331	9
done	1331	9
0	10	11
1	20	11
2	43	11
3	99	11
4	189	11
5	294	11
6	406	11
7	479	11
8	507	11
done	507	11
0	9	10
1	28	10
2	65	10
3	157	10
4	329	10
5	553	10
6	791	10
7	1110	10
8	1309	10
9	1353	10
10	1354	10
done	1354	10
0	9	10
1	27	10
2	72	10
3	219	10
4	556	10
5	1390	10
6	3545	10
done	5001	10
0	12	29
1	40	29
2	168	13
3	1044	13
done	5001	13
0	10	21
1	26	21
2	62	21
3	154	21
4	325	21
5	549	21
6	787	21
7	1101	21
8	1298	21
9	1338	21
10	1339	21
done	1339	21
0	9	10
1	25	10
2	61	10
3	153	10
4	323	10
5	546	10
6	784	10
7	1097	10
8	1292	10
9	1332	10
10	1333	10
done	1333	10
0	10	29
1	36	29
2	143	11
3	836	11
done	5001	11
0	9	10
1	25	10
2	61	10
3	153	10
4	323	10
5	546	10
6	784	10
7	1097	10
8	1292	10
9	1332	10
10	1333	10
done	1333	10
0	9	10
1	25	10
2	61	10
3	153	10
4	323	10
5	546	10
6	784	10
7	1097	10
8	1292	10
9	1332	10
10	1333	10
done	1333	10
0	10	11
1	20	11
2	43	11
3	99	11
4	189	11
5	294	11
6	406	11
7	479	11
8	507	11
done	507	11
0	10	11
1	20	11
2	43	11
3	99	11
4	189	11
5	294	11
6	406	11
7	479	11
8	507	11
done	507	11
0	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	10	19
1	22	19
2	47	19
3	103	19
4	193	19
5	299	19
6	411	19
7	482	19
8	509	19
done	509	19
0	9	10
1	19	10
2	42	10
3	98	10
4	189	10
5	294	10
6	406	10
7	480	10
8	509	10
done	509	10
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	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	9	10
1	25	10
2	61	10
3	155	10
4	330	10
5	555	10
6	794	10
7	1113	10
8	1337	10
9	1378	10
10	1379	10
done	1379	10
0	9	10
1	25	10
2	61	10
3	155	10
4	330	10
5	555	10
6	794	10
7	1113	10
8	1337	10
9	1378	10
10	1379	10
done	1379	10
0	8	9
1	24	9
2	60	9
3	152	9
4	324	9
5	548	9
6	786	9
7	1095	9
8	1290	9
9	1330	9
10	1331	9
done	1331	9
0	25	41
1	78	37
2	221	37
3	1004	37
done	5000	37
0	21	33
1	62	31
2	168	31
3	758	27
4	3586	27
done	5000	27
0	21	33
1	62	31
2	188	31
3	843	27
4	3905	27
done	5000	27
0	16	25
1	42	25
2	128	25
3	520	21
4	2151	17
done	5000	17
0	11	13
1	36	13
2	96	13
3	284	13
4	839	13
5	2902	13
done	5000	13
0	10	17
1	20	17
2	65	17
3	282	17
4	1507	17
done	5000	17
0	9	11
1	23	9
2	50	7
3	70	7
4	96	7
5	130	7
6	192	7
7	331	7
8	627	7
9	1601	7
done	5000	7
0	9	11
1	19	9
2	38	7
3	58	7
4	74	7
5	97	7
6	137	7
7	212	7
8	279	7
9	306	7
10	357	7
11	431	7
12	442	7
done	442	7
0	9	11
1	19	9
2	38	7
3	58	7
4	74	7
5	97	7
6	137	7
7	212	7
8	279	7
9	306	7
10	357	7
11	431	7
12	442	7
done	442	7

prune53.0ms

Filtered

25 candidates to 33 candidates (-32.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	32	1	33
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	32	3	35

Merged error: 0b

Counts

35 → 3

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* d1 d2) (* d1 d3))
0.0b	(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
0.0b	(+ (- (* d1 d2) (* d1 d3)) (* d4 d1))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-log-exp`
6×	`diff-log`
4×	`add-sqr-sqrt` `sum-log`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `*-un-lft-identity` `add-cbrt-cube`
2×	`associate-+l-` `associate-+l+` `flip3--` `flip--`
1×	`+-commutative` `associate--l-` `flip3-+` `associate--l+` `flip-+` `distribute-lft-out--` `difference-of-squares`

Counts

3 → 45

Calls

3 calls:

4.0ms	(- (* d1 d2) (* d1 d3))
9.0ms	(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
7.0ms	(+ (- (* d1 d2) (* d1 d3)) (* d4 d1))

series43.0ms

Counts

3 → 9

Calls

3 calls:

15.0ms	(- (* d1 d2) (* d1 d3))
16.0ms	(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
12.0ms	(+ (- (* d1 d2) (* d1 d3)) (* d4 d1))

simplify1.1min

Counts

54 → 54

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	14
1	25	13
2	53	10
3	137	8
4	541	8
5	3835	8
done	5001	8
0	11	13
1	26	10
2	61	8
3	135	8
4	440	8
5	2595	8
done	5001	8
0	10	12
1	20	10
2	44	8
3	77	8
4	111	8
5	146	8
6	162	8
7	198	8
8	270	8
9	400	8
10	412	8
11	423	8
done	423	8
0	10	12
1	23	10
2	60	8
3	136	8
4	291	8
5	1041	8
done	5000	8
0	11	25
1	21	21
2	45	17
3	75	17
4	108	17
5	143	17
6	159	17
7	195	17
8	267	17
9	394	17
10	405	17
11	416	17
done	416	17
0	10	12
1	20	10
2	44	8
3	74	8
4	107	8
5	142	8
6	158	8
7	194	8
8	266	8
9	393	8
10	404	8
11	415	8
done	415	8
0	11	35
1	34	29
2	124	9
3	669	9
4	4617	9
done	5000	9
0	10	12
1	20	10
2	44	8
3	74	8
4	107	8
5	142	8
6	158	8
7	194	8
8	266	8
9	393	8
10	404	8
11	415	8
done	415	8
0	10	12
1	20	10
2	44	8
3	74	8
4	107	8
5	142	8
6	158	8
7	194	8
8	266	8
9	393	8
10	404	8
11	415	8
done	415	8
0	12	15
1	36	13
2	107	13
3	365	13
4	1235	13
5	3946	13
done	5001	13
0	13	35
1	37	25
2	114	23
3	396	21
4	1209	19
5	3706	17
done	5001	17
0	11	23
1	30	19
2	92	15
3	292	15
4	941	15
5	3295	15
done	5001	15
0	9	11
1	20	9
2	48	7
3	82	7
4	126	7
5	168	7
6	199	7
7	267	7
8	409	7
9	440	7
10	449	7
done	449	7
0	7	8
1	14	8
2	21	6
3	24	5
done	24	5
0	7	8
1	14	8
2	21	6
3	24	5
done	24	5
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	15	19
1	31	18
2	71	15
3	225	12
4	1246	10
done	5001	10
0	14	18
1	33	15
2	79	12
3	218	10
4	994	10
done	5000	10
0	13	17
1	30	14
2	80	12
3	233	10
4	740	10
5	3644	10
done	5000	10
0	12	16
1	26	14
2	69	12
3	182	10
4	391	10
5	683	10
6	908	10
7	1346	10
8	1661	10
9	1678	10
done	1678	10
0	12	16
1	29	14
2	85	12
3	255	10
4	665	10
5	2062	10
done	5001	10
0	13	33
1	27	29
2	70	25
3	183	21
4	389	21
5	684	21
6	908	21
7	1346	21
8	1661	21
9	1677	21
done	1677	21
0	12	16
1	26	14
2	69	12
3	182	10
4	388	10
5	679	10
6	904	10
7	1343	10
8	1651	10
9	1669	10
done	1669	10
0	13	47
1	28	41
2	97	13
3	491	11
4	4152	11
done	5000	11
0	12	16
1	26	14
2	69	12
3	182	10
4	388	10
5	679	10
6	904	10
7	1343	10
8	1651	10
9	1669	10
done	1669	10
0	12	16
1	26	14
2	69	12
3	182	10
4	388	10
5	679	10
6	904	10
7	1343	10
8	1651	10
9	1669	10
done	1669	10
0	14	19
1	41	17
2	124	13
3	415	13
4	2087	13
done	5001	13
0	15	47
1	44	37
2	134	31
3	616	21
4	3164	21
done	5000	21
0	3	4
1	6	4
done	6	4
0	13	31
1	38	27
2	122	21
3	585	19
4	3050	19
done	5000	19
0	11	15
1	24	13
2	64	11
3	158	9
4	313	9
5	522	9
6	644	9
7	852	9
8	1247	9
9	1658	9
10	1680	9
done	1680	9
0	11	14
1	22	12
2	46	10
3	76	10
4	109	10
5	144	10
6	160	10
7	196	10
8	268	10
9	395	10
10	406	10
11	417	10
done	417	10
0	11	14
1	23	12
2	47	10
3	77	10
4	110	10
5	145	10
6	161	10
7	197	10
8	269	10
9	396	10
10	407	10
11	418	10
done	418	10
0	5	7
1	10	5
2	16	5
3	17	5
done	17	5
0	8	11
1	15	11
2	35	9
3	65	7
4	102	7
5	134	7
6	150	7
7	186	7
8	258	7
9	385	7
10	396	7
11	407	7
done	407	7
0	3	4
1	6	4
done	6	4
0	8	9
1	15	8
2	30	6
3	63	6
4	166	6
5	614	6
6	3934	6
done	5000	6
0	7	8
1	13	6
2	25	6
3	27	6
done	27	6
0	7	8
1	16	6
2	35	6
3	62	6
4	137	6
5	489	6
6	2523	6
done	5000	6
0	8	17
1	14	13
2	23	13
3	24	13
done	24	13
0	7	8
1	13	6
2	22	6
3	23	6
done	23	6
0	8	23
1	15	17
2	49	7
3	216	7
4	890	7
5	2862	7
done	5000	7
0	7	8
1	13	6
2	22	6
3	23	6
done	23	6
0	7	8
1	13	6
2	22	6
3	23	6
done	23	6
0	9	11
1	31	11
2	112	11
3	373	11
4	929	11
5	2526	11
done	5000	11
0	10	23
1	35	19
2	93	17
3	136	15
4	187	13
5	208	13
done	208	13
0	4	4
1	9	4
2	11	4
done	11	4
0	8	15
1	28	15
2	77	11
3	158	11
4	271	11
5	472	11
6	722	11
7	1215	11
8	3266	11
done	5001	11
0	6	7
1	11	5
2	13	5
done	13	5
0	3	3
1	5	3
2	6	3
done	6	3
0	4	4
1	9	4
2	11	4
done	11	4
0	1	1
done	1	1
0	9	11
1	19	9
2	38	7
3	58	7
4	74	7
5	97	7
6	137	7
7	212	7
8	279	7
9	306	7
10	357	7
11	431	7
12	442	7
done	442	7
0	9	11
1	19	9
2	38	7
3	58	7
4	74	7
5	97	7
6	137	7
7	212	7
8	279	7
9	306	7
10	357	7
11	431	7
12	442	7
done	442	7
0	9	11
1	21	11
2	44	9
3	80	7
4	127	7
5	182	7
6	278	7
7	397	7
8	709	7
9	1644	7
done	5000	7
0	9	11
1	19	9
2	38	7
3	58	7
4	74	7
5	97	7
6	137	7
7	212	7
8	279	7
9	306	7
10	357	7
11	431	7
12	442	7
done	442	7
0	9	11
1	19	9
2	38	7
3	58	7
4	74	7
5	97	7
6	137	7
7	212	7
8	279	7
9	306	7
10	357	7
11	431	7
12	442	7
done	442	7
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5

prune65.0ms

Filtered

42 candidates to 54 candidates (-28.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	54	0	54
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	54	3	57

Merged error: 0b

Counts

57 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (+ (- d4 d1) (- d2 d3)))
0.0b	(sqrt (+ (- d4 d1) (- d2 d3)))
0.1b	(* d1 (sqrt (+ (- d4 d1) (- d2 d3))))
0.2b	(* (* d1 (sqrt (+ (- d4 d1) (- d2 d3)))) (sqrt (+ (- d4 d1) (- d2 d3))))

rewrite80.0ms

Algorithm

rewrite-expression-head

Rules

102×	`sqrt-div`
68×	`flip3--` `frac-add` `flip--`
59×	`*-un-lft-identity`
54×	`associate-*r/`
36×	`frac-times`
29×	`sqrt-prod`
20×	`associate-r`
17×	`add-sqr-sqrt` `flip3-+` `flip-+`
16×	`distribute-lft-out` `distribute-lft-out--`
13×	`pow1`
11×	`add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
6×	`associate-*l/`
4×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `*-commutative` `unswap-sqr`

Counts

4 → 151

Calls

4 calls:

10.0ms	(sqrt (+ (- d4 d1) (- d2 d3)))
10.0ms	(sqrt (+ (- d4 d1) (- d2 d3)))
19.0ms	(* d1 (sqrt (+ (- d4 d1) (- d2 d3))))
28.0ms	(* (* d1 (sqrt (+ (- d4 d1) (- d2 d3)))) (sqrt (+ (- d4 d1) (- d2 d3))))

series164.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(sqrt (+ (- d4 d1) (- d2 d3)))
42.0ms	(sqrt (+ (- d4 d1) (- d2 d3)))
65.0ms	(* d1 (sqrt (+ (- d4 d1) (- d2 d3))))
14.0ms	(* (* d1 (sqrt (+ (- d4 d1) (- d2 d3)))) (sqrt (+ (- d4 d1) (- d2 d3))))

simplify4.9min

Counts

163 → 163

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	19
1	23	19
2	47	9
3	140	9
4	299	9
5	519	9
6	740	9
7	1021	9
8	1287	9
9	1388	9
10	1428	9
done	1428	9
0	10	19
1	23	19
2	47	9
3	140	9
4	299	9
5	519	9
6	740	9
7	1021	9
8	1287	9
9	1388	9
10	1428	9
done	1428	9
0	12	22
1	25	22
2	51	14
3	108	14
4	198	14
5	305	14
6	417	14
7	489	14
8	514	14
done	514	14
0	12	21
1	25	21
2	51	21
3	110	14
4	201	14
5	307	14
6	419	14
7	492	14
8	518	14
done	518	14
0	11	20
1	27	20
2	57	10
3	154	10
4	316	10
5	536	10
6	758	10
7	1036	10
8	1304	10
9	1409	10
10	1454	10
11	1467	10
12	1468	10
done	1468	10
0	11	20
1	26	20
2	60	10
3	171	10
4	436	10
5	965	10
6	2163	10
done	5000	10
0	14	59
1	35	39
2	140	25
3	896	13
done	5000	13
0	14	59
1	39	39
2	152	23
3	849	23
done	5000	23
0	12	41
1	25	41
2	49	21
3	142	21
4	302	21
5	522	21
6	744	21
7	1023	21
8	1287	21
9	1387	21
10	1427	21
11	1429	21
done	1429	21
0	11	20
1	24	20
2	48	10
3	141	10
4	301	10
5	521	10
6	741	10
7	1021	10
8	1283	10
9	1383	10
10	1423	10
done	1423	10
0	12	59
1	34	59
2	110	11
3	519	11
4	4023	11
done	5000	11
0	11	20
1	24	20
2	48	10
3	141	10
4	301	10
5	521	10
6	741	10
7	1021	10
8	1283	10
9	1383	10
10	1423	10
done	1423	10
0	11	20
1	24	20
2	48	10
3	141	10
4	301	10
5	521	10
6	741	10
7	1021	10
8	1283	10
9	1383	10
10	1423	10
done	1423	10
0	27	83
1	77	75
2	198	37
3	783	37
4	4220	37
done	5000	37
0	17	49
1	38	19
2	118	19
3	490	19
4	1619	19
done	5000	19
0	33	75
1	96	69
2	268	69
3	1171	65
done	5000	65
0	20	41
1	49	35
2	166	35
3	609	35
4	1980	35
done	5000	35
0	33	75
1	96	69
2	294	69
3	1242	65
done	5001	65
0	20	41
1	49	35
2	172	35
3	653	35
4	1958	35
done	5000	35
0	35	67
1	102	63
2	287	63
3	1093	59
done	5001	55
0	21	33
1	50	29
2	152	29
3	541	29
4	1696	29
done	5001	29
0	33	55
1	98	51
2	254	51
3	916	51
4	4353	51
done	5000	51
0	25	49
1	59	41
2	186	41
3	749	41
4	2767	41
done	5000	41
0	33	59
1	92	55
2	251	55
3	975	55
4	4901	55
done	5000	55
0	21	33
1	53	29
2	156	29
3	586	29
4	1795	29
done	5000	29
0	33	75
1	96	69
2	268	69
3	1171	65
done	5000	65
0	20	41
1	49	35
2	166	35
3	609	35
4	1969	35
done	5001	35
0	23	67
1	61	63
2	145	31
3	589	27
4	2582	27
done	5000	27
0	13	33
1	28	13
2	80	13
3	212	13
4	491	13
5	1039	13
6	1199	13
7	1201	13
done	1201	13
0	35	67
1	102	63
2	287	63
3	1147	55
4	4768	55
done	5000	55
0	21	33
1	50	29
2	152	29
3	398	29
4	931	29
5	1934	29
6	2391	29
7	2399	29
done	2399	29
0	29	59
1	80	57
2	225	57
3	842	49
4	3429	45
done	5000	45
0	16	25
1	39	23
2	114	23
3	248	23
4	542	23
5	1178	23
6	1278	23
done	1278	23
0	29	47
1	81	45
2	205	45
3	760	41
4	3015	41
done	5000	41
0	21	41
1	49	35
2	148	35
3	474	35
4	1642	35
done	5001	35
0	29	51
1	75	49
2	202	49
3	817	45
4	3550	45
done	5001	45
0	17	25
1	43	23
2	118	23
3	308	23
4	678	23
5	1331	23
6	1579	23
7	1685	23
8	1709	23
9	1710	23
done	1710	23
0	33	75
1	96	69
2	294	69
3	1242	65
done	5000	65
0	20	41
1	49	35
2	172	35
3	655	35
4	1947	35
done	5001	35
0	35	67
1	102	63
2	287	63
3	1145	55
4	4750	55
done	5000	55
0	21	33
1	50	29
2	152	29
3	400	29
4	940	29
5	1963	29
6	2405	29
7	2413	29
done	2413	29
0	23	67
1	61	63
2	167	31
3	656	27
4	2935	27
done	5000	27
0	13	33
1	28	13
2	82	13
3	214	13
4	449	13
5	1007	13
6	1350	13
7	1364	13
done	1364	13
0	29	59
1	80	57
2	242	57
3	890	49
4	3692	45
done	5000	45
0	16	25
1	39	23
2	112	23
3	242	23
4	504	23
5	1108	23
6	1515	23
7	1517	23
done	1517	23
0	29	47
1	81	45
2	227	45
3	849	41
4	3394	41
done	5000	41
0	21	41
1	49	35
2	150	35
3	476	35
4	1593	35
done	5001	35
0	29	51
1	75	49
2	224	49
3	906	45
4	3952	45
done	5001	45
0	17	25
1	43	23
2	120	23
3	310	23
4	621	23
5	1272	23
6	1722	23
7	1843	23
8	1869	23
9	1870	23
done	1870	23
0	35	67
1	102	63
2	287	63
3	1095	59
done	5001	55
0	21	33
1	50	29
2	152	29
3	539	29
4	1700	29
done	5000	29
0	29	59
1	80	57
2	225	57
3	842	49
4	3428	45
done	5000	45
0	16	25
1	39	23
2	114	23
3	248	23
4	556	23
5	1162	23
6	1258	23
done	1258	23
0	29	59
1	80	57
2	242	57
3	892	49
4	3698	45
done	5000	45
0	16	25
1	39	23
2	112	23
3	240	23
4	518	23
5	1130	23
6	1482	23
7	1484	23
done	1484	23
0	18	51
1	41	51
2	107	25
3	384	21
4	1601	17
done	5000	17
0	9	17
1	18	7
2	44	7
3	64	7
4	92	7
5	98	7
done	98	7
0	25	39
1	64	39
2	178	39
3	587	35
4	2066	31
done	5000	31
0	17	33
1	39	29
2	112	29
3	325	29
4	1227	29
done	5000	29
0	24	43
1	54	43
2	168	43
3	634	39
4	2605	35
done	5001	35
0	13	17
1	33	17
2	82	17
3	160	17
4	262	17
5	367	17
6	493	17
7	597	17
8	623	17
9	624	17
done	624	17
0	33	55
1	98	51
2	254	51
3	918	51
4	4336	51
done	5000	51
0	25	49
1	59	41
2	186	41
3	749	41
4	2750	41
done	5000	41
0	29	47
1	81	45
2	205	45
3	762	41
4	3026	41
done	5000	41
0	21	41
1	49	35
2	148	35
3	472	35
4	1640	35
done	5000	35
0	29	47
1	81	45
2	227	45
3	851	41
4	3426	41
done	5001	41
0	21	41
1	49	35
2	150	35
3	474	35
4	1599	35
done	5000	35
0	25	39
1	64	39
2	178	39
3	587	35
4	2073	31
done	5001	31
0	17	33
1	39	29
2	112	29
3	325	29
4	1236	29
done	5000	29
0	13	27
1	35	27
2	71	13
3	181	13
4	538	13
5	2059	13
done	5001	13
0	13	49
1	25	19
2	74	19
3	269	19
4	1153	19
done	5000	19
0	17	31
1	42	31
2	104	31
3	331	31
4	1343	31
done	5000	31
0	15	33
1	34	29
2	103	29
3	355	29
4	1320	29
done	5000	29
0	33	59
1	92	55
2	251	55
3	975	55
4	4897	55
done	5000	55
0	21	33
1	53	29
2	156	29
3	586	29
4	1792	29
done	5001	29
0	29	51
1	75	49
2	202	49
3	817	45
4	3578	45
done	5001	45
0	17	25
1	43	23
2	118	23
3	308	23
4	675	23
5	1369	23
6	1639	23
7	1745	23
8	1771	23
9	1772	23
done	1772	23
0	29	51
1	75	49
2	224	49
3	908	45
4	3949	45
done	5000	45
0	17	25
1	43	23
2	120	23
3	308	23
4	624	23
5	1256	23
6	1713	23
7	1834	23
8	1858	23
9	1859	23
done	1859	23
0	24	43
1	54	43
2	168	43
3	634	39
4	2591	35
done	5001	35
0	13	17
1	33	17
2	82	17
3	160	17
4	261	17
5	361	17
6	487	17
7	594	17
8	620	17
9	621	17
done	621	17
0	17	31
1	42	31
2	104	31
3	331	31
4	1343	31
done	5001	31
0	15	33
1	34	29
2	103	29
3	355	29
4	1318	29
done	5000	29
0	12	35
1	25	35
2	61	17
3	236	17
4	1258	17
done	5000	17
0	9	17
1	19	7
2	44	7
3	102	7
4	180	7
5	274	7
6	400	7
7	507	7
8	533	7
9	537	7
10	541	7
11	547	7
done	547	7
0	12	30
1	27	30
2	63	30
3	129	30
4	220	30
5	327	30
6	437	30
7	511	30
8	536	30
done	536	30
0	13	29
1	27	20
2	56	20
3	112	20
4	203	20
5	309	20
6	420	20
7	491	20
8	516	20
done	516	20
0	11	20
1	24	20
2	53	20
3	109	20
4	198	20
5	305	20
6	415	20
7	486	20
8	513	20
done	513	20
0	12	13
1	27	12
2	56	12
3	112	10
4	206	10
5	314	10
6	426	10
7	497	10
8	523	10
done	523	10
0	12	13
1	27	12
2	56	12
3	112	10
4	206	10
5	314	10
6	426	10
7	497	10
8	523	10
done	523	10
0	12	13
1	27	12
2	56	12
3	112	10
4	206	10
5	314	10
6	426	10
7	497	10
8	523	10
done	523	10
0	12	13
1	27	12
2	56	12
3	112	10
4	206	10
5	314	10
6	426	10
7	497	10
8	523	10
done	523	10
0	12	13
1	27	12
2	56	12
3	112	10
4	206	10
5	314	10
6	426	10
7	497	10
8	523	10
done	523	10
0	11	20
1	24	20
2	53	20
3	109	20
4	198	20
5	305	20
6	415	20
7	486	20
8	513	20
done	513	20
0	11	12
1	26	10
2	61	10
3	123	10
4	214	10
5	318	10
6	429	10
7	500	10
8	526	10
done	526	10
0	9	17
1	18	7
2	42	7
3	98	7
4	187	7
5	292	7
6	403	7
7	477	7
8	508	7
9	512	7
10	518	7
done	518	7
0	31	51
1	90	47
2	237	47
3	857	47
4	4097	47
done	5000	47
0	27	43
1	73	41
2	188	41
3	709	37
4	2793	37
done	5001	37
0	27	43
1	73	41
2	210	41
3	798	37
4	3177	37
done	5000	37
0	22	35
1	52	35
2	154	35
3	530	31
4	1821	27
done	5001	27
0	15	23
1	42	23
2	104	23
3	261	23
4	634	23
5	1948	23
done	5001	23
0	14	27
1	31	27
2	84	27
3	278	27
4	1275	27
done	5000	27
0	31	51
1	90	47
2	237	47
3	857	47
4	4114	47
done	5000	47
0	27	43
1	73	41
2	188	41
3	709	37
4	2774	37
done	5001	37
0	27	43
1	73	41
2	210	41
3	798	37
4	3201	37
done	5000	37
0	22	35
1	52	35
2	154	35
3	532	31
4	1814	27
done	5001	27
0	15	23
1	42	23
2	104	23
3	261	23
4	634	23
5	1948	23
done	5000	23
0	14	27
1	31	27
2	84	27
3	278	27
4	1275	27
done	5000	27
0	9	10
1	19	10
2	42	10
3	98	10
4	189	10
5	294	10
6	406	10
7	480	10
8	509	10
done	509	10
0	11	12
1	21	12
2	44	12
3	100	12
4	190	12
5	295	12
6	407	12
7	476	12
8	505	12
done	505	12
0	10	11
1	23	11
2	47	11
3	103	11
4	193	11
5	300	11
6	412	11
7	483	11
8	511	11
done	511	11
0	10	11
1	22	11
2	51	11
3	115	11
4	228	11
5	393	11
6	647	11
7	1192	11
8	3227	11
done	5000	11
0	13	32
1	29	22
2	94	14
3	443	14
4	1446	12
5	3336	12
done	5000	12
0	11	23
1	21	23
2	44	23
3	100	23
4	190	23
5	294	23
6	406	23
7	475	23
8	503	23
done	503	23
0	10	11
1	20	11
2	43	11
3	99	11
4	189	11
5	293	11
6	405	11
7	479	11
8	506	11
done	506	11
0	11	32
1	31	32
2	83	12
3	293	12
4	1118	12
5	2610	12
6	4780	12
done	5000	12
0	10	11
1	20	11
2	43	11
3	99	11
4	189	11
5	293	11
6	405	11
7	479	11
8	506	11
done	506	11
0	10	11
1	20	11
2	43	11
3	99	11
4	189	11
5	293	11
6	405	11
7	479	11
8	506	11
done	506	11
0	11	12
1	21	12
2	44	12
3	100	12
4	190	12
5	295	12
6	407	12
7	476	12
8	505	12
done	505	12
0	11	12
1	21	12
2	44	12
3	100	12
4	190	12
5	295	12
6	407	12
7	476	12
8	505	12
done	505	12
0	11	12
1	21	12
2	44	12
3	100	12
4	190	12
5	295	12
6	407	12
7	476	12
8	505	12
done	505	12
0	11	12
1	21	12
2	44	12
3	100	12
4	190	12
5	295	12
6	407	12
7	476	12
8	505	12
done	505	12
0	11	21
1	23	21
2	48	21
3	104	21
4	194	21
5	301	21
6	413	21
7	482	21
8	509	21
done	509	21
0	11	20
1	22	11
2	45	11
3	101	11
4	191	11
5	298	11
6	410	11
7	479	11
8	504	11
done	504	11
0	10	11
1	20	11
2	43	11
3	99	11
4	189	11
5	293	11
6	405	11
7	479	11
8	506	11
done	506	11
0	4	4
1	7	3
done	7	3
0	4	4
1	7	3
done	7	3
0	4	4
1	7	3
done	7	3
0	4	4
1	7	3
done	7	3
0	4	4
1	7	3
done	7	3
0	10	11
1	20	11
2	43	11
3	99	11
4	189	11
5	293	11
6	405	11
7	479	11
8	506	11
done	506	11
0	3	3
1	6	1
done	6	1
0	10	11
1	20	11
2	43	11
3	99	11
4	189	11
5	294	11
6	406	11
7	479	11
8	507	11
done	507	11
0	10	11
1	20	11
2	43	11
3	99	11
4	189	11
5	294	11
6	406	11
7	479	11
8	507	11
done	507	11
0	9	10
1	19	10
2	42	10
3	98	10
4	189	10
5	294	10
6	406	10
7	480	10
8	509	10
done	509	10
0	26	42
1	73	38
2	193	38
3	757	38
4	3936	38
done	5000	38
0	22	34
1	57	32
2	140	32
3	563	28
4	2340	28
done	5001	28
0	22	34
1	57	32
2	162	32
3	630	28
4	2646	28
done	5001	28
0	17	26
1	37	26
2	102	26
3	358	22
4	1359	18
done	5001	18
0	12	14
1	31	14
2	66	14
3	167	14
4	454	14
5	1577	14
done	5000	14
0	11	18
1	21	18
2	56	18
3	214	18
4	1006	18
5	4596	18
done	5000	18
0	9	9
1	18	9
2	41	9
3	97	9
4	188	9
5	293	9
6	405	9
7	477	9
8	504	9
done	504	9
0	9	9
1	18	9
2	41	9
3	97	9
4	188	9
5	293	9
6	405	9
7	477	9
8	504	9
done	504	9
0	10	19
1	19	19
2	42	19
3	98	19
4	189	19
5	294	19
6	406	19
7	480	19
8	508	19
done	508	19
0	9	9
1	18	9
2	41	9
3	97	9
4	188	9
5	293	9
6	405	9
7	477	9
8	504	9
done	504	9
0	10	26
1	20	16
2	54	10
3	151	10
4	324	10
5	557	10
6	802	10
7	1150	10
8	1635	10
9	2714	10
done	5001	10
0	10	18
1	20	9
2	43	9
3	99	9
4	188	9
5	292	9
6	404	9
7	471	9
8	499	9
done	499	9
0	9	9
1	18	9
2	41	9
3	97	9
4	188	9
5	293	9
6	405	9
7	477	9
8	504	9
done	504	9
0	9	9
1	18	9
2	41	9
3	97	9
4	188	9
5	293	9
6	405	9
7	477	9
8	504	9
done	504	9
0	9	9
1	18	9
2	41	9
3	97	9
4	188	9
5	293	9
6	405	9
7	477	9
8	504	9
done	504	9
0	2	2
1	4	1
done	4	1
0	8	8
1	17	8
2	40	8
3	96	8
4	187	8
5	291	8
6	403	8
7	478	8
8	503	8
done	503	8
0	2	2
1	4	1
done	4	1
0	8	8
1	17	8
2	40	8
3	96	8
4	187	8
5	291	8
6	403	8
7	478	8
8	503	8
done	503	8
0	2	2
1	4	1
done	4	1
0	8	8
1	17	8
2	40	8
3	96	8
4	187	8
5	291	8
6	403	8
7	478	8
8	503	8
done	503	8
0	2	2
1	4	1
done	4	1
0	8	8
1	17	8
2	40	8
3	96	8
4	187	8
5	291	8
6	403	8
7	478	8
8	503	8
done	503	8
0	2	2
1	4	1
done	4	1
0	8	8
1	17	8
2	40	8
3	96	8
4	187	8
5	291	8
6	403	8
7	478	8
8	503	8
done	503	8
0	25	40
1	71	36
2	191	36
3	757	36
4	3919	36
done	5000	36
0	16	24
1	37	20
2	116	20
3	488	20
4	1617	20
done	5001	20
0	21	32
1	55	30
2	138	30
3	561	26
4	2338	26
done	5001	26
0	12	16
1	27	14
2	78	14
3	210	14
4	493	14
5	1035	14
6	1170	14
7	1172	14
done	1172	14
0	21	32
1	55	30
2	160	30
3	626	26
4	2644	26
done	5000	26
0	12	16
1	27	14
2	80	14
3	212	14
4	451	14
5	999	14
6	1349	14
7	1363	14
done	1363	14
0	16	24
1	35	24
2	100	24
3	356	20
4	1354	16
done	5001	16
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	11	12
1	29	12
2	64	12
3	165	12
4	450	12
5	1591	12
done	5000	12
0	12	24
1	24	20
2	72	20
3	267	20
4	1151	20
done	5000	20
0	10	16
1	19	16
2	54	16
3	212	16
4	1004	16
5	4603	16
done	5000	16
0	8	8
1	18	8
2	42	8
3	100	8
4	181	8
5	273	8
6	399	8
7	508	8
8	534	8
9	535	8
done	535	8
0	3	3
1	6	1
done	6	1
0	9	9
1	18	9
2	41	9
3	97	9
4	188	9
5	293	9
6	405	9
7	477	9
8	504	9
done	504	9
0	9	9
1	18	9
2	41	9
3	97	9
4	188	9
5	293	9
6	405	9
7	477	9
8	504	9
done	504	9
0	9	9
1	18	9
2	41	9
3	97	9
4	188	9
5	293	9
6	405	9
7	477	9
8	504	9
done	504	9
0	9	9
1	18	9
2	41	9
3	97	9
4	188	9
5	293	9
6	405	9
7	477	9
8	504	9
done	504	9
0	10	19
1	19	19
2	42	19
3	98	19
4	189	19
5	294	19
6	406	19
7	480	19
8	508	19
done	508	19
0	9	9
1	18	9
2	41	9
3	97	9
4	188	9
5	293	9
6	405	9
7	477	9
8	504	9
done	504	9
0	10	26
1	20	16
2	54	10
3	151	10
4	324	10
5	557	10
6	802	10
7	1150	10
8	1635	10
9	2714	10
done	5001	10
0	10	18
1	20	9
2	43	9
3	99	9
4	188	9
5	292	9
6	404	9
7	471	9
8	499	9
done	499	9
0	9	9
1	18	9
2	41	9
3	97	9
4	188	9
5	293	9
6	405	9
7	477	9
8	504	9
done	504	9
0	9	9
1	18	9
2	41	9
3	97	9
4	188	9
5	293	9
6	405	9
7	477	9
8	504	9
done	504	9
0	9	9
1	18	9
2	41	9
3	97	9
4	188	9
5	293	9
6	405	9
7	477	9
8	504	9
done	504	9
0	2	2
1	4	1
done	4	1
0	8	8
1	17	8
2	40	8
3	96	8
4	187	8
5	291	8
6	403	8
7	478	8
8	503	8
done	503	8
0	2	2
1	4	1
done	4	1
0	8	8
1	17	8
2	40	8
3	96	8
4	187	8
5	291	8
6	403	8
7	478	8
8	503	8
done	503	8
0	2	2
1	4	1
done	4	1
0	8	8
1	17	8
2	40	8
3	96	8
4	187	8
5	291	8
6	403	8
7	478	8
8	503	8
done	503	8
0	2	2
1	4	1
done	4	1
0	8	8
1	17	8
2	40	8
3	96	8
4	187	8
5	291	8
6	403	8
7	478	8
8	503	8
done	503	8
0	2	2
1	4	1
done	4	1
0	8	8
1	17	8
2	40	8
3	96	8
4	187	8
5	291	8
6	403	8
7	478	8
8	503	8
done	503	8
0	25	40
1	71	36
2	191	36
3	757	36
4	3919	36
done	5000	36
0	16	24
1	37	20
2	116	20
3	488	20
4	1617	20
done	5001	20
0	21	32
1	55	30
2	138	30
3	561	26
4	2338	26
done	5001	26
0	12	16
1	27	14
2	78	14
3	210	14
4	493	14
5	1035	14
6	1170	14
7	1172	14
done	1172	14
0	21	32
1	55	30
2	160	30
3	626	26
4	2644	26
done	5000	26
0	12	16
1	27	14
2	80	14
3	212	14
4	451	14
5	999	14
6	1349	14
7	1363	14
done	1363	14
0	16	24
1	35	24
2	100	24
3	356	20
4	1354	16
done	5001	16
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	11	12
1	29	12
2	64	12
3	165	12
4	450	12
5	1591	12
done	5000	12
0	12	24
1	24	20
2	72	20
3	267	20
4	1151	20
done	5000	20
0	10	16
1	19	16
2	54	16
3	212	16
4	1004	16
5	4603	16
done	5000	16
0	8	8
1	18	8
2	42	8
3	100	8
4	181	8
5	273	8
6	399	8
7	508	8
8	534	8
9	535	8
done	535	8
0	3	3
1	6	1
done	6	1
0	9	9
1	18	9
2	41	9
3	97	9
4	188	9
5	293	9
6	405	9
7	477	9
8	504	9
done	504	9
0	9	9
1	18	9
2	41	9
3	97	9
4	188	9
5	293	9
6	405	9
7	477	9
8	504	9
done	504	9
0	9	11
1	23	9
2	50	7
3	70	7
4	96	7
5	130	7
6	192	7
7	331	7
8	627	7
9	1601	7
done	5000	7
0	9	11
1	19	9
2	38	7
3	58	7
4	74	7
5	97	7
6	137	7
7	212	7
8	279	7
9	306	7
10	357	7
11	431	7
12	442	7
done	442	7
0	9	11
1	19	9
2	38	7
3	58	7
4	74	7
5	97	7
6	137	7
7	212	7
8	279	7
9	306	7
10	357	7
11	431	7
12	442	7
done	442	7
0	17	23
1	46	21
2	127	17
3	287	15
4	678	11
5	1258	11
6	2071	11
7	3879	11
done	5001	11
0	9	11
1	17	11
2	36	9
3	60	7
4	80	7
5	103	7
6	143	7
7	218	7
8	310	7
9	366	7
10	480	7
11	486	7
done	486	7
0	9	11
1	17	11
2	32	9
3	66	7
4	107	7
5	152	7
6	230	7
7	322	7
8	432	7
9	452	7
done	452	7
0	13	17
1	32	15
2	74	11
3	166	9
4	321	9
5	432	9
6	670	9
7	1105	9
8	1537	9
9	1611	9
done	1611	9
0	13	17
1	25	17
2	46	17
3	88	15
4	164	13
5	296	9
6	525	9
7	822	9
8	1125	9
9	1238	9
10	1273	9
11	1275	9
done	1275	9
0	13	17
1	26	17
2	48	17
3	76	15
4	123	13
5	231	9
6	374	9
7	590	9
8	856	9
9	1093	9
10	1432	9
11	1448	9
done	1448	9
0	13	17
1	32	15
2	74	11
3	166	9
4	321	9
5	432	9
6	670	9
7	1105	9
8	1537	9
9	1611	9
done	1611	9
0	13	17
1	25	17
2	46	17
3	88	15
4	164	13
5	296	9
6	525	9
7	822	9
8	1125	9
9	1238	9
10	1273	9
11	1275	9
done	1275	9
0	13	17
1	26	17
2	48	17
3	76	15
4	123	13
5	231	9
6	374	9
7	590	9
8	856	9
9	1093	9
10	1432	9
11	1448	9
done	1448	9

prune219.0ms

Filtered

128 candidates to 163 candidates (-27.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Merged error: 0b

Counts

166 → 3

regimes255.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	9
1	10	9
done	10	9

end0.0ms

sample1.1s

Algorithm

intervals

Results

564.0ms

11899×

body

valid

Details

sample40.0ms

simplify2.2s

prune11.0ms

localize7.0ms

rewrite15.0ms

series13.0ms

simplify40.6s

prune53.0ms

localize11.0ms

rewrite22.0ms

series43.0ms

simplify1.1min

prune65.0ms

localize10.0ms

rewrite80.0ms

series164.0ms

simplify4.9min

prune219.0ms

regimes255.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling