Builds a chain that rewrites a problem into an intermediate representation suitable for numeric reductions.
Useful links