Details

sample19.0ms

Algorithm

intervals

Results

8.0ms

256×

body

valid

simplify119.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	18	9
2	47	9
3	104	9
4	148	9
5	172	9
6	187	9
7	192	9
done	192	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: 18.2b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

17.5b

(/ (- x y) (* (* x 2.0) y))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-exp-log` `add-cbrt-cube`
7×	`add-sqr-sqrt` `*-un-lft-identity`
5×	`times-frac` `associate-/l*`
3×	`cbrt-undiv` `add-cube-cbrt` `div-exp` `prod-exp` `cbrt-unprod`
2×	`associate-/l/` `distribute-lft-out--` `difference-of-squares`
1×	`pow1` `flip3--` `frac-2neg` `div-sub` `clear-num` `associate-/r*` `flip--` `div-inv` `add-log-exp`

Counts

1 → 30

Calls

1 calls:

9.0ms

(/ (- x y) (* (* x 2.0) y))

series9.0ms

Counts

1 → 3

Calls

1 calls:

9.0ms

(/ (- x y) (* (* x 2.0) y))

simplify16.2s

Counts

33 → 33

Iterations

Useful iterations: 4 (4.0ms)

Iter	Nodes	Cost
0	11	13
1	21	13
2	45	13
3	89	13
4	171	13
5	287	13
6	438	13
7	560	13
8	576	13
done	576	13
0	10	12
1	21	12
2	38	12
3	73	12
4	152	12
5	259	12
6	398	12
7	558	12
8	583	12
done	583	12
0	9	11
1	20	11
2	40	11
3	71	11
4	131	11
5	219	11
6	358	11
7	538	11
8	583	11
done	583	11
0	8	10
1	22	10
2	62	10
3	147	10
4	259	10
5	373	10
6	511	10
7	666	10
8	788	10
9	804	10
done	804	10
0	8	10
1	19	10
2	51	10
3	106	10
4	152	10
5	183	10
6	203	10
7	223	10
8	229	10
9	246	10
10	287	10
11	349	10
12	406	10
13	457	10
14	480	10
15	514	10
16	540	10
17	541	10
done	541	10
0	15	29
1	38	29
2	202	17
3	1347	17
done	5000	17
0	13	29
1	40	29
2	196	15
3	1336	15
done	5001	15
0	11	29
1	35	29
2	198	13
3	1580	11
done	5000	11
0	9	21
1	20	21
2	49	21
3	105	21
4	148	21
5	174	21
6	189	21
7	194	21
done	194	21
0	8	10
1	19	10
2	48	10
3	101	10
4	146	10
5	171	10
6	187	10
7	192	10
done	192	10
0	9	29
1	27	29
2	125	11
3	921	11
done	5001	11
0	8	10
1	19	10
2	48	10
3	101	10
4	146	10
5	171	10
6	187	10
7	192	10
done	192	10
0	8	10
1	19	10
2	48	10
3	101	10
4	146	10
5	171	10
6	187	10
7	192	10
done	192	10
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	6	7
1	12	7
2	25	7
3	37	5
4	40	5
done	40	5
0	6	7
1	12	7
2	25	7
3	37	5
4	41	5
done	41	5
0	8	13
1	18	13
2	32	13
3	44	13
4	46	13
done	46	13
0	5	6
1	7	6
2	8	6
done	8	6
0	7	8
1	12	8
2	15	8
done	15	8
0	5	6
1	7	6
2	8	6
done	8	6
0	5	5
1	10	5
2	12	5
done	12	5
0	4	5
1	9	5
2	14	5
3	17	5
done	17	5
0	8	9
1	12	9
2	14	9
done	14	9
0	6	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	5
1	10	5
2	12	5
done	12	5
0	4	5
1	9	5
2	14	5
3	17	5
done	17	5
0	7	7
1	15	7
2	28	7
3	39	7
4	40	7
done	40	7
0	7	9
1	15	9
2	35	9
3	70	9
4	120	9
5	151	9
6	166	9
7	171	9
done	171	9
0	6	7
1	14	7
2	28	7
3	37	7
4	45	7
5	46	7
done	46	7
0	8	10
1	16	10
2	33	10
3	52	10
4	76	10
5	89	10
done	89	10
0	8	10
1	16	10
2	33	10
3	52	10
4	76	10
5	89	10
done	89	10
0	7	9
1	15	9
2	35	9
3	70	9
4	120	9
5	151	9
6	166	9
7	171	9
done	171	9
0	9	11
1	17	11
2	37	11
3	70	11
4	118	11
5	148	11
6	157	11
done	157	11
0	7	9
1	15	9
2	35	9
3	70	9
4	120	9
5	151	9
6	166	9
7	171	9
done	171	9
0	11	17
1	31	15
2	112	15
3	376	15
4	589	15
5	657	15
6	690	15
7	771	15
8	1009	15
9	1793	15
10	4674	15
done	5001	15
0	7	9
1	21	9
2	60	9
3	129	9
4	152	9
done	152	9
0	9	11
1	20	9
2	36	7
3	47	7
4	65	7
5	90	7
6	100	7
7	104	7
8	106	7
done	106	7
0	9	11
1	20	9
2	36	7
3	47	7
4	65	7
5	90	7
6	100	7
7	104	7
8	106	7
done	106	7
0	9	11
1	20	9
2	36	7
3	47	7
4	65	7
5	90	7
6	100	7
7	104	7
8	106	7
done	106	7

prune57.0ms

Filtered

27 candidates to 33 candidates (-22.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	31	2	33
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	32	2	34

Merged error: 0b

Counts

34 → 2

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (/ 0.5 y) (/ 0.5 x))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
11×	`*-un-lft-identity`
10×	`times-frac`
5×	`distribute-lft-out--`
4×	`difference-of-squares`
3×	`add-cube-cbrt` `add-log-exp`
2×	`div-inv`
1×	`pow1` `add-exp-log` `sub-neg` `flip3--` `diff-log` `frac-sub` `add-cbrt-cube` `flip--`

Counts

1 → 22

Calls

1 calls:

14.0ms

(- (/ 0.5 y) (/ 0.5 x))

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(- (/ 0.5 y) (/ 0.5 x))

simplify10.0s

Counts

25 → 25

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	10	8
2	12	8
3	17	8
4	20	8
5	26	8
6	30	8
7	46	8
8	50	8
9	56	8
10	65	8
11	85	8
12	106	8
13	123	8
14	124	8
done	124	8
0	7	8
1	9	8
2	12	8
done	12	8
0	7	8
1	12	8
2	17	8
3	20	8
4	26	8
5	30	8
6	46	8
7	50	8
8	56	8
9	65	8
10	85	8
11	106	8
12	123	8
13	124	8
done	124	8
0	8	17
1	10	17
2	13	17
done	13	17
0	7	8
1	9	8
2	12	8
done	12	8
0	8	23
1	11	23
2	28	9
3	87	9
4	286	9
5	940	9
6	3127	9
done	5000	9
0	7	8
1	9	8
2	12	8
done	12	8
0	7	8
1	9	8
2	12	8
done	12	8
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	3	3
1	4	3
done	4	3
0	9	11
1	29	11
2	84	11
3	240	11
4	773	11
5	2602	11
done	5001	11
0	10	23
1	27	19
2	51	19
3	83	19
4	116	19
5	140	19
6	153	17
7	160	17
8	162	17
done	162	17
0	4	4
1	6	4
done	6	4
0	8	15
1	21	15
2	41	15
3	82	15
4	149	13
5	236	13
6	351	13
7	595	13
8	2103	13
done	5001	13
0	6	7
1	7	7
done	7	7
0	8	9
1	9	9
done	9	9
0	8	9
1	10	9
2	11	9
done	11	9
0	9	10
1	10	10
done	10	10
0	9	10
1	11	10
2	14	10
done	14	10
0	9	10
1	10	10
done	10	10
0	9	10
1	11	10
2	12	10
done	12	10
0	9	11
1	10	11
done	10	11
0	9	11
1	11	11
2	14	11
done	14	11
0	7	9
1	9	9
2	12	9
done	12	9
0	7	9
1	9	9
2	12	9
done	12	9
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	10	7
2	14	7
done	14	7
0	4	4
1	6	4
done	6	4
0	9	11
1	20	9
2	36	7
3	47	7
4	65	7
5	90	7
6	100	7
7	104	7
8	106	7
done	106	7
0	9	11
1	20	9
2	36	7
3	47	7
4	65	7
5	90	7
6	100	7
7	104	7
8	106	7
done	106	7
0	9	11
1	20	9
2	36	7
3	47	7
4	65	7
5	90	7
6	100	7
7	104	7
8	106	7
done	106	7

prune36.0ms

Filtered

19 candidates to 25 candidates (-31.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	25	0	25
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	25	2	27

Merged error: 0b

Counts

27 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- x y) (* x 2.0))
6.9b	(/ (/ (- x y) (* x 2.0)) y)

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

52×	`times-frac`
34×	`add-sqr-sqrt` `*-un-lft-identity`
22×	`add-cube-cbrt`
16×	`add-exp-log` `add-cbrt-cube`
14×	`associate-/l*`
7×	`cbrt-undiv` `div-exp`
6×	`div-inv` `distribute-lft-out--` `difference-of-squares`
4×	`associate-/r*`
3×	`div-sub` `associate-/l/`
2×	`pow1` `frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `add-log-exp`
1×	`flip3--` `flip--`

