Average Error: 3.0 → 3.0
Time: 2.4s
Precision: binary64
\[\frac{\frac{A}{\sqrt{X}}}{\sqrt{Y}}\]
↓
\[\frac{\frac{A}{\sqrt{X}}}{\sqrt{Y}}\]
\frac{\frac{A}{\sqrt{X}}}{\sqrt{Y}}
↓
\frac{\frac{A}{\sqrt{X}}}{\sqrt{Y}}
double code(double A, double X, double Y) {
	return ((double) (((double) (A / ((double) sqrt(X)))) / ((double) sqrt(Y))));
}
↓
double code(double A, double X, double Y) {
	return ((double) (((double) (A / ((double) sqrt(X)))) / ((double) sqrt(Y))));
}

Error

Bits error versus A

Bits error versus X

Bits error versus Y

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 3.0

    \[\frac{\frac{A}{\sqrt{X}}}{\sqrt{Y}}\]

  2. Final simplification3.0

    \[\leadsto \frac{\frac{A}{\sqrt{X}}}{\sqrt{Y}}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (A X Y)
  :name "(/ (/ A (sqrt X)) (sqrt Y))"
  :precision binary64
  (/ (/ A (sqrt X)) (sqrt Y)))