https://123dok.net/document/zgw901kn-distance-separatrices-discretized-pendulum-equation.html