Average Error: 0.1 → 0.1
Time: 4.2s
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 r177154 = x;
        double r177155 = y;
        double r177156 = sin(r177155);
        double r177157 = r177154 + r177156;
        double r177158 = z;
        double r177159 = cos(r177155);
        double r177160 = r177158 * r177159;
        double r177161 = r177157 + r177160;
        return r177161;
}
↓
double f(double x, double y, double z) {
        double r177162 = x;
        double r177163 = y;
        double r177164 = sin(r177163);
        double r177165 = r177162 + r177164;
        double r177166 = z;
        double r177167 = cos(r177163);
        double r177168 = r177166 * r177167;
        double r177169 = r177165 + r177168;
        return r177169;
}

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

Reproduce

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