Details

sample44.0ms

Algorithm

intervals

Results

10.0ms	131×	body	80	valid
9.0ms	64×	body	1280	valid
7.0ms	257×	body	80	nan
3.0ms	32×	body	640	valid
2.0ms	21×	body	320	valid
0.0ms	8×	body	160	valid

simplify3.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	9	7
2	10	7
done	10	7

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: 30.2b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(sqrt (+ x 1.0))
2.9b	(- (sqrt (+ x 1.0)) (sqrt x))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `*-un-lft-identity` `sqrt-prod`
4×	`add-log-exp` `difference-of-squares`
3×	`pow1` `add-cube-cbrt` `distribute-lft-out--`
2×	`add-exp-log` `sqrt-div` `add-cbrt-cube` `distribute-lft-out`
1×	`sub-neg` `rem-sqrt-square` `flip3--` `sqrt-pow1` `flip3-+` `pow1/2` `diff-log` `flip--` `flip-+`

Counts

2 → 35

Calls

2 calls:

3.0ms	(sqrt (+ x 1.0))
9.0ms	(- (sqrt (+ x 1.0)) (sqrt x))

series16.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(sqrt (+ x 1.0))
12.0ms	(- (sqrt (+ x 1.0)) (sqrt x))

simplify32.5s

Counts

41 → 41

Iterations

Useful iterations: 4 (14.0ms)

Iter	Nodes	Cost
0	8	9
1	11	8
2	13	8
3	16	8
4	19	8
5	25	8
6	29	8
7	45	8
8	49	8
9	54	8
10	61	8
11	80	8
12	101	8
13	113	8
14	116	8
done	116	8
0	7	8
1	10	8
2	11	8
done	11	8
0	7	8
1	13	8
2	16	8
3	19	8
4	25	8
5	29	8
6	45	8
7	49	8
8	54	8
9	61	8
10	79	8
11	100	8
12	113	8
13	116	8
done	116	8
0	8	17
1	11	17
2	12	17
done	12	17
0	7	8
1	10	8
2	11	8
done	11	8
0	8	23
1	12	23
2	27	9
3	70	9
4	179	9
5	556	9
6	2130	9
done	5001	9
0	7	8
1	10	8
2	11	8
done	11	8
0	7	8
1	10	8
2	11	8
done	11	8
0	9	11
1	25	11
2	47	11
3	86	11
4	182	11
5	523	11
6	2335	11
done	5001	11
0	10	23
1	18	13
2	37	13
3	55	13
4	58	13
done	58	13
0	3	3
done	3	3
0	8	15
1	14	5
2	28	5
3	50	3
4	78	1
5	98	1
6	111	1
7	116	1
8	125	1
9	145	1
10	171	1
11	192	1
12	239	1
13	282	1
14	314	1
15	338	1
done	338	1
0	6	7
1	8	7
done	8	7
0	8	9
1	10	9
done	10	9
0	8	9
1	11	9
2	12	9
done	12	9
0	8	9
1	10	9
done	10	9
0	8	9
1	11	9
2	12	9
done	12	9
0	8	9
1	10	9
done	10	9
0	8	9
1	11	9
2	12	9
done	12	9
0	8	9
1	10	9
done	10	9
0	8	9
1	11	9
2	12	9
done	12	9
0	6	7
1	9	7
2	10	7
done	10	7
0	6	7
1	9	7
2	10	7
done	10	7
0	6	7
1	9	7
2	10	7
done	10	7
0	3	3
done	3	3
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	24	6
4	30	6
5	40	6
6	61	6
7	126	6
8	339	6
9	1262	6
done	5000	6
0	6	10
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	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	6	4
2	7	4
done	7	4
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	21	32
1	57	32
2	183	32
3	496	32
4	1429	25
5	4348	25
done	5000	25
0	34	61
1	93	61
2	366	61
3	1434	51
done	5000	51
0	34	61
1	93	61
2	366	61
3	1458	55
done	5001	55
0	15	20
1	38	20
2	110	20
3	320	20
4	942	15
5	3240	15
done	5000	15
0	21	33
1	57	33
2	182	33
3	495	29
4	1451	29
5	4983	27
done	5000	27
0	21	33
1	57	33
2	182	33
3	495	33
4	1428	30
5	4608	27
done	5000	27

prune77.0ms

Filtered

30 candidates to 41 candidates (-36.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	38	3	41
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	38	4	42

Merged error: 0.1b

Counts

42 → 4

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (sqrt (+ x 1.0)) (sqrt x))
0.0b	(sqrt (+ x 1.0))
0.2b	(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

52×	`*-un-lft-identity`
24×	`sqrt-prod`
21×	`distribute-lft-out`
18×	`times-frac`
16×	`add-sqr-sqrt`
15×	`add-cube-cbrt`
6×	`associate-/r*`
5×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
4×	`pow1`
3×	`flip3-+` `flip-+` `associate-/l*`
2×	`sqrt-div` `associate-/r/`
1×	`cbrt-undiv` `+-commutative` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `div-exp` `clear-num` `sum-log` `div-inv`

Counts

3 → 71

Calls

3 calls:

10.0ms	(+ (sqrt (+ x 1.0)) (sqrt x))
4.0ms	(sqrt (+ x 1.0))
11.0ms	(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))

series21.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(+ (sqrt (+ x 1.0)) (sqrt x))
4.0ms	(sqrt (+ x 1.0))
11.0ms	(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))

