| Alternative 1 | |
|---|---|
| Accuracy | 99.8% |
| Cost | 6656 |
\[\frac{1}{1 + {\left(e^{-1}\right)}^{\left(\frac{x}{s}\right)}}
\]

(FPCore (x s) :precision binary32 (/ 1.0 (+ 1.0 (exp (/ (- x) s)))))
(FPCore (x s) :precision binary32 (/ 1.0 (+ 1.0 (pow (exp -1.0) (/ x s)))))
float code(float x, float s) {
return 1.0f / (1.0f + expf((-x / s)));
}
float code(float x, float s) {
return 1.0f / (1.0f + powf(expf(-1.0f), (x / s)));
}
real(4) function code(x, s)
real(4), intent (in) :: x
real(4), intent (in) :: s
code = 1.0e0 / (1.0e0 + exp((-x / s)))
end function
real(4) function code(x, s)
real(4), intent (in) :: x
real(4), intent (in) :: s
code = 1.0e0 / (1.0e0 + (exp((-1.0e0)) ** (x / s)))
end function
function code(x, s) return Float32(Float32(1.0) / Float32(Float32(1.0) + exp(Float32(Float32(-x) / s)))) end
function code(x, s) return Float32(Float32(1.0) / Float32(Float32(1.0) + (exp(Float32(-1.0)) ^ Float32(x / s)))) end
function tmp = code(x, s) tmp = single(1.0) / (single(1.0) + exp((-x / s))); end
function tmp = code(x, s) tmp = single(1.0) / (single(1.0) + (exp(single(-1.0)) ^ (x / s))); end
\frac{1}{1 + e^{\frac{-x}{s}}}
\begin{array}{l}
\\
\frac{1}{1 + {\left(e^{-1}\right)}^{\left(\frac{x}{s}\right)}}
\end{array}
Herbie found 14 alternatives:
| Alternative | Accuracy | Speedup |
|---|
Results
Initial program 99.9%
Applied egg-rr99.9%
[Start]99.9% | \[ \frac{1}{1 + e^{\frac{-x}{s}}}
\] |
|---|---|
div-inv [=>]99.9% | \[ \frac{1}{1 + e^{\color{blue}{\left(-x\right) \cdot \frac{1}{s}}}}
\] |
exp-prod [=>]80.2% | \[ \frac{1}{1 + \color{blue}{{\left(e^{-x}\right)}^{\left(\frac{1}{s}\right)}}}
\] |
neg-mul-1 [=>]80.2% | \[ \frac{1}{1 + {\left(e^{\color{blue}{-1 \cdot x}}\right)}^{\left(\frac{1}{s}\right)}}
\] |
exp-prod [=>]80.2% | \[ \frac{1}{1 + {\color{blue}{\left({\left(e^{-1}\right)}^{x}\right)}}^{\left(\frac{1}{s}\right)}}
\] |
pow-pow [=>]99.9% | \[ \frac{1}{1 + \color{blue}{{\left(e^{-1}\right)}^{\left(x \cdot \frac{1}{s}\right)}}}
\] |
div-inv [<=]99.9% | \[ \frac{1}{1 + {\left(e^{-1}\right)}^{\color{blue}{\left(\frac{x}{s}\right)}}}
\] |
Final simplification99.9%
| Alternative 1 | |
|---|---|
| Accuracy | 99.8% |
| Cost | 6656 |
| Alternative 2 | |
|---|---|
| Accuracy | 99.8% |
| Cost | 3456 |
| Alternative 3 | |
|---|---|
| Accuracy | 64.2% |
| Cost | 676 |
| Alternative 4 | |
|---|---|
| Accuracy | 63.4% |
| Cost | 580 |
| Alternative 5 | |
|---|---|
| Accuracy | 61.9% |
| Cost | 516 |
| Alternative 6 | |
|---|---|
| Accuracy | 58.7% |
| Cost | 452 |
| Alternative 7 | |
|---|---|
| Accuracy | 58.7% |
| Cost | 452 |
| Alternative 8 | |
|---|---|
| Accuracy | 61.5% |
| Cost | 452 |
| Alternative 9 | |
|---|---|
| Accuracy | 49.8% |
| Cost | 388 |
| Alternative 10 | |
|---|---|
| Accuracy | 48.4% |
| Cost | 356 |
| Alternative 11 | |
|---|---|
| Accuracy | 46.8% |
| Cost | 228 |
| Alternative 12 | |
|---|---|
| Accuracy | 48.1% |
| Cost | 228 |
| Alternative 13 | |
|---|---|
| Accuracy | 46.8% |
| Cost | 164 |
| Alternative 14 | |
|---|---|
| Accuracy | 35.7% |
| Cost | 32 |
herbie shell --seed 2023167
(FPCore (x s)
:name "Logistic function"
:precision binary32
:pre (and (<= 0.0 s) (<= s 1.0651631))
(/ 1.0 (+ 1.0 (exp (/ (- x) s)))))