Details

sample625.0ms

Algorithm

intervals

Results

249.0ms	116×	body	5120	exit
139.0ms	110×	body	1280	valid
72.0ms	76×	body	640	valid
59.0ms	44×	body	1280	nan
34.0ms	34×	body	640	nan
28.0ms	42×	body	320	valid
10.0ms	14×	body	320	nan
8.0ms	19×	body	160	valid
3.0ms	6×	body	160	nan
2.0ms	11×	body	80	valid
2.0ms	8×	body	80	nan

simplify19.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (16.0ms)

Iter	Nodes	Cost
0	5372	89

prune15.0ms

Filtered

1 candidates to 1 candidates (0.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

Merged error: 0.7b

Counts

2 → 2

localize55.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (sqrt (* PI 2.0)) (* (pow (+ z (- 7.0 (- 1.0 0.5))) (+ z (- 0.5 1.0))) (/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0)))))) (+ (/ 12.507343278686905 (+ z (- 5.0 1.0))) (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))))) (exp (+ z (- 7.0 (- 1.0 0.5)))))))
0.6b	(/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0)))))) (+ (/ 12.507343278686905 (+ z (- 5.0 1.0))) (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))))) (exp (+ z (- 7.0 (- 1.0 0.5)))))
0.9b	(+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))
1.0b	(sqrt (* PI 2.0))

rewrite1.3s

Algorithm

rewrite-expression-head

Rules

769×	`*-un-lft-identity`
516×	`distribute-lft-out`
161×	`times-frac`
31×	`add-sqr-sqrt` `add-cube-cbrt`
27×	`distribute-lft-out--`
23×	`add-exp-log`
21×	`exp-sum`
20×	`associate-/l*`
15×	`add-cbrt-cube`
13×	`prod-exp`
9×	`pow1` `add-log-exp`
5×	`cbrt-unprod`
4×	`associate-r/` `div-exp` `associate-l` `frac-add` `associate-/r`
3×	`associate-+r-` `flip3-+` `sum-log` `flip-+`
2×	`cbrt-undiv` `pow-to-exp` `sqrt-pow1` `pow-prod-down` `pow-exp` `sqrt-prod` `associate-/l/` `pow-sub`
1×	`+-commutative` `frac-times` `associate-+r+` `frac-2neg` `pow1/2` `exp-diff` `associate-r` `associate-l/` `clear-num` `associate-/r/` `-commutative` `div-inv`

Counts

4 → 202

Calls

4 calls:

657.0ms	(* (sqrt (* PI 2.0)) (* (pow (+ z (- 7.0 (- 1.0 0.5))) (+ z (- 0.5 1.0))) (/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0)))))) (+ (/ 12.507343278686905 (+ z (- 5.0 1.0))) (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))))) (exp (+ z (- 7.0 (- 1.0 0.5)))))))
614.0ms	(/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0)))))) (+ (/ 12.507343278686905 (+ z (- 5.0 1.0))) (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))))) (exp (+ z (- 7.0 (- 1.0 0.5)))))
49.0ms	(+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))
2.0ms	(sqrt (* PI 2.0))

series75.0ms

Counts

4 → 10

Calls

4 calls:

44.0ms	(* (sqrt (* PI 2.0)) (* (pow (+ z (- 7.0 (- 1.0 0.5))) (+ z (- 0.5 1.0))) (/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0)))))) (+ (/ 12.507343278686905 (+ z (- 5.0 1.0))) (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))))) (exp (+ z (- 7.0 (- 1.0 0.5)))))))
24.0ms	(/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0)))))) (+ (/ 12.507343278686905 (+ z (- 5.0 1.0))) (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))))) (exp (+ z (- 7.0 (- 1.0 0.5)))))
7.0ms	(+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))
0.0ms	(sqrt (* PI 2.0))

simplify105.0ms

Algorithm

egg-herbie

Counts

212 → 212

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5246	14034

prune794.0ms

Filtered

81 candidates to 212 candidates (-161.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	202	10	212
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	204	10	214

Merged error: 0.0b

Counts

214 → 10

localize63.0ms

Local error

Found 4 expressions with local error:

0.6b	(* (sqrt (* PI 2.0)) (* (+ 0.9999999999998099 (+ (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0))))) (+ (/ 676.5203681218851 z) (+ (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0))))) (/ 12.507343278686905 (+ z (- 5.0 1.0))))))) (pow (+ z (+ 7.0 (- 0.5 1.0))) (+ z (- 0.5 1.0)))))
0.9b	(+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))
1.0b	(+ (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0))))) (/ 12.507343278686905 (+ z (- 5.0 1.0))))
1.0b	(sqrt (* PI 2.0))

