Details

analyze723.0ms (10.4%)

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
12.5%	87.4%	0.1%	5
18.7%	81.1%	0.1%	6
21.8%	71.8%	6.4%	7
31.2%	62.4%	6.4%	8
35.9%	55.4%	8.7%	9
37.8%	48.8%	13.4%	10
42.7%	42.3%	15%	11
47.7%	34.2%	18.1%	12
49.1%	30.4%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample40.0ms (0.6%)

Algorithm

1×

intervals

Results

8.0ms	34×	body	2048	valid
8.0ms	168×	body	128	valid
4.0ms	21×	body	1024	valid
3.0ms	10×	body	4096	valid
3.0ms	18×	body	512	valid
1.0ms	19×	body	128	nan
1.0ms	13×	body	128	invalid
0.0ms	5×	body	256	valid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify324.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

1319×	`div-sub_binary64`
932×	`unsub-neg_binary64`
843×	`associate-/l*_binary64`
678×	`distribute-rgt-in_binary64`
643×	`distribute-lft-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	37	26
2	93	26
3	213	24
4	320	24
5	522	24
6	913	24
7	995	24
8	1154	24
9	1806	24
10	2663	24
11	2356	24
12	2303	24
13	2372	24
14	2398	24
15	2585	24
16	3881	24
17	3563	24
18	3397	24
19	3505	24
20	3509	24
21	3623	24
22	3691	24
23	3691	24
24	2163	24
25	2363	24
26	2081	24
27	2083	24
28	2083	24
29	2083	24
30	1834	24

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

32.2b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	32.2b	(.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) a))

Compiler

Compiled 57 to 39 computations (31.6% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) a)
0.8b	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
0.8b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
20.3b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite153.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

32.0b

Rules

24×	`*-un-lft-identity_binary64`
15×	`add-sqr-sqrt_binary64`
14×	`add-cube-cbrt_binary64`
12×	`times-frac_binary64`
8×	`add-log-exp_binary64`

Counts

4 → 72

Calls

4 calls:

8.0ms	(/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) a)
6.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
4.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 1906 to 971 computations (49.1% saved)

series236.0ms (3.4%)

Error

6.3b

Counts

4 → 84

Calls

4 calls:

58.0ms	(/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) a)
50.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
49.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
40.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 3243 to 2324 computations (28.3% saved)

simplify130.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

957×	`times-frac_binary64`
504×	`associate-/l*_binary64`
257×	`cancel-sign-sub-inv_binary64`
166×	`distribute-rgt-neg-in_binary64`
154×	`distribute-lft-neg-in_binary64`

Counts

156 → 92

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	190	3668
1	486	3449
2	1480	3431
3	4909	3431
4	4948	3431

prune68.0ms (1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	83	9	92
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	83	10	93

Error

9.4b

Counts

93 → 10

Alt Table

Status	Error	Program
	32.6b	(.f64 -1/2 (.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) a)))
▶	32.1b	(.f64 -1/2 (/.f64 (/.f64 (.f64 4 (.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) a))
	46.5b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
	46.5b	(.f64 -1/2 (.f64 2 (+.f64 (/.f64 c b) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3)))))
	49.3b	(.f64 -1/2 (/.f64 (.f64 2 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) a))
	58.0b	(*.f64 -1/2 (/.f64 (+.f64 b (neg.f64 b)) a))
✓	32.2b	(.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) a))
	32.8b	(.f64 -1/2 (.f64 (.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))) (/.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) a)))
	43.8b	(.f64 -1/2 (/.f64 (sqrt.f64 (.f64 a (*.f64 c -4))) a))
	46.2b	(.f64 -1/2 (/.f64 (.f64 b 2) a))

Compiler

Compiled 1565 to 906 computations (42.1% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.3b	(-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
3.9b	(/.f64 (/.f64 (.f64 4 (.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))) a)
11.2b	(/.f64 (.f64 4 (.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))
20.3b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite189.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

9.4b

Rules

66×	`times-frac_binary64`
59×	`add-sqr-sqrt_binary64`
44×	`*-un-lft-identity_binary64`
30×	`add-cube-cbrt_binary64`
27×	`add-exp-log_binary64` `add-cbrt-cube_binary64`

Counts

4 → 136

Calls

4 calls:

13.0ms	(/.f64 (/.f64 (.f64 4 (.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))) a)
11.0ms	(/.f64 (.f64 4 (.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))
6.0ms	(-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 4706 to 2367 computations (49.7% saved)

series329.0ms (4.8%)

Error

8.7b

Counts

4 → 86

Calls

4 calls:

93.0ms	(/.f64 (.f64 4 (.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))
82.0ms	(/.f64 (/.f64 (.f64 4 (.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))) a)
63.0ms	(-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
51.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 4659 to 3229 computations (30.7% saved)

simplify266.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

359×	`cancel-sign-sub-inv_binary64`
263×	`associate-/l*_binary64`
260×	`times-frac_binary64`
176×	`sub-neg_binary64`
165×	`associate-/r*_binary64`

Counts

222 → 154

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	330	7748
1	903	7060
2	3377	6917
3	4848	6917
4	4978	6917
5	4966	6917

prune113.0ms (1.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	148	6	154
Fresh	4	4	8
Picked	1	0	1
Done	0	1	1
Total	153	11	164

Error

8.3b

Counts

164 → 11

Alt Table

Status	Error	Program
	46.7b	(.f64 -1/2 (/.f64 (/.f64 (.f64 4 (.f64 a c)) (.f64 b 2)) a))
	46.5b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
	46.5b	(.f64 -1/2 (.f64 2 (+.f64 (/.f64 c b) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3)))))
✓	32.2b	(.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) a))
	43.8b	(.f64 -1/2 (/.f64 (sqrt.f64 (.f64 a (*.f64 c -4))) a))
▶	29.0b	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))))
	45.5b	(.f64 -1/2 (exp.f64 (log.f64 (/.f64 4 (.f64 1 (/.f64 (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) c))))))
	32.1b	(.f64 -1/2 (.f64 (.f64 (/.f64 4 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (.f64 a c)) (/.f64 (/.f64 1 (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (cbrt.f64 a))))
	29.9b	(.f64 -1/2 (.f64 (.f64 (cbrt.f64 (/.f64 4 (.f64 1 (/.f64 (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) c)))) (cbrt.f64 (/.f64 4 (.f64 1 (/.f64 (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) c))))) (cbrt.f64 (/.f64 4 (.f64 1 (/.f64 (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) c))))))
	29.6b	(.f64 -1/2 (.f64 (/.f64 4 (.f64 (cbrt.f64 (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (cbrt.f64 (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))) (.f64 1 (/.f64 c (cbrt.f64 (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))))))
	46.2b	(.f64 -1/2 (/.f64 (.f64 b 2) a))

Compiler

Compiled 3458 to 1895 computations (45.2% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 c (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))
0.8b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
1.3b	(-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
20.3b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite121.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

8.3b

Rules

39×	`add-sqr-sqrt_binary64`
28×	`*-un-lft-identity_binary64`
18×	`add-cube-cbrt_binary64` `times-frac_binary64`
11×	`sqrt-prod_binary64`
10×	`difference-of-squares_binary64`

Counts

4 → 88

Calls

4 calls:

8.0ms	(/.f64 c (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))
7.0ms	(-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
4.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 2537 to 1439 computations (43.3% saved)

series275.0ms (4%)

Error

6.2b

Counts

4 → 82

Calls

4 calls:

76.0ms	(/.f64 c (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))
66.0ms	(-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
52.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
43.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 4020 to 3030 computations (24.6% saved)

simplify149.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

618×	`associate-/l*_binary64`
527×	`associate-/r*_binary64`
266×	`cancel-sign-sub-inv_binary64`
195×	`distribute-rgt-neg-in_binary64`
176×	`distribute-lft-neg-in_binary64`

Counts

170 → 107

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	216	4261
1	551	4033
2	1666	4004
3	4989	4004
4	4974	4004

prune67.0ms (1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	105	2	107
Fresh	5	4	9
Picked	0	1	1
Done	0	1	1
Total	110	8	118

Error

6.2b

Counts

118 → 8

Alt Table

Status	Error	Program
	46.5b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
	46.5b	(.f64 -1/2 (.f64 2 (+.f64 (/.f64 c b) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3)))))
✓	32.2b	(.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) a))
	43.8b	(.f64 -1/2 (/.f64 (sqrt.f64 (.f64 a (*.f64 c -4))) a))
✓	29.0b	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))))
	46.1b	(.f64 -1/2 (.f64 4 (.f64 1 (.f64 (sqrt.f64 c) (/.f64 (sqrt.f64 c) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))))))
	46.2b	(.f64 -1/2 (/.f64 (.f64 b 2) a))
▶	40.6b	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (.f64 b 2)))))

Compiler

Compiled 1757 to 1099 computations (37.5% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (.f64 b 2)))))
0.0b	(.f64 4 (.f64 1 (/.f64 c (*.f64 b 2))))

rewrite72.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

6.2b

Rules

57×	`add-exp-log_binary64`
38×	`prod-exp_binary64`
36×	`add-cbrt-cube_binary64`
21×	`cbrt-unprod_binary64`
16×	`pow1_binary64`

Counts

2 → 55

Calls

2 calls:

10.0ms	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (.f64 b 2)))))
9.0ms	(.f64 4 (.f64 1 (/.f64 c (*.f64 b 2))))

Compiler

Compiled 970 to 800 computations (17.5% saved)

series33.0ms (0.5%)

Error

6.2b

Counts

2 → 12

Calls

2 calls:

15.0ms	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (.f64 b 2)))))
15.0ms	(.f64 4 (.f64 1 (/.f64 c (*.f64 b 2))))

Compiler

Compiled 231 to 178 computations (22.9% saved)

simplify95.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

857×	`times-frac_binary64`
506×	`associate-*r/_binary64`
440×	`associate-*l/_binary64`
399×	`associate-/l*_binary64`
298×	`associate-/r*_binary64`

Counts

67 → 55

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	896
1	213	680
2	790	527
3	3934	527
4	4888	527
5	4978	527
6	4884	527

prune29.0ms (0.4%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	49	6	55
Fresh	1	4	5
Picked	1	0	1
Done	0	2	2
Total	51	12	63

Error

6.2b

Counts

63 → 12

Alt Table

Status	Error	Program
	46.5b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
	32.2b	(.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) a))
	49.9b	(cbrt.f64 (pow.f64 (neg.f64 (/.f64 c b)) 3))
	43.8b	(.f64 -1/2 (/.f64 (sqrt.f64 (.f64 a (*.f64 c -4))) a))
	29.0b	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))))
	50.4b	(.f64 -1/2 (.f64 (sqrt.f64 (.f64 2 (/.f64 c b))) (sqrt.f64 (.f64 2 (/.f64 c b)))))
	40.6b	(neg.f64 (/.f64 c b))
	46.1b	(.f64 -1/2 (.f64 4 (.f64 1 (.f64 (sqrt.f64 c) (/.f64 (sqrt.f64 c) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))))))
	41.0b	(.f64 -1/2 (.f64 (.f64 (cbrt.f64 (.f64 2 (/.f64 c b))) (cbrt.f64 (.f64 2 (/.f64 c b)))) (cbrt.f64 (.f64 2 (/.f64 c b)))))
	51.3b	(exp.f64 (log.f64 (neg.f64 (/.f64 c b))))
	46.2b	(.f64 -1/2 (/.f64 (.f64 b 2) a))
	51.1b	(.f64 -1/2 (exp.f64 (log.f64 (.f64 2 (/.f64 c b)))))

Compiler

Compiled 419 to 276 computations (34.1% saved)

regimes1.9s (27.6%)

Accuracy

Total 1.1b remaining (16.9%)

Threshold costs 0b (0%)

Compiler

Compiled 16032 to 10782 computations (32.7% saved)

bsearch69.0ms (1%)

Steps

Iters	Range	Point
9	2.8681217371660862e+122	1.1170147148022088e+132	1.2458172873965611e+125
9	6.610131093643564e-292	7.140150232356879e-285	1.0118934187104876e-285
2	-8.915945153218393e+81	-6.011153247740761e+65	-8.049570799378294e+77

Iters

Range

Point

2.8681217371660862e+122

1.1170147148022088e+132

1.2458172873965611e+125

6.610131093643564e-292

7.140150232356879e-285

1.0118934187104876e-285

-8.915945153218393e+81

-6.011153247740761e+65

-8.049570799378294e+77

Compiler

Compiled 4 to 3 computations (25% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

22×	`*-commutative_binary64`
15×	`+-commutative_binary64`
14×	`sub-neg_binary64`
10×	`neg-mul-1_binary64` `neg-sub0_binary64`
8×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	103
1	76	103
2	96	103
3	120	103
4	139	103
5	147	103
6	150	103
7	146	103

end2.0ms (0%)

Compiler: Compiled 72 to 49 computations (31.9% saved)

sample1.5s (21.4%)

Algorithm

1×

intervals

Results

278.0ms	1098×	body	2048	valid
268.0ms	5231×	body	128	valid
141.0ms	728×	body	1024	valid
122.0ms	400×	body	4096	valid
52.0ms	345×	body	512	valid
34.0ms	678×	body	128	nan
21.0ms	414×	body	128	invalid
19.0ms	198×	body	256	valid

Compiler

Compiled 283 to 204 computations (27.9% saved)

Details

analyze723.0ms (10.4%)

sample40.0ms (0.6%)

simplify324.0ms (4.7%)

prune4.0ms (0.1%)

localize10.0ms (0.1%)

rewrite153.0ms (2.2%)

series236.0ms (3.4%)

simplify130.0ms (1.9%)

prune68.0ms (1%)

localize12.0ms (0.2%)

rewrite189.0ms (2.7%)

series329.0ms (4.8%)

simplify266.0ms (3.8%)

prune113.0ms (1.6%)

localize14.0ms (0.2%)

rewrite121.0ms (1.8%)

series275.0ms (4%)

simplify149.0ms (2.2%)

prune67.0ms (1%)

localize7.0ms (0.1%)

rewrite72.0ms (1%)

series33.0ms (0.5%)

simplify95.0ms (1.4%)

prune29.0ms (0.4%)

regimes1.9s (27.6%)

bsearch69.0ms (1%)

simplify8.0ms (0.1%)

end2.0ms (0%)

sample1.5s (21.4%)

Profiling