Average Error: 0.0 → 0.0
Time: 1.6m
Precision: 64
\[\sin x \cdot \frac{\sinh y}{y}\]
↓
\[\frac{1}{\frac{y}{\sinh y}} \cdot \sin x\]
\sin x \cdot \frac{\sinh y}{y}
↓
\frac{1}{\frac{y}{\sinh y}} \cdot \sin x
double f(double x, double y) {
        double r6393951 = x;
        double r6393952 = sin(r6393951);
        double r6393953 = y;
        double r6393954 = sinh(r6393953);
        double r6393955 = r6393954 / r6393953;
        double r6393956 = r6393952 * r6393955;
        return r6393956;
}
↓
double f(double x, double y) {
        double r6393957 = 1.0;
        double r6393958 = y;
        double r6393959 = sinh(r6393958);
        double r6393960 = r6393958 / r6393959;
        double r6393961 = r6393957 / r6393960;
        double r6393962 = x;
        double r6393963 = sin(r6393962);
        double r6393964 = r6393961 * r6393963;
        return r6393964;
}

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. Using strategy rm

  3. Applied clear-num0.0

    \[\leadsto \sin x \cdot \color{blue}{\frac{1}{\frac{y}{\sinh y}}}\]

  4. Final simplification0.0

    \[\leadsto \frac{1}{\frac{y}{\sinh y}} \cdot \sin x\]

Reproduce

herbie shell --seed 2019200 +o rules:numerics
(FPCore (x y)
  :name "Linear.Quaternion:$ccos from linear-1.19.1.3"
  (* (sin x) (/ (sinh y) y)))