Details

sample1.7s

Algorithm

intervals

Results

1.4s	128×	body	5120	exit
122.0ms	55×	body	1280	nan
92.0ms	257×	body	80	valid
53.0ms	34×	body	640	nan
23.0ms	20×	body	320	nan
9.0ms	12×	body	160	nan
2.0ms	7×	body	80	nan

simplify1.4s

Counts

1 → 1

Iterations

Useful iterations: done (1.4s)

Iter	Nodes	Cost
0	60	123
1	148	123
2	592	121
3	3587	88
done	5000	78

prune23.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: 1.4b

Counts

2 → 2

localize53.0ms

Local error

Found 4 expressions with local error:

1.0b	(/ (* (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (sqrt (* PI 2.0))) (exp (+ 0.5 (- 7.0 z))))
1.0b	(+ (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z)))
1.0b	(sqrt (* PI 2.0))
2.6b	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

33×	`*-un-lft-identity`
12×	`times-frac`
11×	`add-log-exp`
10×	`add-exp-log`
9×	`add-cbrt-cube`
8×	`distribute-lft-out`
7×	`pow1`
6×	`add-sqr-sqrt` `add-cube-cbrt`
4×	`div-exp` `associate-/r*` `sum-log` `distribute-lft-out--`
3×	`flip3-+` `frac-add` `prod-exp` `flip-+`
2×	`cbrt-undiv` `+-commutative` `sqrt-pow1` `exp-sum`
1×	`pow-to-exp` `associate-+r-` `associate-+l+` `frac-2neg` `pow1/2` `exp-diff` `pow-prod-down` `associate-l/` `pow-exp` `clear-num` `sqrt-prod` `associate-/r/` `cbrt-unprod` `div-inv` `associate-/l/` `associate-/l` `pow-sub`

Counts

4 → 72

Calls

4 calls:

22.0ms	(/ (* (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (sqrt (* PI 2.0))) (exp (+ 0.5 (- 7.0 z))))
29.0ms	(+ (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z)))
3.0ms	(sqrt (* PI 2.0))
26.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))

series48.0ms

Counts

4 → 10

Calls

4 calls:

38.0ms	(/ (* (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (sqrt (* PI 2.0))) (exp (+ 0.5 (- 7.0 z))))
5.0ms	(+ (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z)))
0.0ms	(sqrt (* PI 2.0))
5.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))

simplify2.2min

Counts

