Details

analyze559.0ms (6.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
12.5%	87.4%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	37.5%	0.1%	6
62.4%	31.2%	6.3%	7
62.4%	31.2%	6.3%	8
62.4%	28.1%	9.5%	9
62.4%	28.1%	9.5%	10
62.4%	26.5%	11%	11
62.4%	26.5%	11%	12
62.4%	25.8%	11.8%	13
62.4%	25.8%	11.8%	14

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample170.0ms (1.9%)

Algorithm

1×

intervals

Results

78.0ms	134×	body	1024	valid
24.0ms	64×	body	1024	invalid
17.0ms	66×	body	512	valid
10.0ms	12×	body	2048	valid
8.0ms	32×	body	512	invalid
6.0ms	76×	body	128	invalid
5.0ms	32×	body	256	valid
4.0ms	23×	body	256	invalid
1.0ms	12×	body	128	valid

Compiler

Compiled 29 to 23 computations (20.7% saved)

simplify125.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

454×	`fma-def_binary64`
444×	`times-frac_binary64`
419×	`sub-neg_binary64`
365×	`distribute-rgt-neg-in_binary64`
340×	`fma-neg_binary64`

Counts

1 → 1

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	23	18
2	49	18
3	106	18
4	225	17
5	449	17
6	962	17
7	1713	17
8	3588	17
9	4282	17
10	4773	17
11	4923	17
12	4957	17
13	4748	17

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

46.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	46.0b	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Compiler

Compiled 39 to 29 computations (25.6% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
5.7b	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

rewrite128.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

46.0b

Rules

36×	`add-cube-cbrt_binary64`
20×	`pow1_binary64`
14×	`add-sqr-sqrt_binary64`
12×	`prod-diff_binary64`
10×	`pow-prod-down_binary64`

Counts

2 → 95

Calls

2 calls:

20.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
16.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

Compiler

Compiled 2624 to 593 computations (77.4% saved)

series33.0ms (0.4%)

Error

0.1b

Counts

2 → 11

Calls

2 calls:

18.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
7.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

Compiler

Compiled 411 to 293 computations (28.7% saved)

simplify126.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

583×	`fma-def_binary64`
483×	`distribute-rgt-in_binary64`
355×	`cancel-sign-sub-inv_binary64`
243×	`fma-neg_binary64`
212×	`distribute-rgt-neg-in_binary64`

Counts

106 → 61

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	152	1891
1	400	1680
2	1661	1589
3	4326	1589
4	4969	1589
5	4870	1589

prune60.0ms (0.7%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	60	1	61
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	61	1	62

Error

0.2b

Counts

62 → 1

Alt Table

Status	Error	Program
▶	0.2b	(.f64 (sin.f64 re) (-.f64 (neg.f64 im) (.f64 1/6 (pow.f64 im 3))))

Compiler

Compiled 940 to 479 computations (49% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.1b	(*.f64 1/6 (pow.f64 im 3))
0.2b	(.f64 (sin.f64 re) (-.f64 (neg.f64 im) (.f64 1/6 (pow.f64 im 3))))

rewrite107.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

18×	`add-cube-cbrt_binary64`
16×	`pow1_binary64`
16×	`add-sqr-sqrt_binary64`
10×	`add-exp-log_binary64`
10×	`add-cbrt-cube_binary64`

Counts

2 → 84

Calls

2 calls:

20.0ms	(.f64 (sin.f64 re) (-.f64 (neg.f64 im) (.f64 1/6 (pow.f64 im 3))))
13.0ms	(*.f64 1/6 (pow.f64 im 3))

Compiler

Compiled 1702 to 1044 computations (38.7% saved)

series48.0ms (0.5%)

Error

0.1b

Counts

2 → 15

Calls

2 calls:

35.0ms	(.f64 (sin.f64 re) (-.f64 (neg.f64 im) (.f64 1/6 (pow.f64 im 3))))
5.0ms	(*.f64 1/6 (pow.f64 im 3))

Compiler

Compiled 623 to 457 computations (26.6% saved)

simplify91.0ms (1%)

Algorithm

1×	egg-herbie

Rules

496×	`cancel-sign-sub-inv_binary64`
306×	`exp-prod_binary64`
281×	`fma-neg_binary64`
257×	`distribute-rgt-neg-in_binary64`
250×	`unswap-sqr_binary64`

Counts

99 → 58

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	175	1674
1	492	1402
2	1853	1346
3	4129	1334
4	4911	1334

prune48.0ms (0.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	52	6	58
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	52	7	59

Error

0.1b

Counts

59 → 7

Alt Table

Status	Error	Program
	40.5b	(/.f64 (sin.f64 re) (/.f64 (fma.f64 im im (fma.f64 1/36 (pow.f64 im 6) (.f64 1/6 (neg.f64 (pow.f64 im 4))))) (-.f64 (.f64 (pow.f64 (pow.f64 im 3) 3) -1/216) (pow.f64 im 3))))
	38.8b	(/.f64 (pow.f64 (neg.f64 (.f64 (fma.f64 1/6 (pow.f64 im 3) im) (sin.f64 re))) 2) (neg.f64 (.f64 (fma.f64 1/6 (pow.f64 im 3) im) (sin.f64 re))))
	1.2b	(.f64 (.f64 (sin.f64 re) (.f64 (cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im))) (cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im))))) (cbrt.f64 (-.f64 (neg.f64 im) (.f64 1/6 (pow.f64 im 3)))))
	50.6b	(/.f64 (.f64 (pow.f64 (sin.f64 re) 3) (+.f64 (pow.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)) 3) 0)) (pow.f64 (neg.f64 (.f64 (fma.f64 1/6 (pow.f64 im 3) im) (sin.f64 re))) 2))
