Details

sample619.0ms

Algorithm

intervals

Results

109.0ms	102×	body	1280	valid
62.0ms	80×	body	640	valid
54.0ms	42×	body	1280	nan
31.0ms	36×	body	640	nan
24.0ms	41×	body	320	valid
23.0ms	124×	body	80	overflowed
22.0ms	36×	body	320	nan
9.0ms	24×	body	160	valid
3.0ms	9×	body	160	nan
2.0ms	10×	body	80	valid
1.0ms	9×	body	80	nan

simplify75.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (15.0ms)

Iter	Nodes	Cost
0	133	48
1	453	48
2	2769	47
3	5002	47

prune34.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: 62.1b

Counts

2 → 2

localize58.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (neg (+ (+ (- z 1.0) 7.0) 0.5))))
1.0b	(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
1.0b	(sqrt (* PI 2.0))
8.4b	(+ (- z 1.0) 1.0)

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

22×	`*-un-lft-identity`
15×	`add-exp-log` `associate-r`
13×	`add-sqr-sqrt`
11×	`add-cbrt-cube`
10×	`prod-exp`
9×	`pow1` `add-log-exp`
8×	`add-cube-cbrt`
7×	`unpow-prod-down` `distribute-lft-out`
6×	`associate-*r/`
5×	`associate-+l-` `associate-l`
4×	`cbrt-unprod` `pow-sub`
3×	`exp-neg` `unswap-sqr`
2×	`neg-sub0` `frac-times` `pow-to-exp` `associate-+l+` `sqrt-pow1` `exp-diff` `pow-prod-down` `pow-exp` `sum-log` `sqrt-prod` `*-commutative` `distribute-lft-out--` `sqr-pow`
1×	`unpow-prod-up` `+-commutative` `sub-neg` `distribute-neg-in` `flip3-+` `pow1/2` `diff-log` `exp-sum` `associate-*l/` `un-div-inv` `flip-+`

Counts

4 → 85

Calls

4 calls:

31.0ms	(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (neg (+ (+ (- z 1.0) 7.0) 0.5))))
18.0ms	(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
2.0ms	(sqrt (* PI 2.0))
8.0ms	(+ (- z 1.0) 1.0)

series46.0ms

Counts

4 → 10

Calls

4 calls:

26.0ms	(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (neg (+ (+ (- z 1.0) 7.0) 0.5))))
18.0ms	(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
0.0ms	(sqrt (* PI 2.0))
2.0ms	(+ (- z 1.0) 1.0)

simplify91.0ms

Algorithm

egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 2 (79.0ms)

Iter	Nodes	Cost
0	708	1125
1	3058	989
2	5002	983

prune1.0s

Filtered

95 candidates to 65 candidates (31.6%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	90	5	95
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	92	5	97

Merged error: 0.6b

Counts

97 → 5

localize53.0ms

Local error

Found 4 expressions with local error:

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

rewrite223.0ms

Algorithm

rewrite-expression-head

Rules

392×	`frac-add`
132×	`frac-times`
107×	`associate-*r/`
62×	`*-un-lft-identity`
56×	`flip3-+` `flip-+`
55×	`associate-+l-` `pow-sub`
54×	`exp-neg`
41×	`distribute-lft-out`
36×	`neg-sub0` `exp-diff`
27×	`add-exp-log`
26×	`associate-r`
24×	`associate-*l/`
22×	`prod-exp`
20×	`add-cbrt-cube`
18×	`un-div-inv`
14×	`pow1` `add-sqr-sqrt`
10×	`cbrt-unprod`
9×	`add-cube-cbrt`
7×	`unpow-prod-down`
6×	`associate-l`
5×	`pow-prod-down`
4×	`add-log-exp`
3×	`pow-to-exp` `pow-exp` `*-commutative` `unswap-sqr`
2×	`sqrt-pow1` `sqrt-prod` `sqr-pow`
1×	`unpow-prod-up` `distribute-rgt-in` `distribute-neg-in` `distribute-lft-in` `pow1/2` `exp-sum` `distribute-lft-out--`

Counts

4 → 218

Calls

4 calls:

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

series85.0ms

Counts

4 → 10

Calls

4 calls:

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

simplify300.0ms

Algorithm

egg-herbie

Counts

228 → 228

Iterations

Useful iterations: 1 (66.0ms)

Iter	Nodes	Cost
0	3796	24353
1	5003	24219

prune3.9s

Filtered

228 candidates to 139 candidates (39.0%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	219	9	228
Fresh	3	1	4
Picked	1	0	1
Done	0	0	0
Total	223	10	233

Merged error: 0.2b

Counts

233 → 10

localize55.0ms

Local error

Found 4 expressions with local error:

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

rewrite232.0ms

Algorithm

rewrite-expression-head

Rules

392×	`frac-add`
162×	`associate-*r/`
132×	`frac-times`
56×	`flip3-+` `flip-+`
55×	`associate-+l-` `pow-sub`
54×	`exp-neg`
53×	`*-un-lft-identity`
43×	`add-exp-log`
37×	`prod-exp`
36×	`neg-sub0` `exp-diff` `distribute-lft-out`
32×	`add-cbrt-cube`
24×	`associate-*l/`
21×	`pow1`
19×	`cbrt-unprod`
18×	`un-div-inv`
16×	`associate-r`
10×	`add-sqr-sqrt` `pow-prod-down`
9×	`add-cube-cbrt`
8×	`associate-l`
6×	`sqrt-prod`
4×	`add-log-exp`
3×	`pow-to-exp` `pow-exp` `*-commutative`
1×	`distribute-rgt-in` `rem-sqrt-square` `distribute-neg-in` `distribute-lft-in` `sqrt-pow1` `pow1/2` `exp-sum`

Counts

4 → 218

Calls

4 calls:

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

series89.0ms

Counts

4 → 10

Calls

4 calls:

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

simplify293.0ms

Algorithm

egg-herbie

Counts

228 → 228

Iterations

Useful iterations: 1 (64.0ms)

Iter	Nodes	Cost
0	3823	24784
1	5001	24651

prune3.8s

Filtered

228 candidates to 136 candidates (40.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	227	1	228
Fresh	3	6	9
Picked	0	1	1
Done	0	0	0
Total	230	8	238

Merged error: 0.2b

Counts

238 → 8

localize57.0ms

Local error

Found 4 expressions with local error:

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

rewrite316.0ms

Algorithm

rewrite-expression-head

Rules

112×	`frac-add`
75×	`add-exp-log`
61×	`*-un-lft-identity`
53×	`prod-exp`
41×	`distribute-lft-out`
34×	`associate-*l/`
32×	`add-cbrt-cube`
23×	`associate-l`
20×	`div-exp`
16×	`flip3-+` `flip-+` `associate-/l/`
13×	`add-sqr-sqrt` `cbrt-unprod`
11×	`pow-to-exp` `pow-exp`
9×	`pow1`
8×	`add-cube-cbrt` `associate-+l-`
7×	`unpow-prod-down`
6×	`cbrt-undiv`
5×	`associate-r`
4×	`exp-diff` `pow-sub` `add-log-exp`
3×	`associate-/r/` `unswap-sqr`
2×	`unpow-prod-up` `frac-times` `sqrt-pow1` `associate-r/` `pow-prod-down` `-commutative` `sqr-pow`
1×	`sub-neg` `frac-2neg` `times-frac` `pow1/2` `exp-sum` `clear-num` `associate-/r` `sqrt-prod` `div-inv` `associate-/l` `distribute-lft-out--`

Counts

4 → 146

Calls

4 calls:

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

series114.0ms

Counts

4 → 10

Calls

4 calls:

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

simplify121.0ms

Algorithm

egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 1 (49.0ms)

Iter	Nodes	Cost
0	2889	8099
1	5003	7502

prune3.6s

Filtered

156 candidates to 110 candidates (29.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	153	3	156
Fresh	2	4	6
Picked	0	1	1
Done	1	0	1
Total	156	8	164

Merged error: 0.2b

Counts

164 → 8

regimes186.0ms

Accuracy

0% (1.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	75	49
1	75	49

end0.0ms

sample11.0s

Algorithm

intervals

Results

3.6s	3360×	body	1280	valid
1.9s	2461×	body	640	valid
1.8s	1531×	body	1280	nan
1.0s	1210×	body	640	nan
718.0ms	1295×	body	320	valid
679.0ms	3818×	body	80	overflowed
396.0ms	631×	body	320	nan
227.0ms	629×	body	160	valid
119.0ms	315×	body	160	nan
64.0ms	340×	body	80	valid
50.0ms	306×	body	80	nan

Details

sample619.0ms

simplify75.0ms

prune34.0ms

localize58.0ms

rewrite66.0ms

series46.0ms

simplify91.0ms

prune1.0s

localize53.0ms

rewrite223.0ms

series85.0ms

simplify300.0ms

prune3.9s

localize55.0ms

rewrite232.0ms

series89.0ms

simplify293.0ms

prune3.8s

localize57.0ms

rewrite316.0ms

series114.0ms

simplify121.0ms

prune3.6s

regimes186.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample11.0s

Profiling