Details

analyze611.0ms (7.6%)

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)

sample134.0ms (1.7%)

Algorithm

1×

intervals

Results

11.0ms	31×	body	2048	valid
11.0ms	168×	body	128	valid
10.0ms	32×	body	1024	valid
3.0ms	7×	body	4096	valid
2.0ms	13×	body	512	valid
2.0ms	27×	body	128	nan
1.0ms	15×	body	128	invalid
1.0ms	5×	body	256	valid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify356.0ms (4.4%)

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.1%)

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

32.6b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
✓	0.6b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
✓	1.0b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
✓	20.5b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

series207.0ms (2.6%)

Counts

4 → 96

Calls

4 calls:

94.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
54.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
48.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
10.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

rewrite30.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64`
11×	`add-sqr-sqrt_binary64`
10×	`fma-def_binary64`
10×	`add-cube-cbrt_binary64`
10×	`add-log-exp_binary64`

Counts

4 → 90

Calls

4 calls:

11.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
7.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.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))

simplify132.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

683×	`fma-neg_binary64`
340×	`cancel-sign-sub-inv_binary64`
242×	`distribute-rgt-neg-in_binary64`
156×	`associate-r_binary64`
151×	`distribute-rgt-neg-out_binary64`

Counts

186 → 207

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	259	4286
1	716	3943
2	2528	3797
3	4700	3771
4	5026	3771

prune168.0ms (2.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	196	11	207
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	197	12	209

Error

5.9b

Counts

209 → 12

Alt Table

Status	Error	Program
	45.3b	(/.f64 (.f64 -2 b) (.f64 3 a))
▶	32.7b	(/.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))) 3) a)
	57.7b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a))
	46.2b	(fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b)))
	37.2b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (*.f64 3 a))
	35.5b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) a)))
	50.0b	(/.f64 (fma.f64 (/.f64 (.f64 c a) b) -3/2 (fma.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) -27/16 (.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) -9/8))) (*.f64 3 a))
	33.1b	(/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (/.f64 (.f64 3 a) (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))))))
	40.6b	(*.f64 -1/2 (/.f64 c b))
	32.7b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	35.8b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) 3) (/.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) a))
	45.6b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))

Compiler

Compiled 5855 to 3460 computations (40.9% saved)

localize12.0ms (0.2%)

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))
	1.0b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
	20.5b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

series5.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

5.0ms

(*.f64 (*.f64 3 a) c)

rewrite5.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
6×	`pow1_binary64`
3×	`associate-r_binary64`
3×	`cbrt-unprod_binary64`

Counts

1 → 20

Calls

1 calls:

4.0ms

(*.f64 (*.f64 3 a) c)

simplify79.0ms (1%)

Algorithm

1×	egg-herbie

Rules

578×	`associate-l_binary64`
477×	`unswap-sqr_binary64`
383×	`associate-r_binary64`
351×	`*-commutative_binary64`
334×	`log-div_binary64`

Counts

44 → 28

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	45	380
1	99	344
2	366	344
3	1031	344
4	1241	344
5	1501	344
6	1934	344
7	4036	344
8	4924	344
9	5048	344

prune128.0ms (1.6%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	167	1	168
Fresh	1	10	11
Picked	0	1	1
Done	0	0	0
Total	168	12	180

Error

5.9b

Counts

180 → 12

Alt Table

Status	Error	Program
	45.3b	(/.f64 (.f64 -2 b) (.f64 3 a))
✓	32.7b	(/.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))) 3) a)
	46.2b	(fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b)))
	37.2b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (*.f64 3 a))
	35.5b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) a)))
	50.1b	(/.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (*.f64 b b))) 3) a)
	50.0b	(/.f64 (fma.f64 (/.f64 (.f64 c a) b) -3/2 (fma.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) -27/16 (.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) -9/8))) (*.f64 3 a))
	33.1b	(/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (/.f64 (.f64 3 a) (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))))))
	40.6b	(*.f64 -1/2 (/.f64 c b))
▶	32.7b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	35.8b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) 3) (/.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) a))
	45.6b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))

Compiler

Compiled 4632 to 2712 computations (41.5% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
✓	0.4b	(/.f64 1/3 a)
✓	1.0b	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)
✓	20.5b	(sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))

series202.0ms (2.5%)

Counts

4 → 60

Calls

4 calls:

96.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
58.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)
46.0ms	(sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))
2.0ms	(/.f64 1/3 a)

rewrite26.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`add-sqr-sqrt_binary64`
40×	`*-un-lft-identity_binary64`
36×	`add-cube-cbrt_binary64`
19×	`times-frac_binary64`
18×	`prod-diff_binary64`

Counts

4 → 128

Calls

4 calls:

8.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
4.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)
3.0ms	(/.f64 1/3 a)
1.0ms	(sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))

simplify142.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

446×	`fma-neg_binary64`
318×	`distribute-rgt-in_binary64`
276×	`cancel-sign-sub-inv_binary64`
271×	`neg-mul-1_binary64`
161×	`associate-r_binary64`

Counts

188 → 240

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	295	5224
1	709	4328
2	2581	4143
3	4488	4131
4	4864	4131

prune188.0ms (2.3%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	237	3	240
Fresh	2	8	10
Picked	0	1	1
Done	1	0	1
Total	240	12	252

Error

5.9b

Counts

252 → 12

Alt Table

Status	Error	Program
	45.3b	(/.f64 (.f64 -2 b) (.f64 3 a))
	46.2b	(fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b)))
	37.2b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (*.f64 3 a))
	35.5b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) a)))
	48.8b	(.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b) (/.f64 1 (sqrt.f64 a))) (/.f64 1/3 (sqrt.f64 a)))
	50.1b	(/.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (*.f64 b b))) 3) a)
	35.8b	(.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) (*.f64 (cbrt.f64 (/.f64 1/3 a)) (cbrt.f64 (/.f64 1/3 a)))) (cbrt.f64 (/.f64 1/3 a)))
	33.1b	(/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (/.f64 (.f64 3 a) (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))))))
	40.6b	(*.f64 -1/2 (/.f64 c b))
✓	32.7b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
▶	32.0b	(/.f64 (.f64 (+.f64 (.f64 a (.f64 c -3)) 0) (/.f64 1/3 a)) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b))
	45.6b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))

Compiler

Compiled 6707 to 3954 computations (41% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(.f64 a (.f64 c -3))
✓	0.9b	(+.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)
✓	13.4b	(.f64 (+.f64 (.f64 a (*.f64 c -3)) 0) (/.f64 1/3 a))
	20.5b	(sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))

series67.0ms (0.8%)

Counts

3 → 68

Calls

3 calls:

59.0ms	(+.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)
5.0ms	(.f64 a (.f64 c -3))
3.0ms	(.f64 (+.f64 (.f64 a (*.f64 c -3)) 0) (/.f64 1/3 a))

rewrite22.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64`
16×	`*-un-lft-identity_binary64`
14×	`associate-r_binary64`
14×	`add-cube-cbrt_binary64`
13×	`add-cbrt-cube_binary64`

