doublePendulumDerivationLagrange