Average Error: 0.1 → 0.1
Time: 15.5s
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 r9644054 = x;
        double r9644055 = y;
        double r9644056 = sin(r9644055);
        double r9644057 = r9644054 + r9644056;
        double r9644058 = z;
        double r9644059 = cos(r9644055);
        double r9644060 = r9644058 * r9644059;
        double r9644061 = r9644057 + r9644060;
        return r9644061;
}
↓
double f(double x, double y, double z) {
        double r9644062 = x;
        double r9644063 = y;
        double r9644064 = sin(r9644063);
        double r9644065 = r9644062 + r9644064;
        double r9644066 = z;
        double r9644067 = cos(r9644063);
        double r9644068 = r9644066 * r9644067;
        double r9644069 = r9644065 + r9644068;
        return r9644069;
}

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