(FPCore (x) :precision binary64 x)
(FPCore (x) :precision binary64 x)
double code(double x) { return x; }
double code(double x) { return x; }
real(8) function code(x) real(8), intent (in) :: x code = x end function
real(8) function code(x) real(8), intent (in) :: x code = x end function
public static double code(double x) { return x; }
public static double code(double x) { return x; }
def code(x): return x
def code(x): return x
function code(x) return x end
function code(x) return x end
function tmp = code(x) tmp = x; end
function tmp = code(x) tmp = x; end
code[x_] := x
code[x_] := x
x
x
Results
Initial program 0
Final simplification0
herbie shell --seed 1
(FPCore (x)
:name "x"
:precision binary64
:pre (and (<= -1.79e+308 x) (<= x 1.79e+308))
x)