Details

sample24.0ms

Algorithm

intervals

Results

8.0ms

326×

body

valid

simplify1.1s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	11	7
2	26	7
3	55	7
4	103	7
5	153	7
6	191	7
7	277	7
8	466	7
9	714	7
10	781	7
11	785	7
done	785	7

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.0b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt` `*-un-lft-identity`
5×	`associate-r`
4×	`frac-times` `associate-l`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `flip3--` `flip3-+` `add-cbrt-cube` `flip--` `flip-+`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `distribute-lft-out` `distribute-lft-out--` `add-log-exp` `difference-of-squares` `unswap-sqr`

Counts

1 → 33

Calls

1 calls:

10.0ms

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

series9.0ms

Counts

1 → 3

Calls

1 calls:

9.0ms

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

simplify48.9s

Counts

36 → 36

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	11	7
2	26	7
3	55	7
4	103	7
5	153	7
6	191	7
7	277	7
8	466	7
9	714	7
10	781	7
11	785	7
done	785	7
0	9	9
1	13	9
2	14	9
done	14	9
0	8	8
1	15	8
2	31	8
3	60	8
4	108	8
5	158	8
6	196	8
7	282	8
8	471	8
9	719	8
10	791	8
11	796	8
done	796	8
0	8	8
1	14	8
2	39	8
3	92	8
4	193	8
5	419	8
6	968	8
7	3838	8
done	5000	8
0	11	23
1	33	23
2	113	11
3	427	11
4	2293	9
done	5000	9
0	9	17
1	13	17
2	28	17
3	57	17
4	105	17
5	155	17
6	193	17
7	279	17
8	467	17
9	714	17
10	783	17
11	787	17
done	787	17
0	8	8
1	12	8
2	27	8
3	56	8
4	104	8
5	154	8
6	192	8
7	278	8
8	466	8
9	712	8
10	781	8
11	785	8
done	785	8
0	9	23
1	23	23
2	109	9
3	547	9
4	2339	9
done	5001	9
0	8	8
1	12	8
2	27	8
3	56	8
4	104	8
5	154	8
6	192	8
7	278	8
8	466	8
9	712	8
10	781	8
11	785	8
done	785	8
0	8	8
1	12	8
2	27	8
3	56	8
4	104	8
5	154	8
6	192	8
7	278	8
8	466	8
9	712	8
10	781	8
11	785	8
done	785	8
0	12	15
1	39	15
2	81	15
3	230	15
4	894	15
done	5001	15
0	15	23
1	37	19
2	105	19
3	396	19
4	1435	19
done	5000	19
0	12	15
1	32	15
2	66	15
3	197	15
4	822	15
5	3235	15
done	5000	15
0	11	15
1	27	13
2	67	13
3	184	13
4	459	13
5	1122	13
6	2002	13
7	3718	13
done	5001	13
0	12	15
1	33	15
2	78	15
3	259	15
4	1285	15
done	5000	15
0	11	15
1	27	13
2	75	13
3	214	13
4	503	13
5	1212	13
6	2467	13
done	5000	13
0	11	15
1	22	15
2	56	15
3	226	15
4	1041	15
5	3745	15
done	5000	15
0	7	7
1	17	7
2	37	7
3	64	7
4	110	7
5	157	7
6	227	7
7	408	7
8	644	7
9	711	7
10	715	7
done	715	7
0	9	9
1	13	9
2	14	9
done	14	9
0	9	9
1	13	9
2	14	9
done	14	9
0	5	5
1	7	5
2	15	5
done	15	5
0	6	6
1	10	6
2	21	6
3	38	6
4	50	6
done	50	6
0	5	5
1	7	5
2	15	5
done	15	5
0	6	6
1	10	6
2	21	6
3	38	6
4	50	6
done	50	6
0	5	5
1	13	5
2	14	5
done	14	5
0	6	6
1	16	6
2	32	6
3	43	6
4	45	6
done	45	6
0	5	5
1	13	5
2	14	5
done	14	5
0	6	6
1	16	6
2	32	6
3	43	6
4	45	6
done	45	6
0	9	13
1	15	13
2	26	13
3	38	13
done	38	13
0	8	8
1	12	8
2	21	8
done	21	8
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	9	9
1	18	9
2	43	9
3	63	9
4	93	9
5	99	9
done	99	9
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	8	8
1	12	8
2	19	8
3	24	8
4	28	8
done	28	8
0	8	8
1	12	8
2	19	8
3	24	8
4	28	8
done	28	8
0	7	7
1	11	7
2	26	7
3	55	7
4	103	7
5	153	7
6	191	7
7	277	7
8	466	7
9	714	7
10	781	7
11	785	7
done	785	7
0	7	7
1	11	7
2	26	7
3	55	7
4	103	7
5	153	7
6	191	7
7	277	7
8	466	7
9	714	7
10	781	7
11	785	7
done	785	7
0	10	11
1	27	11
2	63	11
3	174	11
4	586	11
5	2020	11
done	5000	11
0	9	11
1	16	11
2	41	11
3	131	11
4	376	11
5	844	11
6	2318	11
done	5000	11
0	10	11
1	27	11
2	51	11
3	121	11
4	355	11
5	983	11
6	3396	11
done	5000	11
0	9	11
1	17	11
2	41	11
3	136	11
4	427	11
5	1044	11
6	2909	11
done	5000	11
0	9	11
1	19	9
2	34	9
3	44	9
4	55	9
5	74	9
6	106	9
7	153	9
8	190	9
9	216	9
10	255	9
11	276	9
done	276	9
0	9	11
1	17	11
2	30	9
3	58	9
4	86	9
5	122	9
6	188	9
7	243	9
8	268	9
9	270	9
done	270	9
0	9	11
1	17	11
2	30	9
3	58	9
4	86	9
5	122	9
6	188	9
7	243	9
8	268	9
9	270	9
done	270	9

prune67.0ms

Filtered

27 candidates to 36 candidates (-33.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	32	4	36
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	33	4	37

Merged error: 0b

Counts

37 → 4

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

10×	`associate-r` `associate-*l/`
8×	`add-sqr-sqrt` `*-un-lft-identity`
6×	`add-cube-cbrt` `flip3-+` `flip-+`
4×	`pow1` `add-exp-log` `associate-l` `frac-add` `add-cbrt-cube` `add-log-exp`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `distribute-rgt-neg-out`
2×	`distribute-lft-out`
1×	`+-commutative` `neg-mul-1` `unsub-neg` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

2 → 47

Calls

2 calls:

9.0ms	(+ (* (+ x y) 1.0) (* (+ x y) (neg z)))
9.0ms	(* (+ x y) (neg z))

series21.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(+ (* (+ x y) 1.0) (* (+ x y) (neg z)))
8.0ms	(* (+ x y) (neg z))

simplify1.1min

Counts

53 → 53

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	6
1	10	6
2	21	6
3	38	6
4	50	6
done	50	6
0	8	8
1	10	8
done	10	8
0	7	7
1	14	7
2	26	7
3	46	7
4	59	7
done	59	7
0	7	7
1	13	7
2	37	7
3	76	7
4	137	7
5	258	7
6	570	7
7	1950	7
done	5001	7
0	10	20
1	37	18
2	121	10
3	429	10
4	1761	8
done	5000	8
0	8	15
1	12	15
2	23	15
3	40	15
4	52	15
done	52	15
0	7	7
1	11	7
2	22	7
3	39	7
4	51	7
done	51	7
0	8	20
1	22	20
2	110	8
3	524	8
4	2256	8
done	5002	8
0	7	7
1	11	7
2	22	7
3	39	7
4	51	7
done	51	7
0	7	7
1	11	7
2	22	7
3	39	7
4	51	7
done	51	7
0	8	8
1	10	8
done	10	8
0	8	8
1	10	8
done	10	8
0	5	5
1	7	5
2	15	5
done	15	5
0	8	11
1	12	11
2	22	11
3	34	11
done	34	11
0	7	7
1	9	7
2	17	7
done	17	7
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	5	5
1	7	5
2	16	4
3	20	4
4	22	4
done	22	4
0	8	10
1	15	10
2	35	10
3	80	10
4	102	10
5	116	10
done	116	10
0	7	7
1	11	7
2	22	7
3	39	7
4	51	7
done	51	7
0	6	6
1	13	5
2	24	4
3	46	4
4	76	4
done	76	4
0	7	9
1	11	9
2	21	9
3	33	9
4	35	9
done	35	9
0	6	6
1	8	6
2	16	6
done	16	6
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	7	7
1	11	7
2	14	7
3	15	7
done	15	7
0	7	7
1	11	7
2	14	7
3	15	7
done	15	7
0	6	6
1	10	6
2	21	6
3	38	6
4	50	6
done	50	6
0	6	6
1	10	6
2	21	6
3	38	6
4	50	6
done	50	6
0	9	10
1	26	10
2	46	10
3	104	10
4	280	10
5	820	10
6	2978	10
done	5001	10
0	8	10
1	16	10
2	38	10
3	116	10
4	327	9
5	665	9
6	1094	9
7	2054	9
done	5000	9
0	11	14
1	22	13
2	63	9
3	154	8
4	435	8
5	1697	8
done	5000	8
0	10	13
1	18	9
2	44	8
3	90	8
4	144	8
5	182	8
6	264	8
7	432	8
8	677	8
9	748	8
10	755	8
done	755	8
0	10	13
1	21	9
2	56	8
3	143	8
4	348	8
5	1186	8
done	5000	8
0	11	27
1	19	19
2	42	17
3	87	17
4	143	17
5	179	17
6	261	17
7	429	17
8	675	17
9	743	17
10	749	17
done	749	17
0	10	13
1	18	9
2	41	8
3	86	8
4	140	8
5	173	8
6	255	8
7	423	8
8	668	8
9	737	8
10	744	8
done	744	8
0	11	38
1	32	26
2	140	9
3	821	9
done	5000	9
0	10	13
1	18	9
2	41	8
3	86	8
4	140	8
5	173	8
6	255	8
7	423	8
8	668	8
9	737	8
10	744	8
done	744	8
0	10	13
1	18	9
2	41	8
3	86	8
4	140	8
5	173	8
6	255	8
7	423	8
8	668	8
9	737	8
10	744	8
done	744	8
0	19	44
1	56	40
2	174	30
3	739	22
4	3641	21
done	5000	21
0	8	23
1	22	19
2	64	19
3	247	19
4	913	19
5	3506	19
done	5000	19
0	21	36
1	58	34
2	162	34
3	660	33
4	3463	30
done	5000	29
0	9	15
1	20	13
2	49	13
3	140	13
4	361	13
5	892	13
6	2193	13
7	3882	13
8	4648	13
done	5000	13
0	21	36
1	64	34
2	191	34
3	801	33
4	3722	29
done	5001	29
0	9	15
1	26	13
2	74	13
3	202	13
4	494	13
5	1263	13
6	3143	13
7	4779	13
done	5000	13
0	14	28
1	31	28
2	112	24
3	510	16
4	1985	15
done	5000	15
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	12	16
1	36	16
2	134	14
3	578	13
4	2394	13
done	5001	13
0	13	38
1	42	31
2	181	27
3	750	23
4	2637	19
done	5000	19
0	11	25
1	34	25
2	144	15
3	547	15
4	1704	15
done	5000	15
0	9	12
1	18	8
2	45	8
3	112	7
4	211	7
5	295	7
6	389	7
7	597	7
8	875	7
9	879	7
done	879	7
0	4	4
1	6	3
done	6	3
0	1	1
done	1	1
0	7	8
1	13	8
2	30	6
3	42	6
4	48	6
done	48	6
0	7	8
1	13	8
2	30	6
3	42	6
4	48	6
done	48	6
0	9	11
1	19	9
2	34	9
3	44	9
4	55	9
5	74	9
6	106	9
7	153	9
8	190	9
9	216	9
10	255	9
11	276	9
done	276	9
0	9	11
1	17	11
2	30	9
3	58	9
4	86	9
5	122	9
6	188	9
7	243	9
8	268	9
9	270	9
done	270	9
0	9	11
1	17	11
2	30	9
3	58	9
4	86	9
5	122	9
6	188	9
7	243	9
8	268	9
9	270	9
done	270	9

prune74.0ms

Filtered

42 candidates to 53 candidates (-26.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	53	0	53
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	53	4	57

Merged error: 0b

Counts

57 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))
0.2b	(cbrt (- 1.0 z))
0.2b	(cbrt (- 1.0 z))
0.2b	(cbrt (- 1.0 z))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

43×	`cbrt-prod`
37×	`add-sqr-sqrt`
35×	`*-un-lft-identity`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
10×	`swap-sqr`
9×	`flip3--` `pow1/3` `flip--` `distribute-lft-out--`
8×	`associate-r` `associate-l`
7×	`difference-of-squares`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 101

Calls

4 calls:

13.0ms	(* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))
4.0ms	(cbrt (- 1.0 z))
3.0ms	(cbrt (- 1.0 z))
4.0ms	(cbrt (- 1.0 z))

series37.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))
7.0ms	(cbrt (- 1.0 z))
13.0ms	(cbrt (- 1.0 z))
8.0ms	(cbrt (- 1.0 z))

simplify1.5min

Counts

113 → 113

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	10
1	8	10
2	9	10
done	9	10
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	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	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
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	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
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	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	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
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	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
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	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	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
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	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	5	9
1	7	9
2	8	9
done	8	9
0	2	3
1	6	1
done	6	1
0	6	11
1	10	7
2	12	7
done	12	7
0	6	10
1	10	10
2	13	7
3	14	7
done	14	7
0	6	10
1	10	10
2	15	10
3	20	10
4	38	10
5	80	10
6	186	10
7	566	10
8	2256	10
done	5000	10
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	7	21
1	9	21
2	10	21
done	10	21
0	6	10
1	8	10
2	9	10
done	9	10
0	7	29
1	17	29
2	27	11
3	41	6
4	99	6
5	228	6
6	577	6
7	1955	6
done	5000	6
0	6	10
1	9	5
2	10	5
done	10	5
0	6	10
1	9	5
2	10	5
done	10	5
0	8	17
1	23	17
2	45	17
3	79	17
4	166	17
5	494	17
6	2249	17
done	5000	17
0	9	25
1	16	21
2	24	21
3	25	21
4	26	21
done	26	21
0	12	17
1	31	17
2	58	17
3	103	17
4	218	17
5	592	17
6	2407	17
done	5000	17
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	12	17
1	31	17
2	58	17
3	103	17
4	217	17
5	592	17
6	2426	17
done	5000	17
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
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	5	9
1	6	9
done	6	9
0	7	21
1	9	21
2	10	21
done	10	21
0	6	11
1	8	11
2	9	11
done	9	11
0	6	11
1	8	11
2	9	11
done	9	11
0	6	11
1	8	11
2	9	11
done	9	11
0	3	5
1	5	3
done	5	1
0	5	9
1	7	9
2	8	9
done	8	9
0	3	5
1	5	3
done	5	1
0	5	9
1	7	9
2	8	9
done	8	9
0	7	13
1	8	13
done	8	13
0	7	13
1	9	13
2	10	13
done	10	13
0	3	5
1	5	3
done	5	1
0	5	9
1	7	9
2	8	9
done	8	9
0	3	5
1	5	3
done	5	1
0	5	9
1	7	9
2	8	9
done	8	9
0	7	23
1	13	23
2	16	13
3	25	7
4	40	7
5	66	7
6	137	7
7	354	7
8	1244	7
done	5000	7
0	6	11
1	8	11
2	9	11
done	9	11
0	6	11
1	8	4
2	10	4
done	10	4
0	6	11
1	8	4
2	10	4
done	10	4
0	2	3
1	4	1
done	4	1
0	5	9
1	7	9
2	8	9
done	8	9
0	6	11
1	8	11
2	9	11
done	9	11
0	6	11
1	8	11
2	9	11
done	9	11
0	8	11
1	11	11
2	12	11
done	12	11
0	8	11
1	11	11
2	12	11
done	12	11
0	8	11
1	11	11
2	12	11
done	12	11
0	8	11
1	11	11
2	12	11
done	12	11
0	6	11
1	8	4
2	10	4
done	10	4
0	6	11
1	8	4
2	10	4
done	10	4
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	7	15
1	10	15
2	11	15
done	11	15
0	7	10
1	10	10
2	11	10
done	11	10
0	7	7
1	12	6
2	13	6
done	13	4
0	9	11
1	13	11
2	14	11
done	14	11
0	7	7
1	12	6
2	13	6
done	13	4
0	7	16
1	12	16
2	15	16
done	15	16
0	6	10
1	9	10
2	10	10
done	10	10
0	6	6
1	11	4
2	15	4
done	15	4
0	6	10
1	9	10
2	10	10
done	10	10
0	7	10
1	10	10
2	11	10
done	11	10
0	5	9
1	7	9
2	8	9
done	8	9
0	9	11
1	14	11
2	16	11
done	16	11
0	5	9
1	7	9
2	8	9
done	8	9
0	6	10
1	9	10
2	10	10
done	10	10
0	6	10
1	9	10
2	10	10
done	10	10
0	5	9
1	7	9
2	8	9
done	8	9
0	10	13
1	28	13
2	50	13
3	84	13
4	171	13
5	506	13
6	2262	13
done	5001	13
0	9	13
1	16	13
2	28	13
3	53	13
4	81	13
5	129	13
6	278	13
7	1442	13
done	5001	13
0	10	13
1	28	13
2	50	13
3	84	13
4	174	13
5	507	13
6	2255	13
done	5000	13
0	9	13
1	16	13
2	28	13
3	53	13
4	81	13
5	134	13
6	283	13
7	1483	13
done	5001	13
0	23	35
1	60	31
2	179	30
3	559	27
4	2220	26
done	5000	26
0	20	45
1	47	39
2	94	36
3	255	23
4	918	17
5	4845	15
done	5000	15
0	20	42
1	45	39
2	93	36
3	265	23
4	963	21
done	5002	18
0	23	35
1	60	31
2	179	30
3	559	27
4	2220	26
done	5000	26
0	20	45
1	47	39
2	94	36
3	255	23
4	918	17
5	4845	15
done	5000	15
0	20	42
1	45	39
2	93	36
3	265	23
4	963	21
done	5002	18
0	23	35
1	60	31
2	179	30
3	559	27
4	2220	26
done	5000	26
0	20	45
1	47	39
2	94	36
3	255	23
4	918	17
5	4845	15
done	5000	15
0	20	42
1	45	39
2	93	36
3	265	23
4	963	21
done	5002	18
0	22	35
1	62	29
2	186	28
3	575	26
4	2243	26
done	5000	26
0	20	48
1	46	42
2	102	36
3	307	19
4	1038	15
done	5001	15
0	21	48
1	47	45
2	100	39
3	303	21
4	1082	19
done	5001	17

prune253.0ms

Filtered

84 candidates to 113 candidates (-34.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	113	0	113
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	113	4	117

Merged error: 0b

Counts

117 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (* (+ x y) (- 1.0 z))) (cbrt (* (+ x y) (- 1.0 z))))
0.6b	(cbrt (* (+ x y) (- 1.0 z)))
0.6b	(cbrt (* (+ x y) (- 1.0 z)))
0.6b	(cbrt (* (+ x y) (- 1.0 z)))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

168×	`cbrt-div`
148×	`frac-times`
63×	`flip3--` `flip3-+` `flip--` `flip-+`
50×	`associate-r/` `associate-l/`
11×	`pow1`
10×	`add-sqr-sqrt`
9×	`pow1/3`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`cbrt-prod`
6×	`add-exp-log`
4×	`swap-sqr` `associate-r` `associate-l` `add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 162

