Average Error: 0.0 → 0.0
Time: 18.4s
Precision: 64
\[\cos x \cdot \frac{\sinh y}{y}\]
↓
\[\frac{\cos x}{\frac{y}{\sinh y}}\]
\cos x \cdot \frac{\sinh y}{y}
↓
\frac{\cos x}{\frac{y}{\sinh y}}
double f(double x, double y) {
        double r6971493 = x;
        double r6971494 = cos(r6971493);
        double r6971495 = y;
        double r6971496 = sinh(r6971495);
        double r6971497 = r6971496 / r6971495;
        double r6971498 = r6971494 * r6971497;
        return r6971498;
}
↓
double f(double x, double y) {
        double r6971499 = x;
        double r6971500 = cos(r6971499);
        double r6971501 = y;
        double r6971502 = sinh(r6971501);
        double r6971503 = r6971501 / r6971502;
        double r6971504 = r6971500 / r6971503;
        return r6971504;
}

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

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

  2. Taylor expanded around inf 59.6

    \[\leadsto \color{blue}{\frac{\frac{1}{2} \cdot \left(\cos x \cdot e^{y}\right) - \frac{1}{2} \cdot \left(\cos x \cdot e^{-y}\right)}{y}}\]

  3. Simplified0.0

    \[\leadsto \color{blue}{\frac{\cos x}{\frac{y}{\sinh y}}}\]

  4. Final simplification0.0

    \[\leadsto \frac{\cos x}{\frac{y}{\sinh y}}\]

Reproduce

herbie shell --seed 2019158 
(FPCore (x y)
  :name "Linear.Quaternion:$csin from linear-1.19.1.3"
  (* (cos x) (/ (sinh y) y)))