Data.Random.Distribution.T:$ccdf from random-fu-0.2.6.2

Average Error: 0.1 → 0.1

Time: 3.6s

Precision: 64

• Falling back on racket egraph because egg-herbie package not installed

Math

\[\frac{x + y}{y + y}\]

↓

\[\frac{x + y}{y + y}\]

C

double f(double x, double y) {
        double r747182 = x;
        double r747183 = y;
        double r747184 = r747182 + r747183;
        double r747185 = r747183 + r747183;
        double r747186 = r747184 / r747185;
        return r747186;
}

↓

double f(double x, double y) {
        double r747187 = x;
        double r747188 = y;
        double r747189 = r747187 + r747188;
        double r747190 = r747188 + r747188;
        double r747191 = r747189 / r747190;
        return r747191;
}

Error

Bits error versus x

Bits error versus y

Target

Original	0.1
Target	0.0
Herbie	0.1

\[0.5 \cdot \frac{x}{y} + 0.5\]

Derivation

1. Initial program 0.1

   \[\frac{x + y}{y + y}\]

2. Final simplification 0.1

   \[\leadsto \frac{x + y}{y + y}\]

Reproduce

herbie shell --seed 2020045 
(FPCore (x y)
  :name "Data.Random.Distribution.T:$ccdf from random-fu-0.2.6.2"
  :precision binary64

  :herbie-target
  (+ (* 0.5 (/ x y)) 0.5)

  (/ (+ x y) (+ y y)))