Details

sample40.0ms

Algorithm

intervals

Results

10.0ms	256×	body	80	valid
5.0ms	277×	pre	80	false
5.0ms	256×	pre	80	true

simplify4.5s

Counts

1 → 1

Iterations

Useful iterations: 2 (4.0ms)

Iter	Nodes	Cost
0	8	13
1	18	13
2	47	11
3	97	11
4	179	11
5	293	11
6	458	11
7	1418	11
done	5000	11

prune8.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 13.1b

Counts

2 → 1

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* a a) (* b b))
0.0b	(sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
12.7b	(/ (- (* a a) (* b b)) (* a a))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-exp-log` `add-cbrt-cube`
7×	`add-sqr-sqrt`
6×	`add-cube-cbrt` `*-un-lft-identity`
5×	`add-log-exp`
4×	`pow1` `times-frac` `associate-/l*`
3×	`sqrt-prod` `difference-of-squares`
2×	`cbrt-undiv` `flip3--` `div-exp` `flip--` `associate-/l/`
1×	`sub-neg` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `diff-log` `div-sub` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `div-inv`

Counts

3 → 52

Calls

3 calls:

4.0ms	(- (* a a) (* b b))
2.0ms	(sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
9.0ms	(/ (- (* a a) (* b b)) (* a a))

series28.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(- (* a a) (* b b))
12.0ms	(sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
9.0ms	(/ (- (* a a) (* b b)) (* a a))

simplify3.9min

Counts

61 → 61

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	14
1	20	13
2	40	13
3	73	13
4	132	13
5	207	13
6	321	13
7	567	13
8	1917	13
done	5001	13
0	8	13
1	17	13
2	34	13
3	68	13
4	125	13
5	200	13
6	321	13
7	565	13
8	1891	13
done	5001	13
0	7	12
1	20	12
2	58	10
3	128	10
4	257	10
5	442	10
6	667	10
7	1715	10
done	5000	10
0	7	12
1	17	12
2	49	10
3	106	10
4	206	10
5	376	10
6	692	10
7	2185	10
done	5001	10
0	10	35
1	30	35
2	151	17
3	1055	13
done	5000	13
0	10	35
1	31	35
2	151	15
3	1078	11
done	5000	11
0	8	25
1	18	25
2	47	21
3	97	21
4	179	21
5	293	21
6	458	21
7	1418	21
done	5000	21
0	7	12
1	17	12
2	46	10
3	96	10
4	178	10
5	292	10
6	452	10
7	1413	10
done	5000	10
0	8	35
1	25	35
2	109	11
3	634	11
4	4978	11
done	5000	11
0	7	12
1	17	12
2	46	10
3	96	10
4	178	10
5	292	10
6	452	10
7	1413	10
done	5000	10
0	7	12
1	17	12
2	46	10
3	96	10
4	178	10
5	292	10
6	452	10
7	1413	10
done	5000	10
0	6	8
1	11	8
2	25	8
3	60	8
4	141	7
5	243	7
6	460	7
7	942	7
8	3837	7
done	5000	7
0	3	4
1	6	4
done	6	4
0	3	7
1	9	1
2	12	1
done	12	1
0	5	7
1	11	7
2	20	7
3	26	7
done	26	7
0	8	19
1	15	19
2	24	19
3	40	19
4	65	19
5	106	19
6	162	19
7	330	19
8	1620	19
done	5001	19
0	7	10
1	12	10
2	19	10
3	34	10
4	59	10
5	100	10
6	156	10
7	324	10
8	1653	10
done	5000	10
0	7	10
1	12	10
2	19	10
3	34	10
4	59	10
5	100	10
6	156	10
7	324	10
8	1653	10
done	5000	10
0	7	10
1	12	10
2	19	10
3	34	10
4	59	10
5	100	10
6	156	10
7	324	10
8	1653	10
done	5000	10
0	3	3
1	5	3
done	5	3
0	6	9
1	14	9
2	29	9
3	55	9
4	105	7
5	169	7
6	258	7
7	732	7
8	3482	7
done	5000	7
0	4	5
1	5	5
done	5	5
0	4	5
1	9	5
2	13	5
3	17	5
done	17	5
0	4	5
1	8	5
done	8	5
0	6	11
1	13	11
2	31	11
3	66	11
4	116	11
5	189	9
6	289	9
7	788	9
8	3662	9
done	5000	9
0	6	9
1	14	9
2	29	9
3	55	9
4	105	7
5	169	7
6	258	7
7	732	7
8	3482	7
done	5000	7
0	7	12
1	14	12
2	23	12
3	39	12
4	64	12
5	105	12
6	163	12
7	331	12
8	1618	12
done	5000	12
0	7	12
1	14	12
2	23	12
3	39	12
4	64	12
5	105	12
6	163	12
7	331	12
8	1618	12
done	5000	12
0	6	11
1	13	11
2	31	11
3	66	11
4	116	11
5	189	9
6	289	9
7	788	9
8	3662	9
done	5000	9
0	5	7
1	9	7
2	15	7
3	19	7
4	23	7
done	23	7
0	10	27
1	40	23
2	114	21
3	246	19
4	425	19
5	679	19
6	1567	19
done	5000	19
0	6	11
1	15	11
2	38	11
3	52	11
4	61	11
5	76	11
6	102	11
7	185	11
8	433	11
9	1462	11
done	5000	11
0	9	14
1	19	14
2	48	12
3	98	12
4	180	12
5	293	12
6	458	12
7	1418	12
done	5000	12
0	9	14
1	19	14
2	48	12
3	98	12
4	180	12
5	293	12
6	458	12
7	1418	12
done	5000	12
0	10	29
1	20	29
2	49	25
3	99	25
4	181	25
5	295	25
6	460	25
7	1420	25
done	5001	25
0	9	14
1	19	14
2	48	12
3	98	12
4	180	12
5	293	12
6	458	12
7	1418	12
done	5000	12
0	10	41
1	21	26
2	53	13
3	108	13
4	196	13
5	320	13
6	507	13
7	1529	13
done	5000	13
0	10	28
1	21	14
2	50	12
3	100	12
4	182	12
5	295	12
6	456	12
7	1416	12
done	5000	12
0	9	14
1	19	14
2	48	12
3	98	12
4	180	12
5	293	12
6	458	12
7	1418	12
done	5000	12
0	9	14
1	19	14
2	48	12
3	98	12
4	180	12
5	293	12
6	458	12
7	1418	12
done	5000	12
0	9	14
1	19	14
2	48	12
3	98	12
4	180	12
5	293	12
6	458	12
7	1418	12
done	5000	12
0	2	2
1	4	1
done	4	1
0	8	13
1	18	13
2	47	11
3	97	11
4	179	11
5	293	11
6	458	11
7	1418	11
done	5000	11
0	3	3
1	6	1
done	6	1
0	9	14
1	19	14
2	48	12
3	98	12
4	180	12
5	293	12
6	458	12
7	1418	12
done	5000	12
0	9	14
1	19	14
2	48	12
3	98	12
4	180	12
5	293	12
6	458	12
7	1418	12
done	5000	12
0	7	9
1	13	8
2	25	8
3	52	8
4	141	8
5	464	8
6	2518	8
done	5001	8
0	6	8
1	11	8
2	21	8
3	37	8
4	62	8
5	103	8
6	161	8
7	329	8
8	1610	8
done	5000	8
0	6	8
1	14	8
2	29	8
3	64	8
4	142	8
5	361	8
6	1304	8
done	5000	8
0	7	17
1	12	17
2	19	17
3	34	17
4	59	17
5	100	17
6	156	17
7	324	17
8	1653	17
done	5000	17
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	7	23
1	13	23
2	45	9
3	236	9
4	1272	9
done	5000	9
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	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	8	11
1	27	11
2	89	7
3	214	7
4	541	7
5	1943	7
done	5000	7
0	9	23
1	30	19
2	62	17
3	85	15
4	114	15
5	162	15
6	328	15
7	830	15
8	3018	15
done	5000	15
0	3	4
1	6	4
done	6	4
0	7	15
1	20	15
2	41	11
3	87	7
4	212	7
5	581	7
6	1497	7
done	5000	7
0	5	7
1	6	7
done	6	7
0	3	3
1	4	3
done	4	3
0	3	3
1	5	3
2	6	3
done	6	3
0	3	4
1	6	4
done	6	4
0	8	9
1	19	9
2	47	9
3	148	9
4	559	9
5	2413	9
done	5000	9
0	8	9
1	19	9
2	47	9
3	148	9
4	559	9
5	2413	9
done	5000	9
0	8	9
1	19	9
2	47	9
3	148	9
4	559	9
5	2413	9
done	5000	9
0	9	13
1	22	13
2	88	11
3	125	11
4	186	11
5	275	11
6	420	11
7	708	11
8	2100	11
done	5000	11
0	9	13
1	22	13
2	88	11
3	125	11
4	186	11
5	275	11
6	420	11
7	708	11
8	2100	11
done	5000	11
0	9	13
1	22	13
2	88	11
3	125	11
4	186	11
5	275	11
6	420	11
7	708	11
8	2100	11
done	5000	11
0	6	7
1	16	7
2	46	7
3	57	7
4	81	7
5	123	7
6	204	7
7	380	7
8	963	7
9	4078	7
done	5000	7
0	6	7
1	16	7
2	46	7
3	57	7
4	81	7
5	123	7
6	204	7
7	380	7
8	963	7
9	4078	7
done	5000	7
0	6	7
1	16	7
2	46	7
3	57	7
4	81	7
5	123	7
6	204	7
7	380	7
8	963	7
9	4078	7
done	5000	7

prune114.0ms

Filtered

47 candidates to 61 candidates (-29.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	57	4	61
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	58	4	62

Merged error: 0.0b

Counts

62 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ a b) a)
0.0b	(sqrt (fabs (* (/ (+ a b) a) (/ (- a b) a))))
0.0b	(* (/ (+ a b) a) (/ (- a b) a))
0.0b	(/ (- a b) a)

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

69×	`*-un-lft-identity`
68×	`add-sqr-sqrt`
58×	`times-frac`
41×	`add-cube-cbrt`
20×	`add-exp-log` `add-cbrt-cube`
19×	`associate-r`
16×	`associate-l`
9×	`associate-/l*`
7×	`pow1` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`
6×	`cbrt-undiv` `div-exp` `associate-/r*`
4×	`prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `add-log-exp` `unswap-sqr`
3×	`sqrt-prod`
2×	`frac-2neg` `clear-num`
1×	`frac-times` `rem-sqrt-square` `flip3--` `sqrt-pow1` `flip3-+` `pow1/2` `div-sub` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `flip--` `flip-+`

Counts

4 → 143

Calls

4 calls:

12.0ms	(/ (+ a b) a)
1.0ms	(sqrt (fabs (* (/ (+ a b) a) (/ (- a b) a))))
19.0ms	(* (/ (+ a b) a) (/ (- a b) a))
7.0ms	(/ (- a b) a)

series31.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(/ (+ a b) a)
11.0ms	(sqrt (fabs (* (/ (+ a b) a) (/ (- a b) a))))
10.0ms	(* (/ (+ a b) a) (/ (- a b) a))
5.0ms	(/ (- a b) a)

simplify4.3min

Counts

155 → 155

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	12	7
done	12	7
0	5	6
1	13	6
2	19	6
3	24	6
done	24	6
0	5	6
1	10	6
2	17	6
3	24	6
4	26	6
5	30	6
6	34	6
7	50	6
8	55	6
9	60	6
10	64	6
11	76	6
12	84	6
13	88	6
14	93	6
15	96	6
16	107	6
17	132	6
18	143	6
19	148	6
20	154	6
21	159	6
22	161	6
23	163	6
done	163	6
0	8	17
1	19	17
2	67	9
3	202	7
4	559	7
5	2062	7
done	5001	7
0	6	13
1	11	13
2	15	13
3	19	13
done	19	13
0	5	6
1	10	6
2	14	6
3	18	6
done	18	6
0	6	17
1	18	17
2	50	7
3	178	7
4	604	7
5	2255	7
done	5000	7
0	5	6
1	10	6
2	14	6
3	18	6
done	18	6
0	5	6
1	10	6
2	14	6
3	18	6
done	18	6
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	2	2
done	2	2
0	2	3
1	3	1
2	5	1
done	5	1
0	3	3
done	3	3
0	8	15
1	16	15
2	26	15
3	32	15
done	32	15
0	6	7
1	8	7
2	9	7
done	9	7
0	7	12
1	11	12
2	14	12
3	15	12
done	15	12
0	6	7
1	8	7
2	9	7
done	9	7
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	5	6
1	7	6
2	8	6
done	8	6
0	7	10
1	11	10
2	12	10
done	12	10
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	6
1	10	4
2	13	4
done	13	4
0	5	6
1	7	6
2	8	6
done	8	6
0	5	7
1	9	7
done	9	7
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	4	4
1	6	4
done	6	4
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	2	3
1	4	1
done	4	1
0	4	5
1	9	5
2	13	5
3	17	5
done	17	5
0	8	11
1	11	11
done	11	11
0	7	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	7	8
done	7	8
0	6	8
1	11	8
2	15	7
3	19	7
done	19	7
0	7	7
1	10	5
2	12	5
done	12	5
0	6	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	7
1	9	7
done	9	7
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	4	4
1	6	4
done	6	4
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	2	3
1	4	1
done	4	1
0	4	5
1	9	5
2	13	5
3	17	5
done	17	5
0	3	3
1	5	3
done	5	3
0	4	5
1	6	5
2	7	5
done	7	5
0	6	9
1	13	9
2	21	9
3	26	9
4	29	9
done	29	9
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	5	5
1	12	3
2	17	3
done	17	3
0	5	6
1	7	6
2	8	6
done	8	6
0	5	6
1	7	6
2	8	6
done	8	6
0	4	5
1	6	5
2	7	5
done	7	5
0	6	7
1	8	7
2	9	7
done	9	7
0	4	5
1	6	5
2	7	5
done	7	5
0	8	13
1	22	11
2	48	11
3	75	11
4	83	11
5	93	11
6	116	11
7	176	11
8	379	11
9	1310	11
done	5000	11
0	4	5
1	11	5
2	12	5
done	12	5
0	7	11
1	18	11
2	36	11
3	89	11
4	193	11
5	512	11
6	1760	11
done	5000	11
0	10	15
1	21	15
2	44	15
3	91	15
4	161	15
5	219	14
6	284	14
7	321	14
8	322	14
done	322	14
0	10	14
1	23	14
2	44	14
3	85	14
4	149	14
5	213	14
6	275	14
7	312	14
8	313	14
done	313	14
0	10	14
1	20	14
2	35	14
3	69	14
4	130	14
5	227	14
6	299	14
7	343	14
8	344	14
done	344	14
0	9	13
1	21	13
2	36	13
3	66	13
4	118	13
5	205	13
6	287	13
7	341	13
8	360	13
done	360	13
0	8	12
1	22	12
2	48	12
3	121	12
4	284	12
5	694	12
6	2130	12
done	5000	12
0	8	12
1	21	12
2	45	12
3	117	12
4	267	12
5	741	12
6	2532	12
done	5000	12
0	13	35
1	50	35
2	223	19
3	1332	15
done	5000	15
0	13	35
1	52	35
2	198	17
3	968	15
done	5000	15
0	13	35
1	37	35
2	171	17
3	870	15
done	5000	15
0	11	35
1	36	35
2	141	15
3	610	15
4	3689	13
done	5001	13
0	9	25
1	20	25
2	38	25
3	91	25
4	194	25
5	514	25
6	1755	25
done	5000	25
0	8	12
1	19	12
2	37	12
3	90	12
4	193	12
5	512	12
6	1764	12
done	5001	12
0	9	35
1	30	35
2	121	13
3	590	13
4	3265	13
done	5000	13
0	8	12
1	19	12
2	37	12
3	90	12
4	193	12
5	512	12
6	1764	12
done	5001	12
0	8	12
1	19	12
2	37	12
3	90	12
4	193	12
5	512	12
6	1764	12
done	5001	12
0	5	7
1	9	7
2	24	7
3	52	7
4	93	7
5	146	7
6	211	7
7	323	7
8	942	7
9	3249	7
done	5000	7
0	2	3
done	2	3
0	9	13
1	16	13
2	20	13
3	24	13
done	24	13
0	9	13
1	16	13
2	20	13
3	24	13
done	24	13
0	10	14
1	16	14
2	20	14
3	24	14
4	25	14
done	25	14
0	10	14
1	16	14
2	20	14
3	24	14
4	25	14
done	25	14
0	10	14
1	19	14
2	26	14
3	32	14
4	34	14
5	35	14
done	35	14
0	10	14
1	19	14
2	26	14
3	32	14
4	34	14
5	35	14
done	35	14
0	10	15
1	18	15
2	27	15
3	39	15
4	51	11
5	54	11
done	54	11
0	10	15
1	18	15
2	27	15
3	39	15
4	51	11
5	54	11
done	54	11
0	9	19
1	20	19
2	32	19
3	52	19
4	73	19
5	89	19
6	114	19
7	134	19
8	146	19
9	412	19
10	2353	19
done	5000	19
0	8	12
1	17	12
2	24	12
3	38	12
4	40	12
5	49	12
6	51	12
7	56	12
8	58	12
9	192	12
10	1154	12
done	5000	12
0	11	21
1	25	21
2	67	21
3	168	21
4	435	21
5	799	21
6	1045	21
7	1390	21
8	1838	21
9	1984	21
done	5000	21
0	10	18
1	20	18
2	39	18
3	90	18
4	201	18
5	308	18
6	392	18
7	517	18
8	663	18
9	716	18
10	3547	18
done	5001	18
0	10	17
1	22	15
2	49	15
3	144	15
4	263	15
5	372	15
6	468	15
7	566	15
8	682	15
9	1728	15
done	5001	15
0	10	16
1	20	16
2	40	16
3	89	16
4	179	16
5	267	16
6	326	16
7	420	16
8	559	16
9	618	16
10	3299	16
done	5001	16
0	9	13
1	17	13
2	27	13
3	52	13
4	85	13
5	111	13
6	129	13
7	165	13
8	210	13
9	232	13
10	1188	13
done	5000	13
0	9	12
1	19	10
2	33	10
3	73	10
4	101	10
5	125	10
6	144	10
7	189	10
8	208	10
9	428	10
10	1606	10
done	5001	10
0	9	13
1	19	13
2	37	11
3	115	11
4	236	11
5	403	11
6	526	11
7	682	11
8	1336	11
done	5001	11
0	8	10
1	16	10
2	25	8
3	71	8
4	114	8
5	190	8
6	231	8
7	275	8
8	477	8
9	1825	8
done	5000	8
0	7	9
1	15	7
2	25	5
3	58	5
4	89	5
5	112	5
6	123	5
done	123	5
0	11	17
1	20	17
2	47	17
3	106	17
4	234	17
5	374	17
6	567	17
7	866	17
8	1234	17
9	1542	17
done	5000	17
0	9	14
1	16	14
2	33	14
3	70	14
4	131	14
5	192	14
6	287	14
7	411	13
8	564	13
9	1567	13
done	5001	13
0	10	13
1	19	11
2	48	11
3	106	11
4	160	11
5	236	11
6	335	11
7	450	11
8	550	11
9	1024	11
10	3671	11
done	5000	11
0	9	13
1	19	13
2	37	11
3	115	11
4	236	11
5	403	11
6	526	11
7	682	11
8	1336	11
done	5001	11
0	8	10
1	16	10
2	25	8
3	71	8
4	114	8
5	190	8
6	231	8
7	275	8
8	477	8
9	1825	8
done	5000	8
0	7	9
1	15	7
2	25	5
3	58	5
4	89	5
5	112	5
6	123	5
done	123	5
0	6	7
1	12	5
2	22	5
3	36	5
4	47	5
5	60	5
6	72	5
done	72	5
0	6	9
1	12	9
2	28	9
3	65	9
4	109	9
5	176	9
6	289	9
7	790	9
8	2856	7
done	5000	7
0	8	12
1	17	12
2	30	12
3	49	12
4	71	12
5	150	12
6	407	12
7	1109	12
done	5000	12
0	8	12
1	17	12
2	30	12
3	49	12
4	71	12
5	150	12
6	407	12
7	1109	12
done	5000	12
0	9	13
1	20	13
2	39	13
3	89	13
4	154	13
5	376	13
6	1240	13
7	3671	13
done	5001	13
0	9	13
1	20	13
2	39	13
3	89	13
4	154	13
5	376	13
6	1240	13
7	3671	13
done	5001	13
0	8	12
1	19	12
2	37	12
3	82	12
4	135	12
5	294	12
6	1571	12
done	5000	12
0	9	13
1	20	13
2	39	13
3	89	13
4	154	13
5	376	13
6	1240	13
7	3671	13
done	5001	13
0	9	13
1	20	13
2	39	13
3	89	13
4	154	13
5	376	13
6	1240	13
7	3671	13
done	5001	13
0	8	12
1	19	12
2	37	12
3	82	12
4	135	12
5	294	12
6	1571	12
done	5000	12
0	8	12
1	19	12
2	38	12
3	96	12
4	212	12
5	593	12
6	1631	12
7	4846	12
done	5000	12
0	8	12
1	19	12
2	38	12
3	96	12
4	212	12
5	593	12
6	1631	12
7	4846	12
done	5000	12
0	7	11
1	18	11
2	36	11
3	89	11
4	193	11
5	512	11
6	1760	11
done	5000	11
0	8	12
1	19	12
2	38	12
3	96	12
4	212	12
5	593	12
6	1631	12
7	4846	12
done	5000	12
0	8	12
1	19	12
2	38	12
3	96	12
4	212	12
5	593	12
6	1631	12
7	4846	12
done	5000	12
0	7	11
1	18	11
2	36	11
3	89	11
4	193	11
5	512	11
6	1760	11
done	5000	11
0	7	11
1	18	11
2	36	11
3	89	11
4	193	11
5	512	11
6	1760	11
done	5000	11
0	7	9
1	19	9
2	36	7
3	118	7
4	254	7
5	317	7
6	487	7
7	1425	7
done	5000	7
0	6	9
1	12	9
2	28	9
3	65	9
4	109	9
5	176	9
6	289	9
7	790	9
8	2856	7
done	5000	7
0	6	9
1	15	9
2	36	9
3	94	9
4	170	9
5	335	9
6	757	9
7	2353	9
done	5001	9
0	10	14
1	21	14
2	39	14
3	92	14
4	195	14
5	513	14
6	1786	14
done	5000	14
0	10	14
1	21	14
2	39	14
3	92	14
4	195	14
5	513	14
6	1786	14
done	5000	14
0	11	29
1	22	29
2	40	29
3	93	29
4	196	29
5	515	29
6	1766	29
done	5001	29
0	10	14
1	21	14
2	39	14
3	92	14
4	195	14
5	513	14
6	1786	14
done	5000	14
0	11	41
1	23	26
2	44	15
3	102	15
4	212	15
5	541	15
6	1817	15
done	5001	15
0	11	28
1	23	14
2	41	14
3	94	14
4	198	14
5	517	14
6	1784	14
done	5000	14
0	10	14
1	21	14
2	39	14
3	92	14
4	195	14
5	513	14
6	1786	14
done	5000	14
0	10	14
1	21	14
2	39	14
3	92	14
4	195	14
5	513	14
6	1786	14
done	5000	14
0	10	14
1	21	14
2	39	14
3	92	14
4	195	14
5	513	14
6	1786	14
done	5000	14
0	2	2
1	4	1
done	4	1
0	9	13
1	20	13
2	38	13
3	91	13
4	194	13
5	514	13
6	1755	13
done	5000	13
0	3	3
1	6	1
done	6	1
0	10	14
1	21	14
2	39	14
3	92	14
4	195	14
5	513	14
6	1786	14
done	5000	14
0	10	14
1	21	14
2	39	14
3	92	14
4	195	14
5	513	14
6	1786	14
done	5000	14
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	9	6
2	11	6
3	12	6
done	12	6
0	5	6
1	6	6
done	6	6
0	8	17
1	30	17
2	91	9
3	232	7
4	615	7
5	1678	7
6	4415	7
done	5000	7
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	14	17
2	46	7
3	118	7
4	295	7
5	588	7
6	1241	7
done	5001	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	2	2
done	2	2
0	8	15
1	15	15
2	24	15
3	30	15
done	30	15
0	6	7
1	7	7
done	7	7
0	7	12
1	10	12
2	12	12
3	13	12
done	13	12
0	6	7
1	7	7
done	7	7
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	5	6
1	6	6
done	6	6
0	7	10
1	10	10
done	10	10
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	6
1	9	4
2	11	4
done	11	4
0	5	6
1	6	6
done	6	6
0	5	7
1	9	7
done	9	7
0	5	6
1	6	6
done	6	6
0	4	4
1	6	4
done	6	4
0	5	6
1	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	5	7
1	9	7
done	9	7
0	5	6
1	6	6
done	6	6
0	4	4
1	6	4
done	6	4
0	5	6
1	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	3	3
1	5	3
done	5	3
0	4	5
1	5	5
done	5	5
0	6	9
1	9	9
done	9	9
0	5	6
1	6	6
done	6	6
0	5	5
1	8	3
2	10	3
done	10	3
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	8	13
1	23	11
2	50	11
3	97	11
4	142	11
5	190	11
6	300	11
7	442	11
8	966	11
9	3363	11
done	5000	11
0	4	5
1	7	5
2	13	5
3	18	5
4	22	5
done	22	5
0	5	5
1	9	5
2	12	5
done	12	5
0	5	5
1	9	5
2	12	5
done	12	5
0	5	5
1	9	5
2	12	5
done	12	5
0	8	9
1	19	9
2	47	9
3	148	9
4	559	9
5	2413	9
done	5000	9
0	8	9
1	19	9
2	47	9
3	148	9
4	559	9
5	2413	9
done	5000	9
0	8	9
1	19	9
2	47	9
3	148	9
4	559	9
5	2413	9
done	5000	9
0	10	13
1	21	13
2	62	13
3	126	13
4	229	13
5	397	13
6	641	13
7	1890	13
done	5001	13
0	10	13
1	21	13
2	62	13
3	126	13
4	229	13
5	397	13
6	641	13
7	1890	13
done	5001	13
0	10	13
1	21	13
2	62	13
3	126	13
4	229	13
5	397	13
6	641	13
7	1890	13
done	5001	13
0	5	5
1	8	5
done	8	5
0	5	5
1	8	5
done	8	5
0	5	5
1	8	5
done	8	5

prune200.0ms

Filtered

115 candidates to 155 candidates (-34.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	153	2	155
Fresh	3	0	3
Picked	0	1	1
Done	0	0	0
Total	156	3	159

Merged error: 0b

Counts

159 → 3

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- a (* (/ b a) b)) a)
0.0b	(sqrt (fabs (/ (- a (* (/ b a) b)) a)))
0.1b	(* (/ b a) b)

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
20×	`add-cube-cbrt` `*-un-lft-identity`
19×	`times-frac`
13×	`associate-l`
10×	`add-exp-log` `add-cbrt-cube`
6×	`pow1`
3×	`associate-r` `associate-/r` `sqrt-prod` `associate-/l` `add-log-exp`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`rem-sqrt-square` `flip3--` `frac-2neg` `sqrt-pow1` `pow1/2` `div-sub` `pow-prod-down` `associate-l/` `clear-num` `-commutative` `flip--`

Counts

3 → 75

Calls

3 calls:

6.0ms	(/ (- a (* (/ b a) b)) a)
1.0ms	(sqrt (fabs (/ (- a (* (/ b a) b)) a)))
7.0ms	(* (/ b a) b)

series29.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(/ (- a (* (/ b a) b)) a)
13.0ms	(sqrt (fabs (/ (- a (* (/ b a) b)) a)))
4.0ms	(* (/ b a) b)

simplify1.0min

Counts

84 → 84

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	11	8
2	19	8
3	27	7
4	36	7
5	51	7
6	63	7
7	75	7
8	87	7
9	88	7
done	88	7
0	6	7
1	9	7
2	15	7
3	23	7
4	30	7
5	38	7
6	52	7
7	64	7
8	76	7
9	86	7
10	87	7
done	87	7
0	5	6
1	11	6
2	18	6
3	27	6
4	37	6
5	43	6
6	51	6
7	65	6
8	77	6
9	89	6
10	99	6
11	100	6
done	100	6
0	5	6
1	10	6
2	18	6
3	26	6
4	51	6
5	112	6
6	274	6
7	843	6
8	3566	6
done	5000	6
0	8	17
1	22	17
2	96	11
3	362	7
4	878	7
5	2335	7
done	5000	7
0	8	17
1	21	17
2	68	9
3	200	9
4	592	7
5	1461	7
6	4876	7
done	5000	7
0	6	13
1	9	13
2	11	13
done	11	13
0	5	6
1	8	6
2	10	6
done	10	6
0	6	17
1	18	17
2	64	7
3	198	7
4	504	7
5	1036	7
6	2386	7
done	5000	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	8
1	9	8
2	11	4
done	11	4
0	6	8
1	9	8
2	11	4
done	11	4
0	6	9
1	11	9
2	19	9
3	27	9
4	36	9
5	42	9
6	47	9
7	48	9
done	48	9
0	5	6
1	8	6
2	11	6
3	13	6
4	15	6
5	16	6
done	16	6
0	5	5
1	10	3
2	20	3
done	20	3
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	6	7
1	9	7
2	12	7
3	14	7
4	16	7
5	17	7
done	17	7
0	6	7
1	9	7
2	12	7
3	14	7
4	16	7
5	17	7
done	17	7
0	5	6
1	8	6
2	11	6
3	13	6
4	15	6
5	16	6
done	16	6
0	6	7
1	9	7
2	12	7
3	14	7
4	16	7
5	17	7
done	17	7
0	6	7
1	9	7
2	12	7
3	14	7
4	16	7
5	17	7
done	17	7
0	5	6
1	8	6
2	11	6
3	13	6
4	15	6
5	16	6
done	16	6
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	5	5
1	10	5
2	13	3
done	13	3
0	2	3
done	2	3
0	9	12
1	17	12
2	36	12
3	58	12
4	74	12
5	82	12
done	82	12
0	9	12
1	17	12
2	36	12
3	58	12
4	74	12
5	82	12
done	82	12
0	10	25
1	18	25
2	37	25
3	59	25
4	75	25
5	83	25
done	83	25
0	9	12
1	17	12
2	36	12
3	58	12
4	74	12
5	82	12
done	82	12
0	10	35
1	19	22
2	41	13
3	68	13
4	90	13
5	108	13
6	131	13
7	191	13
8	401	13
9	1337	13
done	5001	13
0	10	24
1	19	12
2	38	12
3	60	12
4	77	12
5	85	12
done	85	12
0	9	12
1	17	12
2	36	12
3	58	12
4	74	12
5	82	12
done	82	12
0	9	12
1	17	12
2	36	12
3	58	12
4	74	12
5	82	12
done	82	12
0	9	12
1	17	12
2	36	12
3	58	12
4	74	12
5	82	12
done	82	12
0	2	2
1	4	1
done	4	1
0	8	11
1	16	11
2	35	11
3	57	11
4	73	11
5	81	11
done	81	11
0	3	3
1	6	1
done	6	1
0	9	12
1	17	12
2	36	12
3	58	12
4	74	12
5	82	12
done	82	12
0	9	12
1	17	12
2	36	12
3	58	12
4	74	12
5	82	12
done	82	12
0	8	11
1	15	11
2	27	11
3	33	11
4	35	11
done	35	11
0	7	10
1	18	10
2	39	10
3	62	10
4	78	10
5	86	10
done	86	10
0	7	10
1	15	10
2	37	10
3	62	10
4	85	10
5	112	10
6	162	10
7	330	10
8	950	10
9	3068	10
done	5000	10
0	10	29
1	24	29
2	82	13
3	269	11
4	994	11
5	4582	11
done	5000	11
0	8	21
1	16	21
2	35	21
3	57	21
4	73	21
5	81	21
done	81	21
0	7	10
1	15	10
2	34	10
3	56	10
4	73	10
5	81	10
done	81	10
0	8	29
1	23	29
2	70	11
3	255	11
4	1055	11
done	5000	11
0	7	10
1	15	10
2	34	10
3	56	10
4	73	10
5	81	10
done	81	10
0	7	10
1	15	10
2	34	10
3	56	10
4	73	10
5	81	10
done	81	10
0	6	8
1	11	8
2	25	8
3	43	8
4	66	7
5	67	7
done	67	7
0	2	2
done	2	2
0	2	3
1	3	1
2	5	1
done	5	1
0	5	7
1	10	7
2	19	7
3	25	7
done	25	7
0	10	23
1	21	23
2	41	23
3	53	23
4	55	23
done	55	23
0	8	11
1	13	11
2	24	11
3	30	11
4	32	11
done	32	11
0	9	20
1	16	20
2	29	20
3	36	20
4	38	20
done	38	20
0	8	11
1	13	11
2	24	11
3	30	11
4	32	11
done	32	11
0	9	19
1	18	17
2	35	17
3	46	17
4	48	17
done	48	17
0	7	10
1	12	10
2	23	10
3	29	10
4	31	10
done	31	10
0	9	14
1	16	14
2	27	14
3	33	14
4	35	14
done	35	14
0	8	11
1	13	11
2	24	11
3	30	11
4	32	11
done	32	11
0	8	11
1	13	11
2	24	11
3	30	11
4	32	11
done	32	11
0	8	11
1	13	11
2	24	11
3	30	11
4	32	11
done	32	11
0	8	10
1	15	8
2	28	8
3	34	8
4	36	8
done	36	8
0	7	10
1	12	10
2	23	10
3	29	10
4	31	10
done	31	10
0	5	7
1	9	7
done	9	7
0	7	10
1	15	10
2	34	10
3	58	10
4	96	10
5	120	10
6	125	10
done	125	10
0	4	4
1	6	4
done	6	4
0	7	10
1	15	10
2	34	10
3	58	10
4	96	10
5	120	10
6	125	10
done	125	10
0	2	3
1	4	1
done	4	1
0	6	9
1	14	9
2	33	9
3	55	9
4	72	9
5	80	9
done	80	9
0	3	3
1	5	3
done	5	3
0	6	9
1	11	9
2	22	9
3	28	9
4	30	9
done	30	9
0	8	13
1	18	13
2	46	13
3	99	13
4	196	13
5	281	13
6	316	13
7	317	13
done	317	13
0	7	10
1	15	10
2	34	10
3	58	10
4	96	10
5	120	10
6	125	10
done	125	10
0	7	9
1	17	7
2	38	7
3	67	7
4	106	7
5	122	7
6	136	7
done	136	7
0	7	10
1	12	10
2	23	10
3	29	10
4	31	10
done	31	10
0	7	10
1	12	10
2	23	10
3	29	10
4	31	10
done	31	10
0	6	9
1	11	9
2	22	9
3	28	9
4	30	9
done	30	9
0	10	25
1	35	19
2	106	19
3	259	19
4	537	17
5	869	15
6	3478	15
done	5001	15
0	6	9
1	16	9
2	31	9
3	41	9
4	53	9
5	57	7
6	151	7
7	806	7
8	3608	7
done	5000	7
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5
0	9	11
1	19	11
2	38	11
3	57	11
4	84	11
5	111	11
6	139	11
7	201	11
8	413	11
9	1341	11
done	5001	11
0	9	11
1	19	11
2	38	11
3	57	11
4	84	11
5	111	11
6	139	11
7	201	11
8	413	11
9	1341	11
done	5001	11
0	9	11
1	19	11
2	38	11
3	57	11
4	84	11
5	111	11
6	139	11
7	201	11
8	413	11
9	1341	11
done	5001	11
0	8	9
1	19	9
2	47	9
3	148	9
4	559	9
5	2413	9
done	5000	9
0	8	9
1	19	9
2	47	9
3	148	9
4	559	9
5	2413	9
done	5000	9
0	8	9
1	19	9
2	47	9
3	148	9
4	559	9
5	2413	9
done	5000	9

prune114.0ms

Filtered

66 candidates to 84 candidates (-27.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	84	3	87

Merged error: 0b

Counts

87 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (sqrt a) (sqrt b))
0.0b	(+ (sqrt b) (sqrt a))
0.2b	(/ (- (sqrt a) (sqrt b)) a)
0.3b	(* (+ (sqrt b) (sqrt a)) (/ (- (sqrt a) (sqrt b)) a))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

101×	`add-sqr-sqrt`
72×	`*-un-lft-identity`
55×	`times-frac`
52×	`sqrt-prod`
32×	`add-cube-cbrt` `difference-of-squares`
31×	`associate-r`
16×	`distribute-lft-out--`
11×	`add-exp-log` `add-cbrt-cube`
9×	`associate-/l*`
8×	`add-log-exp`
6×	`pow1`
5×	`associate-l`
4×	`distribute-lft-out`
3×	`flip3-+` `associate-/r*` `flip-+`
2×	`cbrt-undiv` `frac-times` `flip3--` `div-exp` `associate-*l/` `prod-exp` `flip--` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `sub-neg` `frac-2neg` `diff-log` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative`

Counts

4 → 141

Calls

4 calls:

7.0ms	(- (sqrt a) (sqrt b))
7.0ms	(+ (sqrt b) (sqrt a))
10.0ms	(/ (- (sqrt a) (sqrt b)) a)
23.0ms	(* (+ (sqrt b) (sqrt a)) (/ (- (sqrt a) (sqrt b)) a))

series59.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(- (sqrt a) (sqrt b))
7.0ms	(+ (sqrt b) (sqrt a))
12.0ms	(/ (- (sqrt a) (sqrt b)) a)
31.0ms	(* (+ (sqrt b) (sqrt a)) (/ (- (sqrt a) (sqrt b)) a))

simplify2.7min

Counts

153 → 153

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	13
1	17	13
2	37	13
3	93	13
4	173	13
5	289	13
6	447	13
7	723	5
8	1535	5
9	4562	5
done	5000	5
0	11	16
1	19	16
2	27	16
3	36	16
4	42	16
5	52	16
6	59	16
7	71	16
8	94	16
9	108	16
10	114	16
done	114	16
0	10	15
1	20	15
2	29	15
3	40	15
4	50	15
5	59	15
6	64	15
7	73	15
8	90	15
9	109	15
10	117	15
done	117	15
0	9	14
1	21	14
2	47	14
3	113	14
4	212	14
5	343	14
6	509	14
7	803	6
8	1633	6
9	4681	6
done	5000	6
0	9	14
1	20	14
2	50	14
3	128	14
4	263	14
5	557	14
6	1183	14
7	3802	6
done	5000	6
0	14	41
1	44	41
2	174	19
3	834	17
done	5001	17
0	12	41
1	43	41
2	143	17
3	583	17
4	3526	15
done	5000	15
0	10	29
1	19	29
2	39	29
3	95	29
4	175	29
5	296	29
6	454	29
7	726	13
8	1523	13
9	4472	13
done	5000	13
0	9	14
1	18	14
2	38	14
3	94	14
4	174	14
5	296	14
6	452	14
7	724	6
8	1539	6
9	4561	6
done	5000	6
0	10	41
1	29	41
2	122	15
3	657	15
4	3755	15
done	5000	15
0	9	14
1	18	14
2	38	14
3	94	14
4	174	14
5	296	14
6	452	14
7	724	6
8	1539	6
9	4561	6
done	5000	6
0	9	14
1	18	14
2	38	14
3	94	14
4	174	14
5	296	14
6	452	14
7	724	6
8	1539	6
9	4561	6
done	5000	6
0	10	15
1	27	15
2	51	15
3	121	15
4	339	15
5	951	15
6	3385	15
done	5001	15
0	10	19
1	19	11
2	42	11
3	75	11
4	125	11
5	161	11
6	189	11
7	228	11
8	306	11
9	409	11
10	583	11
11	719	11
12	937	11
13	977	11
done	977	11
0	9	17
1	17	9
2	39	9
3	124	9
4	379	9
5	926	9
6	2711	9
done	5000	9
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	10	15
1	17	15
2	20	15
3	22	15
done	22	15
0	10	15
1	17	15
2	20	15
3	22	15
done	22	15
0	10	16
1	16	16
2	20	16
3	24	16
4	25	16
done	25	16
0	10	16
1	16	16
2	20	16
3	24	16
4	25	16
done	25	16
0	10	23
1	19	23
2	32	23
3	46	23
4	48	23
done	48	23
0	9	14
1	16	14
2	27	14
3	29	14
done	29	14
0	12	25
1	24	25
2	62	25
3	155	25
4	287	25
5	390	25
6	432	25
7	446	25
8	451	25
9	454	25
10	456	25
done	456	25
0	10	22
1	18	22
2	37	22
3	82	22
4	125	22
5	145	22
6	155	21
7	626	21
8	4155	21
done	5000	21
0	11	21
1	21	19
2	47	19
3	111	19
4	179	19
5	238	19
6	263	19
done	263	19
0	11	18
1	19	18
2	39	18
3	76	18
4	108	18
5	134	18
6	150	18
7	155	18
8	156	18
9	158	18
10	159	18
done	159	18
0	9	15
1	15	15
2	27	15
3	43	15
4	50	15
5	54	15
6	62	14
7	237	14
8	1520	14
done	5000	14
0	10	14
1	18	12
2	34	12
3	45	12
4	57	12
5	71	12
6	99	12
7	100	12
done	100	12
0	10	13
1	18	13
2	36	11
3	90	11
4	169	11
5	191	11
done	191	11
0	8	10
1	14	10
2	25	8
3	52	8
4	77	7
5	111	7
6	172	7
7	178	7
done	178	7
0	8	9
1	14	7
2	27	5
3	39	5
done	39	5
0	12	19
1	19	19
2	46	19
3	99	19
4	167	19
5	228	19
6	298	19
7	373	19
8	520	19
9	553	19
10	587	19
11	591	19
12	602	19
done	602	19
0	10	16
1	15	16
2	34	16
3	66	16
4	101	16
5	135	16
6	169	15
7	422	15
8	1944	15
done	5001	15
0	11	15
1	18	13
2	41	13
3	76	13
4	128	13
5	164	13
6	216	13
7	234	13
8	286	13
done	286	13
0	12	19
1	19	19
2	46	19
3	99	19
4	167	19
5	228	19
6	298	19
7	373	19
8	520	19
9	553	19
10	587	19
11	591	19
12	602	19
done	602	19
0	10	16
1	15	16
2	34	16
3	66	16
4	101	16
5	135	16
6	169	15
7	422	15
8	1944	15
done	5001	15
0	11	15
1	18	13
2	41	13
3	76	13
4	128	13
5	164	13
6	216	13
7	234	13
8	286	13
done	286	13
0	12	19
1	19	19
2	46	19
3	99	19
4	167	19
5	228	19
6	298	19
7	373	19
8	520	19
9	553	19
10	587	19
11	591	19
12	602	19
done	602	19
0	10	16
1	15	16
2	34	16
3	66	16
4	101	16
5	135	16
6	169	15
7	422	15
8	1944	15
done	5001	15
0	11	15
1	18	13
2	41	13
3	76	13
4	128	13
5	164	13
6	216	13
7	234	13
8	286	13
done	286	13
0	12	19
1	19	19
2	46	19
3	99	19
4	167	19
5	228	19
6	298	19
7	373	19
8	520	19
9	553	19
10	587	19
11	591	19
12	602	19
done	602	19
0	10	16
1	15	16
2	34	16
3	66	16
4	101	16
5	135	16
6	169	15
7	422	15
8	1944	15
done	5001	15
0	11	15
1	18	13
2	41	13
3	76	13
4	128	13
5	164	13
6	216	13
7	234	13
8	286	13
done	286	13
0	11	14
1	19	13
2	38	13
3	75	11
4	158	11
5	193	11
6	197	11
done	197	11
0	9	11
1	15	10
2	26	10
3	42	8
4	78	8
5	114	7
6	176	7
7	184	7
done	184	7
0	9	10
1	15	7
2	28	5
3	40	5
done	40	5
0	10	13
1	18	13
2	36	11
3	90	11
4	169	11
5	191	11
done	191	11
0	8	10
1	14	10
2	25	8
3	52	8
4	77	7
5	111	7
6	172	7
7	178	7
done	178	7
0	8	9
1	14	7
2	27	5
3	39	5
done	39	5
0	7	7
1	11	5
2	22	5
3	30	5
done	30	5
0	7	11
1	11	11
2	26	11
3	54	11
4	95	11
5	148	11
6	213	11
7	321	5
8	526	3
9	1611	3
done	5000	3
0	9	14
1	18	14
2	30	14
3	47	14
4	70	14
5	89	14
6	96	14
7	97	14
done	97	14
0	9	14
1	18	14
2	30	14
3	47	14
4	70	14
5	89	14
6	96	14
7	97	14
done	97	14
0	8	13
1	17	13
2	37	13
3	93	13
4	173	13
5	289	13
6	447	13
7	723	5
8	1535	5
9	4562	5
done	5000	5
0	8	13
1	17	13
2	37	13
3	93	13
4	173	13
5	289	13
6	447	13
7	723	5
8	1535	5
9	4562	5
done	5000	5
0	8	13
1	17	13
2	37	13
3	93	13
4	173	13
5	289	13
6	447	13
7	723	5
8	1535	5
9	4562	5
done	5000	5
0	7	11
1	11	11
2	26	11
3	54	11
4	95	11
5	148	11
6	213	11
7	321	5
8	526	3
9	1611	3
done	5000	3
0	11	17
1	33	17
2	62	17
3	160	17
4	557	17
5	1913	17
done	5000	17
0	10	19
1	23	11
2	52	11
3	188	11
4	644	11
5	1725	11
done	5001	11
0	8	9
1	12	9
2	14	9
done	14	9
0	7	8
1	15	8
2	20	8
3	23	8
done	23	8
0	7	8
1	12	8
2	18	8
3	22	8
4	25	8
5	31	8
6	35	8
7	51	8
8	55	8
9	62	8
10	71	8
11	91	8
12	117	8
13	138	8
14	145	8
15	151	8
16	152	8
done	152	8
0	10	23
1	21	23
2	69	11
3	204	9
4	563	9
5	2035	9
done	5000	9
0	8	17
1	13	17
2	16	17
3	18	17
done	18	17
0	7	8
1	12	8
2	15	8
3	17	8
done	17	8
0	8	23
1	20	23
2	51	9
3	177	9
4	572	9
5	1721	9
done	5000	9
0	7	8
1	12	8
2	15	8
3	17	8
done	17	8
0	7	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	6
1	8	6
2	12	6
3	14	6
4	15	5
done	15	5
0	2	2
done	2	2
0	3	4
done	3	4
0	4	4
done	4	4
0	10	19
1	18	19
2	28	19
3	34	19
done	34	19
0	8	9
1	10	9
2	11	9
done	11	9
0	8	16
1	12	16
2	15	16
3	16	16
done	16	16
0	7	9
1	9	9
2	10	9
done	10	9
0	9	15
1	15	13
2	22	13
3	27	13
done	27	13
0	7	8
1	9	8
2	10	8
done	10	8
0	9	12
1	13	12
2	14	12
done	14	12
0	8	9
1	10	9
2	11	9
done	11	9
0	7	9
1	9	9
2	10	9
done	10	9
0	7	9
1	9	9
2	10	9
done	10	9
0	8	8
1	12	6
2	15	6
done	15	6
0	7	8
1	9	8
2	10	8
done	10	8
0	5	7
1	9	7
done	9	7
0	7	8
1	12	8
2	15	8
3	17	8
done	17	8
0	4	4
1	6	4
done	6	4
0	6	8
1	11	8
2	15	7
3	19	7
done	19	7
0	2	3
1	4	1
done	4	1
0	6	7
1	11	7
2	14	7
3	16	7
done	16	7
0	10	13
1	13	13
done	13	13
0	9	10
1	14	10
2	17	10
3	19	10
done	19	10
0	8	10
1	9	10
done	9	10
0	8	10
1	13	10
2	16	10
3	18	10
done	18	10
0	9	9
1	12	7
2	14	7
done	14	7
0	8	9
1	13	9
2	16	9
3	18	9
done	18	9
0	10	13
1	13	13
done	13	13
0	9	10
1	14	10
2	17	10
3	19	10
done	19	10
0	8	10
1	9	10
done	9	10
0	8	10
1	13	10
2	16	10
3	18	10
done	18	10
0	9	9
1	12	7
2	14	7
done	14	7
0	8	9
1	13	9
2	16	9
3	18	9
done	18	9
0	10	13
1	13	13
done	13	13
0	9	10
1	14	10
2	17	10
3	19	10
done	19	10
0	8	10
1	9	10
done	9	10
0	8	10
1	13	10
2	16	10
3	18	10
done	18	10
0	9	9
1	12	7
2	14	7
done	14	7
0	8	9
1	13	9
2	16	9
3	18	9
done	18	9
0	10	13
1	13	13
done	13	13
0	9	10
1	14	10
2	17	10
3	19	10
done	19	10
0	8	10
1	9	10
done	9	10
0	8	10
1	13	10
2	16	10
3	18	10
done	18	10
0	9	9
1	12	7
2	14	7
done	14	7
0	8	9
1	13	9
2	16	9
3	18	9
done	18	9
0	6	8
1	10	7
done	10	7
0	7	8
1	12	8
2	15	8
3	17	8
done	17	8
0	5	5
1	7	4
done	7	4
0	6	8
1	11	8
2	15	7
3	19	7
done	19	7
0	3	4
1	5	1
done	5	1
0	6	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	7
1	9	7
done	9	7
0	7	8
1	12	8
2	15	8
3	17	8
done	17	8
0	4	4
1	6	4
done	6	4
0	6	8
1	11	8
2	15	7
3	19	7
done	19	7
0	2	3
1	4	1
done	4	1
0	6	7
1	11	7
2	14	7
3	16	7
done	16	7
0	3	3
1	5	3
done	5	3
0	6	7
1	8	7
2	9	7
done	9	7
0	8	11
1	15	11
2	23	11
3	28	11
4	31	11
done	31	11
0	6	8
1	11	8
2	15	7
3	19	7
done	19	7
0	7	7
1	14	5
2	19	5
3	20	5
done	20	5
0	7	8
1	9	8
2	10	8
done	10	8
0	7	8
1	9	8
2	10	8
done	10	8
0	6	7
1	8	7
2	9	7
done	9	7
0	8	9
1	10	9
2	11	9
done	11	9
0	8	9
1	10	9
2	11	9
done	11	9
0	8	9
1	10	9
2	11	9
done	11	9
0	8	9
1	10	9
2	11	9
done	11	9
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	10	19
1	24	11
2	49	11
3	80	11
4	84	11
done	84	11
0	6	7
1	14	7
2	15	7
done	15	7
0	7	7
1	10	6
2	11	6
done	11	6
0	6	6
1	7	6
done	7	6
0	6	6
1	10	6
2	11	6
done	11	6
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	21	17
2	53	7
3	118	7
4	275	7
5	838	7
6	1977	7
7	2895	7
8	3378	7
9	4312	7
done	5001	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	8	9
1	22	9
2	31	9
3	48	9
4	87	9
5	204	9
6	609	9
7	2437	9
done	5000	9
0	9	17
1	17	9
2	32	9
3	42	9
4	48	9
5	58	9
6	65	9
7	75	9
8	93	9
9	114	9
10	133	9
11	145	9
12	157	9
13	176	9
14	190	9
done	190	9
0	7	11
1	12	3
2	17	3
3	32	3
4	59	3
5	98	3
6	151	3
7	288	3
8	1389	3
done	5000	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	7	7
1	9	6
2	11	6
3	14	6
4	17	6
5	23	6
6	27	6
7	43	6
8	47	6
9	52	6
10	59	6
11	77	6
12	98	6
13	115	6
14	118	6
done	118	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	11	6
2	14	6
3	17	6
4	23	6
5	27	6
6	43	6
7	49	6
8	54	6
9	61	6
10	80	6
11	101	6
12	113	6
13	116	6
done	116	6
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	10	17
2	25	7
3	68	7
4	177	7
5	504	7
6	1718	7
done	5001	7
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	8	9
1	23	9
2	45	9
3	75	9
4	163	9
5	504	9
6	2281	9
done	5000	9
0	9	17
1	16	9
2	24	9
done	24	9
0	3	3
done	3	3
0	7	11
1	12	3
2	17	3
3	32	3
4	59	3
5	98	3
6	151	3
7	288	3
8	1389	3
done	5000	3
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	8	7
done	8	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	8	7
done	8	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	8	7
done	8	7
0	7	7
1	9	7
2	10	7
done	10	7
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	3	3
done	3	3
0	18	23
1	50	23
2	178	23
3	787	23
done	5000	21
0	14	17
1	34	17
2	93	17
3	354	17
4	1826	17
done	5000	17
0	1	1
done	1	1
0	10	13
1	27	13
2	60	13
3	103	13
4	177	13
5	408	13
6	1449	13
done	5001	13
0	1	1
done	1	1
0	1	1
done	1	1
0	12	15
1	31	15
2	81	13
3	149	13
4	274	13
5	591	13
6	1678	13
done	5000	13
0	11	15
1	23	15
2	47	15
3	81	15
4	172	15
5	409	15
6	1295	13
done	5000	13
0	11	15
1	24	15
2	51	15
3	107	15
4	260	15
5	856	15
6	3117	13
done	5000	13
0	12	15
1	32	15
2	89	13
3	160	13
4	291	13
5	678	13
6	2715	13
done	5000	13
0	14	19
1	35	19
2	86	19
3	169	19
4	386	19
5	1118	19
6	4409	19
done	5000	19
0	14	19
1	35	19
2	86	19
3	169	19
4	386	19
5	1126	19
6	4403	19
done	5000	19

prune178.0ms

Filtered

103 candidates to 153 candidates (-48.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	153	0	153
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	153	3	156

Merged error: 0b

Counts

156 → 3

regimes81.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	9	11
done	9	11

end0.0ms

sample1.1s

Algorithm

intervals

Results

316.0ms	8000×	body	80	valid
163.0ms	7932×	pre	80	false
154.0ms	8000×	pre	80	true

Details

sample40.0ms

simplify4.5s

prune8.0ms

localize14.0ms

rewrite17.0ms

series28.0ms

simplify3.9min

prune114.0ms

localize9.0ms

rewrite46.0ms

series31.0ms

simplify4.3min

prune200.0ms

localize8.0ms

rewrite17.0ms

series29.0ms

simplify1.0min

prune114.0ms

localize18.0ms

rewrite54.0ms

series59.0ms

simplify2.7min

prune178.0ms

regimes81.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling