Details

analyze496.0ms (10%)

Algorithm

1×

Search

True	Other	False	Iter
0%	50%	50%	0
0%	50%	50%	1
25%	25%	50%	2
25%	25%	50%	3
31.2%	18.7%	50%	4
31.2%	18.7%	50%	5
34.3%	15.6%	50%	6
34.3%	15.6%	50%	7
35.9%	14%	50%	8
35.9%	14%	50%	9
36.7%	13.3%	50%	10
36.7%	13.3%	50%	11
37.1%	12.9%	50%	12
37.1%	12.9%	50%	13
37.3%	12.7%	50%	14

Compiler

Compiled 20 to 14 computations (30% saved)

sample47.0ms (0.9%)

Algorithm

1×

intervals

Results

12.0ms	195×	body	128	valid
6.0ms	21×	body	2048	valid
6.0ms	16×	body	4096	valid
5.0ms	256×	pre	128	true
3.0ms	14×	body	1024	valid
1.0ms	5×	body	512	valid
1.0ms	5×	body	256	valid

Compiler

Compiled 39 to 28 computations (28.2% saved)

simplify29.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

203×	`fma-def_binary64`
142×	`fma-neg_binary64`
51×	`distribute-rgt-in_binary64`
42×	`cancel-sign-sub-inv_binary64`
28×	`sub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	15
1	20	15
2	33	15
3	50	15
4	69	15
5	98	15
6	151	15
7	211	15
8	263	15
9	305	15
10	343	15
11	379	15
12	396	15
13	415	15
14	428	15
15	465	15
16	477	15
17	486	15
18	449	15

prune3.0ms (0.1%)

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

13.8b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	13.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))

Compiler

Compiled 51 to 37 computations (27.5% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
✓	0.0b	(hypot.f64 re im)
✓	1.0b	(-.f64 (hypot.f64 re im) re)

series76.0ms (1.5%)

Counts

3 → 56

Calls

3 calls:

48.0ms	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
15.0ms	(hypot.f64 re im)
13.0ms	(-.f64 (hypot.f64 re im) re)

rewrite13.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`*-un-lft-identity_binary64`
13×	`add-sqr-sqrt_binary64`
11×	`add-cube-cbrt_binary64`
9×	`prod-diff_binary64`
6×	`pow1_binary64`

Counts

3 → 55

Calls

3 calls:

7.0ms	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
3.0ms	(-.f64 (hypot.f64 re im) re)
0.0ms	(hypot.f64 re im)

simplify119.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

994×	`fma-neg_binary64`
747×	`times-frac_binary64`
413×	`cancel-sign-sub-inv_binary64`
173×	`fma-def_binary64`
158×	`sub-neg_binary64`

Counts

111 → 136

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	238	2332
1	611	2069
2	2078	1999
3	4466	1989
4	5015	1989

prune81.0ms (1.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	133	3	136
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	133	4	137

Error

0.3b

Counts

137 → 4

Alt Table

Status	Error	Program
▶	47.5b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))
	56.4b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))
✓	13.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))
	50.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 (fma.f64 1 (hypot.f64 re im) (neg.f64 (.f64 (sqrt.f64 re) (sqrt.f64 re)))) (fma.f64 (neg.f64 (sqrt.f64 re)) (sqrt.f64 re) (.f64 (sqrt.f64 re) (sqrt.f64 re)))))))

Compiler

Compiled 3269 to 2118 computations (35.2% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f64 (/.f64 1 re))
✓	0.1b	(.f64 (.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
✓	0.4b	(.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im))
✓	0.5b	(*.f64 (sqrt.f64 2) im)

series43.0ms (0.9%)

Counts

4 → 0

Calls

4 calls:

27.0ms	(.f64 (.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
6.0ms	(sqrt.f64 (/.f64 1 re))
6.0ms	(.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im))
3.0ms	(*.f64 (sqrt.f64 2) im)

rewrite30.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`sqrt-prod_binary64`
32×	`add-sqr-sqrt_binary64`
25×	`*-un-lft-identity_binary64`
24×	`add-cube-cbrt_binary64`
22×	`pow1_binary64`

Counts

4 → 114

Calls

4 calls:

12.0ms	(.f64 (.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
6.0ms	(.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im))
4.0ms	(*.f64 (sqrt.f64 2) im)
2.0ms	(sqrt.f64 (/.f64 1 re))

simplify106.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

468×	`associate-/l*_binary64`
420×	`*-commutative_binary64`
403×	`unswap-sqr_binary64`
271×	`sqr-pow_binary64`
214×	`associate-l_binary64`

Counts

114 → 143

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	121	1600
1	239	1498
2	789	1498
3	1286	1498
4	2620	1498
5	3060	1498
6	4473	1498
7	5012	1498

prune136.0ms (2.7%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	135	8	143
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	136	11	147

Error

0.1b

Counts

147 → 11

Alt Table

Status	Error	Program
	47.5b	(.f64 1/2 (.f64 (.f64 (.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 (sqrt.f64 re)))) (sqrt.f64 (/.f64 1 (sqrt.f64 re)))))
	47.5b	(.f64 1/2 (.f64 (sqrt.f64 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))) (sqrt.f64 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))))
✓	13.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))
▶	47.4b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) im))) (sqrt.f64 (/.f64 1 re))))
	47.6b	(.f64 1/2 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))) (cbrt.f64 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))) (cbrt.f64 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))))
	47.4b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 im)) (.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 im)))) (sqrt.f64 (/.f64 1 re))))
	50.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 (fma.f64 1 (hypot.f64 re im) (neg.f64 (.f64 (sqrt.f64 re) (sqrt.f64 re)))) (fma.f64 (neg.f64 (sqrt.f64 re)) (sqrt.f64 re) (.f64 (sqrt.f64 re) (sqrt.f64 re)))))))
	56.4b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))
	47.5b	(.f64 1/2 (.f64 (.f64 (.f64 (*.f64 (sqrt.f64 2) im) (sqrt.f64 1/2)) (fabs.f64 (cbrt.f64 (/.f64 1 re)))) (sqrt.f64 (cbrt.f64 (/.f64 1 re)))))
	47.7b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (expm1.f64 (log1p.f64 (.f64 (sqrt.f64 2) im)))) (sqrt.f64 (/.f64 1 re))))
	47.5b	(.f64 1/2 (.f64 (sqrt.f64 1/2) (.f64 (.f64 (sqrt.f64 2) im) (sqrt.f64 (/.f64 1 re)))))

Compiler

Compiled 3436 to 2897 computations (15.7% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) im))) (sqrt.f64 (/.f64 1 re)))
✓	0.2b	(*.f64 (sqrt.f64 (sqrt.f64 2)) im)
✓	0.3b	(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) im))
✓	0.4b	(.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) im)))

series43.0ms (0.9%)

Counts

4 → 36

Calls

4 calls:

27.0ms	(.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) im))) (sqrt.f64 (/.f64 1 re)))
8.0ms	(.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) im)))
5.0ms	(*.f64 (sqrt.f64 (sqrt.f64 2)) im)
3.0ms	(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) im))

rewrite49.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

37×	`sqrt-prod_binary64`
34×	`add-cbrt-cube_binary64`
34×	`add-exp-log_binary64`
34×	`pow1_binary64`
27×	`add-sqr-sqrt_binary64`

Counts

4 → 120

Calls

4 calls:

17.0ms	(.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) im))) (sqrt.f64 (/.f64 1 re)))
11.0ms	(.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) im)))
8.0ms	(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) im))
5.0ms	(*.f64 (sqrt.f64 (sqrt.f64 2)) im)

simplify105.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

746×	`associate-/l*_binary64`
609×	`*-commutative_binary64`
357×	`associate-/r*_binary64`
331×	`associate-l_binary64`
320×	`unswap-sqr_binary64`

Counts

156 → 166

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	140	2349
1	301	2120
2	1133	2120
3	1939	2120
4	4346	2120
5	5205	2120

prune128.0ms (2.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	162	4	166
Fresh	5	4	9
Picked	1	0	1
Done	0	1	1
Total	168	9	177

Error

0.1b

Counts

177 → 9

Alt Table

Status	Error	Program
	48.6b	(.f64 1/2 (.f64 (exp.f64 (+.f64 (log.f64 (sqrt.f64 1/2)) (+.f64 (log.f64 (sqrt.f64 (sqrt.f64 2))) (log.f64 (*.f64 (sqrt.f64 (sqrt.f64 2)) im))))) (sqrt.f64 (/.f64 1 re))))
	50.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 (fma.f64 1 (hypot.f64 re im) (neg.f64 (.f64 (sqrt.f64 re) (sqrt.f64 re)))) (fma.f64 (neg.f64 (sqrt.f64 re)) (sqrt.f64 re) (.f64 (sqrt.f64 re) (sqrt.f64 re)))))))
	47.5b	(.f64 1/2 (.f64 (sqrt.f64 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))) (sqrt.f64 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))))
	47.4b	(.f64 1/2 (.f64 (.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (sqrt.f64 2))) (*.f64 (sqrt.f64 (sqrt.f64 2)) im)) (sqrt.f64 (/.f64 1 re))))
✓	13.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))
	47.4b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 im)) (.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 im)))) (sqrt.f64 (/.f64 1 re))))
▶	47.4b	(.f64 1/2 (.f64 (sqrt.f64 1/2) (.f64 (.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) im)) (sqrt.f64 (/.f64 1 re)))))
	47.4b	(.f64 1/2 (/.f64 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) im))) (sqrt.f64 1)) (sqrt.f64 re)))
	47.7b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (expm1.f64 (log1p.f64 (.f64 (sqrt.f64 2) im)))) (sqrt.f64 (/.f64 1 re))))

Compiler

Compiled 4571 to 4024 computations (12% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) im)) (sqrt.f64 (/.f64 1 re)))
	0.2b	(*.f64 (sqrt.f64 (sqrt.f64 2)) im)
✓	0.2b	(.f64 (sqrt.f64 1/2) (.f64 (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) im)) (sqrt.f64 (/.f64 1 re))))
	0.3b	(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) im))

series47.0ms (0.9%)

Counts

2 → 24

Calls

2 calls:

27.0ms

(*.f64 (sqrt.f64 1/2) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) im)) (sqrt.f64 (/.f64 1 re))))

20.0ms

(*.f64 (*.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) im)) (sqrt.f64 (/.f64 1 re)))

rewrite37.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-cbrt-cube_binary64`
25×	`add-exp-log_binary64`
25×	`pow1_binary64`
17×	`associate-r_binary64`
16×	`sqrt-prod_binary64`

