https://gereshes.com/2019/02/18/chaos-and-the-double-pendulum-part-2/