Counts

2 → 85

Calls

2 calls:

7.0ms	(/ (- x y) (* x 2.0))
10.0ms	(/ (/ (- x y) (* x 2.0)) y)

series19.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(/ (- x y) (* x 2.0))
13.0ms	(/ (/ (- x y) (* x 2.0)) y)

simplify27.7s

Counts

91 → 91

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	13
1	22	13
2	49	13
3	112	13
4	224	13
5	313	13
6	429	13
7	515	13
8	526	13
done	526	13
0	10	12
1	22	12
2	42	12
3	86	12
4	173	12
5	252	12
6	376	12
7	521	12
8	551	12
done	551	12
0	9	11
1	22	11
2	49	11
3	96	11
4	177	11
5	258	11
6	345	11
7	462	11
8	549	11
9	560	11
done	560	11
0	8	10
1	21	10
2	59	10
3	133	10
4	243	10
5	365	10
6	465	10
7	572	10
8	667	10
9	752	10
10	759	10
done	759	10
0	8	10
1	18	10
2	46	10
3	94	10
4	136	10
5	168	10
6	190	10
7	203	10
8	219	10
9	223	10
10	240	10
11	281	10
12	347	10
13	404	10
14	452	10
15	474	10
16	508	10
17	534	10
18	535	10
done	535	10
0	15	29
1	37	29
2	188	17
3	1223	17
done	5001	17
0	13	29
1	39	29
2	202	15
3	1403	13
done	5000	13
0	11	29
1	34	29
2	154	13
3	1041	11
done	5000	11
0	9	21
1	19	21
2	47	21
3	92	21
4	132	21
5	162	21
6	179	21
7	188	21
done	188	21
0	8	10
1	18	10
2	46	10
3	91	10
4	131	10
5	161	10
6	178	10
7	187	10
done	187	10
0	9	29
1	26	29
2	91	11
3	469	11
4	4196	11
done	5000	11
0	8	10
1	18	10
2	46	10
3	91	10
4	131	10
5	161	10
6	178	10
7	187	10
done	187	10
0	8	10
1	18	10
2	46	10
3	91	10
4	131	10
5	161	10
6	178	10
7	187	10
done	187	10
0	7	8
1	17	8
2	40	8
3	56	8
4	82	7
5	94	7
6	95	7
done	95	7
0	2	2
done	2	2
0	6	7
1	11	7
2	22	5
3	39	5
4	41	5
done	41	5
0	6	7
1	11	7
2	21	7
3	37	5
4	40	5
done	40	5
0	11	23
1	25	23
2	48	23
3	63	23
4	71	23
5	72	23
done	72	23
0	9	11
1	17	11
2	31	11
3	40	11
4	48	11
5	49	11
done	49	11
0	10	20
1	20	20
2	36	20
3	46	20
4	54	20
5	55	20
done	55	20
0	9	11
1	17	11
2	31	11
3	40	11
4	48	11
5	49	11
done	49	11
0	10	19
1	22	17
2	42	17
3	55	17
4	61	17
5	62	17
done	62	17
0	8	10
1	16	10
2	30	10
3	39	10
4	47	10
5	48	10
done	48	10
0	10	14
1	20	14
2	34	14
3	43	14
4	51	14
5	52	14
done	52	14
0	9	11
1	17	11
2	31	11
3	40	11
4	48	11
5	49	11
done	49	11
0	9	11
1	17	11
2	31	11
3	40	11
4	48	11
5	49	11
done	49	11
0	9	11
1	17	11
2	31	11
3	40	11
4	48	11
5	49	11
done	49	11
0	9	10
1	19	8
2	35	8
3	43	8
4	49	8
5	50	8
done	50	8
0	8	10
1	16	10
2	30	10
3	39	10
4	47	10
5	48	10
done	48	10
0	9	17
1	17	17
2	34	17
3	70	17
4	112	17
5	122	17
done	122	17
0	8	9
1	12	9
2	16	9
done	16	9
0	8	14
1	14	14
2	26	14
3	39	14
4	49	14
done	49	14
0	8	9
1	12	9
2	16	9
done	16	9
0	8	13
1	16	11
2	32	11
3	45	11
4	60	11
5	65	11
done	65	11
0	7	8
1	11	8
2	15	8
done	15	8
0	8	12
1	14	12
2	21	12
3	27	12
done	27	12
0	8	9
1	12	9
2	16	9
done	16	9
0	7	9
1	11	9
2	15	9
done	15	9
0	8	9
1	12	9
2	16	9
done	16	9
0	7	8
1	13	6
2	21	6
done	21	6
0	7	8
1	11	8
2	15	8
done	15	8
0	7	9
1	13	9
2	19	9
3	25	9
done	25	9
0	7	8
1	14	8
2	26	8
3	37	8
4	43	8
5	46	8
done	46	8
0	6	6
1	10	6
2	13	6
done	13	6
0	7	8
1	14	8
2	26	8
3	37	8
4	43	8
5	46	8
done	46	8
0	4	5
1	8	3
2	15	3
done	15	3
0	6	7
1	13	7
2	25	7
3	36	7
4	44	7
5	49	7
done	49	7
0	9	13
1	14	13
2	20	13
3	26	13
done	26	13
0	9	10
1	16	10
2	28	10
3	39	10
4	45	10
5	48	10
done	48	10
0	7	10
1	10	10
2	13	10
done	13	10
0	8	10
1	15	10
2	27	10
3	38	10
4	46	9
5	51	9
done	51	9
0	8	9
1	13	7
2	20	7
done	20	7
0	8	9
1	15	9
2	27	9
3	38	9
4	44	9
5	47	9
done	47	9
0	7	9
1	13	9
2	19	9
3	25	9
done	25	9
0	7	8
1	14	8
2	26	8
3	37	8
4	43	8
5	46	8
done	46	8
0	6	6
1	10	6
2	13	6
done	13	6
0	7	8
1	14	8
2	26	8
3	37	8
4	43	8
5	46	8
done	46	8
0	4	5
1	8	3
2	15	3
done	15	3
0	6	7
1	13	7
2	25	7
3	36	7
4	44	7
5	49	7
done	49	7
0	5	7
1	9	7
done	9	7
0	8	10
1	18	10
2	46	10
3	91	10
4	123	10
5	141	10
6	143	10
done	143	10
0	4	4
1	6	4
done	6	4
0	8	10
1	18	10
2	46	10
3	91	10
4	123	10
5	141	10
6	143	10
done	143	10
0	2	3
1	4	1
done	4	1
0	7	9
1	17	9
2	45	9
3	90	9
4	130	9
5	160	9
6	177	9
7	186	9
done	186	9
0	6	9
1	13	9
2	21	9
3	26	9
4	29	9
done	29	9
0	8	8
1	15	8
2	25	8
3	40	8
4	41	8
done	41	8
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	8	8
1	15	8
2	25	8
3	40	8
4	41	8
done	41	8
0	5	5
1	12	3
2	17	3
done	17	3
0	7	7
1	14	7
2	24	7
3	39	7
4	40	7
done	40	7
0	3	3
1	5	3
done	5	3
0	7	9
1	17	9
2	40	9
3	64	9
4	80	9
5	100	9
6	130	9
7	153	9
8	167	9
9	174	9
done	174	9
0	9	13
1	21	13
2	57	13
3	133	13
4	231	13
5	314	13
6	327	13
7	328	13
done	328	13
0	8	10
1	18	10
2	46	10
3	91	10
4	123	10
5	141	10
6	143	10
done	143	10
0	8	9
1	20	7
2	49	7
3	104	7
4	131	7
5	140	7
6	141	7
done	141	7
0	8	10
1	16	10
2	30	10
3	39	10
4	47	10
5	48	10
done	48	10
0	8	10
1	16	10
2	30	10
3	39	10
4	47	10
5	48	10
done	48	10
0	7	8
1	11	8
2	15	8
3	16	8
4	18	8
5	20	8
6	21	8
done	21	8
0	7	8
1	11	8
2	15	8
3	16	8
4	18	8
5	20	8
6	21	8
done	21	8
0	6	7
1	13	7
2	19	7
3	22	7
4	24	7
5	29	7
6	34	7
7	37	7
done	37	7
0	8	9
1	15	9
2	21	9
3	24	9
4	26	9
5	31	9
6	34	9
7	36	9
done	36	9
0	6	7
1	13	7
2	19	7
3	22	7
4	24	7
5	29	7
6	34	7
7	37	7
done	37	7
0	7	9
1	17	9
2	40	9
3	64	9
4	80	9
5	100	9
6	130	9
7	153	9
8	167	9
9	174	9
done	174	9
0	7	7
1	14	7
2	25	5
3	40	5
4	72	5
5	133	5
6	157	5
done	157	5
0	5	5
1	9	5
2	15	5
done	15	5
0	9	10
1	16	10
2	26	10
3	36	10
4	48	10
5	64	10
6	83	10
7	99	10
8	104	10
done	104	10
0	8	9
1	16	9
2	24	9
3	32	9
4	41	9
5	53	9
6	72	9
7	98	9
8	108	9
done	108	9
0	7	8
1	18	8
2	40	8
3	61	8
4	82	8
5	93	8
6	109	8
7	128	8
8	144	8
9	149	8
done	149	8
0	7	8
1	15	8
2	32	8
3	43	8
4	53	8
5	58	8
6	62	8
7	78	8
8	82	8
9	94	8
10	111	8
11	139	8
12	167	8
13	188	8
14	203	8
15	229	8
16	240	8
17	241	8
done	241	8
0	12	23
1	29	23
2	133	13
3	627	13
4	2652	11
done	5000	11
0	10	23
1	31	23
2	149	11
3	777	9
4	3141	9
done	5000	9
0	8	17
1	16	17
2	30	17
3	39	17
4	47	17
5	48	17
done	48	17
0	7	8
1	15	8
2	29	8
3	38	8
4	46	8
5	47	8
done	47	8
0	8	23
1	23	23
2	95	9
3	516	9
4	2520	9
done	5001	9
0	7	8
1	15	8
2	29	8
3	38	8
4	46	8
5	47	8
done	47	8
0	7	8
1	15	8
2	29	8
3	38	8
4	46	8
5	47	8
done	47	8
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	4
1	9	4
2	11	4
done	11	4
0	4	5
1	7	5
2	10	3
3	12	3
done	12	3
0	5	5
1	8	5
2	10	5
done	10	5
0	6	11
1	10	11
2	13	11
3	14	11
done	14	11
0	6	6
1	8	6
2	9	6
done	9	6
0	5	6
1	7	6
2	8	6
done	8	6
0	6	6
1	8	6
2	9	6
done	9	6
0	3	3
1	5	3
done	5	3
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	6	7
1	7	7
done	7	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	3	3
1	5	3
done	5	3
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	5	5
1	10	5
2	12	5
done	12	5
0	6	7
1	11	7
2	19	7
3	27	7
4	33	7
5	37	7
done	37	7
0	4	5
1	9	5
2	13	5
3	17	5
done	17	5
0	7	8
1	12	8
2	17	8
3	20	8
4	21	8
done	21	8
0	7	8
1	12	8
2	17	8
3	20	8
4	21	8
done	21	8
0	6	7
1	11	7
2	19	7
3	27	7
4	33	7
5	37	7
done	37	7
0	8	9
1	13	9
2	21	9
3	29	9
4	34	9
5	36	9
done	36	9
0	6	7
1	11	7
2	19	7
3	27	7
4	33	7
5	37	7
done	37	7
0	10	15
1	27	13
2	88	13
3	197	13
4	262	13
5	276	13
6	296	13
7	345	13
8	496	13
9	1019	13
10	3346	13
done	5000	13
0	6	7
1	17	7
2	39	7
3	45	7
done	45	7
0	9	11
1	20	9
2	36	7
3	47	7
4	65	7
5	90	7
6	100	7
7	104	7
8	106	7
done	106	7
0	9	11
1	20	9
2	36	7
3	47	7
4	65	7
5	90	7
6	100	7
7	104	7
8	106	7
done	106	7
0	9	11
1	20	9
2	36	7
3	47	7
4	65	7
5	90	7
6	100	7
7	104	7
8	106	7
done	106	7
0	6	7
1	11	7
2	23	7
3	39	7
4	54	7
5	64	7
6	65	7
done	65	7
0	6	7
1	11	7
2	23	7
3	39	7
4	54	7
5	64	7
6	65	7
done	65	7
0	6	7
1	11	7
2	23	7
3	39	7
4	54	7
5	64	7
6	65	7
done	65	7

prune100.0ms

Filtered

73 candidates to 91 candidates (-24.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	91	2	93

Merged error: 0b

Counts

93 → 2

regimes68.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
done	6	7

end0.0ms

sample525.0ms

Algorithm

intervals

Results

268.0ms

8001×

body

valid

Details

sample19.0ms

simplify119.0ms

prune3.0ms

localize6.0ms

rewrite10.0ms

series9.0ms

simplify16.2s

prune57.0ms

localize6.0ms

rewrite15.0ms

series5.0ms

simplify10.0s

prune36.0ms

localize6.0ms

rewrite21.0ms

series19.0ms

simplify27.7s

prune100.0ms

regimes68.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample525.0ms

Profiling