Timeout after 2.5m

Use the --timeout flag to change the timeout.

\[\left(x \cdot \left(y - 1\right) - y \cdot 0.5\right) + 0.918938533204673003\]

\left(x \cdot \left(y - 1\right) - y \cdot 0.5\right) + 0.918938533204673003

double code(double x, double y) {
	return ((double) (((double) (((double) (x * ((double) (y - 1.0)))) - ((double) (y * 0.5)))) + 0.918938533204673));
}

Reproduce

herbie shell --seed 2020126 
(FPCore (x y)
  :name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2, A"
  :precision binary64
  (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673))