Details

sample27.0ms

Algorithm

intervals

Results

10.0ms

320×

body

valid

simplify286.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	13	9
2	20	9
3	29	9
4	38	9
5	45	9
6	56	9
7	77	9
8	114	9
9	162	9
10	194	9
11	204	9
12	230	9
13	239	9
14	240	9
done	240	9

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

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (- 1.0 x) y)
0.0b	(+ (* (- 1.0 x) y) (* x z))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
6×	`*-un-lft-identity`
5×	`associate-l`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube` `add-log-exp`
3×	`associate-r`
2×	`associate-*l/`
1×	`+-commutative` `flip3--` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `flip--` `cbrt-unprod` `flip-+` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

2 → 33

Calls

2 calls:

7.0ms	(* (- 1.0 x) y)
7.0ms	(+ (* (- 1.0 x) y) (* x z))

series15.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(* (- 1.0 x) y)
9.0ms	(+ (* (- 1.0 x) y) (* x z))

simplify29.6s

Counts

39 → 39

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	21	10
2	44	10
3	87	10
4	243	10
5	779	10
6	3570	10
done	5000	10
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	9	10
1	17	10
2	33	10
3	63	10
4	143	10
5	410	10
6	1585	10
done	5000	10
0	10	21
1	15	21
2	22	21
3	31	21
4	40	21
5	47	21
6	58	21
7	79	21
8	116	21
9	164	21
10	196	21
11	206	21
12	232	21
13	241	21
14	242	21
done	242	21
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	10	29
1	28	29
2	99	11
3	419	11
4	1951	11
done	5000	11
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	11	13
1	35	13
2	109	13
3	346	13
4	971	13
5	2823	13
done	5000	13
0	12	29
1	42	25
2	131	25
3	377	23
4	965	23
5	2497	23
done	5000	23
0	10	19
1	33	19
2	92	19
3	244	19
4	559	19
5	1613	19
done	5000	19
0	8	9
1	14	9
2	27	9
3	38	9
4	54	9
5	71	9
6	91	9
7	132	9
8	203	9
9	264	9
10	273	9
11	274	9
done	274	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	29	6
3	48	6
4	91	6
5	174	6
6	425	6
7	1317	6
done	5000	6
0	9	17
1	18	17
2	56	9
3	180	9
4	619	7
5	2374	7
done	5000	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	285	7
4	864	7
5	2739	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	7	9
1	12	9
2	21	9
3	38	9
4	50	9
5	58	9
done	58	9
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	308	9
5	980	9
6	4487	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	395	9
7	764	9
8	3363	9
done	5000	9
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5

prune62.0ms

Filtered

28 candidates to 39 candidates (-39.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	36	3	39
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	36	4	40

Merged error: 0.0b

Counts

40 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (- 1.0 x))
0.0b	(+ (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* x z))
0.1b	(* (sqrt (- 1.0 x)) y)
0.1b	(* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt`
16×	`-un-lft-identity` `sqrt-div` `associate-l*` `sqrt-prod`
12×	`pow1`
11×	`add-exp-log` `add-cbrt-cube`
10×	`add-cube-cbrt` `associate-*l/`
8×	`flip3--` `flip--`
6×	`add-log-exp`
4×	`frac-times` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
3×	`distribute-lft-out--` `difference-of-squares`
2×	`associate-r/` `-commutative` `unswap-sqr`
1×	`+-commutative` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `sum-log` `flip-+`

Counts

4 → 85

Calls

4 calls:

4.0ms	(sqrt (- 1.0 x))
14.0ms	(+ (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* x z))
8.0ms	(* (sqrt (- 1.0 x)) y)
14.0ms	(* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y))

series38.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(sqrt (- 1.0 x))
9.0ms	(+ (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* x z))
19.0ms	(* (sqrt (- 1.0 x)) y)
5.0ms	(* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y))

simplify1.8min

Counts

