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

Average Error: 1.3 → 1.3

Time: 24.4s

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 r398325 = x;
        double r398326 = y;
        double r398327 = z;
        double r398328 = t;
        double r398329 = r398327 - r398328;
        double r398330 = a;
        double r398331 = r398327 - r398330;
        double r398332 = r398329 / r398331;
        double r398333 = r398326 * r398332;
        double r398334 = r398325 + r398333;
        return r398334;
}

↓

double f(double x, double y, double z, double t, double a) {
        double r398335 = x;
        double r398336 = y;
        double r398337 = z;
        double r398338 = t;
        double r398339 = r398337 - r398338;
        double r398340 = a;
        double r398341 = r398337 - r398340;
        double r398342 = r398339 / r398341;
        double r398343 = r398336 * r398342;
        double r398344 = r398335 + r398343;
        return r398344;
}

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