double pendulum cdf=1