97 → 97

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	11
1	13	11
2	15	5
3	24	5
4	28	5
5	32	5
done	32	5
0	7	11
1	13	11
2	15	5
3	24	5
4	28	5
5	32	5
done	32	5
0	9	14
1	15	14
2	19	10
3	20	10
done	20	10
0	9	13
1	15	13
2	19	13
3	22	10
4	23	10
done	23	10
0	8	12
1	17	12
2	25	6
3	38	6
4	44	6
5	49	6
done	49	6
0	8	12
1	16	12
2	26	6
3	61	6
4	118	6
5	249	6
6	572	6
7	1716	6
done	5000	6
0	11	35
1	25	23
2	92	15
3	330	9
4	1136	9
5	4213	7
done	5001	7
0	11	35
1	29	23
2	103	15
3	337	15
4	1174	7
5	3824	7
done	5000	7
0	9	25
1	15	25
2	17	13
3	26	13
4	30	13
5	34	13
done	34	13
0	8	12
1	14	12
2	16	6
3	25	6
4	29	6
5	33	6
done	33	6
0	9	35
1	24	35
2	80	7
3	263	7
4	937	7
5	2475	7
done	5000	7
0	8	12
1	14	12
2	16	6
3	25	6
4	29	6
5	33	6
done	33	6
0	8	12
1	14	12
2	16	6
3	25	6
4	29	6
5	33	6
done	33	6
0	10	19
1	29	19
2	52	9
3	99	9
4	259	9
5	900	9
6	4230	9
done	5001	9
0	9	25
1	16	9
2	25	9
3	26	9
4	27	9
done	27	9
0	14	19
1	36	19
2	69	19
3	114	19
4	225	19
5	595	19
6	2420	19
done	5000	19
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	14	19
1	36	19
2	69	19
3	114	19
4	229	19
5	608	19
6	2428	19
done	5000	19
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	9	19
1	18	19
2	26	9
3	58	9
4	141	9
5	252	9
6	397	9
7	682	9
8	2295	9
done	5001	9
0	5	9
1	6	3
2	7	3
done	7	3
0	5	9
1	7	3
2	9	3
done	9	3
0	8	12
1	14	12
2	21	12
done	21	12
0	9	12
1	15	12
2	22	12
done	22	12
0	8	12
1	14	12
2	21	12
done	21	12
0	7	11
1	13	11
2	15	5
3	24	5
4	28	5
5	32	5
done	32	5
0	11	13
1	19	13
2	27	13
done	27	13
0	7	11
1	13	11
2	15	5
3	24	5
4	28	5
5	32	5
done	32	5
0	8	12
1	14	12
2	21	12
done	21	12
0	7	11
1	13	11
2	15	5
3	24	5
4	28	5
5	32	5
done	32	5
0	12	15
1	33	15
2	61	15
3	95	15
4	185	15
5	516	15
6	2308	15
done	5000	15
0	11	15
1	21	15
2	39	15
3	64	15
4	92	15
5	147	15
6	294	15
7	1448	15
done	5001	15
0	12	15
1	33	15
2	61	15
3	95	15
4	187	15
5	510	15
6	2296	15
done	5001	15
0	11	15
1	21	15
2	39	15
3	64	15
4	92	15
5	142	15
6	289	15
7	1454	15
done	5000	15
0	6	6
1	9	6
2	10	6
done	10	6
0	8	8
1	11	8
2	12	8
done	12	8
0	7	7
1	13	7
2	15	7
done	15	7
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	253	7
7	719	7
8	2481	7
done	5000	7
0	10	20
1	19	14
2	52	10
3	131	10
4	300	8
5	605	8
6	1380	8
7	4216	8
done	5000	8
0	8	15
1	11	15
2	12	15
done	12	15
0	7	7
1	10	7
2	11	7
done	11	7
0	8	20
1	21	20
2	51	8
3	119	8
4	253	8
5	393	8
6	704	8
7	1473	8
8	4466	8
done	5000	8
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	11	8
2	12	8
done	12	8
0	8	10
1	13	10
2	16	10
done	16	10
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	11	4
2	15	4
done	15	4
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	9	6
2	10	6
done	10	6
0	8	8
1	11	8
2	12	8
done	12	8
0	6	6
1	9	6
2	10	6
done	10	6
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	9	6
2	10	6
done	10	6
0	9	10
1	25	10
2	47	10
3	81	10
4	167	10
5	494	10
6	2248	10
done	5000	10
0	8	10
1	14	10
2	21	10
3	36	10
4	61	10
5	102	10
6	160	10
7	328	10
8	1586	10
done	5000	10
0	12	17
1	26	16
2	42	10
3	96	10
4	269	10
5	947	10
6	4281	10
done	5001	10
0	11	16
1	19	16
2	21	10
3	30	10
4	42	10
5	50	10
6	60	10
7	75	10
8	105	10
9	149	10
10	201	10
11	211	10
12	226	10
13	259	10
14	273	10
15	293	10
16	320	10
done	320	10
0	11	16
1	22	16
2	35	10
3	70	10
4	170	10
5	513	10
6	1946	10
done	5000	10
0	12	33
1	20	33
2	22	21
3	31	21
4	43	21
5	53	21
6	63	21
7	78	21
8	108	21
9	152	21
10	204	21
11	214	21
12	229	21
13	262	21
14	276	21
15	296	21
16	323	21
done	323	21
0	11	16
1	19	16
2	21	10
3	30	10
4	42	10
5	50	10
6	60	10
7	75	10
8	105	10
9	149	10
10	201	10
11	211	10
12	226	10
13	259	10
14	273	10
15	293	10
16	320	10
done	320	10
0	12	47
1	33	47
2	107	11
3	460	11
4	1862	11
done	5000	11
0	11	16
1	19	16
2	21	10
3	30	10
4	42	10
5	50	10
6	60	10
7	75	10
8	105	10
9	149	10
10	201	10
11	211	10
12	226	10
13	259	10
14	273	10
15	293	10
16	320	10
done	320	10
0	11	16
1	19	16
2	21	10
3	30	10
4	42	10
5	50	10
6	60	10
7	75	10
8	105	10
9	149	10
10	201	10
11	211	10
12	226	10
13	259	10
14	273	10
15	293	10
16	320	10
done	320	10
0	13	19
1	40	19
2	124	13
3	421	13
4	1332	13
5	4793	13
done	5000	13
0	14	47
1	46	43
2	141	25
3	418	23
4	1221	23
5	2912	23
done	5001	23
0	12	31
1	37	31
2	94	19
3	232	19
4	540	19
5	1406	18
6	4309	18
done	5000	18
0	10	15
1	19	15
2	27	9
3	36	9
4	52	9
5	72	9
6	92	9
7	119	9
8	176	9
9	259	9
10	302	9
11	323	9
12	345	9
13	346	9
done	346	9
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	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	8
2	19	6
3	29	6
4	39	6
5	49	6
6	70	6
7	128	6
8	341	6
9	1259	6
done	5000	6
0	6	10
1	9	5
2	10	5
done	10	5
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	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
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	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	19	26
1	49	26
2	142	26
3	471	26
4	2056	24
done	5000	24
0	25	43
1	70	43
2	239	43
3	759	37
4	2914	35
done	5000	35
0	25	43
1	70	43
2	239	43
3	756	41
4	2875	35
done	5000	35
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	15	20
1	38	20
2	103	20
3	277	20
4	819	15
5	2866	15
done	5001	15
0	21	33
1	57	33
2	182	33
3	495	29
4	1451	29
5	4983	27
done	5000	27
0	21	33
1	57	33
2	182	33
3	495	33
4	1428	30
5	4608	27
done	5000	27

