Timeout after 2.5min

Use the --timeout flag to change the timeout.

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

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