simplify52.9s

Counts

80 → 80

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	13	11
2	14	11
done	14	11
0	8	10
1	13	10
2	15	10
3	16	10
done	16	10
0	8	10
1	10	10
done	10	10
0	11	29
1	34	29
2	96	13
3	223	11
4	537	11
5	1647	11
done	5000	11
0	9	21
1	11	21
done	11	21
0	8	10
1	10	10
done	10	10
0	9	29
1	18	29
2	34	11
3	72	11
4	153	11
5	304	11
6	586	11
7	1402	11
done	5000	11
0	8	10
1	10	10
done	10	10
0	8	10
1	10	10
done	10	10
0	2	2
done	2	2
0	7	8
1	12	8
2	14	8
3	15	8
done	15	8
0	11	23
1	19	23
2	28	23
3	34	23
done	34	23
0	9	11
1	11	11
done	11	11
0	10	14
1	14	14
2	16	14
3	17	14
done	17	14
0	9	11
1	11	11
done	11	11
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	10
1	10	10
done	10	10
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	8	10
1	10	10
done	10	10
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	8	10
1	10	10
done	10	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	10
1	10	10
done	10	10
0	10	20
1	14	20
done	14	20
0	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	4	4
1	6	2
2	8	2
done	8	2
0	8	10
1	10	10
done	10	10
0	5	5
1	7	4
done	7	4
0	8	10
1	10	10
done	10	10
0	5	5
1	7	4
done	7	4
0	8	10
1	10	10
done	10	10
0	4	4
1	6	2
2	8	2
done	8	2
0	8	10
1	10	10
done	10	10
0	10	19
1	16	19
done	16	19
0	8	10
1	10	10
done	10	10
0	9	10
1	13	10
done	13	10
0	8	10
1	10	10
done	10	10
0	2	3
1	4	1
done	4	1
0	7	9
1	9	9
done	9	9
0	3	4
1	5	3
done	5	3
0	7	9
1	9	9
done	9	9
0	3	4
1	5	3
done	5	3
0	7	9
1	9	9
done	9	9
0	2	3
1	4	1
done	4	1
0	7	9
1	9	9
done	9	9
0	8	9
1	12	9
done	12	9
0	7	9
1	9	9
done	9	9
0	9	19
1	13	19
done	13	19
0	8	10
1	10	10
done	10	10
0	3	3
1	5	1
done	5	1
0	4	4
1	6	3
done	6	3
0	4	4
1	6	3
done	6	3
0	3	3
1	5	1
done	5	1
0	8	10
1	10	10
done	10	10
0	8	10
1	10	10
done	10	10
0	7	9
1	9	9
done	9	9
0	10	13
1	25	13
2	34	13
3	60	13
4	109	13
5	231	13
6	647	13
7	2483	13
done	5001	13
0	9	17
1	15	7
2	31	7
3	55	5
4	83	3
5	103	3
6	117	1
7	123	1
8	132	1
9	152	1
10	178	1
11	199	1
12	246	1
13	289	1
14	321	1
15	345	1
done	345	1
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	24	6
4	30	6
5	40	6
6	61	6
7	126	6
8	339	6
9	1262	6
done	5000	6
0	6	10
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	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	6	4
2	7	4
done	7	4
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	8	9
1	12	8
2	13	8
done	13	8
0	7	8
1	9	8
done	9	8
0	7	8
1	12	8
2	13	8
done	13	8
0	8	17
1	10	17
done	10	17
0	7	8
1	9	8
done	9	8
0	8	23
1	23	23
2	55	9
3	120	9
4	321	9
5	1168	9
6	4316	9
done	5000	9
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8
0	9	11
1	24	11
2	33	11
3	59	11
4	106	11
5	233	11
6	645	11
7	2472	11
done	5000	11
0	10	23
1	19	13
2	45	13
3	81	13
4	118	13
5	171	13
6	284	13
7	355	13
8	430	13
9	464	13
10	505	13
11	583	13
12	641	13
13	651	13
done	651	13
0	8	15
1	14	5
2	28	5
3	50	3
4	78	1
5	98	1
6	111	1
7	116	1
8	125	1
9	145	1
10	171	1
11	192	1
12	239	1
13	282	1
14	314	1
15	338	1
done	338	1
0	6	7
1	9	7
2	10	7
done	10	7
0	6	7
1	8	7
done	8	7
0	6	7
1	8	7
done	8	7
0	6	7
1	8	7
done	8	7
0	42	80
1	123	78
2	515	69
3	2992	61
done	5001	61
0	27	41
1	72	41
2	214	35
3	690	35
4	2550	33
done	5001	31
0	27	41
1	72	41
2	221	35
3	762	35
4	2858	31
done	5000	31
0	15	20
1	38	20
2	110	20
3	320	20
4	942	15
5	3240	15
done	5000	15
0	21	33
1	57	33
2	182	33
3	495	29
4	1451	29
5	4983	27
done	5000	27
0	21	33
1	57	33
2	182	33
3	495	33
4	1428	30
5	4608	27
done	5000	27
0	21	32
1	57	32
2	189	32
3	542	32
4	1404	25
5	4142	25
done	5001	25
0	20	29
1	54	29
2	166	29
3	445	29
4	1271	27
5	4144	27
done	5000	27
0	20	29
1	54	29
2	160	29
3	392	29
4	1131	27
5	3826	27
done	5000	27

