ODE
\[ \left (\text {a0}+\text {a1} x+4 x^3\right )^{2/3} y'(x)+\left (\text {a0}+\text {a1} y(x)+4 y(x)^3\right )^{2/3}=0 \] ODE Classification
[_separable]
Book solution method
Separable ODE, Neither variable missing
Mathematica ✓
cpu = 0.933539 (sec), leaf count = 558
\[\text {Solve}\left [\frac {3 \left (\frac {x-\text {Root}\left [4 \text {$\#$1}^3+\text {$\#$1} \text {a1}+\text {a0}\& ,2\right ]}{\text {Root}\left [4 \text {$\#$1}^3+\text {$\#$1} \text {a1}+\text {a0}\& ,1\right ]-\text {Root}\left [4 \text {$\#$1}^3+\text {$\#$1} \text {a1}+\text {a0}\& ,2\right ]}\right )^{2/3} \sqrt [3]{\frac {x-\text {Root}\left [4 \text {$\#$1}^3+\text {$\#$1} \text {a1}+\text {a0}\& ,3\right ]}{\text {Root}\left [4 \text {$\#$1}^3+\text {$\#$1} \text {a1}+\text {a0}\& ,1\right ]-\text {Root}\left [4 \text {$\#$1}^3+\text {$\#$1} \text {a1}+\text {a0}\& ,3\right ]}} \left (x-\text {Root}\left [4 \text {$\#$1}^3+\text {$\#$1} \text {a1}+\text {a0}\& ,1\right ]\right ) \, _2F_1\left (\frac {1}{3},\frac {2}{3};\frac {4}{3};\frac {\left (x-\text {Root}\left [4 \text {$\#$1}^3+\text {a1} \text {$\#$1}+\text {a0}\& ,1\right ]\right ) \left (\text {Root}\left [4 \text {$\#$1}^3+\text {a1} \text {$\#$1}+\text {a0}\& ,3\right ]-\text {Root}\left [4 \text {$\#$1}^3+\text {a1} \text {$\#$1}+\text {a0}\& ,2\right ]\right )}{\left (\text {Root}\left [4 \text {$\#$1}^3+\text {a1} \text {$\#$1}+\text {a0}\& ,1\right ]-\text {Root}\left [4 \text {$\#$1}^3+\text {a1} \text {$\#$1}+\text {a0}\& ,2\right ]\right ) \left (x-\text {Root}\left [4 \text {$\#$1}^3+\text {a1} \text {$\#$1}+\text {a0}\& ,3\right ]\right )}\right )}{\left (\text {a0}+\text {a1} x+4 x^3\right )^{2/3}}+\frac {3 \left (y(x)-\text {Root}\left [4 \text {$\#$1}^3+\text {$\#$1} \text {a1}+\text {a0}\& ,1\right ]\right ) \left (\frac {y(x)-\text {Root}\left [4 \text {$\#$1}^3+\text {$\#$1} \text {a1}+\text {a0}\& ,2\right ]}{\text {Root}\left [4 \text {$\#$1}^3+\text {$\#$1} \text {a1}+\text {a0}\& ,1\right ]-\text {Root}\left [4 \text {$\#$1}^3+\text {$\#$1} \text {a1}+\text {a0}\& ,2\right ]}\right )^{2/3} \sqrt [3]{\frac {y(x)-\text {Root}\left [4 \text {$\#$1}^3+\text {$\#$1} \text {a1}+\text {a0}\& ,3\right ]}{\text {Root}\left [4 \text {$\#$1}^3+\text {$\#$1} \text {a1}+\text {a0}\& ,1\right ]-\text {Root}\left [4 \text {$\#$1}^3+\text {$\#$1} \text {a1}+\text {a0}\& ,3\right ]}} \, _2F_1\left (\frac {1}{3},\frac {2}{3};\frac {4}{3};\frac {\left (\text {Root}\left [4 \text {$\#$1}^3+\text {a1} \text {$\#$1}+\text {a0}\& ,3\right ]-\text {Root}\left [4 \text {$\#$1}^3+\text {a1} \text {$\#$1}+\text {a0}\& ,2\right ]\right ) \left (y(x)-\text {Root}\left [4 \text {$\#$1}^3+\text {a1} \text {$\#$1}+\text {a0}\& ,1\right ]\right )}{\left (\text {Root}\left [4 \text {$\#$1}^3+\text {a1} \text {$\#$1}+\text {a0}\& ,1\right ]-\text {Root}\left [4 \text {$\#$1}^3+\text {a1} \text {$\#$1}+\text {a0}\& ,2\right ]\right ) \left (y(x)-\text {Root}\left [4 \text {$\#$1}^3+\text {a1} \text {$\#$1}+\text {a0}\& ,3\right ]\right )}\right )}{\left (\text {a0}+\text {a1} y(x)+4 y(x)^3\right )^{2/3}}=c_1,y(x)\right ]\]
Maple ✓
cpu = 0.097 (sec), leaf count = 36
\[\left [\int \frac {1}{\left (4 x^{3}+\mathit {a1} x +\mathit {a0} \right )^{\frac {2}{3}}}d x +\int _{}^{y \left (x \right )}\frac {1}{\left (4 \textit {\_a}^{3}+\textit {\_a} \mathit {a1} +\mathit {a0} \right )^{\frac {2}{3}}}d \textit {\_a} +\textit {\_C1} = 0\right ]\] Mathematica raw input
DSolve[(a0 + a1*y[x] + 4*y[x]^3)^(2/3) + (a0 + a1*x + 4*x^3)^(2/3)*y'[x] == 0,y[x],x]
Mathematica raw output
Solve[(3*Hypergeometric2F1[1/3, 2/3, 4/3, ((x - Root[a0 + a1*#1 + 4*#1^3 & , 1])*(-Root[a0 + a1*#1 + 4*#1^3 & , 2] + Root[a0 + a1*#1 + 4*#1^3 & , 3]))/((Root[a0 + a1*#1 + 4*#1^3 & , 1] - Root[a0 + a1*#1 + 4*#1^3 & , 2])*(x - Root[a0 + a1*#1 + 4*#1^3 & , 3]))]*(x - Root[a0 + a1*#1 + 4*#1^3 & , 1])*((x - Root[a0 + a1*#1 + 4*#1^3 & , 2])/(Root[a0 + a1*#1 + 4*#1^3 & , 1] - Root[a0 + a1*#1 + 4*#1^3 & , 2]))^(2/3)*((x - Root[a0 + a1*#1 + 4*#1^3 & , 3])/(Root[a0 + a1*#1 + 4*#1^3 & , 1] - Root[a0 + a1*#1 + 4*#1^3 & , 3]))^(1/3))/(a0 + a1*x + 4*x^3)^(2/3) + (3*Hypergeometric2F1[1/3, 2/3, 4/3, ((-Root[a0 + a1*#1 + 4*#1^3 & , 2] + Root[a0 + a1*#1 + 4*#1^3 & , 3])*(-Root[a0 + a1*#1 + 4*#1^3 & , 1] + y[x]))/((Root[a0 + a1*#1 + 4*#1^3 & , 1] - Root[a0 + a1*#1 + 4*#1^3 & , 2])*(-Root[a0 + a1*#1 + 4*#1^3 & , 3] + y[x]))]*(-Root[a0 + a1*#1 + 4*#1^3 & , 1] + y[x])*((-Root[a0 + a1*#1 + 4*#1^3 & , 2] + y[x])/(Root[a0 + a1*#1 + 4*#1^3 & , 1] - Root[a0 + a1*#1 + 4*#1^3 & , 2]))^(2/3)*((-Root[a0 + a1*#1 + 4*#1^3 & , 3] + y[x])/(Root[a0 + a1*#1 + 4*#1^3 & , 1] - Root[a0 + a1*#1 + 4*#1^3 & , 3]))^(1/3))/(a0 + a1*y[x] + 4*y[x]^3)^(2/3) == C[1], y[x]]
Maple raw input
dsolve(diff(y(x),x)*(4*x^3+a1*x+a0)^(2/3)+(a0+a1*y(x)+4*y(x)^3)^(2/3) = 0, y(x))
Maple raw output
[Int(1/(4*x^3+a1*x+a0)^(2/3),x)+Intat(1/(4*_a^3+_a*a1+a0)^(2/3),_a = y(x))+_C1 = 0]