Average Error: 0 → 0
Time: 968.0ms
Precision: 64
\[\mathsf{fma}\left(x, x, x\right)\]
\[\mathsf{fma}\left(x, x, x\right)\]
\mathsf{fma}\left(x, x, x\right)
\mathsf{fma}\left(x, x, x\right)
double f(double x) {
        double r1870752 = x;
        double r1870753 = fma(r1870752, r1870752, r1870752);
        return r1870753;
}

double f(double x) {
        double r1870754 = x;
        double r1870755 = fma(r1870754, r1870754, r1870754);
        return r1870755;
}

Error

Bits error versus x

Derivation

  1. Initial program 0

    \[\mathsf{fma}\left(x, x, x\right)\]
  2. Final simplification0

    \[\leadsto \mathsf{fma}\left(x, x, x\right)\]

Reproduce

herbie shell --seed 1 
(FPCore (x)
  :name "fma(x, x, x) "
  :precision binary64
  (fma x x x))