\sqrt{x} + {pi}^{x} \cdot \log \left(pi \cdot x\right)\sqrt{x} + {pi}^{x} \cdot \log \left(pi \cdot x\right)double code(double x, double pi) {
return ((double) (((double) sqrt(x)) + ((double) (((double) pow(pi, x)) * ((double) log(((double) (pi * x))))))));
}
double code(double x, double pi) {
return ((double) (((double) sqrt(x)) + ((double) (((double) pow(pi, x)) * ((double) log(((double) (pi * x))))))));
}



Bits error versus x



Bits error versus pi
Results
Initial program 9.7
Final simplification9.7
herbie shell --seed 2020153
(FPCore (x pi)
:name "(+ (sqrt x) (* (pow pi x) (log (* pi x))))"
:precision binary64
(+ (sqrt x) (* (pow pi x) (log (* pi x)))))