Timeout after 2.5min

Use the --timeout flag to change the timeout.

\[1 - \frac{\left(1 - x\right) \cdot y}{y + 1} \]
1 - \frac{\left(1 - x\right) \cdot y}{y + 1}

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