Average Error: 0.1 → 0.1
Time: 6.2s
Precision: 64
\[x \cdot \frac{\sin y}{y}\]
↓
\[x \cdot \frac{\sin y}{y}\]
x \cdot \frac{\sin y}{y}
↓
x \cdot \frac{\sin y}{y}
double f(double x, double y) {
        double r106554 = x;
        double r106555 = y;
        double r106556 = sin(r106555);
        double r106557 = r106556 / r106555;
        double r106558 = r106554 * r106557;
        return r106558;
}
↓
double f(double x, double y) {
        double r106559 = x;
        double r106560 = y;
        double r106561 = sin(r106560);
        double r106562 = r106561 / r106560;
        double r106563 = r106559 * r106562;
        return r106563;
}

Error

Bits error versus x

Bits error versus y

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

    \[x \cdot \frac{\sin y}{y}\]
  2. Using strategy rm

  3. Applied *-un-lft-identity0.1

    \[\leadsto \color{blue}{1 \cdot \left(x \cdot \frac{\sin y}{y}\right)}\]

  4. Final simplification0.1

    \[\leadsto x \cdot \frac{\sin y}{y}\]

Reproduce

herbie shell --seed 2019308 
(FPCore (x y)
  :name "Linear.Quaternion:$cexp from linear-1.19.1.3"
  :precision binary64
  (* x (/ (sin y) y)))