Details

analyze1.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	0%	50%	2

Compiler

Compiled 13 to 11 computations (15.4% saved)

sample1.8s (41.8%)

Results

874.0ms	2340×	body	1024	valid
491.0ms	4411×	body	128	valid
288.0ms	1003×	body	512	valid
94.0ms	502×	body	256	valid

Compiler

Compiled 38 to 32 computations (15.8% saved)

simplify11.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

39×	`fma-def_binary64`
32×	`fma-neg_binary64`
14×	`cancel-sign-sub-inv_binary64`
12×	`sub-neg_binary64`
10×	`distribute-rgt-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	14	17
2	20	17
3	28	17
4	36	17
5	54	17
6	79	17
7	96	17
8	113	17
9	123	17
10	127	17
11	129	17
12	115	17

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

21.7b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	21.7b	(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))

Compiler

Compiled 47 to 38 computations (19.1% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 1 (sqrt.f64 (+.f64 x 1)))
✓	0.3b	(/.f64 1 (sqrt.f64 x))
✓	2.9b	(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))

series25.0ms (0.6%)

Counts

3 → 4

Calls

3 calls:

10.0ms	(/.f64 1 (sqrt.f64 x))
9.0ms	(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
6.0ms	(/.f64 1 (sqrt.f64 (+.f64 x 1)))

rewrite98.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

776×	`prod-diff_binary64`
428×	`fma-def_binary64`
246×	`fma-neg_binary64`
170×	`log1p-udef_binary64`
169×	`expm1-udef_binary64`

Counts

3 → 168

Calls

3 calls:

94.0ms	(/.f64 1 (sqrt.f64 (+.f64 x 1)))
94.0ms	(/.f64 1 (sqrt.f64 x))
94.0ms	(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	32
1	205	24
2	2570	24
3	4757	24
4	4948	24

simplify123.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

695×	`fma-neg_binary64`
559×	`cancel-sign-sub-inv_binary64`
543×	`unsub-neg_binary64`
474×	`distribute-rgt-neg-in_binary64`
424×	`sub-neg_binary64`

Counts

172 → 175

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	18	47
1	51	43
2	122	39
3	330	31
4	1058	31
5	2093	31
6	3526	31
7	4139	31
8	4864	31
9	4949	31
10	5000	31
11	4802	31

prune248.0ms (5.8%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	158	17	175
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	159	17	176

Error

21.0b

Counts

176 → 17

Alt Table

Status	Error	Program
	34.1b	(fma.f64 (+.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)) (-.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)) (fma.f64 (neg.f64 (pow.f64 (pow.f64 (+.f64 1 x) 1/4) -1)) (pow.f64 (pow.f64 (+.f64 1 x) 1/4) -1) (pow.f64 (+.f64 1 x) -1/2)))
	33.8b	(fma.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 x) -1/2) (/.f64 -1 (sqrt.f64 (+.f64 1 x))))
	33.6b	(fma.f64 (*.f64 (cbrt.f64 (/.f64 -1 (sqrt.f64 (+.f64 1 x)))) (cbrt.f64 (/.f64 -1 (sqrt.f64 (+.f64 1 x))))) (cbrt.f64 (/.f64 -1 (sqrt.f64 (+.f64 1 x)))) (pow.f64 x -1/2))
	33.5b	(fma.f64 (cbrt.f64 (/.f64 1 (+.f64 1 x))) (neg.f64 (cbrt.f64 (pow.f64 (+.f64 1 x) -1/2))) (pow.f64 x -1/2))
	31.0b	(/.f64 (+.f64 (pow.f64 (sqrt.f64 x) -3) (pow.f64 (/.f64 -1 (sqrt.f64 (+.f64 1 x))) 3)) (+.f64 (/.f64 1 x) (-.f64 (.f64 (/.f64 -1 (sqrt.f64 (+.f64 1 x))) (/.f64 -1 (sqrt.f64 (+.f64 1 x)))) (.f64 (pow.f64 x -1/2) (/.f64 -1 (sqrt.f64 (+.f64 1 x)))))))
	32.4b	(+.f64 (fma.f64 (cbrt.f64 (pow.f64 x -1/2)) (cbrt.f64 (/.f64 1 x)) (neg.f64 (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1)) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1) (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1))))
▶	21.8b	(/.f64 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2)))
	33.6b	(+.f64 (fma.f64 -1 (/.f64 1 (neg.f64 (sqrt.f64 x))) (neg.f64 (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1)) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1) (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1))))
	25.3b	(-.f64 (/.f64 1 (sqrt.f64 x)) (pow.f64 (+.f64 1 x) -1/2))
	23.6b	(exp.f64 (log.f64 (-.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2))))
	21.9b	(*.f64 (+.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)) (-.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)))
	33.8b	(fma.f64 (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2) (neg.f64 (pow.f64 (sqrt.f64 (+.f64 1 x)) -1/2)) (pow.f64 x -1/2))
	34.2b	(fma.f64 (cbrt.f64 (pow.f64 x -1/2)) (cbrt.f64 (/.f64 1 x)) (/.f64 -1 (sqrt.f64 (+.f64 1 x))))
	33.8b	(fma.f64 (pow.f64 (pow.f64 x 1/4) -1) (pow.f64 (pow.f64 x 1/4) -1) (/.f64 -1 (sqrt.f64 (+.f64 1 x))))
	34.3b	(fma.f64 (pow.f64 (cbrt.f64 x) -1) (pow.f64 (cbrt.f64 (sqrt.f64 x)) -1) (/.f64 -1 (sqrt.f64 (+.f64 1 x))))
	33.8b	(+.f64 (fma.f64 (pow.f64 (sqrt.f64 x) -1/2) (pow.f64 (sqrt.f64 x) -1/2) (neg.f64 (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1)) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1) (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) -1) (pow.f64 (cbrt.f64 (+.f64 1 x)) -1))))
	29.0b	(/.f64 (-.f64 (/.f64 1 x) (*.f64 (/.f64 -1 (sqrt.f64 (+.f64 1 x))) (/.f64 -1 (sqrt.f64 (+.f64 1 x))))) (-.f64 (pow.f64 x -1/2) (/.f64 -1 (sqrt.f64 (+.f64 1 x)))))

Compiler

Compiled 4898 to 3962 computations (19.1% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 1 (+.f64 1 x))
✓	0.0b	(+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2))
✓	0.2b	(/.f64 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2)))
✓	2.9b	(-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x)))

series23.0ms (0.5%)

Counts

4 → 48

Calls

4 calls:

12.0ms	(/.f64 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2)))
5.0ms	(+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2))
4.0ms	(/.f64 1 (+.f64 1 x))
3.0ms	(-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x)))

rewrite84.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

347×	`fma-neg_binary64`
243×	`expm1-udef_binary64`
243×	`log1p-udef_binary64`
192×	`egg-rr`
147×	`log1p-expm1-u_binary64`

Counts

4 → 192

Calls

4 calls:

81.0ms	(/.f64 1 (+.f64 1 x))
80.0ms	(+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2))
80.0ms	(/.f64 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2)))
80.0ms	(-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x)))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	61
1	296	46
2	3890	46
3	4867	46

simplify73.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

826×	`fma-neg_binary64`
429×	`fma-def_binary64`
342×	`associate-+l+_binary64`
306×	`associate--l+_binary64`
271×	`associate-/r*_binary64`

Counts

240 → 264

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	156	1504
1	459	1439
2	1386	1274
3	4664	1268
4	5353	1268

prune236.0ms (5.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	260	4	264
Fresh	16	0	16
Picked	1	0	1
Done	0	0	0
Total	277	4	281

Error

5.9b

Counts

281 → 4

Alt Table

Status	Error	Program
	33.7b	(/.f64 (-.f64 (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))) (+.f64 (/.f64 1 (pow.f64 x 5)) (/.f64 1 (pow.f64 x 3)))) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2)))
	21.6b	(+.f64 (pow.f64 x -1/2) (neg.f64 (pow.f64 (+.f64 1 x) -1/2)))
	38.2b	(fma.f64 (sqrt.f64 (/.f64 1 (pow.f64 x 5))) -3/8 (fma.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 x 3))) (*.f64 5/16 (sqrt.f64 (/.f64 1 (pow.f64 x 7))))))
▶	21.3b	(/.f64 (/.f64 (/.f64 (-.f64 (+.f64 1 x) x) x) (+.f64 1 x)) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2)))

Compiler

Compiled 7245 to 5756 computations (20.6% saved)

localize12.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (/.f64 (-.f64 (+.f64 1 x) x) x) (+.f64 1 x))
	0.0b	(+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2))
✓	0.2b	(/.f64 (/.f64 (/.f64 (-.f64 (+.f64 1 x) x) x) (+.f64 1 x)) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2)))
✓	2.4b	(-.f64 (+.f64 1 x) x)

series22.0ms (0.5%)

Counts

3 → 36

Calls

3 calls:

19.0ms	(/.f64 (/.f64 (/.f64 (-.f64 (+.f64 1 x) x) x) (+.f64 1 x)) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2)))
2.0ms	(/.f64 (/.f64 (-.f64 (+.f64 1 x) x) x) (+.f64 1 x))
1.0ms	(-.f64 (+.f64 1 x) x)

rewrite78.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

567×	`fma-def_binary64`
351×	`fma-neg_binary64`
230×	`expm1-udef_binary64`
230×	`log1p-udef_binary64`
147×	`add-sqr-sqrt_binary64`

Counts

3 → 83

Calls

3 calls:

76.0ms	(/.f64 (/.f64 (-.f64 (+.f64 1 x) x) x) (+.f64 1 x))
76.0ms	(/.f64 (/.f64 (/.f64 (-.f64 (+.f64 1 x) x) x) (+.f64 1 x)) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2)))
76.0ms	(-.f64 (+.f64 1 x) x)

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	54
1	297	36
2	3878	36
3	5271	36

simplify64.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

534×	`associate-+l+_binary64`
487×	`fma-neg_binary64`
436×	`fma-def_binary64`
330×	`associate-/r*_binary64`
303×	`associate--l+_binary64`

Counts

119 → 121

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	136	1158
1	394	976
2	1233	877
3	4789	877
4	5176	877

prune182.0ms (4.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	176	4	180
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	178	6	184

Error

0.0b

Counts

184 → 6

Alt Table

Status	Error	Program
	33.7b	(/.f64 (-.f64 (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))) (+.f64 (/.f64 1 (pow.f64 x 5)) (/.f64 1 (pow.f64 x 3)))) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2)))
▶	0.1b	(*.f64 (/.f64 (pow.f64 x -1/2) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2))) (/.f64 (pow.f64 x -1/2) (+.f64 1 x)))
	38.2b	(fma.f64 (sqrt.f64 (/.f64 1 (pow.f64 x 5))) -3/8 (fma.f64 1/2 (sqrt.f64 (/.f64 1 (pow.f64 x 3))) (*.f64 5/16 (sqrt.f64 (/.f64 1 (pow.f64 x 7))))))
	0.5b	(.f64 (/.f64 1 x) (/.f64 1 (.f64 (+.f64 1 x) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2)))))
	5.6b	(/.f64 (*.f64 (/.f64 (pow.f64 x -1/2) 1) (/.f64 (pow.f64 x -1/2) (+.f64 1 x))) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2)))
	0.6b	(*.f64 (/.f64 (/.f64 1 x) (hypot.f64 (pow.f64 x -1/4) (pow.f64 (+.f64 1 x) -1/4))) (/.f64 (/.f64 1 (+.f64 1 x)) (hypot.f64 (pow.f64 x -1/4) (pow.f64 (+.f64 1 x) -1/4))))

Compiler

Compiled 5499 to 4297 computations (21.9% saved)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (pow.f64 x -1/2) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2)))
	0.0b	(+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2))
✓	0.0b	(*.f64 (/.f64 (pow.f64 x -1/2) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2))) (/.f64 (pow.f64 x -1/2) (+.f64 1 x)))
✓	0.1b	(/.f64 (pow.f64 x -1/2) (+.f64 1 x))

series68.0ms (1.6%)

Counts

3 → 8

Calls

3 calls:

28.0ms

(/.f64 (pow.f64 x -1/2) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2)))

26.0ms

(*.f64 (/.f64 (pow.f64 x -1/2) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2))) (/.f64 (pow.f64 x -1/2) (+.f64 1 x)))

13.0ms

(/.f64 (pow.f64 x -1/2) (+.f64 1 x))

rewrite80.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

782×	`prod-diff_binary64`
127×	`add-sqr-sqrt_binary64`
126×	`egg-rr`
125×	`log1p-expm1-u_binary64`
125×	`expm1-log1p-u_binary64`

Counts

3 → 126

Calls

3 calls:

78.0ms

(/.f64 (pow.f64 x -1/2) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2)))

78.0ms

(*.f64 (/.f64 (pow.f64 x -1/2) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2))) (/.f64 (pow.f64 x -1/2) (+.f64 1 x)))

78.0ms

(/.f64 (pow.f64 x -1/2) (+.f64 1 x))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	60
1	259	54
2	3557	54
3	5042	54

simplify66.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

514×	`associate-+l+_binary64`
445×	`sub-neg_binary64`
388×	`associate-+r+_binary64`
378×	`fma-def_binary64`
375×	`fma-neg_binary64`

Counts

134 → 141

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	97	683
1	283	503
2	921	466
3	4185	466
4	4989	466
5	4950	466

prune249.0ms (5.9%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	196	4	200
Fresh	4	1	5
Picked	1	0	1
Done	0	0	0
Total	201	5	206

Error

Counts

206 → 5

Alt Table

Status	Error	Program
	0.1b	(/.f64 (*.f64 (neg.f64 (pow.f64 x -1/2)) (/.f64 (pow.f64 x -1/2) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 x 1) -1/2)))) (neg.f64 (+.f64 x 1)))
	0.4b	(/.f64 (pow.f64 x -1) (*.f64 (+.f64 x 1) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 x 1) -1/2))))
	33.7b	(/.f64 (-.f64 (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))) (+.f64 (/.f64 1 (pow.f64 x 5)) (/.f64 1 (pow.f64 x 3)))) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2)))
	0.2b	(.f64 (/.f64 (pow.f64 x -1/2) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2))) (.f64 (pow.f64 x -1/2) (/.f64 1 (+.f64 x 1))))
	0.3b	(*.f64 (/.f64 (pow.f64 x -1/2) (+.f64 (pow.f64 x -1/2) (pow.f64 (+.f64 1 x) -1/2))) (pow.f64 (/.f64 (+.f64 x 1) (pow.f64 x -1/2)) -1))

Compiler

Compiled 5821 to 4603 computations (20.9% saved)

regimes529.0ms (12.5%)

Accuracy

Total 0.1b remaining (88%)

Threshold costs 0.1b (88%)

Counts

246 → 1

Compiler

Compiled 10990 to 8796 computations (20% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`+-commutative_binary64`
8×	`*-commutative_binary64`
6×	`sub-neg_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	13	35
1	28	35
2	42	33
3	55	33
4	61	33
5	63	33
6	61	33