▶	1.0b	(.f64 (.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re))) (*.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)) (cbrt.f64 (sin.f64 re))))
✓	0.2b	(.f64 (sin.f64 re) (-.f64 (neg.f64 im) (.f64 1/6 (pow.f64 im 3))))
	25.4b	(.f64 (cbrt.f64 (pow.f64 (neg.f64 (.f64 (fma.f64 1/6 (pow.f64 im 3) im) (sin.f64 re))) 2)) (cbrt.f64 (neg.f64 (*.f64 (fma.f64 1/6 (pow.f64 im 3) im) (sin.f64 re)))))

Compiler

Compiled 1141 to 798 computations (30.1% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re)))
0.6b	(cbrt.f64 (sin.f64 re))
0.6b	(cbrt.f64 (sin.f64 re))
0.6b	(cbrt.f64 (sin.f64 re))

rewrite138.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

28×	`add-cube-cbrt_binary64`
27×	`pow1/3_binary64`
17×	`add-sqr-sqrt_binary64`
12×	`add-exp-log_binary64`
12×	`log1p-expm1-u_binary64`

Counts

4 → 132

Calls

4 calls:

16.0ms	(*.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re)))
11.0ms	(cbrt.f64 (sin.f64 re))
10.0ms	(cbrt.f64 (sin.f64 re))
10.0ms	(cbrt.f64 (sin.f64 re))

Compiler

Compiled 2131 to 837 computations (60.7% saved)

series74.0ms (0.8%)

Error

0.1b

Counts

4 → 24

Calls

4 calls:

17.0ms	(*.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re)))
14.0ms	(cbrt.f64 (sin.f64 re))
13.0ms	(cbrt.f64 (sin.f64 re))
13.0ms	(cbrt.f64 (sin.f64 re))

Compiler

Compiled 1432 to 997 computations (30.4% saved)

simplify100.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

742×	`log-prod_binary64`
674×	`fma-neg_binary64`
495×	`fma-def_binary64`
351×	`*-commutative_binary64`
248×	`cancel-sign-sub-inv_binary64`

Counts

156 → 82

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	95	1200
1	224	1114
2	516	1078
3	1454	1061
4	3336	935
5	4642	935
6	5102	935

prune64.0ms (0.7%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	75	7	82
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	76	13	89

Error

0.0b

Counts

89 → 13

Alt Table

Status	Error	Program
	36.8b	(.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (sin.f64 re) 2/3))) 1) (.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)) (cbrt.f64 (sin.f64 re))))
