Average Error: 0 → 0
Time: 749.0ms
Precision: 64
\[e^{\log 2}\]
\[2\]
e^{\log 2}
2
double f() {
        double r25543208 = 2.0;
        double r25543209 = log(r25543208);
        double r25543210 = exp(r25543209);
        return r25543210;
}

double f() {
        double r25543211 = 2.0;
        return r25543211;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[e^{\log 2}\]
    2. Simplified0

      \[\leadsto \color{blue}{2}\]
    3. Final simplification0

      \[\leadsto 2\]

    Reproduce

    herbie shell --seed 1 
    (FPCore ()
      :name "exp(log(2))"
      (exp (log 2.0)))