Simplification

simplify_tryreduce(try_reduce_vars, ...[, ...])	Attempt to reduce the number of equations in the system.
simplify_constants(equations, variables)	Simplify the system by removing variables that are deterministically defined as a known value.
reduce_variable_list(equations, variables)