Details

analyze4.7s (19.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

Compiler

Compiled 39 to 24 computations (38.5% saved)

sample3.7s (15.6%)

Results

2.1s	11259×	body	128	invalid
1.5s	8256×	body	128	valid

Compiler

Compiled 116 to 71 computations (38.8% saved)

simplify29.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

486×	`fma-neg_binary64`
408×	`sub-neg_binary64`
353×	`unsub-neg_binary64`
284×	`fma-def_binary64`
258×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	24	43
1	59	41
2	155	41
3	548	39
4	1926	39
5	4455	39

Stop Event

1×	node limit

Counts

1 → 2

prune5.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

15.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	15.0b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (.f64 a i)) (.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))))

Compiler

Compiled 137 to 74 computations (46% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 y z) (.f64 t a))
✓	4.9b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (.f64 a i)) (.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))))
✓	5.8b	(fma.f64 b (fma.f64 z (neg.f64 c) (.f64 a i)) (.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c))))
✓	6.7b	(.f64 j (fma.f64 i (neg.f64 y) (.f64 t c)))

series181.0ms (0.8%)

Counts

4 → 312

Calls

4 calls:

98.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (.f64 a i)) (.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))))
53.0ms	(fma.f64 b (fma.f64 z (neg.f64 c) (.f64 a i)) (.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c))))
19.0ms	(.f64 j (fma.f64 i (neg.f64 y) (.f64 t c)))
11.0ms	(-.f64 (.f64 y z) (.f64 t a))

rewrite45.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

238×	`add-sqr-sqrt_binary64`
219×	`log1p-expm1-u_binary64`
219×	`expm1-log1p-u_binary64`
218×	`add-cbrt-cube_binary64`
216×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	22	88
1	462	78

Stop Event

1×	node limit

Counts

4 → 105

Calls

4 calls:

42.0ms	(-.f64 (.f64 y z) (.f64 t a))
42.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (.f64 a i)) (.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))))
42.0ms	(fma.f64 b (fma.f64 z (neg.f64 c) (.f64 a i)) (.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c))))
42.0ms	(.f64 j (fma.f64 i (neg.f64 y) (.f64 t c)))

simplify129.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

870×	`fma-neg_binary64`
391×	`sub-neg_binary64`
371×	`associate--l+_binary64`
329×	`cancel-sign-sub-inv_binary64`
199×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	171	7694
1	674	7597
2	1541	7516
3	2950	7105

Stop Event

1×	node limit

Counts

417 → 205

prune204.0ms (0.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	196	9	205
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	196	10	206

Error

0.0b

Counts

206 → 10

Alt Table

Status	Error	Program
✓	15.0b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (.f64 a i)) (.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))))
	21.3b	(fma.f64 x (+.f64 (fma.f64 y z (neg.f64 (.f64 (cbrt.f64 (.f64 t a)) (cbrt.f64 (pow.f64 (.f64 t a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 t a))) (cbrt.f64 (pow.f64 (.f64 t a) 2)) (.f64 (cbrt.f64 (.f64 t a)) (cbrt.f64 (pow.f64 (.f64 t a) 2))))) (fma.f64 b (fma.f64 z (neg.f64 c) (.f64 a i)) (.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))))
	44.4b	(.f64 (-.f64 (.f64 y x) (*.f64 c b)) z)
	45.1b	(pow.f64 (sqrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (fma.f64 b (fma.f64 z c (.f64 i a)) (.f64 j (fma.f64 i y (*.f64 t c)))))) 2)
	12.0b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (+.f64 (.f64 i (.f64 a b)) (.f64 c (.f64 t j))) (+.f64 (.f64 i (.f64 y j)) (.f64 c (.f64 z b)))))
	29.5b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 i (-.f64 (.f64 a b) (*.f64 j y))))
▶	11.9b	(+.f64 (.f64 j (-.f64 (.f64 c t) (.f64 i y))) (fma.f64 z (-.f64 (.f64 y x) (.f64 c b)) (.f64 a (-.f64 (.f64 i b) (.f64 t x)))))
	13.1b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 b z)) (.f64 a (.f64 t x)))))
	45.8b	(.f64 t (-.f64 (.f64 c j) (*.f64 a x)))
	32.8b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (pow.f64 (cbrt.f64 (fma.f64 b (fma.f64 z c (.f64 i a)) (.f64 j (fma.f64 i y (*.f64 t c))))) 3))

Compiler

