4.4 Solved by finding the first integral directly

4.4.1 Introduction

ode internal name "exact_nonlinear_second_order_ode_using_first_integral"