| # |
ODE |
CAS classification |
Solved? |
Maple |
Mma |
Sympy |
time(sec) |
| \begin{align*}
y^{\prime }+y^{3} \sec \left (x \right ) \tan \left (x \right )&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
6.562 |
|
| \begin{align*}
y^{\prime }&=\left (\tan \left (x \right )+y^{3} \sec \left (x \right )\right ) y \\
\end{align*} |
[_Bernoulli] |
✓ |
✓ |
✓ |
✓ |
53.012 |
|
| \begin{align*}
y^{\prime }&=a \,x^{\frac {n}{1-n}}+b y^{n} \\
\end{align*} |
[[_homogeneous, ‘class G‘], _Chini] |
✓ |
✓ |
✓ |
✗ |
8.666 |
|
| \begin{align*}
y^{\prime }&=f \left (x \right ) y+g \left (x \right ) y^{k} \\
\end{align*} |
[_Bernoulli] |
✓ |
✓ |
✓ |
✓ |
4.894 |
|
| \begin{align*}
y^{\prime }&=f \left (x \right )+g \left (x \right ) y+h \left (x \right ) y^{n} \\
\end{align*} |
[_Chini] |
✗ |
✗ |
✗ |
✗ |
1.664 |
|
| \begin{align*}
y^{\prime }&=\sqrt {{| y|}} \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
6.726 |
|
| \begin{align*}
y^{\prime }&=a +b y+\sqrt {A +B y} \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
56.422 |
|
| \begin{align*}
y^{\prime }&=a +b y-\sqrt {A +B y} \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
54.272 |
|
| \begin{align*}
y^{\prime }&=a x +b \sqrt {y} \\
\end{align*} |
[[_homogeneous, ‘class G‘], _Chini] |
✓ |
✓ |
✓ |
✗ |
10.095 |
|
| \begin{align*}
y^{\prime }+x^{3}&=x \sqrt {x^{4}+4 y} \\
\end{align*} |
[[_1st_order, _with_linear_symmetries]] |
✓ |
✓ |
✓ |
✓ |
14.210 |
|
| \begin{align*}
y^{\prime }+2 y \left (1-x \sqrt {y}\right )&=0 \\
\end{align*} |
[_Bernoulli] |
✓ |
✓ |
✓ |
✓ |
3.276 |
|
| \begin{align*}
y^{\prime }&=\sqrt {a +b y^{2}} \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
6.008 |
|
| \begin{align*}
y^{\prime }&=y \sqrt {a +b y} \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
36.522 |
|
| \begin{align*}
y^{\prime }&=\cos \left (y\right ) \cos \left (x \right )^{2} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✗ |
3.788 |
|
| \begin{align*}
y^{\prime }&=\sec \left (x \right )^{2} \cot \left (y\right ) \cos \left (y\right ) \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
4.006 |
|
| \begin{align*}
y^{\prime }&=a +b \cos \left (A x +B y\right ) \\
\end{align*} |
[[_homogeneous, ‘class C‘], _dAlembert] |
✓ |
✓ |
✓ |
✗ |
2.796 |
|
| \begin{align*}
y^{\prime }&=a +b \cos \left (y\right ) \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✗ |
5.510 |
|
| \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’)‘] |
✓ |
✓ |
✓ |
✗ |
17.252 |
|
| \begin{align*}
y^{\prime }+\tan \left (x \right ) \sec \left (x \right ) \cos \left (y\right )^{2}&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✗ |
3.247 |
|
| \begin{align*}
y^{\prime }&=\cot \left (x \right ) \cot \left (y\right ) \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
3.665 |
|
| \begin{align*}
y^{\prime }+\cot \left (x \right ) \cot \left (y\right )&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
3.957 |
|
| \begin{align*}
y^{\prime }&=\sin \left (x \right ) \left (\csc \left (y\right )-\cot \left (y\right )\right ) \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
4.696 |
|
| \begin{align*}
y^{\prime }&=\tan \left (x \right ) \cot \left (y\right ) \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
3.947 |
|
| \begin{align*}
y^{\prime }+\tan \left (x \right ) \cot \left (y\right )&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
3.500 |
|
| \begin{align*}
y^{\prime }+\sin \left (2 x \right ) \csc \left (2 y\right )&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
28.231 |
|
| \begin{align*}
y^{\prime }&=\tan \left (x \right ) \left (\tan \left (y\right )+\sec \left (x \right ) \sec \left (y\right )\right ) \\
\end{align*} |
[‘y=_G(x,y’)‘] |
✗ |
✓ |
✓ |
✓ |
7.564 |
|
| \begin{align*}
y^{\prime }&=\cos \left (x \right ) \sec \left (y\right )^{2} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
2.787 |
|
| \begin{align*}
y^{\prime }&=\sec \left (x \right )^{2} \sec \left (y\right )^{3} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✗ |
3.136 |
|
| \begin{align*}
y^{\prime }&=a +b \sin \left (y\right ) \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✗ |
6.484 |
|
| \begin{align*}
y^{\prime }&=a +b \sin \left (A x +B y\right ) \\
\end{align*} |
[[_homogeneous, ‘class C‘], _dAlembert] |
✓ |
✓ |
✓ |
✓ |
2.998 |
|
| \begin{align*}
y^{\prime }&=\left (1+\cos \left (x \right ) \sin \left (y\right )\right ) \tan \left (y\right ) \\
\end{align*} |
[‘y=_G(x,y’)‘] |
✗ |
✗ |
✓ |
✓ |
6.018 |
|
| \begin{align*}
y^{\prime }+\csc \left (2 x \right ) \sin \left (2 y\right )&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
5.625 |
|
| \begin{align*}
y^{\prime }&=\sqrt {a +b \cos \left (y\right )} \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
10.167 |
|
| \begin{align*}
y^{\prime }&={\mathrm e}^{y}+x \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x),G(x)]‘]] |
✓ |
✓ |
✓ |
✓ |
2.332 |
|
| \begin{align*}
y^{\prime }&={\mathrm e}^{x +y} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
2.903 |
|
| \begin{align*}
y^{\prime }&={\mathrm e}^{x} \left (a +b \,{\mathrm e}^{-y}\right ) \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
4.012 |
|
| \begin{align*}
y \ln \left (x \right ) \ln \left (y\right )+y^{\prime }&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
4.036 |
|
| \begin{align*}
y^{\prime }&=x^{m -1} y^{1-n} f \left (a \,x^{m}+b y^{n}\right ) \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x),G(y)]‘]] |
✗ |
✓ |
✓ |
✗ |
5.967 |
|
| \begin{align*}
y^{\prime }&=a f \left (y\right ) \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
1.113 |
|
| \begin{align*}
y^{\prime }&=f \left (a +b x +c y\right ) \\
\end{align*} |
[[_homogeneous, ‘class C‘], _dAlembert] |
✓ |
✓ |
✓ |
✓ |
1.791 |
|
| \begin{align*}
y^{\prime }&=f \left (x \right ) g \left (y\right ) \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
1.934 |
|
| \begin{align*}
y^{\prime }&=\sec \left (x \right )^{2}+y \sec \left (x \right ) \operatorname {Csx} \left (x \right ) \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.619 |
|
| \begin{align*}
2 y^{\prime }+2 \csc \left (x \right )^{2}&=y \csc \left (x \right ) \sec \left (x \right )-y^{2} \sec \left (x \right )^{2} \\
\end{align*} |
[_Riccati] |
✓ |
✓ |
✓ |
✗ |
1.660 |
|
| \begin{align*}
2 y^{\prime }&=2 \sin \left (y\right )^{2} \tan \left (y\right )-x \sin \left (2 y\right ) \\
\end{align*} |
[‘y=_G(x,y’)‘] |
✗ |
✗ |
✓ |
✗ |
52.014 |
|
| \begin{align*}
2 y^{\prime }+a x&=\sqrt {a^{2} x^{2}-4 b \,x^{2}-4 c y} \\
\end{align*} |
[[_homogeneous, ‘class G‘]] |
✓ |
✓ |
✓ |
✗ |
15.288 |
|
| \begin{align*}
2 y^{\prime }+a x&=-\sqrt {a^{2} x^{2}-4 b \,x^{2}-4 c y} \\
\end{align*} |
[[_homogeneous, ‘class G‘]] |
✓ |
✓ |
✓ |
✗ |
14.500 |
|
| \begin{align*}
3 y^{\prime }&=x +\sqrt {x^{2}-3 y} \\
\end{align*} |
[[_1st_order, _with_linear_symmetries], _dAlembert] |
✓ |
✓ |
✓ |
✗ |
24.751 |
|
| \begin{align*}
3 y^{\prime }&=x -\sqrt {x^{2}-3 y} \\
\end{align*} |
[[_1st_order, _with_linear_symmetries], _dAlembert] |
✓ |
✓ |
✓ |
✗ |
98.958 |
|
| \begin{align*}
y^{\prime } x&=\sqrt {a^{2}-x^{2}} \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
0.618 |
|
| \begin{align*}
y^{\prime } x&=-\sqrt {a^{2}-x^{2}} \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
0.401 |
|
| \begin{align*}
y^{\prime } x +x +y&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
5.792 |
|
| \begin{align*}
y^{\prime } x +x^{2}-y&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.152 |
|
| \begin{align*}
y^{\prime } x&=x^{3}-y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
3.918 |
|
| \begin{align*}
y^{\prime } x&=1+x^{3}+y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.391 |
|
| \begin{align*}
y^{\prime } x&=x^{m}+y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
3.246 |
|
| \begin{align*}
y^{\prime } x&=x \sin \left (x \right )-y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.316 |
|
| \begin{align*}
y^{\prime } x&=x^{2} \sin \left (x \right )+y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
3.344 |
|
| \begin{align*}
y^{\prime } x&=x^{n} \ln \left (x \right )-y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.710 |
|
| \begin{align*}
y^{\prime } x&=\sin \left (x \right )-2 y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.684 |
|
| \begin{align*}
y^{\prime } x&=a y \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
4.037 |
|
| \begin{align*}
y^{\prime } x&=-a y \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
4.010 |
|
| \begin{align*}
y^{\prime } x&=1+x +a y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
4.602 |
|
| \begin{align*}
y^{\prime } x&=a x +b y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
6.438 |
|
| \begin{align*}
y^{\prime } x&=a \,x^{2}+b y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
4.397 |
|
| \begin{align*}
y^{\prime } x&=a +b \,x^{n}+c y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✗ |
4.052 |
|
| \begin{align*}
y^{\prime } x +2+\left (-x +3\right ) y&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.211 |
|
| \begin{align*}
y^{\prime } x +x +\left (a x +2\right ) y&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.048 |
|
| \begin{align*}
y^{\prime } x +\left (b x +a \right ) y&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
3.039 |
|
| \begin{align*}
y^{\prime } x&=x^{3}+\left (-2 x^{2}+1\right ) y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
3.763 |
|
| \begin{align*}
y^{\prime } x&=a x -\left (-b \,x^{2}+1\right ) y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.221 |
|
| \begin{align*}
y^{\prime } x +\left (-a \,x^{2}+2\right ) y&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
3.773 |
|
| \begin{align*}
y^{\prime } x +x^{2}+y^{2}&=0 \\
\end{align*} |
[_rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
4.907 |
|
| \begin{align*}
y^{\prime } x&=x^{2}+y \left (1+y\right ) \\
\end{align*} |
[[_homogeneous, ‘class D‘], _rational, _Riccati] |
✓ |
✓ |
✓ |
✓ |
2.627 |
|
| \begin{align*}
y^{\prime } x -y+y^{2}&=x^{{2}/{3}} \\
\end{align*} |
[_rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
50.984 |
|
| \begin{align*}
y^{\prime } x&=a +b y^{2} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
5.490 |
|
| \begin{align*}
y^{\prime } x&=a \,x^{2}+y+b y^{2} \\
\end{align*} |
[[_homogeneous, ‘class D‘], _rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
2.257 |
|
| \begin{align*}
y^{\prime } x&=a \,x^{2 n}+\left (n +b y\right ) y \\
\end{align*} |
[_rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
5.066 |
|
| \begin{align*}
y^{\prime } x&=a \,x^{n}+b y+c y^{2} \\
\end{align*} |
[_rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
32.096 |
|
| \begin{align*}
y^{\prime } x&=k +a \,x^{n}+b y+c y^{2} \\
\end{align*} |
[_rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
14.702 |
|
| \begin{align*}
y^{\prime } x +a +x y^{2}&=0 \\
\end{align*} |
[_rational, [_Riccati, _special]] |
✓ |
✓ |
✓ |
✗ |
4.892 |
|
| \begin{align*}
y^{\prime } x +\left (-y x +1\right ) y&=0 \\
\end{align*} |
[[_homogeneous, ‘class G‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
3.468 |
|
| \begin{align*}
y^{\prime } x&=\left (-y x +1\right ) y \\
\end{align*} |
[[_homogeneous, ‘class D‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
9.181 |
|
| \begin{align*}
y^{\prime } x&=\left (y x +1\right ) y \\
\end{align*} |
[[_homogeneous, ‘class D‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
9.483 |
|
| \begin{align*}
y^{\prime } x&=a \,x^{3} \left (-y x +1\right ) y \\
\end{align*} |
[_Bernoulli] |
✓ |
✓ |
✓ |
✓ |
2.667 |
|
| \begin{align*}
y^{\prime } x&=x^{3}+\left (2 x^{2}+1\right ) y+x y^{2} \\
\end{align*} |
[[_homogeneous, ‘class D‘], _rational, _Riccati] |
✓ |
✓ |
✓ |
✓ |
5.046 |
|
| \begin{align*}
y^{\prime } x&=y \left (2 y x +1\right ) \\
\end{align*} |
[[_homogeneous, ‘class D‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
6.782 |
|
| \begin{align*}
y^{\prime } x +b x +\left (2+a x y\right ) y&=0 \\
\end{align*} |
[_rational, [_1st_order, ‘_with_symmetry_[F(x),G(x)]‘], _Riccati] |
✓ |
✓ |
✓ |
✗ |
3.610 |
|
| \begin{align*}
y^{\prime } x +a_{0} +a_{1} x +\left (a_{2} +a_{3} x y\right ) y&=0 \\
\end{align*} |
[_rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
32.355 |
|
| \begin{align*}
y^{\prime } x +a \,x^{2} y^{2}+2 y&=b \\
\end{align*} |
[_rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
31.440 |
|
| \begin{align*}
y^{\prime } x +x^{m}+\frac {\left (n -m \right ) y}{2}+x^{n} y^{2}&=0 \\
\end{align*} |
[_rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
4.789 |
|
| \begin{align*}
y^{\prime } x +\left (a +b \,x^{n} y\right ) y&=0 \\
\end{align*} |
[[_homogeneous, ‘class G‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
5.951 |
|
| \begin{align*}
y^{\prime } x&=a \,x^{m}-b y-c \,x^{n} y^{2} \\
\end{align*} |
[_rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
2.057 |
|
| \begin{align*}
y^{\prime } x&=2 x -y+a \,x^{n} \left (x -y\right )^{2} \\
\end{align*} |
[[_1st_order, _with_linear_symmetries], _rational, _Riccati] |
✓ |
✓ |
✓ |
✓ |
7.638 |
|
| \begin{align*}
y^{\prime } x +\left (1-a y \ln \left (x \right )\right ) y&=0 \\
\end{align*} |
[_Bernoulli] |
✓ |
✓ |
✓ |
✓ |
7.488 |
|
| \begin{align*}
y^{\prime } x&=y+\left (x^{2}-y^{2}\right ) f \left (x \right ) \\
\end{align*} |
[[_homogeneous, ‘class D‘], _Riccati] |
✓ |
✓ |
✓ |
✗ |
5.380 |
|
| \begin{align*}
y^{\prime } x&=y \left (1+y^{2}\right ) \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
9.478 |
|
| \begin{align*}
y^{\prime } x +y \left (1-x y^{2}\right )&=0 \\
\end{align*} |
[[_homogeneous, ‘class G‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
14.263 |
|
| \begin{align*}
y^{\prime } x +y&=a \left (x^{2}+1\right ) y^{3} \\
\end{align*} |
[_rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
5.458 |
|
| \begin{align*}
y^{\prime } x +y&=a \left (-x^{2}+1\right ) y^{3} \\
\end{align*} |
[_rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
5.040 |
|
| \begin{align*}
y^{\prime } x&=a y+b \left (x^{2}+1\right ) y^{3} \\
\end{align*} |
[_rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
8.546 |
|