Details

analyze589.0ms (6.2%)

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)

sample42.0ms (0.4%)

Algorithm

1×

intervals

Results

9.0ms	39×	body	2048	valid
8.0ms	160×	body	128	valid
6.0ms	19×	body	4096	valid
4.0ms	19×	body	1024	valid
2.0ms	16×	body	512	valid
1.0ms	24×	body	128	nan
0.0ms	8×	body	128	invalid
0.0ms	3×	body	256	valid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify343.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

1228×	`associate-/l*_binary64`
1150×	`div-sub_binary64`
630×	`distribute-rgt-in_binary64`
619×	`times-frac_binary64`
588×	`associate-/r*_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	33	24
2	62	24
3	121	24
4	172	24
5	282	24
6	460	24
7	748	24
8	1084	24
9	1128	24
10	1799	24
11	2594	24
12	2001	24
13	2089	24
14	2153	24
15	2179	24
16	2431	24
17	2909	24
18	2913	24
19	2991	24
20	3053	24
21	3065	24
22	3035	24
23	3211	24
24	3211	24
25	2043	24
26	2195	24
27	2097	24
28	2107	24
29	2107	24
30	2107	24
31	2107	24
32	1834	24

prune4.0ms (0%)

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

35.6b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 57 to 39 computations (31.6% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))
0.3b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
0.4b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
25.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite163.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

35.4b

Rules

21×	`add-sqr-sqrt_binary64`
14×	`*-un-lft-identity_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`add-log-exp_binary64` `add-cube-cbrt_binary64`
6×	`sqrt-prod_binary64` `difference-of-squares_binary64` `times-frac_binary64` `associate-/l*_binary64`

Counts

4 → 74

Calls

4 calls:

11.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))
7.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
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 1903 to 985 computations (48.2% saved)

series261.0ms (2.7%)

Error

5.9b

Counts

4 → 85

Calls

4 calls:

76.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))
58.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
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 3417 to 2456 computations (28.1% saved)

simplify110.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

728×	`associate-/l*_binary64`
230×	`distribute-rgt-in_binary64`
197×	`distribute-lft-in_binary64`
192×	`cancel-sign-sub-inv_binary64`
190×	`distribute-rgt-neg-in_binary64`

Counts

159 → 107

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	230	3959
1	637	3664
2	2055	3640
3	5109	3640

prune74.0ms (0.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	99	8	107
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	100	8	108

Error

5.9b

Counts

108 → 8

Alt Table

Status	Error	Program
	38.6b	(neg.f64 (/.f64 c b))
	45.3b	(.f64 1/2 (-.f64 (/.f64 (sqrt.f64 (.f64 a (*.f64 c -4))) a) (/.f64 b a)))
	52.3b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 a 2))
	47.0b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 b b)) (.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (*.f64 a 2)))
	52.1b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2)) 3))
▶	35.6b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
	44.3b	(/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
	46.6b	(/.f64 (neg.f64 b) a)

Compiler

Compiled 1635 to 915 computations (44% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
0.3b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
0.4b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
25.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite416.0ms (4.4%)

Algorithm

1×	rewrite-expression-head

Error

5.8b

Rules

693×	`times-frac_binary64`
439×	`add-sqr-sqrt_binary64`
364×	`*-un-lft-identity_binary64`
290×	`add-cube-cbrt_binary64`
74×	`difference-of-squares_binary64`

Counts

4 → 356

Calls

4 calls:

24.0ms	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
6.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 11060 to 6512 computations (41.1% saved)

series256.0ms (2.7%)

Error

5.9b

Counts

4 → 85

Calls

4 calls:

74.0ms	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
62.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
49.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
39.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 3627 to 2666 computations (26.5% saved)

simplify417.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

480×	`associate-/r/_binary64`
338×	`*-commutative_binary64`
332×	`associate-*l/_binary64`
279×	`associate-/l/_binary64`
273×	`associate-*r/_binary64`

Counts

441 → 379

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	546	19069
1	1352	18158
2	4787	18157
3	4982	18157

prune210.0ms (2.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	374	5	379
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	378	9	387

Error

5.8b

Counts

387 → 9

Alt Table

Status	Error	Program
	46.7b	(/.f64 1 (/.f64 a (/.f64 (*.f64 b -2) 2)))
	38.6b	(neg.f64 (/.f64 c b))
	45.3b	(.f64 1/2 (-.f64 (/.f64 (sqrt.f64 (.f64 a (*.f64 c -4))) a) (/.f64 b a)))
	52.3b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 a 2))
▶	35.6b	(.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (/.f64 a 1/2)))
	36.0b	(.f64 (/.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1)) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 a) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) 2))))
	36.0b	(.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) (/.f64 1 (/.f64 a (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)) 2))))
	46.6b	(/.f64 (neg.f64 b) a)
	44.3b	(/.f64 1 (/.f64 a (/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))) 2)))

