The letters hi in the upper-right quadrant
(FPCore (x y)
:precision binary64
:pre TRUE
(let* ((t_0 (sqrt (+ (pow (- y 0.275) 2.0) (pow (- x 0.275) 2.0)))))
(fmin
(fmin
(fmin
(fmin
(fmax (fmax (fmax (- y 0.55) (- y)) (- x 0.825)) (- 0.725 x))
(- (sqrt (+ (pow (- y 0.7) 2.0) (pow (- x 0.775) 2.0))) 0.075))
(fmax (fmax (fmax (- y) (- y 0.275)) (- x 0.55)) (- 0.45 x)))
(fmax (fmax (fmax (- y) (- y 1.0)) (- x 0.1)) (- x)))
(fmax
(fmax
(fmax (fmax (fmax (- y 0.55) (- x 0.55)) (- x)) (- 0.275 y))
(- 0.175 t_0))
(- t_0 0.275)))))double code(double x, double y) {
double t_0 = sqrt((pow((y - 0.275), 2.0) + pow((x - 0.275), 2.0)));
return fmin(fmin(fmin(fmin(fmax(fmax(fmax((y - 0.55), -y), (x - 0.825)), (0.725 - x)), (sqrt((pow((y - 0.7), 2.0) + pow((x - 0.775), 2.0))) - 0.075)), fmax(fmax(fmax(-y, (y - 0.275)), (x - 0.55)), (0.45 - x))), fmax(fmax(fmax(-y, (y - 1.0)), (x - 0.1)), -x)), fmax(fmax(fmax(fmax(fmax((y - 0.55), (x - 0.55)), -x), (0.275 - y)), (0.175 - t_0)), (t_0 - 0.275)));
}
real(8) function code(x, y)
use fmin_fmax_functions
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: t_0
t_0 = sqrt((((y - 0.275d0) ** 2.0d0) + ((x - 0.275d0) ** 2.0d0)))
code = fmin(fmin(fmin(fmin(fmax(fmax(fmax((y - 0.55d0), -y), (x - 0.825d0)), (0.725d0 - x)), (sqrt((((y - 0.7d0) ** 2.0d0) + ((x - 0.775d0) ** 2.0d0))) - 0.075d0)), fmax(fmax(fmax(-y, (y - 0.275d0)), (x - 0.55d0)), (0.45d0 - x))), fmax(fmax(fmax(-y, (y - 1.0d0)), (x - 0.1d0)), -x)), fmax(fmax(fmax(fmax(fmax((y - 0.55d0), (x - 0.55d0)), -x), (0.275d0 - y)), (0.175d0 - t_0)), (t_0 - 0.275d0)))
end function
public static double code(double x, double y) {
double t_0 = Math.sqrt((Math.pow((y - 0.275), 2.0) + Math.pow((x - 0.275), 2.0)));
return fmin(fmin(fmin(fmin(fmax(fmax(fmax((y - 0.55), -y), (x - 0.825)), (0.725 - x)), (Math.sqrt((Math.pow((y - 0.7), 2.0) + Math.pow((x - 0.775), 2.0))) - 0.075)), fmax(fmax(fmax(-y, (y - 0.275)), (x - 0.55)), (0.45 - x))), fmax(fmax(fmax(-y, (y - 1.0)), (x - 0.1)), -x)), fmax(fmax(fmax(fmax(fmax((y - 0.55), (x - 0.55)), -x), (0.275 - y)), (0.175 - t_0)), (t_0 - 0.275)));
}
def code(x, y): t_0 = math.sqrt((math.pow((y - 0.275), 2.0) + math.pow((x - 0.275), 2.0))) return fmin(fmin(fmin(fmin(fmax(fmax(fmax((y - 0.55), -y), (x - 0.825)), (0.725 - x)), (math.sqrt((math.pow((y - 0.7), 2.0) + math.pow((x - 0.775), 2.0))) - 0.075)), fmax(fmax(fmax(-y, (y - 0.275)), (x - 0.55)), (0.45 - x))), fmax(fmax(fmax(-y, (y - 1.0)), (x - 0.1)), -x)), fmax(fmax(fmax(fmax(fmax((y - 0.55), (x - 0.55)), -x), (0.275 - y)), (0.175 - t_0)), (t_0 - 0.275)))
function code(x, y) t_0 = sqrt(Float64((Float64(y - 0.275) ^ 2.0) + (Float64(x - 0.275) ^ 2.0))) return fmin(fmin(fmin(fmin(fmax(fmax(fmax(Float64(y - 0.55), Float64(-y)), Float64(x - 0.825)), Float64(0.725 - x)), Float64(sqrt(Float64((Float64(y - 0.7) ^ 2.0) + (Float64(x - 0.775) ^ 2.0))) - 0.075)), fmax(fmax(fmax(Float64(-y), Float64(y - 0.275)), Float64(x - 0.55)), Float64(0.45 - x))), fmax(fmax(fmax(Float64(-y), Float64(y - 1.0)), Float64(x - 0.1)), Float64(-x))), fmax(fmax(fmax(fmax(fmax(Float64(y - 0.55), Float64(x - 0.55)), Float64(-x)), Float64(0.275 - y)), Float64(0.175 - t_0)), Float64(t_0 - 0.275))) end
function tmp = code(x, y) t_0 = sqrt((((y - 0.275) ^ 2.0) + ((x - 0.275) ^ 2.0))); tmp = min(min(min(min(max(max(max((y - 0.55), -y), (x - 0.825)), (0.725 - x)), (sqrt((((y - 0.7) ^ 2.0) + ((x - 0.775) ^ 2.0))) - 0.075)), max(max(max(-y, (y - 0.275)), (x - 0.55)), (0.45 - x))), max(max(max(-y, (y - 1.0)), (x - 0.1)), -x)), max(max(max(max(max((y - 0.55), (x - 0.55)), -x), (0.275 - y)), (0.175 - t_0)), (t_0 - 0.275))); end
code[x_, y_] := Block[{t$95$0 = N[Sqrt[N[(N[Power[N[(y - 0.275), $MachinePrecision], 2.0], $MachinePrecision] + N[Power[N[(x - 0.275), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]}, N[Min[N[Min[N[Min[N[Min[N[Max[N[Max[N[Max[N[(y - 0.55), $MachinePrecision], (-y)], $MachinePrecision], N[(x - 0.825), $MachinePrecision]], $MachinePrecision], N[(0.725 - x), $MachinePrecision]], $MachinePrecision], N[(N[Sqrt[N[(N[Power[N[(y - 0.7), $MachinePrecision], 2.0], $MachinePrecision] + N[Power[N[(x - 0.775), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]], $MachinePrecision] - 0.075), $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[(-y), N[(y - 0.275), $MachinePrecision]], $MachinePrecision], N[(x - 0.55), $MachinePrecision]], $MachinePrecision], N[(0.45 - x), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[(-y), N[(y - 1.0), $MachinePrecision]], $MachinePrecision], N[(x - 0.1), $MachinePrecision]], $MachinePrecision], (-x)], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[N[Max[N[(y - 0.55), $MachinePrecision], N[(x - 0.55), $MachinePrecision]], $MachinePrecision], (-x)], $MachinePrecision], N[(0.275 - y), $MachinePrecision]], $MachinePrecision], N[(0.175 - t$95$0), $MachinePrecision]], $MachinePrecision], N[(t$95$0 - 0.275), $MachinePrecision]], $MachinePrecision]], $MachinePrecision]]
f(x, y): x in [-inf, +inf], y in [-inf, +inf] code: THEORY BEGIN f(x, y: real): real = LET t_0 = (sqrt((((y - (27500000000000002220446049250313080847263336181640625e-53)) ^ (2)) + ((x - (27500000000000002220446049250313080847263336181640625e-53)) ^ (2))))) IN LET tmp_679 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_680 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_678 = IF (tmp_679 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_680 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_683 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_684 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_682 = IF (tmp_683 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_684 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_676 = IF (tmp_678 > ((72499999999999997779553950749686919152736663818359375e-53) - x)) THEN tmp_682 ELSE ((72499999999999997779553950749686919152736663818359375e-53) - x) ENDIF IN LET tmp_692 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_693 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_691 = IF (tmp_692 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_693 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_696 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_697 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_695 = IF (tmp_696 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_697 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_689 = IF (tmp_691 > ((72499999999999997779553950749686919152736663818359375e-53) - x)) THEN tmp_695 ELSE ((72499999999999997779553950749686919152736663818359375e-53) - x) ENDIF IN LET tmp_671 = IF (tmp_676 < ((sqrt((((y - (6999999999999999555910790149937383830547332763671875e-52)) ^ (2)) + ((x - (77500000000000002220446049250313080847263336181640625e-53)) ^ (2))))) - (7499999999999999722444243843710864894092082977294921875e-56))) THEN tmp_689 ELSE ((sqrt((((y - (6999999999999999555910790149937383830547332763671875e-52)) ^ (2)) + ((x - (77500000000000002220446049250313080847263336181640625e-53)) ^ (2))))) - (7499999999999999722444243843710864894092082977294921875e-56)) ENDIF IN LET tmp_705 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_706 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_704 = IF (tmp_705 > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN tmp_706 ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_709 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_710 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_708 = IF (tmp_709 > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN tmp_710 ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_702 = IF (tmp_704 > ((450000000000000011102230246251565404236316680908203125e-54) - x)) THEN tmp_708 ELSE ((450000000000000011102230246251565404236316680908203125e-54) - x) ENDIF IN LET tmp_732 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_733 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_731 = IF (tmp_732 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_733 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_736 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_737 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_735 = IF (tmp_736 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_737 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_729 = IF (tmp_731 > ((72499999999999997779553950749686919152736663818359375e-53) - x)) THEN tmp_735 ELSE ((72499999999999997779553950749686919152736663818359375e-53) - x) ENDIF IN LET tmp_745 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_746 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_744 = IF (tmp_745 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_746 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_749 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_750 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_748 = IF (tmp_749 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_750 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_742 = IF (tmp_744 > ((72499999999999997779553950749686919152736663818359375e-53) - x)) THEN tmp_748 ELSE ((72499999999999997779553950749686919152736663818359375e-53) - x) ENDIF IN LET tmp_724 = IF (tmp_729 < ((sqrt((((y - (6999999999999999555910790149937383830547332763671875e-52)) ^ (2)) + ((x - (77500000000000002220446049250313080847263336181640625e-53)) ^ (2))))) - (7499999999999999722444243843710864894092082977294921875e-56))) THEN tmp_742 ELSE ((sqrt((((y - (6999999999999999555910790149937383830547332763671875e-52)) ^ (2)) + ((x - (77500000000000002220446049250313080847263336181640625e-53)) ^ (2))))) - (7499999999999999722444243843710864894092082977294921875e-56)) ENDIF IN LET tmp_758 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_759 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_757 = IF (tmp_758 > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN tmp_759 ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_762 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_763 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_761 = IF (tmp_762 > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN tmp_763 ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_755 = IF (tmp_757 > ((450000000000000011102230246251565404236316680908203125e-54) - x)) THEN tmp_761 ELSE ((450000000000000011102230246251565404236316680908203125e-54) - x) ENDIF IN LET tmp_657 = IF (tmp_671 < tmp_702) THEN tmp_724 ELSE tmp_755 ENDIF IN LET tmp_771 = IF ((- y) > (y - (1))) THEN (- y) ELSE (y - (1)) ENDIF IN LET tmp_772 = IF ((- y) > (y - (1))) THEN (- y) ELSE (y - (1)) ENDIF IN LET tmp_770 = IF (tmp_771 > (x - (1000000000000000055511151231257827021181583404541015625e-55))) THEN tmp_772 ELSE (x - (1000000000000000055511151231257827021181583404541015625e-55)) ENDIF IN LET tmp_775 = IF ((- y) > (y - (1))) THEN (- y) ELSE (y - (1)) ENDIF IN LET tmp_776 = IF ((- y) > (y - (1))) THEN (- y) ELSE (y - (1)) ENDIF IN LET tmp_774 = IF (tmp_775 > (x - (1000000000000000055511151231257827021181583404541015625e-55))) THEN tmp_776 ELSE (x - (1000000000000000055511151231257827021181583404541015625e-55)) ENDIF IN LET tmp_768 = IF (tmp_770 > (- x)) THEN tmp_774 ELSE (- x) ENDIF IN LET tmp_839 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_840 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_838 = IF (tmp_839 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_840 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_843 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_844 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_842 = IF (tmp_843 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_844 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_836 = IF (tmp_838 > ((72499999999999997779553950749686919152736663818359375e-53) - x)) THEN tmp_842 ELSE ((72499999999999997779553950749686919152736663818359375e-53) - x) ENDIF IN LET tmp_852 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_853 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_851 = IF (tmp_852 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_853 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_856 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_857 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_855 = IF (tmp_856 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_857 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_849 = IF (tmp_851 > ((72499999999999997779553950749686919152736663818359375e-53) - x)) THEN tmp_855 ELSE ((72499999999999997779553950749686919152736663818359375e-53) - x) ENDIF IN LET tmp_831 = IF (tmp_836 < ((sqrt((((y - (6999999999999999555910790149937383830547332763671875e-52)) ^ (2)) + ((x - (77500000000000002220446049250313080847263336181640625e-53)) ^ (2))))) - (7499999999999999722444243843710864894092082977294921875e-56))) THEN tmp_849 ELSE ((sqrt((((y - (6999999999999999555910790149937383830547332763671875e-52)) ^ (2)) + ((x - (77500000000000002220446049250313080847263336181640625e-53)) ^ (2))))) - (7499999999999999722444243843710864894092082977294921875e-56)) ENDIF IN LET tmp_865 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_866 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_864 = IF (tmp_865 > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN tmp_866 ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_869 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_870 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_868 = IF (tmp_869 > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN tmp_870 ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_862 = IF (tmp_864 > ((450000000000000011102230246251565404236316680908203125e-54) - x)) THEN tmp_868 ELSE ((450000000000000011102230246251565404236316680908203125e-54) - x) ENDIF IN LET tmp_892 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_893 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_891 = IF (tmp_892 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_893 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_896 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_897 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_895 = IF (tmp_896 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_897 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_889 = IF (tmp_891 > ((72499999999999997779553950749686919152736663818359375e-53) - x)) THEN tmp_895 ELSE ((72499999999999997779553950749686919152736663818359375e-53) - x) ENDIF IN LET tmp_905 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_906 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_904 = IF (tmp_905 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_906 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_909 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_910 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_908 = IF (tmp_909 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_910 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_902 = IF (tmp_904 > ((72499999999999997779553950749686919152736663818359375e-53) - x)) THEN tmp_908 ELSE ((72499999999999997779553950749686919152736663818359375e-53) - x) ENDIF IN LET tmp_884 = IF (tmp_889 < ((sqrt((((y - (6999999999999999555910790149937383830547332763671875e-52)) ^ (2)) + ((x - (77500000000000002220446049250313080847263336181640625e-53)) ^ (2))))) - (7499999999999999722444243843710864894092082977294921875e-56))) THEN tmp_902 ELSE ((sqrt((((y - (6999999999999999555910790149937383830547332763671875e-52)) ^ (2)) + ((x - (77500000000000002220446049250313080847263336181640625e-53)) ^ (2))))) - (7499999999999999722444243843710864894092082977294921875e-56)) ENDIF IN LET tmp_918 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_919 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_917 = IF (tmp_918 > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN tmp_919 ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_922 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_923 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_921 = IF (tmp_922 > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN tmp_923 ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_915 = IF (tmp_917 > ((450000000000000011102230246251565404236316680908203125e-54) - x)) THEN tmp_921 ELSE ((450000000000000011102230246251565404236316680908203125e-54) - x) ENDIF IN LET tmp_817 = IF (tmp_831 < tmp_862) THEN tmp_884 ELSE tmp_915 ENDIF IN LET tmp_931 = IF ((- y) > (y - (1))) THEN (- y) ELSE (y - (1)) ENDIF IN LET tmp_932 = IF ((- y) > (y - (1))) THEN (- y) ELSE (y - (1)) ENDIF IN LET tmp_930 = IF (tmp_931 > (x - (1000000000000000055511151231257827021181583404541015625e-55))) THEN tmp_932 ELSE (x - (1000000000000000055511151231257827021181583404541015625e-55)) ENDIF IN LET tmp_935 = IF ((- y) > (y - (1))) THEN (- y) ELSE (y - (1)) ENDIF IN LET tmp_936 = IF ((- y) > (y - (1))) THEN (- y) ELSE (y - (1)) ENDIF IN LET tmp_934 = IF (tmp_935 > (x - (1000000000000000055511151231257827021181583404541015625e-55))) THEN tmp_936 ELSE (x - (1000000000000000055511151231257827021181583404541015625e-55)) ENDIF IN LET tmp_928 = IF (tmp_930 > (- x)) THEN tmp_934 ELSE (- x) ENDIF IN LET tmp_616 = IF (tmp_657 < tmp_768) THEN tmp_817 ELSE tmp_928 ENDIF IN LET tmp_999 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1000 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_998 = IF (tmp_999 > (- x)) THEN tmp_1000 ELSE (- x) ENDIF IN LET tmp_1003 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1004 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1002 = IF (tmp_1003 > (- x)) THEN tmp_1004 ELSE (- x) ENDIF IN LET tmp_996 = IF (tmp_998 > ((27500000000000002220446049250313080847263336181640625e-53) - y)) THEN tmp_1002 ELSE ((27500000000000002220446049250313080847263336181640625e-53) - y) ENDIF IN LET tmp_1012 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1013 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1011 = IF (tmp_1012 > (- x)) THEN tmp_1013 ELSE (- x) ENDIF IN LET tmp_1016 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1017 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1015 = IF (tmp_1016 > (- x)) THEN tmp_1017 ELSE (- x) ENDIF IN LET tmp_1009 = IF (tmp_1011 > ((27500000000000002220446049250313080847263336181640625e-53) - y)) THEN tmp_1015 ELSE ((27500000000000002220446049250313080847263336181640625e-53) - y) ENDIF IN LET tmp_991 = IF (tmp_996 > ((174999999999999988897769753748434595763683319091796875e-54) - t_0)) THEN tmp_1009 ELSE ((174999999999999988897769753748434595763683319091796875e-54) - t_0) ENDIF IN LET tmp_1039 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1040 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1038 = IF (tmp_1039 > (- x)) THEN tmp_1040 ELSE (- x) ENDIF IN LET tmp_1043 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1044 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1042 = IF (tmp_1043 > (- x)) THEN tmp_1044 ELSE (- x) ENDIF IN LET tmp_1036 = IF (tmp_1038 > ((27500000000000002220446049250313080847263336181640625e-53) - y)) THEN tmp_1042 ELSE ((27500000000000002220446049250313080847263336181640625e-53) - y) ENDIF IN LET tmp_1052 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1053 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1051 = IF (tmp_1052 > (- x)) THEN tmp_1053 ELSE (- x) ENDIF IN LET tmp_1056 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1057 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1055 = IF (tmp_1056 > (- x)) THEN tmp_1057 ELSE (- x) ENDIF IN LET tmp_1049 = IF (tmp_1051 > ((27500000000000002220446049250313080847263336181640625e-53) - y)) THEN tmp_1055 ELSE ((27500000000000002220446049250313080847263336181640625e-53) - y) ENDIF IN LET tmp_1031 = IF (tmp_1036 > ((174999999999999988897769753748434595763683319091796875e-54) - t_0)) THEN tmp_1049 ELSE ((174999999999999988897769753748434595763683319091796875e-54) - t_0) ENDIF IN LET tmp_977 = IF (tmp_991 > (t_0 - (27500000000000002220446049250313080847263336181640625e-53))) THEN tmp_1031 ELSE (t_0 - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_1268 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1269 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1267 = IF (tmp_1268 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_1269 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_1272 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1273 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1271 = IF (tmp_1272 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_1273 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_1265 = IF (tmp_1267 > ((72499999999999997779553950749686919152736663818359375e-53) - x)) THEN tmp_1271 ELSE ((72499999999999997779553950749686919152736663818359375e-53) - x) ENDIF IN LET tmp_1281 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1282 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1280 = IF (tmp_1281 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_1282 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_1285 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1286 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1284 = IF (tmp_1285 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_1286 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_1278 = IF (tmp_1280 > ((72499999999999997779553950749686919152736663818359375e-53) - x)) THEN tmp_1284 ELSE ((72499999999999997779553950749686919152736663818359375e-53) - x) ENDIF IN LET tmp_1260 = IF (tmp_1265 < ((sqrt((((y - (6999999999999999555910790149937383830547332763671875e-52)) ^ (2)) + ((x - (77500000000000002220446049250313080847263336181640625e-53)) ^ (2))))) - (7499999999999999722444243843710864894092082977294921875e-56))) THEN tmp_1278 ELSE ((sqrt((((y - (6999999999999999555910790149937383830547332763671875e-52)) ^ (2)) + ((x - (77500000000000002220446049250313080847263336181640625e-53)) ^ (2))))) - (7499999999999999722444243843710864894092082977294921875e-56)) ENDIF IN LET tmp_1294 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_1295 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_1293 = IF (tmp_1294 > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN tmp_1295 ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1298 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_1299 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_1297 = IF (tmp_1298 > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN tmp_1299 ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1291 = IF (tmp_1293 > ((450000000000000011102230246251565404236316680908203125e-54) - x)) THEN tmp_1297 ELSE ((450000000000000011102230246251565404236316680908203125e-54) - x) ENDIF IN LET tmp_1321 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1322 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1320 = IF (tmp_1321 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_1322 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_1325 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1326 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1324 = IF (tmp_1325 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_1326 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_1318 = IF (tmp_1320 > ((72499999999999997779553950749686919152736663818359375e-53) - x)) THEN tmp_1324 ELSE ((72499999999999997779553950749686919152736663818359375e-53) - x) ENDIF IN LET tmp_1334 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1335 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1333 = IF (tmp_1334 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_1335 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_1338 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1339 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1337 = IF (tmp_1338 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_1339 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_1331 = IF (tmp_1333 > ((72499999999999997779553950749686919152736663818359375e-53) - x)) THEN tmp_1337 ELSE ((72499999999999997779553950749686919152736663818359375e-53) - x) ENDIF IN LET tmp_1313 = IF (tmp_1318 < ((sqrt((((y - (6999999999999999555910790149937383830547332763671875e-52)) ^ (2)) + ((x - (77500000000000002220446049250313080847263336181640625e-53)) ^ (2))))) - (7499999999999999722444243843710864894092082977294921875e-56))) THEN tmp_1331 ELSE ((sqrt((((y - (6999999999999999555910790149937383830547332763671875e-52)) ^ (2)) + ((x - (77500000000000002220446049250313080847263336181640625e-53)) ^ (2))))) - (7499999999999999722444243843710864894092082977294921875e-56)) ENDIF IN LET tmp_1347 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_1348 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_1346 = IF (tmp_1347 > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN tmp_1348 ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1351 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_1352 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_1350 = IF (tmp_1351 > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN tmp_1352 ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1344 = IF (tmp_1346 > ((450000000000000011102230246251565404236316680908203125e-54) - x)) THEN tmp_1350 ELSE ((450000000000000011102230246251565404236316680908203125e-54) - x) ENDIF IN LET tmp_1246 = IF (tmp_1260 < tmp_1291) THEN tmp_1313 ELSE tmp_1344 ENDIF IN LET tmp_1360 = IF ((- y) > (y - (1))) THEN (- y) ELSE (y - (1)) ENDIF IN LET tmp_1361 = IF ((- y) > (y - (1))) THEN (- y) ELSE (y - (1)) ENDIF IN LET tmp_1359 = IF (tmp_1360 > (x - (1000000000000000055511151231257827021181583404541015625e-55))) THEN tmp_1361 ELSE (x - (1000000000000000055511151231257827021181583404541015625e-55)) ENDIF IN LET tmp_1364 = IF ((- y) > (y - (1))) THEN (- y) ELSE (y - (1)) ENDIF IN LET tmp_1365 = IF ((- y) > (y - (1))) THEN (- y) ELSE (y - (1)) ENDIF IN LET tmp_1363 = IF (tmp_1364 > (x - (1000000000000000055511151231257827021181583404541015625e-55))) THEN tmp_1365 ELSE (x - (1000000000000000055511151231257827021181583404541015625e-55)) ENDIF IN LET tmp_1357 = IF (tmp_1359 > (- x)) THEN tmp_1363 ELSE (- x) ENDIF IN LET tmp_1428 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1429 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1427 = IF (tmp_1428 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_1429 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_1432 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1433 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1431 = IF (tmp_1432 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_1433 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_1425 = IF (tmp_1427 > ((72499999999999997779553950749686919152736663818359375e-53) - x)) THEN tmp_1431 ELSE ((72499999999999997779553950749686919152736663818359375e-53) - x) ENDIF IN LET tmp_1441 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1442 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1440 = IF (tmp_1441 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_1442 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_1445 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1446 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1444 = IF (tmp_1445 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_1446 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_1438 = IF (tmp_1440 > ((72499999999999997779553950749686919152736663818359375e-53) - x)) THEN tmp_1444 ELSE ((72499999999999997779553950749686919152736663818359375e-53) - x) ENDIF IN LET tmp_1420 = IF (tmp_1425 < ((sqrt((((y - (6999999999999999555910790149937383830547332763671875e-52)) ^ (2)) + ((x - (77500000000000002220446049250313080847263336181640625e-53)) ^ (2))))) - (7499999999999999722444243843710864894092082977294921875e-56))) THEN tmp_1438 ELSE ((sqrt((((y - (6999999999999999555910790149937383830547332763671875e-52)) ^ (2)) + ((x - (77500000000000002220446049250313080847263336181640625e-53)) ^ (2))))) - (7499999999999999722444243843710864894092082977294921875e-56)) ENDIF IN LET tmp_1454 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_1455 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_1453 = IF (tmp_1454 > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN tmp_1455 ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1458 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_1459 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_1457 = IF (tmp_1458 > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN tmp_1459 ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1451 = IF (tmp_1453 > ((450000000000000011102230246251565404236316680908203125e-54) - x)) THEN tmp_1457 ELSE ((450000000000000011102230246251565404236316680908203125e-54) - x) ENDIF IN LET tmp_1481 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1482 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1480 = IF (tmp_1481 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_1482 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_1485 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1486 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1484 = IF (tmp_1485 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_1486 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_1478 = IF (tmp_1480 > ((72499999999999997779553950749686919152736663818359375e-53) - x)) THEN tmp_1484 ELSE ((72499999999999997779553950749686919152736663818359375e-53) - x) ENDIF IN LET tmp_1494 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1495 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1493 = IF (tmp_1494 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_1495 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_1498 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1499 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (- y)) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (- y) ENDIF IN LET tmp_1497 = IF (tmp_1498 > (x - (8249999999999999555910790149937383830547332763671875e-52))) THEN tmp_1499 ELSE (x - (8249999999999999555910790149937383830547332763671875e-52)) ENDIF IN LET tmp_1491 = IF (tmp_1493 > ((72499999999999997779553950749686919152736663818359375e-53) - x)) THEN tmp_1497 ELSE ((72499999999999997779553950749686919152736663818359375e-53) - x) ENDIF IN LET tmp_1473 = IF (tmp_1478 < ((sqrt((((y - (6999999999999999555910790149937383830547332763671875e-52)) ^ (2)) + ((x - (77500000000000002220446049250313080847263336181640625e-53)) ^ (2))))) - (7499999999999999722444243843710864894092082977294921875e-56))) THEN tmp_1491 ELSE ((sqrt((((y - (6999999999999999555910790149937383830547332763671875e-52)) ^ (2)) + ((x - (77500000000000002220446049250313080847263336181640625e-53)) ^ (2))))) - (7499999999999999722444243843710864894092082977294921875e-56)) ENDIF IN LET tmp_1507 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_1508 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_1506 = IF (tmp_1507 > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN tmp_1508 ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1511 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_1512 = IF ((- y) > (y - (27500000000000002220446049250313080847263336181640625e-53))) THEN (- y) ELSE (y - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_1510 = IF (tmp_1511 > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN tmp_1512 ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1504 = IF (tmp_1506 > ((450000000000000011102230246251565404236316680908203125e-54) - x)) THEN tmp_1510 ELSE ((450000000000000011102230246251565404236316680908203125e-54) - x) ENDIF IN LET tmp_1406 = IF (tmp_1420 < tmp_1451) THEN tmp_1473 ELSE tmp_1504 ENDIF IN LET tmp_1520 = IF ((- y) > (y - (1))) THEN (- y) ELSE (y - (1)) ENDIF IN LET tmp_1521 = IF ((- y) > (y - (1))) THEN (- y) ELSE (y - (1)) ENDIF IN LET tmp_1519 = IF (tmp_1520 > (x - (1000000000000000055511151231257827021181583404541015625e-55))) THEN tmp_1521 ELSE (x - (1000000000000000055511151231257827021181583404541015625e-55)) ENDIF IN LET tmp_1524 = IF ((- y) > (y - (1))) THEN (- y) ELSE (y - (1)) ENDIF IN LET tmp_1525 = IF ((- y) > (y - (1))) THEN (- y) ELSE (y - (1)) ENDIF IN LET tmp_1523 = IF (tmp_1524 > (x - (1000000000000000055511151231257827021181583404541015625e-55))) THEN tmp_1525 ELSE (x - (1000000000000000055511151231257827021181583404541015625e-55)) ENDIF IN LET tmp_1517 = IF (tmp_1519 > (- x)) THEN tmp_1523 ELSE (- x) ENDIF IN LET tmp_1205 = IF (tmp_1246 < tmp_1357) THEN tmp_1406 ELSE tmp_1517 ENDIF IN LET tmp_1588 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1589 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1587 = IF (tmp_1588 > (- x)) THEN tmp_1589 ELSE (- x) ENDIF IN LET tmp_1592 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1593 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1591 = IF (tmp_1592 > (- x)) THEN tmp_1593 ELSE (- x) ENDIF IN LET tmp_1585 = IF (tmp_1587 > ((27500000000000002220446049250313080847263336181640625e-53) - y)) THEN tmp_1591 ELSE ((27500000000000002220446049250313080847263336181640625e-53) - y) ENDIF IN LET tmp_1601 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1602 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1600 = IF (tmp_1601 > (- x)) THEN tmp_1602 ELSE (- x) ENDIF IN LET tmp_1605 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1606 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1604 = IF (tmp_1605 > (- x)) THEN tmp_1606 ELSE (- x) ENDIF IN LET tmp_1598 = IF (tmp_1600 > ((27500000000000002220446049250313080847263336181640625e-53) - y)) THEN tmp_1604 ELSE ((27500000000000002220446049250313080847263336181640625e-53) - y) ENDIF IN LET tmp_1580 = IF (tmp_1585 > ((174999999999999988897769753748434595763683319091796875e-54) - t_0)) THEN tmp_1598 ELSE ((174999999999999988897769753748434595763683319091796875e-54) - t_0) ENDIF IN LET tmp_1628 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1629 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1627 = IF (tmp_1628 > (- x)) THEN tmp_1629 ELSE (- x) ENDIF IN LET tmp_1632 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1633 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1631 = IF (tmp_1632 > (- x)) THEN tmp_1633 ELSE (- x) ENDIF IN LET tmp_1625 = IF (tmp_1627 > ((27500000000000002220446049250313080847263336181640625e-53) - y)) THEN tmp_1631 ELSE ((27500000000000002220446049250313080847263336181640625e-53) - y) ENDIF IN LET tmp_1641 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1642 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1640 = IF (tmp_1641 > (- x)) THEN tmp_1642 ELSE (- x) ENDIF IN LET tmp_1645 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1646 = IF ((y - (5500000000000000444089209850062616169452667236328125e-52)) > (x - (5500000000000000444089209850062616169452667236328125e-52))) THEN (y - (5500000000000000444089209850062616169452667236328125e-52)) ELSE (x - (5500000000000000444089209850062616169452667236328125e-52)) ENDIF IN LET tmp_1644 = IF (tmp_1645 > (- x)) THEN tmp_1646 ELSE (- x) ENDIF IN LET tmp_1638 = IF (tmp_1640 > ((27500000000000002220446049250313080847263336181640625e-53) - y)) THEN tmp_1644 ELSE ((27500000000000002220446049250313080847263336181640625e-53) - y) ENDIF IN LET tmp_1620 = IF (tmp_1625 > ((174999999999999988897769753748434595763683319091796875e-54) - t_0)) THEN tmp_1638 ELSE ((174999999999999988897769753748434595763683319091796875e-54) - t_0) ENDIF IN LET tmp_1566 = IF (tmp_1580 > (t_0 - (27500000000000002220446049250313080847263336181640625e-53))) THEN tmp_1620 ELSE (t_0 - (27500000000000002220446049250313080847263336181640625e-53)) ENDIF IN LET tmp_468 = IF (tmp_616 < tmp_977) THEN tmp_1205 ELSE tmp_1566 ENDIF IN tmp_468 END code
\begin{array}{l}
t_0 := \sqrt{{\left(y - 0.275\right)}^{2} + {\left(x - 0.275\right)}^{2}}\\
\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(y - 0.55, -y\right), x - 0.825\right), 0.725 - x\right), \sqrt{{\left(y - 0.7\right)}^{2} + {\left(x - 0.775\right)}^{2}} - 0.075\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(-y, y - 0.275\right), x - 0.55\right), 0.45 - x\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(-y, y - 1\right), x - 0.1\right), -x\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(y - 0.55, x - 0.55\right), -x\right), 0.275 - y\right), 0.175 - t\_0\right), t\_0 - 0.275\right)\right)
\end{array}
herbie shell --seed 2025360
(FPCore (x y)
:name "The letters hi in the upper-right quadrant"
:precision binary64
(fmin (fmin (fmin (fmin (fmax (fmax (fmax (- y 0.55) (- y)) (- x 0.825)) (- 0.725 x)) (- (sqrt (+ (pow (- y 0.7) 2.0) (pow (- x 0.775) 2.0))) 0.075)) (fmax (fmax (fmax (- y) (- y 0.275)) (- x 0.55)) (- 0.45 x))) (fmax (fmax (fmax (- y) (- y 1.0)) (- x 0.1)) (- x))) (fmax (fmax (fmax (fmax (fmax (- y 0.55) (- x 0.55)) (- x)) (- 0.275 y)) (- 0.175 (sqrt (+ (pow (- y 0.275) 2.0) (pow (- x 0.275) 2.0))))) (- (sqrt (+ (pow (- y 0.275) 2.0) (pow (- x 0.275) 2.0))) 0.275))))
Please file a bug report with this information.
| timeline-push!: contract violation expected: jsexpr? given: '#hash((nodes . (11/20 33/40 29/40 7/10 2 31/40 3/40 11/40 9/20 1 1/10 7/40)) (roots . (0 1 2 3 4 5 6 7 8 9 10 11))) in: the repeated argument of (-> symbol? jsexpr? ... void?) contract from: <pkgs>/herbie/utils/timeline.rkt blaming: <pkgs>/herbie/core/patch.rkt (assuming the contract is correct) at: <pkgs>/herbie/utils/timeline.rkt:9:24 | L | C | |
|---|---|---|---|
| raise-blame-error | /usr/share/racket/collects/racket/contract/private/blame.rkt | 346 | 0 |
| loop | /usr/share/racket/collects/racket/contract/private/list.rkt | 991 | 12 |
| (unnamed) | .../private/arrow-val-first.rkt | 486 | 18 |
| run-evaluate | /home/nightlies/herbie/batch-timeline/src/core/patch.rkt | 117 | 0 |
| generate-candidates | /home/nightlies/herbie/batch-timeline/src/core/patch.rkt | 204 | 0 |
| run-iteration! | /home/nightlies/herbie/batch-timeline/src/core/mainloop.rkt | 239 | 0 |
| run-improve! | /home/nightlies/herbie/batch-timeline/src/core/mainloop.rkt | 47 | 0 |
| get-alternatives | /home/nightlies/herbie/batch-timeline/src/api/sandbox.rkt | 61 | 0 |
| (unnamed) | /home/nightlies/herbie/batch-timeline/src/api/sandbox.rkt | 181 | 6 |
| (unnamed) | /usr/share/racket/pkgs/profile-lib/main.rkt | 40 | 10 |
| profile-thunk | /usr/share/racket/pkgs/profile-lib/main.rkt | 9 | 0 |
| in-engine | /home/nightlies/herbie/batch-timeline/src/api/sandbox.rkt | 197 | 2 |
| (unnamed) | /usr/share/racket/collects/racket/engine.rkt | 42 | 24 |