prune169.0ms

Filtered

60 candidates to 80 candidates (-33.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	73	7	80
Fresh	2	0	2
Picked	0	1	1
Done	1	0	1
Total	76	8	84

Merged error: 0.0b

Counts

84 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1.0 (+ (* (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0)))) (sqrt x)))
0.2b	(* (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))))
0.2b	(cbrt (+ x 1.0))
0.2b	(cbrt (+ x 1.0))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt` `*-un-lft-identity`
18×	`add-cube-cbrt`
13×	`cbrt-prod`
10×	`associate-r`
9×	`times-frac` `sqrt-prod`
8×	`add-exp-log` `add-cbrt-cube`
6×	`pow1` `cbrt-div`
4×	`flip3-+` `flip-+` `add-log-exp`
3×	`associate-l` `associate-/r` `distribute-lft-out` `associate-/l` `unswap-sqr`
2×	`pow1/3` `sqrt-div` `associate-*r/` `associate-/r/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `div-inv`

Counts

4 → 86

Calls

4 calls:

11.0ms	(/ 1.0 (+ (* (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0)))) (sqrt x)))
9.0ms	(* (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))))
4.0ms	(cbrt (+ x 1.0))
3.0ms	(cbrt (+ x 1.0))

series73.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(/ 1.0 (+ (* (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0)))) (sqrt x)))
12.0ms	(* (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))))
8.0ms	(cbrt (+ x 1.0))
7.0ms	(cbrt (+ x 1.0))

simplify1.3min

Counts

98 → 98

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	10
1	7	10
done	7	10
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	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	6	4
2	7	4
done	7	4
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	10
1	7	10
done	7	10
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	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	6	4
2	7	4
done	7	4
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	7	11
1	9	11
done	9	11
0	9	13
1	11	13
done	11	13
0	8	12
1	13	12
2	14	12
done	14	12
0	8	12
1	12	12
2	18	12
3	26	12
4	49	12
5	107	12
6	247	12
7	714	12
8	2724	12
done	5001	12
0	11	35
1	19	28
2	45	15
3	83	15
4	139	13
5	259	13
6	657	13
7	2441	13
done	5001	13
0	9	25
1	11	25
done	11	25
0	8	12
1	10	12
done	10	12
0	9	35
1	21	35
2	50	13
3	96	13
4	110	13
5	156	13
6	291	13
7	757	13
8	2792	13
done	5001	13
0	8	12
1	10	12
done	10	12
0	8	12
1	10	12
done	10	12
0	10	13
1	12	13
done	12	13
0	10	13
1	12	13
done	12	13
0	9	13
1	11	13
done	11	13
0	9	13
1	11	13
done	11	13
0	9	13
1	11	13
done	11	13
0	9	13
1	11	13
done	11	13
0	9	19
1	13	19
2	15	19
done	15	19
0	9	17
1	11	17
done	11	17
0	9	12
1	11	12
done	11	12
0	9	9
1	13	8
done	13	8
0	9	9
1	13	8
done	13	8
0	9	18
1	12	12
done	12	12
0	8	12
1	10	12
done	10	12
0	8	8
1	12	7
done	12	7
0	8	12
1	10	12
done	10	12
0	7	7
1	11	5
2	14	5
done	14	5
0	8	12
1	10	12
done	10	12
0	8	12
1	10	12
done	10	12
0	7	11
1	9	11
done	9	11
0	12	15
1	28	15
2	37	15
3	54	15
4	95	15
5	209	15
6	626	15
7	2467	15
done	5001	15
0	11	15
1	17	15
2	23	15
3	38	15
4	63	15
5	104	15
6	166	15
7	334	15
8	1652	15
done	5000	15
0	12	18
1	17	18
2	18	18
done	18	18
0	11	17
1	17	17
2	19	17
3	20	17
done	20	17
0	11	17
1	14	17
done	14	17
0	14	50
1	38	50
2	116	20
3	333	18
4	809	18
5	2028	18
6	4624	18
done	5000	18
0	12	35
1	15	35
done	15	35
0	11	17
1	14	17
done	14	17
0	12	50
1	22	50
2	38	18
3	76	18
4	157	18
5	321	18
6	727	18
7	2012	18
done	5000	18
0	11	17
1	14	17
done	14	17
0	11	17
1	14	17
done	14	17
0	2	2
done	2	2
0	10	15
1	16	15
2	24	15
3	25	15
done	25	15
0	14	37
1	23	37
2	32	37
3	38	37
done	38	37
0	12	18
1	15	18
done	15	18
0	13	21
1	18	21
2	20	21
3	21	21
done	21	21
0	12	18
1	15	18
done	15	18
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	11	17
1	14	17
done	14	17
0	13	34
1	18	34
done	18	34
0	12	18
1	15	18
done	15	18
0	12	18
1	15	18
done	15	18
0	12	18
1	15	18
done	15	18
0	4	4
1	6	2
2	8	2
done	8	2
0	11	17
1	14	17
done	14	17
0	13	33
1	20	33
done	20	33
0	11	17
1	14	17
done	14	17
0	12	17
1	17	17
done	17	17
0	11	17
1	14	17
done	14	17
0	2	3
1	4	1
done	4	1
0	10	16
1	13	16
done	13	16
0	11	16
1	16	16
done	16	16
0	10	16
1	13	16
done	13	16
0	12	33
1	17	33
done	17	33
0	11	17
1	14	17
done	14	17
0	3	3
1	5	1
done	5	1
0	11	17
1	14	17
done	14	17
0	11	17
1	14	17
done	14	17
0	10	16
1	13	16
done	13	16
0	13	20
1	32	20
2	70	20
3	161	20
4	298	20
5	738	20
6	2666	20
done	5000	20
0	12	31
1	26	27
2	44	20
3	62	20
4	105	20
5	180	20
6	251	20
7	448	20
8	1650	20
done	5001	20
0	23	35
1	60	31
2	190	28
3	639	26
4	2541	25
done	5001	25
0	19	42
1	44	36
2	97	27
3	255	13
4	904	13
done	5000	13
0	21	45
1	46	42
2	100	42
3	263	21
4	947	13
done	5000	13
0	23	35
1	60	31
2	190	28
3	639	26
4	2541	25
done	5001	25
0	19	42
1	44	36
2	97	27
3	255	13
4	904	13
done	5000	13
0	21	45
1	46	42
2	100	42
3	263	21
4	947	13
done	5000	13
0	30	63
1	77	59
2	235	55
3	891	41
4	3960	41
done	5001	41
0	25	63
1	60	54
2	150	45
3	483	27
4	2102	27
done	5000	27
0	27	66
1	62	60
2	153	60
3	491	35
4	2162	27
done	5000	27
0	64	172
1	194	158
2	800	151
done	5001	149
0	63	307
1	195	271
2	941	231
done	5000	231
0	64	319
1	196	295
2	941	291
done	5001	291