82 → 82

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	16
1	24	15
2	39	14
3	48	14
4	50	14
done	50	14
0	14	15
1	24	14
2	36	14
3	48	14
done	48	14
0	13	14
1	20	14
2	28	14
done	28	14
0	13	14
1	23	14
2	38	14
3	50	14
done	50	14
0	14	29
1	21	29
2	29	29
done	29	29
0	13	14
1	20	14
2	28	14
done	28	14
0	14	41
1	34	41
2	118	15
3	523	15
4	2755	15
done	5001	15
0	13	14
1	20	14
2	28	14
done	28	14
0	13	14
1	20	14
2	28	14
done	28	14
0	21	41
1	56	35
2	133	35
3	371	35
4	1322	35
done	5001	35
0	14	27
1	32	21
2	75	21
3	204	21
4	618	21
5	1801	21
6	4287	21
done	5001	21
0	16	29
1	32	29
2	78	29
3	261	21
4	884	21
5	3123	21
done	5000	21
0	10	11
1	16	11
2	33	11
3	71	11
4	157	11
5	300	11
6	439	11
7	643	11
8	925	11
9	1160	11
10	1177	11
done	1177	11
0	15	17
1	36	17
2	81	17
3	210	17
4	584	17
5	1794	17
done	5001	17
0	16	41
1	40	35
2	104	35
3	279	33
4	943	33
5	2716	33
done	5001	33
0	14	27
1	33	27
2	79	27
3	204	27
4	592	27
5	1670	27
done	5000	27
0	12	13
1	20	13
2	31	13
3	37	13
4	43	13
5	52	13
6	67	13
7	82	13
8	97	13
9	111	13
10	126	13
11	132	13
done	132	13
0	12	13
1	19	13
2	27	13
done	27	13
0	12	13
1	19	13
2	27	13
done	27	13
0	10	11
1	14	11
2	16	11
done	16	11
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	8
2	19	6
3	28	6
4	34	6
5	44	6
6	67	6
7	130	6
8	345	6
9	1258	6
done	5001	6
0	2	2
done	2	2
0	2	2
done	2	2
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	12	13
1	18	12
2	21	12
done	21	12
0	11	12
1	15	12
2	17	12
done	17	12
0	11	12
1	18	12
2	21	12
done	21	12
0	12	25
1	16	25
2	18	25
done	18	25
0	11	12
1	15	12
2	17	12
done	17	12
0	12	35
1	29	35
2	79	13
3	230	13
4	641	13
5	1763	13
6	4330	13
done	5000	13
0	11	12
1	15	12
2	17	12
done	17	12
0	11	12
1	15	12
2	17	12
done	17	12
0	10	11
1	16	11
2	30	11
3	48	11
4	80	11
5	127	11
6	191	11
7	356	11
8	598	11
9	689	11
10	704	11
11	706	11
done	706	11
0	6	7
1	10	7
2	24	7
3	57	7
4	118	7
5	190	7
6	313	7
7	476	7
8	749	7
9	993	7
10	1011	7
done	1011	7
0	13	15
1	36	15
2	83	15
3	228	15
4	651	15
5	2002	15
done	5001	15
0	14	35
1	37	29
2	80	29
3	163	29
4	343	29
5	677	29
6	1202	29
7	1898	29
8	3024	29
9	4892	29
done	5000	29
0	12	23
1	28	23
2	51	23
3	104	23
4	215	23
5	438	23
6	756	23
7	1311	23
8	3331	23
done	5001	23
0	10	11
1	15	11
2	20	11
done	20	11
0	10	11
1	14	11
2	16	11
done	16	11
0	10	11
1	14	11
2	16	11
done	16	11
0	10	11
1	14	11
2	16	11
done	16	11
0	10	11
1	14	11
2	16	11
done	16	11
0	10	11
1	14	11
2	16	11
done	16	11
0	15	22
1	30	22
2	72	22
3	189	22
4	634	22
5	1887	22
6	4441	22
done	5000	22
0	15	22
1	30	22
2	72	22
3	189	22
4	634	22
5	1887	22
6	4441	22
done	5000	22
0	15	22
1	35	22
2	82	22
3	229	22
4	832	22
5	3338	22
done	5000	22
0	14	21
1	33	21
2	77	21
3	202	21
4	713	21
5	2514	21
done	5000	21
0	15	22
1	35	22
2	88	21
3	284	21
4	1307	21
done	5000	21
0	15	22
1	32	22
2	74	22
3	208	22
4	958	22
done	5000	22
0	20	65
1	53	50
2	245	27
3	2285	27
done	5001	27
0	18	65
1	53	64
2	232	25
3	2162	23
done	5000	23
0	16	45
1	33	45
2	75	45
3	203	45
4	923	45
done	5000	45
0	15	22
1	32	22
2	74	22
3	202	22
4	919	22
done	5000	22
0	16	65
1	40	65
2	130	23
3	833	23
done	5000	23
0	15	22
1	32	22
2	74	22
3	202	22
4	919	22
done	5000	22
0	15	22
1	32	22
2	74	22
3	202	22
4	919	22
done	5000	22
0	13	15
1	29	15
2	55	15
3	112	15
4	276	15
5	774	15
6	2595	15
done	5000	15
0	7	7
1	15	7
2	34	7
3	70	7
4	129	7
5	209	7
6	395	7
7	588	7
8	976	7
9	1112	7
10	1120	7
done	1120	7
0	9	12
1	19	12
2	36	12
3	71	12
4	164	12
5	397	12
6	1222	12
7	4847	12
done	5000	12
0	9	9
1	15	9
2	20	9
3	27	9
4	38	9
5	49	9
6	84	9
7	104	9
8	117	9
9	134	9
10	175	9
11	249	9
12	316	9
13	322	9
done	322	9
0	11	25
1	26	25
2	55	25
3	116	25
4	275	25
5	718	25
6	2543	25
done	5000	25
0	12	12
1	21	12
2	36	12
3	60	12
4	88	12
5	120	12
6	199	12
7	274	12
8	411	12
9	442	12
10	443	12
done	443	12
0	10	17
1	23	17
2	48	17
3	97	17
4	210	17
5	462	17
6	1351	17
done	5001	17
0	12	12
1	21	12
2	36	12
3	60	12
4	88	12
5	120	12
6	199	12
7	274	12
8	411	12
9	442	12
10	443	12
done	443	12
0	9	11
1	21	9
2	40	9
3	77	9
4	179	9
5	446	9
6	1530	9
done	5000	9
0	11	11
1	20	11
2	37	11
3	68	11
4	115	11
5	176	11
6	325	11
7	523	11
8	903	11
9	1094	11
10	1097	11
done	1097	11
0	8	8
1	20	7
2	41	7
3	83	7
4	164	6
5	274	6
6	425	6
7	497	6
8	500	6
done	500	6
0	14	21
1	31	21
2	75	21
3	224	21
4	1022	21
done	5001	21
0	14	17
1	28	17
2	53	17
3	104	17
4	257	17
5	716	17
6	2468	17
done	5000	17
0	16	30
1	38	30
2	83	30
3	181	30
4	494	30
5	1585	30
done	5000	30
0	15	22
1	32	22
2	65	22
3	130	22
4	307	22
5	793	22
6	2608	22
done	5001	22
0	14	16
1	30	14
2	59	14
3	122	14
4	320	14
5	986	14
6	3910	14
done	5001	14
0	11	11
1	20	11
2	37	11
3	70	11
4	137	11
5	234	11
6	429	11
7	677	11
8	1080	11
9	1224	11
10	1225	11
done	1225	11
0	15	19
1	32	19
2	66	19
3	160	19
4	503	19
5	1924	19
done	5000	19
0	8	14
1	21	14
2	49	14
3	128	14
4	376	14
5	1399	14
done	5001	14
0	10	11
1	21	11
2	43	11
3	52	11
4	62	9
5	74	9
6	98	9
7	160	9
8	381	9
9	1320	9
done	5000	9
0	13	15
1	29	15
2	56	11
3	97	11
4	212	11
5	571	9
6	2688	9
done	5000	9
0	13	15
1	29	15
2	56	11
3	97	11
4	212	11
5	571	9
6	2688	9
done	5000	9
0	57	78
1	110	78
2	311	78
3	1836	78
done	5000	78
0	10	11
1	21	11
2	43	11
3	52	11
4	62	9
5	74	9
6	98	9
7	160	9
8	381	9
9	1320	9
done	5000	9
0	18	22
1	46	22
2	117	16
3	334	16
4	1163	15
5	4092	13
done	5000	13
0	18	22
1	46	22
2	117	16
3	334	16
4	1163	15
5	4092	13
done	5000	13
0	61	147
1	170	147
2	627	138
3	3109	120
done	5001	120
0	16	20
1	32	18
2	70	18
3	200	18
4	764	18
5	3645	18
done	5000	18
0	14	18
1	30	18
2	68	18
3	232	18
4	1015	18
done	5000	18

prune437.0ms

Filtered

