Average Error: 0.1 → 0.1
Time: 13.4s
Precision: 64
\[\left(x + \cos y\right) - z \cdot \sin y\]
↓
\[\cos y + \left(x - z \cdot \sin y\right)\]
\left(x + \cos y\right) - z \cdot \sin y
↓
\cos y + \left(x - z \cdot \sin y\right)
double f(double x, double y, double z) {
        double r152494 = x;
        double r152495 = y;
        double r152496 = cos(r152495);
        double r152497 = r152494 + r152496;
        double r152498 = z;
        double r152499 = sin(r152495);
        double r152500 = r152498 * r152499;
        double r152501 = r152497 - r152500;
        return r152501;
}
↓
double f(double x, double y, double z) {
        double r152502 = y;
        double r152503 = cos(r152502);
        double r152504 = x;
        double r152505 = z;
        double r152506 = sin(r152502);
        double r152507 = r152505 * r152506;
        double r152508 = r152504 - r152507;
        double r152509 = r152503 + r152508;
        return r152509;
}

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. Simplified0.1

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

  3. Final simplification0.1

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

Reproduce

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