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

Average Error: 0.1 → 0.1

Time: 5.0s

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 r815920 = x;
        double r815921 = y;
        double r815922 = r815920 + r815921;
        double r815923 = r815921 + r815921;
        double r815924 = r815922 / r815923;
        return r815924;
}

↓

double f(double x, double y) {
        double r815925 = x;
        double r815926 = y;
        double r815927 = r815925 + r815926;
        double r815928 = r815926 + r815926;
        double r815929 = r815927 / r815928;
        return r815929;
}

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 +o rules:numerics
(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)))