Composing Global Optimizers to Reasoning Tasks via Algebraic Objects in Neural Nets