Use the --timeout flag to change the timeout.
\left(\left(x - \left(y + 0.5\right) \cdot \log y\right) + y\right) - z
(FPCore (x y z) :precision binary64 (- (+ (- x (* (+ y 0.5) (log y))) y) z))
double code(double x, double y, double z) {
return ((x - ((y + 0.5) * log(y))) + y) - z;
}