12.3.2 更快的优化器