| # |
ODE |
CAS classification |
Solved? |
Maple |
Mma |
Sympy |
time(sec) |
| \begin{align*}
y^{\prime }&=x \left (y-4\right )^{2}-2 \\
\end{align*} |
[_Riccati] |
✓ |
✓ |
✓ |
✗ |
178.845 |
|
| \begin{align*}
y^{\prime }&=y-y^{3} \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
8.599 |
|
| \begin{align*}
y^{\prime }&=y^{2}-y^{4} \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
2.130 |
|
| \begin{align*}
y^{\prime }&=y^{2}-3 y \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
1.811 |
|
| \begin{align*}
y^{\prime }&=0 \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
0.535 |
|
| \begin{align*}
y^{\prime }&=\left (-2+y\right )^{4} \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
0.488 |
|
| \begin{align*}
y^{\prime }&=10+3 y-y^{2} \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
2.442 |
|
| \begin{align*}
y^{\prime }&=y^{2} \left (4-y^{2}\right ) \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
2.259 |
|
| \begin{align*}
y^{\prime }&=y \left (2-y\right ) \left (4-y\right ) \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
3.894 |
|
| \begin{align*}
y^{\prime }&=y \ln \left (y+2\right ) \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
3.295 |
|
| \begin{align*}
y^{\prime }&=\left ({\mathrm e}^{y} y-9 y\right ) {\mathrm e}^{-y} \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
4.012 |
|
| \begin{align*}
y^{\prime }&=\frac {2 y}{\pi }-\sin \left (y\right ) \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
1.755 |
|
| \begin{align*}
y^{\prime }&=y^{2}-y-6 \\
y \left (0\right ) &= -1 \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✗ |
2.452 |
|
| \begin{align*}
y^{\prime }&=y^{2}-y-6 \\
y \left (2\right ) &= 2 \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✗ |
2.447 |
|
| \begin{align*}
y^{\prime }&=\sin \left (5 x \right ) \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
0.408 |
|
| \begin{align*}
y^{\prime }&=\left (x +1\right )^{2} \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
0.353 |
|
| \begin{align*}
1+{\mathrm e}^{3 x} y^{\prime }&=0 \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
0.516 |
|
| \begin{align*}
y^{\prime }-\left (-1+y\right )^{2}&=0 \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
0.499 |
|
| \begin{align*}
y^{\prime } x&=4 y \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
7.514 |
|
| \begin{align*}
y^{\prime }+2 x y^{2}&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
17.344 |
|
| \begin{align*}
y^{\prime }&={\mathrm e}^{3 x +2 y} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
4.064 |
|
| \begin{align*}
y \,{\mathrm e}^{x} y^{\prime }&={\mathrm e}^{-y}+{\mathrm e}^{-2 x -y} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
5.594 |
|
| \begin{align*}
y^{\prime }&=\frac {y \ln \left (x \right ) x^{2}}{\left (1+y\right )^{2}} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
5.201 |
|
| \begin{align*}
y^{\prime }&=\frac {\left (3+2 y\right )^{2}}{\left (5+4 x \right )^{2}} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
11.614 |
|
| \begin{align*}
\csc \left (y\right )+\sec \left (x \right )^{2} y^{\prime }&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
3.363 |
|
| \begin{align*}
\sin \left (3 x \right )+2 y \cos \left (3 x \right )^{3} y^{\prime }&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
8.989 |
|
| \begin{align*}
\left (1+{\mathrm e}^{y}\right )^{2} {\mathrm e}^{-y}+\left ({\mathrm e}^{x}+1\right )^{3} {\mathrm e}^{-x} y^{\prime }&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
5.105 |
|
| \begin{align*}
x \sqrt {1+y^{2}}&=y y^{\prime } \sqrt {x^{2}+1} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
6.312 |
|
| \begin{align*}
y^{\prime }&=-\frac {1}{2 y} \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
2.253 |
|
| \begin{align*}
y^{\prime }&=\frac {y \left (\cos \left (x \right ) x +\sin \left (x \right )-1\right )}{3 x -3 x \sin \left (x \right )} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
11.753 |
|
| \begin{align*}
y^{\prime }&=2 x \\
y \left (0\right ) &= 1 \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
0.876 |
|
| \begin{align*}
y^{\prime }&=-x +y \\
y \left (0\right ) &= 1 \\
\end{align*} |
[[_linear, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
1.387 |
|
| \begin{align*}
x +y y^{\prime }&=0 \\
y \left (0\right ) &= 1 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
9.699 |
|
| \begin{align*}
y^{\prime }&=1 \\
y \left (0\right ) &= 1 \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
0.609 |
|
| \begin{align*}
y^{\prime }&=-\frac {2 x y}{x^{2}+1} \\
y \left (0\right ) &= 1 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
2.686 |
|
| \begin{align*}
y^{\prime }&=-\frac {y}{x -3} \\
y \left (-2\right ) &= 1 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
1.833 |
|
| \begin{align*}
2 y y^{\prime } x -1-y^{2}&=0 \\
y \left (2\right ) &= 3 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
2.663 |
|
| \begin{align*}
x^{2} \left (1-y\right ) y^{\prime }+\left (1-x \right ) y&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
2.783 |
|
| \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] |
✓ |
✓ |
✓ |
✗ |
10.051 |
|
| \begin{align*}
\left (2 x^{2}+1\right ) y y^{\prime }&=2 x \left (1+y^{2}\right ) \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
4.729 |
|
| \begin{align*}
x^{2} y+\left (x +1\right ) y^{\prime }&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
2.468 |
|
| \begin{align*}
y^{3}+y^{\prime } \sqrt {-x^{2}+1}&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
4.476 |
|
| \begin{align*}
y x -x +\left (y x +y\right ) y^{\prime }&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
2.267 |
|
| \begin{align*}
y^{\prime }+\left (-1+y\right ) \cos \left (x \right )&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
2.827 |
|
| \begin{align*}
2 x \cos \left (y\right )-{\mathrm e}^{x}-x^{2} \sin \left (y\right ) y^{\prime }&=0 \\
\end{align*} |
[_exact] |
✓ |
✓ |
✓ |
✓ |
2.786 |
|
| \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‘]] |
✓ |
✓ |
✓ |
✓ |
6.165 |
|
| \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] |
✓ |
✓ |
✓ |
✗ |
1.694 |
|
| \begin{align*}
y^{3} \sin \left (2 x \right )-3 y^{2} \cos \left (x \right )^{2} y^{\prime }&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
0.241 |
|
| \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] |
✓ |
✓ |
✓ |
✗ |
2.918 |
|
| \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] |
✓ |
✓ |
✓ |
✗ |
2.322 |
|
| \begin{align*}
y+3 x +y^{\prime } x&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.706 |
|
| \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] |
✓ |
✓ |
✓ |
✓ |
27.605 |
|
| \begin{align*}
6 x +y^{2}+\left (2 y x -3 y^{2}\right ) y^{\prime }&=0 \\
\end{align*} |
[_exact, _rational] |
✓ |
✓ |
✓ |
✗ |
1.872 |
|
| \begin{align*}
1-x^{2}+2 y-y^{\prime } x&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
1.792 |
|
| \begin{align*}
3-2 y+\left (x^{2}-1\right ) y^{\prime }&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
2.420 |
|
| \begin{align*}
y+6 x y^{3}-4 y^{4}-\left (2 x +4 x y^{3}\right ) y^{\prime }&=0 \\
\end{align*} |
[_rational] |
✓ |
✓ |
✓ |
✗ |
3.189 |
|
| \begin{align*}
x^{3}+2 y+\left (x +1\right ) y^{\prime }&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.468 |
|
| \begin{align*}
2 \cos \left (x \right ) y-1+\sin \left (x \right ) y^{\prime }&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.733 |
|
| \begin{align*}
x^{3}+y^{4} x +2 y^{3} y^{\prime }&=0 \\
\end{align*} |
[_rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
2.102 |
|
| \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‘]] |
✓ |
✓ |
✓ |
✓ |
20.412 |
|
| \begin{align*}
y^{\prime }-y&=2 \,{\mathrm e}^{x} \\
\end{align*} |
[[_linear, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
1.389 |
|
| \begin{align*}
y^{\prime }-2 y&=\cos \left (2 x \right ) \\
\end{align*} |
[[_linear, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
2.347 |
|
| \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] |
✓ |
✓ |
✓ |
✓ |
3.064 |
|
| \begin{align*}
\sin \left (x \right ) y^{\prime }-\cos \left (x \right ) x&=\cot \left (x \right ) \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
5.858 |
|
| \begin{align*}
y^{\prime }+2 y x&={\mathrm e}^{-x^{2}}-x \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.999 |
|
| \begin{align*}
y^{\prime }-a y&={\mathrm e}^{a x} \\
\end{align*} |
[[_linear, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
1.035 |
|
| \begin{align*}
y^{\prime }+y&=\sin \left (x \right ) \\
\end{align*} |
[[_linear, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
2.275 |
|
| \begin{align*}
y-2 y x -x^{2}+x^{2} y^{\prime }&=0 \\
y \left (1\right ) &= 0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
3.210 |
|
| \begin{align*}
x^{\prime }-\frac {2 x}{y}&=x^{4} \\
\end{align*} |
[[_homogeneous, ‘class G‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
2.872 |
|
| \begin{align*}
y y^{\prime }+\cot \left (x \right ) y^{2}&=\csc \left (x \right )^{2} \\
\end{align*} |
[_Bernoulli] |
✓ |
✓ |
✓ |
✓ |
3.572 |
|
| \begin{align*}
y^{\prime } x +y&=3 x^{3} y^{2} \\
\end{align*} |
[[_homogeneous, ‘class G‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
4.048 |
|
| \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] |
✓ |
✓ |
✓ |
✓ |
6.217 |
|
| \begin{align*}
y^{\prime } x +y&=x y^{2} \\
\end{align*} |
[[_homogeneous, ‘class G‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
3.250 |
|
| \begin{align*}
y^{\prime } x +y&=y^{2} \ln \left (x \right ) \\
y \left (1\right ) &= 1 \\
\end{align*} |
[_Bernoulli] |
✓ |
✓ |
✓ |
✓ |
4.794 |
|
| \begin{align*}
y^{\prime } x +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‘]] |
✓ |
✓ |
✓ |
✓ |
5.107 |
|
| \begin{align*}
y^{\prime }&=\frac {2 x y}{x^{2}-y^{2}} \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
✓ |
✓ |
14.691 |
|
| \begin{align*}
y^{\prime }&=\frac {x +y-1}{3-x +y} \\
\end{align*} |
[[_homogeneous, ‘class C‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
8.039 |
|
| \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‘]] |
✓ |
✓ |
✓ |
✓ |
6.848 |
|
| \begin{align*}
y^{\prime }&=\frac {6 x^{2}-7 y^{2}}{14 y x} \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
8.034 |
|
| \begin{align*}
y^{\prime }&=\frac {x^{3}+y^{3}}{y^{2} x} \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
7.615 |
|
| \begin{align*}
2 x +3 y+\left (y+2\right ) y^{\prime }&=0 \\
\end{align*} |
[[_homogeneous, ‘class C‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
8.400 |
|
| \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‘]] |
✓ |
✓ |
✓ |
✓ |
7.152 |
|
| \begin{align*}
y^{\prime }&=\frac {y+\sqrt {x^{2}-y^{2}}}{x} \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
✓ |
✓ |
19.420 |
|
| \begin{align*}
y^{\prime }&=\frac {y}{x}+\sin \left (\frac {y}{x}\right ) \\
\end{align*} |
[[_homogeneous, ‘class A‘], _dAlembert] |
✓ |
✓ |
✓ |
✓ |
6.277 |
|
| \begin{align*}
x^{2}-y^{2}-\frac {2 y^{3} y^{\prime }}{x}&=0 \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
✓ |
✗ |
92.121 |
|
| \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] |
✓ |
✓ |
✓ |
✓ |
10.057 |
|
| \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‘]] |
✓ |
✓ |
✓ |
✓ |
11.053 |
|
| \begin{align*}
-y^{\prime } x +y&=a y^{2}+a y^{\prime } \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
3.624 |
|
| \begin{align*}
y^{2}+\left (y x +x^{2}\right ) y^{\prime }&=0 \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, [_Abel, ‘2nd type‘, ‘class B‘]] |
✓ |
✓ |
✓ |
✓ |
55.376 |
|
| \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‘]] |
✓ |
✓ |
✓ |
✓ |
68.159 |
|
| \begin{align*}
y^{\prime }+y&={\mathrm e}^{-x} \\
\end{align*} |
[[_linear, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
0.904 |
|
| \begin{align*}
\left (x^{2}+1\right ) y^{\prime }+2 y x&=4 x^{2} \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
1.348 |
|
| \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] |
✓ |
✓ |
✓ |
✓ |
5.171 |
|
| \begin{align*}
y^{\prime } x +y&=y y^{\prime } x -y x \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
2.594 |
|
| \begin{align*}
2 y y^{\prime } x +y^{2}&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
0.112 |
|
| \begin{align*}
x -2 y+1&=\left (x -2 y\right ) y^{\prime } \\
\end{align*} |
[[_homogeneous, ‘class C‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
7.148 |
|
| \begin{align*}
\sin \left (x \right ) \cos \left (y\right )^{2}+\cos \left (x \right )^{2} y^{\prime }&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✗ |
4.207 |
|
| \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] |
✓ |
✓ |
✓ |
✗ |
11.352 |
|
| \begin{align*}
x -y+\left (y-x +1\right ) y^{\prime }&=0 \\
\end{align*} |
[[_homogeneous, ‘class C‘], _exact, _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
3.890 |
|