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

Average Error: 1.3 → 1.3

Time: 19.9s

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 r25272171 = x;
        double r25272172 = y;
        double r25272173 = z;
        double r25272174 = t;
        double r25272175 = r25272173 - r25272174;
        double r25272176 = a;
        double r25272177 = r25272173 - r25272176;
        double r25272178 = r25272175 / r25272177;
        double r25272179 = r25272172 * r25272178;
        double r25272180 = r25272171 + r25272179;
        return r25272180;
}

↓

double f(double x, double y, double z, double t, double a) {
        double r25272181 = x;
        double r25272182 = y;
        double r25272183 = z;
        double r25272184 = t;
        double r25272185 = r25272183 - r25272184;
        double r25272186 = a;
        double r25272187 = r25272183 - r25272186;
        double r25272188 = r25272185 / r25272187;
        double r25272189 = r25272182 * r25272188;
        double r25272190 = r25272181 + r25272189;
        return r25272190;
}

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.3
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 2019172 
(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)))))