Details

analyze477.0ms (6.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
25%	74.9%	0.1%	6
37.4%	62.4%	0.1%	7
56.2%	43.7%	0.1%	8
56.2%	43.7%	0.1%	9
65.5%	34.3%	0.1%	10
76.5%	23.4%	0.1%	11
76.5%	23.4%	0.1%	12
81.9%	17.9%	0.1%	13
87.8%	12.1%	0.1%	14

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample3.1s (44.1%)

Results

1.6s	2129×	body	1024	valid
812.0ms	4629×	body	128	valid
447.0ms	1011×	body	512	valid
134.0ms	483×	body	256	valid
6.0ms	4×	body	2048	valid

Compiler

Compiled 26 to 18 computations (30.8% saved)

preprocess38.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

516×	`fma-def_binary64`
380×	`fma-neg_binary64`
130×	`cancel-sign-sub-inv_binary64`
69×	`sub-neg_binary64`
64×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	56
1	53	56
2	104	56
3	167	56
4	263	56
5	435	56
6	743	56
7	1134	56
8	1663	56
9	1904	56
10	1930	56
0	3	3

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify13.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

171×	`fma-def_binary64`
87×	`fma-neg_binary64`
37×	`cancel-sign-sub-inv_binary64`
23×	`distribute-rgt-neg-in_binary64`
20×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	17	14
2	32	14
3	49	14
4	76	14
5	124	14
6	205	14
7	306	14
8	408	14
9	524	14
10	582	14
11	588	14

Stop Event

1×

saturated

Counts

1 → 1

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

0.2b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.2b	(-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))

Compiler

Compiled 36 to 24 computations (33.3% saved)

localize17.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
✓	0.1b	(*.f64 z (sin.f64 y))
✓	0.2b	(*.f64 x (cos.f64 y))

series29.0ms (0.4%)

Counts

3 → 84

Calls

21 calls:

4.0ms	(-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))	x	inf
2.0ms	(-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))	x	-inf
2.0ms	(-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))	z	inf
2.0ms	(-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))	x	0
2.0ms	(*.f64 x (cos.f64 y))	x	-inf

rewrite74.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

