Details

analyze1.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
99.9%	0%	0.1%	1

Compiler

Compiled 10 to 7 computations (30% saved)

sample6.4s (63.5%)

Results

3.1s	3583×	body	1024	valid
2.1s	1250×	body	2048	valid
621.0ms	1449×	body	512	valid
295.0ms	616×	body	256	valid
200.0ms	1354×	body	128	valid
9.0ms	4×	body	4096	valid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify11.0ms (0.1%)

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 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	29	11
5	46	11
6	72	11
7	93	11
8	110	11
9	120	11
10	124	11
11	126	11
12	112	11

prune4.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

37.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	37.1b	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	1.2b	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
✓	4.2b	(sin.f64 (+.f64 x eps))

series12.0ms (0.1%)

Counts

2 → 48

Calls

2 calls:

7.0ms	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
4.0ms	(sin.f64 (+.f64 x eps))

rewrite110.0ms (1.1%)

Algorithm

2×	egg-rewrite

Rules

112×	`egg`
24×	`egg`

Counts

2 → 136

Calls

2 calls:

62.0ms	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
46.0ms	(sin.f64 (+.f64 x eps))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	6
1	115	6
2	1554	6
3	5099	6
0	7	11
1	173	11
2	2539	11
3	5359	11

simplify79.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

830×	`sub-neg_binary64`
730×	`fma-neg_binary64`
266×	`cancel-sign-sub-inv_binary64`
264×	`associate-+l-_binary64`
245×	`distribute-rgt-neg-in_binary64`

Counts

184 → 165

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	53	602
1	170	587
2	523	572
3	1688	569
4	4695	565
5	5641	565

