An Analysis of Approximate Nonlinear Elimination | Synapse