Details

sample60.0ms

Algorithm

intervals

Results

32.0ms

276×

body

valid

simplify4.1s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	37
1	55	37
2	115	37
3	240	37
4	595	37
5	1510	37
6	3012	37
7	4728	37
done	5000	37

prune5.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: 30.9b

Counts

2 → 1

localize27.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
0.1b	(* (+ (* z 3.13060547623) 11.1667541262) z)
2.4b	(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
29.4b	(/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

rewrite78.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
15×	`add-exp-log` `add-cbrt-cube`
12×	`add-cube-cbrt` `*-un-lft-identity`
10×	`pow1`
9×	`associate-r` `associate-l`
5×	`flip3-+` `flip-+`
4×	`associate-r/` `associate-l/` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`times-frac` `pow-prod-down` `associate-/r` `-commutative` `unswap-sqr`
2×	`cbrt-undiv` `div-exp` `associate-/r/` `associate-/l/`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `clear-num` `div-inv` `associate-/l*`

Counts

4 → 87

Calls

4 calls:

12.0ms	(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
8.0ms	(* (+ (* z 3.13060547623) 11.1667541262) z)
23.0ms	(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
32.0ms	(/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

series237.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
7.0ms	(* (+ (* z 3.13060547623) 11.1667541262) z)
58.0ms	(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
165.0ms	(/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

simplify4.9min

Counts

99 → 99

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	31	38
1	51	38
2	105	38
3	201	38
4	428	38
5	832	38
6	1180	38
7	1302	38
8	1657	38
9	2773	38
done	5000	38
0	30	37
1	57	37
2	119	37
3	242	37
4	556	37
5	1260	37
6	2020	37
7	2395	37
8	3190	37
done	5000	37
0	29	36
1	56	36
2	124	36
3	265	36
4	621	36
5	1516	36
6	2825	36
7	4060	36
done	5000	36
0	29	36
1	53	36
2	113	36
3	242	36
4	599	36
5	1537	36
6	3092	36
done	5002	36
0	34	107
1	88	107
2	349	41
3	1561	41
done	5001	41
0	32	107
1	84	107
2	329	39
3	1548	37
done	5000	37
0	30	73
1	54	73
2	114	73
3	241	73
4	583	73
5	1470	73
6	2806	73
7	3976	73
done	5000	73
0	29	36
1	53	36
2	113	36
3	240	36
4	585	36
5	1477	36
6	2806	36
7	4056	36
done	5000	36
0	30	107
1	61	107
2	170	37
3	607	37
4	3327	37
done	5001	37
0	29	36
1	53	36
2	113	36
3	240	36
4	585	36
5	1477	36
6	2806	36
7	4056	36
done	5000	36
0	29	36
1	53	36
2	113	36
3	240	36
4	585	36
5	1477	36
6	2806	36
7	4056	36
done	5000	36
0	17	20
1	36	20
2	86	20
3	205	20
4	632	20
5	1945	20
6	4603	20
done	5000	20
0	13	16
1	23	16
2	54	16
3	115	16
4	318	16
5	941	16
6	2060	16
7	3086	16
done	5000	16
0	16	35
1	25	35
2	48	35
3	92	35
4	205	35
5	418	35
6	582	35
7	634	35
8	793	35
9	1310	35
10	3294	35
done	5001	35
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	809	34
6	1132	34
7	1232	34
8	1561	34
9	2694	34
done	5000	34
0	15	18
1	22	18
2	45	18
3	89	18
4	198	18
5	405	18
6	568	18
7	618	18
8	785	18
9	1301	18
10	3316	18
done	5000	18
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	809	34
6	1132	34
7	1232	34
8	1561	34
9	2694	34
done	5000	34
0	3	3
1	5	1
done	5	1
0	26	33
1	41	33
2	88	33
3	178	33
4	397	33
5	802	33
6	1173	33
7	1277	33
8	1616	33
9	2742	33
done	5000	33
0	14	17
1	23	17
2	46	17
3	90	17
4	199	17
5	401	17
6	553	17
7	605	17
8	766	17
9	1278	17
10	3264	17
done	5000	17
0	28	35
1	52	35
2	110	35
3	224	35
4	529	35
5	1226	35
6	1973	35
7	2341	35
8	3074	35
done	5001	35
0	30	53
1	59	53
2	129	53
3	272	53
4	646	53
5	1729	53
6	3788	53
done	5001	53
0	29	36
1	53	36
2	113	36
3	240	36
4	585	36
5	1478	36
6	2814	36
7	4027	36
done	5000	36
0	18	21
1	37	19
2	78	19
3	170	19
4	376	19
5	875	19
6	1498	19
7	1705	19
8	1905	19
9	2545	19
10	4821	19
done	5000	19
0	26	33
1	41	33
2	88	33
3	178	33
4	399	33
5	807	33
6	1173	33
7	1277	33
8	1608	33
9	2727	33
done	5000	33
0	31	39
1	71	39
2	168	39
3	441	39
4	1540	39
done	5002	39
0	30	51
1	65	51
2	170	51
3	475	51
4	1632	51
done	5001	51
0	30	69
1	68	67
2	217	67
3	822	53
4	4215	53
done	5000	53
0	26	33
1	43	33
2	105	33
3	260	33
4	985	33
done	5000	33
0	16	19
1	31	19
2	64	19
3	135	19
4	337	19
5	843	19
6	1419	19
7	1633	19
8	1831	19
9	2469	19
10	4759	19
done	5000	19
0	18	21
1	27	21
2	51	21
3	98	21
4	212	21
5	411	21
6	550	21
7	581	21
8	659	21
9	908	21
10	1722	21
done	5000	21
0	17	20
1	35	20
2	69	20
3	140	20
4	340	20
5	848	20
6	1446	20
7	1638	20
8	1836	20
9	2477	20
10	4769	20
done	5000	20
0	17	20
1	34	20
2	76	20
3	172	20
4	456	20
5	1333	20
6	3318	20
done	5000	20
0	20	59
1	47	59
2	168	23
3	701	23
4	4184	21
done	5000	21
0	18	41
1	33	41
2	66	41
3	139	41
4	339	41
5	847	41
6	1465	41
7	1643	41
8	1837	41
9	2474	41
10	4760	41
done	5000	41
0	17	20
1	32	20
2	65	20
3	136	20
4	340	20
5	844	20
6	1445	20
7	1641	20
8	1837	20
9	2474	20
10	4762	20
done	5000	20
0	18	59
1	43	59
2	147	21
3	568	21
4	2765	21
done	5000	21
0	17	20
1	32	20
2	65	20
3	136	20
4	340	20
5	844	20
6	1445	20
7	1641	20
8	1837	20
9	2474	20
10	4762	20
done	5000	20
0	17	20
1	32	20
2	65	20
3	136	20
4	340	20
5	844	20
6	1445	20
7	1641	20
8	1837	20
9	2474	20
10	4762	20
done	5000	20
0	18	21
1	27	21
2	51	21
3	98	21
4	212	21
5	411	21
6	550	21
7	581	21
8	659	21
9	908	21
10	1722	21
done	5000	21
0	18	21
1	27	21
2	51	21
3	98	21
4	212	21
5	411	21
6	550	21
7	581	21
8	659	21
9	908	21
10	1722	21
done	5000	21
0	14	17
1	24	17
2	62	17
3	141	17
4	369	17
5	788	17
6	982	17
7	1041	17
8	1243	17
9	1884	17
10	4157	17
done	5000	17
0	3	3
1	4	3
done	4	3
0	14	17
1	24	17
2	54	17
3	119	17
4	286	17
5	641	17
6	908	17
7	994	17
8	1190	17
9	1832	17
10	4127	17
done	5001	17
0	3	3
1	4	3
done	4	3
0	18	39
1	29	39
2	55	39
3	102	39
4	216	39
5	423	39
6	570	39
7	601	39
8	679	39
9	927	39
10	1752	39
done	5001	39
0	17	20
1	26	20
2	50	20
3	97	20
4	211	20
5	418	20
6	574	20
7	605	20
8	681	20
9	928	20
10	1761	20
done	5001	20
0	3	3
1	6	1
done	6	1
0	17	20
1	32	20
2	65	20
3	136	20
4	341	20
5	838	20
6	1441	20
7	1624	20
8	1824	20
9	2452	20
10	4728	20
done	5001	20
0	17	20
1	32	20
2	65	20
3	136	20
4	341	20
5	838	20
6	1441	20
7	1624	20
8	1824	20
9	2452	20
10	4728	20
done	5001	20
0	16	19
1	31	19
2	64	19
3	135	19
4	337	19
5	843	19
6	1419	19
7	1633	19
8	1831	19
9	2469	19
10	4759	19
done	5000	19
0	19	23
1	50	23
2	141	23
3	483	23
4	2082	23
done	5000	23
0	18	37
1	38	37
2	106	37
3	341	37
4	1422	37
done	5000	37
0	6	7
1	9	7
2	17	7
3	20	7
done	20	7
0	8	9
1	11	9
done	11	9
0	7	8
1	13	8
2	22	8
3	25	8
done	25	8
0	7	8
1	12	8
2	30	8
3	48	8
4	83	8
5	173	8
6	456	8
7	1329	8
8	4831	8
done	5000	8
0	10	23
1	31	23
2	107	11
3	375	11
4	1427	9
done	5000	9
0	8	17
1	11	17
2	19	17
3	22	17
done	22	17
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	8	23
1	21	23
2	82	9
3	311	9
4	877	9
5	2337	9
done	5001	9
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	8	11
1	13	11
2	23	11
3	43	11
4	59	11
5	61	11
done	61	11
0	7	8
1	10	8
2	18	8
3	26	8
done	26	8
0	7	7
1	12	5
2	23	5
3	39	5
4	49	5
done	49	5
0	7	8
1	10	8
done	10	8
0	7	8
1	10	8
done	10	8
0	6	7
1	9	7
2	17	7
3	20	7
done	20	7
0	9	11
1	28	11
2	74	11
3	186	11
4	405	11
5	1202	11
done	5000	11
0	8	13
1	22	13
2	50	13
3	104	13
4	222	13
5	366	13
6	596	13
7	1129	13
8	4111	13
done	5001	13
0	9	11
1	14	11
2	30	11
3	51	11
4	79	11
5	83	11
6	88	11
7	98	11
8	116	11
9	165	11
10	303	11
11	820	11
12	3108	11
done	5000	11
0	11	13
1	16	13
2	24	13
3	35	13
4	37	13
done	37	13
0	10	12
1	18	12
2	35	12
3	56	12
4	86	12
5	92	12
6	97	12
7	107	12
8	127	12
9	174	12
10	325	12
11	861	12
12	3171	12
done	5000	12
0	10	12
1	17	12
2	43	12
3	83	12
4	177	12
5	312	12
6	786	12
7	2793	12
done	5001	12
0	13	35
1	36	35
2	120	15
3	473	15
4	2540	13
done	5000	13
0	11	25
1	16	25
2	32	25
3	53	25
4	81	25
5	87	25
6	92	25
7	102	25
8	122	25
9	173	25
10	324	25
11	859	25
12	3158	25
done	5000	25
0	10	12
1	15	12
2	31	12
3	52	12
4	80	12
5	86	12
6	91	12
7	101	12
8	121	12
9	168	12
10	313	12
11	843	12
12	3150	12
done	5001	12
0	11	35
1	26	35
2	95	13
3	366	13
4	1464	13
done	5002	13
0	10	12
1	15	12
2	31	12
3	52	12
4	80	12
5	86	12
6	91	12
7	101	12
8	121	12
9	168	12
10	313	12
11	843	12
12	3150	12
done	5001	12
0	10	12
1	15	12
2	31	12
3	52	12
4	80	12
5	86	12
6	91	12
7	101	12
8	121	12
9	168	12
10	313	12
11	843	12
12	3150	12
done	5001	12
0	11	13
1	16	13
2	24	13
3	35	13
4	37	13
done	37	13
0	11	13
1	16	13
2	24	13
3	35	13
4	37	13
done	37	13
0	11	15
1	18	15
2	36	15
3	75	15
4	161	15
5	239	15
6	263	15
done	263	15
0	10	12
1	15	12
2	31	12
3	58	12
4	108	12
5	128	12
done	128	12
0	10	11
1	17	9
2	36	9
3	71	9
4	135	9
5	164	9
done	164	9
0	10	12
1	15	12
2	23	12
3	34	12
done	34	12
0	10	12
1	15	12
2	23	12
3	34	12
done	34	12
0	9	11
1	14	11
2	30	11
3	51	11
4	79	11
5	83	11
6	88	11
7	98	11
8	116	11
9	165	11
10	303	11
11	820	11
12	3108	11
done	5000	11
0	12	15
1	33	15
2	87	15
3	291	15
4	957	15
5	2991	15
done	5000	15
0	11	21
1	27	21
2	79	21
3	243	21
4	715	21
5	2032	21
done	5000	21
0	5	5
1	9	5
2	15	5
done	15	5
0	14	17
1	31	17
2	74	17
3	119	15
4	164	13
5	241	13
6	346	13
7	567	13
8	934	13
9	1906	11
done	5001	11
0	14	17
1	31	17
2	74	17
3	119	15
4	164	13
5	241	13
6	346	13
7	567	13
8	934	13
9	1906	11
done	5001	11
0	1	1
done	1	1
0	19	23
1	49	23
2	139	21
3	290	17
4	647	15
5	1743	15
done	5001	15
0	19	23
1	49	23
2	139	21
3	290	17
4	647	15
5	1743	15
done	5001	15
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	13	15
1	31	15
2	77	15
3	112	13
4	180	13
5	344	11
6	899	11
7	3265	11
done	5000	11
0	13	15
1	31	15
2	77	15
3	112	13
4	180	13
5	344	11
6	899	11
7	3265	11
done	5000	11
0	13	15
1	31	15
2	77	15
3	112	13
4	180	13
5	344	11
6	899	11
7	3265	11
done	5000	11

prune272.0ms

Filtered

79 candidates to 99 candidates (-25.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	93	6	99
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	94	6	100

Merged error: 0.3b

Counts

100 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 3.13060547623 (/ (- (/ t z) 36.527041698806414) z))
0.0b	(- (/ t z) 36.527041698806414)
0.0b	(/ (- (/ t z) 36.527041698806414) z)
3.8b	(* (+ 3.13060547623 (/ (- (/ t z) 36.527041698806414) z)) y)

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 91

Calls

4 calls:

18.0ms	(+ 3.13060547623 (/ (- (/ t z) 36.527041698806414) z))
8.0ms	(- (/ t z) 36.527041698806414)
11.0ms	(/ (- (/ t z) 36.527041698806414) z)
17.0ms	(* (+ 3.13060547623 (/ (- (/ t z) 36.527041698806414) z)) y)

series32.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(+ 3.13060547623 (/ (- (/ t z) 36.527041698806414) z))
3.0ms	(- (/ t z) 36.527041698806414)
7.0ms	(/ (- (/ t z) 36.527041698806414) z)
15.0ms	(* (+ 3.13060547623 (/ (- (/ t z) 36.527041698806414) z)) y)

simplify1.3min

Counts

103 → 103

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	17	11
2	34	11
3	54	11
4	105	11
5	159	11
6	203	11
7	241	11
8	300	11
9	398	11
10	565	11
11	663	11
12	713	11
13	719	11
done	719	11
0	12	13
1	19	13
2	28	13
3	38	13
4	48	13
5	57	13
6	62	13
7	71	13
8	90	13
9	117	13
10	134	13
11	141	13
12	146	13
done	146	13
0	11	12
1	21	12
2	39	12
3	59	12
4	110	12
5	164	12
6	208	12
7	246	12
8	305	12
9	403	12
10	570	12
11	668	12
12	718	12
13	724	12
done	724	12
0	11	12
1	20	12
2	47	12
3	88	12
4	193	12
5	366	12
6	764	12
7	1960	12
done	5000	12
0	14	35
1	39	35
2	117	15
3	392	15
4	2166	13
done	5000	13
0	12	25
1	19	25
2	36	25
3	56	25
4	107	25
5	161	25
6	205	25
7	243	25
8	302	25
9	400	25
10	567	25
11	665	25
12	715	25
13	721	25
done	721	25
0	11	12
1	18	12
2	35	12
3	55	12
4	106	12
5	160	12
6	204	12
7	242	12
8	301	12
9	399	12
10	566	12
11	664	12
12	712	12
13	718	12
done	718	12
0	12	35
1	29	35
2	99	13
3	359	13
4	1500	13
done	5000	13
0	11	12
1	18	12
2	35	12
3	55	12
4	106	12
5	160	12
6	204	12
7	242	12
8	301	12
9	399	12
10	566	12
11	664	12
12	712	12
13	718	12
done	718	12
0	11	12
1	18	12
2	35	12
3	55	12
4	106	12
5	160	12
6	204	12
7	242	12
8	301	12
9	399	12
10	566	12
11	664	12
12	712	12
13	718	12
done	718	12
0	12	13
1	19	13
2	28	13
3	38	13
4	48	13
5	57	13
6	62	13
7	71	13
8	90	13
9	117	13
10	134	13
11	141	13
12	146	13
done	146	13
0	12	13
1	19	13
2	28	13
3	38	13
4	48	13
5	57	13
6	62	13
7	71	13
8	90	13
9	117	13
10	134	13
11	141	13
12	146	13
done	146	13
0	12	15
1	21	15
2	40	15
3	72	15
4	155	15
5	273	15
6	391	15
7	525	15
8	669	15
9	888	15
10	1389	15
11	1847	15
12	2029	15
13	2038	15
done	2038	15
0	11	12
1	18	12
2	35	12
3	55	12
4	106	12
5	160	12
6	204	12
7	242	12
8	301	12
9	399	12
10	566	12
11	671	12
12	714	12
13	717	12
done	717	12
0	10	11
1	19	9
2	39	9
3	67	9
4	128	9
5	212	9
6	277	9
7	338	9
8	417	9
9	592	9
10	948	9
11	1070	9
12	1113	9
13	1114	9
done	1114	9
0	11	12
1	18	12
2	27	12
3	37	12
4	47	12
5	56	12
6	61	12
7	70	12
8	89	12
9	116	12
10	133	12
11	140	12
12	145	12
done	145	12
0	11	12
1	18	12
2	27	12
3	37	12
4	47	12
5	56	12
6	61	12
7	70	12
8	89	12
9	116	12
10	133	12
11	140	12
12	145	12
done	145	12
0	10	11
1	17	11
2	34	11
3	54	11
4	105	11
5	159	11
6	203	11
7	241	11
8	300	11
9	398	11
10	565	11
11	663	11
12	713	11
13	719	11
done	719	11
0	10	11
1	17	11
2	34	11
3	54	11
4	105	11
5	159	11
6	203	11
7	241	11
8	300	11
9	398	11
10	565	11
11	663	11
12	713	11
13	719	11
done	719	11
0	13	15
1	36	15
2	75	15
3	224	15
4	835	15
5	3328	15
done	5000	15
0	12	21
1	27	21
2	67	21
3	221	21
4	847	21
5	2954	21
done	5000	21
0	8	9
1	12	9
2	14	9
done	14	9
0	7	8
1	15	8
2	22	8
3	25	8
done	25	8
0	7	8
1	12	8
2	20	8
3	24	8
4	27	8
5	33	8
6	37	8
7	53	8
8	57	8
9	66	8
10	79	8
11	103	8
12	129	8
13	144	8
14	151	8
15	157	8
done	157	8
0	10	23
1	21	23
2	69	11
3	213	9
4	625	9
5	2341	9
done	5000	9
0	8	17
1	13	17
2	18	17
3	20	17
done	20	17
0	7	8
1	12	8
2	17	8
3	19	8
done	19	8
0	8	23
1	20	23
2	53	9
3	186	9
4	642	9
5	2052	9
done	5001	9
0	7	8
1	12	8
2	17	8
3	19	8
done	19	8
0	7	8
1	12	8
2	17	8
3	19	8
done	19	8
0	6	6
1	8	6
2	12	6
3	16	6
4	17	5
done	17	5
0	2	2
done	2	2
0	4	5
1	6	5
done	6	5
0	3	3
done	3	3
0	10	19
1	18	19
2	28	19
3	34	19
done	34	19
0	8	9
1	10	9
2	11	9
done	11	9
0	9	16
1	13	16
2	16	16
3	17	16
done	17	16
0	8	9
1	10	9
2	11	9
done	11	9
0	9	15
1	15	13
2	22	13
3	27	13
done	27	13
0	7	8
1	9	8
2	10	8
done	10	8
0	9	12
1	13	12
2	14	12
done	14	12
0	8	9
1	10	9
2	11	9
done	11	9
0	8	9
1	10	9
2	11	9
done	11	9
0	8	9
1	10	9
2	11	9
done	11	9
0	8	8
1	12	6
2	15	6
done	15	6
0	7	8
1	9	8
2	10	8
done	10	8
0	5	7
1	9	7
done	9	7
0	7	8
1	12	8
2	17	8
3	22	8
done	22	8
0	4	4
1	6	4
done	6	4
0	7	8
1	12	8
2	17	8
3	22	8
done	22	8
0	2	3
1	4	1
done	4	1
0	6	7
1	11	7
2	16	7
3	18	7
done	18	7
0	10	13
1	13	13
done	13	13
0	9	10
1	14	10
2	17	10
3	19	10
done	19	10
0	9	10
1	10	10
done	10	10
0	9	10
1	14	10
2	17	10
3	19	10
done	19	10
0	9	9
1	12	7
2	14	7
done	14	7
0	8	9
1	13	9
2	16	9
3	18	9
done	18	9
0	11	14
1	14	14
done	14	14
0	10	11
1	15	11
2	20	11
3	25	11
done	25	11
0	9	11
1	10	11
done	10	11
0	9	11
1	14	11
2	19	11
3	21	10
done	21	10
0	10	10
1	13	8
2	15	8
done	15	8
0	9	10
1	14	10
2	19	10
3	24	10
done	24	10
0	5	7
1	9	7
done	9	7
0	7	8
1	12	8
2	17	8
3	22	8
done	22	8
0	4	4
1	6	4
done	6	4
0	7	8
1	12	8
2	17	8
3	22	8
done	22	8
0	2	3
1	4	1
done	4	1
0	6	7
1	11	7
2	16	7
3	18	7
done	18	7
0	3	3
1	5	3
done	5	3
0	6	7
1	8	7
2	9	7
done	9	7
0	8	11
1	15	11
2	25	11
3	36	11
4	45	11
done	45	11
0	7	8
1	12	8
2	17	8
3	22	8
done	22	8
0	7	7
1	14	5
2	21	5
3	26	5
done	26	5
0	7	8
1	9	8
2	10	8
done	10	8
0	7	8
1	9	8
2	10	8
done	10	8
0	6	7
1	8	7
2	9	7
done	9	7
0	8	9
1	10	9
2	11	9
done	11	9
0	9	10
1	11	10
2	12	10
done	12	10
0	6	7
1	8	7
2	9	7
done	9	7
0	10	19
1	30	17
2	72	17
3	135	15
4	213	15
5	293	13
6	787	13
7	3966	13
done	5000	13
0	6	7
1	14	7
2	19	7
3	23	7
4	25	7
5	28	5
done	28	5
0	7	7
1	9	6
2	11	6
3	14	6
4	17	6
5	23	6
6	27	6
7	43	6
8	47	6
9	54	6
10	63	6
11	83	6
12	104	6
13	121	6
14	124	6
done	124	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	11	6
2	14	6
3	17	6
4	23	6
5	27	6
6	43	6
7	49	6
8	56	6
9	65	6
10	86	6
11	107	6
12	119	6
13	122	6
done	122	6
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	10	17
2	25	7
3	76	7
4	228	7
5	687	7
6	2225	7
done	5001	7
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	8	9
1	26	9
2	66	9
3	148	9
4	384	9
5	1176	9
done	5000	9
0	9	17
1	22	15
2	39	15
3	48	13
4	58	13
5	68	13
6	71	13
7	73	13
8	74	13
done	74	13
0	2	2
done	2	2
0	7	11
1	16	11
2	29	11
3	51	11
4	89	11
5	152	11
6	228	11
7	413	11
8	1810	11
done	5000	11
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	7	7
1	9	7
2	10	7
done	10	7
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
done	2	2
0	10	11
1	18	10
2	29	10
3	45	10
4	69	10
5	97	10
6	128	10
7	213	10
8	307	10
9	441	10
10	492	10
11	503	10
12	504	10
done	504	10
0	9	10
1	15	10
2	24	10
3	34	10
4	44	10
5	53	10
6	58	10
7	67	10
8	86	10
9	113	10
10	130	10
11	137	10
12	142	10
done	142	10
0	9	10
1	18	10
2	31	10
3	51	10
4	78	10
5	110	10
6	147	10
7	261	10
8	405	10
9	465	10
10	479	10
11	486	10
12	487	10
done	487	10
0	10	21
1	16	21
2	25	21
3	35	21
4	45	21
5	54	21
6	59	21
7	68	21
8	87	21
9	114	21
10	131	21
11	138	21
12	143	21
done	143	21
0	9	10
1	15	10
2	24	10
3	34	10
4	44	10
5	53	10
6	58	10
7	67	10
8	86	10
9	113	10
10	130	10
11	137	10
12	142	10
done	142	10
0	10	29
1	29	29
2	78	11
3	248	11
4	1199	11
done	5000	11
0	9	10
1	15	10
2	24	10
3	34	10
4	44	10
5	53	10
6	58	10
7	67	10
8	86	10
9	113	10
10	130	10
11	137	10
12	142	10
done	142	10
0	9	10
1	15	10
2	24	10
3	34	10
4	44	10
5	53	10
6	58	10
7	67	10
8	86	10
9	113	10
10	130	10
11	137	10
12	142	10
done	142	10
0	11	13
1	33	13
2	64	13
3	181	13
4	600	13
5	2022	13
done	5000	13
0	12	29
1	31	21
2	77	21
3	209	21
4	612	21
5	1712	21
6	4464	21
done	5000	21
0	10	19
1	24	19
2	54	19
3	167	19
4	569	19
5	1681	19
done	5000	19
0	8	9
1	15	9
2	25	9
3	37	9
4	57	9
5	61	9
6	69	9
7	84	9
8	114	9
9	131	9
10	134	9
done	134	9
0	8	9
1	14	9
2	23	9
3	33	9
4	43	9
5	52	9
6	57	9
7	66	9
8	85	9
9	112	9
10	129	9
11	136	9
12	141	9
done	141	9
0	6	7
1	9	7
done	9	7
0	14	17
1	31	17
2	74	17
3	119	15
4	164	13
5	241	13
6	346	13
7	567	13
8	934	13
9	1906	11
done	5001	11
0	14	17
1	31	17
2	74	17
3	119	15
4	164	13
5	241	13
6	346	13
7	567	13
8	934	13
9	1906	11
done	5001	11
0	14	17
1	31	17
2	74	17
3	119	15
4	164	13
5	241	13
6	346	13
7	567	13
8	934	13
9	1906	11
done	5001	11
0	10	11
1	21	11
2	43	9
3	67	9
4	113	9
5	225	9
6	573	9
7	2100	9
done	5000	9
0	10	11
1	21	11
2	43	9
3	67	9
4	113	9
5	225	9
6	573	9
7	2100	9
done	5000	9
0	10	11
1	21	11
2	43	9
3	67	9
4	113	9
5	225	9
6	573	9
7	2100	9
done	5000	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	5	5
1	7	5
2	8	5
done	8	5
0	12	13
1	26	13
2	54	11
3	84	11
4	136	11
5	267	11
6	706	11
7	2887	11
done	5000	11
0	12	13
1	26	13
2	54	11
3	84	11
4	136	11
5	257	11
6	632	11
7	2426	11
done	5001	11
0	12	13
1	26	13
2	54	11
3	84	11
4	136	11
5	257	11
6	632	11
7	2426	11
done	5001	11

prune183.0ms

Filtered

76 candidates to 103 candidates (-35.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	100	3	103
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	100	9	109

Merged error: 0.3b

Counts

109 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

3.8b	(* (+ 3.13060547623 (/ (* (cbrt (- (/ t z) 36.527041698806414)) (cbrt (- (/ t z) 36.527041698806414))) (/ z (cbrt (- (/ t z) 36.527041698806414))))) y)
7.4b	(cbrt (- (/ t z) 36.527041698806414))
7.4b	(cbrt (- (/ t z) 36.527041698806414))
7.4b	(cbrt (- (/ t z) 36.527041698806414))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
18×	`cbrt-prod`
17×	`*-un-lft-identity`
9×	`add-cube-cbrt`
6×	`pow1` `add-exp-log` `cbrt-div` `add-cbrt-cube` `difference-of-squares`
4×	`associate-l` `add-log-exp`
3×	`flip3--` `times-frac` `pow1/3` `associate-r` `flip--` `distribute-lft-out--`
2×	`associate-*l/`
1×	`flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `unswap-sqr`

Counts

4 → 69

Calls

4 calls:

23.0ms	(* (+ 3.13060547623 (/ (* (cbrt (- (/ t z) 36.527041698806414)) (cbrt (- (/ t z) 36.527041698806414))) (/ z (cbrt (- (/ t z) 36.527041698806414))))) y)
11.0ms	(cbrt (- (/ t z) 36.527041698806414))
7.0ms	(cbrt (- (/ t z) 36.527041698806414))
8.0ms	(cbrt (- (/ t z) 36.527041698806414))

series139.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(* (+ 3.13060547623 (/ (* (cbrt (- (/ t z) 36.527041698806414)) (cbrt (- (/ t z) 36.527041698806414))) (/ z (cbrt (- (/ t z) 36.527041698806414))))) y)
40.0ms	(cbrt (- (/ t z) 36.527041698806414))
44.0ms	(cbrt (- (/ t z) 36.527041698806414))
40.0ms	(cbrt (- (/ t z) 36.527041698806414))

simplify2.2min

Counts

81 → 81

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	8	14
1	10	14
2	11	14
done	11	14
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	2
1	4	1
done	4	1
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	9	9
1	10	9
done	10	9
0	9	9
1	11	9
2	12	9
done	12	9
0	2	2
1	4	1
done	4	1
0	6	6
1	8	6
2	9	6
done	9	6
0	9	10
1	27	10
2	67	10
3	149	10
4	383	10
5	1179	10
done	5000	10
0	10	18
1	23	16
2	40	16
3	51	14
4	61	14
5	71	14
6	74	14
7	76	14
8	77	14
done	77	14
0	8	12
1	17	12
2	30	12
3	52	12
4	90	12
5	153	12
6	231	12
7	416	12
8	1816	12
done	5001	12
0	6	6
1	7	6
done	7	6
0	8	15
1	10	15
2	11	15
done	11	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	20
1	11	20
2	14	8
3	19	5
4	25	5
5	35	5
6	56	5
7	116	5
8	333	5
9	1264	5
done	5000	5
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	8	14
1	10	14
2	11	14
done	11	14
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	2
1	4	1
done	4	1
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	9	9
1	10	9
done	10	9
0	9	9
1	11	9
2	12	9
done	12	9
0	2	2
1	4	1
done	4	1
0	6	6
1	8	6
2	9	6
done	9	6
0	9	10
1	27	10
2	67	10
3	149	10
4	383	10
5	1179	10
done	5000	10
0	10	18
1	23	16
2	40	16
3	51	14
4	61	14
5	71	14
6	74	14
7	76	14
8	77	14
done	77	14
0	8	12
1	17	12
2	30	12
3	52	12
4	90	12
5	153	12
6	231	12
7	416	12
8	1816	12
done	5001	12
0	6	6
1	7	6
done	7	6
0	8	15
1	10	15
2	11	15
done	11	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	20
1	11	20
2	14	8
3	19	5
4	25	5
5	35	5
6	56	5
7	116	5
8	333	5
9	1264	5
done	5000	5
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	8	14
1	10	14
2	11	14
done	11	14
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	2
1	4	1
done	4	1
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	9	9
1	10	9
done	10	9
0	9	9
1	11	9
2	12	9
done	12	9
0	2	2
1	4	1
done	4	1
0	6	6
1	8	6
2	9	6
done	9	6
0	9	10
1	27	10
2	67	10
3	149	10
4	383	10
5	1179	10
done	5000	10
0	10	18
1	23	16
2	40	16
3	51	14
4	61	14
5	71	14
6	74	14
7	76	14
8	77	14
done	77	14
0	8	12
1	17	12
2	30	12
3	52	12
4	90	12
5	153	12
6	231	12
7	416	12
8	1816	12
done	5001	12
0	6	6
1	7	6
done	7	6
0	8	15
1	10	15
2	11	15
done	11	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	20
1	11	20
2	14	8
3	19	5
4	25	5
5	35	5
6	56	5
7	116	5
8	333	5
9	1264	5
done	5000	5
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	13	26
1	21	26
2	36	26
3	58	26
4	102	14
5	132	11
6	174	11
7	264	11
8	440	11
9	918	11
10	2637	11
done	5000	11
0	15	28
1	23	28
2	30	28
3	34	28
4	38	16
5	43	13
6	54	13
7	78	13
8	128	13
9	264	13
10	791	13
11	3171	13
done	5000	13
0	14	27
1	25	27
2	41	27
3	63	27
4	103	15
5	132	12
6	174	12
7	264	12
8	442	12
9	913	12
10	2637	12
done	5000	12
0	14	27
1	24	27
2	49	27
3	87	27
4	173	15
5	320	12
6	771	12
7	2234	12
done	5000	12
0	17	80
1	43	80
2	133	30
3	497	30
4	2353	16
done	5000	16
0	15	55
1	23	55
2	38	55
3	60	55
4	100	31
5	129	25
6	171	25
7	259	25
8	437	25
9	910	25
10	2633	25
done	5000	25
0	14	27
1	22	27
2	37	27
3	59	27
4	99	15
5	128	12
6	170	12
7	258	12
8	433	12
9	903	12
10	2614	12
done	5001	12
0	15	80
1	33	80
2	101	28
3	390	28
4	1580	16
done	5001	16
0	14	27
1	22	27
2	37	27
3	59	27
4	99	15
5	128	12
6	170	12
7	258	12
8	433	12
9	903	12
10	2614	12
done	5001	12
0	14	27
1	22	27
2	37	27
3	59	27
4	99	15
5	128	12
6	170	12
7	258	12
8	433	12
9	903	12
10	2614	12
done	5001	12
0	15	28
1	23	28
2	30	28
3	34	28
4	38	16
5	43	13
6	54	13
7	78	13
8	128	13
9	264	13
10	791	13
11	3171	13
done	5000	13
0	15	28
1	23	28
2	30	28
3	34	28
4	38	16
5	43	13
6	54	13
7	78	13
8	128	13
9	264	13
10	791	13
11	3171	13
done	5000	13
0	15	30
1	25	30
2	42	30
3	76	30
4	146	18
5	252	15
6	356	15
7	533	15
8	937	15
9	2003	15
done	5000	15
0	14	27
1	22	27
2	37	27
3	59	27
4	99	15
5	128	12
6	170	12
7	258	12
8	433	12
9	904	12
10	2617	12
done	5000	12
0	13	26
1	23	24
2	41	24
3	71	24
4	133	12
5	161	9
6	202	9
7	317	9
8	496	9
9	840	9
10	1813	9
done	5001	9
0	14	27
1	22	27
2	29	27
3	33	27
4	37	15
5	42	12
6	53	12
7	77	12
8	127	12
9	265	12
10	793	12
11	3174	12
done	5001	12
0	14	27
1	22	27
2	29	27
3	33	27
4	37	15
5	42	12
6	53	12
7	77	12
8	127	12
9	265	12
10	793	12
11	3174	12
done	5001	12
0	13	26
1	21	26
2	36	26
3	58	26
4	102	14
5	132	11
6	174	11
7	264	11
8	440	11
9	918	11
10	2637	11
done	5000	11
0	13	26
1	21	26
2	36	26
3	58	26
4	102	14
5	132	11
6	174	11
7	264	11
8	440	11
9	918	11
10	2637	11
done	5000	11
0	16	30
1	40	30
2	106	30
3	374	15
4	1754	15
done	5000	15
0	15	51
1	31	51
2	82	51
3	279	27
4	1016	21
5	3423	18
done	5000	18
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	13	15
1	29	12
2	60	9
3	160	7
4	281	6
5	542	4
6	1075	4
7	3093	4
done	5000	4
0	14	15
1	29	14
2	68	12
3	209	11
4	586	8
5	1441	4
6	3675	4
done	5001	4
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	13	15
1	29	12
2	60	9
3	160	7
4	281	6
5	542	4
6	1075	4
7	3093	4
done	5000	4
0	14	15
1	29	14
2	68	12
3	209	11
4	586	8
5	1441	4
6	3675	4
done	5001	4
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	13	15
1	29	12
2	60	9
3	160	7
4	281	6
5	542	4
6	1075	4
7	3093	4
done	5000	4
0	14	15
1	29	14
2	68	12
3	209	11
4	586	8
5	1441	4
6	3675	4
done	5001	4
0	14	17
1	31	17
2	74	17
3	119	15
4	164	13
5	241	13
6	346	13
7	567	13
8	934	13
9	1906	11
done	5001	11
0	14	17
1	31	17
2	74	17
3	119	15
4	164	13
5	241	13
6	346	13
7	567	13
8	934	13
9	1906	11
done	5001	11
0	14	17
1	31	17
2	74	17
3	119	15
4	164	13
5	241	13
6	346	13
7	567	13
8	934	13
9	1906	11
done	5001	11

prune210.0ms

Filtered

64 candidates to 81 candidates (-26.6%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	81	9	90

Merged error: 0.3b

Counts

90 → 9

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- (/ t z) 36.527041698806414) z)
0.2b	(* (/ (- (/ t z) 36.527041698806414) z) (/ (- (/ t z) 36.527041698806414) z))
1.3b	(* (- (* 3.13060547623 3.13060547623) (* (/ (- (/ t z) 36.527041698806414) z) (/ (- (/ t z) 36.527041698806414) z))) y)
17.9b	(/ (* (- (* 3.13060547623 3.13060547623) (* (/ (- (/ t z) 36.527041698806414) z) (/ (- (/ t z) 36.527041698806414) z))) y) (- 3.13060547623 (/ (- (/ t z) 36.527041698806414) z)))

rewrite85.0ms

Algorithm

rewrite-expression-head

Rules

167×	`add-sqr-sqrt`
130×	`times-frac`
117×	`*-un-lft-identity`
63×	`add-cube-cbrt`
37×	`difference-of-squares`
28×	`swap-sqr`
26×	`associate-l`
25×	`add-exp-log` `associate-r` `add-cbrt-cube`
24×	`distribute-lft-out--`
13×	`pow1`
9×	`associate-/r*`
7×	`cbrt-undiv` `div-exp` `associate-/l*`
6×	`prod-exp` `cbrt-unprod` `div-inv`
5×	`associate-*l/` `unswap-sqr`
4×	`flip3--` `flip--` `associate-/l/` `add-log-exp`
2×	`frac-2neg` `pow-prod-down` `clear-num` `associate-/r/` `*-commutative`
1×	`pow2` `frac-times` `pow-plus` `div-sub` `associate-*r/` `pow-sqr` `pow-prod-up`

Counts

4 → 194

Calls

4 calls:

11.0ms	(/ (- (/ t z) 36.527041698806414) z)
35.0ms	(* (/ (- (/ t z) 36.527041698806414) z) (/ (- (/ t z) 36.527041698806414) z))
7.0ms	(* (- (* 3.13060547623 3.13060547623) (* (/ (- (/ t z) 36.527041698806414) z) (/ (- (/ t z) 36.527041698806414) z))) y)
20.0ms	(/ (* (- (* 3.13060547623 3.13060547623) (* (/ (- (/ t z) 36.527041698806414) z) (/ (- (/ t z) 36.527041698806414) z))) y) (- 3.13060547623 (/ (- (/ t z) 36.527041698806414) z)))

series103.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/ (- (/ t z) 36.527041698806414) z)
8.0ms	(* (/ (- (/ t z) 36.527041698806414) z) (/ (- (/ t z) 36.527041698806414) z))
41.0ms	(* (- (* 3.13060547623 3.13060547623) (* (/ (- (/ t z) 36.527041698806414) z) (/ (- (/ t z) 36.527041698806414) z))) y)
48.0ms	(/ (* (- (* 3.13060547623 3.13060547623) (* (/ (- (/ t z) 36.527041698806414) z) (/ (- (/ t z) 36.527041698806414) z))) y) (- 3.13060547623 (/ (- (/ t z) 36.527041698806414) z)))

simplify8.3min

Counts

206 → 206

Iterations

Useful iterations: 4 (208.0ms)

Iter	Nodes	Cost
0	17	34
1	37	34
2	83	34
3	233	34
4	741	15
5	2102	13
done	5000	13
0	16	33
1	37	33
2	92	33
3	292	33
4	1046	33
5	3465	14
done	5001	14
0	15	32
1	36	32
2	103	32
3	356	32
4	1382	14
done	5001	12
0	15	32
1	33	32
2	92	32
3	325	32
4	1305	14
done	5000	12
0	20	95
1	50	95
2	219	37
3	1425	37
done	5000	37
0	18	95
1	52	95
2	242	35
3	1767	33
done	5000	33
0	16	65
1	34	65
2	93	65
3	321	65
4	1281	29
5	4901	25
done	5000	25
0	15	32
1	33	32
2	92	32
3	320	32
4	1280	14
5	4902	12
done	5000	12
0	16	95
1	41	95
2	137	33
3	747	33
done	5002	33
0	15	32
1	33	32
2	92	32
3	320	32
4	1280	14
5	4902	12
done	5000	12
0	15	32
1	33	32
2	92	32
3	320	32
4	1280	14
5	4902	12
done	5000	12
0	13	22
1	32	22
2	83	22
3	299	22
4	1308	21
done	5000	21
0	9	10
1	16	10
2	29	10
3	47	10
4	93	9
5	129	9
6	147	9
7	151	9
8	154	9
done	154	9
0	14	41
1	34	41
2	95	41
3	311	41
4	1091	41
5	3610	41
done	5001	41
0	11	12
1	18	12
2	28	12
3	40	12
4	60	12
5	65	12
6	73	12
7	88	12
8	118	12
9	135	12
10	138	12
done	138	12
0	13	30
1	31	30
2	78	30
3	246	30
4	854	30
5	2621	30
done	5000	30
0	11	12
1	18	12
2	28	12
3	40	12
4	60	12
5	65	12
6	73	12
7	88	12
8	118	12
9	135	12
10	138	12
done	138	12
0	12	21
1	31	19
2	73	19
3	230	19
4	751	19
5	2117	19
done	5000	19
0	10	11
1	17	11
2	27	11
3	39	11
4	59	11
5	64	11
6	72	11
7	87	11
8	117	11
9	134	11
10	137	11
done	137	11
0	14	31
1	32	31
2	72	31
3	222	31
4	769	31
5	2347	31
done	5001	31
0	12	13
1	19	13
2	25	13
3	27	13
done	27	13
0	16	32
1	34	32
2	74	32
3	224	32
4	771	32
5	2353	32
done	5000	32
0	13	14
1	17	14
2	21	14
done	21	14
0	12	21
1	31	19
2	73	19
3	230	19
4	751	19
5	2117	19
done	5000	19
0	10	11
1	17	11
2	27	11
3	39	11
4	59	11
5	64	11
6	72	11
7	87	11
8	117	11
9	134	11
10	137	11
done	137	11
0	10	11
1	19	11
2	29	11
3	41	11
4	61	11
5	66	11
6	74	11
7	89	11
8	119	11
9	136	11
10	139	11
done	139	11
0	14	31
1	35	31
2	102	31
3	362	31
4	1311	13
5	4672	13
done	5000	13
0	16	43
1	39	43
2	110	43
3	385	43
4	1594	43
done	5002	43
0	15	32
1	33	32
2	89	32
3	304	32
4	1201	32
5	4549	32
done	5000	32
0	14	23
1	33	21
2	86	21
3	295	21
4	1185	21
5	4096	21
done	5000	21
0	16	33
1	34	33
2	83	33
3	272	33
4	1078	33
5	4113	33
done	5001	33
0	18	34
1	36	34
2	85	34
3	274	34
4	1079	34
5	4117	34
done	5000	34
0	14	23
1	33	21
2	86	21
3	295	21
4	1185	21
5	4096	21
done	5000	21
0	10	11
1	20	11
2	37	11
3	63	11
4	108	11
5	148	11
6	178	11
7	210	11
8	265	11
9	305	11
10	323	11
11	326	11
done	326	11
0	17	35
1	50	35
2	140	35
3	526	35
4	2543	35
done	5000	35
0	13	41
1	30	41
2	90	41
3	347	3
4	1546	1
done	5001	1
0	16	69
1	55	53
2	184	45
3	804	43
4	3897	43
done	5001	43
0	12	29
1	31	29
2	84	29
3	315	29
4	1247	29
5	4922	29
done	5000	29
0	12	21
1	27	21
2	67	21
3	221	21
4	847	21
5	2954	21
done	5000	21
0	14	23
1	29	23
2	62	23
3	180	23
4	586	23
5	1699	23
done	5002	23
0	13	22
1	31	22
2	75	22
3	238	22
4	867	22
5	2982	22
done	5000	22
0	13	22
1	30	22
2	83	22
3	271	22
4	1032	22
5	3663	22
done	5000	22
0	16	65
1	37	65
2	117	25
3	605	25
4	4743	23
done	5000	23
0	14	45
1	29	45
2	69	45
3	223	45
4	846	45
5	2955	45
done	5000	45
0	13	22
1	28	22
2	68	22
3	222	22
4	845	22
5	2958	22
done	5000	22
0	14	65
1	39	65
2	139	23
3	798	23
done	5001	23
0	13	22
1	28	22
2	68	22
3	222	22
4	845	22
5	2958	22
done	5000	22
0	13	22
1	28	22
2	68	22
3	222	22
4	845	22
5	2958	22
done	5000	22
0	14	23
1	29	23
2	59	23
3	172	23
4	575	23
5	1686	23
done	5000	23
0	14	23
1	29	23
2	59	23
3	172	23
4	575	23
5	1686	23
done	5000	23
0	14	25
1	31	25
2	75	25
3	255	25
4	1024	25
5	3929	25
done	5000	25
0	13	22
1	28	22
2	68	22
3	222	22
4	845	22
5	2958	22
done	5000	22
0	12	21
1	29	19
2	72	19
3	237	19
4	837	19
5	3006	19
done	5000	19
0	13	22
1	28	22
2	58	22
3	171	22
4	572	22
5	1684	22
done	5000	22
0	13	22
1	28	22
2	58	22
3	171	22
4	572	22
5	1684	22
done	5000	22
0	12	21
1	27	21
2	67	21
3	221	21
4	847	21
5	2954	21
done	5000	21
0	10	11
1	18	11
2	34	11
3	61	11
4	124	11
5	199	11
6	296	11
7	390	11
8	532	11
9	652	11
10	716	11
11	717	11
done	717	11
0	15	25
1	44	25
2	142	15
3	571	15
4	3401	15
done	5000	15
0	14	41
1	37	41
2	101	25
3	406	15
4	2060	15
done	5000	15
0	2	3
1	6	1
done	6	1
0	7	15
1	16	15
2	33	15
3	92	15
4	236	15
5	490	15
6	872	15
7	1382	15
8	2436	15
9	4680	15
done	5000	15
0	2	3
1	6	1
done	6	1
0	9	19
1	19	11
2	40	11
3	73	11
4	126	11
5	183	11
6	233	11
7	266	11
done	266	11
0	11	18
1	21	17
2	39	17
3	71	10
4	125	10
5	183	10
6	228	10
7	268	10
done	268	10
0	11	18
1	21	17
2	35	17
3	62	10
4	105	10
5	157	10
6	199	10
7	234	10
8	237	10
done	237	10
0	8	17
1	18	10
2	30	10
3	51	10
4	84	10
5	137	10
6	193	10
7	243	10
8	276	10
done	276	10
0	8	16
1	19	16
2	43	10
3	117	10
4	303	10
5	606	10
6	1026	10
7	1592	10
8	2682	10
9	4936	10
done	5000	10
0	8	16
1	19	16
2	43	16
3	114	16
4	303	16
5	694	16
6	1414	16
7	3298	16
done	5001	16
0	11	47
1	26	47
2	122	23
3	786	15
4	4370	9
done	5000	9
0	14	47
1	39	47
2	155	19
3	899	9
4	4976	9
done	5000	9
0	14	47
1	39	47
2	156	19
3	889	9
done	5000	9
0	9	47
1	27	47
2	91	19
3	398	9
4	2193	9
done	5001	9
0	9	33
1	18	33
2	35	33
3	94	33
4	240	33
5	494	33
6	868	33
7	1377	33
8	2430	33
9	4673	33
done	5000	33
0	8	16
1	17	16
2	34	16
3	93	16
4	237	16
5	491	16
6	866	16
7	1372	16
8	2427	16
9	4677	16
done	5001	16
0	9	47
1	26	47
2	75	17
3	350	9
4	1746	9
done	5000	9
0	8	16
1	18	8
2	35	8
3	94	8
4	238	8
5	492	8
6	869	8
7	1377	8
8	2431	8
9	4675	8
done	5000	8
0	8	16
1	18	8
2	35	8
3	94	8
4	238	8
5	492	8
6	869	8
7	1377	8
8	2431	8
9	4675	8
done	5000	8
0	6	11
1	8	11
2	15	11
3	36	11
4	85	11
5	148	11
6	252	11
7	421	11
8	714	11
9	1201	11
10	1455	11
11	1517	11
12	1534	11
done	1534	11
0	2	3
done	2	3
0	9	35
1	18	35
2	25	19
3	36	10
4	63	10
5	113	10
6	217	10
7	456	10
8	1378	10
done	5000	10
0	8	17
1	13	17
2	18	17
3	20	17
done	20	17
0	8	17
1	13	7
2	19	7
3	21	7
done	21	7
0	8	17
1	13	7
2	19	7
3	21	7
done	21	7
0	11	39
1	23	39
2	72	39
3	223	21
4	457	11
5	657	11
6	1227	11
7	3162	11
done	5000	11
0	9	19
1	15	19
2	22	19
3	29	19
4	34	19
done	34	19
0	10	33
1	18	33
2	37	33
3	85	21
4	138	10
5	208	10
6	367	10
7	820	10
8	2301	10
done	5000	10
0	9	19
1	15	19
2	22	19
3	29	19
4	34	15
done	34	15
0	10	31
1	20	27
2	36	27
3	75	15
4	103	8
5	140	8
6	242	8
7	538	8
8	1532	8
done	5001	8
0	8	17
1	14	17
2	21	17
3	28	17
4	33	17
done	33	17
0	10	25
1	18	25
2	38	25
3	74	17
4	127	13
5	165	10
6	205	10
7	257	10
8	354	10
9	758	10
10	1770	10
done	5000	10
0	9	19
1	15	19
2	22	19
3	29	11
4	41	11
5	51	11
6	64	11
7	67	11
done	67	11
0	9	19
1	15	19
2	22	19
3	29	11
4	41	7
5	52	7
6	63	7
7	66	7
8	68	7
done	68	7
0	9	19
1	15	19
2	22	19
3	29	11
4	41	7
5	52	7
6	63	7
7	66	7
8	68	7
done	68	7
0	9	17
1	17	13
2	23	5
3	31	5
4	35	5
5	40	5
done	40	5
0	8	17
1	14	17
2	21	17
3	28	9
4	40	9
5	49	9
6	55	9
7	57	9
8	62	9
9	70	9
10	84	9
11	116	9
12	212	9
13	523	9
14	1885	9
done	5000	9
0	6	15
1	14	15
2	32	13
3	79	13
4	121	9
5	132	6
6	142	6
7	173	6
8	273	6
9	609	6
10	1637	6
done	5000	6
0	8	17
1	17	17
2	34	17
3	97	17
4	263	17
5	595	17
6	1131	17
7	1903	17
8	3357	17
done	5001	17
0	6	15
1	14	15
2	32	13
3	79	13
4	121	9
5	132	6
6	142	6
7	173	6
8	273	6
9	609	6
10	1637	6
done	5000	6
0	8	17
1	17	17
2	34	17
3	97	17
4	263	17
5	595	17
6	1131	17
7	1903	17
8	3357	17
done	5001	17
0	5	9
1	11	9
2	17	7
3	28	7
done	28	3
0	8	17
1	17	17
2	34	17
3	97	17
4	263	13
5	590	13
6	1119	13
7	1842	13
8	3174	13
done	5001	13
0	5	9
1	11	9
2	17	7
3	28	7
done	28	3
0	8	17
1	17	17
2	34	17
3	97	17
4	263	13
5	590	13
6	1119	13
7	1842	13
8	3174	13
done	5001	13
0	3	7
1	9	1
done	9	1
0	7	15
1	16	15
2	33	15
3	92	15
4	236	15
5	490	15
6	872	15
7	1382	15
8	2436	15
9	4680	15
done	5000	15
0	3	7
1	9	1
done	9	1
0	7	15
1	16	15
2	33	15
3	92	15
4	236	15
5	490	15
6	872	15
7	1382	15
8	2436	15
9	4680	15
done	5000	15
0	11	27
1	18	27
2	45	27
3	103	27
4	191	23
5	257	20
6	434	20
7	627	20
8	940	20
9	1890	20
done	5000	20
0	10	21
1	19	21
2	34	21
3	90	21
4	201	21
5	397	21
6	697	21
7	1104	21
8	1881	21
9	3208	21
10	3784	21
11	3969	21
12	4001	21
done	4001	21
0	10	21
1	15	21
2	29	21
3	48	21
4	79	17
5	103	17
6	159	17
7	214	17
8	283	17
9	348	17
10	439	17
11	508	17
12	591	17
13	682	17
14	746	17
15	751	17
16	753	17
done	753	17
0	10	21
1	19	21
2	34	21
3	90	21
4	201	17
5	397	17
6	697	17
7	1105	17
8	1877	17
9	3191	17
10	3752	17
11	3980	17
12	4044	17
13	4056	17
done	4056	17
0	10	19
1	17	15
2	29	15
3	47	15
4	69	15
5	111	15
6	171	15
7	184	15
8	210	15
9	269	15
10	295	15
done	295	15
0	9	19
1	18	19
2	33	19
3	89	19
4	199	19
5	395	19
6	700	19
7	1105	19
8	1874	19
9	3192	19
10	3769	19
11	3977	19
12	4064	19
13	4216	19
14	4696	19
done	5000	19
0	12	29
1	19	29
2	46	29
3	108	29
4	212	25
5	336	22
6	648	22
7	1211	22
8	1862	21
9	3904	21
done	5000	21
0	11	23
1	20	23
2	37	23
3	100	23
4	265	23
5	597	23
6	1133	23
7	1945	23
8	3421	22
done	5000	22
0	10	23
1	15	23
2	29	23
3	52	23
4	90	19
5	136	19
6	217	19
7	296	18
8	395	18
9	504	18
10	663	18
11	820	18
12	1013	18
13	1201	18
14	1298	18
15	1309	18
16	1312	18
done	1312	18
0	10	23
1	19	23
2	36	23
3	95	19
4	239	19
5	491	19
6	868	19
7	1402	19
8	2454	18
9	4422	18
done	5000	18
0	11	21
1	18	17
2	30	17
3	52	17
4	93	17
5	160	17
6	248	17
7	344	16
8	456	16
9	600	16
10	711	16
11	743	16
12	747	16
done	747	16
0	10	21
1	19	21
2	36	21
3	99	21
4	266	21
5	598	21
6	1142	21
7	1955	21
8	3542	20
done	5000	20
0	6	15
1	14	15
2	32	13
3	79	13
4	121	9
5	132	6
6	142	6
7	173	6
8	273	6
9	609	6
10	1637	6
done	5000	6
0	8	17
1	17	17
2	34	17
3	97	17
4	263	17
5	595	17
6	1131	17
7	1903	17
8	3357	17
done	5001	17
0	6	15
1	14	15
2	32	13
3	79	13
4	121	9
5	132	6
6	142	6
7	173	6
8	273	6
9	609	6
10	1637	6
done	5000	6
0	8	17
1	17	17
2	34	17
3	97	17
4	263	17
5	595	17
6	1131	17
7	1903	17
8	3357	17
done	5001	17
0	5	9
1	11	9
2	17	7
3	28	7
done	28	3
0	8	17
1	17	17
2	34	17
3	97	17
4	263	13
5	590	13
6	1119	13
7	1842	13
8	3174	13
done	5001	13
0	5	9
1	11	9
2	17	7
3	28	7
done	28	3
0	8	17
1	17	17
2	34	17
3	97	17
4	263	13
5	590	13
6	1119	13
7	1842	13
8	3174	13
done	5001	13
0	3	7
1	9	1
done	9	1
0	7	15
1	16	15
2	33	15
3	92	15
4	236	15
5	490	15
6	872	15
7	1382	15
8	2436	15
9	4680	15
done	5000	15
0	3	7
1	9	1
done	9	1
0	7	15
1	16	15
2	33	15
3	92	15
4	236	15
5	490	15
6	872	15
7	1382	15
8	2436	15
9	4680	15
done	5000	15
0	2	3
1	4	1
done	4	1
0	7	15
1	16	15
2	33	15
3	92	15
4	236	15
5	490	15
6	872	15
7	1382	15
8	2436	15
9	4680	15
done	5000	15
0	6	11
1	8	11
2	15	11
3	36	11
4	85	11
5	148	11
6	252	11
7	421	11
8	714	11
9	1201	11
10	1455	11
11	1517	11
12	1534	11
done	1534	11
0	4	7
1	10	7
2	16	5
3	27	5
done	27	5
0	8	17
1	13	7
2	19	7
3	21	7
done	21	7
0	8	17
1	13	7
2	19	7
3	21	7
done	21	7
0	11	18
1	19	18
2	27	18
3	33	18
4	34	18
done	34	18
0	11	18
1	19	18
2	27	18
3	33	18
4	34	18
done	34	18
0	11	18
1	19	18
2	27	18
3	31	18
4	33	18
5	34	18
done	34	18
0	11	18
1	19	18
2	27	18
3	31	18
4	33	18
5	34	18
done	34	18
0	9	19
1	15	19
2	22	19
3	29	11
4	41	7
5	52	7
6	63	7
7	66	7
8	68	7
done	68	7
0	9	19
1	15	19
2	22	19
3	29	11
4	41	7
5	52	7
6	63	7
7	66	7
8	68	7
done	68	7
0	3	3
1	6	1
done	6	1
0	9	25
1	19	25
2	32	25
3	65	25
4	128	25
5	203	25
6	287	25
7	349	25
8	371	25
9	376	25
done	376	25
0	8	16
1	16	16
2	24	16
3	45	16
4	67	16
5	96	16
6	114	16
7	123	16
8	124	16
done	124	16
0	12	27
1	28	27
2	74	27
3	217	27
4	655	27
5	1444	27
6	2697	27
7	3973	27
8	4516	27
9	4550	27
done	4550	27
0	11	24
1	23	24
2	46	24
3	123	24
4	331	24
5	642	24
6	1082	24
7	1521	24
8	1683	24
9	1702	24
done	1702	24
0	11	23
1	25	21
2	56	21
3	169	21
4	353	21
5	587	21
6	962	21
7	1342	21
8	1508	21
9	1523	21
done	1523	21
0	11	20
1	23	20
2	47	20
3	124	20
4	303	20
5	563	20
6	927	20
7	1214	20
8	1312	20
9	1314	20
done	1314	20
0	10	17
1	20	17
2	34	17
3	79	17
4	166	17
5	274	17
6	402	17
7	495	17
8	515	17
9	516	17
done	516	17
0	10	16
1	22	14
2	40	14
3	94	14
4	164	14
5	239	14
6	343	14
7	455	14
8	487	14
9	490	14
done	490	14
0	11	15
1	25	15
2	48	13
3	153	13
4	390	13
5	746	13
6	1214	13
7	1692	13
8	1998	13
9	2046	13
done	2046	13
0	10	12
1	22	12
2	36	10
3	102	10
4	214	10
5	387	10
6	595	10
7	755	10
8	847	10
9	858	10
done	858	10
0	9	11
1	21	9
2	36	7
3	82	7
4	145	7
5	219	7
6	306	7
7	398	7
8	502	7
9	576	7
10	582	7
done	582	7
0	13	21
1	26	21
2	58	21
3	159	21
4	414	21
5	839	21
6	1576	21
7	2851	21
8	4563	21
done	5001	21
0	12	18
1	23	18
2	45	18
3	114	18
4	269	18
5	511	18
6	867	18
7	1469	18
8	2350	18
9	3907	18
done	5000	18
0	12	17
1	25	15
2	59	15
3	143	15
4	285	15
5	505	15
6	853	15
7	1326	15
8	2132	15
9	3334	15
10	4233	15
11	4344	15
12	4347	15
done	4347	15
0	15	22
1	28	22
2	60	22
3	164	22
4	441	22
5	931	22
6	1846	22
7	3656	22
done	5001	22
0	13	19
1	24	19
2	46	19
3	119	19
4	295	19
5	583	19
6	1039	19
7	1802	18
8	2926	18
done	5000	18
0	14	18
1	27	16
2	61	16
3	153	16
4	329	16
5	613	16
6	1136	16
7	1983	16
8	3195	16
done	5000	16
0	11	15
1	25	15
2	48	13
3	153	13
4	390	13
5	746	13
6	1214	13
7	1692	13
8	1998	13
9	2046	13
done	2046	13
0	10	12
1	22	12
2	36	10
3	102	10
4	214	10
5	387	10
6	595	10
7	755	10
8	847	10
9	858	10
done	858	10
0	9	11
1	21	9
2	36	7
3	82	7
4	145	7
5	219	7
6	306	7
7	398	7
8	502	7
9	576	7
10	582	7
done	582	7
0	8	9
1	18	7
2	33	7
3	55	7
4	89	7
5	135	7
6	172	7
7	198	7
8	201	7
done	201	7
0	7	13
1	15	13
2	34	13
3	89	13
4	208	13
5	374	13
6	611	13
7	986	13
8	1664	13
9	2806	13
10	3369	13
11	3706	13
12	4395	13
done	5000	13
0	8	16
1	16	16
2	30	16
3	51	16
4	78	16
5	110	16
6	122	16
7	126	16
done	126	16
0	8	16
1	16	16
2	30	16
3	51	16
4	78	16
5	110	16
6	122	16
7	126	16
done	126	16
0	10	17
1	20	17
2	40	17
3	92	17
4	171	17
5	289	17
6	439	17
7	508	17
8	513	17
done	513	17
0	10	17
1	20	17
2	40	17
3	92	17
4	171	17
5	289	17
6	439	17
7	508	17
8	513	17
done	513	17
0	9	16
1	19	16
2	38	16
3	84	16
4	150	16
5	223	16
6	282	16
7	304	16
8	320	16
9	360	16
10	480	16
11	901	16
12	2775	16
done	5000	16
0	10	17
1	20	17
2	40	17
3	92	17
4	171	17
5	289	17
6	439	17
7	508	17
8	513	17
done	513	17
0	10	17
1	20	17
2	40	17
3	92	17
4	171	17
5	289	17
6	439	17
7	508	17
8	513	17
done	513	17
0	9	16
1	19	16
2	38	16
3	84	16
4	150	16
5	223	16
6	282	16
7	304	16
8	320	16
9	360	16
10	480	16
11	901	16
12	2775	16
done	5000	16
0	9	16
1	22	16
2	46	16
3	136	16
4	375	16
5	806	16
6	1457	16
7	2302	16
8	3895	16
done	5001	16
0	9	16
1	22	16
2	46	16
3	136	16
4	375	16
5	806	16
6	1457	16
7	2302	16
8	3895	16
done	5001	16
0	7	15
1	16	15
2	33	15
3	92	15
4	236	15
5	490	15
6	872	15
7	1382	15
8	2436	15
9	4680	15
done	5000	15
0	12	18
1	27	18
2	50	18
3	142	18
4	391	18
5	889	18
6	1668	18
7	2673	18
8	3938	18
done	5000	18
0	12	18
1	27	18
2	50	18
3	142	18
4	391	18
5	889	18
6	1668	18
7	2673	18
8	3938	18
done	5000	18
0	11	17
1	26	17
2	48	17
3	134	17
4	359	17
5	759	17
6	1327	17
7	1954	17
8	2843	17
9	4162	17
done	5000	17
0	14	19
1	29	19
2	54	19
3	149	19
4	438	19
5	1083	19
6	2164	19
7	3732	19
done	5001	19
0	13	19
1	28	19
2	53	19
3	145	18
4	416	18
5	971	18
6	1858	18
7	3183	18
8	4848	18
done	5000	18
0	13	18
1	28	18
2	52	18
3	141	18
4	406	18
5	937	18
6	1702	18
7	2667	18
8	3843	18
done	5000	18
0	9	16
1	22	16
2	46	16
3	136	16
4	375	16
5	806	16
6	1457	16
7	2302	16
8	3895	16
done	5001	16
0	9	16
1	22	16
2	46	16
3	136	16
4	375	16
5	806	16
6	1457	16
7	2302	16
8	3895	16
done	5001	16
0	7	15
1	16	15
2	33	15
3	92	15
4	236	15
5	490	15
6	872	15
7	1382	15
8	2436	15
9	4680	15
done	5000	15
0	7	15
1	16	15
2	33	15
3	92	15
4	236	15
5	490	15
6	872	15
7	1382	15
8	2436	15
9	4680	15
done	5000	15
0	9	11
1	21	11
2	40	9
3	130	9
4	283	9
5	395	9
6	488	9
7	525	9
8	576	9
9	751	9
10	1309	9
11	3844	9
done	5000	9
0	7	13
1	15	13
2	34	13
3	89	13
4	208	13
5	374	13
6	611	13
7	986	13
8	1664	13
9	2806	13
10	3369	13
11	3706	13
12	4395	13
done	5000	13
0	7	13
1	15	13
2	34	13
3	89	13
4	208	13
5	374	13
6	611	13
7	986	13
8	1664	13
9	2806	13
10	3369	13
11	3706	13
12	4395	13
done	5000	13
0	8	9
1	12	9
2	14	9
done	14	9
0	7	8
1	15	8
2	22	8
3	25	8
done	25	8
0	7	8
1	12	8
2	20	8
3	24	8
4	27	8
5	33	8
6	37	8
7	53	8
8	57	8
9	66	8
10	79	8
11	103	8
12	129	8
13	144	8
14	151	8
15	157	8
done	157	8
0	10	23
1	21	23
2	69	11
3	213	9
4	625	9
5	2341	9
done	5000	9
0	8	17
1	13	17
2	18	17
3	20	17
done	20	17
0	7	8
1	12	8
2	17	8
3	19	8
done	19	8
0	8	23
1	20	23
2	53	9
3	186	9
4	642	9
5	2052	9
done	5001	9
0	7	8
1	12	8
2	17	8
3	19	8
done	19	8
0	7	8
1	12	8
2	17	8
3	19	8
done	19	8
0	6	6
1	8	6
2	12	6
3	16	6
4	17	5
done	17	5
0	2	2
done	2	2
0	4	5
1	6	5
done	6	5
0	3	3
done	3	3
0	10	19
1	18	19
2	28	19
3	34	19
done	34	19
0	8	9
1	10	9
2	11	9
done	11	9
0	9	16
1	13	16
2	16	16
3	17	16
done	17	16
0	8	9
1	10	9
2	11	9
done	11	9
0	9	15
1	15	13
2	22	13
3	27	13
done	27	13
0	7	8
1	9	8
2	10	8
done	10	8
0	9	12
1	13	12
2	14	12
done	14	12
0	8	9
1	10	9
2	11	9
done	11	9
0	8	9
1	10	9
2	11	9
done	11	9
0	8	9
1	10	9
2	11	9
done	11	9
0	8	8
1	12	6
2	15	6
done	15	6
0	7	8
1	9	8
2	10	8
done	10	8
0	5	7
1	9	7
done	9	7
0	7	8
1	12	8
2	17	8
3	22	8
done	22	8
0	4	4
1	6	4
done	6	4
0	7	8
1	12	8
2	17	8
3	22	8
done	22	8
0	2	3
1	4	1
done	4	1
0	6	7
1	11	7
2	16	7
3	18	7
done	18	7
0	10	13
1	13	13
done	13	13
0	9	10
1	14	10
2	17	10
3	19	10
done	19	10
0	9	10
1	10	10
done	10	10
0	9	10
1	14	10
2	17	10
3	19	10
done	19	10
0	9	9
1	12	7
2	14	7
done	14	7
0	8	9
1	13	9
2	16	9
3	18	9
done	18	9
0	11	14
1	14	14
done	14	14
0	10	11
1	15	11
2	20	11
3	25	11
done	25	11
0	9	11
1	10	11
done	10	11
0	9	11
1	14	11
2	19	11
3	21	10
done	21	10
0	10	10
1	13	8
2	15	8
done	15	8
0	9	10
1	14	10
2	19	10
3	24	10
done	24	10
0	5	7
1	9	7
done	9	7
0	7	8
1	12	8
2	17	8
3	22	8
done	22	8
0	4	4
1	6	4
done	6	4
0	7	8
1	12	8
2	17	8
3	22	8
done	22	8
0	2	3
1	4	1
done	4	1
0	6	7
1	11	7
2	16	7
3	18	7
done	18	7
0	3	3
1	5	3
done	5	3
0	6	7
1	8	7
2	9	7
done	9	7
0	8	11
1	15	11
2	25	11
3	36	11
4	45	11
done	45	11
0	7	8
1	12	8
2	17	8
3	22	8
done	22	8
0	7	7
1	14	5
2	21	5
3	26	5
done	26	5
0	7	8
1	9	8
2	10	8
done	10	8
0	7	8
1	9	8
2	10	8
done	10	8
0	6	7
1	8	7
2	9	7
done	9	7
0	8	9
1	10	9
2	11	9
done	11	9
0	9	10
1	11	10
2	12	10
done	12	10
0	6	7
1	8	7
2	9	7
done	9	7
0	10	19
1	30	17
2	72	17
3	135	15
4	213	15
5	293	13
6	787	13
7	3966	13
done	5000	13
0	6	7
1	14	7
2	19	7
3	23	7
4	25	7
5	28	5
done	28	5
0	19	27
1	46	27
2	146	27
3	346	27
4	933	23
5	2229	19
6	4397	15
done	5001	15
0	14	17
1	31	17
2	74	17
3	119	15
4	164	13
5	241	13
6	346	13
7	567	13
8	934	13
9	1906	11
done	5001	11
0	14	17
1	31	17
2	74	17
3	119	15
4	164	13
5	241	13
6	346	13
7	567	13
8	934	13
9	1906	11
done	5001	11
0	1	1
done	1	1
0	18	21
1	44	21
2	139	21
3	384	21
4	1033	17
5	2983	17
done	5000	17
0	18	21
1	44	21
2	139	21
3	384	21
4	1033	17
5	2983	17
done	5000	17
0	19	23
1	48	23
2	137	21
3	456	21
4	2291	17
done	5001	17
0	19	23
1	48	23
2	137	21
3	456	21
4	2291	17
done	5001	17
0	19	23
1	48	23
2	137	21
3	456	21
4	2291	17
done	5001	17
0	10	11
1	21	11
2	43	9
3	67	9
4	113	9
5	225	9
6	573	9
7	2100	9
done	5000	9
0	10	11
1	21	11
2	43	9
3	67	9
4	113	9
5	225	9
6	573	9
7	2100	9
done	5000	9
0	10	11
1	21	11
2	43	9
3	67	9
4	113	9
5	225	9
6	573	9
7	2100	9
done	5000	9

prune375.0ms

Filtered

146 candidates to 206 candidates (-41.1%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	206	0	206
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	206	9	215

Merged error: 0.3b

Counts

215 → 9

regimes1.1s

Accuracy

97.4% (0.7b remaining)

Error of 1.0b against oracle of 0.3b and baseline of 27.0b

bsearch69.0ms

Steps

Iters	Range		Point
9	1.4838987644928216e+44	4.2541640950032674e+51	1.461933101993263e+47
5	-4329756173736020.5	-1837754016228262.5	-4284349174439696.5

simplify5.0ms

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	43	71
1	65	59
done	65	59

end0.0ms

sample1.6s

Algorithm

intervals

Results

902.0ms

8842×

body

valid

Details

sample60.0ms

simplify4.1s

prune5.0ms

localize27.0ms

rewrite78.0ms

series237.0ms

simplify4.9min

prune272.0ms

localize10.0ms

rewrite57.0ms

series32.0ms

simplify1.3min

prune183.0ms

localize14.0ms

rewrite52.0ms

series139.0ms

simplify2.2min

prune210.0ms

localize15.0ms

rewrite85.0ms

series103.0ms

simplify8.3min

prune375.0ms

regimes1.1s

bsearch69.0ms

simplify5.0ms

end0.0ms

sample1.6s

Profiling