Average Error: 0.0 → 0.0
Time: 6.2s
Precision: 64
\[\sin x \cdot \frac{\sinh y}{y}\]
↓
\[\sin x \cdot \frac{\sinh y}{y}\]
\sin x \cdot \frac{\sinh y}{y}
↓
\sin x \cdot \frac{\sinh y}{y}
double f(double x, double y) {
        double r106354 = x;
        double r106355 = sin(r106354);
        double r106356 = y;
        double r106357 = sinh(r106356);
        double r106358 = r106357 / r106356;
        double r106359 = r106355 * r106358;
        return r106359;
}
↓
double f(double x, double y) {
        double r106360 = x;
        double r106361 = sin(r106360);
        double r106362 = y;
        double r106363 = sinh(r106362);
        double r106364 = r106363 / r106362;
        double r106365 = r106361 * r106364;
        return r106365;
}

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.0

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

  2. Final simplification0.0

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

Reproduce

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