https://gereshes.com/2018/11/19/chaos-and-the-double-pendulum/