prune376.0ms

Filtered

81 candidates to 98 candidates (-21.0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	95	3	98
Fresh	1	5	6
Picked	0	1	1
Done	1	0	1
Total	97	9	106

Merged error: 0.0b

Counts

106 → 9

localize13.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))))
0.2b	(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
0.2b	(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
0.3b	(* (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))))

rewrite96.0ms

Algorithm

rewrite-expression-head

Rules

297×	`*-un-lft-identity`
274×	`sqrt-prod`
157×	`times-frac`
119×	`add-sqr-sqrt`
116×	`distribute-lft-out`
88×	`add-cube-cbrt`
41×	`swap-sqr`
27×	`associate-r` `associate-l`
20×	`pow1`
14×	`associate-/r/`
12×	`associate-/r*`
10×	`add-exp-log` `add-cbrt-cube`
9×	`sqrt-pow1` `pow1/2` `unswap-sqr`
7×	`flip3-+` `flip-+` `div-inv`
6×	`associate-/l*`
5×	`sqrt-div` `pow-prod-up`
4×	`add-log-exp`
3×	`pow-prod-down` `pow-sqr`
2×	`cbrt-undiv` `rem-sqrt-square` `frac-2neg` `div-exp` `clear-num`
1×	`pow2` `frac-times` `pow-plus` `sqrt-unprod` `associate-r/` `associate-l/` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 250

Calls

4 calls:

12.0ms	(sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))))
11.0ms	(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
11.0ms	(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
39.0ms	(* (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))))

series59.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))))
11.0ms	(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
11.0ms	(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
14.0ms	(* (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))))

simplify1.1min

Counts