518×	`log-prod_binary64`
391×	`fma-def_binary64`
206×	`egg-rr`
190×	`fma-neg_binary64`
184×	`expm1-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	198	26
2	2648	26

Stop Event

1×	node limit

Counts

3 → 206

simplify55.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

651×	`fma-neg_binary64`
345×	`*-commutative_binary64`
249×	`distribute-lft-neg-in_binary64`
243×	`distribute-rgt-neg-in_binary64`
229×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	57	850
1	172	841
2	525	822
3	1952	819
4	4821	819

Stop Event

1×	node limit

Counts

290 → 231

prune201.0ms (2.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	220	11	231
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	221	11	232

Error

0.0b

Counts

232 → 11

Alt Table

Status	Error	Program
	0.7b	(fma.f64 (pow.f64 (cbrt.f64 (.f64 z (sin.f64 y))) 2) (neg.f64 (cbrt.f64 (.f64 z (sin.f64 y)))) (*.f64 x (cos.f64 y)))
▶	0.2b	(fma.f64 (sin.f64 y) (neg.f64 z) (*.f64 (cos.f64 y) x))
	0.2b	(+.f64 (.f64 x (cos.f64 y)) (fma.f64 z (neg.f64 (sin.f64 y)) (fma.f64 z (neg.f64 (sin.f64 y)) (.f64 z (sin.f64 y)))))
	21.6b	(-.f64 (.f64 x (cos.f64 y)) (cbrt.f64 (pow.f64 (.f64 z (sin.f64 y)) 3)))
	26.7b	(-.f64 (.f64 x (cos.f64 y)) (pow.f64 (sqrt.f64 (.f64 z (sin.f64 y))) 2))
	15.9b	(fma.f64 (sqrt.f64 (cos.f64 y)) (.f64 (sqrt.f64 (cos.f64 y)) x) (.f64 (sin.f64 y) (neg.f64 z)))
	33.2b	(fma.f64 (sqrt.f64 (-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))) (sqrt.f64 (-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))) (+.f64 (fma.f64 z (neg.f64 (sin.f64 y)) (.f64 z (sin.f64 y))) (fma.f64 z (neg.f64 (sin.f64 y)) (.f64 z (sin.f64 y)))))
	27.7b	(fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (cos.f64 y)) (.f64 (sin.f64 y) (neg.f64 z)))
	0.4b	(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 y)) 2) (.f64 (cbrt.f64 (cos.f64 y)) x) (.f64 (sin.f64 y) (neg.f64 z)))
	0.9b	(fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (cos.f64 y)) (.f64 (sin.f64 y) (neg.f64 z)))
	0.9b	(fma.f64 (cbrt.f64 (.f64 x (cos.f64 y))) (pow.f64 (cbrt.f64 (.f64 x (cos.f64 y))) 2) (*.f64 (sin.f64 y) (neg.f64 z)))

Compiler

Compiled 5254 to 1227 computations (76.6% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 (sin.f64 y) (neg.f64 z) (*.f64 (cos.f64 y) x))
✓	0.2b	(*.f64 (cos.f64 y) x)

series25.0ms (0.4%)

Counts

2 → 40

Calls

15 calls:

4.0ms	(fma.f64 (sin.f64 y) (neg.f64 z) (*.f64 (cos.f64 y) x))	y	inf
2.0ms	(*.f64 (cos.f64 y) x)	x	-inf
2.0ms	(fma.f64 (sin.f64 y) (neg.f64 z) (*.f64 (cos.f64 y) x))	x	-inf
2.0ms	(fma.f64 (sin.f64 y) (neg.f64 z) (*.f64 (cos.f64 y) x))	z	inf
2.0ms	(fma.f64 (sin.f64 y) (neg.f64 z) (*.f64 (cos.f64 y) x))	z	-inf

rewrite49.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

718×	`log1p-expm1-u_binary64`
718×	`expm1-log1p-u_binary64`
216×	`prod-diff_binary64`
93×	`add-sqr-sqrt_binary64`
84×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	20
1	179	18
2	2204	18

Stop Event

1×	node limit

Counts

2 → 38

simplify44.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

757×	`fma-def_binary64`
640×	`cancel-sign-sub-inv_binary64`
396×	`fma-neg_binary64`
280×	`sub-neg_binary64`
233×	`*-commutative_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	42	528
1	121	527
2	350	519
3	1240	511
4	4626	511

Stop Event

1×	node limit

Counts

78 → 57

prune102.0ms (1.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	57	0	57
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	57	11	68

Error

0.0b

Counts

68 → 11

Alt Table

Status	Error	Program
	0.7b	(fma.f64 (pow.f64 (cbrt.f64 (.f64 z (sin.f64 y))) 2) (neg.f64 (cbrt.f64 (.f64 z (sin.f64 y)))) (*.f64 x (cos.f64 y)))
✓	0.2b	(fma.f64 (sin.f64 y) (neg.f64 z) (*.f64 (cos.f64 y) x))
▶	0.2b	(+.f64 (.f64 x (cos.f64 y)) (fma.f64 z (neg.f64 (sin.f64 y)) (fma.f64 z (neg.f64 (sin.f64 y)) (.f64 z (sin.f64 y)))))
	21.6b	(-.f64 (.f64 x (cos.f64 y)) (cbrt.f64 (pow.f64 (.f64 z (sin.f64 y)) 3)))
	26.7b	(-.f64 (.f64 x (cos.f64 y)) (pow.f64 (sqrt.f64 (.f64 z (sin.f64 y))) 2))
	15.9b	(fma.f64 (sqrt.f64 (cos.f64 y)) (.f64 (sqrt.f64 (cos.f64 y)) x) (.f64 (sin.f64 y) (neg.f64 z)))
	33.2b	(fma.f64 (sqrt.f64 (-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))) (sqrt.f64 (-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))) (+.f64 (fma.f64 z (neg.f64 (sin.f64 y)) (.f64 z (sin.f64 y))) (fma.f64 z (neg.f64 (sin.f64 y)) (.f64 z (sin.f64 y)))))
	27.7b	(fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (cos.f64 y)) (.f64 (sin.f64 y) (neg.f64 z)))
	0.4b	(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 y)) 2) (.f64 (cbrt.f64 (cos.f64 y)) x) (.f64 (sin.f64 y) (neg.f64 z)))
	0.9b	(fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (cos.f64 y)) (.f64 (sin.f64 y) (neg.f64 z)))
	0.9b	(fma.f64 (cbrt.f64 (.f64 x (cos.f64 y))) (pow.f64 (cbrt.f64 (.f64 x (cos.f64 y))) 2) (*.f64 (sin.f64 y) (neg.f64 z)))