64 candidates to 82 candidates (-28.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	75	7	82
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	76	8	84

Merged error: 0.4b

Counts

84 → 8

localize53.0ms

Local error

Found 4 expressions with local error:

1.0b	(/ (* (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (* (sqrt PI) (sqrt 2.0))) (exp (+ 0.5 (- 7.0 z))))
1.0b	(+ (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z)))
1.0b	(sqrt PI)
2.6b	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity`
18×	`add-exp-log`
13×	`add-cbrt-cube`
12×	`times-frac`
11×	`add-log-exp`
9×	`prod-exp`
8×	`add-sqr-sqrt` `distribute-lft-out`
7×	`add-cube-cbrt` `div-exp`
5×	`pow1`
4×	`associate-/r*` `sum-log` `distribute-lft-out--`
3×	`cbrt-undiv` `flip3-+` `frac-add` `sqrt-prod` `cbrt-unprod` `flip-+`
2×	`+-commutative` `pow-to-exp` `exp-sum` `pow-exp`
1×	`associate-+r-` `rem-sqrt-square` `associate-+l+` `frac-2neg` `sqrt-pow1` `pow1/2` `exp-diff` `associate-l/` `clear-num` `associate-/r/` `div-inv` `associate-/l/` `associate-/l` `pow-sub`

Counts

4 → 78

Calls

4 calls:

24.0ms	(/ (* (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (* (sqrt PI) (sqrt 2.0))) (exp (+ 0.5 (- 7.0 z))))
29.0ms	(+ (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z)))
2.0ms	(sqrt PI)
24.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))

series46.0ms

Counts

4 → 10

Calls

4 calls:

36.0ms	(/ (* (pow (+ 0.5 (- 7.0 z)) (- 0.5 z)) (* (sqrt PI) (sqrt 2.0))) (exp (+ 0.5 (- 7.0 z))))
5.0ms	(+ (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z)))
0.0ms	(sqrt PI)
5.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))

simplify2.6min

Counts

88 → 88

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	16
1	24	15
2	39	14
3	48	14
4	50	14
done	50	14
0	14	15
1	24	14
2	36	14
3	48	14
done	48	14
0	13	14
1	20	14
2	28	14
done	28	14
0	13	14
1	23	14
2	38	14
3	50	14
done	50	14
0	14	29
1	21	29
2	29	29
done	29	29
0	13	14
1	20	14
2	28	14
done	28	14
0	14	41
1	34	41
2	118	15
3	523	15
4	2755	15
done	5001	15
0	13	14
1	20	14
2	28	14
done	28	14
0	13	14
1	20	14
2	28	14
done	28	14
0	21	41
1	56	35
2	133	35
3	371	35
4	1322	35
done	5001	35
0	14	27
1	32	21
2	75	21
3	204	21
4	618	21
5	1801	21
6	4287	21
done	5001	21
0	16	29
1	32	29
2	78	29
3	261	21
4	884	21
5	3123	21
done	5000	21
0	10	11
1	16	11
2	33	11
3	71	11
4	157	11
5	300	11
6	439	11
7	643	11
8	925	11
9	1160	11
10	1177	11
done	1177	11
0	15	17
1	36	17
2	81	17
3	210	17
4	584	17
5	1794	17
done	5001	17
0	16	41
1	40	35
2	104	35
3	279	33
4	943	33
5	2716	33
done	5001	33
0	14	27
1	33	27
2	79	27
3	204	27
4	592	27
5	1670	27
done	5000	27
0	12	13
1	20	13
2	31	13
3	37	13
4	43	13
5	52	13
6	67	13
7	82	13
8	97	13
9	111	13
10	126	13
11	132	13
done	132	13
0	12	13
1	19	13
2	27	13
done	27	13
0	12	13
1	19	13
2	27	13
done	27	13
0	10	11
1	14	11
2	16	11
done	16	11
0	3	3
done	3	3
0	3	3
done	3	3
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	8	4
3	13	4
4	19	4
5	29	4
6	52	4
7	110	4
8	313	4
9	1238	4
done	5000	4
0	4	6
1	5	3
done	5	3
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	3	3
1	6	1
done	6	1
0	3	3
done	3	3
0	3	3
done	3	3
0	12	13
1	18	12
2	21	12
done	21	12
0	11	12
1	15	12
2	17	12
done	17	12
0	11	12
1	18	12
2	21	12
done	21	12
0	12	25
1	16	25
2	18	25
done	18	25
0	11	12
1	15	12
2	17	12
done	17	12
0	12	35
1	29	35
2	79	13
3	230	13
4	641	13
5	1763	13
6	4330	13
done	5000	13
0	11	12
1	15	12
2	17	12
done	17	12
0	11	12
1	15	12
2	17	12
done	17	12
0	10	11
1	16	11
2	30	11
3	48	11
4	80	11
5	127	11
6	191	11
7	356	11
8	598	11
9	689	11
10	704	11
11	706	11
done	706	11
0	6	7
1	10	7
2	24	7
3	57	7
4	118	7
5	190	7
6	313	7
7	476	7
8	749	7
9	993	7
10	1011	7
done	1011	7
0	13	15
1	36	15
2	83	15
3	228	15
4	651	15
5	2002	15
done	5001	15
0	14	35
1	37	29
2	80	29
3	163	29
4	343	29
5	677	29
6	1202	29
7	1898	29
8	3024	29
9	4892	29
done	5000	29
0	12	23
1	28	23
2	51	23
3	104	23
4	215	23
5	438	23
6	756	23
7	1311	23
8	3331	23
done	5001	23
0	10	11
1	15	11
2	20	11
done	20	11
0	10	11
1	14	11
2	16	11
done	16	11
0	10	11
1	14	11
2	16	11
done	16	11
0	10	11
1	14	11
2	16	11
done	16	11
0	10	11
1	14	11
2	16	11
done	16	11
0	10	11
1	14	11
2	16	11
done	16	11
0	17	24
1	34	24
2	91	24
3	311	24
4	1225	24
5	4358	24
done	5000	24
0	16	23
1	34	23
2	83	23
3	265	23
4	1051	23
5	3707	23
done	5000	23
0	17	24
1	34	24
2	91	24
3	311	24
4	1225	24
5	4358	24
done	5000	24
0	16	23
1	34	23
2	83	23
3	265	23
4	1051	23
5	3707	23
done	5000	23
0	17	24
1	39	24
2	101	24
3	351	24
4	1455	24
done	5000	24
0	16	23
1	39	23
2	93	23
3	306	23
4	1270	23
done	5001	23
0	15	22
1	36	22
2	94	22
3	274	22
4	1151	22
5	4466	22
done	5000	22
0	16	23
1	38	23
2	116	22
3	457	22
4	2584	22
done	5000	22
0	16	23
1	35	23
2	99	23
3	352	23
4	1995	23
done	5001	23
0	23	68
1	61	51
2	304	30
3	3265	30
done	5001	30
0	21	68
1	63	59
2	297	28
3	3154	28
done	5000	28
0	19	68
1	56	67
2	291	26
3	3583	24
done	5001	24
0	17	47
1	36	47
2	100	47
3	345	47
4	1938	47
done	5000	47
0	16	23
1	35	23
2	99	23
3	344	23
4	1929	23
done	5000	23
0	17	68
1	43	68
2	161	24
3	1291	24
done	5000	24
0	16	23
1	35	23
2	99	23
3	344	23
4	1929	23
done	5000	23
0	16	23
1	35	23
2	99	23
3	344	23
4	1929	23
done	5000	23
0	14	16
1	32	16
2	79	16
3	185	16
4	500	16
5	1583	16
done	5000	16
0	7	7
1	15	7
2	34	7
3	70	7
4	129	7
5	209	7
6	395	7
7	588	7
8	976	7
9	1112	7
10	1120	7
done	1120	7
0	9	12
1	19	12
2	36	12
3	71	12
4	164	12
5	397	12
6	1222	12
7	4847	12
done	5000	12
0	10	10
1	18	10
2	29	10
3	58	10
4	110	10
5	194	10
6	339	10
7	435	10
8	466	10
9	507	10
10	646	10
11	950	10
12	1172	10
13	1178	10
done	1178	10
0	11	25
1	26	25
2	55	25
3	116	25
4	275	25
5	718	25
6	2543	25
done	5000	25
0	13	13
1	24	13
2	43	13
3	69	13
4	98	13
5	130	13
6	206	13
7	281	13
8	416	13
9	453	13
10	454	13
done	454	13
0	10	17
1	23	17
2	48	17
3	97	17
4	210	17
5	462	17
6	1351	17
done	5001	17
0	13	13
1	24	13
2	43	13
3	69	13
4	98	13
5	130	13
6	206	13
7	281	13
8	416	13
9	453	13
10	454	13
done	454	13
0	9	11
1	21	9
2	40	9
3	77	9
4	179	9
5	446	9
6	1530	9
done	5000	9
0	12	12
1	23	12
2	51	12
3	116	12
4	307	12
5	685	12
6	1291	12
7	2201	12
8	3683	12
9	4304	12
10	4311	12
done	4311	12
0	8	8
1	20	7
2	41	7
3	83	7
4	164	6
5	274	6
6	425	6
7	497	6
8	500	6
done	500	6
0	15	22
1	34	22
2	95	22
3	353	22
4	1984	22
done	5000	22
0	15	18
1	31	18
2	69	18
3	161	18
4	441	18
5	1419	18
done	5000	18
0	17	31
1	41	31
2	109	31
3	310	31
4	1004	31
5	3693	31
done	5001	31
0	16	23
1	35	23
2	81	23
3	185	23
4	491	23
5	1483	23
done	5000	23
0	15	17
1	33	15
2	75	15
3	184	15
4	560	15
5	2062	15
done	5001	15
0	12	12
1	23	12
2	50	12
3	117	12
4	322	12
5	726	12
6	1241	12
7	2172	12
8	3527	12
9	4047	12
10	4048	12
done	4048	12
0	16	20
1	35	20
2	91	20
3	288	20
4	1135	20
5	4997	20
done	5000	20
0	8	14
1	21	14
2	49	14
3	128	14
4	376	14
5	1399	14
done	5001	14
0	10	11
1	21	11
2	43	11
3	52	11
4	62	9
5	74	9
6	98	9
7	160	9
8	381	9
9	1320	9
done	5000	9
0	13	15
1	29	15
2	56	11
3	97	11
4	212	11
5	571	9
6	2688	9
done	5000	9
0	13	15
1	29	15
2	56	11
3	97	11
4	212	11
5	571	9
6	2688	9
done	5000	9
0	2	2
done	2	2
0	2	2
done	2	2
0	10	11
1	21	11
2	43	11
3	52	11
4	62	9
5	74	9
6	98	9
7	160	9
8	381	9
9	1320	9
done	5000	9
0	18	22
1	46	22
2	117	16
3	334	16
4	1163	15
5	4092	13
done	5000	13
0	18	22
1	46	22
2	117	16
3	334	16
4	1163	15
5	4092	13
done	5000	13
0	61	147
1	168	147
2	618	147
3	3091	120
done	5000	120
0	16	20
1	32	18
2	70	18
3	200	18
4	764	18
5	3645	18
done	5000	18
0	14	18
1	30	18
2	68	18
3	232	18
4	1015	18
done	5000	18

prune461.0ms

Filtered

69 candidates to 88 candidates (-27.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	83	5	88
Fresh	4	3	7
Picked	1	0	1
Done	0	0	0
Total	88	8	96

Merged error: 0.2b

Counts

96 → 8

localize61.0ms

Local error

Found 4 expressions with local error:

1.0b	(+ (/ 771.3234287776531 (- 3.0 z)) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))))
1.0b	(+ (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z)))
1.0b	(sqrt PI)
2.6b	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))

rewrite95.0ms

Algorithm

rewrite-expression-head

Rules

41×	`*-un-lft-identity`
20×	`add-log-exp`
14×	`distribute-lft-out`
10×	`sum-log`
9×	`frac-add`
8×	`times-frac`
6×	`add-sqr-sqrt` `flip3-+` `flip-+`
5×	`pow1` `add-cube-cbrt`
4×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out--`
3×	`+-commutative` `sqrt-prod`
1×	`rem-sqrt-square` `associate-+l+` `associate-+r+` `sqrt-pow1` `pow1/2`

Counts

4 → 68

Calls

4 calls:

39.0ms	(+ (/ 771.3234287776531 (- 3.0 z)) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))))
29.0ms	(+ (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z)))
2.0ms	(sqrt PI)
23.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))

