Details

sample15.0ms

Algorithm

intervals

Results

7.0ms

257×

body

valid

simplify8.0ms

Counts

1 → 1

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	4	8
1	8	6
2	12	6
3	13	6
done	13	6

prune8.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 28.1b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

27.0b

(sqrt (* x (+ x x)))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1`
2×	`sqrt-pow1` `sqrt-div` `associate-*r/`
1×	`add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `pow1/2` `pow-prod-down` `sqrt-prod` `add-cbrt-cube` `flip-+` `add-log-exp`

Counts

1 → 13

Calls

1 calls:

7.0ms

(sqrt (* x (+ x x)))

series13.0ms

Counts

1 → 3

Calls

1 calls:

13.0ms

(sqrt (* x (+ x x)))

simplify15.7s

Counts

16 → 16

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	5	7
1	10	7
2	12	7
3	13	7
done	13	7
0	5	7
1	10	7
2	12	7
3	13	7
done	13	7
0	6	15
1	11	15
2	13	15
3	14	15
done	14	15
0	5	7
1	10	7
2	12	7
3	13	7
done	13	7
0	6	20
1	12	12
2	29	8
3	55	8
4	65	8
5	75	8
6	98	8
7	159	8
8	365	8
9	1308	8
done	5001	8
0	2	2
done	2	2
0	3	4
1	5	4
2	6	4
done	6	4
0	6	10
1	20	8
2	52	6
3	123	6
4	271	6
5	785	6
6	2859	6
done	5001	6
0	5	12
1	15	6
2	24	4
3	70	2
4	247	2
5	1210	2
6	4940	2
done	5000	2
0	5	10
1	13	4
2	19	1
3	20	1
done	20	1
0	3	4
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	5	7
1	10	7
2	12	7
3	13	7
done	13	7
0	5	7
1	10	7
2	12	7
3	13	7
done	13	7
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	6	6
1	11	5
2	23	5
done	23	5

prune43.0ms

Filtered