Compiled 6731 to 1293 computations (80.8% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 y x) (.f64 c b))
✓	4.1b	(fma.f64 z (-.f64 (.f64 y x) (.f64 c b)) (.f64 a (-.f64 (.f64 i b) (*.f64 t x))))
✓	4.7b	(.f64 a (-.f64 (.f64 i b) (*.f64 t x)))
✓	6.7b	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))

series100.0ms (0.4%)

Counts

4 → 220

Calls

4 calls:

53.0ms	(fma.f64 z (-.f64 (.f64 y x) (.f64 c b)) (.f64 a (-.f64 (.f64 i b) (*.f64 t x))))
20.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
19.0ms	(.f64 a (-.f64 (.f64 i b) (*.f64 t x)))
8.0ms	(-.f64 (.f64 y x) (.f64 c b))

rewrite39.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

255×	`add-sqr-sqrt_binary64`
240×	`log1p-expm1-u_binary64`
240×	`expm1-log1p-u_binary64`
239×	`add-cbrt-cube_binary64`
234×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	62
1	499	62

Stop Event

1×	node limit

Counts

4 → 88

Calls

4 calls:

37.0ms	(-.f64 (.f64 y x) (.f64 c b))
37.0ms	(fma.f64 z (-.f64 (.f64 y x) (.f64 c b)) (.f64 a (-.f64 (.f64 i b) (*.f64 t x))))
37.0ms	(.f64 a (-.f64 (.f64 i b) (*.f64 t x)))
37.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))

simplify240.0ms (1%)

Algorithm

1×	egg-herbie

Rules

1699×	`fma-neg_binary64`
805×	`fma-def_binary64`
339×	`sub-neg_binary64`
262×	`unsub-neg_binary64`
235×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	87	3877
1	296	3788
2	702	3716
3	1542	3572
4	3002	3572
5	3980	3572
6	4382	3572
7	4599	3572
8	4675	3572
9	4687	3572
10	4689	3572
11	4799	3572
12	4843	3572
13	4843	3572

Stop Event

1×	node limit

Counts

308 → 140

prune161.0ms (0.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	137	3	140
Fresh	4	4	8
Picked	1	0	1
Done	0	1	1
Total	142	8	150

Error

0.0b

Counts

150 → 8

Alt Table

Status	Error	Program
	45.8b	(.f64 t (-.f64 (.f64 c j) (*.f64 a x)))
	21.5b	(+.f64 (.f64 j (-.f64 (.f64 c t) (.f64 i y))) (fma.f64 z (-.f64 (.f64 y x) (.f64 c b)) (.f64 t (*.f64 x (neg.f64 a)))))
	45.1b	(pow.f64 (sqrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (fma.f64 b (fma.f64 z c (.f64 i a)) (.f64 j (fma.f64 i y (*.f64 t c)))))) 2)
▶	12.0b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (+.f64 (.f64 i (.f64 a b)) (.f64 c (.f64 t j))) (+.f64 (.f64 i (.f64 y j)) (.f64 c (.f64 z b)))))
	12.5b	(+.f64 (.f64 j (-.f64 (.f64 c t) (.f64 i y))) (pow.f64 (cbrt.f64 (fma.f64 z (fma.f64 y x (neg.f64 (.f64 c b))) (.f64 a (-.f64 (.f64 i b) (*.f64 t x))))) 3))
	13.1b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 b z)) (.f64 a (.f64 t x)))))
✓	15.0b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (.f64 a i)) (.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))))
	24.8b	(+.f64 (.f64 j (-.f64 (.f64 c t) (.f64 i y))) (fma.f64 z (/.f64 (-.f64 (pow.f64 (.f64 y x) 2) (pow.f64 (.f64 c b) 2)) (fma.f64 y x (.f64 c b))) (.f64 a (-.f64 (.f64 i b) (*.f64 t x)))))

Compiler

Compiled 4949 to 1022 computations (79.3% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.4b	(.f64 i (.f64 a b))
✓	4.9b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (+.f64 (.f64 i (.f64 a b)) (.f64 c (.f64 t j))) (+.f64 (.f64 i (.f64 y j)) (.f64 c (.f64 z b)))))
✓	5.6b	(.f64 i (.f64 y j))
✓	6.9b	(.f64 c (.f64 t j))

series120.0ms (0.5%)

Counts

4 → 140

Calls

4 calls:

