Average Error: 0.1 → 0.1
Time: 22.0s
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 r114528 = x;
        double r114529 = y;
        double r114530 = sin(r114529);
        double r114531 = r114530 / r114529;
        double r114532 = r114528 * r114531;
        return r114532;
}
↓
double f(double x, double y) {
        double r114533 = x;
        double r114534 = y;
        double r114535 = sin(r114534);
        double r114536 = r114535 / r114534;
        double r114537 = r114533 * r114536;
        return r114537;
}

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. Final simplification0.1

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

Reproduce

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