[math-fun] pendulum harmonics