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

Average Error: 0.1 → 0.1

Time: 4.2s

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 r800403 = x;
        double r800404 = y;
        double r800405 = r800403 + r800404;
        double r800406 = r800404 + r800404;
        double r800407 = r800405 / r800406;
        return r800407;
}

↓

double f(double x, double y) {
        double r800408 = x;
        double r800409 = y;
        double r800410 = r800408 + r800409;
        double r800411 = r800409 + r800409;
        double r800412 = r800410 / r800411;
        return r800412;
}

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)))