Timeout after 10.0min

Use the --timeout flag to change the timeout.

\[\sqrt{x \cdot x + x \cdot x} \]
\sqrt{x \cdot x + x \cdot x}
(FPCore (x) :precision binary64 (sqrt (+ (* x x) (* x x))))
double code(double x) {
	return sqrt((x * x) + (x * x));
}