Details

analyze962.0ms (8%)

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
0%	99.9%	0.1%	5
12.5%	87.4%	0.1%	6
20.3%	73.3%	6.4%	7
27.3%	66.3%	6.4%	8
38.2%	53%	8.7%	9
46%	40.6%	13.4%	10
49.9%	35.1%	15%	11
54.9%	26.9%	18.1%	12
57.4%	22%	20.6%	13
59.7%	18%	22.4%	14

Compiler

Compiled 42 to 27 computations (35.7% saved)

sample45.0ms (0.4%)

Algorithm

1×

intervals

Results

28.0ms	256×	body	128	valid
2.0ms	16×	body	128	nan
1.0ms	11×	body	128	invalid

Compiler

Compiled 86 to 56 computations (34.9% saved)

simplify549.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

1534×	`div-sub_binary64`
1283×	`associate-/l*_binary64`
1224×	`distribute-rgt-in_binary64`
767×	`associate-/r*_binary64`
744×	`distribute-lft-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	22	58
1	43	56
2	91	56
3	198	54
4	309	54
5	519	54
6	918	54
7	1356	54
8	1505	54
9	2181	54
10	2806	54
11	2812	54
12	2814	54
13	2776	54
14	2800	54
15	3982	54
16	3118	54
17	3126	54
18	3134	54
19	3134	54
20	3142	54
21	3142	54
22	3944	54
23	2934	54
24	3120	54
25	3086	54
26	3090	54
27	3102	54
28	3106	54
29	3106	54
30	3268	54
31	3196	54
32	3324	54
33	3428	54
34	3532	54
35	3636	54
36	3036	54
37	3036	54
38	3056	54
39	3092	54
40	3094	54
41	3094	54
42	2785	54

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

16.6b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	16.6b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))

Status

Error

Program

▶

16.6b

(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)))

Compiler

Compiled 121 to 77 computations (36.4% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.1b	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
1.5b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
18.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
18.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 1530 to 1275 computations (16.7% saved)

rewrite139.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

16.6b

Rules

16×	`*-un-lft-identity_binary64`
14×	`add-sqr-sqrt_binary64`
12×	`add-log-exp_binary64`
10×	`sqrt-prod_binary64`
8×	`add-cube-cbrt_binary64`

Counts

4 → 68

Calls

4 calls:

9.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
7.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
3.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
3.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 3020 to 1705 computations (43.5% saved)

series214.0ms (1.8%)

Error

4.8b

Counts

4 → 67

Calls

4 calls:

47.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
43.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
43.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
41.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))

Compiler

Compiled 6006 to 4035 computations (32.8% saved)

simplify110.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

512×	`div-sub_binary64`
358×	`associate-/r*_binary64`
358×	`associate-/l*_binary64`
273×	`cancel-sign-sub-inv_binary64`
181×	`distribute-rgt-neg-in_binary64`

Counts

135 → 102

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	154	2769
1	425	2642
2	1332	2611
3	4622	2611
4	5790	2611

prune194.0ms (1.6%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	97	5	102
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	98	5	103

Error

4.8b

Counts

103 → 5

Alt Table

Status	Error	Program
	25.9b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 2 a)))
	18.5b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (.f64 b -2)) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))
▶	16.2b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 0 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))
	20.4b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (neg.f64 b)) (*.f64 2 a)))
	34.1b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (/.f64 (.f64 4 (.f64 c a)) (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))

Compiler

Compiled 3470 to 1979 computations (43% saved)

localize33.0ms (0.3%)

Local error

Found 4 expressions with local error:

1.1b	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))
1.5b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
18.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
18.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))

Compiler

Compiled 1530 to 1275 computations (16.7% saved)

rewrite99.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

4.8b

Rules

12×	`*-un-lft-identity_binary64`
10×	`add-log-exp_binary64`
8×	`add-sqr-sqrt_binary64`
6×	`sqrt-prod_binary64`
6×	`add-cube-cbrt_binary64`

Counts

4 → 57

Calls

4 calls:

8.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))
7.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
3.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
3.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 2662 to 1504 computations (43.5% saved)

series209.0ms (1.7%)

Error

4.8b

Counts

4 → 67

Calls

4 calls:

44.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
43.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
41.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
40.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))

Compiler

Compiled 6066 to 4158 computations (31.5% saved)

simplify98.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

499×	`div-sub_binary64`
374×	`associate-/l*_binary64`
357×	`associate-/r*_binary64`
268×	`cancel-sign-sub-inv_binary64`
206×	`distribute-rgt-neg-in_binary64`

Counts

124 → 79

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	165	2421
1	408	2307
2	1255	2281
3	4618	2281
4	5717	2281

prune77.0ms (0.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	79	0	79
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	79	5	84

Error

4.8b

Counts

84 → 5

Alt Table

Status	Error	Program
	25.9b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 2 a)))
▶	18.5b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (.f64 b -2)) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))
✓	16.2b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 0 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))
	20.4b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (neg.f64 b)) (*.f64 2 a)))
	34.1b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (/.f64 (.f64 4 (.f64 c a)) (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))

Compiler

Compiled 2797 to 1650 computations (41% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (.f64 4 a) c)
0.6b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
1.5b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
18.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 1530 to 1275 computations (16.7% saved)

rewrite103.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

4.8b

Rules

10×	`*-un-lft-identity_binary64`
10×	`add-log-exp_binary64`
10×	`pow1_binary64`
9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`