series16.0ms

Counts

4 → 10

Calls

4 calls:

7.0ms	(+ (/ 771.3234287776531 (- 3.0 z)) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))))
5.0ms	(+ (/ 12.507343278686905 (- 5.0 z)) (/ -0.13857109526572012 (- 6.0 z)))
0.0ms	(sqrt PI)
5.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))

simplify1.4min

Counts

78 → 78

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	16
1	24	15
2	39	14
3	48	14
4	50	14
done	50	14
0	14	15
1	24	14
2	36	14
3	48	14
done	48	14
0	13	14
1	20	14
2	28	14
done	28	14
0	13	14
1	23	14
2	38	14
3	50	14
done	50	14
0	14	29
1	21	29
2	29	29
done	29	29
0	13	14
1	20	14
2	28	14
done	28	14
0	14	41
1	34	41
2	118	15
3	523	15
4	2755	15
done	5001	15
0	13	14
1	20	14
2	28	14
done	28	14
0	13	14
1	20	14
2	28	14
done	28	14
0	21	41
1	56	35
2	133	35
3	371	35
4	1322	35
done	5001	35
0	14	27
1	32	21
2	75	21
3	204	21
4	618	21
5	1801	21
6	4287	21
done	5001	21
0	16	29
1	32	29
2	78	29
3	261	21
4	884	21
5	3123	21
done	5000	21
0	10	11
1	16	11
2	33	11
3	71	11
4	157	11
5	300	11
6	439	11
7	643	11
8	925	11
9	1160	11
10	1177	11
done	1177	11
0	15	17
1	36	17
2	81	17
3	210	17
4	584	17
5	1794	17
done	5001	17
0	16	41
1	40	35
2	104	35
3	279	33
4	943	33
5	2716	33
done	5001	33
0	14	27
1	33	27
2	79	27
3	204	27
4	592	27
5	1670	27
done	5000	27
0	12	13
1	20	13
2	31	13
3	37	13
4	43	13
5	52	13
6	67	13
7	82	13
8	97	13
9	111	13
10	126	13
11	132	13
done	132	13
0	12	13
1	19	13
2	27	13
done	27	13
0	12	13
1	19	13
2	27	13
done	27	13
0	10	11
1	14	11
2	16	11
done	16	11
0	3	3
done	3	3
0	3	3
done	3	3
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	8	4
3	13	4
4	19	4
5	29	4
6	52	4
7	110	4
8	313	4
9	1238	4
done	5000	4
0	4	6
1	5	3
done	5	3
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	3	3
1	6	1
done	6	1
0	3	3
done	3	3
0	3	3
done	3	3
0	12	13
1	18	12
2	21	12
done	21	12
0	11	12
1	15	12
2	17	12
done	17	12
0	11	12
1	18	12
2	21	12
done	21	12
0	12	25
1	16	25
2	18	25
done	18	25
0	11	12
1	15	12
2	17	12
done	17	12
0	12	35
1	29	35
2	79	13
3	230	13
4	641	13
5	1763	13
6	4330	13
done	5000	13
0	11	12
1	15	12
2	17	12
done	17	12
0	11	12
1	15	12
2	17	12
done	17	12
0	10	11
1	16	11
2	30	11
3	48	11
4	80	11
5	127	11
6	191	11
7	356	11
8	598	11
9	689	11
10	704	11
11	706	11
done	706	11
0	6	7
1	10	7
2	24	7
3	57	7
4	118	7
5	190	7
6	313	7
7	476	7
8	749	7
9	993	7
10	1011	7
done	1011	7
0	13	15
1	36	15
2	83	15
3	228	15
4	651	15
5	2002	15
done	5001	15
0	14	35
1	37	29
2	80	29
3	163	29
4	343	29
5	677	29
6	1202	29
7	1898	29
8	3024	29
9	4892	29
done	5000	29
0	12	23
1	28	23
2	51	23
3	104	23
4	215	23
5	438	23
6	756	23
7	1311	23
8	3331	23
done	5001	23
0	10	11
1	15	11
2	20	11
done	20	11
0	10	11
1	14	11
2	16	11
done	16	11
0	10	11
1	14	11
2	16	11
done	16	11
0	10	11
1	14	11
2	16	11
done	16	11
0	10	11
1	14	11
2	16	11
done	16	11
0	10	11
1	14	11
2	16	11
done	16	11
0	21	23
1	34	22
2	65	21
3	120	20
4	156	20
5	158	20
done	158	20
0	20	22
1	34	21
2	61	20
3	115	20
4	161	20
5	163	20
done	163	20
0	19	21
1	33	20
2	60	20
3	121	20
4	176	20
5	178	20
done	178	20
0	18	20
1	29	20
2	51	20
3	81	20
4	87	20
done	87	20
0	18	20
1	32	20
2	64	20
3	124	20
4	183	20
5	186	20
done	186	20
0	19	41
1	30	41
2	52	41
3	80	41
4	88	41
done	88	41
0	18	20
1	29	20
2	51	20
3	81	20
4	87	20
done	87	20
0	19	59
1	43	59
2	153	21
3	925	21
done	5000	21
0	18	20
1	29	20
2	51	20
3	81	20
4	87	20
done	87	20
0	18	20
1	29	20
2	51	20
3	81	20
4	87	20
done	87	20
0	28	75
1	76	63
2	227	63
3	886	49
4	4342	49
done	5000	49
0	17	31
1	39	25
2	109	25
3	412	25
4	1786	25
done	5001	25
0	23	47
1	52	47
2	167	47
3	687	39
4	3148	35
done	5000	35
0	13	15
1	23	15
2	65	15
3	228	15
4	695	15
5	2194	15
done	5001	15
0	26	65
1	81	59
2	262	59
3	996	57
4	4318	57
done	5000	57
0	19	45
1	51	39
2	155	39
3	581	37
4	2547	37
done	5000	37
0	21	47
1	47	47
2	137	47
3	547	33
4	2607	33
done	5001	33
0	15	17
1	25	17
2	55	17
3	148	17
4	354	17
5	980	17
6	2374	17
done	5001	17
0	20	23
1	45	23
2	109	23
3	388	23
4	1676	23
done	5000	23
0	21	59
1	55	45
2	185	45
3	688	45
4	3727	45
done	5001	45
0	19	39
1	42	39
2	122	39
3	468	39
4	2085	39
done	5000	39
0	17	19
1	29	19
2	55	19
3	101	19
4	190	19
5	308	19
6	465	19
7	596	19
8	614	19
done	614	19
0	17	19
1	28	19
2	50	19
3	76	19
4	84	19
done	84	19
0	17	19
1	28	19
2	50	19
3	76	19
4	84	19
done	84	19
0	17	19
1	28	19
2	50	19
3	76	19
4	84	19
done	84	19
0	12	13
1	19	13
2	27	13
done	27	13
0	10	11
1	21	11
2	43	11
3	52	11
4	62	9
5	74	9
6	98	9
7	160	9
8	381	9
9	1320	9
done	5000	9
0	13	15
1	29	15
2	56	11
3	97	11
4	212	11
5	571	9
6	2688	9
done	5000	9
0	13	15
1	29	15
2	56	11
3	97	11
4	212	11
5	571	9
6	2688	9
done	5000	9
0	16	20
1	35	20
2	91	20
3	288	20
4	1135	20
5	4997	20
done	5000	20
0	10	11
1	21	11
2	43	11
3	52	11
4	62	9
5	74	9
6	98	9
7	160	9
8	381	9
9	1320	9
done	5000	9
0	18	22
1	46	22
2	117	16
3	334	16
4	1163	15
5	4092	13
done	5000	13
0	18	22
1	46	22
2	117	16
3	334	16
4	1163	15
5	4092	13
done	5000	13
0	10	11
1	21	11
2	43	11
3	52	11
4	62	9
5	74	9
6	98	9
7	160	9
8	381	9
9	1320	9
done	5000	9
0	13	15
1	30	15
2	60	11
3	136	11
4	341	11
5	1055	9
done	5000	9
0	13	15
1	30	15
2	60	11
3	136	11
4	341	11
5	1055	9
done	5000	9

