Average Error: 0.1 → 0.1
Time: 5.9s
Precision: 64
\[\cosh x \cdot \frac{\sin y}{y}\]
↓
\[\cosh x \cdot \frac{\sin y}{y}\]
\cosh x \cdot \frac{\sin y}{y}
↓
\cosh x \cdot \frac{\sin y}{y}
double f(double x, double y) {
        double r644933 = x;
        double r644934 = cosh(r644933);
        double r644935 = y;
        double r644936 = sin(r644935);
        double r644937 = r644936 / r644935;
        double r644938 = r644934 * r644937;
        return r644938;
}
↓
double f(double x, double y) {
        double r644939 = x;
        double r644940 = cosh(r644939);
        double r644941 = y;
        double r644942 = sin(r644941);
        double r644943 = r644942 / r644941;
        double r644944 = r644940 * r644943;
        return r644944;
}

Error

Bits error versus x

Bits error versus y

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Target

Original0.1
Target0.1
Herbie0.1
\[\frac{\cosh x \cdot \sin y}{y}\]

Derivation

  1. Initial program 0.1

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

  2. Final simplification0.1

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

Reproduce

herbie shell --seed 2020089 
(FPCore (x y)
  :name "Linear.Quaternion:$csinh from linear-1.19.1.3"
  :precision binary64

  :herbie-target
  (/ (* (cosh x) (sin y)) y)

  (* (cosh x) (/ (sin y) y)))