| Alternative 1 | |
|---|---|
| Accuracy | 98.5% |
| Cost | 20224 |
\[-0.05396825396825397 \cdot {x}^{7} + \left(-0.3333333333333333 \cdot {x}^{3} + \left(x + 0.13333333333333333 \cdot {x}^{5}\right)\right)
\]

(FPCore (x y) :precision binary64 (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
(FPCore (x y) :precision binary64 (+ (* -0.05396825396825397 (pow x 7.0)) (+ (* -0.3333333333333333 (pow x 3.0)) (+ x (* 0.13333333333333333 (pow x 5.0))))))
double code(double x, double y) {
return (2.0 / (1.0 + exp((-2.0 * x)))) - 1.0;
}
double code(double x, double y) {
return (-0.05396825396825397 * pow(x, 7.0)) + ((-0.3333333333333333 * pow(x, 3.0)) + (x + (0.13333333333333333 * pow(x, 5.0))));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (2.0d0 / (1.0d0 + exp(((-2.0d0) * x)))) - 1.0d0
end function
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = ((-0.05396825396825397d0) * (x ** 7.0d0)) + (((-0.3333333333333333d0) * (x ** 3.0d0)) + (x + (0.13333333333333333d0 * (x ** 5.0d0))))
end function
public static double code(double x, double y) {
return (2.0 / (1.0 + Math.exp((-2.0 * x)))) - 1.0;
}
public static double code(double x, double y) {
return (-0.05396825396825397 * Math.pow(x, 7.0)) + ((-0.3333333333333333 * Math.pow(x, 3.0)) + (x + (0.13333333333333333 * Math.pow(x, 5.0))));
}
def code(x, y): return (2.0 / (1.0 + math.exp((-2.0 * x)))) - 1.0
def code(x, y): return (-0.05396825396825397 * math.pow(x, 7.0)) + ((-0.3333333333333333 * math.pow(x, 3.0)) + (x + (0.13333333333333333 * math.pow(x, 5.0))))
function code(x, y) return Float64(Float64(2.0 / Float64(1.0 + exp(Float64(-2.0 * x)))) - 1.0) end
function code(x, y) return Float64(Float64(-0.05396825396825397 * (x ^ 7.0)) + Float64(Float64(-0.3333333333333333 * (x ^ 3.0)) + Float64(x + Float64(0.13333333333333333 * (x ^ 5.0))))) end
function tmp = code(x, y) tmp = (2.0 / (1.0 + exp((-2.0 * x)))) - 1.0; end
function tmp = code(x, y) tmp = (-0.05396825396825397 * (x ^ 7.0)) + ((-0.3333333333333333 * (x ^ 3.0)) + (x + (0.13333333333333333 * (x ^ 5.0)))); end
code[x_, y_] := N[(N[(2.0 / N[(1.0 + N[Exp[N[(-2.0 * x), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - 1.0), $MachinePrecision]
code[x_, y_] := N[(N[(-0.05396825396825397 * N[Power[x, 7.0], $MachinePrecision]), $MachinePrecision] + N[(N[(-0.3333333333333333 * N[Power[x, 3.0], $MachinePrecision]), $MachinePrecision] + N[(x + N[(0.13333333333333333 * N[Power[x, 5.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\frac{2}{1 + e^{-2 \cdot x}} - 1
-0.05396825396825397 \cdot {x}^{7} + \left(-0.3333333333333333 \cdot {x}^{3} + \left(x + 0.13333333333333333 \cdot {x}^{5}\right)\right)
Herbie found 4 alternatives:
| Alternative | Accuracy | Speedup |
|---|
Results
Initial program 10.7%
Taylor expanded in x around 0 98.8%
Final simplification98.8%
| Alternative 1 | |
|---|---|
| Accuracy | 98.5% |
| Cost | 20224 |
| Alternative 2 | |
|---|---|
| Accuracy | 98.2% |
| Cost | 6784 |
| Alternative 3 | |
|---|---|
| Accuracy | 4.3% |
| Cost | 64 |
| Alternative 4 | |
|---|---|
| Accuracy | 97.9% |
| Cost | 64 |
herbie shell --seed 2023272
(FPCore (x y)
:name "Logistic function from Lakshay Garg"
:precision binary64
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))