if oper === (/)
args = unsorted_arguments(unwrapped_f)
filtered_expr = Symbolics.wrap(args[1])
@info args[2] != 0
end
function clean_f includes this peace of code above, maybe we should include this inside filter_poly itself? to declutter the main solvers, also since this is repeated basically everywhere filter_poly is called.
function clean_f includes this peace of code above, maybe we should include this inside filter_poly itself? to declutter the main solvers, also since this is repeated basically everywhere filter_poly is called.