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