Average Error: 0.0 → 0.0
Time: 22.2s
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 r9557784 = x;
        double r9557785 = y;
        double r9557786 = cos(r9557785);
        double r9557787 = r9557784 + r9557786;
        double r9557788 = z;
        double r9557789 = sin(r9557785);
        double r9557790 = r9557788 * r9557789;
        double r9557791 = r9557787 - r9557790;
        return r9557791;
}
↓
double f(double x, double y, double z) {
        double r9557792 = x;
        double r9557793 = y;
        double r9557794 = cos(r9557793);
        double r9557795 = r9557792 + r9557794;
        double r9557796 = z;
        double r9557797 = sin(r9557793);
        double r9557798 = r9557796 * r9557797;
        double r9557799 = r9557795 - r9557798;
        return r9557799;
}

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