Average Error: 14.7 → 2.0
Time: 15.2s
Precision: binary64
\[x \cdot \frac{\frac{y}{z} \cdot t}{t}\]
↓
\[\frac{\frac{\sqrt[3]{y} \cdot \sqrt[3]{y}}{\sqrt[3]{z} \cdot \sqrt[3]{z}}}{\frac{1}{x}} \cdot \frac{\sqrt[3]{y}}{\sqrt[3]{z}}\]
x \cdot \frac{\frac{y}{z} \cdot t}{t}
↓
\frac{\frac{\sqrt[3]{y} \cdot \sqrt[3]{y}}{\sqrt[3]{z} \cdot \sqrt[3]{z}}}{\frac{1}{x}} \cdot \frac{\sqrt[3]{y}}{\sqrt[3]{z}}
(FPCore (x y z t) :precision binary64 (* x (/ (* (/ y z) t) t)))
↓
(FPCore (x y z t)
 :precision binary64
 (*
  (/ (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ 1.0 x))
  (/ (cbrt y) (cbrt z))))
double code(double x, double y, double z, double t) {
	return x * (((y / z) * t) / t);
}
↓
double code(double x, double y, double z, double t) {
	return (((cbrt(y) * cbrt(y)) / (cbrt(z) * cbrt(z))) / (1.0 / x)) * (cbrt(y) / cbrt(z));
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Target

Original14.7
Target1.5
Herbie2.0
\[\begin{array}{l} \mathbf{if}\;\frac{\frac{y}{z} \cdot t}{t} < -1.20672205123045 \cdot 10^{+245}:\\ \;\;\;\;\frac{y}{\frac{z}{x}}\\ \mathbf{elif}\;\frac{\frac{y}{z} \cdot t}{t} < -5.907522236933906 \cdot 10^{-275}:\\ \;\;\;\;x \cdot \frac{y}{z}\\ \mathbf{elif}\;\frac{\frac{y}{z} \cdot t}{t} < 5.658954423153415 \cdot 10^{-65}:\\ \;\;\;\;\frac{y}{\frac{z}{x}}\\ \mathbf{elif}\;\frac{\frac{y}{z} \cdot t}{t} < 2.0087180502407133 \cdot 10^{+217}:\\ \;\;\;\;x \cdot \frac{y}{z}\\ \mathbf{else}:\\ \;\;\;\;\frac{y \cdot x}{z}\\ \end{array}\]

Derivation

  1. Initial program 14.7

    \[x \cdot \frac{\frac{y}{z} \cdot t}{t}\]

  2. Simplified6.3

    \[\leadsto \color{blue}{x \cdot \frac{y}{z}}\]
  3. Using strategy rm

  4. Applied add-cube-cbrt_binary64_117077.1

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

  5. Applied add-cube-cbrt_binary64_117077.3

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

  6. Applied times-frac_binary64_116787.3

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

  7. Applied associate-*r*_binary64_116122.0

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

  8. Simplified4.5

    \[\leadsto \color{blue}{\frac{\sqrt[3]{y} \cdot \sqrt[3]{y}}{\frac{\sqrt[3]{z} \cdot \sqrt[3]{z}}{x}}} \cdot \frac{\sqrt[3]{y}}{\sqrt[3]{z}}\]
  9. Using strategy rm

  10. Applied div-inv_binary64_116694.5

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

  11. Applied associate-/r*_binary64_116162.0

    \[\leadsto \color{blue}{\frac{\frac{\sqrt[3]{y} \cdot \sqrt[3]{y}}{\sqrt[3]{z} \cdot \sqrt[3]{z}}}{\frac{1}{x}}} \cdot \frac{\sqrt[3]{y}}{\sqrt[3]{z}}\]

  12. Final simplification2.0

    \[\leadsto \frac{\frac{\sqrt[3]{y} \cdot \sqrt[3]{y}}{\sqrt[3]{z} \cdot \sqrt[3]{z}}}{\frac{1}{x}} \cdot \frac{\sqrt[3]{y}}{\sqrt[3]{z}}\]

Reproduce

herbie shell --seed 2021176 
(FPCore (x y z t)
  :name "Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1, B"
  :precision binary64

  :herbie-target
  (if (< (/ (* (/ y z) t) t) -1.20672205123045e+245) (/ y (/ z x)) (if (< (/ (* (/ y z) t) t) -5.907522236933906e-275) (* x (/ y z)) (if (< (/ (* (/ y z) t) t) 5.658954423153415e-65) (/ y (/ z x)) (if (< (/ (* (/ y z) t) t) 2.0087180502407133e+217) (* x (/ y z)) (/ (* y x) z)))))

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