Details

analyze696.0ms (3.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.6s (12%)

Results

770.0ms	5328×	body	128	valid
693.0ms	1171×	body	2048	valid
347.0ms	756×	body	1024	valid
305.0ms	430×	body	4096	valid
164.0ms	1104×	body	128	invalid
130.0ms	359×	body	512	valid
51.0ms	212×	body	256	valid

Compiler

Compiled 62 to 44 computations (29% saved)

simplify357.0ms (1.7%)

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

33.2b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 3 a) c)
✓	0.6b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
✓	0.7b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
✓	22.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

series115.0ms (0.5%)

Counts

4 → 100

Calls

4 calls:

55.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
44.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
10.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
5.0ms	(.f64 (.f64 3 a) c)

rewrite22.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`*-un-lft-identity_binary64`
10×	`fma-def_binary64`
10×	`add-sqr-sqrt_binary64`
10×	`add-log-exp_binary64`
10×	`pow1_binary64`

Counts

4 → 80

Calls

4 calls:

7.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
4.0ms	(.f64 (.f64 3 a) c)
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
3.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

simplify118.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

677×	`fma-def_binary64`
621×	`fma-neg_binary64`
305×	`cancel-sign-sub-inv_binary64`
228×	`distribute-rgt-neg-in_binary64`
197×	`distribute-lft-neg-in_binary64`

Counts

180 → 168

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	201	2955
1	523	2836
2	1806	2732
3	4518	2728
4	4998	2728
5	4919	2728

prune150.0ms (0.7%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	157	11	168
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	158	12	170

Error

9.5b

Counts

170 → 12

Alt Table

Status	Error	Program
	33.4b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	44.9b	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 3 a))
	34.1b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (*.f64 3 a))
	34.6b	(/.f64 (+.f64 (neg.f64 b) (.f64 (.f64 (cbrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)) (cbrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (cbrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)))) (*.f64 3 a))
	52.7b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	57.0b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a))
	44.6b	(/.f64 (/.f64 (-.f64 (pow.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) 3) (pow.f64 b 3)) (fma.f64 b b (fma.f64 b (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) (fma.f64 (.f64 c a) -3 (.f64 b b))))) (*.f64 3 a))
	45.3b	(/.f64 (.f64 -2 b) (.f64 3 a))
	33.9b	(/.f64 (+.f64 (neg.f64 b) (.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)) (sqrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)))) (.f64 3 a))
	40.1b	(/.f64 (cbrt.f64 (.f64 (.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))))) (.f64 3 a))
▶	33.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)) 0))) (*.f64 3 a))
	35.1b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (*.f64 3 a))

Compiler

Compiled 4736 to 2782 computations (41.3% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)) 0))) (*.f64 3 a))
✓	0.7b	(fma.f64 (.f64 c a) -3 (.f64 b b))
✓	0.7b	(+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)) 0)))
✓	22.4b	(sqrt.f64 (+.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)) 0))

series194.0ms (0.9%)

Counts

4 → 96

Calls

4 calls:

86.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)) 0))) (*.f64 3 a))
53.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)) 0)))
44.0ms	(sqrt.f64 (+.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)) 0))
11.0ms	(fma.f64 (.f64 c a) -3 (.f64 b b))

rewrite26.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`*-un-lft-identity_binary64`
13×	`add-sqr-sqrt_binary64`
10×	`fma-def_binary64`
10×	`add-cube-cbrt_binary64`
9×	`add-cbrt-cube_binary64`

Counts

4 → 86

Calls

4 calls:

9.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)) 0))) (*.f64 3 a))
7.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)) 0)))
4.0ms	(sqrt.f64 (+.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)) 0))
0.0ms	(fma.f64 (.f64 c a) -3 (.f64 b b))

simplify118.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

665×	`fma-def_binary64`
383×	`fma-neg_binary64`
359×	`div-sub_binary64`
247×	`distribute-rgt-in_binary64`
225×	`cancel-sign-sub-inv_binary64`

Counts

182 → 198

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	252	4165
1	671	3809
2	2187	3692
3	4520	3683
4	5273	3683

prune154.0ms (0.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	192	6	198
Fresh	8	3	11
Picked	0	1	1
Done	0	0	0
Total	200	10	210

Error

5.3b

Counts

210 → 10

Alt Table

Status	Error	Program
▶	32.3b	(/.f64 (/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))) b) 3) a)
	38.4b	(/.f64 (+.f64 (neg.f64 b) (/.f64 (fma.f64 b b (.f64 c (.f64 a -3))) (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))))) (*.f64 3 a))
	45.3b	(/.f64 (.f64 -2 b) (.f64 3 a))
	33.4b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	45.5b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
	34.1b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (*.f64 3 a))
	40.5b	(*.f64 -1/2 (/.f64 c b))
	32.7b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))) b) (.f64 a 3))) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))) b) (.f64 a 3)))) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))) b) (*.f64 a 3))))
	43.0b	(.f64 1/3 (/.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) a))
✓	33.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)) 0))) (*.f64 3 a))

Compiler

Compiled 5608 to 3295 computations (41.2% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

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

series651.0ms (3.1%)

Counts

4 → 48

Calls

4 calls:

411.0ms	(/.f64 (/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))) b) 3) a)
213.0ms	(-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))) b)
21.0ms	(sqrt.f64 (.f64 c (.f64 a -3)))
6.0ms	(.f64 c (.f64 a -3))

rewrite62.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:

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

simplify171.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

