Solve y>-xwedgeln(x+y)neq0wedgex^2+y^2geq9

$$y > - x \wedge \ln ( x + y ) \neq 0 \wedge x ^ { 2 } + y ^ { 2 } \geq 9$$

Solve for x

$$x\in \mathrm{R}\setminus (1-y\cup (-\infty,-y]\text{, }(y>\frac{3\sqrt{2}}{2}\text{ and }y\leq 3)\text{ or }(y>\frac{1-\sqrt{17}}{2}\text{ and }y<\frac{\sqrt{17}+1}{2}\text{ and }|y|<3)\text{ or }y\leq -\frac{3\sqrt{2}}{2}\text{ or }y>3\text{ or }|y|<\frac{3\sqrt{2}}{2}\text{ or }(y>-\frac{3\sqrt{2}}{2}\text{ and }y\leq \frac{1-\sqrt{17}}{2})\text{ or }(y\geq 0\text{ and }y<3)\cup (-\infty,-\sqrt{9-y^{2}})\text{, }(y\geq 1\text{ and }y\leq \frac{3\sqrt{2}}{2})\text{ or }(y\geq -3\text{ and }y\leq -\frac{3\sqrt{2}}{2})\text{ or }|y|<\frac{3\sqrt{2}}{2}\text{ or }(y\geq 0\text{ and }y\leq \frac{3\sqrt{2}}{2})\text{ or }(y>-\frac{3\sqrt{2}}{2}\text{ and }y\leq \frac{1-\sqrt{17}}{2})\text{ or }(|y|<3\text{ and }y>\frac{1-\sqrt{17}}{2}\text{ and }y\leq \frac{3\sqrt{2}}{2})\cup (-\infty,\sqrt{9-y^{2}})\text{, }(|y|<3\text{ and }y>\frac{1-\sqrt{17}}{2}\text{ and }y\leq \frac{3\sqrt{2}}{2})\text{ or }(y>-\frac{3\sqrt{2}}{2}\text{ and }y\leq \frac{1-\sqrt{17}}{2})\text{ or }(y\geq -3\text{ and }y\leq -\frac{3\sqrt{2}}{2})\cup (-\infty,1-y]\text{, }(y\geq 1\text{ and }y\leq \frac{3\sqrt{2}}{2})\text{ or }(y>\frac{1-\sqrt{17}}{2}\text{ and }|y|<3\text{ and }y\leq \frac{3\sqrt{2}}{2})\cup (-\sqrt{9-y^{2}},-y]\text{, }(y\geq 0\text{ and }y\leq \frac{3\sqrt{2}}{2})\text{ or }(y>-\frac{3\sqrt{2}}{2}\text{ and }y\leq \frac{1-\sqrt{17}}{2})\text{ or }(y\leq \frac{3\sqrt{2}}{2}\text{ and }y>\frac{1-\sqrt{17}}{2}\text{ and }|y|<3)\text{ or }(y\geq -3\text{ and }y\leq -\frac{3\sqrt{2}}{2})\text{ or }(y>-\frac{3\sqrt{2}}{2}\text{ and }y\leq 0)\text{ or }|y|<\frac{3\sqrt{2}}{2}\cup (-\sqrt{9-y^{2}},1-y]\text{, }(y<\frac{\sqrt{17}+1}{2}\text{ and }y>\frac{1-\sqrt{17}}{2}\text{ and }|y|<3)\text{ or }(y\geq 1\text{ and }y<\frac{\sqrt{17}+1}{2})\cup (-\sqrt{9-y^{2}},\sqrt{9-y^{2}})\text{, }(y>-3\text{ and }y\leq -\frac{3\sqrt{2}}{2})\text{ or }(y>-\frac{3\sqrt{2}}{2}\text{ and }y\leq \frac{1-\sqrt{17}}{2})\text{ or }(y\geq \frac{\sqrt{17}+1}{2}\text{ and }y<3)\text{ or }(y>\frac{1-\sqrt{17}}{2}\text{ and }|y|<3)\cup (\sqrt{9-y^{2}},-y]\text{, }y\geq -3\text{ and }y\leq -\frac{3\sqrt{2}}{2}\cup [1-y,\sqrt{9-y^{2}})\text{, }(y>\frac{1-\sqrt{17}}{2}\text{ and }y<\frac{\sqrt{17}+1}{2}\text{ and }|y|<3)\text{ or }(y\geq 1\text{ and }y\leq \frac{\sqrt{17}+1}{2}))\text{, }|y|>3$$

