Details

sample26.0ms

Algorithm

intervals

Results

10.0ms

318×

body

valid

simplify5.7s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	22	9
2	43	9
3	106	9
4	187	9
5	267	9
6	376	9
7	825	9
8	4472	9
done	5001	9

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 10.9b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 47

Calls

2 calls:

11.0ms	(* x (+ (- y z) 1.0))
11.0ms	(/ (* x (+ (- y z) 1.0)) z)

series23.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(* x (+ (- y z) 1.0))
11.0ms	(/ (* x (+ (- y z) 1.0)) z)

simplify1.2min

Counts

53 → 53

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	21	12
2	38	12
3	53	12
4	68	12
5	82	12
6	104	12
7	137	12
8	172	12
9	187	12
10	210	12
11	216	12
done	216	12
0	10	11
1	27	11
2	50	11
3	89	11
4	124	11
5	147	11
6	183	11
7	244	11
8	327	11
9	398	11
10	442	11
11	504	11
12	534	11
13	576	11
14	578	11
done	578	11
0	9	10
1	26	10
2	55	10
3	134	10
4	230	10
5	318	10
6	439	10
7	906	10
8	4564	10
done	5000	10
0	9	10
1	23	10
2	44	10
3	109	10
4	214	10
5	372	10
6	648	10
7	1931	10
done	5001	10
0	14	29
1	46	29
2	220	15
3	1200	15
done	5001	15
0	12	29
1	42	29
2	202	13
3	1232	11
done	5001	11
0	10	21
1	24	21
2	45	21
3	108	21
4	189	21
5	269	21
6	378	21
7	827	21
8	4472	21
done	5001	21
0	9	10
1	23	10
2	44	10
3	107	10
4	188	10
5	268	10
6	377	10
7	826	10
8	4475	10
done	5001	10
0	10	29
1	31	29
2	101	11
3	516	11
4	3671	11
done	5000	11
0	9	10
1	23	10
2	44	10
3	107	10
4	188	10
5	268	10
6	377	10
7	826	10
8	4475	10
done	5001	10
0	9	10
1	23	10
2	44	10
3	107	10
4	188	10
5	268	10
6	377	10
7	826	10
8	4475	10
done	5001	10
0	8	8
1	24	8
2	57	8
3	132	8
4	248	7
5	292	7
6	352	7
7	444	7
8	472	7
done	472	7
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	7	8
1	12	8
2	25	8
3	41	8
4	61	8
5	77	8
6	111	8
7	141	8
8	184	8
9	210	8
10	222	8
11	227	8
done	227	8
0	4	4
done	4	4
0	7	8
1	12	8
2	25	8
3	41	8
4	61	8
5	77	8
6	111	8
7	141	8
8	184	8
9	210	8
10	222	8
11	227	8
done	227	8
0	3	3
1	5	1
done	5	1
0	6	7
1	11	7
2	24	7
3	40	7
4	62	7
5	80	7
6	118	7
7	148	7
8	189	7
9	213	7
10	225	7
11	230	7
12	231	7
done	231	7
0	3	3
1	5	3
done	5	3
0	8	9
1	22	9
2	41	9
3	71	9
4	101	9
5	118	9
6	145	9
7	193	9
8	258	9
9	313	9
10	348	9
11	373	9
done	373	9
0	10	13
1	29	13
2	63	13
3	173	13
4	336	13
5	533	13
6	789	13
7	1004	13
8	1376	13
9	1780	13
10	1972	13
11	2032	13
done	2032	13
0	9	10
1	23	10
2	44	10
3	107	10
4	188	10
5	267	10
6	375	10
7	490	10
8	677	10
9	861	10
10	971	10
11	1006	10
done	1006	10
0	9	9
1	25	7
2	50	7
3	119	7
4	182	7
5	247	7
6	320	7
7	420	7
8	549	7
9	659	7
10	692	7
11	720	7
done	720	7
0	6	7
1	11	7
2	21	7
3	30	7
4	39	7
5	44	7
6	53	7
7	68	7
8	87	7
9	95	7
10	99	7
11	100	7
done	100	7
0	10	19
1	27	17
2	73	17
3	209	15
4	652	15
5	2241	15
done	5000	15
0	6	7
1	13	7
2	30	7
3	67	7
4	104	7
5	123	7
6	149	7
7	209	7
8	258	7
9	306	7
10	341	7
11	357	7
12	358	7
done	358	7
0	7	7
1	19	7
2	36	7
3	66	7
4	96	7
5	113	7
6	140	7
7	188	7
8	253	7
9	308	7
10	341	7
11	363	7
done	363	7
0	9	9
1	15	9
2	25	9
3	34	9
4	43	9
5	48	9
6	57	9
7	72	9
8	91	9
9	99	9
10	105	9
11	109	9
done	109	9
0	8	8
1	23	8
2	41	8
3	71	8
4	101	8
5	118	8
6	145	8
7	193	8
8	258	8
9	313	8
10	348	8
11	373	8
done	373	8
0	8	8
1	22	8
2	48	8
3	116	8
4	225	8
5	485	8
6	1237	8
done	5000	8
0	11	23
1	35	23
2	138	11
3	692	11
4	4517	9
done	5000	9
0	9	17
1	21	17
2	38	17
3	68	17
4	98	17
5	115	17
6	142	17
7	190	17
8	255	17
9	310	17
10	341	17
11	363	17
done	363	17
0	8	8
1	20	8
2	37	8
3	67	8
4	97	8
5	114	8
6	141	8
7	189	8
8	254	8
9	309	8
10	342	8
11	364	8
done	364	8
0	9	23
1	31	23
2	119	9
3	597	9
4	3140	9
done	5000	9
0	8	8
1	20	8
2	37	8
3	67	8
4	97	8
5	114	8
6	141	8
7	189	8
8	254	8
9	309	8
10	342	8
11	364	8
done	364	8
0	8	8
1	20	8
2	37	8
3	67	8
4	97	8
5	114	8
6	141	8
7	189	8
8	254	8
9	309	8
10	342	8
11	364	8
done	364	8
0	9	9
1	15	9
2	25	9
3	34	9
4	43	9
5	48	9
6	57	9
7	72	9
8	91	9
9	99	9
10	105	9
11	109	9
done	109	9
0	9	9
1	15	9
2	25	9
3	34	9
4	43	9
5	48	9
6	57	9
7	72	9
8	91	9
9	99	9
10	105	9
11	109	9
done	109	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	3	3
1	4	3
done	4	3
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	3	3
1	4	3
done	4	3
0	9	15
1	17	15
2	29	15
3	38	15
4	47	15
5	52	15
6	61	15
7	76	15
8	95	15
9	103	15
10	109	15
11	110	15
done	110	15
0	8	8
1	14	8
2	24	8
3	33	8
4	42	8
5	47	8
6	56	8
7	71	8
8	90	8
9	98	8
10	102	8
11	106	8
done	106	8
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	8	8
1	20	8
2	37	8
3	67	8
4	97	8
5	114	8
6	141	8
7	189	8
8	254	8
9	309	8
10	349	8
11	366	8
done	366	8
0	8	8
1	20	8
2	37	8
3	67	8
4	97	8
5	114	8
6	141	8
7	189	8
8	254	8
9	309	8
10	349	8
11	366	8
done	366	8
0	7	7
1	19	7
2	36	7
3	66	7
4	96	7
5	113	7
6	140	7
7	188	7
8	253	7
9	308	7
10	341	7
11	363	7
done	363	7
0	10	11
1	33	11
2	80	11
3	200	11
4	533	11
5	1653	11
done	5001	11
0	9	13
1	17	13
2	49	13
3	169	13
4	687	13
5	2311	13
done	5000	13
0	10	13
1	21	13
2	33	13
3	50	9
4	66	9
5	97	9
6	160	9
7	275	9
8	389	9
9	508	9
10	571	9
11	862	9
12	2241	9
13	2547	9
14	2653	9
done	2653	9
0	10	13
1	21	13
2	33	13
3	50	9
4	66	9
5	97	9
6	160	9
7	275	9
8	389	9
9	508	9
10	571	9
11	862	9
12	2241	9
13	2547	9
14	2653	9
done	2653	9
0	10	13
1	21	13
2	33	13
3	50	9
4	66	9
5	97	9
6	160	9
7	275	9
8	389	9
9	508	9
10	571	9
11	862	9
12	2241	9
13	2547	9
14	2653	9
done	2653	9
0	9	11
1	17	11
2	36	9
3	60	7
4	80	7
5	103	7
6	143	7
7	218	7
8	281	7
9	308	7
10	359	7
11	433	7
12	444	7
done	444	7
0	9	11
1	17	11
2	36	9
3	60	7
4	80	7
5	103	7
6	143	7
7	218	7
8	281	7
9	308	7
10	359	7
11	433	7
12	444	7
done	444	7
0	9	11
1	17	11
2	36	9
3	60	7
4	80	7
5	103	7
6	143	7
7	218	7
8	281	7
9	308	7
10	359	7
11	433	7
12	444	7
done	444	7

