
(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 10 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
(/
(+
(* 2.0 x)
(+ (* 0.3333333333333333 (pow x 3.0)) (* 0.016666666666666666 (pow x 5.0))))
(+
2.0
(fma
0.002777777777777778
(pow x 6.0)
(+ (* x x) (* 0.08333333333333333 (pow x 4.0)))))))
double code(double x) {
return ((2.0 * x) + ((0.3333333333333333 * pow(x, 3.0)) + (0.016666666666666666 * pow(x, 5.0)))) / (2.0 + fma(0.002777777777777778, pow(x, 6.0), ((x * x) + (0.08333333333333333 * pow(x, 4.0)))));
}
function code(x) return Float64(Float64(Float64(2.0 * x) + Float64(Float64(0.3333333333333333 * (x ^ 3.0)) + Float64(0.016666666666666666 * (x ^ 5.0)))) / Float64(2.0 + fma(0.002777777777777778, (x ^ 6.0), Float64(Float64(x * x) + Float64(0.08333333333333333 * (x ^ 4.0)))))) end
code[x_] := N[(N[(N[(2.0 * x), $MachinePrecision] + N[(N[(0.3333333333333333 * N[Power[x, 3.0], $MachinePrecision]), $MachinePrecision] + N[(0.016666666666666666 * N[Power[x, 5.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(2.0 + N[(0.002777777777777778 * N[Power[x, 6.0], $MachinePrecision] + N[(N[(x * x), $MachinePrecision] + N[(0.08333333333333333 * N[Power[x, 4.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{2 \cdot x + \left(0.3333333333333333 \cdot {x}^{3} + 0.016666666666666666 \cdot {x}^{5}\right)}{2 + \mathsf{fma}\left(0.002777777777777778, {x}^{6}, x \cdot x + 0.08333333333333333 \cdot {x}^{4}\right)}
\end{array}
Initial program 9.3%
Taylor expanded in x around 0 97.4%
Taylor expanded in x around 0 97.6%
fma-def97.6%
unpow297.6%
Simplified97.6%
Final simplification97.6%
(FPCore (x) :precision binary64 (/ (+ (* 2.0 x) (+ (* 0.3333333333333333 (pow x 3.0)) (* 0.016666666666666666 (pow x 5.0)))) (+ 2.0 (+ (* x x) (* 0.08333333333333333 (pow x 4.0))))))
double code(double x) {
return ((2.0 * x) + ((0.3333333333333333 * pow(x, 3.0)) + (0.016666666666666666 * pow(x, 5.0)))) / (2.0 + ((x * x) + (0.08333333333333333 * pow(x, 4.0))));
}
real(8) function code(x)
real(8), intent (in) :: x
code = ((2.0d0 * x) + ((0.3333333333333333d0 * (x ** 3.0d0)) + (0.016666666666666666d0 * (x ** 5.0d0)))) / (2.0d0 + ((x * x) + (0.08333333333333333d0 * (x ** 4.0d0))))
end function
public static double code(double x) {
return ((2.0 * x) + ((0.3333333333333333 * Math.pow(x, 3.0)) + (0.016666666666666666 * Math.pow(x, 5.0)))) / (2.0 + ((x * x) + (0.08333333333333333 * Math.pow(x, 4.0))));
}
def code(x): return ((2.0 * x) + ((0.3333333333333333 * math.pow(x, 3.0)) + (0.016666666666666666 * math.pow(x, 5.0)))) / (2.0 + ((x * x) + (0.08333333333333333 * math.pow(x, 4.0))))
function code(x) return Float64(Float64(Float64(2.0 * x) + Float64(Float64(0.3333333333333333 * (x ^ 3.0)) + Float64(0.016666666666666666 * (x ^ 5.0)))) / Float64(2.0 + Float64(Float64(x * x) + Float64(0.08333333333333333 * (x ^ 4.0))))) end
function tmp = code(x) tmp = ((2.0 * x) + ((0.3333333333333333 * (x ^ 3.0)) + (0.016666666666666666 * (x ^ 5.0)))) / (2.0 + ((x * x) + (0.08333333333333333 * (x ^ 4.0)))); end
code[x_] := N[(N[(N[(2.0 * x), $MachinePrecision] + N[(N[(0.3333333333333333 * N[Power[x, 3.0], $MachinePrecision]), $MachinePrecision] + N[(0.016666666666666666 * N[Power[x, 5.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(2.0 + N[(N[(x * x), $MachinePrecision] + N[(0.08333333333333333 * N[Power[x, 4.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{2 \cdot x + \left(0.3333333333333333 \cdot {x}^{3} + 0.016666666666666666 \cdot {x}^{5}\right)}{2 + \left(x \cdot x + 0.08333333333333333 \cdot {x}^{4}\right)}
\end{array}
Initial program 9.3%
Taylor expanded in x around 0 97.4%
Taylor expanded in x around 0 97.6%
unpow27.5%
Simplified97.6%
Final simplification97.6%
(FPCore (x) :precision binary64 (* (* 2.0 (sinh x)) (/ 1.0 (+ (* 0.08333333333333333 (pow x 4.0)) (fma x x 2.0)))))
double code(double x) {
return (2.0 * sinh(x)) * (1.0 / ((0.08333333333333333 * pow(x, 4.0)) + fma(x, x, 2.0)));
}
function code(x) return Float64(Float64(2.0 * sinh(x)) * Float64(1.0 / Float64(Float64(0.08333333333333333 * (x ^ 4.0)) + fma(x, x, 2.0)))) end
code[x_] := N[(N[(2.0 * N[Sinh[x], $MachinePrecision]), $MachinePrecision] * N[(1.0 / N[(N[(0.08333333333333333 * N[Power[x, 4.0], $MachinePrecision]), $MachinePrecision] + N[(x * x + 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(2 \cdot \sinh x\right) \cdot \frac{1}{0.08333333333333333 \cdot {x}^{4} + \mathsf{fma}\left(x, x, 2\right)}
\end{array}
Initial program 9.3%
Taylor expanded in x around 0 7.5%
unpow27.5%
Simplified7.5%
div-inv7.5%
sinh-undef97.4%
associate-+r+97.4%
+-commutative97.4%
fma-def97.4%
Applied egg-rr97.4%
Final simplification97.4%
(FPCore (x) :precision binary64 (+ (* (pow x 3.0) -0.3333333333333333) (+ x (* (pow x 5.0) 0.13333333333333333))))
double code(double x) {
return (pow(x, 3.0) * -0.3333333333333333) + (x + (pow(x, 5.0) * 0.13333333333333333));
}
real(8) function code(x)
real(8), intent (in) :: x
code = ((x ** 3.0d0) * (-0.3333333333333333d0)) + (x + ((x ** 5.0d0) * 0.13333333333333333d0))
end function
public static double code(double x) {
return (Math.pow(x, 3.0) * -0.3333333333333333) + (x + (Math.pow(x, 5.0) * 0.13333333333333333));
}
def code(x): return (math.pow(x, 3.0) * -0.3333333333333333) + (x + (math.pow(x, 5.0) * 0.13333333333333333))
function code(x) return Float64(Float64((x ^ 3.0) * -0.3333333333333333) + Float64(x + Float64((x ^ 5.0) * 0.13333333333333333))) end
function tmp = code(x) tmp = ((x ^ 3.0) * -0.3333333333333333) + (x + ((x ^ 5.0) * 0.13333333333333333)); end
code[x_] := N[(N[(N[Power[x, 3.0], $MachinePrecision] * -0.3333333333333333), $MachinePrecision] + N[(x + N[(N[Power[x, 5.0], $MachinePrecision] * 0.13333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
{x}^{3} \cdot -0.3333333333333333 + \left(x + {x}^{5} \cdot 0.13333333333333333\right)
\end{array}
Initial program 9.3%
Taylor expanded in x around 0 97.3%
Final simplification97.3%
(FPCore (x) :precision binary64 (/ (+ (* 2.0 x) (* 0.3333333333333333 (pow x 3.0))) (+ 2.0 (* x x))))
double code(double x) {
return ((2.0 * x) + (0.3333333333333333 * pow(x, 3.0))) / (2.0 + (x * x));
}
real(8) function code(x)
real(8), intent (in) :: x
code = ((2.0d0 * x) + (0.3333333333333333d0 * (x ** 3.0d0))) / (2.0d0 + (x * x))
end function
public static double code(double x) {
return ((2.0 * x) + (0.3333333333333333 * Math.pow(x, 3.0))) / (2.0 + (x * x));
}
def code(x): return ((2.0 * x) + (0.3333333333333333 * math.pow(x, 3.0))) / (2.0 + (x * x))
function code(x) return Float64(Float64(Float64(2.0 * x) + Float64(0.3333333333333333 * (x ^ 3.0))) / Float64(2.0 + Float64(x * x))) end
function tmp = code(x) tmp = ((2.0 * x) + (0.3333333333333333 * (x ^ 3.0))) / (2.0 + (x * x)); end
code[x_] := N[(N[(N[(2.0 * x), $MachinePrecision] + N[(0.3333333333333333 * N[Power[x, 3.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(2.0 + N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{2 \cdot x + 0.3333333333333333 \cdot {x}^{3}}{2 + x \cdot x}
\end{array}
Initial program 9.3%
Taylor expanded in x around 0 7.2%
unpow27.2%
Simplified7.2%
Taylor expanded in x around 0 97.2%
Final simplification97.2%
(FPCore (x) :precision binary64 (/ (* 2.0 (sinh x)) (+ 2.0 (* x x))))
double code(double x) {
return (2.0 * sinh(x)) / (2.0 + (x * x));
}
real(8) function code(x)
real(8), intent (in) :: x
code = (2.0d0 * sinh(x)) / (2.0d0 + (x * x))
end function
public static double code(double x) {
return (2.0 * Math.sinh(x)) / (2.0 + (x * x));
}
def code(x): return (2.0 * math.sinh(x)) / (2.0 + (x * x))
function code(x) return Float64(Float64(2.0 * sinh(x)) / Float64(2.0 + Float64(x * x))) end
function tmp = code(x) tmp = (2.0 * sinh(x)) / (2.0 + (x * x)); end
code[x_] := N[(N[(2.0 * N[Sinh[x], $MachinePrecision]), $MachinePrecision] / N[(2.0 + N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{2 \cdot \sinh x}{2 + x \cdot x}
\end{array}
Initial program 9.3%
Taylor expanded in x around 0 7.2%
unpow27.2%
Simplified7.2%
*-un-lft-identity7.2%
sinh-undef97.0%
Applied egg-rr97.0%
Final simplification97.0%
(FPCore (x) :precision binary64 (+ x (* (pow x 3.0) -0.3333333333333333)))
double code(double x) {
return x + (pow(x, 3.0) * -0.3333333333333333);
}
real(8) function code(x)
real(8), intent (in) :: x
code = x + ((x ** 3.0d0) * (-0.3333333333333333d0))
end function
public static double code(double x) {
return x + (Math.pow(x, 3.0) * -0.3333333333333333);
}
def code(x): return x + (math.pow(x, 3.0) * -0.3333333333333333)
function code(x) return Float64(x + Float64((x ^ 3.0) * -0.3333333333333333)) end
function tmp = code(x) tmp = x + ((x ^ 3.0) * -0.3333333333333333); end
code[x_] := N[(x + N[(N[Power[x, 3.0], $MachinePrecision] * -0.3333333333333333), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x + {x}^{3} \cdot -0.3333333333333333
\end{array}
Initial program 9.3%
Taylor expanded in x around 0 96.8%
Final simplification96.8%
(FPCore (x) :precision binary64 (/ (+ x x) (+ 2.0 (* x x))))
double code(double x) {
return (x + x) / (2.0 + (x * x));
}
real(8) function code(x)
real(8), intent (in) :: x
code = (x + x) / (2.0d0 + (x * x))
end function
public static double code(double x) {
return (x + x) / (2.0 + (x * x));
}
def code(x): return (x + x) / (2.0 + (x * x))
function code(x) return Float64(Float64(x + x) / Float64(2.0 + Float64(x * x))) end
function tmp = code(x) tmp = (x + x) / (2.0 + (x * x)); end
code[x_] := N[(N[(x + x), $MachinePrecision] / N[(2.0 + N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x + x}{2 + x \cdot x}
\end{array}
Initial program 9.3%
Taylor expanded in x around 0 7.2%
unpow27.2%
Simplified7.2%
Taylor expanded in x around 0 96.7%
count-296.7%
Simplified96.7%
Final simplification96.7%
(FPCore (x) :precision binary64 4.5)
double code(double x) {
return 4.5;
}
real(8) function code(x)
real(8), intent (in) :: x
code = 4.5d0
end function
public static double code(double x) {
return 4.5;
}
def code(x): return 4.5
function code(x) return 4.5 end
function tmp = code(x) tmp = 4.5; end
code[x_] := 4.5
\begin{array}{l}
\\
4.5
\end{array}
Initial program 9.3%
Taylor expanded in x around 0 7.2%
unpow27.2%
Simplified7.2%
Applied egg-rr3.7%
Taylor expanded in x around 0 3.7%
Final simplification3.7%
(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 9.3%
Taylor expanded in x around 0 96.6%
Final simplification96.6%
herbie shell --seed 2023182
(FPCore (x)
:name "Hyperbolic tangent"
:precision binary64
(/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))