prune123.0ms (1.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	158	7	165
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	159	7	166

Error

0.1b

Counts

166 → 7

Alt Table

Status	Error	Program
	24.6b	(-.f64 (/.f64 (-.f64 (.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (cos.f64 eps))) (.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))) (-.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))) (sin.f64 x))
	27.1b	(-.f64 (/.f64 (+.f64 (pow.f64 (.f64 (sin.f64 x) (cos.f64 eps)) 3) (pow.f64 (.f64 (cos.f64 x) (sin.f64 eps)) 3)) (+.f64 (.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (cos.f64 eps))) (-.f64 (.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps)))))) (sin.f64 x))
	44.0b	(fma.f64 (sqrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (sqrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	23.0b	(fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps)))) (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	30.9b	(fma.f64 (cos.f64 x) (+.f64 eps (.f64 (pow.f64 eps 3) -1/6)) (.f64 eps (.f64 (.f64 eps (sin.f64 x)) -1/2)))
▶	22.5b	(-.f64 (fma.f64 (sin.f64 x) (cos.f64 eps) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
	22.5b	(fma.f64 (sin.f64 x) (cos.f64 eps) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))

Compiler

Compiled 3341 to 1036 computations (69% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(cos.f64 x)
✓	0.1b	(fma.f64 (sin.f64 x) (cos.f64 eps) (*.f64 (cos.f64 x) (sin.f64 eps)))
✓	0.1b	(*.f64 (cos.f64 x) (sin.f64 eps))
✓	2.9b	(-.f64 (fma.f64 (sin.f64 x) (cos.f64 eps) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))

series47.0ms (0.5%)

Counts

4 → 68

Calls

4 calls:

19.0ms	(-.f64 (fma.f64 (sin.f64 x) (cos.f64 eps) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
16.0ms	(fma.f64 (sin.f64 x) (cos.f64 eps) (*.f64 (cos.f64 x) (sin.f64 eps)))
11.0ms	(*.f64 (cos.f64 x) (sin.f64 eps))
2.0ms	(cos.f64 x)

rewrite264.0ms (2.6%)

Algorithm

4×	egg-rewrite

Rules

94×	`egg`
48×	`egg`
33×	`egg`
23×	`egg`

Counts

4 → 198

Calls

4 calls:

94.0ms	(-.f64 (fma.f64 (sin.f64 x) (cos.f64 eps) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
73.0ms	(cos.f64 x)
48.0ms	(fma.f64 (sin.f64 x) (cos.f64 eps) (*.f64 (cos.f64 x) (sin.f64 eps)))
45.0ms	(*.f64 (cos.f64 x) (sin.f64 eps))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	21
1	207	21
2	2598	11
3	4649	11
4	5135	11
0	6	8
1	116	8
2	1338	8
3	5096	8
0	9	16
1	175	16
2	2034	16
3	5331	16
0	3	3
1	58	3
2	655	3
3	4733	3
4	5597	3

simplify69.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

431×	`fma-def_binary64`
422×	`distribute-rgt-neg-in_binary64`
405×	`distribute-lft-neg-in_binary64`
393×	`cancel-sign-sub-inv_binary64`
379×	`sub-neg_binary64`

Counts

266 → 250

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	95	1230
1	297	1199
2	889	1112
3	2906	1102
4	5039	1102

prune210.0ms (2.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	245	5	250
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	248	9	257

Error

0.1b

Counts

257 → 9

Alt Table

Status	Error	Program
	30.9b	(fma.f64 (cos.f64 x) (+.f64 eps (.f64 (pow.f64 eps 3) -1/6)) (.f64 eps (.f64 (.f64 eps (sin.f64 x)) -1/2)))
	29.7b	(-.f64 (fma.f64 (sin.f64 x) (cos.f64 eps) (.f64 (sqrt.f64 (cos.f64 x)) (.f64 (sqrt.f64 (cos.f64 x)) (sin.f64 eps)))) (sin.f64 x))
	44.0b	(fma.f64 (sqrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (sqrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	23.0b	(fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps)))) (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	27.1b	(-.f64 (/.f64 (+.f64 (pow.f64 (.f64 (sin.f64 x) (cos.f64 eps)) 3) (pow.f64 (.f64 (cos.f64 x) (sin.f64 eps)) 3)) (+.f64 (.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (cos.f64 eps))) (-.f64 (pow.f64 (.f64 (cos.f64 x) (sin.f64 eps)) 2) (.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps)))))) (sin.f64 x))
	22.6b	(-.f64 (+.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (.f64 (sin.f64 x) (cos.f64 eps))) (sin.f64 x))
▶	0.3b	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
	22.5b	(fma.f64 (sin.f64 x) (cos.f64 eps) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	22.6b	(-.f64 (fma.f64 (sin.f64 x) (cos.f64 eps) (*.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 x)))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 x))))) (sin.f64 eps))) (sin.f64 x))

Compiler

Compiled 5193 to 1666 computations (67.9% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(cos.f64 x)
✓	0.1b	(*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))
✓	0.2b	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
✓	1.9b	(+.f64 (cos.f64 eps) -1)

series32.0ms (0.3%)

Counts

3 → 60

Calls

3 calls:

18.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
11.0ms	(*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))
2.0ms	(+.f64 (cos.f64 eps) -1)

rewrite226.0ms (2.2%)

Algorithm

3×	egg-rewrite

Rules

53×	`egg`
51×	`egg`
40×	`egg`

Counts

3 → 144

Calls

3 calls:

91.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
82.0ms	(+.f64 (cos.f64 eps) -1)
51.0ms	(*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	6
1	104	6
2	1249	6
3	4797	6
4	5311	6
0	11	19
1	227	19
2	2751	13
3	4743	13
4	5544	13
0	8	11
1	168	11
2	2054	11
3	5523	11

simplify67.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

638×	`fma-def_binary64`
574×	`sub-neg_binary64`
424×	`cancel-sign-sub-inv_binary64`
403×	`distribute-rgt-neg-in_binary64`
387×	`distribute-lft-neg-in_binary64`

Counts

204 → 185

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	1102
1	321	1032
2	1019	986
3	3708	986
4	4957	986

prune279.0ms (2.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	216	9	225
Fresh	6	2	8
Picked	1	0	1
Done	0	0	0
Total	223	11	234

Error

0.0b

Counts

234 → 11

Alt Table

Status	Error	Program
	33.6b	(fma.f64 (sqrt.f64 (sin.f64 eps)) (.f64 (sqrt.f64 (sin.f64 eps)) (cos.f64 x)) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
	0.5b	(fma.f64 (pow.f64 (cbrt.f64 (+.f64 (cos.f64 eps) -1)) 2) (.f64 (cbrt.f64 (+.f64 (cos.f64 eps) -1)) (sin.f64 x)) (.f64 (sin.f64 eps) (cos.f64 x)))
	1.4b	(fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 eps) (cos.f64 x))) (cbrt.f64 (.f64 (sin.f64 eps) (cos.f64 x)))) (cbrt.f64 (.f64 (sin.f64 eps) (cos.f64 x))) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
