\frac{\sqrt{1 + {x}^{2}}}{\sqrt{1 - {x}^{4}}}\frac{\sqrt{1 + {x}^{2}}}{\sqrt{1 - {x}^{4}}}double code(double x) {
return ((double) (((double) sqrt(((double) (1.0 + ((double) pow(x, 2.0)))))) / ((double) sqrt(((double) (1.0 - ((double) pow(x, 4.0))))))));
}
double code(double x) {
return ((double) (((double) sqrt(((double) (1.0 + ((double) pow(x, 2.0)))))) / ((double) sqrt(((double) (1.0 - ((double) pow(x, 4.0))))))));
}



Bits error versus x
Results
Initial program 0.0
Final simplification0.0
herbie shell --seed 2020152
(FPCore (x)
:name "(/ (sqrt (+ 1 (pow x 2))) (sqrt (- 1 (pow x 4))))"
:precision binary64
(/ (sqrt (+ 1.0 (pow x 2.0))) (sqrt (- 1.0 (pow x 4.0)))))