Details

analyze677.0ms (6.3%)

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
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
25%	68.6%	6.4%	7
31.2%	62.4%	6.4%	8
36.7%	54.6%	8.7%	9
38.2%	48.4%	13.4%	10
42.7%	42.3%	15%	11
47.8%	34.1%	18.1%	12
49.1%	30.3%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample2.4s (22.7%)

Results

758.0ms	5369×	body	128	valid
682.0ms	1196×	body	2048	valid
311.0ms	718×	body	1024	valid
275.0ms	393×	body	4096	valid
142.0ms	1069×	body	128	invalid
134.0ms	379×	body	512	valid
49.0ms	201×	body	256	valid

Compiler

Compiled 62 to 44 computations (29% saved)

simplify349.0ms (3.2%)

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

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

28.3b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	28.4b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	28.4b	(.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)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series206.0ms (1.9%)

Counts

4 → 96

Calls

4 calls:

95.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
54.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
43.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
13.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

rewrite30.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64`
11×	`add-sqr-sqrt_binary64`
10×	`fma-def_binary64`
10×	`add-cube-cbrt_binary64`
10×	`add-log-exp_binary64`

Counts

4 → 90

Calls

4 calls:

9.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
8.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

simplify127.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

683×	`fma-neg_binary64`
319×	`cancel-sign-sub-inv_binary64`
242×	`distribute-rgt-neg-in_binary64`
156×	`associate-r_binary64`
151×	`distribute-rgt-neg-out_binary64`

Counts

186 → 207

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	259	4256
1	716	3931
2	2528	3797
3	4700	3771
4	5026	3771

prune182.0ms (1.7%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	194	13	207
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	195	14	209

Error

4.7b

Counts

209 → 14

Alt Table

Status	Error	Program
	32.6b	(/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)))) (*.f64 3 a))
	43.4b	(/.f64 (.f64 -2 b) (.f64 3 a))
	50.3b	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 3 a))
	43.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (/.f64 (fma.f64 (.f64 (.f64 c a) (.f64 c a)) -9 (pow.f64 b 4)) (fma.f64 3 (.f64 c a) (.f64 b b))))) (.f64 3 a))
	27.9b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) 3) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) b) b)) a))
	35.9b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (*.f64 3 a))
	43.5b	(*.f64 -2/3 (/.f64 b a))
	28.4b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	44.1b	(-.f64 (+.f64 (.f64 1/3 (/.f64 (sqrt.f64 (neg.f64 (.f64 3 (.f64 c a)))) a)) (.f64 1/6 (/.f64 (pow.f64 b 2) (.f64 (sqrt.f64 (neg.f64 (.f64 3 (.f64 c a)))) a)))) (.f64 1/3 (/.f64 b a)))
	27.8b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) a)))
	28.4b	(/.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))) 3) a)
	43.7b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
▶	27.7b	(/.f64 (-.f64 b (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)) (*.f64 a -3))
	44.5b	(*.f64 -1/2 (/.f64 c b))

Compiler

Compiled 5887 to 3492 computations (40.7% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 c (.f64 a -3))
✓	0.2b	(/.f64 (-.f64 b (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)) (*.f64 a -3))
✓	0.5b	(-.f64 b (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))
✓	11.7b	(sqrt.f64 (.f64 c (.f64 a -3)))

series516.0ms (4.8%)

Counts

4 → 48

Calls

4 calls:

305.0ms	(/.f64 (-.f64 b (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)) (*.f64 a -3))
186.0ms	(-.f64 b (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))
21.0ms	(sqrt.f64 (.f64 c (.f64 a -3)))
5.0ms	(.f64 c (.f64 a -3))

rewrite22.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`*-un-lft-identity_binary64`
21×	`add-sqr-sqrt_binary64`
15×	`add-cube-cbrt_binary64`
15×	`pow1_binary64`
14×	`add-cbrt-cube_binary64`

Counts

4 → 94

Calls

4 calls:

7.0ms	(/.f64 (-.f64 b (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)) (*.f64 a -3))
4.0ms	(.f64 c (.f64 a -3))
3.0ms	(-.f64 b (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))
3.0ms	(sqrt.f64 (.f64 c (.f64 a -3)))

simplify104.0ms (1%)

Algorithm

1×	egg-herbie

Rules

514×	`fma-def_binary64`
342×	`associate-*l/_binary64`
283×	`fma-neg_binary64`
230×	`cancel-sign-sub-inv_binary64`
163×	`associate-r_binary64`

Counts

142 → 188

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	245	3322
1	610	2818
2	2219	2647
3	4967	2641
4	4968	2641

prune172.0ms (1.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	182	6	188
Fresh	7	6	13
Picked	1	0	1
Done	0	0	0
Total	190	12	202

Error

2.6b

Counts

202 → 12

Alt Table

Status	Error	Program
	28.4b	(/.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))) 3) a)
	44.1b	(-.f64 (+.f64 (.f64 1/3 (/.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) a)) (.f64 1/6 (/.f64 (pow.f64 b 2) (.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) a)))) (.f64 1/3 (/.f64 b a)))
	27.9b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) 3) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) b) b)) a))
▶	27.8b	(/.f64 (/.f64 (-.f64 b (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b)) a) -3)
	34.4b	(/.f64 (-.f64 b (hypot.f64 (cbrt.f64 (.f64 (.f64 (sqrt.f64 (.f64 c (.f64 a -3))) (sqrt.f64 (.f64 c (.f64 a -3)))) (sqrt.f64 (.f64 c (.f64 a -3))))) b)) (*.f64 a -3))
	44.6b	(.f64 1/6 (/.f64 (.f64 -3 c) b))
	43.4b	(/.f64 (.f64 -2 b) (.f64 3 a))
	43.7b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
	50.6b	(/.f64 (/.f64 3/2 (/.f64 b (.f64 c a))) (.f64 a -3))
	28.4b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	44.5b	(*.f64 -1/2 (/.f64 c b))
	42.7b	(/.f64 (-.f64 b (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -3))) b)) (*.f64 a -3))

Compiler

Compiled 5392 to 3510 computations (34.9% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (/.f64 (-.f64 b (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b)) a) -3)
✓	0.2b	(.f64 -3 (.f64 c a))
✓	0.5b	(-.f64 b (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b))
✓	11.7b	(sqrt.f64 (.f64 -3 (.f64 c a)))

series512.0ms (4.7%)

Counts

4 → 24

Calls

4 calls:

299.0ms	(/.f64 (/.f64 (-.f64 b (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b)) a) -3)
186.0ms	(-.f64 b (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b))
21.0ms	(sqrt.f64 (.f64 -3 (.f64 c a)))
5.0ms	(.f64 -3 (.f64 c a))

rewrite37.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

117×	`times-frac_binary64`
95×	`*-un-lft-identity_binary64`
95×	`add-sqr-sqrt_binary64`
69×	`add-cube-cbrt_binary64`
19×	`associate-/l*_binary64`

Counts

4 → 161

Calls

4 calls:

8.0ms	(/.f64 (/.f64 (-.f64 b (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b)) a) -3)
4.0ms	(.f64 -3 (.f64 c a))
3.0ms	(-.f64 b (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b))
3.0ms	(sqrt.f64 (.f64 -3 (.f64 c a)))

simplify167.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

853×	`fma-def_binary64`
256×	`fma-neg_binary64`
221×	`cancel-sign-sub-inv_binary64`
198×	`associate-/l/_binary64`
173×	`div-sub_binary64`

Counts

185 → 227

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	370	6070
1	876	5536
2	2718	5395
3	4513	5392
4	4888	5392

prune321.0ms (3%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	225	2	227
Fresh	1	10	11
Picked	1	0	1
Done	0	0	0
Total	227	12	239

Error

2.6b

Counts

239 → 12

Alt Table

Status	Error	Program
	43.4b	(/.f64 (.f64 -2 b) (.f64 3 a))
	28.7b	(-.f64 (/.f64 (/.f64 b a) -3) (/.f64 (/.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) a) -3))
	43.4b	(/.f64 (/.f64 (*.f64 2 b) a) -3)
	34.4b	(/.f64 (-.f64 b (hypot.f64 (cbrt.f64 (.f64 (.f64 (sqrt.f64 (.f64 c (.f64 a -3))) (sqrt.f64 (.f64 c (.f64 a -3)))) (sqrt.f64 (.f64 c (.f64 a -3))))) b)) (*.f64 a -3))
	44.6b	(.f64 1/6 (/.f64 (.f64 -3 c) b))
	28.4b	(/.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))) 3) a)
▶	27.9b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) 3) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) b) b)) a))
	43.7b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
	50.6b	(/.f64 (/.f64 3/2 (/.f64 b (.f64 c a))) (.f64 a -3))
	28.4b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	44.5b	(*.f64 -1/2 (/.f64 c b))
	42.7b	(/.f64 (-.f64 b (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -3))) b)) (*.f64 a -3))

Compiler

Compiled 7177 to 4388 computations (38.9% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) 3) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) b) b)) a))
	0.2b	(.f64 c (.f64 a -3))
✓	0.5b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)
	11.7b	(sqrt.f64 (.f64 c (.f64 a -3)))

series563.0ms (5.2%)

Counts

2 → 24

Calls

2 calls:

375.0ms

(*.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -3))) b) b)) 3) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -3))) b) b)) a))

188.0ms

(-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -3))) b) b)

rewrite45.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

84×	`add-sqr-sqrt_binary64`
60×	`times-frac_binary64`
54×	`*-un-lft-identity_binary64`
40×	`add-cube-cbrt_binary64`
36×	`sqrt-prod_binary64`

Counts

2 → 117

Calls

2 calls:

22.0ms

(*.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -3))) b) b)) 3) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -3))) b) b)) a))

3.0ms

(-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -3))) b) b)

simplify233.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

512×	`fma-def_binary64`
319×	`associate-/l/_binary64`
315×	`fma-neg_binary64`
269×	`cancel-sign-sub-inv_binary64`
171×	`associate-*r/_binary64`

Counts

141 → 209

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	298	5715
1	786	4990
2	2580	4741
3	4634	4543
4	4947	4543
5	4999	4543
6	5000	4543
7	4868	4543

prune370.0ms (3.4%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	369	1	370
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	369	13	382

Error

2.6b

Counts

382 → 13

Alt Table

Status	Error	Program
	43.4b	(/.f64 (.f64 -2 b) (.f64 3 a))
	28.7b	(-.f64 (/.f64 (/.f64 b a) -3) (/.f64 (/.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) a) -3))
	28.4b	(/.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))) 3) a)
	49.0b	(exp.f64 (+.f64 (log.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) 3)) (-.f64 (log.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (log.f64 a))))
	43.4b	(/.f64 (/.f64 (*.f64 2 b) a) -3)
	34.4b	(/.f64 (-.f64 b (hypot.f64 (cbrt.f64 (.f64 (.f64 (sqrt.f64 (.f64 c (.f64 a -3))) (sqrt.f64 (.f64 c (.f64 a -3)))) (sqrt.f64 (.f64 c (.f64 a -3))))) b)) (*.f64 a -3))
	44.6b	(.f64 1/6 (/.f64 (.f64 -3 c) b))
✓	27.9b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) 3) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) b) b)) a))
	43.7b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
	50.6b	(/.f64 (/.f64 3/2 (/.f64 b (.f64 c a))) (.f64 a -3))
	28.4b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	44.5b	(*.f64 -1/2 (/.f64 c b))
	42.7b	(/.f64 (-.f64 b (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -3))) b)) (*.f64 a -3))

Compiler

Compiled 14503 to 9447 computations (34.9% saved)

regimes3.4s (31.5%)

Accuracy

Total 7.4b remaining (71.9%)

Threshold costs 0b (0%)

Counts

202 → 3

Compiler

Compiled 23160 to 16391 computations (29.2% saved)

bsearch74.0ms (0.7%)

Steps

Iters	Range		Point
8	2.7066532878017773e-99	1.714177121312501e-96	7.694942576818603e-97
8	-5.465224382117127e+111	-3.579510183851847e+107	-4.899534402647273e+110

Compiler

Compiled 4 to 3 computations (25% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
2×	`+-commutative_binary64`
1×	`sub-neg_binary64`
1×	`unsub-neg_binary64`
1×	`neg-sub0_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	27	53
1	37	51
2	40	51
3	41	51
4	41	51

end178.0ms (1.7%)

Compiler: Compiled 314 to 224 computations (28.7% saved)

Details

analyze677.0ms (6.3%)

sample2.4s (22.7%)

simplify349.0ms (3.2%)

prune4.0ms (0%)

localize10.0ms (0.1%)

series206.0ms (1.9%)

rewrite30.0ms (0.3%)

simplify127.0ms (1.2%)

prune182.0ms (1.7%)

localize8.0ms (0.1%)

series516.0ms (4.8%)

rewrite22.0ms (0.2%)

simplify104.0ms (1%)

prune172.0ms (1.6%)

localize9.0ms (0.1%)

series512.0ms (4.7%)

rewrite37.0ms (0.3%)

simplify167.0ms (1.5%)

prune321.0ms (3%)

localize11.0ms (0.1%)

series563.0ms (5.2%)

rewrite45.0ms (0.4%)

simplify233.0ms (2.2%)

prune370.0ms (3.4%)

regimes3.4s (31.5%)

bsearch74.0ms (0.7%)

simplify3.0ms (0%)

end178.0ms (1.7%)

Profiling