prune85.0ms

Filtered

42 candidates to 53 candidates (-26.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	49	4	53
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	50	4	54

Merged error: 0.0b

Counts

54 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`associate-l`
12×	`*-un-lft-identity`
10×	`add-cube-cbrt` `times-frac`
7×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `associate-r` `add-log-exp`
2×	`distribute-rgt-in` `frac-times` `distribute-lft-in` `flip3-+` `associate-*r/` `prod-exp` `associate--l+` `cbrt-unprod` `flip-+` `unswap-sqr`
1×	`cbrt-undiv` `sub-neg` `flip3--` `diff-log` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `flip--` `div-inv` `distribute-lft-out`

Counts

2 → 53

Calls

2 calls:

8.0ms	(- (* (/ x z) (+ y 1.0)) x)
10.0ms	(* (/ x z) (+ y 1.0))

series21.0ms

Counts

2 → 6

Calls

2 calls:

10.0ms	(- (* (/ x z) (+ y 1.0)) x)
11.0ms	(* (/ x z) (+ y 1.0))

simplify1.3min

Counts

59 → 59

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	17	7
2	33	7
3	41	7
4	47	7
5	54	7
6	56	7
done	56	7
0	10	10
1	16	10
2	26	10
3	35	10
4	44	10
5	49	10
6	58	10
7	75	10
8	94	10
9	102	10
done	102	10
0	9	9
1	14	9
2	20	9
3	29	9
4	39	9
5	48	9
6	53	9
7	62	9
8	79	9
9	98	9
10	106	9
done	106	9
0	8	8
1	21	8
2	43	8
3	61	8
4	83	8
5	102	8
6	118	8
7	131	8
8	154	8
9	167	8
10	183	8
11	185	8
12	188	8
13	193	8
14	198	8
done	198	8
0	8	8
1	20	8
2	45	8
3	70	8
4	111	8
5	243	8
6	589	8
7	1944	8
done	5001	8
0	13	23
1	41	23
2	174	13
3	921	11
done	5001	11
0	11	23
1	37	23
2	142	11
3	580	11
4	3017	9
done	5000	9
0	9	17
1	19	17
2	35	17
3	43	17
4	49	17
5	56	17
6	58	17
done	58	17
0	8	8
1	18	8
2	34	8
3	42	8
4	48	8
5	55	8
6	57	8
done	57	8
0	9	23
1	29	23
2	138	9
3	684	9
4	2745	9
done	5000	9
0	8	8
1	18	8
2	34	8
3	42	8
4	48	8
5	55	8
6	57	8
done	57	8
0	8	8
1	18	8
2	34	8
3	42	8
4	48	8
5	55	8
6	57	8
done	57	8
0	8	9
1	29	9
2	63	9
3	105	9
4	194	9
5	477	9
6	1523	9
done	5000	9
0	9	13
1	24	11
2	54	11
3	102	11
4	155	11
5	207	11
6	262	11
7	326	11
8	461	11
9	708	11
10	784	11
11	785	11
done	785	11
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	9	9
1	11	9
done	11	9
0	9	9
1	11	9
done	11	9
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	9	13
1	15	13
2	23	13
3	31	13
4	40	13
5	46	13
6	51	13
done	51	13
0	8	8
1	12	8
2	15	8
3	17	8
4	19	8
5	20	8
done	20	8
0	5	5
1	10	3
2	20	3
done	20	3
0	5	5
1	10	3
2	20	3
done	20	3
0	8	8
1	16	8
2	17	8
done	17	8
0	8	8
1	16	8
2	17	8
done	17	8
0	9	9
1	19	9
2	35	9
3	43	9
4	49	9
5	56	9
6	58	9
done	58	9
0	9	9
1	19	9
2	35	9
3	43	9
4	49	9
5	56	9
6	58	9
done	58	9
0	8	8
1	18	8
2	34	8
3	42	8
4	48	8
5	55	8
6	57	8
done	57	8
0	9	9
1	19	9
2	35	9
3	43	9
4	49	9
5	56	9
6	58	9
done	58	9
0	9	9
1	19	9
2	35	9
3	43	9
4	49	9
5	56	9
6	58	9
done	58	9
0	8	8
1	18	8
2	34	8
3	42	8
4	48	8
5	55	8
6	57	8
done	57	8
0	8	8
1	18	8
2	34	8
3	42	8
4	48	8
5	55	8
6	57	8
done	57	8
0	8	8
1	18	8
2	34	8
3	42	8
4	48	8
5	55	8
6	57	8
done	57	8
0	7	7
1	17	7
2	33	7
3	41	7
4	47	7
5	54	7
6	56	7
done	56	7
0	7	7
1	17	7
2	33	7
3	41	7
4	47	7
5	54	7
6	56	7
done	56	7
0	7	7
1	19	7
2	35	5
3	70	5
4	81	5
done	81	5
0	10	11
1	33	11
2	82	11
3	173	11
4	398	11
5	1052	11
6	3638	11
done	5000	11
0	9	11
1	17	11
2	45	11
3	135	11
4	325	11
5	546	11
6	955	11
7	1786	11
done	5000	11
0	5	5
1	13	5
2	14	5
done	14	5
0	10	11
1	24	10
2	53	10
3	93	10
4	169	10
5	424	10
6	1338	10
done	5000	10
0	9	10
1	21	10
2	42	10
3	59	10
4	68	10
5	81	10
6	107	10
7	169	10
8	282	10
9	401	10
10	516	10
11	577	10
12	874	10
13	2269	10
14	2666	10
15	2792	10
16	2873	10
17	3163	10
18	4533	10
done	5000	10
0	9	10
1	24	10
2	54	10
3	96	10
4	164	10
5	402	10
6	1434	10
done	5000	10
0	10	21
1	22	21
2	43	21
3	60	21
4	69	21
5	82	21
6	108	21
7	170	21
8	283	21
9	399	21
10	512	21
11	572	21
12	863	21
13	2230	21
14	2555	21
15	2665	21
done	2665	21
0	9	10
1	21	10
2	42	10
3	59	10
4	68	10
5	81	10
6	107	10
7	169	10
8	282	10
9	398	10
10	509	10
11	569	10
12	860	10
13	2233	10
14	2531	10
15	2640	10
done	2640	10
0	10	29
1	23	29
2	58	11
3	182	11
4	945	11
done	5000	11
0	9	10
1	21	10
2	42	10
3	59	10
4	68	10
5	81	10
6	107	10
7	169	10
8	282	10
9	398	10
10	509	10
11	569	10
12	860	10
13	2233	10
14	2531	10
15	2640	10
done	2640	10
0	9	10
1	21	10
2	42	10
3	59	10
4	68	10
5	81	10
6	107	10
7	169	10
8	282	10
9	398	10
10	509	10
11	569	10
12	860	10
13	2233	10
14	2531	10
15	2640	10
done	2640	10
0	11	13
1	39	13
2	130	13
3	576	13
4	2653	13
done	5001	13
0	12	29
1	38	27
2	128	27
3	403	21
4	1145	21
5	3206	21
done	5000	21
0	2	2
done	2	2
0	10	19
1	32	19
2	114	19
3	381	19
4	1115	19
5	3221	19
done	5000	19
0	8	9
1	19	9
2	39	9
3	51	9
4	57	9
5	71	9
6	89	9
7	109	9
done	109	9
0	6	7
1	11	7
2	15	7
3	17	7
4	19	7
5	20	7
done	20	7
0	6	7
1	11	7
2	15	7
3	19	7
4	20	7
done	20	7
0	2	2
done	2	2
0	9	11
1	16	11
2	21	11
3	32	7
4	42	7
5	49	7
6	50	7
7	52	7
8	53	7
done	53	7
0	9	11
1	16	11
2	21	11
3	32	7
4	42	7
5	49	7
6	50	7
7	52	7
8	53	7
done	53	7
0	9	11
1	16	11
2	21	11
3	32	7
4	42	7
5	49	7
6	50	7
7	52	7
8	53	7
done	53	7
0	10	13
1	21	13
2	33	13
3	50	9
4	66	9
5	97	9
6	160	9
7	275	9
8	389	9
9	508	9
10	571	9
11	862	9
12	2241	9
13	2547	9
14	2653	9
done	2653	9
0	10	13
1	21	13
2	33	13
3	50	9
4	66	9
5	97	9
6	160	9
7	275	9
8	389	9
9	508	9
10	571	9
11	862	9
12	2241	9
13	2547	9
14	2653	9
done	2653	9
0	10	13
1	21	13
2	33	13
3	50	9
4	66	9
5	97	9
6	160	9
7	275	9
8	389	9
9	508	9
10	571	9
11	862	9
12	2241	9
13	2547	9
14	2653	9
done	2653	9

prune82.0ms

Filtered

46 candidates to 59 candidates (-28.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	58	1	59
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	58	5	63

Merged error: 0b

Counts

63 → 5

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ z (+ (- y z) 1.0))
2.7b	(/ x (/ z (+ (- y z) 1.0)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

150×	`*-un-lft-identity`
138×	`times-frac`
70×	`add-sqr-sqrt` `add-cube-cbrt`
32×	`distribute-lft-out`
26×	`associate-/r*`
16×	`distribute-lft-out--`
11×	`associate-/r/`
9×	`add-exp-log` `add-cbrt-cube`
6×	`div-inv` `associate-/l*`
5×	`flip3-+` `flip-+`
4×	`cbrt-undiv` `div-exp`
2×	`pow1` `frac-2neg` `clear-num` `add-log-exp`

Counts

2 → 139

Calls

2 calls:

9.0ms	(/ z (+ (- y z) 1.0))
13.0ms	(/ x (/ z (+ (- y z) 1.0)))

series18.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(/ z (+ (- y z) 1.0))
11.0ms	(/ x (/ z (+ (- y z) 1.0)))

simplify2.2min

Counts

145 → 145

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	22	12
2	40	12
3	62	12
4	75	12
5	88	12
6	112	12
7	153	12
8	181	12
9	189	12
10	195	12
11	199	12
done	199	12
0	10	11
1	20	11
2	35	11
3	51	11
4	73	11
5	83	11
6	100	11
7	130	11
8	175	11
9	192	11
10	198	11
11	202	11
done	202	11
0	9	10
1	19	10
2	47	10
3	113	10
4	189	10
5	268	10
6	375	10
7	555	10
8	781	10
9	1577	10
done	5001	10
0	9	10
1	16	10
2	39	10
3	107	10
4	220	10
5	372	10
6	772	10
7	1919	10
done	5000	10
0	14	29
1	45	29
2	183	15
3	1004	13
done	5000	13
0	12	29
1	32	29
2	100	13
3	477	11
4	2845	11
done	5000	11
0	10	21
1	17	21
2	38	21
3	96	21
4	162	21
5	224	21
6	323	21
7	492	21
8	700	21
9	1474	21
done	5000	21
0	9	10
1	16	10
2	37	10
3	95	10
4	161	10
5	223	10
6	322	10
7	491	10
8	699	10
9	1475	10
done	5000	10
0	10	29
1	24	29
2	80	11
3	446	11
4	3011	11
done	5001	11
0	9	10
1	16	10
2	37	10
3	95	10
4	161	10
5	223	10
6	322	10
7	491	10
8	699	10
9	1475	10
done	5000	10
0	9	10
1	16	10
2	37	10
3	95	10
4	161	10
5	223	10
6	322	10
7	491	10
8	699	10
9	1475	10
done	5000	10
0	2	2
done	2	2
0	7	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	70	8
8	89	8
9	97	8
10	101	8
11	105	8
done	105	8
0	12	23
1	23	23
2	42	23
3	57	23
4	66	23
5	71	23
6	80	23
7	95	23
8	114	23
9	122	23
10	126	23
11	130	23
done	130	23
0	10	11
1	15	11
2	25	11
3	34	11
4	43	11
5	48	11
6	57	11
7	72	11
8	91	11
9	99	11
10	105	11
11	109	11
done	109	11
0	11	14
1	18	14
2	30	14
3	40	14
4	49	14
5	54	14
6	63	14
7	78	14
8	97	14
9	105	14
10	111	14
11	115	14
done	115	14
0	10	11
1	15	11
2	25	11
3	34	11
4	43	11
5	48	11
6	57	11
7	72	11
8	91	11
9	99	11
10	105	11
11	109	11
done	109	11
0	14	25
1	29	25
2	75	25
3	175	25
4	312	25
5	411	25
6	458	25
7	483	25
8	502	25
9	510	25
10	516	25
11	520	25
done	520	25
0	11	12
1	18	12
2	31	12
3	41	12
4	52	12
5	59	12
6	69	12
7	84	12
8	103	12
9	111	12
10	117	12
11	121	12
done	121	12
0	13	18
1	24	18
2	52	18
3	105	18
4	158	18
5	182	18
6	196	18
7	212	18
8	231	18
9	239	18
10	245	18
11	249	18
done	249	18
0	11	12
1	18	12
2	31	12
3	41	12
4	52	12
5	59	12
6	69	12
7	84	12
8	103	12
9	111	12
10	117	12
11	121	12
done	121	12
0	9	13
1	17	11
2	40	11
3	115	11
4	147	11
5	170	11
6	172	11
done	172	11
0	10	11
1	17	11
2	38	11
3	96	11
4	162	11
5	224	11
6	324	11
7	491	11
8	699	11
9	897	11
10	1040	11
11	1079	11
done	1079	11
0	9	13
1	17	11
2	40	11
3	115	11
4	147	11
5	170	11
6	172	11
done	172	11
0	10	11
1	17	11
2	38	11
3	96	11
4	162	11
5	224	11
6	324	11
7	491	11
8	699	11
9	897	11
10	1040	11
11	1079	11
done	1079	11
0	9	13
1	17	11
2	40	11
3	115	11
4	147	11
5	170	11
6	172	11
done	172	11
0	10	11
1	17	11
2	38	11
3	96	11
4	162	11
5	224	11
6	324	11
7	491	11
8	699	11
9	897	11
10	1040	11
11	1079	11
done	1079	11
0	13	22
1	24	22
2	49	22
3	86	22
4	131	22
5	158	22
6	177	22
7	201	22
8	221	22
9	229	22
10	235	22
11	236	22
done	236	22
0	11	12
1	18	12
2	31	12
3	41	12
4	52	12
5	59	12
6	69	12
7	84	12
8	103	12
9	111	12
10	117	12
11	121	12
done	121	12
0	12	15
1	21	15
2	40	15
3	59	15
4	78	15
5	87	15
6	98	15
7	114	15
8	133	15
9	141	15
10	145	15
11	149	15
done	149	15
0	11	12
1	18	12
2	31	12
3	41	12
4	52	12
5	59	12
6	69	12
7	84	12
8	103	12
9	111	12
10	117	12
11	121	12
done	121	12
0	8	10
1	14	8
2	25	8
3	47	8
4	52	8
5	56	8
6	62	8
done	62	8
0	10	11
1	17	11
2	38	11
3	96	11
4	162	11
5	224	11
6	324	11
7	491	11
8	699	11
9	897	11
10	1040	11
11	1079	11
done	1079	11
0	8	10
1	14	8
2	25	8
3	47	8
4	52	8
5	56	8
6	62	8
done	62	8
0	10	11
1	17	11
2	38	11
3	96	11
4	162	11
5	224	11
6	324	11
7	491	11
8	699	11
9	897	11
10	1040	11
11	1079	11
done	1079	11
0	8	10
1	14	8
2	25	8
3	47	8
4	52	8
5	56	8
6	62	8
done	62	8
0	10	11
1	17	11
2	38	11
3	96	11
4	162	11
5	224	11
6	324	11
7	491	11
8	699	11
9	897	11
10	1040	11
11	1079	11
done	1079	11
0	13	21
1	26	21
2	51	19
3	107	19
4	229	19
5	296	19
6	350	19
7	365	19
8	384	19
9	392	19
10	398	19
11	402	19
done	402	19
0	10	11
1	17	11
2	30	11
3	40	11
4	51	11
5	58	11
6	68	11
7	83	11
8	102	11
9	110	11
10	116	11
11	117	11
done	117	11
0	12	14
1	23	14
2	42	12
3	77	12
4	133	12
5	146	12
6	155	12
7	170	12
8	189	12
9	197	12
10	203	12
11	207	12
done	207	12
0	10	11
1	17	11
2	30	11
3	40	11
4	51	11
5	58	11
6	68	11
7	83	11
8	102	11
9	110	11
10	116	11
11	117	11
done	117	11
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	9	10
1	16	10
2	37	10
3	95	10
4	161	10
5	223	10
6	322	10
7	491	10
8	699	10
9	2011	10
done	5000	10
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	9	10
1	16	10
2	37	10
3	95	10
4	161	10
5	223	10
6	322	10
7	491	10
8	699	10
9	2011	10
done	5000	10
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	9	10
1	16	10
2	37	10
3	95	10
4	161	10
5	223	10
6	322	10
7	491	10
8	699	10
9	2011	10
done	5000	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	9	10
1	16	10
2	37	10
3	95	10
4	161	10
5	223	10
6	322	10
7	491	10
8	699	10
9	2011	10
done	5000	10
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	10	10
1	19	10
2	40	8
3	80	8
4	140	8
5	215	8
6	392	8
7	512	8
8	627	8
9	732	8
10	771	8
11	791	8
done	791	8
0	13	17
1	33	17
2	72	17
3	195	17
4	674	17
5	2817	17
done	5001	17
0	12	20
1	22	18
2	53	18
3	130	16
4	405	16
5	1394	16
6	4867	16
done	5000	16
0	12	19
1	23	19
2	64	19
3	237	19
4	1293	19
done	5000	19
0	8	8
1	14	8
2	25	8
3	41	8
4	50	8
5	58	8
6	72	8
7	95	8
8	101	8
9	111	8
10	118	8
11	120	8
12	122	8
done	122	8
0	11	20
1	18	20
2	28	20
3	37	20
4	46	20
5	51	20
6	60	20
7	75	20
8	94	20
9	102	20
10	108	20
11	109	20
done	109	20
0	10	11
1	15	11
2	25	11
3	34	11
4	43	11
5	48	11
6	57	11
7	72	11
8	91	11
9	99	11
10	105	11
11	109	11
done	109	11
0	10	11
1	15	11
2	25	11
3	34	11
4	43	11
5	48	11
6	57	11
7	72	11
8	91	11
9	99	11
10	105	11
11	109	11
done	109	11
0	10	11
1	15	11
2	25	11
3	34	11
4	43	11
5	48	11
6	57	11
7	72	11
8	91	11
9	99	11
10	105	11
11	109	11
done	109	11
0	13	22
1	26	22
2	57	22
3	95	22
4	130	22
5	169	22
6	201	22
7	226	22
8	245	22
9	253	22
10	259	22
11	263	22
done	263	22
0	11	12
1	18	12
2	31	12
3	41	12
4	52	12
5	59	12
6	69	12
7	84	12
8	103	12
9	111	12
10	117	12
11	121	12
done	121	12
0	12	15
1	21	15
2	39	15
3	61	15
4	78	15
5	89	15
6	101	15
7	116	15
8	135	15
9	143	15
10	149	15
11	153	15
done	153	15
0	11	12
1	18	12
2	31	12
3	41	12
4	52	12
5	59	12
6	69	12
7	84	12
8	103	12
9	111	12
10	117	12
11	121	12
done	121	12
0	8	10
1	14	8
2	27	8
3	54	8
4	64	8
5	76	8
6	81	8
done	81	8
0	10	11
1	17	11
2	38	11
3	96	11
4	162	11
5	224	11
6	324	11
7	491	11
8	699	11
9	897	11
10	1040	11
11	1079	11
done	1079	11
0	8	10
1	14	8
2	27	8
3	54	8
4	64	8
5	76	8
6	81	8
done	81	8
0	10	11
1	17	11
2	38	11
3	96	11
4	162	11
5	224	11
6	324	11
7	491	11
8	699	11
9	897	11
10	1040	11
11	1079	11
done	1079	11
0	8	10
1	14	8
2	27	8
3	54	8
4	64	8
5	76	8
6	81	8
done	81	8
0	10	11
1	17	11
2	38	11
3	96	11
4	162	11
5	224	11
6	324	11
7	491	11
8	699	11
9	897	11
10	1040	11
11	1079	11
done	1079	11
0	12	19
1	21	19
2	38	19
3	55	19
4	68	19
5	82	19
6	97	19
7	117	19
8	136	19
9	144	19
10	150	19
11	151	19
done	151	19
0	11	12
1	18	12
2	31	12
3	41	12
4	52	12
5	59	12
6	69	12
7	84	12
8	103	12
9	111	12
10	117	12
11	121	12
done	121	12
0	11	12
1	18	12
2	31	12
3	41	12
4	52	12
5	59	12
6	69	12
7	84	12
8	103	12
9	111	12
10	117	12
11	121	12
done	121	12
0	11	12
1	18	12
2	31	12
3	41	12
4	52	12
5	59	12
6	69	12
7	84	12
8	103	12
9	111	12
10	117	12
11	121	12
done	121	12
0	7	7
1	11	5
2	17	5
3	22	5
4	24	5
5	27	5
6	31	5
done	31	5
0	10	11
1	17	11
2	38	11
3	96	11
4	162	11
5	224	11
6	324	11
7	491	11
8	699	11
9	897	11
10	1040	11
11	1079	11
done	1079	11
0	7	7
1	11	5
2	17	5
3	22	5
4	24	5
5	27	5
6	31	5
done	31	5
0	10	11
1	17	11
2	38	11
3	96	11
4	162	11
5	224	11
6	324	11
7	491	11
8	699	11
9	897	11
10	1040	11
11	1079	11
done	1079	11
0	7	7
1	11	5
2	17	5
3	22	5
4	24	5
5	27	5
6	31	5
done	31	5
0	10	11
1	17	11
2	38	11
3	96	11
4	162	11
5	224	11
6	324	11
7	491	11
8	699	11
9	897	11
10	1040	11
11	1079	11
done	1079	11
0	12	18
1	23	18
2	40	16
3	65	16
4	100	16
5	126	16
6	155	16
7	170	16
8	189	16
9	197	16
10	203	16
11	207	16
done	207	16
0	10	11
1	17	11
2	30	11
3	40	11
4	51	11
5	58	11
6	68	11
7	83	11
8	102	11
9	110	11
10	116	11
11	117	11
done	117	11
0	11	11
1	20	11
2	33	9
3	51	9
4	69	9
5	76	9
6	85	9
7	100	9
8	119	9
9	127	9
10	133	9
11	134	9
done	134	9
0	10	11
1	17	11
2	30	11
3	40	11
4	51	11
5	58	11
6	68	11
7	83	11
8	102	11
9	110	11
10	116	11
11	117	11
done	117	11
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	9	10
1	16	10
2	37	10
3	95	10
4	161	10
5	223	10
6	322	10
7	491	10
8	699	10
9	2011	10
done	5000	10
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	9	10
1	16	10
2	37	10
3	95	10
4	161	10
5	223	10
6	322	10
7	491	10
8	699	10
9	2011	10
done	5000	10
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	9	10
1	16	10
2	37	10
3	95	10
4	161	10
5	223	10
6	322	10
7	491	10
8	699	10
9	2011	10
done	5000	10
0	4	4
1	6	2
2	8	2
done	8	2
0	9	10
1	16	10
2	37	10
3	95	10
4	161	10
5	223	10
6	322	10
7	491	10
8	699	10
9	2011	10
done	5000	10
0	4	4
done	4	4
0	10	10
1	19	10
2	40	8
3	80	8
4	140	8
5	215	8
6	392	8
7	512	8
8	627	8
9	732	8
10	771	8
11	791	8
done	791	8
0	12	14
1	30	14
2	63	14
3	165	14
4	506	14
5	1828	14
done	5001	14
0	12	20
1	22	18
2	53	18
3	130	16
4	405	16
5	1394	16
6	4867	16
done	5000	16
0	11	16
1	20	16
2	55	16
3	199	16
4	909	16
5	3357	16
done	5000	16
0	8	8
1	14	8
2	25	8
3	41	8
4	50	8
5	58	8
6	72	8
7	95	8
8	101	8
9	111	8
10	118	8
11	120	8
12	122	8
done	122	8
0	10	19
1	19	19
2	29	19
3	38	19
4	47	19
5	52	19
6	61	19
7	76	19
8	95	19
9	103	19
10	109	19
11	110	19
done	110	19
0	9	10
1	14	10
2	24	10
3	33	10
4	42	10
5	47	10
6	56	10
7	71	10
8	90	10
9	98	10
10	104	10
11	108	10
done	108	10
0	9	10
1	16	10
2	26	10
3	35	10
4	44	10
5	49	10
6	58	10
7	73	10
8	92	10
9	100	10
10	104	10
11	108	10
done	108	10
0	9	10
1	14	10
2	24	10
3	33	10
4	42	10
5	47	10
6	56	10
7	71	10
8	90	10
9	98	10
10	104	10
11	108	10
done	108	10
0	12	21
1	27	21
2	58	21
3	98	19
4	167	19
5	239	19
6	248	19
7	263	19
8	282	19
9	290	19
10	296	19
11	297	19
done	297	19
0	10	11
1	17	11
2	30	11
3	40	11
4	51	11
5	58	11
6	68	11
7	83	11
8	102	11
9	110	11
10	116	11
11	117	11
done	117	11
0	11	14
1	22	14
2	40	14
3	62	12
4	98	12
5	134	12
6	143	12
7	158	12
8	177	12
9	185	12
10	189	12
11	193	12
done	193	12
0	10	11
1	17	11
2	30	11
3	40	11
4	51	11
5	58	11
6	68	11
7	83	11
8	102	11
9	110	11
10	116	11
11	117	11
done	117	11
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	9	10
1	16	10
2	37	10
3	95	10
4	161	10
5	223	10
6	323	10
7	490	10
8	698	10
9	896	10
10	1024	10
11	1073	10
done	1073	10
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	9	10
1	16	10
2	37	10
3	95	10
4	161	10
5	223	10
6	323	10
7	490	10
8	698	10
9	896	10
10	1024	10
11	1073	10
done	1073	10
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	9	10
1	16	10
2	37	10
3	95	10
4	161	10
5	223	10
6	323	10
7	490	10
8	698	10
9	896	10
10	1024	10
11	1073	10
done	1073	10
0	11	18
1	22	18
2	39	18
3	56	16
4	89	16
5	109	16
6	118	16
7	133	16
8	152	16
9	160	16
10	164	16
11	165	16
done	165	16
0	10	11
1	17	11
2	30	11
3	40	11
4	51	11
5	58	11
6	68	11
7	83	11
8	102	11
9	110	11
10	116	11
11	117	11
done	117	11
0	10	11
1	19	11
2	32	11
3	42	9
4	64	9
5	76	9
6	85	9
7	100	9
8	119	9
9	127	9
10	133	9
11	134	9
done	134	9
0	10	11
1	17	11
2	30	11
3	40	11
4	51	11
5	58	11
6	68	11
7	83	11
8	102	11
9	110	11
10	116	11
11	117	11
done	117	11
0	5	6
1	9	4
2	14	4
done	14	4
0	9	10
1	16	10
2	37	10
3	95	10
4	161	10
5	223	10
6	323	10
7	490	10
8	698	10
9	896	10
10	1024	10
11	1073	10
done	1073	10
0	5	6
1	9	4
2	14	4
done	14	4
0	9	10
1	16	10
2	37	10
3	95	10
4	161	10
5	223	10
6	323	10
7	490	10
8	698	10
9	896	10
10	1024	10
11	1073	10
done	1073	10
0	5	6
1	9	4
2	14	4
done	14	4
0	9	10
1	16	10
2	37	10
3	95	10
4	161	10
5	223	10
6	323	10
7	490	10
8	698	10
9	896	10
10	1024	10
11	1073	10
done	1073	10
0	10	17
1	21	13
2	40	13
3	62	13
4	82	13
5	88	13
6	97	13
7	112	13
8	131	13
9	139	13
10	143	13
11	147	13
done	147	13
0	9	10
1	16	10
2	29	10
3	39	10
4	50	10
5	57	10
6	67	10
7	82	10
8	101	10
9	109	10
10	115	10
11	119	10
done	119	10
0	9	10
1	18	6
2	33	6
3	44	6
4	54	6
5	59	6
6	68	6
7	83	6
8	102	6
9	110	6
10	114	6
11	115	6
done	115	6
0	9	10
1	16	10
2	29	10
3	39	10
4	50	10
5	57	10
6	67	10
7	82	10
8	101	10
9	109	10
10	115	10
11	119	10
done	119	10
0	3	5
1	6	1
done	6	1
0	8	9
1	15	9
2	36	9
3	94	9
4	160	9
5	222	9
6	321	9
7	490	9
8	698	9
9	1474	9
done	5000	9
0	3	5
1	6	1
done	6	1
0	8	9
1	15	9
2	36	9
3	94	9
4	160	9
5	222	9
6	321	9
7	490	9
8	698	9
9	1474	9
done	5000	9
0	3	5
1	6	1
done	6	1
0	8	9
1	15	9
2	36	9
3	94	9
4	160	9
5	222	9
6	321	9
7	490	9
8	698	9
9	1474	9
done	5000	9
0	2	3
1	4	1
done	4	1
0	8	9
1	15	9
2	36	9
3	94	9
4	160	9
5	222	9
6	321	9
7	490	9
8	698	9
9	1474	9
done	5000	9
0	3	3
1	5	3
done	5	3
0	9	9
1	18	9
2	39	7
3	74	7
4	122	7
5	181	7
6	270	7
7	374	7
8	505	7
9	621	7
10	669	7
11	697	7
done	697	7
0	11	13
1	31	13
2	64	13
3	166	11
4	531	11
5	2083	11
done	5001	11
0	11	19
1	21	17
2	52	17
3	129	15
4	404	15
5	1406	15
6	4869	15
done	5000	15
0	10	15
1	21	15
2	56	15
3	200	13
4	961	13
5	3955	13
done	5000	13
0	7	7
1	13	7
2	24	7
3	40	7
4	51	7
5	59	7
6	73	7
7	96	7
8	102	7
9	112	7
10	115	7
11	117	7
12	121	7
done	121	7
0	8	9
1	17	9
2	38	9
3	96	7
4	227	7
5	333	7
6	444	7
7	542	7
8	731	7
9	910	7
10	1178	7
11	1205	7
12	1207	7
done	1207	7
0	8	9
1	15	9
2	36	9
3	65	9
4	97	9
5	117	9
6	143	9
7	191	9
8	256	9
9	311	9
10	347	9
11	372	9
done	372	9
0	10	19
1	17	19
2	27	19
3	36	19
4	45	19
5	50	19
6	59	19
7	74	19
8	93	19
9	101	19
10	107	19
11	111	19
done	111	19
0	9	10
1	14	10
2	24	10
3	33	10
4	42	10
5	47	10
6	56	10
7	71	10
8	90	10
9	98	10
10	104	10
11	108	10
done	108	10
0	12	21
1	25	21
2	56	21
3	96	21
4	131	21
5	168	21
6	198	21
7	223	21
8	242	21
9	250	21
10	254	21
11	258	21
done	258	21
0	11	14
1	20	14
2	38	14
3	60	14
4	77	14
5	88	14
6	100	14
7	115	14
8	134	14
9	142	14
10	148	14
11	149	14
done	149	14
0	7	9
1	13	7
2	26	7
3	53	7
4	59	7
5	68	7
6	83	7
7	86	7
done	86	7
0	7	9
1	13	7
2	26	7
3	53	7
4	59	7
5	68	7
6	83	7
7	86	7
done	86	7
0	7	9
1	13	7
2	26	7
3	53	7
4	59	7
5	68	7
6	83	7
7	86	7
done	86	7
0	11	18
1	20	18
2	37	18
3	54	18
4	67	18
5	81	18
6	96	18
7	116	18
8	135	18
9	143	18
10	149	18
11	150	18
done	150	18
0	10	11
1	17	11
2	30	11
3	40	11
4	51	11
5	58	11
6	68	11
7	83	11
8	102	11
9	110	11
10	116	11
11	117	11
done	117	11
0	6	6
1	10	4
2	16	4
3	21	4
done	21	4
0	6	6
1	10	4
2	16	4
3	21	4
done	21	4
0	6	6
1	10	4
2	16	4
3	21	4
done	21	4
0	11	17
1	22	17
2	39	15
3	58	15
4	87	15
5	123	15
6	144	15
7	159	15
8	178	15
9	186	15
10	190	15
11	194	15
done	194	15
0	10	10
1	19	10
2	32	8
3	47	8
4	63	8
5	73	8
6	82	8
7	97	8
8	116	8
9	124	8
10	128	8
11	132	8
done	132	8
0	4	5
1	8	3
2	13	1
done	13	1
0	4	5
1	8	3
2	13	1
done	13	1
0	4	5
1	8	3
2	13	1
done	13	1
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	11	13
1	29	13
2	62	13
3	164	13
4	494	13
5	1833	13
done	5001	13
0	10	15
1	19	15
2	54	15
3	198	15
4	910	15
5	3355	15
done	5001	15
0	9	10
1	16	10
2	37	10
3	66	10
4	98	10
5	118	10
6	144	10
7	192	10
8	257	10
9	312	10
10	354	10
11	374	10
done	374	10
0	9	10
1	16	10
2	37	10
3	66	10
4	98	10
5	118	10
6	144	10
7	192	10
8	257	10
9	312	10
10	354	10
11	374	10
done	374	10
0	8	9
1	15	9
2	36	9
3	65	9
4	97	9
5	117	9
6	143	9
7	191	9
8	256	9
9	311	9
10	347	9
11	372	9
done	372	9
0	3	3
done	3	3
0	8	9
1	15	9
2	26	9
3	35	9
4	44	9
5	49	9
6	58	9
7	73	9
8	92	9
9	100	9
10	104	9
11	108	9
done	108	9
0	7	8
1	15	8
2	27	8
3	37	8
4	46	8
5	51	8
6	60	8
7	75	8
8	94	8
9	102	8
10	108	8
11	109	8
done	109	8
0	7	8
1	12	8
2	22	8
3	31	8
4	40	8
5	45	8
6	54	8
7	69	8
8	88	8
9	96	8
10	100	8
11	104	8
done	104	8
0	10	23
1	36	23
2	120	11
3	444	9
4	2245	9
done	5000	9
0	8	17
1	13	17
2	23	17
3	32	17
4	41	17
5	46	17
6	55	17
7	70	17
8	89	17
9	97	17
10	103	17
11	104	17
done	104	17
0	7	8
1	12	8
2	22	8
3	31	8
4	40	8
5	45	8
6	54	8
7	69	8
8	88	8
9	96	8
10	100	8
11	104	8
done	104	8
0	8	23
1	20	23
2	46	9
3	105	9
4	289	9
5	1056	9
done	5001	9
0	7	8
1	12	8
2	22	8
3	31	8
4	40	8
5	45	8
6	54	8
7	69	8
8	88	8
9	96	8
10	100	8
11	104	8
done	104	8
0	7	8
1	12	8
2	22	8
3	31	8
4	40	8
5	45	8
6	54	8
7	69	8
8	88	8
9	96	8
10	100	8
11	104	8
done	104	8
0	2	2
done	2	2
0	6	6
1	14	6
2	28	6
3	52	6
4	78	5
5	87	5
6	102	5
7	125	5
done	125	5
0	10	19
1	21	19
2	40	19
3	55	19
4	64	19
5	69	19
6	78	19
7	93	19
8	112	19
9	120	19
10	126	19
11	130	19
done	130	19
0	8	9
1	13	9
2	23	9
3	32	9
4	41	9
5	46	9
6	55	9
7	70	9
8	89	9
9	97	9
10	101	9
11	102	9
done	102	9
0	9	12
1	16	12
2	28	12
3	38	12
4	47	12
5	52	12
6	61	12
7	76	12
8	95	12
9	103	12
10	109	12
11	110	12
done	110	12
0	8	9
1	13	9
2	23	9
3	32	9
4	41	9
5	46	9
6	55	9
7	70	9
8	89	9
9	97	9
10	101	9
11	102	9
done	102	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	12	8
2	22	8
3	31	8
4	40	8
5	45	8
6	54	8
7	69	8
8	88	8
9	96	8
10	100	8
11	104	8
done	104	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	12	8
2	22	8
3	31	8
4	40	8
5	45	8
6	54	8
7	69	8
8	88	8
9	96	8
10	100	8
11	104	8
done	104	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	12	8
2	22	8
3	31	8
4	40	8
5	45	8
6	54	8
7	69	8
8	88	8
9	96	8
10	100	8
11	104	8
done	104	8
0	9	16
1	16	16
2	26	16
3	35	16
4	44	16
5	49	16
6	58	16
7	73	16
8	92	16
9	100	16
10	104	16
11	108	16
done	108	16
0	8	9
1	13	9
2	23	9
3	32	9
4	41	9
5	46	9
6	55	9
7	70	9
8	89	9
9	97	9
10	101	9
11	102	9
done	102	9
0	8	9
1	13	9
2	23	9
3	32	9
4	41	9
5	46	9
6	55	9
7	70	9
8	89	9
9	97	9
10	101	9
11	102	9
done	102	9
0	8	9
1	13	9
2	23	9
3	32	9
4	41	9
5	46	9
6	55	9
7	70	9
8	89	9
9	97	9
10	101	9
11	102	9
done	102	9
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	12	8
2	22	8
3	31	8
4	40	8
5	45	8
6	54	8
7	69	8
8	88	8
9	96	8
10	100	8
11	104	8
done	104	8
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	12	8
2	22	8
3	31	8
4	40	8
5	45	8
6	54	8
7	69	8
8	88	8
9	96	8
10	100	8
11	104	8
done	104	8
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	12	8
2	22	8
3	31	8
4	40	8
5	45	8
6	54	8
7	69	8
8	88	8
9	96	8
10	100	8
11	104	8
done	104	8
0	9	15
1	18	15
2	28	15
3	37	15
4	46	15
5	51	15
6	60	15
7	75	15
8	94	15
9	102	15
10	108	15
11	109	15
done	109	15
0	7	8
1	12	8
2	22	8
3	31	8
4	40	8
5	45	8
6	54	8
7	69	8
8	88	8
9	96	8
10	100	8
11	104	8
done	104	8
0	8	8
1	15	8
2	25	8
3	34	8
4	43	8
5	48	8
6	57	8
7	72	8
8	91	8
9	99	8
10	103	8
11	107	8
done	107	8
0	7	8
1	12	8
2	22	8
3	31	8
4	40	8
5	45	8
6	54	8
7	69	8
8	88	8
9	96	8
10	100	8
11	104	8
done	104	8
0	2	3
1	4	1
done	4	1
0	6	7
1	11	7
2	21	7
3	30	7
4	39	7
5	44	7
6	53	7
7	68	7
8	87	7
9	95	7
10	99	7
11	100	7
done	100	7
0	2	3
1	4	1
done	4	1
0	6	7
1	11	7
2	21	7
3	30	7
4	39	7
5	44	7
6	53	7
7	68	7
8	87	7
9	95	7
10	99	7
11	100	7
done	100	7
0	2	3
1	4	1
done	4	1
0	6	7
1	11	7
2	21	7
3	30	7
4	39	7
5	44	7
6	53	7
7	68	7
8	87	7
9	95	7
10	99	7
11	100	7
done	100	7
0	7	7
1	14	7
2	24	7
3	33	7
4	42	7
5	47	7
6	56	7
7	71	7
8	90	7
9	98	7
10	102	7
11	106	7
done	106	7
0	6	7
1	11	7
2	24	7
3	40	7
4	62	7
5	80	7
6	118	7
7	148	7
8	189	7
9	213	7
10	225	7
11	230	7
12	231	7
done	231	7
0	8	15
1	15	15
2	25	15
3	34	15
4	43	15
5	48	15
6	57	15
7	72	15
8	91	15
9	99	15
10	103	15
11	104	15
done	104	15
0	7	8
1	12	8
2	22	8
3	31	8
4	40	8
5	45	8
6	54	8
7	69	8
8	88	8
9	96	8
10	100	8
11	104	8
done	104	8
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	7	8
1	12	8
2	25	8
3	41	8
4	61	8
5	77	8
6	111	8
7	141	8
8	184	8
9	210	8
10	222	8
11	227	8
done	227	8
0	7	8
1	12	8
2	25	8
3	41	8
4	61	8
5	77	8
6	111	8
7	141	8
8	184	8
9	210	8
10	222	8
11	227	8
done	227	8
0	6	7
1	11	7
2	24	7
3	40	7
4	62	7
5	80	7
6	118	7
7	148	7
8	189	7
9	213	7
10	225	7
11	230	7
12	231	7
done	231	7
0	9	11
1	25	11
2	47	11
3	106	11
4	261	11
5	778	11
6	3043	11
done	5000	11
0	8	13
1	15	13
2	39	13
3	112	13
4	401	13
5	1250	13
done	5000	13
0	10	13
1	21	13
2	33	13
3	50	9
4	66	9
5	97	9
6	160	9
7	275	9
8	389	9
9	508	9
10	571	9
11	862	9
12	2241	9
13	2547	9
14	2653	9
done	2653	9
0	10	13
1	21	13
2	33	13
3	50	9
4	66	9
5	97	9
6	160	9
7	275	9
8	389	9
9	508	9
10	571	9
11	862	9
12	2241	9
13	2547	9
14	2653	9
done	2653	9
0	10	13
1	21	13
2	33	13
3	50	9
4	66	9
5	97	9
6	160	9
7	275	9
8	389	9
9	508	9
10	571	9
11	862	9
12	2241	9
13	2547	9
14	2653	9
done	2653	9
0	11	15
1	28	13
2	73	11
3	141	9
4	251	9
5	368	9
6	478	9
7	792	9
8	1673	9
9	3938	9
done	5000	9
0	1	1
done	1	1
0	1	1
done	1	1

prune161.0ms

Filtered

96 candidates to 145 candidates (-51.0%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	144	1	145
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	145	5	150

Merged error: 0b

Counts

150 → 5

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

57×	`*-un-lft-identity`
31×	`times-frac`
27×	`add-sqr-sqrt`
22×	`add-cube-cbrt`
19×	`associate-r`
14×	`distribute-lft-out`
9×	`add-exp-log` `add-cbrt-cube`
7×	`distribute-lft-out--`
5×	`associate-/l*`
4×	`pow1`
3×	`associate-l` `associate-/r*`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `add-log-exp` `unswap-sqr`
1×	`associate-+l-` `frac-2neg` `flip3-+` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `-commutative` `flip-+`

Counts

2 → 76

Calls

2 calls:

9.0ms	(/ (+ (- y z) 1.0) z)
13.0ms	(* x (/ (+ (- y z) 1.0) z))

series20.0ms

Counts

2 → 6

Calls

2 calls:

10.0ms	(/ (+ (- y z) 1.0) z)
10.0ms	(* x (/ (+ (- y z) 1.0) z))

simplify1.0min

Counts

82 → 82

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	8	9
1	16	9
2	40	9
3	80	9
4	171	9
5	253	9
6	373	9
7	704	9
8	2975	9
done	5000	9
0	11	12
1	21	12
2	38	12
3	56	12
4	71	12
5	86	12
6	102	12
7	129	12
8	171	12
9	193	12
10	205	12
11	206	12
done	206	12
0	10	11
1	19	11
2	38	11
3	63	11
4	95	11
5	122	11
6	165	11
7	204	11
8	262	11
9	305	11
10	327	11
11	337	11
12	338	11
done	338	11
0	9	10
1	20	10
2	50	10
3	100	10
4	210	10
5	305	10
6	437	10
7	786	10
8	3064	10
done	5001	10
0	9	10
1	19	10
2	49	10
3	105	10
4	254	10
5	561	10
6	1187	10
7	3402	10
done	5001	10
0	14	29
1	46	29
2	185	15
3	968	13
done	5000	13
0	12	29
1	30	29
2	108	13
3	441	13
4	2603	11
done	5001	11
0	10	21
1	18	21
2	42	21
3	82	21
4	173	21
5	255	21
6	375	21
7	706	21
8	2963	21
done	5001	21
0	9	10
1	17	10
2	41	10
3	81	10
4	172	10
5	254	10
6	374	10
7	705	10
8	2975	10
done	5000	10
0	10	29
1	28	29
2	103	11
3	432	11
4	2272	11
done	5000	11
0	9	10
1	17	10
2	41	10
3	81	10
4	172	10
5	254	10
6	374	10
7	705	10
8	2975	10
done	5000	10
0	9	10
1	17	10
2	41	10
3	81	10
4	172	10
5	254	10
6	374	10
7	705	10
8	2975	10
done	5000	10
0	10	11
1	16	11
2	29	11
3	45	11
4	67	11
5	85	11
6	123	11
7	153	11
8	194	11
9	218	11
10	232	11
11	242	11
12	243	11
done	243	11
0	10	11
1	16	11
2	29	11
3	45	11
4	67	11
5	85	11
6	123	11
7	153	11
8	194	11
9	218	11
10	232	11
11	242	11
12	243	11
done	243	11
0	11	12
1	19	12
2	32	12
3	45	12
4	55	12
5	60	12
6	69	12
7	84	12
8	103	12
9	111	12
10	117	12
11	121	12
done	121	12
0	11	12
1	19	12
2	32	12
3	45	12
4	55	12
5	60	12
6	69	12
7	84	12
8	103	12
9	111	12
10	117	12
11	121	12
done	121	12
0	10	19
1	18	19
2	33	19
3	49	19
4	71	19
5	89	19
6	127	19
7	157	19
8	198	19
9	222	19
10	234	19
11	244	19
12	245	19
done	245	19
0	9	10
1	15	10
2	28	10
3	44	10
4	66	10
5	84	10
6	122	10
7	152	10
8	193	10
9	217	10
10	231	10
11	238	10
12	239	10
done	239	10
0	12	21
1	26	21
2	65	21
3	113	21
4	178	21
5	195	21
6	204	21
7	219	21
8	238	21
9	246	21
10	252	21
11	253	21
done	253	21
0	11	18
1	21	18
2	41	18
3	65	18
4	87	18
5	94	18
6	103	18
7	118	18
8	137	18
9	145	18
10	149	18
11	150	18
done	150	18
0	11	17
1	23	15
2	50	15
3	96	15
4	135	15
5	140	15
6	149	15
7	164	15
8	183	15
9	191	15
10	195	15
11	199	15
done	199	15
0	11	14
1	21	14
2	42	14
3	64	14
4	85	14
5	90	14
6	99	14
7	114	14
8	133	14
9	141	14
10	145	14
11	146	14
done	146	14
0	10	11
1	18	11
2	31	11
3	44	11
4	54	11
5	59	11
6	68	11
7	83	11
8	102	11
9	110	11
10	114	11
11	115	11
done	115	11
0	10	10
1	20	8
2	37	8
3	55	8
4	70	8
5	75	8
6	84	8
7	99	8
8	118	8
9	126	8
10	132	8
11	133	8
done	133	8
0	7	9
1	14	9
2	24	7
3	31	7
4	49	7
5	79	7
6	82	7
done	82	7
0	6	6
1	11	6
2	14	4
3	15	4
4	20	4
5	21	4
done	21	4
0	4	5
1	9	3
2	14	1
done	14	1
0	7	9
1	14	9
2	24	7
3	31	7
4	49	7
5	79	7
6	82	7
done	82	7
0	6	6
1	11	6
2	14	4
3	15	4
4	20	4
5	21	4
done	21	4
0	4	5
1	9	3
2	14	1
done	14	1
0	7	9
1	14	9
2	24	7
3	31	7
4	49	7
5	79	7
6	82	7
done	82	7
0	6	6
1	11	6
2	14	4
3	15	4
4	20	4
5	21	4
done	21	4
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	7	7
1	19	7
2	36	7
3	66	7
4	96	7
5	113	7
6	140	7
7	188	7
8	253	7
9	308	7
10	341	7
11	363	7
done	363	7
0	9	10
1	17	10
2	41	10
3	81	10
4	172	10
5	254	10
6	374	10
7	917	10
done	5000	10
0	9	10
1	17	10
2	41	10
3	81	10
4	172	10
5	254	10
6	374	10
7	917	10
done	5000	10
0	8	9
1	16	9
2	40	9
3	80	9
4	171	9
5	253	9
6	373	9
7	704	9
8	2975	9
done	5000	9
0	7	7
1	19	7
2	36	7
3	66	7
4	96	7
5	113	7
6	140	7
7	188	7
8	253	7
9	308	7
10	341	7
11	363	7
done	363	7
0	8	9
1	15	9
2	26	9
3	35	9
4	44	9
5	49	9
6	58	9
7	73	9
8	92	9
9	100	9
10	104	9
11	108	9
done	108	9
0	7	8
1	15	8
2	30	8
3	47	8
4	69	8
5	87	8
6	125	8
7	155	8
8	196	8
9	220	8
10	234	8
11	242	8
12	243	8
done	243	8
0	7	8
1	12	8
2	25	8
3	44	8
4	73	8
5	103	8
6	160	8
7	237	8
8	369	8
9	499	8
10	531	8
11	536	8
done	536	8
0	10	23
1	36	23
2	123	11
3	520	9
4	2750	9
done	5000	9
0	8	17
1	13	17
2	26	17
3	42	17
4	64	17
5	82	17
6	120	17
7	150	17
8	191	17
9	215	17
10	229	17
11	234	17
12	235	17
done	235	17
0	7	8
1	12	8
2	25	8
3	41	8
4	63	8
5	81	8
6	119	8
7	149	8
8	190	8
9	214	8
10	228	8
11	233	8
12	234	8
done	234	8
0	8	23
1	20	23
2	65	9
3	234	9
4	1121	9
5	4480	9
done	5000	9
0	7	8
1	12	8
2	25	8
3	41	8
4	63	8
5	81	8
6	119	8
7	149	8
8	190	8
9	214	8
10	228	8
11	233	8
12	234	8
done	234	8
0	7	8
1	12	8
2	25	8
3	41	8
4	63	8
5	81	8
6	119	8
7	149	8
8	190	8
9	214	8
10	228	8
11	233	8
12	234	8
done	234	8
0	6	6
1	14	6
2	28	6
3	52	6
4	78	5
5	87	5
6	102	5
7	125	5
done	125	5
0	2	2
done	2	2
0	3	3
done	3	3
0	4	5
1	9	5
2	13	5
3	17	5
done	17	5
0	10	19
1	21	19
2	40	19
3	55	19
4	64	19
5	69	19
6	78	19
7	93	19
8	112	19
9	120	19
10	126	19
11	127	19
done	127	19
0	8	9
1	13	9
2	23	9
3	32	9
4	41	9
5	46	9
6	55	9
7	70	9
8	89	9
9	97	9
10	101	9
11	102	9
done	102	9
0	9	16
1	16	16
2	28	16
3	38	16
4	47	16
5	52	16
6	61	16
7	76	16
8	95	16
9	103	16
10	107	16
11	108	16
done	108	16
0	8	9
1	13	9
2	23	9
3	32	9
4	41	9
5	46	9
6	55	9
7	70	9
8	89	9
9	97	9
10	101	9
11	102	9
done	102	9
0	9	15
1	18	13
2	34	13
3	48	13
4	57	13
5	62	13
6	71	13
7	86	13
8	105	13
9	113	13
10	117	13
11	118	13
done	118	13
0	7	8
1	12	8
2	22	8
3	31	8
4	40	8
5	45	8
6	54	8
7	69	8
8	88	8
9	96	8
10	100	8
11	104	8
done	104	8
0	9	12
1	16	12
2	26	12
3	35	12
4	44	12
5	49	12
6	58	12
7	73	12
8	92	12
9	100	12
10	104	12
11	108	12
done	108	12
0	8	9
1	13	9
2	23	9
3	32	9
4	41	9
5	46	9
6	55	9
7	70	9
8	89	9
9	97	9
10	101	9
11	102	9
done	102	9
0	8	9
1	13	9
2	23	9
3	32	9
4	41	9
5	46	9
6	55	9
7	70	9
8	89	9
9	97	9
10	101	9
11	102	9
done	102	9
0	8	9
1	13	9
2	23	9
3	32	9
4	41	9
5	46	9
6	55	9
7	70	9
8	89	9
9	97	9
10	101	9
11	102	9
done	102	9
0	8	8
1	15	6
2	27	6
3	36	6
4	45	6
5	50	6
6	59	6
7	74	6
8	93	6
9	101	6
10	107	6
11	111	6
done	111	6
0	7	8
1	12	8
2	22	8
3	31	8
4	40	8
5	45	8
6	54	8
7	69	8
8	88	8
9	96	8
10	100	8
11	104	8
done	104	8
0	5	7
1	9	7
done	9	7
0	7	8
1	12	8
2	25	8
3	41	8
4	61	8
5	77	8
6	111	8
7	141	8
8	184	8
9	210	8
10	222	8
11	227	8
done	227	8
0	4	4
1	6	4
done	6	4
0	7	8
1	12	8
2	25	8
3	41	8
4	61	8
5	77	8
6	111	8
7	141	8
8	184	8
9	210	8
10	222	8
11	227	8
done	227	8
0	2	3
1	4	1
done	4	1
0	6	7
1	11	7
2	24	7
3	40	7
4	62	7
5	80	7
6	118	7
7	148	7
8	189	7
9	213	7
10	225	7
11	230	7
12	231	7
done	231	7
0	5	7
1	9	7
done	9	7
0	7	8
1	12	8
2	25	8
3	41	8
4	61	8
5	77	8
6	111	8
7	141	8
8	184	8
9	210	8
10	222	8
11	227	8
done	227	8
0	4	4
1	6	4
done	6	4
0	7	8
1	12	8
2	25	8
3	41	8
4	61	8
5	77	8
6	111	8
7	141	8
8	184	8
9	210	8
10	222	8
11	227	8
done	227	8
0	2	3
1	4	1
done	4	1
0	6	7
1	11	7
2	24	7
3	40	7
4	62	7
5	80	7
6	118	7
7	148	7
8	189	7
9	213	7
10	225	7
11	230	7
12	231	7
done	231	7
0	5	7
1	9	7
done	9	7
0	7	8
1	12	8
2	25	8
3	41	8
4	61	8
5	77	8
6	111	8
7	141	8
8	184	8
9	210	8
10	222	8
11	227	8
done	227	8
0	4	4
1	6	4
done	6	4
0	7	8
1	12	8
2	25	8
3	41	8
4	61	8
5	77	8
6	111	8
7	141	8
8	184	8
9	210	8
10	222	8
11	227	8
done	227	8
0	2	3
1	4	1
done	4	1
0	6	7
1	11	7
2	24	7
3	40	7
4	62	7
5	80	7
6	118	7
7	148	7
8	189	7
9	213	7
10	225	7
11	230	7
12	231	7
done	231	7
0	3	3
1	5	3
done	5	3
0	6	7
1	11	7
2	21	7
3	30	7
4	39	7
5	44	7
6	53	7
7	68	7
8	87	7
9	95	7
10	99	7
11	100	7
done	100	7
0	8	11
1	15	11
2	31	11
3	56	11
4	91	11
5	122	11
6	181	11
7	230	11
8	303	11
9	351	11
10	373	11
11	379	11
done	379	11
0	7	8
1	12	8
2	25	8
3	41	8
4	61	8
5	77	8
6	111	8
7	141	8
8	184	8
9	210	8
10	222	8
11	227	8
done	227	8
0	7	7
1	14	5
2	29	5
3	45	5
4	64	5
5	73	5
6	90	5
7	111	5
8	139	5
9	159	5
10	165	5
11	167	5
done	167	5
0	7	8
1	12	8
2	22	8
3	31	8
4	40	8
5	45	8
6	54	8
7	69	8
8	88	8
9	96	8
10	100	8
11	104	8
done	104	8
0	7	8
1	12	8
2	22	8
3	31	8
4	40	8
5	45	8
6	54	8
7	69	8
8	88	8
9	96	8
10	100	8
11	104	8
done	104	8
0	6	7
1	11	7
2	21	7
3	30	7
4	39	7
5	44	7
6	53	7
7	68	7
8	87	7
9	95	7
10	99	7
11	100	7
done	100	7
0	6	7
1	11	7
2	21	7
3	30	7
4	39	7
5	44	7
6	53	7
7	68	7
8	87	7
9	95	7
10	99	7
11	100	7
done	100	7
0	6	7
1	11	7
2	21	7
3	30	7
4	39	7
5	44	7
6	53	7
7	68	7
8	87	7
9	95	7
10	99	7
11	100	7
done	100	7
0	10	19
1	27	17
2	73	17
3	209	15
4	652	15
5	2241	15
done	5000	15
0	6	7
1	13	7
2	30	7
3	67	7
4	104	7
5	123	7
6	149	7
7	209	7
8	258	7
9	306	7
10	341	7
11	357	7
12	358	7
done	358	7
0	10	13
1	21	13
2	33	13
3	50	9
4	66	9
5	97	9
6	160	9
7	275	9
8	389	9
9	508	9
10	571	9
11	862	9
12	2241	9
13	2547	9
14	2653	9
done	2653	9
0	10	13
1	21	13
2	33	13
3	50	9
4	66	9
5	97	9
6	160	9
7	275	9
8	389	9
9	508	9
10	571	9
11	862	9
12	2241	9
13	2547	9
14	2653	9
done	2653	9
0	10	13
1	21	13
2	33	13
3	50	9
4	66	9
5	97	9
6	160	9
7	275	9
8	389	9
9	508	9
10	571	9
11	862	9
12	2241	9
13	2547	9
14	2653	9
done	2653	9
0	9	11
1	20	11
2	30	9
3	37	9
4	48	9
5	61	9
6	87	9
7	153	9
8	267	9
9	298	9
10	314	9
11	327	9
12	330	9
done	330	9
0	9	11
1	20	11
2	30	9
3	37	9
4	48	9
5	61	9
6	87	9
7	153	9
8	267	9
9	298	9
10	314	9
11	327	9
12	330	9
done	330	9
0	9	11
1	20	11
2	30	9
3	37	9
4	48	9
5	61	9
6	87	9
7	153	9
8	267	9
9	298	9
10	314	9
11	327	9
12	330	9
done	330	9

prune87.0ms

Filtered

54 candidates to 82 candidates (-51.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	1	1	2
Picked	1	0	1
Done	0	2	2
Total	83	4	87

Merged error: 0b

Counts

87 → 4

regimes164.0ms

Accuracy

86.8% (0.2b remaining)

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

bsearch35.0ms

Steps

Iters	Range		Point
10	3.507401035705418e-50	4.7807810968258327e-35	1.1863355356985513e-41
7	-3.2600062195871495e-139	-5.106451273191968e-141	-8.774735647759046e-141

simplify6.0ms

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	20	37
1	29	29
done	29	29

end0.0ms

sample749.0ms

Algorithm

intervals

Results

333.0ms

10082×

body

valid

Details

sample26.0ms

simplify5.7s

prune3.0ms

localize7.0ms

rewrite23.0ms

series23.0ms

simplify1.2min

prune85.0ms

localize7.0ms

rewrite20.0ms

series21.0ms

simplify1.3min

prune82.0ms

localize7.0ms

rewrite30.0ms

series18.0ms

simplify2.2min

prune161.0ms

localize7.0ms

rewrite26.0ms

series20.0ms

simplify1.0min

prune87.0ms

regimes164.0ms

bsearch35.0ms

simplify6.0ms

end0.0ms

sample749.0ms

Profiling