Average Error: 61.6 → 2.2
Time: 14.8s
Precision: binary64
\[\]
↓
\[\]

Error

Bits error versus f

Derivation

  1. Initial program 61.6

    \[\]

  2. Simplified61.6

    \[\leadsto \]

  3. Taylor expanded around 0 2.2

    \[\leadsto \]

  4. Simplified2.2

    \[\leadsto \]

  5. Taylor expanded around 0 2.2

    \[\leadsto \]

  6. Simplified2.2

    \[\leadsto \]
  7. Using strategy rm

  8. Applied add-sqr-sqrt2.2

    \[\leadsto \]

  9. Applied pow-unpow2.2

    \[\leadsto \]
  10. Using strategy rm

  11. Applied add-cube-cbrt2.2

    \[\leadsto \]

  12. Applied unpow-prod-down2.2

    \[\leadsto \]

  13. Simplified2.2

    \[\leadsto \]

  14. Final simplification2.2

    \[\leadsto \]

Reproduce

herbie shell --seed 2020179 
(FPCore (f)
  :name "VandenBroeck and Keller, Equation (20)"
  :precision binary64
  (neg (* (/ 1.0 (/ PI 4.0)) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))))))