Counts

3 → 78

Calls

3 calls:

11.0ms	(.f64 (+.f64 (.f64 a (*.f64 c -3)) 0) (/.f64 1/3 a))
4.0ms	(.f64 a (.f64 c -3))
3.0ms	(+.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)

simplify115.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

416×	`fma-neg_binary64`
341×	`distribute-rgt-in_binary64`
300×	`associate-l_binary64`
262×	`associate-r_binary64`
249×	`distribute-lft-in_binary64`

Counts

146 → 149

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	205	2053
1	509	1859
2	2358	1823
3	4490	1823
4	4987	1823
5	4854	1823

prune178.0ms (2.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	191	2	193
Fresh	2	8	10
Picked	1	0	1
Done	0	1	1
Total	194	11	205

Error

5.8b

Counts

205 → 11

Alt Table

Status	Error	Program
	35.8b	(.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) (*.f64 (cbrt.f64 (/.f64 1/3 a)) (cbrt.f64 (/.f64 1/3 a)))) (cbrt.f64 (/.f64 1/3 a)))
	29.1b	(/.f64 (neg.f64 c) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b))
	45.3b	(/.f64 (.f64 -2 b) (.f64 3 a))
	46.2b	(fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b)))
	37.2b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (*.f64 3 a))
	35.5b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) a)))
	32.0b	(/.f64 (.f64 (.f64 c (.f64 a -3)) (/.f64 1/3 a)) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b))
	33.1b	(/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (/.f64 (.f64 3 a) (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))))))
	40.6b	(*.f64 -1/2 (/.f64 c b))
✓	32.7b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	45.6b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))

Compiler

Compiled 6281 to 3952 computations (37.1% saved)

regimes3.2s (40.2%)

Accuracy

Total 1.4b remaining (20.9%)

Threshold costs 0b (0%)

Counts

212 → 4

Compiler

Compiled 26658 to 18440 computations (30.8% saved)

bsearch117.0ms (1.5%)

Steps

Iters	Range	Point
8	2.0899361396080252e+50	1.0366236039206212e+55	8.68809347721397e+54
9	-1.4231637270803427e-255	-6.03583731510766e-261	-9.85258107206253e-259
11	-4.722199227118197e+175	-1.373014230936203e+153	-1.6639797539343423e+153

Iters

Range

Point

2.0899361396080252e+50

1.0366236039206212e+55

8.68809347721397e+54

-1.4231637270803427e-255

-6.03583731510766e-261

-9.85258107206253e-259

-4.722199227118197e+175

-1.373014230936203e+153

-1.6639797539343423e+153

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

11×	`*-commutative_binary64`
9×	`+-commutative_binary64`
7×	`sub-neg_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	37	82
1	57	80
2	77	80
3	87	80
4	92	80
5	93	80
6	92	80

end1.0ms (0%)

Compiler: Compiled 57 to 37 computations (35.1% saved)

sample1.8s (22.8%)

Algorithm

1×

intervals

Results

470.0ms	1166×	body	2048	valid
366.0ms	5150×	body	128	valid
192.0ms	741×	body	1024	valid
164.0ms	397×	body	4096	valid
71.0ms	365×	body	512	valid
41.0ms	641×	body	128	nan
24.0ms	364×	body	128	invalid
23.0ms	181×	body	256	valid

Compiler

Compiled 292 to 202 computations (30.8% saved)

Details

analyze611.0ms (7.6%)

sample134.0ms (1.7%)

simplify356.0ms (4.4%)

prune4.0ms (0.1%)

localize11.0ms (0.1%)

series207.0ms (2.6%)

rewrite30.0ms (0.4%)

simplify132.0ms (1.6%)

prune168.0ms (2.1%)

localize12.0ms (0.2%)

series5.0ms (0.1%)

rewrite5.0ms (0.1%)

simplify79.0ms (1%)

prune128.0ms (1.6%)

localize10.0ms (0.1%)

series202.0ms (2.5%)

rewrite26.0ms (0.3%)

simplify142.0ms (1.8%)

prune188.0ms (2.3%)

localize13.0ms (0.2%)

series67.0ms (0.8%)

rewrite22.0ms (0.3%)

simplify115.0ms (1.4%)

prune178.0ms (2.2%)

regimes3.2s (40.2%)

bsearch117.0ms (1.5%)

simplify5.0ms (0.1%)

end1.0ms (0%)

sample1.8s (22.8%)

Profiling