Maksimov and Kolovsky, Equation (4)

Average Error: 17.5 → 0.6

Time: 32.7s

Precision: binary64

• Falling back on racket egraph because egg-herbie package not installed

Math

\[\left(J \cdot \left(e^{\ell} - e^{-\ell}\right)\right) \cdot \cos \left(\frac{K}{2}\right) + U\]

↓

\[\left(2 \cdot \left(J \cdot \ell\right)\right) \cdot \cos \left(\frac{K}{2}\right) + U\]

Error

Bits error versus J

Bits error versus l

Bits error versus K

Bits error versus U

Derivation

1. Initial program 17.5

   \[\left(J \cdot \left(e^{\ell} - e^{-\ell}\right)\right) \cdot \cos \left(\frac{K}{2}\right) + U\]

2. Taylor expanded around 0 0.6

   \[\leadsto \color{blue}{\left(2 \cdot \left(J \cdot \ell\right)\right)} \cdot \cos \left(\frac{K}{2}\right) + U\]

3. Final simplification 0.6

   \[\leadsto \left(2 \cdot \left(J \cdot \ell\right)\right) \cdot \cos \left(\frac{K}{2}\right) + U\]

Reproduce

herbie shell --seed 2020182 
(FPCore (J l K U)
  :name "Maksimov and Kolovsky, Equation (4)"
  :precision binary64
  (+ (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0))) U))