Average Error: 0.1 → 0.1
Time: 1.1m
Precision: 64
\[\left(x + \sin y\right) + z \cdot \cos y\]
↓
\[\left(\sin y + x\right) + \cos y \cdot z\]
\left(x + \sin y\right) + z \cdot \cos y
↓
\left(\sin y + x\right) + \cos y \cdot z
double f(double x, double y, double z) {
        double r9452460 = x;
        double r9452461 = y;
        double r9452462 = sin(r9452461);
        double r9452463 = r9452460 + r9452462;
        double r9452464 = z;
        double r9452465 = cos(r9452461);
        double r9452466 = r9452464 * r9452465;
        double r9452467 = r9452463 + r9452466;
        return r9452467;
}
↓
double f(double x, double y, double z) {
        double r9452468 = y;
        double r9452469 = sin(r9452468);
        double r9452470 = x;
        double r9452471 = r9452469 + r9452470;
        double r9452472 = cos(r9452468);
        double r9452473 = z;
        double r9452474 = r9452472 * r9452473;
        double r9452475 = r9452471 + r9452474;
        return r9452475;
}

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

    \[\left(x + \sin y\right) + z \cdot \cos y\]

  2. Final simplification0.1

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

Reproduce

herbie shell --seed 2019200 
(FPCore (x y z)
  :name "Graphics.Rasterific.Svg.PathConverter:segmentToBezier from rasterific-svg-0.2.3.1, C"
  (+ (+ x (sin y)) (* z (cos y))))