| # |
ODE |
CAS classification |
Solved? |
Maple |
Mma |
Sympy |
time(sec) |
| \begin{align*}
y^{\prime }&=x \left (y-4\right )^{2}-2 \\
\end{align*} |
[_Riccati] |
✓ |
✓ |
✓ |
✗ |
124.773 |
|
| \begin{align*}
y^{\prime }&=y-y^{3} \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
10.624 |
|
| \begin{align*}
y^{\prime }&=y^{2}-y^{4} \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
2.357 |
|
| \begin{align*}
y^{\prime }&=y^{2}-3 y \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
2.636 |
|
| \begin{align*}
y^{\prime }&=0 \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
0.641 |
|
| \begin{align*}
y^{\prime }&=\left (-2+y\right )^{4} \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
0.582 |
|
| \begin{align*}
y^{\prime }&=10+3 y-y^{2} \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
2.773 |
|
| \begin{align*}
y^{\prime }&=y^{2} \left (4-y^{2}\right ) \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
2.465 |
|
| \begin{align*}
y^{\prime }&=y \left (2-y\right ) \left (4-y\right ) \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
4.500 |
|
| \begin{align*}
y^{\prime }&=y \ln \left (y+2\right ) \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
4.324 |
|
| \begin{align*}
y^{\prime }&=\left (y \,{\mathrm e}^{y}-9 y\right ) {\mathrm e}^{-y} \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
5.263 |
|
| \begin{align*}
y^{\prime }&=\frac {2 y}{\pi }-\sin \left (y\right ) \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
2.434 |
|
| \begin{align*}
y^{\prime }&=y^{2}-y-6 \\
y \left (0\right ) &= -1 \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✗ |
3.006 |
|
| \begin{align*}
y^{\prime }&=y^{2}-y-6 \\
y \left (2\right ) &= 2 \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✗ |
2.963 |
|
| \begin{align*}
y^{\prime }&=\sin \left (5 x \right ) \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
0.485 |
|
| \begin{align*}
y^{\prime }&=\left (x +1\right )^{2} \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
0.473 |
|
| \begin{align*}
1+{\mathrm e}^{3 x} y^{\prime }&=0 \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
0.658 |
|
| \begin{align*}
y^{\prime }-\left (-1+y\right )^{2}&=0 \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
0.653 |
|
| \begin{align*}
x y^{\prime }&=4 y \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
8.710 |
|
| \begin{align*}
y^{\prime }+2 x y^{2}&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
12.817 |
|
| \begin{align*}
y^{\prime }&={\mathrm e}^{3 x +2 y} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
5.145 |
|
| \begin{align*}
y \,{\mathrm e}^{x} y^{\prime }&={\mathrm e}^{-y}+{\mathrm e}^{-2 x -y} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
6.587 |
|
| \begin{align*}
y^{\prime }&=\frac {y \ln \left (x \right ) x^{2}}{\left (y+1\right )^{2}} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
5.948 |
|
| \begin{align*}
y^{\prime }&=\frac {\left (3+2 y\right )^{2}}{\left (5+4 x \right )^{2}} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
13.648 |
|
| \begin{align*}
\csc \left (y\right )+\sec \left (x \right )^{2} y^{\prime }&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
4.431 |
|
| \begin{align*}
\sin \left (3 x \right )+2 y \cos \left (3 x \right )^{3} y^{\prime }&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
11.081 |
|
| \begin{align*}
\left (1+{\mathrm e}^{y}\right )^{2} {\mathrm e}^{-y}+\left (1+{\mathrm e}^{x}\right )^{3} {\mathrm e}^{-x} y^{\prime }&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
6.030 |
|
| \begin{align*}
x \sqrt {1+y^{2}}&=y y^{\prime } \sqrt {x^{2}+1} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
8.720 |
|
| \begin{align*}
y^{\prime }&=-\frac {1}{2 y} \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
2.586 |
|
| \begin{align*}
y^{\prime }&=\frac {y \left (x \cos \left (x \right )+\sin \left (x \right )-1\right )}{3 x -3 x \sin \left (x \right )} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
14.230 |
|
| \begin{align*}
y^{\prime }&=2 x \\
y \left (0\right ) &= 1 \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
2.103 |
|
| \begin{align*}
y^{\prime }&=-x +y \\
y \left (0\right ) &= 1 \\
\end{align*} |
[[_linear, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
9.753 |
|
| \begin{align*}
y y^{\prime }+x&=0 \\
y \left (0\right ) &= 1 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
60.362 |
|
| \begin{align*}
y^{\prime }&=1 \\
y \left (0\right ) &= 1 \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
1.989 |
|
| \begin{align*}
y^{\prime }&=-\frac {2 x y}{x^{2}+1} \\
y \left (0\right ) &= 1 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
3.950 |
|
| \begin{align*}
y^{\prime }&=-\frac {y}{x -3} \\
y \left (-2\right ) &= 1 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
5.717 |
|
| \begin{align*}
2 x y y^{\prime }-1-y^{2}&=0 \\
y \left (2\right ) &= 3 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
11.188 |
|
| \begin{align*}
x^{2} \left (1-y\right ) y^{\prime }+\left (1-x \right ) y&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
12.588 |
|
| \begin{align*}
2 x y \left (4-y^{2}\right )+\left (-1+y\right ) \left (x^{2}+2\right ) y^{\prime }&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✗ |
41.665 |
|
| \begin{align*}
\left (2 x^{2}+1\right ) y y^{\prime }&=2 x \left (1+y^{2}\right ) \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
11.868 |
|
| \begin{align*}
x^{2} y+\left (x +1\right ) y^{\prime }&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
8.343 |
|
| \begin{align*}
y^{3}+y^{\prime } \sqrt {-x^{2}+1}&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
10.964 |
|
| \begin{align*}
y x -x +\left (y x +y\right ) y^{\prime }&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
7.633 |
|
| \begin{align*}
y^{\prime }+\left (-1+y\right ) \cos \left (x \right )&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
5.549 |
|
| \begin{align*}
2 x \cos \left (y\right )-{\mathrm e}^{x}-x^{2} \sin \left (y\right ) y^{\prime }&=0 \\
\end{align*} |
[_exact] |
✓ |
✓ |
✓ |
✓ |
5.181 |
|
| \begin{align*}
y^{2}+6 x^{2} y+\left (2 y x +2 x^{3}\right ) y^{\prime }&=0 \\
\end{align*} |
[[_homogeneous, ‘class G‘], _exact, _rational, [_Abel, ‘2nd type‘, ‘class B‘]] |
✓ |
✓ |
✓ |
✓ |
35.579 |
|
| \begin{align*}
3 x^{2}+3 x y^{2}+\left (3 x^{2} y-3 y^{2}+2 y\right ) y^{\prime }&=0 \\
\end{align*} |
[_exact, _rational] |
✓ |
✓ |
✓ |
✗ |
4.202 |
|
| \begin{align*}
y^{3} \sin \left (2 x \right )-3 y^{2} \cos \left (x \right )^{2} y^{\prime }&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
0.507 |
|
| \begin{align*}
3 y^{2}+y \sin \left (2 y x \right )+\left (6 y x +x \sin \left (2 y x \right )\right ) y^{\prime }&=0 \\
\end{align*} |
[_exact] |
✓ |
✓ |
✓ |
✗ |
5.111 |
|
| \begin{align*}
\frac {2 x}{y}+5 y^{2}-4 x +\left (3 y^{2}-\frac {x^{2}}{y^{2}}+10 y x \right ) y^{\prime }&=0 \\
\end{align*} |
[_exact, _rational] |
✓ |
✓ |
✓ |
✗ |
5.428 |
|
| \begin{align*}
y+3 x +x y^{\prime }&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
9.210 |
|
| \begin{align*}
\sec \left (x \right )^{2} \tan \left (y\right )+\sec \left (y\right )^{2} \tan \left (x \right ) y^{\prime }&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
30.276 |
|
| \begin{align*}
6 x +y^{2}+\left (2 y x -3 y^{2}\right ) y^{\prime }&=0 \\
\end{align*} |
[_exact, _rational] |
✓ |
✓ |
✓ |
✗ |
4.191 |
|
| \begin{align*}
1-x^{2}+2 y-x y^{\prime }&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
3.566 |
|
| \begin{align*}
3-2 y+\left (x^{2}-1\right ) y^{\prime }&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
5.894 |
|
| \begin{align*}
y+6 x y^{3}-4 y^{4}-\left (2 x +4 x y^{3}\right ) y^{\prime }&=0 \\
\end{align*} |
[_rational] |
✓ |
✓ |
✓ |
✗ |
5.271 |
|
| \begin{align*}
x^{3}+2 y+\left (x +1\right ) y^{\prime }&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
6.060 |
|
| \begin{align*}
2 \cos \left (x \right ) y-1+\sin \left (x \right ) y^{\prime }&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
4.089 |
|
| \begin{align*}
x^{3}+x y^{4}+2 y^{3} y^{\prime }&=0 \\
\end{align*} |
[_rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
4.497 |
|
| \begin{align*}
x \left (-y x +1\right ) y^{\prime }+\left (y x +1\right ) y&=0 \\
\end{align*} |
[[_homogeneous, ‘class G‘], _rational, [_Abel, ‘2nd type‘, ‘class B‘]] |
✓ |
✓ |
✓ |
✓ |
89.436 |
|
| \begin{align*}
y^{\prime }-y&=2 \,{\mathrm e}^{x} \\
\end{align*} |
[[_linear, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
2.428 |
|
| \begin{align*}
y^{\prime }-2 y&=\cos \left (2 x \right ) \\
\end{align*} |
[[_linear, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
3.188 |
|
| \begin{align*}
y^{\prime }-2 y x&=6 y \,{\mathrm e}^{y^{2}} \\
\end{align*} |
[‘x=_G(y,y’)‘] |
✗ |
✗ |
✗ |
✗ |
44.191 |
|
| \begin{align*}
x^{2} y^{\prime }-2 y x&=x^{4}+3 \\
y \left (1\right ) &= 2 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
4.286 |
|
| \begin{align*}
\sin \left (x \right ) y^{\prime }-x \cos \left (x \right )&=\cot \left (x \right ) \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
11.199 |
|
| \begin{align*}
y^{\prime }+2 y x&={\mathrm e}^{-x^{2}}-x \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
4.422 |
|
| \begin{align*}
y^{\prime }-a y&={\mathrm e}^{a x} \\
\end{align*} |
[[_linear, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
2.408 |
|
| \begin{align*}
y^{\prime }+y&=\sin \left (x \right ) \\
\end{align*} |
[[_linear, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
3.020 |
|
| \begin{align*}
y-2 y x -x^{2}+x^{2} y^{\prime }&=0 \\
y \left (1\right ) &= 0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
5.418 |
|
| \begin{align*}
x^{\prime }-\frac {2 x}{y}&=x^{4} \\
\end{align*} |
[[_homogeneous, ‘class G‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
18.639 |
|
| \begin{align*}
y y^{\prime }+y^{2} \cot \left (x \right )&=\csc \left (x \right )^{2} \\
\end{align*} |
[_Bernoulli] |
✓ |
✓ |
✓ |
✓ |
7.763 |
|
| \begin{align*}
x y^{\prime }+y&=3 x^{3} y^{2} \\
\end{align*} |
[[_homogeneous, ‘class G‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
14.421 |
|
| \begin{align*}
\left (x -2\right ) y^{\prime }+y&=5 \left (x -2\right )^{2} \sqrt {y} \\
\end{align*} |
[[_1st_order, _with_linear_symmetries], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
15.454 |
|
| \begin{align*}
x y^{\prime }+y&=x y^{2} \\
\end{align*} |
[[_homogeneous, ‘class G‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
5.609 |
|
| \begin{align*}
x y^{\prime }+y&=y^{2} \ln \left (x \right ) \\
y \left (1\right ) &= 1 \\
\end{align*} |
[_Bernoulli] |
✓ |
✓ |
✓ |
✓ |
25.310 |
|
| \begin{align*}
x y^{\prime }+2&=x^{3} \left (-1+y\right ) y^{\prime } \\
y \left (1\right ) &= 0 \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘], [_Abel, ‘2nd type‘, ‘class C‘]] |
✓ |
✓ |
✓ |
✓ |
12.579 |
|
| \begin{align*}
y^{\prime }&=\frac {2 x y}{x^{2}-y^{2}} \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
✓ |
✓ |
32.523 |
|
| \begin{align*}
y^{\prime }&=\frac {x +y-1}{3-x +y} \\
\end{align*} |
[[_homogeneous, ‘class C‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
28.638 |
|
| \begin{align*}
3 x +2 y+1-\left (3 x +2 y-1\right ) y^{\prime }&=0 \\
\end{align*} |
[[_homogeneous, ‘class C‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
15.349 |
|
| \begin{align*}
y^{\prime }&=\frac {6 x^{2}-7 y^{2}}{14 y x} \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
24.695 |
|
| \begin{align*}
y^{\prime }&=\frac {x^{3}+y^{3}}{x y^{2}} \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
21.928 |
|
| \begin{align*}
2 x +3 y+\left (y+2\right ) y^{\prime }&=0 \\
\end{align*} |
[[_homogeneous, ‘class C‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
46.335 |
|
| \begin{align*}
2 x +y-\left (4 x +2 y-1\right ) y^{\prime }&=0 \\
\end{align*} |
[[_homogeneous, ‘class C‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
16.125 |
|
| \begin{align*}
y^{\prime }&=\frac {y+\sqrt {x^{2}-y^{2}}}{x} \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
✓ |
✓ |
77.147 |
|
| \begin{align*}
y^{\prime }&=\frac {y}{x}+\sin \left (\frac {y}{x}\right ) \\
\end{align*} |
[[_homogeneous, ‘class A‘], _dAlembert] |
✓ |
✓ |
✓ |
✓ |
13.303 |
|
| \begin{align*}
x^{2}-y^{2}-\frac {2 y^{3} y^{\prime }}{x}&=0 \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
✓ |
✗ |
85.551 |
|
| \begin{align*}
x^{2}+2 y x -4 y^{2}-\left (x^{2}-8 y x -4 y^{2}\right ) y^{\prime }&=0 \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
✓ |
✓ |
30.961 |
|
| \begin{align*}
3 x -2 y+4-\left (2 x +7 y-1\right ) y^{\prime }&=0 \\
\end{align*} |
[[_homogeneous, ‘class C‘], _exact, _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
33.015 |
|
| \begin{align*}
-x y^{\prime }+y&=a y^{2}+a y^{\prime } \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
11.030 |
|
| \begin{align*}
y^{2}+\left (y x +x^{2}\right ) y^{\prime }&=0 \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, [_Abel, ‘2nd type‘, ‘class B‘]] |
✓ |
✓ |
✓ |
✓ |
129.173 |
|
| \begin{align*}
3 y-7 x +7+\left (7 y-3 x +3\right ) y^{\prime }&=0 \\
\end{align*} |
[[_homogeneous, ‘class C‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
97.901 |
|
| \begin{align*}
y^{\prime }+y&={\mathrm e}^{-x} \\
\end{align*} |
[[_linear, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
2.572 |
|
| \begin{align*}
\left (x^{2}+1\right ) y^{\prime }+2 y x&=4 x^{2} \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.891 |
|
| \begin{align*}
3 x \left (-x^{2}+1\right ) y^{2} y^{\prime }+\left (2 x^{2}-1\right ) y^{3}&=x^{2} \\
\end{align*} |
[_rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
9.567 |
|
| \begin{align*}
x y^{\prime }+y&=x y y^{\prime }-y x \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
8.152 |
|
| \begin{align*}
2 x y y^{\prime }+y^{2}&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
0.243 |
|
| \begin{align*}
x -2 y+1&=\left (x -2 y\right ) y^{\prime } \\
\end{align*} |
[[_homogeneous, ‘class C‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
21.544 |
|
| \begin{align*}
\sin \left (x \right ) \cos \left (y\right )^{2}+\cos \left (x \right )^{2} y^{\prime }&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✗ |
5.997 |
|
| \begin{align*}
\cos \left (x \right ) y-2 \sin \left (y\right )&=\left (2 x \cos \left (y\right )-\sin \left (x \right )\right ) y^{\prime } \\
\end{align*} |
[_exact] |
✓ |
✓ |
✓ |
✗ |
18.482 |
|
| \begin{align*}
x -y+\left (y-x +1\right ) y^{\prime }&=0 \\
\end{align*} |
[[_homogeneous, ‘class C‘], _exact, _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
11.650 |
|