Details

sample37.0ms

Algorithm

intervals

Results

17.0ms	184×	body	160	valid
9.0ms	72×	body	320	valid
4.0ms	256×	pre	80	true

simplify5.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	19
1	27	19
2	77	19
3	208	19
4	532	19
5	1225	19
6	2781	19
done	5001	19

prune2.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: 61.8b

Counts

2 → 1

localize8.0ms

Local error

Found 1 expressions with local error:

61.8b

(+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

16×	`frac-add`
13×	`flip3-+` `flip-+`
8×	`frac-times` `flip3--` `flip--`
6×	`add-log-exp`
4×	`associate-r/` `associate-l/`
2×	`associate-+l+` `associate-+r+` `sum-log`
1×	`pow1` `add-exp-log` `+-commutative` `distribute-rgt-in` `add-sqr-sqrt` `add-cube-cbrt` `associate-+r-` `sub-neg` `*-un-lft-identity` `distribute-lft-in` `diff-log` `add-cbrt-cube`

Counts

1 → 33

Calls

1 calls:

11.0ms

(+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))

series5.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))

simplify2.1min

Counts

36 → 36

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	22
1	34	21
2	89	20
3	255	20
4	906	20
done	5000	20
0	13	21
1	34	20
2	100	20
3	285	20
4	903	20
done	5000	20
0	12	20
1	28	20
2	78	20
3	209	20
4	532	20
5	1239	20
6	2783	20
done	5000	20
0	12	20
1	31	20
2	94	20
3	297	20
4	896	20
5	3792	20
done	5001	20
0	13	41
1	29	41
2	79	41
3	212	41
4	540	41
5	1243	41
6	2792	41
done	5000	41
0	12	20
1	28	20
2	78	20
3	209	20
4	532	20
5	1239	20
6	2783	20
done	5000	20
0	13	59
1	42	59
2	158	21
3	886	21
done	5000	21
0	12	20
1	28	20
2	78	20
3	209	20
4	532	20
5	1239	20
6	2783	20
done	5000	20
0	12	20
1	28	20
2	78	20
3	209	20
4	532	20
5	1239	20
6	2783	20
done	5000	20
0	29	91
1	117	77
2	479	77
3	2868	77
done	5001	77
0	19	59
1	70	45
2	273	45
3	1388	45
done	5000	45
0	25	79
1	97	71
2	373	71
3	2032	63
done	5000	63
0	15	43
1	52	35
2	172	35
3	824	35
done	5001	35
0	31	81
1	115	71
2	457	71
3	2617	71
done	5000	71
0	20	47
1	68	37
2	253	37
3	1175	37
done	5000	37
0	27	69
1	95	65
2	353	65
3	1754	57
done	5001	57
0	16	31
1	50	27
2	156	27
3	656	27
4	4019	27
done	5001	27
0	31	81
1	127	71
2	551	71
3	3624	71
done	5000	71
0	20	47
1	74	37
2	296	37
3	1519	37
done	5000	37
0	27	69
1	107	65
2	448	65
3	2759	57
done	5000	57
0	16	31
1	56	27
2	199	27
3	936	27
done	5000	27
0	25	71
1	86	65
2	343	65
3	2009	65
done	5000	65
0	15	35
1	46	29
2	181	29
3	734	29
4	3400	29
done	5001	29
0	20	59
1	61	59
2	227	59
3	1196	51
done	5001	51
0	11	19
1	27	19
2	73	19
3	246	19
4	1066	19
5	3760	19
done	5000	19
0	29	69
1	111	59
2	460	59
3	2619	59
done	5000	59
0	18	41
1	61	31
2	219	31
3	906	31
4	4935	31
done	5000	31
0	25	57
1	91	53
2	356	53
3	1773	45
done	5001	45
0	14	25
1	43	21
2	128	21
3	441	21
4	1599	21
5	3719	21
done	5000	21
0	25	59
1	85	53
2	343	53
3	1968	53
done	5000	53
0	14	29
1	43	23
2	166	23
3	669	23
4	2512	23
done	5001	23
0	20	47
1	60	47
2	229	47
3	1149	39
done	5000	39
0	10	13
1	24	13
2	68	13
3	231	13
4	472	13
5	683	13
6	869	13
7	1331	13
8	2939	13
9	3548	13
10	3625	13
done	3625	13
0	29	69
1	111	59
2	440	59
3	2407	59
done	5000	59
0	18	41
1	61	31
2	219	31
3	906	31
4	4935	31
done	5000	31
0	25	57
1	91	53
2	336	53
3	1531	45
done	5001	45
0	14	25
1	43	21
2	128	21
3	441	21
4	1599	21
5	3719	21
done	5000	21
0	25	59
1	91	53
2	387	53
3	2265	53
done	5001	53
0	14	29
1	43	23
2	166	23
3	669	23
4	2512	23
done	5001	23
0	20	47
1	66	47
2	274	47
3	1467	39
done	5000	39
0	10	13
1	24	13
2	68	13
3	231	13
4	472	13
5	683	13
6	869	13
7	1331	13
8	2939	13
9	3548	13
10	3625	13
done	3625	13
0	14	23
1	43	23
2	129	17
3	484	17
4	2479	17
done	5001	17
0	15	59
1	42	51
2	161	41
3	716	35
4	4131	35
done	5000	35
0	13	39
1	35	39
2	126	29
3	496	23
4	2868	23
done	5000	23
0	11	19
1	28	19
2	79	19
3	217	19
4	543	19
5	1205	19
6	2625	19
done	5000	19
0	8	13
1	17	13
2	42	13
3	106	13
4	195	13
5	280	13
6	324	13
7	334	13
done	334	13
0	8	13
1	17	13
2	42	13
3	106	13
4	195	13
5	280	13
6	324	13
7	334	13
done	334	13
0	11	17
1	24	17
2	60	17
3	158	13
4	322	13
5	577	13
6	1098	13
7	1564	13
8	1880	13
9	2282	13
done	2282	13
0	11	17
1	29	17
2	89	17
3	178	13
4	330	13
5	593	13
6	1122	13
7	1567	13
8	1875	13
9	2275	13
done	2275	13
0	8	13
1	17	13
2	42	13
3	106	13
4	195	13
5	280	13
6	324	13
7	334	13
done	334	13
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5