rewrite813.0ms

Algorithm

rewrite-expression-head

Rules

1234×	`*-un-lft-identity`
576×	`distribute-lft-out`
405×	`times-frac`
135×	`distribute-lft-out--`
18×	`add-log-exp`
14×	`add-exp-log`
13×	`frac-add`
9×	`pow1` `sum-log` `add-cbrt-cube`
7×	`flip3-+` `prod-exp` `flip-+`
6×	`associate-*r/`
5×	`add-sqr-sqrt` `add-cube-cbrt`
4×	`associate-l`
3×	`associate-+r-` `cbrt-unprod` `pow-sub`
2×	`+-commutative` `frac-times` `sqrt-pow1` `pow-prod-down` `associate-*l/` `sqrt-prod`
1×	`pow-to-exp` `associate-+l+` `associate-+r+` `pow1/2` `associate-r` `pow-exp` `*-commutative`

Counts

4 → 184

Calls

4 calls:

640.0ms	(* (sqrt (* PI 2.0)) (* (+ 0.9999999999998099 (+ (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0))))) (+ (/ 676.5203681218851 z) (+ (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0))))) (/ 12.507343278686905 (+ z (- 5.0 1.0))))))) (pow (+ z (+ 7.0 (- 0.5 1.0))) (+ z (- 0.5 1.0)))))
49.0ms	(+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))
93.0ms	(+ (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0))))) (/ 12.507343278686905 (+ z (- 5.0 1.0))))
4.0ms	(sqrt (* PI 2.0))

series58.0ms

Counts

4 → 10

Calls

4 calls:

33.0ms	(* (sqrt (* PI 2.0)) (* (+ 0.9999999999998099 (+ (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0))))) (+ (/ 676.5203681218851 z) (+ (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0))))) (/ 12.507343278686905 (+ z (- 5.0 1.0))))))) (pow (+ z (+ 7.0 (- 0.5 1.0))) (+ z (- 0.5 1.0)))))
6.0ms	(+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))
18.0ms	(+ (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0))))) (/ 12.507343278686905 (+ z (- 5.0 1.0))))
0.0ms	(sqrt (* PI 2.0))

simplify73.0ms

Algorithm

egg-herbie

Counts

194 → 194

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5033	7701

prune593.0ms

Filtered

69 candidates to 194 candidates (-181.2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	194	0	194
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	194	10	204

Merged error: 0.0b

Counts

204 → 10

localize53.0ms

Local error

Found 4 expressions with local error:

0.6b	(/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0)))))) (+ (/ 12.507343278686905 (+ z (- 5.0 1.0))) (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))))) (exp (+ z (- 7.0 (- 1.0 0.5)))))
0.9b	(+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))
1.0b	(* (sqrt (* PI 2.0)) (pow (+ z (+ 7.0 (- 0.5 1.0))) (+ z (- 0.5 1.0))))
1.0b	(sqrt (* PI 2.0))

rewrite696.0ms

Algorithm

rewrite-expression-head

Rules

780×	`*-un-lft-identity`
521×	`distribute-lft-out`
161×	`times-frac`
38×	`add-sqr-sqrt`
33×	`add-cube-cbrt`
28×	`distribute-lft-out--`
21×	`exp-sum`
20×	`associate-/l*`
11×	`associate-r`
10×	`add-exp-log`
9×	`add-log-exp`
8×	`add-cbrt-cube`
7×	`pow1` `unpow-prod-down`
4×	`associate-l` `frac-add` `associate-/r*`
3×	`flip3-+` `prod-exp` `sum-log` `flip-+` `unswap-sqr`
2×	`associate-+r-` `sqrt-pow1` `sqrt-prod` `associate-/l/` `sqr-pow`
1×	`cbrt-undiv` `unpow-prod-up` `+-commutative` `pow-to-exp` `associate-+r+` `frac-2neg` `pow1/2` `exp-diff` `associate-r/` `div-exp` `pow-prod-down` `pow-exp` `clear-num` `associate-/r/` `-commutative` `cbrt-unprod` `div-inv` `pow-sub`

Counts

4 → 206

Calls

4 calls:

615.0ms	(/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0)))))) (+ (/ 12.507343278686905 (+ z (- 5.0 1.0))) (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))))) (exp (+ z (- 7.0 (- 1.0 0.5)))))
46.0ms	(+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))
15.0ms	(* (sqrt (* PI 2.0)) (pow (+ z (+ 7.0 (- 0.5 1.0))) (+ z (- 0.5 1.0))))
2.0ms	(sqrt (* PI 2.0))

series49.0ms

