Average Error: 0.0 → 0.0
Time: 8.7s
Precision: 64
\[x \cdot y + \left(1 - x\right) \cdot z\]
↓
\[x \cdot y + \left(1 - x\right) \cdot z\]
x \cdot y + \left(1 - x\right) \cdot z
↓
x \cdot y + \left(1 - x\right) \cdot z
double f(double x, double y, double z) {
        double r8794931 = x;
        double r8794932 = y;
        double r8794933 = r8794931 * r8794932;
        double r8794934 = 1.0;
        double r8794935 = r8794934 - r8794931;
        double r8794936 = z;
        double r8794937 = r8794935 * r8794936;
        double r8794938 = r8794933 + r8794937;
        return r8794938;
}
↓
double f(double x, double y, double z) {
        double r8794939 = x;
        double r8794940 = y;
        double r8794941 = r8794939 * r8794940;
        double r8794942 = 1.0;
        double r8794943 = r8794942 - r8794939;
        double r8794944 = z;
        double r8794945 = r8794943 * r8794944;
        double r8794946 = r8794941 + r8794945;
        return r8794946;
}

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 y + \left(1 - x\right) \cdot z\]

  2. Final simplification0.0

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

Reproduce

herbie shell --seed 2019172 
(FPCore (x y z)
  :name "Diagrams.Backend.Rasterific:$crender from diagrams-rasterific-1.3.1.3"
  (+ (* x y) (* (- 1.0 x) z)))