Graphics.Rendering.Plot.Render.Plot.Axis:tickPosition from plot-0.2.3.4

Average Error: 2.2 → 1.2

Time: 23.6s

Precision: 64

Math

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

↓

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

C

double f(double x, double y, double z, double t) {
        double r373982 = x;
        double r373983 = y;
        double r373984 = r373983 - r373982;
        double r373985 = z;
        double r373986 = t;
        double r373987 = r373985 / r373986;
        double r373988 = r373984 * r373987;
        double r373989 = r373982 + r373988;
        return r373989;
}

↓

double f(double x, double y, double z, double t) {
        double r373990 = x;
        double r373991 = y;
        double r373992 = r373991 - r373990;
        double r373993 = cbrt(r373992);
        double r373994 = r373993 * r373993;
        double r373995 = t;
        double r373996 = cbrt(r373995);
        double r373997 = r373994 / r373996;
        double r373998 = r373993 / r373996;
        double r373999 = z;
        double r374000 = cbrt(r373999);
        double r374001 = r374000 * r374000;
        double r374002 = r373996 * r373996;
        double r374003 = cbrt(r374002);
        double r374004 = r374001 / r374003;
        double r374005 = r373998 * r374004;
        double r374006 = cbrt(r373996);
        double r374007 = r374000 / r374006;
        double r374008 = r374005 * r374007;
        double r374009 = r373997 * r374008;
        double r374010 = r373990 + r374009;
        return r374010;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Target

Original	2.2
Target	2.4
Herbie	1.2

\[\begin{array}{l} \mathbf{if}\;\left(y - x\right) \cdot \frac{z}{t} \lt -1013646692435.88671875:\\ \;\;\;\;x + \frac{y - x}{\frac{t}{z}}\\ \mathbf{elif}\;\left(y - x\right) \cdot \frac{z}{t} \lt -0.0:\\ \;\;\;\;x + \frac{\left(y - x\right) \cdot z}{t}\\ \mathbf{else}:\\ \;\;\;\;x + \frac{y - x}{\frac{t}{z}}\\ \end{array}\]

Derivation

1. Initial program 2.2

   \[x + \left(y - x\right) \cdot \frac{z}{t}\]
2. Using strategy rm

3. Applied add-cube-cbrt 2.7

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

4. Applied *-un-lft-identity 2.7

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

5. Applied times-frac 2.7

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

6. Applied associate-*r* 4.7

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

7. Simplified 4.7

   \[\leadsto x + \color{blue}{\frac{y - x}{\sqrt[3]{t} \cdot \sqrt[3]{t}}} \cdot \frac{z}{\sqrt[3]{t}}\]
8. Using strategy rm

9. Applied add-cube-cbrt 4.8

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

10. Applied times-frac 4.8

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

11. Applied associate-*l* 1.2

    \[\leadsto x + \color{blue}{\frac{\sqrt[3]{y - x} \cdot \sqrt[3]{y - x}}{\sqrt[3]{t}} \cdot \left(\frac{\sqrt[3]{y - x}}{\sqrt[3]{t}} \cdot \frac{z}{\sqrt[3]{t}}\right)}\]
12. Using strategy rm

13. Applied add-cube-cbrt 1.3

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

14. Applied cbrt-prod 1.3

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

15. Applied add-cube-cbrt 1.3

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

16. Applied times-frac 1.3

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

17. Applied associate-*r* 1.2

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

18. Final simplification 1.2

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

Reproduce

herbie shell --seed 2019323 
(FPCore (x y z t)
  :name "Graphics.Rendering.Plot.Render.Plot.Axis:tickPosition from plot-0.2.3.4"
  :precision binary64

  :herbie-target
  (if (< (* (- y x) (/ z t)) -1013646692435.887) (+ x (/ (- y x) (/ t z))) (if (< (* (- y x) (/ z t)) -0.0) (+ x (/ (* (- y x) z) t)) (+ x (/ (- y x) (/ t z)))))

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