Timeout after 2.5min

Use the --timeout flag to change the timeout.

\[\log \left(1 + e^{x}\right) - x \cdot y \]
\log \left(1 + e^{x}\right) - x \cdot y

(FPCore (x y) :precision binary64 (- (log (+ 1.0 (exp x))) (* x y)))
double code(double x, double y) {
	return log(1.0 + exp(x)) - (x * y);
}