Details

analyze21.0ms (0.2%)

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)

sample131.0ms (1.2%)

Algorithm

1×

intervals

Results

61.0ms	80×	body	2048	valid
50.0ms	119×	body	1024	valid
8.0ms	36×	body	512	valid
3.0ms	16×	body	256	valid
0.0ms	5×	body	128	valid

Compiler

Compiled 21 to 15 computations (28.6% saved)

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

40.2b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	40.2b	(-.f64 (cos.f64 (+.f64 x eps)) (cos.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
✓	0.6b	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
✓	1.7b	(cos.f64 (+.f64 x eps))

series15.0ms (0.1%)

Counts

2 → 48

Calls

2 calls:

8.0ms	(cos.f64 (+.f64 x eps))
7.0ms	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))

rewrite12.0ms (0.1%)

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:

7.0ms	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
3.0ms	(cos.f64 (+.f64 x eps))

simplify96.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

757×	`fma-neg_binary64`
498×	`cancel-sign-sub-inv_binary64`
477×	`fma-def_binary64`
311×	`sub-neg_binary64`
244×	`distribute-rgt-in_binary64`

Counts

90 → 92

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	134	1274
1	309	1207
2	965	1144
3	2373	1120
4	4522	1120
5	4838	1120

prune143.0ms (1.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	85	7	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	86	7	93

Error

0.2b

Counts

93 → 7

Alt Table

Status	Error	Program
	28.7b	(-.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))
	40.2b	(/.f64 (-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 3) (pow.f64 (cos.f64 x) 3)) (+.f64 (.f64 (cos.f64 (+.f64 x eps)) (cos.f64 (+.f64 x eps))) (+.f64 (.f64 (cos.f64 x) (cos.f64 x)) (*.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))))
	26.2b	(neg.f64 (fma.f64 eps (sin.f64 x) (.f64 1/2 (.f64 (cos.f64 x) (*.f64 eps eps)))))
	40.2b	(cbrt.f64 (.f64 (.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)) (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))) (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))
▶	11.7b	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))
	28.7b	(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (sin.f64 eps) (sin.f64 x) (cos.f64 x)))
	28.8b	(-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (+.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (cos.f64 x)))

Compiler

Compiled 1839 to 620 computations (66.3% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))
✓	0.0b	(+.f64 x (+.f64 eps x))
✓	0.2b	(*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))
✓	1.8b	(sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))

series74.0ms (0.7%)

Counts

4 → 96

Calls

4 calls:

33.0ms	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))
24.0ms	(*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))
9.0ms	(sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))
8.0ms	(+.f64 x (+.f64 eps x))

rewrite66.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`*-un-lft-identity_binary64`
11×	`add-cbrt-cube_binary64`
11×	`add-exp-log_binary64`
11×	`pow1_binary64`
10×	`add-sqr-sqrt_binary64`

Counts

4 → 71

Calls

4 calls:

20.0ms	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))
18.0ms	(*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))
13.0ms	(sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))
8.0ms	(+.f64 x (+.f64 eps x))

simplify218.0ms (2%)

Algorithm

1×	egg-herbie

Rules

549×	`fma-def_binary64`
428×	`*-commutative_binary64`
417×	`cancel-sign-sub-inv_binary64`
354×	`sub-neg_binary64`
330×	`distribute-rgt-neg-in_binary64`

Counts

167 → 164

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	184	3349
1	500	2908
2	1528	2564
3	3686	2549
4	4710	2549
5	4985	2549
6	4925	2549

prune303.0ms (2.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	157	7	164
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	159	12	171

Error

0.2b

Counts

171 → 12

Alt Table

Status	Error	Program
	28.7b	(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (sin.f64 eps) (sin.f64 x) (cos.f64 x)))
	35.5b	(.f64 -2 (.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))) (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sqrt.f64 (sin.f64 (/.f64 eps 2))))))
	28.7b	(-.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))
	32.6b	(.f64 -2 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))) 3)))
	28.8b	(-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (+.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (cos.f64 x)))
	22.2b	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (log.f64 (exp.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))))
	26.2b	(neg.f64 (fma.f64 eps (sin.f64 x) (.f64 1/2 (.f64 (cos.f64 x) (*.f64 eps eps)))))