prune169.0ms

Filtered

76 candidates to 97 candidates (-27.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	97	4	101

Merged error: 0.0b

Counts

101 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- 1.0 x) y)
0.0b	(+ (* (- 1.0 x) y) (* x z))
0.2b	(pow (+ (* (- 1.0 x) y) (* x z)) 3)
38.2b	(cbrt (pow (+ (* (- 1.0 x) y) (* x z)) 3))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
14×	`*-un-lft-identity`
12×	`cbrt-prod` `add-cube-cbrt`
7×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`unpow-prod-down` `cube-prod` `add-log-exp`
5×	`associate-l`
4×	`cube-div`
3×	`pow-unpow` `flip3-+` `associate-r` `flip-+`
2×	`cube-mult` `cbrt-div` `unpow3` `associate-*l/` `sqr-pow`
1×	`+-commutative` `pow-to-exp` `flip3--` `pow-pow` `pow1/3` `pow-prod-down` `pow-exp` `prod-exp` `sum-log` `*-commutative` `flip--` `rem-cbrt-cube` `cbrt-unprod` `distribute-lft-out--` `rem-cube-cbrt` `difference-of-squares` `unswap-sqr`

Counts

4 → 81

Calls

4 calls:

11.0ms	(* (- 1.0 x) y)
8.0ms	(+ (* (- 1.0 x) y) (* x z))
9.0ms	(pow (+ (* (- 1.0 x) y) (* x z)) 3)
9.0ms	(cbrt (pow (+ (* (- 1.0 x) y) (* x z)) 3))

series54.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* (- 1.0 x) y)
9.0ms	(+ (* (- 1.0 x) y) (* x z))
31.0ms	(pow (+ (* (- 1.0 x) y) (* x z)) 3)
9.0ms	(cbrt (pow (+ (* (- 1.0 x) y) (* x z)) 3))

simplify3.2min

Counts

