Details

analyze430.0ms (8.6%)

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)

sample1.9s (37.2%)

Results

861.0ms	6300×	body	128	valid
346.0ms	527×	body	4096	valid
326.0ms	653×	body	2048	valid
179.0ms	426×	body	1024	valid
71.0ms	227×	body	512	valid
25.0ms	123×	body	256	valid

Compiler

Compiled 57 to 40 computations (29.8% saved)

simplify28.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

prune5.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

12.9b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	12.9b	(.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	(*.f64 2 (-.f64 (hypot.f64 re im) re))
✓	0.1b	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
✓	0.7b	(-.f64 (hypot.f64 re im) re)

series80.0ms (1.6%)

Counts

3 → 56

Calls

3 calls:

47.0ms	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
18.0ms	(*.f64 2 (-.f64 (hypot.f64 re im) re))
14.0ms	(-.f64 (hypot.f64 re im) re)

rewrite26.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`add-sqr-sqrt_binary64`
31×	`*-un-lft-identity_binary64`
27×	`prod-diff_binary64`
27×	`add-cube-cbrt_binary64`
13×	`distribute-lft-in_binary64`

Counts

3 → 95

Calls

3 calls:

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

simplify142.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

852×	`times-frac_binary64`
478×	`cancel-sign-sub-inv_binary64`
362×	`fma-neg_binary64`
184×	`sub-neg_binary64`
180×	`fma-def_binary64`

Counts

151 → 183

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	301	2977
1	726	2646
2	2432	2548
3	4822	2548
4	4856	2548
5	5000	2548
6	4892	2548

prune131.0ms (2.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	177	6	183
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	177	7	184

Error

0.2b

Counts

184 → 7

Alt Table

Status	Error	Program
	53.4b	(.f64 1/2 (fma.f64 (sqrt.f64 1/2) (.f64 (.f64 im (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re))) (.f64 (.f64 (/.f64 (.f64 (pow.f64 im 3) (sqrt.f64 2)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 5)))) -1/16)))
✓	12.9b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))
	14.6b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
▶	13.2b	(.f64 1/2 (sqrt.f64 (.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 2) (-.f64 (hypot.f64 re im) re)))))
	48.1b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))
	56.7b	(.f64 1/2 (sqrt.f64 (-.f64 (+.f64 (.f64 1/8 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (/.f64 (pow.f64 im 2) re)) (*.f64 1/4 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))))
	56.5b	(.f64 1/2 (sqrt.f64 (fma.f64 im (/.f64 im re) (.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) -1/4))))

Compiler

Compiled 4415 to 2602 computations (41.1% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f64 (.f64 (sqrt.f64 2) (.f64 (sqrt.f64 2) (-.f64 (hypot.f64 re im) re))))
✓	0.3b	(*.f64 (sqrt.f64 2) (-.f64 (hypot.f64 re im) re))
✓	0.3b	(.f64 (sqrt.f64 2) (.f64 (sqrt.f64 2) (-.f64 (hypot.f64 re im) re)))
	0.7b	(-.f64 (hypot.f64 re im) re)

series100.0ms (2%)

Counts

3 → 56

Calls

3 calls:

44.0ms	(sqrt.f64 (.f64 (sqrt.f64 2) (.f64 (sqrt.f64 2) (-.f64 (hypot.f64 re im) re))))
29.0ms	(.f64 (sqrt.f64 2) (.f64 (sqrt.f64 2) (-.f64 (hypot.f64 re im) re)))
26.0ms	(*.f64 (sqrt.f64 2) (-.f64 (hypot.f64 re im) re))

rewrite44.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

65×	`distribute-lft-in_binary64`
65×	`distribute-rgt-in_binary64`
56×	`add-sqr-sqrt_binary64`
54×	`prod-diff_binary64`
52×	`*-un-lft-identity_binary64`

Counts

3 → 147

Calls

3 calls:

13.0ms	(sqrt.f64 (.f64 (sqrt.f64 2) (.f64 (sqrt.f64 2) (-.f64 (hypot.f64 re im) re))))
9.0ms	(.f64 (sqrt.f64 2) (.f64 (sqrt.f64 2) (-.f64 (hypot.f64 re im) re)))
8.0ms	(*.f64 (sqrt.f64 2) (-.f64 (hypot.f64 re im) re))

simplify140.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

617×	`fma-neg_binary64`
515×	`cancel-sign-sub-inv_binary64`
338×	`associate-r_binary64`
324×	`associate-l_binary64`
226×	`*-commutative_binary64`

Counts

203 → 247

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	403	4466
1	887	4068
2	3254	3751
3	4891	3751
4	4946	3751

