Details

sample1.6s

Algorithm

intervals

Results

1.3s	126×	body	5120	exit
126.0ms	61×	body	1280	nan
84.0ms	257×	body	80	valid
62.0ms	43×	body	640	nan
19.0ms	18×	body	320	nan
13.0ms	14×	body	160	nan
2.0ms	7×	body	80	nan

simplify27.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5174	87

prune21.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: 1.2b

Counts

2 → 2

localize57.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.2s

Algorithm

rewrite-expression-head

Rules

162×	`*-un-lft-identity`
103×	`distribute-lft-out`
27×	`times-frac`
20×	`associate-r`
16×	`add-sqr-sqrt`
14×	`add-cube-cbrt`
9×	`pow1`
8×	`add-cbrt-cube`
7×	`add-exp-log`
6×	`distribute-rgt-neg-in` `add-log-exp`
5×	`associate-l`
3×	`flip3-+` `exp-diff` `associate-/r` `flip-+` `associate-/l`
2×	`frac-times` `sqrt-pow1` `associate-*r/` `exp-sum` `pow-prod-down`
1×	`cbrt-undiv` `+-commutative` `distribute-rgt-in` `sub-neg` `frac-2neg` `distribute-lft-in` `pow1/2` `div-exp` `associate-l/` `frac-add` `prod-exp` `clear-num` `sum-log` `sqrt-prod` `-commutative` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

4 → 104

Calls

4 calls:

4.0ms	(/ PI (sin (* PI z)))
32.0ms	(+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0)))
1.2s	(* (exp (- z (+ 7.0 0.5))) (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (+ 2.0 (neg z))) (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (/ 1.5056327351493116e-07 (+ (neg z) 8.0))))))))
3.0ms	(sqrt (* PI 2.0))

series33.0ms

Counts

4 → 10

Calls

4 calls:

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

simplify35.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (19.0ms)

Iter	Nodes	Cost
0	5057	2798

prune511.0ms

Filtered

73 candidates to 114 candidates (-56.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

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

Merged error: 0b

Counts

116 → 11

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite532.0ms

Algorithm

rewrite-expression-head

Rules

994×	`*-un-lft-identity`
397×	`times-frac`
335×	`distribute-lft-out`
192×	`distribute-lft-out--`
25×	`frac-add`
24×	`add-log-exp`
15×	`sum-log`
14×	`add-sqr-sqrt` `add-cube-cbrt`
11×	`add-cbrt-cube`
8×	`add-exp-log`
7×	`pow1` `associate-/r*`
6×	`flip3-+` `flip-+`
4×	`associate-/l*`
3×	`cbrt-undiv` `div-exp`
2×	`frac-2neg` `sqrt-pow1` `exp-sum` `associate-*l/` `clear-num` `div-inv` `associate-/l/`
1×	`+-commutative` `associate-+r+` `pow1/2` `pow-prod-down` `prod-exp` `sqrt-prod` `cbrt-unprod`

Counts

4 → 157

Calls

4 calls:

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

series44.0ms

Counts

4 → 10

Calls

4 calls:

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

simplify56.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 0 (14.0ms)

Iter	Nodes	Cost
0	5096	6634

prune605.0ms

Filtered

80 candidates to 167 candidates (-108.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	165	2	167
Fresh	3	7	10
Picked	0	1	1
Done	0	0	0
Total	168	10	178

Merged error: 0b

Counts

178 → 10

localize64.0ms

Local error

Found 4 expressions with local error:

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

rewrite565.0ms

Algorithm

rewrite-expression-head

Rules

1968×	`*-un-lft-identity`
772×	`times-frac`
670×	`distribute-lft-out`
384×	`distribute-lft-out--`
74×	`exp-sum`
72×	`log-prod`
50×	`frac-add`
24×	`add-log-exp`
15×	`sum-log`
11×	`log-div` `flip3-+` `exp-diff` `flip-+`
9×	`add-cbrt-cube`
8×	`pow1` `add-sqr-sqrt` `add-cube-cbrt`
6×	`add-exp-log`
4×	`exp-prod` `associate-/r*`
2×	`cbrt-undiv` `sqrt-pow1` `div-exp` `associate-*l/` `associate-/l/`
1×	`+-commutative` `associate-+r+` `frac-2neg` `pow1/2` `pow-prod-down` `prod-exp` `clear-num` `sqrt-prod` `log-pow` `cbrt-unprod` `div-inv` `rem-exp-log` `associate-/l*`

Counts

4 → 225

Calls

4 calls:

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

series62.0ms

Counts

4 → 10

Calls

4 calls:

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

simplify93.0ms

Algorithm

egg-herbie

Counts

235 → 235

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5180	11076

prune736.0ms

Filtered

79 candidates to 235 candidates (-197.5%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	235	0	235
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	235	10	245

Merged error: 0b

Counts

245 → 10

localize57.0ms

Local error

Found 4 expressions with local error:

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

rewrite924.0ms

Algorithm

rewrite-expression-head

Rules

1037×	`*-un-lft-identity`
384×	`times-frac`
373×	`distribute-lft-out`
193×	`distribute-lft-out--`
50×	`add-exp-log`
39×	`associate-*r/`
38×	`prod-exp`
35×	`add-cbrt-cube`
31×	`frac-times`
25×	`frac-add`
24×	`add-log-exp`
23×	`associate-*l/`
20×	`cbrt-unprod`
16×	`pow1`
15×	`flip3-+` `associate-l` `sum-log` `flip-+` `pow-sub`
13×	`add-sqr-sqrt`
12×	`exp-diff` `associate-r`
8×	`add-cube-cbrt`
7×	`pow-prod-down`
6×	`unpow-prod-down`
5×	`div-exp`
3×	`cbrt-undiv` `pow-to-exp` `pow-exp` `unswap-sqr`
2×	`unpow-prod-up` `sqrt-pow1` `sqrt-prod` `*-commutative` `sqr-pow`
1×	`+-commutative` `sub-neg` `associate-+r+` `pow1/2`

Counts

4 → 204

Calls

4 calls:

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

series109.0ms

Counts

4 → 10

Calls

4 calls:

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

simplify122.0ms

Algorithm

egg-herbie

Counts

214 → 214

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4984	13020
1	4984	13020

prune1.2s

Filtered

107 candidates to 214 candidates (-100.0%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	212	2	214
Fresh	3	4	7
Picked	1	0	1
Done	0	2	2
Total	216	8	224

Merged error: 0b

Counts

224 → 8

regimes92.0ms

Accuracy

0% (0.3b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 0.4b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	78	81
1	78	81

end0.0ms

sample47.9s

Algorithm

intervals

Results

39.2s	3930×	body	5120	exit
3.0s	1509×	body	1280	nan
2.5s	8095×	body	80	valid
1.8s	1210×	body	640	nan
651.0ms	622×	body	320	nan
211.0ms	306×	body	160	nan
85.0ms	285×	body	80	nan

Details

sample1.6s

simplify27.0ms

prune21.0ms

localize57.0ms

rewrite1.2s

series33.0ms

simplify35.0ms

prune511.0ms

localize58.0ms

rewrite532.0ms

series44.0ms

simplify56.0ms

prune605.0ms

localize64.0ms

rewrite565.0ms

series62.0ms

simplify93.0ms

prune736.0ms

localize57.0ms

rewrite924.0ms

series109.0ms

simplify122.0ms

prune1.2s

regimes92.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample47.9s

Profiling