Details

analyze451.0ms (4.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	68.6%	31.4%	5
0%	65.5%	34.5%	6
0%	59.2%	40.8%	7
0%	51.4%	48.6%	8
0%	41.3%	58.7%	9
0%	28.4%	71.6%	10
2.3%	22.3%	75.4%	11
2.3%	21%	76.7%	12
2.7%	18%	79.3%	13
2.7%	16.4%	80.8%	14

Compiler

Compiled 22 to 16 computations (27.3% saved)

sample117.0ms (1.2%)

Algorithm

1×

intervals

Symmetry

(sort x y)

Results

25.0ms	256×	body	128	valid
13.0ms	163×	body	128	nan
0.0ms	1×	body	128	invalid

Compiler

Compiled 48 to 36 computations (25% saved)

simplify211.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

2140×	`distribute-rgt-in_binary64`
556×	`associate--r+_binary64`
551×	`associate-+l+_binary64`
551×	`unsub-neg_binary64`
546×	`associate-+r+_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	25
1	29	23
2	72	23
3	160	23
4	426	23
5	1097	23
6	1994	23
7	1981	23
8	1956	23
9	1972	23
10	1987	23
11	2037	23
12	2044	23
13	2248	23
14	2651	23
15	2447	23
16	2459	23
17	2465	23
18	2465	23
19	2557	23
20	4649	23
21	4720	23
22	4802	23
23	4878	23
24	7643	23

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.2b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.2b	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))

Compiler

Compiled 76 to 46 computations (39.5% saved)

localize13.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))
✓	0.5b	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

series924.0ms (9.3%)

Counts

2 → 96

Calls

2 calls:

635.0ms	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))
289.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64`
7×	`log-prod_binary64`
7×	`pow1_binary64`
5×	`distribute-lft-out_binary64`
5×	`add-sqr-sqrt_binary64`

Counts

2 → 40

Calls

2 calls:

5.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
0.0ms	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))

simplify108.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

819×	`fma-def_binary64`
672×	`sub-neg_binary64`
369×	`fma-neg_binary64`
320×	`associate--l+_binary64`
286×	`associate-+l+_binary64`

Counts

136 → 150

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	269	3472
1	837	3152
2	2953	3050
3	4746	3050
4	4972	3050

prune131.0ms (1.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	145	5	150
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	146	5	151

Error

0.1b

Counts

151 → 5

Alt Table

Status	Error	Program
	53.6b	(log.f64 (.f64 (pow.f64 t (-.f64 a 1/2)) (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t))))
▶	0.2b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 a (log.f64 (/.f64 1 t))) t))
	41.7b	(*.f64 (sqrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))) (sqrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))))
	1.3b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))) (cbrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)))) (cbrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))))
	34.7b	(cbrt.f64 (.f64 (.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)) (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))) (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))))

Compiler

Compiled 4042 to 1744 computations (56.9% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (*.f64 a (log.f64 (/.f64 1 t))) t)
✓	0.3b	(*.f64 a (log.f64 (/.f64 1 t)))
✓	0.4b	(+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t))))
✓	0.5b	(+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t)))))

series1.7s (16.6%)

Counts

4 → 76

Calls

4 calls:

840.0ms	(+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t)))))
519.0ms	(+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t))))
246.0ms	(*.f64 a (log.f64 (/.f64 1 t)))
56.0ms	(+.f64 (*.f64 a (log.f64 (/.f64 1 t))) t)

rewrite36.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

85×	`log-prod_binary64`
57×	`*-un-lft-identity_binary64`
54×	`times-frac_binary64`
54×	`add-sqr-sqrt_binary64`
52×	`add-cube-cbrt_binary64`

Counts

4 → 165

Calls

4 calls:

7.0ms	(+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t)))))
6.0ms	(*.f64 a (log.f64 (/.f64 1 t)))
6.0ms	(+.f64 (*.f64 a (log.f64 (/.f64 1 t))) t)
5.0ms	(+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t))))

simplify172.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

724×	`fma-neg_binary64`
440×	`distribute-rgt-in_binary64`
242×	`cancel-sign-sub-inv_binary64`
239×	`sub-neg_binary64`
221×	`unsub-neg_binary64`

Counts

