[math-fun] Orbital period determined by major axis