Details

Time bar (total: 9.6m)

sample1.8s

Algorithm
intervals
Results
687.0ms106×body1280valid
562.0ms122×body10240exit
160.0ms82×body640valid
115.0ms51×body1280nan
80.0ms47×body640nan
48.0ms37×body320valid
27.0ms20×body320nan
22.0ms23×body160valid
7.0ms8×body160nan
5.0ms12×body80valid
5.0ms11×body80nan

simplify241.0ms

Calls
1 calls:
Slowest
240.0ms
(* (* (* (sqrt (* PI 2)) (pow (+ (+ (- z 1) 7) 0.5) (+ (- z 1) 0.5))) (exp (- (+ (+ (- z 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- z 1) 1))) (/ -1259.1392167224028 (+ (- z 1) 2))) (/ 771.3234287776531 (+ (- z 1) 3))) (/ -176.6150291621406 (+ (- z 1) 4))) (/ 12.507343278686905 (+ (- z 1) 5))) (/ -0.13857109526572012 (+ (- z 1) 6))) (/ 9.984369578019572e-06 (+ (- z 1) 7))) (/ 1.5056327351493116e-07 (+ (- z 1) 8))))

prune60.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.3b

localize161.0ms

Local error

Found 4 expressions with local error:

1.2b
(* (exp (- (+ (- z -6) 0.5))) (* (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ z 1))) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (/ -176.6150291621406 (+ z 3)) (+ (/ -0.13857109526572012 (- z -5)) (/ 12.507343278686905 (+ z 4))))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7))))))
1.0b
(sqrt (* PI 2))
1.0b
(* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
1.0b
(+ (/ -176.6150291621406 (+ z 3)) (+ (/ -0.13857109526572012 (- z -5)) (/ 12.507343278686905 (+ z 4))))

rewrite1.8s

Algorithm
rewrite-expression-head
Rules
3028×frac-add
1107×flip3-+ flip-+
898×frac-times
641×associate-*r/
393×associate-*l/
388×associate-+l- pow-sub
258×neg-sub0 exp-neg exp-diff
20×add-exp-log
15×add-cbrt-cube prod-exp
14×*-un-lft-identity
11×associate-*l*
9×add-sqr-sqrt pow1 add-cube-cbrt add-log-exp
7×cbrt-unprod
6×fma-def
5×associate-*r*
4×distribute-rgt-in expm1-log1p-u distribute-lft-in insert-posit16 log1p-expm1-u
3×sum-log unpow-prod-down pow-prod-down distribute-lft-out
2×pow-to-exp pow-exp associate-/r/ *-commutative sqrt-prod
1×unpow-prod-up +-commutative associate-+r+ distribute-neg-in pow1/2 exp-sum div-inv
Calls
4 calls:
Slowest
1.7s
(* (exp (- (+ (- z -6) 0.5))) (* (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ z 1))) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (/ -176.6150291621406 (+ z 3)) (+ (/ -0.13857109526572012 (- z -5)) (/ 12.507343278686905 (+ z 4))))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7))))))
34.0ms
(+ (/ -176.6150291621406 (+ z 3)) (+ (/ -0.13857109526572012 (- z -5)) (/ 12.507343278686905 (+ z 4))))
19.0ms
(* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
1.0ms
(sqrt (* PI 2))

series552.0ms

Calls
4 calls:
Slowest
368.0ms
(* (exp (- (+ (- z -6) 0.5))) (* (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ z 1))) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (/ -176.6150291621406 (+ z 3)) (+ (/ -0.13857109526572012 (- z -5)) (/ 12.507343278686905 (+ z 4))))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7))))))
148.0ms
(* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
35.0ms
(+ (/ -176.6150291621406 (+ z 3)) (+ (/ -0.13857109526572012 (- z -5)) (/ 12.507343278686905 (+ z 4))))
0.0ms
(sqrt (* PI 2))

simplify8.7m

Calls
1346 calls:
Slowest
1.9s
(* 1 (* (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (+ (pow (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ z 1))) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (/ -176.6150291621406 (+ z 3)) (+ (/ -0.13857109526572012 (- z -5)) (/ 12.507343278686905 (+ z 4))))) 3) (pow (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7))) 3))))
1.6s
(* 1 (* (* (pow (+ (- z -6) 0.5) z) (sqrt (* PI 2))) (+ (pow (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ z 1))) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (/ -176.6150291621406 (+ z 3)) (+ (/ -0.13857109526572012 (- z -5)) (/ 12.507343278686905 (+ z 4))))) 3) (pow (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7))) 3))))
1.4s
(* (exp (+ (- z -6) 0.5)) (* (* (* (- (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ z 1))) (- 0.9999999999998099 (/ 676.5203681218851 z))) (* (+ z 3) (* (- z -5) (+ z 4)))) (* (- z -6) (+ z 7))))
1.3s
(* (exp (+ (- z -6) 0.5)) (* (* (* (+ (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2))) (- (* (/ -1259.1392167224028 (+ z 1)) (/ -1259.1392167224028 (+ z 1))) (* (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ z 1))))) (- 0.9999999999998099 (/ 676.5203681218851 z))) (* (+ z 3) (* (- z -5) (+ z 4)))) (- (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7)))))
1.3s
(* (exp 0) (* (* (pow (+ (- z -6) 0.5) z) (sqrt (* PI 2))) (+ (pow (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ z 1))) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (/ -176.6150291621406 (+ z 3)) (+ (/ -0.13857109526572012 (- z -5)) (/ 12.507343278686905 (+ z 4))))) 3) (pow (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7))) 3))))

