Average Error: 0.0 → 0.0
Time: 17.6s
Precision: 64
\[\left(x + \sin y\right) + z \cdot \cos y\]
↓
\[\left(x + \sin y\right) + z \cdot \cos y\]
\left(x + \sin y\right) + z \cdot \cos y
↓
\left(x + \sin y\right) + z \cdot \cos y
double f(double x, double y, double z) {
        double r10487876 = x;
        double r10487877 = y;
        double r10487878 = sin(r10487877);
        double r10487879 = r10487876 + r10487878;
        double r10487880 = z;
        double r10487881 = cos(r10487877);
        double r10487882 = r10487880 * r10487881;
        double r10487883 = r10487879 + r10487882;
        return r10487883;
}
↓
double f(double x, double y, double z) {
        double r10487884 = x;
        double r10487885 = y;
        double r10487886 = sin(r10487885);
        double r10487887 = r10487884 + r10487886;
        double r10487888 = z;
        double r10487889 = cos(r10487885);
        double r10487890 = r10487888 * r10487889;
        double r10487891 = r10487887 + r10487890;
        return r10487891;
}

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

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

  2. Final simplification0.0

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

Reproduce

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