Efficient evaluation of cyclic arbitrage in constant product market makers