93.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (+.f64 (.f64 i (.f64 a b)) (.f64 c (.f64 t j))) (+.f64 (.f64 i (.f64 y j)) (.f64 c (.f64 z b)))))
10.0ms	(.f64 i (.f64 a b))
9.0ms	(.f64 i (.f64 y j))
8.0ms	(.f64 c (.f64 t j))

rewrite37.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

272×	`log1p-expm1-u_binary64`
272×	`expm1-log1p-u_binary64`
271×	`add-cbrt-cube_binary64`
264×	`add-log-exp_binary64`
263×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	64
1	560	64

Stop Event

1×	node limit

Counts

4 → 52

Calls

4 calls:

33.0ms	(.f64 i (.f64 a b))
33.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (+.f64 (.f64 i (.f64 a b)) (.f64 c (.f64 t j))) (+.f64 (.f64 i (.f64 y j)) (.f64 c (.f64 z b)))))
33.0ms	(.f64 i (.f64 y j))
33.0ms	(.f64 c (.f64 t j))

simplify78.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

752×	`fma-neg_binary64`
740×	`fma-def_binary64`
414×	`cancel-sign-sub-inv_binary64`
350×	`associate--l+_binary64`
325×	`sub-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	119	4292
1	440	4292
2	1230	4202
3	3320	4013

Stop Event

1×	node limit

Counts

192 → 111

prune86.0ms (0.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	109	2	111
Fresh	3	3	6
Picked	0	1	1
Done	0	1	1
Total	112	7	119

Error

0.0b

Counts

119 → 7

Alt Table

Status	Error	Program
	29.0b	(fma.f64 z (-.f64 (.f64 y x) (.f64 b c)) (.f64 t (-.f64 (.f64 j c) (*.f64 a x))))
▶	12.5b	(+.f64 (.f64 j (-.f64 (.f64 c t) (.f64 i y))) (pow.f64 (cbrt.f64 (fma.f64 z (fma.f64 y x (neg.f64 (.f64 c b))) (.f64 a (-.f64 (.f64 i b) (*.f64 t x))))) 3))
	35.0b	(pow.f64 (sqrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (fma.f64 i (.f64 a b) (.f64 (.f64 c t) j)) (fma.f64 c (.f64 z b) (.f64 i (.f64 j y)))))) 2)
	24.8b	(+.f64 (.f64 j (-.f64 (.f64 c t) (.f64 i y))) (fma.f64 z (/.f64 (-.f64 (pow.f64 (.f64 y x) 2) (pow.f64 (.f64 c b) 2)) (fma.f64 y x (.f64 c b))) (.f64 a (-.f64 (.f64 i b) (*.f64 t x)))))
	13.1b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 b z)) (.f64 a (.f64 t x)))))
✓	15.0b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (.f64 a i)) (.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))))
✓	12.0b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (+.f64 (.f64 i (.f64 a b)) (.f64 c (.f64 t j))) (+.f64 (.f64 i (.f64 y j)) (.f64 c (.f64 z b)))))

Compiler

Compiled 3432 to 721 computations (79% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.8b	(cbrt.f64 (fma.f64 z (fma.f64 y x (neg.f64 (.f64 c b))) (.f64 a (-.f64 (.f64 i b) (.f64 t x)))))
✓	4.1b	(fma.f64 z (fma.f64 y x (neg.f64 (.f64 c b))) (.f64 a (-.f64 (.f64 i b) (.f64 t x))))
	4.7b	(.f64 a (-.f64 (.f64 i b) (*.f64 t x)))
	6.7b	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))

series809.0ms (3.4%)

Counts

2 → 192

Calls

2 calls:

742.0ms	(cbrt.f64 (fma.f64 z (fma.f64 y x (neg.f64 (.f64 c b))) (.f64 a (-.f64 (.f64 i b) (.f64 t x)))))
66.0ms	(fma.f64 z (fma.f64 y x (neg.f64 (.f64 c b))) (.f64 a (-.f64 (.f64 i b) (.f64 t x))))

rewrite34.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

196×	`add-sqr-sqrt_binary64`
181×	`add-cbrt-cube_binary64`
181×	`log1p-expm1-u_binary64`
181×	`expm1-log1p-u_binary64`
178×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	54
1	382	50

Stop Event

1×	node limit

Counts

2 → 47

Calls

2 calls:

33.0ms	(cbrt.f64 (fma.f64 z (fma.f64 y x (neg.f64 (.f64 c b))) (.f64 a (-.f64 (.f64 i b) (.f64 t x)))))
33.0ms	(fma.f64 z (fma.f64 y x (neg.f64 (.f64 c b))) (.f64 a (-.f64 (.f64 i b) (.f64 t x))))

simplify213.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

458×	`fma-def_binary64`
352×	`associate-/l*_binary64`
352×	`times-frac_binary64`
110×	`sub-neg_binary64`
88×	`sqr-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2709	35789

