Average Error: 0.1 → 0.1
Time: 8.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 r145117 = x;
        double r145118 = r145117 * r145117;
        double r145119 = y;
        double r145120 = 4.0;
        double r145121 = r145119 * r145120;
        double r145122 = z;
        double r145123 = r145121 * r145122;
        double r145124 = r145118 - r145123;
        return r145124;
}
↓
double f(double x, double y, double z) {
        double r145125 = x;
        double r145126 = r145125 * r145125;
        double r145127 = y;
        double r145128 = 4.0;
        double r145129 = r145127 * r145128;
        double r145130 = z;
        double r145131 = r145129 * r145130;
        double r145132 = r145126 - r145131;
        return r145132;
}

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.1

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

  2. Final simplification0.1

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

Reproduce

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