Average Error: 0.3 → 0.3

Time: 668.0ms

Precision: binary64

\[j_0\left(x\right)\]

↓

\[j_0\left(x\right)\]

Error

The X axis uses an exponential scale — Bits error versus x

The X axis uses an exponential scale — Bits error versus x

Derivation

Initial program 0.3
\[j_0\left(x\right)\]
Final simplification0.3
\[\leadsto j_0\left(x\right)\]

Reproduce

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