There shouldn't be a formula to decide voting power, like staking amount times lock period. Any formula is prone to manipulation because the presence of rules turns the process into a game that can be exploited.