Derivation on sliding pendulum
Fix equation for the spring pendulum