Details

analyze655.0ms (6.2%)

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)

sample4.5s (42.6%)

Results

2.0s	3945×	body	256	valid
1.1s	1506×	body	512	valid
1.1s	2805×	body	128	valid
218.0ms	838×	body	128	invalid

Compiler

Compiled 106 to 76 computations (28.3% saved)

simplify364.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

1968×	`fma-neg_binary64`
1363×	`fma-def_binary64`
898×	`div-sub_binary64`
743×	`associate-/l*_binary64`
567×	`times-frac_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	26
1	30	22
2	64	22
3	135	22
4	201	22
5	335	22
6	554	22
7	929	22
8	1477	22
9	2115	22
10	2599	22
11	2554	22
12	2602	22
13	2671	22
14	3117	22
15	2327	22
16	2375	22
17	2383	22
18	2389	22
19	2395	22
20	2397	22
21	2397	22
22	2585	22
23	2685	22
24	2619	22
25	2631	22
26	2661	22
27	2677	22
28	2707	22
29	2707	22
30	2751	22
31	2851	22
32	2827	22
33	2827	22
34	2638	22

prune7.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

52.8b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	52.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	52.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
✓	0.2b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
✓	0.3b	(.f64 (.f64 3 a) c)
✓	24.0b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))

series293.0ms (2.8%)

Counts

4 → 100

Calls

4 calls:

163.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
100.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
21.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
9.0ms	(.f64 (.f64 3 a) c)

rewrite171.0ms (1.6%)

Algorithm

2×	batch-egg-rewrite

Rules

725×	`fma-def_binary64`
366×	`fma-neg_binary64`
285×	`egg-rr`
248×	`expm1-udef_binary64`
248×	`log1p-udef_binary64`

Counts

4 → 285

Calls

4 calls:

157.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
157.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
157.0ms	(.f64 (.f64 3 a) c)
157.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	66
1	297	56
2	3769	56
3	5480	56
0	0	0
1	0	0

simplify126.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

744×	`times-frac_binary64`
459×	`associate-/l*_binary64`
396×	`associate-/r*_binary64`
333×	`fma-def_binary64`
308×	`fma-neg_binary64`

Counts

385 → 338

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	119	1940
1	368	1868
2	1240	1839
3	4908	1833
4	5068	1833

prune419.0ms (4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	334	4	338
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	334	6	340

Error

0.2b

Counts

340 → 6

Alt Table

Status	Error	Program
	52.1b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
	52.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	52.6b	(/.f64 (/.f64 (-.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))) (.f64 3 a))
✓	52.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
▶	1.8b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) -9/16 (fma.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -135/128 (fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (.f64 -1/2 (/.f64 c b)))))
	2.3b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))

Compiler

Compiled 10144 to 5547 computations (45.3% saved)

localize52.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series505.0ms (4.8%)

Counts

4 → 132

Calls

4 calls:

185.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
162.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
122.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
36.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

rewrite115.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

224×	`add-sqr-sqrt_binary64`
220×	`log1p-expm1-u_binary64`
220×	`expm1-log1p-u_binary64`
213×	`add-cbrt-cube_binary64`
212×	`add-log-exp_binary64`

Counts

4 → 123

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	55
1	487	55
2	4934	55
3	5057	55
0	0	0
1	0	0

simplify227.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

735×	`associate-l_binary64`
679×	`associate-/r*_binary64`
308×	`associate-/l/_binary64`
297×	`associate-/r/_binary64`
285×	`unswap-sqr_binary64`

Counts

255 → 129

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	1860
1	65	1860
2	212	1860
3	1010	1860
4	4138	1860
5	4230	1860
6	4416	1860
7	4705	1860
8	4974	1860
9	4904	1860

prune367.0ms (3.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	129	6	135

Error

0.2b

Counts

135 → 6

Alt Table

Status	Error	Program
	52.1b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
	52.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	52.6b	(/.f64 (/.f64 (-.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))) (.f64 3 a))
✓	52.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
✓	1.8b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) -9/16 (fma.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -135/128 (fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (.f64 -1/2 (/.f64 c b)))))
▶	2.3b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))

Compiler

Compiled 6286 to 3856 computations (38.7% saved)

localize54.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
✓	0.4b	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
✓	0.4b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))
✓	0.5b	(.f64 (.f64 c a) (*.f64 c a))

series349.0ms (3.3%)

Counts

4 → 96

Calls

4 calls:

153.0ms	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))
137.0ms	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
37.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
21.0ms	(.f64 (.f64 c a) (*.f64 c a))

rewrite83.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

356×	`log1p-expm1-u_binary64`
356×	`expm1-log1p-u_binary64`
343×	`add-cbrt-cube_binary64`
340×	`add-log-exp_binary64`
339×	`add-exp-log_binary64`

Counts

4 → 65

Calls

4 calls:

80.0ms	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
80.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
80.0ms	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))
80.0ms	(.f64 (.f64 c a) (*.f64 c a))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	93
1	775	93
2	5239	93
0	0	0
1	0	0

simplify171.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

953×	`fma-neg_binary64`
399×	`distribute-rgt-neg-in_binary64`
323×	`unswap-sqr_binary64`
280×	`times-frac_binary64`
262×	`distribute-neg-frac_binary64`

Counts

161 → 82

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	50	2262
1	155	2262
2	543	2208
3	2733	2208
4	4814	2208
5	4997	2208

prune218.0ms (2.1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	82	6	88

Error

0.2b

Counts

88 → 6

Alt Table

Status	Error	Program
▶	52.1b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
	52.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	52.6b	(/.f64 (/.f64 (-.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))) (.f64 3 a))
✓	52.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
✓	1.8b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) -9/16 (fma.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -135/128 (fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (.f64 -1/2 (/.f64 c b)))))
✓	2.3b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))

Compiler

Compiled 4215 to 2736 computations (35.1% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))
✓	0.1b	(fma.f64 -3 (.f64 a c) (.f64 b b))
✓	0.3b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
✓	52.4b	(fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))

series376.0ms (3.6%)

Counts

4 → 78

Calls

4 calls:

166.0ms	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
110.0ms	(fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))
79.0ms	(sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))
20.0ms	(fma.f64 -3 (.f64 a c) (.f64 b b))

rewrite145.0ms (1.4%)

Algorithm

2×	batch-egg-rewrite

Rules

352×	`prod-diff_binary64`
244×	`expm1-udef_binary64`
244×	`log1p-udef_binary64`
224×	`log-pow_binary64`
149×	`add-sqr-sqrt_binary64`

Counts

4 → 125

Calls

4 calls:

139.0ms	(sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))
139.0ms	(fma.f64 -3 (.f64 a c) (.f64 b b))
139.0ms	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
139.0ms	(fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	76
1	308	62
2	3321	59
3	4928	59
4	4953	59
0	0	0
1	0	0

simplify94.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

657×	`times-frac_binary64`
429×	`associate-/l*_binary64`
362×	`associate-/r*_binary64`
349×	`associate-l_binary64`
274×	`fma-def_binary64`

Counts

203 → 173

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	109	1595
1	326	1537
2	1094	1509
3	5104	1509

prune174.0ms (1.7%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	171	2	173
Fresh	0	2	2
Picked	1	0	1
Done	0	3	3
Total	172	7	179

Error

0.2b

Counts

179 → 7

Alt Table

Status	Error	Program
	52.2b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (cbrt.f64 (pow.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) 3)))) (*.f64 3 a))
	52.6b	(/.f64 (/.f64 (-.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))) (.f64 3 a))
	52.4b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))) 3))) (*.f64 3 a))
✓	52.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
✓	1.8b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) -9/16 (fma.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -135/128 (fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (.f64 -1/2 (/.f64 c b)))))
✓	2.3b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))
	52.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))

Compiler

Compiled 4309 to 2429 computations (43.6% saved)

regimes669.0ms (6.4%)

Accuracy

Total 1.3b remaining (86%)

Threshold costs 0b (0%)

Counts

53 → 1

Compiler

Compiled 9236 to 6386 computations (30.9% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	61
1	36	61
2	36	61

end354.0ms (3.4%)

Compiler: Compiled 308 to 209 computations (32.1% saved)

Details

analyze655.0ms (6.2%)

sample4.5s (42.6%)

simplify364.0ms (3.5%)

prune7.0ms (0.1%)

localize20.0ms (0.2%)

series293.0ms (2.8%)

rewrite171.0ms (1.6%)

simplify126.0ms (1.2%)

prune419.0ms (4%)

localize52.0ms (0.5%)

series505.0ms (4.8%)

rewrite115.0ms (1.1%)

simplify227.0ms (2.2%)

prune367.0ms (3.5%)

localize54.0ms (0.5%)

series349.0ms (3.3%)

rewrite83.0ms (0.8%)

simplify171.0ms (1.6%)

prune218.0ms (2.1%)

localize23.0ms (0.2%)

series376.0ms (3.6%)

rewrite145.0ms (1.4%)

simplify94.0ms (0.9%)

prune174.0ms (1.7%)

regimes669.0ms (6.4%)

simplify5.0ms (0%)

end354.0ms (3.4%)

Profiling