2.51   ODE No. 51

\[ -h(x) (y(x)-f(x)) (y(x)-g(x)) \left (y(x)-\frac {a f(x)+b g(x)}{a+b}\right )-\frac {f'(x) (y(x)-g(x))}{f(x)-g(x)}-\frac {(y(x)-f(x)) g'(x)}{g(x)-f(x)}+y'(x)=0 \] Mathematica : cpu = 1.08546 (sec), leaf count = 355

DSolve[-(h[x]*(-f[x] + y[x])*(-g[x] + y[x])*(-((a*f[x] + b*g[x])/(a + b)) + y[x])) - ((-g[x] + y[x])*Derivative[1][f][x])/(f[x] - g[x]) - ((-f[x] + y[x])*Derivative[1][g][x])/(-f[x] + g[x]) + Derivative[1][y][x] == 0,y[x],x]
 

\[\text {Solve}\left [-\frac {1}{3} (a-b)^{2/3} (2 a+b)^{2/3} (a+2 b)^{2/3} \text {RootSum}\left [\text {$\#$1}^3 (a-b)^{2/3} (2 a+b)^{2/3} (a+2 b)^{2/3}-3 \text {$\#$1} a^2-3 \text {$\#$1} a b-3 \text {$\#$1} b^2+(a-b)^{2/3} (2 a+b)^{2/3} (a+2 b)^{2/3}\& ,\frac {\log \left (\frac {\frac {-2 a f(x) h(x)-a g(x) h(x)-b f(x) h(x)-2 b g(x) h(x)}{a+b}+3 h(x) y(x)}{\sqrt [3]{\frac {(f(x)-g(x))^3 \left (2 a^3 h(x)^3+3 a^2 b h(x)^3-3 a b^2 h(x)^3-2 b^3 h(x)^3\right )}{(a+b)^3}}}-\text {$\#$1}\right )}{-\text {$\#$1}^2 (a-b)^{2/3} (2 a+b)^{2/3} (a+2 b)^{2/3}+a^2+a b+b^2}\& \right ]=\int _1^x\frac {\left (\frac {(f(K[1])-g(K[1]))^3 \left (2 a^3 h(K[1])^3-2 b^3 h(K[1])^3-3 a b^2 h(K[1])^3+3 a^2 b h(K[1])^3\right )}{(a+b)^3}\right )^{2/3}}{9 h(K[1])}dK[1]+c_1,y(x)\right ]\] Maple : cpu = 1.33 (sec), leaf count = 648

dsolve(diff(y(x),x)-(y(x)-f(x))*(y(x)-g(x))*(y(x)-(a*f(x)+b*g(x))/(a+b))*h(x)-diff(f(x),x)*(y(x)-g(x))/(f(x)-g(x))-diff(g(x),x)*(y(x)-f(x))/(g(x)-f(x)) = 0,y(x))
 

\[y \left (x \right ) = \frac {\left (f \left (x \right )-g \left (x \right )\right ) \left (a +2 b \right ) {\mathrm e}^{\operatorname {RootOf}\left (3 c_{1} a^{3} b +6 c_{1} a^{2} b^{2}+3 c_{1} a \,b^{3}-2 a^{3} b \left (\int h \left (x \right ) f \left (x \right ) g \left (x \right )d x \right )-2 a^{2} b^{2} \left (\int h \left (x \right ) f \left (x \right ) g \left (x \right )d x \right )-2 a \,b^{3} \left (\int h \left (x \right ) f \left (x \right ) g \left (x \right )d x \right )+a^{3} b \left (\int h \left (x \right ) g \left (x \right )^{2}d x \right )+a^{2} b^{2} \left (\int h \left (x \right ) g \left (x \right )^{2}d x \right )+a \,b^{3} \left (\int h \left (x \right ) g \left (x \right )^{2}d x \right )+a^{3} b \left (\int h \left (x \right ) f \left (x \right )^{2}d x \right )+a^{2} b^{2} \left (\int h \left (x \right ) f \left (x \right )^{2}d x \right )+a \,b^{3} \left (\int h \left (x \right ) f \left (x \right )^{2}d x \right )-a^{3} b \ln \left (\frac {9 a^{3}+18 a^{2} b +18 a \,b^{2}+9 b^{3}+a \,{\mathrm e}^{\textit {\_Z}}+2 b \,{\mathrm e}^{\textit {\_Z}}}{2 a +b}\right )-2 a^{2} b^{2} \ln \left (\frac {9 a^{3}+18 a^{2} b +18 a \,b^{2}+9 b^{3}+a \,{\mathrm e}^{\textit {\_Z}}+2 b \,{\mathrm e}^{\textit {\_Z}}}{2 a +b}\right )-2 a \,b^{3} \ln \left (\frac {9 a^{3}+18 a^{2} b +18 a \,b^{2}+9 b^{3}+a \,{\mathrm e}^{\textit {\_Z}}+2 b \,{\mathrm e}^{\textit {\_Z}}}{2 a +b}\right )+4 \ln \left (\frac {9 a^{2} b +9 a \,b^{2}+9 b^{3}+a \,{\mathrm e}^{\textit {\_Z}}+2 b \,{\mathrm e}^{\textit {\_Z}}}{a -b}\right ) a^{2} b^{2}+3 \ln \left (\frac {9 a^{2} b +9 a \,b^{2}+9 b^{3}+a \,{\mathrm e}^{\textit {\_Z}}+2 b \,{\mathrm e}^{\textit {\_Z}}}{a -b}\right ) a \,b^{3}+3 \ln \left (\frac {9 a^{2} b +9 a \,b^{2}+9 b^{3}+a \,{\mathrm e}^{\textit {\_Z}}+2 b \,{\mathrm e}^{\textit {\_Z}}}{a -b}\right ) a^{3} b -2 \textit {\_Z} \,a^{3} b -2 \textit {\_Z} \,a^{2} b^{2}-\textit {\_Z} a \,b^{3}-\textit {\_Z} \,a^{4}-b^{4} \ln \left (\frac {9 a^{3}+18 a^{2} b +18 a \,b^{2}+9 b^{3}+a \,{\mathrm e}^{\textit {\_Z}}+2 b \,{\mathrm e}^{\textit {\_Z}}}{2 a +b}\right )+\ln \left (\frac {9 a^{2} b +9 a \,b^{2}+9 b^{3}+a \,{\mathrm e}^{\textit {\_Z}}+2 b \,{\mathrm e}^{\textit {\_Z}}}{a -b}\right ) a^{4}+\ln \left (\frac {9 a^{2} b +9 a \,b^{2}+9 b^{3}+a \,{\mathrm e}^{\textit {\_Z}}+2 b \,{\mathrm e}^{\textit {\_Z}}}{a -b}\right ) b^{4}\right )}+9 \left (a^{2}+a b +b^{2}\right ) \left (a +b \right ) f \left (x \right )}{9 a^{3}+18 a^{2} b +18 a \,b^{2}+9 b^{3}}\]