Details

sample34.0ms

Algorithm

intervals

Results

11.0ms

382×

body

valid

simplify23.7s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	28	9
3	70	9
4	174	9
5	371	9
6	690	9
7	1226	9
8	2341	9
9	2940	9
10	3119	9
11	3418	9
12	3849	9
13	4250	9
14	4590	9
15	4847	9
16	4871	9
done	4871	9

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

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ x (* (- y z) (- t x)))
0.0b	(* (- y z) (- t x))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
8×	`*-un-lft-identity`
6×	`flip3--` `flip--`
5×	`associate-r` `associate-l`
4×	`pow1` `add-exp-log` `distribute-rgt-in` `frac-times` `add-cube-cbrt` `sub-neg` `associate-+r+` `distribute-lft-in` `add-cbrt-cube` `add-log-exp`
2×	`associate-r/` `associate-l/` `distribute-lft-out--` `difference-of-squares`
1×	`+-commutative` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

2 → 49

Calls

2 calls:

5.0ms	(+ x (* (- y z) (- t x)))
11.0ms	(* (- y z) (- t x))

series28.0ms

Counts

2 → 6

Calls

2 calls:

17.0ms	(+ x (* (- y z) (- t x)))
11.0ms	(* (- y z) (- t x))

simplify3.2min

Counts

