Правильно, только можно ещё проще.
При 0 <= y <= 1/2 мы получаем, что -(1 - y^2)^(1/2) <= x <= 3^(1/2)/2
При 1/2 <= y <= 1 мы получаем, что -(1 - y^2)^(1/2) <= x <= (1 - y^2)^(1/2)