Average Error: 0.1 → 0.1
Time: 20.8s
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 r10191596 = x;
        double r10191597 = y;
        double r10191598 = cos(r10191597);
        double r10191599 = r10191596 + r10191598;
        double r10191600 = z;
        double r10191601 = sin(r10191597);
        double r10191602 = r10191600 * r10191601;
        double r10191603 = r10191599 - r10191602;
        return r10191603;
}
↓
double f(double x, double y, double z) {
        double r10191604 = x;
        double r10191605 = y;
        double r10191606 = cos(r10191605);
        double r10191607 = r10191604 + r10191606;
        double r10191608 = z;
        double r10191609 = sin(r10191605);
        double r10191610 = r10191608 * r10191609;
        double r10191611 = r10191607 - r10191610;
        return r10191611;
}

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 2019168 
(FPCore (x y z)
  :name "Graphics.Rasterific.Svg.PathConverter:segmentToBezier from rasterific-svg-0.2.3.1, B"
  (- (+ x (cos y)) (* z (sin y))))