Details

sample22.0ms

Algorithm

intervals

Results

7.0ms	236×	body	80	valid
1.0ms	9×	body	1280	valid
0.0ms	6×	body	320	valid
0.0ms	4×	body	640	valid
0.0ms	2×	body	160	valid

simplify185.0ms

Counts

1 → 1

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	8	11
1	20	11
2	57	9
3	134	9
4	179	9
5	186	9
done	186	9

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

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (+ (+ (+ (+ x y) y) x) z) x)
0.0b	(+ (+ (+ x y) y) x)
0.0b	(+ (+ x y) y)

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

37×	`*-un-lft-identity` `add-log-exp`
24×	`sum-log` `distribute-lft-out`
3×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `associate-+l+` `flip3-+` `add-cbrt-cube` `flip-+`

Counts

3 → 53

Calls

3 calls:

18.0ms	(+ (+ (+ (+ (+ x y) y) x) z) x)
10.0ms	(+ (+ (+ x y) y) x)
7.0ms	(+ (+ x y) y)

series17.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(+ (+ (+ (+ (+ x y) y) x) z) x)
6.0ms	(+ (+ (+ x y) y) x)
5.0ms	(+ (+ x y) y)

simplify1.5min

Counts

62 → 62

Iterations

Useful iterations: 3 (4.0ms)

Iter	Nodes	Cost
0	6	8
1	12	7
2	20	6
3	24	6
4	27	6
5	31	6
6	44	6
7	83	6
8	165	6
9	391	6
10	1163	6
11	4389	6
done	5000	6
0	6	7
1	12	6
2	18	6
3	24	6
4	27	6
5	31	6
6	44	6
7	83	6
8	165	6
9	392	6
10	1168	6
11	4386	6
done	5000	6
0	5	6
1	9	6
2	12	6
3	13	6
done	13	6
0	5	6
1	12	6
2	21	6
3	28	6
4	32	6
5	45	6
6	82	6
7	163	6
8	389	6
9	1167	6
10	4396	6
done	5001	6
0	6	13
1	10	13
2	13	13
3	14	13
done	14	13
0	5	6
1	9	6
2	12	6
3	13	6
done	13	6
0	6	17
1	23	17
2	90	7
3	331	7
4	1380	7
done	5000	7
0	5	6
1	9	6
2	12	6
3	13	6
done	13	6
0	5	6
1	9	6
2	12	6
3	13	6
done	13	6
0	7	9
1	22	9
2	47	9
3	103	9
4	240	9
5	691	9
6	2398	9
done	5000	9
0	8	17
1	21	15
2	58	15
3	170	11
4	672	10
5	2245	9
done	5001	9
0	6	11
1	18	11
2	47	11
3	125	9
4	358	7
5	1318	7
done	5001	7
0	4	5
1	9	5
2	17	3
3	22	1
done	22	1
0	4	5
1	8	5
2	11	5
3	12	5
done	12	5
0	4	5
1	8	5
2	11	5
3	12	5
done	12	5
0	2	3
1	4	3
2	5	3
done	5	3
0	7	11
1	15	9
2	34	8
3	52	6
4	67	6
5	76	6
6	106	6
7	212	6
8	542	6
9	1774	6
done	5001	6
0	8	10
1	16	9
2	29	8
3	49	8
4	62	6
5	70	6
6	97	6
7	192	6
8	481	6
9	1589	6
done	5000	6
0	7	9
1	17	8
2	32	8
3	55	6
4	71	6
5	95	6
6	163	6
7	352	6
8	1087	6
9	4300	6
done	5000	6
0	6	8
1	12	8
2	24	6
3	36	6
4	37	6
done	37	6
0	6	8
1	15	8
2	35	6
3	65	6
4	80	6
5	110	6
6	216	6
7	549	6
8	1764	6
done	5001	6
0	7	17
1	13	17
2	25	13
3	34	13
done	34	13
0	6	8
1	12	8
2	24	6
3	33	6
done	33	6
0	7	23
1	26	23
2	106	7
3	526	7
4	3291	7
done	5001	7
0	6	8
1	12	8
2	24	6
3	33	6
done	33	6
0	6	8
1	12	8
2	24	6
3	33	6
done	33	6
0	8	11
1	26	11
2	65	11
3	220	11
4	856	11
5	4658	11
done	5000	11
0	9	23
1	27	21
2	96	21
3	341	15
4	2152	13
done	5000	13
0	7	15
1	22	15
2	80	15
3	257	13
4	1141	11
5	4858	7
done	5000	7
0	5	7
1	13	7
2	31	7
3	53	7
4	70	5
5	89	3
6	287	3
7	1340	3
8	2986	3
done	5000	3
0	5	7
1	11	7
2	23	5
3	32	5
done	32	5
0	5	7
1	11	7
2	23	5
3	32	5
done	32	5
0	5	7
1	11	7
2	23	5
3	32	5
done	32	5
0	3	3
1	4	3
done	4	3
0	11	17
1	25	15
2	73	13
3	209	10
4	358	10
5	419	10
6	519	10
7	973	10
8	2940	10
done	5001	10
0	12	16
1	26	15
2	66	13
3	176	12
4	325	10
5	396	10
6	456	10
7	764	10
8	2227	10
done	5001	10
0	11	15
1	27	14
2	66	13
3	179	10
4	353	10
5	469	10
6	684	10
7	1352	10
8	4828	10
done	5000	10
0	11	14
1	25	13
2	69	10
3	180	10
4	398	10
5	540	10
6	863	10
7	2112	10
done	5000	10
0	10	13
1	25	12
2	71	10
3	203	10
4	421	10
5	556	10
6	771	10
7	1619	10
done	5001	10
0	9	12
1	21	12
2	58	10
3	135	10
4	186	10
5	193	10
done	193	10
0	9	12
1	24	12
2	70	10
3	201	10
4	400	10
5	537	10
6	745	10
7	1738	10
done	5000	10
0	10	25
1	22	25
2	59	21
3	135	21
4	185	21
5	190	21
done	190	21
0	9	12
1	21	12
2	58	10
3	135	10
4	186	10
5	193	10
done	193	10
0	10	35
1	35	35
2	148	11
3	972	11
done	5000	11
0	9	12
1	21	12
2	58	10
3	135	10
4	186	10
5	193	10
done	193	10
0	9	12
1	21	12
2	58	10
3	135	10
4	186	10
5	193	10
done	193	10
0	11	15
1	34	15
2	98	13
3	488	13
4	3566	13
done	5000	13
0	12	35
1	35	33
2	143	27
3	802	21
done	5000	21
0	10	23
1	30	23
2	121	19
3	700	19
4	4998	19
done	5000	19
0	8	11
1	21	11
2	66	9
3	219	9
4	436	9
5	604	7
6	2451	7
done	5001	7
0	8	11
1	20	11
2	57	9
3	134	9
4	179	9
5	186	9
done	186	9
0	8	11
1	20	11
2	57	9
3	134	9
4	179	9
5	186	9
done	186	9
0	8	11
1	20	11
2	57	9
3	134	9
4	179	9
5	186	9
done	186	9
0	8	11
1	20	11
2	57	9
3	134	9
4	179	9
5	186	9
done	186	9
0	8	11
1	20	11
2	57	9
3	134	9
4	179	9
5	186	9
done	186	9
0	3	3
1	4	3
done	4	3
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5
0	9	9
1	15	9
2	21	9
done	21	9
0	9	9
1	15	9
2	21	9
done	21	9
0	9	9
1	15	9
2	21	9
done	21	9

