Exact Linear Second-Order Equations

A linear second-order ordinary differential equation

is said to be exact if

An exact linear second-order ODE is solved by reduction to a linear first-order ODE.

Here is an example. The appearance of the unevaluated integral in the solution is explained here.
In[1]:=
Click for copyable input
In[2]:=
Click for copyable input
In[3]:=
Click for copyable input
In[4]:=
Click for copyable input
In[5]:=
Click for copyable input
Out[5]=
In[6]:=
Click for copyable input
Out[6]=
This verifies the solution.
In[7]:=
Click for copyable input
Out[7]=
In[8]:=
Click for copyable input