Details

analyze371.0ms (6.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1
0%	0%	100%	2
0%	0%	100%	3
0%	0%	100%	4
0%	0%	100%	5
0%	0%	100%	6
0%	0%	100%	7
0%	0%	100%	8
0%	0%	100%	9
0%	0%	100%	10
0%	0%	100%	11
0%	0%	100%	12
0%	0%	100%	13
0%	0%	100%	14

Compiler

Compiled 43 to 31 computations (27.9% saved)

sample1.9s (33.4%)

Results

842.0ms	3025×	body	256	valid
803.0ms	5230×	body	128	valid
133.0ms	918×	body	128	invalid
0.0ms	1×	body	512	valid

Compiler

Compiled 106 to 76 computations (28.3% saved)

simplify257.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

1743×	`fma-neg_binary64`
1393×	`fma-def_binary64`
800×	`div-sub_binary64`
619×	`times-frac_binary64`
473×	`associate-/r/_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	33	22
2	67	22
3	138	22
4	204	22
5	338	22
6	558	22
7	924	22
8	1388	22
9	1604	22
10	2375	22
11	2742	22
12	2533	22
13	2621	22
14	3171	22
15	3313	22
16	3873	22
17	3679	22
18	4029	22
19	4317	22
20	4485	22
21	4561	22
22	4805	22
23	4793	22
24	4797	22
25	4797	22
26	4948	22

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

43.8b

Counts

3 → 2

Alt Table

Status	Error	Program
	43.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
▶	43.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
✓	0.2b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
✓	0.2b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
✓	38.4b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))

series129.0ms (2.3%)

Counts

4 → 96

Calls

4 calls:

56.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
35.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
28.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
10.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

rewrite116.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

278×	`expm1-udef_binary64`
278×	`log1p-udef_binary64`
166×	`add-sqr-sqrt_binary64`
162×	`log1p-expm1-u_binary64`
162×	`expm1-log1p-u_binary64`

Counts

4 → 158

Calls

4 calls:

112.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
112.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
112.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
112.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	74
1	337	62
2	4158	62
3	4987	62
4	4850	62

simplify81.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

742×	`times-frac_binary64`
467×	`associate-/l*_binary64`
436×	`fma-def_binary64`
432×	`fma-neg_binary64`
426×	`associate-/r*_binary64`

Counts

254 → 230

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	121	2241
1	398	2164
2	1327	2078
3	4954	2078
4	5218	2078

prune148.0ms (2.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	224	6	230
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	225	7	232

Error

0.4b

Counts

232 → 7

Alt Table

Status	Error	Program
	11.9b	(neg.f64 (/.f64 c b))
	3.2b	(/.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (fma.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (.f64 2 a))
	3.4b	(/.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 2 a))
	43.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	43.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (fma.f64 (.f64 a -4) c (.f64 (.f64 4 a) c))))) (.f64 2 a))
	43.0b	(/.f64 (/.f64 (-.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))) (.f64 2 a))
▶	3.2b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b))))

Compiler

Compiled 6189 to 3663 computations (40.8% saved)

localize25.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
✓	0.3b	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
✓	0.3b	(/.f64 (*.f64 c c) (pow.f64 b 3))
✓	0.3b	(.f64 (.f64 a a) (pow.f64 c 3))

series218.0ms (3.9%)

Counts

4 → 120

Calls

4 calls:

93.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
81.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
30.0ms	(/.f64 (*.f64 c c) (pow.f64 b 3))
13.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

rewrite70.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

357×	`log1p-udef_binary64`
209×	`add-sqr-sqrt_binary64`
208×	`log1p-expm1-u_binary64`
208×	`expm1-log1p-u_binary64`
202×	`add-cbrt-cube_binary64`

Counts

4 → 115

Calls

4 calls:

68.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
68.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
68.0ms	(/.f64 (*.f64 c c) (pow.f64 b 3))
68.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	52
1	463	52
2	4548	52
3	5315	52

simplify115.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

654×	`associate-l_binary64`
586×	`associate-/r*_binary64`
571×	`associate-r_binary64`
296×	`sqr-pow_binary64`
268×	`associate-/l/_binary64`

Counts

235 → 121

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	1632
1	61	1632
2	191	1632
3	885	1632
4	4136	1632
5	4226	1632
6	4425	1632
7	4760	1632
8	5007	1632

prune186.0ms (3.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	121	0	121
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	121	7	128

Error

0.4b

Counts

128 → 7

Alt Table

Status	Error	Program
	11.9b	(neg.f64 (/.f64 c b))
▶	3.2b	(/.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (fma.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (.f64 2 a))
	3.4b	(/.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 2 a))
	43.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	43.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (fma.f64 (.f64 a -4) c (.f64 (.f64 4 a) c))))) (.f64 2 a))
	43.0b	(/.f64 (/.f64 (-.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))) (.f64 2 a))
✓	3.2b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b))))

Compiler

Compiled 5629 to 3511 computations (37.6% saved)

localize28.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
✓	0.4b	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
✓	0.4b	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
✓	0.5b	(.f64 (.f64 c a) (*.f64 c a))

series195.0ms (3.5%)

Counts

4 → 60

Calls

4 calls:

98.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
67.0ms	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
19.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
11.0ms	(.f64 (.f64 c a) (*.f64 c a))

rewrite107.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

281×	`log1p-udef_binary64`
280×	`expm1-udef_binary64`
163×	`add-sqr-sqrt_binary64`
163×	`log1p-expm1-u_binary64`
163×	`expm1-log1p-u_binary64`

Counts

4 → 131

Calls

4 calls:

104.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
104.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
104.0ms	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
104.0ms	(.f64 (.f64 c a) (*.f64 c a))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	40
1	357	40
2	4223	40
3	4993	40
4	5172	40

simplify158.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

620×	`times-frac_binary64`
581×	`sqr-pow_binary64`
507×	`unswap-sqr_binary64`
460×	`associate-/l*_binary64`
246×	`associate-/r*_binary64`

Counts

191 → 135

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	816
1	29	816
2	88	816
3	390	816
4	2482	816
5	3415	816
6	3369	816
7	3508	816
8	3672	816
9	3838	816
10	3998	816
11	4170	816
12	4395	816
13	4601	816
14	4900	816
15	4892	816

prune227.0ms (4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	135	0	135
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	135	7	142

Error

0.4b

Counts

142 → 7

Alt Table

Status	Error	Program
	11.9b	(neg.f64 (/.f64 c b))
✓	3.2b	(/.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (fma.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (.f64 2 a))
▶	3.4b	(/.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 2 a))
	43.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	43.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (fma.f64 (.f64 a -4) c (.f64 (.f64 4 a) c))))) (.f64 2 a))
	43.0b	(/.f64 (/.f64 (-.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))) (.f64 2 a))
✓	3.2b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b))))

Compiler

Compiled 7258 to 4635 computations (36.1% saved)

localize34.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))
	0.4b	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
	0.4b	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
✓	0.4b	(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))

series156.0ms (2.8%)

Counts

2 → 0

Calls

2 calls:

87.0ms	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))
69.0ms	(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))

rewrite68.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

278×	`expm1-udef_binary64`
278×	`log1p-udef_binary64`
167×	`add-sqr-sqrt_binary64`
166×	`log1p-expm1-u_binary64`
166×	`expm1-log1p-u_binary64`

Counts

2 → 93

Calls

2 calls:

66.0ms	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))
66.0ms	(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	26
1	374	26
2	4132	26
3	5079	26

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune285.0ms (5.1%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	153	1	154
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	153	8	161

Error

0.4b

Counts

161 → 8

Alt Table

Status	Error	Program
	43.0b	(/.f64 (/.f64 (-.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))) (.f64 2 a))
	4.8b	(/.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 4 (log.f64 (exp.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5))))))))) (*.f64 2 a))
	11.9b	(neg.f64 (/.f64 c b))
✓	3.2b	(/.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (fma.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (.f64 2 a))
✓	3.4b	(/.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 2 a))
	43.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	43.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (fma.f64 (.f64 a -4) c (.f64 (.f64 4 a) c))))) (.f64 2 a))
✓	3.2b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b))))

Compiler

Compiled 8961 to 6235 computations (30.4% saved)

regimes481.0ms (8.6%)

Accuracy

Total 2.5b remaining (85.7%)

Threshold costs 0b (0%)

Counts

92 → 1

Compiler

Compiled 13012 to 9394 computations (27.8% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

24×	`*-commutative_binary64`
22×	`+-commutative_binary64`
19×	`sub-neg_binary64`
19×	`neg-sub0_binary64`
19×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	30	63
1	45	61
2	64	61
3	91	61
4	121	61
5	154	61
6	176	61
7	189	61
8	193	61
9	191	61

end258.0ms (4.6%)

Compiler: Compiled 382 to 273 computations (28.5% saved)

Details

analyze371.0ms (6.6%)

sample1.9s (33.4%)

simplify257.0ms (4.6%)

prune4.0ms (0.1%)

localize11.0ms (0.2%)

series129.0ms (2.3%)

rewrite116.0ms (2.1%)

simplify81.0ms (1.5%)

prune148.0ms (2.6%)

localize25.0ms (0.4%)

series218.0ms (3.9%)

rewrite70.0ms (1.3%)

simplify115.0ms (2.1%)

prune186.0ms (3.3%)

localize28.0ms (0.5%)

series195.0ms (3.5%)

rewrite107.0ms (1.9%)

simplify158.0ms (2.8%)

prune227.0ms (4%)

localize34.0ms (0.6%)

series156.0ms (2.8%)

rewrite68.0ms (1.2%)

simplify7.0ms (0.1%)

prune285.0ms (5.1%)

regimes481.0ms (8.6%)

simplify5.0ms (0.1%)

end258.0ms (4.6%)

Profiling