93 → 93

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	13
1	25	10
2	54	10
3	149	10
4	655	10
5	3557	10
done	5000	10
0	12	13
1	25	10
2	58	10
3	164	10
4	705	10
5	3713	10
done	5000	10
0	13	24
1	28	21
2	56	13
3	112	13
4	356	13
5	1280	12
6	4271	12
done	5000	12
0	12	13
1	25	10
2	38	10
3	57	10
4	87	10
5	150	10
6	369	10
7	1309	10
done	5000	10
0	12	13
1	25	10
2	38	10
3	66	10
4	128	10
5	233	10
6	471	10
7	1431	10
done	5000	10
0	12	13
1	25	10
2	38	10
3	66	10
4	128	10
5	233	10
6	471	10
7	1431	10
done	5000	10
0	4	4
1	14	1
2	18	1
done	18	1
0	11	12
1	24	9
2	53	9
3	148	9
4	646	9
5	3544	9
done	5001	9
0	10	20
1	21	20
2	57	20
3	176	20
4	556	20
5	1806	20
done	5000	20
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	13	26
1	25	20
2	54	20
3	149	20
4	655	20
5	3569	20
done	5000	20
0	12	13
1	25	10
2	54	10
3	149	10
4	655	10
5	3557	10
done	5000	10
0	13	24
1	28	21
2	56	13
3	112	13
4	356	13
5	1280	12
6	4271	12
done	5000	12
0	12	13
1	25	10
2	38	10
3	57	10
4	87	10
5	150	10
6	369	10
7	1309	10
done	5000	10
0	12	13
1	25	10
2	38	10
3	66	10
4	128	10
5	233	10
6	471	10
7	1431	10
done	5000	10
0	12	13
1	25	10
2	38	10
3	66	10
4	128	10
5	233	10
6	471	10
7	1431	10
done	5000	10
0	4	4
1	14	1
2	18	1
done	18	1
0	11	12
1	24	9
2	53	9
3	148	9
4	646	9
5	3544	9
done	5001	9
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	10	20
1	21	20
2	57	20
3	176	20
4	556	20
5	1806	20
done	5000	20
0	12	13
1	25	13
2	55	13
3	150	13
4	660	13
5	3566	13
done	5001	13
0	12	13
1	25	13
2	55	13
3	150	13
4	660	13
5	3566	13
done	5001	13
0	2	2
1	4	1
done	4	1
0	11	12
1	24	9
2	53	9
3	148	9
4	646	9
5	3544	9
done	5001	9
0	13	14
1	23	12
2	36	12
3	55	12
4	85	12
5	152	12
6	374	12
7	1309	12
done	5000	12
0	13	14
1	23	12
2	36	12
3	55	12
4	85	12
5	152	12
6	374	12
7	1309	12
done	5000	12
0	13	16
1	42	13
2	135	13
3	553	13
4	3609	13
done	5000	13
0	15	32
1	53	25
2	164	25
3	602	23
4	3514	23
done	5000	23
0	13	22
1	44	19
2	135	19
3	571	19
4	4232	19
done	5000	19
0	11	12
1	25	9
2	56	9
3	175	9
4	855	9
5	4953	9
done	5000	9
0	13	27
1	26	21
2	55	21
3	150	21
4	648	21
5	3537	21
done	5001	21
0	12	13
1	25	10
2	54	10
3	149	10
4	655	10
5	3557	10
done	5000	10
0	13	38
1	24	11
2	53	11
3	148	11
4	648	11
5	3542	11
done	5000	11
0	12	13
1	25	10
2	54	10
3	149	10
4	655	10
5	3557	10
done	5000	10
0	12	13
1	25	10
2	54	10
3	149	10
4	655	10
5	3557	10
done	5000	10
0	11	12
1	17	12
2	24	12
3	33	12
4	42	12
5	49	12
6	60	12
7	81	12
8	118	12
9	166	12
10	198	12
11	208	12
12	234	12
13	243	12
14	244	12
done	244	12
0	11	12
1	17	12
2	24	12
3	33	12
4	42	12
5	49	12
6	60	12
7	81	12
8	118	12
9	166	12
10	198	12
11	208	12
12	234	12
13	243	12
14	244	12
done	244	12
0	3	3
1	6	1
done	6	1
0	12	15
1	21	15
2	35	15
3	68	15
4	133	15
5	297	15
6	927	15
7	3374	15
done	5000	15
0	11	12
1	20	12
2	32	12
3	59	12
4	107	12
5	219	12
6	602	12
7	2258	12
done	5000	12
0	10	11
1	22	9
2	36	9
3	56	9
4	89	9
5	162	9
6	390	9
7	1344	9
done	5000	9
0	12	23
1	27	23
2	55	12
3	109	12
4	351	12
5	1290	12
6	4260	12
done	5000	12
0	11	12
1	24	9
2	37	9
3	56	9
4	86	9
5	151	9
6	370	9
7	1297	9
done	5000	9
0	11	12
1	24	12
2	37	12
3	65	12
4	127	12
5	228	12
6	466	12
7	1445	12
done	5000	12
0	11	12
1	24	12
2	37	12
3	65	12
4	127	12
5	228	12
6	466	12
7	1445	12
done	5000	12
0	3	3
1	13	1
done	13	1
0	10	11
1	23	11
2	52	11
3	147	11
4	653	11
5	3545	11
done	5001	11
0	9	19
1	20	19
2	56	19
3	173	19
4	560	19
5	1822	19
done	5000	19
0	11	12
1	26	12
2	61	12
3	161	12
4	680	12
5	3619	12
done	5000	12
0	11	12
1	24	12
2	59	12
3	178	12
4	781	12
5	4205	12
done	5001	12
0	12	25
1	24	19
2	53	19
3	148	19
4	648	19
5	3541	19
done	5000	19
0	11	12
1	24	9
2	53	9
3	148	9
4	646	9
5	3544	9
done	5001	9
0	12	35
1	29	23
2	91	13
3	390	13
4	2502	13
done	5000	13
0	12	23
1	27	23
2	55	12
3	109	12
4	351	12
5	1290	12
6	4260	12
done	5000	12
0	11	12
1	24	9
2	37	9
3	56	9
4	86	9
5	151	9
6	370	9
7	1297	9
done	5000	9
0	11	12
1	24	12
2	37	12
3	65	12
4	127	12
5	228	12
6	466	12
7	1445	12
done	5000	12
0	11	12
1	24	12
2	37	12
3	65	12
4	127	12
5	228	12
6	466	12
7	1445	12
done	5000	12
0	3	3
1	13	1
done	13	1
0	10	11
1	23	11
2	52	11
3	147	11
4	653	11
5	3545	11
done	5001	11
0	12	15
1	41	15
2	134	15
3	549	15
4	3571	15
done	5001	15
0	14	31
1	52	27
2	163	27
3	602	25
4	3547	25
done	5001	25
0	12	21
1	43	21
2	134	21
3	571	21
4	4235	21
done	5000	21
0	10	11
1	24	11
2	55	11
3	174	11
4	844	11
5	4936	11
done	5000	11
0	9	19
1	20	19
2	56	19
3	173	19
4	560	19
5	1822	19
done	5000	19
0	11	12
1	24	12
2	54	12
3	149	12
4	649	12
5	3560	12
done	5000	12
0	11	12
1	24	12
2	54	12
3	149	12
4	649	12
5	3560	12
done	5000	12
0	12	13
1	22	11
2	35	11
3	54	11
4	84	11
5	147	11
6	366	11
7	1293	11
done	5001	11
0	12	13
1	22	11
2	35	11
3	54	11
4	84	11
5	147	11
6	366	11
7	1293	11
done	5001	11
0	10	11
1	21	10
2	44	10
3	87	10
4	243	10
5	779	10
6	3570	10
done	5000	10
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	9	10
1	17	10
2	33	10
3	63	10
4	143	10
5	410	10
6	1585	10
done	5000	10
0	10	21
1	15	21
2	22	21
3	31	21
4	40	21
5	47	21
6	58	21
7	79	21
8	116	21
9	164	21
10	196	21
11	206	21
12	232	21
13	241	21
14	242	21
done	242	21
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	10	29
1	28	29
2	99	11
3	419	11
4	1951	11
done	5000	11
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	11	13
1	35	13
2	109	13
3	346	13
4	971	13
5	2823	13
done	5000	13
0	12	29
1	42	25
2	131	25
3	377	23
4	965	23
5	2497	23
done	5000	23
0	10	19
1	33	19
2	92	19
3	244	19
4	559	19
5	1613	19
done	5000	19
0	8	9
1	14	9
2	27	9
3	38	9
4	54	9
5	71	9
6	91	9
7	132	9
8	203	9
9	264	9
10	273	9
11	274	9
done	274	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	29	6
3	48	6
4	91	6
5	174	6
6	425	6
7	1317	6
done	5000	6
0	9	17
1	18	17
2	56	9
3	180	9
4	619	7
5	2374	7
done	5000	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	285	7
4	864	7
5	2739	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	7	9
1	12	9
2	21	9
3	38	9
4	50	9
5	58	9
done	58	9
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	308	9
5	980	9
6	4487	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	395	9
7	764	9
8	3363	9
done	5000	9
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	17	23
1	44	23
2	147	19
3	394	17
4	1016	15
5	2443	15
done	5000	15
0	18	31
1	56	31
2	229	31
3	875	25
4	3722	17
done	5000	17
0	18	31
1	56	31
2	229	31
3	875	25
4	3722	17
done	5000	17
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5

