Average Error: 0.0 → 0.0
Time: 14.9s
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 r5867365 = x;
        double r5867366 = sin(r5867365);
        double r5867367 = y;
        double r5867368 = sinh(r5867367);
        double r5867369 = r5867368 / r5867367;
        double r5867370 = r5867366 * r5867369;
        return r5867370;
}
↓
double f(double x, double y) {
        double r5867371 = x;
        double r5867372 = sin(r5867371);
        double r5867373 = y;
        double r5867374 = sinh(r5867373);
        double r5867375 = r5867374 / r5867373;
        double r5867376 = r5867372 * r5867375;
        return r5867376;
}

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