simplify funcnames construction
rename cons argument to constrain
solve with symmetric=True