Details

sample50.0ms

Algorithm

intervals

Results

19.0ms

374×

body

valid

simplify72.0ms

Counts

1 → 1

Iterations

Useful iterations: 2 (6.0ms)

Iter	Nodes	Cost
0	13	15
1	26	15
2	54	13
3	83	13
4	88	13
5	90	13
done	90	13

prune13.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

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ x (* y z)) (* t a))
0.0b	(+ x (* y z))
0.0b	(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
5.2b	(* (* a z) b)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 56

Calls

4 calls:

6.0ms	(+ (+ x (* y z)) (* t a))
3.0ms	(+ x (* y z))
9.0ms	(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
5.0ms	(* (* a z) b)

series64.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(+ (+ x (* y z)) (* t a))
10.0ms	(+ x (* y z))
30.0ms	(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
7.0ms	(* (* a z) b)

simplify1.3min

Counts

68 → 68

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	17	19
1	38	18
2	92	17
3	249	14
4	991	14
done	5001	14
0	16	18
1	36	17
2	84	16
3	206	14
4	754	14
5	4852	14
done	5000	14
0	15	17
1	33	16
2	77	16
3	176	14
4	470	14
5	2072	14
done	5000	14
0	14	16
1	27	16
2	55	14
3	82	14
4	89	14
5	91	14
done	91	14
0	14	16
1	30	16
2	74	14
3	152	14
4	305	14
5	927	14
6	4501	14
done	5000	14
0	15	33
1	28	33
2	56	29
3	83	29
4	90	29
5	92	29
done	92	29
0	14	16
1	27	16
2	55	14
3	82	14
4	89	14
5	91	14
done	91	14
0	15	47
1	41	47
2	173	15
3	1298	15
done	5001	15
0	14	16
1	27	16
2	55	14
3	82	14
4	89	14
5	91	14
done	91	14
0	14	16
1	27	16
2	55	14
3	82	14
4	89	14
5	91	14
done	91	14
0	16	19
1	43	19
2	138	19
3	618	19
4	2749	19
done	5001	19
0	17	47
1	50	41
2	211	41
3	1012	35
4	4589	35
done	5000	35
0	15	31
1	43	31
2	174	31
3	770	27
4	3177	27
done	5000	27
0	13	15
1	27	15
2	66	13
3	130	13
4	172	13
5	214	13
6	298	13
7	506	13
8	614	13
9	710	13
10	815	13
11	879	13
done	879	13
0	8	9
1	14	9
2	24	7
3	26	7
done	26	7
0	7	7
1	13	6
2	20	6
3	32	6
4	67	6
5	154	6
6	404	6
7	1258	6
8	4695	6
done	5001	6
0	6	6
1	8	6
done	8	6
0	6	6
1	11	6
2	16	6
3	23	6
4	41	6
5	95	6
6	222	6
7	598	6
8	1958	6
done	5000	6
0	7	13
1	9	13
done	9	13
0	6	6
1	8	6
done	8	6
0	7	17
1	22	17
2	70	7
3	219	7
4	609	7
5	1529	7
6	3287	7
done	5000	7
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	8	9
1	26	9
2	64	9
3	149	9
4	272	9
5	705	9
6	2684	9
done	5001	9
0	9	17
1	27	13
2	69	13
3	121	13
4	155	13
5	176	13
6	197	13
7	250	13
8	397	13
9	660	13
10	711	13
done	711	13
0	7	11
1	20	11
2	50	11
3	109	11
4	159	11
5	260	11
6	370	11
7	612	11
8	2075	11
done	5000	11
0	5	5
1	8	5
2	15	5
done	15	5
0	12	12
1	24	11
2	48	10
3	101	10
4	298	10
5	1199	10
done	5001	10
0	11	11
1	22	10
2	42	10
3	76	10
4	193	10
5	709	10
6	3418	10
done	5000	10
0	10	10
1	16	10
2	22	10
done	22	10
0	10	10
1	19	10
2	36	10
3	59	10
4	101	10
5	277	10
6	1049	10
done	5000	10
0	11	21
1	17	21
2	23	21
3	25	21
done	25	21
0	10	10
1	16	10
2	22	10
done	22	10
0	11	29
1	30	29
2	120	11
3	602	11
4	3345	11
done	5001	11
0	10	10
1	16	10
2	22	10
done	22	10
0	10	10
1	16	10
2	22	10
done	22	10
0	12	13
1	32	13
2	86	13
3	220	13
4	525	13
5	1519	13
done	5000	13
0	13	29
1	39	25
2	120	25
3	335	23
4	1049	23
5	2936	23
done	5000	23
0	11	19
1	32	19
2	95	19
3	254	19
4	618	19
5	1770	19
done	5000	19
0	9	9
1	16	9
2	29	9
3	35	9
4	41	9
5	50	9
6	69	9
7	90	9
8	113	9
9	127	9
10	148	9
11	162	9
done	162	9
0	7	7
1	10	7
done	10	7
0	1	1
done	1	1
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	1	1
done	1	1
0	11	13
1	21	13
2	33	13
3	41	11
4	45	11
done	45	11
0	11	13
1	21	13
2	33	13
3	41	11
4	45	11
done	45	11
0	1	1
done	1	1
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	1	1
done	1	1
0	9	9
1	15	9
2	21	9
done	21	9
0	9	9
1	15	9
2	21	9
done	21	9

prune106.0ms

Filtered

55 candidates to 68 candidates (-23.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	64	4	68
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	65	5	70

Merged error: 0.0b

Counts

70 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ x (* y z)) (* t a))
0.0b	(+ x (* y z))
0.0b	(+ (+ (+ x (* y z)) (* t a)) (* a (* z b)))
5.6b	(* a (* z b))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 56

Calls

4 calls:

6.0ms	(+ (+ x (* y z)) (* t a))
3.0ms	(+ x (* y z))
9.0ms	(+ (+ (+ x (* y z)) (* t a)) (* a (* z b)))
6.0ms	(* a (* z b))

series66.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(+ (+ x (* y z)) (* t a))
7.0ms	(+ x (* y z))
31.0ms	(+ (+ (+ x (* y z)) (* t a)) (* a (* z b)))
7.0ms	(* a (* z b))

simplify1.3min

Counts

68 → 68

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	26	6
3	51	6
4	108	6
5	245	6
6	602	6
7	1789	6
done	5000	6
0	11	17
1	24	17
2	90	11
3	328	11
4	1011	9
5	3067	9
done	5000	9
0	9	17
1	26	17
2	94	9
3	375	9
4	1093	7
5	2048	7
6	4895	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	92	7
3	407	7
4	1210	7
5	1693	7
6	3142	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	3	3
1	4	3
done	4	3
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	9	5
2	15	5
done	15	5
0	17	19
1	38	18
2	90	17
3	250	14
4	993	14
done	5000	14
0	16	18
1	36	17
2	82	16
3	207	14
4	763	14
5	4844	14
done	5000	14
0	15	17
1	33	16
2	74	16
3	176	14
4	471	14
5	2052	14
done	5001	14
0	14	16
1	27	16
2	55	14
3	82	14
4	89	14
5	91	14
done	91	14
0	14	16
1	30	16
2	74	14
3	154	14
4	306	14
5	925	14
6	4484	14
done	5000	14
0	15	33
1	28	33
2	56	29
3	83	29
4	90	29
5	92	29
done	92	29
0	14	16
1	27	16
2	55	14
3	82	14
4	89	14
5	91	14
done	91	14
0	15	47
1	41	47
2	173	15
3	1299	15
done	5000	15
0	14	16
1	27	16
2	55	14
3	82	14
4	89	14
5	91	14
done	91	14
0	14	16
1	27	16
2	55	14
3	82	14
4	89	14
5	91	14
done	91	14
0	16	19
1	43	19
2	138	19
3	620	19
4	2807	19
done	5001	19
0	17	47
1	50	41
2	211	41
3	1007	35
4	4633	35
done	5000	35
0	15	31
1	43	31
2	174	31
3	779	27
4	3151	27
done	5000	27
0	13	15
1	27	15
2	66	13
3	130	13
4	172	13
5	214	13
6	298	13
7	506	13
8	614	13
9	710	13
10	815	13
11	879	13
done	879	13
0	8	9
1	14	9
2	24	7
3	26	7
done	26	7
0	7	7
1	13	6
2	20	6
3	32	6
4	67	6
5	154	6
6	404	6
7	1258	6
8	4695	6
done	5001	6
0	6	6
1	8	6
done	8	6
0	6	6
1	11	6
2	16	6
3	23	6
4	41	6
5	95	6
6	222	6
7	598	6
8	1958	6
done	5000	6
0	7	13
1	9	13
done	9	13
0	6	6
1	8	6
done	8	6
0	7	17
1	22	17
2	70	7
3	219	7
4	609	7
5	1529	7
6	3287	7
done	5000	7
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	8	9
1	26	9
2	64	9
3	149	9
4	272	9
5	705	9
6	2684	9
done	5001	9
0	9	17
1	27	13
2	69	13
3	121	13
4	155	13
5	176	13
6	197	13
7	250	13
8	397	13
9	660	13
10	711	13
done	711	13
0	7	11
1	20	11
2	50	11
3	109	11
4	159	11
5	260	11
6	370	11
7	612	11
8	2075	11
done	5000	11
0	5	5
1	8	5
2	15	5
done	15	5
0	12	12
1	24	11
2	48	10
3	101	10
4	298	10
5	1199	10
done	5001	10
0	11	11
1	22	10
2	42	10
3	76	10
4	193	10
5	709	10
6	3418	10
done	5000	10
0	10	10
1	16	10
2	22	10
done	22	10
0	10	10
1	19	10
2	36	10
3	59	10
4	101	10
5	277	10
6	1049	10
done	5000	10
0	11	21
1	17	21
2	23	21
3	25	21
done	25	21
0	10	10
1	16	10
2	22	10
done	22	10
0	11	29
1	30	29
2	120	11
3	602	11
4	3345	11
done	5001	11
0	10	10
1	16	10
2	22	10
done	22	10
0	10	10
1	16	10
2	22	10
done	22	10
0	12	13
1	32	13
2	86	13
3	220	13
4	525	13
5	1519	13
done	5000	13
0	13	29
1	39	25
2	120	25
3	335	23
4	1049	23
5	2936	23
done	5000	23
0	11	19
1	32	19
2	95	19
3	254	19
4	618	19
5	1770	19
done	5000	19
0	9	9
1	16	9
2	29	9
3	35	9
4	41	9
5	50	9
6	69	9
7	90	9
8	113	9
9	127	9
10	148	9
11	162	9
done	162	9
0	7	7
1	10	7
done	10	7
0	1	1
done	1	1
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	1	1
done	1	1
0	11	13
1	21	13
2	33	13
3	41	11
4	45	11
done	45	11
0	11	13
1	21	13
2	33	13
3	41	11
4	45	11
done	45	11
0	1	1
done	1	1
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	1	1
done	1	1
0	9	9
1	15	9
2	21	9
done	21	9
0	9	9
1	15	9
2	21	9
done	21	9

prune95.0ms

Filtered

52 candidates to 68 candidates (-30.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	66	2	68
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	68	5	73

Merged error: 0.0b

Counts

73 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

5.6b	(* a (* z b))
14.4b	(cbrt (* a (* z b)))
14.4b	(cbrt (* a (* z b)))
14.4b	(cbrt (* a (* z b)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

9×	`pow1` `add-exp-log` `add-cbrt-cube`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`add-log-exp`
3×	`cbrt-prod` `pow1/3` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`associate-r` `*-commutative`

Counts

4 → 45

Calls

4 calls:

7.0ms	(* a (* z b))
5.0ms	(cbrt (* a (* z b)))
4.0ms	(cbrt (* a (* z b)))
4.0ms	(cbrt (* a (* z b)))

series85.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* a (* z b))
25.0ms	(cbrt (* a (* z b)))
25.0ms	(cbrt (* a (* z b)))
28.0ms	(cbrt (* a (* z b)))

simplify1.0min

Counts

57 → 57

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	2	2
done	2	2
0	4	4
1	5	4
done	5	4
0	8	15
1	12	15
2	18	15
done	18	15
0	7	7
1	11	7
2	17	7
done	17	7
0	8	20
1	13	20
2	21	8
3	26	5
4	32	5
5	42	5
6	63	5
7	124	5
8	339	5
9	1278	5
done	5000	5
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	2	2
done	2	2
0	4	4
1	5	4
done	5	4
0	8	15
1	12	15
2	18	15
done	18	15
0	7	7
1	11	7
2	17	7
done	17	7
0	8	20
1	13	20
2	21	8
3	26	5
4	32	5
5	42	5
6	63	5
7	124	5
8	339	5
9	1278	5
done	5000	5
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	2	2
done	2	2
0	4	4
1	5	4
done	5	4
0	8	15
1	12	15
2	18	15
done	18	15
0	7	7
1	11	7
2	17	7
done	17	7
0	8	20
1	13	20
2	21	8
3	26	5
4	32	5
5	42	5
6	63	5
7	124	5
8	339	5
9	1278	5
done	5000	5
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	26	6
3	51	6
4	108	6
5	245	6
6	602	6
7	1789	6
done	5000	6
0	11	17
1	24	17
2	90	11
3	328	11
4	1011	9
5	3067	9
done	5000	9
0	9	17
1	26	17
2	94	9
3	375	9
4	1093	7
5	2048	7
6	4895	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	92	7
3	407	7
4	1210	7
5	1693	7
6	3142	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	3	3
1	4	3
done	4	3
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	9	5
2	15	5
done	15	5
0	14	14
1	32	13
2	80	11
3	191	10
4	317	6
5	536	6
6	1338	6
done	5000	6
0	17	20
1	39	16
2	109	13
3	370	10
4	765	8
5	1427	6
6	2452	6
7	4899	6
done	5000	6
0	20	23
1	41	22
2	103	21
3	387	20
4	1629	17
done	5001	17
0	14	14
1	32	13
2	80	11
3	191	10
4	317	6
5	536	6
6	1338	6
done	5000	6
0	17	20
1	39	16
2	109	13
3	370	10
4	765	8
5	1427	6
6	2452	6
7	4899	6
done	5000	6
0	20	23
1	41	22
2	103	21
3	387	20
4	1629	17
done	5001	17
0	14	14
1	32	13
2	80	11
3	191	10
4	317	6
5	536	6
6	1338	6
done	5000	6
0	17	20
1	39	16
2	109	13
3	370	10
4	765	8
5	1427	6
6	2452	6
7	4899	6
done	5000	6
0	20	23
1	41	22
2	103	21
3	387	20
4	1629	17
done	5001	17
0	1	1
done	1	1
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5

prune85.0ms

Filtered

47 candidates to 57 candidates (-21.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	57	0	57
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	57	5	62

Merged error: 0.0b

Counts

62 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt a)
0.6b	(cbrt a)
2.5b	(* (cbrt a) (* z b))
3.3b	(* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

30×	`pow1` `add-exp-log`
18×	`pow-prod-down` `prod-exp` `add-cbrt-cube` `cbrt-unprod`
9×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
7×	`associate-l`
4×	`add-log-exp`
2×	`pow1/3` `associate-r` `*-commutative`

Counts

4 → 71

Calls

4 calls:

2.0ms	(cbrt a)
1.0ms	(cbrt a)
6.0ms	(* (cbrt a) (* z b))
13.0ms	(* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b)))

series95.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt a)
26.0ms	(cbrt a)
32.0ms	(* (cbrt a) (* z b))
10.0ms	(* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b)))