▶	11.8b	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))))
	43.9b	(*.f64 -2 (exp.f64 (+.f64 (log.f64 (sin.f64 (/.f64 eps 2))) (log.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
	40.2b	(cbrt.f64 (.f64 (.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)) (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))) (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))
	14.3b	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) 3))))
	23.8b	(.f64 -2 (.f64 (sqrt.f64 (.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2)))) (sqrt.f64 (.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))))

Compiler

Compiled 4095 to 2837 computations (30.7% saved)

localize27.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (sin.f64 (/.f64 eps 2)) (expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))))
✓	0.3b	(expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))
✓	0.3b	(log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))
✓	1.8b	(sin.f64 (/.f64 (fma.f64 x 2 eps) 2))

series521.0ms (4.8%)

Counts

4 → 96

Calls

4 calls:

495.0ms	(log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))
12.0ms	(*.f64 (sin.f64 (/.f64 eps 2)) (expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))))
9.0ms	(sin.f64 (/.f64 (fma.f64 x 2 eps) 2))
5.0ms	(expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 51

Calls

4 calls:

4.0ms	(*.f64 (sin.f64 (/.f64 eps 2)) (expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))))
2.0ms	(sin.f64 (/.f64 (fma.f64 x 2 eps) 2))
0.0ms	(log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))
0.0ms	(expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))

simplify97.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

919×	`times-frac_binary64`
443×	`fma-def_binary64`
391×	`cancel-sign-sub-inv_binary64`
386×	`fma-neg_binary64`
161×	`distribute-rgt-neg-in_binary64`

Counts

147 → 115

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	186	2974
1	501	2792
2	1741	2696
3	4560	2680
4	5022	2680

prune211.0ms (1.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	113	2	115
Fresh	1	10	11
Picked	1	0	1
Done	0	0	0
Total	115	12	127

Error

0.2b

Counts

127 → 12

Alt Table

Status	Error	Program
	28.7b	(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (sin.f64 eps) (sin.f64 x) (cos.f64 x)))
	35.5b	(.f64 -2 (.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))) (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sqrt.f64 (sin.f64 (/.f64 eps 2))))))
	23.8b	(.f64 -2 (.f64 (sqrt.f64 (.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2)))) (sqrt.f64 (.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))))
	43.9b	(*.f64 -2 (exp.f64 (+.f64 (log.f64 (sin.f64 (/.f64 eps 2))) (log.f64 (expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))))))
▶	14.2b	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (expm1.f64 (cbrt.f64 (pow.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))) 3)))))
	28.7b	(-.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))
	32.6b	(.f64 -2 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))) 3)))
	28.8b	(-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (+.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (cos.f64 x)))
	22.2b	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (log.f64 (exp.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))))
	26.2b	(neg.f64 (fma.f64 eps (sin.f64 x) (.f64 1/2 (.f64 (cos.f64 x) (*.f64 eps eps)))))
	40.2b	(cbrt.f64 (.f64 (.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)) (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))) (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))
	14.3b	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) 3))))

Compiler

Compiled 3647 to 2795 computations (23.4% saved)

localize27.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))
✓	0.5b	(pow.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))) 3)
	1.8b	(sin.f64 (/.f64 (fma.f64 x 2 eps) 2))
✓	7.9b	(cbrt.f64 (pow.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))) 3))

series1.8s (16.3%)

Counts

2 → 48

Calls

2 calls:

