That is robotic quantitative arbitrage, not price manipulation