\[ y'(x)-\text {R1}\left (x,\sqrt {\text {a0}+\text {a1} x+\text {a2} x^2+\text {a3} x^3+\text {a4} x^4}\right ) \text {R2}\left (y(x),\sqrt {\text {b0}+\text {b1} y(x)+\text {b2} y(x)^2+\text {b3} y(x)^3+\text {b4} y(x)^4}\right )=0 \] ✓ Mathematica : cpu = 0.20499 (sec), leaf count = 89
\[\left \{\left \{y(x)\to \text {InverseFunction}\left [\int _1^{\text {$\#$1}}\frac {1}{\text {R2}\left (K[1],\sqrt {\text {b4} K[1]^4+\text {b3} K[1]^3+\text {b2} K[1]^2+\text {b1} K[1]+\text {b0}}\right )}dK[1]\& \right ]\left [\int _1^x\text {R1}\left (K[2],\sqrt {\text {a4} K[2]^4+\text {a3} K[2]^3+\text {a2} K[2]^2+\text {a1} K[2]+\text {a0}}\right )dK[2]+c_1\right ]\right \}\right \}\] ✓ Maple : cpu = 0.019 (sec), leaf count = 64
\[\left \{c_{1}-\left (\int _{}^{y \left (x \right )}\frac {1}{\mathit {R2} \left (\textit {\_a} , \sqrt {\textit {\_a}^{4} \mathit {b4} +\textit {\_a}^{3} \mathit {b3} +\textit {\_a}^{2} \mathit {b2} +\textit {\_a} \mathit {b1} +\mathit {b0}}\right )}d \textit {\_a} \right )+\int \mathit {R1} \left (x , \sqrt {\mathit {a4} \,x^{4}+\mathit {a3} \,x^{3}+\mathit {a2} \,x^{2}+\mathit {a1} x +\mathit {a0}}\right )d x = 0\right \}\]