Maksimov and Kolovsky, Equation (4)

Average Error: 17.1 → 0.7

Time: 6.5s

Precision: binary64

Math

\[\]

↓

\[\]

Error

Bits error versus J

Bits error versus l

Bits error versus K

Bits error versus U

Derivation

1. Initial program 17.1

   \[\]

2. Taylor expanded around 0 0.7

   \[\leadsto \]

3. Simplified 0.7

   \[\leadsto \]
4. Using strategy rm

5. Applied associate-*l* 0.7

   \[\leadsto \]

6. Simplified 0.7

   \[\leadsto \]

7. Final simplification 0.7

   \[\leadsto \]

Reproduce

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