
(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 7 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}
(FPCore (x)
:precision binary64
(/
(+
(* 0.0003968253968253968 (pow x 7.0))
(+
(* 0.016666666666666666 (pow x 5.0))
(+ (* 0.3333333333333333 (pow x 3.0)) (* x 2.0))))
(+
2.0
(+
(* 0.002777777777777778 (pow x 6.0))
(+ (* 0.08333333333333333 (pow x 4.0)) (pow x 2.0))))))
double code(double x) {
return ((0.0003968253968253968 * pow(x, 7.0)) + ((0.016666666666666666 * pow(x, 5.0)) + ((0.3333333333333333 * pow(x, 3.0)) + (x * 2.0)))) / (2.0 + ((0.002777777777777778 * pow(x, 6.0)) + ((0.08333333333333333 * pow(x, 4.0)) + pow(x, 2.0))));
}
real(8) function code(x)
real(8), intent (in) :: x
code = ((0.0003968253968253968d0 * (x ** 7.0d0)) + ((0.016666666666666666d0 * (x ** 5.0d0)) + ((0.3333333333333333d0 * (x ** 3.0d0)) + (x * 2.0d0)))) / (2.0d0 + ((0.002777777777777778d0 * (x ** 6.0d0)) + ((0.08333333333333333d0 * (x ** 4.0d0)) + (x ** 2.0d0))))
end function
public static double code(double x) {
return ((0.0003968253968253968 * Math.pow(x, 7.0)) + ((0.016666666666666666 * Math.pow(x, 5.0)) + ((0.3333333333333333 * Math.pow(x, 3.0)) + (x * 2.0)))) / (2.0 + ((0.002777777777777778 * Math.pow(x, 6.0)) + ((0.08333333333333333 * Math.pow(x, 4.0)) + Math.pow(x, 2.0))));
}
def code(x): return ((0.0003968253968253968 * math.pow(x, 7.0)) + ((0.016666666666666666 * math.pow(x, 5.0)) + ((0.3333333333333333 * math.pow(x, 3.0)) + (x * 2.0)))) / (2.0 + ((0.002777777777777778 * math.pow(x, 6.0)) + ((0.08333333333333333 * math.pow(x, 4.0)) + math.pow(x, 2.0))))
function code(x) return Float64(Float64(Float64(0.0003968253968253968 * (x ^ 7.0)) + Float64(Float64(0.016666666666666666 * (x ^ 5.0)) + Float64(Float64(0.3333333333333333 * (x ^ 3.0)) + Float64(x * 2.0)))) / Float64(2.0 + Float64(Float64(0.002777777777777778 * (x ^ 6.0)) + Float64(Float64(0.08333333333333333 * (x ^ 4.0)) + (x ^ 2.0))))) end
function tmp = code(x) tmp = ((0.0003968253968253968 * (x ^ 7.0)) + ((0.016666666666666666 * (x ^ 5.0)) + ((0.3333333333333333 * (x ^ 3.0)) + (x * 2.0)))) / (2.0 + ((0.002777777777777778 * (x ^ 6.0)) + ((0.08333333333333333 * (x ^ 4.0)) + (x ^ 2.0)))); end
code[x_] := N[(N[(N[(0.0003968253968253968 * N[Power[x, 7.0], $MachinePrecision]), $MachinePrecision] + N[(N[(0.016666666666666666 * N[Power[x, 5.0], $MachinePrecision]), $MachinePrecision] + N[(N[(0.3333333333333333 * N[Power[x, 3.0], $MachinePrecision]), $MachinePrecision] + N[(x * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(2.0 + N[(N[(0.002777777777777778 * N[Power[x, 6.0], $MachinePrecision]), $MachinePrecision] + N[(N[(0.08333333333333333 * N[Power[x, 4.0], $MachinePrecision]), $MachinePrecision] + N[Power[x, 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{0.0003968253968253968 \cdot {x}^{7} + \left(0.016666666666666666 \cdot {x}^{5} + \left(0.3333333333333333 \cdot {x}^{3} + x \cdot 2\right)\right)}{2 + \left(0.002777777777777778 \cdot {x}^{6} + \left(0.08333333333333333 \cdot {x}^{4} + {x}^{2}\right)\right)}
\end{array}
Initial program 10.2%
Taylor expanded in x around 0 98.8%
Taylor expanded in x around 0 98.9%
Final simplification98.9%
(FPCore (x)
:precision binary64
(/
(+
(* 0.0003968253968253968 (pow x 7.0))
(+
(* 0.016666666666666666 (pow x 5.0))
(+ (* x 2.0) (* 0.3333333333333333 (* x (* x x))))))
(+ (exp x) (exp (- x)))))
double code(double x) {
return ((0.0003968253968253968 * pow(x, 7.0)) + ((0.016666666666666666 * pow(x, 5.0)) + ((x * 2.0) + (0.3333333333333333 * (x * (x * x)))))) / (exp(x) + exp(-x));
}
real(8) function code(x)
real(8), intent (in) :: x
code = ((0.0003968253968253968d0 * (x ** 7.0d0)) + ((0.016666666666666666d0 * (x ** 5.0d0)) + ((x * 2.0d0) + (0.3333333333333333d0 * (x * (x * x)))))) / (exp(x) + exp(-x))
end function
public static double code(double x) {
return ((0.0003968253968253968 * Math.pow(x, 7.0)) + ((0.016666666666666666 * Math.pow(x, 5.0)) + ((x * 2.0) + (0.3333333333333333 * (x * (x * x)))))) / (Math.exp(x) + Math.exp(-x));
}
def code(x): return ((0.0003968253968253968 * math.pow(x, 7.0)) + ((0.016666666666666666 * math.pow(x, 5.0)) + ((x * 2.0) + (0.3333333333333333 * (x * (x * x)))))) / (math.exp(x) + math.exp(-x))
function code(x) return Float64(Float64(Float64(0.0003968253968253968 * (x ^ 7.0)) + Float64(Float64(0.016666666666666666 * (x ^ 5.0)) + Float64(Float64(x * 2.0) + Float64(0.3333333333333333 * Float64(x * Float64(x * x)))))) / Float64(exp(x) + exp(Float64(-x)))) end
function tmp = code(x) tmp = ((0.0003968253968253968 * (x ^ 7.0)) + ((0.016666666666666666 * (x ^ 5.0)) + ((x * 2.0) + (0.3333333333333333 * (x * (x * x)))))) / (exp(x) + exp(-x)); end
code[x_] := N[(N[(N[(0.0003968253968253968 * N[Power[x, 7.0], $MachinePrecision]), $MachinePrecision] + N[(N[(0.016666666666666666 * N[Power[x, 5.0], $MachinePrecision]), $MachinePrecision] + N[(N[(x * 2.0), $MachinePrecision] + N[(0.3333333333333333 * N[(x * N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(N[Exp[x], $MachinePrecision] + N[Exp[(-x)], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{0.0003968253968253968 \cdot {x}^{7} + \left(0.016666666666666666 \cdot {x}^{5} + \left(x \cdot 2 + 0.3333333333333333 \cdot \left(x \cdot \left(x \cdot x\right)\right)\right)\right)}{e^{x} + e^{-x}}
\end{array}
Initial program 10.2%
Taylor expanded in x around 0 98.8%
unpow398.2%
Applied egg-rr98.8%
Final simplification98.8%
(FPCore (x) :precision binary64 (+ x (+ (* (* x (* x x)) -0.3333333333333333) (* (pow x 5.0) 0.13333333333333333))))
double code(double x) {
return x + (((x * (x * x)) * -0.3333333333333333) + (pow(x, 5.0) * 0.13333333333333333));
}
real(8) function code(x)
real(8), intent (in) :: x
code = x + (((x * (x * x)) * (-0.3333333333333333d0)) + ((x ** 5.0d0) * 0.13333333333333333d0))
end function
public static double code(double x) {
return x + (((x * (x * x)) * -0.3333333333333333) + (Math.pow(x, 5.0) * 0.13333333333333333));
}
def code(x): return x + (((x * (x * x)) * -0.3333333333333333) + (math.pow(x, 5.0) * 0.13333333333333333))
function code(x) return Float64(x + Float64(Float64(Float64(x * Float64(x * x)) * -0.3333333333333333) + Float64((x ^ 5.0) * 0.13333333333333333))) end
function tmp = code(x) tmp = x + (((x * (x * x)) * -0.3333333333333333) + ((x ^ 5.0) * 0.13333333333333333)); end
code[x_] := N[(x + N[(N[(N[(x * N[(x * x), $MachinePrecision]), $MachinePrecision] * -0.3333333333333333), $MachinePrecision] + N[(N[Power[x, 5.0], $MachinePrecision] * 0.13333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x + \left(\left(x \cdot \left(x \cdot x\right)\right) \cdot -0.3333333333333333 + {x}^{5} \cdot 0.13333333333333333\right)
\end{array}
Initial program 10.2%
Taylor expanded in x around 0 98.6%
unpow398.2%
Applied egg-rr98.6%
Final simplification98.6%
(FPCore (x) :precision binary64 (/ (* x (fma x (* x 0.3333333333333333) 2.0)) (+ 2.0 (* x x))))
double code(double x) {
return (x * fma(x, (x * 0.3333333333333333), 2.0)) / (2.0 + (x * x));
}
function code(x) return Float64(Float64(x * fma(x, Float64(x * 0.3333333333333333), 2.0)) / Float64(2.0 + Float64(x * x))) end
code[x_] := N[(N[(x * N[(x * N[(x * 0.3333333333333333), $MachinePrecision] + 2.0), $MachinePrecision]), $MachinePrecision] / N[(2.0 + N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x \cdot \mathsf{fma}\left(x, x \cdot 0.3333333333333333, 2\right)}{2 + x \cdot x}
\end{array}
Initial program 10.2%
Taylor expanded in x around 0 9.5%
unpow29.5%
Simplified9.5%
Taylor expanded in x around 0 98.5%
unpow398.5%
unpow298.5%
associate-*r*98.5%
distribute-rgt-out98.5%
*-commutative98.5%
unpow298.5%
associate-*l*98.5%
fma-def98.5%
Simplified98.5%
Final simplification98.5%
(FPCore (x) :precision binary64 (* (* 2.0 (sinh x)) (/ 1.0 (+ 2.0 (* x x)))))
double code(double x) {
return (2.0 * sinh(x)) * (1.0 / (2.0 + (x * x)));
}
real(8) function code(x)
real(8), intent (in) :: x
code = (2.0d0 * sinh(x)) * (1.0d0 / (2.0d0 + (x * x)))
end function
public static double code(double x) {
return (2.0 * Math.sinh(x)) * (1.0 / (2.0 + (x * x)));
}
def code(x): return (2.0 * math.sinh(x)) * (1.0 / (2.0 + (x * x)))
function code(x) return Float64(Float64(2.0 * sinh(x)) * Float64(1.0 / Float64(2.0 + Float64(x * x)))) end
function tmp = code(x) tmp = (2.0 * sinh(x)) * (1.0 / (2.0 + (x * x))); end
code[x_] := N[(N[(2.0 * N[Sinh[x], $MachinePrecision]), $MachinePrecision] * N[(1.0 / N[(2.0 + N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(2 \cdot \sinh x\right) \cdot \frac{1}{2 + x \cdot x}
\end{array}
Initial program 10.2%
Taylor expanded in x around 0 9.5%
unpow29.5%
Simplified9.5%
div-inv9.5%
sinh-undef98.4%
Applied egg-rr98.4%
Final simplification98.4%
(FPCore (x) :precision binary64 (+ x (* (* x (* x x)) -0.3333333333333333)))
double code(double x) {
return x + ((x * (x * x)) * -0.3333333333333333);
}
real(8) function code(x)
real(8), intent (in) :: x
code = x + ((x * (x * x)) * (-0.3333333333333333d0))
end function
public static double code(double x) {
return x + ((x * (x * x)) * -0.3333333333333333);
}
def code(x): return x + ((x * (x * x)) * -0.3333333333333333)
function code(x) return Float64(x + Float64(Float64(x * Float64(x * x)) * -0.3333333333333333)) end
function tmp = code(x) tmp = x + ((x * (x * x)) * -0.3333333333333333); end
code[x_] := N[(x + N[(N[(x * N[(x * x), $MachinePrecision]), $MachinePrecision] * -0.3333333333333333), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x + \left(x \cdot \left(x \cdot x\right)\right) \cdot -0.3333333333333333
\end{array}
Initial program 10.2%
Taylor expanded in x around 0 98.2%
*-commutative98.2%
Simplified98.2%
unpow398.2%
Applied egg-rr98.2%
Final simplification98.2%
(FPCore (x) :precision binary64 x)
double code(double x) {
return x;
}
real(8) function code(x)
real(8), intent (in) :: x
code = x
end function
public static double code(double x) {
return x;
}
def code(x): return x
function code(x) return x end
function tmp = code(x) tmp = x; end
code[x_] := x
\begin{array}{l}
\\
x
\end{array}
Initial program 10.2%
Taylor expanded in x around 0 97.5%
Final simplification97.5%
herbie shell --seed 2023271
(FPCore (x)
:name "Hyperbolic tangent"
:precision binary64
(/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))