980.0ms	(pow.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))) 3)
785.0ms	(cbrt.f64 (pow.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))) 3))

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cbrt-prod_binary64`
8×	`*-un-lft-identity_binary64`
8×	`add-sqr-sqrt_binary64`
8×	`add-cube-cbrt_binary64`
6×	`cube-prod_binary64`

Counts

2 → 48

Calls

2 calls:

3.0ms	(pow.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))) 3)
3.0ms	(cbrt.f64 (pow.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))) 3))

simplify156.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

896×	`fma-def_binary64`
368×	`unswap-sqr_binary64`
252×	`associate-r_binary64`
230×	`cancel-sign-sub-inv_binary64`
174×	`associate-/l*_binary64`

Counts

96 → 90

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	239	3188
1	721	3037
2	3066	2962
3	4883	2962
4	5070	2962

prune368.0ms (3.4%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	144	1	145
Fresh	0	11	11
Picked	1	0	1
Done	0	0	0
Total	145	12	157

Error

0.2b

Counts

157 → 12

Alt Table

Status	Error	Program
	28.7b	(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (sin.f64 eps) (sin.f64 x) (cos.f64 x)))
	35.5b	(.f64 -2 (.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))) (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sqrt.f64 (sin.f64 (/.f64 eps 2))))))
	23.8b	(.f64 -2 (.f64 (sqrt.f64 (.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2)))) (sqrt.f64 (.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))))
	43.9b	(*.f64 -2 (exp.f64 (+.f64 (log.f64 (sin.f64 (/.f64 eps 2))) (log.f64 (expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))))))
	28.7b	(-.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))
	32.6b	(.f64 -2 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))) 3)))
	28.8b	(-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (+.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (cos.f64 x)))
	22.2b	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (log.f64 (exp.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))))
	26.2b	(neg.f64 (fma.f64 eps (sin.f64 x) (.f64 1/2 (.f64 (cos.f64 x) (*.f64 eps eps)))))
	23.1b	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (expm1.f64 (cbrt.f64 (log.f64 (exp.f64 (pow.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))) 3)))))))
	40.2b	(cbrt.f64 (.f64 (.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)) (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))) (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))
	14.3b	(.f64 -2 (.f64 (sin.f64 (/.f64 eps 2)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) 3))))

Compiler

Compiled 6241 to 4862 computations (22.1% saved)

regimes1.3s (11.7%)

Accuracy

Total 0.3b remaining (52.4%)

Threshold costs 0.3b (52.4%)

Counts

144 → 3

Compiler

Compiled 8027 to 5906 computations (26.4% saved)

bsearch88.0ms (0.8%)

Steps

Iters	Range		Point
9	1.4471309635938159e-8	0.6512744844284002	0.002642006392618735
10	-67351557194.80865	-1.7125811283861844e-7	-0.0032009189843879215

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

12×	`*-commutative_binary64`
11×	`+-commutative_binary64`
10×	`sub-neg_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	92
1	53	92
2	72	92
3	84	92
4	91	92
5	92	92
6	92	92

end1.0ms (0%)

Compiler: Compiled 61 to 33 computations (45.9% saved)

sample5.2s (47.7%)

Algorithm

1×

intervals

Results

2.2s	2044×	body	2048	valid
2.0s	3814×	body	1024	valid
365.0ms	1345×	body	512	valid
103.0ms	536×	body	256	valid
25.0ms	260×	body	128	valid
2.0ms	1×	body	4096	valid

Compiler

Compiled 315 to 219 computations (30.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

analyze21.0ms (0.2%)

sample131.0ms (1.2%)

simplify10.0ms (0.1%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series15.0ms (0.1%)

rewrite12.0ms (0.1%)

simplify96.0ms (0.9%)

prune143.0ms (1.3%)

localize24.0ms (0.2%)

series74.0ms (0.7%)

rewrite66.0ms (0.6%)

simplify218.0ms (2%)

prune303.0ms (2.8%)

localize27.0ms (0.3%)

series521.0ms (4.8%)

rewrite8.0ms (0.1%)

simplify97.0ms (0.9%)

prune211.0ms (1.9%)

localize27.0ms (0.2%)

series1.8s (16.3%)

rewrite10.0ms (0.1%)

simplify156.0ms (1.4%)

prune368.0ms (3.4%)

regimes1.3s (11.7%)

bsearch88.0ms (0.8%)

simplify5.0ms (0%)

end1.0ms (0%)

sample5.2s (47.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