▶	0.4b	(fma.f64 (sin.f64 eps) (cos.f64 x) (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (neg.f64 (sin.f64 x))))
	0.5b	(fma.f64 (sin.f64 eps) (cbrt.f64 (pow.f64 (cos.f64 x) 3)) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
	0.4b	(fma.f64 (sin.f64 eps) (expm1.f64 (log1p.f64 (cos.f64 x))) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
	23.0b	(fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps)))) (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	0.8b	(fma.f64 (.f64 (sin.f64 eps) (pow.f64 (cbrt.f64 (cos.f64 x)) 2)) (cbrt.f64 (cos.f64 x)) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
	29.7b	(-.f64 (fma.f64 (sin.f64 x) (cos.f64 eps) (.f64 (sqrt.f64 (cos.f64 x)) (.f64 (sqrt.f64 (cos.f64 x)) (sin.f64 eps)))) (sin.f64 x))
	20.4b	(/.f64 (+.f64 (pow.f64 (.f64 (sin.f64 eps) (cos.f64 x)) 3) (pow.f64 (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)) 3)) (fma.f64 (.f64 (sin.f64 eps) (cos.f64 x)) (.f64 (sin.f64 eps) (cos.f64 x)) (-.f64 (pow.f64 (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)) 2) (.f64 (.f64 (sin.f64 eps) (cos.f64 x)) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))))
	0.4b	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (/.f64 1 (/.f64 (+.f64 (cos.f64 eps) 1) (neg.f64 (pow.f64 (sin.f64 eps) 2))))))

Compiler

Compiled 4747 to 2176 computations (54.2% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(cos.f64 x)
✓	0.1b	(*.f64 (sin.f64 x) (cos.f64 eps))
✓	0.2b	(fma.f64 (sin.f64 eps) (cos.f64 x) (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (neg.f64 (sin.f64 x))))
✓	1.9b	(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (neg.f64 (sin.f64 x)))

series42.0ms (0.4%)

Counts

3 → 56

Calls

3 calls:

17.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (neg.f64 (sin.f64 x))))
14.0ms	(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (neg.f64 (sin.f64 x)))
11.0ms	(*.f64 (sin.f64 x) (cos.f64 eps))

rewrite196.0ms (2%)

Algorithm

3×	egg-rewrite

Rules

55×	`egg`
55×	`egg`
33×	`egg`

Counts

3 → 143

Calls

3 calls:

