Details

sample693.0ms

Algorithm

intervals

Results

404.0ms	3707×	body	80	nan
73.0ms	163×	body	640	valid
18.0ms	55×	body	320	valid
3.0ms	5×	body	1280	valid
2.0ms	23×	body	80	valid
2.0ms	10×	body	160	valid

simplify1.4s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	31
1	51	31
2	154	31
3	877	31
done	5000	31

prune6.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: 6.0b

Counts

2 → 1

localize25.0ms

Local error

Found 4 expressions with local error:

2.0b	(- (sqrt (+ y 1.0)) (sqrt y))
2.1b	(- (sqrt (+ t 1.0)) (sqrt t))
3.2b	(- (sqrt (+ z 1.0)) (sqrt z))
3.6b	(- (sqrt (+ x 1.0)) (sqrt x))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

36×	`add-sqr-sqrt`
32×	`*-un-lft-identity` `sqrt-prod`
16×	`difference-of-squares`
12×	`distribute-lft-out--` `add-log-exp`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `flip3--` `diff-log` `add-cbrt-cube` `flip--` `distribute-lft-out`

Counts

4 → 76

Calls

4 calls:

9.0ms	(- (sqrt (+ y 1.0)) (sqrt y))
9.0ms	(- (sqrt (+ t 1.0)) (sqrt t))
12.0ms	(- (sqrt (+ z 1.0)) (sqrt z))
10.0ms	(- (sqrt (+ x 1.0)) (sqrt x))

series44.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(- (sqrt (+ y 1.0)) (sqrt y))
11.0ms	(- (sqrt (+ t 1.0)) (sqrt t))
11.0ms	(- (sqrt (+ z 1.0)) (sqrt z))
11.0ms	(- (sqrt (+ x 1.0)) (sqrt x))

simplify39.3s

Counts

88 → 88

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	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	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	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	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	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	1428	51
done	5001	51
0	34	61
1	93	61
2	366	61
3	1450	57
done	5000	57
0	21	32
1	57	32
2	183	32
3	521	32
4	1566	25
5	4917	25
done	5000	25
0	34	61
1	93	61
2	366	61
3	1433	51
done	5000	51
0	34	61
1	93	61
2	366	61
3	1457	57
done	5001	57
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	1450	51
done	5000	51
0	34	61
1	93	61
2	366	61
3	1460	57
done	5000	57

prune302.0ms

Filtered

60 candidates to 88 candidates (-46.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	79	9	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	80	9	89

Merged error: 0.5b

Counts

89 → 9

localize26.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))
2.1b	(- (sqrt (+ t 1.0)) (sqrt t))
3.2b	(- (sqrt (+ z 1.0)) (sqrt z))
3.6b	(- (sqrt (+ x 1.0)) (sqrt x))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

64×	`*-un-lft-identity`
40×	`sqrt-prod`
39×	`add-sqr-sqrt`
19×	`distribute-lft-out`
18×	`times-frac`
15×	`add-cube-cbrt`
12×	`difference-of-squares`
10×	`add-log-exp`
9×	`distribute-lft-out--`
6×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
4×	`pow1`
3×	`sub-neg` `flip3--` `diff-log` `flip--` `associate-/l*`
2×	`associate-/r/`
1×	`cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip-+` `div-inv`

Counts

4 → 98

Calls

4 calls:

12.0ms	(/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))
9.0ms	(- (sqrt (+ t 1.0)) (sqrt t))
9.0ms	(- (sqrt (+ z 1.0)) (sqrt z))
9.0ms	(- (sqrt (+ x 1.0)) (sqrt x))

series43.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))
11.0ms	(- (sqrt (+ t 1.0)) (sqrt t))
11.0ms	(- (sqrt (+ z 1.0)) (sqrt z))
11.0ms	(- (sqrt (+ x 1.0)) (sqrt x))

simplify43.0s

Counts

110 → 110

Iterations

