Average Error: 0.0 → 0.3
Time: 22.2s
Precision: 64
Internal precision: 128
\[\cos x \cdot \frac{\sinh y}{y}\]
⬇
\[\left(\cos x \cdot \sinh y\right) \cdot \frac{1}{y}\]

Error

Bits error versus x

Bits error versus y

Target

Original0.0
Comparison0.0
Herbie0.3
\[ \cos x \cdot \frac{\sinh y}{y} \]

Derivation

  1. Initial program 0.0

    \[\cos x \cdot \frac{\sinh y}{y}\]
  2. Using strategy rm

  3. Applied div-inv 0.2

    \[\leadsto \cos x \cdot \color{blue}{\left(\sinh y \cdot \frac{1}{y}\right)}\]

  4. Applied associate-*r* 0.3

    \[\leadsto \color{blue}{\left(\cos x \cdot \sinh y\right) \cdot \frac{1}{y}}\]
  5. Removed slow pow expressions

Runtime

Time bar (total: 22.2s) Debug log

Please include this information when filing a bug report:

herbie --seed '#(3866792404 3780898352 3307172105 2631695865 1912086764 1882569235)'
(FPCore (x y)
  :name "Linear.Quaternion:$csin from linear-1.19.1.3"

  :target
  (* (cos x) (/ (sinh y) y))

  (* (cos x) (/ (sinh y) y)))