end159.0ms (3.7%)

Compiler: Compiled 170 to 135 computations (20.6% saved)

Iter	Nodes	Cost
0	9	17
1	14	17
2	20	17
3	28	17
4	36	17
5	54	17
6	79	17
7	96	17
8	113	17
9	123	17
10	127	17
11	129	17
12	115	17

Iter	Nodes	Cost
0	9	17
1	14	17
2	20	17
3	28	17
4	36	17
5	54	17
6	79	17
7	96	17
8	113	17
9	123	17
10	127	17
11	129	17
12	115	17

Details

analyze1.0ms (0%)

sample1.8s (41.8%)

simplify11.0ms (0.3%)

prune2.0ms (0.1%)

localize9.0ms (0.2%)

series25.0ms (0.6%)

rewrite98.0ms (2.3%)

simplify123.0ms (2.9%)

prune248.0ms (5.8%)

localize14.0ms (0.3%)

series23.0ms (0.5%)

rewrite84.0ms (2%)

simplify73.0ms (1.7%)

prune236.0ms (5.6%)

localize12.0ms (0.3%)

series22.0ms (0.5%)

rewrite78.0ms (1.8%)

simplify64.0ms (1.5%)

prune182.0ms (4.3%)

localize11.0ms (0.3%)

series68.0ms (1.6%)

rewrite80.0ms (1.9%)

simplify66.0ms (1.6%)

prune249.0ms (5.9%)

regimes529.0ms (12.5%)

simplify4.0ms (0.1%)

end159.0ms (3.7%)

Profiling

Iter	Nodes	Cost
0	9	17
1	14	17
2	20	17
3	28	17
4	36	17
5	54	17
6	79	17
7	96	17
8	113	17
9	123	17
10	127	17
11	129	17
12	115	17