\[ -\text {a0} (a-y(x))^2 (b-y(x))^2 (c-y(x))^2-\text {a2} (a-y(x))^2 (c-y(x))^2-\text {a3} (a-y(x))^2 (b-y(x))^2+2 (a-y(x)) (b-y(x)) (c-y(x)) y''(x)+y'(x)^2 ((a-y(x)) (b-y(x))+(a-y(x)) (c-y(x))+(b-y(x)) (c-y(x)))-\text {a1} (b-y(x))^2 (c-y(x))^2=0 \] ✓ Mathematica : cpu = 21.1675 (sec), leaf count = 9968
\[\left \{\text {Solve}\left [\frac {2 F\left (\sin ^{-1}\left (\sqrt {\frac {\left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,2\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,4\right ]\right ) \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,1\right ]-y(x)\right )}{\left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,1\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,4\right ]\right ) \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,2\right ]-y(x)\right )}}\right )|\frac {\left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,2\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,3\right ]\right ) \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,1\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,4\right ]\right )}{\left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,1\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,3\right ]\right ) \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,2\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,4\right ]\right )}\right ) \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,1\right ]-y(x)\right ) \sqrt {\frac {\left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,1\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,2\right ]\right ) \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,3\right ]-y(x)\right )}{\left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,1\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,3\right ]\right ) \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,2\right ]-y(x)\right )}} \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,4\right ]-y(x)\right )}{\left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,1\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,4\right ]\right ) \sqrt {\frac {\left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,1\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,2\right ]\right ) \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,2\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,4\right ]\right ) \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,1\right ]-y(x)\right ) \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,4\right ]-y(x)\right )}{\left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,1\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,4\right ]\right ){}^2 \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,2\right ]-y(x)\right ){}^2}} \sqrt {\text {a1} (b-y(x)) (c-y(x))-y(x) \left (\text {a2}+(b-y(x)) \left (\text {a0} y(x)-c_1\right )\right ) (c-y(x))+\text {a3} y(x) (y(x)-b)+a \left (\text {a3} (b-y(x))+(c-y(x)) \left (\text {a2}+(b-y(x)) \left (\text {a0} y(x)-c_1\right )\right )\right )}}=x+c_2,y(x)\right ],\text {Solve}\left [\frac {2 F\left (\sin ^{-1}\left (\sqrt {\frac {\left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,2\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,4\right ]\right ) \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,1\right ]-y(x)\right )}{\left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,1\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,4\right ]\right ) \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,2\right ]-y(x)\right )}}\right )|\frac {\left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,2\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,3\right ]\right ) \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,1\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,4\right ]\right )}{\left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,1\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,3\right ]\right ) \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,2\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,4\right ]\right )}\right ) \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,1\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,4\right ]\right ) \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,2\right ]-y(x)\right ){}^2 \sqrt {\frac {\left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,1\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,2\right ]\right ) \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,3\right ]-y(x)\right )}{\left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,1\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,3\right ]\right ) \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,2\right ]-y(x)\right )}} \sqrt {\frac {\left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,1\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,2\right ]\right ) \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,2\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,4\right ]\right ) \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,1\right ]-y(x)\right ) \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,4\right ]-y(x)\right )}{\left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,1\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,4\right ]\right ){}^2 \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,2\right ]-y(x)\right ){}^2}}}{\left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,2\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,1\right ]\right ) \left (\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,2\right ]-\text {Root}\left [\text {a0} \text {$\#$1}^4+\left (-a \text {a0}-b \text {a0}-c \text {a0}-c_1\right ) \text {$\#$1}^3+\left (-\text {a1}-\text {a2}-\text {a3}+a \text {a0} b+a \text {a0} c+\text {a0} b c+a c_1+b c_1+c c_1\right ) \text {$\#$1}^2+\left (a \text {a2}+c \text {a2}+a \text {a3}+\text {a1} b+\text {a3} b+\text {a1} c-a \text {a0} b c-a b c_1-a c c_1-b c c_1\right ) \text {$\#$1}-a \text {a3} b-a \text {a2} c-\text {a1} b c+a b c c_1\& ,4\right ]\right ) \sqrt {\text {a1} (b-y(x)) (c-y(x))-y(x) \left (\text {a2}+(b-y(x)) \left (\text {a0} y(x)-c_1\right )\right ) (c-y(x))+\text {a3} y(x) (y(x)-b)+a \left (\text {a3} (b-y(x))+(c-y(x)) \left (\text {a2}+(b-y(x)) \left (\text {a0} y(x)-c_1\right )\right )\right )}}=x+c_2,y(x)\right ]\right \}\]
✓ Maple : cpu = 2.592 (sec), leaf count = 115620
\[\text {result too large to display}\]