| # |
ODE |
CAS classification |
Solved? |
Maple |
Mma |
Sympy |
time(sec) |
| \begin{align*}
\left (-x^{2}+1\right ) y^{\prime }-a -y x&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.326 |
|
| \begin{align*}
\left (-x^{2}+1\right ) y^{\prime }-x +y x&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
8.478 |
|
| \begin{align*}
\left (-x^{2}+1\right ) y^{\prime }-x^{2}+y x&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.526 |
|
| \begin{align*}
\left (-x^{2}+1\right ) y^{\prime }+x^{2}+y x&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.445 |
|
| \begin{align*}
\left (x^{2}+1\right ) y^{\prime }&=x \left (x^{2}+1\right )-y x \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
14.639 |
|
| \begin{align*}
\left (x^{2}+1\right ) y^{\prime }&=x \left (3 x^{2}-y\right ) \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
14.553 |
|
| \begin{align*}
\left (-x^{2}+1\right ) y^{\prime }+2 y x&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
4.324 |
|
| \begin{align*}
\left (x^{2}+1\right ) y^{\prime }&=2 x \left (x -y\right ) \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.362 |
|
| \begin{align*}
\left (x^{2}+1\right ) y^{\prime }&=2 x \left (x^{2}+1\right )^{2}+2 y x \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
3.744 |
|
| \begin{align*}
\left (-x^{2}+1\right ) y^{\prime }+\cos \left (x \right )&=2 y x \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
5.691 |
|
| \begin{align*}
\left (x^{2}+1\right ) y^{\prime }&=\tan \left (x \right )-2 y x \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
3.109 |
|
| \begin{align*}
\left (-x^{2}+1\right ) y^{\prime }&=a +4 y x \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.417 |
|
| \begin{align*}
\left (x^{2}+1\right ) y^{\prime }&=\left (2 b x +a \right ) y \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
6.053 |
|
| \begin{align*}
\left (x^{2}+1\right ) y^{\prime }&=1+y^{2} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
5.055 |
|
| \begin{align*}
\left (x^{2}+1\right ) y^{\prime }&=-1-y^{2} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
4.959 |
|
| \begin{align*}
\left (-x^{2}+1\right ) y^{\prime }&=1-y^{2} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
6.471 |
|
| \begin{align*}
\left (-x^{2}+1\right ) y^{\prime }&=y^{2}-1 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
6.384 |
|
| \begin{align*}
\left (-x^{2}+1\right ) y^{\prime }&=1-y \left (2 x -y\right ) \\
\end{align*} |
[_rational, [_1st_order, ‘_with_symmetry_[F(x),G(x)]‘], _Riccati] |
✓ |
✓ |
✓ |
✓ |
5.144 |
|
| \begin{align*}
\left (-x^{2}+1\right ) y^{\prime }&=n \left (y^{2}-2 y x +1\right ) \\
\end{align*} |
[_rational, _Riccati] |
✗ |
✓ |
✓ |
✗ |
5.230 |
|
| \begin{align*}
\left (x^{2}+1\right ) y^{\prime }+x y \left (1-y\right )&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
14.349 |
|
| \begin{align*}
\left (-x^{2}+1\right ) y^{\prime }&=x y \left (1+a y\right ) \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
10.882 |
|
| \begin{align*}
\left (x^{2}+1\right ) y^{\prime }&=1+y^{2}-2 x y \left (1+y^{2}\right ) \\
\end{align*} |
[_rational, _Abel] |
✗ |
✓ |
✓ |
✗ |
63.955 |
|
| \begin{align*}
\left (x^{2}+1\right ) y^{\prime }+x \sin \left (y\right ) \cos \left (y\right )&=x \left (x^{2}+1\right ) \cos \left (y\right )^{2} \\
\end{align*} |
[‘y=_G(x,y’)‘] |
✗ |
✓ |
✓ |
✗ |
32.566 |
|
| \begin{align*}
\left (x^{2}+1\right ) y^{\prime }&=1+x^{2}-y \,\operatorname {arccot}\left (x \right ) \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
4.224 |
|
| \begin{align*}
\left (-x^{2}+4\right ) y^{\prime }+4 y&=\left (x +2\right ) y^{2} \\
\end{align*} |
[_rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
3.615 |
|
| \begin{align*}
\left (a^{2}+x^{2}\right ) y^{\prime }&=b +y x \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
5.738 |
|
| \begin{align*}
\left (a^{2}+x^{2}\right ) y^{\prime }&=\left (b +y\right ) \left (x +\sqrt {a^{2}+x^{2}}\right ) \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
10.839 |
|
| \begin{align*}
\left (a^{2}+x^{2}\right ) y^{\prime }+y \left (x -y\right )&=0 \\
\end{align*} |
[_rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
8.584 |
|
| \begin{align*}
\left (-a^{2}+x^{2}\right ) y^{\prime }+y \left (x -y\right )&=0 \\
\end{align*} |
[_rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
8.575 |
|
| \begin{align*}
\left (a^{2}+x^{2}\right ) y^{\prime }&=a^{2}+3 y x -2 y^{2} \\
\end{align*} |
[_rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
8.000 |
|
| \begin{align*}
\left (a^{2}+x^{2}\right ) y^{\prime }+y x +b x y^{2}&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
14.516 |
|
| \begin{align*}
\left (-a^{2}+x^{2}\right ) y^{\prime }+y x +b x y^{2}&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
12.717 |
|
| \begin{align*}
x \left (1-x \right ) y^{\prime }&=a +\left (x +1\right ) y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.486 |
|
| \begin{align*}
x \left (1-x \right ) y^{\prime }&=2 y x +2 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.457 |
|
| \begin{align*}
x \left (1-x \right ) y^{\prime }&=2 y x -2 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.414 |
|
| \begin{align*}
x \left (x +1\right ) y^{\prime }&=\left (1-2 x \right ) y \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
4.385 |
|
| \begin{align*}
x \left (1-x \right ) y^{\prime }+\left (2 x +1\right ) y&=a \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
4.038 |
|
| \begin{align*}
x \left (1-x \right ) y^{\prime }&=a +2 \left (2-x \right ) y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
4.631 |
|
| \begin{align*}
x \left (1-x \right ) y^{\prime }+2-3 y x +y&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.573 |
|
| \begin{align*}
x \left (x +1\right ) y^{\prime }&=\left (x +1\right ) \left (x^{2}-1\right )+\left (x^{2}+x -1\right ) y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
4.299 |
|
| \begin{align*}
\left (x -2\right ) \left (x -3\right ) y^{\prime }+x^{2}-8 y+3 y x&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.830 |
|
| \begin{align*}
x \left (x +a \right ) y^{\prime }&=\left (b +c y\right ) y \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
14.095 |
|
| \begin{align*}
\left (x +a \right )^{2} y^{\prime }&=2 \left (x +a \right ) \left (b +y\right ) \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
6.116 |
|
| \begin{align*}
\left (x -a \right )^{2} y^{\prime }+k \left (x +y-a \right )^{2}+y^{2}&=0 \\
\end{align*} |
[[_homogeneous, ‘class C‘], _rational, _Riccati] |
✓ |
✓ |
✓ |
✓ |
27.814 |
|
| \begin{align*}
\left (x -a \right ) \left (x -b \right ) y^{\prime }+k y&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
14.625 |
|
| \begin{align*}
\left (x -a \right ) \left (x -b \right ) y^{\prime }&=\left (x -a \right ) \left (x -b \right )+\left (2 x -a -b \right ) y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
5.452 |
|
| \begin{align*}
\left (x -a \right ) \left (x -b \right ) y^{\prime }&=c y^{2} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
8.520 |
|
| \begin{align*}
\left (x -a \right ) \left (x -b \right ) y^{\prime }+k \left (y-a \right ) \left (y-b \right )&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
15.760 |
|
| \begin{align*}
\left (x -a \right ) \left (x -b \right ) y^{\prime }+k \left (x +y-a \right ) \left (x +y-b \right )+y^{2}&=0 \\
\end{align*} |
[_rational, [_1st_order, ‘_with_symmetry_[F(x),G(x)]‘], _Riccati] |
✓ |
✓ |
✓ |
✓ |
13.782 |
|
| \begin{align*}
2 x^{2} y^{\prime }&=y \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
4.941 |
|
| \begin{align*}
2 x^{2} y^{\prime }+x \cot \left (x \right )-1+2 x^{2} y \cot \left (x \right )&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
3.775 |
|
| \begin{align*}
2 x^{2} y^{\prime }+1+2 y x -x^{2} y^{2}&=0 \\
\end{align*} |
[[_homogeneous, ‘class G‘], _rational, _Riccati] |
✓ |
✓ |
✓ |
✓ |
7.562 |
|
| \begin{align*}
2 x^{2} y^{\prime }&=2 y x +\left (-x \cot \left (x \right )+1\right ) \left (x^{2}-y^{2}\right ) \\
\end{align*} |
[[_homogeneous, ‘class D‘], _Riccati] |
✓ |
✓ |
✓ |
✗ |
91.787 |
|
| \begin{align*}
2 \left (-x^{2}+1\right ) y^{\prime }&=\sqrt {-x^{2}+1}+\left (x +1\right ) y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
8.462 |
|
| \begin{align*}
x \left (1-2 x \right ) y^{\prime }+1+\left (1-4 x \right ) y&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.558 |
|
| \begin{align*}
x \left (1-2 x \right ) y^{\prime }&=4 x -\left (1+4 x \right ) y+y^{2} \\
\end{align*} |
[_rational, [_1st_order, ‘_with_symmetry_[F(x),G(x)]‘], _Riccati] |
✓ |
✓ |
✓ |
✓ |
8.914 |
|
| \begin{align*}
2 x \left (1-x \right ) y^{\prime }+x +\left (1-2 x \right ) y&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.687 |
|
| \begin{align*}
2 x \left (1-x \right ) y^{\prime }+x +\left (1-x \right ) y^{2}&=0 \\
\end{align*} |
[_rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
9.474 |
|
| \begin{align*}
2 \left (x^{2}+x +1\right ) y^{\prime }&=1+8 x^{2}-\left (2 x +1\right ) y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
20.510 |
|
| \begin{align*}
4 \left (x^{2}+1\right ) y^{\prime }-4 y x -x^{2}&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.552 |
|
| \begin{align*}
a \,x^{2} y^{\prime }&=x^{2}+a x y+b^{2} y^{2} \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
40.164 |
|
| \begin{align*}
\left (b \,x^{2}+a \right ) y^{\prime }&=A +B y^{2} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
7.896 |
|
| \begin{align*}
\left (b \,x^{2}+a \right ) y^{\prime }&=-A -B y^{2} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
7.116 |
|
| \begin{align*}
\left (b \,x^{2}+a \right ) y^{\prime }&=c x y \ln \left (y\right ) \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
6.520 |
|
| \begin{align*}
x \left (a x +1\right ) y^{\prime }+a -y&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
4.544 |
|
| \begin{align*}
\left (b x +a \right )^{2} y^{\prime }+c y^{2}+\left (b x +a \right ) y^{3}&=0 \\
\end{align*} |
[_rational, _Abel] |
✗ |
✓ |
✓ |
✗ |
22.363 |
|
| \begin{align*}
x^{3} y^{\prime }&=b \,x^{2} y+a \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
6.256 |
|
| \begin{align*}
x^{3} y^{\prime }&=3-x^{2}+x^{2} y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
3.126 |
|
| \begin{align*}
x^{3} y^{\prime }&=x^{4}+y^{2} \\
\end{align*} |
[[_homogeneous, ‘class G‘], _rational, _Riccati] |
✓ |
✓ |
✓ |
✓ |
4.657 |
|
| \begin{align*}
x^{3} y^{\prime }&=y \left (x^{2}+y\right ) \\
\end{align*} |
[[_homogeneous, ‘class D‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
8.696 |
|
| \begin{align*}
x^{3} y^{\prime }&=x^{2} \left (-1+y\right )+y^{2} \\
\end{align*} |
[[_homogeneous, ‘class D‘], _rational, _Riccati] |
✓ |
✓ |
✓ |
✓ |
7.974 |
|
| \begin{align*}
x^{3} y^{\prime }&=\left (x +1\right ) y^{2} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
4.291 |
|
| \begin{align*}
x^{3} y^{\prime }+20+x^{2} y \left (1-x^{2} y\right )&=0 \\
\end{align*} |
[[_homogeneous, ‘class G‘], _rational, _Riccati] |
✓ |
✓ |
✓ |
✓ |
11.721 |
|
| \begin{align*}
x^{3} y^{\prime }+3+\left (3-2 x \right ) x^{2} y-x^{6} y^{2}&=0 \\
\end{align*} |
[_rational, _Riccati] |
✓ |
✓ |
✓ |
✓ |
4.060 |
|
| \begin{align*}
x^{3} y^{\prime }&=\left (2 x^{2}+y^{2}\right ) y \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
76.477 |
|
| \begin{align*}
x \left (x^{2}+1\right ) y^{\prime }&=a \,x^{2}+y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.484 |
|
| \begin{align*}
x \left (-x^{2}+1\right ) y^{\prime }&=a \,x^{2}+y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.501 |
|
| \begin{align*}
x \left (x^{2}+1\right ) y^{\prime }&=a \,x^{3}+y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
3.695 |
|
| \begin{align*}
x \left (x^{2}+1\right ) y^{\prime }&=a -x^{2} y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.425 |
|
| \begin{align*}
x \left (x^{2}+1\right ) y^{\prime }&=\left (-x^{2}+1\right ) y \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
4.028 |
|
| \begin{align*}
x \left (-x^{2}+1\right ) y^{\prime }&=\left (x^{2}-x +1\right ) y \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
4.504 |
|
| \begin{align*}
x \left (-x^{2}+1\right ) y^{\prime }&=a \,x^{3}+\left (-2 x^{2}+1\right ) y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
3.875 |
|
| \begin{align*}
x \left (-x^{2}+1\right ) y^{\prime }&=x^{3} \left (-x^{2}+1\right )+\left (-2 x^{2}+1\right ) y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
5.276 |
|
| \begin{align*}
x \left (x^{2}+1\right ) y^{\prime }&=2-4 x^{2} y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.595 |
|
| \begin{align*}
x \left (x^{2}+1\right ) y^{\prime }&=x -\left (5 x^{2}+3\right ) y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.659 |
|
| \begin{align*}
x \left (-x^{2}+1\right ) y^{\prime }+x^{2}+\left (-x^{2}+1\right ) y^{2}&=0 \\
\end{align*} |
[_rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
158.929 |
|
| \begin{align*}
x^{2} \left (1-x \right ) y^{\prime }&=x \left (2-x \right ) y-y^{2} \\
\end{align*} |
[[_homogeneous, ‘class D‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
8.618 |
|
| \begin{align*}
2 x^{3} y^{\prime }&=y \left (x^{2}-y^{2}\right ) \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
56.664 |
|
| \begin{align*}
2 x^{3} y^{\prime }&=\left (3 x^{2}+a y^{2}\right ) y \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
30.688 |
|
| \begin{align*}
6 x^{3} y^{\prime }&=4 x^{2} y+\left (-3 x +1\right ) y^{4} \\
\end{align*} |
[_rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
3.865 |
|
| \begin{align*}
x \left (c \,x^{2}+b x +a \right ) y^{\prime }+x^{2}-\left (c \,x^{2}+b x +a \right ) y&=y^{2} \\
\end{align*} |
[[_homogeneous, ‘class D‘], _rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
7.774 |
|
| \begin{align*}
x^{4} y^{\prime }&=\left (y+x^{3}\right ) y \\
\end{align*} |
[[_homogeneous, ‘class D‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
11.669 |
|
| \begin{align*}
x^{4} y^{\prime }+a^{2}+y^{2} x^{4}&=0 \\
\end{align*} |
[_rational, [_Riccati, _special]] |
✓ |
✓ |
✓ |
✓ |
8.767 |
|
| \begin{align*}
x^{4} y^{\prime }+x^{3} y+\csc \left (y x \right )&=0 \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✓ |
✓ |
✓ |
✗ |
5.359 |
|
| \begin{align*}
\left (-x^{4}+1\right ) y^{\prime }&=2 x \left (1-y^{2}\right ) \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
7.629 |
|
| \begin{align*}
x \left (-x^{3}+1\right ) y^{\prime }&=2 x -\left (-4 x^{3}+1\right ) y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.750 |
|
| \begin{align*}
x \left (-x^{3}+1\right ) y^{\prime }&=x^{2}+\left (1-2 y x \right ) y \\
\end{align*} |
[_rational, _Riccati] |
✓ |
✓ |
✓ |
✓ |
4.941 |
|
| \begin{align*}
x^{2} \left (-x^{2}+1\right ) y^{\prime }&=\left (x -3 x^{3} y\right ) y \\
\end{align*} |
[_rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
3.541 |
|
| \begin{align*}
x \left (-2 x^{3}+1\right ) y^{\prime }&=2 \left (-x^{3}+1\right ) y \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
5.292 |
|
| \begin{align*}
\left (c \,x^{2}+b x +a \right )^{2} \left (y^{\prime }+y^{2}\right )+A&=0 \\
\end{align*} |
[_rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
5.817 |
|