✓	0.2b	(.f64 (sin.f64 re) (-.f64 (neg.f64 im) (.f64 1/6 (pow.f64 im 3))))
	40.5b	(/.f64 (sin.f64 re) (/.f64 (fma.f64 im im (fma.f64 1/36 (pow.f64 im 6) (.f64 1/6 (neg.f64 (pow.f64 im 4))))) (-.f64 (.f64 (pow.f64 (pow.f64 im 3) 3) -1/216) (pow.f64 im 3))))
	38.8b	(/.f64 (pow.f64 (neg.f64 (.f64 (fma.f64 1/6 (pow.f64 im 3) im) (sin.f64 re))) 2) (neg.f64 (.f64 (fma.f64 1/6 (pow.f64 im 3) im) (sin.f64 re))))
	1.7b	(.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 re))) 5) (cbrt.f64 (cbrt.f64 (sin.f64 re)))) (*.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)) (cbrt.f64 (sin.f64 re))))
	12.7b	(.f64 (.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re))) (*.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)) (log.f64 (+.f64 (expm1.f64 (cbrt.f64 (sin.f64 re))) 1))))
	1.7b	(.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (sin.f64 re))) (cbrt.f64 (cbrt.f64 (sin.f64 re)))) (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 re))) 4)) (.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)) (cbrt.f64 (sin.f64 re))))
▶	1.2b	(.f64 (.f64 (sin.f64 re) (.f64 (cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im))) (cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im))))) (cbrt.f64 (-.f64 (neg.f64 im) (.f64 1/6 (pow.f64 im 3)))))
	50.6b	(/.f64 (.f64 (pow.f64 (sin.f64 re) 3) (+.f64 (pow.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)) 3) 0)) (pow.f64 (neg.f64 (.f64 (fma.f64 1/6 (pow.f64 im 3) im) (sin.f64 re))) 2))
	30.6b	(.f64 (sqrt.f64 (pow.f64 (sin.f64 re) 4/3)) (.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)) (cbrt.f64 (sin.f64 re))))
	30.7b	(.f64 (.f64 (cbrt.f64 (pow.f64 (sin.f64 re) 4/3)) (cbrt.f64 (pow.f64 (sin.f64 re) 2/3))) (*.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)) (cbrt.f64 (sin.f64 re))))
	3.8b	(.f64 (cbrt.f64 (pow.f64 (sin.f64 re) 2)) (.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)) (cbrt.f64 (sin.f64 re))))
	25.4b	(.f64 (cbrt.f64 (pow.f64 (neg.f64 (.f64 (fma.f64 1/6 (pow.f64 im 3) im) (sin.f64 re))) 2)) (cbrt.f64 (neg.f64 (*.f64 (fma.f64 1/6 (pow.f64 im 3) im) (sin.f64 re)))))

Compiler

Compiled 1850 to 1096 computations (40.8% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im))) (cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im))))
0.7b	(cbrt.f64 (-.f64 (neg.f64 im) (*.f64 1/6 (pow.f64 im 3))))
0.7b	(cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)))
0.7b	(cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)))

rewrite185.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

28×	`add-cube-cbrt_binary64`
27×	`pow1/3_binary64`
17×	`add-sqr-sqrt_binary64`
12×	`add-exp-log_binary64`
12×	`log1p-expm1-u_binary64`

Counts

4 → 137

Calls

4 calls:

15.0ms	(*.f64 (cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im))) (cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im))))
12.0ms	(cbrt.f64 (-.f64 (neg.f64 im) (*.f64 1/6 (pow.f64 im 3))))
11.0ms	(cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)))
10.0ms	(cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)))

Compiler

Compiled 3715 to 2704 computations (27.2% saved)

series105.0ms (1.1%)

Error

0.0b

Counts

4 → 15

Calls

4 calls:

40.0ms	(*.f64 (cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im))) (cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im))))
17.0ms	(cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)))
17.0ms	(cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)))
16.0ms	(cbrt.f64 (-.f64 (neg.f64 im) (*.f64 1/6 (pow.f64 im 3))))

Compiler

Compiled 1777 to 1495 computations (15.9% saved)

simplify95.0ms (1%)

Algorithm

1×	egg-herbie

Rules

706×	`associate-l_binary64`
528×	`div-sub_binary64`
452×	`fma-neg_binary64`
282×	`times-frac_binary64`
207×	`fma-def_binary64`

Counts

152 → 76

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	142	2339
1	334	2000
2	925	1890
3	3795	1820
4	5803	1820