Calls

4 calls:

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

series514.0ms

Counts

4 → 12

Calls

4 calls:

267.0ms	(* (cbrt (* (+ x y) (- 1.0 z))) (cbrt (* (+ x y) (- 1.0 z))))
84.0ms	(cbrt (* (+ x y) (- 1.0 z)))
83.0ms	(cbrt (* (+ x y) (- 1.0 z)))
81.0ms	(cbrt (* (+ x y) (- 1.0 z)))

simplify8.5min

Counts

174 → 174

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	13	9
2	28	9
3	57	9
4	105	9
5	155	9
6	193	9
7	279	9
8	467	9
9	714	9
10	783	9
11	787	9
done	787	9
0	9	9
1	13	9
2	28	9
3	57	9
4	105	9
5	155	9
6	193	9
7	279	9
8	467	9
9	714	9
10	783	9
11	787	9
done	787	9
0	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	13	16
1	40	16
2	82	16
3	231	16
4	906	16
done	5000	16
0	16	24
1	38	20
2	106	20
3	397	20
4	1433	20
done	5000	20
0	13	16
1	33	16
2	67	16
3	198	16
4	836	16
5	3255	16
done	5000	16
0	12	16
1	28	14
2	68	14
3	185	14
4	458	14
5	1127	14
6	2010	14
7	3720	14
done	5000	14
0	13	16
1	34	16
2	79	16
3	260	16
4	1285	16
done	5000	16
0	12	16
1	28	14
2	76	14
3	217	14
4	508	14
5	1191	14
6	2454	14
done	5000	14
0	12	16
1	23	16
2	57	16
3	227	16
4	1046	16
5	3723	16
done	5000	16
0	8	8
1	18	8
2	38	8
3	65	8
4	111	8
5	157	8
6	227	8
7	408	8
8	640	8
9	707	8
10	711	8
done	711	8
0	11	12
1	28	12
2	64	12
3	175	12
4	580	12
5	2018	12
done	5000	12
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	10	12
1	17	12
2	42	12
3	132	12
4	375	12
5	829	12
6	2298	12
done	5001	12
0	4	4
1	5	4
done	5	4
0	11	12
1	28	12
2	52	12
3	122	12
4	350	12
5	969	12
6	3395	12
done	5000	12
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	10	12
1	18	12
2	42	12
3	137	12
4	426	12
5	1043	12
6	2902	12
done	5000	12
0	4	4
1	6	4
2	7	4
done	7	4
0	10	19
1	14	19
2	29	19
3	58	19
4	106	19
5	150	19
6	188	19
7	274	19
8	462	19
9	708	19
10	777	19
11	781	19
done	781	19
0	9	9
1	13	9
2	28	9
3	57	9
4	105	9
5	155	9
6	193	9
7	279	9
8	467	9
9	714	9
10	783	9
11	787	9
done	787	9
0	10	26
1	15	26
2	32	10
3	66	7
4	120	7
5	186	7
6	247	7
7	394	7
8	786	7
9	1959	7
done	5000	7
0	9	9
1	13	9
2	28	9
3	57	9
4	105	9
5	155	9
6	193	9
7	279	9
8	467	9
9	714	9
10	783	9
11	787	9
done	787	9
0	9	9
1	13	9
2	28	9
3	57	9
4	105	9
5	155	9
6	193	9
7	279	9
8	467	9
9	714	9
10	783	9
11	787	9
done	787	9
0	9	9
1	13	9
2	28	9
3	57	9
4	105	9
5	155	9
6	193	9
7	279	9
8	467	9
9	714	9
10	783	9
11	787	9
done	787	9
0	9	9
1	13	9
2	28	9
3	57	9
4	105	9
5	155	9
6	193	9
7	279	9
8	467	9
9	714	9
10	783	9
11	787	9
done	787	9
0	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	13	16
1	40	16
2	82	16
3	231	16
4	906	16
done	5000	16
0	16	24
1	38	20
2	106	20
3	397	20
4	1433	20
done	5000	20
0	13	16
1	33	16
2	67	16
3	198	16
4	836	16
5	3255	16
done	5000	16
0	12	16
1	28	14
2	68	14
3	185	14
4	458	14
5	1127	14
6	2010	14
7	3720	14
done	5000	14
0	13	16
1	34	16
2	79	16
3	260	16
4	1285	16
done	5000	16
0	12	16
1	28	14
2	76	14
3	217	14
4	508	14
5	1191	14
6	2454	14
done	5000	14
0	12	16
1	23	16
2	57	16
3	227	16
4	1046	16
5	3723	16
done	5000	16
0	8	8
1	18	8
2	38	8
3	65	8
4	111	8
5	157	8
6	227	8
7	408	8
8	640	8
9	707	8
10	711	8
done	711	8
0	11	12
1	28	12
2	64	12
3	175	12
4	580	12
5	2018	12
done	5000	12
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	10	12
1	17	12
2	42	12
3	132	12
4	375	12
5	829	12
6	2298	12
done	5001	12
0	4	4
1	5	4
done	5	4
0	11	12
1	28	12
2	52	12
3	122	12
4	350	12
5	969	12
6	3395	12
done	5000	12
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	10	12
1	18	12
2	42	12
3	137	12
4	426	12
5	1043	12
6	2902	12
done	5000	12
0	4	4
1	6	4
2	7	4
done	7	4
0	10	19
1	14	19
2	29	19
3	58	19
4	106	19
5	150	19
6	188	19
7	274	19
8	462	19
9	708	19
10	777	19
11	781	19
done	781	19
0	9	9
1	13	9
2	28	9
3	57	9
4	105	9
5	155	9
6	193	9
7	279	9
8	467	9
9	714	9
10	783	9
11	787	9
done	787	9
0	10	26
1	15	26
2	32	10
3	66	7
4	120	7
5	186	7
6	247	7
7	394	7
8	786	7
9	1959	7
done	5000	7
0	9	9
1	13	9
2	28	9
3	57	9
4	105	9
5	155	9
6	193	9
7	279	9
8	467	9
9	714	9
10	783	9
11	787	9
done	787	9
0	9	9
1	13	9
2	28	9
3	57	9
4	105	9
5	155	9
6	193	9
7	279	9
8	467	9
9	714	9
10	783	9
11	787	9
done	787	9
0	9	9
1	13	9
2	28	9
3	57	9
4	105	9
5	155	9
6	193	9
7	279	9
8	467	9
9	714	9
10	783	9
11	787	9
done	787	9
0	9	9
1	13	9
2	28	9
3	57	9
4	105	9
5	155	9
6	193	9
7	279	9
8	467	9
9	714	9
10	783	9
11	787	9
done	787	9
0	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	13	16
1	40	16
2	82	16
3	231	16
4	906	16
done	5000	16
0	16	24
1	38	20
2	106	20
3	397	20
4	1433	20
done	5000	20
0	13	16
1	33	16
2	67	16
3	198	16
4	836	16
5	3255	16
done	5000	16
0	12	16
1	28	14
2	68	14
3	185	14
4	458	14
5	1127	14
6	2010	14
7	3720	14
done	5000	14
0	13	16
1	34	16
2	79	16
3	260	16
4	1285	16
done	5000	16
0	12	16
1	28	14
2	76	14
3	217	14
4	508	14
5	1191	14
6	2454	14
done	5000	14
0	12	16
1	23	16
2	57	16
3	227	16
4	1046	16
5	3723	16
done	5000	16
0	8	8
1	18	8
2	38	8
3	65	8
4	111	8
5	157	8
6	227	8
7	408	8
8	640	8
9	707	8
10	711	8
done	711	8
0	11	12
1	28	12
2	64	12
3	175	12
4	580	12
5	2018	12
done	5000	12
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	10	12
1	17	12
2	42	12
3	132	12
4	375	12
5	829	12
6	2298	12
done	5001	12
0	4	4
1	5	4
done	5	4
0	11	12
1	28	12
2	52	12
3	122	12
4	350	12
5	969	12
6	3395	12
done	5000	12
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	10	12
1	18	12
2	42	12
3	137	12
4	426	12
5	1043	12
6	2902	12
done	5000	12
0	4	4
1	6	4
2	7	4
done	7	4
0	10	19
1	14	19
2	29	19
3	58	19
4	106	19
5	150	19
6	188	19
7	274	19
8	462	19
9	708	19
10	777	19
11	781	19
done	781	19
0	9	9
1	13	9
2	28	9
3	57	9
4	105	9
5	155	9
6	193	9
7	279	9
8	467	9
9	714	9
10	783	9
11	787	9
done	787	9
0	10	26
1	15	26
2	32	10
3	66	7
4	120	7
5	186	7
6	247	7
7	394	7
8	786	7
9	1959	7
done	5000	7
0	9	9
1	13	9
2	28	9
3	57	9
4	105	9
5	155	9
6	193	9
7	279	9
8	467	9
9	714	9
10	783	9
11	787	9
done	787	9
0	9	9
1	13	9
2	28	9
3	57	9
4	105	9
5	155	9
6	193	9
7	279	9
8	467	9
9	714	9
10	783	9
11	787	9
done	787	9
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	8	15
1	19	15
2	73	15
3	286	15
4	883	15
5	3272	15
done	5001	15
0	9	17
1	13	17
2	28	17
3	57	17
4	105	17
5	155	17
6	193	17
7	279	17
8	467	17
9	714	17
10	783	17
11	787	17
done	787	17
0	2	3
1	6	1
done	6	1
0	10	19
1	16	11
2	32	11
3	61	11
4	109	11
5	153	11
6	191	11
7	277	11
8	464	11
9	709	11
10	778	11
11	782	11
done	782	11
0	10	18
1	16	18
2	33	11
3	63	11
4	111	11
5	161	11
6	199	11
7	285	11
8	474	11
9	721	11
10	790	11
11	794	11
done	794	11
0	10	18
1	16	18
2	35	18
3	69	18
4	135	18
5	229	18
6	378	18
7	855	18
8	2726	18
done	5000	18
0	8	15
1	19	15
2	73	15
3	286	15
4	883	15
5	3272	15
done	5001	15
0	11	37
1	15	37
2	30	37
3	59	37
4	107	37
5	157	37
6	195	37
7	281	37
8	469	37
9	716	37
10	785	37
11	789	37
done	789	37
0	10	18
1	14	18
2	29	18
3	58	18
4	106	18
5	150	18
6	188	18
7	274	18
8	462	18
9	708	18
10	777	18
11	781	18
done	781	18
0	11	53
1	23	53
2	47	19
3	90	10
4	248	10
5	1081	10
6	4098	10
done	5000	10
0	10	18
1	15	9
2	30	9
3	59	9
4	107	9
5	157	9
6	195	9
7	281	9
8	469	9
9	717	9
10	786	9
11	790	9
done	790	9
0	10	18
1	15	9
2	30	9
3	59	9
4	107	9
5	157	9
6	195	9
7	281	9
8	469	9
9	717	9
10	786	9
11	790	9
done	790	9
0	14	33
1	41	33
2	83	33
3	232	33
4	900	33
5	4990	33
done	5000	33
0	17	49
1	39	41
2	107	41
3	398	41
4	1443	41
done	5001	41
0	19	33
1	51	33
2	116	33
3	363	33
4	1559	33
done	5001	33
0	20	41
1	50	35
2	138	35
3	485	35
4	1650	35
done	5000	35
0	19	33
1	51	33
2	116	33
3	404	33
4	1935	33
done	5001	33
0	20	41
1	52	35
2	159	35
3	571	35
4	1798	35
done	5000	35
0	22	33
1	57	33
2	131	33
3	446	33
4	1944	33
done	5000	33
0	21	33
1	53	29
2	139	29
3	453	29
4	1519	29
done	5000	29
0	17	29
1	47	29
2	103	29
3	325	29
4	1290	29
done	5000	29
0	18	37
1	41	31
2	109	31
3	400	31
4	1446	31
done	5000	31
0	20	29
1	53	29
2	118	29
3	353	29
4	1281	29
done	5000	29
0	19	29
1	42	25
2	109	25
3	402	25
4	1448	25
done	5000	25
0	17	29
1	48	29
2	104	29
3	300	29
4	1138	29
done	5000	29
0	18	37
1	41	31
2	109	31
3	400	31
4	1446	31
done	5000	31
0	20	29
1	54	29
2	119	29
3	363	29
4	1325	29
done	5001	29
0	19	29
1	44	25
2	112	25
3	402	25
4	1438	25
done	5001	25
0	19	33
1	51	33
2	116	33
3	363	33
4	1563	33
done	5001	33
0	20	41
1	50	35
2	138	35
3	485	35
4	1645	35
done	5001	35
0	14	33
1	34	33
2	68	33
3	199	33
4	835	33
5	3234	33
done	5000	33
0	13	33
1	29	29
2	69	29
3	186	29
4	457	29
5	1109	29
6	2020	29
7	3736	29
done	5000	29
0	22	33
1	57	33
2	131	33
3	436	33
4	2063	33
done	5000	33
0	21	33
1	53	29
2	139	29
3	388	29
4	947	29
5	2257	29
6	4327	29
done	5000	29
0	19	33
1	44	33
2	105	33
3	383	33
4	1684	33
done	5000	33
0	16	25
1	42	23
2	101	23
3	232	23
4	532	23
5	1229	23
6	2196	23
7	4034	23
done	5000	23
0	20	29
1	53	29
2	118	29
3	353	29
4	1386	29
done	5001	29
0	19	29
1	42	25
2	89	25
3	207	25
4	479	25
5	1127	25
6	2020	25
7	3738	25
done	5001	25
0	17	29
1	40	29
2	92	29
3	294	29
4	1084	29
5	3845	29
done	5000	29
0	14	21
1	31	19
2	71	19
3	188	19
4	465	19
5	1121	19
6	2038	19
7	3752	19
done	5000	19
0	17	29
1	40	29
2	92	29
3	297	29
4	1187	29
5	4712	29
done	5000	29
0	14	29
1	31	25
2	71	25
3	188	25
4	465	25
5	1121	25
6	2038	25
7	3752	25
done	5000	25
0	20	29
1	46	29
2	108	29
3	364	29
4	1388	29
done	5000	29
0	15	21
1	34	19
2	74	19
3	190	19
4	460	19
5	1096	19
6	1970	19
7	3680	19
done	5000	19
0	19	33
1	51	33
2	116	33
3	404	33
4	1944	33
done	5000	33
0	20	41
1	52	35
2	159	35
3	573	35
4	1797	35
done	5000	35
0	22	33
1	57	33
2	131	33
3	436	33
4	2066	33
done	5001	33
0	21	33
1	53	29
2	139	29
3	388	29
4	943	29
5	2253	29
6	4296	29
done	5000	29
0	14	33
1	35	33
2	80	33
3	261	33
4	1295	33
done	5000	33
0	13	33
1	29	29
2	77	29
3	214	29
4	501	29
5	1207	29
6	2482	29
done	5000	29
0	19	33
1	45	33
2	115	33
3	435	33
4	2081	33
done	5001	33
0	16	25
1	40	23
2	102	23
3	246	23
4	567	23
5	1330	23
6	2676	23
done	5001	23
0	17	29
1	40	29
2	97	29
3	340	29
4	1621	29
done	5000	29
0	14	29
1	31	25
2	79	25
3	218	25
4	507	25
5	1203	25
6	2462	25
done	5000	25
0	20	29
1	46	29
2	113	29
3	380	29
4	1636	29
done	5001	29
0	15	21
1	32	19
2	79	19
3	218	19
4	507	19
5	1206	19
6	2475	19
done	5000	19
0	20	29
1	54	29
2	119	29
3	367	29
4	1615	29
done	5000	29
0	19	29
1	44	25
2	106	25
3	257	25
4	561	25
5	1283	25
6	2546	25
done	5000	25
0	17	29
1	42	29
2	103	29
3	358	29
4	1563	29
done	5001	29
0	14	21
1	31	19
2	79	19
3	218	19
4	507	19
5	1203	19
6	2462	19
done	5000	19
0	22	33
1	57	33
2	131	33
3	446	33
4	1947	33
done	5001	33
0	21	33
1	53	29
2	139	29
3	455	29
4	1518	29
done	5000	29
0	19	33
1	44	33
2	105	33
3	383	33
4	1678	33
done	5001	33
0	16	25
1	42	23
2	101	23
3	232	23
4	533	23
5	1211	23
6	2173	23
7	4014	23
done	5000	23
0	19	33
1	45	33
2	115	33
3	435	33
4	2081	33
done	5000	33
0	16	25
1	40	23
2	102	23
3	244	23
4	566	23
5	1326	23
6	2682	23
done	5000	23
0	13	33
1	24	33
2	58	33
3	228	33
4	1051	33
5	3741	33
done	5000	33
0	9	17
1	19	17
2	39	17
3	66	17
4	112	17
5	159	17
6	229	17
7	410	17
8	644	17
9	709	17
10	713	17
done	713	17
0	20	29
1	46	29
2	113	29
3	386	29
4	1585	29
done	5000	29
0	15	21
1	32	19
2	59	19
3	87	19
4	135	19
5	182	19
6	252	19
7	433	19
8	669	19
9	736	19
10	748	19
11	772	19
12	815	19
13	869	19
14	887	19
15	897	19
done	897	19
0	16	29
1	29	29
2	79	29
3	308	29
4	1290	29
5	4306	29
done	5000	29
0	10	13
1	21	13
2	41	13
3	68	13
4	114	13
5	162	13
6	232	13
7	413	13
8	649	13
9	716	13
10	720	13
done	720	13
0	20	29
1	46	29
2	108	29
3	382	29
4	1546	29
done	5000	29
0	15	21
1	34	19
2	68	19
3	107	19
4	171	19
5	238	19
6	324	19
7	534	19
8	808	19
9	871	19
10	872	19
done	872	19
0	16	29
1	30	29
2	84	29
3	357	29
4	1458	29
done	5000	29
0	10	13
1	21	13
2	41	13
3	68	13
4	114	13
5	162	13
6	232	13
7	413	13
8	649	13
9	716	13
10	720	13
done	720	13
0	17	29
1	47	29
2	103	29
3	325	29
4	1297	29
done	5000	29
0	18	37
1	41	31
2	109	31
3	402	31
4	1443	31
done	5000	31
0	20	29
1	53	29
2	118	29
3	353	29
4	1385	29
done	5000	29
0	19	29
1	42	25
2	89	25
3	207	25
4	483	25
5	1143	25
6	1994	25
7	3702	25
done	5001	25
0	17	29
1	40	29
2	97	29
3	340	29
4	1628	29
done	5000	29
0	14	29
1	31	25
2	79	25
3	216	25
4	510	25
5	1209	25
6	2459	25
done	5000	25
0	20	29
1	46	29
2	113	29
3	386	29
4	1592	29
done	5002	29
0	15	21
1	32	19
2	59	19
3	87	19
4	133	19
5	180	19
6	250	19
7	431	19
8	661	19
9	728	19
10	740	19
11	764	19
12	807	19
13	861	19
14	879	19
15	889	19
done	889	19
0	12	25
1	29	25
2	65	25
3	176	25
4	581	25
5	2003	25
done	5000	25
0	9	25
1	16	21
2	24	21
3	25	21
4	26	21
done	26	21
0	17	25
1	39	25
2	98	25
3	283	25
4	875	25
5	2694	25
done	5000	25
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	18	25
1	50	25
2	106	25
3	284	25
4	906	25
5	2950	25
done	5000	25
0	17	25
1	33	21
2	56	21
3	70	21
4	91	21
5	112	21
6	129	21
7	152	21
8	195	21
9	257	21
10	258	21
done	258	21
0	18	25
1	43	25
2	101	25
3	303	25
4	981	25
5	3022	25
done	5000	25
0	13	17
1	23	15
2	32	15
3	33	15
4	34	15
done	34	15
0	20	29
1	53	29
2	118	29
3	353	29
4	1278	29
done	5000	29
0	19	29
1	42	25
2	109	25
3	404	25
4	1453	25
done	5001	25
0	17	29
1	40	29
2	92	29
3	294	29
4	1084	29
5	3818	29
done	5001	29
0	14	21
1	31	19
2	71	19
3	188	19
4	467	19
5	1126	19
6	2005	19
7	3717	19
done	5000	19
0	20	29
1	46	29
2	113	29
3	380	29
4	1635	29
done	5001	29
0	15	21
1	32	19
2	79	19
3	216	19
4	513	19
5	1206	19
6	2461	19
done	5000	19
0	16	29
1	29	29
2	79	29
3	308	29
4	1308	29
5	4346	29
done	5000	29
0	10	13
1	21	13
2	41	13
3	68	13
4	115	13
5	164	13
6	234	13
7	415	13
8	649	13
9	716	13
10	720	13
done	720	13
0	17	25
1	39	25
2	98	25
3	283	25
4	877	25
5	2736	25
done	5000	25
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	11	25
1	18	25
2	43	25
3	133	25
4	376	25
5	836	25
6	2309	25
done	5000	25
0	5	9
1	6	9
done	6	9
0	18	25
1	42	25
2	95	25
3	281	25
4	802	25
5	2006	25
done	5000	25
0	13	17
1	23	15
2	38	15
3	51	15
4	71	15
5	92	15
6	109	15
7	132	15
8	175	15
9	237	15
10	238	15
done	238	15
0	17	25
1	31	25
2	82	25
3	284	25
4	845	25
5	2008	25
done	5000	25
0	9	9
1	13	9
2	14	9
done	14	9
0	17	29
1	48	29
2	104	29
3	300	29
4	1133	29
done	5001	29
0	18	37
1	41	31
2	109	31
3	402	31
4	1448	31
done	5001	31
0	17	29
1	40	29
2	92	29
3	297	29
4	1200	29
5	4651	29
done	5000	29
0	14	29
1	31	25
2	71	25
3	188	25
4	467	25
5	1121	25
6	2006	25
7	3730	25
done	5001	25
0	20	29
1	54	29
2	119	29
3	367	29
4	1616	29
done	5000	29
0	19	29
1	44	25
2	106	25
3	257	25
4	563	25
5	1308	25
6	2605	25
done	5001	25
0	20	29
1	46	29
2	108	29
3	382	29
4	1547	29
done	5000	29
0	15	21
1	34	19
2	68	19
3	107	19
4	170	19
5	236	19
6	322	19
7	532	19
8	806	19
9	869	19
10	870	19
done	870	19
0	18	25
1	50	25
2	106	25
3	284	25
4	898	25
5	2909	25
done	5000	25
0	17	25
1	33	21
2	56	21
3	70	21
4	91	21
5	112	21
6	129	21
7	152	21
8	195	21
9	257	21
10	258	21
done	258	21
0	18	25
1	42	25
2	95	25
3	281	25
4	797	25
5	2010	25
done	5001	25
0	13	17
1	23	15
2	38	15
3	51	15
4	71	15
5	92	15
6	109	15
7	132	15
8	175	15
9	237	15
10	238	15
done	238	15
0	12	25
1	29	25
2	53	25
3	123	25
4	352	25
5	966	25
6	3372	25
done	5001	25
0	9	25
1	17	21
2	32	21
3	45	21
4	65	21
5	86	21
6	103	21
7	126	21
8	169	21
9	231	21
10	232	21
done	232	21
0	17	25
1	39	25
2	86	25
3	243	25
4	725	25
5	1937	25
done	5001	25
0	11	17
1	22	15
2	37	15
3	49	15
4	66	15
5	86	15
6	103	15
7	126	15
8	169	15
9	231	15
10	232	15
done	232	15
0	20	29
1	54	29
2	119	29
3	363	29
4	1332	29
done	5001	29
0	19	29
1	44	25
2	112	25
3	402	25
4	1433	25
done	5000	25
0	20	29
1	46	29
2	108	29
3	364	29
4	1393	29
done	5000	29
0	15	21
1	34	19
2	74	19
3	190	19
4	462	19
5	1106	19
6	2000	19
7	3718	19
done	5000	19
0	17	29
1	42	29
2	103	29
3	358	29
4	1549	29
done	5000	29
0	14	21
1	31	19
2	79	19
3	216	19
4	510	19
5	1217	19
6	2477	19
done	5000	19
0	16	29
1	30	29
2	84	29
3	357	29
4	1458	29
done	5000	29
0	10	13
1	21	13
2	41	13
3	68	13
4	115	13
5	164	13
6	234	13
7	415	13
8	649	13
9	716	13
10	720	13
done	720	13
0	18	25
1	43	25
2	101	25
3	303	25
4	980	25
5	2994	25
done	5000	25
0	13	17
1	23	15
2	32	15
3	33	15
4	34	15
done	34	15
0	17	25
1	31	25
2	82	25
3	284	25
4	841	25
5	2007	25
done	5000	25
0	9	9
1	13	9
2	14	9
done	14	9
0	17	25
1	39	25
2	86	25
3	243	25
4	729	25
5	1968	25
done	5000	25
0	11	17
1	22	15
2	37	15
3	49	15
4	66	15
5	86	15
6	103	15
7	126	15
8	169	15
9	231	15
10	232	15
done	232	15
0	11	25
1	19	25
2	43	25
3	138	25
4	427	25
5	1046	25
6	2900	25
done	5000	25
0	5	9
1	7	9
2	8	9
done	8	9
0	5	9
1	6	9
done	6	9
0	5	9
1	7	9
2	8	9
done	8	9
0	11	39
1	19	39
2	36	21
3	74	11
4	137	11
5	217	11
6	326	11
7	628	11
8	1720	11
done	5000	11
0	10	19
1	14	19
2	29	19
3	58	19
4	106	19
5	150	19
6	188	19
7	274	19
8	462	19
9	708	19
10	777	19
11	781	19
done	781	19
0	10	19
1	14	8
2	30	8
3	59	8
4	107	8
5	157	8
6	195	8
7	281	8
8	468	8
9	713	8
10	780	8
11	784	8
done	784	8
0	10	19
1	14	8
2	30	8
3	59	8
4	107	8
5	157	8
6	195	8
7	281	8
8	468	8
9	713	8
10	780	8
11	784	8
done	784	8
0	2	3
1	4	1
done	4	1
0	9	17
1	13	17
2	28	17
3	57	17
4	105	17
5	155	17
6	193	17
7	279	17
8	467	17
9	714	17
10	783	17
11	787	17
done	787	17
0	10	19
1	14	8
2	30	8
3	59	8
4	107	8
5	157	8
6	195	8
7	281	8
8	468	8
9	713	8
10	780	8
11	784	8
done	784	8
0	10	19
1	14	8
2	30	8
3	59	8
4	107	8
5	157	8
6	195	8
7	281	8
8	468	8
9	713	8
10	780	8
11	784	8
done	784	8
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	10	13
1	15	13
2	30	13
3	59	13
4	107	13
5	157	13
6	195	13
7	281	13
8	469	13
9	717	13
10	786	13
11	790	13
done	790	13
0	11	28
1	18	28
2	35	28
3	64	28
4	112	28
5	156	28
6	194	28
7	280	28
8	468	28
9	713	28
10	782	28
11	786	28
done	786	28
0	10	18
1	15	18
2	30	18
3	59	18
4	107	18
5	157	18
6	195	18
7	281	18
8	469	18
9	717	18
10	786	18
11	790	18
done	790	18
0	10	10
1	17	8
2	35	8
3	64	8
4	112	8
5	156	8
6	194	8
7	280	8
8	467	8
9	711	8
10	780	8
11	784	8
done	784	8
0	10	13
1	15	13
2	30	13
3	59	13
4	107	13
5	155	13
6	193	13
7	279	13
8	467	13
9	713	13
10	782	13
11	786	13
done	786	13
0	10	18
1	15	18
2	30	18
3	59	18
4	107	18
5	157	18
6	195	18
7	281	18
8	469	18
9	717	18
10	786	18
11	790	18
done	790	18
0	10	18
1	15	18
2	30	18
3	59	18
4	107	18
5	157	18
6	195	18
7	281	18
8	469	18
9	717	18
10	786	18
11	790	18
done	790	18
0	9	17
1	13	17
2	28	17
3	57	17
4	105	17
5	155	17
6	193	17
7	279	17
8	467	17
9	714	17
10	783	17
11	787	17
done	787	17
0	18	25
1	50	25
2	106	25
3	284	25
4	998	25
done	5000	25
0	18	25
1	42	25
2	95	25
3	285	25
4	1071	25
5	4275	25
done	5001	25
0	18	25
1	43	25
2	101	25
3	311	25
4	1382	25
done	5001	25
0	17	25
1	31	25
2	83	25
3	317	25
4	1310	25
5	4853	25
done	5000	25
0	15	21
1	36	21
2	86	21
3	220	21
4	660	21
5	2127	21
done	5001	21
0	14	21
1	24	21
2	67	21
3	207	21
4	534	21
5	1261	21
6	4450	21
done	5000	21
0	15	21
1	35	21
2	73	21
3	168	21
4	430	21
5	1096	21
6	3618	21
done	5001	21
0	14	21
1	24	21
2	60	21
3	171	21
4	496	21
5	1235	21
6	3554	21
done	5000	21
0	18	25
1	50	25
2	106	25
3	284	25
4	1006	25
done	5000	25
0	18	25
1	42	25
2	95	25
3	285	25
4	1080	25
5	4286	25
done	5000	25
0	18	25
1	43	25
2	101	25
3	311	25
4	1359	25
done	5000	25
0	17	25
1	31	25
2	83	25
3	317	25
4	1304	25
5	4860	25
done	5000	25
0	15	21
1	36	21
2	86	21
3	220	21
4	665	21
5	2123	21
done	5001	21
0	14	21
1	24	21
2	67	21
3	207	21
4	532	21
5	1248	21
6	4428	21
done	5000	21
0	15	21
1	35	21
2	73	21
3	168	21
4	434	21
5	1092	21
6	3690	21
done	5000	21
0	14	21
1	24	21
2	60	21
3	171	21
4	498	21
5	1237	21
6	3559	21
done	5000	21
0	22	36
1	50	36
2	105	36
3	232	33
4	629	22
5	1960	20
done	5000	20
0	24	60
1	57	51
2	129	48
3	358	29
4	1130	25
done	5000	19
0	26	66
1	61	63
2	160	60
3	539	39
4	2375	35
done	5000	35
0	22	36
1	50	36
2	105	36
3	232	33
4	629	22
5	1960	20
done	5000	20
0	24	60
1	57	51
2	129	48
3	358	29
4	1130	25
done	5000	19
0	26	66
1	61	63
2	160	60
3	539	39
4	2375	35
done	5000	35
0	22	36
1	50	36
2	105	36
3	232	33
4	629	22
5	1960	20
done	5000	20
0	24	60
1	57	51
2	129	48
3	358	29
4	1130	25
done	5000	19
0	26	66
1	61	63
2	160	60
3	539	39
4	2375	35
done	5000	35
0	24	63
1	66	61
2	186	52
3	497	35
4	2016	32
done	5000	31
0	25	69
1	60	54
2	136	45
3	404	25
4	1398	25
done	5000	25
0	29	84
1	71	75
2	194	69
3	818	43
done	5001	43

prune577.0ms

Filtered

159 candidates to 174 candidates (-9.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	174	0	174
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	174	4	178

Merged error: 0b

Counts

178 → 4

regimes355.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	12
1	15	12
2	18	12
3	23	12
done	23	12

end0.0ms

sample694.0ms

Algorithm

intervals

Results

275.0ms	10172×	body	80	valid
0.0ms	2×	body	1280	valid
0.0ms	2×	body	640	valid

Details

sample24.0ms

simplify1.1s

prune3.0ms

localize6.0ms

rewrite12.0ms

series9.0ms

simplify48.9s

prune67.0ms

localize11.0ms

rewrite19.0ms

series21.0ms

simplify1.1min

prune74.0ms

localize11.0ms

rewrite28.0ms

series37.0ms

simplify1.5min

prune253.0ms

localize10.0ms

rewrite53.0ms

series514.0ms

simplify8.5min

prune577.0ms

regimes355.0ms

bsearch0.0ms

simplify4.0ms

end0.0ms

sample694.0ms

Profiling