Average Error: 30.5 → 30.5
Time: 2.9s
Precision: binary64
\[\left(-\cos \left(t - x \cdot x\right)\right) - e^{\left(-\left(t - x \cdot x\right)\right) \cdot \left(t - x \cdot x\right)}\]
↓
\[\left(-\cos \left(t - x \cdot x\right)\right) - e^{\left(-\left(t - x \cdot x\right)\right) \cdot \left(t - x \cdot x\right)}\]

Error

Bits error versus t

Bits error versus x

Derivation

  1. Initial program 30.5

    \[\left(-\cos \left(t - x \cdot x\right)\right) - e^{\left(-\left(t - x \cdot x\right)\right) \cdot \left(t - x \cdot x\right)}\]

  2. Final simplification30.5

    \[\leadsto \left(-\cos \left(t - x \cdot x\right)\right) - e^{\left(-\left(t - x \cdot x\right)\right) \cdot \left(t - x \cdot x\right)}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (t x)
  :name "(- (- (cos (- t (* x x)))) (exp (* (- (- t (* x x))) (- t (* x x)))))"
  :precision binary64
  (- (neg (cos (- t (* x x)))) (exp (* (neg (- t (* x x))) (- t (* x x))))))