(+ (+ (* A1 (- x XS)) (* (exp C) (log (+ (exp (/ (* (- x XS) DA) (exp C))) 1)))) Y)

Average Error: 0.5 → 0.5

Time: 17.0s

Precision: binary64

• could not determine a ground truth for program body

  1. A1 = -2.5301879548658756e-216
  2. x = -7.36043969535133e-279
  3. XS = -3.6752470841445387e-22
  4. C = -1.1723432849836115e+270
  5. DA = -9.166044812543216e-48
  6. Y = -1.6610813920307734e+68

Math

\[\left(A1 \cdot \left(x - XS\right) + e^{C} \cdot \log \left(e^{\frac{\left(x - XS\right) \cdot DA}{e^{C}}} + 1\right)\right) + Y\]

↓

\[\left(A1 \cdot \left(x - XS\right) + e^{C} \cdot \log \left(e^{\frac{\left(x - XS\right) \cdot DA}{e^{C}}} + 1\right)\right) + Y\]

C

double code(double A1, double x, double XS, double C, double DA, double Y) {
	return ((double) (((double) (((double) (A1 * ((double) (x - XS)))) + ((double) (((double) exp(C)) * ((double) log(((double) (((double) exp(((double) (((double) (((double) (x - XS)) * DA)) / ((double) exp(C)))))) + 1.0)))))))) + Y));
}

↓

double code(double A1, double x, double XS, double C, double DA, double Y) {
	return ((double) (((double) (((double) (A1 * ((double) (x - XS)))) + ((double) (((double) exp(C)) * ((double) log(((double) (((double) exp(((double) (((double) (((double) (x - XS)) * DA)) / ((double) exp(C)))))) + 1.0)))))))) + Y));
}

Error

Bits error versus A1

Bits error versus x

Bits error versus XS

Bits error versus C

Bits error versus DA

Bits error versus Y

Derivation

1. Initial program 0.5

   \[\left(A1 \cdot \left(x - XS\right) + e^{C} \cdot \log \left(e^{\frac{\left(x - XS\right) \cdot DA}{e^{C}}} + 1\right)\right) + Y\]

2. Final simplification 0.5

   \[\leadsto \left(A1 \cdot \left(x - XS\right) + e^{C} \cdot \log \left(e^{\frac{\left(x - XS\right) \cdot DA}{e^{C}}} + 1\right)\right) + Y\]

Reproduce

herbie shell --seed 2020153 
(FPCore (A1 x XS C DA Y)
  :name "(+ (+ (* A1 (- x XS)) (* (exp C) (log (+ (exp (/ (* (- x XS) DA) (exp C))) 1)))) Y)"
  :precision binary64
  (+ (+ (* A1 (- x XS)) (* (exp C) (log (+ (exp (/ (* (- x XS) DA) (exp C))) 1.0)))) Y))