prune82.0ms

Filtered

43 candidates to 62 candidates (-44.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	58	4	62
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	58	5	63

Merged error: 0.0b

Counts

63 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (* 2 (+ x y))) (cbrt (* 2 (+ x y))))
0.6b	(cbrt (* 2 (+ x y)))
0.6b	(cbrt (* 2 (+ x y)))
0.6b	(cbrt (* 2 (+ x y)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 72

Calls

4 calls:

8.0ms	(* (cbrt (* 2 (+ x y))) (cbrt (* 2 (+ x y))))
5.0ms	(cbrt (* 2 (+ x y)))
6.0ms	(cbrt (* 2 (+ x y)))
6.0ms	(cbrt (* 2 (+ x y)))

series192.0ms

Counts

4 → 12

Calls

4 calls:

61.0ms	(* (cbrt (* 2 (+ x y))) (cbrt (* 2 (+ x y))))
43.0ms	(cbrt (* 2 (+ x y)))
45.0ms	(cbrt (* 2 (+ x y)))
43.0ms	(cbrt (* 2 (+ x y)))

simplify1.6min

Counts

84 → 84

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	15	7
2	16	7
done	16	7
0	7	7
1	15	7
2	16	7
done	16	7
0	2	2
done	2	2
0	4	4
1	5	4
done	5	4
0	9	10
1	29	10
2	63	10
3	100	10
4	189	10
5	474	10
6	1505	10
done	5000	10
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	8	10
1	14	10
2	31	10
3	77	10
4	165	10
5	251	10
6	409	10
7	781	10
8	3440	10
done	5000	10
0	4	4
1	6	4
2	7	4
done	7	4
0	8	15
1	16	15
2	17	15
done	17	15
0	7	7
1	15	7
2	16	7
done	16	7
0	8	20
1	17	20
2	20	8
3	24	5
4	30	5
5	40	5
6	61	5
7	124	5
8	338	5
9	1271	5
done	5000	5
0	7	7
1	15	7
2	16	7
done	16	7
0	7	7
1	15	7
2	16	7
done	16	7
0	7	7
1	15	7
2	16	7
done	16	7
0	7	7
1	15	7
2	16	7
done	16	7
0	2	2
done	2	2
0	4	4
1	5	4
done	5	4
0	9	10
1	29	10
2	63	10
3	100	10
4	189	10
5	474	10
6	1505	10
done	5000	10
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	8	10
1	14	10
2	31	10
3	77	10
4	165	10
5	251	10
6	409	10
7	781	10
8	3440	10
done	5000	10
0	4	4
1	6	4
2	7	4
done	7	4
0	8	15
1	16	15
2	17	15
done	17	15
0	7	7
1	15	7
2	16	7
done	16	7
0	8	20
1	17	20
2	20	8
3	24	5
4	30	5
5	40	5
6	61	5
7	124	5
8	338	5
9	1271	5
done	5000	5
0	7	7
1	15	7
2	16	7
done	16	7
0	7	7
1	15	7
2	16	7
done	16	7
0	7	7
1	15	7
2	16	7
done	16	7
0	7	7
1	15	7
2	16	7
done	16	7
0	2	2
done	2	2
0	4	4
1	5	4
done	5	4
0	9	10
1	29	10
2	63	10
3	100	10
4	189	10
5	474	10
6	1505	10
done	5000	10
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	8	10
1	14	10
2	31	10
3	77	10
4	165	10
5	251	10
6	409	10
7	781	10
8	3440	10
done	5000	10
0	4	4
1	6	4
2	7	4
done	7	4
0	8	15
1	16	15
2	17	15
done	17	15
0	7	7
1	15	7
2	16	7
done	16	7
0	8	20
1	17	20
2	20	8
3	24	5
4	30	5
5	40	5
6	61	5
7	124	5
8	338	5
9	1271	5
done	5000	5
0	7	7
1	15	7
2	16	7
done	16	7
0	7	7
1	15	7
2	16	7
done	16	7
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	6	11
1	22	9
2	60	9
3	148	9
4	236	9
5	351	9
6	469	9
7	602	9
8	950	9
9	2089	9
done	5001	9
0	7	13
1	15	13
2	16	13
done	16	13
0	2	3
1	6	1
done	6	1
0	8	15
1	17	9
2	19	9
done	19	9
0	8	14
1	18	14
2	20	9
3	21	9
done	21	9
0	8	14
1	18	14
2	22	14
3	27	14
4	45	14
5	85	14
6	196	14
7	574	14
8	2265	14
done	5001	14
0	6	11
1	22	9
2	60	9
3	148	9
4	236	9
5	351	9
6	469	9
7	602	9
8	950	9
9	2089	9
done	5001	9
0	9	29
1	17	29
2	18	29
done	18	29
0	8	14
1	16	14
2	17	14
done	17	14
0	9	41
1	25	41
2	35	15
3	48	8
4	134	8
5	383	8
6	892	8
7	2735	8
done	5000	8
0	8	14
1	17	7
2	18	7
done	18	7
0	8	14
1	17	7
2	18	7
done	18	7
0	10	21
1	30	21
2	64	21
3	101	21
4	188	21
5	465	21
6	1505	21
done	5000	21
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	15	21
1	40	21
2	89	21
3	175	21
4	347	21
5	714	21
6	1919	21
done	5001	21
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	15	21
1	40	21
2	89	21
3	177	21
4	351	21
5	718	21
6	1927	21
done	5000	21
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	9	21
1	15	21
2	32	21
3	78	21
4	166	21
5	252	21
6	411	21
7	783	21
8	3413	21
done	5000	21
0	5	9
1	7	9
2	8	9
done	8	9
0	3	5
done	3	5
0	5	9
1	6	9
done	6	9
0	9	31
1	21	31
2	24	17
3	32	9
4	47	9
5	73	9
6	147	9
7	361	9
8	1276	9
done	5000	9
0	8	15
1	16	15
2	17	15
done	17	15
0	8	15
1	16	6
2	18	6
done	18	6
0	8	15
1	16	6
2	18	6
done	18	6
0	2	3
1	4	1
done	4	1
0	7	13
1	15	13
2	16	13
done	16	13
0	8	15
1	16	6
2	18	6
done	18	6
0	8	15
1	16	6
2	18	6
done	18	6
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	8	9
1	17	9
2	18	9
done	18	9
0	9	22
1	20	22
2	23	22
done	23	22
0	8	14
1	17	14
2	18	14
done	18	14
0	8	8
1	19	6
2	23	6
done	23	6
0	8	11
1	17	11
2	18	11
done	18	11
0	8	14
1	17	14
2	18	14
done	18	14
0	8	14
1	17	14
2	18	14
done	18	14
0	7	13
1	15	13
2	16	13
done	16	13
0	13	17
1	42	17
2	73	17
3	117	17
4	212	17
5	501	17
6	1541	17
done	5000	17
0	12	17
1	26	17
2	42	17
3	79	17
4	165	17
5	251	17
6	421	17
7	793	17
8	3444	17
done	5000	17
0	13	17
1	42	17
2	73	17
3	120	17
4	213	17
5	497	17
6	1543	17
done	5001	17
0	12	17
1	26	17
2	42	17
3	79	17
4	165	17
5	251	17
6	409	17
7	785	17
8	3434	17
done	5000	17
0	31	49
1	77	46
2	191	40
3	661	28
4	2483	21
done	5001	21
0	12	13
1	23	11
2	38	8
3	79	5
4	148	5
5	353	5
6	814	5
7	2634	5
done	5001	5
0	13	13
1	24	12
2	41	11
3	96	10
4	228	9
5	546	7
6	1186	6
7	2976	6
done	5000	6
0	31	49
1	77	46
2	191	40
3	661	28
4	2483	21
done	5001	21
0	12	13
1	23	11
2	38	8
3	79	5
4	148	5
5	353	5
6	814	5
7	2634	5
done	5001	5
0	13	13
1	24	12
2	41	11
3	96	10
4	228	9
5	546	7
6	1186	6
7	2976	6
done	5000	6
0	31	49
1	77	46
2	191	40
3	661	28
4	2483	21
done	5001	21
0	12	13
1	23	11
2	38	8
3	79	5
4	148	5
5	353	5
6	814	5
7	2634	5
done	5001	5
0	13	13
1	24	12
2	41	11
3	96	10
4	228	9
5	546	7
6	1186	6
7	2976	6
done	5000	6
0	33	55
1	82	52
2	238	45
3	985	34
done	5001	29
0	14	17
1	30	15
2	68	13
3	191	10
4	506	8
5	1915	8
done	5001	8
0	16	17
1	32	16
2	66	14
3	189	11
4	543	10
5	2135	10
done	5000	9

prune190.0ms

Filtered

69 candidates to 84 candidates (-21.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	84	5	89

Merged error: 0.0b

Counts

89 → 5

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (+ z x) (* 2 (+ x y)))) (cbrt (+ (+ z x) (* 2 (+ x y)))))
0.6b	(cbrt (+ (* 2 (+ x y)) (+ z x)))
0.6b	(cbrt (+ (+ z x) (* 2 (+ x y))))
0.6b	(cbrt (+ (+ z x) (* 2 (+ x y))))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

