Given $0 < x \le 1 \le y$. Calculate the minimum value of $$\large \dfrac{x}{y + 1} + \dfrac{y}{x + 1} + \dfrac{x^2 + 3y^2 + 2}{6xy \cdot (xy + 1)}$$
We have that $$\frac{x^2 + 3y^2 + 2}{6xy \cdot (xy + 1)} \ge \left[ \begin{align} \frac{2 \cdot (x + 3y + 2)^2}{12xy \cdot (6xy + 6)}\\ \frac{2 \cdot (2xy + 4y)}{12xy \cdot (xy + 1)} \end{align} \right. = \frac{8 \cdot y(\sqrt{x} + 2)^2}{9 \cdot (3xy + 1)^2}$$
But that's all I have.
Show that $$\frac{x}{y+1}+\frac{y}{x+1}+\frac{x^2+3y^2+2}{6xy(xy+1)}\geq \frac{3}{2}$$ The equal sign holds if $x=y=1$