Average Error: 0.0 → 0.0
Time: 5.0s
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 r195674 = x;
        double r195675 = y;
        double r195676 = cos(r195675);
        double r195677 = r195674 + r195676;
        double r195678 = z;
        double r195679 = sin(r195675);
        double r195680 = r195678 * r195679;
        double r195681 = r195677 - r195680;
        return r195681;
}
↓
double f(double x, double y, double z) {
        double r195682 = x;
        double r195683 = y;
        double r195684 = cos(r195683);
        double r195685 = r195682 + r195684;
        double r195686 = z;
        double r195687 = sin(r195683);
        double r195688 = r195686 * r195687;
        double r195689 = r195685 - r195688;
        return r195689;
}

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

  2. Final simplification0.0

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

Reproduce

herbie shell --seed 2020047 
(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))))