Details

Time bar (total: 1.1min)

sample13.1s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 0.003052%

Guaranteed chance to sample good point: 28.940703%

Results
245.0ms113×body5120exit
136.0ms98×body1280valid
84.0ms84×body640valid
61.0ms45×body1280nan
46.0ms44×body640nan
33.0ms47×body320valid
15.0ms17×body320nan
8.0ms17×body160valid
4.0ms5×body160nan
2.0ms10×body80valid
2.0ms9×body80nan
0.0ms2×body80invalid

simplify78.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (13.0ms)

IterNodesCost
013348
145348
2276947
3500247

prune16.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 61.5b

Counts
2 → 2

localize51.0ms

Local error

Found 4 expressions with local error:

0.1b
(exp (+ (+ (- 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))
5.6b
(+ (- z 1.0) 1.0)

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity
19×add-log-exp
13×add-sqr-sqrt
12×distribute-lft-out
11×associate-*r*
9×add-exp-log
8×add-cube-cbrt
7×pow1 unpow-prod-down sum-log
6×exp-prod add-cbrt-cube
4×associate-+l- associate-*l* rem-exp-log
3×prod-exp distribute-lft-out-- unswap-sqr
2×associate-+l+ sqrt-pow1 diff-log sqrt-prod sqr-pow
1×unpow-prod-up +-commutative pow-to-exp sub-neg flip3-+ pow1/2 exp-diff associate-*r/ exp-sum pow-prod-down pow-exp *-commutative cbrt-unprod flip-+ pow-sub
Counts
4 → 78
Calls
4 calls:
10.0ms
(exp (+ (+ (- 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))
7.0ms
(+ (- z 1.0) 1.0)

series24.0ms

Counts
4 → 10
Calls
4 calls:
2.0ms
(exp (+ (+ (- z 1.0) 7.0) 0.5))
20.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)

simplify57.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
0525641
11934580
25002575

prune429.0ms

Filtered
62 candidates to 88 candidates (-41.9%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New84488
Fresh101
Picked101
Done000
Total86490

Merged error: 0.6b

Counts
90 → 4

localize47.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.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))))
0.5b
(/ (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.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)))) (exp (+ (+ (- 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))

rewrite318.0ms

Algorithm
rewrite-expression-head
Rules
224×frac-add
67×associate-*r/
63×*-un-lft-identity
41×distribute-lft-out
37×associate-+l-
35×pow-sub
33×associate-/l/
32×frac-times flip3-+ flip-+
30×add-exp-log
22×associate-*r*
20×add-cbrt-cube
17×prod-exp
15×add-sqr-sqrt
10×add-cube-cbrt
9×pow1
7×unpow-prod-down cbrt-unprod
5×div-exp associate-*l*
4×times-frac associate-/r* add-log-exp
3×cbrt-undiv pow-to-exp pow-exp unswap-sqr
2×sqrt-pow1 exp-sum pow-prod-down associate-*l/ sqrt-prod *-commutative sqr-pow
1×unpow-prod-up distribute-rgt-in frac-2neg distribute-lft-in pow1/2 exp-diff clear-num associate-/r/ div-inv associate-/l* distribute-lft-out--
Counts
4 → 165
Calls
4 calls:
139.0ms
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.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))))
144.0ms
(/ (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.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)))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
19.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
2.0ms
(sqrt (* PI 2.0))

series111.0ms

Counts
4 → 10
Calls
4 calls:
38.0ms
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.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))))
48.0ms
(/ (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.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)))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
25.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
0.0ms
(sqrt (* PI 2.0))

simplify161.0ms

Algorithm
egg-herbie
Counts
175 → 175
Iterations

Useful iterations: 1 (57.0ms)

IterNodesCost
0308510652
1500310244

prune5.6s