prune36.9s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize111.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (* (log 6.5) (log 6.5)) (exp (- 6.5)))
1.0b
(sqrt PI)
1.0b
(sqrt PI)
1.0b
(sqrt PI)

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-cbrt-cube
7×add-exp-log
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow1/2 associate-*r* pow-prod-down prod-exp cbrt-unprod
2×exp-neg associate-*r/
1×neg-sub0 exp-diff associate-*l* un-div-inv *-commutative
Calls
4 calls:
Slowest
13.0ms
(* (* (log 6.5) (log 6.5)) (exp (- 6.5)))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

series0.0ms

Calls
4 calls:
Slowest
0.0ms
(* (* (log 6.5) (log 6.5)) (exp (- 6.5)))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify1.1s

Calls
17 calls:
Slowest
175.0ms
(* (* (* (* (log 6.5) (log 6.5)) (* (log 6.5) (log 6.5))) (* (log 6.5) (log 6.5))) (* (* (exp (- 6.5)) (exp (- 6.5))) (exp (- 6.5))))
175.0ms
(* (* (* (* (log 6.5) (log 6.5)) (log 6.5)) (* (* (log 6.5) (log 6.5)) (log 6.5))) (* (* (exp (- 6.5)) (exp (- 6.5))) (exp (- 6.5))))
133.0ms
(fma 169.13009203047127 (* (pow (/ 1 (pow 6.5 5.0)) 0.5) (* (sqrt PI) (* (* (sqrt 2) z) (exp (- 6.5))))) (- (fma (* (* (* z (* (* (log 6.5) (log 6.5)) (exp (- 6.5)))) (* (sqrt 2) (sqrt PI))) (pow (/ 1 (pow 6.5 1.0)) 0.5)) 338.26018406094255 (fma 2581.191799681222 (* (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)) (* (* (sqrt 2) z) (exp (- 6.5)))) (* (* (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)) (+ (/ (exp (- 6.5)) (/ z (sqrt 2))) (* (log 6.5) (* (exp (- 6.5)) (sqrt 2))))) 676.5203681218851))) (* (* (sqrt PI) (+ (* (* (exp (- 6.5)) (sqrt 2)) (pow (/ 1 (pow 6.5 1.0)) 0.5)) (* (* (* (* (sqrt 2) z) (exp (- 6.5))) (log 6.5)) (pow (/ 1 (pow 6.5 1.0)) 0.5)))) 1656.8104518737207)))
133.0ms
(fma 169.13009203047127 (* (pow (/ 1 (pow 6.5 5.0)) 0.5) (* (sqrt PI) (* (* (sqrt 2) z) (exp (- 6.5))))) (- (fma (* (* (* z (* (* (log 6.5) (log 6.5)) (exp (- 6.5)))) (* (sqrt 2) (sqrt PI))) (pow (/ 1 (pow 6.5 1.0)) 0.5)) 338.26018406094255 (fma 2581.191799681222 (* (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)) (* (* (sqrt 2) z) (exp (- 6.5)))) (* (* (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)) (+ (/ (exp (- 6.5)) (/ z (sqrt 2))) (* (log 6.5) (* (exp (- 6.5)) (sqrt 2))))) 676.5203681218851))) (* (* (sqrt PI) (+ (* (* (exp (- 6.5)) (sqrt 2)) (pow (/ 1 (pow 6.5 1.0)) 0.5)) (* (* (* (* (sqrt 2) z) (exp (- 6.5))) (log 6.5)) (pow (/ 1 (pow 6.5 1.0)) 0.5)))) 1656.8104518737207)))
133.0ms
(fma 169.13009203047127 (* (pow (/ 1 (pow 6.5 5.0)) 0.5) (* (sqrt PI) (* (* (sqrt 2) z) (exp (- 6.5))))) (- (fma (* (* (* z (* (* (log 6.5) (log 6.5)) (exp (- 6.5)))) (* (sqrt 2) (sqrt PI))) (pow (/ 1 (pow 6.5 1.0)) 0.5)) 338.26018406094255 (fma 2581.191799681222 (* (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)) (* (* (sqrt 2) z) (exp (- 6.5)))) (* (* (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)) (+ (/ (exp (- 6.5)) (/ z (sqrt 2))) (* (log 6.5) (* (exp (- 6.5)) (sqrt 2))))) 676.5203681218851))) (* (* (sqrt PI) (+ (* (* (exp (- 6.5)) (sqrt 2)) (pow (/ 1 (pow 6.5 1.0)) 0.5)) (* (* (* (* (sqrt 2) z) (exp (- 6.5))) (log 6.5)) (pow (/ 1 (pow 6.5 1.0)) 0.5)))) 1656.8104518737207)))

