Average Error: 59.7 → 59.8

Time: 8.1s

Precision: binary64

could not determine a ground truth for program body (more)
1. x = -3.4043082537591785e+235

\[\]

↓

\[\]

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 59.7
\[\]
Simplified59.7
\[\leadsto \]
Using strategy rm
Applied add-exp-log59.7
\[\leadsto \]
Using strategy rm
Applied add-log-exp59.8
\[\leadsto \]
Final simplification59.8
\[\leadsto \]

Reproduce

herbie shell --seed 2020192 
(FPCore (x)
  :name "expfmod"
  :precision binary64
  (* (fmod (exp x) (sqrt (cos x))) (exp (neg x))))