Average Error: 0 → 0
Time: 631.0ms
Precision: 64
\[pow \cdot 2\]
\[pow \cdot 2\]
pow \cdot 2
pow \cdot 2
double f(double pow) {
        double r840985 = pow;
        double r840986 = 2.0;
        double r840987 = r840985 * r840986;
        return r840987;
}

double f(double pow) {
        double r840988 = pow;
        double r840989 = 2.0;
        double r840990 = r840988 * r840989;
        return r840990;
}

Error

Bits error versus pow

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0

    \[pow \cdot 2\]
  2. Final simplification0

    \[\leadsto pow \cdot 2\]

Reproduce

herbie shell --seed 1 
(FPCore (pow)
  :name "pow 2"
  :precision binary64
  (* pow 2))