75.0ms	(*.f64 (sin.f64 x) (cos.f64 eps))
63.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (neg.f64 (sin.f64 x))))
55.0ms	(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (neg.f64 (sin.f64 x)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	179	11
2	2127	11
3	5038	11
0	11	21
1	238	19
2	2823	11
3	5492	11
0	6	8
1	123	8
2	1536	8
3	4952	8
4	5064	8

simplify134.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

703×	`fma-def_binary64`
615×	`sub-neg_binary64`
460×	`cancel-sign-sub-inv_binary64`
393×	`distribute-rgt-neg-in_binary64`
265×	`associate-r_binary64`

Counts

199 → 188

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	105	1202
1	331	1162
2	1053	1023
3	3895	1023
4	4819	1023
5	4984	1023
6	4999	1023
7	4960	1023

prune249.0ms (2.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	228	0	228
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	228	11	239

Error

0.0b

Counts

239 → 11

Alt Table

Status	Error	Program
	33.6b	(fma.f64 (sqrt.f64 (sin.f64 eps)) (.f64 (sqrt.f64 (sin.f64 eps)) (cos.f64 x)) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
	0.5b	(fma.f64 (pow.f64 (cbrt.f64 (+.f64 (cos.f64 eps) -1)) 2) (.f64 (cbrt.f64 (+.f64 (cos.f64 eps) -1)) (sin.f64 x)) (.f64 (sin.f64 eps) (cos.f64 x)))
	1.4b	(fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 eps) (cos.f64 x))) (cbrt.f64 (.f64 (sin.f64 eps) (cos.f64 x)))) (cbrt.f64 (.f64 (sin.f64 eps) (cos.f64 x))) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
✓	0.4b	(fma.f64 (sin.f64 eps) (cos.f64 x) (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (neg.f64 (sin.f64 x))))
	0.5b	(fma.f64 (sin.f64 eps) (cbrt.f64 (pow.f64 (cos.f64 x) 3)) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
	0.4b	(fma.f64 (sin.f64 eps) (expm1.f64 (log1p.f64 (cos.f64 x))) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
	23.0b	(fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps)))) (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	0.8b	(fma.f64 (.f64 (sin.f64 eps) (pow.f64 (cbrt.f64 (cos.f64 x)) 2)) (cbrt.f64 (cos.f64 x)) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
	29.7b	(-.f64 (fma.f64 (sin.f64 x) (cos.f64 eps) (.f64 (sqrt.f64 (cos.f64 x)) (.f64 (sqrt.f64 (cos.f64 x)) (sin.f64 eps)))) (sin.f64 x))
	20.4b	(/.f64 (+.f64 (pow.f64 (.f64 (sin.f64 eps) (cos.f64 x)) 3) (pow.f64 (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)) 3)) (fma.f64 (.f64 (sin.f64 eps) (cos.f64 x)) (.f64 (sin.f64 eps) (cos.f64 x)) (-.f64 (pow.f64 (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)) 2) (.f64 (.f64 (sin.f64 eps) (cos.f64 x)) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))))
	0.4b	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (/.f64 1 (/.f64 (+.f64 (cos.f64 eps) 1) (neg.f64 (pow.f64 (sin.f64 eps) 2))))))

Compiler

Compiled 4695 to 1508 computations (67.9% saved)

regimes1.3s (12.8%)

Accuracy

Total 0.3b remaining (82%)

Threshold costs 0.3b (82%)

Counts

323 → 1

Compiler

Compiled 16232 to 10918 computations (32.7% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
1×	`+-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	22
1	18	22
2	17	22

end192.0ms (1.9%)

Compiler: Compiled 299 to 181 computations (39.5% saved)

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	29	11
5	46	11
6	72	11
7	93	11
8	110	11
9	120	11
10	124	11
11	126	11
12	112	11

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	29	11
5	46	11
6	72	11
7	93	11
8	110	11
9	120	11
10	124	11
11	126	11
12	112	11

Details

analyze1.0ms (0%)

sample6.4s (63.5%)

simplify11.0ms (0.1%)

prune4.0ms (0%)

localize6.0ms (0.1%)

series12.0ms (0.1%)

rewrite110.0ms (1.1%)

simplify79.0ms (0.8%)

prune123.0ms (1.2%)

localize10.0ms (0.1%)

series47.0ms (0.5%)

rewrite264.0ms (2.6%)

simplify69.0ms (0.7%)

prune210.0ms (2.1%)

localize10.0ms (0.1%)

series32.0ms (0.3%)

rewrite226.0ms (2.2%)

simplify67.0ms (0.7%)

prune279.0ms (2.8%)

localize11.0ms (0.1%)

series42.0ms (0.4%)

rewrite196.0ms (2%)

simplify134.0ms (1.3%)

prune249.0ms (2.5%)

regimes1.3s (12.8%)

simplify2.0ms (0%)

end192.0ms (1.9%)

Profiling

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	29	11
5	46	11
6	72	11
7	93	11
8	110	11
9	120	11
10	124	11
11	126	11
12	112	11