prune82.0ms (0.9%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	75	1	76
Fresh	2	9	11
Picked	0	1	1
Done	0	1	1
Total	77	12	89

Error

0.0b

Counts

89 → 12

Alt Table

Status	Error	Program
	36.8b	(.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (sin.f64 re) 2/3))) 1) (.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)) (cbrt.f64 (sin.f64 re))))
	0.2b	(.f64 (sin.f64 re) (-.f64 (neg.f64 im) (.f64 1/6 (pow.f64 im 3))))
	40.5b	(/.f64 (sin.f64 re) (/.f64 (fma.f64 im im (fma.f64 1/36 (pow.f64 im 6) (.f64 1/6 (neg.f64 (pow.f64 im 4))))) (-.f64 (.f64 (pow.f64 (pow.f64 im 3) 3) -1/216) (pow.f64 im 3))))
	38.8b	(/.f64 (pow.f64 (neg.f64 (.f64 (fma.f64 1/6 (pow.f64 im 3) im) (sin.f64 re))) 2) (neg.f64 (.f64 (fma.f64 1/6 (pow.f64 im 3) im) (sin.f64 re))))
	1.7b	(.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 re))) 5) (cbrt.f64 (cbrt.f64 (sin.f64 re)))) (*.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)) (cbrt.f64 (sin.f64 re))))
	12.7b	(.f64 (.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re))) (*.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)) (log.f64 (+.f64 (expm1.f64 (cbrt.f64 (sin.f64 re))) 1))))
	1.7b	(.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (sin.f64 re))) (cbrt.f64 (cbrt.f64 (sin.f64 re)))) (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 re))) 4)) (.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)) (cbrt.f64 (sin.f64 re))))
	1.2b	(.f64 (.f64 (sin.f64 re) (.f64 (cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im))) (cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im))))) (cbrt.f64 (-.f64 (neg.f64 im) (.f64 1/6 (pow.f64 im 3)))))
	30.6b	(.f64 (sqrt.f64 (pow.f64 (sin.f64 re) 4/3)) (.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)) (cbrt.f64 (sin.f64 re))))
	30.7b	(.f64 (.f64 (cbrt.f64 (pow.f64 (sin.f64 re) 4/3)) (cbrt.f64 (pow.f64 (sin.f64 re) 2/3))) (*.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)) (cbrt.f64 (sin.f64 re))))
	3.8b	(.f64 (cbrt.f64 (pow.f64 (sin.f64 re) 2)) (.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)) (cbrt.f64 (sin.f64 re))))
	1.4b	(.f64 (.f64 (sin.f64 re) (.f64 (cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im))) (cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im))))) (.f64 (*.f64 (cbrt.f64 (cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im)))) (cbrt.f64 (cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im))))) (cbrt.f64 (cbrt.f64 (neg.f64 (fma.f64 1/6 (pow.f64 im 3) im))))))

Compiler

Compiled 2280 to 1674 computations (26.6% saved)

regimes1.2s (13.2%)

Accuracy

Total 0.1b remaining (10.9%)

Threshold costs 0.1b (10.9%)

Compiler

Compiled 22223 to 15149 computations (31.8% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
3×	`+-commutative_binary64`
3×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	15
1	17	15
2	24	15
3	30	15
4	33	15
5	34	15
6	34	15

end1.0ms (0%)

Compiler: Compiled 12 to 9 computations (25% saved)

sample5.5s (60.6%)

Algorithm

1×

intervals

Results

2.4s	4046×	body	1024	valid
772.0ms	1935×	body	1024	invalid
579.0ms	2103×	body	512	valid
247.0ms	1000×	body	512	invalid
220.0ms	2552×	body	128	invalid
191.0ms	232×	body	2048	valid
183.0ms	1018×	body	256	valid
110.0ms	601×	body	128	valid
83.0ms	499×	body	256	invalid

Compiler

Compiled 346 to 250 computations (27.7% saved)

Details

analyze559.0ms (6.1%)

sample170.0ms (1.9%)

simplify125.0ms (1.4%)

prune2.0ms (0%)

localize9.0ms (0.1%)

rewrite128.0ms (1.4%)

series33.0ms (0.4%)

simplify126.0ms (1.4%)

prune60.0ms (0.7%)

localize8.0ms (0.1%)

rewrite107.0ms (1.2%)

series48.0ms (0.5%)

simplify91.0ms (1%)

prune48.0ms (0.5%)

localize14.0ms (0.2%)

rewrite138.0ms (1.5%)

series74.0ms (0.8%)

simplify100.0ms (1.1%)

prune64.0ms (0.7%)

localize16.0ms (0.2%)

rewrite185.0ms (2%)

series105.0ms (1.1%)

simplify95.0ms (1%)

prune82.0ms (0.9%)

regimes1.2s (13.2%)

simplify4.0ms (0%)

end1.0ms (0%)

sample5.5s (60.6%)

Profiling