prune117.0ms

Filtered

31 candidates to 36 candidates (-16.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	35	1	36
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	36	1	37

Merged error: 0.3b

Counts

37 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.2b	(* 3.9999999999999997e-32 (pow t 2))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
8×	`associate-r`
6×	`add-exp-log`
4×	`add-cube-cbrt` `unpow-prod-down` `*-un-lft-identity` `unswap-sqr`
3×	`associate-l` `prod-exp` `add-cbrt-cube`
2×	`unpow2` `sqr-pow`
1×	`pow1` `pow-to-exp` `pow-exp` `*-commutative` `cbrt-unprod` `add-log-exp`

Counts

1 → 27

Calls

1 calls:

6.0ms

(* 3.9999999999999997e-32 (pow t 2))

series4.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

(* 3.9999999999999997e-32 (pow t 2))

simplify1.6min

Counts

30 → 30

Iterations

Useful iterations: 2 (6.0ms)

Iter	Nodes	Cost
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	15	7
2	25	7
3	34	7
4	40	7
5	50	7
6	72	7
7	133	7
8	345	7
9	1259	7
done	5000	7
0	6	6
1	15	6
2	35	6
3	50	6
4	58	6
5	68	6
6	90	6
7	153	6
8	367	6
9	1307	6
done	5000	6
0	6	6
1	14	6
2	35	6
3	55	6
4	99	6
5	199	6
6	452	6
7	1303	6
8	4632	6
done	5001	6
0	9	17
1	24	13
2	88	9
3	210	9
4	418	7
5	783	7
6	2344	7
done	5000	7
0	7	13
1	13	13
2	29	13
3	34	13
4	40	13
5	50	13
6	74	13
7	136	13
8	358	13
9	1301	13
done	5001	13
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5001	6
0	7	17
1	23	17
2	95	7
3	242	7
4	390	7
5	564	7
6	1458	7
7	4785	7
done	5000	7
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5001	6
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5001	6
0	7	7
1	13	7
2	29	4
3	44	4
4	79	4
5	199	4
6	651	4
7	2611	4
done	5000	4
0	7	7
1	13	7
2	29	4
3	44	4
4	79	4
5	199	4
6	651	4
7	2611	4
done	5000	4
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	7	7
1	13	7
2	23	5
3	28	5
4	34	5
5	44	5
6	68	5
7	134	5
8	346	5
9	1274	5
done	5000	5
0	7	7
1	13	7
2	23	5
3	28	5
4	34	5
5	44	5
6	68	5
7	134	5
8	346	5
9	1274	5
done	5000	5
0	7	8
1	13	6
2	26	4
3	40	4
4	76	4
5	200	4
6	658	4
7	2471	4
done	5001	4
0	7	8
1	13	6
2	26	4
3	40	4
4	76	4
5	200	4
6	658	4
7	2471	4
done	5001	4
0	7	9
1	13	9
2	33	9
3	74	9
4	172	6
5	424	6
6	1335	6
done	5001	6
0	6	6
1	12	6
2	28	3
3	45	3
4	83	3
5	205	3
6	642	3
7	2582	3
done	5000	3
0	5	5
1	12	3
2	16	1
done	16	1
0	3	3
1	4	3
done	4	3
0	7	11
1	15	11
2	25	11
3	30	11
4	36	11
5	46	11
6	70	11
7	130	11
8	339	11
9	1266	11
done	5000	11
0	6	6
1	12	6
2	22	4
3	27	4
4	33	4
5	43	4
6	65	4
7	124	4
8	349	4
9	1270	4
done	5000	4
0	3	3
1	6	1
done	6	1
0	6	7
1	12	5
2	25	3
3	41	3
4	78	3
5	194	3
6	648	3
7	2425	3
done	5000	3
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5001	6
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5001	6
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5

prune68.0ms

Filtered

21 candidates to 30 candidates (-42.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	22	8	30
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	22	9	31

Merged error: 0.0b

Counts

31 → 9

localize3.0ms

Local error

Found 1 expressions with local error:

0.2b	(* (* 3.9999999999999997e-32 t) t)

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 18

Calls

1 calls:

5.0ms

(* (* 3.9999999999999997e-32 t) t)

series3.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

(* (* 3.9999999999999997e-32 t) t)

simplify26.7s

Counts

21 → 21

Iterations

Useful iterations: 1 (1.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	40	6
4	84	6
5	194	6
6	475	6
7	1303	6
done	5000	6
0	8	17
1	20	17
2	77	11
3	219	7
4	454	7
5	1201	7
6	4018	7
done	5001	7
0	8	17
1	24	17
2	89	9
3	270	9
4	451	7
5	1025	7
6	3081	7
done	5001	7
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	211	7
4	361	7
5	532	7
6	1355	7
7	4489	7
done	5000	7
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
3	27	3
done	27	3
0	2	3
done	2	3
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5

prune46.0ms

Filtered

15 candidates to 21 candidates (-40.0%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	19	2	21
Fresh	2	5	7
Picked	0	1	1
Done	0	1	1
Total	21	9	30

Merged error: 0.0b

Counts

30 → 9

localize6.0ms

Local error

Found 2 expressions with local error:

0.2b	(* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
0.3b	(* (sqrt 3.9999999999999997e-32) (pow t 2))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
17×	`add-exp-log`
12×	`associate-l`
10×	`prod-exp` `sqrt-prod`
9×	`associate-r` `add-cbrt-cube`
8×	`add-cube-cbrt` `*-un-lft-identity` `unswap-sqr`
5×	`unpow-prod-down`
4×	`pow1` `cbrt-unprod`
3×	`unpow2` `sqr-pow`
2×	`pow-to-exp` `pow-exp` `*-commutative` `add-log-exp`
1×	`pow-prod-down`

Counts

2 → 56

Calls

2 calls:

8.0ms	(* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
7.0ms	(* (sqrt 3.9999999999999997e-32) (pow t 2))

series13.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
5.0ms	(* (sqrt 3.9999999999999997e-32) (pow t 2))

simplify3.4min

Counts

62 → 62

Iterations

Useful iterations: done (1.0ms)

Iter	Nodes	Cost
0	8	8
1	10	8
done	10	8
0	8	8
1	10	8
done	10	8
0	8	8
1	16	8
2	26	8
3	35	8
4	41	8
5	51	8
6	73	8
7	137	8
8	356	8
9	1288	8
done	5000	8
0	7	7
1	16	7
2	36	7
3	51	7
4	57	7
5	67	7
6	91	7
7	150	7
8	368	7
9	1293	7
done	5000	7
0	7	7
1	15	7
2	36	7
3	58	7
4	102	7
5	202	7
6	456	7
7	1302	7
8	4694	7
done	5000	7
0	10	20
1	25	12
2	86	10
3	205	10
4	361	8
5	521	8
6	1159	8
7	3455	8
done	5000	8
0	8	15
1	14	15
2	30	15
3	37	15
4	43	15
5	53	15
6	75	15
7	137	15
8	347	15
9	1282	15
done	5000	15
0	7	7
1	13	7
2	29	7
3	36	7
4	42	7
5	52	7
6	76	7
7	138	7
8	355	7
9	1277	7
done	5000	7
0	8	20
1	24	20
2	96	8
3	242	8
4	424	8
5	596	8
6	1480	8
7	4762	8
done	5000	8
0	7	7
1	13	7
2	29	7
3	36	7
4	42	7
5	52	7
6	76	7
7	138	7
8	355	7
9	1277	7
done	5000	7
0	7	7
1	13	7
2	29	7
3	36	7
4	42	7
5	52	7
6	76	7
7	138	7
8	355	7
9	1277	7
done	5000	7
0	8	8
1	14	8
2	30	5
3	45	5
4	83	5
5	209	5
6	652	5
7	2626	5
done	5000	5
0	8	8
1	14	8
2	30	5
3	45	5
4	83	5
5	209	5
6	652	5
7	2626	5
done	5000	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	8	8
1	14	8
2	24	6
3	29	6
4	35	6
5	45	6
6	67	6
7	133	6
8	355	6
9	1278	6
done	5000	6
0	8	8
1	14	8
2	24	6
3	29	6
4	35	6
5	45	6
6	67	6
7	133	6
8	355	6
9	1278	6
done	5000	6
0	8	9
1	14	7
2	27	5
3	41	5
4	80	5
5	194	5
6	631	5
7	2470	5
done	5000	5
0	8	9
1	14	7
2	27	5
3	41	5
4	80	5
5	194	5
6	631	5
7	2470	5
done	5000	5
0	8	8
1	14	8
2	30	5
3	45	5
4	83	5
5	209	5
6	652	5
7	2626	5
done	5000	5
0	8	8
1	14	8
2	30	5
3	45	5
4	83	5
5	209	5
6	652	5
7	2626	5
done	5000	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	8	8
1	14	8
2	24	6
3	29	6
4	35	6
5	45	6
6	67	6
7	133	6
8	355	6
9	1278	6
done	5000	6
0	8	8
1	14	8
2	24	6
3	29	6
4	35	6
5	45	6
6	67	6
7	133	6
8	355	6
9	1278	6
done	5000	6
0	8	9
1	14	7
2	27	5
3	41	5
4	80	5
5	194	5
6	631	5
7	2470	5
done	5000	5
0	8	9
1	14	7
2	27	5
3	41	5
4	80	5
5	194	5
6	631	5
7	2470	5
done	5000	5
0	8	10
1	14	10
2	34	10
3	75	10
4	180	7
5	431	7
6	1421	7
done	5000	7
0	7	7
1	13	7
2	29	4
3	44	4
4	79	4
5	199	4
6	651	4
7	2611	4
done	5000	4
0	6	6
1	13	4
2	17	2
3	22	2
4	26	2
5	30	2
6	34	2
7	38	2
done	38	2
0	4	4
1	5	4
done	5	4
0	8	12
1	16	12
2	26	12
3	31	12
4	37	12
5	47	12
6	69	12
7	126	12
8	331	12
9	1253	12
done	5000	12
0	7	7
1	13	7
2	23	5
3	28	5
4	34	5
5	44	5
6	68	5
7	134	5
8	346	5
9	1274	5
done	5000	5
0	4	4
1	7	2
2	10	2
done	10	2
0	7	8
1	13	6
2	26	4
3	40	4
4	76	4
5	200	4
6	658	4
7	2471	4
done	5001	4
0	7	7
1	13	7
2	29	7
3	34	7
4	40	7
5	50	7
6	74	7
7	136	7
8	358	7
9	1301	7
done	5001	7
0	7	7
1	13	7
2	29	7
3	34	7
4	40	7
5	50	7
6	74	7
7	136	7
8	358	7
9	1301	7
done	5001	7
0	7	7
1	13	7
2	29	7
3	34	7
4	40	7
5	50	7
6	74	7
7	136	7
8	358	7
9	1301	7
done	5001	7
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5001	6
0	7	7
1	13	7
2	29	7
3	34	7
4	40	7
5	50	7
6	74	7
7	136	7
8	358	7
9	1301	7
done	5001	7
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5001	6
0	7	9
1	16	9
2	39	5
3	53	5
4	59	5
5	69	5
6	93	5
7	161	5
8	371	5
9	1294	5
done	5000	5
0	9	12
1	14	12
2	16	10
3	21	8
4	23	8
done	23	8
0	9	12
1	14	12
2	16	10
3	21	8
4	23	8
done	23	8
0	9	12
1	20	12
2	32	10
3	48	8
4	62	8
5	72	8
6	94	8
7	156	8
8	365	8
9	1289	8
done	5000	8
0	9	11
1	18	11
2	40	11
3	57	10
4	77	7
5	89	7
6	113	7
7	181	7
8	391	7
9	1315	7
done	5000	7
0	8	10
1	20	10
2	49	6
3	74	6
4	102	6
5	116	6
6	140	6
7	199	6
8	415	6
9	1343	6
done	5000	6
0	8	10
1	19	10
2	49	6
3	93	6
4	177	6
5	384	6
6	903	6
7	2737	6
done	5000	6
0	11	29
1	31	17
2	124	11
3	366	9
4	951	7
5	1626	7
6	3890	7
done	5001	7
0	11	29
1	32	21
2	136	13
3	449	13
4	1136	7
5	1637	6
done	5001	6
0	9	21
1	18	21
2	41	13
3	55	13
4	61	13
5	71	13
6	93	13
7	156	13
8	364	13
9	1296	13
done	5001	13
0	8	10
1	17	10
2	40	6
3	52	6
4	58	6
5	68	6
6	90	6
7	151	6
8	363	6
9	1302	6
done	5000	6
0	9	29
1	27	29
2	104	7
3	356	7
4	1188	6
5	1922	6
done	5000	6
0	8	10
1	17	10
2	40	6
3	53	5
4	59	5
5	69	5
6	91	5
7	150	5
8	364	5
9	1275	5
done	5000	5
0	8	10
1	17	10
2	40	6
3	53	5
4	59	5
5	69	5
6	91	5
7	150	5
8	364	5
9	1275	5
done	5000	5
0	3	5
done	3	1
0	8	10
1	17	10
2	43	10
3	60	10
4	67	10
5	77	10
6	99	10
7	160	10
8	373	10
9	1311	10
done	5000	10
0	9	10
1	18	10
2	44	10
3	61	10
4	71	10
5	81	10
6	103	10
7	167	10
8	375	10
9	1298	10
done	5000	10
0	8	10
1	17	10
2	43	10
3	60	10
4	67	10
5	77	10
6	99	10
7	160	10
8	373	10
9	1311	10
done	5000	10
0	7	9
1	16	9
2	39	5
3	53	5
4	59	5
5	69	5
6	93	5
7	161	5
8	371	5
9	1294	5
done	5000	5
0	8	10
1	17	10
2	43	10
3	60	10
4	67	10
5	77	10
6	99	10
7	160	10
8	373	10
9	1311	10
done	5000	10
0	7	9
1	16	9
2	39	5
3	53	5
4	59	5
5	69	5
6	93	5
7	161	5
8	371	5
9	1294	5
done	5000	5
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5000	6
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5000	6
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5000	6
0	7	8
1	16	8
2	59	5
3	90	5
4	171	5
5	448	5
6	1448	5
done	5000	5
0	7	8
1	16	8
2	59	5
3	90	5
4	171	5
5	448	5
6	1448	5
done	5000	5
0	7	8
1	16	8
2	59	5
3	90	5
4	171	5
5	448	5
6	1448	5
done	5000	5

prune96.0ms

Filtered

42 candidates to 62 candidates (-47.6%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	61	1	62
Fresh	1	5	6
Picked	0	1	1
Done	0	2	2
Total	62	9	71

Merged error: 0.0b

Counts

71 → 9

regimes49.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	5

end0.0ms

sample1.1s

Algorithm

intervals

Results

544.0ms	5998×	body	160	valid
278.0ms	2002×	body	320	valid
111.0ms	8000×	pre	80	true

Details

sample37.0ms

simplify5.8s

prune2.0ms

localize8.0ms

rewrite13.0ms

series5.0ms

simplify2.1min

prune117.0ms

localize4.0ms

rewrite7.0ms

series4.0ms

simplify1.6min

prune68.0ms

localize3.0ms

rewrite6.0ms

series3.0ms

simplify26.7s

prune46.0ms

localize6.0ms

rewrite18.0ms

series13.0ms

simplify3.4min

prune96.0ms

regimes49.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling