Details

analyze426.0ms (4.5%)

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)

sample54.0ms (0.6%)

Algorithm

1×

intervals

Results

15.0ms	127×	body	256	valid
10.0ms	278×	pre	128	true
8.0ms	47×	body	512	valid
5.0ms	82×	body	128	valid
1.0ms	22×	body	128	nan

Compiler

Compiled 66 to 48 computations (27.3% saved)

simplify263.0ms (2.7%)

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%)

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

54.0b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
✓	0.0b	(fma.f64 a (.f64 c -4) (.f64 b b))
✓	0.2b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
✓	27.6b	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)

series186.0ms (1.9%)

Counts

4 → 96

Calls

4 calls:

81.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
51.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)
42.0ms	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
11.0ms	(fma.f64 a (.f64 c -4) (.f64 b b))

rewrite21.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`add-sqr-sqrt_binary64`
32×	`*-un-lft-identity_binary64`
28×	`add-cube-cbrt_binary64`
18×	`prod-diff_binary64`
17×	`sqrt-prod_binary64`

Counts

4 → 109

Calls

4 calls:

8.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
4.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)
1.0ms	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
0.0ms	(fma.f64 a (.f64 c -4) (.f64 b b))

simplify195.0ms (2%)

Algorithm

1×	egg-herbie

Rules

527×	`fma-neg_binary64`
338×	`distribute-rgt-in_binary64`
273×	`cancel-sign-sub-inv_binary64`
155×	`associate-l_binary64`
153×	`associate-r_binary64`

Counts

205 → 226

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	267	5424
1	673	4468
2	2524	4293
3	4550	4293
4	4991	4293
5	4994	4293
6	4884	4293

prune143.0ms (1.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	222	4	226
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	224	4	228

Error

0.0b

Counts

228 → 4

Alt Table

Status	Error	Program
	1.7b	(.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 1/2 a))
▶	0.3b	(/.f64 (.f64 (+.f64 (.f64 c (.f64 a -4)) 0) (/.f64 1/2 a)) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b))
	54.0b	(.f64 (/.f64 (-.f64 (.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (.f64 b b)) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b)) (/.f64 1/2 a))
	1.4b	(neg.f64 (fma.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)) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))

Compiler

Compiled 6217 to 3618 computations (41.8% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (.f64 (+.f64 (.f64 c (.f64 a -4)) 0) (/.f64 1/2 a)) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b))
	0.0b	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
	0.0b	(fma.f64 a (.f64 c -4) (.f64 b b))
✓	0.3b	(.f64 (+.f64 (.f64 c (*.f64 a -4)) 0) (/.f64 1/2 a))

series283.0ms (3%)

Counts

2 → 44

Calls

2 calls:

280.0ms	(/.f64 (.f64 (+.f64 (.f64 c (.f64 a -4)) 0) (/.f64 1/2 a)) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b))
3.0ms	(.f64 (+.f64 (.f64 c (*.f64 a -4)) 0) (/.f64 1/2 a))

rewrite25.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt_binary64`
16×	`*-un-lft-identity_binary64`
16×	`add-cbrt-cube_binary64`
16×	`add-exp-log_binary64`
14×	`times-frac_binary64`

Counts

2 → 72

Calls

2 calls:

11.0ms	(/.f64 (.f64 (+.f64 (.f64 c (.f64 a -4)) 0) (/.f64 1/2 a)) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b))
9.0ms	(.f64 (+.f64 (.f64 c (*.f64 a -4)) 0) (/.f64 1/2 a))

simplify99.0ms (1%)

Algorithm

1×	egg-herbie

Rules

618×	`fma-neg_binary64`
365×	`distribute-rgt-in_binary64`
288×	`distribute-lft-in_binary64`
237×	`associate-l_binary64`
199×	`associate-r_binary64`

Counts

116 → 146

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	209	2891
1	577	2397
2	2673	2333
3	4551	2333
4	4904	2333

prune204.0ms (2.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	205	4	209
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	207	6	213

Error

Counts

213 → 6

Alt Table

Status	Error	Program
▶	0.4b	(.f64 (/.f64 (+.f64 (.f64 c (.f64 a -4)) 0) 1) (/.f64 (/.f64 1/2 a) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b)))
	0.7b	(/.f64 (.f64 (.f64 (+.f64 (.f64 c (.f64 a -4)) 0) (/.f64 1 (sqrt.f64 a))) (/.f64 1/2 (sqrt.f64 a))) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b))
	1.7b	(.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 1/2 a))
	0.5b	(/.f64 (/.f64 (.f64 (/.f64 1/2 a) (.f64 (pow.f64 (.f64 c a) 3) -64)) (+.f64 (.f64 (.f64 c (.f64 a -4)) (.f64 c (.f64 a -4))) (-.f64 (.f64 0 0) (.f64 (.f64 c (.f64 a -4)) 0)))) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b))
	1.4b	(neg.f64 (fma.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)) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))
	0.7b	(/.f64 (cbrt.f64 (.f64 (.f64 (.f64 (+.f64 (.f64 c (.f64 a -4)) 0) (+.f64 (.f64 c (.f64 a -4)) 0)) (+.f64 (.f64 c (.f64 a -4)) 0)) (/.f64 (.f64 (.f64 1/2 1/2) 1/2) (.f64 (.f64 a a) a)))) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b))

Compiler

Compiled 7094 to 4507 computations (36.5% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
	0.0b	(fma.f64 a (.f64 c -4) (.f64 b b))
✓	0.3b	(/.f64 (/.f64 1/2 a) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b))
✓	0.3b	(.f64 (/.f64 (+.f64 (.f64 c (.f64 a -4)) 0) 1) (/.f64 (/.f64 1/2 a) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b)))

series511.0ms (5.3%)

Counts

2 → 40

Calls

2 calls:

259.0ms

(*.f64 (/.f64 (+.f64 (*.f64 c (*.f64 a -4)) 0) 1) (/.f64 (/.f64 1/2 a) (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b)))

251.0ms

(/.f64 (/.f64 1/2 a) (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b))

rewrite68.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

209×	`times-frac_binary64`
157×	`*-un-lft-identity_binary64`
130×	`add-sqr-sqrt_binary64`
100×	`add-cube-cbrt_binary64`
58×	`associate-r_binary64`

Counts

2 → 197

Calls

2 calls:

25.0ms

(*.f64 (/.f64 (+.f64 (*.f64 c (*.f64 a -4)) 0) 1) (/.f64 (/.f64 1/2 a) (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b)))

9.0ms

(/.f64 (/.f64 1/2 a) (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b))

simplify261.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

345×	`associate-l_binary64`
326×	`associate-r_binary64`
299×	`associate-/l*_binary64`
280×	`associate-*l/_binary64`
257×	`*-commutative_binary64`

Counts

237 → 345

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	367	9096
1	987	8324
2	4149	8076
3	4601	8076
4	4977	8076
5	4830	8076

prune434.0ms (4.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	408	0	408
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	408	6	414

Error

Counts

414 → 6

Alt Table

Status	Error	Program
✓	0.4b	(.f64 (/.f64 (+.f64 (.f64 c (.f64 a -4)) 0) 1) (/.f64 (/.f64 1/2 a) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b)))
	0.7b	(/.f64 (.f64 (.f64 (+.f64 (.f64 c (.f64 a -4)) 0) (/.f64 1 (sqrt.f64 a))) (/.f64 1/2 (sqrt.f64 a))) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b))
	1.7b	(.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 1/2 a))
▶	0.5b	(/.f64 (/.f64 (.f64 (/.f64 1/2 a) (.f64 (pow.f64 (.f64 c a) 3) -64)) (+.f64 (.f64 (.f64 c (.f64 a -4)) (.f64 c (.f64 a -4))) (-.f64 (.f64 0 0) (.f64 (.f64 c (.f64 a -4)) 0)))) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b))
	1.4b	(neg.f64 (fma.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)) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))
	0.7b	(/.f64 (cbrt.f64 (.f64 (.f64 (.f64 (+.f64 (.f64 c (.f64 a -4)) 0) (+.f64 (.f64 c (.f64 a -4)) 0)) (+.f64 (.f64 c (.f64 a -4)) 0)) (/.f64 (.f64 (.f64 1/2 1/2) 1/2) (.f64 (.f64 a a) a)))) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b))

Compiler

Compiled 16302 to 10678 computations (34.5% saved)

localize24.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 (.f64 (/.f64 1/2 a) (.f64 (pow.f64 (.f64 c a) 3) -64)) (+.f64 (.f64 (.f64 c (.f64 a -4)) (.f64 c (.f64 a -4))) (-.f64 (.f64 0 0) (.f64 (.f64 c (.f64 a -4)) 0))))
✓	0.3b	(.f64 (/.f64 1/2 a) (.f64 (pow.f64 (*.f64 c a) 3) -64))
✓	0.5b	(.f64 (.f64 c (.f64 a -4)) (.f64 c (*.f64 a -4)))
✓	0.7b	(pow.f64 (*.f64 c a) 3)

series54.0ms (0.6%)

Counts

4 → 96

Calls

4 calls:

20.0ms	(.f64 (/.f64 1/2 a) (.f64 (pow.f64 (*.f64 c a) 3) -64))
16.0ms	(.f64 (.f64 c (.f64 a -4)) (.f64 c (*.f64 a -4)))
14.0ms	(pow.f64 (*.f64 c a) 3)
4.0ms	(/.f64 (.f64 (/.f64 1/2 a) (.f64 (pow.f64 (.f64 c a) 3) -64)) (+.f64 (.f64 (.f64 c (.f64 a -4)) (.f64 c (.f64 a -4))) (-.f64 (.f64 0 0) (.f64 (.f64 c (.f64 a -4)) 0))))

rewrite56.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

123×	`pow1_binary64`
121×	`add-exp-log_binary64`
73×	`add-cbrt-cube_binary64`
68×	`prod-exp_binary64`
68×	`pow-prod-down_binary64`

Counts

4 → 164

Calls

4 calls:

18.0ms	(/.f64 (.f64 (/.f64 1/2 a) (.f64 (pow.f64 (.f64 c a) 3) -64)) (+.f64 (.f64 (.f64 c (.f64 a -4)) (.f64 c (.f64 a -4))) (-.f64 (.f64 0 0) (.f64 (.f64 c (.f64 a -4)) 0))))
9.0ms	(.f64 (.f64 c (.f64 a -4)) (.f64 c (*.f64 a -4)))
6.0ms	(.f64 (/.f64 1/2 a) (.f64 (pow.f64 (*.f64 c a) 3) -64))
3.0ms	(pow.f64 (*.f64 c a) 3)

simplify134.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

505×	`log-prod_binary64`
494×	`associate-r_binary64`
406×	`associate-l_binary64`
244×	`fma-def_binary64`
229×	`unswap-sqr_binary64`

Counts

260 → 192

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	233	4312
1	576	3138
2	2844	3057
3	4673	3057
4	5221	3057

prune270.0ms (2.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	192	0	192
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	192	6	198

Error

Counts

198 → 6

Alt Table

Status	Error	Program
✓	0.4b	(.f64 (/.f64 (+.f64 (.f64 c (.f64 a -4)) 0) 1) (/.f64 (/.f64 1/2 a) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b)))
	0.7b	(/.f64 (.f64 (.f64 (+.f64 (.f64 c (.f64 a -4)) 0) (/.f64 1 (sqrt.f64 a))) (/.f64 1/2 (sqrt.f64 a))) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b))
	1.7b	(.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 1/2 a))
✓	0.5b	(/.f64 (/.f64 (.f64 (/.f64 1/2 a) (.f64 (pow.f64 (.f64 c a) 3) -64)) (+.f64 (.f64 (.f64 c (.f64 a -4)) (.f64 c (.f64 a -4))) (-.f64 (.f64 0 0) (.f64 (.f64 c (.f64 a -4)) 0)))) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b))
	1.4b	(neg.f64 (fma.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)) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))
	0.7b	(/.f64 (cbrt.f64 (.f64 (.f64 (.f64 (+.f64 (.f64 c (.f64 a -4)) 0) (+.f64 (.f64 c (.f64 a -4)) 0)) (+.f64 (.f64 c (.f64 a -4)) 0)) (/.f64 (.f64 (.f64 1/2 1/2) 1/2) (.f64 (.f64 a a) a)))) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b))

Compiler

Compiled 10912 to 7246 computations (33.6% saved)

regimes2.3s (24%)

Accuracy

Total 0.1b remaining (79.8%)

Threshold costs 0.1b (79.8%)

Counts

274 → 1

Compiler

Compiled 40764 to 28298 computations (30.6% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	22
1	16	22
2	16	22

end1.0ms (0%)

Compiler: Compiled 18 to 12 computations (33.3% saved)

sample3.5s (36.8%)

Algorithm

1×

intervals

Results

955.0ms	3797×	body	256	valid
572.0ms	8846×	pre	128	true
532.0ms	1452×	body	512	valid
356.0ms	2751×	body	128	valid
104.0ms	846×	body	128	nan

Compiler

Compiled 325 to 235 computations (27.7% saved)

Details

analyze426.0ms (4.5%)

sample54.0ms (0.6%)

simplify263.0ms (2.7%)

prune4.0ms (0%)

localize10.0ms (0.1%)

series186.0ms (1.9%)

rewrite21.0ms (0.2%)

simplify195.0ms (2%)

prune143.0ms (1.5%)

localize16.0ms (0.2%)

series283.0ms (3%)

rewrite25.0ms (0.3%)

simplify99.0ms (1%)

prune204.0ms (2.1%)

localize16.0ms (0.2%)

series511.0ms (5.3%)

rewrite68.0ms (0.7%)

simplify261.0ms (2.7%)

prune434.0ms (4.5%)

localize24.0ms (0.3%)

series54.0ms (0.6%)

rewrite56.0ms (0.6%)

simplify134.0ms (1.4%)

prune270.0ms (2.8%)

regimes2.3s (24%)

simplify4.0ms (0%)

end1.0ms (0%)

sample3.5s (36.8%)

Profiling