| # |
ODE |
CAS classification |
Solved? |
Maple |
Mma |
Sympy |
time(sec) |
| \begin{align*}
x y^{\prime }&=a y+b \left (-x^{2}+1\right ) y^{3} \\
\end{align*} |
[_rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
10.555 |
|
| \begin{align*}
x y^{\prime }+2 y&=a \,x^{2 k} y^{k} \\
\end{align*} |
[[_homogeneous, ‘class G‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
25.773 |
|
| \begin{align*}
x y^{\prime }&=4 y-4 \sqrt {y} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
17.864 |
|
| \begin{align*}
x y^{\prime }+2 y&=\sqrt {1+y^{2}} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
12.239 |
|
| \begin{align*}
x y^{\prime }+2 y&=-\sqrt {1+y^{2}} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
12.200 |
|
| \begin{align*}
x y^{\prime }&=y+\sqrt {x^{2}+y^{2}} \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
✓ |
✓ |
15.394 |
|
| \begin{align*}
x y^{\prime }&=y+\sqrt {x^{2}-y^{2}} \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
✓ |
✓ |
44.266 |
|
| \begin{align*}
x y^{\prime }&=y+x \sqrt {x^{2}+y^{2}} \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✓ |
✓ |
✓ |
✗ |
5.493 |
|
| \begin{align*}
x y^{\prime }&=y-x \left (x -y\right ) \sqrt {x^{2}+y^{2}} \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✗ |
✓ |
✓ |
✗ |
13.348 |
|
| \begin{align*}
x y^{\prime }&=y+a \sqrt {y^{2}+b^{2} x^{2}} \\
\end{align*} |
[[_homogeneous, ‘class A‘], _dAlembert] |
✓ |
✓ |
✗ |
✗ |
51.185 |
|
| \begin{align*}
x y^{\prime }&=y+a \sqrt {y^{2}-b^{2} x^{2}} \\
\end{align*} |
[[_homogeneous, ‘class A‘], _dAlembert] |
✓ |
✓ |
✓ |
✓ |
51.256 |
|
| \begin{align*}
x y^{\prime }+\left (\sin \left (y\right )-3 \cos \left (y\right ) x^{2}\right ) \cos \left (y\right )&=0 \\
\end{align*} |
[‘y=_G(x,y’)‘] |
✓ |
✓ |
✓ |
✗ |
4.631 |
|
| \begin{align*}
x y^{\prime }+x -y+x \cos \left (\frac {y}{x}\right )&=0 \\
\end{align*} |
[[_homogeneous, ‘class A‘], _dAlembert] |
✓ |
✓ |
✓ |
✓ |
8.612 |
|
| \begin{align*}
x y^{\prime }&=-x \cos \left (\frac {y}{x}\right )^{2}+y \\
\end{align*} |
[[_homogeneous, ‘class A‘], _dAlembert] |
✓ |
✓ |
✓ |
✗ |
9.565 |
|
| \begin{align*}
x y^{\prime }&=\left (-2 x^{2}+1\right ) \cot \left (y\right )^{2} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
4.424 |
|
| \begin{align*}
x y^{\prime }&=y-x \cot \left (\frac {y}{x}\right )^{2} \\
\end{align*} |
[[_homogeneous, ‘class A‘], _dAlembert] |
✓ |
✓ |
✓ |
✗ |
13.345 |
|
| \begin{align*}
x y^{\prime }+y+2 x \sec \left (y x \right )&=0 \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✓ |
✓ |
✓ |
✗ |
3.625 |
|
| \begin{align*}
x y^{\prime }-y+x \sec \left (\frac {y}{x}\right )&=0 \\
\end{align*} |
[[_homogeneous, ‘class A‘], _dAlembert] |
✓ |
✓ |
✓ |
✓ |
10.956 |
|
| \begin{align*}
x y^{\prime }&=y+x \sec \left (\frac {y}{x}\right )^{2} \\
\end{align*} |
[[_homogeneous, ‘class A‘], _dAlembert] |
✓ |
✓ |
✓ |
✗ |
12.571 |
|
| \begin{align*}
x y^{\prime }&=\sin \left (x -y\right ) \\
\end{align*} |
[‘y=_G(x,y’)‘] |
✗ |
✗ |
✗ |
✗ |
53.626 |
|
| \begin{align*}
x y^{\prime }&=y+x \sin \left (\frac {y}{x}\right ) \\
\end{align*} |
[[_homogeneous, ‘class A‘], _dAlembert] |
✓ |
✓ |
✓ |
✓ |
10.758 |
|
| \begin{align*}
x y^{\prime }+\tan \left (y\right )&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
6.762 |
|
| \begin{align*}
x y^{\prime }+x +\tan \left (x +y\right )&=0 \\
\end{align*} |
[[_1st_order, _with_linear_symmetries]] |
✓ |
✓ |
✓ |
✓ |
5.974 |
|
| \begin{align*}
x y^{\prime }&=y-x \tan \left (\frac {y}{x}\right ) \\
\end{align*} |
[[_homogeneous, ‘class A‘], _dAlembert] |
✓ |
✓ |
✓ |
✓ |
11.857 |
|
| \begin{align*}
x y^{\prime }&=\left (1+y^{2}\right ) \left (x^{2}+\arctan \left (y\right )\right ) \\
\end{align*} |
[‘y=_G(x,y’)‘] |
✓ |
✓ |
✓ |
✗ |
5.491 |
|
| \begin{align*}
x y^{\prime }&={\mathrm e}^{\frac {y}{x}} x +y \\
\end{align*} |
[[_homogeneous, ‘class A‘], _dAlembert] |
✓ |
✓ |
✓ |
✗ |
11.093 |
|
| \begin{align*}
x y^{\prime }&=x +y+{\mathrm e}^{\frac {y}{x}} x \\
\end{align*} |
[[_homogeneous, ‘class A‘], _dAlembert] |
✓ |
✓ |
✓ |
✗ |
13.059 |
|
| \begin{align*}
x y^{\prime }&=\ln \left (y\right ) y \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
8.101 |
|
| \begin{align*}
x y^{\prime }&=\left (1+\ln \left (x \right )-\ln \left (y\right )\right ) y \\
\end{align*} |
[[_homogeneous, ‘class A‘], _dAlembert] |
✓ |
✓ |
✓ |
✓ |
14.752 |
|
| \begin{align*}
x y^{\prime }+\left (1-\ln \left (x \right )-\ln \left (y\right )\right ) y&=0 \\
\end{align*} |
[[_homogeneous, ‘class G‘]] |
✓ |
✓ |
✓ |
✓ |
9.219 |
|
| \begin{align*}
x y^{\prime }&=y-2 x \tanh \left (\frac {y}{x}\right ) \\
\end{align*} |
[[_homogeneous, ‘class A‘], _dAlembert] |
✓ |
✓ |
✓ |
✗ |
19.565 |
|
| \begin{align*}
x y^{\prime }+n y&=f \left (x \right ) g \left (x^{n} y\right ) \\
\end{align*} |
[[_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✗ |
✓ |
✓ |
✗ |
7.566 |
|
| \begin{align*}
x y^{\prime }&=y f \left (x^{m} y^{n}\right ) \\
\end{align*} |
[[_homogeneous, ‘class G‘]] |
✓ |
✓ |
✓ |
✗ |
8.776 |
|
| \begin{align*}
\left (x +1\right ) y^{\prime }&=x^{3} \left (3 x +4\right )+y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
3.362 |
|
| \begin{align*}
\left (x +1\right ) y^{\prime }&=\left (x +1\right )^{4}+2 y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
5.148 |
|
| \begin{align*}
\left (x +1\right ) y^{\prime }&={\mathrm e}^{x} \left (x +1\right )^{n +1}+n y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
3.739 |
|
| \begin{align*}
\left (x +1\right ) y^{\prime }&=a y+b x y^{2} \\
\end{align*} |
[_rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
13.807 |
|
| \begin{align*}
\left (x +1\right ) y^{\prime }+y+\left (x +1\right )^{4} y^{3}&=0 \\
\end{align*} |
[[_1st_order, _with_linear_symmetries], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
9.909 |
|
| \begin{align*}
\left (x +1\right ) y^{\prime }&=\left (1-x y^{3}\right ) y \\
\end{align*} |
[_rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
3.876 |
|
| \begin{align*}
\left (x +1\right ) y^{\prime }&=1+y+\left (x +1\right ) \sqrt {y+1} \\
\end{align*} |
[[_1st_order, _with_linear_symmetries]] |
✓ |
✓ |
✓ |
✓ |
11.050 |
|
| \begin{align*}
\left (x +a \right ) y^{\prime }&=b x \\
\end{align*} |
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
0.581 |
|
| \begin{align*}
\left (x +a \right ) y^{\prime }&=b x +y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
3.546 |
|
| \begin{align*}
\left (x +a \right ) y^{\prime }+b \,x^{2}+y&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
3.585 |
|
| \begin{align*}
\left (x +a \right ) y^{\prime }&=2 \left (x +a \right )^{5}+3 y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
5.102 |
|
| \begin{align*}
\left (x +a \right ) y^{\prime }&=b +c y \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
5.614 |
|
| \begin{align*}
\left (x +a \right ) y^{\prime }&=-b -c y \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
5.001 |
|
| \begin{align*}
\left (x +a \right ) y^{\prime }&=b x +c y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
6.030 |
|
| \begin{align*}
\left (x +a \right ) y^{\prime }&=y \left (1-a y\right ) \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
7.314 |
|
| \begin{align*}
\left (-x +a \right ) y^{\prime }&=y+\left (c x +b \right ) y^{3} \\
\end{align*} |
[_rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
8.770 |
|
| \begin{align*}
2 x y^{\prime }&=2 x^{3}-y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
28.911 |
|
| \begin{align*}
2 x y^{\prime }+1&=4 i x y+y^{2} \\
\end{align*} |
[_rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
35.799 |
|
| \begin{align*}
2 x y^{\prime }&=y \left (1+y^{2}\right ) \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
6.481 |
|
| \begin{align*}
2 x y^{\prime }+y \left (1+y^{2}\right )&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
21.595 |
|
| \begin{align*}
2 x y^{\prime }&=\left (1+x -6 y^{2}\right ) y \\
\end{align*} |
[_rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
5.276 |
|
| \begin{align*}
2 x y^{\prime }+4 y+a +\sqrt {a^{2}-4 b -4 c y}&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
10.751 |
|
| \begin{align*}
2 x y^{\prime }+4 y+a -\sqrt {a^{2}-4 b -4 c y}&=0 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
12.902 |
|
| \begin{align*}
\left (1-2 x \right ) y^{\prime }&=16+32 x -6 y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
5.914 |
|
| \begin{align*}
\left (2 x +1\right ) y^{\prime }&=4 \,{\mathrm e}^{-y}-2 \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
6.704 |
|
| \begin{align*}
2 \left (1-x \right ) y^{\prime }&=4 x \sqrt {1-x}+y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
3.184 |
|
| \begin{align*}
2 \left (x +1\right ) y^{\prime }+2 y+\left (x +1\right )^{4} y^{3}&=0 \\
\end{align*} |
[[_1st_order, _with_linear_symmetries], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
9.051 |
|
| \begin{align*}
3 x y^{\prime }&=3 x^{{2}/{3}}+\left (1-3 y\right ) y \\
\end{align*} |
[_rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
4.582 |
|
| \begin{align*}
3 x y^{\prime }&=\left (2+x y^{3}\right ) y \\
\end{align*} |
[[_homogeneous, ‘class G‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
10.257 |
|
| \begin{align*}
3 x y^{\prime }&=\left (3 y^{3} \ln \left (x \right ) x +1\right ) y \\
\end{align*} |
[_Bernoulli] |
✓ |
✓ |
✓ |
✓ |
7.857 |
|
| \begin{align*}
x^{2} y^{\prime }&=a -y \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
3.875 |
|
| \begin{align*}
x^{2} y^{\prime }&=a +b x +c \,x^{2}+y x \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
3.096 |
|
| \begin{align*}
x^{2} y^{\prime }&=a +b x +c \,x^{2}-y x \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.908 |
|
| \begin{align*}
x^{2} y^{\prime }+\left (1-2 x \right ) y&=x^{2} \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
3.829 |
|
| \begin{align*}
x^{2} y^{\prime }&=a +b x y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
5.773 |
|
| \begin{align*}
x^{2} y^{\prime }&=\left (b x +a \right ) y \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
4.441 |
|
| \begin{align*}
x^{2} y^{\prime }+x \left (x +2\right ) y&=x \left (1-{\mathrm e}^{-2 x}\right )-2 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
3.156 |
|
| \begin{align*}
x^{2} y^{\prime }+2 x \left (1-x \right ) y&={\mathrm e}^{x} \left (2 \,{\mathrm e}^{x}-1\right ) \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
3.261 |
|
| \begin{align*}
x^{2} y^{\prime }+x^{2}+y x +y^{2}&=0 \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, _Riccati] |
✓ |
✓ |
✓ |
✓ |
7.309 |
|
| \begin{align*}
x^{2} y^{\prime }&=\left (1+2 x -y\right )^{2} \\
\end{align*} |
[[_homogeneous, ‘class C‘], _rational, _Riccati] |
✓ |
✓ |
✓ |
✓ |
11.255 |
|
| \begin{align*}
x^{2} y^{\prime }&=a +b y^{2} \\
\end{align*} |
[_separable] |
✓ |
✓ |
✓ |
✓ |
5.750 |
|
| \begin{align*}
x^{2} y^{\prime }&=\left (x +a y\right ) y \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
10.296 |
|
| \begin{align*}
x^{2} y^{\prime }&=\left (a x +b y\right ) y \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
51.834 |
|
| \begin{align*}
x^{2} y^{\prime }+a \,x^{2}+b x y+c y^{2}&=0 \\
\end{align*} |
[[_homogeneous, ‘class A‘], _rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
28.460 |
|
| \begin{align*}
x^{2} y^{\prime }&=a +b \,x^{n}+x^{2} y^{2} \\
\end{align*} |
[_rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
0.747 |
|
| \begin{align*}
x^{2} y^{\prime }+2+x y \left (4+y x \right )&=0 \\
\end{align*} |
[[_homogeneous, ‘class G‘], _rational, _Riccati] |
✓ |
✓ |
✓ |
✓ |
8.341 |
|
| \begin{align*}
x^{2} y^{\prime }+2+a x \left (-y x +1\right )-x^{2} y^{2}&=0 \\
\end{align*} |
[_rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
4.015 |
|
| \begin{align*}
x^{2} y^{\prime }&=a +b \,x^{2} y^{2} \\
\end{align*} |
[[_homogeneous, ‘class G‘], _rational, [_Riccati, _special]] |
✓ |
✓ |
✓ |
✓ |
7.020 |
|
| \begin{align*}
x^{2} y^{\prime }&=a +b \,x^{n}+c \,x^{2} y^{2} \\
\end{align*} |
[_rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
87.852 |
|
| \begin{align*}
x^{2} y^{\prime }&=a +b x y+c \,x^{2} y^{2} \\
\end{align*} |
[[_homogeneous, ‘class G‘], _rational, _Riccati] |
✓ |
✓ |
✓ |
✓ |
8.078 |
|
| \begin{align*}
x^{2} y^{\prime }&=a +b x y+c \,x^{4} y^{2} \\
\end{align*} |
[_rational, _Riccati] |
✓ |
✓ |
✓ |
✗ |
2.968 |
|
| \begin{align*}
x^{2} y^{\prime }+\left (x^{2}+y^{2}-x \right ) y&=0 \\
\end{align*} |
[[_homogeneous, ‘class D‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
5.733 |
|
| \begin{align*}
x^{2} y^{\prime }&=2 y \left (x -y^{2}\right ) \\
\end{align*} |
[[_homogeneous, ‘class G‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
18.107 |
|
| \begin{align*}
x^{2} y^{\prime }&=a \,x^{2} y^{2}-a y^{3} \\
\end{align*} |
[_rational, _Abel] |
✗ |
✓ |
✓ |
✗ |
7.342 |
|
| \begin{align*}
x^{2} y^{\prime }+a y^{2}+b \,x^{2} y^{3}&=0 \\
\end{align*} |
[_rational, _Abel] |
✗ |
✓ |
✓ |
✗ |
8.747 |
|
| \begin{align*}
x^{2} y^{\prime }&=\left (a x +y^{3} b \right ) y \\
\end{align*} |
[[_homogeneous, ‘class G‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
10.326 |
|
| \begin{align*}
x^{2} y^{\prime }+y x +\sqrt {y}&=0 \\
\end{align*} |
[[_homogeneous, ‘class G‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
19.783 |
|
| \begin{align*}
x^{2} y^{\prime }&=\sec \left (y\right )+3 x \tan \left (y\right ) \\
\end{align*} |
[‘y=_G(x,y’)‘] |
✗ |
✓ |
✓ |
✗ |
23.125 |
|
| \begin{align*}
\left (-x^{2}+1\right ) y^{\prime }&=1-x^{2}+y \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.629 |
|
| \begin{align*}
\left (-x^{2}+1\right ) y^{\prime }+1&=y x \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.467 |
|
| \begin{align*}
\left (-x^{2}+1\right ) y^{\prime }-1&=y x \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.445 |
|
| \begin{align*}
\left (-x^{2}+1\right ) y^{\prime }&=5-y x \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
9.046 |
|
| \begin{align*}
\left (x^{2}+1\right ) y^{\prime }+a +y x&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.375 |
|
| \begin{align*}
\left (x^{2}+1\right ) y^{\prime }-a +y x&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.208 |
|
| \begin{align*}
\left (x^{2}+1\right ) y^{\prime }+a -y x&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
9.242 |
|
| \begin{align*}
\left (x^{2}+1\right ) y^{\prime }-a -y x&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
9.062 |
|
| \begin{align*}
\left (-x^{2}+1\right ) y^{\prime }+a -y x&=0 \\
\end{align*} |
[_linear] |
✓ |
✓ |
✓ |
✓ |
2.392 |
|