(/ (j0 x) (j1 y))

Average Error: 0.5 → 0.5

Time: 1.4s

Precision: binary64

Math

\[\frac{j_0\left(x\right)}{j_1\left(y\right)}\]

↓

\[\frac{j_0\left(x\right)}{j_1\left(y\right)}\]

Error

Bits error versus x

Bits error versus y

Derivation

1. Initial program 0.5

   \[\frac{j_0\left(x\right)}{j_1\left(y\right)}\]

2. Final simplification 0.5

   \[\leadsto \frac{j_0\left(x\right)}{j_1\left(y\right)}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (x y)
  :name "(/ (j0 x) (j1 y))"
  :precision binary64
  (/ (j0 x) (j1 y)))