| # |
ODE |
CAS classification |
Solved |
Maple |
Mma |
Sympy |
time(sec) |
| \begin{align*}
1+x y \left (1+x y^{2}\right ) y^{\prime }&=0 \\
y \left (1\right ) &= 0 \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
✓ |
✗ |
✗ |
3.690 |
|
| \begin{align*}
y^{\prime }&=\frac {1}{y x +x^{3} y^{3}} \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
✓ |
✓ |
✓ |
5.107 |
|
| \begin{align*}
y^{\prime }+x \left (\sin \left (2 y\right )-x^{2} \cos \left (y\right )^{2}\right )&=0 \\
\end{align*} |
[‘y=_G(x,y’)‘] |
✓ |
✓ |
✓ |
✗ |
18.645 |
|
| \begin{align*}
x \left (x^{3}-3 x^{3} y+4 y^{2}\right ) y^{\prime }&=6 y^{3} \\
\end{align*} |
[_rational, [_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
✓ |
✓ |
✓ |
5.813 |
|
| \begin{align*}
\left (x +2 y+2 x^{2} y^{3}+x y^{4}\right ) y^{\prime }+\left (1+y^{4}\right ) y&=0 \\
\end{align*} |
[_rational] |
✓ |
✓ |
✓ |
✗ |
8.520 |
|
| \begin{align*}
x y {y^{\prime }}^{2}+\left (a +x^{2}-y^{2}\right ) y^{\prime }-y x&=0 \\
\end{align*} |
[_rational] |
✓ |
✓ |
✓ |
✗ |
195.393 |
|
| \begin{align*}
2 x^{3} {y^{\prime }}^{3}+6 x^{2} y {y^{\prime }}^{2}-\left (1-6 y x \right ) y y^{\prime }+2 y^{3}&=0 \\
\end{align*} |
[[_homogeneous, ‘class G‘]] |
✓ |
✓ |
✓ |
✗ |
305.499 |
|
| \begin{align*}
x^{4} {y^{\prime }}^{3}-x^{3} y {y^{\prime }}^{2}-x^{2} y^{2} y^{\prime }+x y^{3}&=1 \\
\end{align*} |
[[_1st_order, _with_linear_symmetries]] |
✓ |
✓ |
✓ |
✗ |
193.980 |
|
| \begin{align*}
x -2 \sin \left (y\right )+3+\left (2 x -4 \sin \left (y\right )-3\right ) \cos \left (y\right ) y^{\prime }&=0 \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x),G(y)]‘]] |
✓ |
✓ |
✓ |
✓ |
8.631 |
|
| \begin{align*}
\left (\frac {y^{2}}{b}+\frac {x^{2}}{a}\right ) \left (y y^{\prime }+x \right )+\frac {\left (a -b \right ) \left (y y^{\prime }-x \right )}{a +b}&=0 \\
\end{align*} |
[_rational] |
✓ |
✓ |
✓ |
✗ |
206.154 |
|
| \begin{align*}
\left (x^{2} y^{3}+y x \right ) y^{\prime }-1&=0 \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
✓ |
✓ |
✓ |
3.156 |
|
| \begin{align*}
\left (x +2 y+2 x^{2} y^{3}+x y^{4}\right ) y^{\prime }+y^{5}+y&=0 \\
\end{align*} |
[_rational] |
✓ |
✓ |
✓ |
✗ |
4.829 |
|
| \begin{align*}
a x y {y^{\prime }}^{2}-\left (a y^{2}+b \,x^{2}+c \right ) y^{\prime }+b x y&=0 \\
\end{align*} |
[_rational] |
✓ |
✓ |
✓ |
✗ |
135.895 |
|
| \begin{align*}
2 \left (x y^{\prime }+y\right )^{3}-y y^{\prime }&=0 \\
\end{align*} |
[[_homogeneous, ‘class G‘]] |
✓ |
✓ |
✓ |
✗ |
321.520 |
|
| \begin{align*}
{y^{\prime }}^{n}-f \left (x \right ) g \left (y\right )&=0 \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✓ |
✓ |
✓ |
✓ |
3.823 |
|
| \begin{align*}
y^{\prime }&=-\frac {\left (a \,x^{2}-2 F \left (y+\frac {a \,x^{4}}{8}\right )\right ) x}{2} \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x),G(x)]‘]] |
✓ |
✓ |
✓ |
✗ |
7.497 |
|
| \begin{align*}
y^{\prime }&=\frac {F \left (\frac {y}{\sqrt {x^{2}+1}}\right ) x}{\sqrt {x^{2}+1}} \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x),G(y)]‘]] |
✓ |
✓ |
✓ |
✗ |
11.444 |
|
| \begin{align*}
y^{\prime }&=-\frac {x^{2} \left (a x -2 \sqrt {a \left (a \,x^{4}+8 y\right )}\right )}{2} \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x),G(x)]‘]] |
✓ |
✓ |
✓ |
✗ |
37.012 |
|
| \begin{align*}
y^{\prime }&=\frac {i x \left (i-2 \sqrt {-x^{2}+4 \ln \left (a \right )+4 \ln \left (y\right )}\right ) y}{2} \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x),G(y)]‘]] |
✓ |
✓ |
✓ |
✗ |
17.626 |
|
| \begin{align*}
y^{\prime }&=\frac {1}{x \left (x y^{2}+1+x \right ) y} \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
✓ |
✓ |
✓ |
3.208 |
|
| \begin{align*}
y^{\prime }&=\frac {\left (2 x +2+y\right ) y}{\left (-1+2 x +\ln \left (y\right )\right ) \left (x +1\right )} \\
\end{align*} |
[‘x=_G(y,y’)‘] |
✓ |
✓ |
✓ |
✗ |
6.813 |
|
| \begin{align*}
y^{\prime }&=\frac {2 y^{6}}{y^{3}+2+16 x y^{2}+32 x^{2} y^{4}} \\
\end{align*} |
[_rational] |
✓ |
✓ |
✓ |
✗ |
4.126 |
|
| \begin{align*}
y^{\prime }&=\frac {y^{3} x \,{\mathrm e}^{3 x^{2}} {\mathrm e}^{-\frac {9 x^{2}}{2}}}{9 \,{\mathrm e}^{\frac {3 x^{2}}{2}}+3 \,{\mathrm e}^{\frac {3 x^{2}}{2}} y+9 y} \\
\end{align*} |
[[_Abel, ‘2nd type‘, ‘class C‘]] |
✓ |
✓ |
✓ |
✗ |
61.912 |
|
| \begin{align*}
y^{\prime }&=\frac {\left (x +y+1\right ) y}{\left (x +y+2 y^{3}\right ) \left (x +1\right )} \\
\end{align*} |
[_rational] |
✓ |
✓ |
✓ |
✗ |
6.262 |
|
| \begin{align*}
y^{\prime }&=\frac {\left (y+3\right )^{3} {\mathrm e}^{\frac {9 x^{2}}{2}} x \,{\mathrm e}^{\frac {3 x^{2}}{2}} {\mathrm e}^{-3 x^{2}}}{243 \,{\mathrm e}^{\frac {3 x^{2}}{2}}+81 \,{\mathrm e}^{\frac {3 x^{2}}{2}} y+243 y} \\
\end{align*} |
[[_Abel, ‘2nd type‘, ‘class C‘]] |
✓ |
✓ |
✓ |
✗ |
74.319 |
|
| \begin{align*}
y^{\prime }&=\frac {\left (\left (x^{2}+1\right )^{{3}/{2}} x^{2}+\left (x^{2}+1\right )^{{3}/{2}}+y^{2} \left (x^{2}+1\right )^{{3}/{2}}+x^{2} y^{3}+y^{3}\right ) x}{\left (x^{2}+1\right )^{3}} \\
\end{align*} |
[_Abel] |
✓ |
✓ |
✓ |
✗ |
59.210 |
|
| \begin{align*}
y^{\prime }&=\frac {\left (x +y+1\right ) y}{\left (y^{4}+y^{3}+y^{2}+x \right ) \left (x +1\right )} \\
\end{align*} |
[_rational] |
✓ |
✓ |
✓ |
✗ |
6.582 |
|
| \begin{align*}
y^{\prime }&=\frac {y \left (x -y\right ) \left (y+1\right )}{x \left (y x +x -y\right )} \\
\end{align*} |
[_rational, [_Abel, ‘2nd type‘, ‘class C‘]] |
✓ |
✓ |
✓ |
✗ |
27.670 |
|
| \begin{align*}
y^{\prime }&=\frac {y \left (x +y\right ) \left (y+1\right )}{x \left (y x +x +y\right )} \\
\end{align*} |
[_rational, [_Abel, ‘2nd type‘, ‘class C‘]] |
✓ |
✓ |
✓ |
✗ |
27.248 |
|
| \begin{align*}
y^{\prime }&=\frac {2 y^{8}}{y^{5}+2 y^{6}+2 y^{2}+16 x y^{4}+32 y^{6} x^{2}+2+24 x y^{2}+96 x^{2} y^{4}+128 x^{3} y^{6}} \\
\end{align*} |
[_rational] |
✓ |
✓ |
✓ |
✗ |
6.174 |
|
| \begin{align*}
y^{\prime }&=\frac {2 y^{6} \left (1+4 x y^{2}+y^{2}\right )}{y^{3}+4 y^{5} x +y^{5}+2+24 x y^{2}+96 x^{2} y^{4}+128 x^{3} y^{6}} \\
\end{align*} |
[_rational] |
✓ |
✗ |
✓ |
✗ |
8.685 |
|
| \begin{align*}
y^{\prime }&=-\frac {216 y}{-216 y^{4}-252 y^{3}-396 y^{2}-216 y+36 x^{2}-72 y x +60 y^{5}-36 x y^{3}-72 x y^{2}-24 x y^{4}+4 y^{8}+12 y^{7}+33 y^{6}} \\
\end{align*} |
[_rational] |
✓ |
✓ |
✓ |
✗ |
6.607 |
|
| \begin{align*}
y^{\prime }&=-\frac {1296 y}{216+216 x^{2}+216 x^{3}-1296 y-846 y^{7}-1944 y^{4}-1728 y^{3}+1080 x y^{3}+1152 x y^{4}+216 x y^{2}-315 y^{9}-432 y x -2376 y^{2}-648 x^{2} y^{2}-126 y^{10}-8 y^{12}-36 y^{11}-882 y^{6}-648 x^{2} y-216 x^{2} y^{4}+1080 y^{5} x +594 x y^{6}+72 y^{8} x +216 y^{7} x -570 y^{8}-324 x^{2} y^{3}-612 y^{5}} \\
\end{align*} |
[_rational] |
✓ |
✓ |
✓ |
✗ |
9.214 |
|
| \begin{align*}
y^{\prime }&=-\frac {216 y \left (-2 y^{4}-3 y^{3}-6 y^{2}-6 y+6 x +6\right )}{216 x^{3}-1296 y+594 y^{7}+2808 y^{4}+1728 y^{3}-648 x y^{3}-432 x y^{4}-1944 x y^{2}-315 y^{9}-1296 y x -1296 y^{2}-648 x^{2} y^{2}-126 y^{10}-8 y^{12}-36 y^{11}+2484 y^{6}-648 x^{2} y-216 x^{2} y^{4}+1080 y^{5} x +594 x y^{6}+72 y^{8} x +216 y^{7} x -18 y^{8}-324 x^{2} y^{3}+4428 y^{5}} \\
\end{align*} |
[_rational] |
✓ |
✓ |
✓ |
✗ |
11.605 |
|
| \begin{align*}
\left (x^{2} y^{3}+y x \right ) y^{\prime }&=1 \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
✓ |
✓ |
✓ |
6.850 |
|
| \begin{align*}
{\mathrm e}^{y}-2 y t +\left (t \,{\mathrm e}^{y}-t^{2}\right ) y^{\prime }&=0 \\
y \left (0\right ) &= 0 \\
\end{align*} |
[_exact] |
✓ |
✓ |
✗ |
✗ |
17.638 |
|
| \begin{align*}
y y^{\prime }+1&=\left (x -1\right ) {\mathrm e}^{-\frac {y^{2}}{2}} \\
\end{align*} |
[‘y=_G(x,y’)‘] |
✓ |
✓ |
✓ |
✗ |
12.467 |
|
| \begin{align*}
\left (x^{2} y^{3}+y x \right ) y^{\prime }&=1 \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
✓ |
✓ |
✓ |
2.109 |
|
| \begin{align*}
{y^{\prime }}^{3}-x^{3} \left (1-y^{\prime }\right )&=0 \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✗ |
41.871 |
|
| \begin{align*}
\left (x^{2} y^{3}+y x \right ) y^{\prime }&=1 \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
✓ |
✓ |
✓ |
3.114 |
|
| \begin{align*}
y^{\prime }+\frac {\tan \left (y\right )}{x}&=\frac {\tan \left (y\right ) \sin \left (y\right )}{x^{2}} \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x),G(y)]‘]] |
✓ |
✓ |
✓ |
✓ |
34.904 |
|
| \begin{align*}
y^{\prime }+\frac {\tan \left (y\right )}{x}&=\frac {\tan \left (y\right ) \sin \left (y\right )}{x^{2}} \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x),G(y)]‘]] |
✓ |
✓ |
✓ |
✓ |
35.943 |
|
| \begin{align*}
x y {y^{\prime }}^{2}-\left (x^{2}+y^{2}-1\right ) y^{\prime }+y x&=0 \\
\end{align*} |
[_rational] |
✓ |
✓ |
✓ |
✗ |
162.364 |
|
| \begin{align*}
y^{\prime }+x \sin \left (2 y\right )&=x^{3} \cos \left (y\right )^{2} \\
\end{align*} |
[‘y=_G(x,y’)‘] |
✓ |
✓ |
✓ |
✗ |
23.375 |
|
| \begin{align*}
y^{\prime }&=\frac {1}{x^{2} y^{3}+y x} \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
✓ |
✓ |
✓ |
4.252 |
|
| \begin{align*}
y^{3} \left (y y^{\prime }+x \right )&=\left (x^{2}+y^{2}\right )^{3} y^{\prime } \\
\end{align*} |
[_rational] |
✓ |
✗ |
✗ |
✗ |
25.320 |
|
| \begin{align*}
y^{\prime }&=\frac {1}{x^{2}+y^{2}} \\
y \left (0\right ) &= 1 \\
\end{align*} |
[‘y=_G(x,y’)‘] |
✓ |
✓ |
✗ |
✗ |
4.783 |
|
| \begin{align*}
y^{\prime }&=\frac {1}{x^{2}+y^{2}} \\
y \left (0\right ) &= 0 \\
\end{align*} |
[‘y=_G(x,y’)‘] |
✓ |
✓ |
✗ |
✗ |
4.256 |
|
| \begin{align*}
y^{\prime }&=\frac {1}{x^{2}-y^{2}} \\
y \left (1\right ) &= 2 \\
\end{align*} |
[‘y=_G(x,y’)‘] |
✓ |
✓ |
✗ |
✗ |
6.122 |
|
| \begin{align*}
y^{\prime }&=\frac {1}{x^{2}+4 y^{2}} \\
\end{align*} |
[‘y=_G(x,y’)‘] |
✓ |
✓ |
✗ |
✗ |
4.968 |
|
| \begin{align*}
x^{3}+2 x y^{2}-x +\left (x^{2} y+2 y^{3}-2 y\right ) y^{\prime }&=0 \\
\end{align*} |
[_rational] |
✓ |
✓ |
✓ |
✗ |
52.439 |
|
| \begin{align*}
y^{4}+\left (x^{2}-3 y\right ) y^{\prime }&=0 \\
\end{align*} |
[_rational] |
✓ |
✓ |
✗ |
✗ |
1.714 |
|
| \begin{align*}
x \left (\left (x^{2}+y^{2}\right )^{{3}/{2}}+2 y^{2}\right )+y \left (\left (x^{2}+y^{2}\right )^{{3}/{2}}-2 x^{2}\right ) y^{\prime }&=0 \\
\end{align*} |
[‘y=_G(x,y’)‘] |
✓ |
✓ |
✓ |
✗ |
24.812 |
|
| \begin{align*}
y^{\prime }&=\frac {1}{x^{5}+y x} \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘], [_Abel, ‘2nd type‘, ‘class C‘]] |
✓ |
✓ |
✓ |
✓ |
7.172 |
|
| \begin{align*}
\sin \left (y\right ) \left (x +\sin \left (y\right )\right )+2 x^{2} \cos \left (y\right ) y^{\prime }&=0 \\
\end{align*} |
[‘y=_G(x,y’)‘] |
✓ |
✓ |
✓ |
✓ |
42.103 |
|
| \begin{align*}
3 \sin \left (y\right )-5 x +2 x^{2} \cot \left (y\right ) y^{\prime }&=0 \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x),G(y)]‘]] |
✓ |
✓ |
✓ |
✓ |
56.243 |
|
| \begin{align*}
\sin \left (x \right ) y^{\prime }-x \cos \left (x \right )&=\cot \left (x \right ) \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
11.199 |
|
| \begin{align*}
\left (x^{2} y^{3}+y x \right ) y^{\prime }&=1 \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
✓ |
✓ |
✓ |
1.993 |
|
| \begin{align*}
x^{3} y^{\prime }-\cos \left (y\right )&=1 \\
y \left (\infty \right ) &= 5 \pi \\
\end{align*} |
[_separable] |
✓ |
✗ |
✗ |
✗ |
9.174 |
|
| \begin{align*}
\left (x^{2} y^{3}+y x \right ) y^{\prime }&=1 \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
✓ |
✓ |
✓ |
2.170 |
|
| \begin{align*}
y^{\prime }+\sin \left (y\right )+x \cos \left (y\right )+x&=0 \\
\end{align*} |
[‘y=_G(x,y’)‘] |
✓ |
✓ |
✓ |
✗ |
4.624 |
|
| \begin{align*}
y^{\prime }+\tan \left (y\right )&=x \sec \left (y\right ) \\
\end{align*} |
[‘y=_G(x,y’)‘] |
✓ |
✓ |
✓ |
✓ |
5.322 |
|
| \begin{align*}
\tan \left (y\right ) y^{\prime }+4 \cos \left (y\right ) x^{3}&=2 x \\
\end{align*} |
[‘y=_G(x,y’)‘] |
✓ |
✓ |
✓ |
✓ |
21.314 |
|
| \begin{align*}
\tan \left (y\right ) y^{\prime }+4 \cos \left (y\right ) x^{3}&=2 x \\
\end{align*} |
[‘y=_G(x,y’)‘] |
✓ |
✓ |
✓ |
✓ |
19.034 |
|