Average Error: 31.3 → 31.3
Time: 2.4s
Precision: binary64
\[\frac{\left(a \cdot a\right) \cdot R}{{\left({a}^{2} - {R}^{2}\right)}^{0.5}}\]
↓
\[\frac{\left(a \cdot a\right) \cdot R}{{\left({a}^{2} - {R}^{2}\right)}^{0.5}}\]
\frac{\left(a \cdot a\right) \cdot R}{{\left({a}^{2} - {R}^{2}\right)}^{0.5}}
↓
\frac{\left(a \cdot a\right) \cdot R}{{\left({a}^{2} - {R}^{2}\right)}^{0.5}}
double code(double a, double R) {
	return ((double) (((double) (((double) (a * a)) * R)) / ((double) pow(((double) (((double) pow(a, 2.0)) - ((double) pow(R, 2.0)))), 0.5))));
}
↓
double code(double a, double R) {
	return ((double) (((double) (((double) (a * a)) * R)) / ((double) pow(((double) (((double) pow(a, 2.0)) - ((double) pow(R, 2.0)))), 0.5))));
}

Error

Bits error versus a

Bits error versus R

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 31.3

    \[\frac{\left(a \cdot a\right) \cdot R}{{\left({a}^{2} - {R}^{2}\right)}^{0.5}}\]

  2. Final simplification31.3

    \[\leadsto \frac{\left(a \cdot a\right) \cdot R}{{\left({a}^{2} - {R}^{2}\right)}^{0.5}}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (a R)
  :name "(/ (* (* a a) R) (pow (- (pow a 2.0) (pow R 2.0)) 0.5))"
  :precision binary64
  (/ (* (* a a) R) (pow (- (pow a 2.0) (pow R 2.0)) 0.5)))