Average Error: 0.0 → 0.0
Time: 41.5s
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 r8864643 = x;
        double r8864644 = sin(r8864643);
        double r8864645 = y;
        double r8864646 = sinh(r8864645);
        double r8864647 = r8864646 / r8864645;
        double r8864648 = r8864644 * r8864647;
        return r8864648;
}
↓
double f(double x, double y) {
        double r8864649 = x;
        double r8864650 = sin(r8864649);
        double r8864651 = y;
        double r8864652 = sinh(r8864651);
        double r8864653 = r8864652 / r8864651;
        double r8864654 = r8864650 * r8864653;
        return r8864654;
}

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