Details

sample55.0ms

Algorithm

intervals

Results

14.0ms	24×	body	2560	valid
12.0ms	200×	body	80	valid
5.0ms	256×	pre	80	true
4.0ms	15×	body	1280	valid
2.0ms	10×	body	640	valid
1.0ms	6×	body	320	valid
0.0ms	1×	body	160	valid

simplify25.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	17
1	27	17
2	33	17
3	37	17
4	39	17
5	40	17
done	40	17

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

Counts

2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (* 0.5 (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))))
0.2b	(/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))
0.3b	(+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))
14.7b	(sqrt (+ (* (* 4.0 p) p) (* x x)))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 81

Calls

4 calls:

15.0ms	(sqrt (* 0.5 (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))))
10.0ms	(/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))
13.0ms	(+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))
6.0ms	(sqrt (+ (* (* 4.0 p) p) (* x x)))

series73.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(sqrt (* 0.5 (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))))
10.0ms	(/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))
13.0ms	(+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))
9.0ms	(sqrt (+ (* (* 4.0 p) p) (* x x)))

simplify50.7s

Counts

93 → 93

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	14	11
2	15	11
done	15	11
0	9	11
1	14	11
2	15	11
done	15	11
0	10	23
1	15	23
2	16	23
done	16	23
0	9	11
1	14	11
2	15	11
done	15	11
0	10	32
1	16	20
2	28	12
3	53	12
4	68	12
5	78	12
6	101	12
7	166	12
8	374	12
9	1319	12
done	5000	12
0	10	22
1	16	11
2	17	11
done	17	11
0	9	11
1	14	11
2	15	11
done	15	11
0	9	11
1	14	11
2	15	11
done	15	11
0	9	11
1	14	11
2	15	11
done	15	11
0	2	2
1	4	1
done	4	1
0	8	10
1	13	10
2	14	10
done	14	10
0	11	14
1	34	14
2	103	12
3	310	12
4	725	12
5	2323	12
done	5000	12
0	12	30
1	38	26
2	123	26
3	314	20
4	636	20
5	1060	20
6	1738	20
7	2736	20
done	5000	20
0	10	20
1	29	20
2	77	18
3	141	16
4	234	14
5	455	12
6	873	12
7	2177	12
done	5001	12
0	8	10
1	14	10
2	19	10
done	19	10
0	3	3
1	6	1
done	6	1
0	9	11
1	14	11
2	15	11
done	15	11
0	9	11
1	14	11
2	15	11
done	15	11
0	13	16
1	21	15
2	23	15
done	23	15
0	12	15
1	18	15
2	19	15
done	19	15
0	12	15
1	21	15
2	23	15
done	23	15
0	13	31
1	19	31
2	20	31
done	20	31
0	12	15
1	18	15
2	19	15
done	19	15
0	13	44
1	32	44
2	73	16
3	181	16
4	445	16
5	1194	16
6	2581	16
7	4463	16
done	5001	16
0	12	15
1	18	15
2	19	15
done	19	15
0	12	15
1	18	15
2	19	15
done	19	15
0	14	18
1	36	18
2	63	18
3	128	18
4	322	18
5	904	18
6	3789	18
done	5000	18
0	15	44
1	34	31
2	61	31
3	99	31
4	140	30
5	175	30
6	196	30
7	237	30
8	342	30
9	514	30
10	550	30
11	556	30
12	588	30
13	633	30
14	676	28
15	1420	28
done	5001	28
0	13	29
1	27	29
2	42	29
3	76	29
4	130	17
5	209	17
6	287	17
7	477	17
8	1846	17
done	5000	17
0	11	14
1	18	14
2	22	14
done	22	14
0	11	14
1	17	14
2	18	14
done	18	14
0	11	14
1	18	14
2	20	14
done	20	14
0	10	13
1	18	13
2	21	13
3	22	13
done	22	13
0	10	13
1	15	13
2	16	13
done	16	13
0	12	38
1	26	26
2	68	16
3	155	14
4	254	14
5	402	14
6	934	14
7	3701	14
done	5000	14
0	11	27
1	16	27
2	17	27
done	17	27
0	10	13
1	15	13
2	16	13
done	16	13
0	11	38
1	23	38
2	39	14
3	77	14
4	142	14
5	227	14
6	419	14
7	1059	14
8	4149	14
done	5000	14
0	10	13
1	15	13
2	16	13
done	16	13
0	10	13
1	15	13
2	16	13
done	16	13
0	2	2
done	2	2
0	9	11
1	14	11
2	15	11
done	15	11
0	13	29
1	24	29
2	34	29
3	40	29
done	40	29
0	11	14
1	16	14
2	17	14
done	17	14
0	13	28
1	21	17
2	24	17
3	25	17
done	25	17
0	11	14
1	16	14
2	17	14
done	17	14
0	12	17
1	19	17
2	22	17
3	23	17
done	23	17
0	11	14
1	16	14
2	17	14
done	17	14
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	10	13
1	15	13
2	16	13
done	16	13
0	12	17
1	19	17
2	22	17
3	23	17
done	23	17
0	11	14
1	16	14
2	17	14
done	17	14
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	10	13
1	15	13
2	16	13
done	16	13
0	12	26
1	19	26
2	20	26
done	20	26
0	11	14
1	16	14
2	17	14
done	17	14
0	12	25
1	18	14
2	19	14
done	19	14
0	11	14
1	16	14
2	17	14
done	17	14
0	11	14
1	16	14
2	17	14
done	17	14
0	11	14
1	16	14
2	17	14
done	17	14
0	5	5
1	7	4
done	7	4
0	10	13
1	15	13
2	16	13
done	16	13
0	11	14
1	16	14
2	17	14
done	17	14
0	11	14
1	16	14
2	17	14
done	17	14
0	4	4
1	6	2
2	8	2
done	8	2
0	10	13
1	15	13
2	16	13
done	16	13
0	12	25
1	21	25
2	22	25
done	22	25
0	10	13
1	15	13
2	16	13
done	16	13
0	12	24
1	20	13
2	21	13
done	21	13
0	10	13
1	15	13
2	16	13
done	16	13
0	11	13
1	18	13
2	19	13
done	19	13
0	10	13
1	15	13
2	16	13
done	16	13
0	3	4
1	5	3
done	5	3
0	9	12
1	14	12
2	15	12
done	15	12
0	11	13
1	18	13
2	19	13
done	19	13
0	10	13
1	15	13
2	16	13
done	16	13
0	2	3
1	4	1
done	4	1
0	9	12
1	14	12
2	15	12
done	15	12
0	10	12
1	17	12
2	18	12
done	18	12
0	9	12
1	14	12
2	15	12
done	15	12
0	11	25
1	18	25
2	19	25
done	19	25
0	11	24
1	17	13
2	18	13
done	18	13
0	10	13
1	15	13
2	16	13
done	16	13
0	4	4
1	6	3
done	6	3
0	10	13
1	15	13
2	16	13
done	16	13
0	3	3
1	5	1
done	5	1
0	10	13
1	15	13
2	16	13
done	16	13
0	10	13
1	15	13
2	16	13
done	16	13
0	9	12
1	14	12
2	15	12
done	15	12
0	12	16
1	35	16
2	104	14
3	313	14
4	712	14
5	2258	14
done	5000	14
0	11	22
1	30	22
2	76	20
3	143	18
4	236	16
5	454	14
6	880	14
7	2186	14
done	5001	14
0	15	18
1	28	18
2	34	18
3	38	18
4	40	18
5	41	18
done	41	18
0	15	18
1	28	18
2	34	18
3	38	18
4	40	18
5	41	18
done	41	18
0	16	37
1	29	37
2	35	37
3	39	37
4	41	37
5	42	37
done	42	37
0	15	18
1	28	18
2	34	18
3	38	18
4	40	18
5	41	18
done	41	18
0	16	53
1	30	34
2	53	19
3	85	19
4	112	19
5	148	19
6	183	19
7	247	19
8	456	19
9	1390	19
done	5000	19
0	2	2
done	2	2
0	12	15
1	18	15
2	19	15
done	19	15
0	17	21
1	46	21
2	102	21
3	245	21
4	719	21
5	2527	21
done	5000	21
0	16	45
1	35	32
2	62	32
3	100	32
4	141	31
5	176	31
6	197	31
7	238	31
8	343	31
9	515	31
10	552	31
11	558	31
12	590	31
13	635	31
14	678	29
15	1428	29
done	5000	29
0	16	32
1	31	32
2	56	32
3	125	32
4	290	20
5	588	20
6	978	20
7	1561	20
8	4640	20
done	5000	20
0	12	15
1	19	15
2	23	15
done	23	15
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	15	18
1	28	18
2	34	18
3	38	18
4	40	18
5	41	18
done	41	18
0	15	18
1	28	18
2	34	18
3	38	18
4	40	18
5	41	18
done	41	18
0	1	1
done	1	1
0	4	4
1	5	4
done	5	4
0	6	6
1	11	5
2	23	5
done	23	5
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	1	1
done	1	1