Compiler

Compiled 6816 to 3867 computations (43.3% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (/.f64 a 1/2)))
0.3b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
0.4b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
25.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite261.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

5.8b

Rules

132×	`times-frac_binary64`
83×	`associate-r_binary64`
80×	`add-sqr-sqrt_binary64`
77×	`*-un-lft-identity_binary64`
75×	`add-cube-cbrt_binary64`

Counts

4 → 162

Calls

4 calls:

31.0ms	(.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (/.f64 a 1/2)))
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
4.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 6128 to 4216 computations (31.2% saved)

series288.0ms (3%)

Error

5.8b

Counts

4 → 85

Calls

4 calls:

75.0ms	(.f64 (.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (/.f64 a 1/2)))
68.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)
60.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
48.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 4362 to 3401 computations (22% saved)

simplify242.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

678×	`associate-l_binary64`
563×	`associate-r_binary64`
312×	`associate-/l*_binary64`
272×	`associate-*r/_binary64`
191×	`associate-/r/_binary64`

Counts

247 → 182

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	403	8698
1	1197	6951
2	4748	6951
3	4951	6951
4	4961	6951

prune143.0ms (1.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	179	3	182
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	181	10	191

Error

5.8b

Counts

191 → 10

Alt Table

Status	Error	Program
	46.7b	(/.f64 1 (/.f64 a (/.f64 (*.f64 b -2) 2)))
	38.6b	(neg.f64 (/.f64 c b))
	45.3b	(.f64 1/2 (-.f64 (/.f64 (sqrt.f64 (.f64 a (*.f64 c -4))) a) (/.f64 b a)))
	52.3b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 a 2))
	50.6b	(.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (sqrt.f64 a)) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 a) 1/2)))
	44.3b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) (.f64 b b)) (/.f64 a 1/2)) (+.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b))
