Details

sample244.0ms

Algorithm

intervals

Results

162.0ms	126×	body	1280	valid
40.0ms	59×	body	640	valid
10.0ms	20×	body	320	valid
6.0ms	42×	body	80	valid
3.0ms	9×	body	160	valid

simplify3.3s

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	13	16
1	23	16
2	34	16
3	63	16
4	126	16
5	297	16
6	885	16
7	3190	16
done	5000	16

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

Counts

2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (sin th))
0.2b	(pow (sin kx) 2.0)
0.3b	(pow (sin ky) 2.0)
3.2b	(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

41×	`*-un-lft-identity`
34×	`add-sqr-sqrt`
30×	`associate-l`
26×	`times-frac`
25×	`add-cube-cbrt`
21×	`sqrt-prod`
14×	`unpow-prod-down`
11×	`add-exp-log`
9×	`pow1` `add-cbrt-cube`
8×	`distribute-lft-out`
6×	`pow-unpow`
4×	`sqrt-div` `add-log-exp`
3×	`associate-r` `unswap-sqr`
2×	`pow-to-exp` `pow-pow` `flip3-+` `pow-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `flip-+` `sqr-pow`
1×	`cbrt-undiv` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `div-inv`

Counts

4 → 101

Calls

4 calls:

18.0ms	(* (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (sin th))
3.0ms	(pow (sin kx) 2.0)
3.0ms	(pow (sin ky) 2.0)
10.0ms	(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

series138.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(* (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (sin th))
27.0ms	(pow (sin kx) 2.0)
22.0ms	(pow (sin ky) 2.0)
34.0ms	(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

simplify9.4min

Counts

113 → 113

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	11	23
1	18	23
2	26	23
3	53	23
4	114	23
5	284	23
6	866	23
7	3191	23
done	5000	23
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	11	32
1	19	20
2	38	12
3	77	12
4	173	12
5	468	12
6	1616	12
done	5001	12
0	11	22
1	19	11
2	27	11
3	54	11
4	115	11
5	280	11
6	860	11
7	3158	11
done	5000	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	2	2
1	4	1
done	4	1
0	9	10
1	16	10
2	24	10
3	51	10
4	112	10
5	275	10
6	855	10
7	3165	10
done	5000	10
0	4	4
1	10	1
2	13	1
3	19	1
4	26	1
5	36	1
6	49	1
7	65	1
8	84	1
9	106	1
10	131	1
11	159	1
12	190	1
13	224	1
14	261	1
15	301	1
16	344	1
17	390	1
18	439	1
19	491	1
20	546	1
21	604	1
22	665	1
23	729	1
24	796	1
25	866	1
26	939	1
27	1015	1
28	1094	1
29	1176	1
30	1261	1
31	1349	1
32	1440	1
33	1534	1
34	1631	1
35	1731	1
36	1834	1
37	1940	1
38	2049	1
39	2161	1
40	2276	1
41	2394	1
42	2515	1
43	2639	1
44	2766	1
45	2896	1
46	3029	1
47	3165	1
48	3304	1
49	3446	1
50	3591	1
51	3739	1
52	3890	1
53	4044	1
54	4201	1
55	4361	1
56	4524	1
57	4690	1
58	4859	1
done	5000	1
0	9	10
1	16	10
2	24	10
3	51	10
4	112	10
5	275	10
6	855	10
7	3165	10
done	5000	10
0	2	2
1	4	1
done	4	1
0	9	10
1	16	10
2	24	10
3	51	10
4	112	10
5	275	10
6	855	10
7	3165	10
done	5000	10
0	12	14
1	31	14
2	75	14
3	184	14
4	607	14
5	2469	14
done	5000	14
0	13	30
1	30	22
2	84	22
3	253	22
4	964	22
done	5000	22
0	11	20
1	25	14
2	57	14
3	150	14
4	486	14
5	2225	14
done	5000	14
0	9	10
1	17	10
2	32	10
3	72	10
4	182	10
5	569	10
6	2522	10
done	5000	10
0	3	3
1	6	1
done	6	1
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	6	8
1	10	8
2	17	8
3	41	8
4	98	8
5	256	8
6	883	8
7	3279	8
done	5000	8
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	2167	5
done	5000	5
0	4	4
1	11	2
2	18	2
3	29	2
4	51	2
5	112	2
6	321	2
7	1250	2
done	5000	2
0	6	9
1	10	9
2	15	9
3	33	9
4	75	9
5	182	9
6	565	9
7	1989	9
done	5000	9
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
0	5	5
1	11	5
2	19	5
3	42	5
4	108	5
5	309	5
6	1093	5
7	4992	5
done	5000	5
0	5	5
1	9	5
2	16	5
3	39	5
4	94	5
5	254	5
6	878	5
7	3724	5
done	5000	5
0	6	11
1	10	11
2	15	11
3	33	11
4	73	11
5	177	11
6	560	11
7	1981	11
done	5000	11
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	556	5
7	1964	5
done	5000	5
0	6	14
1	13	11
2	34	6
3	89	6
4	231	6
5	795	6
6	3683	6
done	5001	6
0	5	5
1	9	5
2	15	5
3	33	5
4	73	5
5	175	5
6	555	5
7	1976	5
done	5001	5
0	5	5
1	9	5
2	15	5
3	33	5
4	73	5
5	175	5
6	555	5
7	1976	5
done	5001	5
0	6	6
1	9	6
2	17	6
3	38	6
4	88	6
5	218	6
6	723	6
7	2520	6
done	5000	6
0	6	6
1	9	6
2	17	6
3	38	6
4	88	6
5	218	6
6	723	6
7	2520	6
done	5000	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	6	8
1	10	8
2	17	8
3	41	8
4	98	8
5	256	8
6	883	8
7	3279	8
done	5000	8
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	2167	5
done	5000	5
0	4	4
1	11	2
2	18	2
3	29	2
4	51	2
5	112	2
6	321	2
7	1250	2
done	5000	2
0	6	9
1	10	9
2	15	9
3	33	9
4	75	9
5	182	9
6	565	9
7	1989	9
done	5000	9
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
0	5	5
1	11	5
2	19	5
3	42	5
4	108	5
5	309	5
6	1093	5
7	4992	5
done	5000	5
0	5	5
1	9	5
2	16	5
3	39	5
4	94	5
5	254	5
6	878	5
7	3724	5
done	5000	5
0	6	11
1	10	11
2	15	11
3	33	11
4	73	11
5	177	11
6	560	11
7	1981	11
done	5000	11
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	556	5
7	1964	5
done	5000	5
0	6	14
1	13	11
2	34	6
3	89	6
4	231	6
5	795	6
6	3683	6
done	5001	6
0	5	5
1	9	5
2	15	5
3	33	5
4	73	5
5	175	5
6	555	5
7	1976	5
done	5001	5
0	5	5
1	9	5
2	15	5
3	33	5
4	73	5
5	175	5
6	555	5
7	1976	5
done	5001	5
0	6	6
1	9	6
2	17	6
3	38	6
4	88	6
5	218	6
6	723	6
7	2520	6
done	5000	6
0	6	6
1	9	6
2	17	6
3	38	6
4	88	6
5	218	6
6	723	6
7	2520	6
done	5000	6
0	13	16
1	23	16
2	34	16
3	63	16
4	126	16
5	297	16
6	885	16
7	3190	16
done	5000	16
0	16	19
1	28	19
2	46	19
3	82	19
4	154	19
5	332	19
6	930	19
7	3253	19
done	5001	19
0	15	18
1	26	18
2	40	18
3	76	18
4	147	18
5	328	18
6	926	18
7	3262	18
done	5000	18
0	14	17
1	27	17
2	44	17
3	83	17
4	162	17
5	347	17
6	942	17
7	3258	17
done	5001	17
0	14	17
1	26	17
2	42	17
3	79	17
4	165	17
5	397	17
6	1119	17
7	3917	17
done	5000	17
0	19	50
1	41	38
2	135	22
3	523	20
4	1981	20
done	5001	20
0	17	50
1	37	50
2	94	20
3	279	20
4	915	18
5	2925	18
done	5000	18
0	15	35
1	25	35
2	36	35
3	65	35
4	128	35
5	303	35
6	886	35
7	3204	35
done	5001	35
0	14	17
1	24	17
2	35	17
3	64	17
4	127	17
5	297	17
6	885	17
7	3228	17
done	5000	17
0	15	50
1	35	50
2	97	18
3	341	18
4	965	18
5	2624	18
done	5000	18
0	14	17
1	24	17
2	35	17
3	64	17
4	127	17
5	297	17
6	885	17
7	3228	17
done	5000	17
0	14	17
1	24	17
2	35	17
3	64	17
4	127	17
5	297	17
6	885	17
7	3228	17
done	5000	17
0	15	18
1	23	18
2	31	18
3	58	18
4	119	18
5	293	18
6	881	18
7	3191	18
done	5000	18
0	15	18
1	23	18
2	31	18
3	58	18
4	119	18
5	293	18
6	881	18
7	3191	18
done	5000	18
0	16	19
1	26	19
2	37	19
3	66	19
4	131	19
5	307	19
6	888	19
7	3206	19
done	5000	19
0	16	19
1	26	19
2	37	19
3	66	19
4	131	19
5	307	19
6	888	19
7	3206	19
done	5000	19
0	16	19
1	26	19
2	37	19
3	66	19
4	131	19
5	307	19
6	888	19
7	3206	19
done	5000	19
0	16	19
1	26	19
2	37	19
3	66	19
4	131	19
5	307	19
6	888	19
7	3206	19
done	5000	19
0	15	21
1	27	21
2	43	21
3	78	21
4	148	21
5	326	21
6	925	21
7	3228	21
done	5000	21
0	14	17
1	24	17
2	35	17
3	64	17
4	127	17
5	297	17
6	885	17
7	3228	17
done	5000	17
0	12	15
1	24	13
2	42	13
3	75	13
4	138	13
5	310	13
6	892	13
7	3204	13
done	5000	13
0	14	17
1	22	17
2	30	17
3	57	17
4	118	17
5	290	17
6	871	17
7	3192	17
done	5000	17
0	14	17
1	22	17
2	30	17
3	57	17
4	118	17
5	290	17
6	871	17
7	3192	17
done	5000	17
0	15	18
1	25	18
2	36	18
3	65	18
4	128	18
5	298	18
6	879	18
7	3191	18
done	5000	18
0	15	18
1	25	18
2	36	18
3	65	18
4	128	18
5	298	18
6	879	18
7	3191	18
done	5000	18
0	15	18
1	25	18
2	36	18
3	65	18
4	128	18
5	298	18
6	879	18
7	3191	18
done	5000	18
0	14	17
1	24	17
2	35	17
3	64	17
4	127	17
5	299	17
6	880	17
7	3205	17
done	5000	17
0	14	17
1	24	17
2	35	17
3	64	17
4	127	17
5	299	17
6	880	17
7	3205	17
done	5000	17
0	14	17
1	24	17
2	35	17
3	64	17
4	127	17
5	299	17
6	880	17
7	3205	17
done	5000	17
0	15	18
1	25	18
2	36	18
3	65	18
4	128	18
5	298	18
6	879	18
7	3191	18
done	5000	18
0	14	17
1	24	17
2	35	17
3	64	17
4	127	17
5	299	17
6	880	17
7	3205	17
done	5000	17
0	15	18
1	25	18
2	36	18
3	65	18
4	128	18
5	298	18
6	879	18
7	3191	18
done	5000	18
0	15	18
1	25	18
2	36	18
3	65	18
4	128	18
5	298	18
6	879	18
7	3191	18
done	5000	18
0	15	18
1	25	18
2	36	18
3	65	18
4	128	18
5	298	18
6	879	18
7	3191	18
done	5000	18
0	14	17
1	24	17
2	35	17
3	64	17
4	127	17
5	299	17
6	880	17
7	3205	17
done	5000	17
0	14	17
1	24	17
2	35	17
3	64	17
4	127	17
5	299	17
6	880	17
7	3205	17
done	5000	17
0	14	17
1	24	17
2	35	17
3	64	17
4	127	17
5	299	17
6	880	17
7	3205	17
done	5000	17
0	15	18
1	25	18
2	36	18
3	65	18
4	128	18
5	298	18
6	879	18
7	3191	18
done	5000	18
0	14	17
1	24	17
2	35	17
3	64	17
4	127	17
5	299	17
6	880	17
7	3205	17
done	5000	17
0	14	17
1	24	17
2	35	17
3	64	17
4	127	17
5	297	17
6	885	17
7	3228	17
done	5000	17
0	14	17
1	24	17
2	35	17
3	64	17
4	127	17
5	297	17
6	885	17
7	3228	17
done	5000	17
0	14	17
1	24	17
2	35	17
3	64	17
4	127	17
5	297	17
6	885	17
7	3228	17
done	5000	17
0	13	16
1	23	16
2	34	16
3	63	16
4	126	16
5	297	16
6	885	16
7	3190	16
done	5000	16
0	13	16
1	23	16
2	34	16
3	63	16
4	126	16
5	297	16
6	885	16
7	3190	16
done	5000	16
0	13	16
1	23	16
2	34	16
3	63	16
4	126	16
5	297	16
6	885	16
7	3190	16
done	5000	16
0	14	17
1	24	17
2	35	17
3	64	17
4	127	17
5	297	17
6	885	17
7	3228	17
done	5000	17
0	13	16
1	23	16
2	34	16
3	63	16
4	126	16
5	297	16
6	885	16
7	3190	16
done	5000	16
0	13	16
1	23	16
2	34	16
3	63	16
4	126	16
5	297	16
6	885	16
7	3190	16
done	5000	16
0	14	15
1	26	15
2	37	13
3	77	13
4	144	13
5	313	13
6	891	13
7	3219	13
done	5000	13
0	16	33
1	34	25
2	88	25
3	257	25
4	965	25
done	5000	25
0	12	13
1	21	13
2	36	13
3	76	13
4	184	13
5	568	13
6	2492	13
done	5001	13
0	5	5
1	6	5
done	6	5
0	13	15
1	35	15
2	95	15
3	184	15
4	360	15
5	783	15
6	2344	15
done	5000	15
0	9	10
1	18	10
2	29	10
3	48	10
4	93	10
5	214	10
6	645	10
7	2658	10
done	5000	10
0	9	10
1	18	10
2	29	10
3	48	10
4	93	10
5	214	10
6	645	10
7	2658	10
done	5000	10
0	20	38
1	52	35
2	124	29
3	467	19
4	2432	17
done	5000	17
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
0	20	38
1	52	35
2	128	23
3	497	17
4	2555	17
done	5000	17
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
0	1	1
done	1	1
0	15	18
1	29	18
2	44	18
3	63	18
4	105	18
5	263	18
6	880	18
7	3602	18
done	5000	18
0	15	18
1	29	18
2	44	18
3	63	18
4	105	18
5	263	18
6	880	18
7	3602	18
done	5000	18

prune336.0ms

Filtered

83 candidates to 113 candidates (-36.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	102	11	113
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	103	11	114

Merged error: 2.3b

Counts

114 → 11

localize17.0ms

Local error

Found 4 expressions with local error:

0.3b	(pow (sin ky) 2.0)
0.3b	(* (sin ky) (/ (sin th) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
0.3b	(/ (sin th) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))
3.2b	(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

72×	`*-un-lft-identity`
50×	`times-frac`
49×	`add-sqr-sqrt`
41×	`sqrt-prod`
40×	`add-cube-cbrt`
30×	`associate-r`
19×	`unpow-prod-down`
16×	`distribute-lft-out`
12×	`add-exp-log`
11×	`add-cbrt-cube`
8×	`pow1` `associate-/r*`
6×	`sqrt-div`
4×	`associate-/r/` `add-log-exp`
3×	`pow-unpow` `flip3-+` `associate-l` `flip-+` `associate-/l*` `unswap-sqr`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv`
1×	`pow-to-exp` `rem-sqrt-square` `pow-pow` `frac-2neg` `sqrt-pow1` `pow1/2` `associate-r/` `pow-prod-down` `pow-exp` `clear-num` `-commutative` `sqr-pow`

Counts

4 → 133

Calls

4 calls:

3.0ms	(pow (sin ky) 2.0)
20.0ms	(* (sin ky) (/ (sin th) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
13.0ms	(/ (sin th) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))
12.0ms	(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

series149.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(pow (sin ky) 2.0)
52.0ms	(* (sin ky) (/ (sin th) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
54.0ms	(/ (sin th) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))
22.0ms	(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

simplify17.9min

Counts

145 → 145

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	11	23
1	18	23
2	26	23
3	53	23
4	114	23
5	284	23
6	866	23
7	3191	23
done	5000	23
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	11	32
1	19	20
2	38	12
3	77	12
4	173	12
5	468	12
6	1616	12
done	5001	12
0	11	22
1	19	11
2	27	11
3	54	11
4	115	11
5	280	11
6	860	11
7	3158	11
done	5000	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	2	2
1	4	1
done	4	1
0	9	10
1	16	10
2	24	10
3	51	10
4	112	10
5	275	10
6	855	10
7	3165	10
done	5000	10
0	4	4
1	10	1
2	13	1
3	19	1
4	26	1
5	36	1
6	49	1
7	65	1
8	84	1
9	106	1
10	131	1
11	159	1
12	190	1
13	224	1
14	261	1
15	301	1
16	344	1
17	390	1
18	439	1
19	491	1
20	546	1
21	604	1
22	665	1
23	729	1
24	796	1
25	866	1
26	939	1
27	1015	1
28	1094	1
29	1176	1
30	1261	1
31	1349	1
32	1440	1
33	1534	1
34	1631	1
35	1731	1
36	1834	1
37	1940	1
38	2049	1
39	2161	1
40	2276	1
41	2394	1
42	2515	1
43	2639	1
44	2766	1
45	2896	1
46	3029	1
47	3165	1
48	3304	1
49	3446	1
50	3591	1
51	3739	1
52	3890	1
53	4044	1
54	4201	1
55	4361	1
56	4524	1
57	4690	1
58	4859	1
done	5000	1
0	9	10
1	16	10
2	24	10
3	51	10
4	112	10
5	275	10
6	855	10
7	3165	10
done	5000	10
0	2	2
1	4	1
done	4	1
0	9	10
1	16	10
2	24	10
3	51	10
4	112	10
5	275	10
6	855	10
7	3165	10
done	5000	10
0	12	14
1	31	14
2	75	14
3	184	14
4	607	14
5	2469	14
done	5000	14
0	13	30
1	30	22
2	84	22
3	253	22
4	964	22
done	5000	22
0	11	20
1	25	14
2	57	14
3	150	14
4	486	14
5	2225	14
done	5000	14
0	9	10
1	17	10
2	32	10
3	72	10
4	182	10
5	569	10
6	2522	10
done	5000	10
0	3	3
1	6	1
done	6	1
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	14	15
1	23	15
2	32	15
3	59	15
4	122	15
5	293	15
6	892	15
7	3229	15
done	5001	15
0	13	14
1	23	14
2	33	14
3	61	14
4	124	14
5	294	14
6	888	14
7	3197	14
done	5001	14
0	13	14
1	20	14
2	28	14
3	55	14
4	116	14
5	288	14
6	872	14
7	3193	14
done	5001	14
0	16	41
1	32	29
2	81	17
3	182	15
4	358	15
5	797	15
6	2734	15
done	5001	15
0	14	29
1	21	29
2	29	29
3	56	29
4	119	29
5	292	29
6	875	29
7	3219	29
done	5000	29
0	13	14
1	20	14
2	28	14
3	55	14
4	116	14
5	288	14
6	872	14
7	3193	14
done	5001	14
0	14	41
1	28	41
2	52	15
3	116	15
4	243	15
5	500	15
6	1412	15
done	5001	15
0	13	14
1	20	14
2	28	14
3	55	14
4	116	14
5	288	14
6	872	14
7	3193	14
done	5001	14
0	13	14
1	20	14
2	28	14
3	55	14
4	116	14
5	288	14
6	872	14
7	3193	14
done	5001	14
0	3	3
done	3	3
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	16	31
1	29	31
2	46	31
3	79	31
4	142	31
5	310	31
6	900	31
7	3201	31
done	5001	31
0	14	15
1	21	15
2	29	15
3	56	15
4	121	15
5	291	15
6	873	15
7	3197	15
done	5000	15
0	16	30
1	26	19
2	36	19
3	64	19
4	125	19
5	288	19
6	871	19
7	3189	19
done	5001	19
0	14	15
1	21	15
2	29	15
3	56	15
4	121	15
5	291	15
6	873	15
7	3197	15
done	5000	15
0	15	19
1	24	19
2	34	19
3	62	19
4	125	19
5	290	19
6	874	19
7	3200	19
done	5001	19
0	14	15
1	21	15
2	29	15
3	56	15
4	121	15
5	291	15
6	873	15
7	3197	15
done	5000	15
0	7	10
1	11	9
2	13	9
3	14	7
4	21	7
done	21	7
0	13	14
1	20	14
2	28	14
3	55	14
4	118	14
5	291	14
6	880	14
7	3210	14
done	5000	14
0	9	12
1	17	9
2	22	9
3	29	7
4	40	7
5	50	7
6	63	7
7	79	7
8	98	7
9	120	7
10	145	7
11	173	7
12	204	7
13	238	7
14	275	7
15	315	7
16	358	7
17	404	7
18	453	7
19	505	7
20	560	7
21	618	7
22	679	7
23	743	7
24	810	7
25	880	7
26	953	7
27	1029	7
28	1108	7
29	1190	7
30	1275	7
31	1363	7
32	1454	7
33	1548	7
34	1645	7
35	1745	7
36	1848	7
37	1954	7
38	2063	7
39	2175	7
40	2290	7
41	2408	7
42	2529	7
43	2653	7
44	2780	7
45	2910	7
46	3043	7
47	3179	7
48	3318	7
49	3460	7
50	3605	7
51	3753	7
52	3904	7
53	4058	7
54	4215	7
55	4375	7
56	4538	7
57	4704	7
58	4873	7
done	5001	7
0	13	14
1	20	14
2	28	14
3	55	14
4	118	14
5	291	14
6	880	14
7	3210	14
done	5000	14
0	7	10
1	11	9
2	13	9
3	14	7
4	21	7
done	21	7
0	13	14
1	20	14
2	28	14
3	55	14
4	118	14
5	291	14
6	880	14
7	3210	14
done	5000	14
0	15	19
1	24	19
2	34	19
3	62	19
4	125	19
5	290	19
6	874	19
7	3200	19
done	5001	19
0	14	15
1	21	15
2	29	15
3	56	15
4	121	15
5	291	15
6	873	15
7	3197	15
done	5000	15
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	13	14
1	20	14
2	28	14
3	55	14
4	118	14
5	291	14
6	880	14
7	3210	14
done	5000	14
0	15	27
1	24	27
2	32	27
3	59	27
4	122	27
5	297	27
6	886	27
7	3187	27
done	5000	27
0	14	15
1	21	15
2	29	15
3	56	15
4	121	15
5	291	15
6	873	15
7	3197	15
done	5000	15
0	15	26
1	23	15
2	31	15
3	58	15
4	121	15
5	296	15
6	883	15
7	3204	15
done	5001	15
0	14	15
1	21	15
2	29	15
3	56	15
4	121	15
5	291	15
6	873	15
7	3197	15
done	5000	15
0	14	15
1	21	15
2	29	15
3	56	15
4	121	15
5	291	15
6	873	15
7	3197	15
done	5000	15
0	14	15
1	21	15
2	29	15
3	56	15
4	121	15
5	291	15
6	873	15
7	3197	15
done	5000	15
0	6	6
1	8	5
done	8	5
0	13	14
1	20	14
2	28	14
3	55	14
4	118	14
5	291	14
6	880	14
7	3210	14
done	5000	14
0	8	8
1	14	5
2	17	5
3	23	5
4	30	5
5	40	5
6	53	5
7	69	5
8	88	5
9	110	5
10	135	5
11	163	5
12	194	5
13	228	5
14	265	5
15	305	5
16	348	5
17	394	5
18	443	5
19	495	5
20	550	5
21	608	5
22	669	5
23	733	5
24	800	5
25	870	5
26	943	5
27	1019	5
28	1098	5
29	1180	5
30	1265	5
31	1353	5
32	1444	5
33	1538	5
34	1635	5
35	1735	5
36	1838	5
37	1944	5
38	2053	5
39	2165	5
40	2280	5
41	2398	5
42	2519	5
43	2643	5
44	2770	5
45	2900	5
46	3033	5
47	3169	5
48	3308	5
49	3450	5
50	3595	5
51	3743	5
52	3894	5
53	4048	5
54	4205	5
55	4365	5
56	4528	5
57	4694	5
58	4863	5
done	5000	5
0	13	14
1	20	14
2	28	14
3	55	14
4	118	14
5	291	14
6	880	14
7	3210	14
done	5000	14
0	6	6
1	8	5
done	8	5
0	13	14
1	20	14
2	28	14
3	55	14
4	118	14
5	291	14
6	880	14
7	3210	14
done	5000	14
0	14	15
1	21	15
2	29	15
3	56	15
4	121	15
5	291	15
6	873	15
7	3197	15
done	5000	15
0	14	15
1	21	15
2	29	15
3	56	15
4	121	15
5	291	15
6	873	15
7	3197	15
done	5000	15
0	5	5
1	7	3
2	9	3
done	9	3
0	13	14
1	20	14
2	28	14
3	55	14
4	118	14
5	291	14
6	880	14
7	3210	14
done	5000	14
0	13	25
1	24	25
2	32	25
3	59	25
4	119	25
5	292	25
6	885	25
7	3193	25
done	5000	25
0	13	14
1	20	14
2	28	14
3	55	14
4	116	14
5	288	14
6	872	14
7	3193	14
done	5001	14
0	13	24
1	23	13
2	31	13
3	58	13
4	118	13
5	284	13
6	869	13
7	3196	13
done	5000	13
0	13	14
1	20	14
2	28	14
3	55	14
4	116	14
5	288	14
6	872	14
7	3193	14
done	5001	14
0	12	13
1	21	13
2	29	13
3	56	13
4	118	13
5	280	13
6	869	13
7	3198	13
done	5001	13
0	13	14
1	20	14
2	28	14
3	55	14
4	116	14
5	288	14
6	872	14
7	3193	14
done	5001	14
0	3	4
1	5	3
done	5	3
0	12	13
1	19	13
2	27	13
3	54	13
4	117	13
5	288	13
6	863	13
7	3191	13
done	5001	13
0	5	6
1	11	3
2	14	3
3	20	3
4	27	3
5	37	3
6	50	3
7	66	3
8	85	3
9	107	3
10	132	3
11	160	3
12	191	3
13	225	3
14	262	3
15	302	3
16	345	3
17	391	3
18	440	3
19	492	3
20	547	3
21	605	3
22	666	3
23	730	3
24	797	3
25	867	3
26	940	3
27	1016	3
28	1095	3
29	1177	3
30	1262	3
31	1350	3
32	1441	3
33	1535	3
34	1632	3
35	1732	3
36	1835	3
37	1941	3
38	2050	3
39	2162	3
40	2277	3
41	2395	3
42	2516	3
43	2640	3
44	2767	3
45	2897	3
46	3030	3
47	3166	3
48	3305	3
49	3447	3
50	3592	3
51	3740	3
52	3891	3
53	4045	3
54	4202	3
55	4362	3
56	4525	3
57	4691	3
58	4860	3
done	5000	3
0	12	13
1	19	13
2	27	13
3	54	13
4	117	13
5	288	13
6	863	13
7	3191	13
done	5001	13
0	3	4
1	5	3
done	5	3
0	12	13
1	19	13
2	27	13
3	54	13
4	117	13
5	288	13
6	863	13
7	3191	13
done	5001	13
0	12	13
1	21	13
2	29	13
3	56	13
4	118	13
5	280	13
6	869	13
7	3198	13
done	5001	13
0	13	14
1	20	14
2	28	14
3	55	14
4	116	14
5	288	14
6	872	14
7	3193	14
done	5001	14
0	2	3
1	4	1
done	4	1
0	12	13
1	19	13
2	27	13
3	54	13
4	117	13
5	288	13
6	863	13
7	3191	13
done	5001	13
0	11	12
1	20	12
2	28	12
3	55	12
4	115	12
5	281	12
6	870	12
7	3189	12
done	5000	12
0	12	13
1	19	13
2	27	13
3	54	13
4	115	13
5	278	13
6	865	13
7	3190	13
done	5000	13
0	14	26
1	23	26
2	31	26
3	58	26
4	119	26
5	294	26
6	876	26
7	3211	26
done	5000	26
0	14	25
1	22	14
2	30	14
3	57	14
4	120	14
5	289	14
6	877	14
7	3210	14
done	5000	14
0	13	14
1	20	14
2	28	14
3	55	14
4	116	14
5	288	14
6	872	14
7	3193	14
done	5001	14
0	5	5
1	7	4
done	7	4
0	7	7
1	13	4
2	16	4
3	22	4
4	29	4
5	39	4
6	52	4
7	68	4
8	87	4
9	109	4
10	134	4
11	162	4
12	193	4
13	227	4
14	264	4
15	304	4
16	347	4
17	393	4
18	442	4
19	494	4
20	549	4
21	607	4
22	668	4
23	732	4
24	799	4
25	869	4
26	942	4
27	1018	4
28	1097	4
29	1179	4
30	1264	4
31	1352	4
32	1443	4
33	1537	4
34	1634	4
35	1734	4
36	1837	4
37	1943	4
38	2052	4
39	2164	4
40	2279	4
41	2397	4
42	2518	4
43	2642	4
44	2769	4
45	2899	4
46	3032	4
47	3168	4
48	3307	4
49	3449	4
50	3594	4
51	3742	4
52	3893	4
53	4047	4
54	4204	4
55	4364	4
56	4527	4
57	4693	4
58	4862	4
done	5000	4
0	5	5
1	7	4
done	7	4
0	13	14
1	20	14
2	28	14
3	55	14
4	116	14
5	288	14
6	872	14
7	3193	14
done	5001	14
0	4	4
1	6	2
2	8	2
done	8	2
0	13	14
1	20	14
2	28	14
3	55	14
4	116	14
5	288	14
6	873	14
7	3176	14
done	5000	14
0	13	14
1	20	14
2	28	14
3	55	14
4	116	14
5	288	14
6	873	14
7	3176	14
done	5000	14
0	12	13
1	19	13
2	27	13
3	54	13
4	115	13
5	278	13
6	865	13
7	3190	13
done	5000	13
0	15	17
1	34	17
2	78	17
3	185	17
4	599	17
5	2477	17
done	5001	17
0	14	23
1	28	17
2	60	17
3	155	17
4	492	17
5	2245	17
done	5001	17
0	13	16
1	23	16
2	34	16
3	65	16
4	127	16
5	298	16
6	881	16
7	3200	16
done	5001	16
0	16	19
1	28	19
2	43	19
3	79	19
4	148	19
5	326	19
6	928	19
7	3249	19
done	5000	19
0	15	18
1	26	18
2	40	18
3	76	18
4	149	18
5	329	18
6	932	18
7	3269	18
done	5000	18
0	14	17
1	27	17
2	44	17
3	85	17
4	168	17
5	351	17
6	956	17
7	3272	17
done	5001	17
0	14	17
1	26	17
2	42	17
3	83	17
4	177	17
5	426	17
6	1192	17
7	4461	17
done	5001	17
0	19	50
1	41	38
2	136	22
3	514	20
4	1877	20
done	5000	20
0	17	50
1	37	50
2	94	20
3	274	20
4	890	18
5	2723	18
done	5001	18
0	15	35
1	25	35
2	36	35
3	67	35
4	129	35
5	299	35
6	886	35
7	3194	35
done	5000	35
0	14	17
1	24	17
2	35	17
3	66	17
4	130	17
5	300	17
6	889	17
7	3222	17
done	5000	17
0	15	50
1	35	50
2	97	18
3	323	18
4	961	18
5	2815	18
done	5001	18
0	14	17
1	24	17
2	35	17
3	66	17
4	130	17
5	300	17
6	889	17
7	3222	17
done	5000	17
0	14	17
1	24	17
2	35	17
3	66	17
4	130	17
5	300	17
6	889	17
7	3222	17
done	5000	17
0	15	18
1	23	18
2	31	18
3	58	18
4	121	18
5	291	18
6	884	18
7	3220	18
done	5000	18
0	15	18
1	23	18
2	31	18
3	58	18
4	121	18
5	291	18
6	884	18
7	3220	18
done	5000	18
0	16	19
1	26	19
2	37	19
3	68	19
4	132	19
5	302	19
6	889	19
7	3204	19
done	5000	19
0	16	19
1	26	19
2	37	19
3	68	19
4	132	19
5	302	19
6	889	19
7	3204	19
done	5000	19
0	16	19
1	26	19
2	37	19
3	68	19
4	132	19
5	302	19
6	889	19
7	3204	19
done	5000	19
0	16	19
1	26	19
2	37	19
3	68	19
4	132	19
5	302	19
6	889	19
7	3204	19
done	5000	19
0	15	32
1	25	32
2	35	32
3	62	32
4	125	32
5	295	32
6	890	32
7	3190	32
done	5001	32
0	14	17
1	22	17
2	30	17
3	57	17
4	120	17
5	291	17
6	885	17
7	3201	17
done	5000	17
0	17	34
1	33	34
2	70	34
3	139	34
4	258	34
5	434	34
6	1010	34
7	3339	34
done	5000	34
0	17	33
1	30	22
2	48	22
3	90	22
4	166	22
5	338	22
6	911	22
7	3210	22
done	5001	22
0	16	22
1	28	22
2	46	22
3	88	22
4	164	22
5	334	22
6	916	22
7	3231	22
done	5000	22
0	10	13
1	17	12
2	27	12
3	42	10
4	78	10
5	98	10
done	98	10
0	12	15
1	23	12
2	36	12
3	57	10
4	96	10
5	122	10
6	135	10
7	151	10
8	170	10
9	192	10
10	217	10
11	245	10
12	276	10
13	310	10
14	347	10
15	387	10
16	430	10
17	476	10
18	525	10
19	577	10
20	632	10
21	690	10
22	751	10
23	815	10
24	882	10
25	952	10
26	1025	10
27	1101	10
28	1180	10
29	1262	10
30	1347	10
31	1435	10
32	1526	10
33	1620	10
34	1717	10
35	1817	10
36	1920	10
37	2026	10
38	2135	10
39	2247	10
40	2362	10
41	2480	10
42	2601	10
43	2725	10
44	2852	10
45	2982	10
46	3115	10
47	3251	10
48	3390	10
49	3532	10
50	3677	10
51	3825	10
52	3976	10
53	4130	10
54	4287	10
55	4447	10
56	4610	10
57	4776	10
58	4945	10
done	5000	10
0	10	13
1	17	12
2	27	12
3	42	10
4	78	10
5	98	10
done	98	10
0	16	22
1	28	22
2	46	22
3	88	22
4	164	22
5	334	22
6	916	22
7	3231	22
done	5000	22
0	9	12
1	16	10
2	33	10
3	70	10
4	108	10
done	108	10
0	16	30
1	28	30
2	47	30
3	87	30
4	164	30
5	341	30
6	927	30
7	3236	30
done	5000	30
0	16	29
1	27	18
2	38	18
3	69	18
4	133	18
5	306	18
6	895	18
7	3189	18
done	5001	18
0	15	18
1	25	18
2	36	18
3	67	18
4	131	18
5	302	18
6	883	18
7	3196	18
done	5001	18
0	9	9
1	14	8
2	17	8
3	21	6
4	32	6
5	47	6
6	48	6
done	48	6
0	11	11
1	20	8
2	26	8
3	36	6
4	52	6
5	77	6
6	91	6
7	107	6
8	126	6
9	148	6
10	173	6
11	201	6
12	232	6
13	266	6
14	303	6
15	343	6
16	386	6
17	432	6
18	481	6
19	533	6
20	588	6
21	646	6
22	707	6
23	771	6
24	838	6
25	908	6
26	981	6
27	1057	6
28	1136	6
29	1218	6
30	1303	6
31	1391	6
32	1482	6
33	1576	6
34	1673	6
35	1773	6
36	1876	6
37	1982	6
38	2091	6
39	2203	6
40	2318	6
41	2436	6
42	2557	6
43	2681	6
44	2808	6
45	2938	6
46	3071	6
47	3207	6
48	3346	6
49	3488	6
50	3633	6
51	3781	6
52	3932	6
53	4086	6
54	4243	6
55	4403	6
56	4566	6
57	4732	6
58	4901	6
done	5001	6
0	9	9
1	14	8
2	17	8
3	21	6
4	32	6
5	47	6
6	48	6
done	48	6
0	15	18
1	25	18
2	36	18
3	67	18
4	131	18
5	302	18
6	883	18
7	3196	18
done	5001	18
0	8	8
1	13	6
2	20	6
3	29	6
4	35	6
done	35	6
0	14	28
1	28	28
2	46	26
3	103	26
4	187	26
5	353	26
6	937	26
7	3248	26
done	5001	26
0	14	27
1	27	16
2	38	14
3	80	14
4	145	14
5	311	14
6	876	14
7	3192	14
done	5001	14
0	13	16
1	25	16
2	36	14
3	78	14
4	141	14
5	305	14
6	887	14
7	3215	14
done	5000	14
0	6	7
1	11	6
2	13	4
3	28	2
4	75	2
5	92	2
done	92	2
0	8	9
1	17	6
2	22	4
3	40	2
4	80	2
5	107	2
6	120	2
7	136	2
8	155	2
9	177	2
10	202	2
11	230	2
12	261	2
13	295	2
14	332	2
15	372	2
16	415	2
17	461	2
18	510	2
19	562	2
20	617	2
21	675	2
22	736	2
23	800	2
24	867	2
25	937	2
26	1010	2
27	1086	2
28	1165	2
29	1247	2
30	1332	2
31	1420	2
32	1511	2
33	1605	2
34	1702	2
35	1802	2
36	1905	2
37	2011	2
38	2120	2
39	2232	2
40	2347	2
41	2465	2
42	2586	2
43	2710	2
44	2837	2
45	2967	2
46	3100	2
47	3236	2
48	3375	2
49	3517	2
50	3662	2
51	3810	2
52	3961	2
53	4115	2
54	4272	2
55	4432	2
56	4595	2
57	4761	2
58	4930	2
done	5000	2
0	6	7
1	11	6
2	13	4
3	28	2
4	75	2
5	92	2
done	92	2
0	13	16
1	25	16
2	36	14
3	78	14
4	141	14
5	305	14
6	887	14
7	3215	14
done	5000	14
0	5	6
1	10	4
2	15	2
3	19	2
done	19	2
0	4	4
1	7	2
2	10	2
done	10	2
0	5	5
1	6	5
done	6	5
0	16	20
1	38	20
2	85	20
3	194	20
4	620	20
5	2502	20
done	5001	20
0	15	26
1	32	20
2	67	20
3	166	20
4	504	20
5	2241	20
done	5001	20
0	14	17
1	24	17
2	35	17
3	66	17
4	130	17
5	305	17
6	888	17
7	3230	17
done	5001	17
0	14	17
1	24	17
2	35	17
3	66	17
4	130	17
5	305	17
6	888	17
7	3230	17
done	5001	17
0	13	16
1	23	16
2	34	16
3	65	16
4	127	16
5	298	16
6	881	16
7	3200	16
done	5001	16
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	6	8
1	10	8
2	17	8
3	41	8
4	98	8
5	256	8
6	883	8
7	3279	8
done	5000	8
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	2167	5
done	5000	5
0	4	4
1	11	2
2	18	2
3	29	2
4	51	2
5	112	2
6	321	2
7	1250	2
done	5000	2
0	6	9
1	10	9
2	15	9
3	33	9
4	75	9
5	182	9
6	565	9
7	1989	9
done	5000	9
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
0	5	5
1	11	5
2	19	5
3	42	5
4	108	5
5	309	5
6	1093	5
7	4992	5
done	5000	5
0	5	5
1	9	5
2	16	5
3	39	5
4	94	5
5	254	5
6	878	5
7	3724	5
done	5000	5
0	6	11
1	10	11
2	15	11
3	33	11
4	73	11
5	177	11
6	560	11
7	1981	11
done	5000	11
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	556	5
7	1964	5
done	5000	5
0	6	14
1	13	11
2	34	6
3	89	6
4	231	6
5	795	6
6	3683	6
done	5001	6
0	5	5
1	9	5
2	15	5
3	33	5
4	73	5
5	175	5
6	555	5
7	1976	5
done	5001	5
0	5	5
1	9	5
2	15	5
3	33	5
4	73	5
5	175	5
6	555	5
7	1976	5
done	5001	5
0	6	6
1	9	6
2	17	6
3	38	6
4	88	6
5	218	6
6	723	6
7	2520	6
done	5000	6
0	6	6
1	9	6
2	17	6
3	38	6
4	88	6
5	218	6
6	723	6
7	2520	6
done	5000	6
0	13	15
1	35	15
2	95	15
3	184	15
4	360	15
5	783	15
6	2344	15
done	5000	15
0	9	10
1	18	10
2	29	10
3	48	10
4	93	10
5	214	10
6	645	10
7	2658	10
done	5000	10
0	9	10
1	18	10
2	29	10
3	48	10
4	93	10
5	214	10
6	645	10
7	2658	10
done	5000	10
0	1	1
done	1	1
0	14	15
1	25	15
2	34	15
3	53	15
4	97	15
5	225	15
6	653	15
7	2571	15
done	5000	15
0	14	15
1	25	15
2	34	15
3	53	15
4	97	15
5	225	15
6	653	15
7	2571	15
done	5000	15
0	1	1
done	1	1
0	15	18
1	29	18
2	44	18
3	63	18
4	105	18
5	263	18
6	880	18
7	3602	18
done	5000	18
0	15	18
1	29	18
2	44	18
3	63	18
4	105	18
5	263	18
6	880	18
7	3602	18
done	5000	18
0	20	38
1	52	35
2	124	29
3	467	19
4	2432	17
done	5000	17
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4

prune339.0ms

Filtered

95 candidates to 145 candidates (-52.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	145	11	156

Merged error: 2.3b

Counts

156 → 11

localize22.0ms

Local error

Found 4 expressions with local error:

0.3b	(pow (sin ky) 2.0)
0.4b	(* (fabs (cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (sqrt (cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
3.7b	(cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
3.7b	(cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

24×	`*-un-lft-identity`
18×	`add-sqr-sqrt`
16×	`cbrt-prod`
12×	`add-cube-cbrt`
11×	`associate-r`
10×	`sqrt-prod`
9×	`unpow-prod-down`
7×	`pow1` `add-exp-log`
6×	`cbrt-div` `add-cbrt-cube` `distribute-lft-out`
4×	`add-log-exp`
3×	`pow-unpow` `flip3-+` `associate-l` `flip-+` `unswap-sqr`
2×	`pow1/3` `sqrt-div` `associate-*r/`
1×	`pow-to-exp` `pow-pow` `pow-prod-down` `pow-exp` `prod-exp` `*-commutative` `cbrt-unprod` `sqr-pow`

Counts

4 → 77

Calls

4 calls:

3.0ms	(pow (sin ky) 2.0)
21.0ms	(* (fabs (cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (sqrt (cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
8.0ms	(cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
8.0ms	(cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

series144.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(pow (sin ky) 2.0)
56.0ms	(* (fabs (cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (sqrt (cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
33.0ms	(cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
34.0ms	(cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

simplify8.3min

Counts

89 → 89

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	11	22
1	18	22
2	26	22
3	53	22
4	114	22
5	284	22
6	866	22
7	3191	22
done	5000	22
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	2	2
1	4	1
done	4	1
0	9	10
1	16	10
2	24	10
3	51	10
4	112	10
5	275	10
6	855	10
7	3165	10
done	5000	10
0	4	4
1	10	1
2	13	1
3	19	1
4	26	1
5	36	1
6	49	1
7	65	1
8	84	1
9	106	1
10	131	1
11	159	1
12	190	1
13	224	1
14	261	1
15	301	1
16	344	1
17	390	1
18	439	1
19	491	1
20	546	1
21	604	1
22	665	1
23	729	1
24	796	1
25	866	1
26	939	1
27	1015	1
28	1094	1
29	1176	1
30	1261	1
31	1349	1
32	1440	1
33	1534	1
34	1631	1
35	1731	1
36	1834	1
37	1940	1
38	2049	1
39	2161	1
40	2276	1
41	2394	1
42	2515	1
43	2639	1
44	2766	1
45	2896	1
46	3029	1
47	3165	1
48	3304	1
49	3446	1
50	3591	1
51	3739	1
52	3890	1
53	4044	1
54	4201	1
55	4361	1
56	4524	1
57	4690	1
58	4859	1
done	5000	1
0	9	10
1	16	10
2	24	10
3	51	10
4	112	10
5	275	10
6	855	10
7	3165	10
done	5000	10
0	2	2
1	4	1
done	4	1
0	9	10
1	16	10
2	24	10
3	51	10
4	112	10
5	275	10
6	855	10
7	3165	10
done	5000	10
0	12	14
1	31	14
2	75	14
3	184	14
4	607	14
5	2469	14
done	5000	14
0	13	30
1	30	22
2	84	22
3	253	22
4	964	22
done	5000	22
0	11	20
1	25	14
2	57	14
3	150	14
4	486	14
5	2225	14
done	5000	14
0	9	10
1	17	10
2	32	10
3	72	10
4	182	10
5	569	10
6	2522	10
done	5000	10
0	11	23
1	18	23
2	26	23
3	53	23
4	114	23
5	284	23
6	866	23
7	3191	23
done	5000	23
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	11	32
1	19	32
2	29	12
3	60	9
4	128	9
5	306	9
6	910	9
7	3294	9
done	5000	9
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	11	22
1	18	22
2	26	22
3	53	22
4	114	22
5	284	22
6	866	22
7	3191	22
done	5000	22
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	2	2
1	4	1
done	4	1
0	9	10
1	16	10
2	24	10
3	51	10
4	112	10
5	275	10
6	855	10
7	3165	10
done	5000	10
0	4	4
1	10	1
2	13	1
3	19	1
4	26	1
5	36	1
6	49	1
7	65	1
8	84	1
9	106	1
10	131	1
11	159	1
12	190	1
13	224	1
14	261	1
15	301	1
16	344	1
17	390	1
18	439	1
19	491	1
20	546	1
21	604	1
22	665	1
23	729	1
24	796	1
25	866	1
26	939	1
27	1015	1
28	1094	1
29	1176	1
30	1261	1
31	1349	1
32	1440	1
33	1534	1
34	1631	1
35	1731	1
36	1834	1
37	1940	1
38	2049	1
39	2161	1
40	2276	1
41	2394	1
42	2515	1
43	2639	1
44	2766	1
45	2896	1
46	3029	1
47	3165	1
48	3304	1
49	3446	1
50	3591	1
51	3739	1
52	3890	1
53	4044	1
54	4201	1
55	4361	1
56	4524	1
57	4690	1
58	4859	1
done	5000	1
0	9	10
1	16	10
2	24	10
3	51	10
4	112	10
5	275	10
6	855	10
7	3165	10
done	5000	10
0	2	2
1	4	1
done	4	1
0	9	10
1	16	10
2	24	10
3	51	10
4	112	10
5	275	10
6	855	10
7	3165	10
done	5000	10
0	12	14
1	31	14
2	75	14
3	184	14
4	607	14
5	2469	14
done	5000	14
0	13	30
1	30	22
2	84	22
3	253	22
4	964	22
done	5000	22
0	11	20
1	25	14
2	57	14
3	150	14
4	486	14
5	2225	14
done	5000	14
0	9	10
1	17	10
2	32	10
3	72	10
4	182	10
5	569	10
6	2522	10
done	5000	10
0	11	23
1	18	23
2	26	23
3	53	23
4	114	23
5	284	23
6	866	23
7	3191	23
done	5000	23
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	11	32
1	19	32
2	29	12
3	60	9
4	128	9
5	306	9
6	910	9
7	3294	9
done	5000	9
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	12	23
1	20	23
2	28	23
3	55	23
4	116	23
5	288	23
6	872	23
7	3199	23
done	5001	23
0	14	25
1	22	25
2	30	25
3	57	25
4	118	25
5	290	25
6	874	25
7	3194	25
done	5000	25
0	13	24
1	24	24
2	33	24
3	60	24
4	121	24
5	288	24
6	865	24
7	3186	24
done	5000	24
0	13	24
1	23	24
2	36	24
3	71	24
4	153	24
5	371	24
6	1077	24
7	3814	24
done	5000	24
0	16	71
1	30	58
2	64	27
3	130	27
4	249	25
5	535	25
6	1513	25
done	5001	25
0	14	49
1	22	49
2	30	49
3	57	49
4	118	49
5	290	49
6	874	49
7	3194	49
done	5000	49
0	13	24
1	21	24
2	29	24
3	56	24
4	119	24
5	287	24
6	872	24
7	3195	24
done	5000	24
0	14	71
1	32	71
2	69	25
3	141	25
4	219	25
5	435	25
6	1146	25
7	3941	25
done	5000	25
0	13	24
1	21	24
2	29	24
3	56	24
4	119	24
5	287	24
6	872	24
7	3195	24
done	5000	24
0	13	24
1	21	24
2	29	24
3	56	24
4	119	24
5	287	24
6	872	24
7	3195	24
done	5000	24
0	15	25
1	23	25
2	31	25
3	58	25
4	119	25
5	293	25
6	878	25
7	3204	25
done	5000	25
0	15	25
1	23	25
2	31	25
3	58	25
4	119	25
5	293	25
6	878	25
7	3204	25
done	5000	25
0	14	25
1	22	25
2	30	25
3	57	25
4	118	25
5	290	25
6	874	25
7	3194	25
done	5000	25
0	14	25
1	22	25
2	30	25
3	57	25
4	118	25
5	290	25
6	874	25
7	3194	25
done	5000	25
0	14	25
1	22	25
2	30	25
3	57	25
4	118	25
5	290	25
6	874	25
7	3194	25
done	5000	25
0	14	25
1	22	25
2	30	25
3	57	25
4	118	25
5	290	25
6	874	25
7	3194	25
done	5000	25
0	14	37
1	24	37
2	34	37
3	61	37
4	122	37
5	291	37
6	880	37
7	3198	37
done	5000	37
0	14	35
1	22	35
2	30	35
3	57	35
4	118	35
5	290	35
6	874	35
7	3194	35
done	5000	35
0	14	24
1	22	24
2	30	24
3	57	24
4	118	24
5	290	24
6	874	24
7	3194	24
done	5000	24
0	14	15
1	24	14
2	32	14
3	59	14
4	119	14
5	292	14
6	883	14
7	3209	14
done	5001	14
0	15	17
1	27	14
2	37	14
3	66	14
4	128	14
5	291	14
6	870	14
7	3194	14
done	5001	14
0	14	15
1	24	14
2	32	14
3	59	14
4	119	14
5	292	14
6	883	14
7	3209	14
done	5001	14
0	14	36
1	23	24
2	31	24
3	58	24
4	119	24
5	288	24
6	872	24
7	3181	24
done	5000	24
0	13	24
1	21	24
2	29	24
3	56	24
4	119	24
5	287	24
6	872	24
7	3195	24
done	5000	24
0	13	14
1	23	13
2	31	13
3	58	11
4	121	11
5	287	11
6	864	11
7	3192	11
done	5000	11
0	13	24
1	21	24
2	29	24
3	56	24
4	119	24
5	287	24
6	872	24
7	3195	24
done	5000	24
0	12	13
1	22	11
2	33	11
3	60	11
4	120	11
5	284	11
6	860	11
7	3180	11
done	5000	11
0	13	24
1	21	24
2	29	24
3	56	24
4	119	24
5	287	24
6	872	24
7	3195	24
done	5000	24
0	13	24
1	21	24
2	29	24
3	56	24
4	119	24
5	287	24
6	872	24
7	3195	24
done	5000	24
0	12	23
1	20	23
2	28	23
3	55	23
4	116	23
5	288	23
6	872	23
7	3199	23
done	5001	23
0	17	27
1	38	27
2	82	27
3	189	27
4	605	27
5	2488	27
done	5001	27
0	16	33
1	31	27
2	62	27
3	155	27
4	489	27
5	2253	27
done	5000	27
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	6	8
1	10	8
2	17	8
3	41	8
4	98	8
5	256	8
6	883	8
7	3279	8
done	5000	8
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	2167	5
done	5000	5
0	4	4
1	11	2
2	18	2
3	29	2
4	51	2
5	112	2
6	321	2
7	1250	2
done	5000	2
0	6	9
1	10	9
2	15	9
3	33	9
4	75	9
5	182	9
6	565	9
7	1989	9
done	5000	9
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
0	5	5
1	11	5
2	19	5
3	42	5
4	108	5
5	309	5
6	1093	5
7	4992	5
done	5000	5
0	5	5
1	9	5
2	16	5
3	39	5
4	94	5
5	254	5
6	878	5
7	3724	5
done	5000	5
0	6	11
1	10	11
2	15	11
3	33	11
4	73	11
5	177	11
6	560	11
7	1981	11
done	5000	11
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	556	5
7	1964	5
done	5000	5
0	6	14
1	13	11
2	34	6
3	89	6
4	231	6
5	795	6
6	3683	6
done	5001	6
0	5	5
1	9	5
2	15	5
3	33	5
4	73	5
5	175	5
6	555	5
7	1976	5
done	5001	5
0	5	5
1	9	5
2	15	5
3	33	5
4	73	5
5	175	5
6	555	5
7	1976	5
done	5001	5
0	6	6
1	9	6
2	17	6
3	38	6
4	88	6
5	218	6
6	723	6
7	2520	6
done	5000	6
0	6	6
1	9	6
2	17	6
3	38	6
4	88	6
5	218	6
6	723	6
7	2520	6
done	5000	6
0	25	44
1	63	41
2	159	31
3	504	22
4	2042	21
done	5001	21
0	10	11
1	24	10
2	41	10
3	70	10
4	138	10
5	320	10
6	962	10
7	3884	10
done	5000	10
0	10	11
1	24	10
2	41	10
3	70	10
4	138	10
5	320	10
6	962	10
7	3884	10
done	5000	10
0	25	44
1	63	41
2	159	31
3	504	22
4	2042	21
done	5001	21
0	10	11
1	24	10
2	41	10
3	70	10
4	138	10
5	320	10
6	962	10
7	3884	10
done	5000	10
0	10	11
1	24	10
2	41	10
3	70	10
4	138	10
5	320	10
6	962	10
7	3884	10
done	5000	10
0	35	79
1	89	73
2	216	67
3	761	46
4	3271	32
done	5001	32
0	14	24
1	32	23
2	59	23
3	110	23
4	242	23
5	657	23
6	2325	23
done	5000	23
0	14	24
1	32	23
2	59	23
3	110	23
4	242	23
5	657	23
6	2325	23
done	5000	23
0	20	38
1	52	35
2	124	29
3	467	19
4	2432	17
done	5000	17
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4

prune347.0ms

Filtered

63 candidates to 89 candidates (-41.3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	87	2	89
Fresh	1	8	9
Picked	1	0	1
Done	0	1	1
Total	89	11	100

Merged error: 2.3b

Counts

100 → 11

localize20.0ms

Local error

Found 4 expressions with local error:

0.3b	(pow (sin ky) 2.0)
1.2b	(exp (log (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
1.3b	(log (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))
3.2b	(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

24×	`*-un-lft-identity`
16×	`log-prod`
15×	`sqrt-prod`
13×	`add-sqr-sqrt`
12×	`add-cube-cbrt`
10×	`pow1`
9×	`unpow-prod-down`
8×	`exp-sum`
6×	`add-exp-log` `exp-prod` `sqrt-div` `log-pow` `distribute-lft-out`
4×	`log-div` `add-cbrt-cube` `add-log-exp`
3×	`pow-unpow` `sqrt-pow1` `flip3-+` `pow1/2` `flip-+`
2×	`exp-diff`
1×	`pow-to-exp` `rem-sqrt-square` `pow-pow` `rem-log-exp` `pow-exp` `rem-exp-log` `sqr-pow`

Counts

4 → 79

Calls

4 calls:

3.0ms	(pow (sin ky) 2.0)
12.0ms	(exp (log (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
9.0ms	(log (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))
8.0ms	(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

series101.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(pow (sin ky) 2.0)
22.0ms	(exp (log (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
29.0ms	(log (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))
28.0ms	(sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

simplify9.5min

Counts

91 → 91

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	11	23
1	18	23
2	26	23
3	53	23
4	114	23
5	284	23
6	866	23
7	3191	23
done	5000	23
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	11	32
1	19	20
2	38	12
3	77	12
4	173	12
5	468	12
6	1616	12
done	5001	12
0	11	22
1	19	11
2	27	11
3	54	11
4	115	11
5	280	11
6	860	11
7	3158	11
done	5000	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	2	2
1	4	1
done	4	1
0	9	10
1	16	10
2	24	10
3	51	10
4	112	10
5	275	10
6	855	10
7	3165	10
done	5000	10
0	4	4
1	10	1
2	13	1
3	19	1
4	26	1
5	36	1
6	49	1
7	65	1
8	84	1
9	106	1
10	131	1
11	159	1
12	190	1
13	224	1
14	261	1
15	301	1
16	344	1
17	390	1
18	439	1
19	491	1
20	546	1
21	604	1
22	665	1
23	729	1
24	796	1
25	866	1
26	939	1
27	1015	1
28	1094	1
29	1176	1
30	1261	1
31	1349	1
32	1440	1
33	1534	1
34	1631	1
35	1731	1
36	1834	1
37	1940	1
38	2049	1
39	2161	1
40	2276	1
41	2394	1
42	2515	1
43	2639	1
44	2766	1
45	2896	1
46	3029	1
47	3165	1
48	3304	1
49	3446	1
50	3591	1
51	3739	1
52	3890	1
53	4044	1
54	4201	1
55	4361	1
56	4524	1
57	4690	1
58	4859	1
done	5000	1
0	9	10
1	16	10
2	24	10
3	51	10
4	112	10
5	275	10
6	855	10
7	3165	10
done	5000	10
0	2	2
1	4	1
done	4	1
0	9	10
1	16	10
2	24	10
3	51	10
4	112	10
5	275	10
6	855	10
7	3165	10
done	5000	10
0	12	14
1	31	14
2	75	14
3	184	14
4	607	14
5	2469	14
done	5000	14
0	13	30
1	30	22
2	84	22
3	253	22
4	964	22
done	5000	22
0	11	20
1	25	14
2	57	14
3	150	14
4	486	14
5	2225	14
done	5000	14
0	9	10
1	17	10
2	32	10
3	72	10
4	182	10
5	569	10
6	2522	10
done	5000	10
0	3	3
1	6	1
done	6	1
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	12	24
1	21	24
2	30	14
3	58	14
4	119	14
5	286	14
6	867	14
7	3210	14
done	5000	14
0	11	12
1	18	12
2	26	12
3	53	12
4	114	12
5	284	12
6	866	12
7	3191	12
done	5000	12
0	12	23
1	20	12
2	28	12
3	55	12
4	116	12
5	284	12
6	874	12
7	3207	12
done	5000	12
0	11	12
1	18	12
2	26	12
3	53	12
4	114	12
5	284	12
6	866	12
7	3191	12
done	5000	12
0	11	12
1	18	12
2	26	12
3	53	12
4	114	12
5	284	12
6	866	12
7	3191	12
done	5000	12
0	11	12
1	18	12
2	26	12
3	53	12
4	114	12
5	284	12
6	866	12
7	3191	12
done	5000	12
0	3	3
1	5	2
done	5	2
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	5	5
1	11	2
2	14	2
3	20	2
4	27	2
5	37	2
6	50	2
7	66	2
8	85	2
9	107	2
10	132	2
11	160	2
12	191	2
13	225	2
14	262	2
15	302	2
16	345	2
17	391	2
18	440	2
19	492	2
20	547	2
21	605	2
22	666	2
23	730	2
24	797	2
25	867	2
26	940	2
27	1016	2
28	1095	2
29	1177	2
30	1262	2
31	1350	2
32	1441	2
33	1535	2
34	1632	2
35	1732	2
36	1835	2
37	1941	2
38	2050	2
39	2162	2
40	2277	2
41	2395	2
42	2516	2
43	2640	2
44	2767	2
45	2897	2
46	3030	2
47	3166	2
48	3305	2
49	3447	2
50	3592	2
51	3740	2
52	3891	2
53	4045	2
54	4202	2
55	4362	2
56	4525	2
57	4691	2
58	4860	2
done	5000	2
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	3	3
1	5	2
done	5	2
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	11	12
1	18	12
2	26	12
3	53	12
4	114	12
5	284	12
6	866	12
7	3191	12
done	5000	12
0	11	12
1	18	12
2	26	12
3	53	12
4	114	12
5	284	12
6	866	12
7	3191	12
done	5000	12
0	2	2
1	4	1
done	4	1
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	13	15
1	32	15
2	76	15
3	183	15
4	617	15
5	2461	15
done	5000	15
0	14	31
1	31	23
2	85	23
3	255	23
4	961	23
done	5000	23
0	12	21
1	26	15
2	58	15
3	151	15
4	489	15
5	2229	15
done	5000	15
0	10	11
1	18	11
2	33	11
3	73	11
4	179	11
5	561	11
6	2515	11
done	5000	11
0	9	10
1	16	10
2	24	10
3	51	10
4	112	10
5	275	10
6	855	10
7	3165	10
done	5000	10
0	10	11
1	17	11
2	25	11
3	52	11
4	113	11
5	280	11
6	859	11
7	3167	11
done	5001	11
0	9	10
1	16	10
2	24	10
3	51	10
4	112	10
5	275	10
6	855	10
7	3165	10
done	5000	10
0	11	12
1	18	12
2	26	12
3	53	12
4	114	12
5	284	12
6	866	12
7	3191	12
done	5000	12
0	11	12
1	18	10
2	26	10
3	53	10
4	114	10
5	278	10
6	863	10
7	3180	10
done	5000	10
0	12	25
1	19	25
2	27	25
3	54	25
4	115	25
5	278	25
6	865	25
7	3190	25
done	5000	25
0	11	12
1	18	12
2	26	12
3	53	12
4	114	12
5	284	12
6	866	12
7	3191	12
done	5000	12
0	12	35
1	20	35
2	30	13
3	61	13
4	127	13
5	306	13
6	905	13
7	3259	13
done	5000	13
0	11	12
1	18	12
2	26	12
3	53	12
4	114	12
5	284	12
6	866	12
7	3191	12
done	5000	12
0	11	12
1	18	12
2	26	12
3	53	12
4	114	12
5	284	12
6	866	12
7	3191	12
done	5000	12
0	2	2
done	2	2
0	2	2
1	5	1
done	5	1
0	4	4
1	9	2
2	10	2
done	10	2
0	13	26
1	22	26
2	33	26
3	65	26
4	142	26
5	349	26
6	1009	26
7	3663	26
done	5000	26
0	12	13
1	19	13
2	27	13
3	54	13
4	115	13
5	278	13
6	865	13
7	3190	13
done	5000	13
0	2	2
1	5	1
done	5	1
0	13	25
1	22	23
2	33	15
3	63	15
4	130	13
5	309	13
6	910	13
7	3291	13
done	5000	13
0	12	13
1	19	11
2	27	11
3	54	11
4	115	11
5	278	11
6	865	11
7	3190	11
done	5000	11
0	13	24
1	21	11
2	29	11
3	56	11
4	119	11
5	284	11
6	865	11
7	3188	11
done	5000	11
0	12	13
1	19	11
2	27	11
3	54	11
4	115	11
5	278	11
6	865	11
7	3190	11
done	5000	11
0	12	13
1	19	11
2	27	11
3	54	11
4	115	11
5	278	11
6	865	11
7	3190	11
done	5000	11
0	12	13
1	19	11
2	27	11
3	54	11
4	115	11
5	278	11
6	865	11
7	3190	11
done	5000	11
0	4	4
1	6	1
done	6	1
0	11	12
1	18	10
2	26	10
3	53	10
4	114	10
5	278	10
6	863	10
7	3180	10
done	5000	10
0	6	6
1	12	1
2	15	1
3	21	1
4	28	1
5	38	1
6	51	1
7	67	1
8	86	1
9	108	1
10	133	1
11	161	1
12	192	1
13	226	1
14	263	1
15	303	1
16	346	1
17	392	1
18	441	1
19	493	1
20	548	1
21	606	1
22	667	1
23	731	1
24	798	1
25	868	1
26	941	1
27	1017	1
28	1096	1
29	1178	1
30	1263	1
31	1351	1
32	1442	1
33	1536	1
34	1633	1
35	1733	1
36	1836	1
37	1942	1
38	2051	1
39	2163	1
40	2278	1
41	2396	1
42	2517	1
43	2641	1
44	2768	1
45	2898	1
46	3031	1
47	3167	1
48	3306	1
49	3448	1
50	3593	1
51	3741	1
52	3892	1
53	4046	1
54	4203	1
55	4363	1
56	4526	1
57	4692	1
58	4861	1
done	5001	1
0	11	12
1	18	10
2	26	10
3	53	10
4	114	10
5	278	10
6	863	10
7	3180	10
done	5000	10
0	4	4
1	6	1
done	6	1
0	11	12
1	18	10
2	26	10
3	53	10
4	114	10
5	278	10
6	863	10
7	3180	10
done	5000	10
0	12	13
1	19	11
2	27	11
3	54	11
4	115	11
5	278	11
6	865	11
7	3190	11
done	5000	11
0	12	13
1	19	11
2	27	11
3	54	11
4	115	11
5	278	11
6	865	11
7	3190	11
done	5000	11
0	3	3
1	5	1
done	5	1
0	11	12
1	18	10
2	26	10
3	53	10
4	114	10
5	278	10
6	863	10
7	3180	10
done	5000	10
0	14	16
1	33	14
2	77	14
3	182	14
4	604	14
5	2471	14
done	5000	14
0	15	32
1	32	22
2	86	22
3	253	22
4	962	22
done	5000	22
0	13	22
1	27	14
2	59	14
3	154	14
4	492	14
5	2247	14
done	5000	14
0	11	12
1	19	10
2	34	10
3	74	10
4	181	10
5	566	10
6	2507	10
done	5000	10
0	12	13
1	19	11
2	27	11
3	54	11
4	115	11
5	278	11
6	865	11
7	3190	11
done	5001	11
0	12	13
1	19	11
2	27	11
3	54	11
4	115	11
5	278	11
6	865	11
7	3191	11
done	5001	11
0	13	27
1	20	23
2	28	23
3	55	23
4	116	23
5	288	23
6	873	23
7	3176	23
done	5000	23
0	12	13
1	19	11
2	27	11
3	54	11
4	115	11
5	278	11
6	865	11
7	3191	11
done	5001	11
0	13	38
1	23	32
2	38	12
3	84	12
4	182	12
5	485	12
6	1622	12
done	5001	12
0	12	13
1	19	11
2	27	11
3	54	11
4	115	11
5	278	11
6	865	11
7	3191	11
done	5001	11
0	12	13
1	19	11
2	27	11
3	54	11
4	115	11
5	278	11
6	865	11
7	3191	11
done	5001	11
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	6	8
1	10	8
2	17	8
3	41	8
4	98	8
5	256	8
6	883	8
7	3279	8
done	5000	8
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	2167	5
done	5000	5
0	4	4
1	11	2
2	18	2
3	29	2
4	51	2
5	112	2
6	321	2
7	1250	2
done	5000	2
0	6	9
1	10	9
2	15	9
3	33	9
4	75	9
5	182	9
6	565	9
7	1989	9
done	5000	9
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
0	5	5
1	11	5
2	19	5
3	42	5
4	108	5
5	309	5
6	1093	5
7	4992	5
done	5000	5
0	5	5
1	9	5
2	16	5
3	39	5
4	94	5
5	254	5
6	878	5
7	3724	5
done	5000	5
0	6	11
1	10	11
2	15	11
3	33	11
4	73	11
5	177	11
6	560	11
7	1981	11
done	5000	11
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	556	5
7	1964	5
done	5000	5
0	6	14
1	13	11
2	34	6
3	89	6
4	231	6
5	795	6
6	3683	6
done	5001	6
0	5	5
1	9	5
2	15	5
3	33	5
4	73	5
5	175	5
6	555	5
7	1976	5
done	5001	5
0	5	5
1	9	5
2	15	5
3	33	5
4	73	5
5	175	5
6	555	5
7	1976	5
done	5001	5
0	6	6
1	9	6
2	17	6
3	38	6
4	88	6
5	218	6
6	723	6
7	2520	6
done	5000	6
0	6	6
1	9	6
2	17	6
3	38	6
4	88	6
5	218	6
6	723	6
7	2520	6
done	5000	6
0	13	15
1	35	15
2	95	15
3	184	15
4	360	15
5	783	15
6	2344	15
done	5000	15
0	9	10
1	18	10
2	29	10
3	48	10
4	93	10
5	214	10
6	645	10
7	2658	10
done	5000	10
0	9	10
1	18	10
2	29	10
3	48	10
4	93	10
5	214	10
6	645	10
7	2658	10
done	5000	10
0	14	17
1	33	16
2	85	14
3	198	12
4	383	12
5	882	12
6	2810	12
done	5000	12
0	10	11
1	19	11
2	30	11
3	49	11
4	94	11
5	215	11
6	632	11
7	2673	11
done	5001	11
0	10	11
1	19	11
2	30	11
3	49	11
4	94	11
5	215	11
6	632	11
7	2673	11
done	5001	11
0	13	15
1	35	15
2	95	15
3	184	15
4	360	15
5	783	15
6	2344	15
done	5000	15
0	9	10
1	18	10
2	29	10
3	48	10
4	93	10
5	214	10
6	645	10
7	2658	10
done	5000	10
0	9	10
1	18	10
2	29	10
3	48	10
4	93	10
5	214	10
6	645	10
7	2658	10
done	5000	10
0	20	38
1	52	35
2	124	29
3	467	19
4	2432	17
done	5000	17
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4

prune193.0ms

Filtered

60 candidates to 91 candidates (-51.7%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	89	2	91
Fresh	0	9	9
Picked	1	0	1
Done	0	1	1
Total	90	12	102

Merged error: 2.3b

Counts

102 → 12

regimes979.0ms

Accuracy

0% (1.3b remaining)

Error of 3.8b against oracle of 2.5b and baseline of 3.8b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	16
1	15	16
done	15	16

end0.0ms

sample7.0s

Algorithm

intervals

Results

4.4s	3817×	body	1280	valid
1.5s	2008×	body	640	valid
377.0ms	684×	body	320	valid
192.0ms	1219×	body	80	valid
86.0ms	272×	body	160	valid

Details

sample244.0ms

simplify3.3s

prune7.0ms

localize24.0ms

rewrite41.0ms

series138.0ms

simplify9.4min

prune336.0ms

localize17.0ms

rewrite55.0ms

series149.0ms

simplify17.9min

prune339.0ms

localize22.0ms

rewrite44.0ms

series144.0ms

simplify8.3min

prune347.0ms

localize20.0ms

rewrite36.0ms

series101.0ms

simplify9.5min

prune193.0ms

regimes979.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample7.0s

Profiling