Average Error: 0.0 → 0.0
Time: 17.8s
Precision: 64
\[x + y \cdot \left(z - x\right)\]
↓
\[x + \left(z \cdot y + y \cdot \left(-x\right)\right)\]
x + y \cdot \left(z - x\right)
↓
x + \left(z \cdot y + y \cdot \left(-x\right)\right)
double f(double x, double y, double z) {
        double r1127008 = x;
        double r1127009 = y;
        double r1127010 = z;
        double r1127011 = r1127010 - r1127008;
        double r1127012 = r1127009 * r1127011;
        double r1127013 = r1127008 + r1127012;
        return r1127013;
}
↓
double f(double x, double y, double z) {
        double r1127014 = x;
        double r1127015 = z;
        double r1127016 = y;
        double r1127017 = r1127015 * r1127016;
        double r1127018 = -r1127014;
        double r1127019 = r1127016 * r1127018;
        double r1127020 = r1127017 + r1127019;
        double r1127021 = r1127014 + r1127020;
        return r1127021;
}

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 + y \cdot \left(z - x\right)\]
  2. Using strategy rm

  3. Applied sub-neg0.0

    \[\leadsto x + y \cdot \color{blue}{\left(z + \left(-x\right)\right)}\]

  4. Applied distribute-lft-in0.0

    \[\leadsto x + \color{blue}{\left(y \cdot z + y \cdot \left(-x\right)\right)}\]

  5. Final simplification0.0

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

Reproduce

herbie shell --seed 2019170 
(FPCore (x y z)
  :name "SynthBasics:oscSampleBasedAux from YampaSynth-0.2"
  (+ x (* y (- z x))))