Timeout after 2.5min

Use the --timeout flag to change the timeout.

\[x + \left(y - z\right) \cdot \left(t - x\right) \]
x + \left(y - z\right) \cdot \left(t - x\right)

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