Compiler

Compiled 1166 to 490 computations (58% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(*.f64 z (sin.f64 y))
✓	0.1b	(fma.f64 z (neg.f64 (sin.f64 y)) (fma.f64 z (neg.f64 (sin.f64 y)) (*.f64 z (sin.f64 y))))
	0.2b	(*.f64 x (cos.f64 y))
✓	54.8b	(fma.f64 z (neg.f64 (sin.f64 y)) (*.f64 z (sin.f64 y)))

series40.0ms (0.6%)

Counts

2 → 48

Calls

12 calls:

9.0ms	(fma.f64 z (neg.f64 (sin.f64 y)) (fma.f64 z (neg.f64 (sin.f64 y)) (*.f64 z (sin.f64 y))))	z	0
6.0ms	(fma.f64 z (neg.f64 (sin.f64 y)) (*.f64 z (sin.f64 y)))	z	0
4.0ms	(fma.f64 z (neg.f64 (sin.f64 y)) (fma.f64 z (neg.f64 (sin.f64 y)) (*.f64 z (sin.f64 y))))	z	-inf
4.0ms	(fma.f64 z (neg.f64 (sin.f64 y)) (fma.f64 z (neg.f64 (sin.f64 y)) (*.f64 z (sin.f64 y))))	z	inf
4.0ms	(fma.f64 z (neg.f64 (sin.f64 y)) (*.f64 z (sin.f64 y)))	z	-inf

rewrite42.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

644×	`prod-diff_binary64`
629×	`log1p-expm1-u_binary64`
629×	`expm1-log1p-u_binary64`
83×	`add-sqr-sqrt_binary64`
75×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	36
1	161	28
2	2029	28

Stop Event

1×	node limit

Counts

2 → 44

simplify28.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

798×	`cancel-sign-sub-inv_binary64`
438×	`fma-def_binary64`
399×	`distribute-rgt-neg-in_binary64`
341×	`distribute-lft-neg-in_binary64`
290×	`fma-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	30	268
1	86	262
2	246	250
3	765	250
4	2621	250

Stop Event

1×	node limit

Counts

92 → 55

prune154.0ms (2.2%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	103	0	103
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	103	11	114

Error

0.0b

Counts

114 → 11

Alt Table

Status	Error	Program
	0.7b	(fma.f64 (pow.f64 (cbrt.f64 (.f64 z (sin.f64 y))) 2) (neg.f64 (cbrt.f64 (.f64 z (sin.f64 y)))) (*.f64 x (cos.f64 y)))
✓	0.2b	(fma.f64 (sin.f64 y) (neg.f64 z) (*.f64 (cos.f64 y) x))
✓	0.2b	(+.f64 (.f64 x (cos.f64 y)) (fma.f64 z (neg.f64 (sin.f64 y)) (fma.f64 z (neg.f64 (sin.f64 y)) (.f64 z (sin.f64 y)))))
	21.6b	(-.f64 (.f64 x (cos.f64 y)) (cbrt.f64 (pow.f64 (.f64 z (sin.f64 y)) 3)))
	26.7b	(-.f64 (.f64 x (cos.f64 y)) (pow.f64 (sqrt.f64 (.f64 z (sin.f64 y))) 2))
	15.9b	(fma.f64 (sqrt.f64 (cos.f64 y)) (.f64 (sqrt.f64 (cos.f64 y)) x) (.f64 (sin.f64 y) (neg.f64 z)))
	33.2b	(fma.f64 (sqrt.f64 (-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))) (sqrt.f64 (-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))) (+.f64 (fma.f64 z (neg.f64 (sin.f64 y)) (.f64 z (sin.f64 y))) (fma.f64 z (neg.f64 (sin.f64 y)) (.f64 z (sin.f64 y)))))
	27.7b	(fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (cos.f64 y)) (.f64 (sin.f64 y) (neg.f64 z)))
▶	0.4b	(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 y)) 2) (.f64 (cbrt.f64 (cos.f64 y)) x) (.f64 (sin.f64 y) (neg.f64 z)))
	0.9b	(fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (cos.f64 y)) (.f64 (sin.f64 y) (neg.f64 z)))
	0.9b	(fma.f64 (cbrt.f64 (.f64 x (cos.f64 y))) (pow.f64 (cbrt.f64 (.f64 x (cos.f64 y))) 2) (*.f64 (sin.f64 y) (neg.f64 z)))

Compiler

Compiled 2766 to 846 computations (69.4% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (cbrt.f64 (cos.f64 y)) x)
✓	0.1b	(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 y)) 2) (.f64 (cbrt.f64 (cos.f64 y)) x) (.f64 (sin.f64 y) (neg.f64 z)))
✓	0.3b	(pow.f64 (cbrt.f64 (cos.f64 y)) 2)
✓	0.4b	(cbrt.f64 (cos.f64 y))

series1.2s (16.7%)

Counts

4 → 84

Calls

21 calls:

154.0ms	(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 y)) 2) (.f64 (cbrt.f64 (cos.f64 y)) x) (.f64 (sin.f64 y) (neg.f64 z)))	y	inf
144.0ms	(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 y)) 2) (.f64 (cbrt.f64 (cos.f64 y)) x) (.f64 (sin.f64 y) (neg.f64 z)))	y	-inf
91.0ms	(pow.f64 (cbrt.f64 (cos.f64 y)) 2)	y	-inf
82.0ms	(pow.f64 (cbrt.f64 (cos.f64 y)) 2)	y	inf
75.0ms	(*.f64 (cbrt.f64 (cos.f64 y)) x)	x	0

rewrite99.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

552×	`log-prod_binary64`
267×	`prod-diff_binary64`
236×	`egg-rr`
207×	`expm1-udef_binary64`
207×	`log1p-udef_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	13	47
1	262	35
2	3126	33

Stop Event

1×	node limit

Counts

4 → 236

simplify48.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

616×	`fma-neg_binary64`
327×	`distribute-rgt-neg-in_binary64`
317×	`distribute-lft-neg-in_binary64`
219×	`fma-def_binary64`
212×	`associate-+l-_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	70	896
1	205	890
2	600	881
3	2301	879

Stop Event

1×	node limit

Counts

320 → 270

prune358.0ms (5.2%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	302	2	304
Fresh	0	8	8
Picked	1	0	1
Done	0	2	2
Total	303	12	315

Error

Counts

315 → 12

Alt Table

Status	Error	Program
	0.7b	(fma.f64 (pow.f64 (cbrt.f64 (.f64 z (sin.f64 y))) 2) (neg.f64 (cbrt.f64 (.f64 z (sin.f64 y)))) (*.f64 x (cos.f64 y)))
✓	0.2b	(fma.f64 (sin.f64 y) (neg.f64 z) (*.f64 (cos.f64 y) x))
	0.9b	(+.f64 (fma.f64 (.f64 (pow.f64 (cbrt.f64 (cos.f64 y)) 2) (pow.f64 (cbrt.f64 (.f64 (cbrt.f64 (cos.f64 y)) x)) 2)) (cbrt.f64 (.f64 (cbrt.f64 (cos.f64 y)) x)) (neg.f64 (.f64 z (neg.f64 (sin.f64 y))))) (fma.f64 z (neg.f64 (sin.f64 y)) (*.f64 z (neg.f64 (sin.f64 y)))))
✓	0.2b	(+.f64 (.f64 x (cos.f64 y)) (fma.f64 z (neg.f64 (sin.f64 y)) (fma.f64 z (neg.f64 (sin.f64 y)) (.f64 z (sin.f64 y)))))
	21.6b	(-.f64 (.f64 x (cos.f64 y)) (cbrt.f64 (pow.f64 (.f64 z (sin.f64 y)) 3)))
	26.7b	(-.f64 (.f64 x (cos.f64 y)) (pow.f64 (sqrt.f64 (.f64 z (sin.f64 y))) 2))
	0.3b	(fma.f64 (pow.f64 (pow.f64 (cos.f64 y) 2) 1/3) (.f64 (cbrt.f64 (cos.f64 y)) x) (.f64 (sin.f64 y) (neg.f64 z)))
	15.9b	(fma.f64 (sqrt.f64 (cos.f64 y)) (.f64 (sqrt.f64 (cos.f64 y)) x) (.f64 (sin.f64 y) (neg.f64 z)))
	33.2b	(fma.f64 (sqrt.f64 (-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))) (sqrt.f64 (-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))) (+.f64 (fma.f64 z (neg.f64 (sin.f64 y)) (.f64 z (sin.f64 y))) (fma.f64 z (neg.f64 (sin.f64 y)) (.f64 z (sin.f64 y)))))
	27.7b	(fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (cos.f64 y)) (.f64 (sin.f64 y) (neg.f64 z)))
	0.9b	(fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (cos.f64 y)) (.f64 (sin.f64 y) (neg.f64 z)))
	0.9b	(fma.f64 (cbrt.f64 (.f64 x (cos.f64 y))) (pow.f64 (cbrt.f64 (.f64 x (cos.f64 y))) 2) (*.f64 (sin.f64 y) (neg.f64 z)))

Compiler

Compiled 9069 to 2509 computations (72.3% saved)

regimes592.0ms (8.5%)

Accuracy

Total 0.1b remaining (81.3%)

Threshold costs 0.1b (81.3%)

Counts

109 → 1

Compiler

Compiled 9556 to 5298 computations (44.6% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	14	14
2	16	14
3	17	14

Stop Event

1×

saturated

end205.0ms (2.9%)

Stop Event

1×

fuel

Compiler

Compiled 285 to 159 computations (44.2% saved)

Iter	Nodes	Cost
0	9	14
1	17	14
2	32	14
3	49	14
4	76	14
5	124	14
6	205	14
7	306	14
8	408	14
9	524	14
10	582	14
11	588	14

Iter	Nodes	Cost
0	9	14
1	17	14
2	32	14
3	49	14
4	76	14
5	124	14
6	205	14
7	306	14
8	408	14
9	524	14
10	582	14
11	588	14

Details

analyze477.0ms (6.9%)

sample3.1s (44.1%)

preprocess38.0ms (0.5%)

simplify13.0ms (0.2%)

prune2.0ms (0%)

localize17.0ms (0.2%)

series29.0ms (0.4%)

rewrite74.0ms (1.1%)

simplify55.0ms (0.8%)

prune201.0ms (2.9%)

localize9.0ms (0.1%)

series25.0ms (0.4%)

rewrite49.0ms (0.7%)

simplify44.0ms (0.6%)

prune102.0ms (1.5%)

localize12.0ms (0.2%)

series40.0ms (0.6%)

rewrite42.0ms (0.6%)

simplify28.0ms (0.4%)

prune154.0ms (2.2%)

localize11.0ms (0.2%)

series1.2s (16.7%)

rewrite99.0ms (1.4%)

simplify48.0ms (0.7%)

prune358.0ms (5.2%)

regimes592.0ms (8.5%)

simplify3.0ms (0%)

end205.0ms (2.9%)

Profiling

Iter	Nodes	Cost
0	9	14
1	17	14
2	32	14
3	49	14
4	76	14
5	124	14
6	205	14
7	306	14
8	408	14
9	524	14
10	582	14
11	588	14