Filtered
141 candidates to 175 candidates (-24.1%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1669175
Fresh303
Picked101
Done000
Total1709179

Merged error: 0.0b

Counts
179 → 9

localize53.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (/ (* (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))) (+ (+ (+ (+ (+ (+ (+ (+ 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))))
0.5b
(/ (* (/ (* (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))) (+ (+ (+ (+ (+ (+ (+ (+ 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)))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
1.0b
(/ (* (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)))
1.0b
(sqrt (* PI 2.0))

rewrite355.0ms

Algorithm
rewrite-expression-head
Rules
224×frac-add
111×add-exp-log
85×*-un-lft-identity
53×prod-exp
51×distribute-lft-out
50×div-exp
33×associate-/l/
32×frac-times flip3-+ associate-*r/ add-cbrt-cube flip-+
28×times-frac
21×pow-to-exp pow-exp
18×unpow-prod-down
17×associate-*l*
16×add-sqr-sqrt associate-/r*
14×add-cube-cbrt
11×associate-*r*
10×cbrt-undiv
9×pow1 cbrt-unprod
6×unpow-prod-up
4×add-log-exp
3×sub-neg associate-/r/ div-inv distribute-lft-out-- sqr-pow
2×associate-+l- frac-2neg sqrt-pow1 exp-sum pow-prod-down associate-*l/ clear-num associate-/l* pow-sub
1×distribute-rgt-in distribute-lft-in pow1/2 exp-diff sqrt-prod *-commutative unswap-sqr
Counts
4 → 221
Calls
4 calls:
149.0ms
(* (/ (* (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))) (+ (+ (+ (+ (+ (+ (+ (+ 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))))
155.0ms
(/ (* (/ (* (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))) (+ (+ (+ (+ (+ (+ (+ (+ 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)))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
26.0ms
(/ (* (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)))
2.0ms
(sqrt (* PI 2.0))

series170.0ms

Counts
4 → 10
Calls
4 calls:
58.0ms
(* (/ (* (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))) (+ (+ (+ (+ (+ (+ (+ (+ 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))))
72.0ms
(/ (* (/ (* (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))) (+ (+ (+ (+ (+ (+ (+ (+ 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)))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
40.0ms
(/ (* (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)))
0.0ms
(sqrt (* PI 2.0))

simplify193.0ms

Algorithm
egg-herbie
Counts
231 → 231
Iterations

Useful iterations: 1 (61.0ms)

IterNodesCost
0342813601
1500212812

prune5.5s

Filtered
157 candidates to 231 candidates (-47.1%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New2301231
Fresh268
Picked011
Done000
Total2328240

Merged error: 0.0b

Counts
240 → 8

localize51.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.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))) (exp (+ (+ (- z 1.0) 7.0) 0.5))))
0.6b
(/ (+ (+ (+ (+ (+ (+ (+ (+ 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))) (exp (+ (+ (- 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))

rewrite317.0ms

Algorithm
rewrite-expression-head
Rules
445×*-un-lft-identity
329×distribute-lft-out
88×times-frac
60×associate-*r*
56×frac-add
45×add-sqr-sqrt
40×add-cube-cbrt
30×add-exp-log
23×exp-sum
20×add-cbrt-cube
17×prod-exp
16×associate-/l/
11×associate-/l*
9×pow1
8×flip3-+ flip-+
7×associate-+l- unpow-prod-down cbrt-unprod
5×div-exp associate-*l*
4×associate-*r/ associate-/r* add-log-exp
3×cbrt-undiv pow-to-exp pow-exp pow-sub unswap-sqr
2×sqrt-pow1 exp-diff pow-prod-down sqrt-prod associate-/r/ *-commutative div-inv sqr-pow
1×unpow-prod-up frac-times frac-2neg pow1/2 associate-*l/ clear-num distribute-lft-out--
Counts
4 → 204
Calls
4 calls:
147.0ms
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.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))) (exp (+ (+ (- z 1.0) 7.0) 0.5))))
133.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))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
19.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
2.0ms
(sqrt (* PI 2.0))

series93.0ms

Counts
4 → 10
Calls
4 calls:
54.0ms
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.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))) (exp (+ (+ (- z 1.0) 7.0) 0.5))))
19.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))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
20.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
0.0ms
(sqrt (* PI 2.0))

simplify111.0ms

Algorithm
egg-herbie
Counts
214 → 214
Iterations

Useful iterations: 1 (37.0ms)

IterNodesCost
017717561
150037040

prune1.7s

Filtered
111 candidates to 214 candidates (-92.8%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New2122214
Fresh246
Picked011
Done011
Total2148222

Merged error: 0.0b

Counts
222 → 8

regimes98.0ms

Accuracy

0% (0.8b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07449
17449

end0.0ms

sample34.4s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 0.003052%

Guaranteed chance to sample good point: 28.940703%

Results
9.0s4108×body5120exit
4.6s3442×body1280valid
2.5s2501×body640valid
2.1s1555×body1280nan
1.4s1301×body640nan
862.0ms1210×body320valid
483.0ms636×body320nan
278.0ms596×body160valid
144.0ms304×body160nan
64.0ms311×body80nan
56.0ms251×body80valid
21.0ms81×body80invalid
8.0ms6×body1280invalid

Profiling

Loading profile data...