Average Error: 1.4 → 0.5
Time: 4.8s
Precision: 64
\[x + y \cdot \frac{z - t}{z - a}\]
↓
\[x + \left(y \cdot \frac{\sqrt[3]{z - t} \cdot \sqrt[3]{z - t}}{\sqrt[3]{z - a} \cdot \sqrt[3]{z - a}}\right) \cdot \frac{\sqrt[3]{z - t}}{\sqrt[3]{z - a}}\]
x + y \cdot \frac{z - t}{z - a}
↓
x + \left(y \cdot \frac{\sqrt[3]{z - t} \cdot \sqrt[3]{z - t}}{\sqrt[3]{z - a} \cdot \sqrt[3]{z - a}}\right) \cdot \frac{\sqrt[3]{z - t}}{\sqrt[3]{z - a}}
double f(double x, double y, double z, double t, double a) {
        double r611608 = x;
        double r611609 = y;
        double r611610 = z;
        double r611611 = t;
        double r611612 = r611610 - r611611;
        double r611613 = a;
        double r611614 = r611610 - r611613;
        double r611615 = r611612 / r611614;
        double r611616 = r611609 * r611615;
        double r611617 = r611608 + r611616;
        return r611617;
}
↓
double f(double x, double y, double z, double t, double a) {
        double r611618 = x;
        double r611619 = y;
        double r611620 = z;
        double r611621 = t;
        double r611622 = r611620 - r611621;
        double r611623 = cbrt(r611622);
        double r611624 = r611623 * r611623;
        double r611625 = a;
        double r611626 = r611620 - r611625;
        double r611627 = cbrt(r611626);
        double r611628 = r611627 * r611627;
        double r611629 = r611624 / r611628;
        double r611630 = r611619 * r611629;
        double r611631 = r611623 / r611627;
        double r611632 = r611630 * r611631;
        double r611633 = r611618 + r611632;
        return r611633;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Bits error versus a

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Target

Original1.4
Target1.2
Herbie0.5
\[x + \frac{y}{\frac{z - a}{z - t}}\]

Derivation

  1. Initial program 1.4

    \[x + y \cdot \frac{z - t}{z - a}\]
  2. Using strategy rm

  3. Applied add-cube-cbrt2.0

    \[\leadsto x + y \cdot \frac{z - t}{\color{blue}{\left(\sqrt[3]{z - a} \cdot \sqrt[3]{z - a}\right) \cdot \sqrt[3]{z - a}}}\]

  4. Applied add-cube-cbrt1.8

    \[\leadsto x + y \cdot \frac{\color{blue}{\left(\sqrt[3]{z - t} \cdot \sqrt[3]{z - t}\right) \cdot \sqrt[3]{z - t}}}{\left(\sqrt[3]{z - a} \cdot \sqrt[3]{z - a}\right) \cdot \sqrt[3]{z - a}}\]

  5. Applied times-frac1.8

    \[\leadsto x + y \cdot \color{blue}{\left(\frac{\sqrt[3]{z - t} \cdot \sqrt[3]{z - t}}{\sqrt[3]{z - a} \cdot \sqrt[3]{z - a}} \cdot \frac{\sqrt[3]{z - t}}{\sqrt[3]{z - a}}\right)}\]

  6. Applied associate-*r*0.5

    \[\leadsto x + \color{blue}{\left(y \cdot \frac{\sqrt[3]{z - t} \cdot \sqrt[3]{z - t}}{\sqrt[3]{z - a} \cdot \sqrt[3]{z - a}}\right) \cdot \frac{\sqrt[3]{z - t}}{\sqrt[3]{z - a}}}\]

  7. Final simplification0.5

    \[\leadsto x + \left(y \cdot \frac{\sqrt[3]{z - t} \cdot \sqrt[3]{z - t}}{\sqrt[3]{z - a} \cdot \sqrt[3]{z - a}}\right) \cdot \frac{\sqrt[3]{z - t}}{\sqrt[3]{z - a}}\]

Reproduce

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

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

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