Solving Nonlinear Second-Order ODEs via the Eisenhart Lift and Linearization | Synapse