Useful iterations: 4 (18.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	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	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	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	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	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	1428	51
done	5001	51
0	34	61
1	93	61
2	366	61
3	1450	57
done	5000	57
0	21	32
1	57	32
2	183	32
3	521	32
4	1566	25
5	4917	25
done	5000	25
0	34	61
1	93	61
2	366	61
3	1433	51
done	5000	51
0	34	61
1	93	61
2	366	61
3	1457	57
done	5001	57
0	42	80
1	121	80
2	510	71
3	3022	65
done	5000	65
0	27	41
1	70	41
2	214	35
3	695	35
4	2547	31
done	5001	31
0	27	41
1	70	41
2	219	35
3	769	35
4	2862	31
done	5000	31

prune340.0ms

Filtered

76 candidates to 110 candidates (-44.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	107	3	110
Fresh	3	5	8
Picked	1	0	1
Done	0	0	0
Total	111	8	119

Merged error: 0.4b

Counts

119 → 8

localize28.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))
0.1b	(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
2.1b	(- (sqrt (+ t 1.0)) (sqrt t))
3.2b	(- (sqrt (+ z 1.0)) (sqrt z))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

96×	`*-un-lft-identity`
48×	`sqrt-prod`
42×	`add-sqr-sqrt`
36×	`times-frac`
34×	`distribute-lft-out`
26×	`add-cube-cbrt`
12×	`associate-/r*`
8×	`add-exp-log` `add-cbrt-cube` `add-log-exp` `difference-of-squares`
6×	`associate-/l*` `distribute-lft-out--`
4×	`pow1` `associate-/r/`
2×	`cbrt-undiv` `sub-neg` `flip3--` `frac-2neg` `flip3-+` `diff-log` `div-exp` `clear-num` `flip--` `flip-+` `div-inv`

Counts

4 → 120

Calls

4 calls:

11.0ms	(/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))
12.0ms	(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
9.0ms	(- (sqrt (+ t 1.0)) (sqrt t))
9.0ms	(- (sqrt (+ z 1.0)) (sqrt z))

series43.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))
10.0ms	(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
11.0ms	(- (sqrt (+ t 1.0)) (sqrt t))
11.0ms	(- (sqrt (+ z 1.0)) (sqrt z))

simplify47.1s

Counts

132 → 132

Iterations

Useful iterations: 4 (13.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	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	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	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	1428	51
done	5001	51
0	34	61
1	93	61
2	366	61
3	1450	57
done	5000	57
0	21	32
1	57	32
2	183	32
3	521	32
4	1566	25
5	4917	25
done	5000	25
0	34	61
1	93	61
2	366	61
3	1433	51
done	5000	51
0	34	61
1	93	61
2	366	61
3	1457	57
done	5001	57
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	121	80
2	510	71
3	3022	65
done	5000	65
0	27	41
1	70	41
2	214	35
3	695	35
4	2547	31
done	5001	31
0	27	41
1	70	41
2	219	35
3	769	35
4	2862	31
done	5000	31

prune409.0ms

Filtered

92 candidates to 132 candidates (-43.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	130	2	132
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	134	6	140

Merged error: 0.2b

Counts

140 → 6

localize29.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))
0.1b	(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
0.2b	(/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
3.2b	(- (sqrt (+ z 1.0)) (sqrt z))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

128×	`*-un-lft-identity`
56×	`sqrt-prod`
54×	`times-frac`
49×	`distribute-lft-out`
45×	`add-sqr-sqrt`
37×	`add-cube-cbrt`
18×	`associate-/r*`
10×	`add-exp-log` `add-cbrt-cube`
9×	`associate-/l*`
6×	`associate-/r/` `add-log-exp`
4×	`pow1` `difference-of-squares`
3×	`cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip-+` `div-inv` `distribute-lft-out--`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

4 → 142

Calls

4 calls:

11.0ms	(/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))
16.0ms	(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
11.0ms	(/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
9.0ms	(- (sqrt (+ z 1.0)) (sqrt z))

series44.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))
11.0ms	(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
11.0ms	(/ 1.0 (+ (sqrt (+ t 1.0)) (sqrt t)))
11.0ms	(- (sqrt (+ z 1.0)) (sqrt z))

simplify50.7s

Counts

154 → 154

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	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	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	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	1428	51
done	5001	51
0	34	61
1	93	61
2	366	61
3	1450	57
done	5000	57
0	42	80
1	121	80
2	515	69
3	2979	61
done	5001	61
0	27	41
1	72	41
2	214	35
3	690	35
4	2537	31
done	5000	31
0	27	41
1	72	41
2	221	35
3	768	35
4	2863	31
done	5001	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	42	80
1	121	80
2	510	71
3	3022	65
done	5000	65
0	27	41
1	70	41
2	214	35
3	695	35
4	2547	31
done	5001	31
0	27	41
1	70	41
2	219	35
3	769	35
4	2862	31
done	5000	31

prune459.0ms

Filtered

108 candidates to 154 candidates (-42.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	151	3	154
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	152	8	160

Merged error: 0.0b

Counts

160 → 8

regimes1.2s

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	28	39
1	39	39
done	39	39

end0.0ms

sample210.0ms

Algorithm

intervals

Results

126.0ms	1142×	body	80	nan
22.0ms	50×	body	640	valid
3.0ms	9×	body	320	valid
1.0ms	7×	body	160	valid
1.0ms	7×	body	80	valid
1.0ms	1×	body	1280	valid

Details

sample693.0ms

simplify1.4s

prune6.0ms

localize25.0ms

rewrite43.0ms

series44.0ms

simplify39.3s

prune302.0ms

localize26.0ms

rewrite46.0ms

series43.0ms

simplify43.0s

prune340.0ms

localize28.0ms

rewrite50.0ms

series43.0ms

simplify47.1s

prune409.0ms

localize29.0ms

rewrite53.0ms

series44.0ms

simplify50.7s

prune459.0ms

regimes1.2s

bsearch0.0ms

simplify3.0ms

end0.0ms

sample210.0ms

Profiling