prune1.7s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize65.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (* (sqrt 2) (sqrt PI)) (pow (/ 1 (pow 6.5 1.0)) 0.5))
1.0b
(sqrt PI)
1.0b
(sqrt PI)
1.0b
(sqrt PI)

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
25×add-exp-log
15×prod-exp
9×add-cbrt-cube
7×associate-*r*
6×add-sqr-sqrt *-un-lft-identity pow-exp add-cube-cbrt
4×expm1-log1p-u pow-to-exp pow1 rec-exp unpow-prod-down insert-posit16 log1p-expm1-u add-log-exp
3×pow1/2 cbrt-unprod
1×associate-*l* *-commutative div-inv
Calls
4 calls:
Slowest
12.0ms
(* (* (sqrt 2) (sqrt PI)) (pow (/ 1 (pow 6.5 1.0)) 0.5))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

series0.0ms

Calls
4 calls:
Slowest
0.0ms
(* (* (sqrt 2) (sqrt PI)) (pow (/ 1 (pow 6.5 1.0)) 0.5))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify2.1s

Calls
24 calls:
Slowest
256.0ms
(* (* (* (* (sqrt 2) (sqrt 2)) (sqrt 2)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI))) (* (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (pow (/ 1 (pow 6.5 1.0)) 0.5)) (pow (/ 1 (pow 6.5 1.0)) 0.5)))
244.0ms
(* (* (* (* (sqrt 2) (sqrt PI)) (* (sqrt 2) (sqrt PI))) (* (sqrt 2) (sqrt PI))) (* (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (pow (/ 1 (pow 6.5 1.0)) 0.5)) (pow (/ 1 (pow 6.5 1.0)) 0.5)))
126.0ms
(fma 169.13009203047127 (* (* (* (sqrt 2) z) (* (exp (- 6.5)) (sqrt PI))) (pow (/ 1 (pow 6.5 5.0)) 0.5)) (- (fma (* (* (exp (- 6.5)) (* (* (log 6.5) (log 6.5)) z)) (* (* (sqrt 2) (sqrt PI)) (pow (/ 1 (pow 6.5 1.0)) 0.5))) 338.26018406094255 (fma 2581.191799681222 (* (* (* (sqrt 2) z) (* (exp (- 6.5)) (sqrt PI))) (pow (/ 1 (pow 6.5 1.0)) 0.5)) (* (* (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)) (fma (log 6.5) (* (sqrt 2) (exp (- 6.5))) (/ (* (sqrt 2) (exp (- 6.5))) z))) 676.5203681218851))) (* (* 1656.8104518737207 (sqrt PI)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (fma (exp (- 6.5)) (sqrt 2) (* (* (* (sqrt 2) z) (exp (- 6.5))) (log 6.5)))))))
125.0ms
(fma 169.13009203047127 (* (* (* (sqrt 2) z) (* (exp (- 6.5)) (sqrt PI))) (pow (/ 1 (pow 6.5 5.0)) 0.5)) (- (fma (* (* (exp (- 6.5)) (* (* (log 6.5) (log 6.5)) z)) (* (* (sqrt 2) (sqrt PI)) (pow (/ 1 (pow 6.5 1.0)) 0.5))) 338.26018406094255 (fma 2581.191799681222 (* (* (* (sqrt 2) z) (* (exp (- 6.5)) (sqrt PI))) (pow (/ 1 (pow 6.5 1.0)) 0.5)) (* (* (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)) (fma (log 6.5) (* (sqrt 2) (exp (- 6.5))) (/ (* (sqrt 2) (exp (- 6.5))) z))) 676.5203681218851))) (* (* 1656.8104518737207 (sqrt PI)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (fma (exp (- 6.5)) (sqrt 2) (* (* (* (sqrt 2) z) (exp (- 6.5))) (log 6.5)))))))
122.0ms
(fma 169.13009203047127 (* (* (* (sqrt 2) z) (* (exp (- 6.5)) (sqrt PI))) (pow (/ 1 (pow 6.5 5.0)) 0.5)) (- (fma (* (* (exp (- 6.5)) (* (* (log 6.5) (log 6.5)) z)) (* (* (sqrt 2) (sqrt PI)) (pow (/ 1 (pow 6.5 1.0)) 0.5))) 338.26018406094255 (fma 2581.191799681222 (* (* (* (sqrt 2) z) (* (exp (- 6.5)) (sqrt PI))) (pow (/ 1 (pow 6.5 1.0)) 0.5)) (* (* (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)) (fma (log 6.5) (* (sqrt 2) (exp (- 6.5))) (/ (* (sqrt 2) (exp (- 6.5))) z))) 676.5203681218851))) (* (* 1656.8104518737207 (sqrt PI)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (fma (exp (- 6.5)) (sqrt 2) (* (* (* (sqrt 2) z) (exp (- 6.5))) (log 6.5)))))))