Counts

4 → 60

Calls

4 calls:

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

Compiler

Compiled 2079 to 1267 computations (39.1% saved)

series162.0ms (1.3%)

Error

4.8b

Counts

4 → 58

Calls

4 calls:

45.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
41.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
34.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
14.0ms	(.f64 (.f64 4 a) c)

Compiler

Compiled 3647 to 2629 computations (27.9% saved)

simplify92.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

422×	`div-sub_binary64`
341×	`associate-/r*_binary64`
340×	`*-commutative_binary64`
279×	`associate-/l*_binary64`
251×	`cancel-sign-sub-inv_binary64`

Counts

118 → 87

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	153	1889
1	391	1783
2	1306	1780
3	4408	1780
4	5527	1780

prune64.0ms (0.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	85	2	87
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	87	5	92

Error

4.8b

Counts

92 → 5

Alt Table

Status	Error	Program
	25.9b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 2 a)))
▶	18.6b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (.f64 b -2)) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 (cbrt.f64 (.f64 4 (.f64 c a))) (cbrt.f64 (.f64 4 (.f64 c a)))) (cbrt.f64 (.f64 4 (.f64 c a))))))) (.f64 2 a)))
	22.2b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (.f64 b -2)) (/.f64 (.f64 b -2) (.f64 2 a)))
✓	16.2b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 0 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))
	34.1b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (/.f64 (.f64 4 (.f64 c a)) (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))

Compiler

Compiled 2059 to 1260 computations (38.8% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

14.1b	(cbrt.f64 (.f64 4 (.f64 c a)))
14.1b	(cbrt.f64 (.f64 4 (.f64 c a)))
14.1b	(cbrt.f64 (.f64 4 (.f64 c a)))
18.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 (cbrt.f64 (.f64 4 (.f64 c a))) (cbrt.f64 (.f64 4 (.f64 c a)))) (cbrt.f64 (.f64 4 (*.f64 c a))))))

Compiler

Compiled 1530 to 1275 computations (16.7% saved)

rewrite74.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

4.8b

Rules

6×	`add-sqr-sqrt_binary64`
5×	`*-un-lft-identity_binary64`
5×	`add-cube-cbrt_binary64`
5×	`pow1_binary64`
4×	`add-cbrt-cube_binary64`

Counts

4 → 42

Calls

4 calls:

3.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 (cbrt.f64 (.f64 4 (.f64 c a))) (cbrt.f64 (.f64 4 (.f64 c a)))) (cbrt.f64 (.f64 4 (*.f64 c a))))))
3.0ms	(cbrt.f64 (.f64 4 (.f64 c a)))
3.0ms	(cbrt.f64 (.f64 4 (.f64 c a)))
3.0ms	(cbrt.f64 (.f64 4 (.f64 c a)))