55 → 55

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	12	7
2	26	7
3	60	7
4	124	7
5	216	7
6	291	7
7	415	7
8	653	7
9	812	7
10	819	7
done	819	7
0	9	9
1	14	9
2	16	9
done	16	9
0	8	8
1	16	8
2	31	8
3	65	8
4	129	8
5	223	8
6	298	8
7	422	8
8	660	8
9	823	8
10	830	8
done	830	8
0	8	8
1	15	8
2	40	8
3	100	8
4	228	8
5	512	8
6	1224	8
7	4841	8
done	5000	8
0	11	23
1	22	23
2	79	11
3	338	11
4	1589	9
done	5001	9
0	9	17
1	14	17
2	28	17
3	62	17
4	126	17
5	222	17
6	297	17
7	421	17
8	659	17
9	818	17
10	825	17
done	825	17
0	8	8
1	13	8
2	27	8
3	61	8
4	125	8
5	219	8
6	294	8
7	418	8
8	656	8
9	815	8
10	822	8
done	822	8
0	9	23
1	24	23
2	103	9
3	532	9
4	2485	9
done	5000	9
0	8	8
1	13	8
2	27	8
3	61	8
4	125	8
5	219	8
6	294	8
7	418	8
8	656	8
9	815	8
10	822	8
done	822	8
0	8	8
1	13	8
2	27	8
3	61	8
4	125	8
5	219	8
6	294	8
7	418	8
8	656	8
9	815	8
10	822	8
done	822	8
0	12	15
1	40	15
2	93	15
3	288	15
4	1330	15
done	5001	15
0	15	23
1	36	19
2	115	19
3	485	19
4	1614	19
done	5000	19
0	12	15
1	33	15
2	78	15
3	259	15
4	1286	15
done	5001	15
0	11	15
1	26	13
2	77	13
3	209	13
4	486	13
5	1009	13
6	1178	13
7	1180	13
done	1180	13
0	12	15
1	33	15
2	78	15
3	259	15
4	1285	15
done	5000	15
0	11	15
1	26	13
2	79	13
3	211	13
4	446	13
5	987	13
6	1364	13
7	1378	13
done	1378	13
0	11	15
1	22	15
2	56	15
3	226	15
4	1041	15
5	3745	15
done	5000	15
0	7	7
1	16	7
2	41	7
3	61	7
4	87	7
5	95	7
done	95	7
0	9	9
1	14	9
2	16	9
done	16	9
0	9	9
1	14	9
2	16	9
done	16	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	6	6
1	11	6
2	21	6
3	43	6
4	67	5
5	73	5
done	73	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	6	6
1	11	6
2	21	6
3	43	6
4	67	5
5	73	5
done	73	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	6	6
1	11	6
2	27	6
3	45	6
4	66	5
5	71	5
done	71	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	6	6
1	11	6
2	27	6
3	45	6
4	66	5
5	71	5
done	71	5
0	9	13
1	16	13
2	26	13
3	43	13
4	57	13
5	67	13
done	67	13
0	8	8
1	13	8
2	21	8
3	26	8
4	30	8
done	30	8
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	9	9
1	19	9
2	39	9
3	66	9
4	113	9
5	162	9
6	232	9
7	413	9
8	649	9
9	722	9
10	726	9
done	726	9
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	8	8
1	13	8
2	21	8
3	26	8
4	30	8
done	30	8
0	8	8
1	13	8
2	21	8
3	26	8
4	30	8
done	30	8
0	7	7
1	12	7
2	26	7
3	60	7
4	124	7
5	216	7
6	291	7
7	415	7
8	653	7
9	812	7
10	819	7
done	819	7
0	9	9
1	14	9
2	28	9
3	62	9
4	126	9
5	222	9
6	297	9
7	427	9
8	646	9
9	803	9
10	810	9
done	810	9
0	7	7
1	12	7
2	26	7
3	60	7
4	124	7
5	216	7
6	291	7
7	415	7
8	653	7
9	812	7
10	819	7
done	819	7
0	10	11
1	28	11
2	63	11
3	179	11
4	616	11
5	2285	11
done	5001	11
0	9	11
1	17	11
2	41	11
3	136	11
4	427	11
5	1042	11
6	2916	11
done	5000	11
0	10	11
1	28	11
2	63	11
3	179	11
4	615	11
5	2298	11
done	5000	11
0	9	11
1	17	11
2	41	11
3	136	11
4	427	11
5	1044	11
6	2909	11
done	5000	11
0	10	11
1	20	10
2	46	10
3	117	10
4	313	10
5	833	10
6	2252	10
done	5001	10
0	9	10
1	15	10
2	29	10
3	71	10
4	175	10
5	383	10
6	705	10
7	1240	10
8	2368	10
9	2961	10
10	3142	10
11	3443	10
12	3876	10
13	4281	10
14	4617	10
15	4885	10
16	4915	10
17	4923	10
18	4940	10
19	4961	10
done	5000	10
0	9	10
1	18	10
2	37	10
3	103	10
4	276	10
5	746	10
6	2024	10
done	5001	10
0	10	21
1	16	21
2	30	21
3	72	21
4	176	21
5	370	21
6	689	21
7	1226	21
8	2348	21
9	2946	21
10	3129	21
11	3438	21
12	3865	21
13	4266	21
14	4600	21
15	4861	21
16	4885	21
done	4885	21
0	9	10
1	15	10
2	29	10
3	71	10
4	175	10
5	383	10
6	705	10
7	1240	10
8	2368	10
9	2961	10
10	3142	10
11	3443	10
12	3876	10
13	4281	10
14	4617	10
15	4883	10
16	4907	10
done	4907	10
0	10	29
1	29	29
2	91	11
3	418	11
4	2602	11
done	5000	11
0	9	10
1	15	10
2	29	10
3	71	10
4	175	10
5	383	10
6	705	10
7	1240	10
8	2368	10
9	2961	10
10	3142	10
11	3443	10
12	3876	10
13	4281	10
14	4617	10
15	4883	10
16	4907	10
done	4907	10
0	9	10
1	15	10
2	29	10
3	71	10
4	175	10
5	383	10
6	705	10
7	1240	10
8	2368	10
9	2961	10
10	3142	10
11	3443	10
12	3876	10
13	4281	10
14	4617	10
15	4883	10
16	4907	10
done	4907	10
0	11	13
1	33	13
2	85	13
3	351	13
4	1602	13
done	5000	13
0	12	29
1	34	21
2	125	21
3	507	21
4	2024	21
done	5001	21
0	10	19
1	27	19
2	95	19
3	430	19
4	1870	19
done	5000	19
0	8	9
1	15	9
2	36	9
3	104	9
4	281	9
5	739	9
6	1139	9
7	1783	9
8	2455	9
9	2759	9
10	2922	9
11	3228	9
12	3661	9
13	4060	9
14	4386	9
15	4656	9
16	4680	9
done	4680	9
0	7	7
1	11	7
2	18	7
3	27	7
4	36	7
5	39	7
6	45	7
7	56	7
8	79	7
9	106	7
10	135	7
11	149	7
12	170	7
13	193	7
14	194	7
done	194	7
0	7	7
1	11	7
2	18	7
3	27	7
4	36	7
5	39	7
6	45	7
7	56	7
8	79	7
9	106	7
10	135	7
11	149	7
12	170	7
13	193	7
14	194	7
done	194	7
0	7	7
1	11	7
2	18	7
3	27	7
4	36	7
5	39	7
6	45	7
7	56	7
8	79	7
9	106	7
10	135	7
11	149	7
12	170	7
13	193	7
14	194	7
done	194	7
0	7	7
1	11	7
2	18	7
3	27	7
4	36	7
5	39	7
6	45	7
7	56	7
8	79	7
9	106	7
10	135	7
11	149	7
12	170	7
13	193	7
14	194	7
done	194	7
0	1	1
done	1	1
0	9	11
1	17	11
2	28	9
3	54	9
4	69	9
5	98	9
6	153	9
7	208	9
8	228	9
9	235	9
done	235	9
0	9	11
1	17	11
2	28	9
3	54	9
4	69	9
5	98	9
6	153	9
7	208	9
8	228	9
9	235	9
done	235	9
0	7	9
1	14	9
2	32	7
3	52	7
4	75	7
5	97	7
6	126	7
7	161	7
8	204	7
9	245	7
10	318	7
11	468	7
12	836	7
13	1008	7
done	1008	7
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9

