Simple pendulum formulas