?

Average Error: 0 → 0
Time: 1.7s
Precision: binary64
Cost: 64

?

$-1.79 \cdot 10^{+308} \leq x \land x \leq 1.79 \cdot 10^{+308}$
$x$
$x$
(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


Try it out?

Your Program's Arguments

Results

 In Out
Enter valid numbers for all inputs

Derivation?

1. Initial program 0

$x$
2. Final simplification0

$\leadsto x$

Reproduce?

herbie shell --seed 1
(FPCore (x)
:name "x"
:precision binary64
:pre (and (<= -1.79e+308 x) (<= x 1.79e+308))
x)