prune135.0ms

Filtered

64 candidates to 93 candidates (-45.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	93	4	97

Merged error: 0.0b

Counts

97 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b	(pow (* x z) 3)
1.4b	(- (* (* x z) (* x z)) (* (* (- 1.0 x) y) (- (* x z) (* (- 1.0 x) y))))
2.5b	(+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3))
39.1b	(/ (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3)) (- (* (* x z) (* x z)) (* (* (- 1.0 x) y) (- (* x z) (* (- 1.0 x) y)))))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

25×	`*-un-lft-identity`
15×	`add-sqr-sqrt` `add-cube-cbrt` `times-frac`
9×	`add-exp-log` `add-cbrt-cube`
8×	`add-log-exp`
7×	`pow1`
5×	`sum-cubes` `distribute-lft-out` `associate-/l*`
4×	`associate--r+`
3×	`sub-neg` `pow-unpow` `associate-/r*`
2×	`distribute-rgt-in` `flip3--` `pow-pow` `distribute-lft-in` `flip3-+` `pow-exp` `associate-/r/` `flip--` `flip-+` `associate-/l/` `rem-cube-cbrt`
1×	`cbrt-undiv` `+-commutative` `cube-mult` `pow-to-exp` `unpow-prod-down` `frac-2neg` `diff-log` `unpow3` `cube-prod` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `sum-log` `cbrt-unprod` `div-inv` `sqr-pow`