262 → 262

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	3
1	5	1
2	7	1
done	7	1
0	5	5
1	8	1
done	8	1
0	2	3
1	6	1
done	6	1
0	5	5
1	8	3
done	8	1
0	4	7
1	8	3
2	9	1
done	9	1
0	8	19
1	14	19
2	20	19
3	27	19
4	48	19
5	62	19
6	84	19
7	136	19
8	202	19
9	238	17
10	286	17
11	332	17
12	368	17
13	393	17
14	407	17
15	410	17
16	412	17
done	412	17
0	9	21
1	11	9
2	12	9
done	12	9
0	8	19
1	14	19
2	20	19
3	27	19
4	48	19
5	62	19
6	84	19
7	136	19
8	202	19
9	238	17
10	286	17
11	332	17
12	368	17
13	393	17
14	407	17
15	410	17
16	412	17
done	412	17
0	2	3
1	6	1
done	6	1
0	10	23
1	14	13
2	15	13
done	15	13
0	10	22
1	14	10
2	20	10
3	23	10
4	24	10
done	24	10
0	10	22
1	14	10
2	19	10
3	24	10
4	42	10
5	84	10
6	191	10
7	570	10
8	2252	10
done	5001	10
0	11	65
1	20	29
2	44	25
3	101	11
4	226	11
5	587	11
6	1334	11
7	3987	11
done	5001	11
0	11	45
1	13	21
2	14	21
done	14	21
0	10	22
1	12	10
2	13	10
done	13	10
0	11	65
1	21	29
2	43	11
3	102	11
4	232	11
5	623	11
6	1427	11
7	4347	11
done	5000	11
0	8	19
1	14	19
2	20	19
3	27	19
4	48	19
5	62	19
6	84	19
7	136	19
8	202	19
9	238	17
10	286	17
11	332	17
12	368	17
13	393	17
14	407	17
15	410	17
16	412	17
done	412	17
0	10	22
1	13	10
done	13	10
0	10	22
1	13	10
done	13	10
0	3	5
done	3	1
0	8	17
1	10	7
2	11	7
done	11	7
0	11	47
1	17	47
2	19	25
3	28	13
4	43	13
5	69	13
6	138	13
7	352	13
8	1242	13
done	5001	13
0	10	23
1	12	23
done	12	23
0	11	45
1	14	21
2	15	21
done	15	21
0	10	23
1	12	10
2	13	10
done	13	10
0	10	23
1	12	10
2	13	10
done	13	10
0	10	23
1	12	10
2	13	10
done	13	10
0	10	23
1	12	10
2	13	10
done	13	10
0	10	23
1	12	10
2	13	10
done	13	10
0	13	49
1	21	23
2	32	23
3	38	23
done	38	23
0	11	25
1	13	11
2	14	11
done	14	11
0	12	31
1	16	14
2	19	14
3	20	14
done	20	14
0	11	25
1	13	11
2	14	11
done	14	11
0	7	17
1	11	5
2	21	5
3	30	5
4	35	5
done	35	5
0	10	23
1	12	10
2	13	10
done	13	10
0	7	17
1	11	5
2	21	5
3	30	5
4	35	5
done	35	5
0	10	23
1	12	10
2	13	10
done	13	10
0	8	19
1	12	7
2	15	7
3	16	5
4	26	5
5	30	5
6	35	5
done	35	5
0	10	23
1	12	10
2	13	10
done	13	10
0	8	19
1	12	7
2	15	7
3	16	5
4	26	5
5	30	5
6	35	5
done	35	5
0	10	23
1	12	10
2	13	10
done	13	10
0	8	19
1	12	7
2	15	7
3	16	5
4	26	5
5	30	5
6	35	5
done	35	5
0	10	23
1	12	10
2	13	10
done	13	10
0	8	19
1	12	7
2	15	7
3	16	5
4	26	5
5	30	5
6	35	5
done	35	5
0	10	23
1	12	10
2	13	10
done	13	10
0	7	17
1	11	5
2	21	5
3	30	5
4	35	5
done	35	5
0	10	23
1	12	10
2	13	10
done	13	10
0	7	17
1	11	5
2	21	5
3	30	5
4	35	5
done	35	5
0	10	23
1	12	10
2	13	10
done	13	10
0	12	43
1	16	20
2	17	20
done	17	20
0	11	25
1	13	11
2	14	11
done	14	11
0	11	25
1	13	11
2	14	11
done	14	11
0	11	25
1	13	11
2	14	11
done	14	11
0	6	11
1	8	2
2	13	2
3	17	2
4	22	2
done	22	2
0	10	23
1	12	10
2	13	10
done	13	10
0	6	11
1	8	2
2	13	2
3	17	2
4	22	2
done	22	2
0	10	23
1	12	10
2	13	10
done	13	10
0	7	13
1	9	4
2	10	4
done	10	2
0	10	23
1	12	10
2	13	10
done	13	10
0	7	13
1	9	4
2	10	4
done	10	2
0	10	23
1	12	10
2	13	10
done	13	10
0	7	13
1	9	4
2	10	4
done	10	2
0	10	23
1	12	10
2	13	10
done	13	10
0	7	13
1	9	4
2	10	4
done	10	2
0	10	23
1	12	10
2	13	10
done	13	10
0	6	11
1	8	2
2	13	2
3	17	2
4	22	2
done	22	2
0	10	23
1	12	10
2	13	10
done	13	10
0	6	11
1	8	2
2	13	2
3	17	2
4	22	2
done	22	2
0	10	23
1	12	10
2	13	10
done	13	10
0	12	41
1	18	19
2	19	19
done	19	19
0	10	23
1	12	10
2	13	10
done	13	10
0	11	23
1	15	10
2	16	10
done	16	10
0	10	23
1	12	10
2	13	10
done	13	10
0	4	9
1	6	1
done	6	1
0	9	21
1	11	9
2	12	9
done	12	9
0	4	9
1	6	1
done	6	1
0	9	21
1	11	9
2	12	9
done	12	9
0	5	11
1	7	3
2	8	1
done	8	1
0	9	21
1	11	9
2	12	9
done	12	9
0	5	11
1	7	3
2	8	1
done	8	1
0	9	21
1	11	9
2	12	9
done	12	9
0	5	11
1	7	3
2	8	1
done	8	1
0	9	21
1	11	9
2	12	9
done	12	9
0	5	11
1	7	3
2	8	1
done	8	1
0	9	21
1	11	9
2	12	9
done	12	9
0	4	9
1	6	1
done	6	1
0	9	21
1	11	9
2	12	9
done	12	9
0	4	9
1	6	1
done	6	1
0	9	21
1	11	9
2	12	9
done	12	9
0	3	5
1	5	1
done	5	1
0	9	21
1	11	9
2	12	9
done	12	9
0	3	5
done	3	1
0	10	21
1	14	9
2	15	9
done	15	9
0	12	29
1	27	13
2	37	13
3	63	13
4	110	13
5	238	13
6	652	13
7	2493	13
done	5001	13
0	12	49
1	21	13
2	48	13
3	84	13
4	121	13
5	174	13
6	287	13
7	360	13
8	435	13
9	472	13
10	517	13
11	600	13
12	658	13
13	668	13
done	668	13
0	11	37
1	17	7
2	34	7
3	58	5
4	86	3
5	107	1
6	121	1
7	126	1
8	135	1
9	155	1
10	181	1
11	202	1
12	249	1
13	292	1
14	324	1
15	348	1
done	348	1
0	8	17
1	11	7
2	13	7
done	13	7
0	10	23
1	12	10
2	13	10
done	13	10
0	10	23
1	12	10
2	13	10
done	13	10
0	10	23
1	12	10
2	13	10
done	13	10
0	10	23
1	12	10
2	13	10
done	13	10
0	2	3
1	4	1
done	4	1
0	9	21
1	11	9
2	12	9
done	12	9
0	10	23
1	12	10
2	13	10
done	13	10
0	10	23
1	12	10
2	13	10
done	13	10
0	14	24
1	17	24
done	17	24
0	14	24
1	17	24
done	17	24
0	10	23
1	12	10
2	13	10
done	13	10
0	10	23
1	12	10
2	13	10
done	13	10
0	14	24
1	17	24
done	17	24
0	14	24
1	17	24
done	17	24
0	11	25
1	13	11
2	14	11
done	14	11
0	11	25
1	13	11
2	14	11
done	14	11
0	14	24
1	17	24
done	17	24
0	14	24
1	17	24
done	17	24
0	10	23
1	12	10
2	13	10
done	13	10
0	10	23
1	12	10
2	13	10
done	13	10
0	14	24
1	17	24
done	17	24
0	14	24
1	17	24
done	17	24
0	10	23
1	12	10
2	13	10
done	13	10
0	10	23
1	12	10
2	13	10
done	13	10
0	3	3
1	5	1
2	7	1
done	7	1
0	3	3
1	6	1
done	6	1
0	4	5
1	10	1
done	10	1
0	11	34
1	16	34
2	18	34
done	18	34
0	12	33
1	16	22
done	16	22
0	10	22
1	13	22
done	13	22
0	15	35
1	24	35
2	34	23
3	40	23
done	40	23
0	14	26
1	19	26
2	21	26
3	22	26
done	22	26
0	14	19
1	21	17
2	28	14
3	33	14
done	33	14
0	15	20
1	22	19
2	24	19
3	25	17
4	33	14
done	33	14
0	15	20
1	22	19
2	24	19
3	25	17
4	33	14
done	33	14
0	14	19
1	21	17
2	28	14
3	33	14
done	33	14
0	14	32
1	19	32
done	19	32
0	13	23
1	16	23
done	16	23
0	13	16
1	18	14
2	20	14
done	20	14
0	14	17
1	19	16
done	19	16
0	14	17
1	19	16
done	19	16
0	13	16
1	18	14
2	20	14
done	20	14
0	14	31
1	21	31
done	21	31
0	13	22
1	18	22
done	18	22
0	12	15
1	17	12
done	17	12
0	13	16
1	18	15
done	18	15
0	13	16
1	18	15
done	18	15
0	12	15
1	17	12
done	17	12
0	11	13
1	16	12
done	16	12
0	10	13
1	13	13
done	13	13
0	15	25
1	32	25
2	41	25
3	67	25
4	116	25
5	236	25
6	648	25
7	2483	25
done	5000	25
0	14	29
1	21	19
2	35	19
3	59	17
4	87	15
5	107	15
6	123	12
7	129	12
8	138	10
9	161	10
10	187	10
11	208	10
12	255	10
13	298	10
14	330	10
15	354	10
done	354	10
0	10	22
1	13	22
done	13	22
0	10	12
1	15	10
2	18	10
done	18	10
0	10	22
1	13	22
done	13	22
0	11	22
1	14	22
done	14	22
0	10	22
1	13	22
done	13	22
0	13	23
1	16	23
done	16	23
0	13	23
1	16	23
done	16	23
0	12	22
1	15	22
done	15	22
0	12	22
1	15	22
done	15	22
0	12	22
1	15	22
done	15	22
0	12	22
1	15	22
done	15	22
0	13	23
1	16	23
done	16	23
0	13	23
1	16	23
done	16	23
0	12	22
1	15	22
done	15	22
0	12	22
1	15	22
done	15	22
0	12	22
1	15	22
done	15	22
0	12	22
1	15	22
done	15	22
0	12	22
1	15	22
done	15	22
0	12	22
1	15	22
done	15	22
0	9	21
1	11	9
2	12	9
done	12	9
0	9	21
1	11	9
2	12	9
done	12	9
0	9	21
1	11	9
2	12	9
done	12	9
0	9	21
1	11	9
2	12	9
done	12	9
0	9	21
1	11	9
2	12	9
done	12	9
0	12	21
1	17	21
done	17	21
0	15	35
1	26	25
2	52	25
3	88	25
4	126	25
5	179	25
6	292	25
7	366	25
8	442	25
9	476	25
10	522	25
11	603	25
12	661	25
13	671	25
done	671	25
0	11	19
1	16	19
2	17	19
done	17	19
0	10	22
1	13	22
done	13	22
0	9	21
1	11	9
2	12	9
done	12	9
0	10	13
1	13	13
done	13	13
0	10	13
1	13	13
done	13	13
0	9	11
1	13	11
2	14	11
done	14	11
0	8	10
1	13	10
2	15	10
3	16	10
done	16	10
0	8	10
1	10	10
done	10	10
0	11	29
1	34	29
2	96	13
3	223	11
4	537	11
5	1647	11
done	5000	11
0	9	21
1	11	21
done	11	21
0	8	10
1	10	10
done	10	10
0	9	29
1	18	29
2	34	11
3	72	11
4	153	11
5	304	11
6	586	11
7	1402	11
done	5000	11
0	8	10
1	10	10
done	10	10
0	8	10
1	10	10
done	10	10
0	2	2
done	2	2
0	7	8
1	12	8
2	14	8
3	15	8
done	15	8
0	11	23
1	19	23
2	28	23
3	34	23
done	34	23
0	9	11
1	11	11
done	11	11
0	10	14
1	14	14
2	16	14
3	17	14
done	17	14
0	9	11
1	11	11
done	11	11
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	10
1	10	10
done	10	10
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	8	10
1	10	10
done	10	10
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	8	10
1	10	10
done	10	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	10
1	10	10
done	10	10
0	10	20
1	14	20
done	14	20
0	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	4	4
1	6	2
2	8	2
done	8	2
0	8	10
1	10	10
done	10	10
0	5	5
1	7	4
done	7	4
0	8	10
1	10	10
done	10	10
0	5	5
1	7	4
done	7	4
0	8	10
1	10	10
done	10	10
0	4	4
1	6	2
2	8	2
done	8	2
0	8	10
1	10	10
done	10	10
0	10	19
1	16	19
done	16	19
0	8	10
1	10	10
done	10	10
0	9	10
1	13	10
done	13	10
0	8	10
1	10	10
done	10	10
0	2	3
1	4	1
done	4	1
0	7	9
1	9	9
done	9	9
0	3	4
1	5	3
done	5	3
0	7	9
1	9	9
done	9	9
0	3	4
1	5	3
done	5	3
0	7	9
1	9	9
done	9	9
0	2	3
1	4	1
done	4	1
0	7	9
1	9	9
done	9	9
0	8	9
1	12	9
done	12	9
0	7	9
1	9	9
done	9	9
0	9	19
1	13	19
done	13	19
0	8	10
1	10	10
done	10	10
0	3	3
1	5	1
done	5	1
0	4	4
1	6	3
done	6	3
0	4	4
1	6	3
done	6	3
0	3	3
1	5	1
done	5	1
0	8	10
1	10	10
done	10	10
0	8	10
1	10	10
done	10	10
0	7	9
1	9	9
done	9	9
0	10	13
1	25	13
2	34	13
3	60	13
4	109	13
5	231	13
6	647	13
7	2483	13
done	5001	13
0	9	17
1	15	7
2	31	7
3	55	5
4	83	3
5	103	3
6	117	1
7	123	1
8	132	1
9	152	1
10	178	1
11	199	1
12	246	1
13	289	1
14	321	1
15	345	1
done	345	1
0	9	11
1	13	11
2	14	11
done	14	11
0	8	10
1	13	10
2	15	10
3	16	10
done	16	10
0	8	10
1	10	10
done	10	10
0	11	29
1	34	29
2	96	13
3	223	11
4	537	11
5	1647	11
done	5000	11
0	9	21
1	11	21
done	11	21
0	8	10
1	10	10
done	10	10
0	9	29
1	18	29
2	34	11
3	72	11
4	153	11
5	304	11
6	586	11
7	1402	11
done	5000	11
0	8	10
1	10	10
done	10	10
0	8	10
1	10	10
done	10	10
0	2	2
done	2	2
0	7	8
1	12	8
2	14	8
3	15	8
done	15	8
0	11	23
1	19	23
2	28	23
3	34	23
done	34	23
0	9	11
1	11	11
done	11	11
0	10	14
1	14	14
2	16	14
3	17	14
done	17	14
0	9	11
1	11	11
done	11	11
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	10
1	10	10
done	10	10
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	8	10
1	10	10
done	10	10
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	8	10
1	10	10
done	10	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	10
1	10	10
done	10	10
0	10	20
1	14	20
done	14	20
0	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	4	4
1	6	2
2	8	2
done	8	2
0	8	10
1	10	10
done	10	10
0	5	5
1	7	4
done	7	4
0	8	10
1	10	10
done	10	10
0	5	5
1	7	4
done	7	4
0	8	10
1	10	10
done	10	10
0	4	4
1	6	2
2	8	2
done	8	2
0	8	10
1	10	10
done	10	10
0	10	19
1	16	19
done	16	19
0	8	10
1	10	10
done	10	10
0	9	10
1	13	10
done	13	10
0	8	10
1	10	10
done	10	10
0	2	3
1	4	1
done	4	1
0	7	9
1	9	9
done	9	9
0	3	4
1	5	3
done	5	3
0	7	9
1	9	9
done	9	9
0	3	4
1	5	3
done	5	3
0	7	9
1	9	9
done	9	9
0	2	3
1	4	1
done	4	1
0	7	9
1	9	9
done	9	9
0	8	9
1	12	9
done	12	9
0	7	9
1	9	9
done	9	9
0	9	19
1	13	19
done	13	19
0	8	10
1	10	10
done	10	10
0	3	3
1	5	1
done	5	1
0	4	4
1	6	3
done	6	3
0	4	4
1	6	3
done	6	3
0	3	3
1	5	1
done	5	1
0	8	10
1	10	10
done	10	10
0	8	10
1	10	10
done	10	10
0	7	9
1	9	9
done	9	9
0	10	13
1	25	13
2	34	13
3	60	13
4	109	13
5	231	13
6	647	13
7	2483	13
done	5001	13
0	9	17
1	15	7
2	31	7
3	55	5
4	83	3
5	103	3
6	117	1
7	123	1
8	132	1
9	152	1
10	178	1
11	199	1
12	246	1
13	289	1
14	321	1
15	345	1
done	345	1
0	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	10	23
1	12	23
done	12	23
0	9	11
1	11	11
done	11	11
0	10	32
1	13	20
2	20	12
3	29	12
4	37	12
5	48	12
6	71	12
7	132	12
8	350	12
9	1282	12
done	5001	12
0	10	22
1	13	11
done	13	11
0	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	12	24
1	20	24
2	30	12
3	36	12
done	36	12
0	10	12
1	12	12
done	12	12
0	11	15
1	15	15
2	17	15
3	18	15
done	18	15
0	10	12
1	12	12
done	12	12
0	6	8
1	10	6
2	17	3
3	22	3
done	22	3
0	9	11
1	11	11
done	11	11
0	7	9
1	11	8
2	13	8
3	14	6
4	22	3
done	22	3
0	9	11
1	11	11
done	11	11
0	7	9
1	11	8
2	13	8
3	14	6
4	22	3
done	22	3
0	9	11
1	11	11
done	11	11
0	6	8
1	10	6
2	17	3
3	22	3
done	22	3
0	9	11
1	11	11
done	11	11
0	11	21
1	15	21
done	15	21
0	10	12
1	12	12
done	12	12
0	10	12
1	12	12
done	12	12
0	10	12
1	12	12
done	12	12
0	5	5
1	7	3
2	9	3
done	9	3
0	9	11
1	11	11
done	11	11
0	6	6
1	8	5
done	8	5
0	9	11
1	11	11
done	11	11
0	6	6
1	8	5
done	8	5
0	9	11
1	11	11
done	11	11
0	5	5
1	7	3
2	9	3
done	9	3
0	9	11
1	11	11
done	11	11
0	11	20
1	17	20
done	17	20
0	9	11
1	11	11
done	11	11
0	10	11
1	14	11
done	14	11
0	9	11
1	11	11
done	11	11
0	3	4
1	5	1
done	5	1
0	8	10
1	10	10
done	10	10
0	4	5
1	6	4
done	6	4
0	8	10
1	10	10
done	10	10
0	4	5
1	6	4
done	6	4
0	8	10
1	10	10
done	10	10
0	3	4
1	5	1
done	5	1
0	8	10
1	10	10
done	10	10
0	2	2
1	4	1
done	4	1
0	8	10
1	10	10
done	10	10
0	2	2
done	2	2
0	9	10
1	13	10
done	13	10
0	11	14
1	26	14
2	35	14
3	61	14
4	110	14
5	231	14
6	641	14
7	2477	14
done	5001	14
0	11	24
1	20	14
2	46	14
3	80	14
4	117	14
5	170	14
6	283	14
7	353	14
8	429	14
9	463	14
10	504	14
11	584	14
12	642	14
13	652	14
done	652	14
0	10	18
1	16	8
2	32	8
3	56	6
4	84	4
5	104	4
6	116	1
7	122	1
8	131	1
9	151	1
10	177	1
11	198	1
12	245	1
13	288	1
14	320	1
15	344	1
done	344	1
0	7	8
1	10	8
2	11	8
done	11	8
0	2	2
done	2	2
0	7	8
1	9	8
done	9	8
0	3	3
1	6	1
done	6	1
0	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	29	54
1	81	54
2	313	51
3	1034	46
4	4207	38
done	5001	38
0	32	60
1	84	60
2	346	45
3	1124	41
done	5000	35
0	32	60
1	84	60
2	354	45
3	1177	41
done	5000	33
0	42	80
1	123	78
2	515	69
3	2992	61
done	5001	61
0	27	41
1	72	41
2	214	35
3	690	35
4	2550	33
done	5001	31
0	27	41
1	72	41
2	221	35
3	762	35
4	2858	31
done	5000	31
0	42	80
1	123	78
2	515	69
3	2992	61
done	5001	61
0	27	41
1	72	41
2	214	35
3	690	35
4	2550	33
done	5001	31
0	27	41
1	72	41
2	221	35
3	762	35
4	2858	31
done	5000	31
0	50	91
1	131	91
2	422	85
3	1744	79
done	5001	79
0	46	95
1	121	95
2	390	90
3	1768	80
done	5001	80
0	46	95
1	121	95
2	389	90
3	1780	80
done	5000	80

prune579.0ms

Filtered

159 candidates to 262 candidates (-64.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	260	2	262
Fresh	5	2	7
Picked	1	0	1
Done	0	1	1
Total	266	5	271

Merged error: 0b

Counts

271 → 5

regimes44.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	18
1	18	18
done	18	18

end0.0ms

sample1.1s

Algorithm

intervals

Results

265.0ms	1778×	body	1280	valid
230.0ms	7974×	body	80	nan
141.0ms	1236×	body	640	valid
126.0ms	4096×	body	80	valid
49.0ms	590×	body	320	valid
17.0ms	300×	body	160	valid

Details

sample44.0ms

simplify3.0ms

prune3.0ms

localize6.0ms

rewrite14.0ms

series16.0ms

simplify32.5s

prune77.0ms

localize7.0ms

rewrite27.0ms

series21.0ms

simplify52.9s

prune169.0ms

localize11.0ms

rewrite34.0ms

series73.0ms

simplify1.3min

prune376.0ms

localize13.0ms

rewrite96.0ms

series59.0ms

simplify1.1min

prune579.0ms

regimes44.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.1s

Profiling