?

Average Error: 0 → 0
Time: 899.0ms
Precision: binary64
Cost: 64

?

\[1 \]
\[1 \]
(FPCore () :precision binary64 1.0)
(FPCore () :precision binary64 1.0)
double code() {
	return 1.0;
}
double code() {
	return 1.0;
}
real(8) function code()
    code = 1.0d0
end function
real(8) function code()
    code = 1.0d0
end function
public static double code() {
	return 1.0;
}
public static double code() {
	return 1.0;
}
def code():
	return 1.0
def code():
	return 1.0
function code()
	return 1.0
end
function code()
	return 1.0
end
function tmp = code()
	tmp = 1.0;
end
function tmp = code()
	tmp = 1.0;
end
code[] := 1.0
code[] := 1.0
1
1

Error?

Try it out?

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation?

    1. Initial program 0

      \[1 \]
    2. Final simplification0

      \[\leadsto 1 \]

    Reproduce?

    herbie shell --seed 1 
    (FPCore ()
      :name "1"
      :precision binary64
      1.0)