
(FPCore (x) :precision binary64 (let* ((t_0 (exp (- x)))) (/ (- (exp x) t_0) (+ (exp x) t_0))))
double code(double x) {
double t_0 = exp(-x);
return (exp(x) - t_0) / (exp(x) + t_0);
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: t_0
t_0 = exp(-x)
code = (exp(x) - t_0) / (exp(x) + t_0)
end function
public static double code(double x) {
double t_0 = Math.exp(-x);
return (Math.exp(x) - t_0) / (Math.exp(x) + t_0);
}
def code(x): t_0 = math.exp(-x) return (math.exp(x) - t_0) / (math.exp(x) + t_0)
function code(x) t_0 = exp(Float64(-x)) return Float64(Float64(exp(x) - t_0) / Float64(exp(x) + t_0)) end
function tmp = code(x) t_0 = exp(-x); tmp = (exp(x) - t_0) / (exp(x) + t_0); end
code[x_] := Block[{t$95$0 = N[Exp[(-x)], $MachinePrecision]}, N[(N[(N[Exp[x], $MachinePrecision] - t$95$0), $MachinePrecision] / N[(N[Exp[x], $MachinePrecision] + t$95$0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := e^{-x}\\
\frac{e^{x} - t_0}{e^{x} + t_0}
\end{array}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 6 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x) :precision binary64 (let* ((t_0 (exp (- x)))) (/ (- (exp x) t_0) (+ (exp x) t_0))))
double code(double x) {
double t_0 = exp(-x);
return (exp(x) - t_0) / (exp(x) + t_0);
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: t_0
t_0 = exp(-x)
code = (exp(x) - t_0) / (exp(x) + t_0)
end function
public static double code(double x) {
double t_0 = Math.exp(-x);
return (Math.exp(x) - t_0) / (Math.exp(x) + t_0);
}
def code(x): t_0 = math.exp(-x) return (math.exp(x) - t_0) / (math.exp(x) + t_0)
function code(x) t_0 = exp(Float64(-x)) return Float64(Float64(exp(x) - t_0) / Float64(exp(x) + t_0)) end
function tmp = code(x) t_0 = exp(-x); tmp = (exp(x) - t_0) / (exp(x) + t_0); end
code[x_] := Block[{t$95$0 = N[Exp[(-x)], $MachinePrecision]}, N[(N[(N[Exp[x], $MachinePrecision] - t$95$0), $MachinePrecision] / N[(N[Exp[x], $MachinePrecision] + t$95$0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := e^{-x}\\
\frac{e^{x} - t_0}{e^{x} + t_0}
\end{array}
\end{array}
x_m = (fabs.f64 x)
x_s = (copysign.f64 1 x)
(FPCore (x_s x_m)
:precision binary64
(let* ((t_0 (exp (- x_m))) (t_1 (/ (- (exp x_m) t_0) (+ (exp x_m) t_0))))
(*
x_s
(if (<= t_1 0.005)
(+
x_m
(+
(* (pow x_m 3.0) -0.3333333333333333)
(+
(* (pow x_m 7.0) -0.05396825396825397)
(* (pow x_m 5.0) 0.13333333333333333))))
t_1))))x_m = fabs(x);
x_s = copysign(1.0, x);
double code(double x_s, double x_m) {
double t_0 = exp(-x_m);
double t_1 = (exp(x_m) - t_0) / (exp(x_m) + t_0);
double tmp;
if (t_1 <= 0.005) {
tmp = x_m + ((pow(x_m, 3.0) * -0.3333333333333333) + ((pow(x_m, 7.0) * -0.05396825396825397) + (pow(x_m, 5.0) * 0.13333333333333333)));
} else {
tmp = t_1;
}
return x_s * tmp;
}
x_m = abs(x)
x_s = copysign(1.0d0, x)
real(8) function code(x_s, x_m)
real(8), intent (in) :: x_s
real(8), intent (in) :: x_m
real(8) :: t_0
real(8) :: t_1
real(8) :: tmp
t_0 = exp(-x_m)
t_1 = (exp(x_m) - t_0) / (exp(x_m) + t_0)
if (t_1 <= 0.005d0) then
tmp = x_m + (((x_m ** 3.0d0) * (-0.3333333333333333d0)) + (((x_m ** 7.0d0) * (-0.05396825396825397d0)) + ((x_m ** 5.0d0) * 0.13333333333333333d0)))
else
tmp = t_1
end if
code = x_s * tmp
end function
x_m = Math.abs(x);
x_s = Math.copySign(1.0, x);
public static double code(double x_s, double x_m) {
double t_0 = Math.exp(-x_m);
double t_1 = (Math.exp(x_m) - t_0) / (Math.exp(x_m) + t_0);
double tmp;
if (t_1 <= 0.005) {
tmp = x_m + ((Math.pow(x_m, 3.0) * -0.3333333333333333) + ((Math.pow(x_m, 7.0) * -0.05396825396825397) + (Math.pow(x_m, 5.0) * 0.13333333333333333)));
} else {
tmp = t_1;
}
return x_s * tmp;
}
x_m = math.fabs(x) x_s = math.copysign(1.0, x) def code(x_s, x_m): t_0 = math.exp(-x_m) t_1 = (math.exp(x_m) - t_0) / (math.exp(x_m) + t_0) tmp = 0 if t_1 <= 0.005: tmp = x_m + ((math.pow(x_m, 3.0) * -0.3333333333333333) + ((math.pow(x_m, 7.0) * -0.05396825396825397) + (math.pow(x_m, 5.0) * 0.13333333333333333))) else: tmp = t_1 return x_s * tmp
x_m = abs(x) x_s = copysign(1.0, x) function code(x_s, x_m) t_0 = exp(Float64(-x_m)) t_1 = Float64(Float64(exp(x_m) - t_0) / Float64(exp(x_m) + t_0)) tmp = 0.0 if (t_1 <= 0.005) tmp = Float64(x_m + Float64(Float64((x_m ^ 3.0) * -0.3333333333333333) + Float64(Float64((x_m ^ 7.0) * -0.05396825396825397) + Float64((x_m ^ 5.0) * 0.13333333333333333)))); else tmp = t_1; end return Float64(x_s * tmp) end
x_m = abs(x); x_s = sign(x) * abs(1.0); function tmp_2 = code(x_s, x_m) t_0 = exp(-x_m); t_1 = (exp(x_m) - t_0) / (exp(x_m) + t_0); tmp = 0.0; if (t_1 <= 0.005) tmp = x_m + (((x_m ^ 3.0) * -0.3333333333333333) + (((x_m ^ 7.0) * -0.05396825396825397) + ((x_m ^ 5.0) * 0.13333333333333333))); else tmp = t_1; end tmp_2 = x_s * tmp; end
x_m = N[Abs[x], $MachinePrecision]
x_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_] := Block[{t$95$0 = N[Exp[(-x$95$m)], $MachinePrecision]}, Block[{t$95$1 = N[(N[(N[Exp[x$95$m], $MachinePrecision] - t$95$0), $MachinePrecision] / N[(N[Exp[x$95$m], $MachinePrecision] + t$95$0), $MachinePrecision]), $MachinePrecision]}, N[(x$95$s * If[LessEqual[t$95$1, 0.005], N[(x$95$m + N[(N[(N[Power[x$95$m, 3.0], $MachinePrecision] * -0.3333333333333333), $MachinePrecision] + N[(N[(N[Power[x$95$m, 7.0], $MachinePrecision] * -0.05396825396825397), $MachinePrecision] + N[(N[Power[x$95$m, 5.0], $MachinePrecision] * 0.13333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]), $MachinePrecision]]]
\begin{array}{l}
x_m = \left|x\right|
\\
x_s = \mathsf{copysign}\left(1, x\right)
\\
\begin{array}{l}
t_0 := e^{-x_m}\\
t_1 := \frac{e^{x_m} - t_0}{e^{x_m} + t_0}\\
x_s \cdot \begin{array}{l}
\mathbf{if}\;t_1 \leq 0.005:\\
\;\;\;\;x_m + \left({x_m}^{3} \cdot -0.3333333333333333 + \left({x_m}^{7} \cdot -0.05396825396825397 + {x_m}^{5} \cdot 0.13333333333333333\right)\right)\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\end{array}
\end{array}
if (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) < 0.0050000000000000001Initial program 10.8%
Taylor expanded in x around 0 99.8%
if 0.0050000000000000001 < (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) Initial program 66.1%
Final simplification98.6%
x_m = (fabs.f64 x)
x_s = (copysign.f64 1 x)
(FPCore (x_s x_m)
:precision binary64
(*
x_s
(/
(+
(* 0.0003968253968253968 (pow x_m 7.0))
(+
(* 0.016666666666666666 (pow x_m 5.0))
(+ (* 0.3333333333333333 (pow x_m 3.0)) (* x_m 2.0))))
(+ (exp x_m) (exp (- x_m))))))x_m = fabs(x);
x_s = copysign(1.0, x);
double code(double x_s, double x_m) {
return x_s * (((0.0003968253968253968 * pow(x_m, 7.0)) + ((0.016666666666666666 * pow(x_m, 5.0)) + ((0.3333333333333333 * pow(x_m, 3.0)) + (x_m * 2.0)))) / (exp(x_m) + exp(-x_m)));
}
x_m = abs(x)
x_s = copysign(1.0d0, x)
real(8) function code(x_s, x_m)
real(8), intent (in) :: x_s
real(8), intent (in) :: x_m
code = x_s * (((0.0003968253968253968d0 * (x_m ** 7.0d0)) + ((0.016666666666666666d0 * (x_m ** 5.0d0)) + ((0.3333333333333333d0 * (x_m ** 3.0d0)) + (x_m * 2.0d0)))) / (exp(x_m) + exp(-x_m)))
end function
x_m = Math.abs(x);
x_s = Math.copySign(1.0, x);
public static double code(double x_s, double x_m) {
return x_s * (((0.0003968253968253968 * Math.pow(x_m, 7.0)) + ((0.016666666666666666 * Math.pow(x_m, 5.0)) + ((0.3333333333333333 * Math.pow(x_m, 3.0)) + (x_m * 2.0)))) / (Math.exp(x_m) + Math.exp(-x_m)));
}
x_m = math.fabs(x) x_s = math.copysign(1.0, x) def code(x_s, x_m): return x_s * (((0.0003968253968253968 * math.pow(x_m, 7.0)) + ((0.016666666666666666 * math.pow(x_m, 5.0)) + ((0.3333333333333333 * math.pow(x_m, 3.0)) + (x_m * 2.0)))) / (math.exp(x_m) + math.exp(-x_m)))
x_m = abs(x) x_s = copysign(1.0, x) function code(x_s, x_m) return Float64(x_s * Float64(Float64(Float64(0.0003968253968253968 * (x_m ^ 7.0)) + Float64(Float64(0.016666666666666666 * (x_m ^ 5.0)) + Float64(Float64(0.3333333333333333 * (x_m ^ 3.0)) + Float64(x_m * 2.0)))) / Float64(exp(x_m) + exp(Float64(-x_m))))) end
x_m = abs(x); x_s = sign(x) * abs(1.0); function tmp = code(x_s, x_m) tmp = x_s * (((0.0003968253968253968 * (x_m ^ 7.0)) + ((0.016666666666666666 * (x_m ^ 5.0)) + ((0.3333333333333333 * (x_m ^ 3.0)) + (x_m * 2.0)))) / (exp(x_m) + exp(-x_m))); end
x_m = N[Abs[x], $MachinePrecision]
x_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_] := N[(x$95$s * N[(N[(N[(0.0003968253968253968 * N[Power[x$95$m, 7.0], $MachinePrecision]), $MachinePrecision] + N[(N[(0.016666666666666666 * N[Power[x$95$m, 5.0], $MachinePrecision]), $MachinePrecision] + N[(N[(0.3333333333333333 * N[Power[x$95$m, 3.0], $MachinePrecision]), $MachinePrecision] + N[(x$95$m * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(N[Exp[x$95$m], $MachinePrecision] + N[Exp[(-x$95$m)], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x_m = \left|x\right|
\\
x_s = \mathsf{copysign}\left(1, x\right)
\\
x_s \cdot \frac{0.0003968253968253968 \cdot {x_m}^{7} + \left(0.016666666666666666 \cdot {x_m}^{5} + \left(0.3333333333333333 \cdot {x_m}^{3} + x_m \cdot 2\right)\right)}{e^{x_m} + e^{-x_m}}
\end{array}
Initial program 12.7%
Taylor expanded in x around 0 97.4%
Final simplification97.4%
x_m = (fabs.f64 x)
x_s = (copysign.f64 1 x)
(FPCore (x_s x_m)
:precision binary64
(*
x_s
(+
x_m
(+
(* (pow x_m 3.0) -0.3333333333333333)
(* (pow x_m 5.0) 0.13333333333333333)))))x_m = fabs(x);
x_s = copysign(1.0, x);
double code(double x_s, double x_m) {
return x_s * (x_m + ((pow(x_m, 3.0) * -0.3333333333333333) + (pow(x_m, 5.0) * 0.13333333333333333)));
}
x_m = abs(x)
x_s = copysign(1.0d0, x)
real(8) function code(x_s, x_m)
real(8), intent (in) :: x_s
real(8), intent (in) :: x_m
code = x_s * (x_m + (((x_m ** 3.0d0) * (-0.3333333333333333d0)) + ((x_m ** 5.0d0) * 0.13333333333333333d0)))
end function
x_m = Math.abs(x);
x_s = Math.copySign(1.0, x);
public static double code(double x_s, double x_m) {
return x_s * (x_m + ((Math.pow(x_m, 3.0) * -0.3333333333333333) + (Math.pow(x_m, 5.0) * 0.13333333333333333)));
}
x_m = math.fabs(x) x_s = math.copysign(1.0, x) def code(x_s, x_m): return x_s * (x_m + ((math.pow(x_m, 3.0) * -0.3333333333333333) + (math.pow(x_m, 5.0) * 0.13333333333333333)))
x_m = abs(x) x_s = copysign(1.0, x) function code(x_s, x_m) return Float64(x_s * Float64(x_m + Float64(Float64((x_m ^ 3.0) * -0.3333333333333333) + Float64((x_m ^ 5.0) * 0.13333333333333333)))) end
x_m = abs(x); x_s = sign(x) * abs(1.0); function tmp = code(x_s, x_m) tmp = x_s * (x_m + (((x_m ^ 3.0) * -0.3333333333333333) + ((x_m ^ 5.0) * 0.13333333333333333))); end
x_m = N[Abs[x], $MachinePrecision]
x_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_] := N[(x$95$s * N[(x$95$m + N[(N[(N[Power[x$95$m, 3.0], $MachinePrecision] * -0.3333333333333333), $MachinePrecision] + N[(N[Power[x$95$m, 5.0], $MachinePrecision] * 0.13333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x_m = \left|x\right|
\\
x_s = \mathsf{copysign}\left(1, x\right)
\\
x_s \cdot \left(x_m + \left({x_m}^{3} \cdot -0.3333333333333333 + {x_m}^{5} \cdot 0.13333333333333333\right)\right)
\end{array}
Initial program 12.7%
Taylor expanded in x around 0 96.9%
Final simplification96.9%
x_m = (fabs.f64 x) x_s = (copysign.f64 1 x) (FPCore (x_s x_m) :precision binary64 (* x_s (+ x_m (* (pow x_m 3.0) -0.3333333333333333))))
x_m = fabs(x);
x_s = copysign(1.0, x);
double code(double x_s, double x_m) {
return x_s * (x_m + (pow(x_m, 3.0) * -0.3333333333333333));
}
x_m = abs(x)
x_s = copysign(1.0d0, x)
real(8) function code(x_s, x_m)
real(8), intent (in) :: x_s
real(8), intent (in) :: x_m
code = x_s * (x_m + ((x_m ** 3.0d0) * (-0.3333333333333333d0)))
end function
x_m = Math.abs(x);
x_s = Math.copySign(1.0, x);
public static double code(double x_s, double x_m) {
return x_s * (x_m + (Math.pow(x_m, 3.0) * -0.3333333333333333));
}
x_m = math.fabs(x) x_s = math.copysign(1.0, x) def code(x_s, x_m): return x_s * (x_m + (math.pow(x_m, 3.0) * -0.3333333333333333))
x_m = abs(x) x_s = copysign(1.0, x) function code(x_s, x_m) return Float64(x_s * Float64(x_m + Float64((x_m ^ 3.0) * -0.3333333333333333))) end
x_m = abs(x); x_s = sign(x) * abs(1.0); function tmp = code(x_s, x_m) tmp = x_s * (x_m + ((x_m ^ 3.0) * -0.3333333333333333)); end
x_m = N[Abs[x], $MachinePrecision]
x_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_] := N[(x$95$s * N[(x$95$m + N[(N[Power[x$95$m, 3.0], $MachinePrecision] * -0.3333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x_m = \left|x\right|
\\
x_s = \mathsf{copysign}\left(1, x\right)
\\
x_s \cdot \left(x_m + {x_m}^{3} \cdot -0.3333333333333333\right)
\end{array}
Initial program 12.7%
Taylor expanded in x around 0 96.3%
*-commutative96.3%
Simplified96.3%
Final simplification96.3%
x_m = (fabs.f64 x) x_s = (copysign.f64 1 x) (FPCore (x_s x_m) :precision binary64 (* x_s 2.5))
x_m = fabs(x);
x_s = copysign(1.0, x);
double code(double x_s, double x_m) {
return x_s * 2.5;
}
x_m = abs(x)
x_s = copysign(1.0d0, x)
real(8) function code(x_s, x_m)
real(8), intent (in) :: x_s
real(8), intent (in) :: x_m
code = x_s * 2.5d0
end function
x_m = Math.abs(x);
x_s = Math.copySign(1.0, x);
public static double code(double x_s, double x_m) {
return x_s * 2.5;
}
x_m = math.fabs(x) x_s = math.copysign(1.0, x) def code(x_s, x_m): return x_s * 2.5
x_m = abs(x) x_s = copysign(1.0, x) function code(x_s, x_m) return Float64(x_s * 2.5) end
x_m = abs(x); x_s = sign(x) * abs(1.0); function tmp = code(x_s, x_m) tmp = x_s * 2.5; end
x_m = N[Abs[x], $MachinePrecision]
x_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_] := N[(x$95$s * 2.5), $MachinePrecision]
\begin{array}{l}
x_m = \left|x\right|
\\
x_s = \mathsf{copysign}\left(1, x\right)
\\
x_s \cdot 2.5
\end{array}
Initial program 12.7%
Applied egg-rr4.0%
Taylor expanded in x around 0 4.0%
Final simplification4.0%
x_m = (fabs.f64 x) x_s = (copysign.f64 1 x) (FPCore (x_s x_m) :precision binary64 (* x_s x_m))
x_m = fabs(x);
x_s = copysign(1.0, x);
double code(double x_s, double x_m) {
return x_s * x_m;
}
x_m = abs(x)
x_s = copysign(1.0d0, x)
real(8) function code(x_s, x_m)
real(8), intent (in) :: x_s
real(8), intent (in) :: x_m
code = x_s * x_m
end function
x_m = Math.abs(x);
x_s = Math.copySign(1.0, x);
public static double code(double x_s, double x_m) {
return x_s * x_m;
}
x_m = math.fabs(x) x_s = math.copysign(1.0, x) def code(x_s, x_m): return x_s * x_m
x_m = abs(x) x_s = copysign(1.0, x) function code(x_s, x_m) return Float64(x_s * x_m) end
x_m = abs(x); x_s = sign(x) * abs(1.0); function tmp = code(x_s, x_m) tmp = x_s * x_m; end
x_m = N[Abs[x], $MachinePrecision]
x_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_] := N[(x$95$s * x$95$m), $MachinePrecision]
\begin{array}{l}
x_m = \left|x\right|
\\
x_s = \mathsf{copysign}\left(1, x\right)
\\
x_s \cdot x_m
\end{array}
Initial program 12.7%
Taylor expanded in x around 0 95.3%
Final simplification95.3%
herbie shell --seed 2023338
(FPCore (x)
:name "Hyperbolic tangent"
:precision binary64
(/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))