Average Error: 1.2 → 1.2
Time: 4.8s
Precision: binary64
\[\]
↓
\[\]
↓
double code(double x, double y, double z, double t, double a) {
	return ((double) (x + ((double) (y * ((double) (((double) (z - t)) / ((double) (z - a))))))));
}

↓
double code(double x, double y, double z, double t, double a) {
	double VAR;
	if (((((double) (((double) (z - t)) / ((double) (z - a)))) <= 5.522657576300667e-29) || !(((double) (((double) (z - t)) / ((double) (z - a)))) <= 1.1772774244599477e+63))) {
		VAR = ((double) (x + ((double) (((double) (z - t)) * ((double) (y / ((double) (z - a))))))));
	} else {
		VAR = ((double) (x + ((double) (y * ((double) cbrt(((double) pow(((double) (((double) (z - t)) / ((double) (z - a)))), 3.0))))))));
	}
	return VAR;
}

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.2
Target1.1
Herbie1.2
\[\]
Derivation
  1. Split input into 2 regimes
  2. if  (/ (- z t) (- z a))  < 5.52265757630066731e-29 or 1.17727742445994768e63 <  (/ (- z t) (- z a)) 
    1. Initial program 2.1
      \[\]
    2. Using strategy rm
    3. Applied add-cube-cbrt2.5
      \[\leadsto \]
    4. Applied associate-*l*2.5
      \[\leadsto \]
    5. Simplified1.5
      \[\leadsto \]
    6. Using strategy rm
    7. Applied pow11.5
      \[\leadsto \]
    8. Applied pow11.5
      \[\leadsto \]
    9. Applied pow-prod-down1.5
      \[\leadsto \]
    10. Applied pow11.5
      \[\leadsto \]
    11. Applied pow11.5
      \[\leadsto \]
    12. Applied pow-prod-down1.5
      \[\leadsto \]
    13. Applied pow-prod-down1.5
      \[\leadsto \]
    14. Simplified2.1
      \[\leadsto \]
    if 5.52265757630066731e-29 <  (/ (- z t) (- z a))  < 1.17727742445994768e63
    1. Initial program 0.0
      \[\]
    2. Using strategy rm
    3. Applied add-cbrt-cube24.6
      \[\leadsto \]
    4. Applied add-cbrt-cube46.8
      \[\leadsto \]
    5. Applied cbrt-undiv46.8
      \[\leadsto \]
    6. Simplified0.1
      \[\leadsto \]
  3. Recombined 2 regimes into one program.
  4. Final simplification1.2
    \[\leadsto \]
Reproduce
herbie shell --seed 2020180 
(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)))))