Average Error: 0.0 → 0.0
Time: 22.4s
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 r5927346 = x;
        double r5927347 = sin(r5927346);
        double r5927348 = y;
        double r5927349 = sinh(r5927348);
        double r5927350 = r5927349 / r5927348;
        double r5927351 = r5927347 * r5927350;
        return r5927351;
}
↓
double f(double x, double y) {
        double r5927352 = x;
        double r5927353 = sin(r5927352);
        double r5927354 = y;
        double r5927355 = sinh(r5927354);
        double r5927356 = r5927355 / r5927354;
        double r5927357 = r5927353 * r5927356;
        return r5927357;
}

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 2019168 +o rules:numerics
(FPCore (x y)
  :name "Linear.Quaternion:$ccos from linear-1.19.1.3"
  (* (sin x) (/ (sinh y) y)))