102×	`cbrt-div`
85×	`flip3-+` `flip-+`
74×	`associate-*r/`
68×	`frac-add`
36×	`frac-times`
25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l` `associate-*l/`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 139

Calls

4 calls:

18.0ms	(* (cbrt (+ (+ z x) (* 2 (+ x y)))) (cbrt (+ (+ z x) (* 2 (+ x y)))))
9.0ms	(cbrt (+ (* 2 (+ x y)) (+ z x)))
6.0ms	(cbrt (+ (+ z x) (* 2 (+ x y))))
6.0ms	(cbrt (+ (+ z x) (* 2 (+ x y))))

series219.0ms

Counts

4 → 12

Calls

4 calls:

65.0ms	(* (cbrt (+ (+ z x) (* 2 (+ x y)))) (cbrt (+ (+ z x) (* 2 (+ x y)))))
53.0ms	(cbrt (+ (* 2 (+ x y)) (+ z x)))
49.0ms	(cbrt (+ (+ z x) (* 2 (+ x y))))
53.0ms	(cbrt (+ (+ z x) (* 2 (+ x y))))

simplify4.9min

Counts

151 → 151

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	11	22
1	23	22
2	36	22
3	63	22
4	77	22
done	77	22
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	2	2
1	4	1
done	4	1
0	9	10
1	21	10
2	34	10
3	61	10
4	75	10
done	75	10
0	24	42
1	74	38
2	211	38
3	767	38
4	3830	38
done	5001	38
0	14	24
1	37	20
2	105	20
3	390	20
4	1515	20
done	5000	20
0	21	34
1	52	32
2	134	32
3	485	28
4	2358	28
done	5000	28
0	11	16
1	22	14
2	52	14
3	146	14
4	395	14
5	1072	14
6	2762	14
done	5001	14
0	21	34
1	64	32
2	199	32
3	779	28
4	3199	28
done	5000	28
0	11	16
1	28	14
2	76	14
3	221	14
4	551	14
5	1496	14
6	3562	14
done	5000	14
0	16	26
1	34	26
2	104	26
3	441	22
4	1674	18
done	5000	18
0	7	8
1	12	8
2	26	8
3	60	8
4	122	8
5	213	8
6	301	8
7	443	8
8	689	8
9	867	8
10	876	8
done	876	8
0	12	14
1	38	14
2	102	14
3	374	14
4	1003	14
5	2723	14
done	5000	14
0	13	30
1	46	24
2	162	24
3	555	24
4	2411	24
done	5000	24
0	11	20
1	39	18
2	127	18
3	428	18
4	1541	18
done	5000	18
0	9	10
1	22	10
2	44	10
3	88	10
4	146	10
5	230	9
6	445	8
7	965	8
8	3588	8
done	5000	8
0	11	23
1	23	23
2	36	23
3	63	23
4	77	23
done	77	23
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	11	32
1	24	32
2	39	12
3	69	9
4	87	9
5	97	9
6	118	9
7	173	9
8	383	9
9	1291	9
done	5000	9
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	11	22
1	23	22
2	36	22
3	63	22
4	77	22
done	77	22
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	2	2
1	4	1
done	4	1
0	9	10
1	21	10
2	34	10
3	61	10
4	75	10
done	75	10
0	24	42
1	74	38
2	211	38
3	767	38
4	3830	38
done	5001	38
0	14	24
1	37	20
2	105	20
3	390	20
4	1515	20
done	5000	20
0	21	34
1	52	32
2	134	32
3	485	28
4	2358	28
done	5000	28
0	11	16
1	22	14
2	52	14
3	146	14
4	395	14
5	1072	14
6	2762	14
done	5001	14
0	21	34
1	64	32
2	199	32
3	779	28
4	3199	28
done	5000	28
0	11	16
1	28	14
2	76	14
3	221	14
4	551	14
5	1496	14
6	3562	14
done	5000	14
0	16	26
1	34	26
2	104	26
3	441	22
4	1674	18
done	5000	18
0	7	8
1	12	8
2	26	8
3	60	8
4	122	8
5	213	8
6	301	8
7	443	8
8	689	8
9	867	8
10	876	8
done	876	8
0	12	14
1	38	14
2	102	14
3	374	14
4	1003	14
5	2723	14
done	5000	14
0	13	30
1	46	24
2	162	24
3	555	24
4	2411	24
done	5000	24
0	11	20
1	39	18
2	127	18
3	428	18
4	1541	18
done	5000	18
0	9	10
1	22	10
2	44	10
3	88	10
4	146	10
5	230	9
6	445	8
7	965	8
8	3588	8
done	5000	8
0	11	23
1	23	23
2	36	23
3	63	23
4	77	23
done	77	23
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	11	32
1	24	32
2	39	12
3	69	9
4	87	9
5	97	9
6	118	9
7	173	9
8	383	9
9	1291	9
done	5000	9
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	59	11
4	72	11
5	75	11
done	75	11
0	10	11
1	22	11
2	35	11
3	59	11
4	72	11
5	75	11
done	75	11
0	11	22
1	23	22
2	36	22
3	60	22
4	73	22
5	76	22
done	76	22
0	10	11
1	22	11
2	35	11
3	59	11
4	72	11
5	75	11
done	75	11
0	10	11
1	22	11
2	35	11
3	59	11
4	72	11
5	75	11
done	75	11
0	10	11
1	22	11
2	35	11
3	59	11
4	72	11
5	75	11
done	75	11
0	2	2
1	4	1
done	4	1
0	9	10
1	21	10
2	34	10
3	58	10
4	75	10
5	78	10
done	78	10
0	24	42
1	80	38
2	262	38
3	1095	38
4	4923	38
done	5000	38
0	14	24
1	37	20
2	105	20
3	392	20
4	1530	20
done	5000	20
0	21	34
1	58	32
2	160	32
3	551	28
4	2236	28
done	5000	28
0	11	16
1	22	14
2	51	14
3	145	14
4	400	14
5	1024	14
6	2703	14
done	5001	14
0	21	34
1	64	32
2	204	32
3	791	32
4	3751	28
done	5000	28
0	11	16
1	28	14
2	77	14
3	218	14
4	579	14
5	1535	14
6	3662	14
done	5000	14
0	16	26
1	34	26
2	104	26
3	453	22
4	1673	18
done	5000	18
0	7	8
1	12	8
2	26	8
3	60	8
4	122	8
5	213	8
6	301	8
7	443	8
8	690	8
9	868	8
10	877	8
done	877	8
0	12	14
1	38	14
2	102	14
3	370	14
4	1002	14
5	2682	14
done	5001	14
0	13	30
1	52	24
2	181	24
3	588	24
4	2555	24
done	5000	24
0	11	20
1	39	18
2	114	18
3	351	18
4	1200	18
done	5000	18
0	9	10
1	22	10
2	38	10
3	74	10
4	131	10
5	203	10
6	332	10
7	500	10
8	576	8
9	787	8
10	2417	8
done	5000	8
0	11	23
1	23	23
2	36	23
3	60	23
4	73	23
5	76	23
done	76	23
0	10	11
1	22	11
2	35	11
3	59	11
4	72	11
5	75	11
done	75	11
0	11	32
1	24	32
2	39	12
3	67	9
4	87	9
5	100	9
6	121	9
7	180	9
8	384	9
9	1297	9
done	5001	9
0	10	11
1	22	11
2	35	11
3	59	11
4	72	11
5	75	11
done	75	11
0	10	11
1	22	11
2	35	11
3	59	11
4	72	11
5	75	11
done	75	11
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	9	19
1	27	19
2	91	19
3	502	19
4	2341	19
done	5000	19
0	10	21
1	22	21
2	35	21
3	62	21
4	72	21
done	72	21
0	2	3
1	6	1
done	6	1
0	11	23
1	24	13
2	38	13
3	65	13
4	77	13
done	77	13
0	11	22
1	25	22
2	39	13
3	67	13
4	79	13
done	79	13
0	11	22
1	25	22
2	41	22
3	73	22
4	103	22
5	141	22
6	243	22
7	612	22
8	2288	22
done	5001	22
0	9	19
1	27	19
2	91	19
3	502	19
4	2341	19
done	5000	19
0	12	45
1	24	45
2	37	45
3	64	45
4	78	45
done	78	45
0	11	22
1	23	22
2	36	22
3	63	22
4	77	22
done	77	22
0	12	65
1	32	65
2	53	23
3	91	12
4	273	12
5	1257	12
done	5000	12
0	11	22
1	24	11
2	37	11
3	64	11
4	76	11
done	76	11
0	11	22
1	24	11
2	37	11
3	64	11
4	76	11
done	76	11
0	25	85
1	75	77
2	212	77
3	764	77
4	3840	77
done	5001	77
0	15	49
1	38	41
2	106	41
3	391	41
4	1513	41
done	5001	41
0	32	77
1	94	71
2	283	71
3	1088	67
done	5000	67
0	18	41
1	45	35
2	125	35
3	462	35
4	1698	35
done	5000	35
0	31	77
1	99	71
2	322	71
3	1366	67
done	5000	67
0	18	41
1	51	35
2	152	35
3	554	35
4	1905	35
done	5000	35
0	34	69
1	103	65
2	306	65
3	1174	61
done	5001	57
0	19	33
1	48	29
2	128	29
3	442	29
4	1610	29
done	5001	29
0	32	57
1	107	53
2	301	53
3	1105	53
4	4757	53
done	5000	53
0	25	55
1	82	45
2	258	45
3	923	45
4	3916	45
done	5000	45
0	32	63
1	111	57
2	324	57
3	1163	57
done	5000	57
0	21	35
1	58	31
2	148	31
3	475	31
4	1669	31
done	5001	31
0	32	77
1	94	71
2	283	71
3	1087	67
done	5000	67
0	18	41
1	45	35
2	125	35
3	462	35
4	1701	35
done	5000	35
0	22	69
1	53	65
2	135	65
3	486	57
4	2363	57
done	5000	57
0	12	33
1	23	29
2	53	29
3	147	29
4	398	29
5	1076	29
6	2755	29
done	5000	29
0	34	69
1	103	65
2	310	65
3	1203	57
done	5001	57
0	19	33
1	48	29
2	124	29
3	358	29
4	895	29
5	2428	29
done	5000	29
0	28	61
1	71	59
2	200	59
3	808	51
4	3695	47
done	5001	47
0	15	25
1	30	23
2	72	23
3	193	23
4	483	23
5	1235	23
6	3025	23
done	5000	23
0	29	49
1	84	47
2	225	47
3	826	43
4	3297	43
done	5000	43
0	22	47
1	67	39
2	205	39
3	687	39
4	2811	39
done	5000	39
0	29	55
1	88	51
2	246	51
3	870	47
4	3786	47
done	5000	47
0	18	27
1	43	25
2	95	25
3	231	25
4	543	25
5	1295	23
6	3390	23
done	5000	23
0	31	77
1	99	71
2	322	71
3	1372	67
done	5000	67
0	18	41
1	51	35
2	152	35
3	554	35
4	1905	35
done	5001	35
0	34	69
1	103	65
2	310	65
3	1207	57
done	5000	57
0	19	33
1	48	29
2	124	29
3	358	29
4	891	29
5	2410	29
done	5001	29
0	22	69
1	65	65
2	200	65
3	785	57
4	3239	57
done	5000	57
0	12	33
1	29	29
2	77	29
3	222	29
4	556	29
5	1512	29
6	3583	29
done	5000	29
0	29	61
1	84	59
2	271	59
3	1115	51
4	4510	47
done	5000	47
0	15	25
1	36	23
2	94	23
3	258	23
4	613	23
5	1593	23
6	3843	23
done	5000	23
0	29	49
1	96	47
2	285	47
3	1123	43
4	4195	43
done	5000	43
0	22	47
1	73	39
2	236	39
3	764	39
4	2949	39
done	5000	39
0	29	55
1	100	51
2	314	51
3	1173	47
4	4850	47
done	5000	47
0	18	27
1	49	25
2	119	25
3	308	25
4	697	25
5	1712	23
6	4399	23
done	5000	23
0	34	69
1	103	65
2	306	65
3	1173	61
done	5000	57
0	19	33
1	48	29
2	128	29
3	442	29
4	1610	29
done	5001	29
0	28	61
1	71	59
2	200	59
3	806	51
4	3716	47
done	5000	47
0	15	25
1	30	23
2	72	23
3	193	23
4	483	23
5	1232	23
6	3000	23
done	5000	23
0	29	61
1	84	59
2	271	59
3	1113	51
4	4507	47
done	5000	47
0	15	25
1	36	23
2	94	23
3	258	23
4	609	23
5	1585	23
6	3852	23
done	5000	23
0	17	53
1	35	53
2	105	53
3	442	45
4	1668	37
done	5001	37
0	8	17
1	13	17
2	27	17
3	61	17
4	123	17
5	208	17
6	296	17
7	438	17
8	686	17
9	865	17
10	874	17
done	874	17
0	25	41
1	68	41
2	197	41
3	776	37
4	2625	33
done	5000	33
0	18	39
1	57	33
2	187	33
3	608	33
4	2528	33
done	5001	33
0	24	47
1	69	45
2	218	45
3	824	41
4	3125	37
done	5000	37
0	14	19
1	33	19
2	69	19
3	145	19
4	264	19
5	436	17
6	847	17
7	2214	17
done	5000	17
0	32	57
1	107	53
2	301	53
3	1104	53
4	4785	53
done	5000	53
0	25	55
1	82	45
2	258	45
3	922	45
4	3888	45
done	5000	45
0	29	49
1	84	47
2	225	47
3	828	43
4	3313	43
done	5000	43
0	22	47
1	67	39
2	205	39
3	688	39
4	2795	39
done	5001	39
0	29	49
1	96	47
2	285	47
3	1133	43
4	4179	43
done	5000	43
0	22	47
1	73	39
2	236	39
3	764	39
4	2937	39
done	5001	39
0	25	41
1	68	41
2	197	41
3	777	37
4	2576	33
done	5001	33
0	18	39
1	57	33
2	187	33
3	612	33
4	2532	33
done	5000	33
0	13	29
1	39	29
2	103	29
3	376	29
4	1025	29
5	2709	29
done	5001	29
0	14	61
1	47	49
2	163	49
3	555	49
4	2408	49
done	5000	49
0	17	35
1	61	33
2	200	33
3	745	33
4	2528	33
done	5000	33
0	16	41
1	54	35
2	189	35
3	621	35
4	2518	35
done	5000	35
0	32	63
1	111	57
2	324	57
3	1165	57
done	5001	57
0	21	35
1	58	31
2	148	31
3	473	31
4	1670	31
done	5000	31
0	29	55
1	88	51
2	246	51
3	871	47
4	3784	47
done	5000	47
0	18	27
1	43	25
2	95	25
3	231	25
4	543	25
5	1308	23
6	3378	23
done	5000	23
0	29	55
1	100	51
2	314	51
3	1182	47
4	4845	47
done	5000	47
0	18	27
1	49	25
2	119	25
3	308	25
4	697	25
5	1728	23
6	4459	23
done	5000	23
0	24	47
1	69	45
2	218	45
3	826	41
4	3145	37
done	5000	37
0	14	19
1	33	19
2	69	19
3	145	19
4	265	19
5	429	17
6	840	17
7	2198	17
done	5000	17
0	17	35
1	61	33
2	200	33
3	743	33
4	2478	33
done	5000	33
0	16	41
1	54	35
2	189	35
3	615	35
4	2507	35
done	5000	35
0	12	41
1	40	37
2	128	37
3	432	37
4	1538	37
done	5000	37
0	10	21
1	23	21
2	45	21
3	89	21
4	146	21
5	224	19
6	439	17
7	954	17
8	3539	17
done	5000	17
0	12	45
1	24	45
2	37	45
3	64	45
4	78	45
done	78	45
0	11	23
1	23	23
2	36	23
3	63	23
4	77	23
done	77	23
0	11	23
1	23	23
2	36	23
3	63	23
4	77	23
done	77	23
0	11	23
1	23	23
2	36	23
3	63	23
4	77	23
done	77	23
0	3	5
1	5	3
done	5	1
0	10	21
1	22	21
2	35	21
3	62	21
4	72	21
done	72	21
0	12	47
1	28	47
2	43	25
3	78	13
4	101	13
5	127	13
6	194	13
7	401	13
8	1299	13
done	5000	13
0	11	23
1	23	23
2	36	23
3	63	23
4	77	23
done	77	23
0	11	23
1	23	10
2	37	10
3	64	10
4	78	10
done	78	10
0	11	23
1	23	10
2	37	10
3	64	10
4	78	10
done	78	10
0	2	3
1	4	1
done	4	1
0	10	21
1	22	21
2	35	21
3	62	21
4	72	21
done	72	21
0	11	23
1	23	23
2	36	23
3	63	23
4	77	23
done	77	23
0	11	23
1	23	23
2	36	23
3	63	23
4	77	23
done	77	23
0	13	23
1	26	23
2	39	23
3	68	23
4	78	23
done	78	23
0	13	23
1	26	23
2	39	23
3	68	23
4	78	23
done	78	23
0	13	23
1	26	23
2	39	23
3	68	23
4	78	23
done	78	23
0	13	23
1	26	23
2	39	23
3	68	23
4	78	23
done	78	23
0	11	23
1	23	10
2	37	10
3	64	10
4	78	10
done	78	10
0	11	23
1	23	10
2	37	10
3	64	10
4	78	10
done	78	10
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	12	33
1	25	33
2	38	33
3	65	33
4	79	33
done	79	33
0	12	22
1	25	22
2	38	22
3	65	22
4	79	22
done	79	22
0	12	13
1	27	12
2	40	12
3	66	10
4	81	10
done	81	10
0	12	34
1	27	34
2	42	34
3	69	34
4	79	34
done	79	34
0	11	22
1	24	22
2	37	22
3	64	22
4	74	22
done	74	22
0	11	12
1	26	10
2	42	10
3	68	10
4	78	10
done	78	10
0	11	22
1	24	22
2	37	22
3	64	22
4	74	22
done	74	22
0	12	22
1	25	22
2	38	22
3	65	22
4	79	22
done	79	22
0	10	21
1	22	21
2	35	21
3	62	21
4	72	21
done	72	21
0	11	22
1	24	22
2	37	22
3	64	22
4	74	22
done	74	22
0	11	22
1	24	22
2	37	22
3	64	22
4	74	22
done	74	22
0	10	21
1	22	21
2	35	21
3	62	21
4	72	21
done	72	21
0	30	53
1	93	49
2	239	49
3	812	49
4	3865	49
done	5001	49
0	27	45
1	70	43
2	163	43
3	535	39
4	2413	39
done	5000	39
0	27	45
1	82	43
2	225	43
3	835	39
4	3272	39
done	5000	39
0	22	37
1	51	37
2	131	37
3	486	33
4	1707	29
done	5000	29
0	15	25
1	45	25
2	121	25
3	416	25
4	1093	25
5	2766	25
done	5001	25
0	14	31
1	45	29
2	138	29
3	458	29
4	1640	29
done	5002	29
0	30	53
1	93	49
2	239	49
3	814	49
4	3890	49
done	5001	49
0	27	45
1	70	43
2	163	43
3	533	39
4	2402	39
done	5000	39
0	27	45
1	82	43
2	225	43
3	835	39
4	3280	39
done	5000	39
0	22	37
1	51	37
2	131	37
3	486	33
4	1710	29
done	5001	29
0	15	25
1	45	25
2	121	25
3	419	25
4	1103	25
5	2780	25
done	5001	25
0	14	31
1	45	29
2	138	29
3	454	29
4	1636	29
done	5000	29
0	26	38
1	56	38
2	110	38
3	213	35
4	464	26
5	1209	22
6	4175	22
done	5001	22
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	26	38
1	56	38
2	110	38
3	213	35
4	464	26
5	1209	22
6	4175	22
done	5001	22
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	21	36
1	47	33
2	85	19
3	204	13
4	442	12
5	1157	12
6	3645	12
done	5000	12
0	10	10
1	21	9
2	37	8
3	77	7
4	152	4
5	301	4
6	638	4
7	2090	4
done	5000	4
0	12	13
1	21	13
2	38	13
3	85	12
4	194	9
5	450	7
6	1058	7
7	3612	6
done	5001	6
0	20	34
1	44	34
2	84	34
3	155	21
4	334	17
5	918	16
6	2905	15
done	5001	15
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	15	17
1	31	16
2	66	14
3	189	11
4	553	10
5	2139	10
done	5000	9

prune436.0ms

Filtered

125 candidates to 151 candidates (-20.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	149	2	151
Fresh	0	2	2
Picked	1	0	1
Done	0	2	2
Total	150	6	156

Merged error: 0b

Counts

156 → 6

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (+ (+ z x) (* 2 (+ x y))))
0.6b	(cbrt (+ (+ z x) (* 2 (+ x y))))
0.6b	(cbrt (+ (+ z x) (* 2 (+ x y))))
0.6b	(cbrt (+ (+ z x) (* 2 (+ x y))))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

24×	`cbrt-div`
20×	`flip3-+` `flip-+`
16×	`associate-*r/` `frac-add`
12×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `pow1/3` `add-cbrt-cube` `add-log-exp`

Counts

4 → 68

Calls

4 calls:

7.0ms	(cbrt (+ (+ z x) (* 2 (+ x y))))
7.0ms	(cbrt (+ (+ z x) (* 2 (+ x y))))
6.0ms	(cbrt (+ (+ z x) (* 2 (+ x y))))
6.0ms	(cbrt (+ (+ z x) (* 2 (+ x y))))

series200.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(cbrt (+ (+ z x) (* 2 (+ x y))))
51.0ms	(cbrt (+ (+ z x) (* 2 (+ x y))))
48.0ms	(cbrt (+ (+ z x) (* 2 (+ x y))))
53.0ms	(cbrt (+ (+ z x) (* 2 (+ x y))))

simplify2.5min

Counts

80 → 80

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	11	22
1	23	22
2	36	22
3	63	22
4	77	22
done	77	22
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	2	2
1	4	1
done	4	1
0	9	10
1	21	10
2	34	10
3	61	10
4	75	10
done	75	10
0	24	42
1	74	38
2	211	38
3	767	38
4	3830	38
done	5001	38
0	14	24
1	37	20
2	105	20
3	390	20
4	1515	20
done	5000	20
0	21	34
1	52	32
2	134	32
3	485	28
4	2358	28
done	5000	28
0	11	16
1	22	14
2	52	14
3	146	14
4	395	14
5	1072	14
6	2762	14
done	5001	14
0	21	34
1	64	32
2	199	32
3	779	28
4	3199	28
done	5000	28
0	11	16
1	28	14
2	76	14
3	221	14
4	551	14
5	1496	14
6	3562	14
done	5000	14
0	16	26
1	34	26
2	104	26
3	441	22
4	1674	18
done	5000	18
0	7	8
1	12	8
2	26	8
3	60	8
4	122	8
5	213	8
6	301	8
7	443	8
8	689	8
9	867	8
10	876	8
done	876	8
0	12	14
1	38	14
2	102	14
3	374	14
4	1003	14
5	2723	14
done	5000	14
0	13	30
1	46	24
2	162	24
3	555	24
4	2411	24
done	5000	24
0	11	20
1	39	18
2	127	18
3	428	18
4	1541	18
done	5000	18
0	9	10
1	22	10
2	44	10
3	88	10
4	146	10
5	230	9
6	445	8
7	965	8
8	3588	8
done	5000	8
0	11	23
1	23	23
2	36	23
3	63	23
4	77	23
done	77	23
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	11	32
1	24	32
2	39	12
3	69	9
4	87	9
5	97	9
6	118	9
7	173	9
8	383	9
9	1291	9
done	5000	9
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	11	22
1	23	22
2	36	22
3	63	22
4	77	22
done	77	22
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	2	2
1	4	1
done	4	1
0	9	10
1	21	10
2	34	10
3	61	10
4	75	10
done	75	10
0	24	42
1	74	38
2	211	38
3	767	38
4	3830	38
done	5001	38
0	14	24
1	37	20
2	105	20
3	390	20
4	1515	20
done	5000	20
0	21	34
1	52	32
2	134	32
3	485	28
4	2358	28
done	5000	28
0	11	16
1	22	14
2	52	14
3	146	14
4	395	14
5	1072	14
6	2762	14
done	5001	14
0	21	34
1	64	32
2	199	32
3	779	28
4	3199	28
done	5000	28
0	11	16
1	28	14
2	76	14
3	221	14
4	551	14
5	1496	14
6	3562	14
done	5000	14
0	16	26
1	34	26
2	104	26
3	441	22
4	1674	18
done	5000	18
0	7	8
1	12	8
2	26	8
3	60	8
4	122	8
5	213	8
6	301	8
7	443	8
8	689	8
9	867	8
10	876	8
done	876	8
0	12	14
1	38	14
2	102	14
3	374	14
4	1003	14
5	2723	14
done	5000	14
0	13	30
1	46	24
2	162	24
3	555	24
4	2411	24
done	5000	24
0	11	20
1	39	18
2	127	18
3	428	18
4	1541	18
done	5000	18
0	9	10
1	22	10
2	44	10
3	88	10
4	146	10
5	230	9
6	445	8
7	965	8
8	3588	8
done	5000	8
0	11	23
1	23	23
2	36	23
3	63	23
4	77	23
done	77	23
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	11	32
1	24	32
2	39	12
3	69	9
4	87	9
5	97	9
6	118	9
7	173	9
8	383	9
9	1291	9
done	5000	9
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	11	22
1	23	22
2	36	22
3	63	22
4	77	22
done	77	22
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	2	2
1	4	1
done	4	1
0	9	10
1	21	10
2	34	10
3	61	10
4	75	10
done	75	10
0	24	42
1	74	38
2	211	38
3	767	38
4	3830	38
done	5001	38
0	14	24
1	37	20
2	105	20
3	390	20
4	1515	20
done	5000	20
0	21	34
1	52	32
2	134	32
3	485	28
4	2358	28
done	5000	28
0	11	16
1	22	14
2	52	14
3	146	14
4	395	14
5	1072	14
6	2762	14
done	5001	14
0	21	34
1	64	32
2	199	32
3	779	28
4	3199	28
done	5000	28
0	11	16
1	28	14
2	76	14
3	221	14
4	551	14
5	1496	14
6	3562	14
done	5000	14
0	16	26
1	34	26
2	104	26
3	441	22
4	1674	18
done	5000	18
0	7	8
1	12	8
2	26	8
3	60	8
4	122	8
5	213	8
6	301	8
7	443	8
8	689	8
9	867	8
10	876	8
done	876	8
0	12	14
1	38	14
2	102	14
3	374	14
4	1003	14
5	2723	14
done	5000	14
0	13	30
1	46	24
2	162	24
3	555	24
4	2411	24
done	5000	24
0	11	20
1	39	18
2	127	18
3	428	18
4	1541	18
done	5000	18
0	9	10
1	22	10
2	44	10
3	88	10
4	146	10
5	230	9
6	445	8
7	965	8
8	3588	8
done	5000	8
0	11	23
1	23	23
2	36	23
3	63	23
4	77	23
done	77	23
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	11	32
1	24	32
2	39	12
3	69	9
4	87	9
5	97	9
6	118	9
7	173	9
8	383	9
9	1291	9
done	5000	9
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	11	22
1	23	22
2	36	22
3	63	22
4	77	22
done	77	22
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	2	2
1	4	1
done	4	1
0	9	10
1	21	10
2	34	10
3	61	10
4	75	10
done	75	10
0	24	42
1	74	38
2	211	38
3	767	38
4	3830	38
done	5001	38
0	14	24
1	37	20
2	105	20
3	390	20
4	1515	20
done	5000	20
0	21	34
1	52	32
2	134	32
3	485	28
4	2358	28
done	5000	28
0	11	16
1	22	14
2	52	14
3	146	14
4	395	14
5	1072	14
6	2762	14
done	5001	14
0	21	34
1	64	32
2	199	32
3	779	28
4	3199	28
done	5000	28
0	11	16
1	28	14
2	76	14
3	221	14
4	551	14
5	1496	14
6	3562	14
done	5000	14
0	16	26
1	34	26
2	104	26
3	441	22
4	1674	18
done	5000	18
0	7	8
1	12	8
2	26	8
3	60	8
4	122	8
5	213	8
6	301	8
7	443	8
8	689	8
9	867	8
10	876	8
done	876	8
0	12	14
1	38	14
2	102	14
3	374	14
4	1003	14
5	2723	14
done	5000	14
0	13	30
1	46	24
2	162	24
3	555	24
4	2411	24
done	5000	24
0	11	20
1	39	18
2	127	18
3	428	18
4	1541	18
done	5000	18
0	9	10
1	22	10
2	44	10
3	88	10
4	146	10
5	230	9
6	445	8
7	965	8
8	3588	8
done	5000	8
0	11	23
1	23	23
2	36	23
3	63	23
4	77	23
done	77	23
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	11	32
1	24	32
2	39	12
3	69	9
4	87	9
5	97	9
6	118	9
7	173	9
8	383	9
9	1291	9
done	5000	9
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	10	11
1	22	11
2	35	11
3	62	11
4	72	11
done	72	11
0	26	38
1	56	38
2	110	38
3	213	35
4	464	26
5	1209	22
6	4175	22
done	5001	22
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	26	38
1	56	38
2	110	38
3	213	35
4	464	26
5	1209	22
6	4175	22
done	5001	22
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	26	38
1	56	38
2	110	38
3	213	35
4	464	26
5	1209	22
6	4175	22
done	5001	22
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	26	38
1	56	38
2	110	38
3	213	35
4	464	26
5	1209	22
6	4175	22
done	5001	22
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2

prune382.0ms

Filtered

68 candidates to 80 candidates (-17.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	80	6	86

Merged error: 0b

Counts

86 → 6

regimes244.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample612.0ms

Algorithm

intervals

Results

224.0ms	7431×	body	80	valid
22.0ms	173×	body	1280	valid
18.0ms	168×	body	640	valid
9.0ms	120×	body	320	valid
7.0ms	46×	body	2560	valid
4.0ms	75×	body	160	valid

Details

sample22.0ms

simplify185.0ms

prune7.0ms

localize8.0ms

rewrite37.0ms

series17.0ms

simplify1.5min

prune82.0ms

localize11.0ms

rewrite27.0ms

series192.0ms

simplify1.6min

prune190.0ms

localize15.0ms

rewrite52.0ms

series219.0ms

simplify4.9min

prune436.0ms

localize20.0ms

rewrite29.0ms

series200.0ms

simplify2.5min

prune382.0ms

regimes244.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample612.0ms

Profiling