prune235.0ms

Filtered

75 candidates to 93 candidates (-24.0%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	83	10	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	84	10	94

Merged error: 11.8b

Counts

94 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))
0.2b	(* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))
2.7b	(+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))
14.7b	(sqrt (+ (* (* 4.0 p) p) (* x x)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

47×	`add-sqr-sqrt`
40×	`times-frac`
36×	`*-un-lft-identity`
34×	`add-cube-cbrt`
26×	`sqrt-prod`
24×	`associate-r`
17×	`add-exp-log`
11×	`add-cbrt-cube`
9×	`pow1`
6×	`sqrt-div` `associate-/r*` `add-log-exp`
5×	`unswap-sqr`
4×	`flip3-+` `div-exp` `prod-exp` `associate-/r/` `flip-+`
3×	`pow-flip` `associate-l` `associate-/l*`
2×	`cbrt-undiv` `rec-exp` `sqrt-pow1` `pow1/2` `1-exp` `cbrt-unprod` `div-inv`
1×	`+-commutative` `rem-sqrt-square` `frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `un-div-inv` `-commutative` `inv-pow`

Counts

4 → 122

Calls

4 calls:

9.0ms	(/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))
15.0ms	(* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))
3.0ms	(+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))
6.0ms	(sqrt (+ (* (* 4.0 p) p) (* x x)))

series45.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))
10.0ms	(* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))
17.0ms	(+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))
9.0ms	(sqrt (+ (* (* 4.0 p) p) (* x x)))

simplify1.2min

Counts

134 → 134

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	14	11
2	15	11
done	15	11
0	9	11
1	14	11
2	15	11
done	15	11
0	10	23
1	15	23
2	16	23
done	16	23
0	9	11
1	14	11
2	15	11
done	15	11
0	10	32
1	16	20
2	28	12
3	53	12
4	68	12
5	78	12
6	101	12
7	166	12
8	374	12
9	1319	12
done	5000	12
0	10	22
1	16	11
2	17	11
done	17	11
0	9	11
1	14	11
2	15	11
done	15	11
0	9	11
1	14	11
2	15	11
done	15	11
0	9	11
1	14	11
2	15	11
done	15	11
0	2	2
1	4	1
done	4	1
0	8	10
1	13	10
2	14	10
done	14	10
0	11	14
1	34	14
2	103	12
3	310	12
4	725	12
5	2323	12
done	5000	12
0	12	30
1	38	26
2	123	26
3	314	20
4	636	20
5	1060	20
6	1738	20
7	2736	20
done	5000	20
0	10	20
1	29	20
2	77	18
3	141	16
4	234	14
5	455	12
6	873	12
7	2177	12
done	5001	12
0	8	10
1	14	10
2	19	10
done	19	10
0	3	3
1	6	1
done	6	1
0	9	11
1	14	11
2	15	11
done	15	11
0	9	11
1	14	11
2	15	11
done	15	11
0	15	18
1	30	17
2	41	15
3	56	15
4	108	15
5	226	15
6	575	15
7	1837	15
done	5000	15
0	14	17
1	25	17
2	29	15
3	30	15
4	35	15
5	36	15
done	36	15
0	14	17
1	28	17
2	37	15
3	45	15
4	71	15
5	138	15
6	304	15
7	797	15
8	2541	15
done	5000	15
0	15	35
1	26	35
2	30	31
3	31	31
4	36	31
5	37	31
done	37	31
0	14	17
1	25	17
2	29	15
3	30	15
4	35	15
5	36	15
done	36	15
0	15	50
1	39	50
2	99	16
3	301	16
4	911	16
5	2516	16
done	5000	16
0	14	17
1	25	17
2	29	15
3	30	15
4	35	15
5	36	15
done	36	15
0	14	17
1	25	17
2	29	15
3	30	15
4	35	15
5	36	15
done	36	15
0	16	20
1	43	20
2	96	18
3	234	18
4	554	18
5	1643	18
done	5000	18
0	17	50
1	43	35
2	113	31
3	236	31
4	411	30
5	563	30
6	660	30
7	755	30
8	1117	30
9	1726	30
10	1917	30
11	1937	30
12	2295	30
13	3891	28
done	5001	28
0	15	33
1	36	33
2	86	29
3	201	29
4	387	17
5	805	17
6	1249	17
7	1627	17
8	3364	17
done	5000	17
0	13	16
1	25	16
2	38	14
3	47	14
4	61	14
5	80	14
6	83	14
7	87	14
8	89	14
done	89	14
0	11	14
1	21	14
2	25	12
3	26	12
4	31	12
5	32	12
done	32	12
0	12	15
1	19	14
2	20	14
done	20	14
0	13	16
1	23	15
2	34	14
3	43	14
4	61	14
5	87	14
6	92	14
7	101	14
8	113	14
done	113	14
0	14	17
1	26	16
2	34	14
3	51	14
4	69	14
5	95	14
6	100	14
7	109	14
8	126	14
done	126	14
0	13	16
1	25	15
2	32	14
3	43	14
4	55	14
5	87	14
6	106	14
7	113	14
8	125	14
done	125	14
0	12	15
1	25	15
2	35	13
3	41	13
4	59	13
5	71	13
6	102	13
7	110	13
8	124	13
done	124	13
0	12	15
1	24	15
2	34	13
3	45	13
4	83	13
5	168	13
6	404	13
7	1222	13
8	4452	13
done	5001	13
0	16	44
1	37	28
2	93	16
3	295	16
4	646	16
5	1195	14
6	3356	14
done	5000	14
0	14	44
1	34	44
2	84	18
3	212	18
4	489	14
5	975	14
6	2269	14
done	5000	14
0	13	31
1	23	31
2	27	27
3	28	27
4	33	27
5	34	27
done	34	27
0	12	15
1	22	15
2	26	13
3	27	13
4	32	13
5	33	13
done	33	13
0	13	44
1	32	44
2	87	14
3	209	14
4	421	14
5	624	14
6	1220	14
7	3395	14
done	5000	14
0	12	15
1	22	15
2	26	13
3	27	13
4	32	13
5	33	13
done	33	13
0	12	15
1	22	15
2	26	13
3	27	13
4	32	13
5	33	13
done	33	13
0	13	16
1	21	16
2	22	16
done	22	16
0	13	16
1	21	16
2	22	16
done	22	16
0	14	17
1	24	16
2	28	16
3	32	14
4	43	14
5	44	14
done	44	14
0	14	17
1	24	16
2	28	16
3	32	14
4	43	14
5	44	14
done	44	14
0	14	17
1	24	16
2	28	16
3	32	14
4	43	14
5	44	14
done	44	14
0	14	17
1	24	16
2	28	16
3	32	14
4	43	14
5	44	14
done	44	14
0	13	16
1	23	16
2	27	14
3	42	14
4	43	14
done	43	14
0	13	16
1	23	16
2	27	14
3	42	14
4	43	14
done	43	14
0	13	16
1	23	16
2	27	14
3	42	14
4	43	14
done	43	14
0	13	16
1	23	16
2	27	14
3	42	14
4	43	14
done	43	14
0	13	29
1	23	29
2	26	29
done	26	29
0	12	15
1	20	15
2	21	15
done	21	15
0	15	31
1	31	29
2	61	27
3	95	25
4	105	25
5	106	25
done	106	25
0	15	30
1	28	17
2	39	15
3	52	13
4	53	13
done	53	13
0	14	19
1	26	17
2	37	15
3	50	13
4	51	13
done	51	13
0	7	10
1	14	7
2	23	5
3	40	1
done	40	1
0	14	19
1	26	17
2	37	15
3	50	13
4	51	13
done	51	13
0	6	9
1	13	5
2	28	3
3	32	1
4	33	1
done	33	1
0	14	28
1	26	27
2	38	27
3	52	25
4	77	25
5	92	25
done	92	25
0	14	27
1	25	15
2	29	15
3	33	13
4	39	13
5	40	13
done	40	13
0	13	16
1	23	15
2	27	15
3	31	13
4	37	13
5	38	13
done	38	13
0	5	7
1	10	3
2	15	1
done	15	1
0	13	16
1	23	15
2	27	15
3	31	13
4	37	13
5	38	13
done	38	13
0	5	6
1	10	3
2	15	1
done	15	1
0	13	27
1	25	27
2	36	25
3	44	25
4	64	25
5	97	25
6	100	25
done	100	25
0	13	26
1	24	15
2	28	13
3	29	13
4	34	13
5	35	13
done	35	13
0	12	15
1	22	15
2	26	13
3	27	13
4	32	13
5	33	13
done	33	13
0	5	6
1	10	5
2	12	3
3	13	1
done	13	1
0	12	15
1	22	15
2	26	13
3	27	13
4	32	13
5	33	13
done	33	13
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	14	18
1	42	18
2	114	14
3	314	14
4	724	14
5	2231	14
done	5001	14
0	13	24
1	37	24
2	87	20
3	152	20
4	253	16
5	463	14
6	845	14
7	1924	14
done	5001	14
0	12	15
1	22	15
2	26	13
3	41	13
4	42	13
done	42	13
0	12	15
1	22	15
2	26	13
3	41	13
4	42	13
done	42	13
0	11	14
1	21	14
2	25	12
3	26	12
4	31	12
5	32	12
done	32	12
0	3	3
1	6	1
done	6	1
0	2	2
1	3	1
done	3	1
0	2	2
1	5	1
done	5	1
0	4	4
1	10	2
2	11	1
done	11	1
0	10	12
1	15	12
2	16	12
done	16	12
0	11	13
1	18	12
2	23	12
3	25	12
4	31	12
5	36	12
done	36	12
0	12	14
1	21	13
2	23	12
3	29	12
4	35	12
5	40	12
done	40	12
0	11	13
1	22	12
2	24	12
3	28	12
4	30	12
5	36	12
6	41	12
done	41	12
0	11	13
1	18	13
2	19	13
done	19	13
0	14	38
1	29	22
2	51	14
3	96	14
4	149	14
5	182	14
6	295	14
7	707	14
8	2097	14
done	5001	14
0	12	27
1	19	27
2	20	27
done	20	27
0	11	13
1	18	13
2	19	13
done	19	13
0	12	38
1	26	38
2	43	14
3	80	14
4	96	14
5	133	14
6	215	14
7	418	14
8	1029	14
9	3356	14
done	5001	14
0	11	13
1	18	13
2	19	13
done	19	13
0	11	13
1	18	13
2	19	13
done	19	13
0	2	2
1	5	1
done	5	1
0	9	11
1	14	11
2	15	11
done	15	11
0	14	29
1	27	27
2	37	25
3	43	25
done	43	25
0	12	14
1	19	13
2	20	13
done	20	13
0	14	28
1	24	15
2	27	13
3	28	13
done	28	13
0	12	14
1	19	13
2	20	13
done	20	13
0	13	17
1	22	15
2	25	13
3	26	13
done	26	13
0	12	14
1	19	13
2	20	13
done	20	13
0	5	8
1	9	5
2	10	3
3	13	1
done	13	1
0	11	13
1	18	12
2	19	12
done	19	12
0	13	17
1	22	15
2	25	13
3	26	13
done	26	13
0	12	14
1	19	13
2	20	13
done	20	13
0	4	7
1	8	3
2	12	1
done	12	1
0	11	13
1	18	12
2	19	12
done	19	12
0	13	26
1	22	25
2	23	25
done	23	25
0	12	14
1	19	13
2	20	13
done	20	13
0	13	25
1	21	13
2	22	13
done	22	13
0	12	14
1	19	13
2	20	13
done	20	13
0	12	14
1	19	13
2	20	13
done	20	13
0	12	14
1	19	13
2	20	13
done	20	13
0	3	5
1	5	1
done	5	1
0	11	13
1	18	12
2	19	12
done	19	12
0	12	14
1	19	13
2	20	13
done	20	13
0	12	14
1	19	13
2	20	13
done	20	13
0	3	4
1	5	1
done	5	1
0	11	13
1	18	12
2	19	12
done	19	12
0	12	25
1	21	25
2	22	25
done	22	25
0	11	13
1	18	13
2	19	13
done	19	13
0	12	24
1	20	13
2	21	13
done	21	13
0	11	13
1	18	13
2	19	13
done	19	13
0	11	13
1	18	13
2	19	13
done	19	13
0	11	13
1	18	13
2	19	13
done	19	13
0	3	4
1	5	3
done	5	3
0	10	12
1	17	12
2	18	12
done	18	12
0	11	13
1	18	13
2	19	13
done	19	13
0	11	13
1	18	13
2	19	13
done	19	13
0	2	3
1	4	1
done	4	1
0	10	12
1	17	12
2	18	12
done	18	12
0	10	12
1	17	12
2	18	12
done	18	12
0	10	12
1	17	10
2	20	10
done	20	10
0	12	25
1	21	25
2	22	25
done	22	25
0	12	24
1	20	13
2	21	13
done	21	13
0	11	13
1	18	13
2	19	13
done	19	13
0	3	4
1	5	3
done	5	3
0	11	13
1	18	13
2	19	13
done	19	13
0	2	3
1	4	1
done	4	1
0	11	13
1	18	12
2	19	12
done	19	12
0	11	13
1	18	12
2	19	12
done	19	12
0	10	12
1	17	10
2	20	10
done	20	10
0	13	16
1	38	16
2	107	14
3	304	14
4	712	14
5	2237	14
done	5000	14
0	12	22
1	33	22
2	81	20
3	147	18
4	245	16
5	455	14
6	884	14
7	2187	14
done	5000	14
0	1	1
done	1	1
0	4	4
1	5	4
done	5	4
0	6	6
1	11	5
2	23	5
done	23	5
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune253.0ms

Filtered

84 candidates to 134 candidates (-59.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	130	4	134
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	134	10	144

Merged error: 11.8b

Counts

144 → 10

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(log (exp (sqrt (* 0.5 (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))
0.2b	(/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))
0.3b	(+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))
14.7b	(sqrt (+ (* (* 4.0 p) p) (* x x)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 84

Calls

4 calls:

2.0ms	(log (exp (sqrt (* 0.5 (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))
9.0ms	(/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))
14.0ms	(+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))
6.0ms	(sqrt (+ (* (* 4.0 p) p) (* x x)))

series67.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(log (exp (sqrt (* 0.5 (+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))))))
10.0ms	(/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))
14.0ms	(+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))
8.0ms	(sqrt (+ (* (* 4.0 p) p) (* x x)))

simplify44.0s

Counts

96 → 96

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	14	11
2	15	11
done	15	11
0	9	11
1	14	11
2	15	11
done	15	11
0	10	23
1	15	23
2	16	23
done	16	23
0	9	11
1	14	11
2	15	11
done	15	11
0	10	32
1	16	20
2	28	12
3	53	12
4	68	12
5	78	12
6	101	12
7	166	12
8	374	12
9	1319	12
done	5000	12
0	10	22
1	16	11
2	17	11
done	17	11
0	9	11
1	14	11
2	15	11
done	15	11
0	9	11
1	14	11
2	15	11
done	15	11
0	9	11
1	14	11
2	15	11
done	15	11
0	2	2
1	4	1
done	4	1
0	8	10
1	13	10
2	14	10
done	14	10
0	11	14
1	34	14
2	103	12
3	310	12
4	725	12
5	2323	12
done	5000	12
0	12	30
1	38	26
2	123	26
3	314	20
4	636	20
5	1060	20
6	1738	20
7	2736	20
done	5000	20
0	10	20
1	29	20
2	77	18
3	141	16
4	234	14
5	455	12
6	873	12
7	2177	12
done	5001	12
0	8	10
1	14	10
2	19	10
done	19	10
0	3	3
1	6	1
done	6	1
0	9	11
1	14	11
2	15	11
done	15	11
0	9	11
1	14	11
2	15	11
done	15	11
0	13	16
1	21	15
2	23	15
done	23	15
0	12	15
1	18	15
2	19	15
done	19	15
0	12	15
1	21	15
2	23	15
done	23	15
0	13	31
1	19	31
2	20	31
done	20	31
0	12	15
1	18	15
2	19	15
done	19	15
0	13	44
1	32	44
2	73	16
3	181	16
4	445	16
5	1194	16
6	2581	16
7	4463	16
done	5001	16
0	12	15
1	18	15
2	19	15
done	19	15
0	12	15
1	18	15
2	19	15
done	19	15
0	14	18
1	36	18
2	63	18
3	128	18
4	322	18
5	904	18
6	3789	18
done	5000	18
0	15	44
1	34	31
2	61	31
3	99	31
4	140	30
5	175	30
6	196	30
7	237	30
8	342	30
9	514	30
10	550	30
11	556	30
12	588	30
13	633	30
14	676	28
15	1420	28
done	5001	28
0	13	29
1	27	29
2	42	29
3	76	29
4	130	17
5	209	17
6	287	17
7	477	17
8	1846	17
done	5000	17
0	11	14
1	18	14
2	22	14
done	22	14
0	11	14
1	17	14
2	18	14
done	18	14
0	11	14
1	18	14
2	20	14
done	20	14
0	10	13
1	18	13
2	21	13
3	22	13
done	22	13
0	10	13
1	15	13
2	16	13
done	16	13
0	12	38
1	26	26
2	68	16
3	155	14
4	254	14
5	402	14
6	934	14
7	3701	14
done	5000	14
0	11	27
1	16	27
2	17	27
done	17	27
0	10	13
1	15	13
2	16	13
done	16	13
0	11	38
1	23	38
2	39	14
3	77	14
4	142	14
5	227	14
6	419	14
7	1059	14
8	4149	14
done	5000	14
0	10	13
1	15	13
2	16	13
done	16	13
0	10	13
1	15	13
2	16	13
done	16	13
0	2	2
done	2	2
0	9	11
1	14	11
2	15	11
done	15	11
0	13	29
1	24	29
2	34	29
3	40	29
done	40	29
0	11	14
1	16	14
2	17	14
done	17	14
0	13	28
1	21	17
2	24	17
3	25	17
done	25	17
0	11	14
1	16	14
2	17	14
done	17	14
0	12	17
1	19	17
2	22	17
3	23	17
done	23	17
0	11	14
1	16	14
2	17	14
done	17	14
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	10	13
1	15	13
2	16	13
done	16	13
0	12	17
1	19	17
2	22	17
3	23	17
done	23	17
0	11	14
1	16	14
2	17	14
done	17	14
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	10	13
1	15	13
2	16	13
done	16	13
0	12	26
1	19	26
2	20	26
done	20	26
0	11	14
1	16	14
2	17	14
done	17	14
0	12	25
1	18	14
2	19	14
done	19	14
0	11	14
1	16	14
2	17	14
done	17	14
0	11	14
1	16	14
2	17	14
done	17	14
0	11	14
1	16	14
2	17	14
done	17	14
0	5	5
1	7	4
done	7	4
0	10	13
1	15	13
2	16	13
done	16	13
0	11	14
1	16	14
2	17	14
done	17	14
0	11	14
1	16	14
2	17	14
done	17	14
0	4	4
1	6	2
2	8	2
done	8	2
0	10	13
1	15	13
2	16	13
done	16	13
0	12	25
1	21	25
2	22	25
done	22	25
0	10	13
1	15	13
2	16	13
done	16	13
0	12	24
1	20	13
2	21	13
done	21	13
0	10	13
1	15	13
2	16	13
done	16	13
0	11	13
1	18	13
2	19	13
done	19	13
0	10	13
1	15	13
2	16	13
done	16	13
0	3	4
1	5	3
done	5	3
0	9	12
1	14	12
2	15	12
done	15	12
0	11	13
1	18	13
2	19	13
done	19	13
0	10	13
1	15	13
2	16	13
done	16	13
0	2	3
1	4	1
done	4	1
0	9	12
1	14	12
2	15	12
done	15	12
0	10	12
1	17	12
2	18	12
done	18	12
0	9	12
1	14	12
2	15	12
done	15	12
0	11	25
1	18	25
2	19	25
done	19	25
0	11	24
1	17	13
2	18	13
done	18	13
0	10	13
1	15	13
2	16	13
done	16	13
0	4	4
1	6	3
done	6	3
0	10	13
1	15	13
2	16	13
done	16	13
0	3	3
1	5	1
done	5	1
0	10	13
1	15	13
2	16	13
done	16	13
0	10	13
1	15	13
2	16	13
done	16	13
0	9	12
1	14	12
2	15	12
done	15	12
0	12	16
1	35	16
2	104	14
3	313	14
4	712	14
5	2258	14
done	5000	14
0	11	22
1	30	22
2	76	20
3	143	18
4	236	16
5	454	14
6	880	14
7	2186	14
done	5001	14
0	18	40
1	33	40
2	41	22
3	46	22
4	48	22
5	49	22
done	49	22
0	17	20
1	30	20
2	36	20
3	40	20
4	42	20
5	43	20
done	43	20
0	17	20
1	30	20
2	36	20
3	40	20
4	42	20
5	43	20
done	43	20
0	17	20
1	30	20
2	36	20
3	40	20
4	42	20
5	43	20
done	43	20
0	2	2
1	4	1
done	4	1
0	16	19
1	29	17
2	35	17
3	39	17
4	41	17
5	42	17
done	42	17
0	16	19
1	29	17
2	35	17
3	39	17
4	41	17
5	42	17
done	42	17
0	18	39
1	33	37
2	45	37
3	57	37
4	84	37
5	160	37
6	406	37
7	1385	37
done	5000	37
0	4	4
done	4	2
0	17	20
1	30	18
2	36	18
3	40	18
4	42	18
5	43	18
done	43	18
0	3	3
1	6	1
done	6	1
0	17	20
1	30	18
2	36	18
3	40	18
4	42	18
5	43	18
done	43	18
0	17	20
1	30	18
2	36	18
3	40	18
4	42	18
5	43	18
done	43	18
0	18	41
1	31	37
2	37	37
3	41	37
4	43	37
5	44	37
done	44	37
0	17	20
1	30	18
2	36	18
3	40	18
4	42	18
5	43	18
done	43	18
0	18	59
1	32	53
2	40	19
3	66	19
4	101	19
5	141	19
6	180	19
7	250	19
8	464	19
9	1386	19
done	5001	19
0	17	20
1	30	18
2	36	18
3	40	18
4	42	18
5	43	18
done	43	18
0	17	20
1	30	18
2	36	18
3	40	18
4	42	18
5	43	18
done	43	18
0	1	1
done	1	1
0	4	4
1	5	4
done	5	4
0	6	6
1	11	5
2	23	5
done	23	5
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	1	1
done	1	1

prune268.0ms

Filtered

78 candidates to 96 candidates (-23.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	89	7	96
Fresh	5	4	9
Picked	1	0	1
Done	0	0	0
Total	95	11	106

Merged error: 11.8b

Counts

106 → 11

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b	(* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))
2.6b	(log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))
2.7b	(+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))
14.7b	(sqrt (+ (* (* 4.0 p) p) (* x x)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

34×	`add-sqr-sqrt`
24×	`associate-r`
23×	`*-un-lft-identity`
22×	`times-frac`
21×	`add-cube-cbrt`
15×	`sqrt-prod`
13×	`add-exp-log`
9×	`add-cbrt-cube`
8×	`pow1`
6×	`add-log-exp`
5×	`log-pow` `unswap-sqr`
4×	`exp-prod` `sqrt-div` `prod-exp`
3×	`log-prod` `flip3-+` `associate-l` `flip-+`
2×	`div-exp` `associate-/r/` `cbrt-unprod`
1×	`cbrt-undiv` `+-commutative` `rem-sqrt-square` `rec-exp` `sqrt-pow1` `pow1/2` `1-exp` `associate-r/` `rem-log-exp` `pow-prod-down` `sum-log` `un-div-inv` `-commutative` `div-inv`

Counts

4 → 91

Calls

4 calls:

16.0ms	(* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))
5.0ms	(log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))
3.0ms	(+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))
6.0ms	(sqrt (+ (* (* 4.0 p) p) (* x x)))

series66.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x)))))
35.0ms	(log (exp (sqrt (* 0.5 (+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))))))
13.0ms	(+ 1.0 (* x (/ 1 (sqrt (+ (* (* 4.0 p) p) (* x x))))))
8.0ms	(sqrt (+ (* (* 4.0 p) p) (* x x)))

simplify1.1min

Counts

103 → 103

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	14	11
2	15	11
done	15	11
0	9	11
1	14	11
2	15	11
done	15	11
0	10	23
1	15	23
2	16	23
done	16	23
0	9	11
1	14	11
2	15	11
done	15	11
0	10	32
1	16	20
2	28	12
3	53	12
4	68	12
5	78	12
6	101	12
7	166	12
8	374	12
9	1319	12
done	5000	12
0	10	22
1	16	11
2	17	11
done	17	11
0	9	11
1	14	11
2	15	11
done	15	11
0	9	11
1	14	11
2	15	11
done	15	11
0	9	11
1	14	11
2	15	11
done	15	11
0	2	2
1	4	1
done	4	1
0	8	10
1	13	10
2	14	10
done	14	10
0	11	14
1	34	14
2	103	12
3	310	12
4	725	12
5	2323	12
done	5000	12
0	12	30
1	38	26
2	123	26
3	314	20
4	636	20
5	1060	20
6	1738	20
7	2736	20
done	5000	20
0	10	20
1	29	20
2	77	18
3	141	16
4	234	14
5	455	12
6	873	12
7	2177	12
done	5001	12
0	8	10
1	14	10
2	19	10
done	19	10
0	3	3
1	6	1
done	6	1
0	9	11
1	14	11
2	15	11
done	15	11
0	9	11
1	14	11
2	15	11
done	15	11
0	15	18
1	30	17
2	41	15
3	56	15
4	108	15
5	226	15
6	575	15
7	1837	15
done	5000	15
0	14	17
1	25	17
2	29	15
3	30	15
4	35	15
5	36	15
done	36	15
0	14	17
1	28	17
2	37	15
3	45	15
4	71	15
5	138	15
6	304	15
7	797	15
8	2541	15
done	5000	15
0	15	35
1	26	35
2	30	31
3	31	31
4	36	31
5	37	31
done	37	31
0	14	17
1	25	17
2	29	15
3	30	15
4	35	15
5	36	15
done	36	15
0	15	50
1	39	50
2	99	16
3	301	16
4	911	16
5	2516	16
done	5000	16
0	14	17
1	25	17
2	29	15
3	30	15
4	35	15
5	36	15
done	36	15
0	14	17
1	25	17
2	29	15
3	30	15
4	35	15
5	36	15
done	36	15
0	16	20
1	43	20
2	96	18
3	234	18
4	554	18
5	1643	18
done	5000	18
0	17	50
1	43	35
2	113	31
3	236	31
4	411	30
5	563	30
6	660	30
7	755	30
8	1117	30
9	1726	30
10	1917	30
11	1937	30
12	2295	30
13	3891	28
done	5001	28
0	15	33
1	36	33
2	86	29
3	201	29
4	387	17
5	805	17
6	1249	17
7	1627	17
8	3364	17
done	5000	17
0	13	16
1	25	16
2	38	14
3	47	14
4	61	14
5	80	14
6	83	14
7	87	14
8	89	14
done	89	14
0	20	44
1	40	44
2	59	22
3	76	22
4	94	22
5	100	22
6	102	22
7	103	22
done	103	22
0	19	22
1	37	22
2	54	20
3	68	20
4	86	20
5	92	20
6	94	20
7	95	20
done	95	20
0	19	22
1	37	22
2	54	20
3	68	20
4	86	20
5	92	20
6	94	20
7	95	20
done	95	20
0	19	22
1	37	22
2	54	20
3	68	20
4	86	20
5	92	20
6	94	20
7	95	20
done	95	20
0	2	2
1	4	1
done	4	1
0	18	21
1	36	19
2	53	17
3	69	17
4	87	17
5	93	17
6	95	17
7	96	17
done	96	17
0	18	21
1	36	19
2	53	17
3	69	17
4	87	17
5	93	17
6	95	17
7	96	17
done	96	17
0	20	43
1	40	41
2	63	37
3	87	37
4	130	37
5	208	37
6	457	37
7	1422	37
done	5000	37
0	4	4
done	4	2
0	19	22
1	37	20
2	54	18
3	68	18
4	86	18
5	92	18
6	94	18
7	95	18
done	95	18
0	3	3
1	6	1
done	6	1
0	19	22
1	37	20
2	54	18
3	68	18
4	86	18
5	92	18
6	94	18
7	95	18
done	95	18
0	19	22
1	37	20
2	54	18
3	68	18
4	86	18
5	92	18
6	94	18
7	95	18
done	95	18
0	20	45
1	38	41
2	55	37
3	69	37
4	87	37
5	93	37
6	95	37
7	96	37
done	96	37
0	19	22
1	37	20
2	54	18
3	68	18
4	86	18
5	92	18
6	94	18
7	95	18
done	95	18
0	20	65
1	39	59
2	58	19
3	98	19
4	163	19
5	264	19
6	396	19
7	500	19
8	797	19
9	2356	19
done	5000	19
0	19	22
1	37	20
2	54	18
3	68	18
4	86	18
5	92	18
6	94	18
7	95	18
done	95	18
0	19	22
1	37	20
2	54	18
3	68	18
4	86	18
5	92	18
6	94	18
7	95	18
done	95	18
0	11	14
1	21	14
2	25	12
3	26	12
4	31	12
5	32	12
done	32	12
0	12	15
1	19	14
2	20	14
done	20	14
0	13	16
1	23	15
2	34	14
3	43	14
4	61	14
5	87	14
6	92	14
7	101	14
8	113	14
done	113	14
0	14	17
1	26	16
2	34	14
3	51	14
4	69	14
5	95	14
6	100	14
7	109	14
8	126	14
done	126	14
0	13	16
1	25	15
2	32	14
3	43	14
4	55	14
5	87	14
6	106	14
7	113	14
8	125	14
done	125	14
0	12	15
1	25	15
2	35	13
3	41	13
4	59	13
5	71	13
6	102	13
7	110	13
8	124	13
done	124	13
0	12	15
1	24	15
2	34	13
3	45	13
4	83	13
5	168	13
6	404	13
7	1222	13
8	4452	13
done	5001	13
0	16	44
1	37	28
2	93	16
3	295	16
4	646	16
5	1195	14
6	3356	14
done	5000	14
0	14	44
1	34	44
2	84	18
3	212	18
4	489	14
5	975	14
6	2269	14
done	5000	14
0	13	31
1	23	31
2	27	27
3	28	27
4	33	27
5	34	27
done	34	27
0	12	15
1	22	15
2	26	13
3	27	13
4	32	13
5	33	13
done	33	13
0	13	44
1	32	44
2	87	14
3	209	14
4	421	14
5	624	14
6	1220	14
7	3395	14
done	5000	14
0	12	15
1	22	15
2	26	13
3	27	13
4	32	13
5	33	13
done	33	13
0	12	15
1	22	15
2	26	13
3	27	13
4	32	13
5	33	13
done	33	13
0	13	16
1	21	16
2	22	16
done	22	16
0	13	16
1	21	16
2	22	16
done	22	16
0	14	17
1	24	16
2	28	16
3	32	14
4	43	14
5	44	14
done	44	14
0	14	17
1	24	16
2	28	16
3	32	14
4	43	14
5	44	14
done	44	14
0	14	17
1	24	16
2	28	16
3	32	14
4	43	14
5	44	14
done	44	14
0	14	17
1	24	16
2	28	16
3	32	14
4	43	14
5	44	14
done	44	14
0	13	16
1	23	16
2	27	14
3	42	14
4	43	14
done	43	14
0	13	16
1	23	16
2	27	14
3	42	14
4	43	14
done	43	14
0	13	16
1	23	16
2	27	14
3	42	14
4	43	14
done	43	14
0	13	16
1	23	16
2	27	14
3	42	14
4	43	14
done	43	14
0	13	29
1	23	29
2	26	29
done	26	29
0	12	15
1	20	15
2	21	15
done	21	15
0	15	31
1	31	29
2	61	27
3	95	25
4	105	25
5	106	25
done	106	25
0	15	30
1	28	17
2	39	15
3	52	13
4	53	13
done	53	13
0	14	19
1	26	17
2	37	15
3	50	13
4	51	13
done	51	13
0	7	10
1	14	7
2	23	5
3	40	1
done	40	1
0	14	19
1	26	17
2	37	15
3	50	13
4	51	13
done	51	13
0	6	9
1	13	5
2	28	3
3	32	1
4	33	1
done	33	1
0	14	28
1	26	27
2	38	27
3	52	25
4	77	25
5	92	25
done	92	25
0	14	27
1	25	15
2	29	15
3	33	13
4	39	13
5	40	13
done	40	13
0	13	16
1	23	15
2	27	15
3	31	13
4	37	13
5	38	13
done	38	13
0	5	7
1	10	3
2	15	1
done	15	1
0	13	16
1	23	15
2	27	15
3	31	13
4	37	13
5	38	13
done	38	13
0	5	6
1	10	3
2	15	1
done	15	1
0	13	27
1	25	27
2	36	25
3	44	25
4	64	25
5	97	25
6	100	25
done	100	25
0	13	26
1	24	15
2	28	13
3	29	13
4	34	13
5	35	13
done	35	13
0	12	15
1	22	15
2	26	13
3	27	13
4	32	13
5	33	13
done	33	13
0	5	6
1	10	5
2	12	3
3	13	1
done	13	1
0	12	15
1	22	15
2	26	13
3	27	13
4	32	13
5	33	13
done	33	13
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	14	18
1	42	18
2	114	14
3	314	14
4	724	14
5	2231	14
done	5001	14
0	13	24
1	37	24
2	87	20
3	152	20
4	253	16
5	463	14
6	845	14
7	1924	14
done	5001	14
0	12	15
1	22	15
2	26	13
3	41	13
4	42	13
done	42	13
0	12	15
1	22	15
2	26	13
3	41	13
4	42	13
done	42	13
0	11	14
1	21	14
2	25	12
3	26	12
4	31	12
5	32	12
done	32	12
0	3	3
1	6	1
done	6	1
0	1	1
done	1	1
0	4	4
1	5	4
done	5	4
0	6	6
1	11	5
2	23	5
done	23	5
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune215.0ms

Filtered

79 candidates to 103 candidates (-30.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	101	2	103
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	105	9	114

Merged error: 11.8b

Counts

114 → 9

regimes361.0ms

Accuracy

0% (0.3b remaining)

Error of 12.9b against oracle of 12.6b and baseline of 12.9b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	21
1	23	21
done	23	21

end0.0ms

sample1.3s

Algorithm

intervals

Results

350.0ms	6092×	body	80	valid
270.0ms	783×	body	2560	valid
164.0ms	582×	body	1280	valid
152.0ms	8000×	pre	80	true
69.0ms	320×	body	640	valid
25.0ms	154×	body	320	valid
7.0ms	69×	body	160	valid

Details

sample55.0ms

simplify25.0ms

prune3.0ms

localize17.0ms

rewrite46.0ms

series73.0ms

simplify50.7s

prune235.0ms

localize14.0ms

rewrite39.0ms

series45.0ms

simplify1.2min

prune253.0ms

localize16.0ms

rewrite37.0ms

series67.0ms

simplify44.0s

prune268.0ms

localize17.0ms

rewrite34.0ms

series66.0ms

simplify1.1min

prune215.0ms

regimes361.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.3s

Profiling