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 r762810 = x;
        double r762811 = y;
        double r762812 = r762810 + r762811;
        double r762813 = r762811 + r762811;
        double r762814 = r762812 / r762813;
        return r762814;
}

↓

double f(double x, double y) {
        double r762815 = x;
        double r762816 = y;
        double r762817 = r762815 + r762816;
        double r762818 = r762816 + r762816;
        double r762819 = r762817 / r762818;
        return r762819;
}

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