prune218.0ms (4.4%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	310	2	312
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	310	9	319

Error

0.2b

Counts

319 → 9

Alt Table

Status	Error	Program
	53.4b	(.f64 1/2 (fma.f64 (sqrt.f64 1/2) (.f64 (.f64 im (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re))) (.f64 (.f64 (/.f64 (.f64 (pow.f64 im 3) (sqrt.f64 2)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 5)))) -1/16)))
✓	12.9b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))
▶	14.6b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
✓	13.2b	(.f64 1/2 (sqrt.f64 (.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 2) (-.f64 (hypot.f64 re im) re)))))
	56.8b	(.f64 1/2 (sqrt.f64 (.f64 (sqrt.f64 2) (.f64 (sqrt.f64 2) (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (fma.f64 1/2 (/.f64 (.f64 im im) re) (*.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) -1/8)))))))
	48.1b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))
	53.4b	(.f64 1/2 (fma.f64 (.f64 (sqrt.f64 2) im) (.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 1 re))) (.f64 (.f64 (/.f64 (.f64 (sqrt.f64 2) (pow.f64 im 3)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 5)))) -1/16)))
	56.7b	(.f64 1/2 (sqrt.f64 (-.f64 (+.f64 (.f64 1/8 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (/.f64 (pow.f64 im 2) re)) (*.f64 1/4 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))))
	56.5b	(.f64 1/2 (sqrt.f64 (fma.f64 im (/.f64 im re) (.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) -1/4))))

Compiler

Compiled 9061 to 5715 computations (36.9% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))
✓	0.0b	(sqrt.f64 (hypot.f64 re im))
✓	0.1b	(sqrt.f64 (*.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))))
✓	14.3b	(fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))

series185.0ms (3.7%)

Counts

4 → 36

Calls

4 calls:

86.0ms	(sqrt.f64 (*.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))))
42.0ms	(*.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))
38.0ms	(fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))
19.0ms	(sqrt.f64 (hypot.f64 re im))

rewrite8.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 60

Calls

4 calls:

3.0ms	(*.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))
2.0ms	(sqrt.f64 (*.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))))
1.0ms	(sqrt.f64 (hypot.f64 re im))
0.0ms	(fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))

simplify80.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

722×	`fma-def_binary64`
373×	`associate-/l*_binary64`
362×	`times-frac_binary64`
356×	`cancel-sign-sub-inv_binary64`
356×	`fma-neg_binary64`

Counts

96 → 153

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	249	1957
1	638	1771
2	1918	1711
3	4865	1706
4	5004	1706

prune120.0ms (2.4%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	181	2	183
Fresh	1	5	6
Picked	0	1	1
Done	0	2	2
Total	182	10	192

Error

0.2b

Counts

192 → 10

Alt Table

Status	Error	Program
	53.4b	(.f64 1/2 (fma.f64 (sqrt.f64 1/2) (.f64 (.f64 im (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re))) (.f64 (.f64 (/.f64 (.f64 (pow.f64 im 3) (sqrt.f64 2)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 5)))) -1/16)))
✓	12.9b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))
✓	14.6b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
✓	13.2b	(.f64 1/2 (sqrt.f64 (.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 2) (-.f64 (hypot.f64 re im) re)))))
	56.8b	(.f64 1/2 (sqrt.f64 (.f64 (sqrt.f64 2) (.f64 (sqrt.f64 2) (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (fma.f64 1/2 (/.f64 (.f64 im im) re) (*.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) -1/8)))))))
	48.1b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))
	53.4b	(.f64 1/2 (fma.f64 (.f64 (sqrt.f64 2) im) (.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 1 re))) (.f64 (.f64 (/.f64 (.f64 (sqrt.f64 2) (pow.f64 im 3)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 5)))) -1/16)))
▶	18.2b	(*.f64 1/2 (sqrt.f64 (exp.f64 (+.f64 (log.f64 2) (log.f64 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))))
	55.7b	(.f64 1/2 (sqrt.f64 (.f64 2 (.f64 1/2 (/.f64 (.f64 im im) re)))))
	56.5b	(.f64 1/2 (sqrt.f64 (fma.f64 im (/.f64 im re) (.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) -1/4))))

Compiler

Compiled 4898 to 2853 computations (41.8% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f64 (exp.f64 (+.f64 (log.f64 2) (log.f64 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))))))
✓	0.2b	(+.f64 (log.f64 2) (log.f64 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))))
✓	4.9b	(exp.f64 (+.f64 (log.f64 2) (log.f64 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
	14.3b	(fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))

series281.0ms (5.6%)

Counts

3 → 30

Calls

3 calls:

137.0ms

(sqrt.f64 (exp.f64 (+.f64 (log.f64 2) (log.f64 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))))))

