2.16.31 Problems 3001 to 3100

Table 2.78: Main lookup table. Sorted sequentially by problem number.

#

ODE

Program classification

CAS classification

Solved?

Verified?

time (sec)

3001

\[ {}x^{2} y^{\prime } = x \left (y-1\right )+\left (y-1\right )^{2} \]

riccati, homogeneousTypeMapleC, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class C‘], _rational, _Riccati]

1.263

3002

\[ {}y^{\prime } = {\mathrm e}^{-x} \]

quadrature

[_quadrature]

0.122

3003

\[ {}y^{\prime } = 1-x^{5}+\sqrt {x} \]

quadrature

[_quadrature]

0.189

3004

\[ {}3 y-2 x +\left (3 x -2\right ) y^{\prime } = 0 \]

exact, linear, differentialType, homogeneousTypeMapleC, first_order_ode_lie_symmetry_lookup

[_linear]

1.383

3005

\[ {}x^{2}+x -1+\left (2 x y+y\right ) y^{\prime } = 0 \]

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

0.938

3006

\[ {}{\mathrm e}^{2 y}+\left (1+x \right ) y^{\prime } = 0 \]

exact, separable, first order special form ID 1, first_order_ode_lie_symmetry_lookup

[_separable]

0.772

3007

\[ {}\left (1+x \right ) y^{\prime }-x^{2} y^{2} = 0 \]

exact, riccati, separable, first_order_ode_lie_symmetry_lookup

[_separable]

0.686

3008

\[ {}y^{\prime } = \frac {-2 x +y}{x} \]

linear, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.744

3009

\[ {}x^{3}+y^{3}-x y^{2} y^{\prime } = 0 \]

bernoulli, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[[_homogeneous, ‘class A‘], _rational, _Bernoulli]

1.392

3010

\[ {}y^{\prime }+y = 0 \]

quadrature

[_quadrature]

0.247

3011

\[ {}y^{\prime }+y = x^{2}+2 \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[[_linear, ‘class A‘]]

0.616

3012

\[ {}y^{\prime }-y \tan \left (x \right ) = x \]

i.c.

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

1.106

3013

\[ {}y^{\prime } = {\mathrm e}^{x -2 y} \]

i.c.

exact, separable, first order special form ID 1, first_order_ode_lie_symmetry_lookup

[_separable]

1.099

3014

\[ {}y^{\prime } = \frac {x^{2}+y^{2}}{2 x^{2}} \]

riccati, homogeneousTypeD2, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class A‘], _rational, _Riccati]

1.107

3015

\[ {}x y^{\prime } = x +y \]

i.c.

linear, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.824

3016

\[ {}{\mathrm e}^{-y}+\left (x^{2}+1\right ) y^{\prime } = 0 \]

i.c.

exact, separable, first order special form ID 1, first_order_ode_lie_symmetry_lookup

[_separable]

1.299

3017

\[ {}y^{\prime } = {\mathrm e}^{x} \sin \left (x \right ) \]

i.c.

quadrature

[_quadrature]

0.474

3018

\[ {}y^{\prime }-3 y = {\mathrm e}^{3 x}+{\mathrm e}^{-3 x} \]

i.c.

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[[_linear, ‘class A‘]]

1.085

3019

\[ {}y^{\prime } = x +\frac {1}{x} \]

i.c.

quadrature

[_quadrature]

0.277

3020

\[ {}x y^{\prime }+2 y = \left (3 x +2\right ) {\mathrm e}^{3 x} \]

i.c.

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

1.03

3021

\[ {}2 \sin \left (3 x \right ) \sin \left (2 y\right ) y^{\prime }-3 \cos \left (3 x \right ) \cos \left (2 y\right ) = 0 \]

i.c.

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

4.279

3022

\[ {}x y y^{\prime } = \left (1+x \right ) \left (y+1\right ) \]

i.c.

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

2.736

3023

\[ {}y^{\prime } = \frac {2 x -y}{y+2 x} \]

i.c.

homogeneousTypeD2, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class A‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]]

7.978

3024

