Average Error: 0.1 → 0.1
Time: 16.5s
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 r187216 = x;
        double r187217 = y;
        double r187218 = cos(r187217);
        double r187219 = r187216 + r187218;
        double r187220 = z;
        double r187221 = sin(r187217);
        double r187222 = r187220 * r187221;
        double r187223 = r187219 - r187222;
        return r187223;
}
↓
double f(double x, double y, double z) {
        double r187224 = x;
        double r187225 = y;
        double r187226 = cos(r187225);
        double r187227 = r187224 + r187226;
        double r187228 = z;
        double r187229 = sin(r187225);
        double r187230 = r187228 * r187229;
        double r187231 = r187227 - r187230;
        return r187231;
}

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 2019323 
(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))))