241 → 317

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	309	4210
1	813	3818
2	2529	3623
3	4469	3569
4	4981	3567
5	5045	3567

prune472.0ms (4.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	311	6	317
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	312	10	322

Error

Counts

322 → 10

Alt Table

Status	Error	Program
	53.6b	(log.f64 (.f64 (pow.f64 t (-.f64 a 1/2)) (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t))))
	0.6b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (.f64 (cbrt.f64 (neg.f64 (.f64 (log.f64 t) a))) (cbrt.f64 (neg.f64 (.f64 (log.f64 t) a)))) (cbrt.f64 (neg.f64 (.f64 (log.f64 t) a)))) t))
	0.6b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (.f64 a (.f64 (cbrt.f64 (neg.f64 (log.f64 t))) (cbrt.f64 (neg.f64 (log.f64 t))))) (cbrt.f64 (log.f64 (/.f64 1 t)))) t))
✓	0.2b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 a (log.f64 (/.f64 1 t))) t))
	33.8b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (sqrt.f64 a) (*.f64 (neg.f64 (log.f64 t)) (sqrt.f64 a))) t))
	0.6b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (neg.f64 (log.f64 t)) (cbrt.f64 a))) t))
▶	0.2b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (+.f64 (.f64 a (neg.f64 (log.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t))))) (.f64 a (neg.f64 (log.f64 (cbrt.f64 t))))) t))
	41.7b	(*.f64 (sqrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))) (sqrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))))
	34.7b	(cbrt.f64 (.f64 (.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)) (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))) (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))))
	33.0b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (sqrt.f64 (neg.f64 (.f64 (log.f64 t) a))) (sqrt.f64 (neg.f64 (.f64 (log.f64 t) a)))) t))

Compiler

Compiled 10442 to 5934 computations (43.2% saved)

localize25.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t))))
✓	0.5b	(*.f64 (cbrt.f64 t) (cbrt.f64 t))
	0.5b	(+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t)))))
✓	0.6b	(cbrt.f64 t)

series67.0ms (0.7%)

Counts

2 → 24

Calls

2 calls:

37.0ms	(*.f64 (cbrt.f64 t) (cbrt.f64 t))
30.0ms	(cbrt.f64 t)

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64`
19×	`cbrt-prod_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
9×	`pow1_binary64`

Counts

2 → 55

Calls

2 calls:

6.0ms	(*.f64 (cbrt.f64 t) (cbrt.f64 t))
1.0ms	(cbrt.f64 t)

simplify65.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

577×	`distribute-rgt-in_binary64`
561×	`log-prod_binary64`
538×	`distribute-lft-in_binary64`
525×	`unswap-sqr_binary64`
384×	`fma-def_binary64`

Counts

79 → 74

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	58	610
1	98	554
2	296	516
3	769	502
4	1799	410
5	4642	410
6	4805	410

prune394.0ms (3.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	280	1	281
Fresh	2	6	8
Picked	1	0	1
Done	0	1	1
Total	283	8	291

Error

Counts

291 → 8

Alt Table

Status	Error	Program
▶	0.2b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (+.f64 (.f64 a (neg.f64 (log.f64 (pow.f64 t 2/3)))) (*.f64 a (neg.f64 (log.f64 (cbrt.f64 t))))) t))
	53.6b	(log.f64 (.f64 (pow.f64 t (-.f64 a 1/2)) (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t))))
	0.6b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (.f64 (cbrt.f64 (neg.f64 (.f64 (log.f64 t) a))) (cbrt.f64 (neg.f64 (.f64 (log.f64 t) a)))) (cbrt.f64 (neg.f64 (.f64 (log.f64 t) a)))) t))
✓	0.2b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 a (log.f64 (/.f64 1 t))) t))
	33.8b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (sqrt.f64 a) (*.f64 (neg.f64 (log.f64 t)) (sqrt.f64 a))) t))
	0.6b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (neg.f64 (log.f64 t)) (cbrt.f64 a))) t))
	34.7b	(cbrt.f64 (.f64 (.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)) (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))) (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))))
	33.0b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (sqrt.f64 (neg.f64 (.f64 (log.f64 t) a))) (sqrt.f64 (neg.f64 (.f64 (log.f64 t) a)))) t))

Compiler