521×	`fma-def_binary64`
330×	`cancel-sign-sub-inv_binary64`
290×	`div-sub_binary64`
222×	`fma-neg_binary64`
199×	`associate-/l/_binary64`

Counts

209 → 292

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	378	6212
1	888	5567
2	3012	5485
3	4690	5484
4	4987	5484

prune255.0ms (1.2%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	286	6	292
Fresh	5	3	8
Picked	0	1	1
Done	0	1	1
Total	291	11	302

Error

2.5b

Counts

302 → 11

Alt Table

Status	Error	Program
▶	32.4b	(/.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))) b)) 1) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))) b)) 3)))
	32.4b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 c a)))) b)) (.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 c a)))) b)) (cbrt.f64 3)) a))
	45.5b	(fma.f64 (/.f64 (.f64 -3 c) b) -1/6 (.f64 (/.f64 b a) -2/3))
	34.1b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (*.f64 3 a))
	46.8b	(/.f64 (/.f64 (-.f64 (hypot.f64 b (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -3)))) b) 3) a)
	33.4b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	40.5b	(*.f64 -1/2 (/.f64 c b))
	40.6b	(.f64 1/6 (/.f64 (.f64 -3 c) b))
✓	33.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)) 0))) (*.f64 3 a))
	45.3b	(/.f64 (/.f64 (*.f64 -2 b) 3) a)
✓	32.3b	(/.f64 (/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))) b) 3) a)

Compiler

Compiled 8672 to 5508 computations (36.5% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series295.0ms (1.4%)

Counts

1 → 12

Calls

1 calls:

294.0ms

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

rewrite1.6s (7.4%)

Algorithm

1×	rewrite-expression-head

Rules

9176×	`times-frac_binary64`
4559×	`*-un-lft-identity_binary64`
4559×	`add-sqr-sqrt_binary64`
3497×	`add-cube-cbrt_binary64`
2655×	`sqrt-prod_binary64`

Counts

1 → 2638

Calls

1 calls:

63.0ms

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

simplify4.5s (21.3%)

Algorithm

1×	egg-herbie

Rules

1015×	`associate-/r/_binary64`
811×	`times-frac_binary64`
790×	`*-commutative_binary64`
580×	`associate-/l/_binary64`
379×	`associate-r_binary64`

Counts

2650 → 2137

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	1283	224751
1	2741	221679
2	4742	220883
3	4909	220883

prune3.1s (14.8%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	2360	1	2361
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	2360	12	2372

Error

2.5b

Counts

2372 → 12

Alt Table

Status	Error	Program
✓	32.4b	(/.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))) b)) 1) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))) b)) 3)))
	32.4b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 c a)))) b)) (.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 c a)))) b)) (cbrt.f64 3)) a))
	45.5b	(fma.f64 (/.f64 (.f64 -3 c) b) -1/6 (.f64 (/.f64 b a) -2/3))
	34.1b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (*.f64 3 a))
	45.3b	(/.f64 (/.f64 (*.f64 -2 b) 3) a)
	48.2b	(exp.f64 (-.f64 (-.f64 (log.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))) b))) 0) (log.f64 (/.f64 a (/.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))) b)) 3)))))
	46.8b	(/.f64 (/.f64 (-.f64 (hypot.f64 b (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -3)))) b) 3) a)
	33.4b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	40.5b	(*.f64 -1/2 (/.f64 c b))
	40.6b	(.f64 1/6 (/.f64 (.f64 -3 c) b))
✓	33.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)) 0))) (*.f64 3 a))
✓	32.3b	(/.f64 (/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))) b) 3) a)

Compiler

Compiled 146811 to 101109 computations (31.1% saved)

regimes5.8s (27.1%)

Accuracy

Total 7.1b remaining (72%)

Threshold costs 0b (0%)

Counts

221 → 3

Compiler

Compiled 28885 to 20378 computations (29.5% saved)

bsearch75.0ms (0.4%)

Steps

Iters	Range		Point
7	5.371396339136554e-69	1.805997498602944e-67	5.55660938268195e-68
7	-6.965113512565541e+153	-2.875971793317923e+152	-5.915145320276507e+152

Compiler

Compiled 4 to 3 computations (25% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary64`
7×	`+-commutative_binary64`
6×	`sub-neg_binary64`
5×	`neg-sub0_binary64`
5×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	30	55
1	46	53
2	64	53
3	73	53
4	79	53
5	81	53
6	78	53

end170.0ms (0.8%)

Compiler: Compiled 318 to 229 computations (28% saved)

Details

analyze696.0ms (3.3%)

sample2.6s (12%)

simplify357.0ms (1.7%)

prune4.0ms (0%)

localize10.0ms (0%)

series115.0ms (0.5%)

rewrite22.0ms (0.1%)

simplify118.0ms (0.6%)

prune150.0ms (0.7%)

localize13.0ms (0.1%)

series194.0ms (0.9%)

rewrite26.0ms (0.1%)

simplify118.0ms (0.6%)

prune154.0ms (0.7%)

localize10.0ms (0%)

series651.0ms (3.1%)

rewrite62.0ms (0.3%)

simplify171.0ms (0.8%)

prune255.0ms (1.2%)

localize14.0ms (0.1%)

series295.0ms (1.4%)

rewrite1.6s (7.4%)

simplify4.5s (21.3%)

prune3.1s (14.8%)

regimes5.8s (27.1%)

bsearch75.0ms (0.4%)

simplify4.0ms (0%)

end170.0ms (0.8%)

Profiling