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 (68.5%)

Results

2.5s	3626×	body	1024	valid
1.6s	1184×	body	2048	valid
696.0ms	1431×	body	512	valid
216.0ms	1409×	body	128	valid
173.0ms	601×	body	256	valid
13.0ms	5×	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

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

36.5b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	1.4b	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
✓	1.8b	(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:

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

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

prune88.0ms (1.1%)

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.2b

Counts

93 → 3

Alt Table

Status	Error	Program
▶	21.4b	(-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
	21.4b	(+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	31.2b	(fma.f64 (cos.f64 x) (+.f64 eps (.f64 (pow.f64 eps 3) -1/6)) (.f64 (sin.f64 x) (.f64 (.f64 eps eps) -1/2)))

Compiler

Compiled 1657 to 503 computations (69.6% saved)

localize13.0ms (0.2%)

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))
✓	3.1b	(-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))

series89.0ms (1.2%)

Counts

4 → 72

Calls

4 calls:

54.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))
10.0ms	(*.f64 (sin.f64 x) (cos.f64 eps))

rewrite24.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:

9.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 (cos.f64 x) (sin.f64 eps))
3.0ms	(*.f64 (sin.f64 x) (cos.f64 eps))

simplify143.0ms (1.9%)

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

prune193.0ms (2.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	181	8	189
Fresh	0	2	2
Picked	1	0	1
Done	0	0	0
Total	182	10	192

Error

0.1b

Counts

192 → 10

Alt Table

Status	Error	Program
	30.1b	(log.f64 (exp.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	23.2b	(/.f64 (-.f64 (.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))) (.f64 (sin.f64 x) (sin.f64 x))) (+.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x)))
	21.8b	(+.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))))))
▶	0.5b	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
	31.2b	(fma.f64 (cos.f64 x) (+.f64 eps (.f64 (pow.f64 eps 3) -1/6)) (.f64 (sin.f64 x) (.f64 (.f64 eps eps) -1/2)))
	30.1b	(log.f64 (/.f64 (exp.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))) (exp.f64 (sin.f64 x))))
	25.5b	(/.f64 (-.f64 (pow.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) 3) (pow.f64 (sin.f64 x) 3)) (+.f64 (.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))) (+.f64 (.f64 (sin.f64 x) (sin.f64 x)) (.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x)))))
	42.8b	(+.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 (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))))))
	20.1b	(cbrt.f64 (pow.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) 3))
	21.4b	(+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))

Compiler

Compiled 4985 to 1388 computations (72.2% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series33.0ms (0.4%)

Counts

4 → 64

Calls

4 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)
2.0ms	(cos.f64 eps)

rewrite13.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64`
11×	`add-sqr-sqrt_binary64`
7×	`add-cube-cbrt_binary64`
6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`

Counts

4 → 63

Calls

4 calls:

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

simplify88.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

821×	`fma-def_binary64`
696×	`sub-neg_binary64`
466×	`cancel-sign-sub-inv_binary64`
294×	`distribute-rgt-in_binary64`
256×	`distribute-lft-in_binary64`

Counts

127 → 148

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	182	2031
1	492	1858
2	1545	1811
3	4447	1811
4	5259	1811

prune252.0ms (3.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	144	4	148
Fresh	5	4	9
Picked	0	1	1
Done	0	0	0
Total	149	9	158

Error

0.1b

Counts

158 → 9

Alt Table

Status	Error	Program
	23.2b	(/.f64 (-.f64 (.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))) (.f64 (sin.f64 x) (sin.f64 x))) (+.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x)))
	0.6b	(fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (log.f64 (.f64 (exp.f64 (cos.f64 eps)) (exp.f64 -1)))))
	0.5b	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (cbrt.f64 (pow.f64 (-.f64 (cos.f64 eps) 1) 3))))
	25.5b	(/.f64 (-.f64 (pow.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) 3) (pow.f64 (sin.f64 x) 3)) (+.f64 (.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))) (+.f64 (.f64 (sin.f64 x) (sin.f64 x)) (.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x)))))
