Timeout for A quarter-circle in the lower-left quadrant

Specification

Math

\[\mathsf{max}\left(\left({y}^{2} + {x}^{2}\right) - 0.5, \mathsf{max}\left(x, y\right)\right) \]

FPCore

(FPCore (x y)
  :precision binary64
  :pre TRUE
  (fmax (- (+ (pow y 2.0) (pow x 2.0)) 0.5) (fmax x y)))

C

double code(double x, double y) {
	return fmax(((pow(y, 2.0) + pow(x, 2.0)) - 0.5), fmax(x, y));
}

Fortran

real(8) function code(x, y)
use fmin_fmax_functions
    real(8), intent (in) :: x
    real(8), intent (in) :: y
    code = fmax((((y ** 2.0d0) + (x ** 2.0d0)) - 0.5d0), fmax(x, y))
end function

Java

public static double code(double x, double y) {
	return fmax(((Math.pow(y, 2.0) + Math.pow(x, 2.0)) - 0.5), fmax(x, y));
}

Python

def code(x, y):
	return fmax(((math.pow(y, 2.0) + math.pow(x, 2.0)) - 0.5), fmax(x, y))

Julia

function code(x, y)
	return fmax(Float64(Float64((y ^ 2.0) + (x ^ 2.0)) - 0.5), fmax(x, y))
end

MATLAB

function tmp = code(x, y)
	tmp = max((((y ^ 2.0) + (x ^ 2.0)) - 0.5), max(x, y));
end

Wolfram

code[x_, y_] := N[Max[N[(N[(N[Power[y, 2.0], $MachinePrecision] + N[Power[x, 2.0], $MachinePrecision]), $MachinePrecision] - 0.5), $MachinePrecision], N[Max[x, y], $MachinePrecision]], $MachinePrecision]

ReFlow

f(x, y):
	x in [-inf, +inf],
	y in [-inf, +inf]
code: THEORY
BEGIN
f(x, y: real): real =
	LET tmp_1 = IF (x > y) THEN x ELSE y ENDIF IN
	LET tmp_2 = IF (x > y) THEN x ELSE y ENDIF IN
	LET tmp = IF ((((y ^ (2)) + (x ^ (2))) - (5e-1)) > tmp_1) THEN (((y ^ (2)) + (x ^ (2))) - (5e-1)) ELSE tmp_2 ENDIF IN
	tmp
END code