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)

sample5.3s (69.6%)

Results

2.5s	3622×	body	1024	valid
1.8s	1279×	body	2048	valid
555.0ms	1421×	body	512	valid
202.0ms	1338×	body	128	valid
165.0ms	589×	body	256	valid
17.0ms	7×	body	4096	valid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify13.0ms (0.2%)

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

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

40.7b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	40.7b	(-.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.5b	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
✓	4.1b	(sin.f64 (+.f64 x eps))

series11.0ms (0.1%)

Counts

2 → 48

Calls

2 calls:

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

rewrite13.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64`
12×	`add-sqr-sqrt_binary64`
10×	`add-cube-cbrt_binary64`
9×	`prod-diff_binary64`
4×	`add-log-exp_binary64`

Counts

2 → 42

Calls

2 calls:

5.0ms	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
5.0ms	(sin.f64 (+.f64 x eps))

simplify98.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

639×	`fma-neg_binary64`
483×	`fma-def_binary64`
351×	`cancel-sign-sub-inv_binary64`
291×	`sub-neg_binary64`
284×	`associate-+l-_binary64`

Counts

90 → 92

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	128	1256
1	297	1180
2	960	1116
3	2426	1108
4	4776	1108
5	4953	1108
6	4839	1108

prune69.0ms (0.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	89	3	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	90	3	93

Error

0.3b

Counts

93 → 3

Alt Table

Status	Error	Program
	30.9b	(+.f64 (.f64 (cos.f64 x) (+.f64 eps (.f64 (pow.f64 eps 3) -1/6))) (.f64 (sin.f64 x) (-.f64 (.f64 1/24 (pow.f64 eps 4)) (.f64 1/2 (.f64 eps eps)))))
▶	23.4b	(-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
	23.5b	(+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))

Compiler

Compiled 1671 to 515 computations (69.2% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))
✓	0.1b	(*.f64 (cos.f64 x) (sin.f64 eps))
✓	0.2b	(*.f64 (sin.f64 x) (cos.f64 eps))
✓	2.5b	(-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))

series53.0ms (0.7%)

Counts

4 → 72

Calls

4 calls:

19.0ms	(-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
14.0ms	(+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))
10.0ms	(*.f64 (cos.f64 x) (sin.f64 eps))
9.0ms	(*.f64 (sin.f64 x) (cos.f64 eps))

rewrite23.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64`
18×	`*-un-lft-identity_binary64`
16×	`add-cube-cbrt_binary64`
11×	`add-log-exp_binary64`
9×	`prod-diff_binary64`

Counts

4 → 87

Calls

4 calls:

8.0ms	(-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
4.0ms	(+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))
3.0ms	(*.f64 (sin.f64 x) (cos.f64 eps))
3.0ms	(*.f64 (cos.f64 x) (sin.f64 eps))

simplify133.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

418×	`fma-neg_binary64`
276×	`distribute-rgt-in_binary64`
249×	`distribute-rgt-neg-in_binary64`
245×	`distribute-lft-in_binary64`
226×	`associate-r_binary64`

Counts

159 → 189

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	240	3009
1	616	2802
2	2190	2695
3	4798	2695
4	4972	2695
5	4911	2695

prune201.0ms (2.6%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	177	12	189
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	179	13	192

Error

0.1b

Counts

192 → 13

Alt Table

Status	Error	Program
	23.6b	(-.f64 (+.f64 (.f64 (.f64 (sin.f64 x) (.f64 (cbrt.f64 (cos.f64 eps)) (cbrt.f64 (cos.f64 eps)))) (cbrt.f64 (cos.f64 eps))) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
	27.6b	(cbrt.f64 (.f64 (.f64 (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x)) (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))) (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))))
	30.4b	(-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (log.f64 (exp.f64 (.f64 (cos.f64 x) (sin.f64 eps))))) (sin.f64 x))
	44.2b	(fma.f64 (sqrt.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))) (sqrt.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))) (neg.f64 (sin.f64 x)))
	24.2b	(-.f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 eps) (sin.f64 x)) 3)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
	24.1b	(+.f64 (fma.f64 1 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (neg.f64 (.f64 (cbrt.f64 (sin.f64 x)) (.f64 (cbrt.f64 (sin.f64 x)) (cbrt.f64 (sin.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (sin.f64 x))) (.f64 (cbrt.f64 (sin.f64 x)) (cbrt.f64 (sin.f64 x))) (.f64 (cbrt.f64 (sin.f64 x)) (*.f64 (cbrt.f64 (sin.f64 x)) (cbrt.f64 (sin.f64 x))))))
	30.9b	(fma.f64 1/24 (.f64 (sin.f64 x) (pow.f64 eps 4)) (fma.f64 (cos.f64 x) (+.f64 eps (.f64 (pow.f64 eps 3) -1/6)) (.f64 (sin.f64 x) (.f64 (*.f64 eps eps) -1/2))))
▶	0.4b	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
	53.7b	(+.f64 (fma.f64 (sqrt.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))) (sqrt.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))) (neg.f64 (.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (sin.f64 x))))) (fma.f64 (neg.f64 (sqrt.f64 (sin.f64 x))) (sqrt.f64 (sin.f64 x)) (.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (sin.f64 x)))))
	29.5b	(.f64 (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	1.6b	(.f64 (.f64 (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))) (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	24.1b	(.f64 (.f64 (cbrt.f64 (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))) (cbrt.f64 (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x)))) (cbrt.f64 (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))))
	23.5b	(+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))