prune362.0ms

Filtered

58 candidates to 78 candidates (-34.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	78	8	86

Merged error: 0.2b

Counts

86 → 8

localize62.0ms

Local error

Found 4 expressions with local error:

1.0b	(pow (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))) 3)
1.0b	(sqrt PI)
1.5b	(cbrt (pow (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))) 3))
2.6b	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))

rewrite78.0ms

Algorithm

rewrite-expression-head

Rules

36×	`*-un-lft-identity`
16×	`cbrt-prod`
15×	`distribute-lft-out`
12×	`add-sqr-sqrt`
11×	`add-cube-cbrt`
10×	`unpow-prod-down` `cube-prod`
9×	`add-log-exp`
8×	`cube-div`
6×	`pow1` `flip3-+` `frac-add` `flip-+`
5×	`add-exp-log` `add-cbrt-cube`
4×	`cbrt-div`
3×	`pow-unpow` `sum-log` `sqrt-prod`
2×	`cube-mult` `unpow3` `sqr-pow`
1×	`+-commutative` `pow-to-exp` `rem-sqrt-square` `associate-+l+` `pow-pow` `sqrt-pow1` `pow1/2` `pow1/3` `pow-exp` `rem-cbrt-cube` `rem-cube-cbrt`

Counts

4 → 90

