2.16.1 Problems 1 to 100

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

#

ODE

Program classification

CAS classification

Solved?

Verified?

time (sec)

1

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

i.c.

quadrature

[_quadrature]

0.385

2

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

i.c.

quadrature

[_quadrature]

0.29

3

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

i.c.

quadrature

[_quadrature]

0.321

4

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

i.c.

quadrature

[_quadrature]

0.26

5

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

i.c.

quadrature

[_quadrature]

0.297

6

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

i.c.

quadrature

[_quadrature]

0.384

7

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

i.c.

quadrature

[_quadrature]

0.341

8

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

i.c.

quadrature

[_quadrature]

0.352

9

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

i.c.

quadrature

[_quadrature]

0.445

10

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

i.c.

quadrature

[_quadrature]

0.187

11

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

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[[_linear, ‘class A‘]]

0.63

12

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

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[[_linear, ‘class A‘]]

0.374

13

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

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[[_linear, ‘class A‘]]

0.482

14

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

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[[_linear, ‘class A‘]]

0.379

15

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

linear, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[[_linear, ‘class A‘]]

0.482

16

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

linear, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[[_linear, ‘class A‘]]

0.478

17

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

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[[_linear, ‘class A‘]]

0.381

18

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

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[[_linear, ‘class A‘]]

0.549

19

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

i.c.

exact, riccati, separable, first_order_ode_lie_symmetry_lookup

[_separable]

1.164

20

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

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

0.699

21

\[ {}y^{\prime } = y^{\frac {1}{3}} \]

i.c.

quadrature

[_quadrature]

0.436

22

\[ {}y^{\prime } = y^{\frac {1}{3}} \]

i.c.

quadrature

[_quadrature]

0.234

23

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

i.c.

exact, separable, differentialType, homogeneousTypeMapleC, first_order_ode_lie_symmetry_lookup

[_separable]

4.47

24

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

i.c.

exact, separable, differentialType, homogeneousTypeMapleC, first_order_ode_lie_symmetry_lookup

[_separable]

2.789

25

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

i.c.

quadrature

[_quadrature]

0.426

26

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

riccati

[_Riccati]

1.438

27

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

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

0.871

28

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

exact, riccati, separable, first_order_ode_lie_symmetry_lookup

[_separable]

0.578

29

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

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

0.98

30

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

exact, linear, separable, homogeneousTypeD2, homogeneousTypeMapleC, first_order_ode_lie_symmetry_lookup

[_separable]

1.167

31

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

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

1.404

32

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

exactWithIntegrationFactor, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class G‘]]

11.688

33

\[ {}y^{\prime } = 4 \left (x y\right )^{\frac {1}{3}} \]

exactWithIntegrationFactor, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class G‘]]

91.221

34

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

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

0.791

35

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

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

1.298

36

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

exact, riccati, separable, first_order_ode_lie_symmetry_lookup

[_separable]

0.967

37

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

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

0.805

38

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

exact, bernoulli, separable, first_order_ode_lie_symmetry_lookup

[_separable]

1.931

39

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

exact, separable, differentialType, first_order_ode_lie_symmetry_lookup

[_separable]

170.809

40

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

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

18.824

41

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

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

1.432

42

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

exact, linear, separable, first_order_ode_lie_symmetry_lookup

[_separable]

0.866

43

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

exact, riccati, separable, first_order_ode_lie_symmetry_lookup

[_separable]

1.188

44

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

i.c.

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

1.815

45

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

i.c.

exact, riccati, separable, first_order_ode_lie_symmetry_lookup

[_separable]

2.2

46

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

i.c.

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

5.32

47

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

i.c.

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

2.009

48

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

i.c.

quadrature

[_quadrature]

0.476

49

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

i.c.

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

2.139

50

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

i.c.

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

1.973

51

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

i.c.

exact, riccati, separable, first_order_ode_lie_symmetry_lookup

[_separable]

1.709

52

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

i.c.

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

[_separable]

1.887

53

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

i.c.

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

2.51

54

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

i.c.

quadrature

[_quadrature]

0.481

55

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

i.c.

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[[_linear, ‘class A‘]]

1.601

56

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

exact, linear, first_order_ode_lie_symmetry_lookup

[[_linear, ‘class A‘]]

0.821

57

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

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.777

58

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

i.c.

linear, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

1.953

59

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

i.c.

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

1.926

60

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

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.698

61

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

linear, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

1.562

62

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

i.c.

linear, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

1.707

63

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

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.832

64

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

i.c.

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

1.724

65

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

i.c.

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

1.616

66

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

i.c.

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[[_linear, ‘class A‘]]

1.529

67

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

i.c.

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

1.654

68

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

i.c.

exact, linear, separable, first_order_ode_lie_symmetry_lookup

[_separable]

2.03

69

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

i.c.

exact, linear, separable, first_order_ode_lie_symmetry_lookup

[_separable]

2.056

70

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

i.c.

exact, linear, first_order_ode_lie_symmetry_lookup

[_linear]

1.727

71

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

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.968

72

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

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

1.103

73

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

i.c.

exact, linear, separable, first_order_ode_lie_symmetry_lookup

[_separable]

1.757

74

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

i.c.

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

1.804

75

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

i.c.

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

1.689

76

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

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.961

77

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

i.c.

exact, linear, separable, first_order_ode_lie_symmetry_lookup

[_separable]

2.406

78

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

i.c.

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

3.8

79

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

exact, differentialType, homogeneousTypeD2, first_order_ode_lie_symmetry_calculated

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

2.521

80

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

bernoulli, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

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

1.878

81

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

first_order_ode_lie_symmetry_calculated

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

1.587

82

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

exactByInspection, homogeneousTypeD2, first_order_ode_lie_symmetry_calculated

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

1.955

83

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

exactByInspection, homogeneousTypeD2, first_order_ode_lie_symmetry_calculated

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

1.985

84

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

homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_calculated

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

1.862

85

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

bernoulli, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

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

1.965

86

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

homogeneousTypeD, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

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

1.047

87

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

riccati, bernoulli, exactByInspection, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

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

1.517

88

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

bernoulli, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

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

2.107

89

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

homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_calculated

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

2.424

90

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

first_order_ode_lie_symmetry_calculated

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

1.627

91

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

first_order_ode_lie_symmetry_calculated

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

3.341

92

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

first_order_ode_lie_symmetry_calculated

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

3.68

93

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

homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_calculated

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

2.957

94

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

homogeneousTypeC, first_order_ode_lie_symmetry_lookup

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

2.654

95

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

riccati, homogeneousTypeC, first_order_ode_lie_symmetry_lookup

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

0.915

96

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

quadrature

[_quadrature]

0.12

97

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

bernoulli, first_order_ode_lie_symmetry_lookup

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

0.892

98

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

exact, bernoulli, separable, first_order_ode_lie_symmetry_lookup

[_separable]

2.352

99

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

quadrature

[_quadrature]

1.649

100

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

bernoulli, first_order_ode_lie_symmetry_lookup

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

1.335