Stop Event

1×	node limit

Counts

239 → 282

prune674.0ms (2.8%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	326	1	327
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	326	8	334

Error

0.0b

Counts

334 → 8

Alt Table

Status	Error	Program
	29.0b	(fma.f64 z (-.f64 (.f64 y x) (.f64 b c)) (.f64 t (-.f64 (.f64 j c) (*.f64 a x))))
✓	12.5b	(+.f64 (.f64 j (-.f64 (.f64 c t) (.f64 i y))) (pow.f64 (cbrt.f64 (fma.f64 z (fma.f64 y x (neg.f64 (.f64 c b))) (.f64 a (-.f64 (.f64 i b) (*.f64 t x))))) 3))
	35.0b	(pow.f64 (sqrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (fma.f64 i (.f64 a b) (.f64 (.f64 c t) j)) (fma.f64 c (.f64 z b) (.f64 i (.f64 j y)))))) 2)
	24.8b	(+.f64 (.f64 j (-.f64 (.f64 c t) (.f64 i y))) (fma.f64 z (/.f64 (-.f64 (pow.f64 (.f64 y x) 2) (pow.f64 (.f64 c b) 2)) (fma.f64 y x (.f64 c b))) (.f64 a (-.f64 (.f64 i b) (*.f64 t x)))))
	13.1b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 b z)) (.f64 a (.f64 t x)))))
✓	15.0b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (.f64 a i)) (.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))))
✓	12.0b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (+.f64 (.f64 i (.f64 a b)) (.f64 c (.f64 t j))) (+.f64 (.f64 i (.f64 y j)) (.f64 c (.f64 z b)))))
	39.2b	(+.f64 (.f64 j (-.f64 (.f64 c t) (.f64 i y))) (pow.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (fma.f64 z (fma.f64 y x (.f64 c b)) (.f64 a (-.f64 (.f64 b i) (.f64 x t)))) 2)) 1/3) (cbrt.f64 (cbrt.f64 (fma.f64 z (fma.f64 y x (.f64 c b)) (.f64 a (-.f64 (.f64 b i) (.f64 x t))))))) 3))

Compiler

Compiled 51420 to 22487 computations (56.3% saved)

regimes11.9s (50%)

Accuracy

Total 2.7b remaining (96.9%)

Threshold costs 0b (0%)

Counts

259 → 3

Compiler

Compiled 85946 to 54588 computations (36.5% saved)

bsearch14.0ms (0.1%)

Compiler: Compiled 38 to 23 computations (39.5% saved)

simplify37.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

226×	`distribute-rgt-neg-in_binary64`
200×	`cancel-sign-sub-inv_binary64`
150×	`distribute-lft-neg-in_binary64`
145×	`neg-sub0_binary64`
145×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	65	231
1	135	231
2	204	231
3	253	231
4	320	231
5	365	231
6	418	231
7	544	231
8	668	231
9	789	231
10	948	231
11	1172	231
12	1391	231
13	1571	231
14	1667	231
15	1715	231
16	1733	231
17	1737	231

Stop Event

1×

saturated

end174.0ms (0.7%)

Compiler: Compiled 671 to 319 computations (52.5% saved)

Details

analyze4.7s (19.7%)

sample3.7s (15.6%)

simplify29.0ms (0.1%)

prune5.0ms (0%)

localize18.0ms (0.1%)

series181.0ms (0.8%)

rewrite45.0ms (0.2%)

simplify129.0ms (0.5%)

prune204.0ms (0.9%)

localize20.0ms (0.1%)

series100.0ms (0.4%)

rewrite39.0ms (0.2%)

simplify240.0ms (1%)

prune161.0ms (0.7%)

localize23.0ms (0.1%)

series120.0ms (0.5%)

rewrite37.0ms (0.2%)

simplify78.0ms (0.3%)

prune86.0ms (0.4%)

localize20.0ms (0.1%)

series809.0ms (3.4%)

rewrite34.0ms (0.1%)

simplify213.0ms (0.9%)

prune674.0ms (2.8%)

regimes11.9s (50%)

bsearch14.0ms (0.1%)

simplify37.0ms (0.2%)

end174.0ms (0.7%)

Profiling