Details

Time bar (total: 26.8s)

sample427.0ms

Algorithm
intervals
Results
129.0ms117×body10240exit
96.0ms103×body1280valid
59.0ms87×body640valid
28.0ms41×body640nan
26.0ms34×body1280nan
17.0ms38×body320valid
12.0ms18×body160valid
8.0ms17×body320nan
3.0ms12×body160nan
2.0ms12×body80valid
1.0ms5×body80nan

simplify75.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (15.0ms)

IterNodesCost
013348
145548
2279747
3500147

prune28.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 61.4b

Counts
2 → 2

localize51.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))
5.5b
(+ (- z 1.0) 1.0)

rewrite179.0ms

Algorithm
rewrite-expression-head
Rules
112×frac-add
75×*-un-lft-identity
43×distribute-lft-out
34×associate-*r/
22×add-sqr-sqrt associate-*r*
19×add-exp-log associate-+l-
18×pow-sub
17×flip3-+ flip-+
16×frac-times
15×add-cube-cbrt
11×associate-+l+ add-cbrt-cube
10×prod-exp
9×pow1 prod-diff add-log-exp
7×unpow-prod-down
5×fma-def associate-*l*
4×expm1-log1p-u cbrt-unprod log1p-expm1-u
3×distribute-lft-out-- unswap-sqr
2×pow-to-exp sqrt-pow1 pow-prod-down pow-exp sum-log sqrt-prod *-commutative sqr-pow
1×unpow-prod-up +-commutative distribute-rgt-in sub-neg distribute-lft-in pow1/2 diff-log associate-*l/ difference-of-squares
Counts
4 → 143
Calls
4 calls:
141.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))))
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))
8.0ms
(+ (- z 1.0) 1.0)

series802.0ms

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

simplify141.0ms

Algorithm
egg-herbie
Counts
153 → 153
Iterations

Useful iterations: 1 (56.0ms)

IterNodesCost
028418087
150027930

prune1.5s

Filtered
153 candidates to 119 candidates (77.8%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1467153
Fresh101
Picked101
Done000
Total1487155

Merged error: 1.6b

Counts
155 → 7

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

rewrite317.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×expm1-log1p-u times-frac associate-/r* log1p-expm1-u 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 → 173
Calls
4 calls:
135.0ms
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (* 1 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))))
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))
148.0ms
(/ (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (* 1 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)))

series1.4s

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

simplify171.0ms

Algorithm
egg-herbie
Counts
183 → 183
Iterations

Useful iterations: 1 (61.0ms)

IterNodesCost
0320011202
1500110781

prune1.9s

Filtered
183 candidates to 148 candidates (80.9%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New17310183
Fresh426
Picked101
Done000
Total17812190

Merged error: 0.0b

Counts
190 → 12

localize59.0ms

Local error

Found 4 expressions with local error:

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

rewrite294.0ms

Algorithm
rewrite-expression-head
Rules
357×*-un-lft-identity
257×distribute-lft-out
71×times-frac
56×frac-add
50×add-sqr-sqrt
48×associate-*r*
40×add-cube-cbrt
34×add-exp-log
29×add-cbrt-cube
19×prod-exp
16×associate-/l/
14×div-exp
13×associate-*l*
11×associate-/l*
9×pow1 cbrt-unprod
8×cbrt-undiv flip3-+ flip-+
7×unpow-prod-down
5×unswap-sqr
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-to-exp pow-exp associate-/r* div-inv
2×associate-+l- sqrt-pow1 associate-*r/ pow-prod-down sqrt-prod *-commutative sqr-pow
1×unpow-prod-up frac-times frac-2neg pow1/2 exp-diff exp-sum associate-*l/ clear-num associate-/r/ distribute-lft-out-- pow-sub
Counts
4 → 201
Calls
4 calls:
119.0ms
(/ (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (* 1 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 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))
139.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.9999999999998099 (/ 676.5203681218851 (* 1 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 0.5)))

series1.4s

Counts
4 → 10
Calls
4 calls:
207.0ms
(/ (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (* 1 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 0.5))
269.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
0.0ms
(sqrt (* PI 2.0))
892.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.9999999999998099 (/ 676.5203681218851 (* 1 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 0.5)))

simplify114.0ms

Algorithm
egg-herbie
Counts
211 → 211
Iterations

Useful iterations: 1 (39.0ms)

IterNodesCost
019387726
150016973

prune1.4s

Filtered
211 candidates to 120 candidates (56.9%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New2110211
Fresh01111
Picked011
Done000
Total21112223

Merged error: 0.0b

Counts
223 → 12

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

rewrite305.0ms

Algorithm
rewrite-expression-head
Rules
112×frac-add
84×*-un-lft-identity
53×associate-*r*
41×distribute-lft-out
38×add-sqr-sqrt
35×associate-*r/
31×add-exp-log
28×exp-sum
25×add-cube-cbrt add-cbrt-cube
24×prod-diff
23×prod-exp
18×associate-+l- pow-sub
17×frac-times
16×flip3-+ flip-+
12×associate-*l*
11×pow1 associate--l+ cbrt-unprod
7×unpow-prod-down
5×div-exp
4×expm1-log1p-u log1p-expm1-u distribute-lft-out-- add-log-exp unswap-sqr
3×cbrt-undiv pow-to-exp times-frac pow-prod-down pow-exp *-commutative difference-of-squares
2×sub-neg sqrt-pow1 exp-diff associate-*l/ sqrt-prod sqr-pow
1×unpow-prod-up distribute-rgt-in distribute-lft-in pow1/2 div-inv
Counts
4 → 173
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 (* 1 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))))
24.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
2.0ms
(sqrt (* PI 2.0))
139.0ms
(* (/ (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (* 1 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)) (exp (- (- 1.0 7.0) 0.5)))

series1.5s

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

simplify174.0ms

Algorithm
egg-herbie
Counts
183 → 183
Iterations

Useful iterations: 1 (63.0ms)

IterNodesCost
0338711329
1500110866

prune1.7s

Filtered
183 candidates to 135 candidates (73.8%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1812183
Fresh3710
Picked011
Done101
Total18510195

Merged error: 0b

Counts
195 → 10

regimes197.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 (0.0ms)

IterNodesCost
07190
17190

end0.0ms

sample12.6s

Algorithm
intervals
Results
4.2s3828×body10240exit
3.1s3308×body1280valid
1.8s2634×body640valid
1.2s1511×body1280nan
751.0ms1232×body640nan
571.0ms1199×body320valid
288.0ms645×body320nan
192.0ms639×body160valid
87.0ms308×body160nan
51.0ms310×body80valid
38.0ms288×body80nan