13 candidates to 16 candidates (-23.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	9	7	16
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	10	7	17

Merged error: 0.1b

Counts

17 → 7

localize7.0ms

Local error

Found 1 expressions with local error:

27.0b

(pow (* x (+ x x)) 1/2)

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log`
3×	`pow-unpow`
2×	`add-sqr-sqrt` `add-cube-cbrt` `pow-pow` `*-un-lft-identity` `pow-exp`
1×	`pow-to-exp` `unpow-prod-down` `pow-prod-down` `prod-exp` `add-cbrt-cube` `unpow1/2` `add-log-exp` `sqr-pow`

Counts

1 → 18

Calls

1 calls:

7.0ms

(pow (* x (+ x x)) 1/2)

series32.0ms

Counts

1 → 3

Calls

1 calls:

32.0ms

(pow (* x (+ x x)) 1/2)

simplify58.9s

Counts

21 → 21

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	11	9
2	22	9
3	29	9
4	38	9
5	47	9
6	53	7
7	110	7
8	311	7
9	1421	7
done	5000	7
0	6	8
1	15	8
2	26	8
3	37	8
4	51	8
5	60	8
6	66	7
7	124	7
8	330	7
9	1447	7
done	5000	7
0	6	8
1	15	8
2	26	8
3	37	8
4	51	8
5	60	8
6	66	7
7	124	7
8	330	7
9	1447	7
done	5000	7
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	7	11
1	15	11
2	24	11
3	49	11
4	106	11
5	263	11
6	883	11
7	3312	11
done	5000	11
0	6	8
1	14	8
2	21	8
3	40	8
4	82	8
5	186	8
6	562	8
7	2185	8
done	5000	8
0	5	7
1	16	5
2	25	5
3	37	5
4	59	5
5	124	5
6	338	5
7	1263	5
done	5000	5
0	3	3
1	9	2
2	15	2
3	25	2
4	49	2
5	114	2
6	337	2
7	1273	2
done	5000	2
0	4	5
1	11	4
2	18	4
3	28	4
4	50	4
5	111	4
6	323	4
7	1263	4
done	5000	4
0	6	8
1	18	7
2	33	7
3	61	7
4	130	7
5	330	7
6	1119	7
done	5001	7
0	6	8
1	16	7
2	26	7
3	42	7
4	79	7
5	194	7
6	664	7
7	3012	7
done	5000	7
0	7	17
1	17	15
2	25	15
3	36	15
4	58	15
5	123	15
6	338	15
7	1260	15
done	5000	15
0	6	8
1	16	7
2	24	7
3	35	7
4	57	7
5	120	7
6	339	7
7	1273	7
done	5001	7
0	7	23
1	21	14
2	46	8
3	120	7
4	353	7
5	1249	7
done	5000	7
0	6	8
1	16	7
2	25	7
3	36	7
4	58	7
5	122	7
6	328	7
7	1252	7
done	5001	7
0	6	8
1	16	7
2	25	7
3	36	7
4	58	7
5	122	7
6	328	7
7	1252	7
done	5001	7
0	7	9
1	16	7
2	24	7
3	35	7
4	57	7
5	115	7
6	335	7
7	1268	7
done	5000	7
0	7	9
1	16	7
2	24	7
3	35	7
4	57	7
5	115	7
6	335	7
7	1268	7
done	5000	7
0	9	10
1	20	10
2	38	10
3	69	7
4	166	4
5	410	4
6	1272	4
7	4652	4
done	5001	4
0	11	12
1	23	11
2	47	11
3	109	9
4	250	6
5	556	4
6	1425	4
done	5000	4
0	11	12
1	20	12
2	41	12
3	101	11
4	256	8
5	781	6
6	2656	1
7	2725	1
done	2725	1

prune39.0ms

Filtered

13 candidates to 21 candidates (-61.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	21	0	21
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	21	7	28

Merged error: 0.1b

Counts

28 → 7

localize7.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (sqrt (* x (+ x x))))
0.5b	(* (sqrt (sqrt (* x (+ x x)))) (sqrt (sqrt (* x (+ x x)))))
27.0b	(sqrt (* x (+ x x)))
27.0b	(sqrt (* x (+ x x)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

84×	`sqrt-pow1`
71×	`pow1`
33×	`sqrt-prod`
32×	`sqrt-div`
26×	`add-sqr-sqrt`
25×	`pow-prod-down`
22×	`pow1/2`
20×	`associate-*r/`
14×	`pow-prod-up`
13×	`add-cube-cbrt` `*-un-lft-identity`
9×	`flip3-+` `swap-sqr` `flip-+`
8×	`pow-sqr`
7×	`associate-r` `associate-l`
6×	`add-exp-log` `add-cbrt-cube`
4×	`frac-times` `add-log-exp` `unswap-sqr`
2×	`associate-*l/`
1×	`pow2` `rem-sqrt-square` `pow-plus` `sqrt-unprod` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 124

Calls

4 calls:

6.0ms	(sqrt (sqrt (* x (+ x x))))
19.0ms	(* (sqrt (sqrt (* x (+ x x)))) (sqrt (sqrt (* x (+ x x)))))
5.0ms	(sqrt (* x (+ x x)))
6.0ms	(sqrt (* x (+ x x)))

series26.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(sqrt (sqrt (* x (+ x x))))
11.0ms	(* (sqrt (sqrt (* x (+ x x)))) (sqrt (sqrt (* x (+ x x)))))
5.0ms	(sqrt (* x (+ x x)))
4.0ms	(sqrt (* x (+ x x)))

simplify2.1min

Counts

136 → 136

Iterations

Useful iterations: 2 (10.0ms)

Iter	Nodes	Cost
0	5	7
1	10	7
2	12	7
3	13	7
done	13	7
0	5	7
1	10	7
2	12	7
3	13	7
done	13	7
0	6	15
1	11	15
2	13	15
3	14	15
done	14	15
0	5	7
1	10	7
2	12	7
3	13	7
done	13	7
0	6	20
1	12	12
2	29	8
3	55	8
4	65	8
5	75	8
6	98	8
7	159	8
8	365	8
9	1308	8
done	5001	8
0	2	2
done	2	2
0	3	4
1	5	4
2	6	4
done	6	4
0	6	10
1	20	8
2	52	6
3	123	6
4	271	6
5	785	6
6	2859	6
done	5001	6
0	5	12
1	15	6
2	24	4
3	70	2
4	247	2
5	1210	2
6	4940	2
done	5000	2
0	5	10
1	13	4
2	19	1
3	20	1
done	20	1
0	3	4
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	5	7
1	10	7
2	12	7
3	13	7
done	13	7
0	5	7
1	10	7
2	12	7
3	13	7
done	13	7
0	5	7
1	10	7
2	12	7
3	13	7
done	13	7
0	5	7
1	10	7
2	12	7
3	13	7
done	13	7
0	6	15
1	11	15
2	13	15
3	14	15
done	14	15
0	5	7
1	10	7
2	12	7
3	13	7
done	13	7
0	6	20
1	12	12
2	29	8
3	55	8
4	65	8
5	75	8
6	98	8
7	159	8
8	365	8
9	1308	8
done	5001	8
0	2	2
done	2	2
0	3	4
1	5	4
2	6	4
done	6	4
0	6	10
1	20	8
2	52	6
3	123	6
4	271	6
5	785	6
6	2859	6
done	5001	6
0	5	12
1	15	6
2	24	4
3	70	2
4	247	2
5	1210	2
6	4940	2
done	5000	2
0	5	10
1	13	4
2	19	1
3	20	1
done	20	1
0	3	4
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	5	7
1	10	7
2	12	7
3	13	7
done	13	7
0	5	7
1	10	7
2	12	7
3	13	7
done	13	7
0	2	3
1	5	1
2	7	1
done	7	1
0	5	5
1	8	1
done	8	1
0	2	3
1	6	1
done	6	1
0	4	7
1	6	3
2	7	1
done	7	1
0	7	9
1	14	3
done	14	1
0	7	9
1	14	3
done	14	1
0	5	5
1	8	3
done	8	1
0	4	7
1	8	3
2	9	1
done	9	1
0	7	9
1	14	3
done	14	1
0	5	11
1	12	5
2	18	1
done	18	1
0	5	11
1	12	5
2	18	1
done	18	1
0	7	9
1	14	3
done	14	1
0	5	11
1	12	5
2	18	1
done	18	1
0	5	11
1	12	5
2	18	1
done	18	1
0	5	13
1	10	5
2	13	5
3	14	5
done	14	5
0	6	15
1	11	6
2	14	6
3	15	6
done	15	6
0	4	11
1	15	11
2	48	9
3	86	9
4	134	7
5	163	5
6	204	5
7	366	5
8	837	5
9	2411	5
done	5001	5
0	5	13
1	10	5
2	13	5
3	14	5
done	14	5
0	4	11
1	15	11
2	48	9
3	86	9
4	134	7
5	163	5
6	204	5
7	366	5
8	837	5
9	2411	5
done	5001	5
0	4	11
1	15	11
2	48	9
3	86	9
4	134	7
5	163	5
6	204	5
7	366	5
8	837	5
9	2411	5
done	5001	5
0	4	11
1	15	11
2	48	9
3	86	9
4	134	7
5	163	5
6	204	5
7	366	5
8	837	5
9	2411	5
done	5001	5
0	4	11
1	15	11
2	48	9
3	86	9
4	134	7
5	163	5
6	204	5
7	366	5
8	837	5
9	2411	5
done	5001	5
0	2	3
1	6	1
done	6	1
0	7	17
1	13	10
2	16	10
3	17	10
done	17	10
0	7	16
1	14	7
2	18	7
3	20	7
done	20	7
0	7	16
1	14	7
2	20	7
3	26	7
4	44	7
5	84	7
6	191	7
7	571	7
8	2251	7
done	5000	7
0	8	47
1	20	20
2	34	12
3	78	8
4	154	8
5	244	8
6	482	8
7	1520	8
done	5001	8
0	8	33
1	13	15
2	16	15
3	17	15
done	17	15
0	7	16
1	12	7
2	15	7
3	16	7
done	16	7
0	8	47
1	21	20
2	32	8
3	77	8
4	153	8
5	248	8
6	495	8
7	1570	8
done	5001	8
0	5	13
1	10	5
2	13	5
3	14	5
done	14	5
0	7	16
1	13	7
2	15	7
3	16	7
done	16	7
0	7	16
1	13	7
2	15	7
3	16	7
done	16	7
0	8	23
1	22	8
2	55	6
3	128	6
4	279	6
5	787	6
6	2872	6
done	5001	6
0	7	27
1	17	6
2	27	4
3	73	2
4	252	2
5	1199	2
6	4954	2
done	5000	2
0	13	23
1	35	15
2	70	9
3	136	9
4	291	1
5	792	1
6	2914	1
done	5000	1
0	10	19
1	22	9
2	29	7
3	75	1
4	256	1
5	1200	1
6	4909	1
done	5000	1
0	13	23
1	35	15
2	70	9
3	138	9
4	297	1
5	833	1
6	2908	1
done	5001	1
0	10	19
1	22	9
2	29	7
3	75	1
4	252	1
5	1227	1
done	5000	1
0	7	23
1	15	4
2	22	1
3	23	1
done	23	1
0	5	11
1	8	1
done	8	1
0	8	35
1	17	35
2	21	19
3	30	10
4	45	10
5	71	10
6	143	10
7	358	10
8	1268	10
done	5000	10
0	7	17
1	12	17
2	14	17
3	15	17
done	15	17
0	8	33
1	14	15
2	17	15
3	18	15
done	18	15
0	7	17
1	12	7
2	15	7
3	16	7
done	16	7
0	4	7
done	4	2
0	5	11
1	7	4
2	9	4
done	9	4
0	7	17
1	12	7
2	15	7
3	16	7
done	16	7
0	7	17
1	12	7
2	15	7
3	16	7
done	16	7
0	7	17
1	12	7
2	15	7
3	16	7
done	16	7
0	7	17
1	12	7
2	15	7
3	16	7
done	16	7
0	3	5
1	5	1
done	5	1
0	6	15
1	11	6
2	14	6
3	15	6
done	15	6
0	7	17
1	12	7
2	15	7
3	16	7
done	16	7
0	7	17
1	12	7
2	15	7
3	16	7
done	16	7
0	7	17
1	12	7
2	15	7
3	16	7
done	16	7
0	7	17
1	12	7
2	15	7
3	16	7
done	16	7
0	2	3
1	4	1
done	4	1
0	6	15
1	11	6
2	14	6
3	15	6
done	15	6
0	7	17
1	12	7
2	15	7
3	16	7
done	16	7
0	7	17
1	12	7
2	15	7
3	16	7
done	16	7
0	7	17
1	12	7
2	15	7
3	16	7
done	16	7
0	7	17
1	12	7
2	15	7
3	16	7
done	16	7
0	7	17
1	12	7
2	15	7
3	16	7
done	16	7
0	7	17
1	12	7
2	15	7
3	16	7
done	16	7
0	7	17
1	12	7
2	15	7
3	16	7
done	16	7
0	7	17
1	12	7
2	15	7
3	16	7
done	16	7
0	3	3
1	5	1
2	7	1
done	7	1
0	3	3
1	6	1
done	6	1
0	4	5
1	9	3
2	11	1
done	11	1
0	4	5
1	10	1
done	10	1
0	5	7
1	14	5
2	22	1
done	22	1
0	5	7
1	14	5
2	22	1
done	22	1
0	5	7
1	14	5
2	22	1
done	22	1
0	5	7
1	14	5
2	22	1
done	22	1
0	8	25
1	16	25
2	20	25
3	21	25
done	21	25
0	9	24
1	16	16
2	18	16
3	19	16
done	19	16
0	8	11
1	14	11
2	16	11
3	17	11
done	17	11
0	7	16
1	13	16
2	15	16
3	16	16
done	16	16
0	8	10
1	16	9
2	18	9
3	19	7
4	22	7
done	22	7
0	7	16
1	13	16
2	15	16
3	16	16
done	16	16
0	7	9
1	15	7
2	20	7
3	21	7
done	21	7
0	7	16
1	13	16
2	15	16
3	16	16
done	16	16
0	8	16
1	14	16
2	16	16
3	17	16
done	17	16
0	8	13
1	14	13
2	16	13
3	17	13
done	17	13
0	7	16
1	13	16
2	15	16
3	16	16
done	16	16
0	6	15
1	11	6
2	14	6
3	15	6
done	15	6
0	7	16
1	13	16
2	15	16
3	16	16
done	16	16
0	6	15
1	11	6
2	14	6
3	15	6
done	15	6
0	12	19
1	30	17
2	59	15
3	114	15
4	270	15
5	798	15
6	2930	15
done	5000	15
0	11	19
1	23	13
2	29	9
3	30	9
done	30	1
0	12	19
1	30	17
2	59	15
3	116	15
4	268	15
5	772	15
6	2820	15
done	5000	15
0	11	19
1	23	13
2	29	9
3	30	9
done	30	1
0	6	8
1	11	8
2	13	8
3	14	8
done	14	8
0	6	8
1	11	8
2	13	8
3	14	8
done	14	8
0	7	17
1	12	17
2	14	17
3	15	17
done	15	17
0	6	8
1	11	8
2	13	8
3	14	8
done	14	8
0	7	23
1	13	14
2	18	9
3	23	9
4	29	9
5	39	9
6	60	9
7	117	9
8	324	9
9	1250	9
done	5000	9
0	7	16
1	13	8
2	15	8
3	16	8
done	16	8
0	6	8
1	11	8
2	13	8
3	14	8
done	14	8
0	3	3
done	3	3
0	4	5
1	6	5
2	7	5
done	7	5
0	6	8
1	11	8
2	13	8
3	14	8
done	14	8
0	6	8
1	11	8
2	13	8
3	14	8
done	14	8
0	2	2
1	4	1
done	4	1
0	5	7
1	10	7
2	12	7
3	13	7
done	13	7
0	7	11
1	21	9
2	53	7
3	122	7
4	272	7
5	769	7
6	2790	7
done	5000	7
0	6	13
1	16	7
2	25	5
3	71	3
4	251	3
5	1223	3
done	5001	3
0	6	11
1	14	5
2	20	1
3	21	1
done	21	1
0	4	5
1	7	1
done	7	1
0	3	3
1	4	1
done	4	1
0	3	3
1	6	1
done	6	1
0	4	5
1	10	3
2	11	1
done	11	1
0	4	5
1	10	3
2	11	1
done	11	1
0	6	8
1	11	8
2	13	8
3	14	8
done	14	8
0	6	8
1	11	8
2	13	8
3	14	8
done	14	8
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	6	6
1	11	5
2	23	5
done	23	5
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	6	6
1	11	5
2	23	5
done	23	5
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	6	6
1	11	5
2	23	5
done	23	5
0	20	32
1	63	32
2	229	29
3	846	26
4	4110	24
done	5000	24
0	18	28
1	52	28
2	188	25
3	545	25
4	2401	21
done	5001	21
0	18	28
1	53	28
2	194	25
3	605	25
4	2784	21
done	5001	21

prune103.0ms

Filtered

71 candidates to 136 candidates (-91.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	135	1	136
Fresh	2	3	5
Picked	0	1	1
Done	0	1	1
Total	137	6	143

Merged error: 0.1b

Counts

143 → 6

localize3.0ms

Local error

Found 1 expressions with local error:

0.4b	(* x (sqrt 2))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
6×	`associate-r`
4×	`add-cube-cbrt` `*-un-lft-identity` `sqrt-prod`
3×	`pow1` `add-exp-log` `associate-l` `add-cbrt-cube`
2×	`unswap-sqr`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp`

Counts

1 → 22

Calls

1 calls:

6.0ms

(* x (sqrt 2))

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(* x (sqrt 2))

simplify10.7s

Counts

25 → 25

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	8	5
2	13	5
3	21	5
4	44	5
5	100	5
6	239	5
7	696	5
8	2695	5
done	5000	5
0	8	14
1	15	10
2	38	8
3	69	8
4	97	8
5	143	8
6	266	8
7	658	8
8	2102	8
done	5000	8
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	17	14
2	46	6
3	87	6
4	104	6
5	148	6
6	280	6
7	742	6
8	2713	6
done	5001	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	9
1	9	9
2	11	9
done	11	9
0	6	8
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	4	4
1	7	3
done	7	3
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4

prune36.0ms

Filtered

17 candidates to 25 candidates (-47.1%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	22	3	25
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	22	9	31

Merged error: 0.1b

Counts

31 → 9

regimes60.0ms

Accuracy

99.1% (0.3b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 30.7b

bsearch12.0ms

Steps

Iters	Range		Point
8	-7.67443757966827e-305	8.126837495347253e-308	1.9786006080648e-310

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	16
1	18	16
2	20	16
done	20	16

end0.0ms

sample366.0ms

Algorithm

intervals

Results

210.0ms

8006×

body

valid

Details

sample15.0ms

simplify8.0ms

prune8.0ms

localize5.0ms

rewrite8.0ms

series13.0ms

simplify15.7s

prune43.0ms

localize7.0ms

rewrite7.0ms

series32.0ms

simplify58.9s

prune39.0ms

localize7.0ms

rewrite43.0ms

series26.0ms

simplify2.1min

prune103.0ms

localize3.0ms

rewrite7.0ms

series5.0ms

simplify10.7s

prune36.0ms

regimes60.0ms

bsearch12.0ms

simplify3.0ms

end0.0ms

sample366.0ms

Profiling