Counts

2 → 67

Calls

2 calls:

16.0ms

(*.f64 (sqrt.f64 1/2) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) im)) (sqrt.f64 (/.f64 1 re))))

14.0ms

(*.f64 (*.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) im)) (sqrt.f64 (/.f64 1 re)))

simplify81.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

560×	`*-commutative_binary64`
547×	`associate-/l*_binary64`
403×	`associate-*l/_binary64`
395×	`unswap-sqr_binary64`
329×	`associate-*r/_binary64`

Counts

91 → 93

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	108	1734
1	249	1548
2	1006	1548
3	1769	1548
4	4057	1548
5	5045	1548

prune146.0ms (2.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	166	2	168
Fresh	2	5	7
Picked	1	0	1
Done	0	1	1
Total	169	8	177

Error

0.1b

Counts

177 → 8

Alt Table

Status	Error	Program
	48.6b	(.f64 1/2 (.f64 (exp.f64 (+.f64 (log.f64 (sqrt.f64 1/2)) (+.f64 (log.f64 (sqrt.f64 (sqrt.f64 2))) (log.f64 (*.f64 (sqrt.f64 (sqrt.f64 2)) im))))) (sqrt.f64 (/.f64 1 re))))
	50.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 (fma.f64 1 (hypot.f64 re im) (neg.f64 (.f64 (sqrt.f64 re) (sqrt.f64 re)))) (fma.f64 (neg.f64 (sqrt.f64 re)) (sqrt.f64 re) (.f64 (sqrt.f64 re) (sqrt.f64 re)))))))
	48.7b	(.f64 1/2 (exp.f64 (+.f64 (log.f64 (sqrt.f64 1/2)) (+.f64 (log.f64 (.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) im))) (log.f64 (sqrt.f64 (/.f64 1 re)))))))
	47.5b	(.f64 1/2 (.f64 (sqrt.f64 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))) (sqrt.f64 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))))
	47.4b	(.f64 1/2 (.f64 (sqrt.f64 1/2) (.f64 (.f64 (*.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 (sqrt.f64 2))) im) (sqrt.f64 (/.f64 1 re)))))
	47.4b	(.f64 1/2 (.f64 (.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (sqrt.f64 2))) (*.f64 (sqrt.f64 (sqrt.f64 2)) im)) (sqrt.f64 (/.f64 1 re))))
