Details

Time bar (total: 55.7s)

sample12.2s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 25.003052%

Guaranteed chance to sample good point: 5.253306%

Results
131.0ms103×body1280valid
78.0ms78×body640valid
62.0ms48×body1280nan
51.0ms49×body640nan
34.0ms52×body320valid
14.0ms20×body320nan
8.0ms18×body160valid
4.0ms8×body160nan
2.0ms9×body80nan
1.0ms5×body80valid

simplify73.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (13.0ms)

IterNodesCost
013348
145348
2276947
3500247

prune17.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: 62.6b

Counts
2 → 2

localize47.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- z 1.0) 1.0))) (/ -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))
6.7b
(+ (- z 1.0) 1.0)

rewrite171.0ms

Algorithm
rewrite-expression-head
Rules
112×frac-add
66×*-un-lft-identity
43×distribute-lft-out
34×associate-*r/
22×associate-*r*
19×add-exp-log associate-+l-
18×pow-sub
17×flip3-+ flip-+
16×frac-times
13×add-sqr-sqrt
11×add-cbrt-cube
10×prod-exp
9×pow1 add-log-exp
8×add-cube-cbrt
7×unpow-prod-down
5×associate-*l*
4×cbrt-unprod
3×unswap-sqr
2×pow-to-exp associate-+l+ sqrt-pow1 pow-prod-down pow-exp sum-log sqrt-prod *-commutative distribute-lft-out-- sqr-pow
1×unpow-prod-up +-commutative distribute-rgt-in sub-neg distribute-lft-in pow1/2 diff-log associate-*l/
Counts
4 → 121
Calls
4 calls:
129.0ms
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- z 1.0) 1.0))) (/ -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))))
20.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)

series53.0ms

Counts
4 → 10
Calls
4 calls:
33.0ms
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- z 1.0) 1.0))) (/ -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))
2.0ms
(+ (- z 1.0) 1.0)

simplify125.0ms

Algorithm
egg-herbie
Counts
131 → 131
Iterations

Useful iterations: 1 (47.0ms)

IterNodesCost
027108019
150037910

prune2.3s

Filtered
98 candidates to 131 candidates (-33.7%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1292131
Fresh101
Picked101
Done000
Total1312133

Merged error: 0.3b

Counts
133 → 2

localize45.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))) (+ (+ (+ (+ (+ (+ (+ (+ 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.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)))
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))

rewrite299.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:
130.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))))
135.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)))
20.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
2.0ms
(sqrt (* PI 2.0))

series103.0ms

Counts
4 → 10
Calls
4 calls:
36.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))))
44.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)))
23.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
0.0ms
(sqrt (* PI 2.0))

simplify157.0ms

Algorithm
egg-herbie
Counts
175 → 175
Iterations

Useful iterations: 1 (55.0ms)

IterNodesCost
0308510652
1500310244

prune5.0s

Filtered
140 candidates to 175 candidates (-25.0%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New1678175
Fresh101
Picked101
Done000
Total1698177

Merged error: 0.0b

Counts
177 → 8

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

rewrite305.0ms

Algorithm
rewrite-expression-head
Rules
224×frac-add
102×associate-*r/
54×*-un-lft-identity
47×add-exp-log
37×associate-+l-
36×distribute-lft-out
35×pow-sub
33×associate-/l/
32×frac-times flip3-+ add-cbrt-cube flip-+
31×prod-exp
15×cbrt-unprod
12×pow1 associate-*r*
11×add-sqr-sqrt
10×add-cube-cbrt
7×associate-*l*
6×div-exp sqrt-prod
4×cbrt-undiv times-frac pow-prod-down associate-/r* add-log-exp
3×pow-to-exp pow-exp
2×exp-sum associate-*l/ *-commutative
1×distribute-rgt-in rem-sqrt-square frac-2neg distribute-lft-in sqrt-pow1 pow1/2 exp-diff clear-num associate-/r/ div-inv associate-/l*
Counts
4 → 164
Calls
4 calls:
130.0ms
(* (* (sqrt PI) (* (sqrt 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))))
143.0ms
(/ (* (* (sqrt PI) (* (sqrt 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)))
17.0ms
(* (sqrt PI) (* (sqrt 2.0) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))))
1.0ms
(sqrt PI)

series102.0ms

Counts
4 → 10
Calls
4 calls:
34.0ms
(* (* (sqrt PI) (* (sqrt 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))))
50.0ms
(/ (* (* (sqrt PI) (* (sqrt 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)))
17.0ms
(* (sqrt PI) (* (sqrt 2.0) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))))
0.0ms
(sqrt PI)

simplify163.0ms

Algorithm
egg-herbie
Counts
174 → 174
Iterations

Useful iterations: 1 (56.0ms)

IterNodesCost
0311411078
1500210608

prune5.5s

Filtered
140 candidates to 174 candidates (-24.3%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1731174
Fresh257
Picked011
Done000
Total1757182

Merged error: 0.0b

Counts
182 → 7

localize49.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))) (/ (exp (+ (+ (- 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)))))
0.3b
(/ (exp (+ (+ (- 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))

rewrite302.0ms

Algorithm
rewrite-expression-head
Rules
637×*-un-lft-identity
473×distribute-lft-out
196×times-frac
168×frac-add
75×associate-/r*
61×add-sqr-sqrt
56×add-cube-cbrt
49×associate-/r/
34×exp-sum
30×add-exp-log
24×flip3-+ flip-+
20×add-cbrt-cube
13×div-exp
11×associate-*r*
9×prod-exp
7×pow1 cbrt-undiv unpow-prod-down
5×associate-/l*
4×associate-+l- associate-*l* div-inv add-log-exp
3×pow-to-exp pow-exp cbrt-unprod unswap-sqr
2×frac-2neg sqrt-pow1 associate-*r/ clear-num sqrt-prod associate-/l/ pow-sub sqr-pow
1×unpow-prod-up pow1/2 exp-diff pow-prod-down *-commutative distribute-lft-out--
Counts
4 → 283
Calls
4 calls:
138.0ms
(/ (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (/ (exp (+ (+ (- 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)))))
120.0ms
(/ (exp (+ (+ (- 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:
50.0ms
(/ (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (/ (exp (+ (+ (- 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)))))
17.0ms
(/ (exp (+ (+ (- 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))

simplify220.0ms

Algorithm
egg-herbie
Counts
293 → 293
Iterations

Useful iterations: 1 (50.0ms)

IterNodesCost
0279117200
1500116759

prune4.5s

Filtered
158 candidates to 293 candidates (-85.4%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New2921293
Fresh145
Picked011
Done011
Total2937300

Merged error: 0b

Counts
300 → 7

regimes92.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07446
17446

end0.0ms

sample23.9s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 25.003052%

Guaranteed chance to sample good point: 5.253306%

Results
4.3s3370×body1280valid
2.4s2487×body640valid
2.0s1503×body1280nan
1.3s1276×body640nan
890.0ms1298×body320valid
461.0ms626×body320nan
275.0ms624×body160valid
151.0ms310×body160nan
60.0ms310×body80nan
47.0ms221×body80valid
14.0ms6×body5120exit
5.0ms4×body1280invalid

Profiling

Loading profile data...