(FPCore (x) :precision binary64 (/ 1.443434444909 x))
(FPCore (x) :precision binary64 (/ 1.443434444909 x))
double code(double x) { return 1.443434444909 / x; }
double code(double x) { return 1.443434444909 / x; }
real(8) function code(x) real(8), intent (in) :: x code = 1.443434444909d0 / x end function
real(8) function code(x) real(8), intent (in) :: x code = 1.443434444909d0 / x end function
public static double code(double x) { return 1.443434444909 / x; }
public static double code(double x) { return 1.443434444909 / x; }
def code(x): return 1.443434444909 / x
def code(x): return 1.443434444909 / x
function code(x) return Float64(1.443434444909 / x) end
function code(x) return Float64(1.443434444909 / x) end
function tmp = code(x) tmp = 1.443434444909 / x; end
function tmp = code(x) tmp = 1.443434444909 / x; end
code[x_] := N[(1.443434444909 / x), $MachinePrecision]
code[x_] := N[(1.443434444909 / x), $MachinePrecision]
\frac{1.443434444909}{x}
\frac{1.443434444909}{x}
Results
Initial program 0
Final simplification0
herbie shell --seed 1
(FPCore (x)
:name "1.443434444909/x"
:precision binary64
:pre (and (<= -2.0 x) (<= x 2.0))
(/ 1.443434444909 x))