prune75.0ms

Filtered

42 candidates to 55 candidates (-31.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	53	2	55
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	54	2	56

Merged error: 0.0b

Counts

56 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- y z) (neg x))
0.0b	(+ (+ x (* (- y z) t)) (* (- y z) (neg x)))
0.0b	(+ x (* (- y z) t))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt`
10×	`associate-r` `add-log-exp`
9×	`*-un-lft-identity`
7×	`add-cube-cbrt`
6×	`associate-*l/`
5×	`pow1` `add-exp-log` `associate-l` `add-cbrt-cube`
4×	`flip3-+` `frac-add` `sum-log` `flip-+`
3×	`distribute-lft-neg-in` `flip3--` `distribute-rgt-neg-in` `distribute-rgt-neg-out` `flip--`
2×	`+-commutative`
1×	`neg-mul-1` `associate-+l+` `unsub-neg` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

3 → 60

Calls

3 calls:

9.0ms	(* (- y z) (neg x))
7.0ms	(+ (+ x (* (- y z) t)) (* (- y z) (neg x)))
4.0ms	(+ x (* (- y z) t))

series39.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(* (- y z) (neg x))
17.0ms	(+ (+ x (* (- y z) t)) (* (- y z) (neg x)))
13.0ms	(+ x (* (- y z) t))

simplify3.2min

Counts

69 → 69

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	17	8
2	36	8
3	63	8
4	133	8
5	268	8
6	678	8
7	2382	8
done	5001	8
0	8	8
1	12	8
2	19	8
3	28	8
4	37	8
5	40	8
6	46	8
7	57	8
8	80	8
9	107	8
10	136	8
11	150	8
12	171	8
13	194	8
14	195	8
done	195	8
0	8	8
1	15	8
2	27	8
3	52	8
4	99	8
5	197	8
6	474	8
7	1689	8
done	5000	8
0	9	17
1	13	17
2	20	17
3	29	17
4	38	17
5	41	17
6	47	17
7	58	17
8	81	17
9	108	17
10	137	17
11	151	17
12	172	17
13	195	17
14	196	17
done	196	17
0	8	8
1	12	8
2	19	8
3	28	8
4	37	8
5	40	8
6	46	8
7	57	8
8	80	8
9	107	8
10	136	8
11	150	8
12	171	8
13	194	8
14	195	8
done	195	8
0	9	23
1	26	23
2	81	9
3	315	9
4	1396	9
done	5001	9
0	8	8
1	12	8
2	19	8
3	28	8
4	37	8
5	40	8
6	46	8
7	57	8
8	80	8
9	107	8
10	136	8
11	150	8
12	171	8
13	194	8
14	195	8
done	195	8
0	8	8
1	12	8
2	19	8
3	28	8
4	37	8
5	40	8
6	46	8
7	57	8
8	80	8
9	107	8
10	136	8
11	150	8
12	171	8
13	194	8
14	195	8
done	195	8
0	10	11
1	30	11
2	75	11
3	242	11
4	762	11
5	2324	11
done	5000	11
0	11	23
1	31	17
2	98	17
3	289	17
4	751	17
5	1956	17
done	5000	17
0	9	15
1	24	15
2	73	15
3	242	15
4	723	15
5	1829	15
done	5000	15
0	7	7
1	12	7
2	26	7
3	48	7
4	79	7
5	90	7
6	103	7
7	118	7
8	152	7
9	182	7
10	183	7
done	183	7
0	13	17
1	28	16
2	76	15
3	200	11
4	640	10
5	3167	10
done	5000	10
0	12	16
1	27	15
2	71	14
3	179	11
4	531	10
5	2352	10
done	5000	10
0	11	15
1	21	15
2	47	11
3	111	10
4	265	10
5	547	10
6	1096	10
7	2111	10
8	2502	10
9	2672	10
10	2980	10
11	3405	10
12	3804	10
13	4136	10
14	4394	10
15	4424	10
16	4432	10
17	4449	10
18	4470	10
19	4550	10
20	4841	10
done	5001	10
0	11	15
1	24	15
2	64	11
3	175	10
4	485	10
5	1790	10
done	5001	10
0	12	31
1	22	31
2	48	23
3	110	21
4	264	21
5	550	21
6	1094	21
7	2101	21
8	2491	21
9	2664	21
10	2976	21
11	3401	21
12	3802	21
13	4148	21
14	4422	21
15	4446	21
done	4446	21
0	11	15
1	21	15
2	47	11
3	111	10
4	265	10
5	547	10
6	1096	10
7	2111	10
8	2502	10
9	2672	10
10	2980	10
11	3405	10
12	3804	10
13	4136	10
14	4392	10
15	4416	10
done	4416	10
0	12	44
1	35	44
2	153	12
3	898	11
done	5002	11
0	11	15
1	21	15
2	47	11
3	111	10
4	265	10
5	547	10
6	1096	10
7	2111	10
8	2502	10
9	2672	10
10	2980	10
11	3405	10
12	3804	10
13	4136	10
14	4392	10
15	4416	10
done	4416	10
0	11	15
1	21	15
2	47	11
3	111	10
4	265	10
5	547	10
6	1096	10
7	2111	10
8	2502	10
9	2672	10
10	2980	10
11	3405	10
12	3804	10
13	4136	10
14	4392	10
15	4416	10
done	4416	10
0	28	58
1	94	50
2	305	50
3	1369	49
done	5000	49
0	17	35
1	51	27
2	171	27
3	672	27
4	3125	27
done	5000	27
0	24	50
1	77	44
2	259	44
3	1197	43
done	5001	39
0	13	27
1	41	21
2	133	21
3	451	21
4	1550	21
done	5002	21
0	24	46
1	74	44
2	249	44
3	1178	36
done	5001	35
0	13	19
1	32	17
2	93	17
3	300	17
4	1110	17
5	3348	17
done	5000	17
0	19	38
1	53	38
2	196	38
3	912	30
4	4629	25
done	5000	25
0	9	11
1	22	11
2	55	11
3	146	11
4	415	11
5	868	11
6	2454	11
done	5000	11
0	13	18
1	37	18
2	120	18
3	488	17
4	2360	17
done	5000	17
0	14	44
1	44	37
2	181	37
3	737	30
4	3492	30
done	5000	30
0	12	29
1	37	29
2	145	27
3	579	21
4	2348	19
done	5000	19
0	10	14
1	21	14
2	51	10
3	127	9
4	303	9
5	628	9
6	1187	9
7	2060	9
8	2777	9
9	3017	9
10	3442	9
11	3845	9
12	4175	9
13	4435	9
14	4459	9
done	4459	9
0	9	12
1	18	8
2	38	7
3	83	7
4	152	7
5	228	7
6	319	7
7	533	7
8	697	7
9	709	7
done	709	7
0	6	6
1	11	6
2	21	6
3	43	6
4	67	5
5	73	5
done	73	5
0	8	8
1	11	8
2	12	8
done	12	8
0	7	7
1	15	7
2	26	7
3	51	7
4	76	6
5	82	6
done	82	6
0	7	7
1	14	7
2	38	7
3	83	7
4	163	6
5	303	6
6	677	6
7	2307	6
done	5001	6
0	10	20
1	26	18
2	87	10
3	332	10
4	1195	8
done	5001	8
0	8	15
1	13	15
2	23	15
3	45	15
4	69	13
5	75	13
done	75	13
0	7	7
1	12	7
2	22	7
3	44	7
4	68	6
5	74	6
done	74	6
0	8	20
1	23	20
2	104	8
3	513	8
4	2361	7
done	5000	7
0	7	7
1	12	7
2	22	7
3	44	7
4	68	6
5	74	6
done	74	6
0	7	7
1	12	7
2	22	7
3	44	7
4	68	6
5	74	6
done	74	6
0	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	11	8
2	12	8
done	12	8
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	11
1	13	11
2	22	11
3	39	11
4	53	11
5	63	11
done	63	11
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	5	5
1	8	5
2	16	4
3	25	4
4	36	3
5	38	3
done	38	3
0	8	10
1	16	10
2	35	10
3	87	10
4	137	9
5	179	9
6	253	9
7	282	9
8	334	9
9	338	9
done	338	9
0	7	7
1	12	7
2	22	7
3	44	7
4	68	6
5	74	6
6	84	6
7	98	6
8	123	6
9	125	6
done	125	6
0	6	6
1	14	5
2	24	4
3	51	4
4	93	3
done	93	3
0	7	9
1	12	9
2	21	9
3	38	9
4	50	9
5	58	9
done	58	9
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	7	7
1	12	7
2	16	7
3	17	7
done	17	7
0	7	7
1	12	7
2	16	7
3	17	7
done	17	7
0	6	6
1	11	6
2	21	6
3	43	6
4	67	5
5	73	5
done	73	5
0	8	8
1	13	8
2	23	8
3	45	8
4	69	7
5	77	7
done	77	7
0	6	6
1	11	6
2	21	6
3	43	6
4	67	5
5	73	5
done	73	5
0	9	10
1	27	10
2	58	10
3	162	10
4	501	9
5	1963	9
done	5000	9
0	8	10
1	16	10
2	38	10
3	116	10
4	327	9
5	665	9
6	1094	9
7	2054	9
done	5000	9
0	1	1
done	1	1
0	8	9
1	15	9
2	30	7
3	38	7
4	45	7
5	56	7
6	79	7
7	106	7
8	135	7
9	149	7
10	170	7
11	193	7
12	194	7
done	194	7
0	8	9
1	15	9
2	30	7
3	38	7
4	45	7
5	56	7
6	79	7
7	106	7
8	135	7
9	149	7
10	170	7
11	193	7
12	194	7
done	194	7
0	7	9
1	14	9
2	32	7
3	52	7
4	75	7
5	97	7
6	126	7
7	161	7
8	204	7
9	245	7
10	318	7
11	468	7
12	836	7
13	1008	7
done	1008	7
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	1	1
done	1	1
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

prune88.0ms

Filtered

60 candidates to 69 candidates (-15.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0.0b

Counts

71 → 2

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (- t x))
0.0b	(sqrt (- t x))
0.1b	(* (- y z) (sqrt (- t x)))
0.2b	(* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

46×	`sqrt-div`
35×	`flip3--` `flip--`
32×	`frac-times`
27×	`add-sqr-sqrt`
21×	`*-un-lft-identity` `sqrt-prod`
16×	`associate-r` `associate-*l/`
13×	`pow1`
11×	`add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
10×	`associate-*r/`
6×	`associate-l`
5×	`distribute-lft-out--` `difference-of-squares`
4×	`pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `*-commutative` `unswap-sqr`

Counts

4 → 117

Calls

4 calls:

10.0ms	(sqrt (- t x))
4.0ms	(sqrt (- t x))
12.0ms	(* (- y z) (sqrt (- t x)))
18.0ms	(* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))

series54.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(sqrt (- t x))
10.0ms	(sqrt (- t x))
21.0ms	(* (- y z) (sqrt (- t x)))
12.0ms	(* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))

simplify3.4min

Counts

129 → 129

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	13
1	17	13
2	26	7
3	54	7
4	95	7
5	166	7
6	262	7
7	337	7
8	461	7
9	716	7
10	944	7
11	994	7
12	995	7
done	995	7
0	9	13
1	17	13
2	26	7
3	54	7
4	95	7
5	166	7
6	262	7
7	337	7
8	461	7
9	716	7
10	944	7
11	994	7
12	995	7
done	995	7
0	11	16
1	19	16
2	24	12
3	25	12
done	25	12
0	11	15
1	19	15
2	30	15
3	38	12
4	43	12
done	43	12
0	10	14
1	21	14
2	36	8
3	68	8
4	111	8
5	183	8
6	277	8
7	352	8
8	476	8
9	732	8
10	964	8
11	1024	8
12	1039	8
13	1041	8
done	1041	8
0	10	14
1	20	14
2	39	8
3	94	8
4	208	8
5	460	8
6	1098	8
7	3153	8
done	5000	8
0	13	41
1	29	29
2	119	17
3	553	11
4	2812	11
done	5000	11
0	13	41
1	33	29
2	143	17
3	707	17
4	3547	9
done	5000	9
0	11	29
1	19	29
2	28	17
3	56	17
4	97	17
5	168	17
6	260	17
7	335	17
8	459	17
9	715	17
10	943	17
11	994	17
12	995	17
done	995	17
0	10	14
1	18	14
2	27	8
3	55	8
4	96	8
5	167	8
6	263	8
7	338	8
8	462	8
9	718	8
10	942	8
11	991	8
12	994	8
done	994	8
0	11	41
1	28	41
2	92	9
3	377	9
4	1916	9
done	5001	9
0	10	14
1	18	14
2	27	8
3	55	8
4	96	8
5	167	8
6	263	8
7	338	8
8	462	8
9	718	8
10	942	8
11	991	8
12	994	8
done	994	8
0	10	14
1	18	14
2	27	8
3	55	8
4	96	8
5	167	8
6	263	8
7	338	8
8	462	8
9	718	8
10	942	8
11	991	8
12	994	8
done	994	8
0	14	25
1	45	25
2	93	15
3	234	15
4	777	15
5	4516	15
done	5000	15
0	17	37
1	35	31
2	66	19
3	164	19
4	475	19
5	1509	19
done	5000	19
0	18	25
1	52	25
2	110	25
3	263	25
4	774	25
5	2647	25
done	5000	25
0	19	29
1	37	25
2	72	25
3	169	25
4	282	25
5	358	25
6	360	25
done	360	25
0	18	25
1	52	25
2	110	25
3	263	25
4	768	25
5	2614	25
done	5000	25
0	19	29
1	37	25
2	72	25
3	169	25
4	282	25
5	351	25
6	353	25
done	353	25
0	14	25
1	38	25
2	74	15
3	203	15
4	717	15
5	3682	15
done	5000	15
0	13	21
1	25	19
2	48	13
3	129	13
4	271	13
5	502	13
6	1028	13
7	1411	13
8	1433	13
done	1433	13
0	14	25
1	38	25
2	80	15
3	208	15
4	748	15
5	3752	15
done	5001	15
0	13	29
1	25	25
2	42	13
3	84	13
4	183	13
5	413	13
6	904	13
7	1306	13
8	1322	13
done	1322	13
0	18	25
1	45	25
2	97	25
3	233	25
4	581	25
5	1260	25
6	3485	25
done	5001	25
0	15	21
1	27	19
2	48	19
3	75	19
4	80	19
done	80	19
0	18	25
1	45	25
2	97	25
3	231	25
4	580	25
5	1254	25
6	3467	25
done	5000	25
0	15	21
1	27	19
2	48	19
3	75	19
4	80	19
done	80	19
0	13	25
1	27	25
2	54	15
3	169	15
4	675	15
5	2283	15
done	5000	15
0	9	13
1	15	13
2	24	7
3	49	7
4	73	7
5	105	7
6	135	7
7	137	7
done	137	7
0	12	21
1	33	21
2	63	11
3	129	11
4	346	11
5	1428	11
done	5001	11
0	9	25
1	16	9
2	25	9
3	26	9
4	27	9
done	27	9
0	16	21
1	40	21
2	80	21
3	152	21
4	287	21
5	682	21
6	2554	21
done	5001	21
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	16	21
1	40	21
2	80	21
3	152	21
4	286	21
5	672	21
6	2516	21
done	5001	21
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	11	21
1	22	21
2	37	11
3	88	11
4	256	11
5	638	11
6	1663	11
done	5000	11
0	5	9
1	6	3
2	7	3
done	7	3
0	16	21
1	49	21
2	102	21
3	244	21
4	733	21
5	2492	21
done	5000	21
0	16	24
1	31	20
2	61	20
3	96	20
4	116	20
5	118	20
done	118	20
0	16	21
1	41	21
2	87	21
3	221	21
4	644	21
5	2231	21
done	5001	21
0	12	16
1	21	14
2	43	14
3	77	14
4	100	14
5	102	14
done	102	14
0	16	21
1	42	21
2	89	21
3	212	21
4	538	21
5	1184	21
6	3339	21
done	5000	21
0	12	16
1	21	14
2	37	14
3	40	14
4	41	14
done	41	14
0	15	21
1	30	21
2	67	21
3	181	21
4	452	21
5	811	21
6	1359	21
7	3197	21
done	5000	21
0	8	8
1	11	8
2	19	8
done	19	8
0	11	20
1	21	20
2	42	20
3	85	20
4	141	20
5	195	20
6	234	20
7	239	20
done	239	20
0	12	19
1	21	14
2	35	14
3	62	14
4	83	14
5	102	14
6	108	14
done	108	14
0	10	14
1	18	14
2	32	14
3	61	14
4	82	14
5	101	14
6	109	14
done	109	14
0	11	11
1	21	10
2	35	10
3	62	8
4	94	8
5	117	8
6	129	8
done	129	8
0	13	15
1	22	15
2	36	15
3	63	15
4	84	15
5	103	15
6	109	15
done	109	15
0	11	11
1	21	10
2	35	10
3	62	8
4	94	8
5	117	8
6	129	8
done	129	8
0	10	14
1	18	14
2	32	14
3	61	14
4	82	14
5	101	14
6	109	14
done	109	14
0	10	10
1	20	8
2	40	8
3	69	8
4	105	8
5	130	8
6	142	8
done	142	8
0	5	9
1	7	3
2	9	3
done	9	3
0	14	17
1	37	17
2	72	17
3	133	17
4	244	17
5	597	17
6	2351	17
done	5000	17
0	13	17
1	25	17
2	50	17
3	102	17
4	151	17
5	218	17
6	373	17
7	1557	17
done	5000	17
0	16	21
1	49	21
2	102	21
3	244	21
4	744	21
5	2534	21
done	5001	21
0	16	21
1	41	21
2	87	21
3	221	21
4	660	21
5	2277	21
done	5000	21
0	16	21
1	42	21
2	89	21
3	212	21
4	544	21
5	1176	21
6	3374	21
done	5000	21
0	15	21
1	30	21
2	67	21
3	181	21
4	448	21
5	795	21
6	1338	21
7	3197	21
done	5001	21
0	14	17
1	37	17
2	72	17
3	133	17
4	241	17
5	598	17
6	2390	17
done	5001	17
0	13	17
1	25	17
2	50	17
3	102	17
4	151	17
5	225	17
6	382	17
7	1578	17
done	5001	17
0	12	17
1	33	17
2	63	11
3	169	11
4	540	11
5	2043	11
done	5001	11
0	11	17
1	22	17
2	43	11
3	131	11
4	396	11
5	864	11
6	2115	11
done	5001	11
0	8	8
1	13	8
2	21	8
3	26	8
4	30	8
done	30	8
0	10	10
1	15	10
2	17	10
done	17	10
0	9	9
1	17	9
2	26	9
3	31	9
4	35	9
done	35	9
0	9	9
1	16	9
2	35	9
3	54	9
4	97	9
5	182	9
6	433	9
7	1315	9
done	5001	9
0	12	26
1	23	20
2	75	12
3	282	12
4	1076	10
5	4671	10
done	5000	10
0	10	19
1	15	19
2	23	19
3	28	19
4	32	19
done	32	19
0	9	9
1	14	9
2	22	9
3	27	9
4	31	9
done	31	9
0	10	26
1	25	26
2	80	10
3	316	10
4	1168	10
5	4420	10
done	5000	10
0	9	9
1	14	9
2	22	9
3	27	9
4	31	9
done	31	9
0	9	9
1	14	9
2	22	9
3	27	9
4	31	9
done	31	9
0	13	16
1	41	16
2	88	16
3	198	16
4	469	16
5	1465	16
done	5000	16
0	16	24
1	31	20
2	61	20
3	96	20
4	116	20
5	118	20
done	118	20
0	13	16
1	34	16
2	69	16
3	163	16
4	374	16
5	1084	16
6	4754	16
done	5000	16
0	12	16
1	21	14
2	43	14
3	77	14
4	100	14
5	102	14
done	102	14
0	13	16
1	34	16
2	73	16
3	153	16
4	326	16
5	757	16
6	2704	16
done	5000	16
0	12	16
1	21	14
2	37	14
3	40	14
4	41	14
done	41	14
0	12	16
1	23	16
2	47	16
3	108	16
4	216	16
5	343	16
6	564	16
7	1101	16
done	5000	16
0	8	8
1	11	8
2	19	8
done	19	8
0	10	10
1	15	10
2	17	10
done	17	10
0	10	10
1	15	10
2	17	10
done	17	10
0	10	10
1	15	10
2	17	10
done	17	10
0	10	10
1	15	10
2	17	10
done	17	10
0	10	15
1	17	15
2	27	15
3	44	15
4	56	15
5	64	15
done	64	15
0	10	14
1	16	9
2	24	9
3	29	9
4	33	9
done	33	9
0	9	9
1	14	9
2	22	9
3	27	9
4	31	9
done	31	9
0	6	6
1	11	5
2	18	5
3	23	3
4	37	3
5	41	3
done	41	3
0	10	10
1	14	10
2	21	10
3	26	10
4	30	10
done	30	10
0	6	6
1	11	5
2	18	5
3	23	3
4	37	3
5	41	3
done	41	3
0	9	9
1	14	9
2	22	9
3	27	9
4	31	9
done	31	9
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	9	9
1	14	9
2	16	9
done	16	9
0	9	9
1	14	9
2	16	9
done	16	9
0	8	8
1	13	8
2	21	8
3	26	8
4	30	8
done	30	8
0	10	10
1	15	10
2	23	10
3	28	10
4	32	10
done	32	10
0	8	8
1	13	8
2	21	8
3	26	8
4	30	8
done	30	8
0	11	12
1	29	12
2	58	12
3	97	12
4	191	12
5	516	12
6	2311	12
done	5000	12
0	10	12
1	18	12
2	32	12
3	52	12
4	81	12
5	122	12
6	184	12
7	352	12
8	1642	12
done	5000	12
0	11	12
1	29	12
2	58	12
3	137	12
4	315	12
5	994	12
6	4530	12
done	5000	12
0	10	12
1	18	12
2	36	12
3	82	12
4	169	12
5	255	12
6	421	12
7	790	12
8	3425	12
done	5000	12
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	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	8
2	19	6
3	29	6
4	39	6
5	49	6
6	70	6
7	128	6
8	341	6
9	1259	6
done	5000	6
0	6	10
1	9	5
2	10	5
done	10	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
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
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
0	5	5
1	7	5
2	8	5
done	8	5
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	8
2	19	6
3	29	6
4	39	6
5	49	6
6	70	6
7	128	6
8	341	6
9	1259	6
done	5000	6
0	6	10
1	9	5
2	10	5
done	10	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
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
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	1	1
done	1	1
0	9	11
1	17	11
2	28	9
3	54	9
4	69	9
5	98	9
6	153	9
7	208	9
8	228	9
9	235	9
done	235	9
0	9	11
1	17	11
2	28	9
3	54	9
4	69	9
5	98	9
6	153	9
7	208	9
8	228	9
9	235	9
done	235	9
0	1	1
done	1	1
0	13	19
1	29	19
2	64	19
3	140	15
4	288	13
5	584	11
6	1102	11
7	1973	11
8	4005	11
done	5000	11
0	13	19
1	29	19
2	64	19
3	140	15
4	288	13
5	584	11
6	1102	11
7	1973	11
8	4005	11
done	5000	11
0	16	19
1	42	19
2	123	19
3	288	17
4	606	17
5	1344	15
6	4098	15
done	5001	15
0	14	19
1	39	19
2	125	19
3	365	19
4	1287	15
5	4070	15
done	5000	15
0	14	19
1	39	19
2	125	19
3	365	19
4	1287	15
5	4070	15
done	5000	15
0	16	19
1	42	19
2	123	19
3	288	17
4	606	17
5	1344	15
6	4098	15
done	5001	15
0	14	19
1	39	19
2	125	19
3	365	19
4	1287	15
5	4070	15
done	5000	15
0	14	19
1	39	19
2	125	19
3	365	19
4	1287	15
5	4070	15
done	5000	15

prune146.0ms

Filtered

101 candidates to 129 candidates (-27.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0.0b

Counts

131 → 2

regimes246.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	14
1	16	14
2	19	14
3	20	14
done	20	14

end0.0ms

sample1.0s

Algorithm

intervals

Results

380.0ms

12198×

body

valid

Details

sample34.0ms

simplify23.7s

prune3.0ms

localize18.0ms

rewrite18.0ms

series28.0ms

simplify3.2min

prune75.0ms

localize9.0ms

rewrite22.0ms

series39.0ms

simplify3.2min

prune88.0ms

localize10.0ms

rewrite50.0ms

series54.0ms

simplify3.4min

prune146.0ms

regimes246.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample1.0s

Profiling