Average Error: 4.6 → 2.2
Time: 4.9s
Precision: binary64
\[\]
↓
\[\]
↓
double code(double x, double y, double z, double t) {
	return ((double) (x * ((double) (((double) (y / z)) - ((double) (t / ((double) (1.0 - z))))))));
}

↓
double code(double x, double y, double z, double t) {
	return ((double) (((double) (((double) (((double) cbrt(((double) (x * ((double) (((double) (((double) cbrt(y)) / ((double) cbrt(z)))) * ((double) (((double) cbrt(y)) / ((double) cbrt(z)))))))))) * ((double) (((double) cbrt(((double) (x * ((double) (((double) (((double) cbrt(y)) / ((double) cbrt(z)))) * ((double) (((double) cbrt(y)) / ((double) cbrt(z)))))))))) * ((double) cbrt(((double) (x * ((double) (((double) (((double) cbrt(y)) / ((double) cbrt(z)))) * ((double) (((double) cbrt(y)) / ((double) cbrt(z)))))))))))))) * ((double) (((double) cbrt(y)) / ((double) (((double) cbrt(((double) cbrt(z)))) * ((double) (((double) cbrt(((double) cbrt(z)))) * ((double) cbrt(((double) cbrt(z)))))))))))) - ((double) (x * ((double) (t / ((double) (1.0 - 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
Original4.6
Target4.2
Herbie2.2
\[\]
Derivation
  1. Initial program 4.6
    \[\]
  2. Using strategy rm
  3. Applied sub-neg4.6
    \[\leadsto \]
  4. Applied distribute-lft-in4.6
    \[\leadsto \]
  5. Simplified4.6
    \[\leadsto \]
  6. Using strategy rm
  7. Applied add-cube-cbrt5.2
    \[\leadsto \]
  8. Applied add-cube-cbrt5.3
    \[\leadsto \]
  9. Applied times-frac5.3
    \[\leadsto \]
  10. Applied associate-*r*2.0
    \[\leadsto \]
  11. Simplified2.0
    \[\leadsto \]
  12. Using strategy rm
  13. Applied add-cube-cbrt2.1
    \[\leadsto \]
  14. Using strategy rm
  15. Applied add-cube-cbrt2.2
    \[\leadsto \]
  16. Final simplification2.2
    \[\leadsto \]
Reproduce
herbie shell --seed 2020190 
(FPCore (x y z t)
  :name "Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2, C"
  :precision binary64

  :herbie-target
  (if (< (* x (- (/ y z) (/ t (- 1.0 z)))) -7.623226303312042e-196) (* x (- (/ y z) (* t (/ 1.0 (- 1.0 z))))) (if (< (* x (- (/ y z) (/ t (- 1.0 z)))) 1.4133944927702302e-211) (+ (/ (* y x) z) (neg (/ (* t x) (- 1.0 z)))) (* x (- (/ y z) (* t (/ 1.0 (- 1.0 z)))))))

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