\[ {}y^{\prime } = \frac {3 x -y+1}{3 y-x +5} \]

i.c.

homogeneousTypeMapleC, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class C‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]]

2.987

3025

\[ {}3 y-7 x +7+\left (7 y-3 x +3\right ) y^{\prime } = 0 \]

i.c.

homogeneousTypeMapleC, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class C‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]]

3.057

3026

\[ {}x +\left (2-x +2 y\right ) y^{\prime } = x y \left (y^{\prime }-1\right ) \]

quadrature

[_quadrature]

0.185

3027

\[ {}y^{\prime } \cos \left (x \right )+y \sin \left (x \right ) = 1 \]

i.c.

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

1.556

3028

\[ {}\left (x +y^{2}\right ) y^{\prime }-x^{2}+y = 0 \]

i.c.

exact, differentialType

[_exact, _rational]

68.71

3029

\[ {}y y^{\prime } = x \]

exact, separable, differentialType, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

1.506

3030

\[ {}y^{\prime }-y = x^{3} \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[[_linear, ‘class A‘]]

0.611

3031

\[ {}y^{\prime }+y \cot \left (x \right ) = x \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.836

3032

\[ {}y^{\prime }+y \cot \left (x \right ) = \tan \left (x \right ) \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.89

3033

\[ {}y^{\prime }+y \tan \left (x \right ) = \cot \left (x \right ) \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.938

3034

\[ {}y^{\prime }+y \ln \left (x \right ) = x^{-x} \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.793

3035

\[ {}x y^{\prime }+y = x \]

exact, linear, differentialType, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_linear]

0.986

3036

\[ {}-y+x y^{\prime } = x^{3} \]

linear, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.661

3037

\[ {}x y^{\prime }+n y = x^{n} \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.861

3038

\[ {}x y^{\prime }-n y = x^{n} \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.794

3039

\[ {}\left (x^{3}+x \right ) y^{\prime }+y = x \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.812

3040

\[ {}\cot \left (x \right ) y^{\prime }+y = x \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

1.232

3041

\[ {}\cot \left (x \right ) y^{\prime }+y = \tan \left (x \right ) \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

1.333

3042

\[ {}\tan \left (x \right ) y^{\prime }+y = \cot \left (x \right ) \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

1.52

3043

\[ {}\tan \left (x \right ) y^{\prime } = y-\cos \left (x \right ) \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

1.854

3044

\[ {}y^{\prime }+y \cos \left (x \right ) = \sin \left (2 x \right ) \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

1.105

3045

\[ {}y^{\prime } \cos \left (x \right )+y = \sin \left (2 x \right ) \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

2.73

3046

\[ {}y^{\prime }+y \sin \left (x \right ) = \sin \left (2 x \right ) \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

1.109

3047

\[ {}y^{\prime } \sin \left (x \right )+y = \sin \left (2 x \right ) \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

2.414

3048

\[ {}\sqrt {x^{2}+1}\, y^{\prime }+y = 2 x \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

1.059

3049

\[ {}\sqrt {x^{2}+1}\, y^{\prime }-y = 2 \sqrt {x^{2}+1} \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

1.352

3050

\[ {}\sqrt {\left (x +a \right ) \left (x +b \right )}\, \left (2 y^{\prime }-3\right )+y = 0 \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

3.551

3051

\[ {}\sqrt {\left (x +a \right ) \left (x +b \right )}\, y^{\prime }+y = \sqrt {x +a}-\sqrt {x +b} \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

2.407

3052

\[ {}3 y^{2} y^{\prime } = 2 x -1 \]

exact, separable, differentialType, first_order_ode_lie_symmetry_lookup

[_separable]

9.704

3053

\[ {}y^{\prime } = 6 x y^{2} \]

exact, riccati, separable, first_order_ode_lie_symmetry_lookup

[_separable]

0.573

3054

\[ {}y^{\prime } = {\mathrm e}^{y} \sin \left (x \right ) \]

exact, separable, first order special form ID 1, first_order_ode_lie_symmetry_lookup

[_separable]

0.816

3055

\[ {}y^{\prime } = {\mathrm e}^{x -y} \]

exact, separable, first order special form ID 1, first_order_ode_lie_symmetry_lookup

[_separable]

0.619

3056

\[ {}y^{\prime } = x \sec \left (y\right ) \]

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

0.799

3057

\[ {}y^{\prime } = 3 \cos \left (y\right )^{2} \]

quadrature

[_quadrature]

0.3

3058

\[ {}x y^{\prime } = y \]

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

0.723

3059

\[ {}\left (1-x \right ) y^{\prime } = y \]

exact, linear, separable, differentialType, homogeneousTypeD2, homogeneousTypeMapleC, first_order_ode_lie_symmetry_lookup

[_separable]

1.188

3060

\[ {}y^{\prime } = \frac {4 x y}{x^{2}+1} \]

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

0.889

3061

\[ {}y^{\prime } = \frac {2 y}{x^{2}-1} \]

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

0.866

3062

\[ {}x^{2} y^{\prime }-y^{2} = 0 \]

i.c.

exact, riccati, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

1.083

3063

\[ {}y^{\prime }+2 x y = 0 \]

i.c.

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

1.104

3064

\[ {}\cot \left (x \right ) y^{\prime } = y \]

i.c.

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

1.666

3065

\[ {}y^{\prime } = x \,{\mathrm e}^{-2 y} \]

i.c.

exact, separable, first order special form ID 1, first_order_ode_lie_symmetry_lookup

[_separable]

1.018

3066

\[ {}y^{\prime }-2 x y = 2 x \]

i.c.

exact, linear, separable, first_order_ode_lie_symmetry_lookup

[_separable]

1.415

3067

\[ {}x y^{\prime } = x y+y \]

i.c.

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

1.151

3068

\[ {}\left (x^{3}+1\right ) y^{\prime } = 3 x^{2} \tan \left (x \right ) \]

i.c.

quadrature

[_quadrature]

0.683

3069

\[ {}x \cos \left (y\right ) y^{\prime } = 1+\sin \left (y\right ) \]

i.c.

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

3.685

3070

\[ {}x y^{\prime } = 2 y \left (y-1\right ) \]

i.c.

exact, riccati, bernoulli, separable, first_order_ode_lie_symmetry_lookup

[_separable]

3.056

3071

\[ {}2 x y^{\prime } = 1-y^{2} \]

i.c.

exact, riccati, separable, first_order_ode_lie_symmetry_lookup

[_separable]

1.274

3072

\[ {}\left (1-x \right ) y^{\prime } = x y \]

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

0.834

3073

\[ {}\left (x^{2}-1\right ) y^{\prime } = \left (x^{2}+1\right ) y \]

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

0.848

3074

\[ {}y^{\prime } = {\mathrm e}^{x} \left (1+y^{2}\right ) \]

exact, riccati, separable, first_order_ode_lie_symmetry_lookup

[_separable]

0.822

3075

\[ {}{\mathrm e}^{y} y^{\prime }+2 x = 2 x \,{\mathrm e}^{y} \]

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

1.122

3076

\[ {}y \,{\mathrm e}^{2 x} y^{\prime }+2 x = 0 \]

i.c.

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

1.919

3077

\[ {}x y y^{\prime } = \sqrt {y^{2}-9} \]

i.c.

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

1.906

3078

\[ {}\left (x +y-1\right ) y^{\prime } = x -y+1 \]

exact, differentialType, homogeneousTypeMapleC, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class C‘], _exact, _rational, [_Abel, ‘2nd type‘, ‘class A‘]]

2.594

3079

\[ {}x y y^{\prime } = 2 x^{2}-y^{2} \]

bernoulli, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[[_homogeneous, ‘class A‘], _rational, _Bernoulli]

1.446

3080

\[ {}x^{2}-y^{2}+x y y^{\prime } = 0 \]

bernoulli, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[[_homogeneous, ‘class A‘], _rational, _Bernoulli]

1.035

3081

\[ {}x^{2} y^{\prime }-2 x y-2 y^{2} = 0 \]

riccati, bernoulli, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[[_homogeneous, ‘class A‘], _rational, _Bernoulli]

0.959

3082

\[ {}x^{2} y^{\prime } = 3 \left (x^{2}+y^{2}\right ) \arctan \left (\frac {y}{x}\right )+x y \]

homogeneousTypeD2, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class A‘], _dAlembert]

5.107

3083

\[ {}x \sin \left (\frac {y}{x}\right ) y^{\prime } = y \sin \left (\frac {y}{x}\right )+x \]

homogeneousTypeD, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[[_homogeneous, ‘class A‘], _dAlembert]

1.435

3084

\[ {}x y^{\prime } = y+2 \,{\mathrm e}^{-\frac {y}{x}} \]

homogeneousTypeD, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[[_homogeneous, ‘class D‘]]

0.848

3085

\[ {}y^{\prime } = \left (x +y\right )^{2} \]

riccati, homogeneousTypeC, first_order_ode_lie_symmetry_lookup

[[_homogeneous, ‘class C‘], _Riccati]

0.807

3086

\[ {}y^{\prime } = \sin \left (x -y+1\right )^{2} \]

first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class C‘], _dAlembert]

2.507

3087

\[ {}y^{\prime } = \frac {x +y+4}{x -y-6} \]

homogeneousTypeMapleC, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class C‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]]

1.974

3088

\[ {}y^{\prime } = \frac {x +y+4}{x +y-6} \]

first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class C‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]]

1.003

3089

\[ {}\left (x +\frac {2}{y}\right ) y^{\prime }+y = 0 \]

exact, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class G‘], _exact, _rational, [_Abel, ‘2nd type‘, ‘class B‘]]

1.217

3090

\[ {}\sin \left (x \right ) \tan \left (y\right )+1+\cos \left (x \right ) \sec \left (y\right )^{2} y^{\prime } = 0 \]

exactWithIntegrationFactor

[‘y=_G(x,y’)‘]

33.48

3091

\[ {}y-x^{3}+\left (x +y^{3}\right ) y^{\prime } = 0 \]

exact, differentialType

[_exact, _rational]

1.237

3092

\[ {}2 y^{2}-4 x +5 = \left (4-2 y+4 x y\right ) y^{\prime } \]

unknown

[_rational, [_Abel, ‘2nd type‘, ‘class B‘]]

N/A

1.05

3093

\[ {}y+y \cos \left (x y\right )+\left (x +x \cos \left (x y\right )\right ) y^{\prime } = 0 \]

exact, linear, separable, differentialType, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

1.069

3094

\[ {}\cos \left (x \right ) \cos \left (y\right )^{2}+2 \sin \left (x \right ) \sin \left (y\right ) \cos \left (y\right ) y^{\prime } = 0 \]

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

38.22

3095

\[ {}\left (\sin \left (x \right ) \sin \left (y\right )-x \,{\mathrm e}^{y}\right ) y^{\prime } = {\mathrm e}^{y}+\cos \left (x \right ) \cos \left (y\right ) \]

exact

[_exact]

7.582

3096

\[ {}-\frac {\sin \left (\frac {x}{y}\right )}{y}+\frac {x \sin \left (\frac {x}{y}\right ) y^{\prime }}{y^{2}} = 0 \]

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

0.973

3097

\[ {}1+y+\left (1-x \right ) y^{\prime } = 0 \]

exact, linear, separable, homogeneousTypeD2, homogeneousTypeMapleC, first_order_ode_lie_symmetry_lookup

[_separable]

0.994

3098

\[ {}2 x y^{3}+y \cos \left (x \right )+\left (3 x^{2} y^{2}+\sin \left (x \right )\right ) y^{\prime } = 0 \]

exact

[_exact, [_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]]

31.98

3099

\[ {}1 = \frac {y}{1-x^{2} y^{2}}+\frac {x y^{\prime }}{1-x^{2} y^{2}} \]

exact, riccati

[_exact, _rational, _Riccati]

1.38

3100

\[ {}\left (3 x^{2}-y^{2}\right ) y^{\prime }-2 x y = 0 \]

homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class A‘], _rational, _dAlembert]

2.34