Describir: Regular and chaotic phase space fraction in the double pendulum