Maksimov and Kolovsky, Equation (4)

Average Error: 17.2 → 0.1

Time: 9.4s

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.2

   \[\]
2. Using strategy rm

3. Applied sinh-undef 0.1

   \[\leadsto \]
4. Using strategy rm

5. Applied associate-*l* 0.1

   \[\leadsto \]

6. Simplified 0.1

   \[\leadsto \]

7. Final simplification 0.1

   \[\leadsto \]

Reproduce

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