Counts

4 → 10

Calls

4 calls:

18.0ms	(/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0)))))) (+ (/ 12.507343278686905 (+ z (- 5.0 1.0))) (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))))) (exp (+ z (- 7.0 (- 1.0 0.5)))))
7.0ms	(+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))
24.0ms	(* (sqrt (* PI 2.0)) (pow (+ z (+ 7.0 (- 0.5 1.0))) (+ z (- 0.5 1.0))))
0.0ms	(sqrt (* PI 2.0))

simplify95.0ms

Algorithm

egg-herbie

Counts

216 → 216

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5761	12119

prune827.0ms

Filtered

85 candidates to 216 candidates (-154.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	214	2	216
Fresh	3	5	8
Picked	1	0	1
Done	0	1	1
Total	218	8	226

Merged error: 0b

Counts

226 → 8

localize59.0ms

Local error

Found 4 expressions with local error:

0.9b	(+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))
1.0b	(+ (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0))))) (/ 12.507343278686905 (+ z (- 5.0 1.0))))
1.0b	(* (sqrt (* PI 2.0)) (pow (+ z (+ 7.0 (- 0.5 1.0))) (+ z (- 0.5 1.0))))
1.0b	(sqrt (* PI 2.0))

rewrite175.0ms

Algorithm

rewrite-expression-head

Rules

1245×	`*-un-lft-identity`
581×	`distribute-lft-out`
405×	`times-frac`
136×	`distribute-lft-out--`
18×	`add-log-exp`
13×	`frac-add`
12×	`add-sqr-sqrt`
11×	`associate-r`
9×	`add-exp-log` `sum-log`
7×	`pow1` `add-cube-cbrt` `unpow-prod-down`
6×	`add-cbrt-cube`
5×	`flip3-+` `flip-+`
4×	`associate-l`
3×	`prod-exp` `unswap-sqr`
2×	`+-commutative` `sqrt-pow1` `sqrt-prod` `sqr-pow`
1×	`unpow-prod-up` `pow-to-exp` `associate-+r-` `associate-+l+` `associate-+r+` `pow1/2` `associate-r/` `pow-prod-down` `pow-exp` `-commutative` `cbrt-unprod` `pow-sub`

Counts

4 → 190

Calls

4 calls:

45.0ms	(+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))
85.0ms	(+ (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0))))) (/ 12.507343278686905 (+ z (- 5.0 1.0))))
14.0ms	(* (sqrt (* PI 2.0)) (pow (+ z (+ 7.0 (- 0.5 1.0))) (+ z (- 0.5 1.0))))
2.0ms	(sqrt (* PI 2.0))

series34.0ms

Counts

4 → 10

Calls

4 calls:

7.0ms	(+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))
9.0ms	(+ (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0))))) (/ 12.507343278686905 (+ z (- 5.0 1.0))))
19.0ms	(* (sqrt (* PI 2.0)) (pow (+ z (+ 7.0 (- 0.5 1.0))) (+ z (- 0.5 1.0))))
0.0ms	(sqrt (* PI 2.0))

simplify80.0ms

Algorithm

egg-herbie

Counts

200 → 200

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4949	6085
1	4949	6085

prune529.0ms

Filtered

71 candidates to 200 candidates (-181.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	199	1	200
Fresh	3	3	6
Picked	0	1	1
Done	0	1	1
Total	202	6	208

Merged error: 0b

Counts

208 → 6

regimes62.0ms

Accuracy

0% (1.0b remaining)

Error of 1.0b against oracle of 0.0b and baseline of 1.0b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	86	90
1	86	90

end0.0ms

sample20.4s

Algorithm

intervals

Results

8.3s	3951×	body	5120	exit
4.2s	3325×	body	1280	valid
2.4s	2509×	body	640	valid
2.0s	1536×	body	1280	nan
1.2s	1211×	body	640	nan
867.0ms	1273×	body	320	valid
431.0ms	596×	body	320	nan
291.0ms	642×	body	160	valid
145.0ms	317×	body	160	nan
76.0ms	341×	body	80	valid
60.0ms	306×	body	80	nan

Details

sample625.0ms

simplify19.0ms

prune15.0ms

localize55.0ms

rewrite1.3s

series75.0ms

simplify105.0ms

prune794.0ms

localize63.0ms

rewrite813.0ms

series58.0ms

simplify73.0ms

prune593.0ms

localize53.0ms

rewrite696.0ms

series49.0ms

simplify95.0ms

prune827.0ms

localize59.0ms

rewrite175.0ms

series34.0ms

simplify80.0ms

prune529.0ms

regimes62.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample20.4s

Profiling