Average Error: 0 → 0

Time: 971.0ms

Precision: binary64

\[\sin \left(-x\right)\]

↓

\[\sin \left(-x\right)\]

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 0
\[\sin \left(-x\right)\]
Final simplification0
\[\leadsto \sin \left(-x\right)\]

Reproduce

herbie shell --seed 2020153 
(FPCore (x)
  :name "(sin (- x))"
  :precision binary64
  (sin (neg x)))