Compiler

Compiled 5171 to 1484 computations (71.3% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(*.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.5b	(+.f64 (cos.f64 eps) -1)

series33.0ms (0.4%)

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)))
13.0ms	(*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))
2.0ms	(+.f64 (cos.f64 eps) -1)

rewrite11.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`*-un-lft-identity_binary64`
10×	`add-sqr-sqrt_binary64`
6×	`add-cube-cbrt_binary64`
5×	`associate-r_binary64`
5×	`add-cbrt-cube_binary64`

Counts

3 → 54

Calls

3 calls:

6.0ms	(*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))
3.0ms	(+.f64 (cos.f64 eps) -1)
0.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))

simplify83.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

786×	`fma-def_binary64`
629×	`sub-neg_binary64`
442×	`cancel-sign-sub-inv_binary64`
294×	`distribute-rgt-in_binary64`
256×	`distribute-lft-in_binary64`

Counts

114 → 131

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	172	1922
1	473	1753
2	1508	1707
3	4579	1707
4	5293	1707

prune172.0ms (2.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	126	5	131
Fresh	7	5	12
Picked	1	0	1
Done	0	0	0
Total	134	10	144

Error

0.1b

Counts

144 → 10

Alt Table

Status	Error	Program
	0.4b	(fma.f64 (sin.f64 eps) (cos.f64 x) (log.f64 (exp.f64 (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	1.5b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (.f64 (cos.f64 x) (sin.f64 eps)))) (cbrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (.f64 (cos.f64 x) (sin.f64 eps))))) (cbrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps)))))
	16.8b	(fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (.f64 (sin.f64 x) (+.f64 (sqrt.f64 (cos.f64 eps)) 1)) (-.f64 (sqrt.f64 (cos.f64 eps)) 1)))
	29.5b	(.f64 (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (sqrt.f64 (fma.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) (log1p.f64 (expm1.f64 (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	30.9b	(fma.f64 1/24 (.f64 (sin.f64 x) (pow.f64 eps 4)) (fma.f64 (cos.f64 x) (+.f64 eps (.f64 (pow.f64 eps 3) -1/6)) (.f64 (sin.f64 x) (.f64 (*.f64 eps eps) -1/2))))
	44.2b	(fma.f64 (sqrt.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))) (sqrt.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))) (neg.f64 (sin.f64 x)))
▶	0.3b	(fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps)))
	24.1b	(.f64 (.f64 (cbrt.f64 (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))) (cbrt.f64 (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x)))) (cbrt.f64 (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))))
	23.5b	(+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))

Compiler