Compiled 11590 to 4228 computations (63.5% saved)

localize30.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t))))
	0.5b	(+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t)))))
	0.6b	(cbrt.f64 t)
✓	6.1b	(pow.f64 t 2/3)

series56.0ms (0.6%)

Counts

1 → 12

Calls

1 calls:

55.0ms

(pow.f64 t 2/3)

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`pow-unpow_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`unpow-prod-down_binary64`
3×	`add-cube-cbrt_binary64`

Counts

1 → 19

Calls

1 calls:

1.0ms

(pow.f64 t 2/3)

simplify65.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

612×	`fma-neg_binary64`
320×	`log-prod_binary64`
302×	`*-commutative_binary64`
275×	`associate-l_binary64`
234×	`exp-prod_binary64`

Counts

31 → 27

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	43	206
1	83	203
2	170	200
3	427	174
4	1287	174
5	3699	156
6	4894	156
7	4869	156

prune314.0ms (3.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	216	0	216
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	216	8	224

Error

Counts

224 → 8

Alt Table

Status	Error	Program
✓	0.2b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (+.f64 (.f64 a (neg.f64 (log.f64 (pow.f64 t 2/3)))) (*.f64 a (neg.f64 (log.f64 (cbrt.f64 t))))) t))
	53.6b	(log.f64 (.f64 (pow.f64 t (-.f64 a 1/2)) (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t))))
	0.6b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (.f64 (cbrt.f64 (neg.f64 (.f64 (log.f64 t) a))) (cbrt.f64 (neg.f64 (.f64 (log.f64 t) a)))) (cbrt.f64 (neg.f64 (.f64 (log.f64 t) a)))) t))
✓	0.2b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 a (log.f64 (/.f64 1 t))) t))
	33.8b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (sqrt.f64 a) (*.f64 (neg.f64 (log.f64 t)) (sqrt.f64 a))) t))
	0.6b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (neg.f64 (log.f64 t)) (cbrt.f64 a))) t))
	34.7b	(cbrt.f64 (.f64 (.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)) (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))) (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))))
	33.0b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (sqrt.f64 (neg.f64 (.f64 (log.f64 t) a))) (sqrt.f64 (neg.f64 (.f64 (log.f64 t) a)))) t))

Compiler

Compiled 8501 to 4422 computations (48% saved)

regimes2.8s (28.4%)

Accuracy

Total 0.2b remaining (83.8%)

Threshold costs 0.2b (83.8%)

Counts

182 → 1

Compiler

Compiled 70376 to 48814 computations (30.6% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

15×	`distribute-rgt-neg-in_binary64`
13×	`cancel-sign-sub-inv_binary64`
10×	`+-commutative_binary64`
9×	`distribute-lft-neg-in_binary64`
9×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	33
1	34	33
2	49	33
3	73	33
4	92	33
5	103	33
6	105	33
7	101	33

end7.0ms (0.1%)

Remove: (sort x y)
Compiler: Compiled 78 to 57 computations (26.9% saved)

sample1.8s (17.9%)

Algorithm

1×

intervals

Results

772.0ms	8000×	body	128	valid
366.0ms	4243×	body	128	nan
3.0ms	30×	body	128	invalid

Compiler

Compiled 332 to 215 computations (35.2% saved)

Details

analyze451.0ms (4.5%)

sample117.0ms (1.2%)

simplify211.0ms (2.1%)

prune4.0ms (0%)

localize13.0ms (0.1%)

series924.0ms (9.3%)

rewrite8.0ms (0.1%)

simplify108.0ms (1.1%)

prune131.0ms (1.3%)

localize17.0ms (0.2%)

series1.7s (16.6%)

rewrite36.0ms (0.4%)

simplify172.0ms (1.7%)

prune472.0ms (4.7%)

localize25.0ms (0.3%)

series67.0ms (0.7%)

rewrite9.0ms (0.1%)

simplify65.0ms (0.7%)

prune394.0ms (3.9%)

localize30.0ms (0.3%)

series56.0ms (0.6%)

rewrite2.0ms (0%)

simplify65.0ms (0.7%)

prune314.0ms (3.1%)

regimes2.8s (28.4%)

simplify4.0ms (0%)

end7.0ms (0.1%)

sample1.8s (17.9%)

Profiling