Calls

4 calls:

28.0ms	(pow (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))) 3)
2.0ms	(sqrt PI)
23.0ms	(cbrt (pow (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))) 3))
22.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))

series15.0ms

Counts

4 → 10

Calls

4 calls:

6.0ms	(pow (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))) 3)
0.0ms	(sqrt PI)
5.0ms	(cbrt (pow (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z))) 3))
5.0ms	(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -1259.1392167224028 (- 2.0 z)))

simplify3.2min

Counts

100 → 100

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	16
1	24	15
2	39	14
3	48	14
4	50	14
done	50	14
0	14	15
1	24	14
2	36	14
3	48	14
done	48	14
0	13	14
1	20	14
2	28	14
done	28	14
0	13	14
1	23	14
2	38	14
3	50	14
done	50	14
0	14	29
1	21	29
2	29	29
done	29	29
0	13	14
1	20	14
2	28	14
done	28	14
0	14	41
1	34	41
2	118	15
3	523	15
4	2755	15
done	5001	15
0	13	14
1	20	14
2	28	14
done	28	14
0	13	14
1	20	14
2	28	14
done	28	14
0	21	41
1	56	35
2	133	35
3	371	35
4	1322	35
done	5001	35
0	14	27
1	32	21
2	75	21
3	204	21
4	618	21
5	1801	21
6	4287	21
done	5001	21
0	16	29
1	32	29
2	78	29
3	261	21
4	884	21
5	3123	21
done	5000	21
0	10	11
1	16	11
2	33	11
3	71	11
4	157	11
5	300	11
6	439	11
7	643	11
8	925	11
9	1160	11
10	1177	11
done	1177	11
0	15	17
1	36	17
2	81	17
3	210	17
4	584	17
5	1794	17
done	5001	17
0	16	41
1	40	35
2	104	35
3	279	33
4	943	33
5	2716	33
done	5001	33
0	14	27
1	33	27
2	79	27
3	204	27
4	592	27
5	1670	27
done	5000	27
0	12	13
1	20	13
2	31	13
3	37	13
4	43	13
5	52	13
6	67	13
7	82	13
8	97	13
9	111	13
10	126	13
11	132	13
done	132	13
0	12	13
1	19	13
2	27	13
done	27	13
0	12	13
1	19	13
2	27	13
done	27	13
0	10	11
1	14	11
2	16	11
done	16	11
0	16	17
1	31	14
2	73	14
3	269	14
4	1246	14
done	5000	14
0	16	17
1	31	14
2	80	14
3	285	14
4	1268	14
done	5001	14
0	17	32
1	34	29
2	63	17
3	146	17
4	463	17
5	1284	16
done	5000	16
0	16	17
1	31	14
2	45	14
3	55	14
4	76	14
5	141	14
6	356	14
7	1275	14
done	5001	14
0	16	17
1	31	14
2	45	14
3	80	14
4	115	14
5	188	14
6	412	14
7	1359	14
done	5000	14
0	16	17
1	31	14
2	45	14
3	80	14
4	115	14
5	188	14
6	412	14
7	1359	14
done	5000	14
0	4	4
1	14	1
2	18	1
done	18	1
0	15	16
1	30	13
2	72	13
3	268	13
4	1245	13
done	5000	13
0	4	4
1	14	1
2	18	1
done	18	1
0	15	16
1	30	13
2	72	13
3	268	13
4	1245	13
done	5000	13
0	4	4
1	14	1
2	18	1
done	18	1
0	15	16
1	30	13
2	72	13
3	268	13
4	1245	13
done	5000	13
0	14	28
1	27	28
2	76	28
3	244	28
4	813	28
5	3351	28
done	5000	28
0	13	14
1	20	14
2	28	14
done	28	14
0	17	34
1	31	28
2	73	28
3	269	28
4	1246	28
done	5000	28
0	16	17
1	31	14
2	73	14
3	269	14
4	1246	14
done	5000	14
0	17	32
1	34	29
2	63	17
3	146	17
4	463	17
5	1284	16
done	5000	16
0	16	17
1	31	14
2	45	14
3	55	14
4	76	14
5	141	14
6	356	14
7	1275	14
done	5001	14
0	16	17
1	31	14
2	45	14
3	80	14
4	115	14
5	188	14
6	412	14
7	1359	14
done	5000	14
0	16	17
1	31	14
2	45	14
3	80	14
4	115	14
5	188	14
6	412	14
7	1359	14
done	5000	14
0	4	4
1	14	1
2	18	1
done	18	1
0	15	16
1	30	13
2	72	13
3	268	13
4	1245	13
done	5000	13
0	4	4
1	14	1
2	18	1
done	18	1
0	15	16
1	30	13
2	72	13
3	268	13
4	1245	13
done	5000	13
0	4	4
1	14	1
2	18	1
done	18	1
0	15	16
1	30	13
2	72	13
3	268	13
4	1245	13
done	5000	13
0	13	14
1	20	14
2	28	14
done	28	14
0	14	28
1	27	28
2	76	28
3	244	28
4	813	28
5	3351	28
done	5000	28
0	16	17
1	31	17
2	74	17
3	270	17
4	1247	17
done	5000	17
0	16	17
1	31	17
2	74	17
3	270	17
4	1247	17
done	5000	17
0	2	2
1	4	1
done	4	1
0	15	16
1	30	13
2	72	13
3	268	13
4	1245	13
done	5000	13
0	17	18
1	29	16
2	43	16
3	53	16
4	74	16
5	139	16
6	357	16
7	1275	16
done	5000	16
0	17	18
1	29	16
2	43	16
3	53	16
4	74	16
5	139	16
6	357	16
7	1275	16
done	5000	16
0	23	44
1	63	35
2	159	35
3	510	35
4	3028	35
done	5000	35
0	17	30
1	46	21
2	124	21
3	552	21
4	3941	21
done	5000	21
0	19	32
1	43	29
2	111	29
3	418	21
4	2680	21
done	5000	21
0	13	14
1	30	11
2	82	11
3	342	11
4	1617	11
done	5000	11
0	17	20
1	43	17
2	107	17
3	359	17
4	2136	17
done	5001	17
0	19	44
1	51	35
2	137	35
3	500	33
4	3981	33
done	5000	33
0	17	30
1	44	27
2	122	27
3	547	27
done	5002	27
0	15	16
1	31	13
2	72	13
3	260	13
4	1240	13
done	5001	13
0	17	35
1	32	29
2	74	29
3	270	29
4	1247	29
done	5001	29
0	16	17
1	31	14
2	73	14
3	269	14
4	1246	14
done	5000	14
0	17	50
1	30	15
2	72	15
3	268	15
4	1245	15
done	5001	15
0	16	17
1	31	14
2	73	14
3	269	14
4	1246	14
done	5000	14
0	16	17
1	31	14
2	73	14
3	269	14
4	1246	14
done	5000	14
0	3	3
done	3	3
0	3	3
done	3	3
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	8	4
3	13	4
4	19	4
5	29	4
6	52	4
7	110	4
8	313	4
9	1238	4
done	5000	4
0	4	6
1	5	3
done	5	3
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	3	3
1	6	1
done	6	1
0	3	3
done	3	3
0	3	3
done	3	3
0	15	16
1	23	16
2	31	16
done	31	16
0	15	16
1	23	16
2	31	16
done	31	16
0	3	3
1	6	1
done	6	1
0	16	19
1	27	19
2	42	19
3	66	19
4	124	19
5	282	19
6	907	19
7	3340	19
done	5000	19
0	15	16
1	26	16
2	39	16
3	57	16
4	98	16
5	207	16
6	579	16
7	2197	16
done	5001	16
0	14	15
1	28	13
2	43	13
3	54	13
4	76	13
5	141	13
6	360	13
7	1306	13
done	5000	13
0	16	31
1	33	31
2	62	16
3	143	16
4	460	16
5	1266	16
6	4842	16
done	5000	16
0	15	16
1	30	13
2	44	13
3	54	13
4	77	13
5	140	13
6	355	13
7	1267	13
done	5000	13
0	15	16
1	30	16
2	44	16
3	79	16
4	116	16
5	185	16
6	406	16
7	1352	16
done	5000	16
0	15	16
1	30	16
2	44	16
3	79	16
4	116	16
5	185	16
6	406	16
7	1352	16
done	5000	16
0	3	3
1	13	1
done	13	1
0	14	15
1	29	15
2	71	15
3	267	15
4	1244	15
done	5000	15
0	3	3
1	13	1
done	13	1
0	14	15
1	29	15
2	71	15
3	267	15
4	1244	15
done	5000	15
0	3	3
1	13	1
done	13	1
0	14	15
1	29	15
2	71	15
3	267	15
4	1244	15
done	5000	15
0	13	27
1	26	27
2	75	27
3	243	27
4	807	27
5	3344	27
done	5000	27
0	15	16
1	32	16
2	80	16
3	281	16
4	1277	16
done	5001	16
0	15	16
1	30	16
2	78	16
3	312	16
4	1432	16
done	5001	16
0	16	33
1	30	27
2	72	27
3	268	27
4	1245	27
done	5000	27
0	15	16
1	30	13
2	72	13
3	268	13
4	1245	13
done	5000	13
0	16	47
1	35	31
2	110	17
3	641	17
done	5000	17
0	16	31
1	33	31
2	62	16
3	143	16
4	460	16
5	1266	16
6	4842	16
done	5000	16
0	15	16
1	30	13
2	44	13
3	54	13
4	77	13
5	140	13
6	355	13
7	1267	13
done	5000	13
0	15	16
1	30	16
2	44	16
3	79	16
4	116	16
5	185	16
6	406	16
7	1352	16
done	5000	16
0	15	16
1	30	16
2	44	16
3	79	16
4	116	16
5	185	16
6	406	16
7	1352	16
done	5000	16
0	3	3
1	13	1
done	13	1
0	14	15
1	29	15
2	71	15
3	267	15
4	1244	15
done	5000	15
0	3	3
1	13	1
done	13	1
0	14	15
1	29	15
2	71	15
3	267	15
4	1244	15
done	5000	15
0	3	3
1	13	1
done	13	1
0	14	15
1	29	15
2	71	15
3	267	15
4	1244	15
done	5000	15
0	22	43
1	62	37
2	158	37
3	509	37
4	3029	37
done	5000	37
0	16	29
1	45	23
2	123	23
3	551	23
4	3944	23
done	5001	23
0	18	31
1	42	31
2	110	31
3	417	23
4	2674	23
done	5000	23
0	12	13
1	29	13
2	81	13
3	340	13
4	1618	13
done	5002	13
0	16	19
1	42	19
2	106	19
3	358	19
4	2142	19
done	5001	19
0	18	43
1	50	37
2	136	37
3	499	35
4	3984	35
done	5001	35
0	16	29
1	43	29
2	121	29
3	546	29
done	5000	29
0	14	15
1	30	15
2	71	15
3	259	15
4	1239	15
done	5001	15
0	13	27
1	26	27
2	75	27
3	243	27
4	807	27
5	3344	27
done	5000	27
0	15	16
1	30	16
2	73	16
3	269	16
4	1246	16
done	5001	16
0	15	16
1	30	16
2	73	16
3	269	16
4	1246	16
done	5001	16
0	16	17
1	27	15
2	42	15
3	54	15
4	77	15
5	140	15
6	359	15
7	1287	15
done	5000	15
0	16	17
1	27	15
2	42	15
3	54	15
4	77	15
5	140	15
6	359	15
7	1287	15
done	5000	15
0	10	11
1	21	11
2	43	11
3	52	11
4	62	9
5	74	9
6	98	9
7	160	9
8	381	9
9	1320	9
done	5000	9
0	13	15
1	29	15
2	56	11
3	97	11
4	212	11
5	571	9
6	2688	9
done	5000	9
0	13	15
1	29	15
2	56	11
3	97	11
4	212	11
5	571	9
6	2688	9
done	5000	9
0	10	11
1	21	11
2	43	11
3	52	11
4	62	9
5	74	9
6	98	9
7	160	9
8	381	9
9	1320	9
done	5000	9
0	13	15
1	29	15
2	56	11
3	97	11
4	212	11
5	571	9
6	2688	9
done	5000	9
0	13	15
1	29	15
2	56	11
3	97	11
4	212	11
5	571	9
6	2688	9
done	5000	9
0	61	82
1	121	79
2	374	79
3	2209	79
done	5001	79
0	10	11
1	21	11
2	43	11
3	52	11
4	62	9
5	74	9
6	98	9
7	160	9
8	381	9
9	1320	9
done	5000	9
0	13	15
1	29	15
2	56	11
3	97	11
4	212	11
5	571	9
6	2688	9
done	5000	9
0	13	15
1	29	15
2	56	11
3	97	11
4	212	11
5	571	9
6	2688	9
done	5000	9

prune451.0ms

Filtered

69 candidates to 100 candidates (-44.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	99	1	100
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	99	9	108

Merged error: 0.1b

Counts

108 → 9

regimes244.0ms

Accuracy

0% (0.4b remaining)

Error of 0.5b against oracle of 0.1b and baseline of 0.5b

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	61	80
1	75	80
done	75	80

end0.0ms

sample50.3s

Algorithm

intervals

Results

40.6s	3830×	body	5120	exit
3.3s	1530×	body	1280	nan
2.8s	8085×	body	80	valid
2.0s	1230×	body	640	nan
692.0ms	612×	body	320	nan
212.0ms	293×	body	160	nan
89.0ms	270×	body	80	nan

Details

sample1.7s

simplify1.4s

prune23.0ms

localize53.0ms

rewrite82.0ms

series48.0ms

simplify2.2min

prune437.0ms

localize53.0ms

rewrite82.0ms

series46.0ms

simplify2.6min

prune461.0ms

localize61.0ms

rewrite95.0ms

series16.0ms

simplify1.4min

prune362.0ms

localize62.0ms

rewrite78.0ms

series15.0ms

simplify3.2min

prune451.0ms

regimes244.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample50.3s

Profiling