▶	36.0b	(.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) (/.f64 1 (/.f64 a (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)) 2))))
	46.6b	(/.f64 (neg.f64 b) a)
	44.3b	(/.f64 1 (/.f64 a (/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))) 2)))
	46.6b	(.f64 (.f64 (.f64 b -2) (.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (/.f64 a 1/2)))

Compiler

Compiled 3636 to 2354 computations (35.3% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
0.4b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
25.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
25.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite81.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

5.8b

Rules

8×	`add-log-exp_binary64` `add-sqr-sqrt_binary64`
6×	`pow1_binary64` `add-cube-cbrt_binary64` `sqrt-prod_binary64` `*-un-lft-identity_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `flip3--_binary64` `sqrt-div_binary64` `flip--_binary64`
2×	`pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `diff-log_binary64` `sub-neg_binary64` `cancel-sign-sub-inv_binary64`

Counts

4 → 54

Calls

4 calls:

5.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
4.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
4.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 2279 to 1229 computations (46.1% saved)

series238.0ms (2.5%)

Error

5.8b

Counts

4 → 80

Calls

4 calls:

56.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
56.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
48.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
47.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 5285 to 3618 computations (31.5% saved)

simplify105.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

604×	`associate-l_binary64`
580×	`associate-r_binary64`
566×	`times-frac_binary64`
265×	`associate-/l*_binary64`
247×	`associate-/r*_binary64`

Counts

134 → 86

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	92	2412
1	245	2286
2	806	2286
3	4836	2286
4	4975	2286

prune53.0ms (0.6%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	86	0	86
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	86	10	96

Error

5.8b

Counts

96 → 10

Alt Table

Status	Error	Program
	46.7b	(/.f64 1 (/.f64 a (/.f64 (*.f64 b -2) 2)))
	38.6b	(neg.f64 (/.f64 c b))
	45.3b	(.f64 1/2 (-.f64 (/.f64 (sqrt.f64 (.f64 a (*.f64 c -4))) a) (/.f64 b a)))
	52.3b	(/.f64 (-.f64 (sqrt.f64 (.f64 b b)) b) (.f64 a 2))
	50.6b	(.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (sqrt.f64 a)) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 a) 1/2)))
	44.3b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) (.f64 b b)) (/.f64 a 1/2)) (+.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b))
	36.0b	(.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) (/.f64 1 (/.f64 a (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b)) 2))))
	46.6b	(/.f64 (neg.f64 b) a)
	44.3b	(/.f64 1 (/.f64 a (/.f64 (/.f64 (-.f64 (.f64 b b) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))) 2)))
	46.6b	(.f64 (.f64 (.f64 b -2) (.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (/.f64 a 1/2)))

Compiler

Compiled 1811 to 1048 computations (42.1% saved)

regimes3.7s (38.7%)

Accuracy

Total 5.8b remaining (50.7%)

Threshold costs 0b (0%)

Compiler

Compiled 25168 to 17646 computations (29.9% saved)

bsearch44.0ms (0.5%)

Steps

Iters	Range		Point
8	5.510773643987163e+27	6.278378928778985e+30	5.608699537249006e+27
2	-1.3801778280206036e+151	-4.953506238584051e+150	-1.0925810582265431e+151

Compiler

Compiled 4 to 3 computations (25% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

11×	`sub-neg_binary64` `*-commutative_binary64` `+-commutative_binary64`
8×	`neg-sub0_binary64`
7×	`neg-mul-1_binary64`
4×	`distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`
3×	`distribute-neg-frac_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	58
1	42	58
2	61	58
3	79	58
4	91	58
5	96	58
6	97	58
7	96	58

end1.0ms (0%)

Compiler: Compiled 42 to 26 computations (38.1% saved)

sample1.5s (15.2%)

Algorithm

1×

intervals

Results

281.0ms	1138×	body	2048	valid
260.0ms	5149×	body	128	valid
139.0ms	429×	body	4096	valid
136.0ms	731×	body	1024	valid
53.0ms	387×	body	512	valid
29.0ms	618×	body	128	nan
18.0ms	166×	body	256	valid
18.0ms	361×	body	128	invalid

Compiler

Compiled 271 to 181 computations (33.2% saved)

Details

analyze589.0ms (6.2%)

sample42.0ms (0.4%)

simplify343.0ms (3.6%)

prune4.0ms (0%)

localize12.0ms (0.1%)

rewrite163.0ms (1.7%)

series261.0ms (2.7%)

simplify110.0ms (1.1%)

prune74.0ms (0.8%)

localize13.0ms (0.1%)

rewrite416.0ms (4.4%)

series256.0ms (2.7%)

simplify417.0ms (4.4%)

prune210.0ms (2.2%)

localize17.0ms (0.2%)

rewrite261.0ms (2.7%)

series288.0ms (3%)

simplify242.0ms (2.5%)

prune143.0ms (1.5%)

localize17.0ms (0.2%)

rewrite81.0ms (0.9%)

series238.0ms (2.5%)

simplify105.0ms (1.1%)

prune53.0ms (0.6%)

regimes3.7s (38.7%)

bsearch44.0ms (0.5%)

simplify6.0ms (0.1%)

end1.0ms (0%)

sample1.5s (15.2%)

Profiling