✓	0.5b	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
	42.8b	(+.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 (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))))))
	20.1b	(cbrt.f64 (pow.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) 3))
▶	0.5b	(fma.f64 (sin.f64 eps) (cos.f64 x) (log.f64 (exp.f64 (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	27.8b	(fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (.f64 -1/2 (pow.f64 eps 2))))

Compiler

Compiled 3375 to 1527 computations (54.8% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))
✓	0.1b	(fma.f64 (sin.f64 eps) (cos.f64 x) (log.f64 (exp.f64 (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	2.1b	(+.f64 (cos.f64 eps) -1)
✓	3.1b	(log.f64 (exp.f64 (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))

series29.0ms (0.4%)

Counts

2 → 48

Calls

2 calls:

17.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (log.f64 (exp.f64 (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
12.0ms	(log.f64 (exp.f64 (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`log-prod_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`add-cube-cbrt_binary64`
3×	`pow1_binary64`

Counts

2 → 28

Calls

2 calls:

2.0ms	(log.f64 (exp.f64 (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))
0.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (log.f64 (exp.f64 (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))

simplify113.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

599×	`fma-def_binary64`
546×	`sub-neg_binary64`
373×	`cancel-sign-sub-inv_binary64`
316×	`associate-r_binary64`
308×	`associate-l_binary64`

Counts

76 → 80

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	141	1534
1	342	1398
2	1064	1352
3	4023	1346
4	4768	1346
5	4982	1346
6	4942	1346

prune235.0ms (3.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	175	1	176
Fresh	0	7	7
Picked	1	0	1
Done	0	1	1
Total	176	9	185

Error

0.1b

Counts

185 → 9

Alt Table

Status	Error	Program
	23.2b	(/.f64 (-.f64 (.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))) (.f64 (sin.f64 x) (sin.f64 x))) (+.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x)))
	0.6b	(fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (log.f64 (.f64 (exp.f64 (cos.f64 eps)) (exp.f64 -1)))))
	0.5b	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (cbrt.f64 (pow.f64 (-.f64 (cos.f64 eps) 1) 3))))
	25.5b	(/.f64 (-.f64 (pow.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) 3) (pow.f64 (sin.f64 x) 3)) (+.f64 (.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))) (+.f64 (.f64 (sin.f64 x) (sin.f64 x)) (.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x)))))
✓	0.5b	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
	42.8b	(+.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 (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))))))
	20.1b	(cbrt.f64 (pow.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) 3))
	0.5b	(+.f64 (.f64 (sin.f64 eps) (cos.f64 x)) (log.f64 (exp.f64 (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	27.8b	(fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (.f64 -1/2 (pow.f64 eps 2))))

Compiler

Compiled 4043 to 2009 computations (50.3% saved)

regimes769.0ms (10%)

Accuracy

Total 0.3b remaining (63.6%)

Threshold costs 0.3b (63.6%)

Counts

208 → 1

Compiler

Compiled 13014 to 8111 computations (37.7% 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

end169.0ms (2.2%)

Compiler: Compiled 299 to 145 computations (51.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%)

sample5.3s (68.5%)

simplify11.0ms (0.1%)

prune2.0ms (0%)

localize8.0ms (0.1%)

series11.0ms (0.1%)

rewrite13.0ms (0.2%)

simplify99.0ms (1.3%)

prune88.0ms (1.1%)

localize13.0ms (0.2%)

series89.0ms (1.2%)

rewrite24.0ms (0.3%)

simplify143.0ms (1.9%)

prune193.0ms (2.5%)

localize11.0ms (0.1%)

series33.0ms (0.4%)

rewrite13.0ms (0.2%)

simplify88.0ms (1.1%)

prune252.0ms (3.3%)

localize13.0ms (0.2%)

series29.0ms (0.4%)

rewrite3.0ms (0%)

simplify113.0ms (1.5%)

prune235.0ms (3.1%)

regimes769.0ms (10%)

simplify2.0ms (0%)

end169.0ms (2.2%)

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