Counts

4 → 90

Calls

4 calls:

4.0ms	(pow (* x z) 3)
8.0ms	(- (* (* x z) (* x z)) (* (* (- 1.0 x) y) (- (* x z) (* (- 1.0 x) y))))
10.0ms	(+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3))
20.0ms	(/ (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3)) (- (* (* x z) (* x z)) (* (* (- 1.0 x) y) (- (* x z) (* (- 1.0 x) y)))))

series225.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(pow (* x z) 3)
38.0ms	(- (* (* x z) (* x z)) (* (* (- 1.0 x) y) (- (* x z) (* (- 1.0 x) y))))
59.0ms	(+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3))
121.0ms	(/ (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3)) (- (* (* x z) (* x z)) (* (* (- 1.0 x) y) (- (* x z) (* (- 1.0 x) y)))))

simplify4.7min

Counts

102 → 102

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	18	39
1	57	39
2	174	39
3	551	39
4	1788	39
done	5001	39
0	17	38
1	57	38
2	175	38
3	565	38
4	1798	38
done	5000	38
0	17	38
1	54	38
2	170	38
3	557	38
4	1798	38
done	5000	38
0	20	113
1	78	113
2	335	41
3	2060	39
done	5000	39
0	18	77
1	55	77
2	171	77
3	555	77
4	1791	77
done	5000	77
0	17	38
1	54	38
2	170	38
3	557	38
4	1798	38
done	5000	38
0	18	113
1	62	113
2	209	39
3	841	39
4	4242	39
done	5000	39
0	17	38
1	54	38
2	170	38
3	557	38
4	1798	38
done	5000	38
0	17	38
1	54	38
2	170	38
3	557	38
4	1798	38
done	5000	38
0	12	14
1	39	14
2	141	14
3	585	14
4	2051	14
done	5001	14
0	12	24
1	30	24
2	85	24
3	290	24
4	1164	23
5	3500	23
done	5001	23
0	20	79
1	63	79
2	188	79
3	583	79
4	1800	79
done	5002	79
0	18	39
1	55	39
2	171	39
3	555	39
4	1789	39
done	5000	39
0	19	54
1	58	54
2	176	54
3	557	54
4	1794	54
done	5000	54
0	18	39
1	55	39
2	171	39
3	555	39
4	1789	39
done	5000	39
0	15	31
1	43	29
2	123	29
3	359	29
4	955	29
5	2799	29
done	5000	29
0	17	38
1	54	38
2	170	38
3	553	38
4	1790	38
done	5000	38
0	19	64
1	58	64
2	174	64
3	555	64
4	1802	64
done	5000	64
0	18	39
1	55	39
2	171	39
3	555	39
4	1789	39
done	5000	39
0	18	39
1	55	39
2	171	39
3	555	39
4	1789	39
done	5000	39
0	18	39
1	55	39
2	171	39
3	555	39
4	1789	39
done	5000	39
0	14	16
1	40	14
2	116	14
3	352	14
4	980	14
5	2840	14
done	5001	14
0	17	38
1	54	38
2	170	38
3	553	38
4	1790	38
done	5000	38
0	18	79
1	56	75
2	180	75
3	610	73
4	2062	73
done	5000	73
0	14	34
1	33	34
2	85	34
3	261	34
4	960	34
5	2795	34
done	5000	34
0	17	54
1	53	50
2	174	50
3	557	48
4	1711	48
done	5000	48
0	14	34
1	33	34
2	85	34
3	261	34
4	960	34
5	2795	34
done	5000	34
0	14	31
1	46	25
2	140	25
3	410	23
4	1146	23
5	3470	23
done	5000	23
0	13	33
1	32	33
2	84	33
3	257	33
4	951	33
5	2819	33
done	5001	33
0	15	51
1	37	51
2	89	51
3	258	51
4	943	51
5	2767	51
done	5000	51
0	17	38
1	54	38
2	170	38
3	557	38
4	1798	38
done	5000	38
0	14	26
1	34	26
2	86	26
3	256	26
4	948	26
5	2777	26
done	5000	26
0	17	38
1	54	38
2	170	38
3	557	38
4	1798	38
done	5000	38
0	2	3
1	4	1
done	4	1
0	16	37
1	53	37
2	169	37
3	556	37
4	1791	37
done	5000	37
0	15	51
1	37	51
2	89	51
3	258	51
4	943	51
5	2767	51
done	5000	51
0	17	38
1	54	38
2	170	38
3	557	38
4	1798	38
done	5000	38
0	14	26
1	34	26
2	86	26
3	256	26
4	948	26
5	2777	26
done	5000	26
0	17	38
1	54	38
2	170	38
3	557	38
4	1798	38
done	5000	38
0	2	3
1	4	1
done	4	1
0	16	37
1	53	37
2	169	37
3	556	37
4	1791	37
done	5000	37
0	13	25
1	33	25
2	85	25
3	255	25
4	944	25
5	2759	25
done	5000	25
0	16	37
1	56	37
2	188	37
3	617	37
4	2043	37
done	5000	37
0	18	63
1	57	63
2	173	63
3	556	63
4	1786	63
done	5001	63
0	17	38
1	54	38
2	170	38
3	557	38
4	1798	38
done	5000	38
0	13	15
1	39	13
2	115	13
3	351	13
4	975	13
5	2798	13
done	5000	13
0	17	38
1	57	38
2	189	38
3	614	38
4	2045	38
done	5000	38
0	17	38
1	57	38
2	189	38
3	614	38
4	2045	38
done	5000	38
0	13	33
1	35	33
2	103	33
3	337	33
4	1231	33
5	4039	33
done	5000	33
0	16	37
1	56	37
2	188	37
3	617	37
4	2043	37
done	5000	37
0	16	37
1	56	37
2	188	37
3	617	37
4	2043	37
done	5000	37
0	18	41
1	68	41
2	305	37
3	1761	37
done	5000	37
0	18	61
1	66	55
2	269	51
3	1208	51
done	5001	51
0	20	65
1	75	51
2	335	51
3	2823	51
done	5000	51
0	16	37
1	55	37
2	200	37
3	851	37
4	4556	37
done	5000	37
0	13	15
1	39	14
2	130	14
3	442	14
4	1457	14
done	5001	14
0	12	14
1	36	14
2	110	14
3	339	14
4	958	14
5	2809	14
done	5001	14
0	12	14
1	39	14
2	130	14
3	457	14
4	1476	14
done	5001	14
0	13	29
1	37	29
2	111	29
3	341	29
4	960	29
5	2792	29
done	5001	29
0	12	14
1	36	14
2	110	14
3	339	14
4	958	14
5	2809	14
done	5001	14
0	13	41
1	50	41
2	223	15
3	1513	15
done	5000	15
0	12	14
1	36	14
2	110	14
3	339	14
4	958	14
5	2809	14
done	5001	14
0	12	14
1	36	14
2	110	14
3	339	14
4	958	14
5	2809	14
done	5001	14
0	12	29
1	42	25
2	131	25
3	377	23
4	965	23
5	2497	23
done	5000	23
0	8	9
1	13	9
2	20	9
3	29	9
4	38	9
5	45	9
6	56	9
7	77	9
8	114	9
9	162	9
10	194	9
11	204	9
12	230	9
13	239	9
14	240	9
done	240	9
0	13	17
1	47	17
2	227	17
3	1638	17
done	5001	17
0	15	41
1	50	27
2	235	27
3	1849	27
done	5000	27
0	13	27
1	45	13
2	178	13
3	1112	13
done	5001	13
0	11	13
1	36	13
2	127	13
3	477	13
4	1386	13
5	3973	13
done	5000	13
0	11	13
1	35	13
2	109	13
3	346	13
4	971	13
5	2823	13
done	5000	13
0	13	25
1	35	24
2	103	24
3	315	24
4	1202	24
5	4612	24
done	5000	24
0	12	24
1	30	24
2	82	24
3	254	24
4	944	24
5	2771	24
done	5000	24
0	12	24
1	33	24
2	101	24
3	338	24
4	1325	24
done	5000	24
0	13	49
1	31	49
2	83	49
3	253	49
4	946	49
5	2788	49
done	5001	49
0	12	24
1	30	24
2	82	24
3	254	24
4	944	24
5	2771	24
done	5000	24
0	13	71
1	32	71
2	98	25
3	419	25
4	2578	25
done	5000	25
0	12	24
1	30	24
2	82	24
3	254	24
4	944	24
5	2771	24
done	5000	24
0	12	24
1	30	24
2	82	24
3	254	24
4	944	24
5	2771	24
done	5000	24
0	14	27
1	50	27
2	225	23
3	1260	23
done	5001	23
0	15	71
1	53	55
2	262	49
3	1377	45
done	5001	45
0	10	16
1	22	16
2	71	16
3	287	16
4	1262	15
5	3206	15
done	5001	15
0	13	47
1	45	47
2	201	41
3	968	37
done	5000	37
0	11	23
1	28	23
2	71	23
3	190	23
4	577	23
5	1374	23
6	4130	23
done	5000	23
0	10	17
1	30	13
2	90	13
3	243	13
4	557	13
5	940	13
6	1895	13
7	2678	13
8	2888	13
9	2896	13
done	2896	13
0	10	17
1	30	13
2	90	13
3	243	13
4	557	13
5	940	13
6	1895	13
7	2678	13
8	2888	13
9	2896	13
done	2896	13
0	10	17
1	30	13
2	95	13
3	280	13
4	631	13
5	1139	13
6	1968	13
7	2747	13
8	2832	13
done	2832	13
0	10	17
1	30	13
2	95	13
3	280	13
4	631	13
5	1139	13
6	1968	13
7	2747	13
8	2832	13
done	2832	13
0	10	16
1	22	16
2	71	16
3	287	16
4	1262	15
5	3206	15
done	5001	15
0	7	7
1	9	7
2	17	7
done	17	7
0	6	6
1	11	6
2	18	6
3	19	6
done	19	6
0	6	6
1	11	6
2	18	6
3	19	6
done	19	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	7	9
1	12	9
2	19	9
3	43	9
4	99	9
5	258	9
6	875	9
7	3292	9
done	5000	9
0	6	6
1	11	6
2	16	6
3	34	6
4	75	6
5	181	6
6	560	6
7	2175	6
done	5000	6
0	5	5
1	13	3
2	20	3
3	31	3
4	53	3
5	117	3
6	322	3
7	1262	3
done	5000	3
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	4	7
1	12	7
2	23	7
done	23	7
0	6	6
1	20	6
2	68	6
3	183	6
4	421	6
5	1029	6
6	3802	6
done	5000	6
0	6	6
1	18	6
2	61	6
3	176	6
4	433	6
5	1308	6
6	4878	6
done	5000	6
0	7	13
1	18	7
2	53	7
3	130	7
4	230	7
5	613	7
6	2363	7
done	5000	7
0	6	6
1	18	3
2	53	3
3	131	3
4	236	3
5	609	3
6	2439	3
done	5000	3
0	7	17
1	23	11
2	102	7
3	695	7
done	5000	7
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	4	7
1	12	7
2	23	7
done	23	7
0	6	6
1	18	6
2	54	6
3	132	6
4	237	6
5	618	6
6	2372	6
done	5000	6
0	6	6
1	18	6
2	54	6
3	132	6
4	237	6
5	618	6
6	2372	6
done	5000	6
0	7	7
1	13	5
2	19	5
3	29	5
4	50	5
5	112	5
6	333	5
7	1269	5
done	5000	5
0	7	7
1	13	5
2	19	5
3	29	5
4	50	5
5	112	5
6	333	5
7	1269	5
done	5000	5
0	11	15
1	26	13
2	60	11
3	113	11
4	162	9
5	219	9
6	340	9
7	533	9
8	715	9
9	1176	9
10	1918	9
11	2248	9
12	2409	9
done	2409	9
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	15	23
1	41	23
2	151	19
3	453	15
4	1338	13
5	3868	13
done	5001	13
0	16	25
1	48	25
2	185	21
3	609	19
4	2248	17
done	5001	17
0	16	25
1	48	25
2	185	21
3	609	19
4	2248	17
done	5001	17
0	15	21
1	37	21
2	99	17
3	212	17
4	492	15
5	764	15
6	1308	15
7	1685	15
8	1952	15
9	2880	15
done	5000	15
0	13	23
1	36	19
2	144	15
3	218	15
4	286	13
5	334	13
6	392	13
7	572	13
8	1194	13
9	3961	13
done	5000	13
0	13	23
1	36	19
2	144	15
3	218	15
4	286	13
5	334	13
6	392	13
7	572	13
8	1194	13
9	3961	13
done	5000	13
0	6	7
1	20	7
2	57	7
3	170	7
4	534	7
5	2108	5
done	5000	5
0	6	7
1	20	7
2	57	7
3	170	7
4	534	7
5	2108	5
done	5000	5
0	6	7
1	20	7
2	57	7
3	170	7
4	534	7
5	2108	5
done	5000	5

prune232.0ms

Filtered

77 candidates to 102 candidates (-32.5%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	102	0	102
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	102	4	106

Merged error: 0.0b

Counts

106 → 4

regimes198.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	9
1	11	9
done	11	9

end0.0ms

sample735.0ms

Algorithm

intervals

Results

315.0ms

10170×

body

valid

Details

sample27.0ms

simplify286.0ms

prune3.0ms

localize7.0ms

rewrite16.0ms

series15.0ms

simplify29.6s

prune62.0ms

localize9.0ms

rewrite43.0ms

series38.0ms

simplify1.8min

prune169.0ms

localize10.0ms

rewrite39.0ms

series54.0ms

simplify3.2min

prune135.0ms

localize16.0ms

rewrite45.0ms

series225.0ms

simplify4.7min

prune232.0ms

regimes198.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample735.0ms

Profiling