Average Error: 0.0 → 0.0
Time: 9.2s
Precision: 64
\[v \cdot {d}^{dt}\]
\[v \cdot {d}^{dt}\]
v \cdot {d}^{dt}
v \cdot {d}^{dt}
double f(double v, double d, double dt) {
        double r1868583 = v;
        double r1868584 = d;
        double r1868585 = dt;
        double r1868586 = pow(r1868584, r1868585);
        double r1868587 = r1868583 * r1868586;
        return r1868587;
}

double f(double v, double d, double dt) {
        double r1868588 = v;
        double r1868589 = d;
        double r1868590 = dt;
        double r1868591 = pow(r1868589, r1868590);
        double r1868592 = r1868588 * r1868591;
        return r1868592;
}

Error

Bits error versus v

Bits error versus d

Bits error versus dt

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[v \cdot {d}^{dt}\]
  2. Final simplification0.0

    \[\leadsto v \cdot {d}^{dt}\]

Reproduce

herbie shell --seed 1 
(FPCore (v d dt)
  :name "v * pow(d, dt)"
  :precision binary64
  (* v (pow d dt)))