✓	13.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))
	47.4b	(.f64 1/2 (/.f64 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) im))) (sqrt.f64 1)) (sqrt.f64 re)))

Compiler

Compiled 4425 to 3894 computations (12% saved)

regimes1.6s (31.2%)

Accuracy

Total 7.3b remaining (98%)

Threshold costs 0b (0%)

Counts

155 → 2

Compiler

Compiled 23607 to 20387 computations (13.6% saved)

bsearch28.0ms (0.6%)

Steps

Iters	Range		Point
5	0.004508886918637681	0.009655523632920484	0.007479677862419169

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`
2×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	52
1	35	52
2	39	52
3	41	52
4	42	52
5	41	52

end1.0ms (0%)

Compiler: Compiled 35 to 29 computations (17.1% saved)

sample1.5s (30.9%)

Algorithm

1×

intervals

Results

403.0ms	6086×	body	128	valid
200.0ms	639×	body	2048	valid
183.0ms	481×	body	4096	valid
127.0ms	8000×	pre	128	true
104.0ms	417×	body	1024	valid
45.0ms	239×	body	512	valid
17.0ms	138×	body	256	valid

Compiler

Compiled 244 to 201 computations (17.6% saved)

Iter	Nodes	Cost
0	13	15
1	20	15
2	33	15
3	50	15
4	69	15
5	98	15
6	151	15
7	211	15
8	263	15
9	305	15
10	343	15
11	379	15
12	396	15
13	415	15
14	428	15
15	465	15
16	477	15
17	486	15
18	449	15

Iter	Nodes	Cost
0	13	15
1	20	15
2	33	15
3	50	15
4	69	15
5	98	15
6	151	15
7	211	15
8	263	15
9	305	15
10	343	15
11	379	15
12	396	15
13	415	15
14	428	15
15	465	15
16	477	15
17	486	15
18	449	15

Details

analyze496.0ms (10%)

sample47.0ms (0.9%)

simplify29.0ms (0.6%)

prune3.0ms (0.1%)

localize6.0ms (0.1%)

series76.0ms (1.5%)

rewrite13.0ms (0.3%)

simplify119.0ms (2.4%)

prune81.0ms (1.6%)

localize11.0ms (0.2%)

series43.0ms (0.9%)

rewrite30.0ms (0.6%)

simplify106.0ms (2.1%)

prune136.0ms (2.7%)

localize11.0ms (0.2%)

series43.0ms (0.9%)

rewrite49.0ms (1%)

simplify105.0ms (2.1%)

prune128.0ms (2.6%)

localize11.0ms (0.2%)

series47.0ms (0.9%)

rewrite37.0ms (0.7%)

simplify81.0ms (1.6%)

prune146.0ms (2.9%)

regimes1.6s (31.2%)

bsearch28.0ms (0.6%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample1.5s (30.9%)

Profiling

Iter	Nodes	Cost
0	13	15
1	20	15
2	33	15
3	50	15
4	69	15
5	98	15
6	151	15
7	211	15
8	263	15
9	305	15
10	343	15
11	379	15
12	396	15
13	415	15
14	428	15
15	465	15
16	477	15
17	486	15
18	449	15