prune1.8s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

1.1b
(/ (* (* (sqrt (* PI 2)) (pow (+ (- z -6) 0.5) z)) (+ (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7))) (+ (/ -1259.1392167224028 (+ z 1)) (+ (+ (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ 12.507343278686905 (+ 4 z))) (+ (/ -0.13857109526572012 (+ z 5)) (/ -176.6150291621406 (+ z 3)))) (/ 771.3234287776531 (+ z 2)))))) (* (exp (+ (- z -6) 0.5)) (pow (+ (- z -6) 0.5) (- 1 0.5))))
1.0b
(sqrt (* PI 2))
1.0b
(* (exp (+ (- z -6) 0.5)) (pow (+ (- z -6) 0.5) (- 1 0.5)))
0.5b
(* (* (sqrt (* PI 2)) (pow (+ (- z -6) 0.5) z)) (+ (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7))) (+ (/ -1259.1392167224028 (+ z 1)) (+ (+ (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ 12.507343278686905 (+ 4 z))) (+ (/ -0.13857109526572012 (+ z 5)) (/ -176.6150291621406 (+ z 3)))) (/ 771.3234287776531 (+ z 2))))))

rewrite4.5s

Algorithm
rewrite-expression-head
Rules
456×frac-add
116×flip3-+ flip-+
114×associate-*r/
81×*-un-lft-identity
75×add-exp-log
59×distribute-lft-out
56×associate-/l/
53×prod-exp
32×add-cbrt-cube
25×associate-*r*
20×div-exp
13×cbrt-unprod
11×pow-to-exp pow-exp
8×add-sqr-sqrt add-cube-cbrt
6×pow1 cbrt-undiv
5×associate-*l*
4×expm1-log1p-u exp-diff associate-+l- insert-posit16 log1p-expm1-u pow-sub add-log-exp
3×unpow-prod-down associate-/r/
2×frac-times unpow-prod-up associate-*l/ *-commutative
1×distribute-rgt-in clear-num associate-/r* sub-neg frac-2neg distribute-lft-in times-frac pow1/2 exp-sum pow-prod-down sqrt-prod div-inv associate-/l*
Calls
4 calls:
Slowest
3.0s
(* (* (sqrt (* PI 2)) (pow (+ (- z -6) 0.5) z)) (+ (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7))) (+ (/ -1259.1392167224028 (+ z 1)) (+ (+ (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ 12.507343278686905 (+ 4 z))) (+ (/ -0.13857109526572012 (+ z 5)) (/ -176.6150291621406 (+ z 3)))) (/ 771.3234287776531 (+ z 2))))))
1.5s
(/ (* (* (sqrt (* PI 2)) (pow (+ (- z -6) 0.5) z)) (+ (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7))) (+ (/ -1259.1392167224028 (+ z 1)) (+ (+ (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ 12.507343278686905 (+ 4 z))) (+ (/ -0.13857109526572012 (+ z 5)) (/ -176.6150291621406 (+ z 3)))) (/ 771.3234287776531 (+ z 2)))))) (* (exp (+ (- z -6) 0.5)) (pow (+ (- z -6) 0.5) (- 1 0.5))))
31.0ms
(* (exp (+ (- z -6) 0.5)) (pow (+ (- z -6) 0.5) (- 1 0.5)))
1.0ms
(sqrt (* PI 2))

series460.0ms

Calls
4 calls:
Slowest
272.0ms
(/ (* (* (sqrt (* PI 2)) (pow (+ (- z -6) 0.5) z)) (+ (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7))) (+ (/ -1259.1392167224028 (+ z 1)) (+ (+ (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ 12.507343278686905 (+ 4 z))) (+ (/ -0.13857109526572012 (+ z 5)) (/ -176.6150291621406 (+ z 3)))) (/ 771.3234287776531 (+ z 2)))))) (* (exp (+ (- z -6) 0.5)) (pow (+ (- z -6) 0.5) (- 1 0.5))))
114.0ms
(* (* (sqrt (* PI 2)) (pow (+ (- z -6) 0.5) z)) (+ (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7))) (+ (/ -1259.1392167224028 (+ z 1)) (+ (+ (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ 12.507343278686905 (+ 4 z))) (+ (/ -0.13857109526572012 (+ z 5)) (/ -176.6150291621406 (+ z 3)))) (/ 771.3234287776531 (+ z 2))))))
73.0ms
(* (exp (+ (- z -6) 0.5)) (pow (+ (- z -6) 0.5) (- 1 0.5)))
0.0ms
(sqrt (* PI 2))