Average Error: 6.3 → 6.3
Time: 1.2s
Precision: binary64
\[\sqrt{{\left(\frac{p}{q - r}\right)}^{2} + 1}\]
↓
\[\sqrt{{\left(\frac{p}{q - r}\right)}^{2} + 1}\]
\sqrt{{\left(\frac{p}{q - r}\right)}^{2} + 1}
↓
\sqrt{{\left(\frac{p}{q - r}\right)}^{2} + 1}
double code(double p, double q, double r) {
	return ((double) sqrt(((double) (((double) pow(((double) (p / ((double) (q - r)))), 2.0)) + 1.0))));
}
↓
double code(double p, double q, double r) {
	return ((double) sqrt(((double) (((double) pow(((double) (p / ((double) (q - r)))), 2.0)) + 1.0))));
}

Error

Bits error versus p

Bits error versus q

Bits error versus r

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 6.3

    \[\sqrt{{\left(\frac{p}{q - r}\right)}^{2} + 1}\]

  2. Final simplification6.3

    \[\leadsto \sqrt{{\left(\frac{p}{q - r}\right)}^{2} + 1}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (p q r)
  :name "(sqrt (+ (pow (/ p (- q r)) 2) 1))"
  :precision binary64
  (sqrt (+ (pow (/ p (- q r)) 2.0) 1.0)))