Graphics.Rendering.Plot.Render.Plot.Axis:renderAxisLine from plot-0.2.3.4, A

Average Error: 1.3 → 1.3

Time: 24.8s

Precision: 64

Math

\[x + y \cdot \frac{z - t}{z - a}\]

↓

\[x + y \cdot \frac{z - t}{z - a}\]

C

double f(double x, double y, double z, double t, double a) {
        double r26411235 = x;
        double r26411236 = y;
        double r26411237 = z;
        double r26411238 = t;
        double r26411239 = r26411237 - r26411238;
        double r26411240 = a;
        double r26411241 = r26411237 - r26411240;
        double r26411242 = r26411239 / r26411241;
        double r26411243 = r26411236 * r26411242;
        double r26411244 = r26411235 + r26411243;
        return r26411244;
}

↓

double f(double x, double y, double z, double t, double a) {
        double r26411245 = x;
        double r26411246 = y;
        double r26411247 = z;
        double r26411248 = t;
        double r26411249 = r26411247 - r26411248;
        double r26411250 = a;
        double r26411251 = r26411247 - r26411250;
        double r26411252 = r26411249 / r26411251;
        double r26411253 = r26411246 * r26411252;
        double r26411254 = r26411245 + r26411253;
        return r26411254;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Bits error versus a

Target

Original	1.3
Target	1.2
Herbie	1.3

\[x + \frac{y}{\frac{z - a}{z - t}}\]

Derivation

1. Initial program 1.3

   \[x + y \cdot \frac{z - t}{z - a}\]

2. Final simplification 1.3

   \[\leadsto x + y \cdot \frac{z - t}{z - a}\]

Reproduce

herbie shell --seed 2019163 
(FPCore (x y z t a)
  :name "Graphics.Rendering.Plot.Render.Plot.Axis:renderAxisLine from plot-0.2.3.4, A"

  :herbie-target
  (+ x (/ y (/ (- z a) (- z t))))

  (+ x (* y (/ (- z t) (- z a)))))