simplify2.1min

Counts

83 → 83

Iterations

Useful iterations: 3 (8.0ms)

Iter	Nodes	Cost
0	8	12
1	17	12
2	40	12
3	72	8
4	79	5
5	83	5
6	89	5
7	99	5
8	122	5
9	185	5
10	403	5
11	1328	5
done	5000	5
0	8	12
1	17	12
2	40	12
3	72	8
4	79	5
5	83	5
6	89	5
7	99	5
8	122	5
9	185	5
10	403	5
11	1328	5
done	5000	5
0	8	12
1	17	12
2	40	12
3	72	8
4	79	5
5	83	5
6	89	5
7	99	5
8	122	5
9	185	5
10	403	5
11	1328	5
done	5000	5
0	8	12
1	17	12
2	40	12
3	72	8
4	79	5
5	83	5
6	89	5
7	99	5
8	122	5
9	185	5
10	403	5
11	1328	5
done	5000	5
0	8	12
1	17	12
2	40	12
3	72	8
4	79	5
5	83	5
6	89	5
7	99	5
8	122	5
9	185	5
10	403	5
11	1328	5
done	5000	5
0	8	12
1	17	12
2	40	12
3	72	8
4	79	5
5	83	5
6	89	5
7	99	5
8	122	5
9	185	5
10	403	5
11	1328	5
done	5000	5
0	11	17
1	22	15
2	50	11
3	85	11
4	86	11
done	86	11
0	10	16
1	22	14
2	41	10
3	73	10
4	90	10
done	90	10
0	10	15
1	21	13
2	42	13
3	79	10
4	124	10
done	124	10
0	12	16
1	20	16
2	46	15
3	84	11
4	91	11
done	91	11
0	11	15
1	20	15
2	39	14
3	73	10
4	94	10
done	94	10
0	10	14
1	19	14
2	42	13
3	77	10
4	125	10
5	126	10
done	126	10
0	9	13
1	21	13
2	58	13
3	129	9
4	202	6
5	213	6
6	219	6
7	229	6
8	250	6
9	309	6
10	519	6
11	1450	6
done	5001	6
0	9	13
1	20	13
2	55	13
3	139	9
4	310	6
5	758	6
6	1874	6
done	5000	6
0	11	17
1	26	17
2	93	13
3	357	11
4	1064	9
5	2505	9
done	5000	9
0	9	17
1	28	17
2	97	11
3	400	9
4	1103	9
5	1720	7
6	3530	7
done	5000	7
0	10	24
1	29	24
2	133	12
3	791	12
4	3852	11
done	5001	11
0	14	31
1	37	31
2	142	17
3	725	13
4	3553	9
done	5001	9
0	12	31
1	39	31
2	146	15
3	724	11
4	3593	9
done	5000	9
0	12	38
1	38	38
2	174	16
3	1033	11
done	5000	11
0	10	27
1	19	27
2	42	27
3	78	19
4	87	13
5	91	13
6	97	13
7	107	13
8	130	13
9	191	13
10	410	13
11	1328	13
done	5001	13
0	9	13
1	18	13
2	42	13
3	75	9
4	81	6
5	85	6
6	91	6
7	101	6
8	122	6
9	182	6
10	392	6
11	1313	6
done	5000	6
0	10	38
1	29	38
2	145	14
3	869	10
4	4441	7
done	5000	7
0	9	13
1	18	13
2	42	13
3	75	9
4	81	6
5	85	6
6	91	6
7	101	6
8	122	6
9	182	6
10	392	6
11	1313	6
done	5000	6
0	9	13
1	18	13
2	42	13
3	75	9
4	81	6
5	85	6
6	91	6
7	101	6
8	122	6
9	182	6
10	392	6
11	1313	6
done	5000	6
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	7	9
1	14	9
2	28	9
3	40	9
done	40	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	9	9
1	13	9
2	19	9
done	19	9
0	8	8
1	13	8
2	18	8
3	22	8
done	22	8
0	7	7
1	14	7
2	27	7
3	41	7
done	41	7
0	7	7
1	13	7
2	27	7
3	54	7
4	111	7
5	250	7
6	613	7
7	1805	7
done	5000	7
0	9	13
1	19	13
2	65	9
3	175	9
4	412	7
5	798	7
6	1871	7
done	5000	7
0	7	13
1	21	13
2	71	7
3	205	7
4	346	7
5	451	7
6	805	7
7	1995	7
done	5000	7
0	8	15
1	12	15
2	18	15
3	20	15
done	20	15
0	7	7
1	11	7
2	17	7
done	17	7
0	8	20
1	22	20
2	93	8
3	406	8
4	1111	7
5	1521	7
6	2363	7
done	5000	7
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	4	4
1	5	4
done	5	4
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	1	1
done	1	1
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	1	1
done	1	1
0	13	14
1	27	12
2	49	9
3	100	6
4	207	6
5	582	6
6	1511	6
done	5000	6
0	16	17
1	33	16
2	70	15
3	165	14
4	418	13
5	1348	11
6	3711	10
done	5001	10
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2

prune79.0ms

Filtered

57 candidates to 83 candidates (-45.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	83	0	83
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	83	5	88

Merged error: 0.0b

Counts

88 → 5

regimes578.0ms

Accuracy

80.6% (0.4b remaining)

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

bsearch71.0ms

Steps

Iters	Range		Point
9	1.4162777803722062e-35	6.790057044961077e-29	3.16136548725885e-32
9	-2.5426481951423887e-101	-2.337567151868588e-108	-2.5099893648265318e-101

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	25	60
1	39	46
done	39	46

end0.0ms

sample1.5s

Algorithm

intervals

Results

612.0ms

11891×

body

valid

Details

sample50.0ms

simplify72.0ms

prune13.0ms

localize12.0ms

rewrite25.0ms

series64.0ms

simplify1.3min

prune106.0ms

localize12.0ms

rewrite25.0ms

series66.0ms

simplify1.3min

prune95.0ms

localize16.0ms

rewrite21.0ms

series85.0ms

simplify1.0min

prune85.0ms

localize16.0ms

rewrite25.0ms

series95.0ms

simplify2.1min

prune79.0ms

regimes578.0ms

bsearch71.0ms

simplify3.0ms

end0.0ms

sample1.5s

Profiling