Combining Neural Networks and Symbolic Regression for Analytical Lyapunov Function Discovery