75.0ms

(exp.f64 (+.f64 (log.f64 2) (log.f64 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))

70.0ms

(+.f64 (log.f64 2) (log.f64 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))))

rewrite18.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`*-un-lft-identity_binary64`
17×	`pow1_binary64`
14×	`exp-prod_binary64`
13×	`log-pow_binary64`
12×	`distribute-lft-out_binary64`

Counts

3 → 69

Calls

3 calls:

7.0ms

(sqrt.f64 (exp.f64 (+.f64 (log.f64 2) (log.f64 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))))))

4.0ms

(exp.f64 (+.f64 (log.f64 2) (log.f64 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))

3.0ms

(+.f64 (log.f64 2) (log.f64 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))))

simplify101.0ms (2%)

Algorithm

1×	egg-herbie

Rules

645×	`fma-def_binary64`
326×	`cancel-sign-sub-inv_binary64`
286×	`fma-neg_binary64`
172×	`distribute-rgt-in_binary64`
169×	`sub-neg_binary64`

Counts

99 → 153

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	266	3358
1	651	2236
2	2543	2098
3	4564	2090
4	5019	2090

prune147.0ms (2.9%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	184	3	187
Fresh	2	4	6
Picked	1	0	1
Done	0	3	3
Total	187	10	197

Error

0.2b

Counts

197 → 10

Alt Table

Status	Error	Program
	53.4b	(.f64 1/2 (fma.f64 (sqrt.f64 1/2) (.f64 (.f64 im (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re))) (.f64 (.f64 (/.f64 (.f64 (pow.f64 im 3) (sqrt.f64 2)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 5)))) -1/16)))
✓	12.9b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))
	19.5b	(.f64 1/2 (pow.f64 (exp.f64 (.f64 (cbrt.f64 (+.f64 (log.f64 2) (log.f64 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))))) (cbrt.f64 (+.f64 (log.f64 2) (log.f64 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))))))) (/.f64 (cbrt.f64 (log.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))) 2)))
	48.1b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))
✓	14.6b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
✓	13.2b	(.f64 1/2 (sqrt.f64 (.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 2) (-.f64 (hypot.f64 re im) re)))))
	56.8b	(.f64 1/2 (sqrt.f64 (.f64 (sqrt.f64 2) (.f64 (sqrt.f64 2) (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (fma.f64 1/2 (/.f64 (.f64 im im) re) (*.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) -1/8)))))))
	53.4b	(.f64 1/2 (fma.f64 (.f64 (sqrt.f64 2) im) (.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 1 re))) (.f64 (.f64 (/.f64 (.f64 (sqrt.f64 2) (pow.f64 im 3)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 5)))) -1/16)))
	53.9b	(*.f64 1/2 (sqrt.f64 (exp.f64 (fma.f64 (log.f64 im) 2 (+.f64 (log.f64 2) (log.f64 (/.f64 1/2 re)))))))
	55.6b	(.f64 1/2 (sqrt.f64 (.f64 2 (.f64 (.f64 im im) (/.f64 1/2 re)))))

Compiler

Compiled 5669 to 3348 computations (40.9% saved)

regimes630.0ms (12.6%)

Accuracy

Total 5.9b remaining (96.1%)

Threshold costs 0b (0%)

Counts

59 → 2

Compiler

Compiled 9109 to 6926 computations (24% saved)

bsearch2.0ms (0%)

Compiler: Compiled 12 to 7 computations (41.7% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	57
1	39	57
2	44	57
3	46	57
4	47	57
5	46	57

end182.0ms (3.6%)

Compiler: Compiled 325 to 247 computations (24% 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

analyze430.0ms (8.6%)

sample1.9s (37.2%)

simplify28.0ms (0.6%)

prune5.0ms (0.1%)

localize6.0ms (0.1%)

series80.0ms (1.6%)

rewrite26.0ms (0.5%)

simplify142.0ms (2.8%)

prune131.0ms (2.6%)

localize9.0ms (0.2%)

series100.0ms (2%)

rewrite44.0ms (0.9%)

simplify140.0ms (2.8%)

prune218.0ms (4.4%)

localize8.0ms (0.2%)

series185.0ms (3.7%)

rewrite8.0ms (0.2%)

simplify80.0ms (1.6%)

prune120.0ms (2.4%)

localize13.0ms (0.3%)

series281.0ms (5.6%)

rewrite18.0ms (0.4%)

simplify101.0ms (2%)

prune147.0ms (2.9%)

regimes630.0ms (12.6%)

bsearch2.0ms (0%)

simplify3.0ms (0.1%)

end182.0ms (3.6%)

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