Average Error: 0.0 → 0.0
Time: 3.6s
Precision: 64
\[x \cdot x - \left(y \cdot 4\right) \cdot z\]
↓
\[x \cdot x - \left(y \cdot 4\right) \cdot z\]
x \cdot x - \left(y \cdot 4\right) \cdot z
↓
x \cdot x - \left(y \cdot 4\right) \cdot z
double f(double x, double y, double z) {
        double r9721959 = x;
        double r9721960 = r9721959 * r9721959;
        double r9721961 = y;
        double r9721962 = 4.0;
        double r9721963 = r9721961 * r9721962;
        double r9721964 = z;
        double r9721965 = r9721963 * r9721964;
        double r9721966 = r9721960 - r9721965;
        return r9721966;
}
↓
double f(double x, double y, double z) {
        double r9721967 = x;
        double r9721968 = r9721967 * r9721967;
        double r9721969 = y;
        double r9721970 = 4.0;
        double r9721971 = r9721969 * r9721970;
        double r9721972 = z;
        double r9721973 = r9721971 * r9721972;
        double r9721974 = r9721968 - r9721973;
        return r9721974;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[x \cdot x - \left(y \cdot 4\right) \cdot z\]

  2. Final simplification0.0

    \[\leadsto x \cdot x - \left(y \cdot 4\right) \cdot z\]

Reproduce

herbie shell --seed 2019172 
(FPCore (x y z)
  :name "Graphics.Rasterific.QuadraticFormula:discriminant from Rasterific-0.6.1"
  (- (* x x) (* (* y 4.0) z)))