The Jacobian conjecture: Reduction of degree and formal expansion of the inverse | Synapse