Compiled 3071 to 1427 computations (53.5% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series20.0ms (0.3%)

Counts

2 → 28

Calls

2 calls:

17.0ms	(fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps)))
2.0ms	(-.f64 (cos.f64 eps) 1)

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64`
13×	`*-un-lft-identity_binary64`
10×	`add-cube-cbrt_binary64`
9×	`prod-diff_binary64`
4×	`add-log-exp_binary64`

Counts

2 → 43

Calls

2 calls:

4.0ms	(-.f64 (cos.f64 eps) 1)
0.0ms	(fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps)))

simplify75.0ms (1%)

Algorithm

1×	egg-herbie

Rules

988×	`fma-neg_binary64`
389×	`distribute-rgt-neg-in_binary64`
367×	`distribute-lft-neg-in_binary64`
322×	`fma-def_binary64`
281×	`neg-mul-1_binary64`

Counts

71 → 90

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	117	1271
1	268	1031
2	747	1021
3	2676	1021
4	4719	1021
5	4957	1021

prune220.0ms (2.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	125	7	132
Fresh	4	5	9
Picked	1	0	1
Done	0	0	0
Total	130	12	142

Error

0.0b

Counts

142 → 12

Alt Table

Status	Error	Program
	30.9b	(fma.f64 1/24 (.f64 (sin.f64 x) (pow.f64 eps 4)) (fma.f64 (cos.f64 x) (+.f64 eps (.f64 (pow.f64 eps 3) -1/6)) (.f64 (sin.f64 x) (.f64 (*.f64 eps eps) -1/2))))
	22.6b	(fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (cbrt.f64 (.f64 (.f64 (.f64 (cos.f64 x) (cos.f64 x)) (cos.f64 x)) (.f64 (*.f64 (sin.f64 eps) (sin.f64 eps)) (sin.f64 eps)))))
	0.4b	(fma.f64 (sin.f64 eps) (cos.f64 x) (log.f64 (exp.f64 (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	1.5b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (.f64 (cos.f64 x) (sin.f64 eps)))) (cbrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (.f64 (cos.f64 x) (sin.f64 eps))))) (cbrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps)))))
	0.4b	(fma.f64 (log.f64 (/.f64 (exp.f64 (cos.f64 eps)) (exp.f64 1))) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps)))
	16.8b	(fma.f64 (fma.f64 (sqrt.f64 (cos.f64 eps)) (sqrt.f64 (cos.f64 eps)) -1) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps)))
	44.2b	(fma.f64 (sqrt.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))) (sqrt.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))) (neg.f64 (sin.f64 x)))
	0.8b	(fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (.f64 (.f64 (cbrt.f64 (cos.f64 x)) (cbrt.f64 (cos.f64 x))) (*.f64 (sin.f64 eps) (cbrt.f64 (cos.f64 x)))))
	18.5b	(fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (.f64 (sqrt.f64 (cos.f64 x)) (.f64 (sin.f64 eps) (sqrt.f64 (cos.f64 x)))))
	33.4b	(fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (.f64 (.f64 (cos.f64 x) (sqrt.f64 (sin.f64 eps))) (sqrt.f64 (sin.f64 eps))))
	29.5b	(.f64 (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	0.4b	(+.f64 (.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x)) (.f64 (cos.f64 x) (sin.f64 eps)))

Compiler

Compiled 2879 to 1275 computations (55.7% saved)

regimes846.0ms (11.1%)

Accuracy

Total 0.3b remaining (73.9%)

Threshold costs 0.3b (73.9%)

Counts

249 → 1

Compiler

Compiled 15270 to 9401 computations (38.4% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`*-commutative_binary64`
1×	`sub-neg_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	19
1	17	19
2	18	19
3	16	19

end206.0ms (2.7%)

Compiler: Compiled 312 to 188 computations (39.7% 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%)

sample5.3s (69.6%)

simplify13.0ms (0.2%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series11.0ms (0.1%)

rewrite13.0ms (0.2%)

simplify98.0ms (1.3%)

prune69.0ms (0.9%)

localize11.0ms (0.1%)

series53.0ms (0.7%)

rewrite23.0ms (0.3%)

simplify133.0ms (1.7%)

prune201.0ms (2.6%)

localize10.0ms (0.1%)

series33.0ms (0.4%)

rewrite11.0ms (0.1%)

simplify83.0ms (1.1%)

prune172.0ms (2.2%)

localize10.0ms (0.1%)

series20.0ms (0.3%)

rewrite6.0ms (0.1%)

simplify75.0ms (1%)

prune220.0ms (2.9%)

regimes846.0ms (11.1%)

simplify2.0ms (0%)

end206.0ms (2.7%)

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