Solve for y

$$y\in \mathrm{R}\setminus (1-x\cup (-\infty,-x]\text{, }(x>\frac{3\sqrt{2}}{2}\text{ and }x\leq 3)\text{ or }(x>\frac{1-\sqrt{17}}{2}\text{ and }x<\frac{\sqrt{17}+1}{2}\text{ and }|x|<3)\text{ or }x\leq -\frac{3\sqrt{2}}{2}\text{ or }x>3\text{ or }|x|<\frac{3\sqrt{2}}{2}\text{ or }(x>-\frac{3\sqrt{2}}{2}\text{ and }x\leq \frac{1-\sqrt{17}}{2})\text{ or }(x\geq 0\text{ and }x<3)\cup (-\infty,-\sqrt{9-x^{2}})\text{, }(x\geq 1\text{ and }x\leq \frac{3\sqrt{2}}{2})\text{ or }(x\geq -3\text{ and }x\leq -\frac{3\sqrt{2}}{2})\text{ or }|x|<\frac{3\sqrt{2}}{2}\text{ or }(x\geq 0\text{ and }x\leq \frac{3\sqrt{2}}{2})\text{ or }(x>-\frac{3\sqrt{2}}{2}\text{ and }x\leq \frac{1-\sqrt{17}}{2})\text{ or }(|x|<3\text{ and }x>\frac{1-\sqrt{17}}{2}\text{ and }x\leq \frac{3\sqrt{2}}{2})\cup (-\infty,\sqrt{9-x^{2}})\text{, }(|x|<3\text{ and }x>\frac{1-\sqrt{17}}{2}\text{ and }x\leq \frac{3\sqrt{2}}{2})\text{ or }(x>-\frac{3\sqrt{2}}{2}\text{ and }x\leq \frac{1-\sqrt{17}}{2})\text{ or }(x\geq -3\text{ and }x\leq -\frac{3\sqrt{2}}{2})\cup (-\infty,1-x]\text{, }(x\geq 1\text{ and }x\leq \frac{3\sqrt{2}}{2})\text{ or }(x>\frac{1-\sqrt{17}}{2}\text{ and }|x|<3\text{ and }x\leq \frac{3\sqrt{2}}{2})\cup (-\sqrt{9-x^{2}},-x]\text{, }(x\geq 0\text{ and }x\leq \frac{3\sqrt{2}}{2})\text{ or }(x>-\frac{3\sqrt{2}}{2}\text{ and }x\leq \frac{1-\sqrt{17}}{2})\text{ or }(x\leq \frac{3\sqrt{2}}{2}\text{ and }x>\frac{1-\sqrt{17}}{2}\text{ and }|x|<3)\text{ or }(x\geq -3\text{ and }x\leq -\frac{3\sqrt{2}}{2})\text{ or }(x>-\frac{3\sqrt{2}}{2}\text{ and }x\leq 0)\text{ or }|x|<\frac{3\sqrt{2}}{2}\cup (-\sqrt{9-x^{2}},1-x]\text{, }(x<\frac{\sqrt{17}+1}{2}\text{ and }x>\frac{1-\sqrt{17}}{2}\text{ and }|x|<3)\text{ or }(x\geq 1\text{ and }x<\frac{\sqrt{17}+1}{2})\cup (-\sqrt{9-x^{2}},\sqrt{9-x^{2}})\text{, }(x>-3\text{ and }x\leq -\frac{3\sqrt{2}}{2})\text{ or }(x>-\frac{3\sqrt{2}}{2}\text{ and }x\leq \frac{1-\sqrt{17}}{2})\text{ or }(x\geq \frac{\sqrt{17}+1}{2}\text{ and }x<3)\text{ or }(x>\frac{1-\sqrt{17}}{2}\text{ and }|x|<3)\cup (\sqrt{9-x^{2}},-x]\text{, }x\geq -3\text{ and }x\leq -\frac{3\sqrt{2}}{2}\cup [1-x,\sqrt{9-x^{2}})\text{, }(x>\frac{1-\sqrt{17}}{2}\text{ and }x<\frac{\sqrt{17}+1}{2}\text{ and }|x|<3)\text{ or }(x\geq 1\text{ and }x\leq \frac{\sqrt{17}+1}{2}))\text{, }|x|>3$$