Average Error: 0.1 → 0.1
Time: 13.4s
Precision: 64
\[\left(x + \cos y\right) - z \cdot \sin y\]
↓
\[\left(x + \cos y\right) - z \cdot \sin y\]
\left(x + \cos y\right) - z \cdot \sin y
↓
\left(x + \cos y\right) - z \cdot \sin y
double f(double x, double y, double z) {
        double r126560 = x;
        double r126561 = y;
        double r126562 = cos(r126561);
        double r126563 = r126560 + r126562;
        double r126564 = z;
        double r126565 = sin(r126561);
        double r126566 = r126564 * r126565;
        double r126567 = r126563 - r126566;
        return r126567;
}
↓
double f(double x, double y, double z) {
        double r126568 = x;
        double r126569 = y;
        double r126570 = cos(r126569);
        double r126571 = r126568 + r126570;
        double r126572 = z;
        double r126573 = sin(r126569);
        double r126574 = r126572 * r126573;
        double r126575 = r126571 - r126574;
        return r126575;
}

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 + \cos y\right) - z \cdot \sin y\]

  2. Final simplification0.1

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

Reproduce

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