Compiler

Compiled 2256 to 1329 computations (41.1% saved)

series366.0ms (3%)

Error

4.8b

Counts

4 → 36

Calls

4 calls:

172.0ms	(cbrt.f64 (.f64 4 (.f64 c a)))
82.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 (cbrt.f64 (.f64 4 (.f64 c a))) (cbrt.f64 (.f64 4 (.f64 c a)))) (cbrt.f64 (.f64 4 (*.f64 c a))))))
42.0ms	(cbrt.f64 (.f64 4 (.f64 c a)))
41.0ms	(cbrt.f64 (.f64 4 (.f64 c a)))

Compiler

Compiled 4144 to 3006 computations (27.5% saved)

simplify50.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

648×	`associate-l_binary64`
646×	`associate-r_binary64`
645×	`times-frac_binary64`
271×	`associate-/l*_binary64`
253×	`associate-/r*_binary64`

Counts

78 → 47

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	128	1265
1	323	1217
2	859	1174
3	5154	1174

prune40.0ms (0.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	47	0	47
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	47	5	52

Error

4.8b

Counts

52 → 5

Alt Table

Status	Error	Program
	25.9b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (.f64 2 a)))
	18.6b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (.f64 b -2)) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 (cbrt.f64 (.f64 4 (.f64 c a))) (cbrt.f64 (.f64 4 (.f64 c a)))) (cbrt.f64 (.f64 4 (.f64 c a))))))) (.f64 2 a)))
	22.2b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (.f64 b -2)) (/.f64 (.f64 b -2) (.f64 2 a)))
	16.2b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (-.f64 0 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))
	34.1b	(if (>=.f64 b 0) (/.f64 (.f64 2 c) (/.f64 (.f64 4 (.f64 c a)) (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))) b))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))

Compiler

Compiled 1304 to 816 computations (37.4% saved)

regimes4.2s (35%)

Accuracy

Total 1.1b remaining (15.8%)

Threshold costs 0b (0%)

Compiler

Compiled 19374 to 12890 computations (33.5% saved)

bsearch252.0ms (2.1%)

Steps

Iters	Range		Point
9	8.235252469892569e+86	9.11408767003471e+93	5.577999191242217e+93
7	-4.368581419193219e+158	-1.8919106822707e+152	-3.422318262370561e+152

Compiler

Compiled 4 to 3 computations (25% saved)

simplify37.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

17×	`*-commutative_binary64`
15×	`+-commutative_binary64`
12×	`sub-neg_binary64`
9×	`neg-mul-1_binary64`
8×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	44	136
1	72	132
2	101	132
3	123	132
4	134	132
5	138	132
6	137	132

end7.0ms (0.1%)

Compiler: Compiled 92 to 61 computations (33.7% saved)

sample3.8s (31.5%)

Algorithm

1×

intervals

Results

2.4s	8000×	body	128	valid
228.0ms	672×	body	128	nan
130.0ms	359×	body	128	invalid

Compiler

Compiled 339 to 224 computations (33.9% saved)

Details

analyze962.0ms (8%)

sample45.0ms (0.4%)

simplify549.0ms (4.5%)

prune4.0ms (0%)

localize26.0ms (0.2%)

rewrite139.0ms (1.2%)

series214.0ms (1.8%)

simplify110.0ms (0.9%)

prune194.0ms (1.6%)

localize33.0ms (0.3%)

rewrite99.0ms (0.8%)

series209.0ms (1.7%)

simplify98.0ms (0.8%)

prune77.0ms (0.6%)

localize21.0ms (0.2%)

rewrite103.0ms (0.9%)

series162.0ms (1.3%)

simplify92.0ms (0.8%)

prune64.0ms (0.5%)

localize28.0ms (0.2%)

rewrite74.0ms (0.6%)

series366.0ms (3%)

simplify50.0ms (0.4%)

prune40.0ms (0.3%)

regimes4.2s (35%)

bsearch252.0ms (2.1%)

simplify37.0ms (0.3%)

end7.0ms (0.1%)

sample3.8s (31.5%)

Profiling