(- (+ (pow e x) x) z)

Average Error: 0.0 → 0.0

Time: 1.6s

Precision: binary64

• could not determine a ground truth for program body

  1. e = -9.014335549052882e+279
  2. x = -3.837410316286649e+258
  3. z = -9.547455761949235e+257

Math

\[\left({e}^{x} + x\right) - z\]

↓

\[\left({e}^{x} + x\right) - z\]

C

double code(double e, double x, double z) {
	return ((double) (((double) (((double) pow(e, x)) + x)) - z));
}

↓

double code(double e, double x, double z) {
	return ((double) (((double) (((double) pow(e, x)) + x)) - z));
}

Error

Bits error versus e

Bits error versus x

Bits error versus z

Derivation

1. Initial program 0.0

   \[\left({e}^{x} + x\right) - z\]

2. Final simplification 0.0

   \[\leadsto \left({e}^{x} + x\right) - z\]

Reproduce

herbie shell --seed 2020153 
(FPCore (e x z)
  :name "(- (+ (pow e x) x) z)"
  :precision binary64
  (- (+ (pow e x) x) z))